Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Multiset resolvability parameters in graphs: A survey with new results and open problems
The metric dimension, which has lots of variants and numerous applications in other fields, is one of the most important and most extensively studied topics in metric graph theory. Results in which resolvability is achieved by considering multisets of distances from a fixed vertex, instead of vectors as in the original version, are surveyed. The concepts discussed are multiset dimension, outer multiset dimension, local multiset dimension, edge multiset dimension, and $k$-multiset antidimension. Along the way, sharp lower bounds on the outer multiset dimension of diameter two graphs and join graphs with edgeless graphs are proved, which solves two open problems from the literature. New results on graphs with local multiset dimension equal to two are also proved. In particular, such graphs are characterized among block graphs. Finally, a list of open problems from the literature is compiled, and several new problems are added to the list for future research.
Dense Subset Sum in Multi-Dimension
We study the additive structure of dense subset sum in multi-dimension, and use the structure to develop efficient algorithms for the dense subset sum problem. More precisely, given a set $A$ of $n$ vectors in the $d$-dimensional hyperrectangle $[N_1]\times [N_2]\times\cdots\times [N_d]$, we study the structure of $\mathcal{S}(A)$, which is the set of all subset sums of $A$. We focus on the dense regime of the problem where $n \gg \sqrtΦ$ and $Φ= N_1 \times \cdots \times N_d$.
We show that for any constant $d\geq 1$, if $n \gg \sqrtΦ$, then $\mathcal{S}(A)$ contains a long generalized progression in multi-dimension. If we further have that no non-trivial lattice can contain the majority of $A$, then $\mathcal{S}(A)$ contains all the integer points in the zonotope $\{x_1\vec{a}_1 + \cdots + x_n\vec{a}_n: o(1)\leq x_j \leq 1-o(1), x_j \in \mathbb{R}\}$. Compared to the previous results for $d \geq 2$, our result significantly reduces the density threshold and enlarges the region inside which all the integer points belong to $\mathcal{S}(A)$. Also, it matches the bound for the 1-dimensional case.
Using our combinatorics result, we also develop an $\tilde{O}(n)$-time algorithm for the dense subset sum problem in multi-dimension.
On card guessing after an asymmetric single-shelf shuffle
We provide a definitive analysis of the number of correct guesses in the complete-feedback card guessing game after an asymmetric single-shelf shuffle with parameter $p\in (0, 1)$. We explicitly describe the optimal strategy that maximizes the expected number of correct guesses. We study the number of correct guesses, under an optimal strategy, using methods from analytic combinatorics. In addition, we find the explicit distribution for the number of correct guesses, and thus find the mean and the variance for the number of correct guesses. We show that the distribution of the number of correct guesses is log-concave. We also study the limiting behaviour of the number of correct guesses as the number of cards goes to infinity. In particular, we prove a (local) central limit theorem and a large deviation principle with an explicit rate function. We also prove phase transitions for the number of correct guesses near $p=0$ and $p=1$. Prior to this work, only the optimal strategy and the expected number of correct guesses under the optimal strategy were known for the special case of $p=1/2$.
Long Intervals Without Distinct Multiples of the First $n$ Positive Integers
For positive integers $n$ and $m$, let $f(n,m)$ be the least integer $h\ge0$ such that $(m,m+h]$ contains distinct integers $a_1,\ldots,a_n$ satisfying $i\mid a_i$ for $1\le i\le n$, and put $F(n)=\max_{m\in\mathbb{N}} f(n,m)$. A recent theorem of van Doorn [INTEGERS, 2026; arXiv:2601.16972] gives $F(n)-f(n,n)>0.36\,n\log n/\log\log n$ for sufficiently large $n$. We prove \[
\liminf_{n\to\infty}
\frac{F(n)-f(n,n)}{n\log n}
\ge \frac{1}{\mathrm{e}}. \] Thus, for every fixed $c<1/\mathrm{e}$ and all sufficiently large $n$, some interval of length $c\,n\log n$ contains no system of pairwise distinct multiples of $1,2,\ldots,n$. The proof applies an Erdős--Pomerance smooth-number obstruction at starting points $m\asymp n\log n$, using local saddle-point estimates of Hildebrand and Tenenbaum.
Decomposing time-varying data into simple pieces: structured decompositions of narratives
Graphs that change over time arise throughout applications, but there is no single standard way to decompose them into smaller pieces. In this paper, we propose a systematic categorical method for doing so. The main idea is to combine structured decompositions, which generalize graph decompositions, such as tree-decompositions, with persistent narratives, which model time-varying data as diagrams. We prove that, under suitable categorical hypotheses, any static theory of decompositions can be lifted to a corresponding temporal theory. As case studies, we apply this construction to time-varying graphs and recover natural temporal analogues of ordinary tree-width, complemented tree-width, and the tree-independence number.
Pulse Graphs: Prime-Activated Boolean Dynamics on Directed Graphs
We study synchronous Boolean dynamics on finite loopless directed graphs in which a vertex is active at the next time step exactly when its number of active in-neighbors is prime. We call these systems Pulse Graphs. Let $L(n)$ denote the largest attractor period realizable on $n$ vertices. Exhaustive enumeration gives \[ L(1),\ldots,L(5)=1,1,1,3,9. \] Our main result determines the exponential order of the maximum period: \[ 2^{n-3}-1\leq L(n)\leq2^n-1 \qquad(n\geq5). \] The lower bound is obtained by implementing a maximal-length affine feedback register using prime-count logic gates. For $n\geq6$, the construction is loopless, has maximum in-degree five, and uses only $O(n)$ edges.
For complete directed graphs, we derive an exact update formula, classify all attractors as fixed points or complement two-cycles, prove that every orbit reaches its eventual attractor within three updates, and count the attractors explicitly. We also derive the activation probability under independent random inputs. For sparse random directed graphs, the associated prime-Poisson mean-field map undergoes a nondegenerate fold at \[ c_\ast\approx3.824963, \qquad ρ_\ast\approx0.368241, \] with local bistability immediately above the threshold.
A Colorful Extension of VC-dimension and Geometric Applications
The VC-dimension is a fundamental measure of the complexity of a set system. In this paper, we introduce and study a colorful variant of VC-dimension that captures the behavior of set systems on colored ground sets.
By studying this new notion, we obtain a variety of geometric results. First, we prove that separable abstract convexity spaces with Radon number $D$ admit a Tverberg theorem with Tverberg number $O(D^2 r \log r)$. This bound significantly improves the $O(Dr^2\log r)$ bound of Alon and Smorodinsky from SODA'26 and is the first quasi-linear bound in $r$, in which the dependence on $D$ is not super-exponential. Second, we prove the first colorful $k$-wise Tverberg theorem for separable abstract convexity spaces. Using this theorem, we obtain a colorful selection lemma with $O(D^3)$ colors, an uncolored selection lemma for subsets of size $O(D^3)$, a weak $\varepsilon$-net theorem with nets of size $O_D(\varepsilon^{-O(D^3)})$, and a $(p,q)$-theorem with exponent of $\mathrm{poly}(D)$. All these quantitative bounds are significantly better than the best previously known general bounds for abstract convexity spaces. Finally, we extend our method to obtain a colorful Tverberg theorem for unions of convex sets, generalizing the uncolored theorem of Alon and Smorodinsky (SODA'26).
On regular homogeneously traceable nonhamiltonian graphs
A graph is homogeneously traceable if each vertex is an endpoint of a Hamiltonian path. Chartrand, Gould, and Kapoor (1979) proved irregular homogeneously traceable nonhamiltonian graphs exist for every order $n\ge 9$. Hu and Zhan (DAM, 2022) considered the $3$-regular and $4$-regular cases and asked which order $n$ can be realized by a $k$-regular homogeneously traceable nonhamiltonian graph. Recently, Liu and Qiao (DAM, 2026) showed that $n=p(k-1)+q\ge 6(k-1)+q$ can be realized if $k\ge 5$ is odd and $q\in\{0,2,4,6\}$, or $k\ge 6$ is even and $q\in\{0,1,...,6\}$. In this paper, we show that for any $k\ge 6$ and $n\ge 6(k-2)$, there exists a $k$-regular homogeneously traceable nonhamiltonian graph of order $n$.
The complete cubic Walsh spectrum of a permutation-inverse Boolean family
Let $q=2^e$ with $e\ge2$ even, put $d=(q^2+q+1)/3$, and let $σ(X)=X+X^d+X^{dq}$ be the permutation of $\mathbb F_{q^2}$ introduced by Ding, Qu, Wang, Yuan, and Yuan. For $α\in\mathbb F_q^*$, define the Boolean function \[ f_α(x)=\operatorname{Tr}_{q^2}\bigl(α(σ^{-1}(x))^3\bigr), \qquad x\in\mathbb F_{q^2}. \] In this paper, we determine the complete Walsh distribution of $f_α$ in the remaining cubic case $α\in(\mathbb F_q^*)^3$. More precisely, these functions are not bent but are $2$-plateaued: their Walsh values are precisely $0$ and $\pm 2q$, with exact multiplicities. The main new tool is a completion method for the outside Walsh coefficients: the punctured Fourier transform arising from the outside reduction is filled on the missing line, a modification invisible to outside frequencies, and the completed function is then identified with a Boolean component of a Kasami APN monomial. The APN property supplies a fourth-moment identity which, together with the known subfield spectrum and a Hasse divisibility congruence, forces the pointwise cubic spectrum.
New bounds for double covers of the discrete box {0,1,2}^d
A proper sub-box of $A=\{0,1,2\}^d$ is a product $S_1\times\dots\times S_d$ with each $\varnothing\neq S_i\subsetneq\{0,1,2\}$. A double cover is a finite multiset of proper sub-boxes covering every point of $A$ exactly twice; write $f(d)$ for the minimum size of a double cover. Leader, Milicevic and Tan asked whether $f(d)\ge 2^d$ for all $d$ (Question 4.1 of the PatternBoost paper of Charton-Ellenberg-Wagner-Williamson), analogous to the Alon-Bohman-Holzman-Kleitman partition bound $2^d$. No better than the trivial volume bound was previously known, for any $d\ge 2$.
We prove the first nontrivial lower bounds. A modular refinement of the parity argument gives $f(d)\ge 2^{d+1}/(d+1)$; a slicing argument gives $f(4)\ge 19$, $f(5)\ge 33$, both above $2^d$, resolving the question for $d=4,5$ -- the first cases beyond the trivially known $d\le 3$. A finer "line rigidity" argument yields $f(6)\ge 60$, breaking the profile-statistic barrier (capped at $57$, shown here). This is formally verified in Lean 4: $f(6)\ge 60$ is machine-checked on the three standard Mathlib axioms alone.
On the upper-bound side, a dimension-lifting construction $f(r+3)\le 6\cdot 2^r+3f(r)$ gives $f(6)\le 81$ (improving the known $82$) and $f(d)\le(\tfrac65+o(1))2^d$ asymptotically; a refinement improves the constant to $\tfrac87$. This makes partial progress on PatternBoost's problem of reducing their constant $1.28$, and refutes the closed-form guess $f(d)=5\cdot 2^{d-2}+1$ from $d=7$ on. Together, $60\le f(6)\le 81$. Finally we isolate the construction-side obstruction -- an "S+c=2^j+1" phenomenon, every skeleton sitting exactly one box past the partition bound -- and show it is of a piece with the Leader-Milicevic-Tan question itself.
Three Results on Generalized Quasikernels in Digraphs
A $q$-kernel of a digraph $D$ is an independent set $Q\subseteq D$ such that every vertex of $D$ is reachable from $Q$ by a directed path of length at most $q$, which is a natural generalization of kernels and quasikernels. In this paper, we establish three results on generalized quasikernels. Firstly, we prove that any $n$-vertex source-free bipartite oriented graph with no directed 4-cycles has a quasikernel of size at most $17n/35$. Secondly, we show that every digraph with no $(r-1)$-source set contains $r$ pairwise disjoint $(3r-2)$-kernels, where $r\ge 2$. At last, we consider unicyclic digraph with a directed cycle of length $2\ell$ and bipartition $U\cup V$, and we prove that for every odd integer $q\ge 3$, there exist two $q$-kernels $Q_U\subseteq U$ and $Q_V\subseteq V$ such that \[ |Q_U|+|Q_V| \le 2\cdot \frac{\lceil \ell/(q+1)\rceil}{\ell} |V(D)|. \] These results confirm two conjectures and give an affirmative answer to a question posed by Spiro in European Journal of Combinatorics 133 (2026), 104307.
A Single-Exponential Erdős--Hajnal Bound for Graphs of Bounded VC-Dimension
A homogeneous set in a graph is a clique or a stable set. The Erdős--Hajnal conjecture states that, for every graph $H$, there exists $c>0$ such that every $H$-free graph on $n$ vertices has a homogeneous set of size at least $n^c$. Nguyen, Scott and Seymour proved that for every $d>0$, graphs of VC-dimension at most $d$ have the Erdős--Hajnal property, confirming a conjecture of Fox, Pach and Suk. In particular, they showed that every such $n$-vertex graph contains a homogeneous set of size at least $n^{η_d}$ for some $η_d\ge 2^{-2^{O(d)}}$. In this paper, we give a sharper quantitative bound on the homogeneous sets in graphs of VC-dimension at most $d$, showing that one may take $
η_d\ge (Cd)^{-d}, $
where $C$ is an absolute constant. Equivalently, every graph $G$ of VC-dimension at most $d$ satisfies \[
\max\{ω(G),α(G)\}\ge |G|^{(Cd)^{-d}}. \] Our proof refines the iterative sparsification method of Nguyen, Scott and Seymour. The main enhancement is to apply the VC-dimension assumption directly, which gives a more efficient induction and thus improves the dependence on $d$. We also derive quantitative consequences for polynomial Rödl subgraphs, hypergraph Ramsey bounds under bounded VC-dimension, induced-free and viral formulations, tournaments, NIP and semi-algebraic graphs, Boolean combinations of relations of bounded VC-dimension, graphs whose adjacency matrices have bounded rank, graphs of bounded sign-rank, and graphs defined by dot-product threshold representations.
Quartic Fourier-Laplace limits for $(p,q)$-Rogers-Szegő polynomials
We prove asymptotic formulae for positive real $(p,q)$-Rogers-Szegő polynomials when the quadratic term in the expansion about the middle coefficient vanishes. For coefficient indices whose distance from $n/2$ is of order $n^{3/4}$, the coefficient ratios have a quadratic-quartic exponential limit. A uniform bound valid for all indices allows the ratios to be summed and gives locally uniform convergence of the centred generating polynomials to a Fourier--Laplace integral. We also obtain an asymptotic formula for the sum of the coefficients, convergence of all rescaled moments, weak convergence of the normalised coefficient measures, and convergence with multiplicity of the zeros tending to $w=1$.
The Young Tableaux Hopf algebra and multiple Schur series
In this paper, we introduce multiple Schur series, which are defined by Schur-type sums over semi-standard Young tableaux and generalize both Schur multiple zeta values and multiple Eisenstein series. To study their algebraic structure, we construct a connected, commutative, graded Hopf algebra of Young tableaux and identify its linearized quotient with the quasi-shuffle algebra. Within this Hopf algebra and its quotient, we establish several relations, including a hook formula and the Jacobi--Trudi formula. Furthermore, we relate this Hopf algebra to the ring of symmetric functions, which yields polynomial reduction formulas for tableaux with constant entries. As applications, we recover Schur multiple zeta values, introduce Schur multiple Eisenstein series together with a $q$-analogue of Schur multiple zeta values, and discuss their (quasi)modularity.
Gårding's Theorem for Posynomials
We extend Gårding's theorem to homogeneous posynomials: if a finite positive sum of monomials with arbitrary nonnegative real exponents is zero-free on a product of right half-planes, then its degree-normalized root is concave. Consequently, zero-freeness in a sector of aperture $απ$ implies $α$-fractional log-concavity. This sharpens generic mixing and domain-sparsification guarantees for fixed-size matchings and nonsymmetric determinantal point processes. The result was developed in an AI-assisted interaction initiated and checked by the author; Codex also assisted with assembling and typesetting the manuscript.
On the codegree Turán density of projective geometries
Let $F$ be a $k$-uniform hypergraph, abbreviated as $k$-graph. The codegree Turán density $γ(F)$ is the supremum over all $γ\in [0,1)$ such that, for arbitrarily large $n$, there exists an $n$-vertex $F$-free $k$-graph $H$ whose every $(k-1)$-subset of vertices lies in at least $γn$ edges. Let $PG_m(q)$ be the projective geometry of dimension $m$ over finite field $\mathbb{F}_q$. In this paper, we prove that $γ(PG_m(q)) \ge \frac{1}{p}> 0$ for all $m$ and $q$, where $p$ is the smallest prime divisor of $q+1$. This resolves an open problem proposed by Keevash and Zhao (JCT-B, 2007). Moreover, we determine the exact codegree Turán density of $PG_4(q)$ when $q$ is an odd prime power.
On the codegree threshold for Hamilton $\ell$-cycles in $k$-uniform hypergraphs
In this note, we resolve the remaining open case of a conjecture by Han and Zhao concerning the codegree threshold for Hamilton $\ell$-cycles in $k$-uniform hypergraphs. Specifically, we prove that for integers $k\ge 3$, $3k/4\le \ell<k$, with $k\not\equiv 0 \pmod{k-\ell}$, and for all sufficiently large $n$ divisible by $k-\ell$, every $n$-vertex $k$-uniform hypergraph $H$ satisfying \[ δ_{k-1}(H)\ge \frac{n}{(k-\ell)\left\lceil \frac{k}{k-\ell}\right\rceil} \] contains a Hamilton $\ell$-cycle. Our proof builds on the framework of Gan, Han and Xu, and refines their argument to obtain, at the exact threshold, the required family of paths.
Deformations and second-order rigidity of polytopes
We study deformations of polytopes that preserve edge lengths and face coplanarities. This gives rise to a notion of rigidity, for which we develop a second-order theory together with an effective algorithm for testing second-order rigidity symbolically. The strength of these new tools is demonstrated on several polytope classes, including the previously intractable regular dodecahedron, which we find to be rigid. We also find that a single tested polytope evades our techniques and will therefore provide a simple test case for future developments of tools of even higher order.
This paper also contains a study of so-called edge-length perturbations. We point out connections between rigidity and the ability to realize polytopes with slightly perturbed edge lengths. To explore these connections in practice, we dedicate a section to another case study of the regular dodecahedron. We investigate the local behavior of its realization space with a view towards edge-length perturbations, singularities and generic global rigidity.
Hamiltonicity of Cartesian products of trees with odd paths
A $\{P_2,P_3\}$-factor in a graph $G$ is a factor of $G$ in which every component is a path on two or three vertices. Let $T\Box P_n$ be the Cartesian product of a tree $T$ and a path on $n$ vertices. Kao and Weng proved that $T\Box P_n$ is hamiltonian if $T$ has a path factor and $n$ is a sufficiently large even integer. In this article we prove that, for every odd $n$, there exists a tree $T$ of maximum degree 4 that has a $\{P_2,P_3\}$-factor such that $T\Box P_n$ is not hamiltonian, thereby refuting a conjecture by Kao and Weng.
Vertex-transitive closures of graphs
A vertex-transitive closure of $Γ$ is a vertex-transitive supergraph of $Γ$ on the same vertex set. The vertex-transitive number of a graph $Γ$, denoted by $d_{vt}(Γ)$, is the smallest integer for which there exists a $d_{vt}(Γ)$-regular vertex-transitive closure of $Γ$. In this paper we use various algebraic and combinatorial methods to study vertex-transitive closures of graphs and the associated vertex-transitive number.