graph
35436 papers tagged with this keyword
Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem
Published in Quantum 4, 219 (2020)
• View Publication
• BIB
Kochen-Specker (KS) theorem reveals the inconsistency between quantum theory and any putative underlying model of it satisfying the constraint of KS-noncontextuality. A logical proof of the KS theorem is one that relies only on the compatibility relations amongst a set of projectors (a KS set) to witness this inconsistency. These compatibility relations can be represented by a hypergraph, referred to as a contextuality scenario. Here we consider contextuality scenarios that we term KS-uncolourable, e.g., those which appear in logical proofs of the KS theorem. We introduce a hypergraph framework to obtain noise-robust witnesses of contextuality from such scenarios.
Our approach builds on the results of R. Kunjwal and R. W. Spekkens, Phys. Rev. Lett. 115, 110403 (2015), by providing new insights into the relationship between the structure of a contextuality scenario and the associated noise-robust noncontextuality inequalities that witness contextuality. The present work also forms a necessary counterpart to the framework presented in R. Kunjwal, Quantum 3, 184 (2019), which only applies to KS-colourable contextuality scenarios, i.e., those which do not admit logical proofs of the KS theorem but do admit statistical proofs.
We rely on a single hypergraph invariant, defined in R. Kunjwal, Quantum 3, 184 (2019), that appears in our contextuality witnesses, namely, the weighted max-predictability. The present work can also be viewed as a study of this invariant. Significantly, unlike the case of R. Kunjwal, Quantum 3, 184 (2019), none of the graph invariants from the graph-theoretic framework for KS-contextuality due to Cabello, Severini, and Winter (the "CSW framework", Phys. Rev. Lett. 112, 040401 (2014)) are relevant for our noise-robust noncontextuality inequalities.
Separability of Schur rings over an abelian group of order 4p
Published in Journal of Mathematical Sciences, Vol.243, No.4 (2019), 624-632
• View Publication
• BIB
An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every its algebraic isomorphism to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial isomorphism. We prove that every Schur ring over an abelian group $G$ of order $4p$, where $p$ is a prime, is separable with respect to the class of abelian groups. This implies that the Weisfeiler-Leman dimension of the class of Cayley graphs over $G$ is at most 2.
Strong subgraph $k$-arc-connectivity
Two previous papers, arXiv:1803.00284 and arXiv:1803.00281, introduced and studied strong subgraph $k$-connectivity of digraphs obtaining characterizations, lower and upper bounds and computational complexity results for the new digraph parameter. The parameter is an analog of well-studied generalized $k$-connectivity of undirected graphs. In this paper, we introduce the concept of strong subgraph $k$-arc-connectivity of digraphs, which is an analog of generalized $k$-edge-connectivity of undirected graphs. We also obtain characterizations, lower and upper bounds and computational complexity results for this digraph parameter. Several of our results differ from those obtained for strong subgraph $k$-connectivity.
Cliques in rank-1 random graphs: the role of inhomogeneity
Published
• View Publication
• BIB
We study the asymptotic behavior of the clique number in rank-1 inhomogeneous random graphs, where edge probabilities between vertices are roughly proportional to the product of their vertex weights. We show that the clique number is concentrated on at most two consecutive integers, for which we provide an expression. Interestingly, the order of the clique number is primarily determined by the overall edge density, with the inhomogeneity only affecting multiplicative constants or adding at most a $\log\log(n)$ multiplicative factor. For sparse enough graphs the clique number is always bounded and the effect of inhomogeneity completely vanishes.
Solving a Conjecture on Identification in Hamming Graphs
Published
• View Publication
• BIB
Identifying codes in graphs have been widely studied since their introduction by Karpovsky, Chakrabarty and Levitin in 1998. In particular, there are a lot of results regarding the binary hypercubes, that is, the Hamming graphs $K_2^n$. In 2008, Gravier et al. started investigating identification in $K_q^2$. Goddard and Wash, in 2013, studied identifying codes in the general Hamming graphs $K_q^n$. They stated, for instance, that $γ^{ID}(K_q^n)\leq q^{n-1}$ for any $q$ and $n\geq3$. Moreover, they conjectured that $γ^{ID}(K_q^3)=q^2$. In this article, we show that $γ^{ID}(K_q^3)\leq q^2-q/4$ when $q$ is a power of four, disproving the conjecture. Our approach is based on the recursive use of suitable designs. Goddard and Wash also gave the following lower bound $γ^{ID}(K_q^3)\ge q^2-q\sqrt{q}$. We improve this bound to $γ^{ID}(K_q^3)\ge q^2-\frac{3}{2} q$. The conventional methods used for obtaining lower bounds on identifying codes do not help here. Hence, we provide a different technique building on the approach of Goddard and Wash. Moreover, we improve the above mentioned bound $γ^{ID}(K_q^n)\leq q^{n-1}$ to $γ^{ID}(K_q^n)\leq q^{n-k}$ for $n=3\frac{q^k-1}{q-1}$ when $q$ is a prime power. For this bound, we utilize suitable linear codes over finite fields and a class of closely related codes, namely, the self-locating-dominating codes. In addition, we show that the self-locating-dominating codes satisfy the result $γ^{SLD}(K_q^3)=q^2$ related to the above conjecture.
Morphism extension classes of countable $L$-colored graphs
In~\cite{Hartman:2014}, Hartman, Hubi\v cka and Ma\v sulović studied the hierarchy of morphism extension classes for finite $L$-colored graphs, that is, undirected graphs without loops where sets of colors selected from $L$ are assigned to vertices and edges. They proved that when $L$ is a linear order, the classes $MH_L$ and $HH_L$ coincide, and the same is true for vertex-uniform finite $L$-colored graphs when $L$ is a diamond. In this paper, we explore the same question for countably infinite $L$-colored graphs. We prove that $MH_L=HH_L$ if and only if $L$ is a linear order.
A New Perspective on FO Model Checking of Dense Graph Classes
We study the first-order (FO) model checking problem of dense graphs, namely those which have FO interpretations in (or are FO transductions of) some sparse graph classes. We give a structural characterization of the graph classes which are FO interpretable in graphs of bounded degree. This characterization allows us to efficiently compute such an FO interpretation for an input graph. As a consequence, we obtain an FPT algorithm for successor-invariant FO model checking of any graph class which is FO interpretable in (or an FO transduction of) a graph class of bounded degree. The approach we use to obtain these results may also be of independent interest.
A note on b-coloring of Kneser graphs
Published
• View Publication
• BIB
In this short note, the purpose is to provide an upper bound for the b-chromatic number of Kneser graphs. Our bound improves the upper bound that was presented by Balakrishnan and Kavaskar in [b-coloring of Kneser graphs, Discrete Appl. Math. 160 (2012), 9-14].
Coloring even-hole-free graphs with no star cutset
A \emph{hole} is a chordless cycle of length at least $4$. A graph is \emph{even-hole-free} if it does not contain any hole of even length as an induced subgraph. In this paper, we study the class of even-hole-free graphs with no star cutset. We give the optimal upper bound for its chromatic number in terms of clique number and a polynomial-time algorithm to color any graph in this class. The latter is, in fact, a direct consequence of our proof that this class has bounded rank-width.
Connected greedy colouring in claw-free graphs
An ordering of the vertices of a graph is \emph{connected} if every vertex (but the first) has a neighbor among its predecessors. The greedy colouring algorithm of a graph with a connected order consists in taking the vertices in order, and assigning to each vertex the smallest available colour. A graph is \emph{good} if the greedy algorithm on every connected order gives every connected induced subgraph of it an optimal colouring. We give the characterization of good claw-free graphs in terms of minimal forbidden induced subgraphs.
On the distance domination number of bipartite graphs
Published
• View Publication
• BIB
A subset $D\subseteq V(G)$ is called a $k$-distance dominating set of $G$ if every vertex in $V(G)\setminus D$ is within distance $k$ from some vertex of $D$. The minimum cardinality among all $k$-distance dominating sets of $G$ is called the $k$-distance domination number of $G$. In this note we give upper bound on the $k$-distance domination number of a connected bipartite graph and improve some results have been given like Theorem 2.1 and 2,7 in [Tian and Xu, A note on distance domination of graphs, Australian Journal of Combinatorics, 43 (2009), 181-190].
Domination Critical Knodel Graphs
Published
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is a dominating set if each vertex of $V(G)\setminus D$ is adjacent to some vertex of $D$. The domination number of $G$, $γ(G)$, is the minimum cardinality of a dominating set of $G$. A graph $G$ is called domination vertex critical, or just $γ$-critical if removal of any vertex decreases the domination number. A graph $G$ is called domination vertex stable, or just $γ$-stable, if removal of any vertex does not decrease the domination number. For an even integer $n\ge 2$ and $1\le Δ\le \lfloor \log_2n \rfloor$, a Knödel graph $W_{Δ,n}$ is a $Δ$-regular bipartite graph of even order $n$, with vertices $(i,j)$, for $i=1,2$ and $0\le j \le n/2-1$, where for every $j$, $0\le j \le n/2-1$, there is an edge between vertex $(1,j)$ and every vertex $(2,j+2^k-1$ (mod (n/2)), for $k=0,1,\cdots,Δ-1$. in this paper, we study the domination criticality and domination stability of Knödel graphs. We charactrize the 3-regular and 4-regular Knödel graphs by $γ$-criticality or $γ$-stability.
Resistors in dual networks
Published
• View Publication
• BIB
Let $G$ be a finite plane multigraph and $G'$ its dual. Each edge $e$ of $G$ is interpreted as a resistor of resistance $R_e$, and the dual edge $e'$ is assigned the dual resistance $R_{e'}:=1/R_e$. Then the equivalent resistance $r_e$ over $e$ and the equivalent resistance $r_{e'}$ over $e'$ satisfy $r_e/R_e+r_{e'}/R_{e'}=1$. We provide a graph theoretic proof of this relation by expressing the resistances in terms of sums of weights of spanning trees in $G$ and $G'$ respectively.
Upper bounds for the regularity of powers of edge ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper, we obtain upper bounds for the Castelnuovo-Mumford regularity of $I(G)^q$ in terms of certain combinatorial invariants associated with $G$. We also prove a weaker version of a conjecture by Alilooee, Banerjee, Beyarslan and Hà on an upper bound for the regularity of $I(G)^q$ and we prove the conjectured upper bound for the class of vertex decomposable graphs. Using these results, we explicitly compute the regularity of $I(G)^q$ for several classes of graphs.
Regularity of powers of edge ideals: from local properties to global bounds
Published
• View Publication
• BIB
Let $I = I(G)$ be the edge ideal of a graph $G$. We give various general upper bounds for the regularity function $\text{reg} I^s$, for $s \ge 1$, addressing a conjecture made by the authors and Alilooee. When $G$ is a gap-free graph and locally of regularity 2, we show that $\text{reg} I^s = 2s$ for all $s \ge 2$. This is a slightly weaker version of a conjecture of Nevo and Peeva. Our method is to investigate the regularity function $\text{reg}I^s$, for $s \ge 1$, via local information of $I$.
The genus of complete 3-uniform hypergraphs
Published in J. Combin. Theory Ser. B, (141): 223--239, 2020
• View Publication
• BIB
In 1968, Ringel and Youngs confirmed the last open case of the Heawood Conjecture by determining the genus of every complete graph $K_n$. In this paper, we investigate the minimum genus embeddings of the complete $3$-uniform hypergraphs $K_n^3$. Embeddings of a hypergraph $H$ are defined as the embeddings of its associated Levi graph $L_H$ with vertex set $V(H)\sqcup E(H)$, in which $v\in V(H)$ and $e\in E(H)$ are adjacent if and only if $v$ and $e$ are incident in $H$. We determine both the orientable and the non-orientable genus of $K_n^3$ when $n$ is even. Moreover, it is shown that the number of non-isomorphic minimum genus embeddings of $K_n^3$ is at least $2^{\frac{1}{4}n^2\log n(1-o(1))}$. The construction in the proof may be of independent interest as a design-type problem.
The relation between Parabolic Hecke modules and $W$-graph ideal modules in Kazhdan-Lusztig theory
In 2011, Howlett and Nguyen \cite{r1} introduced the concept of a $W$-graph ideal $E_J$ in $\left ( W,\leqslant_{L} \right )$ with respect to $J$ (a subset of $S$), where $\leqslant _{L}$ is the left weak order on $W$. They proved that one can construct a $W$-graph from a given $W$-graph ideal by constructing a Hecke module structure on $E_J$, where the $W$-graph was introduced by Kazhdan and Lusztig in \cite{d1}.
In this paper, we give the relation between Hecke modules on $E_J$ and general Hecke algebras by considering the relation between Hecke modules on $E_J$ and parabolic Hecke modules. And inspired by Lusztig \cite{g3}, we show that the parabolic Hecke module is isomorphic to a left ideal of the Hecke algebra. Lastly, we give the relation between $R$-polynomials on $E_J$ and parabolic $R$-polynomials as an application of the main results.
Independence Posets
Published
• View Publication
• BIB
Let $G$ be an acylic directed graph. For each vertex $g \in G$, we define an involution on the independent sets of $G$. We call these involutions flips, and use them to define a new partial order on independent sets of $G$.
Trim lattices generalize distributive lattices by removing the graded hypothesis: a graded trim lattice is a distributive lattice, and every distributive lattice is trim. Our independence posets are a further generalization of distributive lattices, eliminating also the lattice requirement: an independence poset that is a lattice is always a trim lattice, and every trim lattice is the independence poset for a unique (up to isomorphism) acyclic directed graph $G$. We characterize when an independence poset is a lattice with a graph-theoretic condition on $G$.
We generalize the definition of rowmotion from distributive lattices to independence posets, and we show it can be computed in three different ways. We also relate our constructions to torsion classes, semibricks, and 2-simpleminded collections arising in the representation theory of certain acyclic finite-dimensional algebras.
Uniquely restricted matchings in subcubic graphs
A matching $M$ in a graph $G$ is uniquely restricted if no other matching in $G$ covers the same set of vertices. We conjecture that every connected subcubic graph with $m$ edges and $b$ bridges that is distinct from $K_{3,3}$ has a uniquely restricted matching of size at least $\frac{m+b}{6}$, and we establish this bound with $b$ replaced by the number of bridges that lie on a path between two vertices of degree at most $2$. Moreover, we prove that every connected subcubic graph of order $n$ and girth at least $7$ has a uniquely restricted matching of size at least $\frac{n-1}{3}$, which partially confirms a Conjecture of Fürst and Rautenbach (Some bounds on the uniquely restricted matching number, arXiv:1803.11032).
Maximum cuts in edge-colored graphs
Published
• View Publication
• BIB
The input of the Maximum Colored Cut problem consists of a graph $G=(V,E)$ with an edge-coloring $c:E\to \{1,2,3,\ldots , p\}$ and a positive integer $k$, and the question is whether $G$ has a nontrivial edge cut using at least $k$ colors. The Colorful Cut problem has the same input but asks for a nontrivial edge cut using all $p$ colors. Unlike what happens for the classical Maximum Cut problem, we prove that both problems are NP-complete even on complete, planar, or bounded treewidth graphs. Furthermore, we prove that Colorful Cut is NP-complete even when each color class induces a clique of size at most 3, but is trivially solvable when each color induces a $K_2$. On the positive side, we prove that Maximum Colored Cut is fixed-parameter tractable when parameterized by either $k$ or $p$, by constructing a cubic kernel in both cases.