Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On generalizations of separating and splitting families
Published in Electronic journal of combinatorics 23(3):P3.36, 2016
• View Publication
• BIB
The work in this article is concerned with two different types of families of finite sets: separating families and splitting families (they are also called "systems"). These families have applications in combinatorial search, coding theory, cryptography, and related fields. We define and study generalizations of these two notions, which we have named $n$-separating families and $n$-splitting families. For each of these new notions, we outline their basic properties and connections with the well-studied notions. We then spend the greatest effort obtaining lower and upper bounds on the minimal size of the families. For $n$-separating families we obtain bounds which are asymptotically tight within a linear factor. For $n$-splitting families this appears to be much harder; we provide partial results and open questions.
Zeta-equivalent digraphs: Simultaneous cospectrality
Published
• View Publication
• BIB
We introduce a zeta function of digraphs that determines, and is determined by, the spectra of all linear combinations of the adjacency matrix, its transpose, the out-degree matrix, and the in-degree matrix. In particular, zeta-equivalence of graphs encompasses simultaneous cospectrality with respect to the adjacency, the Laplacian, the signless Laplacian, and the normalized Laplacian matrix, respectively. In addition, we express zeta-equivalence in terms of Markov chains and in terms of invasions where each edge is replaced by a fixed digraph. We finish with a method for constructing zeta-equivalent digraphs.
Abelian sandpile model and Biggs-Merino polynomial for directed graphs
Published in J. Combin. Theory Ser. A 154 (2018), 145-171
• View Publication
• BIB
We prove several results concerning a polynomial that arises from the sandpile model on directed graphs; these results are previously only known for undirected graphs. Implicit in the sandpile model is the choice of a sink vertex, and it is conjectured by Perrot and Pham that the polynomial $c_0+c_1y+\ldots c_n y^n$, where $c_i$ is the number of recurrent classes of the sandpile model with level $i$, is independent of the choice of the sink. We prove their conjecture by expressing the polynomial as an invariant of the sinkless sandpile model. We then present a bijection between arborescences of directed graphs and reverse $G$-parking functions that preserves external activity by generalizing Cori-Le Borgne bijection for undirected graphs. As an application of this bijection, we extend Merino's Theorem by showing that for Eulerian directed graphs the polynomial $c_0+c_1y+\ldots c_n y^n$ is equal to the greedoid polynomial of the graph.
Swapping algebra, Virasoro algebra and discrete integrable system
We induce a Poisson algebra $\{\cdot,\cdot\}_{\mathcal{C}_{n,N}}$ on the configuration space $\mathcal{C}_{n,N}$ of $N$ twisted polygons in $\mathbb{RP}^{n-1}$ from the swapping algebra \cite{L12}, which is found coincide with Faddeev-Takhtajan-Volkov algebra for $n=2$. There is another Poisson algebra $\{\cdot,\cdot\}_{S2}$ on $\mathcal{C}_{2,N}$ induced from the first Adler-Gelfand-Dickey Poissson algebra by Miura transformation. By observing that these two Poisson algebras are asymptotically related to the dual to the Virasoro algebra, finally, we prove that $\{\cdot,\cdot\}_{\mathcal{C}_{2,N}}$ and $\{\cdot,\cdot\}_{S2}$ are Schouten commute.
The Siblings of the Coupon Collector
Published
• View Publication
• BIB
The following variant of the collector's problem has attracted considerable attention relatively recently (see, e.g., N. Pintacuda 1980, D. Foata H. Guo-Niu and B. Lass 2001, D. Foata and D. Zeilberger 2003, I. Adler, S. Oren and S. Ross 2003, and S. Ross 2010): There is one main collector who collects coupons. Assume there are $N$ different types of coupons with, in general, unequal occurring probabilities. When the main collector gets a "double", she gives it to her older brother; when this brother gets a "double", he gives it to the next brother, and so on. Hence, when the main collector completes her collection, the album of the $j$-th sibling, $j = 2, 3, \dots$, will still have $U_j^N$ empty spaces. In this article we develop techniques of computing asymptotics of the average $E[U_j^N]$ of $U_j^N$ as $N \rightarrow \infty,$ for a large class of families of coupon probabilities. We also give various illustrative examples.
Eventual quasi-linearity of the Minkowski length
Published in European Journal of Combinatorics 58 (2016), pp. 107--117
• View Publication
• BIB
The Minkowski length of a lattice polytope $P$ is a natural generalization of the lattice diameter of $P$. It can be defined as the largest number of lattice segments whose Minkowski sum is contained in $P$. The famous Ehrhart theorem states that the number of lattice points in the positive integer dilates $tP$ of a lattice polytope $P$ behaves polynomially in $t\in\mathbb{N}$. In this paper we prove that for any lattice polytope $P$, the Minkowski length of $tP$ for $t\in\mathbb{N}$ is eventually a quasi-polynomial with linear constituents. We also give a formula for the Minkowski length of coordinates boxes, degree one polytopes, and dilates of unimodular simplices. In addition, we give a new bound for the Minkowski length of lattice polygons and show that the Minkowski length of a lattice triangle coincides with its lattice diameter.
Number of double-normal pairs in space
Published
• View Publication
• BIB
Given a set $V$ of points in $\mathbb R^d$, two points $p$, $q$ from $V$ form a double-normal pair, if the set $V$ lies between two parallel hyperplanes that pass through $p$ and $q$, respectively, and that are orthogonal to the segment $pq$. In this paper we study the maximum number $N_d(n)$ of double-normal pairs in a set of $n$ points in $\mathbb R^d$. It is not difficult to get from the famous Erdős-Stone theorem that $N_d(n) = \frac 12(1-1/k)n^2+o(n^2)$ for a suitable integer $k = k(d)$ and it was shown in the paper by J. Pach and K. Swanepoel that $\lceil d/2\rceil\le k(d)\le d-1$ and that asymptotically $k(d)\gtrsim d-O(\log d)$.
In this paper we sharpen the upper bound on $k(d)$, which, in particular, gives $k(4)=2$ and $k(5)=3$ in addition to the equality $k(3)=2$ established by J. Pach and K. Swanepoel. Asymptotically we get $k(d)\le d- \log_2k(d) = d - (1+ o(1)) \log_2k(d)$ and show that this problem is connected with the problem of determining the maximum number of points in $\mathbb R^d$ that form pairwise acute (or non-obtuse) angles.
Numerical Algorithm for Pólya Enumeration Theorem
Published
• View Publication
• BIB
Although the Pólya enumeration theorem has been used extensively for decades, an optimized, purely numerical algorithm for calculating its coefficients is not readily available. We present such an algorithm for finding the number of unique colorings of a finite set under the action of a finite group.
Irreversible 2-conversion set in graphs of bounded degree
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (September 26, 2017) dmtcs:2559
• View Publication
• BIB
An irreversible $k$-threshold process (also a $k$-neighbor bootstrap percolation) is a dynamic process on a graph where vertices change color from white to black if they have at least $k$ black neighbors. An irreversible $k$-conversion set of a graph $G$ is a subset $S$ of vertices of $G$ such that the irreversible $k$-threshold process starting with $S$ black eventually changes all vertices of $G$ to black. We show that deciding the existence of an irreversible 2-conversion set of a given size is NP-complete, even for graphs of maximum degree 4, which answers a question of Dreyer and Roberts. Conversely, we show that for graphs of maximum degree 3, the minimum size of an irreversible 2-conversion set can be computed in polynomial time. Moreover, we find an optimal irreversible 3-conversion set for the toroidal grid, simplifying constructions of Pike and Zou.
Searching for knights and spies: a majority/minority game
Published
• View Publication
• BIB
There are n people, each of whom is either a knight or a spy. It is known that at least k knights are present, where n/2 < k < n. Knights always tell the truth. We consider both spies who always lie and spies who answer as they see fit. This paper determines the number of questions required to find a spy or prove that everyone in the room is a knight. We also determine the minimum number of questions needed to find at least one person's identity, or a nominated person's identity, or to find a spy (under the assumption that a spy is present). For spies who always lie, we prove that these searching problems, and the problem of finding a knight, can be solved by a simultaneous optimal strategy. We also give some computational results on the problem of finding all identities when spies always lie, and end by stating some open problems.
Dominating induced matchings of finite graphs and regularity of edge ideals
Published
• View Publication
• BIB
The regularity of an edge ideal of a finite simple graph $G$ is at least the induced matching number of $G$ and is at most the minimum matching number of $G$. If $G$ possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of $G$ is equal to the minimum matching number of $G$. In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied.
All fractional (g,f)-factors in graphs
Let $G$ be a graph, and $g,f:V(G)\rightarrow N$ be two functions with $g(x)\leq f(x)$ for each vertex $x$ in $G$. We say that $G$ has all fractional $(g,f)$-factors if $G$ includes a fractional $r$-factor for every $r:V(G)\rightarrow N$ such that $g(x)\leq r(x)\leq f(x)$ for each vertex $x$ in $G$. Let $H$ be a subgraph of $G$. We say that $G$ admits all fractional $(g,f)$-factors including $H$ if for every $r:V(G)\rightarrow N$ with $g(x)\leq r(x)\leq f(x)$ for each vertex $x$ in $G$, $G$ includes a fractional $r$-factor $F_h$ with $h(e)=1$ for any $e\in E(H)$, then we say that $G$ admits all fractional $(g,f)$-factors including $H$, where $h:E(G)\rightarrow [0,1]$ is the indicator function of $F_h$. In this paper, we obtain a characterization for the existence of all fractional $(g,f)$-factors including $H$ and pose a sufficient condition for a graph to have all fractional $(g,f)$-factors including $H$.
Size sensitive packing number for Hamming cube and its consequences
We prove a size-sensitive version of Haussler's Packing lemma~\cite{Haussler92spherepacking} for set-systems with bounded primal shatter dimension, which have an additional {\em size-sensitive property}. This answers a question asked by Ezra~\cite{Ezra-sizesendisc-soda-14}. We also partially address another point raised by Ezra regarding overcounting of sets in her chaining procedure. As a consequence of these improvements, we get an improvement on the size-sensitive discrepancy bounds for set systems with the above property. Improved bounds on the discrepancy for these special set systems also imply an improvement in the sizes of {\em relative $(\varepsilon, δ)$-approximations} and $(ν, α)$-samples.
Lozenge tilings of hexagons with arbitrary dents
Published
• View Publication
• BIB
Eisenk"olbl gave a formula for the number of lozenge tilings of a hexagon on the triangular lattice with three unit triangles removed from along alternating sides. In earlier work, the first author extended this to the situation when an arbitrary set of unit triangles is removed from along alternating sides of the hexagon. In this paper we address the general case when an arbitrary set of unit triangles is removed from along the boundary of the hexagon.
The Parameterized Complexity of Graph Cyclability
Published
• View Publication
• BIB
The cyclability of a graph is the maximum integer $k$ for which every $k$ vertices lie on a cycle. The algorithmic version of the problem, given a graph $G$ and a non-negative integer $k,$ decide whether the cyclability of $G$ is at least $k,$ is {\sf NP}-hard. We study the parametrized complexity of this problem. We prove that this problem, parameterized by $k,$ is ${\sf co\mbox{-}W[1]}$-hard and that its does not admit a polynomial kernel on planar graphs, unless ${\sf NP}\subseteq{\sf co}\mbox{-}{\sf NP}/{\sf poly}$. On the positive side, we give an {\sf FPT} algorithm for planar graphs that runs in time $2^{2^{O(k^2\log k)}}\cdot n^2$. Our algorithm is based on a series of graph-theoretical results on cyclic linkages in planar graphs.
Permutation combinatorics of worldsheet moduli space
Published in Phys. Rev. D 91, 126001 (2015)
• View Publication
• BIB
Light-cone string diagrams have been used to reproduce the orbifold Euler characteristic of moduli spaces of punctured Riemann surfaces at low genus and with few punctures. Nakamura studied the meromorphic differential introduced by Giddings and Wolpert to characterise light-cone diagrams and introduced a class of graphs related to this differential. These Nakamura graphs were used to parametrise the cells in a light-cone cell decomposition of moduli space. We develop links between Nakamura graphs and realisations of the worldsheet as branched covers. This leads to a development of the combinatorics of Nakamura graphs in terms of permutation tuples. For certain classes of cells, including those of top dimension, there is a simple relation to Belyi maps, which allows us to use results from Hermitian and complex matrix models to give analytic formulae for the counting of cells at arbitrarily high genus. For the most general cells, we develop a new equivalence relation on Hurwitz classes which organises the cells and allows efficient enumeration of Nakamura graphs using the group theory software GAP.
On the complexity of computing MP distance between binary phylogenetic trees
Published
• View Publication
• BIB
Within the field of phylogenetics there is great interest in distance measures to quantify the dissimilarity of two trees. Recently, a new distance measure has been proposed: the Maximum Parsimony (MP) distance. This is based on the difference of the parsimony scores of a single character on both trees under consideration, and the goal is to find the character which maximizes this difference. Here we show that computation of MP distance on two \emph{binary} phylogenetic trees is NP-hard. This is a highly nontrivial extension of an earlier NP-hardness proof for two multifurcating phylogenetic trees, and it is particularly relevant given the prominence of binary trees in the phylogenetics literature. As a corollary to the main hardness result we show that computation of MP distance is also hard on binary trees if the number of states available is bounded. In fact, via a different reduction we show that it is hard even if only two states are available. Finally, as a first response to this hardness we give a simple Integer Linear Program (ILP) formulation which is capable of computing the MP distance exactly for small trees (and for larger trees when only a small number of character states are available) and which is used to computationally verify several auxiliary results required by the hardness proofs.
Playing weighted Tron on Trees
Published
• View Publication
• BIB
We consider the weighted version of the Tron game on graphs where two players, Alice and Bob, each build their own path by claiming one vertex at a time, starting with Alice. The vertices carry non-negative weights that sum up to 1 and either player tries to claim a path with larger total weight than the opponent. We show that if the graph is a tree then Alice can always ensure to get at most 1/5 less than Bob, and that there exist trees where Bob can ensure to get at least 1/5 more than Alice.
The equidistribution of some length three vincular patterns on $S_n(132)$
Published
• View Publication
• BIB
In 2012 Bóna showed the rather surprising fact that the cumulative number of occurrences of the classical patterns $231$ and $213$ are the same on the set of permutations avoiding $132$, beside the pattern based statistics $231$ and $213$ do not have the same distribution on this set. Here we show that if it is required for the symbols playing the role of $1$ and $3$ in the occurrences of $231$ and $213$ to be adjacent, then the obtained statistics are equidistributed on the set of $132$-avoiding permutations. Actually, expressed in terms of vincular patterns, we prove the following more general results: the statistics based on the patterns $b-ca$, $b-ac$ and $ba-c$, together with other statistics, have the same joint distribution on $S_n(132)$, and so do the patterns $bc-a$ and $c-ab$; and up to trivial transformations, these statistics are the only based on length three proper (not classical nor adjacent) vincular patterns which are equidistributed on a set of permutations avoiding a classical length three pattern.
On the Spectrum of the Generalised Petersen Graphs
Published
• View Publication
• BIB
We show that the gap between the two greatest eigenvalues of the generalised Petersen graphs $P(n,k)$ tends to zero as $n \rightarrow \infty$. Moreover, we provide explicit upper bounds on the size of this gap. It follows that these graphs have poor expansion properties for large values of $n$. We also show that a positive proportion of the eigenvalues of $P(n,k)$ tend to the valency.