graph
35299 papers tagged with this keyword
Laplacian State Transfer in Coronas
Published in Linear Algebra and Its Applications 506:154-167, 2016
• View Publication
• BIB
We prove that the corona product of two graphs has no Laplacian perfect state transfer whenever the first graph has at least two vertices. This complements a result of Coutinho and Liu who showed that no tree of size greater than two has Laplacian perfect state transfer. In contrast, we prove that the corona product of two graphs exhibits Laplacian pretty good state transfer, under some mild conditions. This provides the first known examples of families of graphs with Laplacian pretty good state transfer. Our result extends of the work of Fan and Godsil on double stars to the Laplacian setting. Moreover, we also show that the corona product of any cocktail party graph with a single vertex graph has Laplacian pretty good state transfer, even though odd cocktail party graphs have no perfect state transfer.
Disproving the normal graph conjecture
Published
• View Publication
• BIB
A graph $G$ is called normal if there exist two coverings, $\mathbb{C}$ and $\mathbb{S}$ of its vertex set such that every member of $\mathbb{C}$ induces a clique in $G$, every member of $\mathbb{S}$ induces an independent set in $G$ and $C \cap S \neq \emptyset$ for every $C \in \mathbb{C}$ and $S \in \mathbb{S}$. It has been conjectured by De Simone and Körner in 1999 that a graph $G$ is normal if $G$ does not contain $C_5$, $C_7$ and $\overline{C_7}$ as an induced subgraph. We disprove this conjecture.
A note on the Erdös-Faber-Lovász Conjecture: quasigroups and complete digraphs
Published in Ars Combinatoria-2019
• Search Publication
A decomposition of a simple graph $G$ is a pair $(G,P)$ where $P$ is a set of subgraphs of $G$, which partitions the edges of $G$ in the sense that every edge of $G$ belongs to exactly one subgraph in $P$. If the elements of $P$ are induced subgraphs then the decomposition is denoted by $[G,P]$.
A $k$-$P$-coloring of a decomposition $(G,P)$ is a surjective function that assigns to the edges of $G$ a color from a $k$-set of colors, such that all edges of $H\in P$ have the same color, and, if $H_1,H_2\in P$ with $V(H_1)\cap V(H_2)\neq\emptyset$ then $E(H_1)$ and $E(H_2)$ have different colors. The \emph{chromatic index} $χ'((G,P))$ of a decomposition $(G,P)$ is the smallest number $k$ for which there exists a $k$-$P$-coloring of $(G,P)$.
The well-known Erdös-Faber-Lovász Conjecture states that any decomposition $[K_n,P]$ satisfies $χ'([K_n,P])\leq n$. We use quasigroups and complete digraphs to give a new family of decompositions that satisfy the conjecture.
Directed strongly walk-regular graphs
Published
• View Publication
• BIB
We generalize the concept of strong walk-regularity to directed graphs. We call a digraph strongly $\ell$-walk-regular with $\ell >1$ if the number of walks of length $\ell$ from a vertex to another vertex depends only on whether the two vertices are the same, adjacent, or not adjacent. This generalizes also the well-studied strongly regular digraphs and a problem posed by Hoffman. Our main tools are eigenvalue methods. The case that the adjacency matrix is diagonalizable with only real eigenvalues resembles the undirected case. We show that a digraph $Γ$ with only real eigenvalues whose adjacency matrix is not diagonalizable has at most two values of $\ell$ for which $Γ$ can be strongly $\ell$-walk-regular, and we also construct examples of such strongly walk-regular digraphs. We also consider digraphs with nonreal eigenvalues. We give such examples and characterize those digraphs $Γ$ for which there are infinitely many $\ell$ for which $Γ$ is strongly $\ell$-walk-regular.
Counting prime juggling patterns
Published
• View Publication
• BIB
Juggling patterns can be described by a closed walk in a (directed) state graph, where each vertex (or state) is a landing pattern for the balls and directed edges connect states that can occur consecutively. The number of such patterns of length $n$ is well known, but a long-standing problem is to count the number of prime juggling patterns (those juggling patterns corresponding to cycles in the state graph). For the case of $b=2$ balls we give an expression for the number of prime juggling patterns of length $n$ by establishing a connection with partitions of $n$ into distinct parts. From this we show the number of two-ball prime juggling patterns of length $n$ is $(γ-o(1))2^n$ where $γ=1.32963879259...$. For larger $b$ we show there are at least $b^{n-1}$ prime cycles of length $n$.
K-Circular Matroids of Graphs
In 30's Hassler Whitney considered and completely solved the problem $(WP)$ of describing the classes of graphs $G$ having the same cycle matroid $M(G)$. A natural analog $(WP)'$ of Whitney's problem $(WP)$ is to describe the classes of graphs $G$ having the same matroid $M'(G)$, where $M'(G)$ is a matroid (on the edge set of $G$) distinct from $M(G)$. For example, the corresponding problem $(WP)'= (WP)_{θ}$ for the so-called bicircular matroid $M_{θ}(G)$ of graph $G$ was solved by Coulard, Del Greco and Wagner. We define the so-called {\em $k$-circular matroid} $M_k(G)$ on the edge set of graph $G$ for any non-negative integer $k$ so that $M(G) = M_0(G)$ and $M_{θ}(G) = M_1(G)$. It is natural to consider the corresponding analog $(WP)_k$ of Whitney's problem $(WP)$ not only for $k=0$ and $k=1$ but also for any integer $k \ge 2$. In this paper we give a characterization of the $k$-circular matroid $M_k(G)$ by describing the main constituents (circuits, bases, and cocircuits) in terms of graph $G$ and establish some important properties of the $k$-circular matroid. The results of this paper will be used in our further research on the problem $(WP)_k$. In our next paper we use these results to study a particular problem of $(WP)_k$ on graphs uniquely defined by their $k$-circular matroids.
A Note On Immersion Intertwines Of Infinite Graphs
Published
• View Publication
• BIB
We present a construction of two infinite graphs $G_1$ and $G_2$, and of an infinite set $\mathscr{F}$ of graphs such that $\mathscr{F}$ is an antichain with respect to the immersion relation and, for each graph $G$ in $\mathscr{F}$, both $G_1$ and $G_2$ are subgraphs of $G$, but no graph properly immersed in $G$ admits an immersion of $G_1$ and of $G_2$. This shows that the class of infinite graphs ordered by the immersion relation does not have the finite intertwine property.
Critical Groups of Graphs with Dihedral Actions II
Published
• View Publication
• BIB
In this paper we consider the critical group of finite connected graphs which admit harmonic actions by the dihedral group $D_n$, extending earlier work by the author and Criel Merino. In particular, we show that the critical group of such a graph can be decomposed in terms of the critical groups of the quotients of the graph by certain subgroups of the automorphism group. This is analogous to a theorem of Kani and Rosen which decomposes the Jacobians of algebraic curves with a $D_n$-action.
On the Erdős-Hajnal conjecture for six-vertex tournaments
Published
• View Publication
• BIB
A celebrated unresolved conjecture of Erdős and Hajnal states that for every undirected graph $H$ there exists $ε(H)>0$ such that every undirected graph on $n$ vertices that does not contain $H$ as an induced subgraph contains a clique or stable set of size at least $n^{ε(H)}$. The conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ε(H)>0$ such that every $H$-free $n$-vertex tournament $T$ contains a transitive subtournament of order at least $n^{ε(H)}$. We say that a tournament is \textit{prime} if it does not have nontrivial homogeneous sets. So far the conjecture was proved only for some specific families of prime tournaments (\cite{chorochudber, choromanski2}) and tournaments constructed according to the so-called \textit{substitution procedure}(\cite{alon}). In particular, recently the conjecture was proved for all five-vertex tournaments (\cite{chorochudber}), but the question about the correctness of the conjecture for all six-vertex tournaments remained open. In this paper we prove that all but at most one six-vertex tournament satisfy the Erdős-Hajnal conjecture. That reduces the six-vertex case to a single tournament.
Distant set distinguishing edge colourings of graphs
Published in European J. Comb. 69 (2018) 185-199
• View Publication
• BIB
We consider the following extension of the concept of adjacent strong edge colourings of graphs without isolated edges. Two distinct vertices which are at distant at most $r$ in a graph are called $r$-adjacent. The least number of colours in a proper edge colouring of a graph $G$ such that the sets of colours met by any $r$-adjacent vertices in $G$ are distinct is called the $r$-adjacent strong chromatic index of $G$ and denoted by $χ'_{a,r}(G)$. It has been conjectured that $χ'_{a,1}(G)\leqΔ+2$ if $G$ is connected of maximum degree $Δ$ and non-isomorphic to $C_5$, while Hatami proved that there is a constant $C$, $C\leq 300$, such that $χ'_{a,1}(G)\leqΔ+C$ if $Δ>10^{20}$ [J. Combin. Theory Ser. B 95 (2005) 246--256]. We conjecture that a similar statement should hold for any $r$, i.e., that for each positive integer $r$ there exist constants $δ_0$ and $C$ such that $χ'_{a,r}(G) \leq Δ+C$ for every graph without an isolated edge and with minimum degree $δ\geq δ_0$, and argue that a lower bound on $δ$ is unavoidable in such a case (for $r>2$). Using the probabilistic method we prove such upper bound to hold for graphs with $δ\geq εΔ$, for every $r$ and any fixed $\varepsilon\in(0,1]$, i.e., in particular for regular graphs. We also support the conjecture by proving an upper bound $χ'_{a,r}(G) \leq (1+o(1))Δ$ for graphs with $δ\geq r+2$.
The extremal function for Petersen minors
Published in J. Combinatorial Theory Series B 131:220-253, 2018
• View Publication
• BIB
We prove that every graph with $n$ vertices and at least $5n-8$ edges contains the Petersen graph as a minor, and this bound is best possible. Moreover we characterise all Petersen-minor-free graphs with at least $5n-11$ edges. It follows that every graph containing no Petersen minor is 9-colourable and has vertex arboricity at most 5. These results are also best possible.
Nowhere-zero 9-flows in 3-edge-connected signed graphs
A signed graph is a graph with a positive or negative sign on each edge. Regarding each edge as two half edges, an orientation of a signed graph is an assignment of a direction to each of its half edges such that the two half edges of a positive edge receive the same direction and that of a negative edge receive opposite directions. A signed graph with such an orientation is called a bidirected graph. A nowhere-zero $k$-flow of a bidirected graph is an assignment of an integer from $\{-(k-1), \ldots, -1, 1, \ldots, (k-1)\}$ to each of its half edges such that Kirchhoff's law is respected, that is, the total incoming flow is equal to the total outgoing flow at each vertex. A signed graph is said to admit a nowhere-zero $k$-flow if it has an orientation such that the corresponding bidirected graph admits a nowhere-zero $k$-flow. It was conjectured by Bouchet that every signed graph admitting a nowhere-zero $k$-flow for some integer $k \ge 2$ admits a nowhere-zero 6-flow. In this paper we prove that every $3$-edge-connected signed graph admitting a nowhere-zero $k$-flow for some $k$ admits a nowhere-zero $9$-flow.
Automorphism Groups of Generic Structures: Extreme Amenability and Amenability
Published
• View Publication
• BIB
We investigate correspondences between extreme amenability and amenability of automorphism groups of Fraïssé-Hrushovski generic structures that are obtained from smooth classes, and their Ramsey type properties of their smooth classes, similar to Kechris, Pestov and Todorcevic, and Tatch Moore. In particular, we focus on some Fraïssé-Hrushovski generic structures that are obtained from pre-dimension functions. Using these correspondences, we prove that automorphism groups of ordered Hrushovski generic graphs are not extremely amenable in both cases of collapsed and uncollapsed. Moreover, we prove that automorphism groups of Fraïssé-Hrushovski generic structures that are obtained from pre-dimension functions with rational coefficients are not amenable.
The multiplicative coalescent, inhomogeneous continuum random trees, and new universality classes for critical random graphs
Published
• View Publication
• BIB
One major open conjecture in the area of critical random graphs, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade [23, 24, 28, 63] is as follows: for a wide array of random graph models with degree exponent $τ\in (3,4)$, distances between typical points both within maximal components in the critical regime as well as on the minimal spanning tree on the giant component in the supercritical regime scale like $n^{(τ-3)/(τ-1)}$.
In this paper we study the metric space structure of maximal components of the multiplicative coalescent, in the regime where the sizes converge to excursions of Lévy processes "without replacement" [10], yielding a completely new class of limiting random metric spaces. A by-product of the analysis yields the continuum scaling limit of one fundamental class of random graph models with degree exponent $τ\in (3,4)$ where edges are rescaled by $n^{-(τ-3)/(τ-1)}$ yielding the first rigorous proof of the above conjecture. The limits in this case are compact "tree-like" random fractals with finite fractal dimensions and with a dense collection of hubs (infinite degree vertices) a finite number of which are identified with leaves to form shortcuts. In a special case, we show that the Minkowski dimension of the limiting spaces equal $(τ-2)/(τ-3)$ a.s., in stark contrast to the Erdős-Rényi scaling limit whose Minkowski dimension is 2 a.s. It is generally believed that dynamic versions of a number of fundamental random graph models, as one moves from the barely subcritical to the critical regime can be approximated by the multiplicative coalescent. In work in progress, the general theory developed in this paper is used to prove analogous limit results for other random graph models with degree exponent $τ\in (3,4)$.
Independent Sets, Matchings, and Occupancy Fractions
Published
• View Publication
• BIB
We prove tight upper bounds on the logarithmic derivative of the independence and matching polynomials of d-regular graphs. For independent sets, this theorem is a strengthening of the results of Kahn, Galvin and Tetali, and Zhao showing that a union of copies of $K_{d,d}$ maximizes the number of independent sets and the independence polynomial of a d-regular graph.
For matchings, this shows that the matching polynomial and the total number of matchings of a d-regular graph are maximized by a union of copies of $K_{d,d}$. Using this we prove the asymptotic upper matching conjecture of Friedland, Krop, Lundow, and Markström.
In probabilistic language, our main theorems state that for all d-regular graphs and all $λ$, the occupancy fraction of the hard-core model and the edge occupancy fraction of the monomer-dimer model with fugacity $λ$ are maximized by $K_{d,d}$. Our method involves constrained optimization problems over distributions of random variables and applies to all d-regular graphs directly, without a reduction to the bipartite case.
Linear rank-width of distance-hereditary graphs II. Vertex-minor obstructions
In the companion paper [Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm, Algorithmica 78(1):342--377, 2017], we presented a characterization of the linear rank-width of distance-hereditary graphs, from which we derived an algorithm to compute it in polynomial time. In this paper, we investigate structural properties of distance-hereditary graphs based on this characterization.
First, we prove that for a fixed tree $T$, every distance-hereditary graph of sufficiently large linear rank-width contains a vertex-minor isomorphic to $T$. We extend this property to bigger graph classes, namely, classes of graphs whose prime induced subgraphs have bounded linear rank-width. Here, prime graphs are graphs containing no splits. We conjecture that for every tree $T$, every graph of sufficiently large linear rank-width contains a vertex-minor isomorphic to $T$. Our result implies that it is sufficient to prove this conjecture for prime graphs.
For a class $Φ$ of graphs closed under taking vertex-minors, a graph $G$ is called a vertex-minor obstruction for $Φ$ if $G\notin Φ$ but all of its proper vertex-minors are contained in $Φ$. Secondly, we provide, for each $k\ge 2$, a set of distance-hereditary graphs that contains all distance-hereditary vertex-minor obstructions for graphs of linear rank-width at most $k$. Also, we give a simpler way to obtain the known vertex-minor obstructions for graphs of linear rank-width at most $1$.
Categorifying the tensor product of the Kirillov-Reshetikhin crystal $B^{1,1}$ and a fundamental crystal
Published
• View Publication
• BIB
We use Khovanov-Lauda-Rouquier (KLR) algebras to categorify a crystal isomorphism between a fundamental crystal and the tensor product of a Kirillov-Reshetikhin crystal and another fundamental crystal, all in affine type. The nodes of the Kirillov-Reshetikhin crystal correspond to a family of "trivial" modules. The nodes of the fundamental crystal correspond to simple modules of the corresponding cyclotomic KLR algebra. The crystal operators correspond to socle of restriction and behave compatibly with the rule for tensor product of crystal graphs.
Periods of Iterated Rational Functions over a Finite Field
Published
• View Publication
• BIB
Choose a random degree d poly f with coefficients in a finite field F. We estimate the ultimate period of f under compositional iteration. We also determine the joint distribution of the small cycle lengths in the graph with edges (x,f(x)), x in F. The proofs use Lagrange interpolation and the method of factorial moments.
Equitable colorings of complete multipartite graphs
A $q$-\emph{equitable coloring} of a graph $G$ is a proper $q$-coloring such that the sizes of any two color classes differ by at most one. In contrast with ordinary coloring, a graph may have an equitable $q$-coloring but has no equitable $(q+1)$-coloring. The \emph{equitable chromatic threshold} is the minimum $p$ such that $G$ has an equitable $q$-coloring for every $q\geq p.$
In this paper, we establish the notion of $p(q: n_1,\ldots, n_k)$ which can be computed in linear-time and prove the following. Assume that $K_{n_1,\ldots,n_k}$ has an equitable $q$-coloring. Then $p(q: n_1,\ldots, n_k)$ is the minimum $p$ such that $K_{n_1,\ldots,n_k}$ has an equitable $r$-coloring for each $r$ satisfying $p \leq r \leq q.$ Since $K_{n_1,\ldots,n_k}$ has an equitable $(n_1+\cdots+n_k)$-coloring, the equitable chromatic threshold of $K_{n_1,\ldots,n_k}$ is $p(n_1+\cdots+n_k: n_1,\ldots, n_k).$
We find out later that the aforementioned immediate consequence is exactly the same as the formula of Yan and Wang \cite{YW12}. Nonetheless, the notion of $p(q: n_1,\ldots, n_k)$ can be used for each $q$ in which $K_{n_1,\ldots,n_k}$ has an equitable $q$-coloring and the proof presented here is much shorter.
Completely Positive Tensors and Multi-Hypergraphs
Published
• View Publication
• BIB
Completely positive graphs have been employed to associate with completely positive matrices for characterizing the intrinsic zero patterns. As tensors have been widely recognized as a higher-order extension of matrices, the multi-hypergraph, regarded as a generalization of graphs, is then introduced to associate with tensors for the study of complete positivity. To describe the dependence of the corresponding zero pattern for a special type of completely positive tensors--the $\{0,1\}$ completely positive tensors, the completely positive multi-hypergraph is defined. By characterizing properties of the associated multi-hypergraph, we provide necessary and sufficient conditions for any $(0,1)$ associated tensor to be $\{0,1\}$ completely positive. Furthermore, a necessary and sufficient condition for a uniform multi-hypergraph to be completely positive multi-hypergraph is proposed as well.