graph
35436 papers tagged with this keyword
Fractional decompositions and the smallest-eigenvalue separation
Published
• View Publication
• BIB
A new method is introduced for bounding the separation between the value of $-k$ and the smallest eigenvalue of a non-bipartite $k$-regular graph. The method is based on fractional decompositions of graphs. As a consequence we obtain a very short proof of a generalization and strengthening of a recent result of Qiao, Jing, and Koolen [Non-bipartite distance-regular graphs with a small smallest eigenvalue, Electronic J. Combin. 26(2) (2019), P2.41] about the smallest eigenvalue of non-bipartite distance-regular graphs.
The sandpile group of a polygon flower
Published
• View Publication
• BIB
Let $C_t$ be a cycle of length $t$, and let $P_1,\ldots,P_t$ be $t$ polygon chains. A polygon flower $F=(C_t; P_1,\ldots,P_t)$ is a graph obtained by identifying the $i$th edge of $C_t$ with an edge $e_i$ that belongs to an end-polygon of $P_i$ for $i=1,\ldots,t$. In this paper, we first give an explicit formula for the sandpile group $S(F)$ of $F$, which shows that the structure of $S(F)$ only depends on the numbers of spanning trees of $P_i$ and $P_i/ e_i$, $i=1,\ldots,t$. By analyzing the arithmetic properties of those numbers, we give a simple formula for the minimum number of generators of $S(F)$, by which a sufficient and necessary condition for $S(F)$ being cyclic is obtained. Finally, we obtain a classification of edges that generate the sandpile group.
Although the main results concern only a class of outerplanar graphs, the proof methods used in the paper may be of much more general interest. We make use of the graph structure to find a set of generators and a relation matrix $R$, which has the same form for any $F$ and has much smaller size than that of the (reduced) Laplacian matrix, which is the most popular relation matrix used to study the sandpile group of a graph.
An approximate version of Jackson's conjecture
Published
• View Publication
• BIB
In 1981 Jackson showed that the diregular bipartite tournament (a complete bipartite graph whose edges are oriented so that every vertex has the same in- and outdegree) contains a Hamilton cycle, and conjectured that in fact the edge set of it can be partitioned into Hamilton cycles. We prove an approximate version of this conjecture: For every $c>1/2$ and $\varepsilon>0$ there exists $n_0$ such that every $cn$-regular bipartite digraph on $2n\geq n_0$ vertices contains $(1-\varepsilon)cn$ edge-disjoint Hamilton cycles.
Random cographs: Brownian graphon limit and asymptotic degree distribution
Published
• View Publication
• BIB
We consider uniform random cographs (either labeled or unlabeled) of large size. Our first main result is the convergence towards a Brownian limiting object in the space of graphons. We then show that the degree of a uniform random vertex in a uniform cograph is of order $n$, and converges after normalization to the Lebesgue measure on $[0,1]$. We finally analyze the vertex connectivity (i.e. the minimal number of vertices whose removal disconnects the graph) of random connected cographs, and show that this statistics converges in distribution without renormalization. Unlike for the graphon limit and for the degree of a random vertex, the limiting distribution is different in the labeled and unlabeled settings.
Our proofs rely on the classical encoding of cographs via cotrees. We then use mainly combinatorial arguments, including the symbolic method and singularity analysis.
A new class of polynomials from to the spectrum of a graph, and its application to bound the $k$-independence number
Published
• View Publication
• BIB
The $k$-independence number of a graph is the maximum size of a set of vertices at pairwise distance greater than $k$. A graph is called $k$-partially walk-regular if the number of closed walks of a given length $l\le k$, rooted at a vertex $v$, only depends on $l$. In particular, a distance-regular graph is also $k$-partially walk-regular for any $k$. In this note, we introduce a new family of polynomials obtained from the spectrum of a graph. These polynomials, together with the interlacing technique, allow us to give tight spectral bounds on the $k$-independence number of a $k$-partially walk-regular graph. Together with some examples where the bounds are tight, we also show that the odd graph $O_{\ell}$ with $\ell$ odd has no $1$-perfect code.
Measuring the local non-convexity of real algebraic curves
Published in Journal of Symbolic Computation, available online 7 July 2020
• View Publication
• BIB
The goal of this paper is to measure the non-convexity of compact and smooth connected components of real algebraic plane curves. We study these curves first in a general setting and then in an asymptotic one. In particular, we consider sufficiently small levels of a real bivariate polynomial in a small enough neighbourhood of a strict local minimum at the origin of the real affine plane. We introduce and describe a new combinatorial object, called the Poincare-Reeb graph, whose role is to encode the shape of such curves and to allow us to quantify their non-convexity. Moreover, we prove that in this setting the Poincare-Reeb graph is a plane tree and can be used as a tool to study the asymptotic behaviour of level curves near a strict local minimum. Finally, using the real polar curve, we show that locally the shape of the levels stabilises and that no spiralling phenomena occur near the origin.
Total Roman Domination Edge-Critical Graphs
Published in Involve 12 (2019) 1423-1439
• View Publication
• BIB
A total Roman dominating function on a graph $G$ is a function $% f:V(G)\rightarrow \{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ is adjacent to some vertex $u$ with $f(u)=2$, and the subgraph of $G$ induced by the set of all vertices $w$ such that $f(w)>0$ has no isolated vertices. The weight of $f$ is $Σ_{v\in V(G)}f(v)$. The total Roman domination number $γ_{tR}(G)$ is the minimum weight of a total Roman dominating function on $G$. A graph $G$ is $k$-$γ_{tR}$-edge-critical if $γ_{tR}(G+e)<γ_{tR}(G)=k$ for every edge $e\in E(\overline{G})\neq \emptyset $, and $k$-$γ_{tR}$-edge-supercritical if it is $k$-$γ_{tR}$-edge-critical and $γ_{tR}(G+e)=γ_{tR}(G)-2$ for every edge $e\in E(\overline{G})\neq \emptyset $. We present some basic results on $γ_{tR}$-edge-critical graphs and characterize certain classes of $γ_{tR}$-edge-critical graphs. In addition, we show that, when $k$ is small, there is a connection between $k$-$γ_{tR}$-edge-critical graphs and graphs which are critical with respect to the domination and total domination numbers.
The relation between the independence number and rank of a signed graph
A signed graph $(G, σ)$ is a graph with a sign attached to each of its edges, where $G$ is the underlying graph of $(G, σ)$. Let $c(G)$, $α(G)$ and $r(G, σ)$ be the cyclomatic number, the independence number and the rank of the adjacency matrix of $(G, σ)$, respectively. In this paper, we study the relation among the independence number, the rank and the cyclomatic number of a signed graph $(G, σ)$ with order $n$, and prove that $2n-2c(G) \leq r(G, σ)+2α(G) \leq 2n$. Furthermore, the signed graphs that reaching the lower bound are investigated.
Linear-semiorders and their incomparability graphs
A linear-interval order is the intersection of a linear order and an interval order. For this class of orders, several structural results have been known. This paper introduces a new subclass of linear-interval orders. We call a partial order a \emph{linear-semiorder} if it is the intersection of a linear order and a semiorder. We show a characterization and a polynomial-time recognition algorithm for linear-semiorders. We also prove that being a linear-semiorder is a comparability invariant, showing that incomparability graphs of linear-semiorders can be recognized in polynomial time.
Pauli Partitioning with Respect to Gate Sets
Measuring the expectation value of Pauli operators on prepared quantum states is a fundamental task in a multitude of quantum algorithms. Simultaneously measuring sets of operators allows for fewer measurements and an overall speedup of the measurement process. We investigate the task of partitioning a random subset of Pauli operators into simultaneously-measurable parts. Using heuristics from coloring random graphs, we give an upper bound for the expected number of parts in our partition. We go on to conjecture that allowing arbitrary Clifford operators before measurement, rather than single-qubit operations, leads to a decrease in the number of parts which is linear with respect to the lengths of the operators. We give evidence to confirm this conjecture and comment on the importance of this result for a specific near-term application: speeding up the measurement process of the variational quantum eigensolver.
On the equality of domination number and $ 2 $-domination number
Published
• View Publication
• BIB
The 2-domination number $γ_2(G)$ of a graph $G$ is the minimum cardinality of a set $ D \subseteq V(G) $ for which every vertex outside $ D $ is adjacent to at least two vertices in $ D $. Clearly, $ γ_2(G) $ cannot be smaller than the domination number $ γ(G) $. We consider a large class of graphs and characterize those members which satisfy $γ_2=γ$. For the general case, we prove that it is NP-hard to decide whether $γ_2=γ$ holds. We also give a necessary and sufficient condition for a graph to satisfy the equality hereditarily.
Hamiltonian and Pseudo-Hamiltonian Cycles and Fillings In Simplicial Complexes
Published
• View Publication
• BIB
We introduce and study a $d$-dimensional generalization of Hamiltonian cycles in graphs - the Hamiltonian $d$-cycles in $K_n^d$ (the complete simplicial $d$-complex over a vertex set of size $n$). Those are the simple $d$-cycles of a complete rank, or, equivalently, of size $1 + {{n-1} \choose d}$.
The discussion is restricted to the fields $F_2$ and $Q$. For $d=2$, we characterize the $n$'s for which Hamiltonian $2$-cycles exist. For $d=3$ it is shown that Hamiltonian $3$-cycles exist for infinitely many $n$'s. In general, it is shown that there always exist simple $d$-cycles of size ${{n-1} \choose d} - O(n^{d-3})$. All the above results are constructive.
Our approach naturally extends to (and in fact, involves) $d$-fillings, generalizing the notion of $T$-joins in graphs. Given a $(d-1)$-cycle $Z^{d-1} \in K_n^d$, ~$F$ is its $d$-filling if $\partial F = Z^{d-1}$. We call a $d$-filling Hamiltonian if it is acyclic and of a complete rank, or, equivalently, is of size ${{n-1} \choose d}$. If a Hamiltonian $d$-cycle $Z$ over $F_2$ contains a $d$-simplex $σ$, then $Z\setminus σ$ is a a Hamiltonian $d$-filling of $\partial σ$ (a closely related fact is also true for cycles over $Q$). Thus, the two notions are closely related.
Most of the above results about Hamiltonian $d$-cycles hold for Hamiltonian $d$-fillings as well.
On the m-eternal Domination Number of Cactus Graphs
Given a graph $G$, guards are placed on vertices of $G$. Then vertices are subject to an infinite sequence of attacks so that each attack must be defended by a guard moving from a neighboring vertex. The m-eternal domination number is the minimum number of guards such that the graph can be defended indefinitely. In this paper we study the m-eternal domination number of cactus graphs, that is, connected graphs where each edge lies in at most two cycles, and we consider three variants of the m-eternal domination number: first variant allows multiple guards to occupy a single vertex, second variant does not allow it, and in the third variant additional "eviction" attacks must be defended. We provide a new upper bound for the m-eternal domination number of cactus graphs, and for a subclass of cactus graphs called Christmas cactus graphs, where each vertex lies in at most two cycles, we prove that these three numbers are equal. Moreover, we present a linear-time algorithm for computing them.
Transforming graph states to Bell-pairs is NP-Complete
Published in Quantum 4, 348 (2020)
• View Publication
• BIB
Critical to the construction of large scale quantum networks, i.e. a quantum internet, is the development of fast algorithms for managing entanglement present in the network. One fundamental building block for a quantum internet is the distribution of Bell pairs between distant nodes in the network. Here we focus on the problem of transforming multipartite entangled states into the tensor product of bipartite Bell pairs between specific nodes using only a certain class of local operations and classical communication. In particular we study the problem of deciding whether a given graph state, and in general a stabilizer state, can be transformed into a set of Bell pairs on specific vertices using only single-qubit Clifford operations, single-qubit Pauli measurements and classical communication. We prove that this problem is NP-Complete.
Counting single-qubit Clifford equivalent graph states is #P-Complete
Published in Journal of Mathematical Physics 61, 022202 (2020)
• View Publication
• BIB
Graph states, which include for example Bell states, GHZ states and cluster states, form a well-known class of quantum states with applications ranging from quantum networks to error-correction. Deciding whether two graph states are equivalent up to single-qubit Clifford operations is known to be decidable in polynomial time and have been studied both in the context of producing certain required states in a quantum network but also in relation to stabilizer codes. The reason for the latter this is that single-qubit Clifford equivalent graph states exactly corresponds to equivalent stabilizer codes. We here consider the computational complexity of, given a graph state |G>, counting the number of graph states, single-qubit Clifford equivalent to |G>. We show that this problem is #P-Complete. To prove our main result we make use of the notion of isotropic systems in graph theory. We review the definition of isotropic systems and point out their strong relation to graph states. We believe that these isotropic systems can be useful beyond the results presented in this paper.
Equivalent formulation of Thomassen's conjecture using Tutte paths in claw-free graphs
We continue studying Thomassen's conjecture (every 4-connected line graph has a Hamilton cycle) in the direction of a recently shown equivalence with Jackson's conjecture (every 2-connected claw-free graph has a Tutte cycle), and we extend the equivalent formulation as follows: In each connected claw-free graph, every two vertices are connected by a maximal path which is a Tutte path.
Very fast construction of bounded-degree spanning graphs via the semi-random graph process
Published
• View Publication
• BIB
Semi-random processes involve an adaptive decision-maker, whose goal is to achieve some predetermined objective in an online randomized environment. They have algorithmic implications in various areas of computer science, as well as connections to biological processes involving decision making. In this paper, we consider a recently proposed semi-random graph process, described as follows: we start with an empty graph on $n$ vertices, and in each round, the decision-maker, called Builder, receives a uniformly random vertex $v$, and must immediately (in an online manner) choose another vertex $u$, adding the edge $\{u,v\}$ to the graph. Builder's end goal is to make the constructed graph satisfy some predetermined monotone graph property.
We consider the property of containing a spanning graph $H$ as a subgraph. It was asked by N. Alon whether for any bounded-degree $H$, Builder can construct a copy of $H$ w.h.p. in $O(n)$ rounds. We answer this question positively in a strong sense, showing that any graph with maximum degree $Δ$ can be constructed w.h.p. in $(3Δ/2 + o(Δ)) n$ rounds. This is tight (even for the offline case) up to a multiplicative factor of $3 + o_Δ(1)$. Furthermore, for the special case where $H$ is a spanning forest of maximum degree $Δ$, we show that $H$ can be constructed w.h.p. in $O(n \log Δ)$ rounds. This is tight up to a multiplicative constant, even for the offline setting. Finally, we show a separation between adaptive and non-adaptive strategies, proving a lower bound of $Ω(n\sqrt{\log n})$ on the number of rounds necessary to eliminate all isolated vertices w.h.p. using a non-adaptive strategy. This bound is tight, and in fact there are non-adaptive strategies for constructing a Hamilton cycle or a $K_r$-factor, which are successful w.h.p. within $O(n\sqrt{\log n})$ rounds.
Towards $k$-connectivity in Heterogeneous Sensor Networks under Pairwise Key Predistribution
Published
• View Publication
• BIB
We study the secure and reliable connectivity of wireless sensor networks under the heterogeneous pairwise key predistribution scheme. This scheme was recently introduced as an extension of the random pairwise key predistribution scheme of Chan et al. to accommodate networks where the constituent sensors have different capabilities or requirements for security and connectivity. For simplicity, we consider a heterogeneous network where each of the $n$ sensors is classified as type-1 (respectively, type-2) with probability $μ$ (respectively, $1-μ)$ where $0<μ<1$. Each type-1 (respectively, type-2) node selects 1 (respectively, $K_n$) other nodes uniformly at random to be paired with; according to the pairwise scheme each pair is then assigned a unique pairwise key so that they can securely communicate with each other. We establish critical conditions on $n, μ$, and $K_n$ such that the resulting network has minimum node degree of at least $k$ with high probability in the limit of large network size. Our result constitutes a zero-one law for the minimum node degree of the recently introduced inhomogeneous random K-out graph model. This constitutes a crucial step towards establishing a similar zero-one law for the $k$-connectivity of the graph; i.e., for the property that the network remains connected despite the failure of any $k-1$ nodes or links. We present numerical results that indicate the usefulness of our results in selecting the parameters of the scheme in practical settings with finite number of sensors.
Approximate Steiner $(r-1,r,n)$-systems without $3$ blocks on $r+2$ points
Published in J Combin Des. 2020, vol. 28, pp. 144-148
• View Publication
• BIB
For a family ${\mathcal F}$ of $r$-graphs, let $\mathrm{ex}(n,{\mathcal F})$ denote the maximum number of edges in an ${\mathcal F}$-free $r$-graph on $n$ vertices. Let ${\mathcal F}_r(v,e)$ denote the family of all $r$-graphs with $e$ edges and at most $v$ vertices. We prove that $\mathrm{ex}(n,{\mathcal F}_r(r+1,2) \cup {\mathcal F}_r(r+2,3)) = (\frac{1}{r} - o(1)) \binom{n}{r-1}$.
The size-Ramsey number of 3-uniform tight paths
Published in Advances in Combinatorics, 2021:5, 12 pp
• View Publication
• BIB
Given a hypergraph $H$, the size-Ramsey number $\hat{r}_2(H)$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges with the property that in any colouring of the edges of $G$ with two colours there is a monochromatic copy of $H$. We prove that the size-Ramsey number of the $3$-uniform tight path on $n$ vertices $P^{(3)}_n$ is linear in $n$, i.e., $\hat{r}_2(P^{(3)}_n) = O(n)$. This answers a question by Dudek, Fleur, Mubayi, and Rödl for $3$-uniform hypergraphs [On the size-Ramsey number of hypergraphs, J. Graph Theory 86 (2016), 417-434], who proved $\hat{r}_2(P^{(3)}_n) = O(n^{3/2} \log^{3/2} n)$.