graph
34905 papers tagged with this keyword
Dominating cycles and forbidden pairs containing a path of order 5
Published
• View Publication
• BIB
A cycle is a graph is dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate the characterization of the class of the forbidden pairs guaranteeing the existence of a dominating cycle and show the following two results: (i) Every $2$-connected $\{P_{5}, K_{4}^{-}\}$-free graph contains a longest cycle which is a dominating cycle. (ii) Every $2$-connected $\{P_{5}, W^{*}\}$-free graph contains a longest cycle which is a dominating cycle. Here $P_{5}$ is the path of order $5$, $K_{4}^{-}$ is the graph obtained from the complete graph of order $4$ by removing one edge, and $W^{*}$ is a graph obtained from two triangles and an edge by identifying one vertex in each.
Quotient graphs for power graphs
Published
• View Publication
• BIB
In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusion controlled permutation group. We make use of the proper quotient power graph $\widetilde{\mathcal{P}}_0(G)$, the proper order graph $\mathcal{O}_0(G)$ and the proper type graph $\mathcal{T}_0(G)$. We show that all those graphs are quotient of $\mathcal{P}_0(G)$ and demonstrate a strong link between them dealing with $G=S_n$. We find simultaneously $c(\mathcal{P}_0(S_n))$ as well as the number of components of $\widetilde{\mathcal{P}}_0(S_n)$, $\mathcal{O}_0(S_n)$ and $\mathcal{T}_0(S_n)$.
On zero-error communication via quantum channels in the presence of noiseless feedback
Published in IEEE Trans. Inf. Theory, vol. 62, no. 9, pp. 5260-5277 (2016)
• View Publication
• BIB
We initiate the study of zero-error communication via quantum channels when the receiver and sender have at their disposal a noiseless feedback channel of unlimited quantum capacity, generalizing Shannon's zero-error communication theory with instantaneous feedback.
We first show that this capacity is a function only of the linear span of Choi-Kraus operators of the channel, which generalizes the bipartite equivocation graph of a classical channel, and which we dub "non-commutative bipartite graph". Then we go on to show that the feedback-assisted capacity is non-zero (with constant activating noiseless communication) if and only if the non-commutative bipartite graph is non-trivial, and give a number of equivalent characterizations. This result involves a far-reaching extension of the "conclusive exclusion" of quantum states [Pusey/Barrett/Rudolph, Nature Phys. 8:475-478].
We then present an upper bound on the feedback-assisted zero-error capacity, motivated by a conjecture originally made by Shannon and proved later by Ahlswede. We demonstrate this bound to have many good properties, including being additive and given by a minimax formula. We also prove that this quantity is the entanglement-assisted capacity against an adversarially chosen channel from the set of all channels with the same Choi-Kraus span, which can also be interpreted as the feedback-assisted unambiguous capacity. The proof relies on a generalization of the "Postselection Lemma" [Christandl/Koenig/Renner, PRL 102:020504] that allows to reflect additional constraints, and which we believe to be of independent interest.
We illustrate our ideas with a number of examples, including classical-quantum channels and Weyl diagonal channels, and close with an extensive discussion of open questions.
Understanding Chicken Walks on n x n Grid: Hamiltonian Paths, Discrete Dynamics and Rectifiable Paths
Published in Mathematical Methods in the Applied Sciences (2015), 38, 15, 3346-3358
• View Publication
• BIB
Understanding animal movements and modelling the routes they travel can be essential in studies of pathogen transmission dynamics. Pathogen biology is also of crucial importance, defining the manner in which infectious agents are transmitted. In this article we investigate animal movement with relevance to pathogen transmission by physical rather than airborne contact, using the domestic chicken and its protozoan parasite Eimeria as an example. We have obtained a configuration for the maximum possible distance that a chicken can walk through straight and non-overlapping paths (defined in this paper) on square grid graphs. We have obtained preliminary results for such walks which can be practically adopted and tested as a foundation to improve understanding of non-airborne pathogen transmission. Linking individual non-overlapping walks within a grid-delineated area can be used to support modeling of the frequently repetitive, overlapping walks characteristic of the domestic chicken, providing a framework to model faecal deposition and subsequent parasite dissemination by faecal/host contact.We also pose an open problem on multiple walks on finite grid graphs. These results grew from biological insights and have potential applications. Keywords: Spread of bird diseases, Eimeria, Maximum walks, longest paths, NP-Complete. MSC: 92A17, 68Q17
Coloring the square of a sparse graph $G$ with almost $Δ(G)$ colors
Published
• View Publication
• BIB
For a graph $G$, let $G^2$ be the graph with the same vertex set as $G$ and $xy \in E(G^2)$ when $x \neq y$ and $d_G(x,y) \leq 2$. Bonamy, Lévêque, and Pinlou conjectured that if $mad (G) < 4 - \frac{2}{c+1}$ and $Δ(G)$ is large, then $χ_\ell(G^2) \leq Δ(G) + c$. We prove that if $c \geq 3$, $mad (G) < 4 - \frac{4}{c+1}$, and $Δ(G)$ is large, then $χ_\ell(G^2) \leq Δ(G) + c$. Dvořák, Krá\soft{l}, Nejedlý, and Škrekovski conjectured that $χ(G^2) \leq Δ(G) +2$ when $Δ(G)$ is large and $G$ is planar with girth at least $5$; our result implies $χ(G^2) \leq Δ(G) +6$.
Increasing paths in edge-ordered graphs: the hypercube and random graphs
Published
• View Publication
• BIB
An edge-ordering of a graph $G=(V,E)$ is a bijection $φ:E\to\{1,2,...,|E|\}$. Given an edge-ordering, a sequence of edges $P=e_1,e_2,...,e_k$ is an increasing path if it is a path in $G$ which satisfies $φ(e_i)<φ(e_j)$ for all $i<j$. For a graph $G$, let $f(G)$ be the largest integer $\ell$ such that every edge-ordering of $G$ contains an increasing path of length $\ell$. The parameter $f(G)$ was first studied for $G=K_n$ and has subsequently been studied for other families of graphs. This paper gives bounds on $f$ for the hypercube and the random graph $G(n,p)$.
A tournament approach to pattern avoiding matrices
Published
• View Publication
• BIB
We consider the following Turán-type problem: given a fixed tournament $H$, what is the least integer $t=t(n,H)$ so that adding $t$ edges to any $n$-vertex tournament, results in a digraph containing a copy of $H$. Similarly, what is the least integer $t=t(T_n,H)$ so that adding $t$ edges to the $n$-vertex transitive tournament, results in a digraph containing a copy of $H$. Besides proving several results on these problems, our main contributions are the following:
(1) Pach and Tardos conjectured that if $M$ is an acyclic $0/1$ matrix, then any $n \times n$ matrix with $n(\log n)^{O(1)}$ entries equal to $1$ contains the pattern $M$. We show that this conjecture is equivalent to the assertion that $t(T_n,H)=n(\log n)^{O(1)}$ if and only if $H$ belongs to a certain (natural) family of tournaments.
(2) We propose an approach for determining if $t(n,H)=n(\log n)^{O(1)}$. This approach combines expansion in sparse graphs, together with certain structural characterizations of $H$-free tournaments.
Our result opens the door for using structural graph theoretic tools in order to settle the Pach-Tardos conjecture.
Every planar graph with the Liouville property is amenable
Published
• View Publication
• BIB
We introduce a strengthening of the notion of transience for planar maps in order to relax the standard condition of bounded degree appearing in various results, in particular, the existence of Dirichlet harmonic functions proved by Benjamini and Schramm. As a corollary we obtain that every planar non-amenable graph admits Dirichlet harmonic functions.
Small dense subgraphs of a graph
Published
• View Publication
• BIB
Given a family ${\cal F}$ of graphs, and a positive integer $n$, the Turán number $ex(n,{\cal F})$ of ${\cal F}$ is the maximum number of edges in an $n$-vertex graph that does not contain any member of ${\cal F}$ as a subgraph. The order of a graph is the number of vertices in it. In this paper, we study the Turán number of the family of graphs with bounded order and high average degree. For every real $d\geq 2$ and positive integer $m\geq 2$, let ${\cal F}_{d,m}$ denote the family of graphs on at most $m$ vertices that have average degree at least $d$. It follows from the Erdős-Rényi bound that $ex(n,{\cal F}_{d,m})=Ω(n^{2-\frac{2}{d}+\frac{c}{dm}})$, for some positive constant $c$. Verstraëte asked if it is true that for each fixed $d$ there exists a function $ε_d(m)$ that tends to $0$ as $m\to \infty$ such that $ex(n,{\cal F}_{d,m})=O(n^{2-\frac{2}{d}+ε_d(m)})$. We answer Verstraëte's question in the affirmative whenever $d$ is an integer. We also prove an extension of the cube theorem on the Turán number of the cube $Q_3$, which partially answers a question of Pinchasi and Sharir.
Small dense subgraphs of polarity graphs and the extremal number for the 4-cycle
In this note, we show that for any $m \in \{1,2, \dots , q +1 \}$, if $G$ is a polarity graph of a projective plane of order $q$ that has an oval, then $G$ contains a subgraph on $m + \binom{m}{2}$ vertices with $m^2+\frac{m^4}{8q} - O ( \frac{m^4}{q^{3/2} } +m )$ edges. As an application, we give the best known lower bounds on the Turán number $\mathrm{ex}(n, C_4)$ for certain values of $n$. In particular, we disprove a conjecture of Abreu, Balbuena, and Labbate concerning $\mathrm{ex}(q^2-q-2, C_4)$ where $q$ is a power of $2$.
Partitioning de Bruijn Graphs into Fixed-Length Cycles for Robot Identification and Tracking
Published in Discrete Applied Mathematics 213:101-113, 2016
• View Publication
• BIB
We propose a new camera-based method of robot identification, tracking and orientation estimation. The system utilises coloured lights mounted in a circle around each robot to create unique colour sequences that are observed by a camera. The number of robots that can be uniquely identified is limited by the number of colours available, $q$, the number of lights on each robot, $k$, and the number of consecutive lights the camera can see, $\ell$. For a given set of parameters, we would like to maximise the number of robots that we can use. We model this as a combinatorial problem and show that it is equivalent to finding the maximum number of disjoint $k$-cycles in the de Bruijn graph $\text{dB}(q,\ell)$.
We provide several existence results that give the maximum number of cycles in $\text{dB}(q,\ell)$ in various cases. For example, we give an optimal solution when $k=q^{\ell-1}$. Another construction yields many cycles in larger de Bruijn graphs using cycles from smaller de Bruijn graphs: if $\text{dB}(q,\ell)$ can be partitioned into $k$-cycles, then $\text{dB}(q,\ell)$ can be partitioned into $tk$-cycles for any divisor $t$ of $k$. The methods used are based on finite field algebra and the combinatorics of words.
On Connectivity of the Facet Graphs of Simplicial Complexes
Published
• View Publication
• BIB
The paper studies the connectivity properties of facet graphs of simplicial complexes of combinatorial interest. In particular, it is shown that the facet graphs of $d$-cycles, $d$-hypertrees and $d$-hypercuts are, respectively, $(d+1)$, $d$, and $(n-d-1)$-vertex-connected. It is also shown that the facet graph of a $d$-cycle cannot be split into more than $s$ connected components by removing at most $s$ vertices. In addition, the paper discusses various related issues, as well as an extension to cell-complexes.
Harmonic functions with finite $p$-energy on lamplighter graphs are constant
Published in Comptes Rendus Mathematique Volume 354, Issue 8, August 2016, Pages 762-765
• View Publication
• BIB
The aim of this note is to show that lamplighter graphs where the space graph is infinite and at most two-ended and the lamp graph is at most two-ended do not admit harmonic functions with gradients in $\ell^p$ (\ie finite $p$-energy) for any $p\in [1,\infty[$ except constants (and, equivalently, that their reduced $\ell^p$ cohomology is trivial in degree one). Using similar arguments, it is also shown that many direct products of graphs (including all direct products of Cayley graphs) do not admit non-constant harmonic function with gradient in $\ell^p$. The proof relies on a theorem of Thomassen on spanning lines in squares of graphs.
Forbidden pairs and the existence of a dominating cycle
Published
• View Publication
• BIB
A cycle in a graph is called dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate forbidden pairs guaranteeing the existence of a dominating cycle in 2-connected graphs.
Complete graph immersions in dense graphs
Published
• View Publication
• BIB
In this article we consider the relationship between vertex coloring and the immersion order. Specifically, a conjecture proposed by Abu-Khzam and Langston in 2003, which says that the complete graph with $t$ vertices can be immersed in any $t$-chromatic graph, is studied.
First, we present a general result about immersions and prove that the conjecture holds for graphs whose complement does not contain any induced cycle of length four and also for graphs having the property that every set of five vertices induces a subgraph with at least six edges.
Then, we study the class of all graphs with independence number less than three, which are graphs of interest for Hadwiger's Conjecture. We study such graphs for the immersion-analog. If Abu-Khzam and Langston's conjecture is true for this class of graphs, then an easy argument shows that every graph of independence number less than $3$ contains $K_{\left\lceil\frac{n}{2}\right\rceil}$ as an immersion. We show that the converse is also true. That is, if every graph with independence number less than $3$ contains an immersion of $K_{\left\lceil\frac{n}{2}\right\rceil}$, then Abu-Khzam and Langston's conjecture is true for this class of graphs. Furthermore, we show that every graph of independence number less than $3$ has an immersion of $K_{\left\lceil\frac{n}{3}\right\rceil}$.
Competition Graphs of Jaco Graphs and the Introduction of the Grog Number of a Simple Connected Graph
Let $G^\rightarrow$ be a simple connected directed graph on $n \geq 2$ vertices and let $V^*$ be a non-empty subset of $V(G^\rightarrow)$ and denote the undirected subgraph induced by $V^*$ by, $\langle V^* \rangle.$ We show that the \emph{competition graph} of the Jaco graph $J_n(1), n \in \Bbb N, n \geq 5,$ denoted by $C(J_n(1))$ is given by:\\ \\ $C(J_n(1)) = \langle V^* \rangle_{V^* = \{v_i|3 \leq i \leq n-1\}} - \{v_iv_{m_i}| m_i = i + d^+_{J_n(1)}(v_i), 3 \leq i \leq n-2\} \cup \{v_1, v_2, v_n\}.$\\ \\ Further to the above, the concept of the \emph{grog number} $g(G^\rightarrow)$ of a simple connected directed graph $G^\rightarrow$ on $n \geq 2$ vertices as well as the general \emph{grog number} of the underlying graph $G$, will be introduced. The \emph{grog number} measures the efficiency of an \emph{optimal predator-prey strategy} if the simple directed graph models an ecological predator-prey web.\\ \\ We also pose four open problems for exploratory research.
Counterexamples to a conjecture of Balasubramanian and Parthasarathy
In 1980, Balasubramanian and Parthasarathy introduced the bivariate permanent polynomials of graphs and conjectured that this graph polynomial is a graph characterising polynomial, that is, any two graphs with the same bivariate permanent polynomial are isomorphic. In this note, we give counter examples to this conjecture.
On the ribbon graphs of links in real projective space
Published
• View Publication
• BIB
Every link diagram can be represented as a signed ribbon graph. However, different link diagrams can be represented by the same ribbon graphs. We determine how checkerboard colourable diagrams of links in real projective space, and virtual link diagrams, that are represented by the same ribbon graphs are related to each other. We also find moves that relate the diagrams of links in real projective space that give rise to (all-A) ribbon graphs with exactly one vertex.
Non-Planar On-Shell Diagrams
Published
• View Publication
• BIB
We initiate a systematic study of non-planar on-shell diagrams in N=4 SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the dlog form of the on-shell form explicit. We make significant progress towards a general classification of arbitrary on-shell diagrams by means of two classes of combinatorial objects: generalized matching and matroid polytopes. We propose a boundary measurement that connects general on-shell diagrams to the Grassmannian. Our proposal exhibits two important and non-trivial properties: positivity in the planar case and it matches the combinatorial description of the diagrams in terms of generalized matroid polytopes. Interestingly, non-planar diagrams exhibit novel phenomena, such as the emergence of constraints on Plucker coordinates beyond Plucker relations when deleting edges, which are neatly captured by the generalized matching and matroid polytopes. This behavior is tied to the existence of a new type of poles in the on-shell form at which combinations of Plucker coordinates vanish. Finally, we introduce a prescription, applicable beyond the MHV case, for writing the on-shell form as a function of minors directly from the graph.
Ball packings with high chromatic numbers from strongly regular graphs
Published in Discrete Mathematics 340.7 (2017): 1645-1648
• View Publication
• BIB
Inspired by Bondarenko's counter-example to Borsuk's conjecture, we notice some strongly regular graphs that provide examples of ball packings whose chromatic numbers are significantly higher than the dimensions. In particular, from generalized quadrangles we obtain unit ball packings in dimension $q^3-q^2+q$ with chromatic number $q^3+1$, where $q$ is a prime power. This improves the previous lower bound for the chromatic number of ball packings.