graph
34516 papers tagged with this keyword
Reductions in local certification
Local certification is a topic originating from distributed computing, where a prover tries to convince the vertices of a graph $G$ that $G$ satisfies some property $\mathcal{P}$. To convince the vertices, the prover gives a small piece of information, called certificate, to each vertex, and the vertices then decide whether the property $\mathcal{P}$ is satisfied by just looking at their certificate and the certificates of their neighbors. When studying a property $\mathcal{P}$ in the perspective of local certification, the aim is to find the optimal size of the certificates needed to certify $\mathcal{P}$, which can be viewed a measure of the local complexity of $\mathcal{P}$.
A certification scheme is considered to be efficient if the size of the certificates is polylogarithmic in the number of vertices. While there have been a number of meta-theorems providing efficient certification schemes for general graph classes, the proofs of the lower bounds on the size of the certificates are usually very problem-dependent.
In this work, we introduce a notion of hardness reduction in local certification, and show that we can transfer a lower bound on the certificates for a property $\mathcal{P}$ to a lower bound for another property $\mathcal{P}'$, via a (local) hardness reduction from $\mathcal{P}$ to $\mathcal{P}'$. We then give a number of applications in which we obtain polynomial lower bounds for many classical properties using such reductions.
Minimum degree edge-disjoint Hamilton cycles in random directed graphs
In this paper we consider the problem of finding ``as many edge-disjoint Hamilton cycles as possible'' in the binomial random digraph $D_{n,p}$. We show that a typical $D_{n,p}$ contains precisely the minimum between the minimum out- and in-degrees many edge-disjoint Hamilton cycles, given that $p\geq \log^{15} n/n$, which is optimal up to a factor of poly$\log n$.
Our proof provides a randomized algorithm to generate the cycles and uses a novel idea of generating $D_{n,p}$ in a sophisticated way that enables us to control some key properties, and on an ``online sprinkling'' idea as was introduced by Ferber and Vu.
Incidence Gain Graphs and Generalized Quadrangles
We demonstrate a construction method based on a gain function that is defined on the incidence graph of an incidence geometry. Restricting to when the incidence geometry is a linear space, we show that the construction yields a generalized quadrangle provided that the gain function satisfies a certain bijective property. Our method is valid for finite and infinite geometries. We produce a family of generalized quadrangles by defining such a gain function on an affine plane over an arbitrary field.
The spectral degree exponent of a graph
We propose the spectral degree exponent as a novel graph metric. Although Hofmeister \cite{HofmeisterThesis} has studied the same metric, we generalise Hofmeister's work to weighted graphs. We provide efficient iterative formulas and bounds for the spectral degree exponent and provide highly accurate asymptotic expansions for the spectral degree exponent for several families of graphs. Furthermore, we uncover a close relation between the spectral degree exponent and the well-known degree assortativity, by showing high correlations between the two metrics in all small graphs, several random graph models and many real-world graphs.
Preorder induced by rainbow forbidden subgraphs
A subgraph $H$ of an edge-colored graph $G$ is rainbow if all the edges of $H$ receive different colors. If $G$ does not contain a rainbow subgraph isomorphic to $H$, we say that $G$ is rainbow $H$-free. For connected graphs $H_1$ and $H_2$, if every rainbow $H_1$-free edge-colored complete graph colored in sufficiently many colors is rainbow $H_2$-free, we write $H_1\le H_2$. The binary relation $\le$ is reflexive and transitive, and hence it is a preorder. If $H_1$ is a subgraph of $H_2$, then trivially $H_1\le H_2$ holds. On the other hand, there exists a pair $(H_1, H_2)$ such that $H_1$ is a proper supergraph of $H_2$ and $H_1\le H_2$ holds. Cui et al.~[Discrete Math.~\textbf{344} (2021) Article Number 112267] characterized these pairs. In this paper, we investigate the pairs $(H_1, H_2)$ with $H_1\le H_2$ when neither $H_1$ nor $H_2$ is a subgraph of the other. We prove that there are many such pairs and investigate their structure with respect to $\le$.
What is the maximal connected partial symmetry index of a connected graph of a given size?
For a given graph, by its \emph{connected partial symmetry index} we mean the number of all isomorphisms between connected induced subgraphs of the graph. In this brief note we answer the question in the title.
Partitions of an Eulerian Digraph into Circuits
We investigate a cancellation property satisfied by a connected Eulerian digraph $D$. Namely, unless $D$ is a single directed cycle, we have $\sum_{k\geq 1} (-1)^{k} f_k(D)=0$, where $f_k(D)$ is the number of partitions of Eulerian circuits of $D$ into $k$ circuits. This property is a consequence of the fact that the Martin polynomial of a digraph has no constant term. We provide an alternative proof by employing Viennot's theory of Heaps of Pieces, and in particular, a bijection between closed trails of a digraph and heaps with a unique maximal piece, which are also in bijection with unique sink orientations of the intersection graphs $G_a$ of partitions $a$ of $E(D)$ into cycles. The argument considers the partition lattice of the edge set of a digraph $D$, restricted to the join-semilattice $T(D)$ induced by elements whose blocks are connected and Eulerian. The minimal elements of $T(D)$ are exactly the partitions of $D$ into cycles, and the up-set of a minimal element $a\in T(D)$ is shown to be isomorphic to the bond lattice $L(G_a)$. Using tools developed by Whitney and Rota, we perform Möbius inversion on $T(D)$ and obtain the claimed cancellation.
As a consequence of this alternative proof, we relate the Martin polynomial of a digraph directly to the chromatic polynomials of the intersection graphs of partitions of $D$ into cycles. Finally, we apply the cancellation property in order to deduce the classical Harary-Sachs Theorem for graphs of rank $2$ from a hypergraph generalization thereof, remedying a gap in a previous proof of this.
Representation Number of Word-Representable Split Graphs
A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. The word-representability of split graphs was studied in a series of papers in the literature, and the class of word-representable split graphs was characterized through semi-transitive orientation. Nonetheless, the representation number of this class of graphs is still not known. In general, determining the representation number of a word-representable graph is an NP-complete problem. In this work, through an algorithmic procedure, we show that the representation number of the class of word-representable split graphs is at most three. Further, we characterize the class of word-representable split graphs as well as the class of split comparability graphs which have representation number exactly three.
Graph parameters that are coarsely equivalent to tree-length
Two graph parameters are said to be coarsely equivalent if they are within constant factors from each other for every graph $G$. Recently, several graph parameters were shown to be coarsely equivalent to tree-length. Recall that the length of a tree-decomposition ${\cal T}(G)$ of a graph $G$ is the largest diameter of a bag in ${\cal T}(G)$, and the tree-length of $G$ is the minimum of the length, over all tree-decompositions of $G$. We present simpler and sometimes with better bounds proofs for those known in literature results and further extend this list of graph parameters coarsely equivalent to tree-length. Among other new results, we show that the tree-length of a graph $G$ is small if and only if for every bramble ${\cal F}$ (or every Helly family of connected subgraphs ${\cal F}$, or every Helly family of paths ${\cal F}$) of $G$, there is a disk in $G$ with small radius that intercepts all members of ${\cal F}$. Furthermore, the tree-length of a graph $G$ is small if and only if $G$ can be embedded with a small additive distortion to an unweighted tree with the same vertex set as in $G$ (not involving any Steiner points). Additionally, we introduce a new natural "bridging`` property for cycles, which generalizes a known property of cycles in chordal graphs, and show that it also coarsely defines the tree-length.
Spectral Sufficient Conditions for Graph Factors
The $\{K_{1,1}, K_{1,2},C_m: m\geq3\}$-factor of a graph is a spanning subgraph whose each component is an element of $\{K_{1,1}, K_{1,2},C_m: m\geq3\}$. In this paper, through the graph spectral methods, we establish the lower bound of the signless Laplacian spectral radius and the upper bound of the distance spectral radius to determine whether a graph admits a $\{K_2\}$-factor. We get a lower bound on the size (resp. the spectral radius) of $G$ to guarantee that $G$ contains a $\{K_{1,1}, K_{1,2},C_m: m\geq3\}$-factor. Then we determine an upper bound on the distance spectral radius of $G$ to ensure that $G$ has a $\{K_{1,1}, K_{1,2},C_m: m\geq3\}$-factor. Furthermore, by constructing extremal graphs, we show that the above all bounds are best possible.
Pósa rotation through a random permutation
What minimum degree of a graph $G$ on $n$ vertices guarantees that the union of $G$ and a random $2$-factor (or permutation) is with high probability Hamiltonian? Girão and Espuny D{\'ı}az showed that the answer lies in the interval $[\tfrac15 \log n, n^{3/4+o(1)}]$. We improve both the upper and lower bounds to resolve this problem asymptotically, showing that the answer is $(1+o(1))\sqrt{n\log n/2}$. Furthermore, if $G$ is assumed to be (nearly) regular then we obtain the much stronger bound that any degree growing at least polylogarithmically in $n$ is sufficient for Hamiltonicity. Our proofs use some insights from the rich theory of random permutations and a randomised version of the classical technique of Pósa rotation adapted to multiple exposure arguments.
Strongly Regular Graphs with Generalized Denniston and Dual Generalized Denniston Parameters
We construct two families of strongly regular Cayley graphs, or equivalently, partial difference sets, based on elementary abelian groups. The parameters of these two families are generalizations of the Denniston and the dual Denniston parameters, in contrast to the well known Latin square type and negative Latin square type parameters. The two families unify and subsume a number of existing constructions which have been presented in various contexts such as strongly regular graphs, partial difference sets, projective sets, and projective two-weight codes, notably including Denniston's seminal construction concerning maximal arcs in classical projective planes with even order. Our construction generates further momentum in this area, which recently saw exciting progress on the construction of the analogue of the famous Denniston partial difference sets in odd characteristic.
Explosive appearance of cores and bootstrap percolation on lattices
Consider the process where the $n$ vertices of a square $2$-dimensional torus appear consecutively in a random order. We show that typically the size of the $3$-core of the corresponding induced unit-distance graph transitions from $0$ to $n-o(n)$ within a single step. Equivalently, by infecting the vertices of the torus in a random order, under two-neighbour bootstrap percolation, the size of the infected set transitions instantaneously from $o(n)$ to $n$. This hitting time result answers a question of Benjamini.
We also study the much more challenging and general setting of bootstrap percolation on two-dimensional lattices for a variety of finite-range infection rules. In this case, powerful but fragile bootstrap percolation tools such as the rectangles process and the Aizenman-Lebowitz lemma become unavailable. We develop a new method complementing and replacing these standard techniques, thus allowing us to prove the above hitting time result for a wide family of threshold bootstrap percolation rules on the $2$-dimensional square lattice, including neighbourhoods given by large $\ell^p$ balls for $p\in[1,\infty]$.
Matchings in Hypercubes Extend to Long Cycles
The $n$-dimensional hypercube graph $Q_n$ has as vertices all subsets of $\{1, \ldots, n\}$, and an edge between any two sets that differ in a single element. The Ruskey-Savage conjecture states that every matching of the $n$-dimensional hypercube $Q_n$ can be extended into a Hamilton cycle. We prove that matchings of $Q_n$ containing edges spanning at most $d = 5$ directions can be extended into a Hamilton cycle. We also characterize when these matchings of most $d = 5$ directions can be extended into a Hamilton path between two prescribed vertices. Our proofs work for arbitrary $d$ and $n$ where $d \le n$ assuming some extension properties hold in $Q_d$ which we verified by a computer for $d=5$.
The finite basis problem for additively idempotent semirings that relate to S_7
The $3$-element additively idempotent semiring $S_7$ is a nonnitely based algebra of the smallest possible order. In this paper we study the nite basis problem for some additively idempotent semirings that relate to $S_7$. We present a su cient condition under which an additively idempotent semiring variety is nonnitely based and as applications, show that some additively idempotent semiring varieties that contain $S_7$ are also nonnitely based. We then consider the subdirectly irreducible members of the variety $\mathsf{V}(S_7)$ generated by $S_7$. We show that $\mathsf{V}(S_7)$ contains exactly $6$ finitely based subvarieties, all of which sit at the base of the subvariety lattice, then invoke results from the homomorphism theory of Kneser graphs to verify that $\mathsf{V}(S_7)$ contains a continuum of subvarieties.
Reconstructing hypergraph matching polynomials
By utilizing the recently developed hypergraph analogue of Godsil's identity by the second author, we prove that for all $n \geq k \geq 2$, one can reconstruct the matching polynomial of an $n$-vertex $k$-uniform hypergraph from the multiset of all induced sub-hypergraphs on $\lfloor \frac{k-1}{k}n \rfloor + 1$ vertices. This generalizes the well-known result of Godsil on graphs in 1981 to every uniform hypergraph. As a corollary, we show that for every graph $F$, one can reconstruct the number of $F$-factors in a graph under analogous conditions. We also constructed examples that imply the number $\lfloor \frac{k-1}{k}n \rfloor + 1$ is the best possible for all $n\geq k \geq 2$ with $n$ divisible by $k$.
Toric ideal of matching polytopes and edge colorings
In the present paper, we investigate the maximal degree of minimal generators of the toric ideal of the matching polytope of a graph. It is known that the toric ideal associated to a bipartite graph is generated by binomials of degree at most $3$. We show that this fact is equivalent to a result in the theory of edge colorings of bipartite multigraphs. Moreover, a characterization of bipartite graphs whose toric ideals are generated by quadratic binomials is given. Finally, we discuss the maximal degree of minimal generators of the toric ideal associated to a general graph and give a conjecture.
On a hypergraph Mantel theorem
An $r$-graph is a triangle if there exists a positive integer $i \le \lceil r/2 \rceil$ such that it is isomorphic to the following $r$-graph with three edges: \begin{align*}
\left\{\{1, \ldots, r\},~\{1, \ldots, i, r+1, \ldots, 2r-i\},~\{i+1, \ldots, r, r+1, 2r-i+1, \ldots,2r-1\}\right\}. \end{align*} We prove an Andr{á}sfai--Erdős--Sós-type stability theorem for triangle-free $r$-graphs. In particular, it implies that for large $n$, the unique extremal triangle-free construction on $n$ vertices is the balanced complete $r$-partite $r$-graph. The latter result answers a question by Mubayi and Pikhurko~{\cite[Problem~20]{MPS11}} on weakly triangle-free $r$-graphs for large $n$ in a stronger form. The proof combines the recently introduced entropic technique of Chao--Yu~\cite{CY24} with the framework developed in~\cite{LMR23unif,HLZ24}.
Well-failed graphs
In this paper we begin the study of well-failed graphs, that is, graphs in which every maximal failed zero forcing set is a maximum failed zero forcing set, or equivalently, in which every minimal fort is a minimum fort. We characterize trees that are well-failed. Along the way, we prove that the set of vertices in a graph that are not in any minimal fort is identical to the set of vertices that are in no minimal zero forcing set, which allows us to characterize vertices in a tree that are in no minimal fort.
The General Position Problem: A Survey
Inspired by a chessboard puzzle of Dudeney, the general position problem in graph theory asks for a largest set $S$ of vertices in a graph such that no three elements of $S$ lie on a common shortest path. The number of vertices in such a largest set is the \emph{general position number} of the graph. This paper provides a survey of this rapidly growing problem, which now has an extensive literature. We cover exact results for various graph classes and the behaviour of the general position number under graph products and operations. We also discuss interesting variations of the general position problem, including those corresponding to different graph convexities, as well as dynamic, fractional, colouring and game versions of the problem.