Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The number of extreme points of tropical polyhedra
Published in Journal of Combinatorial Theory, Series A, Volume 118, Issue 1, January 2011, Pages 162-189
• View Publication
• BIB
The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define it, showing that the maximum is attained by the polar of the cyclic polytope. We show that the same bound is valid in the tropical setting, up to a trivial modification. Then, we study the natural candidates to be the maximizing polyhedra, which are the polars of a family of cyclic polytopes equipped with a sign pattern. We construct bijections between the extreme points of these polars and lattice paths depending on the sign pattern, from which we deduce explicit bounds for the number of extreme points, showing in particular that the upper bound is asymptotically tight as the dimension tends to infinity, keeping the number of constraints fixed. When transposed to the classical case, the previous constructions yield some lattice path generalizations of Gale's evenness criterion.
Decompositions into subgraphs of small diameter
Published
• View Publication
• BIB
We investigate decompositions of a graph into a small number of low diameter subgraphs. Let P(n,ε,d) be the smallest k such that every graph G=(V,E) on n vertices has an edge partition E=E_0 \cup E_1 \cup ... \cup E_k such that |E_0| \leq εn^2 and for all 1 \leq i \leq k the diameter of the subgraph spanned by E_i is at most d. Using Szemerédi's regularity lemma, Polcyn and Ruciński showed that P(n,ε,4) is bounded above by a constant depending only ε. This shows that every dense graph can be partitioned into a small number of ``small worlds'' provided that few edges can be ignored. Improving on their result, we determine P(n,ε,d) within an absolute constant factor, showing that P(n,ε,2) = Θ(n) is unbounded for ε< 1/4, P(n,ε,3) = Θ(1/ε^2) for ε> n^{-1/2} and P(n,ε,4) = Θ(1/ε) for ε> n^{-1}. We also prove that if G has large minimum degree, all the edges of G can be covered by a small number of low diameter subgraphs. Finally, we extend some of these results to hypergraphs, improving earlier work of Polcyn, Rödl, Ruciński, and Szemerédi.
Freiman's theorem for solvable groups
Published
• View Publication
• BIB
Freiman's theorem asserts, roughly speaking, if that a finite set in a torsion-free abelian group has small doubling, then it can be efficiently contained in (or controlled by) a generalised arithmetic progression. This was generalised by Green and Ruzsa to arbitrary abelian groups, where the controlling object is now a coset progression. We extend these results further to solvable groups of bounded derived length, in which the coset progressions are replaced by the more complicated notion of a "coset nilprogression". As one consequence of this result, any subset of such a solvable group of small doubling is is controlled by a set whose iterated products grow polynomially, and which are contained inside a virtually nilpotent group. As another application we establish a strengthening of the Milnor-Wolf theorem that all solvable groups of polynomial growth are virtually nilpotent, in which only one large ball needs to be of polynomial size. This result complements recent work of Breulliard-Green, Fisher-Katz-Peng, and Sanders.
Sharp bounds for the generalized connectivity $κ_3(G)$
Published
• View Publication
• BIB
Let $G$ be a nontrivial connected graph of order $n$ and let $k$ be an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. A collection $\{T_1,T_2,...,T_\ell\}$ of trees in $G$ with this property is called an internally disjoint set of trees connecting $S$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$.
In general, the investigation of $κ_k(G)$ is very difficult. We therefore focus on the investigation on $κ_3(G)$ in this paper. We study the relation between the connectivity and the 3-connectivity of a graph. First we give sharp upper and lower bounds of $κ_3(G)$ for general graphs $G$, and construct two kinds of graphs which attain the upper and lower bound, respectively. We then show that if $G$ is a connected planar graph, then $κ(G)-1 \leq κ_3(G)\leq κ(G)$, and give some classes of graphs which attain the bounds. In the end we show that the problem whether $κ(G)=κ_3(G)$ for a planar graph $G$ can be solved in polynomial time.
Uniform n-place functions on T\subseteq ds(α)
Published
• View Publication
• BIB
In this paper the Erdos-Rado theorem is generalized to the class of well founded trees. We define an equivalence relation on the class rs(infty)^{< aleph_0} (finite sequences of decreasing sequences of ordinals) with aleph_0 equivalence classes, and for n< omega a notion of n-end-uniformity for a colouring of rs(infty)^{< aleph_0} with mu colours. We then show that for every ordinal alpha, n< omega and cardinal mu there is an ordinal lambda so that for any colouring c of T=rs(lambda)^{< aleph_0} with mu colours, T contains S isomorphic to rs(alpha) so that c rest S^{< aleph_0} is n-end uniform. For c with domain T^n this is equivalent to finding S subseteq T isomorphic to rs(alpha) so that c upharpoonright S^{n} depends only on the equivalence class of the defined relation, so in particular T-> (rs(alpha))^n_{mu, aleph_0} . We also draw a conclusion on colourings of n-tuples from a scattered linear order.
An equivalence between inverse sumset theorems and inverse conjectures for the U^3 norm
Published
• View Publication
• BIB
We establish a correspondence between inverse sumset theorems (which can be viewed as classifications of approximate (abelian) groups) and inverse theorems for the Gowers norms (which can be viewed as classifications of approximate polynomials). In particular, we show that the inverse sumset theorems of Freiman type are equivalent to the known inverse results for the Gowers U^3 norms, and moreover that the conjectured polynomial strengthening of the former is also equivalent to the polynomial strengthening of the latter. We establish this equivalence in two model settings, namely that of the finite field vector spaces F_2^n, and of the cyclic groups Z/NZ.
In both cases the argument involves clarifying the structure of certain types of approximate homomorphism.
Perfect matchings for the three-term Gale-Robinson sequences
Published in Electronic Journal of Combinatories 16, 1 (2009) paper R125
• View Publication
• BIB
In 1991, David Gale and Raphael Robinson, building on explorations carried out by Michael Somos in the 1980s, introduced a three-parameter family of rational recurrence relations, each of which (with suitable initial conditions) appeared to give rise to a sequence of integers, even though a priori the recurrence might produce non-integral rational numbers. Throughout the '90s, proofs of integrality were known only for individual special cases. In the early '00s, Sergey Fomin and Andrei Zelevinsky proved Gale and Robinson's integrality conjecture. They actually proved much more, and in particular, that certain bivariate rational functions that generalize Gale-Robinson numbers are actually polynomials with integer coefficients. However, their proof did not offer any enumerative interpretation of the Gale-Robinson numbers/polynomials. Here we provide such an interpretation in the setting of perfect matchings of graphs, which makes integrality/polynomiality obvious. Moreover, this interpretation implies that the coefficients of the Gale-Robinson polynomials are positive, as Fomin and Zelevinsky conjectured.
On directed local chromatic number, shift graphs, and Borsuk-like graphs
Published
• View Publication
• BIB
We investigate the local chromatic number of shift graphs and prove that it is close to their chromatic number. This implies that the gap between the directed local chromatic number of an oriented graph and the local chromatic number of the underlying undirected graph can be arbitrarily large. We also investigate the minimum possible directed local chromatic number of oriented versions of ``topologically t-chromatic'' graphs. We show that this minimum for large enough t-chromatic Schrijver graphs and t-chromatic generalized Mycielski graphs of appropriate parameters is the upper integer part of t/4+1.
Ternary Quadratic Forms, Modular Equations and Certain Positivity Conjectures
Published
• View Publication
• BIB
We show that many of Ramanujan's modular equations of degree 3 can be interpreted in terms of integral ternary quadratic forms. This way we establish that for any n in N
|{n= x(x+1)/2 + y^2 +z^2 : x,y,z in Z}| >= |{n= x(x+1)/2 + 3y^2 +3z^2: x,y,zin Z}|, just to mention one among many similar positive results of this type. In particular, we prove the recent conjecture of H. Yesilyurt and the first author stating that for any n in N |{n= x(x+1)/2 + y^2 +z^2 : x,y,z in Z}| >= |{n= x(x+1)/2 + 7y^2 + 7z^2: x,y,z in Z}|. We prove a variety of identities for certain ternary forms with discriminants 144,400, 784,3600 by converting these into identities for appropriate eta- quotients. In the process we discover and prove a few new modular equations of degree 5 and 7. For any square free odd integer S with prime factorization p_1.....p_r, we define the S-genus as a union of 2^r specially selected genera of ternary quadratic forms, all with discriminant 16 S^2. This notion of S-genus arises naturally in the course of our investigation. It entails an interesting injection from genera of binary quadratic forms with discriminant -8 S to genera of ternary quadratic forms with discriminant 16 S^2.
A product of integer partitions
I present a bijection on integer partitions that leads to recursive expressions, closed formulae and generating functions for the cardinality of certain sets of partitions of a positive integer $n$. The bijection leads also to a product on partitions that is associative with a natural grading thus defining a free associative algebra on the set of integer partitions. As an outcome of the computations, certain sets of integers appear that I call difference sets and the product of the integers in a difference set is an invariant for a family of sets of partitions. The main combinatorial objects used in these constructions are the central hooks of the Ferrers diagrams of partitions.
Robust quantization of a molecular motor motion in a stochastic environment
Published in J. Chem. Phys. 131, 181101, 2009
• View Publication
• BIB
We explore quantization of the response of a molecular motor to periodic modulation of control parameters. We formulate the Pumping-Quantization Theorem (PQT) that identifies the conditions for robust integer quantized behavior of a periodically driven molecular machine. Implication of PQT on experiments with catenane molecules are discussed.
On some universal sums of generalized polygonal numbers
Published in Colloq. Math. 145(2016), no.1, 149-155
• View Publication
• BIB
For $m=3,4,\ldots$ those $p_m(x)=(m-2)x(x-1)/2+x$ with $x\in\mathbb Z$ are called generalized $m$-gonal numbers. Sun [13] studied for what values of positive integers $a,b,c$ the sum $ap_5+bp_5+cp_5$ is universal over $\mathbb Z$ (i.e., any $n\in\mathbb N=\{0,1,2,\ldots\}$ has the form $ap_5(x)+bp_5(y)+cp_5(z)$ with $x,y,z\in\mathbb Z$). We prove that $p_5+bp_5+3p_5\,(b=1,2,3,4,9)$ and $p_5+2p_5+6p_5$ are universal over $\mathbb Z$, as conjectured by Sun. Sun also conjectured that any $n\in\mathbb N$ can be written as $p_3(x)+p_5(y)+p_{11}(z)$ and $3p_3(x)+p_5(y)+p_7(z)$ with $x,y,z\in\mathbb N$; in contrast, we show that $p_3+p_5+p_{11}$ and $3p_3+p_5+p_7$ are universal over $\mathbb Z$. Our proofs are essentially elementary and hence suitable for general readers.
A proof of the conjecture on hypoenergetic graphs with maximum degree $Δ\leq 3$
Published
• View Publication
• BIB
The energy $E(G)$ of a graph $G$ is defined as the sum of the absolute values of its eigenvalues. A graph $G$ of order $n$ is said to be hypoenergetic if $E(G)<n$. Majstorović et al. conjectured that complete bipartite graph $K_{2,3}$ is the only hypoenergetic connected quadrangle-containing graph with maximum degree $Δ\leq 3$. This paper is devoted to giving a confirmative proof to the conjecture.
Linear Connectivity Forces Large Complete Bipartite Minors: the Patch for the Large Tree-Width Case
The recent paper "Linear Connectivity Forces Large Complete Bipartite Minors" by Boehme et al. relies on a structure theorem for graphs with no H-minor. The sketch provided of how to deduce this theorem from the work of Robertson and Seymour appears to be incomplete. To fill this gap, we modify the main proof of that paper to work with a mere restatement of Robertson and Seymour's original results instead.
A Note on the Sticky Matroid Conjecture
Published in Annals of Combinatorics, 2011
• View Publication
• BIB
A matroid is sticky if any two of its extensions by disjoint sets can be glued together along the common restriction (that is, they have an amalgam). The sticky matroid conjecture asserts that a matroid is sticky if and only if it is modular. Poljak and Turzik proved that no rank-3 matroid having two disjoint lines is sticky. We show that, for r at least 3, no rank-r matroid having two disjoint hyperplanes is sticky. These and earlier results show that the sticky matroid conjecture for finite matroids would follow from a positive resolution of the rank-4 case of a conjecture of Kantor.
Descent sets of cyclic permutations
Published in Adv. in Appl. Math. 47 (2011), 688-709
• View Publication
• BIB
We present a bijection between cyclic permutations of {1,2,...,n+1} and permutations of {1,2,...,n} that preserves the descent set of the first n entries and the set of weak excedances. This non-trivial bijection involves a Foata-like transformation on the cyclic notation of the permutation, followed by certain conjugations. We also give an alternate derivation of the consequent result about the equidistribution of descent sets using work of Gessel and Reutenauer. Finally, we prove a conjecture of the author in [SIAM J. Discrete Math. 23 (2009), 765-786] and a conjecture of Eriksen, Freij and Wästlund.
Rank-determining sets of metric graphs
Published in Journal of Combinatorial Theory, Series A 118, 1775-1793 (2011)
• View Publication
• BIB
A metric graph is a geometric realization of a finite graph by identifying each edge with a real interval. A divisor on a metric graph $Γ$ is an element of the free abelian group on $Γ$. The rank of a divisor on a metric graph is a concept appearing in the Riemann-Roch theorem for metric graphs (or tropical curves) due to Gathmann and Kerber, and Mikhalkin and Zharkov. We define a \emph{rank-determining set} of a metric graph $Γ$ to be a subset $A$ of $Γ$ such that the rank of a divisor $D$ on $Γ$ is always equal to the rank of $D$ restricted on $A$. We show constructively in this paper that there exist finite rank-determining sets. In addition, we investigate the properties of rank-determining sets in general and formulate a criterion for rank-determining sets. Our analysis is a based on an algorithm to derive the $v_0$-reduced divisor from any effective divisor in the same linear system.
Sandpile groups and spanning trees of directed line graphs
Published
• View Publication
• BIB
We generalize a theorem of Knuth relating the oriented spanning trees of a directed graph G and its directed line graph LG. The sandpile group is an abelian group associated to a directed graph, whose order is the number of oriented spanning trees rooted at a fixed vertex. In the case when G is regular of degree k, we show that the sandpile group of G is isomorphic to the quotient of the sandpile group of LG by its k-torsion subgroup. As a corollary we compute the sandpile groups of two families of graphs widely studied in computer science, the de Bruijn graphs and Kautz graphs.
Analogues of the central point theorem for families with $d$-intersection property in $\mathbb R^d$
Published in Combinatorica 32:6 (2012), 689-702
• View Publication
• BIB
In this paper we consider families of compact convex sets in $\mathbb R^d$ such that any subfamily of size at most $d$ has a nonempty intersection. We prove some analogues of the central point theorem and Tverberg's theorem for such families.
Perfect Matchings in Claw-free Cubic Graphs
Published in Electronic J. of Combin., 18 (2011), #P62 (pp. 6)
• View Publication
• BIB
Lovasz and Plummer conjectured that there exists a fixed positive constant c such that every cubic n-vertex graph with no cutedge has at least 2^(cn) perfect matchings. Their conjecture has been verified for bipartite graphs by Voorhoeve and planar graphs by Chudnovsky and Seymour. We prove that every claw-free cubic n-vertex graph with no cutedge has more than 2^(n/12) perfect matchings, thus verifying the conjecture for claw-free graphs.