Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Intersections of sets of distances
We isolate conditions on the relative size of sets of natural numbers $A,B$ that guarantee a nonempty intersection $Δ(A)\capΔ(B)\ne\emptyset$ of the corresponding sets of distances. Such conditions apply to a large class of zero density sets. We also show that a variant of Khintchine's Recurrence Theorem holds for all infinite sets $A=\{a_1<a_2<...\}$ with $a_n\ll n^{3/2}$.
Generalized Fibonacci and Lucas cubes arising from powers of paths and cycles
Published in Discrete Mathematics, Volume 339, Issue 1, 6 January 2016, Pages 270-282, ISSN 0012-365X
• View Publication
• BIB
The paper deals with some generalizations of Fibonacci and Lucas sequences, arising from powers of paths and cycles, respectively.
In the first part of the work we provide a formula for the number of edges of the Hasse diagram of the independent sets of the h-th power of a path ordered by inclusion. For h=1 such a diagram is called a Fibonacci cube, and for h>1 we obtain a generalization of the Fibonacci cube. Consequently, we derive a generalized notion of Fibonacci sequence, called h-Fibonacci sequence. Then, we show that the number of edges of a generalized Fibonacci cube is obtained by convolution of an h-Fibonacci sequence with itself.
In the second part we consider the case of cycles. We evaluate the number of edges of the Hasse diagram of the independent sets of the hth power of a cycle ordered by inclusion. For h=1 such a diagram is called Lucas cube, and for h>1 we obtain a generalization of the Lucas cube. We derive then a generalized version of the Lucas sequence, called h-Lucas sequence. Finally, we show that the number of edges of a generalized Lucas cube is obtained by an appropriate convolution of an h-Fibonacci sequence with an h-Lucas sequence.
Implicit Representations and Factorial Properties of Graphs
Published
• View Publication
• BIB
The idea of implicit representation of graphs was introduced in [S. Kannan, M. Naor, S. Rudich, Implicit representation of graphs, SIAM J. Discrete Mathematics, 5 (1992) 596--603] and can be defined as follows. A representation of an $n$-vertex graph $G$ is said to be implicit if it assigns to each vertex of $G$ a binary code of length $O(\log n)$ so that the adjacency of two vertices is a function of their codes. Since an implicit representation of an $n$-vertex graph uses $O(n\log n)$ bits, any class of graphs admitting such a representation contains $2^{O(n\log n)}$ labelled graphs with $n$ vertices. In the terminology of [J. Balogh, B. Bollobás, D. Weinreich, The speed of hereditary properties of graphs, J. Combin. Theory B 79 (2000) 131--156] such classes have at most factorial speed of growth. In this terminology, the implicit graph conjecture can be stated as follows: every class with at most factorial speed of growth which is hereditary admits an implicit representation. The question of deciding whether a given hereditary class has at most factorial speed of growth is far from being trivial. In the present paper, we introduce a number of tools simplifying this question. Some of them can be used to obtain a stronger conclusion on the existence of an implicit representation. We apply our tools to reveal new hereditary classes with the factorial speed of growth. For many of them we show the existence of an implicit representation.
Sturmian words and the Stern sequence
Published
• View Publication
• BIB
Central, standard, and Christoffel words are three strongly interrelated classes of binary finite words which represent a finite counterpart of characteristic Sturmian words. A natural arithmetization of the theory is obtained by representing central and Christoffel words by irreducible fractions labeling respectively two binary trees, the Raney (or Calkin-Wilf) tree and the Stern-Brocot tree. The sequence of denominators of the fractions in Raney's tree is the famous Stern diatomic numerical sequence. An interpretation of the terms $s(n)$ of Stern's sequence as lengths of Christoffel words when $n$ is odd, and as minimal periods of central words when $n$ is even, allows one to interpret several results on Christoffel and central words in terms of Stern's sequence and, conversely, to obtain a new insight in the combinatorics of Christoffel and central words by using properties of Stern's sequence. One of our main results is a non-commutative version of the "alternating bit sets theorem" by Calkin and Wilf. We also study the length distribution of Christoffel words corresponding to nodes of equal height in the tree, obtaining some interesting bounds and inequalities.
Recurrence relations in counting the pattern 13-2 in flattened permutations
Published
• View Publication
• BIB
We prove that the generating function for the number of flattened permutations having a given number of occurrences of the pattern 13-2 is rational, by using the recurrence relations and the kernel method.
Induced subgraphs of graphs with large chromatic number. I. Odd holes
Published
• View Publication
• BIB
An odd hole in a graph is an induced subgraph which is a cycle of odd length at least five. In 1985, A. Gyarfas made the conjecture that for all t there exists n such that every graph with no K_t subgraph and no odd hole is n-colourable. We prove this conjecture.
Exact solution of the $2d$ dimer model: Corner free energy, correlation functions and combinatorics
Published
• View Publication
• BIB
In this work, some classical results of the pfaffian theory of the dimer model based on the work of Kasteleyn, Fisher and Temperley are introduced in a fermionic framework. Then we shall detail the bosonic formulation of the model {\it via} the so-called height mapping and the nature of boundary conditions is unravelled. The complete and detailed fermionic solution of the dimer model on the square lattice with an arbitrary number of monomers is presented, and finite size effect analysis is performed to study surface and corner effects, leading to the extrapolation of the central charge of the model. The solution allows for exact calculations of monomer and dimer correlation functions in the discrete level and the scaling behavior can be inferred in order to find the set of scaling dimensions and compare to the bosonic theory which predict particular features concerning corner behaviors. Finally, some combinatorial and numerical properties of partition functions with boundary monomers are discussed, proved and checked with enumeration algorithms.
New Upper Bounds on the Distance Domination Numbers of Grids
In his 1992 Ph.D. thesis Chang identified an efficient way to dominate $m \times n$ grid graphs and conjectured that his construction gives the most efficient dominating sets for relatively large grids. In 2011 Gonçalves, Pinlou, Rao, and Thomassé proved Chang's conjecture, establishing a closed formula for the domination number of a grid. In March 2013 Fata, Smith and Sundaram established upper bounds for the $k$-distance domination numbers of grid graphs by generalizing Chang's construction of dominating sets to $k$-distance dominating sets. In this paper we improve the upper bounds established by Fata, Smith, and Sundaram for the $k$-distance domination numbers of grids.
Propagation time for zero forcing on a graph
Published
• View Publication
• BIB
Zero forcing (also called graph infection) on a simple, undirected graph $G$ is based on the color-change rule: If each vertex of $G$ is colored either white or black, and vertex $v$ is a black vertex with only one white neighbor $w$, then change the color of $w$ to black. A minimum zero forcing set is a set of black vertices of minimum cardinality that can color the entire graph black using the color change rule. The propagation time of a zero forcing set $B$ of graph $G$ is the minimum number of steps that it takes to force all the vertices of $G$ black, starting with the vertices in $B$ black and performing independent forces simultaneously. The minimum and maximum propagation times of a graph are taken over all minimum zero forcing sets of the graph.
It is shown that a connected graph of order at least two has more than one minimum zero forcing set realizing minimum propagation time. Graphs $G$ having extreme minimum propagation times $|G| - 1$, $|G| - 2$, and $0$ are characterized, and results regarding graphs having minimum propagation time $1$ are established. It is shown that the diameter is an upper bound for maximum propagation time for a tree, but in general propagation time and diameter of a graph are not comparable.
Multigraded Hilbert function and toric complete intersection codes
Published in Journal of Algebra 459 (2016) 446-467
• View Publication
• BIB
Let $X$ be a complete $n$-dimensional simplicial toric variety with homogeneous coordinate ring $S$. We study the multigraded Hilbert function $H_Y$ of reduced $0$-dimensional subschemes $Y$ in $X$. We provide explicit formulas and prove non-decreasing and stabilization properties of $H_Y$ when $Y$ is a $0$-dimensional complete intersection in $X$. We apply our results to computing the dimension of some evaluation codes on $0$-dimensional complete intersection in simplicial toric varieties.
Sequential Importance Sampling for Two-dimensional Ising Models
In recent years, sequential importance sampling (SIS) has been well developed for sampling contingency tables with linear constraints. In this paper, we apply SIS procedure to 2-dimensional Ising models, which give observations of 0-1 tables and include both linear and quadratic constraints. We show how to compute bounds for specific cells by solving linear programming (LP) problems over cut polytopes to reduce rejections. The computational results, which includes both simulations and real data analysis, suggest that our method performs very well for sparse tables and when the 1's are spread out: the computational times are short, the acceptance rates are high, and if proper tests are used then in most cases our conclusions are theoretically reasonable.
A generating function approach to counting theorems for square-free polynomials and maximal tori
Published
• View Publication
• BIB
A recent paper of Church, Ellenberg, and Farb uses topology and representation theory of the symmetric group to prove enumerative results about square-free polynomials and F-stable maximal tori of the general linear group over the algebraic closure of F_q. In this note, we use generating functions to give elementary proofs of some of their results, and some extensions.
General Position Subsets and Independent Hyperplanes in d-Space
Published
• View Publication
• BIB
Erdős asked what is the maximum number $α(n)$ such that every set of $n$ points in the plane with no four on a line contains $α(n)$ points in general position. We consider variants of this question for $d$-dimensional point sets and generalize previously known bounds. In particular, we prove the following two results for fixed $d$:
- Every set $H$ of $n$ hyperplanes in $\mathbb{R}^d$ contains a subset $S\subseteq H$ of size at least $c \left(n \log n\right)^{1/d}$, for some constant $c=c(d)>0$, such that no cell of the arrangement of $H$ is bounded by hyperplanes of $S$ only.
- Every set of $cq^d\log q$ points in $\mathbb{R}^d$, for some constant $c=c(d)>0$, contains a subset of $q$ cohyperplanar points or $q$ points in general position.
Two-dimensional versions of the above results were respectively proved by Ackerman et al. [Electronic J. Combinatorics, 2014] and by Payne and Wood [SIAM J. Discrete Math., 2013].
Stanley depth and simplicial spanning trees
We show that for proving the Stanley conjecture, it is sufficient to consider a very special class of monomial ideals. These ideals (or rather their lcm lattices) are in bijection with the simplicial spanning trees of skeletons of a simplex.
We apply this result to verify the Stanley conjecture for quotients of monomial ideals with up to six generators. For seven generators we obtain a partial result.
Intervals of permutation class growth rates
Published in Combinatorica, 38(2):279-303, 2018
• View Publication
• BIB
We prove that the set of growth rates of permutation classes includes an infinite sequence of intervals whose infimum is $θ_B\approx2.35526$, and that it also contains every value at least $λ_B\approx2.35698$. These results improve on a theorem of Vatter, who determined that there are permutation classes of every growth rate at least $λ_A\approx2.48187$. Thus, we also refute his conjecture that the set of growth rates below $λ_A$ is nowhere dense. Our proof is based upon an analysis of expansions of real numbers in non-integer bases, the study of which was initiated by Rényi in the 1950s. In particular, we prove two generalisations of a result of Pedicini concerning expansions in which the digits are drawn from sets of allowed values.
The structure of dual Schubert union codes
Published
• View Publication
• BIB
In this article we prove that Schubert union codes are Tanner codes constructed with the point--line incidence geometry that Schubert varieties inherit from the Grassmannian. We do this by first finding an lengthening algorithm for Tanner codes. This algorithm finds the entries of a codeword of a Tanner code from the entries in a given subset of its positions. We find sufficient conditions on the initial set and the initial positions such that a codeword is determined from the component codes only. We find an iterative and systematic encoding algorithm for Schubert union codes with linear complexity. With this encoder we also determine the minimum distance of Schubert union codes.
Factor of iid percolation on trees
Published in SIAM J. Discrete Math. 30 no. 4 (2016), 2217-2242
• View Publication
• BIB
We study invariant percolation processes on the d-regular tree that are obtained as a factor of an iid process. We show that the density of any factor of iid site percolation process with finite clusters is asymptotically at most (log d)/d as d tends to infinity. This bound is asymptotically optimal as it can be realized by independent sets. One implication of the result is a (1/2)-factor approximation gap, asymptotically in d, for estimating the density of maximal induced forests in locally tree-like d-regular graphs via factor of iid processes.
Reversible peg solitaire on graphs
Published
• View Publication
• BIB
The game of peg solitaire on graphs was introduced by Beeler and Hoilman in 2011. In this game, pegs are initially placed on all but one vertex of a graph $G$. If $xyz$ forms a path in $G$ and there are pegs on vertices $x$ and $y$ but not $z$, then a {\em jump} places a peg on $z$ and removes the pegs from $x$ and $y$. A graph is called solvable if, for some configuration of pegs occupying all but one vertex, some sequence of jumps leaves a single peg. We study the game of {\em reversible peg solitaire}, where there are again initially pegs on all but one vertex, but now both jumps and unjumps (the reversal of a jump) are allowed. We show that in this game all non-star graphs that contain a vertex of degree at least three are solvable, that cycles and paths on $n$ vertices, where $n$ is divisible by $2$ or $3$, are solvable, and that all other graphs are not solvable. We also classify the possible starting hole and ending peg positions for solvable graphs.
The topology of the external activity complex of a matroid
Published
• View Publication
• BIB
We prove that the external activity complex $\textrm{Act}_<(M)$ of a matroid is shellable. In fact, we show that every linear extension of LasVergnas's external/internal order $<_{ext/int}$ on $M$ provides a shelling of $\textrm{Act}_<(M)$. We also show that every linear extension of LasVergnas's internal order $<_{int}$ on $M$ provides a shelling of the independence complex $IN(M)$. As a corollary, $\textrm{Act}_<(M)$ and $M$ have the same $h$-vector. We prove that, after removing its cone points, the external activity complex is contractible if $M$ contains $U_{3,1}$ as a minor, and a sphere otherwise.
A new upper bound for Achlioptas processes
We consider here on-line algorithms for Achlioptas processes. Given a initially empty graph $G$ on $n$ vertices, a random process that at each step selects independently and uniformly at random two edges from the set of non-edges is launched. We must choose one of the two edges and add it to the graph while discarding the other. The goal is to avoid the appearance of a connected component spanning $Ω(n)$ vertices (called a giant component) for as many steps as possible.
Bohman and Frieze proved in 2001 that on-line Achlioptas processes cannot postpone the appearance of the giant for more that roughly $n$ steps whp. This upper bound got even lower in 2003 when the two above mentioned authors and Wormald proved that each on-line Achlioptas process creates a giant before step $0.964446n$ whp.
The purpose of this work is to determine a new upper bound. By using essentially the same methods used by Bohman, Frieze and Wormald in 2003 and some results of Spencer and Wormald on size algorithms we prove here that Achlioptas processes cannot postpone the appearance of the giant for more than $0.9455n$ steps whp.