arXiv++ Combinatorics

A $q$-deformed real number, or ``$q$-real'', was defined by Morier-Genoud and the second author. When $x\in\mathbb{R}$ such that $x\geq0$, the $q$-analogue $[x]_q$ is a power series with integer coefficients in one formal variable~$q$. In general a $q$-real is a formal Laurent series. The main goal of this paper is to study the coefficients of $q$-reals as functions on~$\mathbb{R}$ and give a combinatorial interpretation of these coefficients. This allows us to prove a conjecture studied by several authors stating that the $q$-deformed golden ratio has the smallest radius of convergence among the radii of the $q$-reals associated with positive real numbers. This is a $q$-analogue of the classical Hurwitz theorem. Our approach is combinatorial. We prove that for every real number $x$ in the interval $(1,2)$ the absolute value of each coefficient of the power series representing the $q$-real $[x]_q$ is dominated by the absolute value of the corresponding coefficient of the $q$-deformed golden ratio. The main notion is a certain collection of ordered rooted trees associated with a $q$-real. We prove that the golden ratio corresponds to a universal class of trees.

In arXiv:1812.00170, S. Morier-Genoud and V. Ovsienko introduced the notion of the $q$-rational number $[x]_q$, $x\in \Bbb Q$, a rational function specializing to $x$ at $q=1$, obtained by $q$-deforming the continued fraction expansion of $x$. In arXiv:1908.04365 they introduced $q$-real numbers $[x]_q$, $x\in \Bbb R$ - a Laurent series in $q$ converging to the rational function $[x]_q$ when $x\in \Bbb Q$. In arXiv:2102.00891 it is proved that if $x\in \Bbb Q_{>1}$ then the series $[x]_q$ converges for $|q|<3-2\sqrt{2}\approx 0.17$ and conjectured that for all $x\in \Bbb R_{>1}$ this series converges in some disk centered in the origin, with the expected common radius of convergence $R_*=\frac{3-\sqrt{5}}{2}\approx 0.38$, achieved when $x=\frac{1+\sqrt{5}}{2}$ is the golden ratio. This was proved for rational $x$ in arXiv:2405.15970 using the theory of Kleinian groups. In this paper we (partially) prove this conjecture by showing that for all $x\in \Bbb R_{>1}$, the series $[x]_q$ converges in the disk $|q|<3-2\sqrt{2}$ to a nonvanishing holomorphic function. This is achieved by giving an expansion of $1/[x]_q$ into a $q$-adically convergent series of rational functions converging absolutely and uniformly on compact sets in an explicit region $D$ containing this disk. We also show that this expansion converges to a positive analytic function on the interval $(-\frac{3-\sqrt{5}}{2},1)$, giving a definition of $[x]_q$ for $q$ from this interval. Moreover, we show that the result of arXiv:2405.15970 implies convergence of $[x]_q$ for $|q|<2-\sqrt{3}\approx 0.27$. We also give examples of explicit computation of $[x]_q$ for transcendental numbers $x$, e.g. $x={\rm cotan}(1)$. Finally, we propose a definition of the $q$-complex number $[τ]_q$, a meromorphic function of $τ\in \Bbb C_+$ which expresses via hypergeometric functions of modular functions of $τ$.

An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(λ,x)$ (where $λ,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_λ(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $λ$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(λ,x)$ for fixed $λ$ is strictly negative. We quantify this result by providing a lower bound for $c(G)$ in terms of $\dim G$. We also provide upper and lower bounds for $DH_λ(0)$ when $|λ|=1$. This allows us to show that $|X(λ,x)|\le C(G)|λ|^{-1}|x|^{-1}$ for some constant $C(G)$ depending only on $G$, which implies the conjecture in Remark 17.16 of arXiv:2312.03101. We also show that $c(SL_n)\le (\frac{4}{π^2})^{n-2}$. Finally, in the appendix, which subsumes our previous paper arXiv:1811.05293, we prove Conjecture 1 in arXiv:1706.02793 about Mittag-Leffler type sums for $G$.

The goal of this note is to give a systematic method of constructing zero-free regions for the permanent in the sense of A. Barvinok, i.e. regions in the complex plane such that the permanent of a square matrix of any size with entries from this region is nonzero. We do so by refining the approach of Barvinok, which is based on his clever observation that a certain restriction on a set S involving angles implies zero-freeness; we call sets satisfying this requirement angle-restricted. This allows us to reduce the question to a low-dimensional geometry problem (notably, independent of the size of the matrix!), which can then be solved more or less explicitly. We give a number of examples, improving some results of Barvinok.

We give a new proof of the Macdonald-Mehta-Opdam integral identity for finite Coxeter groups. This identity was conjectured by Macdonald and proved by Opdam in 1993 using the theory of multivariable Bessel functions, but in non-crystallographic cases the proof relied on a computer calculation by F. Garvan. Our proof is somewhat more elementary (in particular, it does not use multivariable Bessel functions), and uniform (does not refer to the classification of finite Coxeter groups and does not use computers).

We present a new algebraic extension of the classical MacMahon Master Theorem. The basis of our extension is the Koszul duality for non-quadratic algebras defined by Berger. Combinatorial implications are also discussed.