natural ↗ reference
4894 papers tagged with this keyword
A $(q,t)$-Overview of $q$-Analogs
By a simple homogenization process, one may turn a $q$-analog into a symmetric $(q,t)$-analog. Although simple, this bijective correspondence makes many concepts and identities become more natural, and proofs follow readily from classical properties of symmetric functions in two variables. A more intricate non-homogeneous extension is also developed. We illustrate this approach, revisiting recent developments in the study of $γ$-positivity, Lucas analogues, and the monoid of Cyclotomic generating functions. This also leads naturally to new constructions and conjectures. We further explore other avenues of investigations, included graded and equivariant $γ$-positivity and $γ$-anti-positivity (also known as alternatingly $γ$-positive).
Colorful Exponential Random Graph Models
In this paper, we initiate the study of colored exponential random graph models (ERGMs), a class of exponential-family models for networks with multiple types of edge relations. Using the framework of probability graphons, we first derive a variational representation for the limiting free energy, whose maximizers determine the asymptotic structure of typical samples from the model. Then we identify several general families of colored ERGMs exhibiting replica symmetry, where the variational problem has constant maximizers and the model asymptotically concentrates on product colorings with independent edges. For general colored ERGMs, we derive Euler-Lagrange fixed-point equations for the variational maximizers, which in turn yield a general high-temperature uniqueness criterion. In the complementary zero-temperature regime, we establish a two-level selection principle: the leading energy term determines the ground states, while the lower-order energy terms, combined with entropy, act as a tie-breaker to determine the asymptotic zero-temperature structure of the model. We illustrate this principle through the induced wedge and rainbow triangle ERGMs. Both models have natural interpretations in multitype networks, and their zero-temperature limits exhibit interesting structures that connect to well-known results in extremal combinatorics. We further establish finite-temperature symmetry breaking for both these models and complement the rigorous results with numerical experiments.
Multiplicity bounds for nonzero upper-Laplacian eigenvalues of simplicial complexes
Let $K$ be a finite pure ridge-connected $d$-dimensional simplicial complex with at least two facets, and let $m_K(λ)$ denote the multiplicity of a positive eigenvalue $λ$ of its upper Laplacian $L_{d-1}^{\mathrm{up}}(K)$. We obtain upper bounds for $m_K(λ)$ in terms of the basic combinatorial parameters $f_d(K)$ and $f_{d-1}(K)$, the numbers of facets and ridges, $p_d(K)$, the number of pendant facets, and $q_d(K)$, the number of quasi-pendant ridges. The quantity $θ_d(K)=d f_d(K)-f_{d-1}(K)+1$ arises as the cyclomatic number of a natural reduced facet--ridge incidence graph. We prove \[ m_K(λ)\le 2θ_d(K)+p_d(K), \qquad m_K(λ)\le 2θ_d(K)+q_d(K)\quad(λ\ne d). \] We also characterize the complexes for which equality is attained in these bounds. Finally, for every finite pure $d$-dimensional simplicial complex, we prove the sharp inequality $m_K(d)\ge p_d(K)-q_d(K)$, which is a higher-dimensional analogue of Faria's inequality. For $d=1$, our results reduce to the corresponding multiplicity bounds for graph Laplacians.
Efficient Polynomial-Time Decoding of Simplicial Anticodes with Near-Optimal Performance
In this work, we propose an efficient decoding algorithm for codes arising from simplicial complexes, a family of binary linear codes for which no decoding method of this type was previously known.
Although the algorithm does not always attain the maximum theoretical error-correcting capability, it provides an explicit bound that can be computed directly from the structure of the complex. Moreover, this bound is asymptotically optimal: the ratio between the guaranteed correcting capability and the theoretical maximum converges to $1$ as the code length increases, under natural assumptions on the dimension of the maximal faces. The correction capability is also presented in specific examples. Finally, we introduce specific families of simplicial complexes where the algorithm successfully reaches this theoretical bound.
Orthogonal adjointness in posets with $0$
Motivated by the concept of polarity introduced by G. Birkhoff for a binary relation on a set, we introduce a concept of orthogonality in a poset with $0$. A pair of operators $f$, $g$ on a poset with $0$ is called orthogonally adjoint if $f(x)$ is orthogonal to $y$ if and only if $x$ is orthogonal to $g(y)$. We characterize the existence and the uniqueness of $g$ for given $f$ and describe basic properties of orthogonal adjointness. We present constructions of orthogonally adjoint pairs in pseudocomplemented posets. If a given operator $f$ is an order-isomorphism of a pseudocomplemented poset satisfying some natural properties then the corresponding adjoint $g$ can be described explicitly. Moreover, if $f$ and $f^{-1}$ are bijective $\perp$-morphisms then they are orthogonally adjoint, too. Finally we show that a given pair of orthogonally adjoint mappings on a poset $\mathbf P$ may not be extendable to the Dedekind-McNeille completion of $\mathbf P$ and we present sufficient conditions for the existence of such an extension. We also provide sufficient conditions for the existence of an extension of orthogonally adjoint mappings to the lattice of ideals. Our results are illustrated by numerous examples.
On $(1,2^4)$ and $(1,2^5)$-packing edge-coloring of sparse subcubic graphs
A $(1^j,2^k)$-packing edge-coloring of a graph $G$ is a partition of the edge set $E(G)$ into $j$ matchings and $k$ induced matchings. Hocquard, Lajou, and Lu\v zar found a subcubic planar graph of girth $3$ that has no $(1,2^5)$-packing edge-coloring and also conjectured that every subcubic planar graph has a $(1,2^6)$-packing edge-coloring. We also notice that for every fixed positive integer $k$ there exists a subcubic planar graph with girth $k$ that is not $(1,2^3)$-packing edge-colorable.
It is natural to consider what is the minimum positive integer $k_1$ such that every subcubic planar graph with girth at least $k_1$ is $(1,2^5)$-packing edge-colorable. Furthermore, we also consider what is the minimum positive integer $k_2$ such that every subcubic planar graph with girth at least $k_2$ is $(1,2^4)$-packing edge-colorable. In this paper, we show both $k_1$ and $k_2$ are finite, and in fact $5 \le k_1 \le 12$ and $6 \le k_2 \le 16$.
Analysis of Polynomial Threshold Functions on Random Regular Graphs: Computational Complexity of Detecting Noisy Random Lift
In this work, we present the first analysis of low degree polynomial threshold functions for the natural hypothesis testing problem of detecting the noisy random lift of a base $d$-regular graph from a uniformly random $d$-regular graph. Along the way, we obtain a new result for the distribution of short cycle counts in noisy random lift up to logarithmic lengths, which generalizes results by McKay, Wormald, and Wysocka and by Johnson in the case of random regular graphs, and the result by Fortin and Rudinsky in the case of random lift.
Counting Boolean Antichains
We say that an antichain in a lattice $L$ is Boolean if it generates a Boolean sublattice in $L$ in a particularly nice way. These purely combinatorial objects play a role in the representation theory of the incidence algebra of the lattice $L$, as indicated by recent results of Rognerud, Yıldırım and of the last author with Klász, Kleinau and Marczinzik. Given these motivations, it is natural to ask: Can we count and construct Boolean antichains in certain lattices? In this paper we give a construction of Boolean antichains in Boolean lattices, partition lattices and Tamari lattices. Furthermore, we share the surprisingly elegant formulas we found for the number of these Boolean antichains.
Sharp quadratic $χ$-binding functions for powers of bipartite graphs
For every natural number $r\geq 2$, we construct $r^{th}$ powers of bipartite graphs whose chromatic number is quadratic in their clique number, showing that the straightforward quadratic upper bound is best possible. We thereby settle an open problem posed by Chakraborty, Chandran, Jacob and Pillai [J. Graph Theory 112(3) (2026), 235-254] by establishing the sharpness of the quadratic bound for squares of bipartite graphs.
Multi-graded generic initial ideals, regularity, and the optimal colorful fractional Helly theorem for $d$-Leray complexes
A celebrated result of Bayer and Stillman from 1987 states that for a homogeneous ideal $I$ of a polynomial ring $S$, the regularities of $S/I$ and $S/\textrm{GIN}(I)$ are the same under the reverse lexicographic monomial ordering, where $\textrm{GIN}(I)$ is the generic initial ideal. If $R$ is a polynomial ring whose variables are subdivided into disjoint blocks of variables $X_1,\dots,X_c$, there is a natural multi-grading on $R$, and one can analogously define a multi-graded version of the generic initial ideal for any multi-homogeneous ideal $I$ of $R$. However, the full strength of the Bayer--Stillman Theorem fails in the multi-graded setting; there are multi-homogeneous ideals $I$ such that the regularities are not preserved after passing to the multi-graded generic initial ideal no matter the choice of monomial ordering.
We prove lower bounds on the regularity of $R/I$ in terms of almost regular sequences of the multi-graded generic initial ideal of $I$ restricted to each block of variables. Again, we use the reverse lexicographic monomial ordering, but interestingly, the lower bound result requires a particular choice of ordering on the variables.
As an application, we prove the optimal fractional Helly theorem for $d$-Leray simplicial complexes, a problem stemming from the work of Kim in 2017.
Sharp extremal asymptotics for Cusick's sum-of-digits bias at fixed Hamming weight
Let $s_2(n)$ be the binary sum-of-digits function and let $c_t$ be the natural density of the integers $n\ge0$ for which $s_2(n+t)\ge s_2(n)$. Earlier work of the author proved the universal exponential bound $$c_t-\frac12\ge 2^{-2s_2(t)-1},$$ thereby resolving Cusick's conjecture for every $t$. This estimate, however, does not reflect the true size of the smallest possible bias at a given large Hamming weight. In this paper, we determine this extremal scale sharply: $$\inf_{s_2(t)=k}\left(c_t-\frac12\right) \sim \frac{1}{2\sqrtπ} \left(\frac{\log_2 k}{k}\right)^{3/2} \qquad(k\to\infty).$$ Thus the optimal fixed-weight gap is polynomial-logarithmic rather than exponential, with the explicit sharp leading constant $1/(2\sqrtπ)$. The proof combines the five-cumulant Edgeworth expansion of Spiegelhofer and Wallner with a new extremal rigidity mechanism for near-extremal binary block patterns. We also prove a stability theorem for asymptotic extremizers and give a separate shadow-energy interpretation of the same constant.
When are tropical multidegrees positive?
We study the positivity of the tropical multidegrees of a tropical variety contained in a product of real vector spaces. These multidegrees are obtained by stably intersecting the tropical variety with pullbacks of positive tropical divisors. We introduce projection-purity and facet-selectability, two conditions under which positivity is determined by the dimensions of the natural projections, and the support of the tropical multidegrees is precisely the set of lattice points of a polymatroid base polytope. This extends He's theorem for translation-admissible tropical varieties. We also show that these conditions alone do not force the corresponding tropical volume polynomial to be Lorentzian. By contrast, for the augmented Bergman fan of any polymatroid, the positive multidegrees are supported precisely on the lattice points of the polymatroid base polytope, and the tropical volume polynomial is Lorentzian for every sequence of positive tropical divisors.
A quaternionic construction behind $841$-point kissing arrangement in ${\mathbb R}^{12}$
Recently, a new record kissing arrangement of $841$ points in $\mathbb R^{12}$ was obtained numerically by optimization (Takhanov-Assylbekov-Yun, 2026). The configuration was released as a coordinate file, without a mathematical description of its structure. The purpose of this paper is to provide such a description. The key observation is that the geometry becomes transparent once we regard $\mathbb R^{12}\cong \mathbb H^3$ as the Cartesian product of three copies of the quaternion algebra.
We first introduce a new $840$-point kissing arrangement with a certain quaternionic structure. It consists of three mutually orthogonal regular $24$-cells, supported on the three quaternionic coordinate factors $\mathbb H\times\{0\}\times\{0\}$, $\{0\}\times\mathbb H\times\{0\}$, $\{0\}\times\{0\}\times\mathbb H$, together with two $384$-point families obtained by lifting affine sets of the form $$\{(u,v,w)\in (\mathbb F_2^2)^3\mid u+v+w=η\},$$ to quaternionic triples (whose components belong to the binary octahedral group $2O$) and then applying suitable component-wise rotations and weightings.
A characteristic feature of this construction is a pronounced asymmetry among the three quaternionic factors. For the $816$ vectors obtained after removing the third $24$-cell, most of the squared norm is concentrated in the first two quaternionic coordinates, while the third coordinate carries systematically less mass. Thus, the third four-dimensional factor contains more available space than the first two.
We then show that this $840$-point configuration provides a natural structural model for the numerical $841$-point record.
Finally, we introduce a notion of the general quaternionic construction in dimensions divisible by $4$, and check that record kissing arrangements in ${\mathbb R}^{4k}$, $k\leq 5$, admit a quaternionic construction.
Pipe Dream Rectification and Dual RSK Correspondence
We prove Dennin's conjecture (Conjecture 8.9 of arXiv:2506.21052) that his variant of dual RSK correspondence is symmetric when restricted to biGrassmannian permutations. For a binary matrix $A$, let $A^\dagger$ denote its transpose-complement, and let $\operatorname{ins}(A)$ and $\operatorname{rec}(A)$ denote its insertion and recording tableaux. We prove that $\operatorname{ins}(A^\dagger) = \overline{\operatorname{rec}(A)}$, where the bar denotes the natural complement of the recording tableau. Our proof uses rectification of super pipe dreams and a downward induction on suffixes of $A$.
Extremal problems for suspensions of even cycles
Given an integer $k\geq2$ and a graph $F$, the $k$-uniform suspension $\mathcal{S}^kF$ is obtained by adjoining a fixed set of $k-2$ new vertices to every edge of $F$. In this paper, we study two extremal problems for suspensions of even cycles.
Write $K^k_t$ for the $k$-uniform clique of order $t$. Let $\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})$ and $\mathrm{ex}(n,K^k_t,\mathcal{S}^kC_{2\ell})$ denote the maximum numbers of edges and copies of $K^k_t$, respectively, in an $\mathcal{S}^kC_{2\ell}$-free $k$-uniform hypergraph on $n$ vertices. We prove that, for every $k\geq2$ and infinitely many $n$, \[\mathrm{ex}(n,K^{k}_{k+1},\mathcal{S}^kC_4)=\frac{n^{k-1/2}}{(k+1)!}+O(n^{k-1}).\] This extends a folklore result for $k=2$ and, as an immediate consequence, yields the asymptotics of $\mathrm{ex}(n,\mathcal{S}^kC_4)$ for infinitely many $n$, previously established by Mubayi (for all $n$).
Furthermore, for every $k\geq2$ and $\ell\in\{3,5\}$, we determine the order of magnitude \[\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})=Θ(n^{k-1+1/\ell}).\] This generalizes both the classical graph case $k=2$ and a previous result of Mukherjee for $k=\ell=3$.
The principal difficulty in both problems lies in constructing the lower bounds. Our construction for $\mathrm{ex}(n,K^{k}_{k+1},\mathcal{S}^kC_4)$ incorporates a novel block-packing structure, which yields substantially more copies of $K^k_{k+1}$ than previously known constructions. For $\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})$ with $\ell\in\{3,5\}$, we establish a natural $k$-uniform version of Wenger graphs, addressing the subtleties involved in lifting extremal graph constructions to suspensions. We also give applications of our results to Turán problems for simplicial complexes.
TENSKEL: A Combinatorial Observable Tensor for Structured Measurement and Reconstruction
Many imaging problems seek to reconstruct underlying configurations from partial observable measurements. While reconstruction algorithms operate on these measurements, the observable organization induced by the measurement process is rarely represented explicitly.
We introduce TENSKEL, a combinatorial observable framework for structured measurement and reconstruction based on tensor representations defined over discrete domains. Starting from a binary latent ensemble, the framework constructs a hierarchy of tensors coupling measurement contexts to a latent Pascal organization through successive aggregation and folding operations. Each measurement context induces an observable partition of the same latent ensemble, and the resulting tensor formulation makes explicit the associated combinatorial multiplicities, shell organization, degeneracies, and induced reconstruction geometry.
Rather than introducing a new reconstruction algorithm, this framework provides a mathematical representation of how latent configurations become organized under observation. The induced tensor kernel characterizes similarities between latent coordinates through their measurement-context responses, while regularized inversion provides a structured reconstruction of the latent representation from observable measurements. The binary construction further admits a natural multinomial extension to discrete simplex-supported latent representations.
Connections to Pascal cellular automata and structured discrete color mappings illustrate respectively compressed and multinomial realizations of the framework. More generally, TENSKEL provides a combinatorial basis for reasoning about the organization induced by observation, with potential relevance to computational imaging, inverse problems, structured sensing, and quantum-inspired measurement formulations.
The species of interval orders
We show that, in the ring of virtual species, \[
\mathcal{I}=\sum_{m\geq 0}(-1)^m\prod_{i=1}^{m}\bigl((E^{-1})^i-1\bigr), \] where $\mathcal{I}$ is the species of interval orders and $E^{-1}$ is the multiplicative inverse of the species $E$ of sets. The right-hand side is the virtual species of signed ballot matrices introduced by Claesson and Hannah. They showed that its signed cardinality counts labeled interval orders. We strengthen this to a species identity, which we prove twice: first algebraically and then bijectively, using a natural sign-reversing involution. The cycle index series of $\mathcal{I}$ specializes to the generating series for labeled and unlabeled interval orders. We describe the automorphism group of an interval order as a Young subgroup and prove the identity $\mathcal{I}=\mathcal{R}\circ E_+$, where $\mathcal{R}$ is the species of rigid interval orders. We also show that Glaisher's T-number $T_n$ counts the $24$-colored interval orders on $[n]$ in which no isolated element has color $24$.
Pattern avoidance in canon permutations
A canon permutation is a $k$-regular word over $[n]$ in which, for each $j$, the $j$-th copies of the letters form the same permutation $σ$. These were introduced by Elizalde as a generalization of nonnesting multipermutations, which are the case $k = 2$. We study classical pattern avoidance in them for arbitrary $k$. We show that avoiding any one of $112$, $122$, $211$ or $221$ is counted by the $k$-Catalan numbers $\frac{1}{n}\binom{kn}{n-1}$. We enumerate the classes obtained by forbidding one of these together with any $τ\in \mathcal{S}_3$, and we give a bijection with $k$-ary trees that we use to generalize a theorem of Gabriel, Peske, Pudwell and Tay. We then show that avoiding a set of patterns closed under relabeling reduces, up to a factor of $n!$, to avoidance in $k$-regular lattice words. We use this to enumerate the canon permutations avoiding some natural generalizations of the nonnesting and noncrossing patterns, as well as the family $\{1^a21^b, 2^a12^b\}$. We close with several conjectures and questions.
Gap spectra and densities of slow Fibonacci walks
Let $F_1=F_2=1$ and $F_{t+2}=F_{t+1}+F_t$ for $t\geq1$. For every $n\geq2$, there are unique integers $a,b,t$ such that $n=aF_t+bF_{t-1}$ with $t\geq2$ and $1\leq a\leq b\leq F_t$. The Fibonacci walk with initial pair $(b,a)$ reaches $n$ as late as possible, and the term following $n$ in this walk is $\lfloorφn\rfloor$ when $t$ is even and $\lceilφn\rceil$ when $t$ is odd, where $φ=(1+\sqrt5)/2$. Let $D=\{d_1<d_2<\cdots\}$ and $U=\{u_1<u_2<\cdots\}$ be the sets corresponding to even and odd $t$, respectively. For $\ell,m\geq1$, define $D_\ell=\{d_{k+\ell}-d_k:k\geq1\}$, $U_\ell=\{u_{k+\ell}-u_k:k\geq1\}$, $D_\ell(m)=\{d_k:d_{k+\ell}-d_k=m\}$ and $U_\ell(m)=\{u_k:u_{k+\ell}-u_k=m\}$. Chung, Graham and Spiro conjectured that $D_\ell=U_\ell$ for all $\ell$, and asked for the densities of $D_\ell(m)$ and $U_\ell(m)$, especially when $\ell=1$. In this paper, we determine the third and fourth order gap spectra, and show that the conjecture holds for $\ell=3$ but fails for $\ell=4$. We also answer their density question by characterizing when $D_\ell(m)$ and $U_\ell(m)$ have natural densities and proving that their logarithmic densities always exist and are equal. For $\ell=1$, we give the exact logarithmic densities.
The induced-$P_4$-free process
We study the random induced-$P_4$-free graph process. Let $e_1,\ldots,e_N$, where $N=\binom{n}{2}$, be a uniformly random ordering of the edges of $K_n$. Starting from the empty graph $G_0$, we add $e_{m+1}$ whenever $G_m+e_{m+1}$ contains no induced $P_4$, and otherwise leave the graph unchanged. We show that the terminal graph is a trivially perfect graph and we describe the structure and distribution of the connected components of the terminal graph $G_N$. Consequently, we derive the limiting values of several natural graph parameters. In particular, the terminal graph $G_N$ has $Θ(n)$ edges.