graph
34516 papers tagged with this keyword
A note on the saturation number for unions of three cliques
A graph $G$ is $F$-saturated if $G$ contains no copy of $F$ but $G+e$ contains a copy of $F$ for every missing edge $e$ of $G$. The saturation number $\sat(n,F)$ is the minimum number of edges in an $n$-vertex $F$-saturated graph. Motivated by a problem posed by Faudree, Ferrara, Gould, and Jacobson concerning $K_p\cup K_q\cup K_{q+1}$, we determine the saturation number and the unique extremal graph for $K_p\cup K_q\cup K_r$ whenever $2\le p\le q<r<p+q$ and $n$ is sufficiently large.
Together with the previously known results for $r\ge p+q$ and for $r=q$, this completes the determination of the saturation number and the extremal graphs for unions of three cliques, for all sufficiently large $n$.
Proper conflict-free 7-coloring of planar graphs
A proper conflict-free coloring is a proper vertex coloring in which every nonisolated vertex has a color occurring uniquely in its open neighborhood. We prove that every graph with neither a $K_5$-minor nor a $Q_6$-minor admits such a coloring with at most seven colors, where $Q_6=K_3\vee\overline{K_3}$. In particular, this improves the previous general upper bound of eight for planar graphs. The proof combines a previously developed iterated distance-three selector construction with a general anchor-contraction lifting principle. The first supplies independently colored witnesses in closed neighborhoods, while the second combines those witnesses with a proper coloring of a suitable minor. We also develop the parity analogue of the first mechanism and show that, whenever the $K_{k+1}$ case of Hadwiger's conjecture holds, every $K_{k+1}$-minor-free graph can be proper vertex colored with $2k-1$ colors such that every nonisolated vertex has a color occurring an odd number of times in its open neighborhood.
Odd-Cycle Span Defect: A Polynomial Lower Bound and a Square-Root Upper Bound
For a graph $G$, let $ψ(G)=\max\{χ(G[V(C)]):C$ is an odd cycle of $G\}$, with $ψ(G)=0$ when $G$ is bipartite. For positive integers $N$, set $F(N)=\max\{χ(G)-ψ(G):|V(G)|\le N\}$. The function $F$ measures the finite-order additive gap arising from an open problem of Erdos and Hajnal. We prove $N^{1/6-o(1)}\le F(N)<\sqrt{6N}$. The lower bound raises the finite-order scale supplied by the Cameron-Clow path-colour construction from $\log N/\log\log N$ to a fixed power of $N$. Its proof constructs a palette-code graph from a binary covering code $\mathcal{C}\subseteq\{0,1\}^p$ and establishes the exact identities $χ(G)=2p+\ell-ρ(\mathcal{C})$ and $ψ(G)=2p$. Near-middle Hamming coverings yield the exponent $1/6$. The upper bound combines Polavarapu's connectivity theorem, the Chvatal-Erdos Hamiltonicity theorem, and maximum-independent-set stripping.
Block Sensitivity can exceed Spectral Sensitivity Squared
The spectral sensitivity $λ(f)$ of a Boolean function is the largest eigenvalue of the adjacency matrix of its sensitivity graph. It lower-bounds every standard measure of query complexity, and Aaronson, Ben-David, Kothari, Rao and Tal, who introduced it, asked whether block sensitivity is at most quadratic in it: is $bs(f)=O(λ(f)^{2})$? We show that it is not. We construct a total Boolean function on $2017584$ variables with $bs(f)\ge 14011$ and $λ(f)\le 89.0162$, so that $bs(f)\geλ(f)^{2.127}$, and hence by composition a family with $λ(f_n)\to\infty$ and $bs(f_n)=Ω(λ(f_n)^{2.127})$. The function is the indicator of a union of $k$ subcubes indexed by the vertices of a doubly regular tournament, and the freedom left in the construction is fixed by the Lovász local lemma. The main result has been formally verified in Lean. We also give numerical evidence that a member of the same family on $1255$ variables reaches an exponent near $2.20$, and exhibit a member on $30$ variables whose exponent already exceeds $2$ and whose spectral sensitivity can be computed exactly.
Minimal inversion of a permuton sample
Given a permutation $σ$, its corresponding \textit{inversion graph} is obtained by adding an edge between $i<j$ if and only if $σ(i)>σ(j)$. The first results on random inversion graphs come from Acan and Pittel, who studied the connected threshold for a uniform permutation with fixed inversion number, and Bhattacharya and Mukherjee, who mostly focused on the degrees of the graph when the permutation is chosen uniformly at random.
In this work, we call \textit{minimal inversion} the minimal degree of the inversion graph and extend a theorem from Bhattacharya and Mukherjee to the case where the permutation is not only uniform, but obtained as the ordering of points sampled according to some distribution on the plane. Under regularity assumptions on the distribution, and for the appropriate $α>0$, we show that the probability that the minimal inversion rescaled by $n^{α/(α+1)}$ is larger than $t$ behaves like $\exp(-ct^{α+1})$ for some constant $c>0$ depending on the distribution. We further show that every $α>0$ admits at least one corresponding distribution, thus proving that the minimal inversion can asymptotically scale as $n^β$ for any $β\in[0,1]$ (the cases $β=0$ and $β=1$ being obtained via the identity and anti-identity permutations, among others).
The Aldous property for normal Cayley graphs on symmetric groups
Aldous' spectral gap conjecture states that the random walk and the interchange process on any connected graph have the same spectral gap, or, equivalently, the second largest eigenvalue of any connected Cayley graph on the symmetric group $S_n$ with respect to a set of transpositions is achieved by the standard representation of $S_n$. This celebrated conjecture, proved in its general form in 2010, has inspired much interest in searching for other Cayley graphs on $S_n$ possessing this property, now known as the Aldous property. In this paper, we first prove that for $n \ge 5$ at most one of a normal Cayley graph on $S_n$ and its complement can possess the Aldous property except when these two graphs are $2K_{n!/2}$ and $K_{n!/2,n!/2}$ respectively. We then determine, for sufficiently large $n$, all normal Cayley graphs $\mathrm{Cay}(S_n, S)$ that have the Aldous property, except for the case when $S$ contains a permutation with support size in $\{2, 3, \dots, n-2\}$ and a permutation with support size in $\{n-1, n\}$, but not all permutations with support size $n$ are contained in $S$. In particular, we show that a non-complete normal Cayley graph $\mathrm{Cay}(S_n, S)$ does not have the Aldous property if all permutations in $S$ have support size $n-1$ or $n$, or all permutations with support size $n$ are contained in $S$, thereby solving an open problem posed by Li, Xia and Zhou in 2023. Along the way we determine all normal Cayley graphs on $S_n$ that are line graphs, and classify all normal Cayley graphs on $S_n$ with the strictly second largest eigenvalue at most $1$.
On the $2$-dimensional flow number of the Flower snarks
Let $r\ge 2$ be a real number, $d$ a positive integer. A $d$-dimensional nowhere-zero $r$-flow, or $(r,d)$-NZF, on a graph $G$ is an orientation of $G$ together with a function $f\colon E(G)\to \mathbb{R}^d$, such that for all $e\in E(G)$, the Euclidean norm of $f(e)$ lies in the interval $[1,r-1]$, and for every $v\in V(G)$ the sum of all incoming flow values at $v$ equals the sum of all outgoing ones. The $d$-dimensional flow number of $G$ is the parameter $φ_d(G)=\inf \{r\colon G$ has an $(r,d)$-NZF$\}$.
In this paper we provide a lower bound for the $2$-dimensional flow number of the the Flower snark. In particular, together with a previous numerical result by the authors, we prove that $φ_2(J_n) \in [1 + 2 \sin\frac{5}{22}π, 2.387893647]$, where $J_n$ denotes the Flower snark on $4n$ vertices.
Higher-Dimensional Symbolic Dynamics: A Textile Framework For 3-graphs
Textile systems are best known to model two-dimensional shifts of finite type. In this article, we associate a discrete algebra with a textile system and provide a groupoid model for it. When the textile system is left-resolving, this algebra coincides with the Kumjian--Pask algebra of the associated $2$-graph. The main objective of this paper is to extend textile systems to dimension $3$ so that the resulting structures can, on the one hand, capture all three-dimensional shifts of finite type and, on the other hand, provide a textile-like framework for $3$-graphs extending the well-known connection between $2$-graphs and left-resolving textile systems. We introduce a model of a three-dimensional textile system and investigate the interplay between such textile systems and $3$-graphs. In particular, our investigation shows that the conditions required to form a $3$-graph from a $3$-colored graph (including the delicate associativity condition on tricolored paths), can be encoded in terms of simple pullback diagrams arising from the textile data. We also define homology groups for three-dimensional textiles and prove that these groups coincide with the homology groups of the associated $3$-graphs, thus establishing that our construction is homologically consistent with $3$-graphs.
Temporal Role Colouring
A role colouring of a graph $G$ is an assignment of colours to the vertices of $G$ such that two vertices of the same colour have identical sets of colours in their neighbourhoods. This model is used to capture the idea of vertices having roles in a contact network, consistent with the set of roles of their contacts. We define an extension of the role colouring problem to temporal graphs. Temporal roles are defined via an automaton with states and transitions capturing both the current colour of a vertex and information about its current and past adjacencies. We show, by a reduction from the static problem, that the temporal role colouring problem is NP-complete. To contend with this intractability, we explore several parameterisations. We give fixed-parameter tractability results with respect to the number of states of the automaton combined with either the vertex-interval-membership width or the tree-interval-membership width of the temporal graph. We further show the problem is in FPT parameterised by the treewidth of the underlying graph, the lifetime of the temporal graph and the number of colours combined.
Chebyshev Recurrence Structures for Reduced Spectral Functions of Cyclic Circulant Graphs
Let $S$ be a nonempty finite set of positive integers, let $q=\max S$, and let $B_n(S)$, $n>2q$, be the normalized product sequence associated with the Chebyshev-type polynomial of the cyclic circulant graph $G_n(S)$. When $G_n(S)$ is connected, $B_n(S)$ is both the normalized spanning-tree number and a normalized special value of the \emph{reduced spectral function}, a determinant-type function constructed from the non-trivial adjacency spectrum. Chebyshev root representations and the existence of linear recurrences for fixed-step circulant spanning-tree sequences are known. Starting from these representations, we explicitly construct a monic annihilating polynomial $\mathcal H_S(X)\in\mathbb Z[X]$ of degree $3^{q-1}$, which yields a general upper bound for the recurrence order of $B_n(S)$. By collecting coincident exponential bases and accounting for possible cancellations, we determine the minimal annihilating polynomial and give a sufficient condition under which the minimal recurrence order is exactly $3^{q-1}$. For $S=\{1,2,3\}$ and $S=\{1,3\}$, we explicitly derive the corresponding ninth-degree annihilating polynomials and prove their minimality.
Structural Classification of a Graph with Independence Number Five
The independence polynomial of a simple graph $G$ is given by \( I_G(z) = i_0 + i_1 z + i_2 z^2 + \cdots + i_αz^α\), where \( i_α\) denotes the size of a maximum independent set, also called the independence number of the graph. The independence polynomial has the notable feature of being essentially closed under graph composition (lexicographic product). In this paper, we determine the independence polynomials of size five. For a disconnected graph $G$, we exploit the fact that $I_G(z)$ factors as the product of the independence polynomials of the connected components of $G$. Furthermore, we classify all independence polynomials that can occur for such a disconnected graph $G$ and, by examining their component structures, we characterize the disconnected configurations that may arise.
Monochromatic cycle partitions in 3-mean edge-colourings
Given $r \in \mathbb{N}$ and an edge-coloured complete graph such that the average number of colours incident with a vertex is at most $r$, Conlon and Stein asked whether there is a vertex partition into a bounded number of monochromatic cycles, and proved this for $r=2$. We settle the first open case by proving the corresponding statement for $r=3$.
Strong invariants and Tverberg numbers in convexity spaces
Helly, Carathéodory, and Radon numbers encode three kinds of finite certificates in a convexity space: for the emptiness of an intersection, for membership in a convex hull, and for the existence of intersecting hulls. We study exact versions of these certificates, in which a subfamily must preserve the whole intersection or a subset must preserve the whole hull. Our first main result shows that, for finite configurations in an arbitrary convexity space, five a priori different boundedness conditions are equivalent: VC-dimension, strong Helly number, strong Carathéodory number, comatching number, and strong Radon number (with the expected additive-one shift). We also obtain equivalent layered Tverberg-type decompositions and colorful consequences.
The common mechanism is exposed by the bipartite incidence graph between points and a generating family. For finite spaces, the unique minimal generator yields a natural dual convexity space; we characterize double dualization and prove that the strong parameters are duality invariant. The same model gives a polynomial-size, $O(t^4)$, realization of Bukh's counterexample to the Calder-Eckhoff partition conjecture.
Finally, we obtain the first Tverberg bound for separable convexity spaces that is simultaneously linear in the number of parts and polynomial in the Radon number. If an $S_3$-separable convexity space has Helly number $h$ and its halfspaces have VC-dimension $d$, then $r_t=O(dh\log h)\,t$; in particular, Radon number $r$ gives $r_t=O(r^2\log r)\,t$. The bound attains the weak-Eckhoff scale $O(rt)$ whenever the Helly number is bounded. For axis-parallel box convexity in $\mathbb{R}^k$, gives the optimal order $r_t=O(rt)$ uniformly in every dimension. This appears to be the first dimension-uniform estimate of weak-Eckhoff order for box convexity, whereas the previous direct theory was confined to dimension three.
Edge-Span Chern Algebras of Graphical Configuration Spaces
Place the vertices of a finite graph at projective points. Each edge defines a span map to $\mathrm{Gr}(2,n)$; the pulled-back Chern classes generate a graded algebra $A_G^{(n)}$. This assignment is a covariant graph functor, so the abstract graded-algebra type is a graph invariant. In ambient dimension four, the Hilbert series is incomparable with the chromatic and Tutte polynomials. On five vertices in dimension three, the $34$ graph classes yield $33$ algebra types, strictly refining both classical polynomials. For every tree $T$, we obtain a closed Hilbert-series formula depending only on $|V(T)|$ and $n$, while $A_T^{(3)}$ determines $T$ up to isomorphism. More precisely, its cubic relation data is a complete tree invariant of polynomial size. Finally, the graphical configuration space embeds as a dense open in the picture variety, and picture spaces with equal additive homology can have nonisomorphic edge-Chern algebras.
On some perfect matching conjectures in infinite, cubic, bridgeless graphs
The Berge-Fulkerson Conjecture states that every bridgeless cubic graph has six perfect matchings such that each edge belongs to exactly two of them. This conjecture has remained open since 1971, and several of its weakenings have been proposed over the years. Two of the most prominent are the Fan-Raspaud Conjecture and the Máčajová-Škoviera Conjecture. It is well known that the Berge-Fulkerson Conjecture implies the Fan-Raspaud Conjecture, which in turn implies the Máčajová-Škoviera Conjecture. These problems have been studied for years in the context of finite graphs, and many equivalences between them and other results have been established. However, little to nothing is known about them in the context of infinite graphs. In this paper, we investigate whether these conjectures remain valid in the infinite setting, establish their implications in analogy to the finite case, and prove that their finite versions are equivalent to their respective infinite versions.
Bipartite Extremal Numbers of Trees
We study a restriction of the classical Erdős--Sós problem, the extremal number of trees, to the class of bipartite host graphs, both when only the order of the host is prescribed and when its two part-sizes are fixed. We give natural lower-bound constructions and formulate corresponding linear upper-bound conjectures. We apply a weighted variant of $k$-minimality to prove upper bounds for a broad family of trees including brooms, trees with part-sizes differing by at most one, and all trees on at most 7 vertices, resolving part of a problem of Caro, Patkós and Tuza up to additive constants. We also relate the fixed-part extremal number of a tree to the ordinary extremal number, and consider an oriented bipartite extremal function analogous to the Zarankiewicz function.
A minimum-degree threshold for colour-biased Hamilton cycles in hypergraphs
We determine the asymptotically best possible minimum vertex degree condition forcing a two-coloured $3$-graph to contain a colour-biased tight Hamilton cycle. This confirms a conjecture of Hàn, Lang, Marciano, Pavez-Signé, Sanhueza-Matamala, Treglown and Zárate-Guerén.
Exact-Distance Domination in Grid Graphs
Let \(G_n\) be the \(n\times n\) square grid, and let \(k\geq 2\). A set \(D\subseteq V(G_n)\) is an \emph{exact-distance \(k\)-dominating set} if every vertex \(v\in V(G_n)\setminus D\) has a vertex \(u\in D\) with \(d(u,v)=k\). We write \(D_{\mathrm{opt}}^{(k)}(G_n)\) for the minimum cardinality of such a set. For every fixed \(k\), consider the limit \[ δ_k= \lim_{n\to\infty} \frac{D_{\mathrm{opt}}^{(k)}(G_n)}{n^2}. \]
We prove that, for every fixed \(k\geq 3\), \[ \frac{1}{4k} \leq δ_k \leq \frac{k-1}{3k^2-k-1}. \] For \(k=2\), the lower and upper bounds coincide asymptotically, giving \(δ_2=1/9\).
Mixed metric dimension of $2$-connected graphs
We show that for a $2$-connected graph $G$ which is not a cycle, the mixed metric dimension of $G$ is at most $2c(G)$, where $c(G)$ is cyclomatic number of $G$. As an immediate application, we prove a conjecture proposed by Sedlar and Škrekovski.
Optimal tree-decompositions with bags of bounded pathwidth
We show that every planar graph has a tree-decomposition with optimal width such that the subgraph induced by each bag has pathwidth at most 3. This bound is best possible, and for tree-decompositions that satisfy a certain minimality condition, we in fact give a precise description of the possible structures in each bag. Moreover, we show that the union of any $k$ bags has pathwidth $O(k)$. We also show that graphs excluding a fixed double-apex-forest minor have a tree-decomposition with optimal width such that the subgraph induced by each bag has bounded pathwidth. This includes graphs embeddable on any fixed surface. As a byproduct of our machinery, we give a new proof of the linear grid minor theorem for planar graphs.