graph
35299 papers tagged with this keyword
The Ceresa period from tropical homology
Published in Forum of Mathematics, Sigma 13 (2025) e112
• View Publication
• BIB
Given a finite graph $G$, we define the Ceresa period $α(G)$ as a tool for studying algebraic triviality of the tropical Ceresa cycle introduced by Zharkov. We show that $α(G) = 0$ if and only if $G$ is of hyperelliptic type; then a theorem of Corey implies that having $α(G) = 0$ is a minor-closed condition with forbidden minors $K_4$ and $L_3$.
On treewidth and maximum cliques
Published in Innovations in Graph Theory, Volume 2 (2025), pp. 223-243
• View Publication
• BIB
We construct classes of graphs that are variants of the so-called layered wheel. One of their key properties is that while the treewidth is bounded by a function of the clique number, the construction can be adjusted to make the dependance grow arbitrarily. Some of these classes provide counter-examples to several conjectures. In particular, the construction includes hereditary classes of graphs whose treewidth is bounded by a function of the clique number while the tree-independence number is unbounded, thus disproving a conjecture of Dallard, Milanič and Štorgel [Treewidth versus clique number. II. Tree-independence number. Journal of Combinatorial Theory, Series B, 164:404-442, 2024.]. The construction can be further adjusted to provide, for any fixed integer $c$, graphs of arbitrarily large treewidth that contain no $K_c$-free graphs of high treewidth, thus disproving a conjecture of Hajebi [Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth, arXiv:2401.01299, 2024].
Separation axiom $S_3$ for geodesic convexity in graphs
Semispaces of a convexity space $(X,C)$ are maximal convex sets missing a point. The separation axiom $S_3$ asserts that any point $x_0\in X$ and any convex set $A$ not containing $x_0$ can be separated by complementary halfspaces (convex sets with convex complements) or, equivalently, that all semispaces are halfspaces. In this paper, we study $S_3$ for geodesic convexity in graphs and the structure of semispaces in $S_3$-graphs. We characterize $S_3$-graphs and their semispaces in terms of separation by halfspaces of vertices $x_0$ and special sets, called maximal $x_0$-proximal sets and in terms of convexity of their mutual shadows $x_0/K$ and $K/x_0$. In $S_3$-graphs $G$ satisfying the triangle condition (TC), maximal proximal sets are the pre-maximal cliques of $G$ (i.e., cliques $K$ such that $K\cup\{ x_0\}$ are maximal cliques). This allows to characterize the $S_3$-graphs satisfying (TC) in a structural way and to enumerate their semispaces efficiently. In case of meshed graphs (an important subclass of graphs satisfying (TC)), the $S_3$-graphs have been characterized by excluding five forbidden subgraphs. On the way of proving this result, we also establish some properties of meshed graphs, which maybe of independent interest. In particular, we show that any connected, locally-convex set of a meshed graph is convex. We also provide several examples of $S_3$-graphs, including the basis graphs of matroids. Finally, we consider the (NP-complete) halfspace separation problem, describe two methods of its solution, and apply them to particular classes of graphs and graph-convexities.
Expansions of the Potts model partition function along deletions and contractions
We establish two expansions of the Potts model partition function of a graph. One is along the deletions of a graph, a rewritten formula given in Biggs (1977). The other is along the contractions of a graph. Then, we specialize the partition function to the chromatic or flow polynomial by the Möbius inversion formula, and prove two known equations of the two polynomials. One expresses the chromatic polynomial as a weighted sum of flow polynomials of deletions, the other expresses the flow polynomial as a weighted sum of chromatic polynomials of contractions. The proof of the former by Biggs formula is due to Bychkov et al. (2021). The two expressions are considered to be dual in the sense of their forms, and transfer to each other with plane duality. This relation also holds in our expansions of the Potts model partition function. We clarify this duality by using matroid duality. Partition functions can be extended to matroids, and the two expansions can also be extended. The two expansions transfer to each other with matroid duality, so in addition to an elementary combinatorial proof of the two, we give another proof by the "duality" relation between them.
Cycle switching in Steiner triple systems of order 19
Published
• View Publication
• BIB
Cycle switching is a particular form of transformation applied to isomorphism classes of a Steiner triple system of a given order $v$ (an $STS(v)$), yielding another $STS(v)$. This relationship may be represented by an undirected graph. An $STS(v)$ admits cycles of lengths $4,6,\ldots,v-7$ and $v-3$. In the particular case of $v=19$, it is known that the full switching graph, allowing switching of cycles of any length, is connected. We show that if we restrict switching to only one of the possible cycle lengths, in all cases the switching graph is disconnected (even if we ignore those $STS(19)$s which have no cycle of the given length). Moreover, in a number of cases we find intriguing connected components in the switching graphs which exhibit unexpected symmetries. Our method utilises an algorithm for determining connected components in a very large implicitly defined graph which is more efficient than previous approaches, avoiding the necessity of computing canonical labellings for a large proportion of the systems.
The number of cliques in hypergraphs with forbidden subgraphs
Published in Discrete Mathematics 348 (2025), Paper No. 114415, 7pp
• View Publication
• BIB
We study the maximum number of $r$-vertex cliques in $(r-1)$-uniform hypergraphs not containing complete $r$-partite hypergraphs $K_r^{(r-1)}(a_1, \dots, a_r)$. By using the hypergraph removal lemma, we show that this maximum is $o( n^{r - 1/(a_1 \cdots a_{r-1})} )$. This immediately implies the corresponding results of Mubayi and Mukherjee and of Balogh, Jiang, and Luo for graphs. We also provide a lower bound by using hypergraph Turán numbers.
New lower bound on ball packing density in high-dimensional hyperbolic spaces
We present a new lower bound on the Bowen-Radin maximal density of radius-R ball packings in the m-dimensional hyperbolic space, improving on the basic covering bound by factor Ω(m(R+\ln m)) as m tends to infinity. This is done by applying the recent theorem of Campos, Jenssen, Michelen and Sahasrabudhe on independent sets in graphs with sparse neighbourhoods.
On the Gonality of Ferrers Rook Graphs
Published
• View Publication
• BIB
A Ferrers rook graph is a graph whose vertices correspond to the dots in a Ferrers diagram, and where two vertices are adjacent if they are in the same row or the same column. We propose a conjectural formula for the gonality of Ferrers rook graphs, and prove this conjecture for a few infinite families of Ferrers diagrams. We also prove the conjecture for all Ferrers diagrams $F$ with $|F| \leq 8$.
Generalized planar Turán numbers related to short cycles
Given two graphs $H$ and $F$, the generalized planar Turán number $\mathrm{ex}_\mathcal{P}(n,H,F)$ is the maximum number of copies of $H$ that an $n$-vertex $F$-free planar graph can have. We investigate this function when $H$ and $F$ are short cycles. Namely, for large $n$, we find the exact value of $\mathrm{ex}_\mathcal{P}(n, C_l,C_3)$, where $C_l$ is a cycle of length $l$, for $4\leq l\leq 6$, and determine the extremal graphs in each case. Also, considering the converse of these problems, we determine sharp upper bounds for $\mathrm{ex}_\mathcal{P}(n,C_3,C_l)$, for $4\leq l\leq 6$.
On the Sombor index of the total graph and the unit graph of commutative rings
Published
• View Publication
• BIB
In this paper, we investigate the Sombor index of the total graph and unit graph of $\mathbb{Z}_n$ which is denoted by $T_Γ(\mathbb{Z}_n)$ and $G(\mathbb{Z}_n)$ respectively for $n \in \{2k, p^α, pq, p^2q\}$ where $p$ and $q$ are distinct odd prime numbers such that $p < q$. Moreover, we compute the Sombor index of any finite local ring.
Improved bounds for polylogarithmic graph distances in scale-free percolation and related models
In this paper, we study graph distances in the geometric random graph models scale-free percolation SFP, geometric inhomogeneous random graphs GIRG, and hyperbolic random graphs HRG. Despite the wide success of the models, the parameter regime in which graph distances are polylogarithmic is poorly understood. We provide new and improved lower bounds. In a certain portion of the parameter regime, those match the known upper bounds.
Compared to the best previous lower bounds by Hao and Heydenreich, our result has several advantages: it gives matching bounds for a larger range of parameters, thus settling the question for a larger portion of the parameter space. It strictly improves the lower bounds by Hao and Heydenreich for all parameters settings in which those bounds were not tight. It gives tail bounds on the probability of having short paths, which imply shape theorems for the $k$-neighbourhood of a vertex whenever our lower bounds are tight, and tight bounds for the size of this $k$-neighbourhood. And last but not least, our proof is much simpler and not much longer than two pages, and we demonstrate that it generalizes well by showing that the same technique also works for first passage percolation.
On the distance problem over finite p-adic rings
In this paper, we study the distance problem in the setting of finite p-adic rings. In odd dimensions, our results are essentially sharp. In even dimensions, we clarify the conjecture and provide examples to support it. Surprisingly, compared to the finite field case, in this setting, we are able to provide a large family of sets such that the distance conjecture holds. By developing new restriction type estimates associated to circles and orbits, with a group theoretic argument, we will prove the $4/3$-parallel result in the two dimensions. This answers a question raised by Alex Iosevich. In a more general scenario, the existence/distribution of geometric/graph configurations will be also considered in this paper. Our results present improvements and extensions of recent results due to Ben Lichtin (2019, 2023). In comparison with Lichtin's method, our approach is much simpler and flexible, which is also one of the novelties in this paper.
The Rank-Ramsey Problem and the Log-Rank Conjecture
Published
• View Publication
• BIB
A graph is called Rank-Ramsey if (i) Its clique number is small, and (ii) The adjacency matrix of its complement has small rank. We initiate a systematic study of such graphs. Our main motivation is that their constructions, as well as proofs of their non-existence, are intimately related to the famous log-rank conjecture from the field of communication complexity. These investigations also open interesting new avenues in Ramsey theory.
We construct two families of Rank-Ramsey graphs exhibiting polynomial separation between order and complement rank. Graphs in the first family have bounded clique number (as low as $41$). These are subgraphs of certain strong products, whose building blocks are derived from triangle-free strongly-regular graphs. Graphs in the second family are obtained by applying Boolean functions to Erdős-Rényi graphs. Their clique number is logarithmic, but their complement rank is far smaller than in the first family, about $\mathcal{O}(n^{2/3})$. A key component of this construction is our matrix-theoretic view of lifts.
We also consider lower bounds on the Rank-Ramsey numbers, and determine them in the range where the complement rank is $5$ or less. We consider connections between said numbers and other graph parameters, and find that the two best known explicit constructions of triangle-free Ramsey graphs turn out to be far from Rank-Ramsey.
Critical probabilities for positively associated, finite-range dependent percolation models
On a locally finite, infinite tree $T$, let $p_c(T)$ denote the critical probability for Bernoulli percolation. We prove that every positively associated, finite-range dependent percolation model on $T$ with marginals $p > p_c(T)$ must percolate. Among finite-range dependent models on trees, positive association is thus a favourable property for percolation to occur.
On general graphs of bounded degree, Liggett, Schonmann and Stacey (1997) proved that finite-range dependent percolation models with sufficiently large marginals stochastically dominate product measures. Under the additional assumption of positive association, we prove that stochastic domination actually holds for arbitrary marginals. Our result thereby generalises Proposition 3.4 in Liggett, Schonmann and Stacey (1997) which was restricted to the special case $G = \mathbb{Z}$.
Studying the class of 1-independent percolation models has proven useful in bounding critical probabilities of various percolation models via renormalization. In many cases, the renormalized model is not only 1-independent but also positively associated. This motivates us to introduce the smallest parameter $p_a^+(G)$ such that every positively associated, 1-independent bond percolation model on a graph $G$ with marginals $p > p_a^+(G)$ percolates. We obtain quantitative upper and lower bounds on $p_a^+(\mathbb{Z}^2)$ and on $p_a^+(\mathbb{Z}^n)$ as $n\to \infty$, and also study the case of oriented bond percolation. In proving these results, we revisit several techniques originally developed for Bernoulli percolation, which become applicable thanks to a simple but seemingly new way of combining positive association with finite-range dependence.
Multidegrees of binomial edge ideals
Published
• View Publication
• BIB
Let $G$ be a simple graph with binomial edge ideal $J_G$. We prove how to calculate the multidegree of $J_G$ based on combinatorial properties of $G$. In particular, we study the set $S_{\min}(G)$ defined as the collection of subsets of vertices whose prime ideals have minimum codimension. We provide results which assist in determining $S_{\min}(G)$, then calculate $S_{\min}(G)$ for star, horned complete, barbell, cycle, wheel, and friendship graphs, and use the main result of the paper to obtain the multidegrees of their binomial edge ideals.
Total coloring graphs with large maximum degree
Published
• View Publication
• BIB
We prove that for any graph $G$, the total chromatic number of $G$ is at most $Δ(G)+2\left\lceil \frac{|V(G)|}{Δ(G)+1} \right\rceil$. This saves one color in comparison with a result of Hind from 1992. In particular, our result says that if $Δ(G)\ge \frac{1}{2}|V(G)|$, then $G$ has a total coloring using at most $Δ(G)+4$ colors. When $G$ is regular and has a sufficient number of vertices, we can actually save an additional two colors. Specifically, we prove that for any $0<\varepsilon <1$, there exists $n_0\in \mathbb{N}$ such that: if $G$ is an $r$-regular graph on $n \ge n_0$ vertices with $r\ge \frac{1}{2}(1+\varepsilon) n$, then $χ_T(G) \le Δ(G)+2$. This confirms the Total Coloring Conjecture for such graphs $G$.
On Certain Bounds for Multiset Dimensions of Zero-Divisor Graphs Associated with Rings
This article investigates multiset dimensions in zero divisor graphs (ZD-graphs) associated with rings. Through rigorous analysis, we establish general bounds for the multiset dimension (Mdim) in ZD-graphs, exploring various commutative rings including the ring Z_n of integers modulo n, Gaussian integers and quotient polynomial rings. Additionally, we examine the behavior of Mdim under algebraic operations and discuss bounds in terms of diameter and maximum degree. This study enhances our understanding of algebraic structures and their graphical representations.
Exploring Ring Structures: Multiset Dimension Analysis in Compressed Zero-Divisor Graphs
Published
• View Publication
• BIB
This paper explores the concept of multiset dimensions (Mdim) of compressed zero-divisor graphs (CZDG) associated with rings. The authors investigate the interplay between the ring-theoretic properties of a ring $R$ and the associated compressed zero-divisor graph. An undirected graph consisting of a vertex set $ Z(R_E)\backslash\{[0]\} = R_E\backslash\{[0],[1]\}$, where $R_E=\{[x] : x\in R\} $ and $[x]=\{y\in R : \text{ann}(x)=\text{ann}(y)\}$ is called a compressed zero-divisor graph, denoted by $Γ_E (R)$. An edge is formed between two vertices $[x]$ and $[y]$ of $Z(R_E)$ if and only if $[x][y]=[xy]=[0]$, that is, iff $xy=0$. For a ring $R$, graph $G$ is said to be realizable as $Γ_E (R) $ if $G$ is isomorphic to $Γ_E (R)$. We classify the rings based on Mdim of their associated CZDG and obtain the bounds for the Mdim of the compressed zero-divisor graphs. We also study the Mdim of realizable graphs of rings. Moreover, some examples are provided to support our results. Lately, we have discussed the interconnection between Mdim, girth, and diameter of CZDG.
Fast and Slow Mixing of the Kawasaki Dynamics on Bounded-Degree Graphs
Published in Random Structures & Algorithms. 67 (2025), no.4, e70038
• View Publication
• BIB
We study the worst-case mixing time of the global Kawasaki dynamics for the fixed-magnetization Ising model on the class of graphs of maximum degree $Δ$. Proving a conjecture of Carlson, Davies, Kolla, and Perkins, we show that below the tree uniqueness threshold, the Kawasaki dynamics mix rapidly for all magnetizations. Disproving a conjecture of Carlson, Davies, Kolla, and Perkins, we show that the regime of fast mixing does not extend throughout the regime of tractability for this model: there is a range of parameters for which there exist efficient sampling algorithms for the fixed-magnetization Ising model on max-degree $Δ$ graphs, but the Kawasaki dynamics can take exponential time to mix. Our techniques involve showing spectral independence in the fixed-magnetization Ising model and proving a sharp threshold for the existence of multiple metastable states in the Ising model with external field on random regular graphs.
Recoloring via modular decomposition
Published
• View Publication
• BIB
The reconfiguration graph of the $k$-colorings of a graph $G$, denoted $R_{k}(G)$, is the graph whose vertices are the $k$-colorings of $G$ and two colorings are adjacent in $R_{k}(G)$ if they differ in color on exactly one vertex. A graph $G$ is said to be recolorable if $R_{\ell}(G)$ is connected for all $\ell \geq χ(G)$+1. We demonstrate how to use the modular decomposition of a graph class to prove that the graphs in the class are recolorable. In particular, we prove that every ($P_5$, diamond)-free graph, every ($P_5$, house, bull)-free graph, and every ($P_5$, $C_5$, co-fork)-free graph is recolorable.
A graph is prime if it cannot be decomposed by modular decomposition except into single vertices. For a prime graph $H$, we study the complexity of deciding if $H$ is $k$-colorable and the complexity of deciding if there exists a path between two given $k$-colorings in $R_{k}(H)$. Suppose $\mathcal{G}$ is a hereditary class of graphs. We prove that if every blowup of every prime graph in $\mathcal{G}$ is recolorable, then every graph in $\mathcal{G}$ is recolorable.