Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Pretty good state transfer between internal nodes of paths
Published in Quantum Information & Computation, Vol. 17 No.9&10, August 2017. PP0825-0830
• View Publication
• BIB
We study a continous-time quantum walk on a path graph. In this paper, we show that, for any odd prime $p$ and positive integer $t$, the path on $2^t p - 1$ vertices admits pretty good state transfer between vertices $a$ and $n+1-a$ for each $a$ that is a multiple of $2^{t-1}$ with respect to the quantum walk model determined by the XY-Hamiltonian. This gives the first examples of pretty good state transfer occurring between internal vertices on a path, when it does not occur between the extremal vertices.
Quantum and non-signalling graph isomorphisms
Published
• View Publication
• BIB
We introduce a two-player nonlocal game, called the $(G,H)$-isomorphism game, where classical players can win with certainty if and only if the graphs $G$ and $H$ are isomorphic. We then define the notions of quantum and non-signalling isomorphism, by considering perfect quantum and non-signalling strategies for the $(G,H)$-isomorphism game, respectively. In the quantum case, we consider both the tensor product and commuting frameworks for nonlocal games. We prove that non-signalling isomorphism coincides with the well-studied notion of fractional isomorphism, thus giving the latter an operational interpretation. Second, we show that, in the tensor product framework, quantum isomorphism is equivalent to the feasibility of two polynomial systems in non-commuting variables, obtained by relaxing the standard integer programming formulations for graph isomorphism to Hermitian variables. On the basis of this correspondence, we show that quantum isomorphic graphs are necessarily cospectral. Finally, we provide a construction for reducing linear binary constraint system games to isomorphism games. This allows us to produce quantum isomorphic graphs that are nevertheless not isomorphic. Furthermore, it allows us to show that our two notions of quantum isomorphism, from the tensor product and commuting frameworks, are in fact distinct relations, and that the latter is undecidable. Our construction is related to the FGLSS reduction from inapproximability literature, as well as the CFI construction.
On rank-width of even-hole-free graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Graph Theory (October 5, 2017) dmtcs:2575
• View Publication
• BIB
We present a class of (diamond, even hole)-free graphs with no clique cutset that has unbounded rank-width. In general, even-hole-free graphs have unbounded rank-width, because chordal graphs are even-hole-free. A.A. da Silva, A. Silva and C. Linhares-Sales (2010) showed that planar even-hole-free graphs have bounded rank-width, and N.K. Le (2016) showed that even-hole-free graphs with no star cutset have bounded rank-width. A natural question is to ask, whether even-hole-free graphs with no clique cutsets have bounded rank-width. Our result gives a negative answer. Hence we cannot apply Courcelle and Makowsky's meta-theorem which would provide efficient algorithms for a large number of problems, including the maximum independent set problem, whose complexity remains open for (diamond, even hole)-free graphs.
Gaussian Polynomials and Restricted Partition Functions with Constraints
We derive an explicit formula for a restricted partition function P_n^m(s) with constraints making use of known expression for a restricted partition function W_m(s) without constraints
Nordhaus-Gaddum-type theorem for total proper connection number of graphs
Published
• View Publication
• BIB
A graph is said to be \emph{total-colored} if all the edges and the vertices of the graph are colored. A path $P$ in a total-colored graph $G$ is called a \emph{total-proper path} if $(i)$ any two adjacent edges of $P$ are assigned distinct colors; $(ii)$ any two adjacent internal vertices of $P$ are assigned distinct colors; $(iii)$ any internal vertex of $P$ is assigned a distinct color from its incident edges of $P$. The total-colored graph $G$ is \emph{total-proper connected} if any two distinct vertices of $G$ are connected by a total-proper path. The \emph{total-proper connection number} of a connected graph $G$, denoted by $tpc(G)$, is the minimum number of colors that are required to make $G$ total-proper connected. In this paper, we first characterize the graphs $G$ on $n$ vertices with $tpc(G)=n-1$. Based on this, we obtain a Nordhaus-Gaddum-type result for total-proper connection number. We prove that if $G$ and $\overline{G}$ are connected complementary graphs on $n$ vertices, then $6\leq tpc(G)+tpc(\overline{G})\leq n+2$. Examples are given to show that the lower bound is sharp for $n\geq 4$. The upper bound is reached for $n\geq 5$ if and only if $G$ or $\overline{G}$ is the tree with maximum degree $n-2$.
A precolouring extension of Vizing's theorem
Fix a palette $\mathcal K$ of $Δ+1$ colours, a graph with maximum degree $Δ$, and a subset $M$ of the edge set with minimum distance between edges at least $9$. If the edges of $M$ are arbitrarily precoloured from $\mathcal K$, then there is guaranteed to be a proper edge-colouring using only colours from $\mathcal K$ that extends the precolouring on $M$ to the entire graph. This result is a first general precolouring extension form of Vizing's theorem, and it proves a conjecture of Albertson and Moore under a slightly stronger distance requirement. We also show that the condition on the distance can be lowered to $5$ when the graph contains no cycle of length $5$.
A vertex ordering characterization of simple-triangle graphs
Published
• View Publication
• BIB
Consider two horizontal lines in the plane. A pair of a point on the top line and an interval on the bottom line defines a triangle between two lines. The intersection graph of such triangles is called a simple-triangle graph. This paper shows a vertex ordering characterization of simple-triangle graphs as follows: a graph is a simple-triangle graph if and only if there is a linear ordering of the vertices that contains both an alternating orientation of the graph and a transitive orientation of the complement of the graph.
On Prefix Normal Words and Prefix Normal Forms
Published in Theoretical Computer Science, 659: 1-13, 2017
• View Publication
• BIB
A $1$-prefix normal word is a binary word with the property that no factor has more $1$s than the prefix of the same length; a $0$-prefix normal word is defined analogously. These words arise in the context of indexed binary jumbled pattern matching, where the aim is to decide whether a word has a factor with a given number of $1$s and $0$s (a given Parikh vector). Each binary word has an associated set of Parikh vectors of the factors of the word. Using prefix normal words, we provide a characterization of the equivalence class of binary words having the same set of Parikh vectors of their factors.
We prove that the language of prefix normal words is not context-free and is strictly contained in the language of pre-necklaces, which are prefixes of powers of Lyndon words. We give enumeration results on $\textit{pnw}(n)$, the number of prefix normal words of length $n$, showing that, for sufficiently large $n$, \[ 2^{n-4 \sqrt{n \lg n}} \le \textit{pnw}(n) \le 2^{n - \lg n + 1}. \]
For fixed density (number of $1$s), we show that the ordinary generating function of the number of prefix normal words of length $n$ and density $d$ is a rational function. Finally, we give experimental results on $\textit{pnw}(n)$, discuss further properties, and state open problems.
Rises in forests of binary shrubs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (July 19, 2017) dmtcs:2561
• View Publication
• BIB
The study of patterns in permutations associated with forests of binary shrubs was initiated by D. Bevan et al.. In this paper, we study five different types of rise statistics that can be associated with such permutations and find the generating functions for the distribution of such rise statistics.
Triangulability of Convex Graphs and Convex Skewness
Published
• View Publication
• BIB
Motivated by a result of [1] which states that if F is a subgraph of a convex complete graph K_n and F contains no boundary edge of K_n and |E(F)| \leq n-3, then K_n - F admits a triangulation, we determine necessary and sufficient conditions on F with |E(F)| \leq n-1 for which the conclusion remains true. For |E(F)| \geq n, we investigate the possibility of packing F in K_n such that K_n -F admits a triangulation for certain families of graphs F. These results are then applied to determine the convex skewness of the convex graphs of the form K_n - F.
Defective colouring of graphs excluding a subgraph or minor
Published in Combinatorica 39.2:377-410, 2019
• View Publication
• BIB
Archdeacon (1987) proved that graphs embeddable on a fixed surface can be $3$-coloured so that each colour class induces a subgraph of bounded maximum degree. Edwards, Kang, Kim, Oum and Seymour (2015) proved that graphs with no $K_{t+1}$-minor can be $t$-coloured so that each colour class induces a subgraph of bounded maximum degree. We prove a common generalisation of these theorems with a weaker assumption about excluded subgraphs. This result leads to new defective colouring results for several graph classes, including graphs with linear crossing number, graphs with given thickness (with relevance to the earth-moon problem), graphs with given stack- or queue-number, linklessly or knotlessly embeddable graphs, graphs with given Colin de Verdière parameter, and graphs excluding a complete bipartite graph as a topological minor.
Packing 1-Plane Hamiltonian Cycles in Complete Geometric Graphs
Published
• View Publication
• BIB
Counting the number of Hamiltonian cycles that are contained in a geometric graph is {\bf \#P}-complete even if the graph is known to be planar \cite{lot:refer}. A relaxation for problems in plane geometric graphs is to allow the geometric graphs to be 1-plane, that is, each of its edges is crossed at most once. We consider the following question: For any set $P\/$ of $n\/$ points in the plane, how many 1-plane Hamiltonian cycles can be packed into a complete geometric graph $K_n\/$? We investigate the problem by taking two different situations of $P\/$, namely, when $P\/$ is in convex position, wheel configurations position. For points in general position we prove the lower bound of $k-1\/$ where $n=2^{k}+h\/$ and $0\leq h <2^{k}\/$. In all of the situations, we investigate the constructions of the graphs obtained.
Alphabet Size Reduction for Secure Network Coding: A Graph Theoretic Approach
Published
• View Publication
• BIB
We consider a communication network where there exist wiretappers who can access a subset of channels, called a wiretap set, which is chosen from a given collection of wiretap sets. The collection of wiretap sets can be arbitrary. Secure network coding is applied to prevent the source information from being leaked to the wiretappers. In secure network coding, the required alphabet size is an open problem not only of theoretical interest but also of practical importance, because it is closely related to the implementation of such coding schemes in terms of computational complexity and storage requirement. In this paper, we develop a systematic graph-theoretic approach for improving Cai and Yeung's lower bound on the required alphabet size for the existence of secure network codes. The new lower bound thus obtained, which depends only on the network topology and the collection of wiretap sets, can be significantly smaller than Cai and Yeung's lower bound. A polynomial-time algorithm is devised for efficient computation of the new lower bound.
Harmonic sums and polylogarithms at non-positive multi-indices
Published
• View Publication
• BIB
Extending Eulerian polynomials and Faulhaber's formula 1, we study several combi-natorial aspects of harmonic sums and polylogarithms at non-positive multi-indices as well as their structure. Our techniques are based on the combinatorics of non-commutative generating series in the shuffle Hopf algebras giving a global process to renormalize the divergent polyzetas at non-positive multi-indices.
Links Between Sums Over Paths in Bernoulli's Triangles and the Fibonacci Numbers
Published in Journal of Integer Sequences, University of Waterloo, 2016, 19, pp.16.8.3
• Search Publication
We investigate paths in Bernoulli's triangles, and derive several relations linking the partial sums of binomial coefficients to the Fibonacci numbers.
Kazdan-Warner equation on graph in the negative case
Published in J. Math. Anal. Appl. 453, no. 2, 1022-1027, 2017
• View Publication
• BIB
Let $G=(V,E)$ be a connected finite graph. In this short paper, we reinvestigate the Kazdan-Warner equation $$Δu=c-he^u$$ with $c<0$ on $G$, where $h$ defined on $V$ is a known function. Grigor'yan, Lin and Yang \cite{GLY} showed that if the Kazdan-Warner equation has a solution, then $\overline{h}$, the average value of $h$, is negative. Conversely, if $\overline{h}<0$, then there exists a number $c_-(h)<0$, such that the Kazdan-Warner equation is solvable for every $0>c>c_-(h)$ and it is not solvable for $c<c_-(h)$. Moreover, if $h\leq0$ and $h\not\equiv0$, then $c_-(h)=-\infty$.
Inspired by Chen and Li's work \cite{CL}, we ask naturally: \begin{center} Is the Kazdan-Warner equation solvable for $c=c_-(h)$? \end{center} In this paper, we answer the question affirmatively. We show that if $c_-(h)=-\infty$, then $h\leq0$ and $h\not\equiv0$. Moreover, if $c_-(h)>-\infty$, then there exists at least one solution to the Kazdan-Warner equation with $c=c_-(h)$.
On {0,1} CP Tensors and CP Multi-hypergraphs
Published
• View Publication
• BIB
A doubly nonnegative matrix can be written as a Gramian matrix, and a completely positive matrix can therefore be written as a Gramian matrix of some nonnegative vectors. In this paper, we introduce Gramian tensors and study 2-dimension completely positive tensors and {0,1} CP tensors. Also investigated are the complete positive multi-hypergraph, a generalized form of a cp graph. We also provide a necessary and sufficient condition for a 2-dimensional tensor to be completely positive.
Dyck Paths and Positroids from Unit Interval Orders
Published in Journal of Combinatorial Theory, Series A 154 (2018) 507-532
• View Publication
• BIB
It is well known that the number of non-isomorphic unit interval orders on $[n]$ equals the $n$-th Catalan number. Using work of Skandera and Reed and work of Postnikov, we show that each unit interval order on $[n]$ naturally induces a rank $n$ positroid on $[2n]$. We call the positroids produced in this fashion unit interval positroids. We characterize the unit interval positroids by describing their associated decorated permutations, showing that each one must be a $2n$-cycle encoding a Dyck path of length $2n$. We also provide recipes to read the decorated permutation of a unit interval positroid $P$ from both the antiadjacency matrix and the interval representation of the unit interval order inducing $P$. Using our characterization of the decorated permutation, we describe the Le-diagrams corresponding to unit interval positroids. In addition, we give a necessary and sufficient condition for two Grassmann cells parameterized by unit interval positroids to be adjacent inside the Grassmann cell complex. Finally, we propose a potential approach to find the $f$-vector of a unit interval order.
Trees with distinguishing number two
Published
• View Publication
• BIB
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. In this paper we characterize all trees with radius at most three and distinguishing number two. Also we present a necessary condition for trees with distinguishing number two and radius more than three.
Congestion-Free Rerouting of Flows on DAGs
Changing a given configuration in a graph into another one is known as a re- configuration problem. Such problems have recently received much interest in the context of algorithmic graph theory. We initiate the theoretical study of the following reconfiguration problem: How to reroute $k$ unsplittable flows of a certain demand in a capacitated network from their current paths to their respective new paths, in a congestion-free manner? This problem finds immediate applications, e.g., in traffic engineering in computer networks. We show that the problem is generally NP-hard already for $k = 2$ flows, which motivates us to study rerouting on a most basic class of flow graphs, namely DAGs. Interestingly, we find that for general $k$, deciding whether an unsplittable multi-commodity flow rerouting schedule exists, is NP-hard even on DAGs. Both NP-hardness proofs are non-trivial. Our main contribution is a polynomial-time (fixed parameter tractable) algorithm to solve the route update problem for a bounded number of flows on DAGs. At the heart of our algorithm lies a novel decomposition of the flow network that allows us to express and resolve reconfiguration dependencies among flows.