Search

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

We correct a mistake in a lemma in the paper cited in the title and show that it did not affect any of the other results of the paper. To this end, we prove results on linearly disjoint field extensions that do not seem to be commonly known. We give an example to show that a separability assumption in one of these results cannot be dropped (doing so had led to the mistake). Further, we discuss recent generalizations of the original classification of defect extensions.

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 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.

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.

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.

In Fritz John's famous paper (1979), he discovered that for the wave equation $\Box u=|u|^p$, where $1, Comment: 11 pages, 3 figures

We characterize functions of finite energy in the plane in terms of their traces on the lines that make up "graph paper" with squares of side length $mn$ for all $n$, and certain $\12-$order Sobolev norms on the graph paper lines. We also obtain analogous results for functions of finite energy on two classical fractals: the Sierpinski gasket and the Sierpinski carpet.

In this short note, it is shown that there is a gap in the proof of Theorem 11 in the paper of Meyer and Neutsch (J. of Algebra, 1993). We prove, nevertheless, that the statement of the theorem is true and fix the proof by using a certain extremal property of idempotents which has an independent interest., 6 pages, submitted 2017

Assume that A and G are finite groups of coprime orders such that A acts on G via automorphisms. Let p be a prime. The following coprime action version of a well-known theorem of Ito about the structure of a minimal non-p-nilpotent groups is proved: if every maximal A-invariant subgroup of G is p-nilpotent, then G is p-soluble. If, moreover, G is not p-nilpotent, then G must be soluble. Some earlier results about coprime action are consequences of this theorem.

Let [Formula: see text] be a projective variety of dimension [Formula: see text] over an algebraically closed field of arbitrary characteristic. We prove a Fujiki–Lieberman type theorem on the structure of the automorphism group of [Formula: see text]. Let [Formula: see text] be a group of zero entropy automorphisms of [Formula: see text] and [Formula: see text] the set of elements in [Formula: see text] which are isotopic to the identity. We show that after replacing [Formula: see text] by a suitable finite-index subgroup, [Formula: see text] is a unipotent group of the derived length at most [Formula: see text]. This result was first proved by Dinh et al. for compact Kähler manifolds.

In this note we show that the presented proof of [1, th. 12] , being based on a false statement appearing in this proof, is not viable for all of the proclaimed values of the involved parameters. We also determine necessary and sufficient conditions for those parameters, which provides that the considered statement, and therefore [1, th. 12] itself, still remains valid.

This is a continuation of our first paper in [WY16]. There are two purposes of this paper: One is to give a proof of the main result in [WY16] without going through the argument depending on numerical effectiveness. The other one is to provide a proof of our conjecture, mentioned in [TY], where the assumption of negative holomorphic sectional curvature is dropped to quasi-negative. We should note that a solution to our conjecture is also provided by Diverio-Trapani [DT]. Both proofs depend on our argument in [WY16]. But our argument here makes use of the argument given by the second author and Cheng in [CY75].

This is a mathematical commentary on Teichmuller's paper ``Bestimmung der extremalen quasikonformen Abbildungen bei geschlossenen orientierten Riemannschen Flachen" (Determination of extremal quasiconformal maps of closed oriented Riemann surfaces). This paper is among the last (and may be the last one) that Teichmuller wrote on the theory of moduli. It contains the proof of the so-called Teichmuller existence theorem for a closed surface of genus at least 2. For this proof, the author defines a mapping between a space of equivalence classes of marked Riemann surfaces (the Teichmuller space) and a space of equivalence classes of certain Fuchsian groups (the so-called Fricke space). After that, he defines a map between the latter and the Euclidean space of dimension 6g-6 Using Brouwer's theorem of invariance of domain, he shows that this map is a homeomorphism. This involves in particular a careful definition of the topologies of Fricke space, the computation of its dimension, and comparison results between hyperbolic distance and quasiconformal dilatation. The use of the invariance of domain theorem is in the spirit of Poincare and Klein's use of the so-called ``continuity principle" in their attempts to prove the uniformization theorem.

We note a simple algebraic proof of Frolkina’s result that [Formula: see text] does not contain uncountably many pairwise disjoint copies of the Möbius band, and of a similar result in higher dimensions.

These are detailed notes on Perelman's papers "The entropy formula for the Ricci flow and its geometric applications" and "Ricci flow with surgery on three-manifolds"., 216 pages, minor corrections made

In this paper we construct a family of circle-like continua, each admitting a finest monotone map onto S 1 such that there exists a subset of point inverses which is homeomorphic to the Cantor set cross an interval. We then show how to realize some members of this family as the boundaries ∂U of bounded irreducible local Siegel disks U . These boundaries are geometrically rigid in the following sense: there exist arbitrarily small periodic homeomorphisms of the sphere, conformal on U , which keep U invariant. The embedding portion of this paper follows a flexible construction of Herman. These results provide a partial answer to a question of Rogers and a complete answer to a question of Brechner, Guay, and Mayer.

For a rational f : C → C with a conformal measure μ we show that if there is a subset of the Julia set J(f) of positive μ -measure whose points are not eventual preimages of critical or parabolic points and have limit sets not contained in the union of the limit sets of recurrent critical points, then μ is non-atomic, μ(J(f))=1 , ω(x)=J(f) for μ -a.e. point x∈J(f) and f is conservative, ergodic and exact. The proof uses a version of the Lebesgue Density Theorem valid for Borel measures and conformal balls.

Greg Friedman has pointed out that there are sign errors in our paper ‘On the chain-level intersection pairing for PL manifolds’, linked above, and in particular Lemma 10.5(b) (which is a key step in the proof of the main theorem) is not correct as stated. ¶ The purpose of this note is to provide a correction.

These notes are a companion to the article "Lorentz spacetimes of constant curvature" by Geoffrey Mess, which was first written in 1990 but never published. Mess' paper will appear together with these notes in a forthcoming issue of Geometriae Dedicata., Comment: 26 pages

In this note, we improve some results of Granville and Soundararajan on the distribution of values of the truncated random Euler product L ( 1 , X ; y ) : = ∏ p ⩽ y ( 1 − X ( p ) / p ) −1 , where the X ( p ) are independent random variables, taking the values ±1 with equal probability p / 2 ( p + 1 ) and 0 with probability 1 / ( p + 1 ) .

Let H(Dn) be the space of holomorphic functions on the unit polydisk Dn, and let , where p, q> 0, α = (α1,…,αn) with αj > -1, j =1,..., n, be the class of all measurable functions f defined on Dn such thatwhere Mp(f,r) denote the p-integral means of the function f. Denote the weighted Bergman space on . We provide a characterization for a function f being in . Using the characterization we prove the following result: Let p> 1, then the Cesàro operator is bounded on the space .

In this short paper we prove a quantitative version of the Khintchine-Groshev Theorem with congruence conditions. Our argument relies on a classical argument of Schmidt on counting generic lattice points, which in turn relies on a certain variance bound on the space of lattices.

Månsson and Shukur (Econ Model 28:1475–1481, 2011) proposed a Poisson ridge regression estimator (PRRE) to reduce the negative effects of multicollinearity. However, a weakness of the PRRE is its relatively large bias. Therefore, as a remedy, Türkan and Özel (J Appl Stat 43:1892–1905, 2016) examined the performance of almost unbiased ridge estimators for the Poisson regression model. These estimators will not only reduce the consequences of multicollinearity but also decrease the bias of PRRE and thus perform more efficiently. The aim of this paper is twofold. Firstly, to derive the mean square error properties of the Modified Almost Unbiased PRRE (MAUPRRE) and Almost Unbiased PRRE (AUPRRE) and then propose new ridge estimators for MAUPRRE and AUPRRE. Secondly, to compare the performance of the MAUPRRE with the AUPRRE, PRRE and maximum likelihood estimator. Using both simulation study and real-world dataset from the Swedish football league, it is evidenced that one of the proposed, MAUPRRE ($$ \hat{k}_{q4} $$ k ^ q 4 ) performed better than the rest in the presence of high to strong (0.80–0.99) multicollinearity situation.

In December 2019, a new outbreak in Wuhan, China has attracted world-wide attention, the virus then spread rapidly in most countries of the world, the objective of this paper is to investigate the mathematical modelling and dynamics of a novel coronavirus (COVID-19) with Caputo-Fabrizio fractional derivative in the presence of quarantine and isolation strategies. The existence and uniqueness of the solutions for the fractional model is proved using fixed point iterations, the fractional model are shown to have disease-free and an endemic equilibrium point.We construct a fractional version of the four-steps Adams-Bashforth method as well as the error estimate of this method. We have used this method to determine the numerical scheme of this model and Matlab program to illustrate the evolution of the virus in some countries (Morocco, Qatar, Brazil and Mexico) as well as to support theoretical results. The Least squares fitting is a way to find the best fit curve or line for a set of points, so we apply this method in this paper to construct an algorithm to estimate the parameters of fractional model as well as the fractional order, this model gives an estimate better than that of classical model.

In this short paper, we derive an alternative proof for some known (van den Berg & Gilkey 2015) short-time asymptotics of the heat content in a compact full-dimensional submanifolds S with smooth boundary. This includes formulae like $$\begin{aligned} \int _{S} \exp (t\Delta ) (f \mathbb {1}_{S}) \,\mathrm {d}V= \int _S f \,\mathrm {d}V- \sqrt{\frac{t}{\pi }} \int _{\partial S} f \,\mathrm {d}A+ o(\sqrt{t}),\quad t \rightarrow 0^+, \end{aligned}$$ ∫ S exp ( t Δ ) ( f 1 S ) d V = ∫ S f d V - t π ∫ ∂ S f d A + o ( t ) , t → 0 + , and explicit expressions for similar expansions involving other powers of $$\sqrt{t}$$ t . By the same method, we also obtain short-time asymptotics of $$\int _S \exp (t^m\Delta ^m)(f \mathbb {1}_S)\,\mathrm {d}V$$ ∫ S exp ( t m Δ m ) ( f 1 S ) d V , $$m \in \mathbb N$$ m ∈ N , and more generally for one-parameter families of operators $$t \mapsto k(\sqrt{-t\Delta })$$ t ↦ k ( - t Δ ) defined by an even Schwartz function k.

In a recent paper Robinson has obtained an explicit formula for the expression of an invariant matrix of an invariant matrix as a direct sum of invariant matrices. The object of the present note is to show that this formula may be deduced from known properties of Schur functions, with the aid of a result which the author has proved elsewhere.

We propose a field-theoretic interpretation of Ruelle zeta function and show how it can be seen as the partition function forBFtheory when an unusual gauge-fixing condition on contact manifolds is imposed. This suggests an alternative rephrasing of a conjecture due to Fried on the equivalence between Ruelle zeta function and analytic torsion, in terms of homotopies of Lagrangian submanifolds., Annales Henri Poincaré, 21 (12), ISSN:1424-0661, ISSN:1424-0637

The main goal of this short paper is to prove the existence of rank 2 simple and special Ulrich bundles on a wide class of elliptic surfaces: namely, on regular Weierstrass fibrations \(\pi : S\rightarrow \mathbb {P}^1\). Alongside we also show the existence of rank 2 weakly Ulrich sheaves on arbitrary Weierstrass fibrations \(S\rightarrow C_0\) and we deal with the (non-)existence of rank one Ulrich bundles on them.

The identification of the right order of the equation in applied fractional modeling plays an important role. In this paper we consider an inverse problem for determining the order of time fractional derivative in a subdiffusion equation with an arbitrary second order elliptic differential operator. We prove that the additional information about the solution at a fixed time instant at a monitoring location, as "the observation data", identifies uniquely the order of the fractional derivative., Comment: Version 1

In this paper we study bipartite quantum correlations using techniques from tracial noncommutative polynomial optimization. We construct a hierarchy of semidefinite programming lower bounds on the minimal entanglement dimension of a bipartite correlation. This hierarchy converges to a new parameter: the minimal average entanglement dimension, which measures the amount of entanglement needed to reproduce a quantum correlation when access to shared randomness is free. For synchronous correlations, we show a correspondence between the minimal entanglement dimension and the completely positive semidefinite rank of an associated matrix. We then study optimization over the set of synchronous correlations by investigating quantum graph parameters. We unify existing bounds on the quantum chromatic number and the quantum stability number by placing them in the framework of tracial optimization. In particular, we show that the projective packing number, the projective rank, and the tracial rank arise naturally when considering tracial analogues of the Lasserre hierarchy for the stability and chromatic number of a graph. We also introduce semidefinite programming hierarchies converging to the commuting quantum chromatic number and commuting quantum stability number., Comment: 26 pages

The unified transform method (UTM) provides a novel approach to the analysis of initial-boundary value problems for linear as well as for a particular class of nonlinear partial differential equations called integrable. If the latter equations are formulated in two dimensions (either one space and one time, or two space dimensions), the UTM expresses the solution in terms of a matrix Riemann-Hilbert (RH) problem with explicit dependence on the independent variables. For nonlinear integrable evolution equations, such as the celebrated nonlinear Schr\"odinger (NLS) equation, the associated jump matrices are computed in terms of the initial conditions and all boundary values. The unknown boundary values are characterized in terms of the initial datum and the given boundary conditions via the analysis of the so-called global relation. In general, this analysis involves the solution of certain nonlinear equations. In certain cases, called linearizable, it is possible to bypass this nonlinear step. In these cases, the UTM solves the given initial-boundary value problem with the same level of efficiency as the well-known inverse scattering transform solves the initial value problem on the infinite line. We show here that the initial-boundary value problem on a finite interval with $x$-periodic boundary conditions (which can alternatively be viewed as the initial value problem on a circle), belongs to the linearizable class. Indeed, by employing certain transformations of the associated RH problem and by using the global relation, the relevant jump matrices can be expressed explicitly in terms of the so-called scattering data, which are computed in terms of the initial datum. Details are given for NLS, but similar considerations are valid for other well-known integrable evolution equations, including the Korteweg-de Vries (KdV) and modified KdV equations., Comment: 14 pages, includes announcements of results in arXiv:2103.04728

We have obtained graph-theoretically based topological indices for the characterization of certain graph theoretical networks of biochemical interest. We have derived certain distance, degree and eccentricity based topological indices for various k-level hypertrees and corona product of hypertrees. We have also pointed out errors in a previous study. The validity of our results is supported by computer codes for the respective indices. Several biochemical applications are pointed out.

We show that every plumbing of disc bundles over surfaces whose genera satisfy a simple inequality may be embedded as a convex submanifold in some closed hyperbolic four-manifold. In particular its interior has a geometrically finite hyperbolic structure that covers a closed hyperbolic four-manifold., 18 pages, 11 figures

In an attempt to understand the soliton resolution conjecture, we consider the Sine-Gordon equation on a spherically symmetric wormhole spacetime. We show that within each topological sector (indexed by a positive integer degree $n$) there exists a unique linearly stable soliton, which we call the $n$-kink. We give numerical evidence that the $n$-kink is a global attractor in the evolution of any smooth, finite energy solutions of degree $n$. When the radius of the wormhole throat $a$ is large enough, the convergence to the $n$-kink is shown to be governed by internal modes that slowly decay due to the resonant transfer of energy to radiation. We compute the exact asymptotics of this relaxation process for the $1$-kink using the Soffer-Weinstein weakly nonlinear perturbation theory., Comment: 19 pages, 10 figures, final version

In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k-analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi-compact and quasi-separated formal scheme, then the \infty-category Coh^+(X^rig) of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the \infty-category Coh^+(X). Along the way, we prove several results concerning the the \infty-categories of formal models for almost perfect modules on derived k-analytic spaces., 28 pages

We study the spectral properties of ergodic Schr\"{o}dinger operators that are associated to a certain family of non-primitive substitutions on a binary alphabet. The corresponding subshifts provide examples of dynamical systems that go beyond minimality, unique ergodicity and linear complexity. In some parameter region, we are naturally in the setting of an infinite ergodic measure. The almost sure spectrum is singular and contains an interval. Some criteria for the exclusion of eigenvalues are fully characterized, including the existence of strongly palindromic sequences. Many of our structural insights rely on return word decompositions in the context of non-uniformly recurrent sequences. We introduce an associated induced system that is conjugate to an odometer., Comment: Included a result on eigenvalues, added another case distinction (Erratum)

We propose a model for the transmission of perturbations across the amino acids of a protein represented as an interaction network. The dynamics consists of a Susceptible-Infected (SI) model based on the Caputo fractional-order derivative. We find an upper bound to the analytical solution of this model which represents the worse-case scenario on the propagation of perturbations across a protein residue network. This upper bound is expressed in terms of Mittag-Leffler functions of the adjacency matrix of the network of inter-amino acids interactions. We then apply this model to the analysis of the propagation of perturbations produced by inhibitors of the main protease of SARS CoV-2. We find that the perturbations produced by strong inhibitors of the protease are propagated far away from the binding site, confirming the long-range nature of intra-protein communication. On the contrary, the weakest inhibitors only transmit their perturbations across a close environment around the binding site. These findings may help to the design of drug candidates against this new coronavirus., 21 pages, 2 figures

We compare adaptive time integrators for the numerical solution of linear Schrödinger equations where the Hamiltonian explicitly depends on time. The approximation methods considered are splitting methods, where the time variable is split off and advanced separately, and commutator-free Magnus-type methods. The time-steps are chosen adaptively based on asymptotically correct estimators of the local error in both cases. It is found that splitting methods are more efficient when the Hamiltonian naturally suggests a separation into kinetic and potential part, whereas Magnus-type integrators excel when the structure of the problem only allows to advance the time variable separately.

This short paper concerns the existence of curves with low gonality on smooth hypersurfaces $$X\subset \mathbb {P}^{n+1}$$ . After reviewing a series of results on this topic, we report on a recent progress we achieved as a product of the Workshop Birational geometry of surfaces, held at University of Rome “Tor Vergata” on January 11th–15th, 2016. In particular, we obtained that if $$X\subset \mathbb {P}^{n+1}$$ is a very general hypersurface of degree $$d\geqslant 2n+2$$ , the least gonality of a curve $$C\subset X$$ passing through a general point of X is $$\mathrm {gon}(C)=d-\left\lfloor \frac{\sqrt{16n+1}-1}{2}\right\rfloor $$ , apart from some exceptions we list.

In this short paper, we construct a unipotent nearby cycle functor and show a p-adic analogue of Beilinson’s equivalence comparing two derived categories: the derived category of holonomic arithmetic $${\mathcal {D}}$$ -modules and the derived category of arithmetic $${\mathcal {D}}$$ -modules whose cohomologies are holonomic.

This note is concerned with the geometric classification of connected Lie groups of dimension three or less, endowed with left-invariant Riemannian metrics. On the one hand, assembling results from the literature, we give a review of the complete classification of such groups up to quasi-isometries and we compare the quasi-isometric classification with the bi-Lipschitz classification. On the other hand, we study the problem whether two quasi-isometrically equivalent Lie groups may be made isometric if equipped with suitable left-invariant Riemannian metrics. We show that this is the case for three-dimensional simply connected groups, but it is not true in general for multiply connected groups. The counterexample also demonstrates that ‘may be made isometric’ is not a transitive relation.

In this short paper we compute the values of Dijkgraaf-Witten invariants over $Z_2$ for all orientable Seifert manifolds with orientable bases., Comment: 6 pages, 2 figures

Quantum Markov semigroups characterize the time evolution of an important class of open quantum systems. Studying convergence properties of such a semigroup, and determining concentration properties of its invariant state, have been the focus of much research. Quantum versions of functional inequalities (like the modified logarithmic Sobolev and Poincar\'{e} inequalities) and the so-called transportation cost inequalities, have proved to be essential for this purpose. Classical functional and transportation cost inequalities are seen to arise from a single geometric inequality, called the Ricci lower bound, via an inequality which interpolates between them. The latter is called the HWI-inequality, where the letters I, W and H are, respectively, acronyms for the Fisher information (arising in the modified logarithmic Sobolev inequality), the so-called Wasserstein distance (arising in the transportation cost inequality) and the relative entropy (or Boltzmann H function) arising in both. Hence, classically, all the above inequalities and the implications between them form a remarkable picture which relates elements from diverse mathematical fields, such as Riemannian geometry, information theory, optimal transport theory, Markov processes, concentration of measure, and convexity theory. Here we consider a quantum version of the Ricci lower bound introduced by Carlen and Maas, and prove that it implies a quantum HWI inequality from which the quantum functional and transportation cost inequalities follow. Our results hence establish that the unifying picture of the classical setting carries over to the quantum one., Comment: 29 pages, 2 figures

0.1. How it all began. When the second author translated a result on algebraic sur faces into the language of lattice polygons using toric geometry, he got a simple inequality for lattice polygons. This inequality had originally been discovered by Scott [12]. The first author then found a third proof. Subsequently, both authors went through a phase of polygon addiction. Once you get started drawing lattice polygons on graph paper and discovering relations between their numerical invariants, it is not so easy to stop! (The gentle reader has been warned.) Thus, it was just unavoidable that the authors came up with new inequalities: Scott's inequality can be sharpened if one takes into account another invariant, which is de fined by peeling off the skins of the polygons like an onion (see Section 3).

In 1985, Odoni showed that in characteristic 0 0 the Galois group of the n n -th iterate of the generic polynomial with degree d d is as large as possible. That is, he showed that this Galois group is the n n -th wreath power of the symmetric group S d S_d . We generalize this result to positive characteristic, as well as to the generic rational function. These results can be applied to prove certain density results in number theory, two of which are presented here. This work was partially completed by the late R.W.K. Odoni in an unpublished paper.