Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Quantum Fourier Sampling is Guaranteed to Fail to Compute Automorphism Groups of Easy Graphs
The quantum hidden subgroup approach is an actively studied approach to solve combinatorial problems in quantum complexity theory. With the success of the Shor's algorithm, it was hoped that similar approach may be useful to solve the other combinatorial problems. One such problem is the graph isomorphism problem which has survived decades of efforts using the hidden subgroup approach. This paper provides a systematic approach to create arbitrarily large classes of classically efficiently solvable graph automorphism problems or easy graph automorphism problems for which hidden subgroup approach is guaranteed to always fail irrespective of the size of the graphs no matter how many copies of coset states are used. As the graph isomorphism problem is believed to be at least as hard as the graph automorphism problem, the result of this paper entails that the hidden subgroup approach is also guaranteed to always fail for the arbitrarily large classes of graph isomorphism problems. Combining these two results, it is argued that the hidden subgroup approach is essentially a dead end and alternative quantum algorithmic approach needs to be investigated for the graph isomorphism and automorphism problems.
Finding Minimum Spanning Forests in a Graph
We introduce a graph partitioning problem motivated by computational topology and propose two algorithms that produce approximate solutions. Specifically, given a weighted, undirected graph $G$ and a positive integer $k$, we desire to find $k$ disjoint trees within $G$ such that each vertex of $G$ is contained in one of the trees and the weight of the largest tree is as small as possible. We are unable to find this problem in the graph partitioning literature, but we show that the problem is NP-complete. We then propose two approximation algorithms, one that uses a spectral clustering approach and another that employs a dynamic programming strategy, which produce near-optimal partitions on a family of test graphs. We describe these algorithms and analyze their empirical performance.
Peano-Gosper curves and the local isomorphism property
We consider unbounded curves without endpoints. Isomorphism is equivalence up to translation. Self-avoiding plane-filling curves cannot be periodic, but they can satisfy the local isomorphism property: We obtain a set $Ω$ of coverings of the plane by sets of disjoint self-avoiding nonoriented curves, generalizing the Peano-Gosper curves, such that:
1) each $C \in Ω$ satisfies the local isomorphism property; any set of curves locally isomorphic to $C$ belongs to $Ω$;
2) $Ω$ is the union of $2^{ω}$ equivalence classes for the relation "$C$ locally isomorphic to $D$"; each of them contains $2^{ω}$ (resp. $2^{ω}$, $4$, $0$) isomorphism classes of coverings by $1$ (resp. $2$, $3$, $\geq 4$) curves.
Each $C \in Ω$ gives exactly $2$ coverings by sets of oriented curves which satisfy the local isomorphism property. They have opposite orientations.
On 3-equivalenced weakly distance-regular digraphs
A weakly distance-regular digraph is 3-equivalenced if its attached association scheme is 3-equivalenced. In this paper, we classify the family of such digraphs under the assumption of the commutativity.
Condition for zero and non-zero discord in graph Laplacian quantum states
Published in International Journal of Quantum Information, Vol. 17, No. 02, 1950018 (2019)
• View Publication
• BIB
This work is at the interface of graph theory and quantum mechanics. Quantum correlations epitomize the usefulness of quantum mechanics. Quantum discord is an interesting facet of bipartite quantum correlations. Earlier, it was shown that every combinatorial graph corresponds to quantum states whose characteristics are reflected in the structure of the underlined graph. A number of combinatorial relations between quantum discord and simple graphs were studied. To extend the scope of these studies, we need to generalize the earlier concepts applicable to simple graphs to weighted graphs, corresponding to a diverse class of quantum states. To this effect, we determine the class of quantum states whose density matrix representation can be derived from graph Laplacian matrices associated with a weighted directed graph and call them graph Laplacian quantum states. We find the graph-theoretic conditions for zero and non-zero quantum discord for these states. We apply these results on some important pure two qubit states, as well as a number of mixed quantum states, such as the Werner, Isotropic, and $X$-states. We also consider graph Laplacian states corresponding to simple graphs as a special case.
Some new results on the total domination polynomial of a graph
Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and is denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=γ_t(G)}^n d_t(G,i)x^i$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. A root of $D_t(G,x)$ is called a total domination root of $G$. An irrelevant edge of $D_t(G,x)$ is an edge $e \in E$, such that $D_t(G, x) = D_t(G\setminus e, x)$. In this paper, we characterize edges possessing this property. Also we obtain some results for the number of total dominating sets of a regular graph. Finally, we study graphs with exactly two total domination roots $\{-3,0\}$, $\{-2,0\}$ and $\{-1,0\}$.
Edge arboricity : Do we need equitabilility ?
In this paper we study a new variant of graph arboricity, which requires all the forests to have the same number of edges (up to a difference of 1). We prove that the new variant, which we call equitable arboricity, is equivalent to ordinary arboricity. In other words we show that any arborescent decomposition of a graph can be transformed into an equitable one without modifying the number of used forests.
King-serf duo by monochromatic paths in k-edge-coloured tournaments
Published in Electronic Journal of Combinatorics, volume 24(1), 2017
• Search Publication
An open conjecture of Erdős states that for every positive integer $k$ there is a (least) positive integer $f(k)$ so that whenever a tournament has its edges colored with $k$ colors, there exists a set $S$ of at most $f(k)$ vertices so that every vertex has a monochromatic path to some point in $S$. We consider a related question and show that for every (finite or infinite) cardinal $κ>0$ there is a cardinal $ λ_κ$ such that in every $κ$-edge-coloured tournament there exist disjoint vertex sets $K,S$ with total size at most $ λ_κ$ so that every vertex $ v $ has a monochromatic path of length at most two from $K$ to $v$ or from $v$ to $S$.
On mono-unary algebras corresponding to n-ary groupoids
In this paper we modify and generalize a construction presented by Novotný: given a groupoid (a set equipped with a binary operation), it is defined a mono-unary algebra corresponding to that specific groupoid. We shall introduce and study a functor from the category of n-ary groupoids to the category of mono-unary algebras. The main result of this paper concerns the construction of homomorphisms between n-ary groupoids, a natural generalization of the method presented by Novotný.
$(22_4)$ and $(26_4)$ configurations of lines
Published
• View Publication
• BIB
We present a technique to produce arrangements of lines with nice properties. As an application, we construct $(22_4)$ and $(26_4)$ configurations of lines. Thus concerning the existence of geometric $(n_4)$ configurations, only the case $n=23$ remains open.
On the super domination number of graphs
The open neighbourhood of a vertex $v$ of a graph $G$ is the set $N(v)$ consisting of all vertices adjacent to $v$ in $G$. For $D\subseteq V(G)$, we define $\overline{D}=V(G)\setminus D$. A set $D\subseteq V(G)$ is called a super dominating set of $G$ if for every vertex $u\in \overline{D}$, there exists $v\in D$ such that $N(v)\cap \overline{D}=\{u\}$. The super domination number of $G$ is the minimum cardinality among all super dominating sets in $G$. In this article, we obtain closed formulas and tight bounds for the super domination number of $G$ in terms of several invariants of $G$. Furthermore, the particular cases of corona product graphs and Cartesian product graphs are considered.
Enumeration of small Wilf classes avoiding 1324 and two other 4-letter patterns
Published
• View Publication
• BIB
Recently, it has been determined that there are 242 Wilf classes of triples of 4-letter permutation patterns by showing that there are 32 non-singleton Wilf classes. Moreover, the generating function for each triple lying in a non-singleton Wilf class has been explicitly determined. In this paper, toward the goal of enumerating avoiders for the singleton Wilf classes, we obtain the generating function for all but one of the triples containing 1324. (The exceptional triple is conjectured to be intractable.) Our methods are both combinatorial and analytic, including generating trees, recurrence relations, and decompositions by left-right maxima. Sometimes this leads to an algebraic equation for the generating function, sometimes to a functional equation or a multi-index recurrence amenable to the kernel method.
On Perfect Matchings and tilings in uniform Hypergraphs
Published
• View Publication
• BIB
In this paper we study some variants of Dirac-type problems in hypergraphs. First, we show that for $k\ge 3$, if $H$ is a $k$-graph on $n\in k\mathbb N$ vertices with independence number at most $n/p$ and minimum codegree at least $(1/p+o(1))n$, where $p$ is the smallest prime factor of $k$, then $H$ contains a perfect matching. Second, we show that if $H$ is a $3$-graph on $n\in 3\mathbb N$ vertices which does not contain any induced copy of $K_4^-$ (the unique $3$-graph with $4$ vertices and $3$ edges) and has minimum codegree at least $(1/3+o(1)))n$, then $H$ contains a perfect matching. Moreover, if we allow the matching to miss at most $3$ vertices, then the minimum degree condition can be reduced to $(1/6+o(1)))n$. Third, we show that if $H$ is a $3$-graph on $n\in 4\mathbb N$ vertices which does not contain any induced copy of $K_4^-$ and has minimum codegree at least $(1/8+o(1)))n$, then $H$ contains a perfect $Y$-tiling, where $Y$ represents the unique $3$-graph with $4$ vertices and $2$ edges. We also provide the examples showing that our minimum codegree conditions are asymptotically best possible. Our main tool for finding the perfect matching is a characterization theorem that characterizes the $k$-graphs with minimum codegree at least $n/k$ which contain a perfect matching.
Independent and maximal branching packing in infinite matroid-rooted digraphs
We prove a common generalization of the maximal independent arborescence packing theorem of Cs. Király and two of our earlier works about packing branchings in infinite digraphs.
Differential algebra of cubic planar graphs
Published
• View Publication
• BIB
In this article we associate a combinatorial differential graded algebra to a cubic planar graph G. This algebra is defined combinatorially by counting binary sequences, which we introduce, and several explicit computations are provided. In addition, in the appendix by K. Sackel the F(q)-rational points of its graded augmentation variety are shown to coincide with (q+1)-colorings of the dual graph.
On computational and combinatorial properties of the total co-independent domination number of graphs
A subset $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total dominating set $D$ is called a total co-independent dominating set if the subgraph induced by $V-D$ is edgeless and has at least one vertex. The minimum cardinality of any total co-independent dominating set is the total co-independent domination number of $G$ and is denoted by $γ_{t,coi}(G)$. In this work we study some complexity and combinatorial properties of $γ_{t,coi}(G)$. Specifically, we prove that deciding whether $γ_{t,coi}(G)\le k$ for a given integer $k$ is an NP-complete problem and give several bounds on $γ_{t,coi}(G)$. Also, since any total co-independent dominating set is also a total dominating set, we characterize all the trees having equal total co-independent domination number and total domination number.
Nontransitive Identities: A New Method for Creating Nontransitive Dice
In this article, a new method for characterizing nontransitive dice is de- scribed. This new method is then used to describe the "Nontransitive Identities" (NI) that are possible for 3 dice with 3, 4 and 5 sides each as well as for 5 dice with 3 sides each. Next, we will discuss how these NI can be used to create NI that involve more dice and/or die sides. From there, the 3 dice Nontransitive Identities (NI) will be used to produce 5 dice NI. We will begin this by describing more nomenclature that becomes necessary for characterizing sets of NI with multiple win chains. Then, we will describe a method for creating 5 dice NI and 7 dice NI from our 3 dice NI. We will conclude with a discussion on the patterns that exist in the frequency of nontransitive identities and how these patterns correlate to NI morphisms. Our ancillary files will include our python scripts as well as all of the sets of Nontransitive identities we have discussed.
Cyclically Symmetric Lozenge Tilings of a Hexagon with Four Holes
Published
• View Publication
• BIB
The work of Mills, Robbins, and Rumsey on cyclically symmetric plane partitions yields a simple product formula for the number of lozenge tilings of a regular hexagon, which are invariant under roation by $120^{\circ}$. In this paper we generalize this result by enumerating the cyclically symmetric lozenge tilings of a hexagon in which four triangles have been removed in the center.
Generalized Multiplicative Indices of Polycyclic Aromatic Hydrocarbons and Benzeniod Systems
Published
• View Publication
• BIB
Many types of topological indices such as degree-based topological indices, distance-based topological indices and counting related topological indices are explored during past recent years. Among degree based topological indices, Zagreb indices are the oldest one and studied well. In the paper, we define a generalized multiplicative version of these indices and compute exact formulas for Polycyclic Aromatic Hydrocarbons and Jagged-Rectangle Benzenoid Systems.
The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Published
• View Publication
• BIB
We derive upper and lower bounds on the degree $d$ for which the Lovász $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show that this type of refutation fails well above the $k$-colorability transition, and in particular everywhere below the Kesten-Stigum threshold. This is consistent with the conjecture that refuting $k$-colorability, or distinguishing $G_{n,d}$ from the planted coloring model, is hard in this region. Our results also apply to the disassortative case of the stochastic block model, adding evidence to the conjecture that there is a regime where community detection is computationally hard even though it is information-theoretically possible. Using orthogonal polynomials, we also provide explicit upper bounds on $\vartheta(\overline{G})$ for regular graphs of a given girth, which may be of independent interest.