Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Flag weak order on wreath products
A generating set for the wreath product $\ZZ_r \wr S_n$ which leads to a nicely behaved weak order is presented, and properties of the resulting order are studied.
Centrally symmetric polytopes with many faces
Published
• View Publication
• BIB
We present explicit constructions of centrally symmetric polytopes with many faces: first, we construct a d-dimensional centrally symmetric polytope P with about (1.316)^d vertices such that every pair of non-antipodal vertices of P spans an edge of P, second, for an integer k>1, we construct a d-dimensional centrally symmetric polytope P of an arbitrarily high dimension d and with an arbitrarily large number N of vertices such that for some 0 < delta_k < 1 at least (1-delta_k^d) {N choose k} k-subsets of the set of vertices span faces of P, and third, for an integer k>1 and a>0, we construct a centrally symmetric polytope Q with an arbitrary large number N of vertices and of dimension d=k^{1+o(1)} such that least (1 - k^{-a}){N choose k} k-subsets of the set of vertices span faces of Q.
The Bohman-Frieze Process Near Criticality
Published
• View Publication
• BIB
The Erdős-Rényi process begins with an empty graph on n vertices and edges are added randomly one at a time to a graph. A classical result of Erdős and Rényi states that the Erdős-Rényi process undergoes a phase transition, which takes place when the number of edges reaches n/2 (we say at time 1) and a giant component emerges. Since this seminal work of Erdős and Rényi, various random graph models have been introduced and studied. In this paper we study the so-called Bohman-Frieze process, a simple modification of the Erdős-Rényi process. The Bohman-Frieze process begins with an empty graph on n vertices. At each step two random edges are present and if the first edge would join two isolated vertices, it is added to a graph; otherwise the second edge is added. We present several new results on the phase transition of the Bohman-Frieze random graph process. We show that the Bohman-Frieze process has a qualitatively similar phase transition to the Erdős-Rényi process in terms of the size and structure of the components near the critical point. We prove that all components at time t_c-\eps (that is, when the number of edges are (t_c-\eps) n/2) are trees or unicyclic components and that the largest component is of size Ω(\eps^{-2} \log n). Further, at t_c + \eps, all components apart from the giant component are trees or unicyclic and the size of the second-largest component is Θ(\eps^{-2} \log n). Each of these results corresponds to an analogous well-known result for the Erdős-Rényi process. Our methods include combinatorial arguments and a combination of the differential equation method for random processes with singularity analysis of generating functions which satisfy quasi-linear partial differential equations.
A combinatorial description of the Gindikin-Karpelevich formula in type A
Published in J. Combin. Theory Ser. A. 119 (2012), 1081-1094
• View Publication
• BIB
A combinatorial description of the crystal $\mathcal{B}(\infty)$ for finite-dimensional simple Lie algebras in terms of Young tableaux was developed by J. Hong and H. Lee. Using this description, we obtain a combinatorial rule for expressing the Gindikin-Karpelevich formula as a sum over $\mathcal{B}(\infty)$ when the underlying Lie algebra is of type A. We also interpret our description in terms of MV polytopes and irreducible components of quiver varieties.
On graphs related to co-maximal ideals of a commutative ring
Published in ISRN Combinatorics Vol. 2013, Article ID 354696, 7 pages
• View Publication
• BIB
This paper studies the co-maximal graph $\Om(R)$, the induced subgraph $\G(R)$ of $\Om(R)$ whose vertex set is $R\setminus (U(R)\cup J(R))$ and a retract $\G_r(R)$ of $\G(R)$, where $R$ is a commutative ring. We show that the core of $\G(R)$ is a union of triangles and rectangles, while a vertex in $\G(R)$ is either an end vertex or a vertex in the core. For a non-local ring $R$, we prove that both the chromatic number and clique number of $\G(R)$ are identical with the number of maximal ideals of $R$. A graph $\G_r(R)$ is also introduced on the vertex set $\{Rx|\,x\in R\setminus (U(R)\cup J(R))\}$, and graph properties of $\G_r(R)$ are studied.
Maximum VC families
Maximum VC classes which are stable in the sense of model theory are characterized.
Seymour's second neighborhood conjecture for tournaments missing a generalized star
Published in Journal of Graph Theory 71(1): 89-94 (2012)
• View Publication
• BIB
Seymour's Second Neighborhood Conjecture asserts that every digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. We prove its weighted version for tournaments missing a generalized star. As a consequence the weighted version holds for tournaments missing a sun, star, or a complete graph.
Analyzing Walksat on random formulas
Published in SIAM Journal on Computing 43 (2014) 1456 - 1485
• View Publication
• BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from Papadimitriou (FOCS 1991)/Schoning (FOCS 1999) finds a satisfying assignment of F in polynomial time w.h.p. if m/n<ρ2^k/k for a certain constant ρ>0. This is an improvement by a factor of $Θ(k)$ over the best previous analysis of Walksat from Coja-Oghlan, Feige, Frieze, Krivelevich, Vilenchik (SODA 2009).
Counting or producing all fixed cardinality transversals
Published in Algorithmica 69 (2014) 117-129
• View Publication
• BIB
An algorith to count, or alternatively generate, all k-element transversals of a set system is presented and compared with three known methods. For special cases it works in output-linear time.
A recursive approach to the O(n) model on random maps via nested loops
Published in J. Phys. A: Math. Theor. 45 (2012) 045002
• View Publication
• BIB
We consider the O(n) loop model on tetravalent maps and show how to rephrase it into a model of bipartite maps without loops. This follows from a combinatorial decomposition that consists in cutting the O(n) model configurations along their loops so that each elementary piece is a map that may have arbitrary even face degrees. In the induced statistics, these maps are drawn according to a Boltzmann distribution whose parameters (the face weights) are determined by a fixed point condition. In particular, we show that the dense and dilute critical points of the O(n) model correspond to bipartite maps with large faces (i.e. whose degree distribution has a fat tail). The re-expression of the fixed point condition in terms of linear integral equations allows us to explore the phase diagram of the model. In particular, we determine this phase diagram exactly for the simplest version of the model where the loops are "rigid". Several generalizations of the model are discussed.
Random Latin square graphs
Published
• View Publication
• BIB
In this paper we introduce new models of random graphs, arising from Latin squares which include random Cayley graphs as a special case. We investigate some properties of these graphs including their clique, independence and chromatic numbers, their expansion properties as well as their connectivity and Hamiltonicity. The results obtained are compared with other models of random graphs and several similarities and differences are pointed out. For many properties our results for the general case are as strong as the known results for random Cayley graphs and sometimes improve the previously best results for the Cayley case.
On a problem of Erdős and Rothschild on edges in triangles
Published
• View Publication
• BIB
Erdős and Rothschild asked to estimate the maximum number, denoted by H(N,C), such that every N-vertex graph with at least CN^2 edges, each of which is contained in at least one triangle, must contain an edge that is in at least H(N,C) triangles. In particular, Erdős asked in 1987 to determine whether for every C>0 there is ε>0 such that H(N,C) > N^ε, for all sufficiently large N. We prove that H(N,C) = N^{O(1/log log N)} for every fixed C < 1/4. This gives a negative answer to the question of Erdős, and is best possible in terms of the range for C, as it is known that every N-vertex graph with more than (N^2)/4 edges contains an edge that is in at least N/6 triangles.
Metrization of weighted graphs
Published
• View Publication
• BIB
We find a set of necessary and sufficient conditions under which the weight $w:E\to\mathbb R^+$ on the graph $G=(V,E)$ can be extended to a pseudometric $d:V\times V\to\mathbb R^+$. If these conditions hold and $G$ is a connected graph, then the set $\mathfrak M_w$ of all such extensions is nonvoid and the shortest-path pseudometric $d_w$ is the greatest element of $\mathfrak M_w$ with respect to the partial ordering $d_1 \leqslant d_2$ if and only if $d_1(u,v) \leqslant d_2(u,v)$ for all $u,v\in V$. It is shown that every nonvoid poset $(\mathfrak M_w,\leqslant)$ contains the least element $ρ_{0,w}$ if and only if $G$ is a complete $k$-partite graph with $k\geqslant 2$ and in this case the explicit formula for computation of $ρ_{0,w}$ is obtained.
An improved sum-product estimate over finite fields
Published
• View Publication
• BIB
This paper gives an improved sum-product estimate for subsets of a finite field whose order is not prime. It is shown, under certain conditions, that $$\max\{|A+A|,|A\cdot{A}|\}\gg{\frac{|A|^{12/11}}{(\log_2|A|)^{5/11}}}.$$ This new estimate matches, up to a logarithmic factor, the current best known bound obtained over prime fields by Rudnev (\cite{mishaSP}).
On the asymptotics of higher-dimensional partitions
Published in J.Phys.A A45 (2012) 055001
• View Publication
• BIB
We conjecture that the asymptotic behavior of the numbers of solid (three-dimensional) partitions is identical to the asymptotics of the three-dimensional MacMahon numbers. Evidence is provided by an exact enumeration of solid partitions of all integers <=68 whose numbers are reproduced with surprising accuracy using the asymptotic formula (with one free parameter) and better accuracy on increasing the number of free parameters. We also conjecture that similar behavior holds for higher-dimensional partitions and provide some preliminary evidence for four and five-dimensional partitions.
Deformation of finite-volume hyperbolic Coxeter polyhedra, limiting growth rates and Pisot numbers
Published
• View Publication
• BIB
A connection between real poles of the growth functions for Coxeter groups acting on hyperbolic space of dimensions three and greater and algebraic integers is investigated. In particular, a geometric convergence of fundamental domains for cocompact hyperbolic Coxeter groups with finite-volume limiting polyhedron provides a relation between Salem numbers and Pisot numbers. Several examples conclude this work.
Algebraic/combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians
Published in Advances in Applied Mathematics 50, 474--594 (2013)
• View Publication
• BIB
The classic Cayley identity states that \det(\partial) (\det X)^s = s(s+1)...(s+n-1) (\det X)^{s-1} where X=(x_{ij}) is an n-by-n matrix of indeterminates and \partial=(\partial/\partial x_{ij}) is the corresponding matrix of partial derivatives. In this paper we present straightforward combinatorial proofs of a variety of Cayley-type identities, both old and new. The most powerful of these proofs employ Grassmann algebra (= exterior algebra) and Grassmann-Berezin integration. Among the new identities proven here are a pair of "diagonal-parametrized" Cayley identities, a pair of "Laplacian-parametrized" Cayley identities, and the "product-parametrized" and "border-parametrized" rectangular Cayley identities.
On the Set of Circular Total Chromatic Numbers of Graphs
Published
• View Publication
• BIB
For every integer $r\ge3$ and every $\eps>0$ we construct a graph with maximum degree $r-1$ whose circular total chromatic number is in the interval $(r,r+\eps)$. This proves that (i) every integer $r\ge3$ is an accumulation point of the set of circular total chromatic numbers of graphs, and (ii) for every $Δ\ge2$, the set of circular total chromatic numbers of graphs with maximum degree $Δ$ is infinite. All these results hold for the set of circular total chromatic numbers of bipartite graphs as well.
KP solitons and total positivity for the Grassmannian
Published
• View Publication
• BIB
Soliton solutions of the KP equation have been studied since 1970, when Kadomtsev and Petviashvili proposed a two-dimensional dispersive wave equation now known as the KP equation. It is well-known that one can use the Wronskian method to construct a soliton solution to the KP equation from each point of the real Grassmannian Gr_kn. More recently several authors have studied the regular solutions that one obtains in this way: these come from points of the totally non-negative part of the Grassmannian (Gr_kn)_{>= 0}. In this paper we exhibit a surprising connection between the theory of total positivity for the Grassmannian, and the structure of regular soliton solutions to the KP equation. By exploiting this connection, we obtain new insights into the structure of KP solitons, as well as new interpretations of the combinatorial objects indexing cells of (Gr_kn)_{>= 0}. In particular, we completely classify the spatial patterns of the soliton solutions coming from (Gr_2n)_{>0}, as well as those coming from (Gr_kn)_{>= 0} when the absolute value of the time parameter is sufficiently large. We also demonstrate an intriguing connection between soliton graphs for (Gr_kn)_{>0} and the cluster algebras of Fomin and Zelevinsky, and we use this connection to solve the inverse problem for generic KP solitons coming from (Gr_kn)_{>0}. Finally we construct all the soliton graphs for (Gr_2n)_{>0} using the triangulations of n-gon.
Distributions of sparse spanning subgraphs in random graphs
Published
• View Publication
• BIB
We describe a general approach of determining the distribution of spanning subgraphs in the random graph $\G(n,p)$. In particular, we determine the distribution of spanning subgraphs of certain given degree sequences, which is a generalisation of the $d$-factors, of spanning triangle-free subgraphs, of (directed) Hamilton cycles and of spanning subgraphs that are isomorphic to a collection of vertex disjoint (directed) triangles.