Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Characterizing circles by a convex combinatorial property
Let $K_0$ be a compact convex subset of the plane $\mathbb R^2$, and assume that $K_1\subseteq \mathbb R^2$ is similar to $K_0$, that is, $K_1$ is the image of $K_0$ with respect to a similarity transformation $\mathbb R^2\to\mathbb R^2$. Kira Adaricheva and Madina Bolat have recently proved that if $K_0$ is a disk and both $K_0$ and $K_1$ are included in a triangle with vertices $A_0$, $A_1$, and $A_2$, then there exist a $j\in \{0,1,2\}$ and a $k\in\{0,1\}$ such that $K_{1-k}$ is included in the convex hull of $K_k\cup(\{A_0,A_1, A_2\}\setminus\{A_j\})$. Here we prove that this property characterizes disks among compact convex subsets of the plane. Actually, we prove even more since we replace "similar" by "isometric" (also called "congruent"). Circles are the boundaries of disks, so our result also gives a characterization of circles.
A threshold result for loose Hamiltonicity in random regular uniform hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{G}(n,r,s)$ denote a uniformly random $r$-regular $s$-uniform hypergraph on $n$ vertices, where $s$ is a fixed constant and $r=r(n)$ may grow with $n$. An $\ell$-overlapping Hamilton cycle is a Hamilton cycle in which successive edges overlap in precisely $\ell$ vertices, and 1-overlapping Hamilton cycles are called loose Hamilton cycles.
When $r,s\geq 3$ are fixed integers, we establish a threshold result for the property of containing a loose Hamilton cycle. This partially verifies a conjecture of Dudek, Frieze, Rucinski and Sileikis (2015). In this setting, we also find the asymptotic distribution of the number of loose Hamilton cycles in $\mathcal{G}(n,r,s)$.
Finally we prove that for $\ell = 2,\ldots, s-1$ and for $r$ growing moderately as $n\to\infty$, the probability that $\mathcal{G}(n,r,s)$ has a $\ell$-overlapping Hamilton cycle tends to zero.
Asymptotically Good Convolutional Codes
In this paper, we construct new sequences of asymptotically good convolutional codes. These sequences are obtained from sequences of transitive, self-orthogonal and self-dual block codes that attain the Tsfasman-Vladut-Zink bound. Furthermore, by applying the techniques of expanding, extending, puncturing, direct sum, the |u|u+v| construction and the product code construction to these block codes, we construct more new sequences of asymptotically good convolutional codes. Additionally, we show that the proposed construction method presented here also works when applied for all sequences of good block codes where lim kj/nj and lim dj/nj exist.
Set-Valued Skyline Fillings
Set-valued tableaux play an important role in combinatorial $K$-theory. Separately, semistandard skyline fillings are a combinatorial model for Demazure atoms and key polynomials. We unify these two concepts by defining a set-valued extension of semistandard skyline fillings and then give analogues of results of J. Haglund, K. Luoto, S. Mason, and S. van Willigenberg. Additionally, we give a bijection between set-valued semistandard Young tableaux and C. Lenart's Schur expansion of the Grothendieck polynomial $G_λ$, using the uncrowding operator of V. Reiner, B. Tenner, and A. Yong.
Hypergeometric heritage of W.N. Bailey. With an appendix: Bailey's letters to F. Dyson
Published in Notices of the International Congress of Chinese Mathematicians 7:2 (2019) 32--46
• View Publication
• BIB
We review some of W.N. Bailey's work on hypergeometric functions that found solid applications in number theory. The text is complemented by Bailey's letters to Freeman Dyson from the 1940s.
Conrad's Partial Order on p.q.-Baer *-Rings
Published
• View Publication
• BIB
We prove that p.q.-Baer *-ring forms a pseudo lattice with Conrads partial order and also characterize p.q.-Baer *-rings which are lattices. The initial segments of a p.q.-Baer *-ring with Conrads partial order are shown to be orthomodular posets.
Every 4-regular 4-uniform hypergraph has a 2-coloring with a free vertex
In this paper, we continue the study of $2$-colorings in hypergraphs. A hypergraph is $2$-colorable if there is a $2$-coloring of the vertices with no monochromatic hyperedge. It is known (see Thomassen [J. Amer. Math. Soc. 5 (1992), 217--229]) that every $4$-uniform $4$-regular hypergraph is $2$-colorable. Our main result in this paper is a strengthening of this result. For this purpose, we define a vertex in a hypergraph $H$ to be a free vertex in $H$ if we can $2$-color $V(H) \setminus \{v\}$ such that every hyperedge in $H$ contains vertices of both colors (where $v$ has no color). We prove that every $4$-uniform $4$-regular hypergraph has a free vertex. This proves a known conjecture. Our proofs use a new result on not-all-equal $3$-SAT which is also proved in this paper and is of interest in its own right.