Geometric measure of entanglement of multi-qubit graph states and its detection on a quantum computer

Multi-qubit graph states generated by the action of controlled phase shift operators on a separable quantum state of a system, in which all the qubits are in arbitrary identical states, are examined. The geometric measure of entanglement of a qubit with other qubits is found for the graph states represented by arbitrary graphs. The entanglement depends on the degree of the vertex representing the qubit, the absolute values of the parameter of the phase shift gate and the parameter of state the gate is acting on. Also the geometric measure of entanglement of the graph states is quantified on the quantum computer ibmq athens. The results obtained on the quantum device are in good agreement with analytical ones.

Double Roman domination subdivision number in graphs

For a graph [Formula: see text], a double Roman dominating function is a function [Formula: see text] having the property that if [Formula: see text], then vertex [Formula: see text] must have at least two neighbors assigned [Formula: see text] under [Formula: see text] or one neighbor with [Formula: see text], and if [Formula: see text], then vertex [Formula: see text] must have at least one neighbor with [Formula: see text]. The weight of a double Roman dominating function [Formula: see text] is the value [Formula: see text]. The double Roman domination number of a graph [Formula: see text], denoted by [Formula: see text], equals the minimum weight of a double Roman dominating function on [Formula: see text]. The double Roman domination subdivision number [Formula: see text] of a graph [Formula: see text] is the minimum number of edges that must be subdivided (each edge in [Formula: see text] can be subdivided at most once) in order to increase the double Roman domination number. In this paper, we first show that the decision problem associated with sd[Formula: see text] is NP-hard and then establish upper bounds on the double Roman domination subdivision number for arbitrary graphs.

On the degeneracy of spin ice graphs, and its estimate via the Bethe permanent

The concept of spin ice can be extended to a general graph. We study the degeneracy of spin ice graph on arbitrary interaction structures via graph theory. We map spin ice graphs to the Ising model on a graph and clarify whether the inverse mapping is possible via a modified Krausz construction. From the gauge freedom of frustrated Ising systems, we derive exact, general results about frustration and degeneracy. We demonstrate for the first time that every spin ice graph, with the exception of the one-dimensional Ising model, is degenerate. We then study how degeneracy scales in size, using the mapping between Eulerian trails and spin ice manifolds, and a permanental identity for the number of Eulerian orientations. We show that the Bethe permanent technique provides both an estimate and a lower bound to the frustration of spin ices on arbitrary graphs of even degree. While such a technique can also be used to obtain an upper bound, we find that in all finite degree examples we studied, another upper bound based on Schrijver inequality is tighter.

Estimates for the Norm of Generalized Maximal Operator on Strong Product of Graphs

Let G = G 1 × G 2 × ⋯ × G m be the strong product of simple, finite connected graphs, and let ϕ : ℕ ⟶ 0 , ∞ be an increasing function. We consider the action of generalized maximal operator M G ϕ on ℓ p spaces. We determine the exact value of ℓ p -quasi-norm of M G ϕ for the case when G is strong product of complete graphs, where 0 < p ≤ 1 . However, lower and upper bounds of ℓ p -norm have been determined when 1 < p < ∞ . Finally, we computed the lower and upper bounds of M G ϕ p when G is strong product of arbitrary graphs, where 0 < p ≤ 1 .

Improving the Smoothed Complexity of FLIP for Max Cut Problems

Finding locally optimal solutions for MAX-CUT and MAX- k -CUT are well-known PLS-complete problems. An instinctive approach to finding such a locally optimum solution is the FLIP method. Even though FLIP requires exponential time in worst-case instances, it tends to terminate quickly in practical instances. To explain this discrepancy, the run-time of FLIP has been studied in the smoothed complexity framework. Etscheid and Röglin (ACM Transactions on Algorithms, 2017) showed that the smoothed complexity of FLIP for max-cut in arbitrary graphs is quasi-polynomial. Angel, Bubeck, Peres, and Wei (STOC, 2017) showed that the smoothed complexity of FLIP for max-cut in complete graphs is ( O Φ 5 n 15.1 ), where Φ is an upper bound on the random edge-weight density and Φ is the number of vertices in the input graph. While Angel, Bubeck, Peres, and Wei’s result showed the first polynomial smoothed complexity, they also conjectured that their run-time bound is far from optimal. In this work, we make substantial progress toward improving the run-time bound. We prove that the smoothed complexity of FLIP for max-cut in complete graphs is O (Φ n 7.83 ). Our results are based on a carefully chosen matrix whose rank captures the run-time of the method along with improved rank bounds for this matrix and an improved union bound based on this matrix. In addition, our techniques provide a general framework for analyzing FLIP in the smoothed framework. We illustrate this general framework by showing that the smoothed complexity of FLIP for MAX-3-CUT in complete graphs is polynomial and for MAX - k - CUT in arbitrary graphs is quasi-polynomial. We believe that our techniques should also be of interest toward showing smoothed polynomial complexity of FLIP for MAX - k - CUT in complete graphs for larger constants k .

Natural Graph Wavelet Packet Dictionaries

We introduce a set of novel multiscale basis transforms for signals on graphs that utilize their “dual” domains by incorporating the “natural” distances between graph Laplacian eigenvectors, rather than simply using the eigenvalue ordering. These basis dictionaries can be seen as generalizations of the classical Shannon wavelet packet dictionary to arbitrary graphs, and do not rely on the frequency interpretation of Laplacian eigenvalues. We describe the algorithms (involving either vector rotations or orthogonalizations) to construct these basis dictionaries, use them to efficiently approximate graph signals through the best basis search, and demonstrate the strengths of these basis dictionaries for graph signals measured on sunflower graphs and street networks.

Elliptic modular graph forms. Part I. Identities and generating series

Elliptic modular graph functions and forms (eMGFs) are defined for arbitrary graphs as natural generalizations of modular graph functions and forms obtained by including the character of an Abelian group in their Kronecker-Eisenstein series. The simplest examples of eMGFs are given by the Green function for a massless scalar field on the torus and the Zagier single-valued elliptic polylogarithms. More complicated eMGFs are produced by the non-separating degeneration of a higher genus surface to a genus one surface with punctures. eMGFs may equivalently be represented by multiple integrals over the torus of combinations of coefficients of the Kronecker-Eisenstein series, and may be assembled into generating series. These relations are exploited to derive holomorphic subgraph reduction formulas, as well as algebraic and differential identities between eMGFs and their generating series.

Hamiltonian Cycles in Tough $(P_2\cup P_3)$-Free Graphs

Let $t>0$ be a real number and $G$ be a graph. We say $G$ is $t$-tough if for every cutset $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. Determining toughness is an NP-hard problem for arbitrary graphs. The Toughness Conjecture of Chv\'atal, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is hamiltonian, is still open in general. A graph is called $(P_2\cup P_3)$-free if it does not contain any induced subgraph isomorphic to $P_2\cup P_3$, the union of two vertex-disjoint paths of order 2 and 3, respectively. In this paper, we show that every 15-tough $(P_2\cup P_3)$-free graph with at least three vertices is hamiltonian.