natural ↗ reference
4894 papers tagged with this keyword
On a two-color partition series and its companions
We study the two-color distinct-part series \(S_1(q)\), equivalently Andrews' generating function \(v_d(q)\) for strictly concave compositions, and its odd and even companions \(T_o(q)\) and \(T_e(q)\). We determine the coefficients of \(S_1(q)\) modulo \(4\) and obtain a complete criterion for the resulting Ramanujan-type progressions. For the even companion, we give a direct overpartition interpretation of its coefficients and show that two natural partition families are each counted by half of those coefficients. For the eta-normalized odd companion \(C(q)=(q;q)_\infty T_o(q)\), we prove a quintic self-similarity, derive exact vanishing relations and infinite sign changes for its coefficients, and show that \(c(n)\) can be nonzero only when \(24n+28\) is represented by \(x^2+3y^2\).
The Graph Algebra I: Representation-Theoretic Structure
The paper studies the graph algebra whose monomial basis is naturally indexed by simple graphs on a fixed set of vertices. This algebra is at the same time the algebra of pseudo-Boolean functions on the Boolean cube and a natural object of algebraic combinatorics, related to the Boolean lattice of subsets of the edge set of the complete graph.
The main aim of the paper is to study two compatible representation-theoretic structures on this algebra: the action of the Lie algebra $\mathfrak{sl}_2$, arising from the operators of adding and deleting one edge, and the action of the pair group $S_n^{(2)}$, induced by the renumbering of vertices. It is proved that the graph algebra with this $\mathfrak{sl}_2$-action is isomorphic to a tensor power of the standard two-dimensional $\mathfrak{sl}_2$-module, and on this basis its decomposition into irreducible $\mathfrak{sl}_2$-modules is obtained. Primitive spaces, that is, the kernels of the edge-deletion operator on rank components, are also described, and it is shown that they have a natural interpretation in terms of two-row Specht modules.
It is then established that the $\mathfrak{sl}_2$-action commutes with the action of the pair group. It follows that the space of graph invariants also inherits the structure of an $\mathfrak{sl}_2$-module. Using Schur--Weyl duality, primitive invariants are described through the fixed parts of the restrictions of two-row Specht modules from the full symmetric group on the edge set to the pair group. As a consequence, the classical enumeration of non-isomorphic graphs by the number of edges receives a representation-theoretic refinement: the orbital components entering the Burnside--Polya formula decompose into natural primitive contributions associated with the $\mathfrak{sl}_2$-structure and two-row Specht modules.
Separable integer partition classes and Slater's list -- II
Slater's list of Rogers-Ramanujan type identities remains a central source of striking series-product formulas in the theory of partitions and basic hypergeometric series. Although many of these identities admit elegant analytic proofs through Bailey pairs, Bailey chains, or transformations of basic hypergeometric series, the partition-theoretic meaning of their series sides is often much less apparent. In this paper, which continues the program initiated in arXiv:2603.14179, we apply Andrews' theory of separable integer partition classes to further identities from Slater's list. We construct a strict overpartition class and two families of overpartitions with positional gap conditions, in which overlining is permitted only at alternating positions. Their multivariate generating functions give natural refinements of the series sides of Slater's identities (12), (28), (29), (47), (48), (50), and (51). We then use Heine-type transformations, a limiting form of Heine's transformations, Watson's $q$-analogue of Whipple's theorem, and classical theta-product identities to obtain alternative series representations and recover the associated products. In addition, we derive a new companion identity to a Slater identity and a signed companion formula. Our results further demonstrate that SIP classes provide a flexible framework for converting basic hypergeometric series into structured partition generating functions, while simultaneously producing refinements, transformations, and new Rogers-Ramanujan type identities.
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.
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.
Total positivity and symmetric spaces
We define a notion of total positivity for the symmetric space $G/K$ by taking the Hausdorff closure of the image of Lusztig's totally positive part $G_{>0}$ in $G/K$. We introduce double Bruhat cells for the symmetric space and define their totally positive pieces. We prove a cell decomposition of the totally nonnegative symmetric space, give explicit positive parametrizations of all cells, establish closure relations, and show that the transition maps between the two natural families of parametrizations are subtraction-free.
Generalising Latin square orthogonality and Frobenius-König with alternating sign matrices
The theory of Latin squares has a long history. While the objects themselves appeared earlier, the study of their general mathematical theory dates back to Euler in the 18th century. Latin squares can be interpreted as 3-dimensional permutation hypermatrices, and alternating sign matrices often arise as a natural generalisation of permutation matrices. In 2018, Brualdi and Dahl introduced a generalisation of classical Latin squares using alternating sign hypermatrices. Inspired by their definition, we develop the theory of Italian squares, a related generalisation of Latin squares, together with a notion of orthogonality that resolves an inconsistency in the definition of Brualdi and Dahl. Building on classical questions from Latin square theory, we obtain results including upper bounds on the maximal size of a pairwise orthogonal set, conditions for the existence of an orthogonal mate, infinite families of orthogonal pairs, and transversals. As part of our exploration of alternating sign matrices, we also prove a Frobenius-König type result for a class of $(0,\pm1)$-matrices.
Pseudoshattering Pairs
For two vectors $x,y\in [b]^k$, consider the bipartite graph with two copies of $[b]$ in which $i$ on the left is joined to $j$ on the right if $(x_t,y_t)=(i,j)$ for some coordinate $t$. We study the largest size of a family $C\subseteq [b]^k$ such that, for every two distinct $x,y\in C$, this bipartite graph contains a cycle.
We give a natural construction for such families and conjecture that it is optimal whenever $k$ is large relative to $b$. We prove an LYM-type upper bound that is asymptotically tight with respect to this construction, and is exact when $k$ is large and divisible by $b$. We then refine the argument using a circular ordering, obtaining the sharp full-support bound when $k\equiv -1\pmod b$. In the case $b=3$, we prove the exact general result when $k\equiv -1\pmod 3$ and $k$ is sufficiently large. The problem is motivated by the Daniely--Shalev-Shwartz dimension and the pseudocube formulation of a higher-alphabet Sauer-Shelah-Perles lemma.
Transfer systems give matroids only for cyclic $p$-groups
Transfer systems as studied in equivariant algebra admit minimal generating sets, analogous to bases in linear algebra. It is natural to wonder if minimal generating sets form a matroid. We show that this happens only for lattices which are linear orders, or for cyclic groups of prime power order. In this case, we compute some invariants of the resulting matroid.
An Erdős Matching Conjecture for Vector Spaces
We study a vector-space analogue of the Erdős Matching Conjecture. Let $m_q(n,k,s)$ denote the maximum cardinality of a family of $k$-dimensional subspaces of an $n$-dimensional vector space over $\mathbb F_q$ with no $s+1$ members whose sum is direct. Two natural constructions provide lower bounds. The first consists of all $k$-subspaces contained in a fixed $((s+1)k-1)$-dimensional subspace; the second consists of all $k$-subspaces that intersect a fixed $s$-dimensional subspace nontrivially. These constructions motivate the following vector-space analogue of the Erdős Matching Conjecture: for all $n\ge (s+1)k$, $$m_q(n,k,s)=\max\left\{\genfrac{[}{]}{0pt}{}{(s+1)k-1}{k}_q,~\genfrac{[}{]}{0pt}{}{n}{k}_q-q^{ks}\genfrac{[}{]}{0pt}{}{n-s}{k}_q\right\}.$$ We prove this conjecture when $k=2$, when $n=(s+1)k$, and when $n$ is sufficiently large. In particular, the case $k=2$ may be viewed as a vector-space analogue of the Erdős--Gallai theorem. In the large-$n$ range, we also prove a Hilton--Milner-type stability theorem, determining the largest nontrivial families with this property. Finally, we connect this problem with $t$-cover-free families in vector spaces and determine their extremal number up to a lower-order term, extending a recent result of Shan and Zhou for the special case $t=2$. The proofs combine Lovász's minimax theorem for matroid matchings, a high-dimensional Hoffman bound for uniform hypergraphs, and packing-design arguments in vector spaces.
A parameterized family of balance indices for phylogenetic networks
We introduce a new family of balance indices for phylogenetic networks: the $H_α$ indices, where $α$ is a positive real number. This family includes the $B_2$ index as a special case ($α= 1$) and provides a natural extension of the Sackin index to phylogenetic networks. We show that the $H_α$ indices share many structural properties with the $B_2$ index, most notably a "grafting property" that makes it possible to express the $H_α$ index of a network in terms of the $H_α$ indices of its biconnected components. These properties allow us to identify networks that minimize / maximize $H_α$ for various classes of phylogenetic networks, and to study its distribution for several models of random trees and networks (in particular, Galton-Watson trees and binary Markov branching trees, with a focus on the Yule and PDA models). Finally, we show how local limits can be used to analyze the asymptotic behavior of $H_α$ for large trees and networks, and we obtain general results for the moments of $H_α$ for a broad class of random phylogenetic networks known as blowups of Galton-Watson trees.
The unique self-dual binary code of length 26 with minimum weight 6
The binary Type~I self-dual [26,13,6] code is classical. We give what appears to be the first direct non-computational proof of its uniqueness. We first determine the weight enumerators of the code and its shadow. Degree-one harmonic MacWilliams identities supply the required 1-designs. Elementary intersection counts then show that the two minimal half-shadows each contain 13 words; these words label the 26 coordinates as 13 points and 13 lines, and the two shadow classes become the point-stars and line-stars. From this structure we give two uniqueness proofs: one reconstructs the projective plane of order 3 and the plane code, including the full automorphism group PGL(3,3):2; the other deletes an intrinsic flag, obtains the odd Golay code together with a deep hole coset, and reconstructs the length 26 code and the size of the automorphism group from this coset datum. Thus the natural length-24 object behind the code is the odd Golay code together with its unique orbit of deep hole cosets.
Structural Reductions for Monochromatic Matchings and Ramsey Tilings
The Alon--Frankl--Lovász theorem determines the chromatic number of Kneser hypergraphs; equivalently, it gives the sharp minimum size of a monochromatic matching in every \(r\)-edge-colouring of the complete \(t\)-uniform hypergraph. The known proofs of the exact theorem are topological. We develop a topology-free structural framework for its asymptotic form and for related sparse and tiling problems.
Our main theorem shows that every \(r\)-colouring of a sufficiently pseudo-random \(t\)-graph can be reduced, with only \(o(n)\) loss in the largest monochromatic matching, to a colouring of \(K_n^{(t)}\) whose vertex set is partitioned into at most \(r\) parts and whose edge colours depend only on intersection profiles. The proof combines hypergraph regularity, LP duality, and convex-geometric compression. As consequences, we obtain a topology-free proof of the asymptotic AFL theorem, a sparse random transference theorem, and near-exact bounds in a linear-uniformity regime of Meunier's stable Kneser conjecture.
For a graph \(H\), let \(Rt_r(H;K_n)\) be the minimum, over all \(r\)-edge-colourings of \(K_n\), of the largest monochromatic \(H\)-tiling. We prove \[ Rt_r(H;K_n)=(β_{r,H}+o(1))n, \] where \(β_{r,H}\) is effectively computable from finitely many linear programs depending only on \(H\) and \(r\). An additional multipartite Ramsey extraction is the key ingredient needed to reconstruct consistent graph templates. This gives an effective asymptotic solution to the complete-host multicolour Ramsey-tiling problem, extending the classical two-colour theorem of Burr, Erdős and Spencer. We also determine explicit constants for several natural families, including connected non-bipartite graphs, balanced Hall-type bipartite graphs, complete bipartite graphs with three, four, and five colours, and a non-Hall bipartite example.
Fixed-density profiles for the semi-induced 4-vertex star
We study the fixed-density semi-inducibility profiles of the red-blue star $S_{2,1}$, which has one distinguished center, two red edges and one blue edge. For an $n$-vertex graph $G$, let $N(S_{2,1},G)$ be the number of injective labeled copies in which the two red edges of $S_{2,1}$ are mapped to edges of $G$ and its blue edge is mapped to a non-edge of $G$, that is, \begin{align*}
N(S_{2,1},G)=
\sum_{v\in V(G)} d(v)(d(v)-1)(n-1-d(v)). \end{align*} For every fixed red edge density $β\in[0,1]$, we determine both extremal $S_{2,1}$-densities. On the upper side, we prove the missing low-density range and, together with the theorem of Balogh, Lidický, Mubayi, Pfender and Volec for $β\ge 1/4$, obtain the full four-branch profile predicted in their work. On the lower side, we show that the natural endpoint profile coming from the quasi-star and quasi-clique constructions is not universal; the correct minimum is given by a one-parameter three-class complement-split family. The proofs use a transfer argument with degree-square tie-breaking, reducing the extremal analysis to almost-regular, threshold and finite-staircase optimizations.
Binary binomial equivalence via hyperplane arrangements
Rigo and Salimov (2015) proved that the number of binary \(2\)-binomial equivalence classes of words of length \(n\) is the \(n^{\text{th}}\) cake number. We give a geometric explanation of this identity by constructing an explicit arrangement of \(n\) planes in three-dimensional space whose chambers are naturally indexed by these equivalence classes.
This arrangement is the three-dimensional member of an infinite family of hyperplane arrangements. In dimensions \(1\), \(2\), and \(3\), the corresponding quotients recover abelian equivalence, a natural intermediate equivalence between abelian and \(2\)-binomial equivalence, and binary \(2\)-binomial equivalence itself. In higher dimensions, the same family realises natural refinements of \(2\)-binomial equivalence.
We also determine the sizes of the resulting classes. Each size is given by a coefficient of a suitable Gaussian binomial coefficient. This yields the full class-size distribution for binary \(2\)-binomial equivalence and stabilisation results for the number of classes of any fixed cardinality.
On $k$-limited domination in graphs
In this work, we introduce and study the notion of $k$-limited domination in graphs, motivated by applications where dominating vertices have bounded capacity and cannot be overloaded by too many external neighbors. Formally, given an integer $k \le Δ(G)$, a set of vertices $D \subseteq V(G)$ is called a $k$-limited dominating set if it is a dominating set and, in addition, each vertex of $D$ has at most $k$ neighbors outside $D$. The minimum cardinality of such a set is the $k$-limited domination number, denoted by $γ_k^{\mathrm{L}}(G)$. Since $Δ(G)$-limited domination coincides with the classical domination, we restrict our attention to the nontrivial range $1 \le k < Δ(G)$, where the degree limitation becomes meaningful and leads to new combinatorial phenomena.
In this paper, we initiate the study of this concept by deriving sharp general bounds for $γ_k^{\mathrm{L}}(G)(G)$ and identifying conditions under which these bounds can be further improved. We establish a connection between $k$-limited domination and $(1,t)$-domination. In particular, for $d$-regular graphs we prove that $γ_k^{\mathrm{L}}(G)(G)=γ_{1,d-k}(G)$. In the special case $k=1$, we show that $1$-limited domination is tightly linked to graph packings, yielding the bound $γ^{\mathrm L}_1(G) \le n - ρ(G)$ and its characterization.
The study reveals several natural open questions and indicates that limited domination provides a rich ground for further research.
Saturation numbers of some joins of graphs
Let $H$ be a graph. A graph $G$ is $H$-saturated if $G$ is $H$-free, but adding any edge between two non-adjacent vertices of $G$ yields an $H$-copy as a subgraph. The saturation number $\mathrm{sat}(n, H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. The saturation number for the join of a vertex and a graph $F$, denoted by $K_1\vee F$, has attracted considerable attention. Cameron and Puleo [Discrete Math. 345 (2022), 112867] proved that $\mathrm{sat}(n,K_1 \vee F)\le n-1+\mathrm{sat}(n-1, F)$ for $n > |V(F)|$. A natural question is when the above equality holds. Most existing results impose conditions on $F$ and assume that $F$ has no isolated vertices. Let $K_p^-$ be the graph obtained by deleting one edge from the complete graph $K_p$. In this paper, we investigate the saturation number of $K_1\vee F$ when $F$ contains isolated vertices, and determine the exact value of $\mathrm{sat}(n, K_1\vee F)$ when $F=K^-_{3}\cup sK_1(s\ge 1)$ or $F=K^-_{p-1}\cup K_1(p\ge 5)$. In our results, $\mathrm{sat}(n,K_1 \vee F)= n-1+\mathrm{sat}(n-1, F)$ holds when $F=K^-_{3}\cup sK_1$ for any $s\ge 1$, but fails when $F=K^-_{p-1}\cup K_1$ for $p\ge 5$.
Saturation numbers for joins of graphs and characterization of extremal graphs
A graph $G$ is $H$-saturated if $G$ contains no $H$-copy as a subgraph, but adding any edge between two non-adjacent vertices in $G$ creates a copy of $H$. The saturation number $\mathrm{sat}(n,H)$ is the minimum number of edges in an $n$-vertex $H$-saturated graph. Saturation number for the join of a vertex and a graph $F$, denoted by $K_1\vee F$, has received considerable attention. Cameron and Puleo [Discrete Math. 345 (2022), 112867] showed that $\mathrm{sat}(n,K_1 \vee F)\le n-1+\mathrm{sat}(n-1, F)$ for all $n > |V(F)|$. A natural question is to ask when the above equality holds. Existing results for $\mathrm{sat}(n,K_1 \vee F)$ always constrain that a non-empty graph $F$ contains no isolated vertex. In this paper, we investigate the saturation number of $K_1\vee F$ when a non-empty graph $F$ contains an isolated vertex. We first determine the saturation number for $K_1\vee F$ when $F=K_{p-1}\cup K_1$. When $p=3$, we extend the result to any number of isolated vertices, and determine the saturation number for $K_1\vee F$ when $F=K_{2}\cup qK_1$, or $F=2K_{2}\cup qK_1$ for any $q\ge 1$. Moreover, all minimum saturated graphs are fully characterized. In our results, $\mathrm{sat}(n,K_1 \vee F)= n-1+\mathrm{sat}(n-1, F)$ holds when $F=K_2\cup qK_1$, or $F=2K_2\cup qK_1$ for any $q\ge 1$; but fails when $F=K_{p-1}\cup K_1$ for $p\ge 4$.
Hilbert's 16th problem for arrangements of curves on a surface
We introduce a combinatorial structure $(n,W,T)$ encoding the topological type of a curve transverse to a fixed cellular arrangement of curves on a compact real surface, in terms of intersection numbers, Dyck words and rooted trees. We apply this formalism to analyze a natural generalization of Hilbert's 16th problem to arrangements of curves. We obtain a complete classification of arrangements of three lines and a cubic, and a partial classification of arrangements of three lines and a quartic. This is achieved using Bézout-type obstructions, Viro's patchworking and translations, and by developing the Julia library NWT to handle large databases of curves.
Determining decomposition thresholds for long odd cycles
An $\ell$-cycle decomposition of a graph $G$ is a set of $\ell$-cycles in $G$ whose edge sets partition the edge set of $G$. The $\ell$-cycle decomposition threshold $δ_{C_\ell}$ is then the least real number such that any $n$-vertex graph $G$ with minimum degree at least $(δ_{C_\ell}+o(1))n$ has an $\ell$-cycle decomposition if and only if $\ell$ divides $|E(G)|$ and each vertex of $G$ has even degree. Nash-Williams' famous conjecture on triangle decompositions states, asymptotically, that $δ_{C_3}=\frac{3}{4}$. A very recent breakthrough result of Delcourt and Postle completely resolved this conjecture, however, Glock, Kühn, and Osthus have posed the problem of determining $δ_{C_\ell}$ for larger odd values of $\ell$ (the behaviour of $δ_{C_\ell}$ for even $\ell$ is different and well understood). A natural generalisation of Nash-Williams' conjecture implies that $δ_{C_\ell}=\frac{\ell}{2\ell-2}$ for all odd $\ell \geq 3$. Here we prove that this conjecture holds for all $\ell \geq 73$.