math.CO ↗ arXiv
5274 papers in this category
A combinatorial nerve theorem
The celebrated (homological) nerve theorem makes use of spectral sequences to determine the homology of a space. However, this theorem cannot effectively compute the homology in every circumstance. In this paper, we develop an effective version of the nerve theorem. Our theorem enables us to compute the homology of a simplicial complex explicitly using the combinatorial information of its subcomplexes and their non-trivial intersections using discrete Morse theory.
Suppose $X$ is a simplicial complex with subcomplexes $A_1, A_2, \dots ,A_k$ such that $X= \cup_{i=1}^{k}A_i$. Then the main theorem of this paper states that we can explicitly compute the homology of $X$ using the information of given gradient vector fields on $A_i$ for each $i \in [k]$, and on their possible non-trivial intersections. Our approach is purely combinatorial, in the sense that it does not involve any notions of geometric realization, continuity or homotopy.
Average divisibility in character tables of $\mathrm{GL}_2(\mathbb{F}_q)$
Let $q$ range over odd prime powers and let $G_q=\mathrm{GL}_2(\mathbb{F}_q)$. Fix a prime number $\ell$. Motivated by work of Peluse and Soundararajan on Miller's conjecture for character tables of symmetric groups, we study the proportion of entries in the character table of $G_q$ which are not divisible by $\ell$, in the sense of divisibility in the ring of algebraic integers. We prove that $N_\ell(q)=\frac{q^4}{2}+O_ε(q^{3+ε})$ for every $ε>0$, where $N_\ell(q)$ denotes the number of entries which are not divisible by $\ell$. We also show that the number of zero entries is $\frac{q^4}{2}+O_ε(q^{3+ε})$. Consequently, the proportion of all entries not divisible by $\ell$ tends to $1/2$, while the proportion of nonzero entries not divisible by $\ell$ tends to $1$. This differs significantly from the symmetric-group case, where almost every character-table entry is divisible by any fixed prime. We also prove an angular equidistribution result for the nonzero character values as $q\to\infty$. We show that the arguments become equidistributed in $[0,2π]$. This proves an analogue of Miller's question on the distribution of signs among the nonzero entries in character tables of symmetric groups.
Mixed Products of Modified Greaves--Jing--Zhu Operators
Let $\mathcal Y(z;t)$ be the modified Greaves--Jing--Zhu operator on the odd power-sum ring. We first point out that this operator can be obtained from the classical neutral operator by a simple diagonal change of variables. We then study products in which the two deformation parameters are not necessarily the same. For two parameters $t$ and $s$, we compute the scalar factor that appears in the mixed product. This factor has an explicit exponential form and, in a completed setting, can also be written as a quotient of infinite $t$-Pochhammer products. We also give a recurrence for its coefficients, a product formula for several mixed operators, and formulas for the coefficients obtained after applying the operators to $\mathbf 1$.
A particularly simple case occurs when $s=t^M$. In this case the scalar factor becomes the finite quotient $(u;t)_M/(-u;t)_M$. Its coefficients are signed principal specializations of one-row Schur $Q$-functions. As a result, after removing the signs, these coefficients are nonnegative palindromic polynomials. We also give a Gaussian-binomial formula and a finite-order recurrence.
The Signless Laplacian Spectral Radius of $tK_3$-Free Graphs
The signless Laplacian matrix of a graph $G$ is $Q(G)=D(G)+A(G)$, where $D(G)$ and $A(G)$ are the diagonal degree matrix and the adjacency matrix of $G$, respectively. The signless Laplacian spectral radius of $G$ is the largest eigenvalue of $Q(G)$. For a positive integer $t$, a graph is called $tK_3$-free if it contains no $t$ vertex-disjoint triangles. In this paper, for every fixed $t\geq 2$ and all $n\geq 28t-17$, we determine the unique graph achieving the maximum signless Laplacian spectral radius among all $tK_3$-free graphs of order $n$.
A unit-distance graph in the plane with independence ratio below 1/4
We prove that there exists a finite unit-distance graph in the plane with independence ratio strictly smaller than 1/4, answering a question of Erdős. Our proof closely follows the framework of Matolcsi, Ruzsa, Varga, and Zsámboki, based on the geometric fractional chromatic number, but adds a carefully chosen two-vertex augmentation that pushes their 27-vertex construction from geometric fractional chromatic number $4$ to a value strictly larger than 4. This disproves their Conjecture 1, and implies that the fractional chromatic number of the plane is strictly larger than 4. The proof can be made fully constructive, but the resulting finite graph has an enormous number of vertices.
All limit points of the largest roots of matching polynomials are determined
The largest matching root $μ(G)$ of a graph $G$ is that of its matching polynomial. In this paper, all limit points of the largest matching roots of graphs are determined. More precisely, we identify the limit points of the largest matching roots of graphs less than $τ^{\frac{1}{2}}+τ^{-\frac{1}{2}}$. For any $γ\geq τ^{\frac{1}{2}}+τ^{-\frac{1}{2}}$ with $τ=\frac{\sqrt{5}+1}{2}$, there exists a graph sequence $\{G_i\, |\, i\in \mathbb{N}\}$ such that $\lim\limits_{i \rightarrow \infty}μ(G_i)=γ$.
Extremal graphs with no subgraph admitting $k+1$ edge-disjoint spanning trees
A graph $G$ is $τ_k$-maximal if $G$ contains no subgraph admitting $k+1$ edge-disjoint spanning trees, while the addition of any edge in the complement of $G$ yields a subgraph that admits $k+1$ edge-disjoint spanning trees. In this paper, we prove that for any integers $k\geq 1$ and $n\geq 2k+2$, every $τ_k$-maximal graph of order $n$ satisfies $|E(G)|\leq (k+1)(n-1)-1$. Furthermore, we construct a family of $τ_k$-maximal graphs on $n\ge 2k+2$ vertices that have exactly $(k+1)(n-1)-1$ edges, which establishes the tightness of the upper bound. Then we conjecture that every $τ_k$-maximal graph on $n$ vertices has exactly $(k+1)(n-1)-1$ edges, and we verify the conjecture for the case $k=1$.
Fano Geometry and Slow Coupon Collecting
We study the coupon collector's problem in a generalized setting where each draw reveals a fixed number of coupons and the sampling mechanism is required to be \emph{fair}, meaning that every coupon appears with the same frequency among the admissible draws. Grunbaum and Yaakobi conjectured that, among all fair mechanisms with fixed parameters, the fully random model maximizes the expected time to complete coverage. We disprove this conjecture by exhibiting explicit counterexamples arising from finite geometry. In particular, we show that the line set of the Fano plane yields a fair mechanism whose expected coverage time exceeds that of the full model. Further exact and computational results are obtained for projective planes of higher order. In addition, we analyze a simple infinite family of fair mechanisms, the star mechanism, for which the expected coverage time admits a closed form. Depending on the scaling regime, this mechanism can be asymptotically slower or faster than the full model, showing that no universal extremality principle holds for fair mechanisms without additional structural assumptions.
Minimum Size of a Poset Realizing $\Z_{2}\times\Z_{2^{n}}$ as its Automorphism Group
We study the realization of finite groups as automorphism groups of finite posets. Given a finite group $G$, let $β(G)$ denote the smallest number of elements in a poset $P$ with $\Aut(P)\cong G$. While $β(G)$ is known for several cyclic and small abelian groups, the non-cyclic abelian case is largely open. In this paper we prove that $β(\Z_{2}\times\Z_{2^{n}})=2^{\,n+1}+2$ for every $n\ge 3$.
Divisible Arm Lengths, Crystal Reflections, and Enumeration of Newly Found Decomposition Columns
In recent work the authors determine complete columns of symmetric-group decomposition matrices in odd prime characteristic $p$ labeled by $p$-regular partitions for which every hook of length divisible by $p$ has even arm length. In the present paper we enumerate these partitions and prove that each block of $p$-weight $w$ contains precisely \[ \binom{w+\frac{p-3}{2}}{w} \] such partitions.
More generally, for any integers $d,e>1$, we study and enumerate $d$-balanced $e$-regular partitions -- partitions for which every hook of length divisible by $e$ has arm length divisible by $d$. Our first main result is that the crystal (affine) reflections preserve the $d$-balanced property for all $d,e > 1$. It follows that, for fixed $d$, $e$, and $w$, the number of $d$-balanced $e$-regular partitions in a block of $e$-weight $w$ is independent of the $e$-core. We then compute this number by working in RoCK blocks, obtaining an explicit binomial formula valid for every block.
We also investigate closely related odd sequences of partitions. Among others, we find the generating function of the number of odd sequences occurring in a block. Alongside their representation-theoretic relevance, we expect these results to be of independent combinatorial interest.
Pairwise Reflection Symmetry in Generalized Latin Rectangles
Many combinatorial designs ask for equal distribution of given symbols across the entries of a matrix. The paramount examples are Latin squares, where each symbol from $\{1,\dots,n\}$ appears once per row and column of an $n\times n$ matrix. Generalized Latin rectangles extend this to $λn \times n$ matrices with repeated symbols under controlled column frequencies. In this more general setting, we examine structural properties of pairwise reflection-symmetry, which requires that, on every pair of columns, each ordered symbol pair $(p,q)$ occurs as often as its reversal $(q,p)$. This order-balance is precisely what makes head-to-head comparisons unbiased, i.e., no symbol gains a systematic advantage from the position it occupies relative to another, a fairness demand arising for instance when scheduling tournaments or laying out comparative trials. Existence of such objects for odd $λ$ turns out to be remarkably more subtle than for even $λ$. After showing that existence holds also for sufficiently large odd $λ$, we initiate the search for the smallest possible value of $λ$ in this setting. We obtain the insight that a column multiplicity of $λ=1$ can be achieved if and only if $n$ is a power of two. We complement the existence results with a direct product construction and add several further observations on the property. Finally, we propose and evaluate a quadratically constrained integer program to computationally search for these objects. The resulting experiments reveal that many of them possess an underlying group-theoretic structure which, as we conjecture, may even be unavoidable in certain settings.
Characterizing Pure Strategy Nash Equilibria in Finite Noncooperative Games
The classical existence result of Nash guarantees that every finite noncooperative game admits an equilibrium in mixed strategies, but it leaves open the question of when pure strategy equilibria exist. This paper develops a structural approach to that question by exploiting properties of the best-response correspondence on finite strategy sets. Building on recent work, we derive new sufficient conditions for the existence of pure strategy Nash equilibria in finite games. We introduce several broad classes of finite games for which pure equilibria are guaranteed, including a class that generalizes unilaterally competitive games and a class characterized by the existence of an aggregate-payoff maximizer over an ordered set. Our results clarify the role of acyclicity, and aggregation in producing pure equilibria and connect disparate sufficient-condition results in the literature into a unified framework.
Time Structure in Infinite Extensive Games
We extend graph theoretic characterizations of time structurable extensive games from finite informational digraphs to countable and continuum digraphs built on continuum rooted real trees. Introducing the symmetric class quotient poset of information sets as the canonical object an external clock must order, we develop a theory of transitive reduction for these quotients and prove existence and uniqueness under an interval finiteness condition. Under natural topological regularity assumptions like closed reachability classes, order density, and sigma compactness, we give necessary and sufficient conditions for real valued time labelings and construct measurable selection procedures in Polish spaces. We also provide constructive algorithms and a differential game example illustrating applications and computational implications.
Unboundedness of the Coefficients of Higher Powers of a Unimodular Power Series
Published in Monatsh. Math. 185 (2018), 307--360
• Search Publication
Let $R(z)=\sum_{n=0}^{\infty} r_n z^n$ be a power series with $|r_n|=1$ for every $n\ge 0$. We show that for each integer $m\ge 2$, the coefficient sequence of $R(z)^m$ is unbounded. The proof combines Parseval's identity with Jensen's inequality. As a consequence, Conjecture~3.9 of Gawron, Miska, and Ulas \cite{gmu} is confirmed.
Strong counterexamples to Mubayi's supersaturation conjecture in every uniformity
The supersaturation problem asks, for a fixed $r$-graph $\mathcal F$, for the minimum number of copies of $\mathcal F$ in an $n$-vertex $r$-graph with $\ex(n,\mathcal F)+q$ edges. Mubayi conjectured a local form of supersaturation under a stability hypothesis: if $\mathcal F$ is non-$r$-partite and stable, meaning roughly that the extremal $\mathcal F$-free construction is unique and all near-extremal $\mathcal F$-free $r$-graphs are close to it, then this minimum should be at least $q c(n,\mathcal F)$, where $c(n,\mathcal F)$ is the minimum number of copies created by adding one edge to the extremal $\mathcal F$-free $r$-graph.
We disprove this conjectured local lower bound in every uniformity. For every $r\ge2$ and every $K>1$, we construct a stable $r$-graph $\mathcal F$ such that, for all sufficiently large $n$ and every $1\le q\le δn$, there is an $n$-vertex $r$-graph with $\ex(n,\mathcal F)+q$ edges and at most $K^{-1}q c(n,\mathcal F)$ copies of $\mathcal F$. Thus the conjectured lower bound can already fail at $q=1$, and the failure can be by an arbitrarily large constant factor in every uniformity.
Artin monoids, their homomorphisms and twins
Motivated by the twin homomorphism problem for Coxeter groups and the corresponding Hecke monoids, we find a large class of its solutions originating from standard homomorphisms of Artin monoids and their compositions. These homomorphisms are expected to be injective when they are optimal and injective on generators, which generalizes the homogeneous homomorphisms and the famous Tits conjecture settled by Crisp and Paris. We classify disjoint standard homomorphisms and conjecture the complete classification when the domain is of rank two.
A note on strong affine semigroups
This work introduces and studies strong affine semigroups, extending the notion of strong numerical semigroups to the higher-dimensional setting. We show that non-numerical strong affine semigroups present structural differences with respect to strong numerical semigroups. Special attention is devoted to strong $\mathcal C$-semigroups. We prove that the family of strong $\mathcal C$-semigroups with a given set of multiplicities $E$ admits a maximal element and has a tree structure. We characterize when this family is finite and provide an algorithm to compute all such semigroups up to a fixed genus. We also introduce the notion of special strong affine semigroups and obtain refined versions of several previous results. Finally, we study toric ideals arising from strong affine semigroups, determining their indispensable monomials and Betti elements for several families.
Linear Code Conversion in the Merge Regime: General Bounds and Reed-Muller Constructions
Erasure codes are a core component of most existing large-scale distributed storage systems, ensuring reliability against node failures. Recent work has shown that adapting code parameters to changing node failure rates can lead to significant storage savings. The default approach is to re-encode the data under a new code, which consumes substantial system resources. Code conversion was introduced to reduce this cost. However, existing work has mainly focused on conversions within specific classes of codes. In this paper, we study scalar linear code conversion in the merge regime for arbitrary linear codes. We derive universal lower bounds on the write and read costs in terms of unchanged and read symbols. The bounds are refined using generalized Hamming weights, which capture support-growth properties of subcodes and can give sharper estimates than minimum-distance-only arguments. We show that the framework recovers known bounds for important special cases and can be strictly stronger when the final code has nontrivial jumps in its generalized Hamming weight hierarchy. We then apply the framework to Reed-Muller codes and construct explicit Reed-Muller convertible codes using the Plotkin decomposition. For a natural Reed-Muller parameter regime, the construction attains the derived write-cost lower bound. For the read cost, the generalized-Hamming-weight analysis is sharp for one initial block, while a gap remains for the other block.
Totally Disjoint Diametral Paths
In this paper, we study totally disjoint diametral paths in simple connected graphs. A diametral path in a graph is a shortest path that connects two vertices whose mutual distance is equal to the diameter of the graph. Totally disjoint paths are paths that have no vertices in common, including their end vertices. We show that the problem of deciding whether a graph $G$ has $k$ totally disjoint diametral paths is NP-complete. We consider restricted classes of graphs for which the problem of determining the maximum size of a set of totally disjoint diametral paths is readily solved. We then give a linear-time algorithm for a subclass of maximal outerplanar graphs called 2-paths, define a polynomial-time algorithm for threshold graphs, and establish a structural bound for proper interval graphs. Finally, we define classes of extremal graphs with $k$ totally disjoint diametral paths of length $d$ having the fewest possible number of edges.
Enumerating matrices with prescribed entries in an adjoint orbit
We study intersections of conjugacy classes of square matrices over a finite field with affine coordinate subspaces, or equivalently matrices in a fixed adjoint orbit with prescribed entries. Our main result treats the case of prescribed columns: for a partially defined linear map we give a Hall scalar product formula for the number of extensions to an endomorphism with prescribed similarity invariants. This formula is expressed in terms of skew modified Hall--Littlewood functions and $q$-Whittaker functions. As applications, we count monic matrix polynomials over $\mathbb{F}_q$ with prescribed Smith normal form and with prescribed determinant, and recover the Gerstenhaber--Reiner formula for the number of square matrices with a fixed characteristic polynomial. We also note that known point-count formulas for Hessenberg varieties imply related formulas for Hessenberg supports involving chromatic quasisymmetric functions, motivating polynomiality questions for more general supports and prescribed affine slices.