math.CO ↗ arXiv
5274 papers in this category
Self-similar dendrites with finite boundary and P-sprouts
Each self-similar dendrite K with a finite self-similar boundary defines a finite acyclic edge-labeled bipartite graph G, called the sprout of K. The paper shows that the sprout G determines the combinatorial properties of the dendrite K and its topological structure.
Positive Geometries from Cubic Surfaces
We present a study of cubic surfaces from the novel perspective of positive geometry. Our positive geometries have dimension two (the surface minus its 27 lines), dimension three (its complement in 3-space), and dimension four (the moduli space). In each case we explore the positive arrangement, its combinatorial rank, and the canonical forms.
Conflict-Free Cuts in Planar and 3-Degenerate Graphs with 1-Regular Conflicts
A conflict-free cut $F$ on a simple connected graph $G = (V, E)$ is defined as a set of edges $F \subseteq E$ such that $G-F$ is disconnected, and no two edges in $F$ are conflicting. The notion of conflicting edges is represented using an associated conflict graph $\widehat{G} = (\widehat{V}, \widehat{E})$ where $\widehat{V} = E$. Deciding if a given planar graph $G$, with an associated conflict graph $\widehat{G}$, has a conflict-free cut is known to be NP-complete, when $G$ has maximum degree four and $\widehat{G}$ is a line graph of $G$ [Bonsma, JGT 2009].
In this paper, we prove the following for the case when $\widehat{G}$ is 1-regular.
* We completely resolve the complexity of the decision problem when $G$ is planar. Towards this end, we show that (a) there always exists a conflict-free cut when the graph is planar and 4-regular unless it is the octahedron graph and (b) the decision problem is NP-complete, even in the case when $G$ is planar with maximum degree 5.
* We also show that the decision problem is NP-complete when $G$ is a 3-degenerate graph with maximum degree 5. This completely resolves the complexity status of the problem when $G$ is 3-degenerate.
* We construct families of graphs with 1-regular conflict graphs that do not have a conflict-free cut.
Our results answer the questions posed in [Rauch, Rautenbach and Souza, IPL 2025].
Closed Expressions for the Weight Distributions of Codes Associated with Perfect Codes
Perfect codes are arguably the most fascinating structures in combinatorial coding theory, and their classification and weight distribution are of considerable interest. This classification also involves the analysis of some related structures. This paper considers five closely related structures, but all of them have never been tied together before. These structures are 1-perfect codes, extended 1-perfect codes, nearly perfect 1-covering codes, extended nearly perfect 1-covering codes, and one family of completely regular codes (to be called diamond codes). The current work concentrates on the weight distributions of these five families of codes. In the past, some of these weight distributions were not computed, some required heavy tools, and for some only the weight enumerator was presented. We provide complete weight distributions for all five families using some methods that do not require any heavy tools.
A Tighter Upper Bound for the Number of Distinct Squares in Circular Words
A \emph{square} is a word of the form $uu$, where $u$ is a nonempty finite word. Given a finite word $w$ of length $n$, let $[w]$ denote the corresponding \emph{circular word}, i.e., the set of all cyclic rotations of $w$. We study the number of distinct square factors of the elements of $[w]$. Amit and Gawrychowski first showed that this number is upper bounded by $3.14n$. In a recent article, Charalampopoulos et al. improved this upper bound to $1.8n$ and conjectured that the sharp upper bound is $1.5n$. In this note, we improve this upper bound to $\frac{5}{3}n$.
Angle Between Two Vectors over Finite Fields and an Application to Projective Unique Decoding
We introduce a Hamming-type angular function $$\mathrm{angle}_H(u,v):= \min_{c \in \mathbb{F}_q^n} d_H(u, cv)$$ on pairs of nonzero vectors in $\mathbb{F}_q^n$ and show that it satisfies all three metric axioms up to scalar multiplication. The function $\mathrm{angle}_H$ is invariant under nonzero scalar multiplication in either argument and therefore descends to a genuine integer-valued metric on the projective space $\mathbb{P}(\mathbb{F}_q^n)$. As a concrete application, we prove an \emph{angular} (or \emph{projective}) version of the unique-decoding theorem for linear codes: if $\mathrm{angle}_H(u, C\setminus\{0\}) < d/2$, where $d$ is the minimum distance of the linear code $C$, then the closest direction in $C$ to $u$ is unique up to nonzero scalar multiplication. We then discuss how this angular viewpoint relates to the proximity-gap programme for Reed--Solomon codes. To the best of our knowledge, this is the first attempt to define an angle notion for vectors over finite fields and interpret it from several perspectives, including geometry, coding theory, and cryptography.
Representations of Reeb spaces via simplified graphs and examples
Reeb spaces of continuous real-valued functions on topological spaces are fundamental and strong tools in investigating the spaces. The Reeb space is the natural quotient space of the space of the domain represented by connected components of its level sets. They have appeared in theory of Morse functions in the last century and as important topological objects, they are shown to be graphs for tame functions on (compact) manifolds such as Morse(-Bott) functions and naturally generalized ones. Related general theory develops actively, recently, mainly by Gelbukh and Saeki. For nice Haudorff spaces and continuous functions there, they are "$1$-dimensional".
We concentrate on Reeb spaces which are not CW complexes and study their representations by graphs and nice examples. Reconstructing nice smooth functions with given Reeb graphs is of related studies and pioneered by Sharko and followed by Masumoto, Michalak, Saeki, and so on. The author has also contributed to it.
On set-like sunflower-free families of subspaces over finite fields
The Erdős--Rado sunflower problem admits two natural analogues in finite vector spaces, corresponding to two different ways of generalising the set-theoretic notion of a sunflower. The first, used by Ihringer and Kupavskii [FFA 110 (2026) 102746], requires the petals to be in general position over the kernel; the second, used in the subspace codes literature (cf.\ Etzion--Raviv [DAM 186 (2015) 87-97], Blokhuis--De Boeck--D'haeseleer [DCC 90 (2022) 2101-2111]), requires only that the kernel equals the pairwise intersection of distinct petals. We refer to the second version as a \emph{set-like sunflower}, following Ihringer and Kupavskii.
In this note, we focus on the set-like setting. We observe that the constructions of Ihringer--Kupavskii, although correct under their (stronger) definition, do not yield set-like sunflower-free families: we exhibit explicit set-like sunflowers inside their Example~3.1. We then present a construction of set-like $s$-sunflower-free families of $k$-spaces, based on a manipulated version of the lifting construction. To our knowledge, this is the first systematic construction tailored to this setting.
Two Results on Outer-String Graphs
An \emph{outer-string representation} of a graph $G$ is an intersection representation of $G$ where vertices are represented by curves (strings) inside the unit disk and each curve has exactly one endpoint on the boundary of the unit disk (the anchor of the curve). Additionally, if each two curves are allowed to cross at most once, we call this an \emph{outer-$1$-string representation} of $G$. If we impose a cyclic ordering on the vertices of $G$ and require the cyclic order of the anchors to respect this cyclic order, such a representation is called a \emph{constrained outer-string representation}. In this paper, we present two results about graphs admitting outer-string representations.
Firstly, we show that for a bipartite graph $G$ (and, more generally, for any $\{C_3,C_5\}$-free graph $G$) with a given cyclic order of vertices, we can decide in polynomial time whether $G$ admits a constrained outer-string representation. Our algorithm follows from a characterization by a single forbidden configuration, similar to that of Biedl et al. [GD 2024] for chordal graphs. Secondly, we answer an open question from the same authors and show that determining whether a given graph admits an outer-1-string representation is NP-hard. More generally, we show that it is NP-hard to determine if a given graph $G$ admits an outer-$k$-string representation for any fixed $k\ge1$.
Feedback vertex sets of planar digraphs with fixed digirth
Let $fvs(G)$ denote the size of a minimum feedback vertex set of a digraph $G$. We study $fvs_g(n)$, which is the maximum $fvs(G)$ over all $n$-vertex planar digraphs $G$ of digirth $g$. It is known in the literature that $\lfloor\frac{n-1}{g-1}\rfloor \le fvs_g(n)$ and $fvs_3(n)\le \frac{3n}{5}$, $fvs_4(n)\le \frac{n}{2}$, $fvs_5(n)\le \frac{2n-5}{4}$ and $\lfloor\frac{n-1}{g-1}\rfloor \le fvs_g(n) \le \frac{2n-6}{g}$ for $g \ge 6$. In particular for $g \ge 6$, $\frac{1}{g-1}\le \sup_{n \ge 1} \frac{fvs_g(n)}{n} \le \frac{2}{g}$.
We improve all lower and upper bounds starting with digirth 4. Namely, we show that $fvs_g(n)\le \frac{n-2}{g-2}$ for all $g\geq 3$, by proving that the minimum feedback vertex set is at most the maximum packing of a special type of directed cycles. This last result is a planar-digraph analogue of the celebrated Lucchesi-Younger theorem and is of independent interest. On the other hand, we develop a new tool to construct planar digraphs of fixed digirth and large $fvs$ by connecting arc-disjoint directed cycles. Using it, we provide constructions of infinite families of planar digraphs of digirth $g\ge 4$ and large $fvs$. These constructions together with our upper bound show that $\frac{g+2}{g^2} \le \sup_{n \ge 1} \frac{fvs_g(n)}{n} \le \frac{1}{g-2}$ for all values $g \ge 6$, except $g =7$, for which the lower bound is different. We thus decrease the gap between the lower and the upper bound for $\sup_{n \ge 1} \frac{fvs_g(n)}{n}$ from $\frac{g-2}{g(g-1)}$ to $\frac{4}{g^2(g-2)}$. For $g = 7$ this gap goes from $\frac{5}{42}$ to $\frac{1}{55}$. For digirth 4 and 5, both improvements are by an additive constant.
Symmetric Tensor Decompositions over Finite Fields
We study the symmetric tensor rank of multiplication over finite field extensions using linearized polynomials. Via field trace, symmetric linearized polynomials are identified with symmetric bilinear forms and symmetric matrices, allowing symmetric tensor decompositions to be reformulated as spanning problems by rank-one symmetric linearized polynomials. We translate these spanning conditions into explicit linear systems over finite fields and use the Frobenius automorphism to obtain computationally effective criteria. As applications, we recover known values of the symmetric bilinear complexity for small extension degrees and obtain explicit symmetric decompositions for several parameters. We also introduce the symmetric tensor-rank of a symmetric rank-metric code and show that, for the natural one-dimensional Gabidulin code associated with finite field multiplication, this invariant coincides with the symmetric tensor rank of the multiplication map.
A stepping-up lemma for monotone paths with bounded color complexity
For positive integers $n, k, q, p$, let $A_k(n; q, p)$ be the largest integer $N$ such that there exists an edge coloring of $K_N^{(k)}$ with $q$ colors that does not contain a tight monotone path of length $n$ that consists of at most $p$ colors. In the case $p = 1$, this coincides with the ordinary Ramsey number of a tight monotone path, and it is known that $A_k(n; q, 1) = T_{k-2}(n^{Θ(q)})$, proved by Moshkovitz and Shapira. Recently, Mulrenin, Pohoata, and Zakharov showed that whenever $p > \frac{q}{2}$, an improved upper bound $A_k(n; q, p) \leq T_{k-3}(n^{O(q)})$ holds, without any accompanying lower bounds.
In this paper, we obtain the first non-trivial lower bound by developing a novel variant of the classical stepping-up lemma applicable to an Erdős--Szekeres-type problem in which one seeks a tight monotone path spanning at most $p$ colors. In particular, we show that for any fixed $p \geq 1$, there exists a constant $C_p > 0$ that only depends on $p$ such that
$$
A_{k}(n; q, p) \geq T_{\lfloor k/ C_p \rfloor}\left(n^{ω_q(1)}\right)
$$ holds for all sufficiently large $n, k, q$ compared with $p$, that is, a tower function whose height grows linearly in $k$. A key ingredient in our proof is establishing a finite analogue of the celebrated Morse--Hedlund theorem, which may be of independent interest.
The polytope of all matroids in ranks 2 and 3
We give explicit recursive constructions for the polytope of all matroids $Ω_{r,n}$ in ranks 2 and 3 for all ground set sizes. This polytope was introduced in recent work by Ferroni and Fink as a tool for checking positivity conjectures for valuative invariants. We supplement our theoretical construction by an implementation, which allows for the computation of $Ω_{2,n}$ for $n\leq 33$ and $Ω_{3,n}$ for $n\leq 10$. Further, we compute Schubert expansions for all isomorphism classes of matroids of rank $2$ up to $n = 80$, and for rank $3$ up to $n = 11$.
A study on Type-2 isomorphic circulant graphs. Part 5: Type-2 isomorphic circulant graphs of orders 48, 81, 96
This study is the $5^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10} and is a continuation of Part 4. Here, we study Type-2 isomorphic circulant graphs of $C_{48}(r_1,r_2,r_3)$, $C_{81}(r_1,r_2,r_3)$ and $C_{96}(r_1,r_2,r_3,r_4)$. We find that the total number of pairs of isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 of the forms $C_{n}(r_1,r_2,r_3)$ and $C_{n}(s_1,s_2,s_3)$ are 18 and 72 for $n$ = 48, 96, respectively and the total number of triples of isomorphic circulant graphs of Type-2 w.r.t. $m$ = 3 of the form $C_{81}(x_1,x_2,x_3)$, $C_{81}(y_1,y_2,y_3)$ and $C_{81}(z_1,z_2,z_3)$ are 27.
Learning Minimally Rigid Graphs with High Realization Counts
For minimally rigid graphs, the same edge-length data can admit multiple realizations (up to translations and rotations). Finding graphs with exceptionally many realizations is an extremal problem in rigidity theory, but exhaustive search quickly becomes infeasible due to the super-exponential growth of the number of candidate graphs and the high cost of realization-count evaluation. We propose a reinforcement-learning approach that constructs minimally rigid graphs via 0- and 1-extensions, also known as Henneberg moves. We optimize realization-count invariants using the Deep Cross-Entropy Method with a policy parameterized by a Graph Isomorphism Network encoder and a permutation-equivariant extension-level action head. Empirically, our method matches the known optima for planar realization counts and improves the best known bounds for spherical realization counts, yielding new record graphs.
Large $N$ factorization of families of tensor trace-invariants
It was recently proven that, in contrast to their matrix analogues, the moments of a real Gaussian tensor of size N do not in general factorize over their connected components in the asymptotic large N limit. While the original proof of this rather surprising result was not constructive, explicit examples of non-factorizing moments, which are expectation values of trace-invariants, have since then been discovered. We explore further aspects of this problem, with a focus on Haar-distributed (or Gaussian) complex random tensors, which are more directly relevant to quantum information. We start out by exhibiting an explicit example of non-factorizing trace-invariant, thereby filling a gap in the recent literature. We then turn to the opposite question: that of finding interesting families of trace-invariants that do in fact factorize at large N. We establish three main theorems in this regard. The first one provides a sufficient combinatorial bound ensuring large N factorization, that is also simple enough to be applicable to various cases of practical relevance. Our second main result shows that the expectation value of any compatible trace-invariant is dominated by certain tree-like combinatorial structures at large N, which we refer to as tree-like dominant pairings. Our third main theorem establishes that any trace-invariant admitting tree-like dominant pairings does actually factorize at large N. In this way, we are able to prove that various families of trace-invariants that have been previously studied in the literature do factorize at large N. We apply our findings to the theory of multipartite quantum entanglement: to any trace-invariant is associated a multipartite generalization of Rényi entanglement entropy, whose typical expectation value in the uniform random quantum state can be explicitly computed assuming large N factorization.
A note on the $t$-partite link problem of Füredi
Motivated by the Erdős--Sós bipartite link conjecture, Füredi (Oberwolfach, 2004) asked for the asymptotic maximum edge density $π_{\mathrm{link}}(t)$ of $3$-graphs in which the link graph of every vertex is $t$-partite. Goldwasser's recursive blow-up construction based on projective planes gives the lower bound $π_{\mathrm{link}}(t)\ge 1-t^{-1}-(2+o_t(1))t^{-2}$ whenever $t-1$ is a prime power. In this note, we prove the upper bound $π_{\mathrm{link}}(t)\le 1-t^{-1}-t^{-2}/12$ for every $t \ge 2$. Together with Goldwasser's construction, this determines, up to a constant factor, the correct order of the gap between $π_{\mathrm{link}}(t)$ and the trivial averaging upper bound $1-t^{-1}$ for all prime-power values of $t-1$.
In fact, our argument applies in the more general setting of $3$-graphs with no generalized daisies, equivalently, $3$-graphs in which the link graph of every vertex is $K_{t+1}$-free. We also establish an analogous upper bound for the positive $(r-1)$-codegree Turán density of generalized daisies.
Paving matroids that are not sparse paving
The Mayhew--Newman--Welsh--Whittle conjecture predicts that asymptotically almost all matroids are sparse paving. We study the gap between paving and sparse paving matroids at the logarithmic scale. Let \(p_n\) be the number of paving matroids on \([n]\), let \(sp_n\) be the number of sparse paving matroids on \([n]\), and let \(sp_{n,r}\) be the number of rank-\(r\) sparse paving matroids on \([n]\). We prove that \[
p_n-sp_n\ge sp_{n,\lfloor n/2\rfloor}^{1-o(1)}. \] Thus the paving matroids that are not sparse paving are themselves logarithmically large. The construction prescribes one hyperplane larger than the rank and then counts stable sets in an induced subgraph of a Johnson graph. We also give amplified versions obtained by varying the large hyperplane and by prescribing distance-six families of large hyperplanes.
Diagonal parity and loop toggling for symmetric matrices over $\mathbb F_2$
Let $G$ be a finite simple graph with adjacency matrix $A(G)$ over $\mathbb F_2$. The closed neighborhood matrix $A(G)+I$ is central in the theory of odd domination. Sutner proved that every graph has an odd dominating set, equivalently $\mathbf 1$ lies in the range of $A(G)+I$, and Batal proved that every such set has cardinality congruent to $\rank(A(G)+I)$ modulo $2$. We extend this parity phenomenon from closed neighborhood matrices to partially looped graph matrices $A(G)+D$, where $D$ is an arbitrary diagonal matrix over $\mathbb F_2$. Equivalently, we work with arbitrary symmetric matrices $M$ over $\mathbb F_2$ and the natural right-hand side $\diag(M)$. We include a self-contained proof, attributed by Filmus to Alon, that $\diag(M)\in\Img(M)$, and we prove that every solution of $Mx=\diag(M)$ satisfies \[ \diag(M)^\top x\equiv \rank(M)\pmod 2. \] We also give a complete rank and nullity formula for rank-one diagonal perturbations $M\mapsto M+uu^\top$, which in the graph setting describes exactly how toggling loops changes the associated solution spaces. Finally, for rooted trees with arbitrary diagonal labels, we develop a finite-state boundary recursion that counts all solutions of $M(T,\varepsilon)x=\varepsilon+αe_r$ with prescribed root value, and we derive explicit nullity formulas for complete rooted $d$-ary trees. For $d\ge2$, we also prove an eventual-periodicity theorem for complete rooted $d$-ary trees with depth-dependent eventually periodic diagonal labels.
The Poincaré Series of Coxeter Folding Subgroups
Folding subgroups give a way to realize non-simply-laced Coxeter groups as subgroups of simply-laced Coxeter groups. In this paper, we study how folding subgroups of finite and affine type are distributed length-wise by calculating the length generating function of the subgroup with respect the length of the ambient group. These generating functions have surprisingly nice formulas in terms of $q$-integers and give rise to interesting combinatorial identities on polynomials involving length statistics of both the ambient group and folding subgroup.