Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Ordered Biclique Partitions and Communication Complexity Problems
Published
• View Publication
• BIB
An ordered biclique partition of the complete graph $K_n$ on $n$ vertices is a collection of bicliques (i.e., complete bipartite graphs) such that (i) every edge of $K_n$ is covered by at least one and at most two bicliques in the collection, and (ii) if an edge $e$ is covered by two bicliques then each endpoint of $e$ is in the first class in one of these bicliques and in the second class in other one. In this note, we give an explicit construction of such a collection of size $n^{1/2+o(1)}$, which improves the $O(n^{2/3})$ bound shown in the previous work [Disc. Appl. Math., 2014].
As the immediate consequences of this result, we show (i) a construction of $n \times n$ 0/1 matrices of rank $n^{1/2+o(1)}$ which have a fooling set of size $n$, i.e., the gap between rank and fooling set size can be at least almost quadratic, and (ii) an improved lower bound $(2-o(1)) \log N$ on the nondeterministic communication complexity of the clique vs. independent set problem, which matches the best known lower bound on the deterministic version of the problem shown by Kushilevitz, Linial and Ostrovsky [Combinatorica, 1999].
A generalization of weight polynomials to matroids
Published
• View Publication
• BIB
Generalizing polynomials previously studied in the context of linear codes, we define weight polynomials and an enumerator for a matroid $M$. Our main result is that these polynomials are determined by Betti numbers associated with graded minimal free resolutions of the Stanley-Reisner ideals of $M$ and so-called elongations of $M$. Generalizing Greene's theorem from coding theory, we show that the enumerator of a matroid is equivalent to its Tutte polynomial.
Combinatorics of simple marked mesh patterns in 132-avoiding permutations
We present some combinatorial interpretations for coefficients appearing in series partitioning the permutations avoiding 132 along marked mesh patterns. We identify for patterns in which only one parameter is non zero the combinatorial family in bijection with 132-avoiding permutations and also preserving the statistic counted by the marked mesh pattern.
Rainbow Matchings and Hamilton Cycles in Random Graphs
Published
• View Publication
• BIB
Let $HP_{n,m,k}$ be drawn uniformly from all $k$-uniform, $k$-partite hypergraphs where each part of the partition is a disjoint copy of $[n]$. We let $HP^{(\k)}_{n,m,k}$ be an edge colored version, where we color each edge randomly from one of $\k$ colors. We show that if $\k=n$ and $m=Kn\log n$ where $K$ is sufficiently large then w.h.p. there is a rainbow colored perfect matching. I.e. a perfect matching in which every edge has a different color. We also show that if $n$ is even and $m=Kn\log n$ where $K$ is sufficiently large then w.h.p. there is a rainbow colored Hamilton cycle in $G^{(n)}_{n,m}$. Here $G^{(n)}_{n,m}$ denotes a random edge coloring of $G_{n,m}$ with $n$ colors. When $n$ is odd, our proof requires $m=\om(n\log n)$ for there to be a rainbow Hamilton cycle.
On the roots of $σ$-polynomials
Published in Journal of Graph Theory, 82(1) (2016), 90-102
• Search Publication
Given a graph $G$ of order $n$, the $σ$-$polynomial$ of $G$ is the generating function $σ(G,x) = \sum a_{i}x^{i}$ where $a_{i}$ is the number of partitions of the vertex set of $G$ into $i$ nonempty independent sets. Such polynomials arise in a natural way from chromatic polynomials. Brenti [1] proved that $σ$-polynomials of graphs with chromatic number at least $n-2$ had all real roots, and conjectured the same held for chromatic number $n-3$. We affirm this conjecture.
Intransitive Dice
Published in Mathematics Magazine 89 (2016) 133-143
• View Publication
• BIB
We consider $n$-sided dice whose face values lie between $1$ and $n$ and whose faces sum to $n(n+1)/2$. For two dice $A$ and $B$, define $A \succ B$ if it is more likely for $A$ to show a higher face than $B$. Suppose $k$ such dice $A_1,\dots,A_k$ are randomly selected. We conjecture that the probability of ties goes to 0 as $n$ grows. We conjecture and provide some supporting evidence that---contrary to intuition---each of the $2^{k \choose 2}$ assignments of $\succ$ or $\prec$ to each pair is equally likely asymptotically. For a specific example, suppose we randomly select $k$ dice $A_1,\dots,A_k$ and observe that $A_1 \succ A_2 \succ \ldots \succ A_k$. Then our conjecture asserts that the outcomes $A_k \succ A_1$ and $A_1 \prec A_k$ both have probability approaching $1/2$ as $n \rightarrow \infty$.
Smith Normal Form of a Multivariate Matrix Associated with Partitions
Published
• View Publication
• BIB
Consideration of a question of E. R. Berlekamp led Carlitz, Roselle, and Scoville to give a combinatorial interpretation of the entries of certain matrices of determinant~1 in terms of lattice paths. Here we generalize this result by refining the matrix entries to be multivariate polynomials, and by determining not only the determinant but also the Smith normal form of these matrices. A priori the Smith form need not exist but its existence follows from the explicit computation. It will be more convenient for us to state our results in terms of partitions rather than lattice paths.
Paving Rectangular Regions with Rectangular Tiles: Tatami and Non-Tatami Tilings
The number of complete tilings of m X n floors for tiles of shape 1 X 2, 1 X 3, 1 X 4 and 2 X 3 is computed numerically for floors up to width m=9 and variable floor lengths n. Counts are obtained for two classes, for fixed tile stack orientation on one hand and for counts up to rotations and reflections on the other hand. Counts are refined by the number of points on the floor where 4 tiles meet, i.e., by the degree of violation of the requirement for Tatami tilings.
The Simplex Algorithm is NP-mighty
Published
• View Publication
• BIB
We propose to classify the power of algorithms by the complexity of the problems that they can be used to solve. Instead of restricting to the problem a particular algorithm was designed to solve explicitly, however, we include problems that, with polynomial overhead, can be solved 'implicitly' during the algorithm's execution. For example, we allow to solve a decision problem by suitably transforming the input, executing the algorithm, and observing whether a specific bit in its internal configuration ever switches during the execution. We show that the Simplex Method, the Network Simplex Method (both with Dantzig's original pivot rule), and the Successive Shortest Path Algorithm are NP-mighty, that is, each of these algorithms can be used to solve any problem in NP. This result casts a more favorable light on these algorithms' exponential worst-case running times. Furthermore, as a consequence of our approach, we obtain several novel hardness results. For example, for a given input to the Simplex Algorithm, deciding whether a given variable ever enters the basis during the algorithm's execution and determining the number of iterations needed are both NP-hard problems. Finally, we close a long-standing open problem in the area of network flows over time by showing that earliest arrival flows are NP-hard to obtain.
Nonexistence of Exceptional 5-class Association Schemes with Two $Q$-polynomial Structures
Published
• View Publication
• BIB
In [H. Suzuki, Association schemes with multiple $Q$-polynomial structures, J. Algebraic Combin. 7 (1998) 181-196], Suzuki gave a classification of association schemes with multiple $Q$-polynomial structures, allowing for one exceptional case which has five classes. In this paper, we rule out the existence of this case. Hence Suzuki's theorem mirrors exactly the well-known counterpart for association schemes with multiple $P$-polynomial structures, a result due to Eiichi Bannai and Etsuko Bannai in 1980.
Mixing under monotone censoring
Published
• View Publication
• BIB
We initiate the study of mixing times of Markov chain under monotone censoring. Suppose we have some Markov Chain $M$ on a state space $Ω$ with stationary distribution $π$ and a monotone set $A \subset Ω$. We consider the chain $M'$ which is the same as the chain $M$ started at some $x \in A$ except that moves of $M$ of the form $x \to y$ where $x \in A$ and $y \notin A$ are {\em censored} and replaced by the move $x \to x$. If $M$ is ergodic and $A$ is connected, the new chain converges to $π$ conditional on $A$. In this paper we are interested in the mixing time of the chain $M'$ in terms of properties of $M$ and $A$. Our results are based on new connections with the field of property testing. A number of open problems are presented.
Distance between two random k-out digraphs, with and without preferential attachment
Published
• View Publication
• BIB
A random k-out mapping (digraph) on [n] is generated by choosing k random images of each vertex one at a time, subject to a "preferential attachment" rule: the current vertex selects an image i with probability proportional to a given parameter α= α(n) plus the number of times i has already been selected. Intuitively, the larger αgets, the closer the resulting k-out mapping is to the uniformly random k-out mapping. We prove that α= Θ(n^{1/2}) is the threshold for αgrowing "fast enough" to make the random digraph approach the uniformly random digraph in terms of the total variation distance. We also determine an exact limit for this distance for α= βn^{1/2}.
A Statistical Model of Current Loops and Magnetic Monopoles
Published in Mathematical Physics, Analysis and Geometry (2015), Volume 18, Issue 1, Article 16
• View Publication
• BIB
We formulate a natural model of current loops and magnetic monopoles for arbitrary planar graphs, which we call the monopole-dimer model, and express the partition function of this model as a determinant. We then extend the method of Kasteleyn and Temperley-Fisher to calculate the partition function exactly in the case of rectangular grids. This partition function turns out to be a square of the partition function of an emergent monomer-dimer model when the grid sizes are even. We use this formula to calculate the local monopole density, free energy and entropy exactly. Our technique is a novel determinantal formula for the partition function of a model of vertices and loops for arbitrary graphs.
Approximate convexity and an edge-isoperimetric estimate
Published
• View Publication
• BIB
We study extremal properties of the function
$$ F(x) := \min\{k\|x\|^{1-1/k}\colon k\ge 1\},\ x\in[0,1], $$ where $\|x\|=\min\{x,1-x\}$. In particular, we show that $F$ is the pointwise largest function of the class of all real-valued functions $f$ defined on the interval $[0,1]$, and satisfying the relaxed convexity condition
$$ f(tx_1+(1-t)x_2) \le tf(x_1)+(1-t)f(x_2)+|x_2-x_1|, \ x_1,x_2,t\in[0,1] $$ and the boundary condition $\max\{f(0),f(1)\}\le 0$.
As an application, we prove that if $A$ and $S$ are subsets of a finite abelian group $G$, such that $S$ is generating and all of its elements have order at most $m$, then the number of edges from $A$ to its complement $G\setminus A$ in the directed Cayley graph induced by $S$ on $G$ is
$$ \partial_S(A) \ge \frac{1}{m} |G| F(|A|/|G|). $$
Aperiodic pseudorandom number generators based on infinite words
Published in Theoret. Comput. Sci. 647 (2016), 85 -- 100
• View Publication
• BIB
In this paper we study how certain families of aperiodic infinite words can be used to produce aperiodic pseudorandom number generators (PRNGs) with good statistical behavior. We introduce the \emph{well distributed occurrences} (WELLDOC) combinatorial property for infinite words, which guarantees absence of the lattice structure defect in related pseudorandom number generators. An infinite word $u$ on a $d$-ary alphabet has the WELLDOC property if, for each factor $w$ of $u$, positive integer $m$, and vector $\mathbf v\in\mathbb Z_{m}^{d}$, there is an occurrence of $w$ such that the Parikh vector of the prefix of $u$ preceding such occurrence is congruent to $\mathbf v$ modulo $m$. (The Parikh vector of a finite word $v$ over an alphabet $\mathcal A$ has its $i$-th component equal to the number of occurrences of the $i$-th letter of $\mathcal A$ in $v$.) We prove that Sturmian words, and more generally Arnoux-Rauzy words and some morphic images of them, have the WELLDOC property. Using the TestU01 and PractRand statistical tests, we moreover show that not only the lattice structure is absent, but also other important properties of PRNGs are improved when linear congruential generators are combined using infinite words having the WELLDOC property.
Countable connected-homogeneous digraphs
A digraph is connected-homogeneous if every isomorphism between two finite connected induced subdigraphs extends to an automorphism of the whole digraph. In this paper, we completely classify the countable connected-homogeneous digraphs.
Entropy and Graphs
The entropy of a graph is a functional depending both on the graph itself and on a probability distribution on its vertex set. This graph functional originated from the problem of source coding in information theory and was introduced by J. Körner in 1973. Although the notion of graph entropy has its roots in information theory, it was proved to be closely related to some classical and frequently studied graph theoretic concepts. For example, it provides an equivalent definition for a graph to be perfect and it can also be applied to obtain lower bounds in graph covering problems.
In this thesis, we review and investigate three equivalent definitions of graph entropy and its basic properties. Minimum entropy colouring of a graph was proposed by N. Alon in 1996. We study minimum entropy colouring and its relation to graph entropy. We also discuss the relationship between the entropy and the fractional chromatic number of a graph which was already established in the literature.
A graph $G$ is called \emph{symmetric with respect to a functional $F_G(P)$} defined on the set of all the probability distributions on its vertex set if the distribution $P^*$ maximizing $F_G(P)$ is uniform on $V(G)$. Using the combinatorial definition of the entropy of a graph in terms of its vertex packing polytope and the relationship between the graph entropy and fractional chromatic number, we prove that vertex transitive graphs are symmetric with respect to graph entropy. Furthermore, we show that a bipartite graph is symmetric with respect to graph entropy if and only if it has a perfect matching. As a generalization of this result, we characterize some classes of symmetric perfect graphs with respect to graph entropy. Finally, we prove that the line graph of every bridgeless cubic graph is symmetric with respect to graph entropy.
Disconnecting strongly regular graphs
Published in European Journal of Combinatorics 38 (2014) pp. 1-11
• View Publication
• BIB
In this paper, we show that the minimum number of vertices whose removal disconnects a connected strongly regular graph into non-singleton components, equals the size of the neighborhood of an edge for many graphs. These include blocks graphs of Steiner $2$-designs, many Latin square graphs and strongly regular graphs whose intersection parameters are at most a quarter of their valency.
A duality theorem for syzygies of Veronese ideals
We prove a duality theorem for simplicial complexes arising from a combinatorial construction we define, which applies to the squarefree monomial complexes for Veronese ideals of projective spaces and weighted projective spaces. Our theorem yields a formula for the multigraded Betti numbers of these Veronese ideals in terms of the reduced homology groups of these complexes which is dual to one given by Bruns and Herzog. We apply this formula in several ways, including by giving an algorithm for finding the highest syzygy of such a Veronese ideal.
New bounds of degree-based topological indices for some classes of $c$-cyclic graphs
Published in Discrete Applied Mathematics 184 (2015) 62-75
• View Publication
• BIB
Making use of a majorization technique for a suitable class of graphs, we derive upper and lower bounds for some topological indices depending on the degree sequence over all vertices, namely the first general Zagreb index and the first multiplicative Zagreb index. Specifically, after characterizing $c-$cyclic graphs $(0\leq c\leq 6)$ as those whose degree sequence belongs to particular subsets of $\mathbb{R}^{n}$, we identify the maximal and minimal vectors of these subsets with respect to the majorization order. This technique allows us to determine lower and upper bounds of the above indices recovering those existing in the literature as well obtaining new ones.