Showing 20 papers (Total: 82851 papers, 47869 authors in database)
New Snake-in-the-Box Records via Snakepit Surgery and Learned Construction
The snake-in-the-box problem asks for a longest induced path in the hypercube graph $Q_n$. We find a length-191 snake in dimension $n=9$, the lowest dimension where the maximum is unknown, improving the previous record of 190 that had stood for 14 years. We also establish new lower bounds in dimensions 10-13. To find these records, we introduce snakepits, collections of disjoint snakes, to expand the search space and open new routes between snakes. This motivates our new Snakepit-in-the-Box benchmark, which seeks maximal edge counts when allowing multiple components. Finally, we introduce Beam Anchor, a search-supervised learned constructor algorithm that finds 100 inequivalent length-190 snakes in dimension 9.
Measuring Structure in Graph Benchmark Datasets Using Graph Invariants
Progress in graph learning is hindered by benchmark practices that conflate the contributions of node features and graph structure, making it hard to tell whether a model actually learns from the graph, or whether it even needs to. We propose measuring this using graph invariants, i.e., permutation-invariant, task-agnostic structural descriptors. Our analysis on datasets substantiates three tacit assumptions in graph learning, namely that (i) a curated subset of invariants is more expressive than standard GNNs, (ii) benchmark datasets exhibit structural heterogeneity even when originating from the same domain, and (iii) simple models are often competitive with, and sometimes exceed, approaches based on transformers or message passing. We thus posit that graph invariants should become a standard tool for measuring graph learning task complexity and the relevance of graph structure.
A power series expansion of the Wilf function
In this work, the author employs the Faà di Bruno formula, identities for the partial Bell polynomials, two combinatorial identities, and the (logarithmically) complete monotonicity of generating functions for several integer sequences, together with the Wronski theorem, to investigate a collection of analytic and combinatorial structures. The study establishes Taylor series expansions for various functions involving the inverse (hyperbolic) tangent function and derives the Maclaurin expansion of the Wilf function, a composite of the inverse tangent, square root, and exponential functions. The coefficients in this expansion are expressed in terms of Stirling numbers of the second kind, and their generating functions, limits, positivity, monotonicity, and logarithmic convexity are analyzed. The paper further presents closed-form formulas for special values of the Gauss hypergeometric function and for certain partial Bell polynomials, along with several infinite series representations of the circular constant and related sequences. An asymptotic rational approximation to the circular constant is recovered, and connections among several integer sequences are established via determinants.
Online Matching and Contention Resolution for Edge Arrivals with Vanishing Probabilities
Published in In EC 2024
• View Publication
• BIB
We study the performance of sequential contention resolution and matching algorithms on random graphs with vanishing edge probabilities. When the edges of the graph are processed in an adversarially-chosen order, we derive a new OCRS that is $0.382$-selectable, attaining the "independence benchmark" from the literature under the vanishing edge probabilities assumption. Complementary to this positive result, we show that no OCRS can be more than $0.390$-selectable, significantly improving upon the upper bound of $0.428$ from the literature. We also derive negative results that are specialized to bipartite graphs or subfamilies of OCRSs. Meanwhile, when the edges of the graph are processed in a uniformly random order, we show that the simple greedy contention resolution scheme which accepts all active and feasible edges is $1/2$-selectable. This result is tight due to a known upper bound. We then show that when the algorithm can choose the processing order, a slight tweak to the random order---give each vertex a random priority and process edges in lexicographic order---results in a strictly better contention resolution scheme that is $1-\ln(2-1/e)\approx0.510$-selectable. Moreover, we show that this bound is tight over any sequential contention resolution scheme, even one which may adaptively choose the order in which it processes edges. This provides a separation from the $0.544$ upper bound for offline contention resolution implied by the classic result of Karp and Sipser. Our positive results also apply to online matching on $1$-uniform random graphs with vanishing (non-identical) edge probabilities, extending and unifying some results from the random graphs literature.
From finding a spanning subgraph $H$ to an $H$-factor
A typical Dirac-type problem in extremal graph theory is to determine the minimum degree threshold for a graph $G$ to have a spanning subgraph $H$, e.g. the Dirac theorem. A natural follow-up problem is to seek an $H$-factor, which is a spanning set of vertex-disjoint copies of $H$. In this short note, we present a method for obtaining an upper bound on the minimum degree threshold for an $H$-factor from one for finding a spanning copy of $H$.
As an application, we prove that, for all $\varepsilon>0$ and sufficiently large $\ell$, any oriented graph $G$ on $\ell m$ vertices with minimum semi-degree $δ^0(G) \ge (3/8+ \varepsilon )\ell m$ contains a $C_\ell$-factor, where $C_\ell$ is an arbitrary orientation of a cycle on $\ell$ vertices. This improves a result of Wang, Yan and Zhang.
Blocking sets from a union of plane curves
Motivated by a question of Erdős on blocking sets in a projective plane that intersect every line only a few times, several authors have used unions of algebraic curves to construct such sets in $\mathbb{P}^2(\mathbb{F}_q)$. In this paper, we provide new constructions of blocking sets in $\mathbb{P}^2(\mathbb{F}_q)$ from a union of geometrically irreducible curves of a fixed degree $d$. We also establish lower bounds on the number of such curves required to form a blocking set. Our proofs combine tools from arithmetic geometry and combinatorics.
Obtaining the Chamanara Surface from the van der Corput sequence
We investigate a family of $4$-regular graphs constructed to test for the presence of combinatorial structure in a sequence of distinct real numbers. We show that the graphs constructed from the Kronecker sequence can be embedded into the torus, while the graphs constructed from the binary van der Corput sequence can be embedded into the Chamanara surface, in both cases with the possible removal of one edge. These results generalize to embeddings of sequence graphs coming from interval exchange transformations into associated translation surfaces.
$t$-Young complexes and squarefree powers of $t$-path ideals
We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from Young diagrams and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres, and a complete characterization of their vertex-decomposability is provided. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs. For this family, we use generating functions to obtain an explicit formula for homotopy type. As applications, we determine the projective dimension and the Krull dimension of these squarefree powers.
Localized Erdős-Pósa Property for Subdivisions
For a graph $H$, we say that $H$ has the Erdős-Pósa property for subdivisions with function $f$, if, for every nonnegative integer $k$ and every graph $G$, either $G$ contains (as a subgraph) $k+1$ pairwise vertex-disjoint subdivisions of $H$ or there exists a set $X\subseteq V(G)$ such that $G\setminus X$ contains no $H$-subdivision and $|X|\leq f(k)$. We show that every connected graph $H$ that has the Erdős-Pósa property for subdivision also satisfies a localized version of the Erdős-Pósa property, as follows. Let $H$ be a connected graph that has the Erdős-Pósa property for subdivisions with function $f$, and let $G$ be a graph that does not contain $k+1$ vertex-disjoint subdivisions of $H$. We demonstrate the existence of a set of at most $k$ vertex-disjoint subdivisions of $H$ in $G$ such that in their union, we can find a set $X$ with the property that $G \setminus X$ contains no $H$-subdivision and $|X| \leq 2^{f(k)}mk -k(m-n)$ where $n$ and $m$ are the number of vertices and edges.
A Threshold Number for the Shortest Vector Problem in the Infinity Norm
Published
• View Publication
• BIB
For an integer full column rank matrix $A$, we consider the lattice that consists of all integer combinations of columns of $A$. We prove that a shortest non-zero vector $Az$ has infinity norm equal to $1$ whenever the number of columns of $A$ is at least $Δ$, the largest absolute value of a full rank subdeterminant of $A$. This structural result allows us to design a fixed-parameter tractable algorithm in $Δ$ for computing a shortest lattice vector in the infinity norm. It also has several applications in integer optimization. In particular, for a polyhedron defined by $Ax\leq b$ with integer-valued $b$, an optimal integer solution lies on a face whose dimension is at most $Δ- 1$.
On finite groups whose coprime graph is a divisor graph
In this paper, we first characterize which generalized lexicographic products are divisor graphs. As applications, we show that power graphs, reduced power graphs and order graphs are all divisor graphs, which also implies the main result in [Power graph of a finite group is always divisor graph, Asian-European Journal of Mathematics 16 (2023)]. We then show that, the coprime graph of a group is a generalized lexicographic product, and characterize which coprime graphs are divisor graphs. Finally, we classify the finite groups $G$ having at most four prime divisors, whose coprime graphs are divisor graphs, and we also classify the finite groups $G$ whose coprime graphs are divisor graphs, if $G$ is a nilpotent group, a dihedral group, a generalized quaternion group, a symmetric group, an alternating group, a direct product of two non-trivial groups, and a sporadic simple group.
Characterization of Some Graphs Realizing Regularity Bounds for Binomial Edge Ideals
In this paper, we characterize all graphs $G$ satisfying \[\operatorname{reg}(S/J_G)=\ell(G)=c(G)\] where $\ell(G)$ is the sum of the lengths of the longest induced paths in each connected component of $G$ and $c(G)$ is the number of the maximal cliques of $G$. We also characterize all connected graphs $G$ that satisfy \[\operatorname{reg}(S/J_G)=\ell(G)=|V(G)|-ω(G)+1\] where $ω(G)$ is the clique number of $G$. Moreover, we investigate the possible values of the regularity of $S/J_G$ within the intervals $[\ell(G), c(G)]$ and $[\ell(G), |V(G)|-ω(G)+1]$.
On perfect matchings, edge-colourings and eigenvalues of cubic graphs
Published
• View Publication
• BIB
We discuss the question whether the existence of perfect matchings in a cubic graph can be seen from the spectrum of its adjacency matrix. For regular graphs in general and for three edge-disjoint perfect matchings in a cubic graph (that is, an edge colouring with three colors) the answer is known to be negative. In the latter case, a few counter examples (found by computer) are known. Here we show that these counter examples can be extended to an infinite family by use of truncation. Thus we obtain infinitely many pairs of cospectral cubic graphs with different edge-chromatic number. For all these pairs both graphs have a perfect matching, and the mentioned question is still open. We obtain a few more results concerning spectral characterisations of cubic graphs, and point out a serious mistake in Section 3 of an earlier version of this paper.
The number of Laplacian eigenvalues of trees less than one
Let $m_T[0,1)$ denote the number of Laplacian eigenvalues of a tree $T$ that are strictly less than $1$. Guo, Xue and Liu \cite{GXL} proved that every tree $T$ of diameter $d$ satisfies $m_T[0,1)\ge \lceil(d+1)/3\rceil$, and that this bound is sharp when $d\equiv2\pmod3$. It is classical that every graph of diameter $d$ has domination number at least $\lceil(d+1)/3\rceil$. In this paper, for any diameter $d$, $m_T[0,1)=\lceil(d+1)/3\rceil$ if and only if $γ(T)=\lceil(d+1)/3\rceil$; we characterize all trees satisfying this necessary and sufficient condition, and also prove that almost all trees satisfy $m_T[0,1)\ge\lceil(d+1)/3\rceil+1$.
$\ell_{1}$-Embeddability of Regular Quadrilateral Maps on the Torus and the Klein Bottle
A connected graph is called $\ell_1$-embeddable if its shortest-path metric admits an isometric embedding into the $\ell_1$-space; equivalently, in the finite case, it admits a scale embedding into a hypercube. This paper gives a complete parameter-level classification of $\ell_1$-embeddability for regular quadrilateral maps on the torus and the Klein bottle. We treat the two toroidal families $Q_{k,m,r}$ and $Q_{k,m,e}$, obtained from suitable identifications of finite square grids, and, using the known isomorphisms among Klein-bottle quadrilateral maps, the three essential Klein-bottle families $Q_{k,m,a}$, $Q_{k,m,b}$, and $Q_{k,m,h}$. The $\ell_1$-embeddable toroidal maps are exactly
$Q_{k,m,0}, Q_{k,2,1}, Q_{k,1,e}, Q_{5,2,e}, Q_{2i,2,e} (i\ge 2)$,
and the $\ell_1$-embeddable Klein-bottle maps are exactly $
Q_{2,2,a}, Q_{4,2,a}, Q_{2,m,b}, Q_{1,2,h}.$
All other members of these five families are not $\ell_1$-embeddable.
A rainbow partition theorem for trees and connected maximin share allocations of chores
Xiao, Qiu, and Huang (AAMAS 2023) and independently Lonc (personal communication) asked whether indivisible chores located at the vertices of a tree can always be allocated to $n$ agents in connected bundles so that the cost of every agent is at most its connected maximin share; for goods, this is a theorem of Bouveret, Cechlárová, Elkind, Igarashi, and Peters. We answer the question affirmatively, even for monotone costs. The answer follows from a combinatorial theorem: if $\mathcal P_1,\ldots,\mathcal P_k$ are partitions of the vertex set of a finite tree, each into at most $k$ connected parts, then the vertex set can be split into disjoint sets $B_1,\ldots,B_k$, some possibly empty, such that each nonempty $B_i$ is connected and contained in a part of $\mathcal P_i$. Equivalently, if each of $k$ colours occurs on at most $k-1$ edges of a tree, then the vertices can be partitioned into connected sets labelled by distinct colours, none containing an edge of its own colour; in particular, one can choose for every colour a component of the forest obtained by deleting that colour so that the chosen components cover the tree. The bound is already best possible for paths, and for additive costs, the theorem is equivalent to the fair-division statement. The proof reduces the problem to inward partitions of oriented trees, which we obtain from the colourful KKM theorem on a simplex of edge weights, using a leaf-elimination labelling that remains compatible when weights vanish. We also give an algorithm running in time $k^{O(k)}$ plus polynomial time.
Does the Endomorphism Ordered Set of a Finite Ordered Set Determine the Ordered Set? The Cases of Height $1$ and "Trebled" Ordered Sets
For ordered sets $X$ and $Y$, let $Y^X$ denote the ordered set of order-preserving maps from $X$ to $Y$, where $f\le g$ in $Y^X$ if $f(x)\le g(x)$ for all $x\in X$.
Let $P$ and $Q$ be finite ordered sets such that $P^P\cong Q^Q$. It is proven that $P\cong Q$ if $P$ or $Q$ has height at most $1$ or if $P$ and $Q$ are ordered sets of the following form: replace each element of an ordered set with a three-element antichain. The latter is an elaboration of a proof of Tim Campion.
One and Seven-Eighths Divisibility Problems of Propp
We provide one full solution, and another nearly complete solution, to two problems from Jim Propp's 1999 article "Enumeration of matchings; problems and progress" (namely, Problems 30 and 31) involving divisibility properties of the number of matchings of two non-bipartite triangular graphs. We extend our method of proof of the second problem to show that the number of matchings of any graph composed of tetrahedral cells, such that the number of cells is suitably few relative to the number of vertices, is divisible by a power of 3; in particular, we then exhibit a collection of non-planar graphs whose number of matchings is divisible by 3.
Certified exact bounds for adaptive quantitative group testing with two defectives
We determine the maximum population size for which exactly two defective items can always be identified using at most $k$ adaptive quantitative tests, for every $0\le k\le10$. Each test reports the number of defectives in a chosen subset. The exact maxima for eight, nine and ten tests are 65, 112 and 192, respectively. We also classify all pairs of sizes of two disjoint sets, each containing exactly one defective, that can be resolved within each test budget through eight. These exact results are supported by explicit strategies and maximality certificates checked by programs separate from the search implementation. Additional results include partial nine-test boundaries and an eleven-test strategy for 328 items; maximality of the latter remains open.
A combinatorial interpolation between the hypercube and the associahedron
We study a family of polytopes interpolating between the hypercube and the associahedron. We give an explicit description of their normal fans and describe their combinatorics in terms of chord diagrams associated to their vertices. This yields interesting number sequences generalizing Pell numbers and asymptotic to Catalan numbers. We describe the transition between the normal fans in terms of star subdivisions and relate them to polytopes associated to Dyck paths as in [Veronica Calvo Cortes and Hadleigh Frost. Dyck paths, Configuration Spaces and Polytopes for Linear Nakayama algebras. https://arxiv.org/abs/2602.04571] and hypergraphic polytopes defined in [Carolina Benedetti, Nantel Bergeron, and John Machacek. Hypergraphic polytopes: combinatorial properties and antipode. Journal of Combinatorics. 2019]. Furthermore, all polytopes in our families yield binary geometries.