Related papers: A matrix version of a higher-order Szeg{\"o} theor…
Higher-order unification has been shown to be undecidable. Miller discovered the pattern fragment and subsequently showed that higher-order pattern unification is decidable and has most general unifiers. We extend the algorithm to…
In these notes we fill a gap in a proof in Section 4 of Gamboa, Nagel, Rouault [Sum rules via large deviations, J. Funct. Anal. 270 (2016), 509-559]. We prove a general theorem which combines a LDP with a convex rate function and a LDP with…
We discuss the proof of and systematic application of Case's sum rules for Jacobi matrices. Of special interest is a linear combination of two of his sum rules which has strictly positive terms. Among our results are a complete…
Chern-Simons theory on a U(1) bundle over a Riemann surface \Sigma_g of genus g is dimensionally reduced to BF theory with a mass term, which is equivalent to the two-dimensional Yang-Mills on \Sigma_g. We show that the former is inversely…
We develop a metric and probabilistic theory for the Ostrogradsky representation of real numbers, i.e., the expansion of a real number $x$ in the following form: \begin{align*} x&= \sum_n\frac{(-1)^{n-1}}{q_1q_2... q_n}=…
It is proven that for any system of n points z_1, ..., z_n on the (complex) unit circle, there exists another point z of norm 1, such that $$\sum 1/|z-z_k|^2 \leq n^2/4.$$ Equality holds iff the point system is a rotated copy of the nth…
Chebotar\"ev proved that every minor of a discrete Fourier matrix of prime order is nonzero. We prove a generalization of this result that includes analogues for discrete cosine and discrete sine matrices as special cases. We establish…
In the present paper a new mean value theorem for polynomials of special form is obtained. The case of sums on vertices of a regular polygon is studied. A criterion for a certain equation to be satisfied is obtained.
We give an elementary proof of a Caratheodory-type result on the invertibility of a sum of matrices, due first to Facchini and Barioli. The proof yields a polynomial identity, expressing the determinant of a large sum of matrices in terms…
We present a triangle of connections between the Sierpinski triangle, the sum-of-digits function, and the Binomial Theorem via a one-parameter family of Sierpinski matrices, which encodes a digital version of the Binomial Theorem.
We present a new and simple proof of a theorem due to Kaplansky which unifies theorems of Kolchin and Levitzki on triangularizability of semigroups of matrices. We also give two different extensions of the theorem. As a consequence, we…
We extend Greenberg's strong approximation theorem to schemes of finite presentation over valuation rings with arbitrary value group, using the ultraproduct method of Becker, Denef, Lipshitz and van den Dries. As an application, we prove a…
We consider measures supported on the bi-circle and review the recurrence relations satisfied by the orthogonal polynomials associated with these measures constructed using the lexicographical or reverse lexicographical ordering. New…
Let $d\mu$ be a probability measure on the unit circle and $d\nu$ be the measure formed by adding a pure point to $d\mu$. We give a simple formula for the Verblunsky coefficients of $d\nu$ based on a result of Simon. Then we consider…
We continue studying polynomials generated by the Szeg\H{o} recursion when a finite number of Verblunsky coefficients lie outside the closed unit disk. We prove some asymptotic results for the corresponding orthogonal polynomials and then…
We derive a generalized matrix version of Pellet's theorem, itself based on a generalized Rouch\'{e} theorem for matrix-valued functions, to generate upper, lower, and internal bounds on the eigenvalues of matrix polynomials. Variations of…
Rakhmanov's theorem for orthogonal polynomials on the unit circle gives a sufficient condition on the orthogonality measure for orthogonal polynomials on the unit circle, in order that the reflection coefficients (the recurrence…
We consider ergodic families of Verblunsky coefficients generated by minimal aperiodic subshifts. Simon conjectured that the associated probability measures on the unit circle have essential support of zero Lebesgue measure. We prove this…
We study a unitary matrix model of the Gross-Witten-Wadia type, extended with the addition of characteristic polynomial insertions. The model interpolates between solvable unitary matrix models and is the unitary counterpart of a deformed…
We provide a version of the celebrated theorem of Koml\'os in which, rather then random quantities, a sequence of finitely additive measures is considered. We obtain a form of the subsequence principle and some applications.