graph
35436 papers tagged with this keyword
On the subgraph query problem
Published in Combinator. Probab. Comp. 30 (2021) 1-16
• View Publication
• BIB
Given a fixed graph $H$, a real number $p\in(0,1)$, and an infinite Erdős-Rényi graph $G\sim G(\infty,p)$, how many adjacency queries do we have to make to find a copy of $H$ inside $G$ with probability $1/2$? Determining this number $f(H,p)$ is a variant of the {\it subgraph query problem} introduced by Ferber, Krivelevich, Sudakov, and Vieira. For every graph $H$, we improve the trivial upper bound of $f(H,p) = O(p^{-d})$, where $d$ is the degeneracy of $H$, by exhibiting an algorithm that finds a copy of $H$ in time $o(p^{-d})$ as $p$ goes to $0$. Furthermore, we prove that there are $2$-degenerate graphs which require $p^{-2+o(1)}$ queries, showing for the first time that there exist graphs $H$ for which $f(H,p)$ does not grow like a constant power of $p^{-1}$ as $p$ goes to $0$. Finally, we answer a question of Feige, Gamarnik, Neeman, Rácz, and Tetali by showing that for any $δ< 2$, there exists $α< 2$ such that one cannot find a clique of order $α\log_2 n$ in $G(n,1/2)$ in $n^δ$ queries.
Cutting Multiparticle Correlators Down to Size
Published in Phys. Rev. D 101, 036019 (2020)
• View Publication
• BIB
Multiparticle correlators are mathematical objects frequently encountered in quantum field theory and collider physics. By translating multiparticle correlators into the language of graph theory, we can gain new insights into their structure as well as identify efficient ways to manipulate them. In this paper, we highlight the power of this graph-theoretic approach by "cutting open" the vertices and edges of the graphs, allowing us to systematically classify linear relations among multiparticle correlators and develop faster methods for their computation. The naive computational complexity of an $N$-point correlator among $M$ particles is $\mathcal O(M^N)$, but when the pairwise distances between particles can be cast as an inner product, we show that all such correlators can be computed in linear $\mathcal O(M)$ runtime. With the help of new tensorial objects called Energy Flow Moments, we achieve a fast implementation of jet substructure observables like $C_2$ and $D_2$, which are widely used at the Large Hadron Collider to identify boosted hadronic resonances. As another application, we compute the number of leafless multigraphs with $d$ edges up to $d = 16$ (15,641,159), conjecturing that this is the same as the number of independent kinematic polynomials of degree $d$, previously known only to $d=8$ (279).
Towards Gallai's path decomposition conjecture
Published
• View Publication
• BIB
A path decomposition of a graph G is a collection of edge-disjoint paths of G that covers the edge set of G. Gallai (1968) conjectured that every connected graph on n vertices admits a path decomposition of cardinality at most (n+1)/2. Seminal results towards its verification consider the graph obtained from G by removing its vertices of odd degree, which is called the E-subgraph of G. Lovász (1968) verified Gallai's Conjecture for graphs whose E-subgraphs consist of at most one vertex, and Pyber (1996) verified it for graphs whose E-subgraphs are forests. In 2005, Fan verified Gallai's Conjecture for graphs in which each block of their E-subgraph is triangle-free and has maximum degree at most 3. Let calG be the family of graphs for which (i) each block has maximum degree at most 3; and (ii) each component either has maximum degree at most 3 or has at most one block that contains triangles. In this paper, we generalize Fan's result by verifying Gallai's Conjecture for graphs whose E-subgraphs are subgraphs of graphs in calG. This allows the components of the E-subgraphs to contain any number of blocks with triangles as long as they are subgraphs of graphs in calG.
Matchings in 1-planar graphs with large minimum degree
Published
• View Publication
• BIB
In 1979, Nishizeki and Baybars showed that every planar graph with minimum degree 3 has a matching of size $\frac{n}{3}+c$ (where the constant $c$ depends on the connectivity), and even better bounds hold for planar graphs with minimum degree 4 and 5. In this paper, we investigate similar matching-bounds for {\em 1-planar} graphs, i.e., graphs that can be drawn such that every edge has at most one crossing. We show that every 1-planar graph with minimum degree 3 has a matching of size at least $\frac{1}{7}n+\frac{12}{7}$, and this is tight for some graphs. We provide similar bounds for 1-planar graphs with minimum degree 4 and 5, while the case of minimum degree 6 and 7 remains open.
Packing $(1,1,2,2)$-coloring of some subcubic graphs
Published
• View Publication
• BIB
For a sequence of non-decreasing positive integers $S = (s_1, \ldots, s_k)$, a packing $S$-coloring is a partition of $V(G)$ into sets $V_1, \ldots, V_k$ such that for each $1\leq i \leq k$ the distance between any two distinct $x,y\in V_i$ is at least $s_i+1$. The smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring is called the packing chromatic number of $G$ and is denoted by $χ_p(G)$. For a graph $G$, let $D(G)$ denote the graph obtained from $G$ by subdividing every edge. The question whether $χ_p(D(G)) \le 5$ for all subcubic graphs was first asked by Gastineau and Togni and later conjectured by Bresar, Klavzar, Rall and Wash. Gastineau and Togni observed that if one can prove every subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable then the conjecture holds. The maximum average degree, mad($G$), is defined to be $\max\{\frac{2|E(H)|}{|V(H)|}: H \subset G\}$. In this paper, we prove that subcubic graphs with $mad(G)<\frac{30}{11}$ are packing $(1,1,2,2)$-colorable. As a corollary, the conjecture of Bresar et al holds for every subcubic graph $G$ with $mad(G)<\frac{30}{11}$.
Boundary-type Sets of Strong Product of Directed Graphs
Published
• View Publication
• BIB
Let $D=(V,E)$ be a strongly connected digraph and let $u ,v\in V(D)$. The maximum distance $md (u,v)$ is defined as\\ $md(u,v)$=max\{$\overrightarrow{d}(u,v), \overrightarrow{d}(v,u)$\} where $\overrightarrow{d}(u,v)$ denote the length of a shortest directed $u-v$ path in $D$. This is a metric. The boundary, contour, eccentric and peripheral sets of a strong digraph $D$ with respect to this metric have been defined, and the above said metrically defined sets of a large strong digraph $D$ have been investigated in terms of the factors in its prime factor decomposition with respect to Cartesian product. In this paper we investigate about the above boundary-type sets of a strong digraph $D$ in terms of the factors in its prime factor decomposition with respect to strong product.
A Polynomial Kernel for Paw-Free Editing
For a fixed graph $H$, the $H$-free-editing problem asks whether we can modify a given graph $G$ by adding or deleting at most $k$ edges such that the resulting graph does not contain $H$ as an induced subgraph. The problem is known to be NP-complete for all fixed $H$ with at least $3$ vertices and it admits a $2^{O(k)}n^{O(1)}$ algorithm. Cai and Cai showed that the $H$-free-editing problem does not admit a polynomial kernel whenever $H$ or its complement is a path or a cycle with at least $4$ edges or a $3$-connected graph with at least $1$ edge missing. Their results suggest that if $H$ is not independent set or a clique, then $H$-free-editing admits polynomial kernels only for few small graphs $H$, unless $\textsf{coNP} \in \textsf{NP/poly}$. Therefore, resolving the kernelization of $H$-free-editing for small graphs $H$ plays a crucial role in obtaining a complete dichotomy for this problem. In this paper, we positively answer the question of compressibility for one of the last two unresolved graphs $H$ on $4$ vertices. Namely, we give the first polynomial kernel for paw-free editing with $O(k^{6})$vertices.
Evolution of Cooperation for Multiple Mutant Configurations on All Regular Graphs with $N \leq 14$ players
Published
• View Publication
• BIB
We study the emergence of cooperation in structured populations with any arrangement of cooperators and defectors on the evolutionary graph. Using structure coefficients defined for configurations describing such arrangements of any number of mutants, we provide results for weak selection to favor cooperation over defection on any regular graph with $N \leq 14$ vertices. Furthermore, the properties of graphs that particularly promote cooperation are analyzed. It is shown that the number of graph cycles of certain length is a good predictor for the values of the structure coefficient, and thus a tendency to favor cooperation. Another property of particularly cooperation-promoting regular graphs with a low degree is that they are structured to have blocks with clusters of mutants that are connected by cut vertices and/or hinge vertices.
Counting extensions revisited
Published in Random Structures and Algorithms 61 (2022) 3-30
• View Publication
• BIB
We consider rooted subgraphs in random graphs, i.e., extension counts such as (i) the number of triangles containing a given vertex or (ii) the number of paths of length three connecting two given vertices. In 1989, Spencer gave sufficient conditions for the event that, with high probability, these extension counts are asymptotically equal for all choices of the root vertices. For the important strictly balanced case, Spencer also raised the fundamental question as to whether these conditions are necessary. We answer this question by a careful second moment argument, and discuss some intriguing problems that remain open.
Absence of $1$-Nearly Platonic Graphs
A $t$-nearly platonic graph is a finite, connected, regular, simple and planar graph in which all but exactly $t$ numbers of its faces have the same length. It is proved that there is no 2-connected $1$-nearly platonic graph. In this paper, we prove that there is no $1$-nearly platonic graph.
Pliability and Approximating Max-CSPs
Published in Journal of the ACM 70(6) Article No. 41 (2023)
• View Publication
• BIB
We identify a sufficient condition, treewidth-pliability, that gives a polynomial-time algorithm for an arbitrarily good approximation of the optimal value in a large class of Max-2-CSPs parameterised by the class of allowed constraint graphs (with arbitrary constraints on an unbounded alphabet). Our result applies more generally to the maximum homomorphism problem between two rational-valued structures.
The condition unifies the two main approaches for designing a polynomial-time approximation scheme. One is Baker's layering technique, which applies to sparse graphs such as planar or excluded-minor graphs. The other is based on Szemerédi's regularity lemma and applies to dense graphs. We extend the applicability of both techniques to new classes of Max-CSPs. On the other hand, we prove that the condition cannot be used to find solutions (as opposed to approximating the optimal value) in general.
Treewidth-pliability turns out to be a robust notion that can be defined in several equivalent ways, including characterisations via size, treedepth, or the Hadwiger number. We show connections to the notions of fractional-treewidth-fragility from structural graph theory, hyperfiniteness from the area of property testing, and regularity partitions from the theory of dense graph limits. These may be of independent interest. In particular we show that a monotone class of graphs is hyperfinite if and only if it is fractionally-treewidth-fragile and has bounded degree.
Hamiltonicity of Domination Vertex-Critical Claw-Free Graphs
A graph $G$ is said to be $k$-$γ$-vertex critical if the domination numbers $γ(G)$ of $G$ is $k$ and $γ(G - v) < k$ for any vertex $v$ of $G$. Similarly, A graph $G$ is said to be $k$-$γ_{c}$-vertex critical if the connected domination numbers $γ_{c}(G)$ of $G$ is $k$ and $γ_{c}(G - v) < k$ for any vertex $v$ of $G$. The problem of interest is to determine whether or not $2$-connected $k$-$γ$-vertex critical graphs are Hamiltonian. In this paper, for all $k \geq 3$, we provide a $2$-connected $k$-$γ$-vertex critical graph which is non-Hamiltonian. We prove that every $2$-connected $3$-$γ$-vertex critical claw-free graph is Hamiltonian and the condition claw-free is necessary. For $k$-$γ_{c}$-vertex critical graphs, we present a new method to prove that every $2$-connected $3$-$γ_{c}$-vertex critical claw-free graph is Hamiltonian. Moreover, for $4 \leq k \leq 5$, we prove that every $3$-connected $k$-$γ_{c}$-vertex critical claw-free graph is Hamiltonian. We show that the condition claw-free is necessary by giving $k$-$γ_{c}$-vertex critical non-Hamiltonian graphs containing a claw as an induced subgraph for $3 \leq k \leq 5$.
Structural Properties of Connected Domination Critical Graphs
Published
• View Publication
• BIB
A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G)$ is equal to $k$ and $γ_{c}(G + uv) < k$ for any pair of non-adjacent vertices $u$ and $v$ of $G$. Let $ζ$ be the number of cut vertices of $G$ and let $ζ_{0}$ be the maximum number of cut vertices that can be contained in one block. For an integer $\ell \geq 0$, a graph $G$ is $\ell$-factor critical if $G - S$ has a perfect matching for any subset $S$ of vertices of size $\ell$. It was proved that, for $k \geq 3$, every $k$-$γ_{c}$-critical graph has at most $k - 2$ cut vertices and the graphs with maximum number of cut vertices were characterized. It was proved further that, for $k \geq 4$, every $k$-$γ_{c}$-critical graphs satisfies the inequality $ζ_{0}(G) \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, ζ\right\}$. In this paper, we characterize all $k$-$γ_{c}$-critical graphs having $k - 3$ cut vertices. Further, we establish realizability that, for given $k \geq 4$, $2 \leq ζ\leq k - 2$ and $2 \leq ζ_{0} \le \min \left\{ \left\lfloor \frac{k + 2}{3} \right\rfloor, ζ\right\}$, there exists a $k$-$γ_{c}$-critical graph with $ζ$ cut vertices having a block which contains $ζ_{0}$ cut vertices. Finally, we proved that every $k$-$γ_{c}$-critical graph of odd order with minimum degree two is $1$-factor critical if and only if $1 \leq k \leq 2$. Further, we proved that every $k$-$γ_{c}$-critical $K_{1, 3}$-free graph of even order with minimum degree three is $2$-factor critical if and only if $1 \leq k \leq 2$.
Independence and Connectivity of Connected Domination Critical Graphs
A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G) = k$ and $γ_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Let $δ, κ$ and $α$ be respectively the minimum degree, the connectivity and the independence number. In this paper, we show that a $3$-$γ_{c}$-critical graph $G$ satisfies $α\leq κ+ 2$. Moreover, if $κ\geq 3$, then $α= κ+ p$ if and only if $α= δ+ p$ for all $p \in \{1, 2\}$. We show that the condition $κ+ 1 \leq α\leq κ+ 2$ is best possible to prove that $κ= δ$. By these result, we conclude our paper with an open problem on Hamiltonian connected of $3$-$γ_{c}$-critical graphs.
Linear Time Recognition of Equimatchable Split Graphs
A maximal matching $M$ that consists of independent edges is a subgraph of a simple and undirected graph $G$ for which $G-M$ forms an independent set. A graph $G$ is called equimatchable if all maximal matchings have the same number of edges. On the other hand, $G$ is called as a split graph if its vertices can be partitioned into two subsets for which one of them forms a clique whereas the second forms an independent set. We will give a linear time algorithm for recognition of equimatchable split graphs.
Induced arithmetic removal: complexity 1 patterns over finite fields
Published in Israel J. Math. 248 (2022), 1--38
• View Publication
• BIB
We prove an arithmetic analog of the induced graph removal lemma for complexity 1 patterns over finite fields. Informally speaking, we show that given a fixed collection of $r$-colored complexity 1 arithmetic patterns over $\mathbb F_q$, every coloring $φ\colon \mathbb F_q^n \setminus\{0\} \to [r]$ with $o(1)$ density of every such pattern can be recolored on an $o(1)$-fraction of the space so that no such pattern remains.
The matroid stratification of the Hilbert scheme of points on P^1
Published
• View Publication
• BIB
Given a homogeneous ideal $I$ in a polynomial ring over a field, one may record, for each degree $d$ and for each polynomial $f\in I_d$, the set of monomials in $f$ with nonzero coefficients. These data collectively form the tropicalization of $I$. Tropicalizing ideals induces a "matroid stratification" on any (multigraded) Hilbert scheme. Very little is known about the structure of these stratifications.
In this paper, we explore many examples of matroid strata, including some with interesting combinatorial structure, and give a convenient way of visualizing them. We show that the matroid stratification in the Hilbert scheme of points $(\mathbb{P}^1)^{[k]}$ is generated by all Schur polynomials in $k$ variables. We end with an application to the $T$-graph problem of $(\mathbb{A}^2)^{[n]}$; classifying this graph is a longstanding open problem, and we establish the existence of an infinite class of edges.
On a new graph defined on the order of elements of a finite group
In this paper, a new graph structure called the \textit{coprime order graph} of a finite group $G$ denoted by $Θ(G)$ has been introduced. The \textit{coprime graph} of a finite group introduced by Ma, Wei, and Yang [\textit{The coprime graph of a group. International Journal of Group Theory, 3(3), pp.13-23.}] is a subgraph of the \textit{coprime order graph} introduced in this paper. The vertex set of $Θ(G)$ is $G$, and any two vertices $x,y$ in $Θ(G)$ are adjacent if and only if $\gcd(o(x),o(y))$ is equal to $1$ or a prime number. We study how the graph properties of $Θ(G)$ and group properties of $G$ are related among themselves. We provide a necessary and sufficient condition for $Θ(G)$ to be Eulerian for any finite group $G$. We also study $Θ(G)$ for certain finite groups like $\mathbb Z_n$ and $\mbox D_n$ and derive conditions when it is connected, complete, planar, and Hamiltonian for various $n\in \mathbb N$. We also study the vertex connectivity of $Θ(\mathbb Z_n)$ for various $n\in \mathbb N.$ Finally, we have computed the signless Laplacian spectrum of $Θ(G)$ when $G=\mathbb Z_n$ and $G=\mbox D_n$ for $n\in \{pq,p^m\}$ where $p,q$ are distinct primes and $m\in \mathbb{N}$.
A note on totally-omnitonal graphs
Let the edges of the complete graph $K_n$ be coloured red or blue, and let $G$ be a graph with $|V(G)| < n$. Then ot(n,G) is defined to be the minimum integer, if it exists, such that any such colouring of $K_n$ contains a copy of $G$ with $r$ red edges and $b$ blue edges for any $r,b \geq 0$ with $r+b= e(G)$. If ot(n,G) exists for every sufficiently large $n$, we say that $G$ is \emph{omnitonal}. Omnitonal graphs were introduced by Caro, Hansberg and Montejano [arXiv:1810.12375,2019]. Now let $G_1$, $G_2$ be two copies of $G$ with their edges coloured red or blue. If there is a colour-preserving isomorphism from $G_1$ to $G_2$ we say that the 2-colourings of $G$ are equivalent. Now we define tot(n,G) to be the minimum integer, if it exists, such that any such colouring of $K_n$ contains all non-quivalent colourings of $G$ with $r$ red edges and $b$ blue edges for any $r,b \geq 0$ with $r+b= e(G)$. If tot(n, G) exists for every sufficiently large $n$, we say that G is \emph{totally-omnitotal}.
In this note we show that the only totally-omnitonal graphs are stars or star forests namely a forest all of whose components are stars.
Almost all trees have quantum symmetry
Published
• View Publication
• BIB
From the work of Erdős and Rényi from 1963 it is known that almost all graphs have no symmetry. In 2017, Lupini, Mančinska and Roberson proved a quantum counterpart: Almost all graphs have no quantum symmetry. Here, the notion of quantum symmetry is phrased in terms of Banica's definition of quantum automorphism groups of finite graphs from 2005, in the framework of Woronowicz's compact quantum groups. Now, Erdős and Rényi also proved a complementary result in 1963: Almost all trees do have symmetry. The crucial point is the almost sure existence of a cherry in a tree. But even more is true: We almost surely have two cherries in a tree - and we derive that almost all trees have quantum symmetry. We give an explicit proof of this quantum counterpart of Erdős and Rényi's result on trees.