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

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

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

Some totally geodesic submanifolds of the nonlinear Grassmannian of a compact symmetric space

Let \(M\) and \(N\) be two connected smooth manifolds, where \(M\) is compact and oriented and \(N\) is Riemannian. Let \(\mathcal {E}\) be the Fréchet manifold of all embeddings of \(M\) in \(N\) , endowed with the canonical weak Riemannian metric. Let \(\sim \) be the equivalence relation on \(\mathcal {E}\) defined by \(f\sim g\) if and only if \(f=g\circ \phi \) for some orientation preserving diffeomorphism \(\phi \) of \(M\) . The Fréchet manifold \(\mathcal {S}= \mathcal {E}/_{\sim }\) of equivalence classes, which may be thought of as the set of submanifolds of \(N\) diffeomorphic to \(M\) and is called the nonlinear Grassmannian (or Chow manifold) of \(N\) of type \(M\) , inherits from \( \mathcal {E}\) a weak Riemannian structure. We consider the following particular case: \(N\) is a compact irreducible symmetric space and \(M\) is a reflective submanifold of \(N\) (that is, a connected component of the set of fixed points of an involutive isometry of \( N\) ). Let \(\mathcal {C}\) be the set of submanifolds of \(N\) which are congruent to \(M\) . We prove that the natural inclusion of \(\mathcal {C}\) in \(\mathcal {S}\) is totally geodesic.     

Non-Lipschitz points and the {\textit{SBV}} regularity of the minimum time function

This paper is devoted to the study of the Hausdorff dimension of the singular set of the minimum time function \(T\) under controllability conditions which do not imply the Lipschitz continuity of \(T\) . We consider first the case of normal linear control systems with constant coefficients in \({\mathbb {R}}^N\) . We characterize points around which \(T\) is not Lipschitz as those which can be reached from the origin by an optimal trajectory (of the reversed dynamics) with vanishing minimized Hamiltonian. Linearity permits an explicit representation of such set, that we call \(\mathcal {S}\) . Furthermore, we show that \(\mathcal {S}\) is countably \(\mathcal {H}^{N-1}\) -rectifiable with positive \(\mathcal {H}^{N-1}\) -measure. Second, we consider a class of control-affine planar nonlinear systems satisfying a second order controllability condition: we characterize the set \(\mathcal {S}\) in a neighborhood of the origin in a similar way and prove the \(\mathcal {H}^1\) -rectifiability of \(\mathcal {S}\) and that \(\mathcal {H}^1(\mathcal {S})>0\) . In both cases, \(T\) is known to have epigraph with positive reach, hence to be a locally \(BV\) function (see Colombo et al.: SIAM J Control Optim 44:2285–2299, 2006; Colombo and Nguyen.: Math Control Relat 3: 51–82, 2013). Since the Cantor part of \(DT\) must be concentrated in \(\mathcal {S}\) , our analysis yields that \(T\) is locally \(SBV\) , i.e., the Cantor part of \(DT\) vanishes. Our results imply also that \(T\) is differentiable outside a \(\mathcal {H}^{N-1}\) -rectifiable set. With small changes, our results are valid also in the case of multiple control input.     

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.     

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

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.     

Neighbour-transitive codes in Johnson graphs

The Johnson graph \(J(v,k)\) has, as vertices, the \(k\) -subsets of a \(v\) -set \(\mathcal {V}\) and as edges the pairs of \(k\) -subsets with intersection of size \(k-1\) . We introduce the notion of a neighbour-transitive code in \(J(v,k)\) . This is a proper vertex subset \(\Gamma \) such that the subgroup \(G\) of graph automorphisms leaving \(\Gamma \) invariant is transitive on both the set \(\Gamma \) of ‘codewords’ and also the set of ‘neighbours’ of \(\Gamma \) , which are the non-codewords joined by an edge to some codeword. We classify all examples where the group \(G\) is a subgroup of the symmetric group \(\mathrm{Sym}\,(\mathcal {V})\) and is intransitive or imprimitive on the underlying \(v\) -set \(\mathcal {V}\) . In the remaining case where \(G\le \mathrm{Sym}\,(\mathcal {V})\) and \(G\) is primitive on \(\mathcal {V}\) , we prove that, provided distinct codewords are at distance at least \(3\) , then \(G\) is \(2\) -transitive on \(\mathcal {V}\) . We examine many of the infinite families of finite \(2\) -transitive permutation groups and construct surprisingly rich families of examples of neighbour-transitive codes. A major unresolved case remains.     

Hall Polynomials and Composition Algebra of Representation Finite Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k such that the indecomposable \(\mathcal{A}\) -modules are determined by their dimension vectors and for each \(M, L \in ind(\mathcal{A})\) and \(N\in mod(\mathcal{A})\) , either \(F^{M}_{N L}=0\) or \(F^{M}_{L N}=0\) . We show that \(\mathcal{A}\) has Hall polynomials and the rational extension of its Ringel–Hall algebra equals the rational extension of its composition algebra. This result extend and unify some known results about Hall polynomials. As a consequence we show that if \(\mathcal{A}\) is a representation finite simply-connected algebra, or finite dimensional k-algebra such that there are no short cycles in \(mod(\mathcal{A})\) , or representation finite cluster tilted algebra, then \(\mathcal{A}\) has Hall polynomials and \(\mathcal{H}(\mathcal{A})\otimes_\mathbb{Z}Q=\mathcal{C}(\mathcal{A})\otimes_\mathbb{Z}Q\) .     

From submodule categories to preprojective algebras

Let \(S(n)\) be the category of invariant subspaces of nilpotent operators with nilpotency index at most \(n\) . Such submodule categories have been studied already in 1934 by Birkhoff, they have attracted a lot of attention in recent years, for example in connection with some weighted projective lines (Kussin, Lenzing, Meltzer). On the other hand, we consider the preprojective algebra \(\Pi _n\) of type \(\mathbb {A}_n\) ; the preprojective algebras were introduced by Gelfand and Ponomarev, they are now of great interest, for example they form an important tool to study quantum groups (Lusztig) or cluster algebras (Geiss, Leclerc, Schröer). We are going to discuss the connection between the submodule category \(\mathcal {S}(n)\) and the module category \(\hbox {mod}\;\Pi _{n-1}\) of the preprojective algebra \(\Pi _{n-1}\) . Dense functors \(\mathcal {S}(n) \rightarrow \hbox {mod}\;\Pi _{n-1}\) are known to exist: one has been constructed quite a long time ago by Auslander and Reiten, recently another one by Li and Zhang. We will show that these two functors are full, dense, objective functors with index \(2n\) , thus \(\hbox {mod}\;\Pi _{n-1}\) is obtained from \(\mathcal {S}(n)\) by factoring out an ideal which is generated by \(2n\) indecomposable objects. As a byproduct we also obtain new examples of ideals in triangulated categories, namely ideals \(\mathcal {I}\) in a triangulated category \(\mathcal {T}\) which are generated by an idempotent such that the factor category \(\mathcal {T}/\mathcal {I}\) is an abelian category.     

The Fourier transform of multiradial functions

We obtain an exact formula for the Fourier transform of multiradial functions, i.e., functions of the form \(\varPhi (x)=\phi (|x_1|, \dots , |x_m|), x_i\in \mathbf R^{n_i}\) , in terms of the Fourier transform of the function \(\phi \) on \(\mathbf R^{r_1}\times \cdots \times \mathbf R^{r_m}\) , where \(r_i\) is either \(1\) or \(2\) .     

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.     

A canonical structure on the tangent bundle of a pseudo- or para-Kähler manifold

It is a classical fact that the cotangent bundle \(T^* {\mathcal {M}}\) of a differentiable manifold \({\mathcal {M}}\) enjoys a canonical symplectic form \(\Omega ^*\) . If \(({\mathcal {M}},\mathrm{J} ,g,\omega )\) is a pseudo-Kähler or para-Kähler \(2n\) -dimensional manifold, we prove that the tangent bundle \(T{\mathcal {M}}\) also enjoys a natural pseudo-Kähler or para-Kähler structure \(({\tilde{\hbox {J}}},\tilde{g},\Omega )\) , where \(\Omega \) is the pull-back by \(g\) of \(\Omega ^*\) and \(\tilde{g}\) is a pseudo-Riemannian metric with neutral signature \((2n,2n)\) . We investigate the curvature properties of the pair \(({\tilde{\hbox {J}}},\tilde{g})\) and prove that: \(\tilde{g}\) is scalar-flat, is not Einstein unless \(g\) is flat, has nonpositive (resp. nonnegative) Ricci curvature if and only if \(g\) has nonpositive (resp. nonnegative) Ricci curvature as well, and is locally conformally flat if and only if \(n=1\) and \(g\) has constant curvature, or \(n>2\) and \(g\) is flat. We also check that (i) the holomorphic sectional curvature of \(({\tilde{\hbox {J}}},\tilde{g})\) is not constant unless \(g\) is flat, and (ii) in \(n=1\) case, that \(\tilde{g}\) is never anti-self-dual, unless conformally flat.     

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.     

Approximate Unitary Equivalence to Skew Symmetric Operators

An operator \(T\) on a complex Hilbert space \(\mathcal {H}\) is called skew symmetric if \(T\) can be represented as a skew symmetric matrix relative to some orthonormal basis for \(\mathcal {H}\) . In this paper, we study the approximation of skew symmetric operators and provide a \(C^*\) -algebra approach to skew symmetric operators. We classify up to approximate unitary equivalence those skew symmetric operators \(T\in \mathcal {B(H)}\) satisfying \(C^*(T)\cap \mathcal {K(H)}=\{0\}\) . This is used to characterize when a unilateral weighted shift with nonzero weights is approximately unitarily equivalent to a skew symmetric operator.     

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.     

The \bar{\partial }-Equation on an Annulus Between Two Strictly q-Convex Domains with Smooth Boundaries

In this paper, we study the global boundary regularity of the \(\bar{\partial }\) - equation on an annulus domain \(\Omega \) between two strictly \(q\) -convex domains with smooth boundaries in \(\mathbb{C }^n\) for some bidegree. To this finish, we first show that the \(\bar{\partial }\) -operator has closed range on \(L^{2}_{r, s}(\Omega )\) and the \(\bar{\partial }\) -Neumann operator exists and is compact on \(L^{2}_{r,s}(\Omega )\) for all \(r\ge 0\) , \(q\le s\le n-q- 1\) . We also prove that the \(\bar{\partial }\) -Neumann operator and the Bergman projection operator are continuous on the Sobolev space \(W^{k}_{r,s}(\Omega )\) , \(k\ge 0\) , \(r\ge 0\) , and \(q\le s\le n-q-1\) . Consequently, the \(L^{2}\) -existence theorem for the \(\bar{\partial }\) -equation on such domain is established. As an application, we obtain a global solution for the \(\bar{\partial }\) equation with Hölder and \(L^p\) -estimates on strictly \(q\) -concave domain with smooth \(\mathcal C ^2\) boundary in \(\mathbb{C }^n\) , by using the local solutions and applying the pushing out method of Kerzman (Commun Pure Appl Math 24:301–380, 1971).     

Construction of relative difference sets and Hadamard groups

‘There exist normal \((2m,2,2m,m)\) relative difference sets and thus Hadamard groups of order \(4m\) for all \(m\) of the form $$\begin{aligned} m= x2^{a+t+u+w+\delta -\epsilon +1}6^b 9^c 10^d 22^e 26^f \prod _{i=1}^s p_i^{4a_i} \prod _{i=1}^t q_i^2 \prod _{i=1}^u \left( (r_i+1)/2)r_i^{v_i}\right) \prod _{i=1}^w s_i \end{aligned}$$ under the following conditions: \(a,b,c,d,e,f,s,t,u,w\) are nonnegative integers, \(a_1,\ldots ,a_r\) and \(v_1,\ldots ,v_u\) are positive integers, \(p_1,\ldots ,p_s\) are odd primes, \(q_1,\ldots ,q_t\) and \(r_1,\ldots ,r_u\) are prime powers with \(q_i\equiv 1\ (\mathrm{mod}\ 4)\) and \(r_i\equiv 1\ (\mathrm{mod}\ 4)\) for all \(i, s_1,\ldots ,s_w\) are integers with \(1\le s_i \le 33\) or \(s_i\in \{39,43\}\) for all \(i, x\) is a positive integer such that \(2x-1\) or \(4x-1\) is a prime power. Moreover, \(\delta =1\) if \(x>1\) and \(c+s>0, \delta =0\) otherwise, \(\epsilon =1\) if \(x=1, c+s=0\) , and \(t+u+w>0, \epsilon =0\) otherwise. We also obtain some necessary conditions for the existence of \((2m,2,2m,m)\) relative difference sets in partial semidirect products of \(\mathbb{Z }_4\) with abelian groups, and provide a table cases for which \(m\le 100\) and the existence of such relative difference sets is open.     

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)!\) .