Search

The aim of this paper is to discuss the main result in the paper by D.Y. Gao and X. Lu [On the extrema of a nonconvex functional with double-well potential in 1D, Z. Angew. Math. Phys. (2016) 67:62]. More precisely we provide a detailed study of the problem considered in that paper, pointing out the importance of the norm on the space $C^{1}[a,b]$; because no norm (topology) is mentioned on $C^{1}[a,b]$ we look at it as being a subspace of $W^{1,p}(a,b)$ for $p\in [1,\infty]$ endowed with its usual norm. We show that the objective function has not local extrema with the mentioned constraints for $p\in [1,4)$, and has (up to an additive constant) only a local maximizer for $p=\infty$, unlike the conclusion of the main result of the discussed paper where it is mentioned that there are (up to additive constants) two local minimizers and a local maximizer. We also show that the same conclusions are valid for the similar problem treated in the preprint by X. Lu and D.Y. Gao [On the extrema of a nonconvex functional with double-well potential in higher dimensions, arXiv:1607.03995]., 12 pages; in this version we added the forgotten condition $F(x) \ne 0$ for $x\in (a,b)$ on page 3

We investigate the asymptotic properties of the trajectories generated by a second-order dynamical system with Hessian driven damping and a Tikhonov regularization term in connection with the minimization of a smooth convex function in Hilbert spaces. We obtain fast convergence results for the function values along the trajectories. The Tikhonov regularization term enables the derivation of strong convergence results of the trajectory to the minimizer of the objective function of minimum norm.

The aim of this paper is to generalize results known for the symplectic involutions on K3 surfaces to the order 3 symplectic automorphisms on K3 surfaces. In particular, we will explicitly describe the action induced on the lattice $\Lambda_{K3}$, isometric to the second cohomology group of a K3 surface, by a symplectic automorphism of order 3; we exhibit the maps $\pi_*$ and $\pi^*$ induced in cohomology by the rational quotient map $\pi:X\dashrightarrow Y$, where $X$ is a K3 surface admitting an order 3 symplectic automorphism $\sigma$ and $Y$ is the minimal resolution of the quotient $X/\sigma$; we deduce the relation between the N\'eron--Severi group of $X$ and the one of $Y$. Applying these results we describe explicit geometric examples and generalize the Shioda--Inose structures, relating Abelian surfaces admitting order 3 endomorphisms with certain specific K3 surfaces admitting particular order 3 symplectic automorphisms., Comment: 28 pages. Version 2: this is the published version of the paper. The last section of the previous version (v1) was erased (the results are only stated) and it is now contained in arXiv:2209.10141

Generalizing wavelets by adding desired redundancy and flexibility, framelets (i.e., wavelet frames) are of interest and importance in many applications such as image processing and numerical algorithms. Several key properties of framelets are high vanishing moments for sparse multiscale representation, fast framelet transforms for numerical efficiency, and redundancy for robustness. However, it is a challenging problem to study and construct multivariate nonseparable framelets, mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices. Moreover, all the known multivariate tight framelets derived from spline refinable scalar functions have only one vanishing moment, and framelets derived from refinable vector functions are barely studied yet in the literature. In this paper, we circumvent the above difficulties through the approach of quasi-tight framelets, which behave almost identically to tight framelets. Employing the popular oblique extension principle (OEP), from an arbitrary compactly supported M-refinable vector function ϕ with multiplicity greater than one, we prove that we can always derive from ϕ a compactly supported multivariate quasi-tight framelet such that: (i) all the framelet generators have the highest possible order of vanishing moments; (ii) its associated fast framelet transform has the highest balancing order and is compact. For a refinable scalar function ϕ (i.e., its multiplicity is one), the above item (ii) often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP-based multivariate quasi-tight framelet derived from ϕ satisfying item (i). We point out that constructing OEP-based quasi-tight framelets is closely related to the generalized spectral factorization of Hermitian trigonometric polynomial matrices. Our proof is critically built on a newly developed result on the normal form of a matrix-valued filter, which is of interest and importance in itself for greatly facilitating the study of refinable vector functions and multiwavelets/multiframelets. This paper provides a comprehensive investigation on OEP-based multivariate quasi-tight multiframelets and their associated framelet transforms with high balancing orders. This deepens our theoretical understanding of multivariate quasi-tight multiframelets and their associated fast multiframelet transforms.

In this paper we prove that a nodal hypersurface in P^4 with defect has at least (d-1)^2 nodes, and if it has at most 2(d-2)(d-1) nodes and d>6 then it contains either a plane or a quadric surface. Furthermore, we prove that a nodal double cover of P^3 ramified along a surface of degree 2d with defect has at least d(2d-1) nodes. We construct the largest dimensional family of nodal degree d hypersurfaces in P^(2n+2) with defect for d sufficiently large., v2: A proof for the Ciliberto-Di Gennaro conjecture is added (Section 5); Some minor corrections in the other sections. v3: some minor corrections in the abstract v4: The proof for the Ciliberto-Di Gennaro conjecture has been modified; The paper is split into two parts, the complete intersection case will be discussed in a different paper

Recently, two of the authors of this paper constructed cyclic cocycles on Harish-Chandra's Schwartz algebra of linear reductive Lie groups that detect all information in the $K$-theory of the corresponding group $C^*$-algebra. The main result in this paper is an index formula for the pairings of these cocycles with equivariant indices of elliptic operators for proper, cocompact actions. This index formula completely determines such equivariant indices via topological expressions., 40 pages; updates based on referee comments; expanded proof of Proposition 3.3

This is a follow-up paper of arXiv:1805.00115, where rational curves in surfaces that satisfy general positioned point and cross-ratio conditions were enumerated. A suitable correspondence theorem provided in arXiv:1509.07453 allowed us to use tropical geometry, and, in particular, a degeneration technique called floor diagrams. This correspondence theorem also holds in higher dimension. In the current paper, we introduce so-called cross-ratio floor diagrams and show that they allow us to determine the number of rational space curves that satisfy general positioned point and cross-ratio conditions. Moreover, graphical contributions are introduced which provide a novel and structured way of understanding multiplicities of floor decomposed curves in $\mathbb{R}^3$. Additionally, so-called condition flows on a tropical curve are used to reflect how conditions imposed on a tropical curve yield different types of edges. This concept is applicable in arbitrary dimension., 36 pages, 15 figures; fixed minor issues, added references

Let us fix a prime $p$. The Erd\H{o}s-Ginzburg-Ziv problem asks for the minimum integer $s$ such that any collection of $s$ points in the lattice $\mathbb{Z}^n$ contains $p$ points whose centroid is also a lattice point in $\mathbb{Z}^n$. For large $n$, this is essentially equivalent to asking for the maximum size of a subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero. In this paper, we give a new upper bound for this problem for any fixed prime $p\geq 5$ and large $n$. In particular, we prove that any subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero has size at most $C_p\cdot \left(2\sqrt{p}\right)^n$, where $C_p$ is a constant only depending on $p$. For $p$ and $n$ going to infinity, our bound is of the form $p^{(1/2)\cdot (1+o(1))n}$, whereas all previously known upper bounds were of the form $p^{(1-o(1))n}$ (with $p^n$ being a trivial bound). Our proof uses the so-called multi-colored sum-free theorem which is a consequence of the Croot-Lev-Pach polynomial method. This method and its consequences were already applied by Naslund as well as by Fox and the author to prove bounds for the problem studied in this paper. However, using some key new ideas, we significantly improve their bounds., Comment: 11 pages

For a separable finite diffuse measure space $${\mathcal {M}}$$ M and an orthonormal basis $$\{\varphi _n\}$$ { φ n } of $$L^2({\mathcal {M}})$$ L 2 ( M ) consisting of bounded functions $$\varphi _n\in L^\infty ({\mathcal {M}})$$ φ n ∈ L ∞ ( M ) , we find a measurable subset $$E\subset {\mathcal {M}}$$ E ⊂ M of arbitrarily small complement $$|{\mathcal {M}}{\setminus } E| | M \ E | < ϵ , such that every measurable function $$f\in L^1({\mathcal {M}})$$ f ∈ L 1 ( M ) has an approximant $$g\in L^1({\mathcal {M}})$$ g ∈ L 1 ( M ) with $$g=f$$ g = f on E and the Fourier series of g converges to g, and a few further properties. The subset E is universal in the sense that it does not depend on the function f to be approximated. Further in the paper this result is adapted to the case of $${\mathcal {M}}=G/H$$ M = G / H being a homogeneous space of an infinite compact second countable Hausdorff group. As a useful illustration the case of n-spheres with spherical harmonics is discussed. The construction of the subset E and approximant g is sketched briefly at the end of the paper.

This paper discusses an outer-approximation guided optimization method for constrained neural network inverse problems with rectified linear units. The constrained neural network inverse problems refer to an optimization problem to find the best set of input values of a given trained neural network in order to produce a predefined desired output in presence of constraints on input values. This paper analyzes the characteristics of optimal solutions of neural network inverse problems with rectified activation units and proposes an outer-approximation algorithm by exploiting their characteristics. The proposed outer-approximation guided optimization comprises primal and dual phases. The primal phase incorporates neighbor curvatures with neighbor outer-approximations to expedite the process. The dual phase identifies and utilizes the structure of local convex regions to improve the convergence to a local optimal solution. At last, computation experiments demonstrate the superiority of the proposed algorithm compared to a projected gradient method.

A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In the present paper we extend Koksma's theorem to the pair correlation setting. More precisely, we show that for Lebesgue almost every $x>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proof is based on a martingale approximation method., Version 2: some minor changes. The paper will appear in the Israel Journal of Mathematics

In this paper, we prove that for the oper stratification of the de Rham moduli space $M_{\mathrm{dR}}(X,r)$, the closed oper stratum is the unique minimal stratum with dimension $r^2(g-1)+g+1$, and the open dense stratum consisting of irreducible flat bundles with stable underlying vector bundles is the unique maximal stratum., Comment: This paper comes from the last section of arXiv:1905.10765v1 as an independent paper. Comments are welcome! To appear in manuscripta mathematica

In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of modules to induce a Bourbaki sequence. Special attention is given to graded Bourbaki sequences. In the second part of the paper, we apply these results to the Koszul cycles of the residue class field and determine particular Bourbaki ideals explicitly. We also obtain in a special case the relationship between the structure of the Rees algebra of a Koszul cycle and the Rees algebra of its Bourbaki ideal., Comment: 29 pages

In this paper we study the isotypic decomposition of the regular module of a finite-dimensional Hopf algebra over an algebraically closed field of characteristic zero. For a semisimple Hopf algebra, the idempotents realizing the isotypic decomposition can be explicitly expressed in terms of characters and the Haar integral. In this paper we investigate Hopf algebras with the Chevalley property, which are not necessarily semisimple. We find explicit expressions for idempotents in terms of Hopf-algebraic data, where the Haar integral is replaced by the regular character of the dual Hopf algebra. For a large class of Hopf algebras, these are shown to form a complete set of orthogonal idempotents. We give an example which illustrates that the Chevalley property is crucial., Comment: 29 pages

This paper concerns the density of the Hartman--Watson law. Yor (1980) obtained an integral formula that gives a closed-form expression of the Hartman--Watson density. In this paper, based on Yor's formula, we provide alternative integral representations for the density. As an immediate application, we recover in part a Dufresne's result (2001) that exhibits remarkably simple representations for the laws of exponential additive functionals of Brownian motion., Comment: 21 pages; this is an abridged version of the previous one, accepted for publication in the Journal of Theoretical Probability, with shortened Section 4

This work has been motivated by recent papers that quantify the density of values of generic quadratic forms and other polynomials at integer points, in particular ones that use Rogers' second moment estimates. In this paper we establish such results in a very general framework. Given any subhomogeneous function (a notion to be defined) $f: \mathbb{R}^n \to \mathbb{R}$, we derive a necessary and sufficient condition on the approximating function $\psi$ for guaranteeing that a generic element $f\circ g$ in the $G$-orbit of $f$ is $\psi$-approximable; that is, $|f\circ g(\mathbf{v})| \le \psi(\|\mathbf{v}\|)$ for infinitely many $\mathbf{v} \in \mathbb{Z}^n$. We also deduce a sufficient condition in the case of uniform approximation. Here, $G$ can be any closed subgroup of $\rm{ASL}_n(\mathbb{R})$ satisfying certain axioms that allow for the use of Rogers-type estimates., Comment: 26 pages; misprints corrected, concluding remarks added

A goal of the paper is to prove new inequalities connecting some functionals of probability distribution functions. These inequalities are based on the strict convexity of functions used in the definition of the functionals. The starting point is the paper “Cramer–von Mises distance: probabilistic interpretation, confidence intervals and neighborhood of model validation” by Ludwig Baringhaus and Norbert Henze. The present paper provides a generalization of inequality obtained in probabilistic interpretation of the Cramer–von Mises distance. If the equality holds there, then a chance to give characterization of some probability distribution functions appears. Considering this fact and a special character of the functional, it is possible to create a class of free-of-distribution two sample tests.

We show that the phase tropical pair-of-pants is (ambient) isotopic to the complex pair-of-pants. This paper can serve as an addendum to the author's joint paper with Ruddat arXiv:2001.08267 where an isotopy between complex and ober-tropical pairs-of-pants was shown. Thus all three versions are isotopic., 10 pages, 8 figures. arXiv admin note: text overlap with arXiv:2001.08267

In this paper, we study noncommutative surface singularities arising from orders. The singularities we study are mild in the sense that they have finite representation type or, equivalently, are log terminal in the sense of the Mori minimal model program for orders (Chan and Ingalls in Invent Math 161(2):427–452, 2005). These were classified independently by Artin (in terms of ramification data) and Reiten–Van den Bergh (in terms of their AR-quivers). The first main goal of this paper is to connect these two classifications, by going through the finite subgroups $$G \subset {{{\,\mathrm{GL}\,}}_2}$$ , explicitly computing $$H^2(G,k^*)$$ , and then matching these up with Artin’s list of ramification data and Reiten–Van den Bergh’s AR-quivers. This provides a semi-independent proof of their classifications and extends the study of canonical orders in Chan et al. (Proc Lond Math Soc (3) 98(1):83–115, 2009) to the case of log terminal orders. A secondary goal of this paper is to study noncommutative analogues of plane curves which arise as follows. Let $$B = k_{\zeta } \llbracket x,y \rrbracket $$ be the skew power series ring where $$\zeta $$ is a root of unity, or more generally a terminal order over a complete local ring. We consider rings of the form $$A = B/(f)$$ where $$f \in Z(B)$$ which we interpret to be the ring of functions on a noncommutative plane curve. We classify those noncommutative plane curves which are of finite representation type and compute their AR-quivers.

This paper is a follow up of [6]. We investigate the boundedness of the bilinear fractional integral operator introduced by Grafakos in [3]. When the local integrability index $s$ falls 1 with weights and $t$ exceeds 1, He and Yan obtained some results on this operator was worked on Morrey spaces earlier in [7]. Later in the paper [6], we considered the case $t=1$. This paper handles the remaining case $0, Comment: 9 PAGES

Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $\chi_{\rho}(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs. In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $\Delta$ times ($\Delta$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$., Comment: 24 pages

This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of genera and ideal complexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the results of Yu on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigation., Comment: 23 pages. Section 5.4 corrected

In the study of the constant in Ahlfors' second fundamental theorem involving a set E_{q} of q points, branch values of covering surfaces outside E_{q} bring a lot of troubles. To avoid this situation, for a given surface S, it is useful to construct a new surface So such that L(So) =H(S), and all branch values of So are contained in E_{q}. The goal of this paper is to prove the existence of such So, which generalizes Lemma 9.1 and Theorem 10.1 in Zhang G.Y.: The precise bound for the area-length ratio in Ahifors' theory of covering surfaces. Invent math 191:197-253(2013), This paper is a preparation for the further research on Ahlfors' theorey of covering surfaces

This is a follow-up of the paper J. Fernandez-Bonder, A. Ritorto and A. Salort, H-convergence result for nonlocal elliptic-type problems via Tartar’s method, SIAM J. Math. Anal., 49 (2017), pp. 2387–2408, where the classical concept of H-convergence was extended to fractional $$p$$ -Laplace type operators. In this short paper we provide an explicit characterization of this notion by demonstrating that the weak- $$*$$ convergence of the coefficients is an equivalent condition for H-convergence of the sequence of nonlocal operators. This result takes advantage of nonlocality and is in stark contrast to the local $$p$$ -Laplacian case.

T. Ikeda and H. Katsurada have developed the theory of the Gross-Keating invariant of a quadratic form in their recent papers [IK1] and [IK2]. In particular, they prove that the local factor of the Fourier coefficients of the Siegel-Eisenstein series is completely determined by the Gross-Keating invariant with extra datum, called the extended GK datum, in [IK2]. On the other hand, such local factor is a special case of the local densities for a pair of two quadratic forms. Thus we propose a general question if the local density can be determined by certain series of the Gross-Keating invariants and the extended GK datums. In this paper, we prove that the answer to this question is affirmative, for the local density of a single quadratic form defined over an unramified finite extension of $\mathbb{Z}_2$. In the appendix, T. Ikeda and H. Katsurada compute the local density formula of a single binary quadratic form defined over any finite extension of $\mathbb{Z}_2$., 32 pages

The standard $L$-functions of $\mathrm{GL}_{2n}$ expressed in terms of the Friedberg-Jacquet global zeta integrals have better structure for arithmetic applications, due to the relation of the linear periods with the modular symbols. The most technical obstacles towards such arithmetic applications are (1) non-vanishing of modular symbols at infinity and (2) the existance or construction of uniform cohomological test vectors. Problem (1) is also called the non-vanishing hypothesis at infinity, which was proved by Binyong Sun, by establishing the existence of certain cohomological test vectors. In this paper, we explicitly construct an archimedean local integral that produces a new type of a twisted linear functional $\Lambda_{s,\chi}$, which, when evaluated with our explicitly constructed cohomological vector, is equal to the local twisted standard $L$-function $L(s,\pi\otimes\chi)$ as a meromorphic function of $s\in \mathbb{C}$. With the relations between linear models and Shalika models, we establish (1) with an explicitly constructed cohomological vector, and hence recovers a non-vanishing result of Binyong Sun via a completely different method. Our main result indicates a complete solution to (2), which will be presented in a paper of Dihua Jiang, Binyong Sun and Fangyang Tian with full details and with applications to the global period relations for the twisted standard $L$-functions at critical places., Comment: 39 pages. The current version of this paper is significantly shorter than the previous one, as the first author pointed out a conceptual intepretation of construction of cohomological test vector in the old version of this paper. Section 4 is completely rewritten. Also fix some inaccuracies

Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a cohomology theory, called Quillen cohomology, whose category of coefficients is $\mathcal{T}_X\mathcal{C}$. When $\mathcal{C}$ consists of algebras over a nice $\infty$-operad in a stable $\infty$-category, $\mathcal{T}_X\mathcal{C}$ is equivalent to the $\infty$-category of operadic modules, by work of Basterra--Mandell, Schwede and Lurie. In this paper we develop the model-categorical counterpart of this identification and extend it to the case of algebras over an enriched operad, taking values in a model category which is not necessarily stable. This extended comparison can be used, for example, to identify the cotangent complex of enriched categories, an application we take up in a subsequent paper., Comment: The section concerning stabilization of model categories was separated into an independent paper, appearing now as arXiv:1802.08031

A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable log maps of maximal tangency. We ask how various natural components of the moduli space contribute to the log Gromov-Witten invariants. The first such calculation by Gross-Pandharipande-Siebert deals with multiple covers over rigid curves in the log Calabi-Yau setting. As a natural continuation, in this paper we compute the contributions of non-rigid irreducible curves in the log Calabi-Yau setting and that of the union of two rigid curves in general position. For the former, we construct and study a moduli space of "logarithmic" 1-dimensional sheaves and compare the resulting multiplicity with tropical multiplicity. For the latter, we explicitly describe the components of the moduli space and work out the logarithmic deformation theory in full, which we then compare with the deformation theory of the analogous relative stable maps., Comment: Added two example sections including a comparison with tropical multiplicity. 53 pages, 4 figures

In a companion paper to this one, we proved that the Gromov--Witten theory of a Fano orbifold line of type $D$ is governed by a system of Hirota Bilinear Equations. The goal of this paper is to prove that every solution to the Hirota Bilinear Equations determines a solution to a new integrable hierarchy of Lax equations. We suggest the name extended D-Toda hierarchy for this new system of Lax equations, because it should be viewed as the analogue of Carlet's extended bi-graded Toda hierarchy, which is known to govern the Gromov--Witten theory of Fano orbifold lines of type $A$, 73 pages

We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming the Generalized Riemann Hypothesis. The error term in this new Chebotarev density theorem also avoids the effect of an exceptional zero of the Dedekind zeta function of $L$, without assuming GRH. We give many different "appropriate families," including families of arbitrarily large degree. To do this, we first prove a new effective Chebotarev density theorem that requires a zero-free region of the Dedekind zeta function. Then we prove that almost all number fields in our families yield such a zero-free region. The innovation that allows us to achieve this is a delicate new method for controlling zeroes of certain families of non-cuspidal $L$-functions. This builds on, and greatly generalizes the applicability of, work of Kowalski and Michel on the average density of zeroes of a family of cuspidal $L$-functions. A surprising feature of this new method, which we expect will have independent interest, is that we control the number of zeroes in the family of $L$-functions by bounding the number of certain associated fields with fixed discriminant. As an application of the new Chebotarev density theorem, we prove the first nontrivial upper bounds for $\ell$-torsion in class groups, for all integers $\ell \geq 1$, applicable to infinite families of fields of arbitrarily large degree., Comment: 52 pages. This shorter version aligns with the published paper. Note that portions of Section 8 of the longer v1 have been developed as a separate paper with identifier arXiv:1902.02008

International audience; This article is the continuation of our first work on the determination of the cases where there is equality in Courant's Nodal Domain theorem in the case of a Robin boundary condition (with Robin parameter h). For the square, our first paper focused on the case where h is large and extended results that were obtained by Pleijel, Bérard-Helffer, for the problem with a Dirichlet boundary condition. There, we also obtained some general results about the behaviour of the nodal structure (for planar domains) under a small deformation of h, where h is positive and not close to 0. In this second paper, we extend results that were obtained by Helffer-Persson-Sundqvist for the Neumann problem to the case where h > 0 is small. MSC classification (2010): 35P99, 58J50, 58J37.

Let P be a Borel probability measure on ℝ generated by an infinite system of similarity mappings {Sj : j ∈ ℕ} such that $$P=\Sigma_{j=1}^{\infty}\frac{1}{2^{j}}P\circ{S}_j^{-1}$$ , where for each j ∈ ℕ and x ∈ ℝ, $$S_j(x)=\frac{1}{3^j}x+1-\frac{1}{3^{j-1}}$$ . Then, the support of P is the dyadic Cantor set C generated by the similarity mappings f1, f2 : ℝ → ℝ such that f1(x) = 1/3x and f2(x) = 1/3x+ 2/3 for all x ∈ ℝ. In this paper, using the infinite system of similarity mappings {Sj : j ∈ ℕ} associated with the probability vector $$(\frac{1}{2},\frac{1}{{{2^2}}},...)$$ , for all n ∈ ℕ, we determine the optimal sets of n-means and the nth quantization errors for the infinite self-similar measure P. The technique obtained in this paper can be utilized to determine the optimal sets of n-means and the nth quantization errors for more general infinite self-similar measures.

In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(\gamma(H)+o(1))\log x/\log\log x}$ where $\gamma(H)$ is an explicit constant computable from the (absolute) root system of $H$. In [BLu] we disproved this conjecture. In this paper we prove that for most groups $H$ the conjecture is actually true if we restrict to counting only non-uniform lattices., Comment: 23 pages, revised following referee's comments. Dedicated to Aner Shalev on his 60th birthday. This paper is related to our previous work arXiv:0905.1841 with which it shares some preliminaries

The paper presents a general duality theory for vector measure spaces taking its origin in the author's papers written in the 1960s. The main result establishes a direct correspondence between the geometry of a measure in a vector space and the properties of the space of measurable linear functionals on this space regarded as closed subspaces of an abstract space of measurable functions. An example of useful new features of this theory is the notion of a free measure and its applications., Comment: 20 pp.23 Ref

Prime end boundaries $\partial_P\Omega$ of domains $\Omega$ are studied in the setting of complete doubling metric measure spaces supporting a $p$-Poincar\'e inequality. Notions of rectifiably (in)accessible- and (in)finitely far away prime ends are introduced and employed in classification of prime ends. We show that, for a given domain, the prime end capacity of the collection of all rectifiably inaccessible prime ends together will all non-singleton prime ends is zero. We show the resolutivity of continouous functions on $\partial_P\Omega$ which are Lipschitz continuous with respect to the Mazurkiewicz metric when restricted to the collection $\partial_{SP}\Omega$ of all accessible prime ends. Furthermore, bounded perturbations of such functions in $\partial_P\Omega\setminus\partial_{SP}\Omega$ yield the same Perron solution. In the final part of the paper, we demonstrate the (resolutive) Kellogg property with respect to the prime end boundary of bounded domains in the metric space. Notions given in this paper are illustrated by a number of examples., Comment: 23 pages, 3 figures

Let $A$ be a (left and right) Noetherian ring that is semiperfect. Let $e$ be an idempotent of $A$ and consider the ring $\Gamma:=(1-e)A(1-e)$ and the semi-simple right $A$-module $S_e : = eA/e{\rm rad}A$. In this paper, we investigate the relationship between the global dimensions of $A$ and $\Gamma$, by using the homological properties of $S_e$. More precisely, we consider the Yoneda ring $Y(e):={\rm Ext}^*_A(S_e,S_e)$ of $e$. We prove that if $Y(e)$ is artinian of finite global dimension, then $A$ has finite global dimension if and only if so is $\Gamma$. We also investigate the situation where both $A,\Gamma$ have finite global dimension. When $A$ is Koszul and finite dimensional, this implies that $Y(e)$ has finite global dimension. We end the paper with a reduction technique to compute the Cartan determiant of artin algebras. We prove that if $Y(e)$ has finite global dimension, then the Cartan determinants of $A$ and $\Gamma$ coincide. This provides a new way to approach the long-standing Cartan determinant conjecture., Comment: 14 pages

In this paper, we find all positive squarefree integers d such that the Pell equation X2-dY2 = +-1 has at least two positive integer solutions (X,Y) and (X',Y') such that both X and X' have Zeckendorf representations with at most two terms. This paper has been accepted for publication in SCIENCE CHINA Mathematics.

For any symplectic manifold $${(M,\omega )}$$ , the set of Hamiltonian diffeomorphisms $${{\text {Ham}}^c(M,\omega )}$$ forms a group and $${{\text {Ham}}^c(M,\omega )}$$ contains an important subset $${{\text {Aut}}(M,\omega )}$$ which consists of time one flows of autonomous(time-independent) Hamiltonian vector fields on M. One might expect that $${{\text {Aut}}(M,\omega )}$$ is a very small subset of $${{\text {Ham}}^c(M,\omega )}$$ . In this paper, we estimate the size of the subset $${{\text {Aut}}(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric which was introduced by Hofer. Polterovich and Shelukhin proved that the complement $${{\text {Ham}}^c\backslash {\text {Aut}}(M,\omega )}$$ is a dense subset of $${{\text {Ham}}^c(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric if $${(M,\omega )}$$ is a closed symplectically aspherical manifold where Conley conjecture is established (Polterovich and Schelukhin in Sel Math 22(1):227–296, 2016). In this paper, we generalize above theorem to general closed symplectic manifolds and general conv! ex symplectic manifolds. So, we prove that the set of all non-autonomous Hamiltonian diffeomorphisms $${{\text {Ham}}^c\backslash {\text {Aut}}(M,\omega )}$$ is a dense subset of $${{\text {Ham}}^c(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric if $${(M,\omega )}$$ is a closed or convex symplectic manifold without relying on the solution of Conley conjecture.

In this paper we show how the spectral theory based on the notion of S-spectrum allows us to study new classes of fractional diffusion and of fractional evolution processes. We prove new results on the quaternionic version of the $${H^\infty}$$ functional calculus and we use it to define the fractional powers of vector operators. The Fourier law for the propagation of the heat in non homogeneous materials is a vector operator of the form $$T = e_{1} a(x)\partial_{x1} + e_{2} b(x)\partial_{x2} + e_{3} c(x)\partial_{x3}$$ where $${e_{\ell}, {\ell} = 1, 2, 3}$$ are orthogonal unit vectors, a, b, c are suitable real valued functions that depend on the space variables $${x = (x_{1}, x_{2}, x_{3})}$$ and possibly also on time. In this paper we develop a general theory to define the fractional powers of quaternionic operators which contain as a particular case the operator T so we can define the non local version $${T^{\alpha}, {\rm for} \alpha \in (0, 1)}$$ , of the Fourier law defined by T. Our new mathematical tools open the way to a large class of fractional evolution problems that can be defined and studied using our spectral theory based on the S-spectrum for vector operators. This paper is devoted to researchers working on fractional diffusion and fractional evolution problems, partial differential equations, non commutative operator theory, and quaternionic analysis.

Sampling in shift-invariant spaces is a realistic model for signals with smooth spectrum. In this paper, we consider phaseless sampling and reconstruction of real-valued signals in a high-dimensional shift-invariant space from their magnitude measurements on the whole Euclidean space and from their phaseless samples taken on a discrete set with finite sampling density. The determination of a signal in a shift-invariant space, up to a sign, by its magnitude measurements on the whole Euclidean space has been shown in the literature to be equivalent to its nonseparability. In this paper, we introduce an undirected graph associated with the signal in a shift-invariant space and use connectivity of the graph to characterize nonseparability of the signal. Under the local complement property assumption on a shift-invariant space, we find a discrete set with finite sampling density such that nonseparable signals in the shift-invariant space can be reconstructed in a stable way from their phaseless samples taken on that set. In this paper, we also propose a reconstruction algorithm which provides an approximation to the original signal when its noisy phaseless samples are available only. Finally, numerical simulations are performed to demonstrate the robustness of the proposed algorithm to reconstruct box spline signals from their noisy phaseless samples.

This paper addresses the question of whether it can be beneficial for an optimization algorithm to follow directions of negative curvature. Although prior work has established convergence results for algorithms that integrate both descent and negative curvature steps, there has not yet been extensive numerical evidence showing that such methods offer consistent performance improvements. In this paper, we present new frameworks for combining descent and negative curvature directions: alternating two-step approaches and dynamic step approaches. The aspect that distinguishes our approaches from ones previously proposed is that they make algorithmic decisions based on (estimated) upper-bounding models of the objective function. A consequence of this aspect is that our frameworks can, in theory, employ fixed stepsizes, which makes the methods readily translatable from deterministic to stochastic settings. For deterministic problems, we show that instances of our dynamic framework yield gains in performance compared to related methods that only follow descent steps. We also show that gains can be made in a stochastic setting in cases when a standard stochastic-gradient-type method might make slow progress.

In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are perfect sequence spaces. As a consequence we describe the tensor structure of sequential mappings on the spaces of smooth type functions and characterise their adjoint mappings. As an application we prove the universality of the spaces of smooth type functions on compact manifolds without boundary., 23 pages

In this paper we use the blow-up surgery introduced in [G] to produce new higher dimensional partially hyperbolic flows. The main contribution of the paper is the slow-down construction which accompanies the blow-up construction. This new ingredient allows to dispose of a rather strong domination assumption which was crucial for results in [G]. Consequently we gain more flexibility which allows to construct new volume-preserving partially hyperbolic flows as well as new examples which are not fiberwise Anosov. The latter are produced by starting with the geodesic flow on complex hyperbolic manifold which admits a totally geodesic complex curve. Then by performing the slow-down first and the blow-up second we obtain a new (volume-preserving) partially hyperbolic flows., Comment: 16 pages. This is part II. Part I being arXiv:1609.05925

Kisin and Pappas constructed integral models of Hodge-type Shimura varieties with parahoric level structure at $p>2$, such that the formal neighbourhood of a mod~$p$ point can be interpreted as a deformation space of $p$-divisible group with some Tate cycles (generalising Faltings' construction). In this paper, we study the central leaf and the closed Newton stratum in the formal neighbourhoods of mod~$p$ points of Kisin-Pappas integral models with parahoric level structure; namely, we obtain the dimension of central leaves and the almost product structure of Newton strata. In the case of hyperspecial level strucure (i.e., in the good reduction case), our main results were already obtained by Hamacher, and the result of this paper holds for ramified groups as well., 33 pages; section 2.5 added to fill in the gap in the earlier version

A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf-Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules are Quillen equivalent. The category of comodules over the trivial coring (A,A) is isomorphic to the category of A-modules, so the question above englobes that of when two algebras are homotopically Morita equivalent. We discuss this special case in the first part of the paper, extending previously known results. To approach the general question, we introduce the notion of a 'braided bimodule' and show that adjunctions between A-Mod and B-Mod that lift to adjunctions between (A,C)-Comod and (B,D)-Comod correspond precisely to braided bimodules between (A,C) and (B,D). We then give criteria, in terms of homotopic descent, for when a braided bimodule induces a Quillen equivalence. In particular, we obtain criteria for when a morphism of corings induces a Quillen equivalence, providing a homotopic generalization of results by Hovey and Strickland on Morita equivalences of Hopf algebroids. To illustrate the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring., Comment: 46 pages

In this paper we consider monic polynomials such that their coefficients coincide with their zeros. These polynomials were first introduced by S. Ulam. We combine methods of algebraic geometry and dynamical systems to prove several results. We obtain estimates on the number of Ulam polynomials of degree $N$. We provide additional methods to obtain algebraic identities satisfied by the zeros of Ulam polynomials, beyond the straightforward comparison of their zeros and coefficients. To address the question about existence of orthogonal Ulam polynomial sequences, we show that the only Ulam polynomial eigenfunctions of hypergeometric type differential operators are the trivial Ulam polynomials $\{x^N\}_{N=0}^\infty$. We propose a family of solvable $N$-body problems such that their stable equilibria are the zeros of certain Ulam polynomials., This version contains clarifications of the exposition to match the published version of the paper

In the authors' first paper, Beurling-Rudin-Korenbljum type characterization of the closed ideals in a certain algebra of holomorphic functions was used to describe the lattice of invariant subspaces of the shift plus a complex Volterra operator. Current work is an extension of the previous work and it describes the lattice of invariant subspaces of the shift plus a positive integer multiple of the complex Volterra operator on the Hardy space. Our work was motivated by a paper by Ong who studied the real version of the same operator., We deleted a proposition and a corollary from section 4, and simplified the proof of the main theorem. **The article has been published in Archiv der Mathematik**

We extend our result on the convergence of double recurrence Wiener-Wintner averages to the case where we have a polynomial exponent. We will show that there exists a single set of full measure for which the averages \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)\phi(p(n)) \] converge for any polynomial $p$ with real coefficients, and any continuous function $\phi$ from the torus to the set of complex numbers . We also show that if either function belongs to an orthogonal complement of an appropriate Host-Kra-Ziegler factor that depends on the degree of the polynomial $p$, then the averages converge to zero uniformly for all polynomials. This paper combines the authors' previously announced work., Comment: This is the final version to appear in Journal d'Analyse mathematique. This latest version combines the previously posted papers on the arxiv website as arXiv:1408.3064 and arXiv:1409.0463

Since its invention in 1979, the Feichtinger algebra has become a very useful Banach space of functions with applications in time-frequency analysis, the theory of pseudo-differential operators and several other topics. It is easily defined on locally compact abelian groups and, in comparison with the Schwartz(-Bruhat) space, the Feichtinger algebra allows for more general results with easier proofs. This review paper gives a linear and comprehensive deduction of the theory of the Feichtinger algebra and its favourable properties. The material gives an entry point into the subject, but it will also give new insight to the expert. A main goal of this paper is to show the equivalence of the many different characterizations of the Feichtinger algebra known in the literature. This task naturally guides the paper through basic properties of functions that belong to the space, over operators on it and to aspects of its dual space. Further results include a seemingly forgotten theorem by Reiter on operators which yield Banach space isomorphisms of the Feichtinger algebra; a new identification of the Feichtinger algebra as the unique Banach space in $L^{1}$ with certain properties; and the kernel theorem for the Feichtinger algebra. A historical description of the development of the theory, its applications and related function space constructions is included., noteable changes, additions and corrections in section 5-9

It is well-known that the Kontsevich formality [K97] for Hochschild cochains of the polynomial algebra $A=S(V^*)$ fails if the vector space $V$ is infinite-dimensional. In the present paper, we study the corresponding obstructions. We construct an $L_\infty$ structure on polyvector fields on $V$ having the even degree Taylor components, with the degree 2 component given by the Schouten-Nijenhuis bracket, but having as well higher non-vanishing Taylor components. We prove that this $L_\infty$ algebra is quasi-isomorphic to the corresponding Hochschild cochain complex. We prove that our $L_\infty$ algebra is $L_\infty$ quasi-isomorphic to the Lie algebra of polyvector fields on $V$ with the Schouten-Nijenhuis bracket, if $V$ is finite-dimensional., 40 pages, v7. The paper is essentially edited. The exposition in Section 1 is improved. Appendices A and B are added