Showing 20 papers (Total: 82901 papers, 47900 authors in database)
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.
Relating tournaments and permutations with xrays
In a 2005 paper, Bebeacua et al. investigated the xrays of permutations, and conjectured a correspondence between binary xrays and score sequences of tournaments. In 2014, Brualdi and Fritscher conjectured a possible correspondence between score sequences of $2$-tournaments and (not necessarily binary) xrays of permutations. In this paper, we first introduce the concept of a transitive tournament decomposition of $k$-tournaments, then present a construction by which a permutation is used to build $1$- and $2$-tournaments whose score sequences agree with the xray of the permutation in the manner outlined by Bebeacua et al. and Brualdi and Fritscher. We close with an investigation of xrays with restricted terms, including binary xrays, and show that the recent conjectures by Bebeacua et al. and Brualdi and Fritscher are special cases of a more general statement, which we conjecture and for which we provide supporting evidence.
Conformability is NP-complete, even on connected regular graphs
A graph $G$ is conformable if it admits a proper $(Δ(G)+1)$-coloring in which, among the $Δ(G)+1$ color classes including the empty ones, at most $\sum_{v\in V(G)}(Δ(G)-d_G(v))$ have parity different from that of $|V(G)|$. The complexity of deciding conformability was left open in recent work, and positive results for several graph classes had suggested that the problem might be polynomial-time solvable. We settle the general problem by proving that Conformability is NP-complete. Hardness holds even for connected regular graphs $G$ of odd order with independence number $α(G)=3$ and maximum degree $Δ(G)\ge |V(G)|/2$. In particular, NP-completeness persists when every color class is forced to have the parity of the order. The reduction starts from perfect triangle packing in graphs of clique number three, regularizes the source graph while preserving the relevant triangle packings, and then takes the complement. In the complement, conformable color classes correspond to odd cliques of the regularized graph; $K_4$-freeness restricts these cliques to singletons or triangles, and the number of available colors forces exactly the required number of disjoint triangles.
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$.
Short Second Proof of the Odd-Modulus Directed Torus Hamilton Decomposition Theorem
Let $D_d(m)=\operatorname{Cay}((\mathbb Z/m\mathbb Z)^d,\{e_1,\ldots,e_d\})$, with all generators oriented positively. We give a second proof that $D_d(m)$ decomposes into $d$ directed Hamilton cycles for every $d\ge 2$ and every odd $m\ge 3$. The combinatorial core is a fixed-row-sum selection theorem for replicated supports: when each indexed support $A$ is repeated in $m$ identical rows, one can select $\lfloor |A|/2\rfloor$ entries from each row so that every column total is a unit modulo $m$. Applied to the Hamilton factors using a chosen coordinate direction, these selections prescribe the voltages in a cyclic lift that splits the direction into two. In fibre coordinates, the lifted successor is $\widehat h_j(x,z)=(h_j(x),z+\mathbf 1_{\{j\in M(x)\}})$. After one traversal of the base Hamilton cycle, the fibre return is translation by the total carry. Since this carry is a unit modulo $m$, the return is a single $m$-cycle and the lifted factor is Hamilton. The new fibres also preserve the direction-constant block structure required for the next split. Iterating from a directed $m$-cycle with $d$ parallel copies of each arc yields the desired decomposition. The proof strategy was proposed with the assistance of OpenAI GPT-5.5 Pro and formally verified in Lean 4.
The Twin-Width of Graphs of Bounded VC-Dimension
In this paper, we investigate which hereditary classes of graphs admit sub-linear (in the number of vertices) bounds on twin-width. By modifying conference graphs, we can show that split, bipartite, and co-bipartite graphs can all have linear twin-width. However, excluding an induced subgraph of each of these three types is equivalent to the class of graphs having bounded VC-dimension, as shown by Bousquet, Lagoutte, Li, Parreau and Thomassé. Graphs of bounded VC-dimension can have unbounded twin-width, but whether it can be linear was an open question. In this paper, we first present a tool for obtaining twin-width bounds in general by contracting a graph based on a partition by distinct neighbourhoods. Then, using this tool, we prove that graphs with bounded VC-dimension have twin-width at most sub-linear. We also obtain a separate, tighter upper bound for the class of interval graphs, as well as a lower bound.
Network pearls climb stairs: a new game on graphs and its optimal solution
Let $G$ be a graph, and $a$ and $b$ be integers. Suppose there are infinite number of stairs, numbering level $0$, level $1$, etc. How do you place every vertex of the graph $G$ on a level as high as possible such that a vertex placed on level $i$ should have at least $i-b$ neighbors among the vertices placed on level $i$ and above while have at least $i$ neighbors among the vertices placed on level $i-a$ and above? This new game on graphs is referred to as ``network pearls climb stairs". In this paper, we develop a more general theory, notably a correspondence between structure and dynamics, which particularly leads to the optimal solution of the game. Moreover, as $a$ and $b$ vary, the corresponding level numbers for a vertex obviously provide a structural profile (or spectrum) for the vertex the applications of which are worthy of further study.
Improved bound on symmetric differences of intersecting families
For a family $\mathcal{F}$, it is called intersecting if $F\cap F'\neq \emptyset$ for all $F,F'\in\mathcal{F}$. We use $\mathcal{SD}(\mathcal{F}) = \{F \triangle G : F, G \in \mathcal{F}\}$ to denote the family of symmetric differences of $\mathcal{F}$. In 2023, Frankl, Kiselev and Kupavskii conjectured that for any intersecting family $\mathcal{F} \subseteq \binom{[n]}{k}$ with $n > 10k$, the inequality $|\mathcal{SD}(\mathcal{F})| \le \sum_{\ell=0}^{k-1} \binom{n-1}{2\ell}$ holds. They further observed that a proof for the range $n>3k^2$ could likely be obtained via arguments similar to those in their earlier work, though no detailed derivation was given. In this paper, we establish the conjecture under the conditions $n\ge 100k\ln k$ and $k\ge 50$. We also determine the extremal families, which are precisely a certain class of stars. A concentration inequality plays a central role in the proof.
Local Complexity, Overlap Control, and Global Simplicity in Partition Graphs: A Conceptual Synthesis for G_n and K_n = Cl(G_n)
For each positive integer $n$, let $G_n$ be the partition graph whose vertices are the partitions of $n$, with adjacency defined by an elementary transfer of one unit between parts, followed by reordering. Let $K_n=\mathrm{Cl}(G_n)$ be its clique complex. Previous work revealed two apparently contrasting features of this family. Locally, the graphs $G_n$ become increasingly rich: local clique dimensions grow, degree landscapes refine, support jumps and simplex layers proliferate, and axial, rear, central, shell, and directional structures become more pronounced. Globally, however, the clique complexes remain homotopically simple: $K_n\simeq \bigvee^{b_n}S^2$, where $b_n=χ(K_n)-1$.
This paper gives a conceptual synthesis explaining why these facts are compatible. The local side is governed by ordered local transfer types, which determine local neighborhood graphs, degrees, local clique numbers, and local simplex dimensions. The global side is governed not by the largest local simplices, but by the overlap pattern of canonical full star/top simplices. These simplices form a good cover $\mathcal C_n$, giving $K_n\simeq N(\mathcal C_n)=N_n$. The nerve admits an anchor-cover and intersection-poset reduction $N_n\simeq Δ(J_n)$, with $\dimΔ(J_n)\le 2$. Thus high-dimensional local simplices occur inside contractible containers, while global topology is controlled by a low-dimensional overlap poset. Within this family, the qualitative topological problem therefore collapses to the numerical computation and interpretation of a single integer, the Euler characteristic $χ(K_n)$, equivalently the bouquet rank $b_n=χ(K_n)-1$.
On Ziegler pairs of line arrangements: from non-existence to abundance
We study Ziegler pairs of line arrangements from both numerical and homological perspectives. First, we show that for arrangements of $d<9$ lines the intersection lattice determines the exponent data considered here. Then we list six distinct Ziegler pair with $d=10$. In particular, we construct higher-degree examples with the same intersection lattice, the same minimal degree of a Jacobian relation, and the same Hilbert function of the Milnor algebra, but with different minimal graded free resolutions.
Simplex faces and quadratic toric ideals of lattice polytopes
We introduce the clique-face property for lattice polytopes and investigate its relationship with quadratic generation of toric ideals. We prove that, under a mild condition on edges, if the toric ideal of a lattice polytope is generated by quadratic binomials, then every clique of its 1-skeleton is the vertex set of a face. In particular, if the toric ideal of a $(0,1)$-polytope is generated by quadratic binomials, then every clique of its 1-skeleton is the vertex set of a face. For $(0,1)$-polytopes satisfying condition (E), we characterize this clique-face property in terms of divisibility by quadratic monomials appearing in quadratic binomials of the toric ideal; as a consequence, such toric ideals have no indispensable monomials of degree $\ge 3$. We apply these results to edge polytopes and cut polytopes, for which the clique-face property is equivalent to quadratic generation. Finally, motivated by conjectures on quadratic toric ideals, we verify the clique-face property for simple polytopes, matroid independence polytopes, and matroid base polytopes, and discuss stable set polytopes.
Homology of Vietoris-Rips complexes of hypercube graphs via group actions
The Vietoris-Rips complex of a metric space is the simplicial complex whose faces are the subsets of points with pairwise distance bounded above by a given scale $r$. In this paper, we study Vietoris-Rips complexes on the vertex set of the $n$-dimensional hypercube equipped with the Hamming distance. These complexes are stable under the action of the automorphism group of the hypercube graph, also known as the hyperoctahedral group, which therefore acts on their homology groups. Our results completely describe the decomposition of these homology groups into irreducible representations of the hyperoctahedral group at scales $r\leqslant 3$ and $r=n-1$.
New Approaches to Identities for Vacillating Tableaux
A fundamental identity for the number of vacillating tableaux was originally obtained through the representation theory of partition algebras. We extend this identity to arbitrary differential posets and show that it, together with several analogous identities, follows directly from the structural properties of differential posets. Specializing to Young's lattice and its Cartesian powers, we further obtain new bijective proofs via a simple deletion--insertion process.
Holes in Valid-Extension Sets of Finite Gilbreath Sequences
Given a finite sequence of integers, form its difference triangle by repeatedly taking absolute differences of consecutive entries. We call the sequence Gilbreath if the leftmost entry of every row below the top is 1. The Gilbreath conjecture, which remains open, asserts that every initial segment of the primes is a Gilbreath sequence.
This paper studies the local extension problem: given a Gilbreath sequence, which integers can be appended to it while preserving the Gilbreath property? We call the set of such admissible values the valid-extension set of the sequence. A previously proposed characterization in the literature predicts that this set always fills a natural parity interval around the last term. We show that this fails in general: the valid-extension set can have interior holes, with the smallest failure occurring at length 5 for the sequence (2,3,5,9,15).
The paper develops a corrected theory of valid extensions. We give an exact criterion for membership in the valid-extension set, an algorithm that computes it, and a sharp condition determining exactly when the set fills the candidate interval. This last condition is an order-sensitive analogue of the classical Brown completeness criterion for subset sums. We also establish endpoint validity and reflection symmetry, determine the exact minimum size of the valid-extension set together with its unique minimizer, exhibit a family whose valid-extension set has exponentially many components, and provide enumeration data through length 11.
A study on Type-2 isomorphic circulant graphs. Part 7: Isomorphism series, digraph and graph of $C_n(R)$
This study is the $7^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}. In this study, we define {\em isomorphic set}, {\em isomorphism series}, {\em isomorphism digraph} $\mathcal{D}$ or {\em isomorphism diagram} and {\em isomorphism graph} $\mathcal{G}$ of circulant graphs and obtain these corresponding to $C_{16}(R)$, $C_{27}(S)$ and $C_{54}(1,3,17,19)$ and present the isomorphism digraph and the isomorphism graph of $C_{432}(16, 27, 48, 54, 128, 160, 189)$ which has isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 as well as $m$ = 3. We also show that each pair of circulant graphs $C_{54}(1,3,17,19)$, $C_{54}(5,13,21,23)$; $C_{54}(7, 11, 21, 25)$, $C_{54}(7, 11, 15, 25)$; and $C_{54}(1,3,17,19)$, $C_{54}(7,11,15,25)$ are isomorphic but they are neither of Type-1 nor of Type-2 w.r.t. $m$ = 3. More such circulant graphs are given in the conclusion. We also define {\em diameter of isomorphic set} of $C_n(R)$ and {\em isomorphic distance} of $C_n(S)$ and $C_n(T)$ and obtained these values for some circulant graphs.
Randomly piercing algebraic sets
We show, for example, that if one samples \[\frac{\log p}{2\log(1+(p-1)^{-1})} \cdot n^2(1 + o_{n\to \infty}(1))\] points in $\mathbb{F}_p^n$ at random then asymptotically almost surely this set intersects every quadratic hypersurface. We furthermore show that this is tight in that sampling $o_{n\to\infty}(n^2)$ fewer points almost surely fails to intersect some quadratic hypersurface.
Our main result is a sharp threshold for the following problem: how many points in $\mathbb{F}_p^n$ does one need to randomly sample to almost surely intersect every algebraic set defined by at most $s$ polynomials each of degree at most $k$? As an application we improve lower bounds in the random Szemerédi theorem in $\mathbb{F}_p^n$, in particular obtaining a leading constant which grows as the threshold for what is considered a `dense' set in Szemerédi's theorem shrinks.
Two-colored generalized Frobenius partitions and minimal-excludant sums over bipartitions
Let $\cpsi_{2,a}(n)$ denote the number of $(2,a)$-colored Frobenius partitions of weight $n$, where the two rows have prescribed length difference. We study the two cases $a=0$ and $a=1$ and connect them with minimal-excludant statistics on bipartitions. Let $σ\mex_2(n)$ be the sum of the Lin--Liu bipartition minimal excludants over all bipartitions of $n$, and let $E_2(n)$ be the number of bipartitions whose two component minimal excludants are equal. For all $n\geq 0$, we give a combinatorial proof of \[ \cpsi_{2,0}(n)=2σ\mex_2(n) \qquad\text{and}\qquad \cpsi_{2,1}(n)=2σ\mex_2(n)-E_2(n). \] These identities give direct combinatorial interpretations of two-colored Frobenius partition functions in terms of bipartition minimal-excludant sums.
Counting triangles in graphs with no wheels of order at least five
For a family of graphs $\mathcal F$, a graph $G$ is said to be $\mathcal F$-free if it contains no member of $\mathcal F$ as a subgraph. A wheel graph $W_k$ is a graph on $k+1$ vertices formed by joining a new vertex to all vertices of a $k$-cycle. Given an integer $k\ge 3$, we consider the problem of determining the maximum number of triangles in a $W_{\geq k}$-free graph, where $W_{\geq k}=\{W_\ell: \ell \geq k\}$. The case $k=3$ was raised by Gallai, who proposed a conjecture for this case (see Erdős [5]. Gallai's conjecture was disproved by Zhou [17] and independently by Füredi, Goemans, and Kleitman [9]. In this paper, we study the case $k=4$. Namely, for every integer $n\ge 3$, we determine the maximum number of triangles in an $n$-vertex $W_{\geq 4}$-free graph and characterize all extremal graphs.
An upper bound on the largest eigenvalue of the Helmholtzian of a graph
The Helmholtzian of a graph $G$ is the Hodge $1$-Laplacian $L_1=L_1^{\mathrm{up}}+L_1^{\mathrm{down}}$ of its clique complex, built from the triangle--edge and edge--vertex boundary operators $\partial_2$ and $\partial_1$. Problem~5.5 of Lu, Shi, Stanić, Wang and Wang asks whether $λ_{\max}(L_1)=μ_1(G)$ for every graph $G$, where $μ_1(G)$ is the largest Laplacian eigenvalue; by the Hodge decomposition this is equivalent to $λ_{\max}(L_1^{\mathrm{up}})\leμ_1(G)$. We recast it as a question about the complement of $G$: localizing $L_1^{\mathrm{up}}$ on the cycle space of $K_n$ turns it into the inequality $λ_{\min}(\bar L|_{Z_1})\ge a(\overline{G})$, where $\bar L$ is the up Laplacian of the missing triangles of $G$ and $a(\overline{G})=n-μ_1(G)$ is the algebraic connectivity of the complement. From this viewpoint, we prove the unconditional bound \[ λ_{\max}\!\big(L_1^{\mathrm{up}}(G)\big)\ \le\ μ_1(G)+\frac13\big(n-μ_1(G)\big), \] which refines the integrality ceiling $λ_{\max}(L_1^{\mathrm{up}})\le n$ of Duval and Reiner and is sharp exactly when that ceiling is attained. We then isolate the single sharp inequality, on the dense part of $\overline{G}$, that stops the method short of Problem~5.5, and we show that the localization, the bound, and this obstruction all persist for the up Laplacian of an arbitrary finite simplicial complex, in every dimension.
Injectivity of symmetric polynomial maps on partitions
Introduced by Ballantine, Beck, and Merca, the elementary symmetric partition function $\mathrm{pre}_k$, defined on the set of partitions with at least $k$ parts, has been a topic of recent interest. We prove that $\mathrm{pre}_k$ is injective on the set of $m$-ary partitions for positive integers $m \ge k$, generalizing the binary $k = 2$ result of Ballantine, Beck, and Merca, and complementing a result of Hadelyn, Niergarth, Li and Li showing that, for each $k \ge 3$, $\mathrm{pre}_k$ is not injective on partitions of $n$ with length $2k$ for infinitely many $n$. We introduce the skew Schur partition function $\mathrm{prs}_{λ'/μ'}$, prove injectivity results for particular choices of $λ',μ'$, and describe an application to representation theory.