graph
34516 papers tagged with this keyword
Unexpected Averages of Mixing Matrices
The (standard) average mixing matrix of a continuous-time quantum walk is computed by taking the expected value of the mixing matrices of the walk under the uniform sampling distribution on the real line. In this paper we consider alternative probability distributions, either discrete or continuous, and first we show that several algebraic properties that hold for the average mixing matrix still stand for this more general setting. Then, we provide examples of graphs and choices of distributions where the average mixing matrix behaves in an unexpected way: for instance, we show that there are probability distributions for which the average mixing matrices of the paths on three or four vertices have constant entries, opening a significant line of investigation about how to use classical probability distributions to sample quantum walks and obtain desired quantum effects. We present results connecting the trace of the average mixing matrix and quantum walk properties, and we show that the Gram matrix of average states is the average mixing matrix of a certain related distribution. Throughout the text, we employ concepts of classical probability theory not usually seen in texts about quantum walks.
Optimality and Constructions of Spanning Bipartite Block Designs
We consider a statistical problem to estimate variables (effects) that are associated with the edges of a complete bipartite graph $K_{v_1, v_2}=(V_1, V_2 \, ; E)$. Each data is obtained as a sum of selected effects, a subset of $E$. In order to estimate efficiently, we propose a design called Spanning Bipartite Block Design (SBBD). For SBBDs such that the effects are estimable, we proved that the estimators have the same variance (variance balanced). If each block (a subgraph of $K_{v_1, v_2}$) of SBBD is a semi-regular or a regular bipartite graph, we show that the design is A-optimum. We also show a construction of SBBD using an ($r,λ$)-design and an ordered design. A BIBD with prime power blocks gives an A-optimum semi-regular or regular SBBD. At last, we mention that this SBBD is able to use for deep learning.
GDD type Spanning Bipartite Block Designs
There is a one-to-one correspondence between the point set of a group divisible design (GDD) with $v_1$ groups of $v_2$ points and the edge set of a complete bipartite graph $K_{v_1,v_2}$. A block of GDD corresponds to a subgraph of $K_{v_1,v_2}$. A set of subgraphs of $K_{v_1,v_2}$ is constructed from a block set of GDDs. If the GDD satisfies the $λ_1, λ_2$ concurrence condition, then the set of subgraphs also satisfies the spanning bipartite block design (SBBD) conditions. We also propose a method to construct SBBD directly from an $(r,λ)$-design and a difference matrix over a group. Suppose the $(r,λ)$-design consists of $v_2$ points and $v_1$ blocks. When $v_1 >> v_2$, we show a method to construct a SBBD with $v_1$ is close to $v_2$ by partitioning the block set.
The seating couple problem in even case
In this paper we consider the seating couple problem with an even number of seats, which, using graph theory terminology, can be stated as follows. Given a positive even integer $v=2n$ and a list $L$ containing $n$ positive integers not exceeding $n$, is it always possible to find a perfect matching of $K_v$ whose list of edge-lengths is $L$? Up to now a (non-constructive) solution is known only when all the edge-lengths are coprime with $v$. In this paper we firstly present some necessary conditions for the existence of a solution. Then, we give a complete constructive solution when the list consists of one or two distinct elements, and when the list consists of consecutive integers $1,2,\ldots,x$, each one appearing with the same multiplicity. Finally, we propose a conjecture and some open problems.
Distance-regular graphs with classical parameters that support a uniform structure: case $q \ge 2$
Let $Γ=(X,\mathcal{R})$ denote a finite, simple, connected, and undirected non-bipartite graph with vertex set $X$ and edge set $\mathcal{R}$. Fix a vertex $x \in X$, and define $\mathcal{R}_f = \mathcal{R} \setminus \{yz \mid \partial(x,y) = \partial(x,z)\}$, where $\partial$ denotes the path-length distance in $Γ$. Observe that the graph $Γ_f=(X,\mathcal{R}_f)$ is bipartite. We say that $Γ$ supports a uniform structure with respect to $x$ whenever $Γ_f$ has a uniform structure with respect to $x$ in the sense of Miklavič and Terwilliger \cite{MikTer}.
Assume that $Γ$ is a distance-regular graph with classical parameters $(D,q,α,β)$ and diameter $D\geq 4$. Recall that $q$ is an integer such that $q \not \in \{-1,0\}$. The purpose of this paper is to study when $Γ$ supports a uniform structure with respect to $x$. We studied the case $q \le 1$ in \cite{FMMM}, and so in this paper we assume $q \geq 2$. Let $T=T(x)$ denote the Terwilliger algebra of $Γ$ with respect to $x$. Under an additional assumption that every irreducible $T$-module with endpoint $1$ is thin, we show that if $Γ$ supports a uniform structure with respect to $x$, then either $α= 0$ or $α=q$, $β=q^2(q^D-1)/(q-1)$, and $D \equiv 0 \pmod{6}$.
Forbidden subgraphs and complete partitions
A graph is called an $(r,k)$-graph if its vertex set can be partitioned into $r$ parts, each having at most $k$ vertices and there is at least one edge between any two parts. Let $f(r,H)$ be the minimum $k$ for which there exists an $H$-free $(r,k)$-graph. In this paper we build on the work of Axenovich and Martin, obtaining improved bounds on this function when $H$ is a complete bipartite graph or an even cycle. Some of these bounds are best possible up to a constant factor and confirm a conjecture of Axenovich and Martin in several cases.
Towards the Overfull Conjecture
Let $G$ be a simple graph with maximum degree denoted as $Δ(G)$. An overfull subgraph $H$ of $G$ is a subgraph satisfying the condition $|E(H)| > Δ(G)\lfloor \frac{1}{2}|V(H)| \rfloor$. In 1986, Chetwynd and Hilton proposed the Overfull Conjecture, stating that a graph $G$ with maximum degree $Δ(G)> \frac{1}{3}|V(G)|$ has chromatic index equal to $Δ(G)$ if and only if it does not contain any overfull subgraph. The Overfull Conjecture has many implications. For example, it implies a polynomial-time algorithm for determining the chromatic index of graphs $G$ with $Δ(G) > \frac{1}{3}|V(G)|$, and implies several longstanding conjectures in the area of graph edge colorings. In this paper, we make the first breakthrough towards the conjecture when not imposing a minimum degree condition on the graph: for any $0<\varepsilon \le \frac{1}{14}$, there exists a positive integer $n_0$ such that if $G$ is a graph on $n\ge n_0$ vertices with $Δ(G) \ge (1-\varepsilon)n$, then the Overfull Conjecture holds for $G$. The previous best result in this direction, due to Chetwynd and Hilton from 1989, asserts the conjecture for graphs $G$ with $Δ(G) \ge |V(G)|-3$. Our result also implies the Average Degree Conjecture of Vizing from 1968 for the same class of graphs $G$.
Pseudofinite proofs of the stable graph regularity lemma
This expository article is based on two lectures given by the first author at the Fields Institute in the Fall 2021 Thematic Program on Trends in Pure and Applied Model Theory.
We give a detailed proof of a qualitative version of the Mallaris-Shelah regularity lemma for stable graphs using only basic local stability theory and an ultraproduct construction. This proof strategy was first established by Malliaris and Pillay, and later simplified by Pillay. We provide some further simplifications, and also explain how the pseudofinite approach can be used to obtain a qualitative strengthening (compared to previous proofs) in terms of "functional error". To illustrate the extra leverage obtained by functional error, we give an elementary argument for extracting equipartitions from arbitrary partitions.
Limited packings: related vertex partitions and duality issues
Published in Applied Mathematics and Computation, 2024
• View Publication
• BIB
A $k$-limited packing partition ($k$LP partition) of a graph $G$ is a partition of $V(G)$ into $k$-limited packing sets. We consider the $k$LP partitions with minimum cardinality (with emphasis on $k=2$). The minimum cardinality is called $k$LP partition number of $G$ and denoted by $χ_{\times k}(G)$. This problem is the dual problem of $k$-tuple domatic partitioning as well as a generalization of the well-studied $2$-distance coloring problem in graphs.
We give the exact value of $χ_{\times2}$ for trees and bound it for general graphs. A section of this paper is devoted to the dual of this problem, where we give a solution to an open problem posed in $1998$. We also revisit the total limited packing number in this paper and prove that the problem of computing this parameter is NP-hard even for some special families of graphs. We give some inequalities concerning this parameter and discuss the difference between $2$TLP number and $2$LP number with emphasis on trees.
The degrees of the orientation-preserving automorphism groups of toroidal maps and hypermaps
This paper is an exploration of the faithful transitive permutation representations of the orientation-preserving automorphisms groups of highly symmetric toroidal maps and hypermaps. The main theorems of this paper give a list of all possible degrees of these specific groups. This extends prior accomplishments of the authors, wherein their focus was confined to the study of the automorphisms groups of toroidal regular maps and hypermaps.
In addition the authors bring out the recently developed {\sc GAP} package {\sc corefreesub} that can be used to find faithful transitive permutation representations of any group. With the aid of this powerful tool, the authors show how Schreier coset graphs of the automorphism groups of toroidal maps and hypermaps can be easily constructed.
Stress-linked pairs of vertices and the generic stress matroid
Given a graph $G$ and a mapping $p : V(G) \to \mathbb{R}^d$, we say that the pair $(G,p)$ is a ($d$-dimensional) realization of $G$. Two realizations $(G,p)$ and $(G,q)$ are equivalent if each of the point pairs corresponding to the edges of $G$ have the same distance under the embeddings $p$ and $q$. A pair of vertices $\{u,v\}$ is globally linked in $G$ in $\mathbb{R}^d$ if for every generic realization $(G,p)$ and every equivalent realization $(G,q)$, $(G+uv,p)$ and $(G+uv,q)$ are also equivalent.
In this paper, we introduce and investigate the notion of $d$-stress-linked vertex pairs. Roughly speaking, a pair of vertices $\{u,v\}$ is $d$-stress-linked in $G$ if the edge $uv$ is generically stressed in $G+uv$ and for every generic $d$-dimensional realization $(G,p)$, every configuration $q$ that satisfies the equilibrium stresses of $(G,p)$ also satisfies the equilibrium stresses of $(G+uv,p)$. Among other results, we show that $d$-stress-linked vertex pairs are globally linked in $\mathbb{R}^d$, and we give a combinatorial characterization of $2$-stress-linked vertex pairs that matches the conjectural characterization of globally linked pairs in $\mathbb{R}^2$ due to Jackson et al.
As a key tool, we introduce and study the ``algebraic dual'' of the $d$-dimensional generic rigidity matroid of a graph $G$, which we call the $d$-dimensional generic stress matroid of $G$. Our results about this matroid, which describes the global behavior of equilibrium stresses of generic realizations of $G$, may be of independent interest.
We use our results to give positive answers to a conjecture of Jordán on minimally globally rigid graphs, a conjecture of Jordán and the author on globally linked vertex pairs, and to conjectures of Connelly and Grasegger et al. on rigidity properties of graphs with small separators.
Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem
Given a hypergraph $\mathcal{H}$, the dual hypergraph of $\mathcal{H}$ is the hypergraph of all minimal transversals of $\mathcal{H}$. The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner hypergraphs are the conformal Sperner hypergraphs, which correspond to the families of maximal cliques of graphs. All these notions play an important role in many fields of mathematics and computer science, including combinatorics, algebra, database theory, etc. In this paper we study conformality of dual hypergraphs and prove several results related to the problem of recognizing this property. In particular, we show that the problem is in co-NP and can be solved in polynomial time for hypergraphs of bounded dimension. In the special case of dimension $3$, we reduce the problem to $2$-Satisfiability. Our approach has an implication in algorithmic graph theory: we obtain a polynomial-time algorithm for recognizing graphs in which all minimal transversals of maximal cliques have size at most $k$, for any fixed $k$.
Clustered Colouring of Odd-$H$-Minor-Free Graphs
The clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $c$ such that every graph $G\in\mathcal{G}$ has a $c$-colouring where each monochromatic component in $G$ has bounded size. We study the clustered chromatic number of graph classes $\mathcal{G}_H^{\text{odd}}$ defined by excluding a graph $H$ as an odd-minor. How does the structure of $H$ relate to the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$? We adapt a proof method of Norin, Scott, Seymour and Wood (2019) to show that the clustered chromatic number of $\mathcal{G}_H^{\text{odd}}$ is tied to the tree-depth of $H$.
Arc weighted acyclic orientations and variations of degeneracy of graphs
This paper studies generalizations of the concept of acyclic orientations to arc-weighted orientations. These lead to four types of variations of strict degeneracy of graphs. Some of these variations are studied in the literature under different names and we put them in a same framework for comparison. Then we concentrate on one of these variations, which is new and is defined as follows: For a graph $G$ and a mapping $f \in \mathbb{N}^G$, we say $G$ is
$ST^{(2)}$-$f$-degenerate if there is an arc-weighted orientation $(D, w)$ of $G$ such that $d_{(D,w)}^+(v) < f(v)$ for each vertex $v$, and every sub-digraph $D'$ of $D$ contains an arc $e=(u,v)$ with
$w(e) > d_{(D', w)}^+(v)$.
We prove that if $G$ is $ST^{(2)}$-$f$-degenerate, then $G$ is $f$-paintable, as well as $f$-AT.
Then we use $ST^{(2)}$-degeneracy to study truncated degree choosability of graphs. A graph $G$ is called $k$-truncated degree-choosable (respectively $ST^{(2)}$-$k$-truncated degree degenerate) if $G$ is $f$-choosable (respectively, $ST^{(2)}$-$f$-degenerate), where $f(v)= \min\{k, d_G(v)\}$.
Richter asked whether every 3-connected non-complete planar graph is $6$-truncated-degree-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not $7$-truncated-degree-choosable. On the other hand, we prove that every 3-connected non-complete planar graph is $ST^{(2)}$-$16$-truncated-degree-degenerate, and hence
$16$-truncated-degree-choosable. We further prove that for an arbitrary proper minor closed family ${\mathcal G}$ of graphs, let $s$ be the minimum integer such that $K_{s,t} \notin \mathcal{G}$ for some $t$, then there is a constant $k$ such that every $s$-connected non-complete graph $G \in {\mathcal G}$ is $ST^{(2)}$-$k$-truncated-degree-degenerate and hence $k$-truncated-degree-choosable.
Forbidden patterns of graphs 12-representable by pattern-avoiding words
A graph $G = (\{1, 2, \ldots, n\}, E)$ is $12$-representable if there is a word $w$ over $\{1, 2, \ldots, n\}$ such that two vertices $i$ and $j$ with $i < j$ are adjacent if and only if every $j$ occurs before every $i$ in $w$. These graphs have been shown to be equivalent to the complements of simple-triangle graphs. This equivalence provides a characterization in terms of forbidden patterns in vertex orderings as well as a polynomial-time recognition algorithm. The class of $12$-representable graphs was introduced by Jones et al. (2015) as a variant of word-representable graphs. A general research direction for word-representable graphs suggested by Kitaev and Lozin (2015) is to study graphs representable by some specific types of words. For instance, Gao, Kitaev, and Zhang (2017) and Mandelshtam (2019) investigated word-representable graphs represented by pattern-avoiding words. Following this research direction, this paper studies $12$-representable graphs represented by words that avoid a pattern $p$. Such graphs are trivial when $p$ is of length $2$. When $p = 111$, $121$, $231$, and $321$, the classes of such graphs are equivalent to well-known classes, such as trivially perfect graphs and bipartite permutation graphs. For the cases where $p = 123$, $132$, and $211$, this paper provides forbidden pattern characterizations.
Decomposing random regular graphs into stars
We study $k$-star decompositions, that is, partitions of the edge set into disjoint stars with $k$ edges, in the uniformly random $d$-regular graph model $\mathcal{G}_{n,d}$. Using the small subgraph conditioning method, we prove an existence result for such decompositions for all $d,k$ such that $d/2 < k \leq d/2 + \max\{1,\frac{1}{6}\log d\}$. More generally, we give a sufficient existence condition that can be checked numerically for any given values of $d$ and $k$. Complementary negative results are obtained using the independence ratio of random regular graphs. Our results establish an existence threshold for $k$-star decompositions in $\mathcal{G}_{n,d}$ for all $d\leq 100$ and $k > d/2$.
For smaller values of $k$, the connection between $k$-star decompositions and $β$-orientations allows us to apply results of Thomassen (2012) and Lovász, Thomassen, Wu and Zhang (2013). We prove that random $d$-regular graphs satisfy their assumptions with high probability, thus establishing a.a.s. existence of $k$-star decompositions (i) when $2k^2+k\leq d$, and (ii) when $k$ is odd and $k < d/2$.
Behavior of the Minimum Degree Throughout the $d$-process
The $d$-process generates a graph at random by starting with an empty graph with $n$ vertices, then adding edges one at a time uniformly at random among all pairs of vertices which have degrees at most $d-1$ and are not mutually joined. We show that, in the evolution of a random graph with $n$ vertices under the $d$-process with $d$ fixed, with high probability, for each $j \in \{0,1,\dots,d-2\}$, the minimum degree jumps from $j$ to $j+1$ when the number of steps left is on the order of $\ln(n)^{d-j-1}$. This answers a question of Ruciński and Wormald. More specifically, we show that, when the last vertex of degree $j$ disappears, the number of steps left divided by $\ln(n)^{d-j-1}$ converges in distribution to the exponential random variable of mean $\frac{j!}{2(d-1)!}$; furthermore, these $d-1$ distributions are independent.
The extremal number of cycles with all diagonals
In 1975, Erdős asked the following natural question: What is the maximum number of edges that an $n$-vertex graph can have without containing a cycle with all diagonals? Erdős observed that the upper bound $O(n^{5/3})$ holds since the complete bipartite graph $K_{3,3}$ can be viewed as a cycle of length six with all diagonals.
In this paper, we resolve this old problem. We prove that there exists a constant $C$ such that every $n$-vertex with $Cn^{3/2}$ edges contains a cycle with all diagonals. Since any cycle with all diagonals contains cycles of length four, this bound is best possible using well-known constructions of graphs without a four-cycle based on finite geometry.
Among other ideas, our proof involves a novel lemma about finding an `almost-spanning' robust expander which might be of independent interest.
On extremal factors of de Bruijn-like graphs
Published in Discrete Applied Mathematics 357 (2024) 352-364
• View Publication
• BIB
In 1972 Mykkeltveit proved that the maximum number of vertex-disjoint cycles in the de Bruijn graphs of order $n$ is attained by the pure cycling register rule, as conjectured by Golomb. We generalize this result to the tensor product of the de Bruijn graph of order $n$ and a simple cycle of size $k$, when $n$ divides $k$ or vice versa. We also develop counting formulae for a large family of cycling register rules, including the linear register rules proposed by Golomb.
A general formula for the index of depth stability of edge ideals
By a classical result of Brodmann, the function $\operatorname{depth} R/I^t$ is asymptotically a constant, i.e. there is a number $s$ such that $\operatorname{depth} R/I^t = \operatorname{depth} R/I^s$ for $t > s$. One calls the smallest number $s$ with this property the index of depth stability of $I$ and denotes it by $\operatorname{dstab}(I)$. This invariant remains mysterious til now. The main result of this paper gives an explicit formula for $\operatorname{dstab}(I)$ when $I$ is an arbitrary ideal generated by squarefree monomials of degree 2. That is the first general case where one can characterize $\operatorname{dstab}(I)$ explicitly. The formula expresses $\operatorname{dstab}(I)$ in terms of the associated graph. The proof involves new techniques which relate different topics such as simplicial complexes, systems of linear inequalities, graph parallelizations, and ear decompositions. It provides an effective method for the study of powers of edge ideals.