graph
35150 papers tagged with this keyword
Loose Hamiltonicity
We study the appearance of Hamilton $\ell$-cycles in dense $k$-uniform hypergraphs when $\ell \leq k-2$ and $k-\ell$ does not divide $k$. Our main result reduces this problem to the robust existence of a connected $\ell$-cycle tiling in host graph families that are approximately closed under subsampling. As an application, we determine the minimum $d$-degree threshold for $d=k-2$ and all $1 \leq \ell \leq k-2$ when $k - \ell$ does not divide $k$. We also reduce the case $\ell < d$ entirely to the corresponding (non-connected) $\ell$-cycle tiling problem. In addition, our outcomes lead to counting and random robust versions of these results. The proofs are based on the recently introduced method of blow-up covers and thus avoid the use of the Regularity Lemma and the Absorption Method.
On the Prague dimension of sparse random graphs
The Prague dimension of a graph $G$ is defined as the minimum number of complete graphs whose direct product contains $G$ as an induced subgraph. Introduced in the 1970s by Nešetřil, Pultr, and Rödl -- and motivated by the work of Dushnik and Miller, as well as by the induced Ramsey theorem -- determining the Prague dimension of a graph is a notoriously hard problem. In this paper, we show that for all $\varepsilon > 0$ and $p$ such that $ n^{-1+\varepsilon} \le p \le n^{-\varepsilon}$, with high probability the Prague dimension of $G_{n,p}$ is $Θ_{\varepsilon}(pn)$, which improves upon a recent result by Molnar, Rödl, Sales and Schacht.
Inspired by the work of Bennett and Bohman, our approach centres on analysing a random greedy process that builds an independent set of size $Ω(p^{-1}\log pn)$ by iteratively selecting vertices uniformly at random from the common non-neighbourhood of those already chosen. Using the differential equation method, we show that every non-edge is essentially equally likely to be covered by this process, which is key to establishing our bound.
Extensions of Real-Weighted Fractional Arboricity: Conductance-Resistance Bounds and Monoid Structure
We study a conductance-weighted arboricity for a finite simple undirected graph $G=(V,E,c)$ with a conductance assignment $c:E\to[0,\infty)$: \[ A_c(G):=\max\bigl\{ D_c(H): H\subseteq G\text{ connected}, |V(H)|\ge 2 \bigr\},\qquad D_c(H):=\frac{\sum_{e\in E(H)}c(e)}{|V(H)|-1}. \] This functional reduces to fractional arboricity when $c\equiv 1$, is isomorphism invariant, monotone under subgraphs and edge additions, positively homogeneous, and convex. We prove sharp global bounds \[ \max_{e\in E}c(e)\le A_c(G)\le\sum_{e\in E}c(e), \] with attainment by some connected subgraph. On the analytic side, we introduce a local variant and derive conductance--resistance inequalities using effective resistances in the ambient network. If $R^{G}_{\mathrm{eff}}(e)$ denotes the effective resistance between the endpoints of $e$ in $G$, we show that every connected $H\subseteq G$ satisfies \[ \sum_{e\in E(H)}c(e)\,R^{G}_{\mathrm{eff}}(e)\le |V(H)|-1, \] which in turn yields the upper bound \[ D_c(H)\le\sqrt{\frac{\sum_{e\in E(H)}c(e)/R^{G}_{\mathrm{eff}}(e)}{|V(H)|-1}} \] and hence an explicit effective resistance-based upper bound on $A_c(G)$. On the structural side, we describe the algebraic behavior of $A_c(G)$. We show that under edge-disjoint union, $A_c(G)$ behaves as a max invariant: for a finite disjoint union of weighted graphs one has $A_c(G)= \max_i A_{c_i}(G_i)$. In particular, disjoint union induces a commutative idempotent monoid structure at the level of isomorphism classes, with $A_c(G)$ idempotent with respect to this operation. We also provide a computational exhibit on the hypercube family $Q_d$, including random conductance sampling, illustrating numerical evaluation of the resulting resistance-based bound.
The Uniform Random Walk on graphs, loop processes and graphings
We define the Uniform Random Walk (URW) on a connected, locally finite graph as the weak limit of the uniform walk of length $n$ starting at a fixed vertex. When the limit exists, it is necessarily Markovian and is independent of the starting point. For a finite graph, URW equals the Maximal Entropy Random Walk (MERW).
We investigate the existence and phase transitions of URW for loop perturbed regular graphs and their limits. It turns out that for a sequence of finite graphs, it is the global spectral theory of the limiting graphing that governs the behavior of the finite MERWs.
In the delocalized phase, we use a "membrane argument", showing that the principal eigenfunction of an expander graphing is stable under a small diagonal perturbation. This gives us: 1) The existence of URW on leaves; 2) The URW is a unique entropy maximizer; 3) The MERW of a finite graph sequence Benjamini-Schramm converges to the URW of the limiting graphing.
In the localized phase, the environment seen by the particle takes the role of a finite stationary measure. We show that for canopy trees, the URW exists, is transient and maximizes entropy. We also show that for large finite graphs where most vertices have a fixed degree, localization of MERW is governed by the adjacency norm.
On the analogue of Esperet's conjecture: Characterizing hereditary classes
In the paper [J. Graph Theory (2023) 102:458-471, the Esperet's conjecture has been posed: Every $χ$-bounded hereditary class is poly-$χ$-bounded]. This conjecture was first posed in [Habilitation Thesis, Université Grenoble Alpes, 24, 2017]. This is adapted from the Gyárfás--Sumner's conjecture which has been asserted in [The Theory and Applications of Graphs, (G. Chartrand, ed.), John Wiley & Sons, New York, 1981, pp. 557-576].
Although the Esperet's conjecture is false in general, in this study we consider an analogue of Esperet's conjecture as follows: Let $C$ be a hereditary class of graphs, and $d \ge 1$. Suppose that there is a function $f$ such that $χ(G) \le f(τ_d(G))$ for each $G \in C$. Can we always choose $f$ to be a polynomial? We investigate this conjecture by focusing on specific classes of graphs. This work identifies hereditary graph classes that do not contain specific induced subdivisions of claws and confirms that they adhere to the stated conjecture.
Towards Esperet's Conjecture: Polynomial $χ$-Bounds for Structured Graph Classes
In this paper, we establish that the class of $\{P_6, (2,2)\text{-broom}\}$-free graphs contains a subclass $\mathcal{L}_i$, defined by certain cutset conditions, whose chromatic number admits a linear $χ$-bound. Building on recent results showing that broom-free graphs excluding $K_d(t)$ as a subgraph admit a polynomial bound in~$t$ on their chromatic number (A broom is obtained from a path with one end $v$ by adding leaves adjacent to $v$), we extend this result to the hereditary class $\mathcal{H}$ of $C_4$-free and \emph{$p$-flag}-free graphs (where a \emph{$p$-flag} is a triangle with an attached $p$-path). We show that if $G \in \mathcal{H}$ is $B^{+}(p+2, t-1)$-free (for $p \ge 2$ and $t \ge 3$, that is, if it excludes a generalized broom with an additional leaf), and does not contain $K_d(t)$ as a subgraph, then $χ(G)$ is polynomially bounded in $t$. Furthermore, for the subclass of $\mathcal{H}$ excluding $K_3(t)$ as a subgraph, we prove that $χ(G)$ is linearly $χ$-bounded in $ω(G)$.
Short Brooms in Edge-chromatic Critical Graphs
This paper studies short brooms in edge-chromatic critical graphs. We prove that for any short broom in a $Δ$-critical graph, at most one color is missing at more than one vertex. Moreover, this color (if exists) is missing at exactly two vertices. Applying this result, we verify the Vertex-splitting Conjecture for graphs with $Δ\geq 2(n-1)/3$ and the Overfull Conjecture for $Δ$-critical graphs satisfying $Δ\geq (2n+5δ-12)/3$.
The index of $t\mathcal{C}_{3}^{-}$-free signed graphs
Published
• View Publication
• BIB
The classical spectral Turán problem is to determine the maximum spectral radius of an $F$-free graph of order $n$. This paper extends this framework to signed graphs. Let $\mathcal{C}_r^-$ be the set of all unbalanced signed graphs with underlying graphs $C_r$. Wang, Hou and Li [Linear Algebra Appl, 681 (2024) 47-65] previously determined the spectral Turán number of $\mathcal{C}_{3}^{-}$. In the present work, we characterize the extremal graphs that achieve the maximum index among all unbalanced signed graphs of order $n$ that are $t\mathcal{C}{3}^{-}$-free for $t\geq 2$. Furthermore, for $t\geq 3$, we identify the graphs with the second maximum index among all $t\mathcal{C}{3}^{-}$-free unbalanced signed graphs of fixed order $n$.
Equidistant dimension of Cartesian product graphs
Published
• View Publication
• BIB
Given a connected graph $G$, the equidistant dimension of $G$ represents the cardinality of the smallest set of vertices $S$ of $G$ such that for any two vertices $x,y\notin S$ there is at least one vertex in $S$ equidistant to both $x,y$ in terms of distances. In this article, we compute the equidistant dimension of some Cartesian product graphs including two-dimensional Hamming graphs, some hypercubes, prisms of cycle, and squared grid graphs.
Quantitative indistinguishability and sparse and dense clusters in factor of IID percolations
Chifan-Ioana (2010) implies that, for any factor of IID percolation on any nonamenable Cayley graph $G$, there is a countable set of (strong) indistinguishability classes for non-hyperfinite clusters. We introduce quantitative strengthenings, called (qI) and (qSI): for $η$-non-hyperfinite clusters, there are at most $M(G,η)<\infty$ (strong) indistinguishability classes, for any FIID percolation.
We first show that (qI) and (qSI) for any $G$ are equivalent to the ``sparse implies thin'' property (SiT): any FIID percolation with $η$-non-hyperfinite clusters has density at least $c(G,η)>0$. Also, (SiT) is independent of the finite generating set of a group. We prove, using entropy inequalities, that (SiT) holds for free groups, even for weak FIIDs. On the other hand, recent work of Jardón-Sánchez, Mellick, Poulin, and Wróbel implies that (SiT) fails for weak FIIDs on non-exact, i.e., not property (A) groups.
Furthermore, (SiT) implies that the Bernoulli graphing over any non-hyperfinite FIID cluster is strongly ergodic, and that indistinguishability for non-hyperfinite FIID clusters is equivalent to strong indistinguishability. These results follow from the work of Chifan-Ioana for every nonamenable Cayley graph, but with non-probabilistic proofs.
We also prove, again using entropy inequalities, this time for all nonamenable Cayley graphs, that any FIID percolation with high enough expected degree must have a density close to 1, and there must be a single indistinguishability class of such clusters. On Kazhdan groups, there must be a single such cluster.
Our results have finite counterparts: in any large girth $d$-regular graph sequence, any FIID subgraph of average degree at least $2+δ$ must have density at least $c(d,δ)>0$. In the uniform random d-regular graph $G_{n,d}$, this holds for every subgraph of average degree at least $2+δ$.
Exact supported co-degree bounds for Hamilton cycles
For any $k\ge 3$ and $\ell \in [k-1]$ such that $(k,\ell) \ne (3,1)$, we show that any sufficiently large $k$-graph $G$ must contain a Hamilton $\ell$-cycle provided that it has no isolated vertices and every set of $k-1$ vertices contained in an edge is contained in at least $\left(1 - \frac{1}{\lfloor{\frac{k}{k-\ell}\rfloor}(k-\ell)}\right)n - (k - 3)$ edges. We also show that this bound is tight for infinitely many values of $k$ and $\ell$ and is off by at most $1$ for all others, and is hence essentially optimal. This improves an asymptotic version of this result due to Mycroft and Zárate-Guerén, and the case $\ell = k-1$ completely resolves a conjecture of Illingworth, Lang, Müyesser, Parczyk and Sgueglia.
These results support the utility of $\textit{minimum}$ $\textit{supported}$ $\textit{co-degree}$ conditions in a $k$-graph, a recently introduced variant of the standard notion of minimum co-degree applicable to $k$-graphs with non-trivial strong independent sets. Our proof techniques involve a novel blow-up tiling framework introduced by Lang, avoiding traditional approaches using the regularity and blow-up lemmas.
The local homological structure of generalized splines
Generalized splines are a simultaneous generalization of GKM theory -- which studies equivariant cohomology -- and classical splines, which provide piecewise approximations of functions. Generalized splines can also be understood via schemes, with the interpolation constraints -- or so-called GKM-condition -- encoded by gluing along certain closed subschemes. This view provides a local-global principle, with the local pictures retaining the generalized spline structure. Consequently, the behavior of generalized splines over local rings controls certain global phenomena, such as projectivity and often freeness.
We introduce an interface between the homological study of local rings and the combinatorial study of generalized splines. We identify precisely how the generalized spline structure coordinates with the existing homological local ring machinery. This is accomplished by two exact sequences that provide a regulatory structure on the local cohomology of a generalized spline module. As an application, we use this to prove that for any edge-labeled graph $G$ with principal ideal labels, and any Cohen-Macaulay ring $R$ of Krull dimension 2 at each maximal ideal, the module of splines $R_G$ is free, provided it has finite projective dimension. As a special case, this implies every generalized spline module over $k[x,y]$ with principal edge labels is free.
Progress on Albertson's Conjecture
Albertson conjectured that every graph with chromatic number $r$ has crossing number at least the crossing number of the complete graph $K_r$. This conjecture was proved for $r\le 12$ by Albertson, Cranston, and Fox; for $r\le 16$ by Barát and Tóth; and for $r\le 18$ by Ackerman. Here we verify it for $r\le 24$; we also greatly restrict the possibilities for counterexamples when $r\in\{25,26\}$. In addition, we strengthen earlier work bounding the order of a minimum counterexample for each choice of $r$: we exclude the possibility that $|G|\ge 2.82r$ and exclude the possibility that $1.228r\le |G|\le 1.768r$. Finally, as $r$ grows, we extend the lower end of this range of excluded orders for a minimum counterexample. In particular: if $r\ge 125{,}000$, then we exclude the possibility that $1.10r\le |G|\le 1.768r$; and if $r\ge 825{,}000$, then we exclude the possibility that $1.05r\le |G|\le 1.768r$.
Online Ramsey turnaround numbers
The online Ramsey turnaround game is a game between two players, Builder and Painter, on a board of $n$ vertices using $3$ colors, for a fixed graph $H$ on at most $n$ vertices. The goal of Painter is to force a monochromatic copy of $H$, the goal of Builder is to avoid this as long as possible. In each round of the game, Builder exposes one new edge and is allowed to forbid the usage of one color for Painter to color this newly exposed edge, and Painter colors the edge according to this restriction. The game is over as soon as Painter manages to achieve a monochromatic copy of $H$. For sufficiently large $n$, we consider the smallest number $f(n, H)$ of edges so that Painter can always win after $f(n, H)$ edges have been exposed by Builder. In addition, we define $f(H)$ to be the smallest $n$ such that Painter can always win on a clique with $n$ vertices. We give bounds for both functions and show that this problem is closely related to other concepts in extremal graph theory, such as polychromatic colorings, set-coloring Ramsey numbers, chromatic Ramsey numbers, and 2-color Turán numbers.
Berge Hamilton cycles in a random sparsification of dense hypergraphs
In the standard random graph process, edges are added to an initially empty graph one by one uniformly at random. A classic result by Ajtai, Komlós, and Szemerédi, and independently by Bollobás, states that in the standard random graph process, with high probability, the graph becomes Hamiltonian exactly when its minimum degree becomes $2$; this is known as a \emph{hitting time} result. Johansson extended this result by showing the following: For a graph $G$ with $δ(G) \geq (1/2+\varepsilon)n$, in the random graph process constrained to the host graph $G$, the hitting times for minimum degree $2$ and Hamiltonicity still coincide with high probability.
In this paper, we extend Johansson's result to Berge Hamilton cycles in hypergraphs. We prove that if an $r$-uniform hypergraph $H$ satisfies either $δ_1(H) \geq (\frac{1}{2^{r-1}} + \varepsilon)\binom{n-1}{r-1}$ or $δ_2(H) \geq \varepsilon n^{r-2}$, then in the random process generated by the edges of $H$, the time at which the hypergraph reaches minimum degree $2$ coincides with the time at which it contains a Berge Hamilton cycle with high probability. This generalizes the work of Bal, Berkowitz, Devlin, and Schacht, who established the result for the case where $H$ is a complete $r$-uniform hypergraph.
Stationary list colorings
Komjath studied the list chromatic number of infinite graphs and introduced the notion of restricted list chromatic number. For a graph $X=(V_X,E_X)$ and a cardinal $κ$, we say that $X$ is restricted list colorable for $κ$ if for every $L:V_X\to[κ]^κ$ there is a choice function $c$ of $L$ such that $c(v)\neq c(w)$ whenever ${v,w}\in E_X$. In this paper, we discuss a variation, stationary list colorability for $κ$, obtained by replacing $[κ]^κ$ with the set of all stationary subsets of $κ$. We compare the stationary list colorability with other coloring properties. Among other things, we prove that the stationary list colorability is essentially different from other coloring properties including the restricted list colorability. We also prove the consistency result showing that for some $κ<λ$, restricted and stationary list colorability at $κ$ do not imply the corresponding properties at $λ$.
Circular Chromatic Numbers, Balanceability, Relation Algebras, and Network Satisfaction Problems
In this paper, we characterize graphs with circular chromatic number less than 3 in terms of certain balancing labellings studied in the context of signed graphs. In fact, we construct a signed graph which is universal for all such labellings of graphs with circular chromatic number less than $3$, and is closely related to the generic circular triangle-free graph studied by Bodirsky and Guzmán-Pro. Moreover, our universal structure gives rise to a representation of the relation algebra $56_{65}$. We then use this representation to show that the network satisfaction problem described by this relation algebra belongs to NP. This concludes the full classification of the existence of a universal square representation, as well as the complexity of the corresponding network satisfaction problem, for relation algebras with at most four atoms.
Bell Numbers and Stirling Numbers of the Mycielskian of Trees
Published
• View Publication
• BIB
We establish explicit formulas for Bell numbers and graphical Stirling numbers of complete multipartite graphs, complete bipartite graphs with removed perfect matchings, and Mycielskian trees. For complete multipartite graphs $K(n_1,\ldots,n_\ell)$, we provide a simplified proof that $B(G) = \prod_{i=1}^\ell \bell{n_i}$. We derive $B(K_{n,n} - M) = \sum_{k=0}^{n} \binom{n}{k} \bell{k}^2$ for removed perfect matching $M$, and for Mycielskian star graphs, $B(M(St_n); 3) = 2^n + 1$ and $B(M(St_n); 2n) = 2n^2 - 3n + 3$. Results extend to Mycielskians of arbitrary trees. Our computational verifications establish links between graphical Bell numbers and fundamental sequences in combinatorics and pattern avoidance, including identification of several OEIS entries: A000051, A096376, A116735, A384980, A384981, A384988, A385432, and A385437.
A new improvement to the Overfull Conjecture
Let $G$ be a simple graph with order $n$, maximum degree $\D(G)$, minimum degree $δ(G)$ and chromatic index $χ'(G)$, respectively. A graph $G$ is called {\em $\D$-critical} if $χ'(G)=\D(G)+1$ and $χ'(H)\textless χ'(G)$ for every proper subgraph $H$ of $G$, and $G$ is overfull if $\left|E(G)\right|>Δ(G)\lfloor n/2\rfloor$. In 1986, Chetwynd and Hilton proposed the Overfull Conjecture: Every $\D$-critical graph $G$ with $\D(G)\textgreater\frac{n}{3}$ is overfull. The Overfull Conjecture has many implications, such as that it implies a polynomial-time algorithm for determining the chromatic index of graphs $G$ with $\D(G)\textgreater\frac{n}{3}$, and implies several longstanding conjectures in the area of graph edge coloring. Recently, Cao, Chen, Jing and Shan (SIAM J. Discrete Math. 2022) verified the Overfull Conjecture for $\D(G)-7δ(G)/4\ge (3n-17)/4$. In this paper, we improve it for $\D(G)-5δ(G)/3\ge (2n-7)/3$.
A linear upper bound on the zero-sum Ramsey number of forests in $\mathbb{Z}_p$
Let $m$ be a positive integer and let $G$ be a graph. The zero-sum Ramsey number $R(G,\mathbb{Z}_m)$ is the least integer $N$ (if it exists) such that for every edge-coloring $χ\, : \, E(K_N) \, \rightarrow \, \mathbb{Z}_m$ one can find a copy of $G$ in $K_N$ such that $\sum_{e \, \in \, E(G)}{χ(e)} \, = \, 0$.
In this paper, we show that, for every prime $p$, $$R(F,\mathbb{Z}_p)\leq n+9p-12$$ for every forest $F$ in $n\geq 3p^2-12p+11$ vertices with $p\mid e(F)$.