contain ↗ reference
7694 papers tagged with this keyword
Sets of Cross Numbers of Sequences over Finite Abelian Groups
Published
• View Publication
• BIB
Let $G$ be a finite abelian group with $\exp(G)$ the exponent of $G$. Then $\mathsf W(G)$ denotes the set of cross numbers of minimal zero-sum sequences over $G$ and $\mathsf w(G)$ denotes the set of all cross numbers of non-trivial zero-sum free sequences over $G$. It is clear that $\mathsf W(G)$ and $\mathsf w(G)$ are bounded subsets of $\frac{1}{\exp(G)}\mathbb{N}$ with maximum $ \mathsf K(G)$ and $\mathsf k(G)$, respectively (here $\mathsf{K}(G)$ and $\mathsf{k}(G)$ denote the large and the small cross number of $G$, respectively). We give results on the structure of $\mathsf W(G)$ and $\mathsf w(G)$. We first show that both sets contain long arithmetic progressions and that only close to the maximum there might be some gaps. Then, we provide groups for which $\mathsf W(G)$ and $\mathsf w(G)$ actually are arithmetic progressions, and argue that this is rather a rare phenomenon. Finally, we provide some results in case there are gaps.
A full Halin grid theorem
Published
• View Publication
• BIB
Halin's well-known grid theorem states that a graph $G$ with a thick end must contain a subdivision of the hexagonal half-grid. We obtain the following strengthening when $G$ is vertex-transitive and locally finite. Either $G$ is quasi-isometric to a tree (and therefore has no thick end), or it contains a subdivision of the full hexagonal grid.
A note on lenses in arrangements of pairwise intersecting circles in the plane
Published
• View Publication
• BIB
Let $\F$ be a family of $n$ pairwise intersecting circles in the plane. We show that the number of lenses, that is convex digons, in the arrangement induced by $\F$ is at most $2n-2$. This bound is tight. Furthermore, if no two circles in $\F$ touch, then the geometric graph $G$ on the set of centers of the circles in $\F$ whose edges correspond to the lenses generated by $\F$ does not contain pairs of avoiding edges. That is, $G$ does not contain pairs of edges that are opposite edges in a convex quadrilateral. Such graphs are known to have at most $2n-2$ edges.
Some Results on Critical ($P_5,H$)-free Graphs
Published
• View Publication
• BIB
Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. A graph $G$ is $k$-vertex-critical if every proper induced subgraph of $G$ has chromatic number less than $k$, but $G$ has chromatic number $k$. The study of $k$-vertex-critical graphs for specific graph classes is an important topic in algorithmic graph theory because if the number of such graphs that are in a given hereditary graph class is finite, then there exists a polynomial-time certifying algorithm to decide the $k$-colorability of a graph in the class. In this paper, we show that: (1) for $k \ge 1$, there are finitely many $k$-vertex-critical $(P_5,K_{1,4}+P_1)$-free graphs; (2) for $s \ge 1$, there are finitely many 5-vertex-critical $(P_5,K_{1,s}+P_1)$-free graphs; (3) for $k \ge 1$, there are finitely many $k$-vertex-critical $(P_5,\overline{K_3+2P_1})$-free graphs. Moreover, we characterize all $5$-vertex-critical $(P_5,H)$-free graphs where $H \in \{K_{1,3}+P_1,K_{1,4}+P_1,\overline{K_3+2P_1}\}$ using an exhaustive graph generation algorithm.
Path eccentricity of $k$-AT-free graphs and application on graphs with the consecutive ones property
Published
• View Publication
• BIB
The central path problem is a variation on the single facility location problem. The aim is to find, in a given connected graph $G$, a path $P$ minimizing its eccentricity, which is the maximal distance from $P$ to any vertex of the graph $G$. The path eccentricity of $G$ is the minimal eccentricity achievable over all paths in $G$. In this article we consider the path eccentricity of the class of the $k$-AT-free graphs. They are graphs in which any set of three vertices contains a pair for which every path between them uses at least one vertex of the closed neighborhood at distance $k$ of the third. We prove that they have path eccentricity bounded by $k$.
Moreover, we answer a question of Gómez and Gutiérrez asking if there is a relation between path eccentricity and the consecutive ones property. The latter is the property for a binary matrix to admit a permutation of the rows placing the 1's consecutively on the columns. It was already known that graphs whose adjacency matrices have the consecutive ones property have path eccentricity at most 1, and that the same remains true when the augmented adjacency matrices (with ones on the diagonal) has the consecutive ones property. We generalize these results as follow. We study graphs whose adjacency matrices can be made to satisfy the consecutive ones property after changing some values on the diagonal, and show that those graphs have path eccentricity at most 2, by showing that they are 2-AT-free.
A conditional lower bound for the Turán number of spheres
Published in Combinator. Probab. Comp. 34 (2025) 848-856
• View Publication
• BIB
We consider the hypergraph Turán problem of determining $\mathrm{ex}(n, S^d)$, the maximum number of facets in a $d$-dimensional simplicial complex on $n$ vertices that does not contain a simplicial $d$-sphere (a homeomorph of $S^d$) as a subcomplex. We show that if there is an affirmative answer to a question of Gromov about sphere enumeration in high dimensions, then $\mathrm{ex}(n, S^d) \geq Ω(n^{d + 1 - (d + 1)/(2^{d + 1} - 2)})$. Furthermore, this lower bound holds unconditionally for 2-LC spheres, which includes all shellable spheres and therefore all polytopes. We also prove an upper bound on $\mathrm{ex}(n, S^d)$ of $O(n^{d + 1 - 1/2^{d - 1}})$ using a simple induction argument. We conjecture that the upper bound can be improved to match the conditional lower bound.
On balanceable and simply balanceable regular graphs
Published in European Journal of Combinatorics 124 (2025) 104045
• View Publication
• BIB
We continue the study of balanceable graphs, defined by Caro, Hansberg, and Montejano in 2021 as graphs $G$ such that any $2$-coloring of the edges of a sufficiently large complete graph containing sufficiently many edges of each color contains a balanced copy of $G$. While the problem of recognizing balanceable graphs was conjectured to be NP-complete by Dailly, Hansberg, and Ventura in 2021, balanceable graphs admit an elegant combinatorial characterization: a graph is balanceable if and only there exist two vertex subsets, one containing half of all the graph's edges and another one such that the corresponding cut contains half of all the graph's edges. We consider a special case of this property, namely when one of the two sets is a vertex cover, and call the corresponding graphs simply balanceable. We prove a number of results on balanceable and simply balanceable regular graphs. First, we characterize simply balanceable regular graphs via a condition involving the independence number of the graph. Second, we address a question of Dailly, Hansberg, and Ventura from 2021 and show that every cubic graph is balanceable. Third, using Brooks' theorem, we show that every $4$-regular graph with order divisible by $4$ is balanceable. Finally, we show that it is NP-complete to determine if a $9$-regular graph is simply balanceable.
Scarf complexes of graphs and their powers
Published
• View Publication
• BIB
Every multigraded free resolution of a monomial ideal I contains the Scarf multidegrees of I. We say I has a Scarf resolution if the Scarf multidegrees are sufficient to describe a minimal free resolution of I. The main question of this paper is which graphs G have edge ideal I(G) with a Scarf resolution? We show that I(G) has a Scarf resolution if and only if G is a gap-free forest. We also classify connected graphs for which all powers of I(G) have Scarf resolutions. Along the way, we give a concrete description of the Scarf complex of any forest. For a general graph, we give a recursive construction for its Scarf complex based on Scarf complexes of induced subgraphs.
On $(r,c)$-constant, planar and circulant graphs
Published
• View Publication
• BIB
This paper concerns $(r,c)$-constant graphs, which are $r$-regular graphs in which the subgraph induced by the open neighbourhood of every vertex has precisely $c$ edges. The family of $(r,c)$-graphs contains vertex-transitive graphs (and in particular Cayley graphs), graphs with constant link (sometimes called locally isomorphic graphs), $(r,b)$-regular graphs, strongly regular graphs, and much more.
This family was recently introduced in [arXiv:2312.08777] serving as important tool in constructing flip graphs [arXiv:2312.08777, arXiv:2401.02315].
In this paper we shall mainly deal with the following:
i. Existence and non-existence of $(r, c)$-planar graphs. We completely determine the cases of existence and non-existence of such graphs and supply the smallest order in the case when they exist.
ii. We consider the existence of $(r, c)$-circulant graphs. We prove that for $c \equiv 2 \ (\mathrm{mod} \ 3)$ no $(r,c)$-circulant graph exists and that for $c \equiv 0, 1 \ (\mathrm{mod} \ 3)$, $c > 0$ and $r \geq 6 + \sqrt{\frac{8c - 5}{3}}$ there exists $(r,c)$-circulant graphs. Moreover for $c = 0$ and $r \geq 1$, $(r, 0)$-circulants exist.
iii. We consider the existence and non-existence of small $(r,c)$-constant graphs, supplying a complete table of the smallest order of graphs we found for $0 \leq c \leq \binom{r}{2}$ and $r \leq 6$. We shall also determine all the cases in this range for which $(r,c)$-constant graphs don't exist. We establish a public database of $(r,c)$-constant graphs for varying $r$, $c$ and order.
Quandle Coloring Quivers of general Torus links by dihedral quandles
Published
• View Publication
• BIB
We completely characterize the coloring quivers of general torus links by dihedral quandles by first exhausting all possible numbers of colorings, followed by determining the interconnections between colorings in each case. The quiver is obtained as function of the number of colorings. The quiver always contains complete subgraphs, in particular a complete subgraph corresponding to the trivial colorings, but the total number of subgraphs in the quiver and the weights of their edges varies depending on the number of colorings.
Tight general bounds for the extremal numbers of 0-1 matrices
Published
• View Publication
• BIB
A zero-one matrix $M$ is said to contain another zero-one matrix $A$ if we can delete some rows and columns of $M$ and replace some $1$-entries with $0$-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted $\operatorname{ex}(n,A)$, is the maximum number of $1$-entries that an $n\times n$ zero-one matrix can have without containing $A$. The systematic study of this function for various patterns $A$ goes back to the work of Füredi and Hajnal from 1992, and the field has many connections to other areas of mathematics and theoretical computer science. The problem has been particularly extensively studied for so-called acyclic matrices, but very little is known about the general case (that is, the case where $A$ is not necessarily acyclic). We prove the first asymptotically tight general result by showing that if $A$ has at most $t$ $1$-entries in every row, then $\operatorname{ex}(n,A)\leq n^{2-1/t+o(1)}$. This verifies a conjecture of Methuku and Tomon.
Our result also provides the first tight general bound for the extremal number of vertex-ordered graphs with interval chromatic number $2$, generalizing a celebrated result of Füredi, and Alon, Krivelevich and Sudakov about the (unordered) extremal number of bipartite graphs with maximum degree $t$ in one of the vertex classes.
Vertex-disjoint cycles of different lengths in tournaments
Bermond and Thomassen conjectured in 1981 that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles,here $k$ is a positive integer. Lichiardopol conjectured in 2014 that for every positive integer $k$ there exists an integer $g(k)$ such that every digraph with minimum outdegree at least $g(k)$ contains $k$ vertex-disjoint cycles of different lengths. Recently, Chen and Chang proved in [J. Graph Theory 105 (2) (2024) 297-314] that for $k\geqslant 3$ every tournament with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles in which two of them have different lengths. Motivated by the above two conjectures and related results, we investigate vertex-disjoint cycles of different lengths in tournaments, and show that when $k\geqslant 5$ every tournament with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles in which three of them have different lengths. In addition, we show that every tournament with minimum outdegree at least $6$ contains three vertex-disjoint cycles of different lengths and the minimum outdegree condition is sharp. This answers a question proposed by Chen and Chang.
Eight-Partitioning Points in 3D, and Efficiently Too
Published
• View Publication
• BIB
An {\em eight-partition} of a finite set of points (respectively, of a continuous mass distribution) in $\mathbb{R}^3$ consists of three planes that divide the space into $8$ octants, such that each open octant contains at most $1/8$ of the points (respectively, of the mass). In 1966, Hadwiger showed that any mass distribution in $\mathbb{R}^3$ admits an eight-partition; moreover, one can prescribe the normal direction of one of the three planes. The analogous result for finite point sets follows by a standard limit argument.
We prove the following variant of this result: Any mass distribution (or point set) in $\mathbb{R}^3$ admits an eight-partition for which the intersection of two of the planes is a line with a prescribed direction.
Moreover, we present an efficient algorithm for calculating an eight-partition of a set of $n$ points in~$\mathbb{R}^3$ (with prescribed normal direction of one of the planes) in time $O^{*}(n^{7/3})$.
On some path-critical Ramsey numbers
Published
• View Publication
• BIB
For graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $r$ such that any red-blue edge coloring of $K_r$ contains a red $G$ or a blue $H$. The path-critical Ramsey number $R_π(G,H)$ is the largest $n$ such that any red-blue edge coloring of $K_r \setminus P_{n}$ contains a red $G$ or a blue $H$, where $r=R(G,H)$ and $P_{n}$ is a path of order $n$. In this note, we show a general upper bound for $R_π(G,H)$, and determine the exact values for some cases of $R_π(G,H)$.
Face-hitting Dominating Sets in Planar Graphs
Published
• View Publication
• BIB
A dominating set of a graph $G$ is a subset $S$ of its vertices such that each vertex of $G$ not in $S$ has a neighbor in $S$. A face-hitting set of a plane graph $G$ is a set $T$ of vertices in $G$ such that every face of $G$ contains at least one vertex of $T$. We show that the vertex-set of every plane (multi-)graph without isolated vertices, self-loops or $2$-faces can be partitioned into two disjoint sets so that both the sets are dominating and face-hitting. We also show that all the three assumptions above are necessary for the conclusion.
As a corollary, we show that every $n$-vertex simple plane triangulation has a dominating set of size at most $(1 - α)n/2$, where $αn$ is the maximum size of an independent set in the triangulation. Matheson and Tarjan [European J. Combin., 1996] conjectured that every plane triangulation with a sufficiently large number of vertices $n$ has a dominating set of size at most $n / 4$. Currently, the best known general bound for this is by Christiansen, Rotenberg and Rutschmann [SODA, 2024] who showed that every plane triangulation on $n > 10$ vertices has a dominating set of size at most $2n/7$. Our corollary improves their bound for $n$-vertex plane triangulations which contain a maximal independent set of size either less than $2n/7$ or more than $3n/7$.
Bounds for the independence and chromatic numbers of locally sparse graphs
Published
• View Publication
• BIB
In this note we consider a more general version of local sparsity introduced recently by Anderson, Kuchukova, and the author. In particular, we say a graph $G = (V, E)$ is $(k, r)$-locally-sparse if for each vertex $v \in V(G)$, the subgraph induced by its neighborhood contains at most $k$ cliques of size $r$. For $r \geq 3$ and $ε\in [0, 1]$, we show that an $n$-vertex $(Δ^{εr}, r)$-locally-sparse graph $G$ of maximum degree $Δ$ satisfies $α(G) \geq (1-o(1))\dfrac{n}{ηΔ}$ and $χ(G) \leq Θ\left(ηΔ\right)$, where $η:= ε+ \dfrac{r\log\log Δ}{\log Δ}$. For $ε$ not too large, the hidden constant in the $Θ(\cdot)$ can be taken to be $1+o(1)$. Setting $ε= 0$, we recover classical results on $K_{r+1}$-free graphs due to Shearer and Johansson, which were more recently improved by Davies, Kang, Pirot, and Sereni. We prove a stronger result on the independence number in terms of the occupancy fraction in the hard-core model, and establish a local version of the coloring result in the more general setting of correspondence coloring.
Weakly modular graphs with diamond condition, the interval function and axiomatic characterizations
Published
• View Publication
• BIB
Weakly modular graphs are defined as the class of graphs that satisfy the \emph{triangle condition ($TC$)} and the \emph{quadrangle condition ($QC$)}. We study an interesting subclass of weakly modular graphs that satisfies a stronger version of the triangle condition, known as the \emph{triangle diamond condition ($TDC$)}. and term this subclass of weakly modular graphs as the \emph{diamond-weakly modular graphs}. It is observed that this class contains the class of bridged graphs and the class of weakly bridged graphs.
The interval function $I_G$ of a connected graph $G$ with vertex set $V$ is an important concept in metric graph theory and is one of the prime example of a transit function; a set function defined on the Cartesian product $V\times V$ to the power set of $V$ satisfying the expansive, symmetric and idempotent axioms.
In this paper, we derive an interesting axiom denoted as $(J0')$, obtained from a well-known axiom introduced by Marlow Sholander in 1952, denoted as $(J0)$. It is proved that the axiom $(J0')$ is a characterizing axiom of the diamond-weakly modular graphs. We propose certain types of independent first-order betweenness axioms on an arbitrary transit function $R$ and prove that an arbitrary transit function becomes the interval function of a diamond-weakly modular graph if and only if $R$ satisfies these betweenness axioms. Similar characterizations are obtained for the interval function of bridged graphs and weakly bridged graphs.
A general $q$-series transformation and its applications to multi-sum Rogers-Ramanujan-Slater identities
In the present paper, we establish a general transformation for $q$-series which contains L. Wang et al's transformation involved in Nahm series. As direct applications, some concrete new transformation formulas for the ${}_{r+1}φ_r$ series as well as $q$-identities of multi-sum Rogers-Ramanujan-Slater type are presented.
Admissable sets do not exist for all parameters
A cap set in $\mathbb{F}_3^n$ is a subset that contains no three elements adding to 0. Building on a construction of Edel, a recent paper of Tyrrell gave the first improvement to the lower bound for a size of a cap set in two decades showing that, for large enough $n$, there is always a cap set in $\mathbb{F}_3^n$ of size at least $2.218^n$. This was shown by constructing what is called an $I(11,7)$ admissible set.
An admissible set is a subset of $\{0,1,2\}^m$ such that the supports of the vectors form an antichain with respect to inclusion and each triple of vectors has some coordinate where either exactly one of them is non-zero or exactly two are and they have different values. Such an admissible set is said to be $I(m,w)$ if it is of size $\binom mw$ and all of the vectors have exactly $w$ non-zero elements. In Tyrrell's paper they conjectured that $I(m,w)$ admissible set exists for all parameters. We resolve this conjecture by showing that there exists an $N$ such that an $I(N,4)$ admissible set does not exist.
We refer to the type of a vector in $\{0,1,2\}^m$ is the ordered sequence of its non-zero coefficients. The vectors of type $12$ form an $I(m,2)$ admissible set and the vectors of type $121$ form an $I(m,3)$ admissible set (as can be easily checked by an interested reader). Sadly it is quite easily proved that there is no $I(6,4)$ admissible set where all vectors are of the same type. It follows by Ramsey's Theorem applied to 4-regular hypergraphs that there exists an $N$ such that an $I(N,4)$ admissible set does not exist.
A similar argument shows that there exists an $N'$ such that an $I(N',N'-2)$ admissible set does not exist. Since we can construct an $I(m-1,w)$ and an $I(m-1,w-1)$ admissible set from an $I(m,w)$ admissible set, it follows that there are only finitely many $I(m,w)$ admissible sets exist other than the known forms.
Happy Ending: An Empty Hexagon in Every Set of 30 Points
Published
• View Publication
• BIB
Satisfiability solving has been used to tackle a range of long-standing open math problems in recent years. We add another success by solving a geometry problem that originated a century ago. In the 1930s, Esther Klein's exploration of unavoidable shapes in planar point sets in general position showed that every set of five points includes four points in convex position. For a long time, it was open if an empty hexagon, i.e., six points in convex position without a point inside, can be avoided. In 2006, Gerken and Nicolás independently proved that the answer is no. We establish the exact bound: Every 30-point set in the plane in general position contains an empty hexagon. Our key contributions include an effective, compact encoding and a search-space partitioning strategy enabling linear-time speedups even when using thousands of cores.