Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Cycles of many lengths in Hamiltonian graphs
In 1999, Jacobson and Lehel conjectured that for $k \geq 3$, every $k$-regular Hamiltonian graph has cycles of at least linearly many different lengths. This was further strengthened by Verstraëte, who asked whether the regularity can be replaced with the weaker condition that the minimum degree is at least $3$. Despite attention from various researchers, until now, the best partial result towards both of these conjectures was a $\sqrt{n}$ lower bound on the number of cycle lengths. We resolve these conjectures asymptotically, by showing that the number of cycle lengths is at least $n^{1-o(1)}$.
A Tale of Two Limits: An Extremal Pagerank Problem
For a directed graph, the Pagerank algorithm emulates a random walker on the graph that occasionally "jumps" to a random vertex based on a jumping parameter $α$. Upon completion, the algorithm generates a stochastic vector whose entries correspond to the limiting probability that the walker will be at that vertex. This vector is a right eigenvector of a corresponding Markov trasition matrix. Undoubtedly, this vector can drastically change based upon the jumping parameter $α$.
In this article, we investigate the maximum possible discrepancy for different Pagerank vectors on the same unweighted directed (perhaps with loops) graph as measured by the 2-norm. We show that the limsup of this discrepancy can be as large as $\sqrt{\frac{67}{50}}$ using a very specific construction. (For contrast, the norm of the difference for any two stochastic vectors is at most $\sqrt{2}$.) Interestingly, on this construction this discrepancy occurs when $α= 1$ and when $α$ is very close to 1.
The spectral radius of graphs with no odd wheels
The odd wheel $W_{2k+1}$ is the graph formed by joining a vertex to a cycle of length $2k$. In this paper, we investigate the largest value of the spectral radius of the adjacency matrix of an $n$-vertex graph that does not contain $W_{2k+1}$. We determine the structure of the spectral extremal graphs for all $k\geq 2, k\not\in \{4,5\}$. When $k=2$, we show that these spectral extremal graphs are among the Turán-extremal graphs on $n$ vertices that do not contain $W_{2k+1}$ and have the maximum number of edges, but when $k\geq 9$, we show that the family of spectral extremal graphs and the family of Turán-extremal graphs are disjoint.
Towards a dichotomy for the switch list homomorphism problem for signed graphs
Published in Kyungpook Math. J. 63(2023), pp. 355-372
• View Publication
• BIB
We make advances towards a structural characterisation of the signed graphs $H$ for which the list switch $H$-colouring problem $\operatorname{LSwHom}(H)$ problem is polynomial time solvable. We conjecture a characterisation for signed graphs that can be switched to graphs such that every negative edge is also positive, and prove the characterisation in the case that the signed graph is reflexive.
Combinatorial Bounds in Distal Structures
Published in J. symb. log. 90 (2025) 1377-1409
• View Publication
• BIB
We provide polynomial upper bounds for the minimal sizes of distal cell decompositions in several kinds of distal structures, particularly weakly $o$-minimal and $P$-minimal structures. The bound in general weakly $o$-minimal structures generalizes the vertical cell decomposition for semialgebraic sets, and the bounds for vector spaces in both $o$-minimal and $p$-adic cases are tight. We apply these bounds to Zarankiewicz's problem and sum-product bounds in distal structures.
$q$-Supercongruences from Jackson's $_8φ_7$ summation and Watson's $_8φ_7$ transformation
$q$-Supercongruences modulo the fifth and sixth powers of a cyclotomic polynomial are very rare in the literature. In this paper, we establish some $q$-supercongruences modulo the fifth and sixth powers of a cyclotomic polynomial in terms of Jackson's $_8φ_7$ summation, Watson's $_8φ_7$ transformation, the creative microscoping method recently introduced by Guo and Zudilin, and the Chinese remainder theorem for coprime polynomials. More concretely, we give a $q$-analogue of a nice formula due to Long and Ramakrishna [Adv. Math. 290 (2016), 773--808] and two $q$-supercongruences involving double series.
q-Polymatroids and Their Relation to Rank-Metric Codes
Published
• View Publication
• BIB
It is well known that linear rank-metric codes give rise to q-polymatroids. Analogously to matroid theory one may ask whether a given q-polymatroid is representable by a rank-metric code. We provide an answer by presenting an example of a q-matroid that is not representable by any linear rank-metric code and, via a relation to paving matroids, provide examples of various q-matroids that are not representable by F_{q^m}-linear rank-metric codes. We then go on and introduce deletion and contraction for q-polymatroids and show that they are mutually dual and correspond to puncturing and shortening of rank-metric codes. Finally, we introduce a closure operator along with the notion of flats and show that the generalized rank weights of a rank-metric code are fully determined by the flats of the associated q-polymatroid.
Product structure of graphs with an excluded minor
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 1233-1248
• View Publication
• BIB
This paper shows that $K_t$-minor-free (and $K_{s, t}$-minor-free) graphs $G$ are subgraphs of products of a tree-like graph $H$ (of bounded treewidth) and a complete graph $K_m$. Our results include optimal bounds on the treewidth of $H$ and optimal bounds (to within a constant factor) on $m$ in terms of the number of vertices of $G$ and the treewidth of $G$. These results follow from a more general theorem whose corollaries include a strengthening of the celebrated separator theorem of Alon, Seymour, and Thomas [J. Amer. Math. Soc. 1990] and the Planar Graph Product Structure Theorem of Dujmović et al. [J. ACM 2020].
Disjunctive domination in graphs with minimum degree at least two
Published
• View Publication
• BIB
A set $D$ of vertices in $G$ is a disjunctive dominating set in $G$ if every vertex not in $D$ is adjacent to a vertex of $D$ or has at least two vertices in $D$ at distance $2$ from it in $G$. The disjunctive domination number, $γ^{d}_2(G)$, of $G$ is the minimum cardinality of a disjunctive dominating set in $G$. In this paper, we show that if $G$ be a graph of order at least $3$, $δ(G)\geq 2$ and with no component isomorphic to any of eight forbidden graphs, then $γ^{d}_2(G)\leq \frac{|G|}{3}$. Moreover, we provide an infinite family of graphs attaining this bound. In addition, we also study the case that $G$ is a claw-free graph with minimum degree at least two.
Line graph characterization of power graphs of finite nilpotent groups
Published in Communications in Algebra, 2022
• View Publication
• BIB
This paper deals with the classification of groups $G$ such that power graphs and proper power graphs of $G$ are line graphs. In fact, we classify all finite nilpotent groups whose power graphs are line graphs. Also, we categorize all finite nilpotent groups (except non-abelian $2$-groups) whose proper power graphs are line graphs. Moreover, we investigate when the proper power graphs of generalized quaternion groups are line graphs. Besides, we derive a condition on the order of the dihedral groups for which the proper power graphs of the dihedral groups are line graphs.
A Survey of the Hadamard Maximal Determinant Problem
Published
• View Publication
• BIB
In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem.
This survey provides complete proofs of the major results obtained thus far. We focus equally on upper bounds for the determinant (achieved largely via the study of the Gram matrices), and constructive lower bounds (achieved largely via quadratic residues in finite fields and concepts from design theory). To provide an impression of the historical development of the subject, we have attempted to modernise many of the original proofs, while maintaining the underlying ideas. Thus some of the proofs have the flavour of determinant theory, and some appear in print in English for the first time.
We survey constructions of matrices in order $n \equiv 3 \mod 4$, giving asymptotic analysis which has not previously appeared in the literature. We prove that there exists an infinite family of matrices achieving at least $0.48$ of the maximal determinant bound. Previously the best known constant for a result of this type was $0.34$.
Steiner Triple Systems of Order 21 with Subsystems
Published
• View Publication
• BIB
The smallest open case for classifying Steiner triple systems is order 21. A Steiner triple system of order 21, an STS(21), can have subsystems of orders 7 and 9, and it is known that there are 12,661,527,336 isomorphism classes of STS(21)s with sub-STS(9)s. Here, the classification of STS(21)s with subsystems is completed by settling the case of STS(21)s with sub-STS(7)s. There are 116,635,963,205,551 isomorphism classes of such systems. An estimation of the number of isomorphism classes of STS(21)s is given.
Avoiding Square-Free Words on Free Groups
Published
• View Publication
• BIB
We consider sets of factors that can be avoided in square-free words on two-generator free groups. The elements of the group are presented in terms of 0,1,2,3 such that 0 and 2 (resp.,1 and 3) are inverses of each other so that 02, 20, 13 and 31 do not occur in a reduced word. A Dean word is a reduced word that does not contain occurrences of $uu$ for any nonempty $u$. Dean showed in 1965 that there exist infinite square-free reduced words. We show that if $w$ is a Dean word of length at least 59 then there are at most six reduced words of length 3 avoided by $w$. We construct an infinite Dean word avoiding six reduced words of length~3. We also construct infinite Dean words with low critical exponent and avoiding fewer reduced words of length 3. Finally, we show that the minimal frequency of a letter in a Dean word is $8/59$ and the growth rate is close to 1.45818.
Sum index, difference index and exclusive sum number of graphs
Published in Graphs and Combinatorics volume 39, Article number: 32 (2023)
• View Publication
• BIB
We consider two recent conjectures of Harrington, Henninger-Voss, Karhadkar, Robinson and Wong concerning relationships between the sum index, difference index and exclusive sum number of graphs. One conjecture posits an exact relationship between the first two invariants; we show that in fact the predicted value may be arbitrarily far from the truth in either direction. In the process we establish some new bounds on both the sum and difference index. The other conjecture, that the exclusive sum number can exceed the sum index by an arbitrarily large amount, follows from known, but non-constructive, results; we give an explicit construction demonstrating it.
Simultaneously with the first version of this paper appearing, Harrington et al. updated their preprint with two counterexamples to the first conjecture; however, their counterexamples only give a discrepancy of 1, and only in one direction. They therefore modified the conjecture from an equality to an inequality; our results show that this is still false in general.
New results for MaxCut in $H$-free graphs
Published
• View Publication
• BIB
The MaxCut problem asks for the size ${\rm mc}(G)$ of a largest cut in a graph $G$. It is well known that ${\rm mc}(G)\ge m/2$ for any $m$-edge graph $G$, and the difference ${\rm mc}(G)-m/2$ is called the surplus of $G$. The study of the surplus of $H$-free graphs was initiated by Erdős and Lovász in the 70s, who in particular asked what happens for triangle-free graphs. This was famously resolved by Alon, who showed that in the triangle-free case the surplus is $Ω(m^{4/5})$, and found constructions matching this bound. We prove several new results in this area.
Firstly, we show that for every fixed odd $r\ge 3$, any $C_r$-free graph with $m$ edges has surplus $Ω_r\big(m^{\frac{r+1}{r+2}}\big)$. This is tight, as is shown by a construction of pseudorandom $C_r$-free graphs due to Alon and Kahale. It improves previous results of several researchers, and complements a result of Alon, Krivelevich and Sudakov which is the same bound when $r$ is even.
Secondly, generalizing the result of Alon, we allow the graph to have triangles, and show that if the number of triangles is a bit less than in a random graph with the same density, then the graph has large surplus. For regular graphs our bounds on the surplus are sharp.
Thirdly, we prove that an $n$-vertex graph with few copies of $K_r$ and average degree $d$ has surplus $Ω_r(d^{r-1}/n^{r-3})$, which is tight when $d$ is close to $n$ provided that a conjectured dense pseudorandom $K_r$-free graph exists. This result is used to improve the best known lower bound (as a function of $m$) on the surplus of $K_r$-free graphs.
Our proofs combine techniques from semidefinite programming, probabilistic reasoning, as well as combinatorial and spectral arguments.
Burling graphs revisited, part I: New characterizations
Published in European Journal of Combinatorics, Volume 110,2023,103686
• View Publication
• BIB
The Burling sequence is a sequence of triangle-free graphs of increasing chromatic number. Each of them is isomorphic to the intersection graph of a set of axis-parallel boxes in $R^3$. These graphs were also proved to have other geometrical representations: intersection graphs of line segments in the plane, and intersection graphs of frames, where a frame is the boundary of an axis-aligned rectangle in the plane. We call Burling graph every graph that is an induced subgraph of some graph in the Burling sequence. We give five new equivalent ways to define Burling graphs. Three of them are geometrical, one is of a more graph-theoretical flavour and one is more axiomatic.
From one to many rainbow Hamiltonian cycles
Published
• View Publication
• BIB
Given a graph $G$ and a family $\mathcal{G} = \{G_1,\ldots,G_n\}$ of subgraphs of $G$, a transversal of $\mathcal{G}$ is a pair $(T,φ)$ such that $T \subseteq E(G)$ and $φ: T \rightarrow [n]$ is a bijection satisfying $e \in G_{φ(e)}$ for each $e \in T$. We call a transversal Hamiltonian if $T$ corresponds to the edge set of a Hamiltonian cycle in $G$. We show that, under certain conditions on the maximum degree of $G$ and the minimum degrees of the $G_i \in \mathcal{G}$, for every $\mathcal{G}$ which contains a Hamiltonian transversal, the number of Hamiltonian transversals contained in $\mathcal{G}$ is bounded below by a function of $G$'s maximum degree. This generalizes a theorem of Thomassen stating that, for $m \geq 300$, no $m$-regular graph is uniquely Hamiltonian. We also extend Joos and Kim's recent result that, if $G = K_n$ and each $G_i \in \mathcal{G}$ has minimum degree at least $\frac{n}{2}$, then $\mathcal{G}$ has a Hamiltonian transversal: we show that, in this setting, $\mathcal{G}$ has exponentially many Hamiltonian transversals. Finally, we prove analogues of both of these theorems for transversals which form perfect matchings of $G$.
Weierstrass sets on finite graphs
Published in Electronic Journal of Combinatorics Volume 29 Issue 1 (2022), Paper No. 1.4, 13 pp
• View Publication
• BIB
We study two possible tropical analogues of Weierstrass semigroups on graphs, called rank and functional Weierstrass sets. We prove that on simple graphs, the first is contained in the second. We completely characterize the subsets of N arising as a functional Weierstrass set of some graph. Finally, we give a sufficient condition for a subset of N to be the rank Weierstrass set of some graph, allowing us to construct examples of rank Weierstrass sets that are not semigroups.
On the Vapnik-Chervonenkis dimension of products of intervals in $\mathbb{R}^d$
We study combinatorial complexity of certain classes of products of intervals in $\mathbb{R}^d$, from the point of view of Vapnik-Chervonenkis geometry. As a consequence of the obtained results, we conclude that the Vapnik-Chervonenkis dimension of the set of balls in $\ell_\infty^d$ -- which denotes $\R^d$ equipped with the sup norm -- equals $\lfloor (3d+1)/2\rfloor$.
Simple numerical algorithm for generating Hamiltonian cycles and edge labels on planar cubic maps
In this work we present an algorithm with which any arbitrary cubic planar map may be constructed through successive edge insertion while simultaneously constructing a set of proper edge labels and Hamiltonian cycles for each configuration. We present a publicly available Python implementation of this algorithm, and discuss both theoretical and numerical support for its validity, with reference to the well-known Four Colour Theorem.