Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Inequalities among higher-order difference sets, or, remarks on a construction of Ruzsa
Extending a little-known construction of Ruzsa, we characterize the quadruples $(s,t,u,v)$ of nonnegative integers such that the inequality $|sA-tA| \leq |uA-vA|$ holds for all finite sets $A \subseteq \mathbb{Z}$
Proof of the Density Threshold Conjecture for Pinwheel Scheduling
In the pinwheel scheduling problem, each task $i$ is associated with a positive integer $a_i$ called its period, and we want to (perpetually) schedule one task per day so that each task $i$ is performed at least once every $a_i$ days. An obvious necessary condition for schedulability is that the density, defined as the sum of execution rates $1/a_i$, does not exceed $1$. We prove that all instances with density not exceeding $5/6$ are schedulable, as was conjectured by Chan and Chin in 1993. Like some of the known partial progress towards the conjecture, our proof involves computer search for schedules for a large but finite set of instances. A key idea in our reduction to these finite cases is to generalize the problem to fractional (non-integer) periods in an appropriate way. As byproducts of our ideas, we obtain a simple proof that every instance with two distinct periods and density at most $1$ is schedulable, as well as a fast algorithm for the bamboo garden trimming problem with approximation ratio $4/3$.
Maker-Breaker Sabotage Game
The Maker-Breaker sabotage game is played on a graph $G$ by Runner and Blocker. They play in turns, Runner first moves along a not yet traversed edge from her current position, afterwards Blocker removes one edge. The goal of Runner is to visit as many vertices of $G$ as possible, Blocker's goal is opposite. Assuming that both players use optimal strategies, the number of vertices visited by Runner determines an invariant called the sabotage number ${\rm sab}(G)$ of $G$. A formula for the sabotage number of an arbitrary tree is proved which can be evaluated in polynomial time. For a unicyclic graph $G$ it is proved that ${\rm sab}(G)\in \{{\rm sab}^-(G), {\rm sab}^-(G)+1\}$, where ${\rm sab}^-(G)$ is the lower sabotage number of $G$. The sabotage number of a bridgeless subcubic graph is sharply bounded from the above by the maximum girth. The sabotage number is also bounded for complete bipartite graphs and generalized Sierpiński graphs, and determined exactly in some special cases.
Exploring the world of edge-chromatic 3-critical graphs
A graph $G$ with maximum degree $Δ$ is $Δ$-critical if it is connected, satisfies $χ'(G)=Δ+1$, and the deletion of any edge reduces its chromatic index to $Δ$. A $Δ$-critical graph $G$ is called nontrivial if it contains no $Δ$-overfull subgraph; that is, no $H \subseteq G$ such that $|E(H)| > Δ\lfloor |V(H)| /2 \rfloor$. There are no $1$-critical graphs, and the $2$-critical graphs are exactly the odd cycles. By work of Chetwynd and Yap from 1983, there is a unique nontrivial $3$-critical graph of order $9$, and exactly two nontrivial $3$-critical graphs of order $11$. In 2005, Bokal, Brinkmann, and Grünewald showed that there are exactly fourteen nontrivial $3$-critical graphs of order $13$. For even orders, Brinkmann and Steffen proved in 1997 that no $3$-critical graphs of even order exist below order $22$, there is exactly one 3-critical graph of order $22$, and that there are exactly nine $3$-critical graphs of order $24$.
To the best of our knowledge, there has been no further progress on the existence of nontrivial $3$-critical graphs of odd orders beyond the cases established two decades ago. In this paper, using computer-assisted search techniques, we determine the exact numbers of nontrivial $3$-critical graphs of odd orders from $15$ to $21$. The same data pipeline also reproduces the known order-$22$ count of Brinkmann and Steffen, with one nontrivial $3$-critical graph. Beyond enumeration, we prove a characterization theorem for all nontrivial 3-critical graphs, with one case based on snarks. We also provide an analysis of our search algorithm.
Hypercups: Flipping Cups With More Than Two Sides
In their 2010 article entitled ``How to invert $n$ cups $m$ at a time" in Mathematics Today, Man-Keung Siu and Ian Stewart extend a classic trick in which $3$ cups are flipped $2$ at a time to any number of cups, flipped any number at a time. Here, we generalize another feature of the problem. A typical cup in our universe, as far as we know, has two ``sides", right side up and upside down. But what if the cup had $k$ ``sides" with $k\ge 2$? We call these $k-$hypercups. The classic trick depends on parity. In this article, we show the analogous hypercups trick depends on greatest common divisors. We generalize all of Siu and Stewart's results to $k-$hypercups. Our results imply the known results for $2-$hypercups, also known as cups.
Counting equitable $k$-colorings in graphs of bounded clique-width
For a graph $G$, a proper $k$-coloring of $G$ is \emph{equitable} if the sizes of any two color classes differ by at most one. The \textsc{Equitable $k$-Coloring} problem asks, for a given graph $G$ and integer $k$, whether $G$ admits an equitable $k$-coloring. Bodlaender and Fomin showed that it is polynomial-time solvable on graphs of bounded treewidth, while it remains $\NP$-hard on cographs, and thus on graphs of constant clique-width. Fellows et al. showed that the problem becomes $\mathsf{W[1]}$-hard when parameterized by tree-width (and hence clique-width) plus the number of colors~$k$. We first show that, for every fixed $k$, counting equitable $k$-colorings is polynomial-time solvable on graph classes of bounded clique-width, given a clique-width expression. We then show that, under $\mathsf{SETH}$, the dependence on clique-width in this algorithm is essentially optimal. As a consequence, our results provide a fairly tight picture of the complexity of \textsc{Equitable $k$-Coloring} with respect to the combined parameter $k$+clique-width. Second, we refine our clique-width algorithm for the linear setting. We show that there exists an algorithm, given an integer $k\ge 1$ and an $n$-vertex graph $G$ together with a linear $w$-expression constructing $G$, computes the number of equitable $k$-colorings of $G$ in time $\max\{1,2^k-2\}^w\cdot n^{k+O(1)}$. Third, we consider a different structural restriction, namely the class of $P_t$-free graphs. A graph is called $P_t$-free if it does not contain the path on $t$ vertices as an induced subgraph. This is a different setting from bounded clique-width; in particular, already $P_5$-free graphs have unbounded clique-width. Nevertheless, we show that for every $P_t$-free graph $G$, the number of equitable list $3$-colorings of $G$ can be computed in subexponential time.
Signed Total Roman Domination and Domatic Numbers: Degree Three and Complete Multipartite Graphs
Signed total Roman domination is a variant of the classic Roman domination-problem in graphs. A signed total Roman dominating function (STRD function) on a graph $G=(V,E)$ is a function $f: V \to \{-1,1,2\}$ such that (i) $\sum_{u \in N(v)} f(u) \geq 1$ for all $v \in V$, where $N(v)$ denotes the neighborhood of $v$, and (ii) every vertex $v$ with $f(v) = -1$ is adjacent to a vertex $u$ with $f(u) = 2$. The weight of $f$ is $\sum_{v \in V} f(v)$. The signed total Roman domination number of $G$ is the minimum weight among all its STRD functions. A signed total Roman dominating family (STRD family) on $G$ is a family $\{f_1, \ldots, f_d\}$ of pairwise distinct STRD functions such that $\sum_{i=1}^{d} f_i(v) \leq 1$ for all $v \in V$. The signed total Roman domatic number of $G$ is the maximum size among all its STRD families.
In this paper, we relate the signed total Roman domination number of a cubic graph to its open packing number, 2-tuple total domination number, and signed total domination number, allowing us to derive sharp bounds on the first invariant and to establish new $\mathcal{NP}$-completeness results for all four invariants. We demonstrate that having a degree-3 vertex determines a graph's signed total Roman domatic number. Combined with known results this implies that the associated decision problem is easy for graphs with maximum degree at most three and $\mathcal{NP}$-complete otherwise. To contrast these general hardness results, we determine signed total Roman domination and domatic numbers in complete multipartite graphs. Despite their simple structure, this is a non-trivial task.
On some components of $L(ρ)\otimes L(ρ)$ associated with rooted trees for symmetrizable Kac-Moody algebras
Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra over $\mathbb{C}$ and let $L(ρ)$ be the irreducible integrable $\mathfrak{g}$-module with highest weight $ρ$. Let $I$ be a subgraph of the Dynkin diagram of $\mathfrak{g}$ which has only simple bonds and no cycle of length $\geq 3$. For every subset $D$ of $I$, denote by $β_D$ the sum of the simple roots corresponding to $D$. To every $D \subset I$ such that $λ_{D,I} = 2ρ- β_I - β_D$ is dominant, we associate certain elements $π_{D,I}$ of weight $λ_{D,I} {-} ρ$ in the crystal $B(ρ)$, which depend on the choice of a root vertex in each connected component of $I$. Then we prove that our elements are $ρ$-dominant
elements of $B(ρ)$, hence provide new families of components
of the tensor product $L(ρ)\otimes L(ρ)$.
On $R$-sequenceability of odd ordered groups
We study the $R$-sequenceability of finite groups of odd order. Building on the classical theory of $R^*$-sequences and orthomorphisms, we explore two tools: the notion of $R^{**}$-sequenceability, a strengthening of $R^*$-sequenceability tailored for inductive arguments over normal subgroups with cyclic quotients, and the \textit{odd cycle index} $τ(G)$, which measures how many orthomorphisms are required to generate a full cycle together with an involution. Our main result is a Quotient-Normal Gadget theorem, which shows that if $G$ has a normal subgroup $N$ such that $G/N$ is $R^{**}$-sequenceable and $τ(N) \leq |G/N| - 3$, then $G$ itself is $R^{**}$-sequenceable. We prove that $τ(G) = 2$ for cyclic groups of order coprime with $3$, and establish an inductive bound $τ(G) \leq \max\{τ(N), τ(G/N)\}$ for odd ordered groups with a normal subgroup $N$. As consequences, we show that every group whose order is coprime with $30$ is $R$-sequenceable, and that every nilpotent group whose order is coprime with $6$ and not a power of $5$ is $R$-sequenceable. These results extend prior work on abelian groups to broad families of non-abelian groups.
Linear Spaces over Perfect Idylls
We construct a category of vector space-like objects called linear spaces over perfect idylls $k$ (an algebraic structure generalizing fields and hyperfields), which is a specialization of modules over $k$. Previous authors have noted that naive linear algebra in the product $k^n$ fails because linear independence does not satisfy matroid independence axioms. We give a sufficient axiom so that linear independence in $k$-linear spaces does satisfy matroid independence axioms. We also examine basic categorical properties of $k$-linear spaces. In particular, the category of $k$-linear spaces has no products, explaining the failure of naive linear algebra in $k^n$. Furthermore, we explore the categorical relationship between linear spaces over a perfect idyll, ordinary matroids, and matroids over a perfect idyll, connecting the existing theories of matroids and modules.
On the homology groups of clique complexes of strongly regular graphs
In this paper, we study the first homology groups of clique complexes of strongly regular graphs over arbitrary fields and prove that most of these graphs have trivial first clique homology groups. Using Neumaier's classification of strongly regular graphs with smallest integral eigenvalue, we show that a non-vanishing first homology group may occur only in a short collection of cases: the Petersen graph, the Shrikhande graph, the complete bipartite graphs, the conference graphs on at most $255$ vertices, the lattice graphs, and the exceptional families $E_m$ in Neumaier's classification of strongly regular graphs with smallest adjacency eigenvalue $-m$, for some integer $m \geq 3$. Let $\text{Cl}(G)$ denote the clique complex of a graph $G$, $H_i(\text{Cl}(G),\mathbb{F})$ be the $i$-th homology group of $\text{Cl}(G)$ over the field $\mathbb{F}$, for some $i\geq 1$, and $λ_{min}(G)$ denote the smallest eigenvalue of the adjacency matrix of $G$. We prove that if $(G_n)_{n\geq 1}$ is an infinite family of pairwise distinct strongly regular graphs and $(\mathbb{F}_n)_{n\geq 1}$ is a sequence of fields such that $H_1(\text{Cl}(G_n), \mathbb{F}_n)\not=0$ for every $n$, then either $G_n$ is a lattice graph for infinitely many $n$, or $\lim_{n\rightarrow +\infty} λ_{\min}(G_n)=-\infty$.
For Latin square graphs, we determine the clique homologies over arbitrary fields and show that if $G$ is the strongly regular graph associated with a Latin square $M$ of order $n \geq 5$ and $\mathbb{F}$ is any field, then $H_i(\text{Cl}(G),\mathbb{F})=0$ for $i=1$ or $i \geq 3$, and $\dim H_2(\text{Cl}(G),\mathbb{F})=(n-1)^3-I(M),$ where $I(M)$ is the number of $2 \times 2$ Latin subsquares or intercalates in $M$.
Congruent copies of finite patterns in planar point sets
Given a finite nonempty planar point set $S$, what is the maximum number of congruent copies of $S$ contained in a set of $n$ points in the Euclidean plane? Building on OpenAI's recent breakthrough on the unit distance problem, we construct planar sets consisting of $n$ points that contain $Ω_S(n^{1+δ_S})$ congruent copies of $S$, for some positive constant $δ_S$ depending only on $S$. This answers a question of Brass and Pach in a strong form, and makes progress on questions posed by Erdős and Purdy, and Ábrego and Fernández-Merchant. Our proof uses the number field construction from Sawin's quantitative refinement of OpenAI's result and consequently yields an explicit choice for $δ_S$ for each fixed $S$.
Typical distances in high-genus triangulations
We study the distance between two uniformly chosen points on a uniform random triangulation whose genus g is proportional to the number of faces 2n. We show that the distance rescaled by log(n) converges in probability to a deterministic constant, which answers a conjecture of Budzinski, Chapuy and Louf. The proof relies on the precise study of the volume growth of the ball of radius r for r of order log(n). The main ingredients are the recent local convergence results for uniform triangulations with boundaries and the isoperimetric inequalities obtained by Budzinski and Louf.
A lifting theorem for generalized Turán numbers of triangles
For graphs $H$ and $F$, the generalized Turán number $\operatorname{ex}(n,H,F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. We prove a general lifting principle for the case $H=K_3$ and the forbidden graph is a vertex-disjoint union of several copies of a graph. The key hypothesis is a local neighborhood-forcing condition: there is a graph $R$ with $\operatorname{ex}(n,R)=o(n^2)$ such that $F\subseteq K_1\nabla R$. Under this condition, the corresponding single-forbidden-graph asymptotics, together with a construction attaining the relevant extremal triangle and edge densities simultaneously, lift to an asymptotic value for \(\operatorname{ex}(n,K_3,(s+1)F)\) for every integer \(s \). We also prove an exact version in terms of the maximum value of a weighted expression over all graphs of a given size that avoid the forbidden graph. As applications, we obtain exact or asymptotic results for disjoint unions of suspensions of paths and stars. We also recover known exact results for disjoint odd cycles.
On Boolean polynomials and the Union-Closed Conjecture
For a set of $m$ subsets of a universe set of size $n$, we construct a Boolean polynomial $\mathrm{ICC}_{m,n}(X)$ such that the Union-Closed Conjecture is true for this $m$ and $n$ if and only if $\mathrm{ICC}_{m,n}(X)$ is the zero Boolean polynomial. We use an equivalent formulation, called the Intersection-Closed Conjecture.
Graph Isomorphism and Representation Theory
We introduce an approach to distinguishing isomorphism types of graphs based on vector spaces of polynomials that are set-wise invariant under permutations ("separating modules," which are representations of the symmetric group), inspired by the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001). We characterize the power of this method for distinguishing non-isomorphic graphs under several different complexity measures:
- We show that separating modules of "support-degree" $k$ (each monomial touches at most $k$ vertices) are equivalent to the counts of $O(k)$-vertex subgraphs. This is strictly weaker than $O(k)$-dimensional Weisfeiler--Leman (Fürer, ICALP '01).
- We show that separating modules of symmetric circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-WL. This generalizes and strengthens a result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025): they proved one direction of this equivalence for invariant polynomials; we generalize to separating modules and prove both directions.
- When considering only the multiplicities of separating modules (as was proposed in GCT by Mulmuley & Sohoni, ibid., rather than the polynomials themselves), we show that two graphs are separated by multiplicities if and only if their automorphism groups have different cycle indices.
The latter result is notable in the analogy with GCT, as it is the only result we are aware of in which the multiplicity approach to separating isomorphism types of objects has been given an "intrinsic" characterization in terms of the objects themselves. We use this to show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect invariant polynomials to the Graph Reconstruction Conjectures and Forman's "invariants of finite type" (Adv. Math., 2004).
Bounded Treewidth and Complete Monotonicity for Scott-Sokal Spanning-Tree Polynomials
Scott and Sokal asked for a structural description of the finite graphs \(G\) for which inverse powers \(T_G^{-β}\) of the spanning-tree polynomial are completely monotone. We prove the following bounded-treewidth criterion: if \(G\) is a finite connected simple graph with \(\operatorname{tw}(G)\le k\), then \(T_G^{-β}\) is completely monotone for every \(β>(k-1)/2\). Consequently, every partial \(3\)-tree is covered throughout the first Scott--Sokal open interval \(1<β<3/2\), including finite Apollonian networks, \(K_5-e\), and the four-spoke wheel \(W_4\). The proof combines the real Riesz/Wishart integral for determinants, star--mesh elimination of simplicial vertices, and a Gaussian Laplace kernel for the degree-\(d\) star. General bounded-treewidth graphs follow by chordal completion and monotone deletion of completion edges.
Polar Degrees of Matroids
We show that the polar degrees of the coordinate-wise inverse of a linear subspace $L \subseteq \mathbb{P}^n$ are given by the coefficients of a substitution of the reduced characteristic polynomial of the associated matroid $\mathrm{M}(L)$. Our proof connects the geometry of conormal varieties of reciprocal linear spaces to the combinatorial conormal fan of $\mathrm{M}(L)$. As a corollary, we settle two open conjectures regarding matroid discriminants.
Distances in Planar Integral Point Sets
We show that very small distances in a planar integral point set are essentially one-dimensional. Let P be a non-collinear set of n points in the plane, all of whose pairwise distances are integers. We prove that, for a sufficiently small $c>0$, at most one pair of points can determine a distance below $n^{c\log\log{n}}$ unless all such short pairs are supported on a single line. We also give a construction showing that the line-supported alternative is necessary: there are arbitrarily large non-collinear integral point sets with one off-line point and with the first two distinct distances 2 and 4. We conjecture that in the general case (no three points are collinear) even the smallest distance should be large, at least $n^{c\log\log{n}}$, however we can prove a linear lower bound only.
Embedding Equitable Rectangles
Completing partial Latin squares is NP-complete. Ryser characterized precisely when an $r\times s$ Latin rectangle can be completed to an $n\times n$ Latin square. We extend this theorem to a broader setting. Let $M$ be an $n\times n$ array whose top-left $r\times s$ subarray is filled with symbols from $\{1,2,\dots,k\}$, where $1\leq k\leq n^2$. We determine necessary and sufficient conditions under which the remaining cells of $M$ can be filled so that each symbol $\ell\in\{1,2,\dots,k\}$ appears exactly $ρ_\ell$ times in total, while the numbers of occurrences of each symbol in any two rows and in any two columns differ by at most one.
Equivalently, our result characterizes when a partial edge-coloring of $K_{r,s}$ can be extended to an edge-coloring of $K_{n,n}$ in which each color class is spanning and almost regular, with prescribed color-class sizes. In this sense, our theorem generalizes Baranyai's construction of almost-regular colorings of complete uniform multipartite hypergraphs, restricted to the bipartite case.
Our theorem unifies and generalizes several classical results. When $s=k=ρ_1=\cdots=ρ_k=n$, it reduces to Hall's theorem, and when $k=ρ_1=\cdots=ρ_k=n$, it yields Ryser's completion theorem for Latin rectangles. Additional special cases recover results of Goldwasser, Hilton, Hoffman, and Özkan, as well as a theorem of Bahmanian. Thus, our work may be viewed as a common generalization of these completion theorems and Baranyai's theorem.