Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Coloring random graphs online without creating monochromatic subgraphs
Published in Random, Structures & Algorithms 44(4):419-464, 2014
• View Publication
• BIB
Consider the following random process: The vertices of a binomial random graph $G_{n,p}$ are revealed one by one, and at each step only the edges induced by the already revealed vertices are visible. Our goal is to assign to each vertex one from a fixed number $r$ of available colors immediately and irrevocably without creating a monochromatic copy of some fixed graph $F$ in the process. Our first main result is that for any $F$ and $r$, the threshold function for this problem is given by $p_0(F,r,n)=n^{-1/m_1^*(F,r)}$, where $m_1^*(F,r)$ denotes the so-called \emph{online vertex-Ramsey density} of $F$ and $r$. This parameter is defined via a purely deterministic two-player game, in which the random process is replaced by an adversary that is subject to certain restrictions inherited from the random setting. Our second main result states that for any $F$ and $r$, the online vertex-Ramsey density $m_1^*(F,r)$ is a computable rational number. Our lower bound proof is algorithmic, i.e., we obtain polynomial-time online algorithms that succeed in coloring $G_{n,p}$ as desired with probability $1-o(1)$ for any $p(n) = o(n^{-1/m_1^*(F,r)})$.
Path description of type B q-characters
Published in Advances in Mathematics 231 no. 2 (2012) pp 1119--1150
• View Publication
• BIB
We give a set of sufficient conditions for a Laurent polynomial to be the q-character of a finite-dimensional irreducible representation of a quantum affine group. We use this result to obtain an explicit path description of q-characters for a class of modules in type B. In particular, this proves a conjecture of Kuniba-Ohta-Suzuki.
Riordan arrays and applications via the classical umbral calculus
We use the classical umbral calculus to describe Riordan arrays. Here, a Riordan array is generated by a pair of umbrae, and this provides efficient proofs of several basic results of the theory such as the multiplication rule, the recursive properties, the fundamental theorem and the connection with Sheffer sequences. In particular, we show that the fundamental theorem turns out to be a reformulation of the umbral Abel identity. As an application, we give an elementary approach to the problem of extending integer powers of Riordan arrays to complex powers in such a way that additivity of the exponents is preserved. Also, ordinary Riordan arrays are studied within the classical umbral perspective and some combinatorial identities are discussed regarding Catalan numbers, Fibonacci numbers and Chebyshev polynomials.
An Upper Bound Theorem concerning lattice polytopes
R. P. Stanley proved the Upper Bound Conjecture in 1975. We imitate his proof for the Ehrhart rings. We give some upper bounds for the volume of integrally closed lattice polytopes. We derive some inequalities for the delta-vector of integrally closed lattice polytopes. Finally we apply our results for reflexive integrally closed and order polytopes.
An orthogonal polynomial coefficient formula for the Hankel transform
We give an explicit formula for the Hankel transform of a regular sequence in terms of the coefficients of the associated orthogonal polynomials and the sequence itself. We apply this formula to some sequences of combinatorial interest, deriving interesting combinatorial identities by this means. Further insight is also gained into the structure of the Hankel transform of a sequence.
Arithmetic progressions in sumsets and L^p-almost-periodicity
Published
• View Publication
• BIB
We prove results about the L^p-almost-periodicity of convolutions. One of these follows from a simple but rather general lemma about approximating a sum of functions in L^p, and gives a very short proof of a theorem of Green that if A and B are subsets of {1,...,N} of sizes alpha N and beta N then A+B contains an arithmetic progression of length at least about exp(c (alpha beta log N)^{1/2}). Another almost-periodicity result improves this bound for densities decreasing with N: we show that under the above hypotheses the sumset A+B contains an arithmetic progression of length at least about exp(c (alpha log N/(log(beta^{-1}))^3)^{1/2}).
Weak Convergence of Laws of Finite Graphs
The law of a finite graph is a probability measure induced by the orbits of the graph under its automorphism group. Every law satisfies the intrinsic mass transport principle, which is also known as unimodularity. We discuss the convergence of sequences of laws of finite graphs. Of particular importance is a conjecture proposed by Aldous and Lyons that claims every unimodular measure is a limit of a sequence of laws. Aside from this open problem, other directions of research are also mentioned. We work out in detail a number of results and examples, some of which are new, and others that have been previously stated without proofs. These results include a new characterization of laws of finite connected graphs, a description of the topological space of paths, and a proof that the compact space of weak limits of laws is convex.
Construction of some unimodular lattices with long shadow
Published in Int. J. Number Theory 7 (2011), 1345-1358
• View Publication
• BIB
In this paper, we construct odd unimodular lattices in dimensions n=36,37 having minimum norm 3 and 4s=n-16, where s is the minimum norm of the shadow. We also construct odd unimodular lattices in dimensions n=41,43,44 having minimum norm 4 and 4s=n-24.
Getting directed Hamilton cycle twice faster
Published
• View Publication
• BIB
Consider the random graph process where we start with an empty graph on n vertices, and at time t, are given an edge e_t chosen uniformly at random among the edges which have not appeared so far. A classical result in random graph theory asserts that w.h.p. the graph becomes Hamiltonian at time (1/2+o(1))n log n. On the contrary, if all the edges were directed randomly, then the graph has a directed Hamilton cycle w.h.p. only at time (1+o(1))n log n. In this paper we further study the directed case, and ask whether it is essential to have twice as many edges compared to the undirected case. More precisely, we ask if at time t, instead of a random direction one is allowed to choose the orientation of e_t, then whether it is possible or not to make the resulting directed graph Hamiltonian at time earlier than n log n. The main result of our paper answers this question in the strongest possible way, by asserting that one can orient the edges on-line so that w.h.p., the resulting graph has a directed Hamilton cycle exactly at the time at which the underlying graph is Hamiltonian.
Acyclic and Star Colorings of Cographs
Published
• View Publication
• BIB
An \emph{acyclic coloring} of a graph is a proper vertex coloring such that the union of any two color classes induces a disjoint collection of trees. The more restricted notion of \emph{star coloring} requires that the union of any two color classes induces a disjoint collection of stars. We prove that every acyclic coloring of a cograph is also a star coloring and give a linear-time algorithm for finding an optimal acyclic and star coloring of a cograph. If the graph is given in the form of a cotree, the algorithm runs in O(n) time. We also show that the acyclic chromatic number, the star chromatic number, the treewidth plus one, and the pathwidth plus one are all equal for cographs.
Perfect matchings in 3-partite 3-uniform hypergraphs
Published in J. Combinatorial Theory Series A 127 (2014) 22-57
• View Publication
• BIB
Let $H$ be a $3$-partite $3$-uniform hypergraph, i.e. a $3$-uniform hypergraph such that every edge intersects every partition class in exactly one vertex, with each partition class of size $n$. We determine a Dirac-type vertex degree threshold for perfect matchings in $3$-partite $3$-uniform hypergraphs.
On the path-avoidance vertex-coloring game
Published in Electronic Journal of Combinatorics 18(1), Research Paper 163, 33 pp., 2011
• Search Publication
For any graph $F$ and any integer $r\geq 2$, the \emph{online vertex-Ramsey density of $F$ and $r$}, denoted $m^*(F,r)$, is a parameter defined via a deterministic two-player Ramsey-type game (Painter vs.\ Builder). This parameter was introduced in a recent paper \cite{mrs11}, where it was shown that the online vertex-Ramsey density determines the threshold of a similar probabilistic one-player game (Painter vs.\ the binomial random graph $G_{n,p}$). For a large class of graphs $F$, including cliques, cycles, complete bipartite graphs, hypercubes, wheels, and stars of arbitrary size, a simple greedy strategy is optimal for Painter and closed formulas for $m^*(F,r)$ are known. In this work we show that for the case where $F=P_\ell$ is a (long) path, the picture is very different. It is not hard to see that $m^*(P_\ell,r)= 1-1/k^*(P_\ell,r)$ for an appropriately defined integer $k^*(P_\ell,r)$, and that the greedy strategy gives a lower bound of $k^*(P_\ell,r)\geq \ell^r$. We construct and analyze Painter strategies that improve on this greedy lower bound by a factor polynomial in $\ell$, and we show that no superpolynomial improvement is possible.
Ramsey Properties of Permutations
Published in Electron. J. Combin., 20(1), 2013. Paper 2, 10pp
• Search Publication
The age of each countable homogeneous permutation forms a Ramsey class. Thus, there are five countably infinite Ramsey classes of permutations.
A remark of Ruzsa's construction of an infinite Sidon set
A Sidon set is a set of the positive integers such that the sums of two pairs is not repeated. I. Ruzsa gave a probabilistic construction of an infinite Sidon set. In this work we present the details of a simplified proof of this construction as suggested in a paper of I. Ruzsa and J. Cilleruelo (Real and -padic Sidon sequences, Acta Sci. Math (Szeged) 70 (2004), 505-510).
Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks
Finite state automata (FSA) are ubiquitous in computer science. Two of the most important algorithms for FSA processing are the conversion of a non-deterministic finite automaton (NFA) to a deterministic finite automaton (DFA), and then the production of the unique minimal DFA for the original NFA. We exhibit a parallel disk-based algorithm that uses a cluster of 29 commodity computers to produce an intermediate DFA with almost two billion states and then continues by producing the corresponding unique minimal DFA with less than 800,000 states. The largest previous such computation in the literature was carried out on a 512-processor CM-5 supercomputer in 1996. That computation produced an intermediate DFA with 525,000 states and an unreported number of states for the corresponding minimal DFA. The work is used to provide strong experimental evidence satisfying a conjecture on a series of token passing networks. The conjecture concerns stack sortable permutations for a finite stack and a 3-buffer. The origins of this problem lie in the work on restricted permutations begun by Knuth and Tarjan in the late 1960s. The parallel disk-based computation is also compared with both a single-threaded and multi-threaded RAM-based implementation using a 16-core 128 GB large shared memory computer.
2-generated Cayley digraphs on nilpotent groups have hamiltonian paths
Published
• View Publication
• BIB
Suppose G is a nilpotent, finite group. We show that if {a,b} is any 2-element generating set of G, then the corresponding Cayley digraph Cay(G;a,b) has a hamiltonian path. This implies there is a hamiltonian path in every connected Cayley graph on G that has valence at most 4.
Irreducible triangulations of surfaces with boundary
Published in Graphs and Combinatorics 29(6):1675-1688, 2013
• View Publication
• BIB
A triangulation of a surface is irreducible if no edge can be contracted to produce a triangulation of the same surface. In this paper, we investigate irreducible triangulations of surfaces with boundary. We prove that the number of vertices of an irreducible triangulation of a (possibly non-orientable) surface of genus g>=0 with b>=0 boundaries is O(g+b). So far, the result was known only for surfaces without boundary (b=0). While our technique yields a worse constant in the O(.) notation, the present proof is elementary, and simpler than the previous ones in the case of surfaces without boundary.
Some conjectures on congruences
Let $p$ be an odd prime. In the paper we collect the author's various conjectures on congruences modulo $p$ or $p^2$, which are concerned with sums of binomial coefficients, Lucas sequences, power residues and special binary quadratic forms.
Some Generalized Harmonic Number Identities
Summation by parts is used to find the sum of a finite series of generalized harmonic numbers involving a specific polynomial or rational function. The Euler-Maclaurin formula for sums of powers is used to find the sums of some finite series of generalized harmonic numbers involving nonnegative integer powers, which can be used to evaluate the sums of the finite series of generalized harmonic numbers involving polynomials. Many examples and a computer program are provided.
Combinatorics of embeddings
We offer the following explanation of the statement of the Kuratowski graph planarity criterion and of 6/7 of the statement of the Robertson-Seymour-Thomas intrinsic linking criterion. Let us call a cell complex 'dichotomial' if to every cell there corresponds a unique cell with the complementary set of vertices. Then every dichotomial cell complex is PL homeomorphic to a sphere; there exist precisely two 3-dimensional dichotomial cell complexes, and their 1-skeleta are K_5 and K_{3,3}; and precisely six 4-dimensional ones, and their 1-skeleta all but one graphs of the Petersen family.
In higher dimensions n>2, we observe that in order to characterize those compact n-polyhedra that embed in S^{2n} in terms of finitely many "prohibited minors", it suffices to establish finiteness of the list of all (n-1)-connected n-dimensional finite cell complexes that do not embed in S^{2n} yet all their proper subcomplexes and proper cell-like combinatorial quotients embed there. Our main result is that this list contains the n-skeleta of (2n+1)-dimensional dichotomial cell complexes. The 2-skeleta of 5-dimensional dichotomial cell complexes include (apart from the three joins of the i-skeleta of (2i+2)-simplices) at least ten non-simplicial complexes.