graph
34516 papers tagged with this keyword
Even cycles in graphs avoiding longer even cycles
A conjecture of Verstraëte states that for any fixed $\ell < k$ there exists a positive constant $c$ such that any $C_{2k}$-free graph $G$ contains a $C_{2\ell}$-free subgraph with at least $c |E(G)|$ edges. For $\ell = 2$, this conjecture was verified by Kühn and Osthus. We show that $C_6$ and $C_{2k}$ satisfy the conjecture for all odd $k$, but observe that a recent construction of a dense $C_{10}$-free subgraph of the hypercube yields a counterexample to the conjecture for $C_8$ and $C_{10}$.
Complexity and Algorithm for the Matching vertex-cutset Problem
In 1985, Chvátal introduced the concept of star cutsets as a means to investigate the properties of perfect graphs, which inspired many researchers to study cutsets with some specific structures, for example, star cutsets, clique cutsets, stable cutsets. In recent years, approximation algorithms have developed rapidly, the computational complexity associated with determining the minimum vertex cut possessing a particular structural property have attracted considerable academic attention.
In this paper, we demonstrate that determining whether there is a matching vertex-cutset in $H$ with size at most $k$, is $\mathbf{NP}$-complete, where $k$ is a given positive integer and $H$ is a connected graph. Furthermore, we demonstrate that for a connected graph $H$, there exists a $2$-approximation algorithm in $O(nm^2)$ for us to find a minimum matching vertex-cutset. Finally, we show that every plane graph $H$ satisfying $H\not\in\{K_2, K_4\}$ contains a matching vertex-cutset with size at most three, and this bound is tight.
On the Existence of Balanced Chain Rule Task Sets
In mathematics education research, mathematics task sets involving mixed practice include tasks from many different topics within the same assignment. In this paper, we use graph decompositions to construct mixed practice task sets for Calculus I, focusing on derivative computation tasks, or tasks of the form "Compute $f'(x)$ of the function $f(x)=$ [elementary function]." A decomposition $D$ of a graph $G=(V,E)$ is a collection $\{H_1, H_2, ... , H_t\}$ of nonempty subgraphs such that $H_i=G[E_i]$ for some nonempty subset $E_i$ of $E(G)$, and $\{E_1, E_2, ... , E_t\}$ is a partition of $E(G)$. We extend results on decompositions of the complete directed graph due to Meszka and Skupień to construct balanced task sets that assess the Chain Rule.
Arrangements of circles supported by small chords and compatible with natural real algebraic functions
We have previously proposed a study of arrangements of small circles which also surround regions in the plane realized as the images of natural real algebraic maps yielding Morse-Bott functions by projections. Among studies of arrangements, families of smooth regular submanifolds in smooth manifolds, this study is fundamental, explicit, and new, surprisingly.
We have obtained a complete list of local changes of the graphs the regions naturally collapse to in adding a (generic) small circle to an existing arrangement of the proposed class. Here, we propose a similar and essentially different class of arrangements of circles. The present study also yields real algebraic maps and nice real algebraic functions similarly and we present a similar study.
We are interested in topological properties and combinatorics among such arrangements and regions and applications to constructing such real algebraic maps and manifolds explicitly and understanding their global structures.
Complexity of approximate conflict-free, linearly-ordered, and nonmonochromatic hypergraph colourings
Using the algebraic approach to promise constraint satisfaction problems, we establish complexity classifications of three natural variants of hypergraph colourings: standard nonmonochromatic colourings, conflict-free colourings, and linearly-ordered colourings.
Firstly, we show that finding an $\ell$-colouring of a $k$-colourable $r$-uniform hypergraph is NP-hard for all constant $2\leq k\leq \ell$ and $r\geq 3$. This provides a shorter proof of a celebrated result by Dinur et al. [FOCS'02/Combinatorica'05].
Secondly, we show that finding an $\ell$-conflict-free colouring of an $r$-uniform hypergraph that admits a $k$-conflict-free colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, except for $r=4$ and $k=2$ (and any $\ell$); this case is solvable in polynomial time. The case of $r=3$ is the standard nonmonochromatic colouring, and the case of $r=2$ is the notoriously difficult open problem of approximate graph colouring.
Thirdly, we show that finding an $\ell$-linearly-ordered colouring of an $r$-uniform hypergraph that admits a $k$-linearly-ordered colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, thus improving on the results of Nakajima and Živný [ICALP'22/ACM TocT'23].
A note on the computational complexity of weak saturation
Published
• View Publication
• BIB
We prove that determining the weak saturation number of a host graph $F$ with respect to a pattern graph $H$ is already a computationally hard problem when $H$ is the triangle. As our main tool we establish a connection between weak saturation and shellability of simplicial complexes.
The random graph process is globally synchronizing
The homogeneous Kuramoto model on a graph $G = (V,E)$ is a network of $|V|$ identical oscillators, one at each vertex, where every oscillator is coupled bidirectionally (with unit strength) to its neighbors in the graph. A graph $G$ is said to be globally synchronizing if, for almost every initial condition, the homogeneous Kuramoto model converges to the all-in-phase synchronous state. Confirming a conjecture of Abdalla, Bandeira, Kassabov, Souza, Strogatz, and Townsend, we show that with high probability, the random graph process becomes globally synchronizing as soon as it is connected. This is best possible, since connectivity is a necessary condition for global synchronization.
Realizing the Tutte polynomial as a cut-and-paste K-theoretic invariant
Cut-and-paste $K$-theory is a new variant of higher algebraic $K$-theory that has proven to be useful in problems involving decompositions of combinatorial and geometric objects, e.g., scissors congruence of polyhedra and reconstruction problems in graph theory. In this paper, we show that this novel machinery can also be used in the study of matroids. Specifically, via the $K$-theory of categories with covering families developed by Bohmann-Gerhardt-Malkiewich-Merling-Zakharevich, we realize the Tutte polynomial map of Brylawski (also known as the universal Tutte-Grothendieck invariant for matroids) as the $K_0$-homomorphism induced by a map of $K$-theory spectra.
Characterizing finite groups whose order supergraphs satisfy a connectivity condition
Let $Γ$ be an undirected and simple graph. A set $ S $ of vertices in $Γ$ is called a {cyclic vertex cutset} of $Γ$ if $Γ- S$ is disconnected and has at least two components each containing a cycle. If $Γ$ has a cyclic vertex cutset, then it is said to be {cyclically separable}. For any finite group $G$, the order supergraph $\mathcal{S}(G)$ is the simple and undirected graph whose vertices are elements of $G$, and two vertices are adjacent if as elements of $G$ the order of one divides the order of the other. In this paper, we characterize the finite nilpotent groups and various non-nilpotent groups, such as the dihedral groups, the dicyclic groups, the EPPO groups, the symmetric groups, and the alternating groups, whose order supergraphs are cyclically separable.
Colouring random Hasse diagrams and box-Delaunay graphs
Fix $d\ge2$ and consider a uniformly random set $P$ of $n$ points in $[0,1]^{d}$. Let $G$ be the Hasse diagram of $P$ (with respect to the coordinatewise partial order), or alternatively let $G$ be the Delaunay graph of $P$ with respect to axis-parallel boxes (where we put an edge between $u,v\in P$ whenever there is an axis-parallel box containing $u,v$ and no other points of $P$).
In each of these two closely related settings, we show that the chromatic number of $G$ is typically $(\log n)^{d-1+o(1)}$ and the independence number of $G$ is typically $n/(\log n)^{d-1+o(1)}$. When $d=2$, we obtain bounds that are sharp up to constant factors: the chromatic number is typically of order $\log n/\log\log n$ and the independence number is typically of order $n\log\log n/\log n$.
These results extend and sharpen previous bounds by Chen, Pach, Szegedy and Tardos. In addition, they provide new bounds on the largest possible chromatic number (and lowest possible independence number) of a $d$-dimensional box-Delaunay graph or Hasse diagram, in particular resolving a conjecture of Tomon.
Local Limits of Small World Networks
Small-world networks, known for their high local clustering and short average path lengths, are a fundamental structure in many real-world systems, including social, biological, and technological networks. We apply the theory of local convergence (Benjamini-Schramm convergence) to derive the limiting behavior of the local structures for two of the most commonly studied small-world network models: the Watts-Strogatz model and the Kleinberg model. Establishing local convergence enables us to show that key network measures, such as PageRank, clustering coefficients, and maximum matching size, converge as network size increases with their limits determined by the graph's local structure. Additionally, this framework facilitates the estimation of global phenomena, such as information cascades, using local information from small neighborhoods. As an additional outcome of our results, we observe a critical change in the behavior of the limit exactly when the parameter governing long-range connections in the Kleinberg model crosses the threshold where decentralized search remains efficient, offering a new perspective on why decentralized algorithms fail in certain regimes.
Acyclic Edge Coloring of 3-sparse Graphs
A proper edge coloring of a graph without any bichromatic cycles is said to be an acyclic edge coloring of the graph. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum integer $k$ such that $G$ has an acyclic edge coloring with $k$ colors. Fiamčík conjectured that for a graph $G$ with maximum degree $Δ$, $a'(G) \le Δ+2$. A graph $G$ is said to be $3$-sparse if every edge in $G$ is incident on at least one vertex of degree at most $3$. We prove the conjecture for the class of $3$-sparse graphs. Further, we give a stronger bound of $Δ+1$, if there exists an edge $xy$ in the graph with $d_G(x)+ d_G(y) < Δ+3$. When $ Δ> 3$, the $3$-sparse graphs where no such edge exists is the set of bipartite graphs where one partition has vertices with degree exactly $3$ and the other partition has vertices with degree exactly $Δ$.
Complexity Gaps between Point and Interval Temporal Graphs for some Reachability Problems
Temporal graphs arise when modeling interactions that evolve over time. They usually come in several flavors, depending on the number of parameters used to describe the temporal aspects of the interactions: time of appearance, duration, delay of transmission. In the point model, edges appear at specific points in time, whereas in the more general interval model, edges can be present over specific time intervals. In both models, the delay for traversing an edge can change with each edge appearance. When time is discrete, the two models are equivalent in the sense that the presence of an edge during an interval is equivalent to a sequence of point-in-time occurrences of the edge. However, this transformation can drastically change the size of the input and has implications for complexity. Indeed, we show a gap between the two models with respect to the complexity of the classical problem of computing a fastest temporal path from a source vertex to a target vertex, i.e. a path where edges can be traversed one after another in time and such that the total duration from source to target is minimized. It can be solved in near-linear time in the point model, while we show that the interval model requires quadratic time under classical assumptions of fine-grained complexity. With respect to linear time, our lower bound implies a factor of the number of vertices, while the best known algorithm has a factor of the number of underlying edges. We also show a similar complexity gap for computing a shortest temporal path, i.e. a temporal path with a minimum number of edges. Here our lower bound matches known upper bounds up to a logarithmic factor. Interestingly, we show that near-linear time for fastest temporal path computation is possible in the interval model when it is restricted to uniform delay zero, i.e., when traversing an edge is instantaneous. However, this special case is not exempt from our lower bound for shortest temporal path computation. These two results should be contrasted with the computation of a foremost temporal path, i.e., a temporal path that arrives as early as possible. It is well known that this computation can be solved in near-linear time in both models. We also show that there is no gap in testing the all-to-all temporal connectivity of a temporal graph. We demonstrate a quadratic lower bound that applies to both the interval and point models and aligns with the existing upper bounds.
A study on $T$-equivalent graphs
In his article [J. Comb. Theory Ser. B 16 (1974), 168-174], Tutte called two graphs $T$-equivalent (i.e., codichromatic) if they have the same Tutte polynomial and showed that graphs $G$ and $G'$ are $T$-equivalent if $G'$ is obtained from $G$ by flipping a rotor (i.e., replacing it by its mirror) of order at most $5$, where a rotor of order $k$ in $G$ is an induced subgraph $R$ having an automorphism $ψ$ with a vertex orbit $\{ψ^i(u): i\ge 0\}$ of size $k$ such that every vertex of $R$ is only adjacent to vertices in $R$ unless it is in this vertex orbit. In this article, we first show the above result due to Tutte can be extended to a rotor $R$ of order $k\ge 6$ if the subgraph of $G$ induced by all those edges of $G$ which are not in $R$ satisfies certain conditions. Also, we provide a new method for generating infinitely many non-isomorphic $T$-equivalent pairs of graphs.
Tiling $H$ in dense graphs
We determine asymptotically the two extremal constructions for the tiling problem of the $H$-shaped tree. In particular, the first extremal construction is close to the complement of two cliques, in contrast to previously studied bipartite graphs, where the first extremal construction is close to the complement of a single clique. This result refutes one of Lang's conjectures [arXiv:2308.12281], which seeks to generalize the Erdős Matching Conjecture.
Newton-Okounkov bodies obtained from certain orbits of plabic graphs
We investigate the plabic graphs corresponding to the quadrilateral Postnikov arrangements used by J.Scott to equip the homogeneous coordinate rings of Grassmannians with a cluster structure. More precisely we describe their orbits under the natural action of the dihedral group and show that the associated Newton-Okounkov bodies are all unimodular equivalent to Gelfand-Tsetlin polytopes.
Extremal distance spectra of graphs and essential connectivity
A graph is non-trivial if it contains at least one nonloop edge. The essential connectivity of $G$, denoted by $κ'(G)$, is the minimum number of vertices of $G$ whose removal produces a disconnected graph with at least two components are non-trivial. In this paper, we determine the $n$-vertex graph of given essential connectivity with minimum distance spectral radius. We also characterize the extremal graphs attaining the minimum distance spectral radius among all connected graphs with fixed essential connectivity and minimum degree. Furthermore, we characterize the extremal digraphs with minimum distance spectral radius among the strongly connected digraphs with given essential connectivity.
Excluding a rectangular grid
For every positive integer $k$, we define the $k$-treedepth as the largest graph parameter $\mathrm{td}_k$ satisfying (i) $\mathrm{td}_k(\emptyset)=0$; (ii) $\mathrm{td}_k(G) \leq 1+ \mathrm{td}_k(G-u)$ for every graph $G$ and every vertex $u \in V(G)$; and (iii) if $G$ is a $(<k)$-clique-sum of $G_1$ and $G_2$, then $\mathrm{td}_k(G) \leq \max \{\mathrm{td}_k(G_1),\mathrm{td}_k(G_2)\}$, for all graphs $G_1,G_2$. This parameter coincides with treedepth if $k=1$, and with treewidth plus $1$ if $k \geq |V(G)|$. We prove that for every positive integer $k$, a class of graphs $\mathcal{C}$ has bounded $k$-treedepth if and only if there is a positive integer $\ell$ such that for every tree $T$ on $k$ vertices, no graph in $\mathcal{C}$ contains $T \square P_\ell$ as a minor. This implies for $k=1$ that a minor-closed class of graphs has bounded treedepth if and only if it excludes a path, for $k=2$ that a minor-closed class of graphs has bounded $2$-treedepth if and only if it excludes as a minor a ladder (Huynh, Joret, Micek, Seweryn, and Wollan; Combinatorica, 2021), and for large values of $k$ that a minor-closed class of graphs has bounded treewidth if and only if it excludes a grid (Grid-Minor Theorem, Robertson and Seymour; JCTB, 1986). As a corollary, we obtain the following qualitative strengthening of the Grid-Minor Theorem in the case of bounded-height grids. For all positive integers $k, \ell$, every graph that does not contain the $k \times \ell$ grid as a minor has $(2k-1)$-treedepth at most a function of $(k, \ell)$.
Forcing Quasirandomness in a Regular Tournament
A tournament $H$ is said to force quasirandomness if it has the property that a sequence $(T_n)_{n\in \mathbb{N}}$ of tournaments of increasing orders is quasirandom if and only if the homomorphism density of $H$ in $T_n$ tends to $(1/2)^{\binom{v(H)}{2}}$ as $n\to\infty$. It was recently shown that there is only one non-transitive tournament with this property. This is in contrast to the analogous problem for graphs, where there are numerous graphs that are known to force quasirandomness and the well known Forcing Conjecture suggests that there are many more. To obtain a richer family of characterizations of quasirandomness in tournaments, we propose a variant in which the tournaments $(T_n)_{n\in \mathbb{N}}$ are assumed to be "nearly regular." We characterize the tournaments on at most 5 vertices which force quasirandomness under this stronger assumption.
Antidirected trees in directed graphs
The Komlós-Sárközy-Szemerédi (KSS) theorem establishes that a certain bound on the minimum degree of a graph guarantees it contains all bounded degree trees of the same order. Recently several authors put forward variants of this result, where the tree is of smaller order than the host graph, and the host graph also obeys a maximum degree condition. Also, Kathapurkar and Montgomery extended the KSS theorem to digraphs. We bring these two directions together by establishing minimum and maximum degree bounds for digraphs that ensure the containment of oriented trees of smaller order. Our result is restricted to balanced antidirected trees of bounded degree. More precisely, we show that for every $γ> 0$, $c\in\mathbb{R}$, $\ell\geq 2$ sufficiently large $n$ and all $k\geqγn$, the following holds for every $n$-vertex digraph $D$ and every balanced antidirected tree $T$ with $k$ arcs whose total maximum degree is bounded by $(\log n)^c$. If $D$ has a vertex of outdegree at least $(1+γ)(\ell -1)k$, a vertex of indegree at least $(1+γ)(\ell -1)k$ and minimum semidegree $δ^0(D)\geq\left(\frac{\ell}{2\ell -1}+γ\right)k$, then $D$ contains $T$.