Search

Necessary optimality conditions for a bilevel optimization problem are given in the paper by Kohli (J Optim Theory Appl 152: 632–651, 2012). Recently, the same author corrected his results in the note (J Optim Theory Appl 181:706–707, 2019). In this work, we have pointed out that some of the new modifications are wrong. We correct the flaws and present an alternative proof for the main result.

There are similarities between Drinfeld modules and abelian varieties. The purpose of this paper is to investigate these similarities in terms of supersingularity. More specifically, we provide explicit formulas of Hasse invariants (or, equivalently, of supersingular polynomials) for Drinfeld modules, which is a continuation of the 2013 paper by Ahmad El-Guindy and Matthew A. Papanikolas. We present several supersingular Drinfeld modules as an application.

The variability and interdependence of local porosity and local mean geodesic tortuosity, which is a measure for the sinuosity of shortest transportation paths, is investigated at the example of the microstructure in sack paper. By means of statistical image analysis, these two morphological characteristics are computed for several cutouts of 3D image data obtained by X-ray microcomputed tomography. Considering cutouts of different sizes allows us to study the influence of the sample size on the local variability of the considered characteristics. Moreover, the interdependence between local porosity and local mean geodesic tortuosity is quantified by modeling their joint distribution parametrically using Archimedean copulas. It turns out that the family of Gumbel copulas is an appropriate model type, which is formally validated by a goodness of fit test. Besides mean geodesic tortuosity, we consider further related morphological characteristics, describing the sinuosity of those shortest transportation paths, whose minimum diameter exceeds a predefined threshold. Moreover, we show that the copula approach investigated in this paper can also be used to quantify the negative correlation between local porosity and these modified versions of local mean geodesic tortuosity. Our results elucidate the impact of local porosity on various kinds of morphological characteristics, which are not experimentally accessible and which are important for local air permeance – a key property of sack paper.

Even fairly good students, when they have obtained the solution of the problem and written down neatly the argument, shut their books and look for something else. Doing so, they miss an important a...

In this short article, we mainly give some examples to prove that the main results of Section 4 of the paper [W. S. Liao and J. Wu, Ann. Func. Anal. 6 (2015), no. 3, 191–202] are not true. Then we give the corrected matrix inequalities.

Very recently Bordelles, Dai, Heyman, Pan and Shparlinski studied asymptotic behaviour of the quantity $$\begin{aligned} S_f(x) := \sum _{n\leqslant x} f\left( \left[ \frac{x}{n}\right] \right) , \end{aligned}$$and established some asymptotic formulas for $$S_f(x)$$ under three different types of assumptions on f. In this short note we improve some of their results.

In this note we offer some criticism on the paper “On an identity for zeros of Bessel functions” by Baricz et al. [3] . The paper gives identities of type Stieltjes–Calogero for the sums of reciprocals of differences of fourth powers of zeros of Bessel functions. Although interesting in principle, by containing one too many sums of similar complexity the identities fail to convey the true spirit of the work of Stieltjes and Calogero. We rectify this by providing what we think is the correct type of identity for the above-said sums, in the general setup of entire functions of order

In this work, some counterexamples are given to refute some results reported in the paper by Guo and Li [8] (J Optim Theory Appl 162,(2014), 821-844). We correct the faulty in some of their theorems and we present alternative proofs. Moreover, we extend the definition of approximately pseudo-dissipative in the setting of metrizable topological vector spaces.

The paper alluded to in the title contains the following striking result: Let $I$ be the unit interval and $\Delta$ the Cantor set. If $X$ is a quasi Banach space containing no copy of $c_0$ which is isomorphic to a closed subspace of a space with a basis and $C(I, X)$ is linearly homeomorphic to $C(\Delta, X)$, then $X$ is locally convex, i.e., a Banach space. It is shown that Kalton result is sharp by exhibiting non locally convex quasi Banach spaces X with a basis for which $C(I, X)$ and $C(\Delta, X)$ are isomorphic. Our examples are rather specific and actually in all cases X is isomorphic to $C(\Delta, X)$ if $K$ is a metric compactum of finite covering dimension., Comment: 4 pages

P values linked to null hypothesis significance testing (NHST) is the most widely (mis)used method of statistical inference. Empirical data suggest that across the biomedical literature (1990–2015)...

Oil paper insulation is the main insulation form of large transformers. Partial discharge(PD) in oil paper insulation will not only damage the insulation performance, but also is the precursor and manifestation of insulation deterioration. Weibull distribution parameter is an important characteristic parameter of PD. In this paper a method is proposed to extract the characteristic parameter of PD based on the three-parameter Weibull model, then gray wolf optimization algorithm and particle swarm optimization algorithm are used to calculate the parameters of the model. The result shows that the two algorithms can get the parameters quickly and accurately, and the model can effectively reflect the characteristics of the $H_{n}(q)$ spectrum of PD times.

Propositions 1.1–1.3 stated below contribute to results and certain problems considered in [E-S], on the behavior of products $$\Pi^n_1(1-z^{a_j}),1\leq{a_1}...\leq{a_n}$$ integers. In the discussion below, {a1,..., an} will be either a proportional subset of {1,..., n} or a set of large arithmetic diameter.

The purpose of this note is to discuss how paper folding can be used to find the exact trigonometric ratios of the following four angles: 22.5°, 67.5°, 27°, and 63°.

What can be learned from data about human survival at extreme age? In this rejoinder we give our views on some of the issues raised in the discussion of our paper Rootzen and Zholud (Extremes 20(4), 713–728, 2017).

In a recent paper referred to in the title, the author used the concept of quasi self-adjointness to obtain conservation laws for a system of the ( 2 + 1 ) -dimensional Bogoyavlensky–Konopelchenko equation. Apart from the adjoint system of equations, all the results on the quasi self-adjointness and the subsequent conservation laws obtained are inaccurate. In this comment, we clarify these inaccuracies and also generate conservation laws for a potential form of the underlying equation through Noether theorem.

We give a comprehensive account of Chern's Theorem that S^6 admits no omega-compatible almost complex structures. No claim to originality is being made, as the paper is mostly an expanded version of material already in the literature. This article extends the talks that both authors gave in Marburg during the conference "(Non)existence of complex structures on S^6" in April 2017., Misprints corrected

In this short review note we show that the new proof of theorem 1.1 given by Zheng Jie Sun and Ling Zhu in the paper Simple proofs of the Cusa-Huygens-type and Becker-Stark-type inequalities is logically incorrect and present another simple proof of the same.

In this short note, we show that Theorem 4.3 of Liu and Yu (Monatshefte Math 195:173–176, 2021) is a consequence of Lemma 2 of Ballester-Bolinches and Esteban-Romero (J Aust Math Soc 75:181–191, 2003).

We congratulate the authors Bertsimas, Pauphilet and van Parys (hereafter BPvP) and Hastie, Tibshirani and Tibshirani (hereafter HTT) for providing fresh and insightful views on the problem of variable selection and prediction in linear models. Their contributions at the fundamental level provide guidance for more complex models and procedures.

These notes aim to provide a deeper insight on the specifics of two articles dealing with chemotaxis models with nonlinear production. More precisely, we are referring to the papers “Boundedness of solutions to a quasilinear parabolic–parabolic chemotaxis model with nonlinear signal production” by Tao et al. (2019) [2] and “Boundedness for a fully parabolic Keller–Segel model with sublinear segregation and superlinear aggregation” by Frassu and Viglialoro (2021) [1] . These works, independently published in these last years, present results leaving open room for further improvement. Indeed, in the first a gap in the proof of the main claim appears, whereas the cornerstone assumption in the second is not sharp. In these pages we give a more complete picture to the relative underlying comprehension.

We thank Holger Rootzen and Dmitrii Zholud’s for their stimulating work, that led us to further investigate the problem of best fitting the human life span distribution. Their assertion “human life is unlimited but short” is based on their conclusion that the exponential model is the best to fit. We provide results based on standard Extreme Value approaches, the Block Maxima and Peaks-over-Threshold, and on the whole data available in the IDL database (IDL A, B validations and GRG). We verify that negative values for the extreme value index are more likely, supporting the conclusion that models with finite endpoint seem better to fit to the human life span distribution.

O. Einstein (2008) proved Bollob\'as-type theorems on intersecting families of ordered sets of finite sets and subspaces. Unfortunately, we report that the proof of a theorem on ordered sets of subspaces had a mistake. We prove two weaker variants., Comment: 6 pages. Improved bound for Theorem 4

In this short paper, we look into a conclusion drawn by Alzalg (J Optim Theory Appl 169:32---49, 2016). We think the conclusion drawn in the paper is incorrect by pointing out three things. First, we provide a counterexample that the proposed inner product does not satisfy bilinearity. Secondly, we offer an argument why a pth-order cone cannot be self-dual under any reasonable inner product structure on $$\mathbb {R}^n$$Rn. Thirdly, even under the assumption that all elements operator commute, the inner product becomes an official inner product and the arbitrary-order cone can be shown as a symmetric cone, we think this condition is still unreasonable and very stringent so that the result can only be applied to very few cases.

The aim of this paper is the development of a mathematical model to compute the optimal inventory mix to face stochastic demand at minimum cost in a two-level supply chain. The paper addresses a multi-product dynamic lot-sizing problem under stochastic demand subject to capacity and service level constraints. This model is executed to compare a Make To Order (MTO) strategy to a Vendor Managed Inventory (VMI) partnership between the supplier and their customers. Both strategies provide the demand order to be produced. A schedule of production orders is determined over the planning horizon in order to minimize the inventory holding costs of the supply chain, taking into consideration that the supplier is also responsible of initiating the replenishment orders and deliveries of their customers according to the VMI partnership. The simulation model is illustrated empirically using a real case study: a paper manufacturing company that pursues to improve customer service level and supply chain inventory costs through a proper production planning of their paper machines and a suitable VMI order replenishment schedule.

International audience; This survey was written by students of L. D. Faddeev under the editorship of L. A. Takhtajan. Sections 1.1, 1.2, 2–4, and 6 were written by Takhtajan, §§1.3 and 1.4 by F. A. Smirnov, §§5.1 and 5.2 by E. K. Sklyanin, §§5.3–5.6 by Sklyanin, Smirnov, and Takhtajan, §7.1 by M. A. Semenov- Tian-Shansky, §§7.2–7.6 by Takhtajan and S. L. Shatashvili, §7.7 by A. Yu. Alekseev and Shatashvili, and §8 by I. Ya. Aref'eva.

The translation into English of Aleksandr Yakovlevich Khinchin's (1894–1959) 1926 paper entitled ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ is made available for the first time. Here, Khinchin presented the famous foundational debate between L.E.J. Brouwer and David Hilbert of the 1920s in terms of a search for a mathematics with content. His main aim seems to have been to make intuitionism ideologically acceptable to his audience at the Communist Academy by means of the claim that insofar as Brouwer's intuitionism had a clear ‘subject matter’ and Hilbert's new program was a concession to intuitionism, the alleged victory of intuitionism not only implied the defeat of ‘empty’ formalism, but also showed the compatibility and affinity of Marxism with the newest developments in modern mathematics. This introduction provides a tentative exploration of the issue of what was tactical (or due to ideological pressure) and what was real scientific interest (or due to ignorance) (or what was both) in Khinchin's 1926 paper in the form of a detailed commentary, especially, on the tactical side of his presentation of the positions of Brouwer and Hilbert.

We give comments for the paper from Liu et al. (2019) about the Item Response Theory (IRT) model under consideration, the justification to compute Marginal likelihood, about what we learn with the data analysis performed and finally, about the computational issues in this paper.

One of the simplest examples of a robust heteroclinic cycle involves three saddle equilibria: each one is unstable to the next in turn, and connections from one to the next occur within invariant subspaces. Such a situation can be described by a third-order ordinary differential equation (ODE), and typical trajectories approach each equilibrium point in turn, spending progressively longer to cycle around the three points but never stopping. This cycle has been invoked as a model of cyclic competition between populations adopting three strategies, characterised as Rock, Paper and Scissors. When spatial distribution and mobility of the populations is taken into account, waves of Rock can invade regions of Scissors, only to be invaded by Paper in turn. The dynamics is described by a set of partial differential equations (PDEs) that has travelling wave (in one dimension) and spiral (in two dimensions) solutions. In this paper, we explore how the robust heteroclinic cycle in the ODE manifests itself in the PDEs. Taking the wavespeed as a parameter, and moving into a travelling frame, the PDEs reduce to a sixth-order set of ODEs, in which travelling waves are created in a Hopf bifurcation and are destroyed in three different heteroclinic bifurcations, depending on parameters, as the travelling wave approaches the heteroclinic cycle. We explore the three different heteroclinic bifurcations, none of which have been observed in the context of robust heteroclinic cycles previously. These results are an important step towards a full understanding of the spiral patterns found in two dimensions, with possible application to travelling waves and spirals in other population dynamics models., Comment: 36 pages, 8 figures

This is an invited discussion of review paper “Nonparametric Bayesian Inference in Applications” by Peter Muller, Fernando A. Quintana and Garritt L. Page.

In 1903, Epstein published his proof of meromorphic continuation and a functional equation for Dirichlet series associated with quadratic forms, now called Epstein zeta-functions. However, already in 1889 (or even earlier) Hurwitz was aware of these results as his mathematical diaries and some unpublished notes (in an almost final form) found in his estate at the ETH Zurich show. In this article we present and analyze Hurwitz's notes and compare his reasoning with Epstein's paper in detail.

In this paper we consider, discuss and slightly complement recent fixed point results for mappings in b-metric spaces established by Sintunavarat (J Fixed Point Theory Appl 18:397–416, 2016). Thus, all our results are with shorter proofs. In addition, an application to integral equations is given to illustrate the usability of our approach.

A class of games for finding a leader among a group of candidates is studied in detail. This class covers games based on coin tossing and rock-paper-scissors as special cases and its complexity exhibits similar stochastic behaviors: either of logarithmic mean and bounded variance or of exponential mean and exponential variance. Many applications are also discussed.

This note is devoted to a small, but essential, extension of Theorem 2.1 of our recent paper (LeCrone et al. J Evolut Equ 14:509–533 2014). The improvement is explained in “The improvement” section and proved in “Proof of the main result” section. The importance of the extension is demonstrated in “Application to the Navier–Stokes equations” section with an application to the Navier–Stokes system in critical \(L_q\)-spaces.

Two limit cycles for the continuous model of the rockscissorspaper (RSP) game is constructed.The Hopf bifurcation method is used for the construction of limit cycles.The results give a partial answer to an open question posed by Neumann and Schuster. In this paper we construct two limit cycles with a heteroclinic polycycle for the three-dimensional continuous model of the rockscissorspaper (RSP) game between bacteriocin producing bacteria. Our construction gives a partial answer to an open question posed by Neumann and Schuster (2007) concerning how many limit cycles can coexist for the RSP game.

In their celebrated paper (Furst et al., Math. Syst. Theory 17(1), 13---27 (12)), Furst, Saxe, and Sipser used random restrictions to reveal the weakness of Boolean circuits of bounded depth, establishing that constant-depth and polynomial-size circuits cannot compute the parity function. Such local restrictions have played important roles and have found many applications in complexity analysis and algorithm design over the past three decades. In this article, we give a brief overview of two intriguing applications of local restrictions: the first one is for the Isomorphism Conjecture and the second one is for moderately exponential time algorithms for the Boolean formula satisfiability problem.

We are studying topological properties of the Julia set of the map F ( z , p ) = ( ( 2 z p + 1 − 1 ) 2 , ( p − 1 p + 1 ) 2 ) F(z, p)=\left (\left (\frac {2z}{p+1}-1\right )^2, \left (\frac {p-1}{p+1}\right )^2\right ) of the complex projective plane P C 2 \mathbb {P}\mathbb {C}^2 to itself. We show a relation between this rational function and an uncountable family of “paper folding” plane filling curves.

We correct an error in the paper of Z. Shen, S. Li, and J. Zhang published in [4]. In addition, we give an answer to a question posed by the authors.

While 3-SAT is NP-hard, 2-SAT is solvable in polynomial time. Austrin, Guruswami, and H\r{a}stad roved a result known as "$(2+\varepsilon)$-SAT is NP-hard" [FOCS'14/SICOMP'17]. They showed that the problem of distinguishing k-CNF formulas that are g-satisfiable (i.e. some assignment satisfies at least g literals in every clause) from those that are not even 1-satisfiable is NP-hard if $\frac{g}{k} < \frac{1}{2}$ and is in P otherwise. We study a generalisation of SAT on arbitrary finite domains, with clauses that are disjunctions of unary constraints, and establish analogous behaviour. Thus we give a dichotomy for a natural fragment of promise constraint satisfaction problems (PCSPs) on arbitrary finite domains. The hardness side is proved using the algebraic approach, via a new general NP-hardness criterion on polymorphisms of the problem, based on a gap version of the Layered Label Cover problem. We show that previously used criteria are insufficient -- the problem hence gives an interesting benchmark of algebraic techniques for proving hardness of approximation problems such as PCSPs., Comment: Full version of an ICALP 2020 paper

The objective of this contribution is to improve recent stability results for a system coupling ordinary differential equations to a vectorial transport partial differential equation by proposing a new structure of Lyapunov functional. Following the same process of most of the investigations in literature, that are based on an a priori selection of Lyapunov functionals and use the usual integral inequalities (Jensen, Wirtinger, Bessel...), we will present an efficient method to estimate the exponential decay rate of this coupled system leading to a tractable test expressed in terms of linear matrix inequalities. These LMI conditions stem from the new design of a candidate Lyapunov functional, but also the inherent properties of the Legendre polynomials, that are used to build a projection of the infinite dimensional part of the state of the system. Based on these polynomials and using the appropriate Bessel-Legendre inequality, we will prove an exponential stability result and in the end, we will show the efficiency of our approach on academic example.

This discussion provides our reaction to the article by Greven and Scheipl. It contains an overview of their article and a description of the many areas of research that remain open and could benefit from further methodological and computational development.

This paper is an attempt to present the methodologically correct approach of the anisotropy-based theory for discrete-time systems with multiplicative noise. A formulation of sufficient conditions of boundedness of the anisotropic norm is the main goal of this paper. As it is shown, this problem can be reduced to the convex optimization problem. A simple numerical example to illustrate the solution procedure is given.

In a series of papers by Annunziato and Borzi, Model Predictive Control of the Fokker-Planck equation has been established as a numerically feasible way for controlling stochastic processes via their probability density functions. Numerical simulations suggest that the resulting controller yields an asymptotically stable closed loop system for optimization horizons looking only one time step into the future. In this paper we provide a formal proof of this fact for the Fokker-Planck equation corresponding to the controlled Ornstein-Uhlenbeck process using an L2 cost and control functions that are constant in space. The key step of the proof consists in the verification of an exponential controllability property with respect to the stage cost. Numerical simulations are provided to illustrate our results.

We would like to present the ideas of Makoto Matsumoto and Andras Rapcsak in the projective theory of Finsler spaces. Finally, we give some remarks using of Matsumoto–Rapcsak Theorem.

Let a(n) be the Fourier coefficient of a holomorphic cusp form on some discrete subgroup of \(SL_2({\mathbb R})\). This note is to refine a recent result of Hofmann and Kohnen on the non-positive (resp. non-negative) product of \(a(n)a(n+r)\) for a fixed positive integer r.