arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0707.0712

On the Positivity of the Coefficients of a Certain Polynomial Defined by Two Positive Definite Matrices

Christopher J. Hillar·Charles R. Johnson
View original source ↗Read source document ↗Export metadata ↓

Abstract

It is shown that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has positive coefficients when $m = 6$ and $A$ and $B$ are any two 3-by-3 complex Hermitian positive definite matrices. This case is the first that is not covered by prior, general results. This problem arises from a conjecture raised by Bessis, Moussa and Villani in connection with a long-standing problem in theoretical physics. The full conjecture, as shown recently by Lieb and Seiringer, is equivalent to $p(t)$ having positive coefficients for any $m$ and any two $n$-by-$n$ positive definite matrices. We show that, generally, the question in the real case reduces to that of singular $A$ and $B$, and this is a key part of our proof.

Explore related subjects

math-phmath.MPmath.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christopher J. Hillar, Charles R. Johnson. 2007-07-05. On the Positivity of the Coefficients of a Certain Polynomial Defined by Two Positive Definite Matrices. https://arxiv.org/abs/0707.0712

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Dipole Formation in the Two-Component Plasma

We consider the two-dimensional two-component plasma, or Coulomb gas, consisting of $N$ positive and $N$ negative charges with logarithmic interaction. We introduce a suitable regularization of the interaction by smearing the charges over a small length scale $λ$, which allows us to give meaning to the system in the continuum at any temperature. We provide an expansion of the free energy for each inverse temperature $β\ge2$, as $N \to \infty$ and $λ\to 0$. Doing so allows us to show that, for $β\geq 2$, the charges (for the most part) pair into neutral dipoles of very small size as $λ\to 0$. This complements the prior work of Leblé, Zeitouni, and the second author, which proved that this does not happen for $β< 2$, thereby implying a transition at $β= 2$ from free charges to dipole pairs. Moreover, we obtain an estimate on the size of linear statistics. The description in terms of dipoles is made via a decomposition into nearest-neighbor graphs of the point configurations, à la Gunson-Panta. This is combined with new energy estimates obtained via an electric reformulation of the interaction energy and a ball-growth method, which are expressed in terms of the nearest-neighbor graph distances only. In this way, the model is compared to a reduced nearest-neighbor interaction model, by showing the relative smallness of the dipole-dipole interactions.

math-ph↗
arXiv2026

Polynomial rigidity of strong-field magnetic billiards

Let $Ω\subset\mathbb R^2$ be a bounded domain whose boundary $γ$ is a smooth simple closed curve, and let $r=|B|^{-1}$ be the Larmor radius of a constant magnetic field. Assume $$ 0<r<\frac{r_0(γ)}2, $$ where $r_0(γ)$ is the maximal embedded tubular radius of $γ$. We prove that if the corresponding magnetic billiard admits a nonconstant first integral polynomial in the velocity, then $γ$ is a circle and $Ω$ is a disk. No convexity assumption is imposed. This eliminates the finite set of possible exceptional strong-field values left by the earlier polynomial nonintegrability theory. The proof uses the two highest reflection modes of the polynomial induced on the space of Larmor centers. A boundary index identity shows that the highest coefficient has degree equal to the true Fourier degree and that all of its roots lie inside the table. After complexification and passage to the normalization of the boundary curve, comparison of the two leading modes at infinity excludes simultaneous poles of the coordinate functions and forces all of these roots to coincide. The reflection identity then implies that the boundary has constant distance from their common root and hence is circular.

math-ph↗
arXiv2026

Wave-Particle Complementarity in Quantum Walk from a Quantum Mechanical Perspective

A quantum walk is a mathematical model and a quantum version of a random walk. For the past two decades, it has been studied from mathematical and physical viewpoints. It has many desirable properties. This paper reevaluates quantum walk from a quantum mechanical perspective, as Feynman essentially proposed it as a toy model in his path integral method. Then we demonstrate that the quantum walk model exhibits both particle-like and wave-like properties by showing reflection and partial reflection as a particle and interference as a wave. In particular, for an initial state supported at two sites $\pm\ell$, we explicitly derive the weak limit distribution of the Hadamard walk and show that the Konno distribution is modulated by the interference factor $2\cos^2(\ell k(x))$. The resulting interference profile is reminiscent of far-field (Fraunhofer-type) diffraction.

math-ph↗