Search

The paper is concerned with the problem of identifying the norm attaining operators in the von Neumann algebra generated by two orthogonal projections on a Hilbert space. This algebra contains every skew projection on that Hilbert space and hence the results of the paper also describe functions of skew projections and their adjoints that attain the norm., Comment: 6 pages

In 1900, at the international congress of mathematicians, Hilbert claimed that the Riemann zeta function $\zeta(s)$ is not the solution of any algebraic ordinary differential equations on its region of analyticity. In 2015, Van Gorder considered the question of whether $\zeta(s)$ satisfies a non-algebraic differential equation and showed that it formally satisfies an infinite order linear differential equation. Recently, Prado and Klinger-Logan extended Van Gorder's result to show that the Hurwitz zeta function $\zeta(s,a)$ is also formally satisfies a similar differential equation \begin{equation*}\label{HurDE} T\left[\zeta (s,a) - \frac{1}{a^s}\right] = \frac{1}{(s-1)a^{s-1}}. \end{equation*} But unfortunately in the same paper they proved that the operator $T$ applied to Hurwitz zeta function $\zeta(s,a)$ does not converge at any point in the complex plane $\mathbb{C}$. In this paper, by defining $T_{p}^{a}$, a $p$-adic analogue of Van Gorder's operator $T,$ we establish an analogue of Prado and Klinger-Logan's differential equation satisfied by $\zeta_{p,E}(s,a)$ which is the $p$-adic analogue of the Hurwitz-type Euler zeta functions \begin{equation*}\label{HEZ} \zeta_E(s,a)=\sum_{n=0}^\infty\frac{(-1)^n}{(n+a)^s}. \end{equation*} In contrast with the complex case, due to the non-archimedean property, the operator $T_{p}^{a}$ applied to the $p$-adic Hurwitz-type Euler zeta function $\zeta_{p,E}(s,a)$ is convergent $p$-adically in the area of $s\in\mathbb{Z}_{p}$ with $s\neq 1$ and $a\in K$ with $|a|_{p}>1,$ where $K$ is any finite extension of $\mathbb{Q}_{p}$ with ramification index over $\mathbb{Q}_{p}$ less than $p-1.$, Comment: 18 pages. Final version. Dedicated to the memory of Prof. David Goss (1952-2017)

We investigate the time-asymptotically nonlinear stability of rarefaction waves to the Cauchy problem of an one-dimensional compressible Navier-Stokes type system for a viscous, compressible, radiative and reactive gas, where the constitutive relations for the pressure $p$, the specific internal energy $e$, the specific volume $v$, the absolute temperature $\theta$, and the specific entropy $s$ are given by $p=R\theta/v +a\theta^4/3$, $e=C_v\theta+av\theta^4$, and $s=C_v\ln \theta+ 4av\theta^3/3+R\ln v$ with $R>0$, $C_{v}>0$, and $a>0$ being the perfect gas constant, the specific heat and the radiation constant, respectively. For such a specific gas motion, a somewhat surprising fact is that, general speaking, the pressure $\widetilde{p}(v,s)$ is not a convex function of the specific volume $v$ and the specific entropy $s$. Even so, we show in this paper that the rarefaction waves are time-asymptotically stable for large initial perturbation provided that the radiation constant $a$ and the strength of the rarefaction waves are sufficiently small. The key point in our analysis is to deduce the positive lower and upper bounds on the specific volume and the absolute temperature, which are uniform with respect to the space and the time variables, but are independent of the radiation constant $a$., Comment: This paper has been accepted for publication in SCIENCE CHINA Mathematics

We continue our study, initiated in our earlier paper, of Riemann surfaces with constant curvature and isolated conic singularities. Using the machinery developed in that earlier paper of extended configuration families of simple divisors, we study the existence and deformation theory for spherical conic metrics with some or all of the cone angles greater than $2\pi$. Deformations are obstructed precisely when the number $2$ lies in the spectrum of the Friedrichs extension of the Laplacian. Our main result is that, in this case, it is possible to find a smooth local moduli space of solutions by allowing the cone points to split. This analytic fact reflects geometric constructions in papers by Mondello and Panov., Comment: Final version accepted by Int. Math. Res. Not

What can be said about the subalgebras of the polynomial ring, with minimal or maximal Hilbert function? This question was discussed in a recent paper by M. Boij and A. Conca. In this paper we study the subalgebras generated in degree two with minimal Hilbert function. The problem to determine the generators of these algebras transfers into a combinatorial problem on counting maximal north-east lattice paths inside a shifted Ferrers diagram. We conjecture that the subalgebras generated in degree two with minimal Hilbert function are generated by an initial Lex or RevLex segment., Comment: To appear in Mathematica Scandinavica

In this paper we completely classify the homogeneous two-spheres, especially, the minimal homogeneous ones in the quaternionic projective space $\textbf{HP}^n$. According to our classification, more minimal constant curved two-spheres in $\textbf{HP}^n$ are obtained than Ohnita conjectured in the paper "Homogeneous harmonic maps into projective space, Tokyo J Math, 1990, 13(1): 87-116"., Comment: This paper has been accepted for publication in SCIENCE CHINA Mathematics

Suppose that $n\geq 1$ and that, for all $i$ and $j$ with $1\leq i,j\leq n$ and $i\neq j$, $z_{ij}\in{\mathbb T}$ are given such that $z_{ji}=\overline{z}_{ij}$ for all $i\neq j$. If $V_1,\dotsc, V_n$ are isometries on a Hilbert space such that $V_i^\ast V_j^{\phantom{\ast}}\!=\overline{z}_{ij} V_j^{\phantom{\ast}}\!V_i^\ast$ for all $i\neq j$, then $(V_1,\dotsc,V_n)$ is called an $n$-tuple of doubly non-commuting isometries. The generators of non-commutative tori are well-known examples. In this paper, we establish a simultaneous Wold decomposition for $(V_1,\dotsc,V_n)$. This decomposition enables us to classify such $n$-tuples up to unitary equivalence. We show that the joint listing of a unitary equivalence class of a representation of each of the $2^n$ non-commutative tori that are naturally associated with the structure constants is a classifying invariant. A dilation theorem is also established, showing that an $n$-tuple of doubly non-commuting isometries can be extended to an $n$-tuple of doubly non-commuting unitary operators on an enveloping Hilbert space., Comment: A remark on the relation between the dilation theorem in this paper and other dilation theorems for multiple operators in the literature has been added. Otherwise, there are only a few minor editorial changes compared to the first version; some typos have also been corrected. Final version, to appear in Advances in Mathematics

In the paper, we construct conservative Markov processes corresponding to the martingale solutions to the stochastic heat equation on R + \mathbb {R}^+ or R \mathbb {R} with values in a general Riemannian manifold, which is only assumed to be complete and stochastic complete. This work is an extension of the previous paper of Röckner and the second, third, and fourth authors [SIAM J. Math. Anal. 52 (2020), pp. 2237–2274] on finite volume case. Moveover, we also obtain some functional inequalities associated to these Markov processes. This implies that on infinite volume case, the exponential ergodicity of the solution of the Ricci curvature is strictly positive and the non-ergodicity of the process if the sectional curvature is negative.

In this paper, we study the $H^s$-stability of the log-log blowup regime (which has been completely described in a series of recent works by Merle and Raphael) for the focusing mass-critical nonlinear Schr\"odinger equations $i\partial_tu+\Delta u+|u|^\frac4du=0$ in $\mathbb{R}^d$ with $d\geq3$. We aim to extend the result in [Colliander and Raphael, Rough blowup solutions to the $L^2$ critical NLS, Math. Anna., 345(2009), 307-366.] for dimension two to the higher dimensions cases $d\geq3$, where we use the bootstrap argument in the above paper and the commutator estimates in [M. Visan and X. Zhang, On the blowup for the $L^2$-critical focusing nonlinear Schr\"odinger equation in higher dimensions below the energy class. SIAM J. Math. Anal., 39(2007), 34-56.]., Comment: Comments are welcome. arXiv admin note: text overlap with arXiv:0907.5047 by other authors

Adaptive regularization with cubics (ARC) is an algorithm for unconstrained, non-convex optimization. Akin to the popular trust-region method, its iterations can be thought of as approximate, safe-guarded Newton steps. For cost functions with Lipschitz continuous Hessian, ARC has optimal iteration complexity, in the sense that it produces an iterate with gradient smaller than $\varepsilon$ in $O(1/\varepsilon^{1.5})$ iterations. For the same price, it can also guarantee a Hessian with smallest eigenvalue larger than $-\varepsilon^{1/2}$. In this paper, we study a generalization of ARC to optimization on Riemannian manifolds. In particular, we generalize the iteration complexity results to this richer framework. Our central contribution lies in the identification of appropriate manifold-specific assumptions that allow us to secure these complexity guarantees both when using the exponential map and when using a general retraction. A substantial part of the paper is devoted to studying these assumptions---relevant beyond ARC---and providing user-friendly sufficient conditions for them. Numerical experiments are encouraging., Comment: 48 pages, 3 figures

This paper is concerned with spherical harmonics, and two refinements thereof: complex harmonics and symplectic harmonics. The reproducing kernels of the spherical and complex harmonics are explicitly given in terms of Gegenbauer or Jacobi polynomials. In the first part of the paper we determine the reproducing kernel for the space of symplectic harmonics, which is again expressible as a Jacobi polynomial of a suitable argument. In the second part we find plane wave formulas for the reproducing kernels of the three types of harmonics, expressing them as suitable integrals over Stiefel manifolds. This is achieved using Pizzetti formulas that express the integrals in terms of differential operators.

In this paper we study curvature types of immersed surfaces in three-dimensional (normed or) Minkowski spaces. By endowing the surface with a normal vector field, which is a transversal vector field given by the ambient Birkhoff orthogonality, we get an analogue of the Gauss map. Then we can define concepts of principal, Gaussian, and mean curvatures in terms of the eigenvalues of the differential of this map. Considering planar sections containing the normal field, we also define normal curvatures at each point of the surface, and with respect to each tangent direction. We investigate the relations between these curvature types. Further on we prove that, under an additional hypothesis, a compact, connected surface without boundary whose Minkowski Gaussian curvature is constant must be a Minkowski sphere. Since existing literature on the subject of our paper is widely scattered, in the introductory part also a survey of related results is given.

When an upstream steady uniform supersonic flow impinges onto a symmetric straight-sided wedge, governed by the Euler equations, there are two possible steady oblique shock configurations if the wedge angle is less than the detachment angle -- the steady weak shock with supersonic or subsonic downstream flow (determined by the wedge angle that is less or larger than the sonic angle) and the steady strong shock with subsonic downstream flow, both of which satisfy the entropy condition. The fundamental issue -- whether one or both of the steady weak and strong shocks are physically admissible solutions -- has been vigorously debated over the past eight decades. In this paper, we survey some recent developments on the stability analysis of the steady shock solutions in both the steady and dynamic regimes. For the static stability, we first show how the stability problem can be formulated as an initial-boundary value type problem and then reformulate it into a free boundary problem when the perturbation of both the upstream steady supersonic flow and the wedge boundary are suitably regular and small, and we finally present some recent results on the static stability of the steady supersonic and transonic shocks. For the dynamic stability for potential flow, we first show how the stability problem can be formulated as an initial-boundary value problem and then use the self-similarity of the problem to reduce it into a boundary value problem and further reformulate it into a free boundary problem, and we finally survey some recent developments in solving this free boundary problem for the existence of the Prandtl-Meyer configurations that tend to the steady weak supersonic or transonic oblique shock solutions as time goes to infinity. Some further developments and mathematical challenges in this direction are also discussed., Comment: 19 pages; 8 figures; accepted by Science China Mathematics on February 22, 2017 (invited survey paper). doi: 10.1007/s11425-016-9045-1

It is an important problem in differential geometry to find non-naturally reductive homogeneous Einstein metrics on homogeneous manifolds. In this paper, we consider this problem for some coset spaces of compact simple Lie groups. A new method to construct invariant non-naturally reductive Einstein metrics on normal homogeneous Einstein manifolds is presented. In particular, we show that on the standard homogeneous Einstein manifolds, except for some special cases, there exist plenty of such metrics. A further interesting result of this paper is that on some compact semisimple Lie groups, there exist a large number of left invariant non-naturally reductive Einstein metrics which are not product metrics., Comment: 29 pages

The original formulae of Kuznetsov for $SL(2,\mathbb{Z})$ allowed one to study either a spectral average via Kloosterman sums or to study an average of Kloosterman sums via a spectral interpretation. In previous papers, we have developed the spectral Kuznetsov formulae at the minimal weights for $SL(3,\mathbb{Z}))$, and in these formulae, the big-cell Kloosterman sums occur with weight functions attached to four different integral kernels, according to the choice of signs of the indices. These correspond to the $J$- and $K$-Bessel functions in the case of $GL(2)$. In this paper, we demonstrate a linear combination of the spherical and weight one $SL(3,\mathbb{Z})$ Kuznetsov formulae that isolates one particular integral kernel, which is the spherical $GL(3)$ Whittaker function. Using the known inversion formula of Wallach, we give the first arithmetic Kuznetsov formula for $SL(3,\mathbb{Z})$ and use it to study smooth averages and the Kloosterman zeta function attached to this particular choice of signs., Comment: 12 pages, retracts the meromorphic continuation of the unweighted Kloosterman zeta function

It has been 40 years since Lawson and Osserman introduced the three minimal cones associated with Dirichlet problems in their 1977 Acta paper [13] . The first cone was shown area-minimizing by Harvey and Lawson in the celebrated paper [10] . In this paper, we confirm that the other two are also area-minimizing. In fact, we show that every Lawson–Osserman cone of type ( n , p , 2 ) constructed in [26] is area-minimizing.

This paper describes the analysis of Lagrange interpolation errors on tetrahedrons. In many textbooks, the error analysis of Lagrange interpolation is conducted under geometric assumptions such as shape regularity or the (generalized) maximum angle condition. In this paper, we present a new estimation in which the error is bounded in terms of the diameter and projected circumradius of the tetrahedron. Because we do not impose any geometric restrictions on the tetrahedron itself, our error estimation may be applied to any tetrahedralizations of domains including very thin tetrahedrons., Comment: To appear in Journal of Approximation Theory

Classical settings of discrete and continuous orthogonal expansions, like those of Laguerre, Bessel and Jacobi, are associated with second order differential operators playing the role of the Laplacian. These depend on certain type parameters that are usually restricted to a half-line, or a product of half-lines if higher dimensions are considered. Following earlier research done by Hajmirzaahmad, we deal in this paper with Laplacians in the above-mentioned contexts with no restrictions on the type parameters and bring to attention naturally associated orthogonal systems that in fact involve the classical ones, but are different. This reveals new frameworks related to classical orthogonal expansions and thus new potentially rich research areas, at least from the harmonic analysis perspective. To support the last claim we focus on maximal operators of multi-dimensional Laguerre, Bessel and Jacobi semigroups, with unrestricted type parameters, and prove that they satisfy weak type (1, 1) estimates with respect to the appropriate measures. Generally, these measures are not (locally) finite, which makes a contrast with the classical situations and generates new difficulties. A significant result of the paper is a new proof of the weak type (1, 1) estimate for the classical multi-dimensional Laguerre semigroup maximal operator.

In this paper we consider a new kind of inequality related to fractional integration, motivated by Gressman's paper. Based on it we investigate its multilinear analogue inequalities. Combining with the Gressman's work on multilinear integral, we establish this new kind of geometric inequalities with bilinear form and multilinear form in more general settings. Moreover, in some cases we also find the best constants and optimisers for these geometric inequalities on Euclidean spaces with Lebesgue measure settings with $L^p$ bounds.

This paper presents sufficient conditions for Hamiltonian paths and cycles in graphs. Letting $\lambda\left( G\right) $ denote the spectral radius of the adjacency matrix of a graph $G,$ the main results of the paper are: (1) Let $k\geq1,$ $n\geq k^{3}/2+k+4,$ and let $G$ be a graph of order $n$, with minimum degree $\delta\left( G\right) \geq k.$ If \[ \lambda\left( G\right) \geq n-k-1, \] then $G$ has a Hamiltonian cycle, unless $G=K_{1}\vee(K_{n-k-1}+K_{k})$ or $G=K_{k}\vee(K_{n-2k}+\overline{K}_{k})$. (2) Let $k\geq1,$ $n\geq k^{3}/2+k^{2}/2+k+5,$ and let $G$ be a graph of order $n$, with minimum degree $\delta\left( G\right) \geq k.$ If \[ \lambda\left( G\right) \geq n-k-2, \] then $G$ has a Hamiltonian path, unless $G=K_{k}\vee(K_{n-2k-1}+\overline {K}_{k+1})$ or $G=K_{n-k-1}+K_{k+1}$ In addition, it is shown that in the above statements, the bounds on $n$ are tight within an additive term not exceeding $2$., Comment: 18 pages. This version gives tighter bounds

This paper is concerned with the scattering problem for time-harmonic electromagnetic waves, due to the presence of scatterers and of inhomogeneities in the medium. We prove a sharp stability result for the solutions to the direct electromagnetic scattering problem, with respect to variations of the scatterer and of the inhomogeneity, under minimal regularity assumptions for both of them. The stability result leads to uniform bounds on solutions to the scattering problems for an extremely general class of admissible scatterers and inhomogeneities. The uniform bounds are a key step to tackle the challenging stability issue for the corresponding inverse electromagnetic scattering problem. In this paper we establish two optimal stability results of logarithmic type for the determination of polyhedral scatterers by a minimal number of electromagnetic scattering measurements. In order to prove the stability result for the direct electromagnetic scattering problem, we study two fundamental issues in the theory of Maxwell equations: Mosco convergence for H(curl) spaces and higher integrability properties of solutions to Maxwell equations in nonsmooth domains., Comment: 48 pages. To appear in JEMS

The aim of this paper is to derive and analyze a variational model for the joint estimation of motion and reconstruction of image sequences, which is based on a time-continuous Eulerian motion model. The model can be set up in terms of the continuity equation or the brightness constancy equation. The analysis in this paper focuses on the latter for robust motion estimation on sequences of twodimensional images. We rigorously prove the existence of a minimizer in a suitable function space setting. Moreover, we discuss the numerical solution of the model based on primal-dual algorithms and investigate several examples. Finally, the benefits of our model compared to existing techniques, such as sequential image reconstruction and motion estimation, are shown., The work of the first author was also supported by the German Science Foundation DFG via EXC 1003 Cells in Motion Cluster of Excellence, M¨unster, Germany

This paper studies Riemannian manifolds of the form $M \setminus S$, where $M^4$ is a complete four dimensional Riemannian manifold with finite volume whose metric is modeled on the complex hyperbolic plane $\mathbb{C} \mathbb{H}^2$, and $S$ is a compact totally geodesic codimension two submanifold whose induced Riemannian metric is modeled on the real hyperbolic plane $\mathbb{H}^2$. In this paper we write the metric on $\mathbb{C} \mathbb{H}^2$ in polar coordinates about $S$, compute formulas for the components of the curvature tensor in terms of arbitrary warping functions (Theorem 7.1), and prove that there exist warping functions that yield a complete finite volume Riemannian metric on $M \setminus S$ whose sectional curvature is bounded above by a negative constant (Theorem 1.1(1)). The cases of $M \setminus S$ modeled on $\mathbb{H}^n \setminus \mathbb{H}^{n-2}$ and $\mathbb{C} \mathbb{H}^n \setminus \mathbb{C} \mathbb{H}^{n-1}$ were studied by Belegradek in [Bel12] and [Bel11], respectively. One may consider this work as "part 3" to this sequence of papers., Comment: 33 pages, 1 figure. Added Remark 1.3 to discuss the references for Corollary 1.2

The Naruse hook-length formula is a recent general formula for the number of standard Young tableaux of skew shapes, given as a positive sum over excited diagrams of products of hook-lengths. In 2015 we gave two different $q$-analogues of Naruse's formula: for the skew Schur functions, and for counting reverse plane partitions of skew shapes. In this paper we give an elementary proof of Naruse's formula based on the case of border strips. For special border strips, we obtain curious new formulas for the Euler and $q$-Euler numbers in terms of certain Dyck path summations., Comment: 33 pages, 10 figures. This is the second paper of the series "Hook formulas for skew shapes". Most of Sections 8 and 9 in this paper used to be part of arxiv:1512.08348 (v1,v2); v2 fixed several typos; v3 made precision in definition of flagged tableaux in Section 3.2 and fixed typo in Example 3.3; v4 fixed small typos in proof of Corollary 7.6

In this paper, exact rate of approximation of functions by linear means of Fourier series and Fourier integrals and corresponding $K$-functionals are expressed via special moduli of smoothness. . Introduction is given in $\S 1$. In $\S2$ functions on the line $\mathbb{R}$ are studied. A typical (well-known) result is as follows: for each $2\pi$-periodic function in $L_p$ on the period, for any $p\in[1,+\infty]$ ($L_\infty=C$) and $r\in\mathbb{N}$, there is a trigonometric polynomial $\tau_{r,n}(f)$ of degree not greater than $n$ such that \big\|f-\tau_{r,n}(f)\big\|_p\asymp\omega_r\Big(f;\frac{1}{n}\Big)_p\asymp \inf\limits_{g}\Big\{\|f-g\|_p+\frac{1}{n^r}\big\|g^{(r)}\big\|_p\Big\}, where the positive constants in these bilateral inequalities depend only on $r$. In $\S 3$ we deal with functions on $\mathbb{R}^d$ ($d\geq2$), while in $\S 4$ with functions on Banach spaces. The paper is partially of survey nature. The proofs are given only for Theorems 2.2, 3.9 and those in $\S 4$. Related open problems are formulated in $\S 5$. The list of references contains 52 items., Comment: 33 pages, the paper is in Russian, with the title, abstract and key words in English

Several recent papers investigated unbounded versions of order and norm convergences in Banach lattices. In this paper, we study the unbounded variant of weak convergence and its relationship with other convergences. In particular, we characterize order continuous Banach lattices and reflexive Banach lattices in terms of this convergence., Comment: The last version

In 1956, Tong established an asymptotic formula for the mean square of the error term in the summatory function of the Piltz divisor function $d_3(n).$ The aim of this paper is to generalize Tong's method to a class of Dirichlet series that satisfy a functional equation. As an application, we can establish the asymptotic formulas for the mean square of the error terms for a class of functions in the well-known Selberg class. The Tong-type identity and formula established in this paper can be viewed as an analogue of the well-known Vorono\"i's formula.

In this paper, we determine the bound of the valency of Cayley graphs of Frobenius groups with respect to normal Cayley subsets which guarantees to be Ramanujan. We see that if the ratio between the orders of the Frobenius kernel and complement is not so small, then this bound coincides with the trivial one coming from the trivial estimate of the largest non-trivial eigenvalue of the graphs. Moreover, in the cases of the dihedral groups of order twice odd primes, which are special cases of the Frobenius groups, we determine the same bound for the Cayley graphs of the groups with respect to not only normal but also all Cayley subsets. As is the case of abelian groups which we have treated in the previous papers, such a bound is equal to the trivial one in the above sense or, as exceptional cases, exceeds one from it. We then clarify that the latter occurs if and only if the corresponding prime is represented by a quadratic polynomial in a finite family., Comment: 12 pages

The {Farey fractions} $F_n$ of order $n$ consist of all fractions $\frac{h}{k}$ in lowest terms lying in the closed unit interval and having denominator at most $n$. This paper considers the products $F_n$ of all nonzero Farey fractions of order $n$. It studies their growth measured by $\log(F_n)$ and their divisibility properties by powers of a fixed prime, given by $ord_p(F_n)$, as a function of $n$. The growth of $\log(F_n)$ is related to the Riemann hypothesis. This paper theoretically and empirically studies the functions $ord_p(F_n)$ and formulates several unproved properties (P1)-(P4) they may have. It presents evidence raising the possibility that the Riemann hypothesis may also be encoded in $ord_p(F_n)$ for a single prime $p$. This encoding makes use of a relation of these products to the products $G_n$ of all reduced and unreduced Farey fractions of order $n$, which are connected by M\"obius inversion. It involves new arithmetic functions which mix the M\"obius function with functions of radix expansions to a fixed prime base $p$., Comment: 32 pages, 10 figures

In this paper we introduce a certain class of families of Hessenberg varieties arising from Springer theory for symmetric spaces. We study the geometry of those Hessenberg varieties and investigate their monodromy representations in detail using the geometry of complete intersections of quadrics. We obtain decompositions of these monodromy representations into irreducibles and compute the Fourier transforms of the IC complexes associated to these irreducible representations. The results of the paper refine (part of) the Springer correspondece for the split symmetric pair (SL(N),SO(N)) in [CVX2]., Comment: Final version

In this paper, we consider a class of second-order evolution differential inclusions in Hilbert spaces. This paper deals with the approximate controllability for a class of second-order control systems. First, we establish a set of sufficient conditions for the approximate controllability for a class of second-order evolution differential inclusions in Hilbert spaces. We use Bohnenblust–Karlin’s fixed point theorem to prove our main results. Further, we extend the result to study the approximate controllability concept with nonlocal conditions and also extend the result to study the approximate controllability for impulsive control systems with nonlocal conditions. An example is also given to illustrate our main results.

In the first part of this paper, we consider nonlinear extension of frame theory by introducing bi-Lipschitz maps F between Banach spaces. Our linear model of bi-Lipschitz maps is the analysis operator associated with Hilbert frames, p-frames, Banach frames, g-frames and fusion frames. In general Banach space setting, stable algorithms to reconstruct a signal x from its noisy measurement $$F(x)+\epsilon $$ may not exist. In this paper, we establish exponential convergence of two iterative reconstruction algorithms when F is not too far from some bounded below linear operator with bounded pseudo-inverse, and when F is a well-localized map between two Banach spaces with dense Hilbert subspaces. The crucial step to prove the latter conclusion is a novel fixed point theorem for a well-localized map on a Banach space. In the second part of this paper, we consider stable reconstruction of sparse signals in a union $$\mathbf{A}$$ of closed linear subspaces of a Hilbert space $$\mathbf{H}$$ from their nonlinear measurements. We introduce an optimization framework called a sparse approximation triple $$(\mathbf{A}, \mathbf{M}, \mathbf{H})$$ , and show that the minimizer $$\begin{aligned} x^*=\mathrm{argmin}_{\hat{x}\in {\mathbf M}\ \mathrm{with} \ \Vert F(\hat{x})-F(x^0)\Vert \le \epsilon } \Vert \hat{x}\Vert _{\mathbf M} \end{aligned}$$ provides a suboptimal approximation to the original sparse signal $$x^0\in \mathbf{A}$$ when the measurement map F has the sparse Riesz property and the almost linear property on $${\mathbf A}$$ . The above two new properties are shown to be satisfied when F is not far away from a linear measurement operator T having the restricted isometry property.

We study intertwining operator algebras introduced and constructed by Huang. In the case that the intertwining operator algebras involve intertwining operators among irreducible modules for their vertex operator subalgebras, a number of results on intertwining operator algebras were given in [H9] but some of the proofs were postponed to an unpublished monograph. In this paper, we give the proofs of these results in [H9] and we formulate and prove results for general intertwining operator algebras without assuming that the modules involved are irreducible. In particular, we construct fusing and braiding isomorphisms for general intertwining operator algebras and prove that they satisfy the genus-zero Moore-Seiberg equations. We show that the Jacobi identity for intertwining operator algebras is equivalent to generalized rationality, commutativity and associativity properties of intertwining operator algebras. We introduce the locality for intertwining operator algebras and show that the Jacobi identity is equivalent to the locality, assuming that other axioms hold. Moreover, we establish that any two of the three properties, associativity, commutativity and skew-symmetry, imply the other (except that when deriving skew-symmetry from associativity and commutativity, more conditions are needed). Finally, we show that three definitions of intertwining operator algebras are equivalent., Comment: 59 pages, 2 figures. Several typos corrected. Some references cited in the text. Everything else is the same. The definition of intertwining operator algebras and some related technical definitions in this paper are from arXiv:q-alg/9704008 by different author. These definitions and the related statements are long. They are the main text overlap with arXiv:q-alg/9704008

This is the first in a series of papers dedicated to the study of Poisson manifolds of compact types (PMCTs). This notion encompasses several classes of Poisson manifolds defined via properties of their symplectic integrations. In this first paper we establish some fundamental properties of PMCTs, which already show that they are the analogues of compact symplectic manifolds, thus placing them in a prominent position among all Poisson manifolds. For instance, their Poisson cohomology behaves very much like the de Rham cohomology of compact symplectic manifolds (Hodge decomposition, non-degenerate Poincar\'e duality pairing, etc.) and the Moser trick can be adapted to PMCTs. More important, we find unexpected connections between PMCTs and Symplectic Topology: PMCTs are related with the theory of Lagrangian fibrations and we exhibit a construction of a nontrivial PMCT related to a classical question on the topology of the orbits of a free symplectic circle action. In subsequent papers, we will establish deep connections between PMCTs and integral affine geometry, Hamiltonian $G$-spaces, foliation theory, Lie theory and symplectic gerbes., Comment: Some notations and conventions were changed to agree with PMCT 2. Additional examples added. Final version submitted for publication

In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that certain degree two twisted commutative algebras are noetherian. This example appears to have some fundamental differences from previous examples, and is therefore especially interesting. Reflective of this, our proof introduces new methods for establishing noetherianity that are likely to be applicable in other situations. The algebras considered in this paper are closely related to the stable representation theory of classical groups, which is one source of motivation for their study., Comment: 21 pages; v2: small corrections and added Example 1.4

Generalized Zeckendorf decompositions are expansions of integers as sums of elements of solutions to recurrence relations. The simplest cases are base-$b$ expansions, and the standard Zeckendorf decomposition uses the Fibonacci sequence. The expansions are finite sequences of nonnegative integer coefficients (satisfying certain technical conditions to guarantee uniqueness of the decomposition) and which can be viewed as analogs of sequences of variable-length words made from some fixed alphabet. In this paper we present a new approach and construction for uniform measures on expansions, identifying them as the distribution of a Markov chain conditioned not to hit a set. This gives a unified approach that allows us to easily recover results on the expansions from analogous results for Markov chains, and in this paper we focus on laws of large numbers, central limit theorems for sums of digits, and statements on gaps (zeros) in expansions. We expect the approach to prove useful in other similar contexts., Comment: Version 1.0, 25 pages. Keywords: Zeckendorf decompositions, positive linear recurrence relations, distribution of gaps, longest gap, Markov processes

In this paper, we prove that every confomal minimal immersion of an open Riemann surface into $\mathbb{R}^n$ for $n\ge 5$ can be approximated uniformly on compacts by conformal minimal embeddings. Furthermore, we show that every open Riemann surface carries a proper conformal minimal embedding into $\mathbb{R}^5$. One of our main tools is a Mergelyan approximation theorem for conformal minimal immersions to $\mathbb{R}^n$ for any $n\ge 3$ which is also proved in the paper., Comment: Math. Z., in press. The official version is available on Springerlink at http://link.springer.com/article/10.1007%2Fs00209-015-1586-5

Given a probability space $(\Omega,\Sigma,\mu)$, the Hardy space $\mathrm{H}_1(\Omega)$ which is associated to the martingale square function does not admit a classical atomic decomposition when the underlying filtration is not regular. In this paper we construct a decomposition of $\mathrm{H}_1(\Omega)$ into "atomic blocks"${}$ in the spirit of Tolsa, which we will introduce for martingales. We provide three proofs of this result. Only the first one also applies to noncommutative martingales, the main target of this paper. The other proofs emphasize alternative approaches for commutative martingales. One might be well-known to experts, using a weaker notion of atom and approximation by atomic filtrations. The last one adapts Tolsa's argument replacing medians by conditional medians., Comment: A proof of our main result for classical martingales follows from a weak notion of atom which was known to experts long ago (sketched in the paper for completeness). It however does not apply to the noncommutative setting, which remains the main novelty of the paper

Let E be a (right) Hilbert C*-module over a C*-algebra A. If E is equipped with a left action of a second C*-algebra B, then tensor product with E gives rise to a functor from the category of Hilbert B-modules to the category of Hilbert A-modules. The purpose of this paper is to study adjunctions between functors of this sort. We shall introduce a new kind of adjunction relation, called a local adjunction, that is weaker than the standard concept from category theory. We shall give several examples, the most important of which is the functor of parabolic induction in the tempered representation theory of real reductive groups. Each local adjunction gives rise to an ordinary adjunction of functors between categories of Hilbert space representations. In this way we shall show that the parabolic induction functor has a simultaneous left and right adjoint, namely the parabolic restriction functor constructed in a previous paper., Comment: Final version, to appear in the Journal of the Institute of Mathematics of Jussieu

A spacetime is a connected 4-dimensional semi-Riemannian manifold endowed with a metric $g$ with signature $(- + + +)$. The geometry of a spacetime is described by the metric tensor $g$ and the Ricci tensor $S$ of type $(0, 2)$ whereas the energy momentum tensor of type $(0,2)$ describes the physical contents of the spacetime. Einstein's field equations relate $g$, $S$ and the energy momentum tensor and describe the geometry and physical contents of the spacetime. By solving Einstein's field equations for empty spacetime (i.e. $S = 0$) for a non-static spacetime metric, one can obtain the interior black hole solution, known as the interior black hole spacetime which infers that a remarkable change occurs in the nature of the spacetime, namely, the external spatial radial and temporal coordinates exchange their characters to temporal and spatial coordinates, respectively, and hence the interior black hole spacetime is a non-static one as the metric coefficients are time dependent. For the sake of mathematical generalizations, in the literature, there are many rigorous geometric structures constructed by imposing the restrictions to the curvature tensor of the space involving first order and second order covariant differentials of the curvature tensor. Hence a natural question arises that which geometric structures are admitted by the interior black hole metric. The main aim of this paper is to provide the answer of this question so that the geometric structures admitting by such a metric can be interpreted physically., Comment: The paper contains 33 pages

We study nonintersecting Brownian motions with two prescribed starting and ending positions, in the neighborhood of a tacnode in the time-space plane. Several expressions have been obtained in the literature for the critical correlation kernel $K\tac(x,y)$ that describes the microscopic behavior of the Brownian motions near the tacnode. One approach, due to Kuijlaars, Zhang and the author, expresses the kernel (in the single time case) in terms of a $4\times 4$ matrix valued Riemann-Hilbert problem. Another approach, due to Adler, Ferrari, Johansson, van Moerbeke and Vet\H o in a series of papers, expresses the kernel in terms of resolvents and Fredholm determinants of the Airy integral operator acting on a semi-infinite interval $[\sigma,\infty)$, involving some objects introduced by Tracy and Widom. In this paper we prove the equivalence of both approaches. We also obtain a rank-2 property for the derivative of the tacnode kernel. Finally, we find a Riemann-Hilbert expression for the multi-time extended tacnode kernel., Comment: 32 pages, 2 figures. Results extended to multi-time case

This paper is devoted to hydrodynamic limits of linear kinetic equations. We consider situations in which the thermodynamical equilibrium is described by a heavy-tail distribution function rather than a maxwellian distribution. A similar problem was addressed in [14] using Fourier transform and it was shown that the long time/small mean free path behavior of the solution of the kinetic equation is described by a fractional diffusion equation. In this paper, we propose a different method to obtain similar results. This method is somewhat reminiscent of the so-called "moments method" which plays an important role in kinetic theory. This new method allows us to consider space dependent collision operators (which could not be treated in [14]). We believe that it also provides the relevant tool to address nonlinear problems.

International audience; In the context of Mather's theory of Lagrangian systems, we study the decomposition in chain-transitive classes of the Mather invariant sets. As an application, we prove, under appropriate hypotheses, the semi-continuity of the so-called Aubry set as a function of the Lagrangian. In the study of Lagrangian systems, John Mather introduced several invariant sets composed of globally minimizing extremals. He developed methods to construct several orbits undergoing interesting behaviors in phase space under some assumptions on these invariant sets, see [14]. In order to pursue this theory and to apply it on examples, it is necessary to have tools to describe precisely the invariant sets. At least two points of view can be adopted. One can study the invariant set from a purely topological point of view in the style of Conley as compact metric spaces with flows, and study their transitive components. One can also study these set from the point of view of action minimization, and decompose them in invariant subsets that have been called static classes. These points of view are very closely related, but each of them has specific features. For example, understanding the decomposition in static classes is necessary for the variational construction of interesting orbits, while the topological decomposition behaves well under perturbations. Our goal in the present paper is to explicit the links between these two decompositions. We explain that the topological decomposition is finer than the variational one, and that they coincide for most (but not all) systems. As an application, we prove a result of semi-continuity of the so-called Aubry set as a function of the Lagrangian, under certain non-degeneracy hypotheses. The semi-continuity of the Aubry set is a subtle problem, which has remained open for several years, until John Mather gave a counter example, see §18 in [16]. In the same paper, he also states without proof that semi-continuity holds under appropriate hypotheses. Our result extends the one of Mather. The methods we use are inspired from the recent work of Fathi, Figalli and Rifford, [9].

We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Bj\"orner and Welker., Comment: Final version; to appear in Advances in Mathematics; 52 pages; this paper was originally part of the longer paper arXiv:0805.2416v1, which has been split into three papers

In this paper, we continue the development of a new combinatorial model for the irreducible characters of a complex semisimple Lie group. This model, which will be referred to as the alcove path model, can be viewed as a discrete counterpart to the Littelmann path model. It leads to an extensive generalization of the combinatorics of irreducible characters from Lie type A (where the combinatorics is based on Young tableaux, for instance) to arbitrary type. The main results of this paper are: (1) a combinatorial description of the crystal graphs corresponding to the irreducible representations (this result includes a transparent proof, based on the Yang-Baxter equation, of the fact that the mentioned description does not depend on the choice involved in our model); (2) a combinatorial realization of Lusztig's involution on the canonical basis (this involution exhibits the crystals as self-dual posets, corresponds to the action of the longest Weyl group element on an irreducible representation, and generalizes Schutzenberger's involution on tableaux); (3) an analog for arbitrary root systems, based on the Yang-Baxter equation, of Schutzenberger's sliding algorithm, which is also known as jeu de taquin (this algorithm has many applications to the representation theory of the Lie algebra of type A)., Comment: 31 pages, 7 figures. to appear in Adv. Math

Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on V. In this paper we study when the Fourier transform of an elementary function is elementary. If Q has a nonzero Hessian, a necessary condition for this is that the Legendre transform Q_* of Q is rational. The basic example is a nondegenerate quadratic form. We study such functions Q, give examples, and find all of them such that both Q and Q_* are of the form f(x)/t, where f is a cubic form in many variables (the simplest case after quadratic forms). It turns out that this classification is closely related to Zak's classification of Severi varieties. The second half of the paper is devoted to finding and classifying elementary functions with elementary Fourier transforms when Q is a fixed function with rational Q_*. We consider the simplest case when Q is a monomial, and classify combinations of multiplicative characters that can arise. The answer (for real and complex fields) is given in terms of exact covering systems. We also describe examples related to prehomogeneous vector spaces. Finally, we consider examples over p-adic fields, and in particular give a local proof of an integral formula of D.K. that could previously be proved only by a global method., Comment: 31 pages, latex; the proof of Theorem 3.10 given in the previous version was found to be incomplete. We have added a remark about this and a reference to a paper by Chaput and Sabatino that gives a complete proof

The main goal of the present paper is two-fold. First we extend the theory of toroidal embeddings introduced by Kempf, Knudsen, Mumford and Saint-Donat to the class of toroidal varieties with stratifications (which is the main body of the paper). Second we give a proof of the following weak factorization theorem as an application and illustration of the theory: A birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blow ups and blow downs with smooth centers. Another proof of the weak factorization theorem appeared in a joint paper with Abramovich, Karu and Matsuki (math.AG/9904135) In that paper the theorem is stated and proven in general for proper algebraic and analytic spaces., Comment: 69 pages, a revised version with conceptual simplifications. The present version is self-contained and it does not rely on weak factorization theorem for toric varieties

In this paper, we first determine Bohr's inequality for the class of harmonic mappings $f=h+\overline{g}$ in the unit disk $\ID$, where either both $h(z)=\sum_{n=0}^{\infty}a_{pn+m}z^{pn+m}$ and $g(z)=\sum_{n=0}^{\infty}b_{pn+m}z^{pn+m}$ are analytic and bounded in $\ID$, or satisfies the condition $|g'(z)|\leq d|h'(z)|$ in $\ID\backslash \{0\}$ for some $d\in [0,1]$ and $h$ is bounded. In particular, we obtain Bohr's inequality for the class of harmonic $p$-symmetric mappings. Also, we investigate the Bohr-type inequalities of harmonic mappings with a multiple zero at the origin and that most of results are proved to be sharp., Comment: 20 pages; The article has appeared in Mediterranean Journal of Mathematics (2021)

Heat kernels arise in a variety of contexts including probability, geometry, and functional analysis; the automorphic heat kernel is particularly important in number theory and string theory. The typical construction of an automorphic heat kernel as a Poincar\'{e} series presents analytic difficulties, which can be dealt with in special cases (e.g. hyperbolic spaces) but are often sidestepped in higher rank by restricting to the compact quotient case. In this paper, we present a new approach, using global automorphic Sobolev theory, a robust framework for solving automorphic PDEs that does not require any simplifying assumptions about the rank of the symmetric space or the compactness of the arithmetic quotient. We construct an automorphic heat kernel via its automorphic spectral expansion in terms of cusp forms, Eisenstein series, and residues of Eisenstein series. We then prove uniqueness of the automorphic heat kernel as an application of operator semigroup theory. Finally, we prove the smoothness of the automorphic heat kernel by proving that its automorphic spectral expansion converges in the $C^\infty$-topology., Comment: To appear, Illinois J. Math

Weaving frames in separable Hilbert spaces have been recently introduced by Bemrose et al. to deal with some problems in distributed signal processing and wireless sensor networks. In this paper, we study the notion of excess for woven frames and prove that any two frames in a separable Hilbert space that are woven have the same excess. We also show that every frame with a large class of duals is woven provided that its redundant elements have small enough norm. Also, we try to transfer the woven property from frames to their duals and vise versa. Finally, we look at which perturbations of dual frames preserve the woven property, moreover it is shown that under some conditions the canonical Pareseval frame of two woven frames are also woven., Comment: This article is containing 16 pages and it is published in journal of Bulletin of the Malaysian