Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Explicit Helfgott type growth in free products and in limit groups
Published
• View Publication
• BIB
We adapt Safin's result on powers of sets in free groups to obtain Helfgott type growth in free products: if A is any finite subset of a free product of two arbitrary groups then either A is conjugate into one of the factors, or the size of the triple product AAA of A is at least 1/7776 times the square of |A|, or A generates an infinite cyclic or infinite dihedral group. We also point out that if A is any finite subset of a limit group then |AAA| satisfies the above inequality unless A generates a free abelian group. This gives rise to many infinite groups G where there exist c>0 and d=1 such that any finite subset A of G has the property that either |AAA| is at least c times (|A| to the power of 1+d) or it generates a virtually nilpotent group.
Obstacles, Slopes, and Tic-Tac-Toe: An excursion in discrete geometry and combinatorial game theory
A drawing of a graph is said to be a {\em straight-line drawing} if the vertices of $G$ are represented by distinct points in the plane and every edge is represented by a straight-line segment connecting the corresponding pair of vertices and not passing through any other vertex of $G$. The minimum number of slopes in a straight-line drawing of $G$ is called the slope number of $G$. We show that every cubic graph can be drawn in the plane with straight-line edges using only the four basic slopes $\{0,π/4,π/2,-π/4\}$. We also prove that four slopes have this property if and only if we can draw $K_4$ with them.
Given a graph $G$, an {\em obstacle representation} of $G$ is a set of points in the plane representing the vertices of $G$, together with a set of obstacles (connected polygons) such that two vertices of $G$ are joined by an edge if and only if the corresponding points can be connected by a segment which avoids all obstacles. The {\em obstacle number} of $G$ is the minimum number of obstacles in an obstacle representation of $G$. We show that there are graphs on $n$ vertices with obstacle number $Ω({n}/{\log n})$.
We show that there is an $m=2n+o(n)$, such that, in the Maker-Breaker game played on $\Z^d$ where Maker needs to put at least $m$ of his marks consecutively in one of $n$ given winning directions, Breaker can force a draw using a pairing strategy. This improves the result of Kruczek and Sundberg who showed that such a pairing strategy exits if $m\ge 3n$. A simple argument shows that $m$ has to be at least $2n+1$ if Breaker is only allowed to use a pairing strategy, thus the main term of our bound is optimal.
Rainbow Graphs and Switching Classes
Published in SIAM J. Discrete Math. 27.2 (2013) 1106-1111
• View Publication
• BIB
A rainbow graph is a graph that admits a vertex-coloring such that every color appears exactly once in the neighborhood of each vertex. We investigate some properties of rainbow graphs. In particular, we show that there is a bijection between the isomorphism classes of n-rainbow graphs on 2n vertices and the switching classes of graphs on n vertices.
Vertex unfoldings of tight polyhedra
Published
• View Publication
• BIB
An unfolding of a polyhedron along its edges is called a vertex unfolding if adjacent faces are allowed to be connected at not only an edge but also a vertex. Demaine et al showed that every triangulated polyhedron has a vertex unfolding. We extend this result to a tight polyhedron, where a polyhedron is tight if all non-triangular faces are mutually non-adjacent parallelograms.
Oriented unicyclic graphs with extremal skew energy
Let $\G$ be an oriented graph of order $n$ and $\a_1,\a_2,..., \a_n$ denote all the eigenvalues of the skew-adjacency matrix of $\G.$ The skew energy $\displaystyle{\cal E}_s(\G)= \sum_{i=1}^{n} |\a_i|.$
In this paper, the oriented unicyclic graphs with minimal and maximal skew energy are determined.
Dichotomy of the addition of natural numbers
Published
• View Publication
• BIB
This is an elementary presentation of the arithmetic of trees. We show how it is related to the Tamari poset. In the last part we investigate various ways of realizing this poset as a polytope (associahedron), including one inferred from Tamari's thesis.
A Spectral Gap Theorem in $SU(d)$
Published
• View Publication
• BIB
We establish the spectral gap property for dense subgroups of $SU(d)$ ($d\geq 2$), generated by finitely many elements with algebraic entries; this result was announced in [BG3]. The method of proof differs, in several crucial aspects, from that used in [BG] in the case of SU(2).
Maximum edge-cuts in cubic graphs with large girth and in random cubic graphs
Published
• View Publication
• BIB
We show that for every cubic graph G with sufficiently large girth there exists a probability distribution on edge-cuts of G such that each edge is in a randomly chosen cut with probability at least 0.88672. This implies that G contains an edge-cut of size at least 1.33008n, where n is the number of vertices of G, and has fractional cut covering number at most 1.127752. The lower bound on the size of maximum edge-cut also applies to random cubic graphs. Specifically, a random n-vertex cubic graph a.a.s. contains an edge cut of size 1.33008n.
Estimations of the particular periodicity in case of the extremal periods in Shirshov's Height theorem
Published
• View Publication
• BIB
Let us recall the well-known Shirshov's Height Theorem. "Let A be a finitely generated algebra of degree d. Then there exists a finite set Y which is the subset of A that A has and an integer h' = h(A) such that A has Shirshov's height h' over set Y. For Y we may take the set of words of length <d. Such Y is called a Shirshov's base of algebra A." Shirshov's original proof was purely combinatorical, but did not provide a reasonable upper estimate for the height. Kolotov obtained an estimate for h(A) < s^(s^m) (m = deg(A), and s is the number of generators) in 1981. I. Zelmanov asked for an exponential bound in the Dniester Notebook. In 2011 Belov and Kharitonov get the estimate 2^87 m^(12 log_3(m)+48) l. This result answered Zelmanov question that in fact Shirshov's height has subexponential growth. As a corollary from Amitzur-Levitsky theorem we have the lower estimate of h(A) which is ((m/2)^2 - 1)(s - 1) + 1 . We consider essential height over the sets of small words to obtain exact estimations of Shirshov's height. Define by n-divisible such word w that may be constructed as w = v u_1 u_2...u_n, where for every i from 2 to n u_(i-1) is lexicographically less than u_i. The main results of the paper are the following: Let M be the set of non-n-dividable words with: 1) finite essential height over the words degree 2, then the number of lexicographically comparable words with period 2 is less than (2l-1)(n-1)(n-2)/2; 2) finite essential height over the words degree 3, then the number of lexicographically comparable words with period 3 is less than (2l-1)(n-1)(n-2); 3) finite essential height over the words degree (n-1), then the number of lexicographically comparable words with period (n-1) is less than (l-2)(n-1). The case of the words of length 2 is synthesized to the proof of the exponential estimation in Shirshov's Height theorem.
Geometric grid classes of permutations
Published
• View Publication
• BIB
A geometric grid class consists of those permutations that can be drawn on a specified set of line segments of slope \pm1 arranged in a rectangular pattern governed by a matrix. Using a mixture of geometric and language theoretic methods, we prove that such classes are specified by finite sets of forbidden permutations, are partially well ordered, and have rational generating functions. Furthermore, we show that these properties are inherited by the subclasses (under permutation involvement) of such classes, and establish the basic lattice theoretic properties of the collection of all such subclasses.
The Rogers-Ramanujan-Gordon Theorem for Overpartitions
Published
• View Publication
• BIB
Let $B_{k,i}(n)$ be the number of partitions of $n$ with certain difference condition and let $A_{k,i}(n)$ be the number of partitions of $n$ with certain congruence condition. The Rogers-Ramanujan-Gordon theorem states that $B_{k,i}(n)=A_{k,i}(n)$. Lovejoy obtained an overpartition analogue of the Rogers-Ramanujan-Gordon theorem for the cases $i=1$ and $i=k$. We find an overpartition analogue of the Rogers-Ramanujan-Gordon theorem in the general case. Let $D_{k,i}(n)$ be the number of overpartitions of $n$ satisfying certain difference condition and $C_{k,i}(n)$ be the number of overpartitions of $n$ whose non-overlined parts satisfy certain congruences condition. We show that $C_{k,i}(n)=D_{k,i}(n)$. By using a function introduced by Andrews, we obtain a recurrence relation which implies that the generating function of $D_{k,i}(n)$ equals the generating function of $C_{k,i}(n)$. We also find a generating function formula of $D_{k,i}(n)$ by using Gordon marking representations of overpartitions, which can be considered as an overpartition analogue of an identity of Andrews for ordinary partitions.
A question of Sárkozy and Sós on representation functions
For $m\geq 1$, let $0<b_0<b_1<...<b_m$ and $\ e_0,e_1,...,e_m>0$ be fixed positive integers. Assume there exists a prime $p$ and an integer $t>0$ such that $p^t\mid b_0$, but $p^t\nmid b_{i}\ {\rm for}\ 1\leq i\leq m$. Then, we prove that there is no infinite subset $\mathcal A$ of positive integers, such that the number of solutions of the following equation $$n=b_0(a_{0,1}+\cdot +a_{0,e_0})+...+b_m(a_{m,1}+...+a_{m,r_m}),\ a_{i,j}\in \mathcal A$$ is constant for $n$ large enough. This result generalizes the recent result of Cilleruelo and Rué for the bilinear case, and answers a question posed by Sárkozy and Sós.
Estimating the number of zero-one multi-way tables via sequential importance sampling
Published
• View Publication
• BIB
In 2005, Chen et al introduced a sequential importance sampling (SIS) procedure to analyze zero-one two-way tables with given fixed marginal sums (row and column sums) via the conditional Poisson (CP) distribution. They showed that compared with Monte Carlo Markov chain (MCMC)-based approaches, their importance sampling method is more efficient in terms of running time and also provides an easy and accurate estimate of the total number of contingency tables with fixed marginal sums. In this paper we extend their result to zero-one multi-way ($d$-way, $d \geq 2$) contingency tables under the no $d$-way interaction model, i.e., with fixed $d - 1$ marginal sums. Also we show by simulations that the SIS procedure with CP distribution to estimate the number of zero-one three-way tables under the no three-way interaction model given marginal sums works very well even with some rejections. We also applied our method to Samson's monks' data set. We end with further questions on the SIS procedure on zero-one multi-way tables.
Equality in a Linear Vizing-Like Relation that Relates the Size and Total Domination Number of a Graph
Published
• View Publication
• BIB
Let $G$ be a graph each component of which has order at least 3, and let $G$ have order $n$, size $m$, total domination number $γ_t$ and maximum degree $Δ(G)$. Let $Δ= 3$ if $Δ(G) = 2$ and $Δ= Δ(G)$ if $Δ(G) \ge 3$. It is known [J. Graph Theory 49 (2005), 285--290; J. Graph Theory 54 (2007), 350--353] that $m \le Δ(n- γ_t)$. In this paper we characterize the extremal graphs $G$ satisfying $m = Δ(n- γ_t)$.
The number of Huffman codes, compact trees, and sums of unit fractions
Published in IEEE Trans. Inf. Theory 59 (2013), 1065-1075
• View Publication
• BIB
The number of "nonequivalent" Huffman codes of length r over an alphabet of size t has been studied frequently. Equivalently, the number of "nonequivalent" complete t-ary trees has been examined. We first survey the literature, unifying several independent approaches to the problem. Then, improving on earlier work we prove a very precise asymptotic result on the counting function, consisting of two main terms and an error term.
Homology Representations Arising from a Hypersimplex
We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along with discrete Morse theory and some topological techniques to classify every subcomplex whose reduced homology groups are concentrated in a single degree. These reduced homology groups support a natural action of the symmetric group and a description of the characters that this action produces is given.
Sabitov polynomials for volumes of polyhedra in four dimensions
Published in Advances in Mathematics 252 (2014) 586-611
• View Publication
• BIB
In 1996 I.Kh. Sabitov proved that the volume of a simplicial polyhedron in a 3-dimensional Euclidean space is a root of certain polynomial with coefficients depending on the combinatorial type and on edge lengths of the polyhedron only. Moreover, the coefficients of this polynomial are polynomials in edge lengths of the polyhedron. This result implies that the volume of a simplicial polyhedron with fixed combinatorial type and edge lengths can take only finitely many values. In particular, this yields that the volume of a flexible polyhedron in a 3-dimensional Euclidean space is constant. Until now it has been unknown whether these results can be obtained in dimensions greater than 3. In this paper we prove that all these results hold for polyhedra in a 4-dimensional Euclidean space.
Asymptotically normal distribution of some tree families relevant for phylogenetics, and of partitions without singletons
P.L. Erdos and L.A. Szekely [Adv. Appl. Math. 10(1989), 488-496] gave a bijection between rooted semilabeled trees and set partitions. L.H. Harper's results [Ann. Math. Stat. 38(1967), 410-414] on the asymptotic normality of the Stirling numbers of the second kind translates into asymptotic normality of rooted semilabeled trees with given number of vertices, when the number of internal vertices varies. The Erdos-Szekely bijection specializes to a bijection between phylogenetic trees and set partitions with classes of size \geq 2. We consider modified Stirling numbers of the second kind that enumerate partitions of a fixed set into a given number of classes of size \geq 2, and obtain their asymptotic normality as the number of classes varies. The Erdos- Szekely bijection translates this result into the asymptotic normality of the number of phylogenetic trees with given number of vertices, when the number of leaves varies. We also obtain asymptotic normality of the number of phylogenetic trees with given number of leaves and varying number of internal vertices, which make more sense to students of phylogeny. By the Erdos-Szekely bijection this means the asymptotic normality of the number of partitions of n + m elements into m classes of size \geq 2, when n is fixed and m varies. The proofs are adaptations of the techniques of L.H. Harper [ibid.]. We provide asymptotics for the relevant expectations and variances with error term O(1/n).
Bijections on rooted trees with fixed size of maximal decreasing subtrees
Published
• View Publication
• BIB
Seo and Shin showed that the number of rooted trees on $[n+1]$ such that the maximal decreasing subtree with the same root has $k+1$ vertices is equal to the number of functions $f:[n]\to[n]$ such that the image of $f$ contains $[k]$. We give a bijective proof of this theorem.
Graph colorings, flows and arithmetic Tutte polynomial
We introduce the notions of arithmetic colorings and arithmetic flows over a graph with labelled edges, which generalize the notions of colorings and flows over a graph.
We show that the corresponding arithmetic chromatic polynomial and arithmetic flow polynomial are given by suitable specializations of the associated arithmetic Tutte polynomial, generalizing classical results of Tutte.