Limit theorems for von Mises statistics of a measure preserving transformation

For a measure preserving transformation \(T\) of a probability space \((X,\mathcal{F },\mu )\) and some \(d \ge 1\) we investigate almost sure and distributional convergence of random variables of the form $$\begin{aligned} x \rightarrow \frac{1}{C_n} \sum _{0\le i_1,\ldots ,\,i_d where \(C_1, C_2,\ldots \) are normalizing constants and the kernel \(f\) belongs to an appropriate subspace in some \(L_p(X^d\!,\, \mathcal{F }^{\otimes d}\!,\,\mu ^d)\) . We establish a form of the individual ergodic theorem for such sequences. Using a filtration compatible with \(T\) and the martingale approximation, we prove a central limit theorem in the non-degenerate case; for a class of canonical (totally degenerate) kernels and \(d=2\) , we also show that the convergence holds in distribution towards a quadratic form \(\sum _{m=1}^{\infty } \lambda _m\eta ^2_m\) in independent standard Gaussian variables \(\eta _1, \eta _2, \ldots \) .     

Asymptotics of Landau Constants with Optimal Error Bounds

We study the asymptotic expansion for the Landau constants \(G_n\) , $$\begin{aligned} \pi G_n\sim \ln N + \gamma +4\ln 2 + \sum _{s=1}^\infty \frac{\beta _{2s}}{ N^{2s}},\quad n\rightarrow \infty , \end{aligned}$$ where \(N=n+3/4, \gamma =0.5772\ldots \) is Euler’s constant, and \((-1)^{s+1}\beta _{2s}\) are positive rational numbers, given explicitly in an iterative manner. We show that the error due to truncation is bounded in absolute value by, and of the same sign as, the first neglected term for all nonnegative \(n\) . Consequently, we obtain optimal sharp bounds up to arbitrary orders of the form $$\begin{aligned} \ln N+\gamma +4\ln 2+\sum _{s=1}^{2m}\frac{\beta _{2s}}{N^{2s}}< \pi G_n < \ln N+\gamma +4\ln 2+\sum _{s=1}^{2k-1}\frac{\beta _{2s}}{N^{2s}} \end{aligned}$$ for all \(n=0,1,2,\ldots , m=1,2,\ldots \) , and \(k=1,2,\ldots \) . The results are proved by approximating the coefficients \(\beta _{2s}\) with the Gauss hypergeometric functions involved and by using the second-order difference equation satisfied by \(G_n\) , as well as an integral representation of the constants \(\rho _k=(-1)^{k+1}\beta _{2k}/(2k-1)!\) .     

Gaussian Integral Means of Entire Functions

For an entire function \(f:\mathbb C\mapsto \mathbb C\) and a triple \((p,\alpha , r)\in (0,\infty )\times (-\infty ,\infty )\times (0,\infty ]\) , the Gaussian integral mean of \(f\) (with respect to the area measure \(dA\) ) is defined by $$\begin{aligned} {\mathsf M}_{p,\alpha }(f,r)=\left( \,\, {\int \limits _{|z| Via deriving a maximum principle for \({\mathsf M}_{p,\alpha }(f,r)\) , we establish not only Fock–Sobolev trace inequalities associated with \({\mathsf M}_{p,p/2}(z^m f(z),\infty )\) (as \(m=0,1,2,\ldots \) ), but also convexities of \(r\mapsto \ln {\mathsf M}_{p,\alpha }(z^m,r)\) and \(r\mapsto {\mathsf M}_{2,\alpha <0}(f,r)\) in \(\ln r\) with \(0 .     

On the rank of incidence matrices in projective Hjelmslev spaces

Let \(R\) be a finite chain ring with \(|R|=q^m\) , \(R/{{\mathrm{Rad}}}R\cong \mathbb {F}_q\) , and let \(\Omega ={{\mathrm{PHG}}}({}_RR^n)\) . Let \(\tau =(\tau _1,\ldots ,\tau _n)\) be an integer sequence satisfying \(m=\tau _1\ge \tau _2\ge \cdots \ge \tau _n\ge 0\) . We consider the incidence matrix of all shape \(\varvec{m}^s=(\underbrace{m,\ldots ,m}_s)\) versus all shape \(\tau \) subspaces of \(\Omega \) with \(\varvec{m}^s\preceq \tau \preceq \varvec{m}^{n-s}\) . We prove that the rank of \(M_{\varvec{m}^s,\tau }(\Omega )\) over \(\mathbb {Q}\) is equal to the number of shape \(\varvec{m}^s\) subspaces. This is a partial analog of Kantor’s result about the rank of the incidence matrix of all \(s\) dimensional versus all \(t\) dimensional subspaces of \({{\mathrm{PG}}}(n,q)\) . We construct an example for shapes \(\sigma \) and \(\tau \) for which the rank of \(M_{\sigma ,\tau }(\Omega )\) is not maximal.     

Systems of variational inequalities in the context of optimal switching problems and operators of Kolmogorov type

In this paper we study the system $$\begin{aligned}&\min \biggl \{-\mathcal H u_i(x,t)-\psi _i(x,t),u_i(x,t)-\max _{j\ne i}(-c_{i,j}(x,t)+u_j(x,t))\biggr \}=0,\\&u_i(x,T)=g_i(x),\ i\in \{1,\ldots ,d\}, \end{aligned}$$ where \((x,t)\in \mathbb R ^{N}\times [0,T]\) . A special case of this type of system of variational inequalities with terminal data occurs in the context of optimal switching problems. We establish a general comparison principle for viscosity sub- and supersolutions to the system under mild regularity, growth, and structural assumptions on the data, i.e., on the operator \(\mathcal H \) and on continuous functions \(\psi _i\) , \(c_{i,j}\) , and \(g_i\) . A key aspect is that we make no sign assumption on the switching costs \(\{c_{i,j}\}\) and that \(c_{i,j}\) is allowed to depend on \(x\) as well as \(t\) . Using the comparison principle, the existence of a unique viscosity solution \((u_1,\ldots ,u_d)\) to the system is constructed as the limit of an increasing sequence of solutions to associated obstacle problems. Having settled the existence and uniqueness, we subsequently focus on regularity of \((u_1,\ldots ,u_d)\) beyond continuity. In this context, in particular, we assume that \(\mathcal H \) belongs to a class of second-order differential operators of Kolmogorov type of the form: $$\begin{aligned} \mathcal H =\sum _{i,j=1}^m a_{i,j}(x,t)\partial _{x_i x_j}+\sum _{i=1}^m a_i(x,t)\partial _{x_i} +\sum _{i,j=1}^N b_{i,j}x_i\partial _{x_j}+\partial _t, \end{aligned}$$ where \(1\le m\le N\) . The matrix \(\{a_{i,j}(x,t)\}_{i,j=1,\ldots ,m}\) is assumed to be symmetric and uniformly positive definite in \(\mathbb R ^m\) . In particular, uniform ellipticity is only assumed in the first \(m\) coordinate directions, and hence, \(\mathcal H \) may be degenerate.     

Inequalities for zeros of Jacobi polynomials via Sturm’s theorem: Gautschi’s conjectures

Let \(x_{n,k}^{(\alpha ,\beta )}\) , \(k=1,\ldots ,n\) , be the zeros of Jacobi polynomials \(P_{n}^{(\alpha ,\beta )}(x)\) arranged in decreasing order on \((-1,1)\) , where \(\alpha ,\beta >-1\) , and \(\theta _{n,k}^{(\alpha ,\beta )}=\arccos x_{n,k}^{(\alpha ,\beta )}\) . Gautschi, in a series of recent papers, conjectured that the inequalities $$n\theta_{n,k}^{(\alpha,\beta)}<(n+1)\theta_{n+1,k}^{(\alpha,\beta)} $$ and $$(n+(\alpha+\beta+3)/2)\theta_{n+1,k}^{(\alpha,\beta)}<(n+(\alpha+\beta+1)/2)\theta_{n,k}^{(\alpha,\beta)}, $$ hold for all \(n\geq 1\) , \(k=1,\ldots ,n\) , and certain values of the parameters \(\alpha \) and \(\beta \) . We establish these conjectures for large domains of the \((\alpha ,\beta )\) -plane by using a Sturmian approach.     

Une preuve de la conjecture d’Erdős,Joò et Komornik dans le cas des séries formelles

Properties of Pisot numbers have long been of interest. One line of questioning, initiated by Erdös, Joò and Komornik in (Bull Soc Math France 118:377–390, 1990), is the study of the set \(\Lambda _{m}(\beta )\) the spectrum of \(\beta \) and the determination of \(l^{m}(\beta )\) for Pisot number \(\beta \) , where \(\Lambda _{m}(\beta )\) denotes the set of numbers having at least one representation of the form \(\omega =\varepsilon _{n} \beta ^{n}+\varepsilon _{n-1}\beta ^{n-1}+\cdots +\varepsilon _{1}\beta +\varepsilon _{0},\) such that the \(\varepsilon _{i}\in \{-m,\ldots ,0,\ldots ,m\}\) , for all \(0\le i\le n\) , and \(l^{m}(\beta )=\inf \{|\omega |:\omega \in \Lambda _{m},\omega \ne 0\}.\) In this paper, we consider \(\Lambda _{m}(\beta )\) , where \(\beta \) is a formal power series over a finite field and the \(\varepsilon _{i}\) are polynomials of degree at most \(m\) for all \(0\le i\le n\) . Our main result is to give a full answer in the Laurent series case, to an old question of Erd?s and Komornik (Acta Math Hungar 79:57–83, 1998), as to whether \(l^{1}(\beta )=0\) for all non-Pisot numbers. More generally, we characterize the inequalities \(l^{m}(\beta )>0\) .     

Measure of Self-Affine Sets and Associated Densities

Let \(B\) be an \(n\times n\) real expanding matrix and \(\mathcal {D}\) be a finite subset of \(\mathbb {R}^n\) with \(0\in \mathcal {D}\) . The self-affine set \(K=K(B,\mathcal {D})\) is the unique compact set satisfying the set-valued equation \(BK=\bigcup _{d\in \mathcal {D}}(K+d)\) . In the case where \(\#\mathcal D=|\det B|,\) we relate the Lebesgue measure of \(K(B,\mathcal {D})\) to the upper Beurling density of the associated measure \(\mu =\lim _{s\rightarrow \infty }\sum _{\ell _0, \ldots ,\ell _{s-1}\in \mathcal {D}}\delta _{\ell _0+B\ell _1+\cdots +B^{s-1}\ell _{s-1}}.\) If, on the other hand, \(\#\mathcal D<|\det B|\) and \(B\) is a similarity matrix, we relate the Hausdorff measure \(\mathcal {H}^s(K)\) , where \(s\) is the similarity dimension of \(K\) , to a corresponding notion of upper density for the measure \(\mu \) .     

Fréchet Means for Distributions of Persistence Diagrams

Given a distribution \(\rho \) on persistence diagrams and observations \(X_{1},\ldots ,X_{n} \mathop {\sim }\limits ^{iid} \rho \) we introduce an algorithm in this paper that estimates a Fréchet mean from the set of diagrams \(X_{1},\ldots ,X_{n}\) . If the underlying measure \(\rho \) is a combination of Dirac masses \(\rho = \frac{1}{m} \sum _{i=1}^{m} \delta _{Z_{i}}\) then we prove the algorithm converges to a local minimum and a law of large numbers result for a Fréchet mean computed by the algorithm given observations drawn iid from \(\rho \) . We illustrate the convergence of an empirical mean computed by the algorithm to a population mean by simulations from Gaussian random fields.     

Randomized large distortion dimension reduction

Consider a random matrix \(H:{\mathbb {R}}^{n}\longrightarrow {\mathbb {R}}^{m}\) . Let \(D\ge 2\) and let \(\{W_l\}_{l=1}^{p}\) be a set of \(k\) -dimensional affine subspaces of \({\mathbb {R}}^{n}\) . We ask what is the probability that for all \(1\le l\le p\) and \(x,y\in W_l\) , $$\begin{aligned} \Vert x-y\Vert _2\le \Vert Hx-Hy\Vert _2\le D\Vert x-y\Vert _2. \end{aligned}$$ We show that for \(m=O\big (k+\frac{\ln {p}}{\ln {D}}\big )\) and a variety of different classes of random matrices \(H\) , which include the class of Gaussian matrices, existence is assured and the probability is very high. The estimate on \(m\) is tight in terms of \(k,p,D\) .     

Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

A Frank–Wolfe type theorem for nondegenerate polynomial programs

In this paper, we study the existence of optimal solutions to a constrained polynomial optimization problem. More precisely, let \(f_0\) and \(f_1, \ldots , f_p :{\mathbb {R}}^n \rightarrow {\mathbb {R}}\) be convenient polynomial functions, and let \(S := \{x \in {\mathbb {R}}^n \ : \ f_i(x) \le 0, i = 1, \ldots , p\} \ne \emptyset .\) Under the assumption that the map \((f_0, f_{1}, \ldots , f_{p}) :{\mathbb {R}}^n \rightarrow {\mathbb {R}}^{p + 1}\) is non-degenerate at infinity, we show that if \(f_0\) is bounded from below on \(S,\) then \(f_0\) attains its infimum on \(S.\)      

Optimal initial value conditions for the existence of strong solutions of the Boussinesq equations

Consider the instationary Boussinesq equations in a smooth bounded domain \(\Omega \subseteq \mathbb {R}^3\) with initial values \(u_0 \in L^2_{\sigma }(\Omega )\) , \( \theta _0 \in L^2(\Omega )\) and gravitational force \(g\) . We call \((u,\theta )\) strong solution if \((u,\theta )\) is a weak solution and additionally Serrin’s condition \(u \in L^s(0,T; L^q(\Omega ))\) holds where \( 1 satisfy \(\frac{2}{s} + \frac{3}{q} =1\) . In this paper we show that \(\int _0^{\infty } \Vert e^{-tA} u_0 \Vert _q^s \, dt < \infty \) is necessary and sufficient for the existence of such a strong solution \((u,\theta )\) in a sufficiently small interval \([0,T[\, , 0 < T\le \infty \) . Furthermore we show that strong solutions are uniquely determined and that they are smooth if the data are smooth. The crucial point is the fact that we have required no additional integrability condition for \(\theta \) in the definition of a strong solution \((u,\theta )\) .     

On Sharp Aperture-Weighted Estimates for Square Functions

Let \(S_{\alpha ,\psi }(f)\) be the square function defined by means of the cone in \({\mathbb R}^{n+1}_{+}\) of aperture \(\alpha \) , and a standard kernel \(\psi \) . Let \([w]_{A_p}\) denote the \(A_p\) characteristic of the weight \(w\) . We show that for any \(1<p<\infty \) and \(\alpha \ge 1\) , $$\begin{aligned} \Vert S_{\alpha ,\psi }\Vert _{L^p(w)}\lesssim \alpha ^n[w]_{A_p}^{\max \left( \frac{1}{2},\frac{1}{p-1}\right) }. \end{aligned}$$ For each fixed \(\alpha \) the dependence on \([w]_{A_p}\) is sharp. Also, on all class \(A_p\) the result is sharp in \(\alpha \) . Previously this estimate was proved in the case \(\alpha =1\) using the intrinsic square function. However, that approach does not allow to get the above estimate with sharp dependence on \(\alpha \) . Hence we give a different proof suitable for all \(\alpha \ge 1\) and avoiding the notion of the intrinsic square function.     

Divide and Conquer Roadmap for Algebraic Sets

Let \(\mathrm{R}\) be a real closed field and \(\hbox {D}\subset \mathrm{R}\) an ordered domain. We describe an algorithm that given as input a polynomial \(P \in \hbox {D}[ X_{1} , \ldots ,X_{{ k}} ]\) and a finite set, \(\mathcal {A}= \{ p_{1} , \ldots ,p_{m} \}\) , of points contained in \(V= {\mathrm{{Zer}}} ( P, \mathrm{R}^{{ k}})\) described by real univariate representations, computes a roadmap of \(V\) containing \(\mathcal {A}\) . The complexity of the algorithm, measured by the number of arithmetic operations in \(\hbox {D}\) , is bounded by \(\big ( \sum _{i=1}^{m} D^{O ( \log ^{2} ( k ) )}_{i} +1 \big ) ( k^{\log ( k )} d )^{O ( k\log ^{2} ( k ))}\) , where \(d= \deg ( P )\) and \(D_{i}\) is the degree of the real univariate representation describing the point \(p_{i}\) . The best previous algorithm for this problem had complexity card \(( \mathcal {A} )^{O ( 1 )} d^{O ( k^{3/2} )}\) (Basu et al., ArXiv, 2012), where it is assumed that the degrees of the polynomials appearing in the representations of the points in \(\mathcal {A}\) are bounded by \(d^{O ( k )}\) . As an application of our result we prove that for any real algebraic subset \(V\) of \(\mathbb {R}^{k}\) defined by a polynomial of degree \(d\) , any connected component \(C\) of \(V\) contained in the unit ball, and any two points of \(C\) , there exists a semi-algebraic path connecting them in \(C\) , of length at most \(( k ^{\log (k )} d )^{O ( k\log ( k ) )}\) , consisting of at most \(( k ^{\log (k )} d )^{O ( k\log ( k ) )}\) curve segments of degrees bounded by \(( k ^{\log ( k )} d )^{O ( k \log ( k) )}\) . While it was known previously, by a result of D’Acunto and Kurdyka (Bull Lond Math Soc 38(6):951–965, 2006), that there always exists a path of length \(( O ( d ) )^{k-1}\) connecting two such points, there was no upper bound on the complexity of such a path.     

Shellability of the higher pinched Veronese posets

The pinched Veronese poset \({\mathcal {V}}^{\bullet }_n\) is the poset with ground set consisting of all nonnegative integer vectors of length \(n\) such that the sum of their coordinates is divisible by \(n\) with exception of the vector \((1,\ldots ,1)\) . For two vectors \(\mathbf {a}\) and \(\mathbf {b}\) in \({\mathcal {V}}^{\bullet }_n\) , we have \(\mathbf {a}\preceq \mathbf {b}\) if and only if \(\mathbf {b}- \mathbf {a}\) belongs to the ground set of \({\mathcal {V}}^{\bullet }_n\) . We show that every interval in \({\mathcal {V}}^{\bullet }_n\) is shellable for \(n \ge 4\) . In order to obtain the result, we develop a new method for showing that a poset is shellable. This method differs from classical lexicographic shellability. Shellability of intervals in \({\mathcal {V}}^{\bullet }_n\) has consequences in commutative algebra. As a corollary, we obtain a combinatorial proof of the fact that the pinched Veronese ring is Koszul for \(n \ge 4\) . (This also follows from a result by Conca, Herzog, Trung, and Valla.)     

Weak lower semicontinuity for polyconvex integrals in the limit case

We prove a lower semicontinuity result for polyconvex functionals of the Calculus of Variations along sequences of maps \(u:\Omega \subset \mathbb{R }^n\rightarrow \mathbb{R }^m\) in \(W^{1,m}\) , \(2\le m\le n\) , bounded in \(W^{1,m-1}\) and convergent in \(L^1\) under mild technical conditions but without any extra coercivity assumption on the integrand.     

Compactness and sequential completeness in some spaces of operators

Let \(X\) be a completely regular Hausdorff space and \(C_b(X)\) be the Banach lattice of all real-valued bounded continuous functions on \(X\) , endowed with the strict topologies \(\beta _\sigma ,\) \(\beta _\tau \) and \(\beta _t\) . Let \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) \((z=\sigma ,\tau ,t)\) stand for the space of all \((\beta _z,\xi )\) -continuous linear operators from \(C_b(X)\) to a locally convex Hausdorff space \((E,\xi ),\) provided with the topology \(\mathcal{T}_s\) of simple convergence. We characterize relative \(\mathcal{T}_s\) -compactness in \(\mathcal{L}_{\beta _z,\xi }(C_b(X),E)\) in terms of the representing Baire vector measures. It is shown that if \((E,\xi )\) is sequentially complete, then the spaces \((\mathcal{L}_{\beta _z,\xi }(C_b(X),E),\mathcal{T}_s)\) are sequentially complete whenever \(z=\sigma \) ; \(z=\tau \) and \(X\) is paracompact; \(z=t\) and \(X\) is paracompact and ?ech complete. Moreover, a Dieudonné–Grothendieck type theorem for operators on \(C_b(X)\) is given.