Showing 20 papers (Total: 84285 papers, 48548 authors in database)
The tensor rank of tensor product of two three-qubit W states is eight
Published
• View Publication
• BIB
We show that the tensor rank of tensor product of two three-qubit W states is not less than eight. Combining this result with the recent result of M. Christandl, A. K. Jensen, and J. Zuiddam that the tensor rank of tensor product of two three-qubit W states is at most eight, we deduce that the tensor rank of tensor product of two three-qubit W states is eight. We also construct the upper bound of the tensor rank of tensor product of many three-qubit W states.
On Quasi-Energy-Spectra, Pair Correlations of Sequences and Additive Combinatorics
Published
• View Publication
• BIB
The investigation of the pair correlation statistics of sequences was initially motivated by questions concerning quasi-energy-spectra of quantum systems. However, the subject has been developed far beyond its roots in mathematical physics, and many challenging number-theoretic questions on the distribution of the pair correlations of certain sequences are still open. We give a short introduction into the subject, recall some known results and open problems, and in particular explain the recently established connection between the distribution of pair correlations of sequences on the torus and certain concepts from additive combinatorics. Furthermore, we slightly improve a result recently given by Jean Bourgain.
The Green-Tao theorem for primes of the form $x^2+y^2+1$
Published
• View Publication
• BIB
We prove that the primes of the form $x^2+y^2+1$ contain arbitrarily long non-trivial arithmetic progressions.
Vertex-disjoint properly edge-colored cycles in edge-colored complete graphs
Published
• View Publication
• BIB
It is conjectured that every edge-colored complete graph $G$ on $n$ vertices satisfying $Δ^{mon}(G)\leq n-3k+1$ contains $k$ vertex-disjoint properly edge-colored cycles. We confirm this conjecture for $k=2$, prove several additional weaker results for general $k$, and we establish structural properties of possible minimum counterexamples to the conjecture. We also reveal a close relationship between properly edge-colored cycles in edge-colored complete graphs and directed cycles in multi-partite tournaments. Using this relationship and our results on edge-colored complete graphs, we obtain several partial solutions to a conjecture on disjoint cycles in directed graphs due to Bermond and Thomassen.
The Tutte Polynomial of Symmetric Hyperplane Arrangements
Published
• View Publication
• BIB
The Tutte polynomial is originally a bivariate polynomial which enumerates the colorings of a graph and of its dual graph. Ardila extended in 2007 the definition of the Tutte polynomial on the real hyperplane arrangements. He particularly computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups. Those associated to the exceptional Weyl groups were computed by De Concini and Procesi one year later. This article has two objectives: On one side, we extend the Tutte polynomial computing to the complex hyperplane arrangements. On the other side, we introduce a wider class of hyperplane arrangements which is that of the symmetric hyperplane arrangements. Computing the Tutte polynomial of a symmetric hyperplane arrangement permits us to deduce the Tutte polynomials of some hyperplane arrangements, particularly of those associated to the imprimitive reflection groups.
Extremal solutions to some art gallery and terminal-pairability problems
The chosen tool of this thesis is an extremal type approach. The lesson drawn by the theorems proved in the thesis is that surprisingly small compromise is necessary on the efficacy of the solutions to make the approach work. The problems studied have several connections to other subjects and practical applications.
The first part of the thesis is concerned with orthogonal art galleries. A sharp extremal bound is proved on partitioning orthogonal polygons into at most 8-vertex polygons using established techniques in the field of art gallery problems. This fills in the gap between already known results for partitioning into at most 6- and 10-vertex orthogonal polygons.
Next, these techniques are further developed to prove a new type of extremal art gallery result. The novelty provided by this approach is that it establishes a connection between mobile and stationary guards. This theorem has strong computational consequences, in fact, it provides the basis for an $\frac83$-approximation algorithm for guarding orthogonal polygons with rectangular vision.
In the second part, the graph theoretical concept of terminal-pairability is studied in complete and complete grid graphs. Once again, the extremal approach is conductive to discovering efficient methods to solve the problem.
In the case of a complete base graph, the new demonstrated lower bound on the maximum degree of realizable demand graphs is 4 times higher than previous best results. The techniques developed are then used to solve the classical extremal edge number problem for the terminal-pairability problem in complete base graphs.
The complete grid base graph lies on the other end of the spectrum in terms density amongst path-pairable graphs. It is shown that complete grid graphs are relatively efficient in routing edge-disjoint paths.
Embedding Half-Edge Graphs in Punctured Surfaces
It is known that graphs cellularly embedded into surfaces are equivalent to ribbon graphs. In this work, we generalize this statement to broader classes of graphs and surfaces. Half-edge graphs extend abstract graphs and are useful in quantum field theory in physics. On the other hand, ribbon graphs with half-edges generalize ribbon graphs and appear in a different type of field theory emanating from matrix models. We then give a sense of embeddings of half-edge graphs in punctured surfaces and determine (minimal/maximal) conditions for an equivalence between these embeddings and half-edge ribbon graphs. Given some assumptions on the embedding, the geometric dual of a cellularly embedded half-edge graph is also identified.
Beyond Outerplanarity
Published
• View Publication
• BIB
We study straight-line drawings of graphs where the vertices are placed in convex position in the plane, i.e., \emph{convex drawings}. We consider two families of graph classes with convex drawings: \emph{outer $k$-planar} graphs, where each edge is crossed by at most $k$ other edges; and, \emph{outer $k$-quasi-planar} graphs where no $k$ edges can mutually cross.
We show that the outer $k$-planar graphs are $\lfloor3.5\sqrt{k}\rfloor$-degenerate, and consequently that every outer $k$-planar graph can be colored with $\lfloor3.5\sqrt{k}\rfloor + 1$ colors. We further show that every outer $k$-planar graph has a balanced vertex separator of size at most $2k+3$. For each fixed $k$, these small balanced separators allow us to test outer $k$-planarity in quasi-polynomial time, e.g., this implies that none of these recognition problems is NP-hard unless the Exponential Time Hypothesis fails. We also show that the class of outer $k$-quasi-planar graphs and the class of planar graphs are incomparable.
Finally, we restrict outer $k$-planar and outer $k$-quasi-planar drawings to \emph{full} drawings (where no crossing appears on the boundary of the outer face) and to \emph{closed} drawings (where the vertex sequence on the boundary of the outer face is a Hamiltonian cycle in the graph). For each $k$, we express \emph{closed outer $k$-planarity} and \emph{closed outer $k$-quasi-planarity} in \emph{extended monadic second-order logic}. Due to a result of Wood and Telle (New York J. Math., 2007) every outer $k$-planar graph has treewidth at most $3k+11$. Thus, Courcelle's theorem implies that closed outer $k$-planarity is linear time testable. We leverage this result to further show that full outer $k$-planarity can also be tested in linear time.
Spectral Limitations of Quadrature Rules and Generalized Spherical Designs
Published
• View Publication
• BIB
We study manifolds $M$ equipped with a quadrature rule $$ \int_{M}{φ(x) dx} \simeq \sum_{i=1}^{n}{a_i φ(x_i)}.$$ We show that $n-$point quadrature rules with nonnegative weights on a compact $d-$dimensional manifold cannot integrate more than at most the first $c_{d}n + o(n)$ Laplacian eigenfunctions exactly. The constants $c_d$ are explicitly computed and $c_2 = 4$. The result is new even on $\mathbb{S}^2$ where it generalizes results on spherical designs.
On the Multi-Interval Ulam-Rényi Game: for 3 lies 4 intervals suffice
Published
• View Publication
• BIB
We study the problem of identifying an initially unknown $m$-bit number by using yes-no questions when up to a fixed number $e$ of the answers can be erroneous. In the variant we consider here questions are restricted to be the union of up to a fixed number of intervals. For any $e \geq 1$ let $k_e$ be the minimum $k$ such that for all sufficiently large $m$, there exists a strategy matching the information theoretic lower bound and only using $k$-interval questions. It is known that $k_e = O(e^2)$. However, it has been conjectured that the $k_e = Θ(e).$ This linearity conjecture is supported by the known results for small values of $e$. For $e\leq2$ we have $k_e = e.$ We extend these results to the case $e=3$. We show $k_3 \leq 4$ improving upon the previously known bound $k_3 \leq 10.$
On Existentially Complete Triangle-free Graphs
Published
• View Publication
• BIB
For a positive integer $k$, we say that a graph is $k$-existentially complete if for every $0 \leq a \leq k$, and every tuple of distinct vertices $x_1,\ldots,x_a$, $y_1,\ldots,y_{k-a}$, there exists a vertex $z$ that is joined to all of the vertices $x_1,\ldots,x_a$ and none of the vertices $y_1,\ldots,y_{k-a}$. While it is easy to show that the binomial random graph $G_{n,1/2}$ satisfies this property with high probability for $k \sim c\log n$, little is known about the "triangle-free" version of this problem; does there exist a finite triangle-free graph $G$ with a similar "extension property". This question was first raised by Cherlin in 1993 and remains open even in the case $k=4$.
We show that there are no $k$-existentially complete triangle-free graphs with $k >\frac{8\log n}{\log\log n}$, thus giving the first non-trivial, non-existence result on this "old chestnut" of Cherlin. We believe that this result breaks through a natural barrier in our understanding of the problem.
On $m$-Closed Graphs
Published in The Electronic Journal of Combinatorics, Volume 21, Issue 4 (2014)
• View Publication
• BIB
A graph is closed when its vertices have a labeling by $[n]$ such that the binomial edge ideal $J_G$ has a quadratic Gröbner basis with respect to the lexicographic order induced by $x_1 > \cdots > x_n > y_1> \cdots > y_n$. In this paper, we generalize this notion and study the so called $m-$closed graphs. We find equivalent condition to $3-$closed property of an arbitrary tree $T$. Using it, we classify a class of $3-$closed trees. The primary decomposition of this class of graphs is also studied.
Circumference of 3-connected cubic graphs
Published in J. Comb. Theory B, 128 (2018) 134-159
• View Publication
• BIB
The circumference of a graph is the length of its longest cycles. Jackson established a conjecture of Bondy by showing that the circumference of a 3-connected cubic graph of order $n$ is $Ω(n^{0.694})$. Bilinski {\it et al.} improved this lower bound to $Ω(n^{0.753})$ by studying large Eulerian subgraphs in 3-edge-connected graphs. In this paper, we further improve this lower bound to $Ω(n^{0.8})$. This is done by considering certain 2-connected cubic graphs, finding cycles through two given edges, and distinguishing the cases whether or not these edges are adjacent.
A lower bound on the size of an absorbing set in an arc-coloured tournament
Published
• View Publication
• BIB
Bousquet, Lochet and Thomassé recently gave an elegant proof that for any integer $n$, there is a least integer $f(n)$ such that any tournament whose arcs are coloured with $n$ colours contains a subset of vertices $S$ of size $f(n)$ with the property that any vertex not in $S$ admits a monochromatic path to some vertex of $S$. In this note we provide a lower bound on the value $f(n)$.
Hamiltonicity of edge-chromatic critical graphs
Published
• View Publication
• BIB
Given a graph $G$, denote by $Δ$ and $χ^\prime$ the maximum degree and the chromatic index of $G$, respectively. A simple graph $G$ is called {\it edge-$Δ$-critical} if $χ^\prime(G)=Δ+1$ and $χ^\prime(H)\leΔ$ for every proper subgraph $H$ of $G$. We proved that every edge chromatic critical graph of order $n$ with maximum degree at least $\frac{2n}{3}+12$ is Hamiltonian.
On the zeroth-order general Randić index, variable sum exdeg index and trees having vertices with prescribed degree
Published in Discrete Math. Algorithm. Appl. 10 (2018) Art# 1850015
• View Publication
• BIB
The zeroth-order general Randić index (usually denoted by $R_α^{0}$) and variable sum exdeg index (denoted by $SEI_{a}$) of a graph $G$ are defined as $R_α^{0}(G)= \sum_{v\in V(G)} (d_{v})^α$ and $SEI_{a}(G)= \sum_{v\in V(G)}d_{v}a^{d_{v}}$ where $d_{v}$ is degree of the vertex $v\in V(G)$, $a$ is a positive real number different from 1 and $α$ is a real number other than $0$ and $1$. A segment of a tree is a path $P$, whose terminal vertices are branching or pendent, and all non-terminal vertices (if exist) of $P$ have degree 2. For $n\ge6$, let $\mathbb{PT}_{n,n_1}$, $\mathbb{ST}_{n,k}$, $\mathbb{BT}_{n,b}$ be the collections of all $n$-vertex trees having $n_1$ pendent vertices, $k$ segments, $b$ branching vertices, respectively. In this paper, all the trees with extremum (maximum and minimum) zeroth-order general Randić index and variable sum exdeg index are determined from the collections $\mathbb{PT}_{n,n_1}$, $\mathbb{ST}_{n,k}$, $\mathbb{BT}_{n,b}$. The obtained extremal trees for the collection $\mathbb{ST}_{n,k}$ are also extremal trees for the collection of all $n$-vertex trees having fixed number of vertices with degree 2 (because it is already known that the number of segments of a tree $T$ can be determined from the number of vertices of $T$ with degree 2 and vise versa).
On Rainbow Hamilton Cycles in Random Hypergraphs
Published
• View Publication
• BIB
Let $H_{n,p,r}^{(k)}$ denote a randomly colored random hypergraph, constructed on the vertex set $[n]$ by taking each $k$-tuple independently with probability $p$, and then independently coloring it with a random color from the set $[r]$. Let $H$ be a $k$-uniform hypergraph of order $n$. An $\ell$-Hamilton cycle is a spanning subhypergraph $C$ of $H$ with $n/(k-\ell)$ edges and such that for some cyclic ordering of the vertices each edge of $C$ consists of $k$ consecutive vertices and every pair of adjacent edges in $C$ intersects in precisely $\ell$ vertices.
In this note we study the existence of rainbow $\ell$-Hamilton cycles (that is every edge receives a different color) in $H_{n,p,r}^{(k)}$. We mainly focus on the most restrictive case when $r = n/(k-\ell)$. In particular, we show that for the so called tight Hamilton cycles ($\ell=k-1$) $p = e^2/n$ is the sharp threshold for the existence of a rainbow tight Hamilton cycle in $H_{n,p,n}^{(k)}$ for each $k\ge 4$.
Short Presburger arithmetic is hard
Published
• View Publication
• BIB
We study the computational complexity of short sentences in Presburger arithmetic (Short-PA). Here by "short" we mean sentences with a bounded number of variables, quantifiers, inequalities and Boolean operations; the input consists only of the integer coefficients involved in the linear inequalities. We prove that satisfiability of Short-PA sentences with $m+2$ alternating quantifiers is $Σ_{P}^m$-complete or $Π_{P}^m$-complete, when the first quantifier is $\exists$ or $\forall$, respectively. Counting versions and restricted systems are also analyzed. Further application are given to hardness of two natural problems in Integer Optimizations.
ZFC independence and subset sum
We study recursively defined functions associated with directed graphs on the k dimensional nonnegative integral lattice. The existence of certain combinatorial structures associated with these function classes are shown to be independent of the ZFC axioms of mathematics. These structures, in a natural way, give rise to sets of instances to the subset sum problem. We use this connection to make some observations about ZFC independence and the subset sum problem.
The $M$-Polynomial and Topological Indices of Generalized Möbius Ladder and Its Line Graph
The $M$-polynomial was introduced by Deutsch and Klavžar in 2015 as a graph polynomial to provide an easy way to find closed formulas of degree-based topological indices, which are used to predict physical, chemical, and pharmacological properties of organic molecules. In this paper we give general closed forms of the $M$-polynomial of the generalized Möbius ladder and its line graph. We also compute Zagreb Indices, generalized Randić indices, and symmetric division index of these graphs via the $M$-polynomial.