arXiv subjects
Publications and source records attributed to Albrecht Boettcher.
Schur's inequality states that the sum of three special terms is always nonnegative. This note is a short review of inequalities for the sum of the reciprocals of these terms and of extensions of the latter inequalities to an arbitrary number of terms and thus to higher-order divided differences.
Let $F(\boldsymbol x)$ be a homogeneous polynomial in $n \ge 1$ variables of degree $1 \leq d \leq n$ with integer coefficients so that its degree in every variable is equal to $1$. We give some sufficient conditions on $F$ to ensure that for every integer $b$ there exists an integer vector $\boldsymbol a$ such that $F(\boldsymbol a) = b$. The conditions provided also guarantee that the vector $\boldsymbol a$ can be found in a finite number of steps.
We employ the fact certain divided differences can be written as weighted means of B-splines and hence are positive. These divided differences include the complete homogeneous symmetric polynomials of even degree $2p$, the positivity of which is a classical result by D. B. Hunter. We extend Hunter's result to complete homogeneous symmetric polynomials of fractional degree, which are defined via Jacobi's bialternant formula. We show in particular that these polynomials have positive real part for real degrees $μ$ with $|μ-2p|< 1/2$. We also prove a positivity criterion for linear combinations of the classical complete homogeneous symmetric polynomials and a sufficient criterion for the positivity of linear combinations of products of such polynomials.
This paper supplies additions to our paper in Linear Algebra Appl. 510 (2016) 395--420 on integral spans of tight frames in Euclidean spaces. In that previous paper, we considered the case of an equiangular tight frame (ETF), proving that if its integral span is a lattice then the frame must be rational, but overlooking a simple argument in the reverse direction. Thus our first result here is that the integral span of an ETF is a lattice if and only if the frame is rational. Further, we discuss conditions under which such lattices are eutactic and perfect and, consequently, are local maxima of the packing density function in the dimension of their span. In particular, the unit (276, 23) equiangular tight frame is shown to be eutactic and perfect. More general tight frames and their norm-forms are considered as well, and definitive results are obtained in dimensions two and three.
This paper is the written version of our talk (presented by the second author) at the IWOTA in Chemnitz in August 2017. The meta theorem of the paper is that Halmos' two projections theorem is something like Robert Sheckley's Answerer: no question about the W*- and C*-algebras generated by two orthogonal projections will go unanswered, provided the question is not foolish. An alternative approach to questions about two orthogonal projections makes use of the supersymmetry equality introduced by Avron, Seiler, and Simon. A noteworthy insight of the paper reveals that the supersymmetric approach is nothing but Halmos in different language and hence an equivalent Answerer.
Given two orthogonal projections P and Q, we are interested in all unitary operators U such that UP=QU and UQ=PU. Such unitaries U have previously been constructed by Wang, Du, and Dou and also by one of the authors. One purpose of this note is to compare these constructions. Very recently, Dou, Shi, Cui, and Du described all unitaries U with the required property. Their proof is via the two projections theorem by Halmos. We here give a proof based on the supersymmetric approach by Avron, Seiler, and one of the authors.
It was shown in a series of recent publications that the eigenvalues of $n\times n$ Toeplitz matrices generated by so-called simple-loop symbols admit certain regular asymptotic expansions into negative powers of $n+1$. On the other hand, recently two of the authors considered the pentadiagonal Toeplitz matrices generated by the symbol $g(x)=(2\sin(x/2))^4$, which does not satisfy the simple-loop conditions, and derived asymptotic expansions of a more complicated form. We here use these results to show that the eigenvalues of the pentadiagonal Toeplitz matrices do not admit the expected regular asymptotic expansion. This also delivers a counter-example to a conjecture by Ekström, Garoni, and Serra-Capizzano and reveals that the simple-loop condition is essential for the existence of the regular asymptotic expansion.
We consider lattices generated by finite Abelian groups. We prove that such a lattice is strongly eutactic, which means the normalized minimal vectors of the lattice form a spherical 2-design, if and only if the group is of odd order or if it is a power of the group of order 2. This result also yields a criterion for the appropriately normalized minimal vectors to constitute a uniform normalized tight frame. Further, our result combined with a recent theorem of R. Bacher produces (via the classical Voronoi criterion) a new infinite family of extreme lattices. Additionally, we investigate the structure of the automorphism groups of these lattices, strengthening our previous results in this direction.
We consider the set of all linear combinations with integer coefficients of the vectors of a unit tight equiangular $(k,n)$ frame and are interested in the question whether this set is a lattice, that is, a discrete additive subgroup of the $k$-dimensional Euclidean space. We show that this is not the case if the cosine of the angle of the frame is irrational. We also prove that the set is a lattice for $n = k+1$ and that there are infinitely many $k$ such that a lattice emerges for $n = 2k$. We dispose of all cases in dimensions $k$ at most $9$. In particular, we show that a $(7,28)$ frame generates a strongly eutactic lattice and give an alternative proof of Roland Bacher's recent observation that this lattice is perfect.
We present conditions that allow us to pass from the convergence of probability measures in distribution to the uniform convergence of the associated quantile functions. Under these conditions, one can in particular pass from the asymptotic distribution of collections of real numbers, such as the eigenvalues of a family of $n$-by-$n$ matrices as $n$ goes to infinity, to their uniform approximation by the values of the quantile function at equidistant points. For Hermitian Toeplitz-like matrices, convergence in distribution is ensured by theorems of the Szegő type. Our results transfer these convergence theorems into uniform convergence statements.
We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.
The paper is devoted to exact and asymptotic formulas for the determinants of Toeplitz matrices with perturbations by blocks of fixed size in the four corners. If the norms of the inverses of the unperturbed matrices remain bounded as the matrix dimension goes to infinity, then standard perturbation theory yields asymptotic expressions for the perturbed determinants. This premise is not satisfied for matrices generated by so-called Fisher-Hartwig symbols. In that case we establish formulas for pure single Fisher-Hartwig singularities and for Hermitian matrices induced by general Fisher-Hartwig symbols.
This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In case the generating group is cyclic, they are also known as the Barnes lattices. It is shown that for every finite Abelian group with the exception of the cyclic group of order four these lattices have a basis of minimal vectors. Another result provides an improvement of a recent upper bound by Min Sha for the covering radius in the case of the Barnes lattices. Also discussed are properties of the automorphism groups of these lattices.
Let H(N) denote the set of all polynomials with positive integer coefficients which have their zeros in the open left half-plane. We are looking for polynomials in H(N) whose largest coefficients are as small as possible and also for polynomials in H(N) with minimal sum of the coefficients. Let h(N) and s(N) denote these minimal values. Using Fekete's subadditive lemma we show that the N-th square roots of h(N) and s(N) have a limit as N goes to infinity and that these two limits coincide. We also derive tight bounds for the common value of the limits.
We describe the asymptotics of the spectral norm of finite Toeplitz matrices generated by functions with Fisher-Hartwig singularities as the matrix dimension goes to infinity. In the case of positive generating functions, our result provides the asymptotics of the largest eigenvalue, which is of interest in time series with long-range memory.
We consider the operator of taking the $2p$th derivative of a function with zero boundary conditions for the function and its first $p-1$ derivatives at two distinct points. Our main result provides an asymptotic formula for the eigenvalues and resolves a question on the appearance of certain regular numbers in the eigenvalue sequences for $p=1$ and $p=3$.
We present two elementary derivations of the formula for the Toeplitz determinant generated by a pure Fisher-Hartwig singularity.