arXiv++ Combinatorics

We prove that in sparse Erdős-Rényi graphs of average degree $d$, the vector chromatic number (the relaxation of chromatic number coming from the Lovàsz theta function) is typically $\tfrac{1}{2}\sqrt{d} + o_d(1)$. This fits with a long-standing conjecture that various refutation and hypothesis-testing problems concerning $k$-colorings of sparse Erdős-Rényi graphs become computationally intractable below the `Kesten-Stigum threshold' $d_{KS,k} = (k-1)^2$. Along the way, we use the celebrated Ihara-Bass identity and a carefully constructed non-backtracking random walk to prove two deterministic results of independent interest: a lower bound on the vector chromatic number (and thus the chromatic number) using the spectrum of the non-backtracking walk matrix, and an upper bound dependent only on the girth and universal cover. Our upper bound may be equivalently viewed as a generalization of the Alon-Boppana theorem to irregular graphs

In this article, we use the relationship between cluster scattering diagrams and stability scattering diagrams to relate quiver representations with these diagrams. With a notion of positive crossing of a path $γ$, we show that if $γ$ has positive crossing in the scattering diagram, then it goes in the opposite direction of the Auslander-Reiten quiver of $Q$. We then give the Hall algebra theta functions which recover the cluster character formula by the Euler characteristic map. At last, we define the Hall algebra broken lines and then are able to give the stratification of the quiver Grassmannians by the bending of the broken lines.

In this paper, by use of matrix inversions, we establish a general $q$-expansion formula of arbitrary formal power series $F(z)$ with respect to the base $$\left\{z^n\frac{(az:q)_n}{(bz:q)_n}\bigg|n=0,1,2\cdots\right\}.$$ Some concrete expansion formulas and their applications to $q$-series identities are presented, including Carlitz's $q$-expansion formula, a new partial theta function identity and a coefficient identity of Ramanujan's ${}_1ψ_1$ summation formula as special cases.

For each nonempty integer partition $π$, we define the maximal excludant of $π$ to be the largest nonnegative integer smaller than the largest part of $π$ that is not a part of $π$. Let $σ\!\operatorname{maex}(n)$ be the sum of maximal excludants over all partitions of $n$. We show that the generating function of $σ\!\operatorname{maex}(n)$ is closely related to a mock theta function studied by Andrews \textit{et al.} and Cohen. Further, we show that, as $n\to \infty$, $σ\!\operatorname{maex}(n)$ is asymptotic to the sum of largest parts of all partitions of $n$. Finally, the expectation of the difference of the largest part and the maximal excludant over all partitions of $n$ is shown to converge to $1$ as $n\to \infty$.

False theta functions closely resemble ordinary theta functions, however they do not have the modular transformation properties that theta functions have. In this paper, we find modular completions for false theta functions, which among other things gives an efficient way to compute their obstruction to modularity. This has potential applications for a variety of contexts where false and partial theta series appear. To exemplify the utility of this derivation, we discuss the details of its use on two cases. First, we derive a convergent Rademacher-type exact formula for the number of unimodal sequences via the Circle Method and extend earlier work on their asymptotic properties. Secondly, we show how quantum modular properties of the limits of false theta functions can be rederived directly from the modular completion of false theta functions proposed in this paper.

In this paper, we use basic asymptotic analysis to establish some uniform asymptotic formulas for the Fourier coefficients of the inverse of Jacobi theta functions. In particular, we answer and improve some problems suggested and investigated by Bringmann, Manschot, and Dousse. As applications, we establish the asymptotic monotonicity properties for the rank and crank of the integer partitions introduced and investigated by Dyson, Andrews, and Garvan.

We present an infinite family of Borwein type $+ - - $ conjectures. The expressions in the conjecture are related to multiple basic hypergeometric series with Macdonald polynomial argument.

Using a specific form of the triple product identity, polygonal number identities are stated. Further number identities are examined that can be considered identities related to modular sets of numbers. The identities can be used to give results on integer partitions with parts from numbers in modular arithmetic progression. This includes recursive formulas for the number of partitions using these modular parts. The triple product identity can derive further recursive formulas. Additionally, there is a recursive formula for the related sum of divisors function. The specific triple product identity provides a framework to examine all the identities and can be used to define related theta functions.

Quite recently, the first author investigated vanishing coefficients of the arithmetic progressions in several $q$-series expansions. In this paper, we further study the signs of coefficients in two $q$-series expansions and establish some arithmetic relations for several $q$-series expansions by means of Ramanujan's theta functions. We obtain the 5-dissections of these two $q$-series and give combinatorial interpretations for these dissections. Moreover, we obtain four $q$-series identities involving the aforementioned $q$-series, two of which were proved by Kim and Toh via modular forms.

We establish two families of congruences modulo powers of 5 for the Fourier coefficients of $(2E_2(2τ)-E_2(τ))η(2τ)^{-1}$, where $E_2(τ)$ is the weight 2 Eisenstein series and $η(τ)$ is the Dedekind eta function. This allows us to prove similar congruences for two smallest parts functions. The first function is $\mathrm{spt}_ω(n)$, which was introduced by Andrews, Dixit and Yee and associated with Ramanujan/Watson's third order mock theta function $ω(q)$. The second one is $\mathrm{spt}_{C5}(n)$, which appeared in the work of Garvan and Jennings-Shaffer. Moreover, we confirm two conjectural congruences of Wang.

Ramanujan presented four identities for third order mock theta functions in his Lost Notebook. In 2005, with the aid of complex analysis, Yesilyurt first proved these four identities. Recently, Andrews et al. provided different proofs by using $q$-series. In this paper, in view of some identities of a universal mock theta function \begin{align*} g(x;q)=x^{-1}\left(-1+\sum_{n=0}^{\infty}\frac{q^{n^{2}}}{(x;q)_{n+1}(qx^{-1};q)_{n}}\right), \end{align*} we establish new proofs of these four identities. In particular, by means of an identity of $g(x;q)$ given by Ramanujan and some theta function identities due to Mortenson, we find a new simple proof of the fourth identity.

Motivated by the works of Liu, we provide a unified approach to find Appell-Lerch series and Hecke-type series representations for mock theta functions. We establish a number of parameterized identities with two parameters $a$ and $b$. Specializing the choices of $(a,b)$, we not only give various known and new representations for the mock theta functions of orders 2, 3, 5, 6 and 8, but also present many other interesting identities. We find that some mock theta functions of different orders are related to each other, in the sense that their representations can be deduced from the same $(a,b)$-parameterized identity. Furthermore, we introduce the concept of false Appell-Lerch series. We then express the Appell-Lerch series, false Appell-Lerch series and Hecke-type series in this paper using the building blocks $m(x,q,z)$ and $f_{a,b,c}(x,y,q)$ introduced by Hickerson and Mortenson, as well as $\overline{m}(x,q,z)$ and $\overline{f}_{a,b,c}(x,y,q)$ introduced in this paper. We also show the equivalences of our new representations for several mock theta functions and the known representations.

Let $χ$ range over the $(p-1)/2$ even Dirichlet characters modulo a prime $p$ and denote by $θ(x,χ)$ the associated theta series. The asymptotic behaviour of the second and fourth moments proved by Louboutin and the author implies that there exists at least $ \gg p/ \log p$ characters such that the associated theta function does not vanish at a fixed point. Constructing a suitable mollifier, we improve this result and show that there exists at least $ \gg p/ \sqrt{\log p}$ characters such that $θ(x,χ) \neq 0$ for any $x>0$. We give similar results for odd Dirichlet characters mod $p$.

We study quantum versions of the Shannon capacity of graphs and non-commutative graphs. We introduce the asymptotic spectrum of graphs with respect to quantum and entanglement-assisted homomorphisms, and we introduce the asymptotic spectrum of non-commutative graphs with respect to entanglement-assisted homomorphisms. We apply Strassen's spectral theorem (J. Reine Angew. Math., 1988) in order to obtain dual characterizations of the corresponding Shannon capacities and asymptotic preorders in terms of their asymptotic spectra. This work extends the study of the asymptotic spectrum of graphs initiated by Zuiddam (Combinatorica, 2019) to the quantum domain. We then exhibit spectral points in the new quantum asymptotic spectra and discuss their relations with the asymptotic spectrum of graphs. In particular, we prove that the (fractional) real and complex Haemers bounds upper bound the quantum Shannon capacity, which is defined as the regularization of the quantum independence number (Mančinska and Roberson, J. Combin. Theory Ser. B, 2016), and that the fractional real and complex Haemers bounds are elements in the quantum asymptotic spectrum of graphs. This is in contrast to the Haemers bounds defined over certain finite fields, which can be strictly smaller than the quantum Shannon capacity. Moreover, since the Haemers bound can be strictly smaller than the Lovász theta function (Haemers, IEEE Trans. Inf. Theory, 1979), we find that the quantum Shannon capacity and the Lovász theta function do not coincide. As a consequence, two well-known conjectures in quantum information theory cannot both be true.

The minrank of a graph $G$ on the set of vertices $[n]$ over a field $\mathbb{F}$ is the minimum possible rank of a matrix $M\in\mathbb{F}^{n\times n}$ with nonzero diagonal entries such that $M_{i,j}=0$ whenever $i$ and $j$ are distinct nonadjacent vertices of $G$. This notion, over the real field, arises in the study of the Lovász theta function of a graph. We obtain tight bounds for the typical minrank of the binomial random graph $G(n,p)$ over any finite or infinite field, showing that for every field $\mathbb{F}=\mathbb F(n)$ and every $p=p(n)$ satisfying $n^{-1} \leq p \leq 1-n^{-0.99}$, the minrank of $G=G(n,p)$ over $\mathbb{F}$ is $Θ(\frac{n \log (1/p)}{\log n})$ with high probability. The result for the real field settles a problem raised by Knuth in 1994. The proof combines a recent argument of Golovnev, Regev, and Weinstein, who proved the above result for finite fields of size at most $n^{O(1)}$, with tools from linear algebra, including an estimate of Rónyai, Babai, and Ganapathy for the number of zero-patterns of a sequence of polynomials.

We present a new procedure to determine the growth function of a homogeneous Garside monoid, with respect to the finite generating set formed by the atoms. In particular, we present a formula for the growth function of each Artin--Tits monoid of spherical type (hence of each braid monoid) with respect to the standard generators, as the inverse of the determinant of a very simple matrix. Using this approach, we show that the exponential growth rates of the Artin--Tits monoids of type $A_n$ (positive braid monoids) tend to $3.233636\ldots$ as $n$ tends to infinity. This number is well-known, as it is the growth rate of the coefficients of the only solution $x_0(y)=-(1+y+2y^2+4y^3+9y^4+\cdots)$ to the classical partial theta function. We also describe the sequence $1,1,2,4,9,\ldots$ formed by the coefficients of $-x_0(y)$, by showing that its $k$th term (the coefficient of $y^k$) is equal to the number of braids of length $k$, in the positive braid monoid $A_{\infty}$ on an infinite number of strands, whose maximal lexicographic representative starts with the first generator $a_1$. This is an unexpected connection between the partial theta function and the theory of braids.

In his lost notebook, Ramanujan listed 5 identities related to the false theta function $$f(q)=\sum_{n=0}^\infty (-1)^nq^{n(n+1)/2}.$$ A new combinatorial interpretation and proof of one of these identities is given. The methods of the proof allow for new multivariate generalizations of this identity. Additionally, the same technique can be used to obtained a combinatorial interpretation of another one of the identities.

In this paper, we obtain inequalities on $M_2$-ranks of overpartitions modulo $6$. Let $\overline{N}_2(s,m,n)$ to be the number of overpartitions of $n$ whose $M_2$-rank is congruent to $s$ modulo $m$. For $M_2$-ranks modulo $3$, Lovejoy and Osburn derived the generating function of $\overline{N}_2(s,3,n)-\overline{N}_2(t,3,n)$, which implies the inequalities $\overline{N}_2(0,3,n)\geq\overline{N}_2(1,3,n)$. For $\ell=6, 10$, we consider the generating function $\overline{R}_{s,t}(d,\ell)$ of the $M_2$-rank differences $\overline{N}_2(s,\ell,\ell n/2+d) + \overline{N}_2(s+1,\ell,\ell n/2+d) - \overline{N}_2(t,\ell,\ell n/2+d) - \overline{N}_2(t+1,\ell,\ell n/2+d)$. By the method of Lovejoy and Osburn, we derive a formula for $\overline{R}_{0,2}(d,6)$. This leads to the inequalities for $n\geq0$, $\overline{N}_2(0,6,3n)\geq\overline{N}_2(2,6,3n)$ and $\overline{N}_2(0,6,3n+1) \geq \overline{N}_2(2,6,3n+1)$. Based on the valence formula for modular functions, we compute $\overline{R}_{0,4}(d,10)$ and $\overline{R}_{1,3}(d,10)$. In particular, we notice that the generating function $\overline{R}_{0,2}(2,6)$ can be expressed in terms of the third order mock theta function $ρ(q)$, and the generating functions $\overline{R}_{0,4}(4,10)$, $\overline{R}_{1,3}(1,10)$ and $\overline{R}_{1,3}(4,10)$ can also be expressed in terms of the tenth order mock theta functions $φ(q)$ and $ψ(q)$.

Recently, Wang and Ma propose a conjecture associated with the possible generalization of Andrews-Warnaar identities. It is confirmed in this paper. As the applications of this conjecture, we prove that a family of series can be expressed by the partial theta functions and construct some new partial theta function identities.

Motivated by Alladi's recent multi-dimensional generalization of Sylvester's classical identity, we provide a simple combinatorial proof of an overpartition analogue, which contains extra parameters tracking the numbers of overlined parts of different colors. This new identity encompasses a handful of classical results as special cases, such as Cauchy's identity, and the product expressions of three classical theta functions studied by Gauss, Jacobi and Ramanujan.