Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Degenerate flag varieties: moment graphs and Schröder numbers
Published in JOURNAL OF ALGEBRAIC COMBINATORICS, p. 1-31, 2012
• View Publication
• BIB
We study geometric and combinatorial properties of the degenerate flag varieties of type A. These varieties are acted upon by the automorphism group of a certain representation of a type A quiver, containing a maximal torus T. Using the group action, we describe the moment graphs, encoding the zero- and one-dimensional T-orbits. We also study the smooth and singular loci of the degenerate flag varieties. We show that the Euler characteristic of the smooth locus is equal to the large Schröder number and the Poincaré polynomial is given by a natural statistics counting the number of diagonal steps in a Schröder path. As an application we obtain a new combinatorial description of the large and small Schröder numbers and their q-analogues.
Counting Line-Colored D-ary Trees
Random tensor models are generalizations of matrix models which also support a 1/N expansion. The dominant observables are in correspondence with some trees, namely rooted trees with vertices of degree at most $D$ and lines colored by a number $i$ from 1 to $D$ such that no two lines connecting a vertex to its descendants have the same color. In this Letter we study by independent methods a generating function for these observables. We prove that the number of such trees with exactly $p_i$ lines of color $i$ is $\frac{1}{\sum_{i=1}^D p_i +1} \binom{\sum_{i=1}^D p_i+1}{p_1} ... \binom{\sum_{i=1}^D p_i+1}{p_D}$.
The Reciprocal of $\sum_{n\geq 0}a^nb^n$ for non-commuting $a$ and $b$, Catalan numbers and non-commutative quadratic equations
Published
• View Publication
• BIB
The aim of this paper is to describe the inversion of the sum $\sum_{n\geq 0}a^nb^n$ where $a$ and $b$ are non-commuting variables as a formal series in $a$ and $b$. We show that the inversion satisfies a non-commutative quadratic equation and that the number of certain monomials in its homogeneous components equals to a Catalan number. We also study general solutions of similar quadratic equations.
Three Proofs of the Hypergraph Ramsey Theorem (An exposition)
Ramsey, Erdos-Rado, and Conlon-Fox-Sudakov have given proofs of the 3-hypergraph Ramsey Theorem with better and better upper bounds on the 3-hypergraph Ramsey Number. Ramsey and Erdos-Rado also prove the a-hypergraph Ramsey Theorem. Conlon-Fox-Sudakov note that their upper bounds on the 3-hypergraph Ramsey Numbers, together with a recurrence of Erdos-Rado (which was the key to the Erdos-Rado proof), yield improved bounds on the a-hypergraph Ramsey numbers. We present all of these proofs and state explicit bounds for the 2-color case and the c-color case. We give a more detailed analysis of the construction of Conlon-Fox-Sudakov and hence obtain a slightly better bound.
The rotor-router group of directed covers of graphs
Published
• View Publication
• BIB
A rotor-router walk is a deterministic version of a random walk, in which the walker is routed to each of the neighbouring vertices in some fixed cyclic order. We consider here directed covers of graphs (called also periodic trees) and we study several quantities related to rotor-router walks on directed covers. The quantities under consideration are: order of the rotor-router group, order of the root element in the rotor-router group and the connection with random walks.
Total coloring of 1-toroidal graphs of maximum degree at least 11 and no adjacent triangles
Published in Journal of Combinatorial Optimization, 33 (2017) 1090--1105
• View Publication
• BIB
A {\em total coloring} of a graph $G$ is an assignment of colors to the vertices and the edges of $G$ such that every pair of adjacent/incident elements receive distinct colors. The {\em total chromatic number} of a graph $G$, denoted by $\chiup''(G)$, is the minimum number of colors in a total coloring of $G$. The well-known Total Coloring Conjecture (TCC) says that every graph with maximum degree $Δ$ admits a total coloring with at most $Δ+ 2$ colors. A graph is {\em $1$-toroidal} if it can be drawn in torus such that every edge crosses at most one other edge. In this paper, we investigate the total coloring of $1$-toroidal graphs, and prove that the TCC holds for the $1$-toroidal graphs with maximum degree at least~$11$ and some restrictions on the triangles. Consequently, if $G$ is a $1$-toroidal graph with maximum degree $Δ$ at least~$11$ and without adjacent triangles, then $G$ admits a total coloring with at most $Δ+ 2$ colors.
On the Fiedler value of large planar graphs
Published in Linear Algebra and its Applications 439:7 (2013), 2070-2084
• View Publication
• BIB
The Fiedler value $λ_2$, also known as algebraic connectivity, is the second smallest Laplacian eigenvalue of a graph. We study the maximum Fiedler value among all planar graphs $G$ with $n$ vertices, denoted by $λ_{2\max}$, and we show the bounds $2+Θ(\frac{1}{n^2}) \leq λ_{2\max} \leq 2+O(\frac{1}{n})$. We also provide bounds on the maximum Fiedler value for the following classes of planar graphs: Bipartite planar graphs, bipartite planar graphs with minimum vertex degree~3, and outerplanar graphs. Furthermore, we derive almost tight bounds on $λ_{2\max}$ for two more classes of graphs, those of bounded genus and $K_h$-minor-free graphs.
On the combinatorics of suffix arrays
Published
• View Publication
• BIB
We prove several combinatorial properties of suffix arrays, including a characterization of suffix arrays through a bijection with a certain well-defined class of permutations. Our approach is based on the characterization of Burrows-Wheeler arrays given in [1], that we apply by reducing suffix sorting to cyclic shift sorting through the use of an additional sentinel symbol. We show that the characterization of suffix arrays for a special case of binary alphabet given in [2] easily follows from our characterization. Based on our results, we also provide simple proofs for the enumeration results for suffix arrays, obtained in [3]. Our approach to characterizing suffix arrays is the first that exploits their relationship with Burrows-Wheeler permutations.
Counting Proper Mergings of Chains and Antichains
Published in Discrete Mathematics 327 (2014), pages 118-129
• View Publication
• BIB
A proper merging of two disjoint quasi-ordered sets $P$ and $Q$ is a quasi-order on the union of $P$ and $Q$ such that the restriction to $P$ and $Q$ yields the original quasi-order again and such that no elements of $P$ and $Q$ are identified. In this article, we consider the cases where $P$ and $Q$ are chains, where $P$ and $Q$ are antichains, and where $P$ is an antichain and $Q$ is a chain. We give formulas that determine the number of proper mergings in all three cases, and introduce two new bijections from proper mergings of two chains to plane partitions and from proper mergings of an antichain and a chain to monotone colorings of complete bipartite digraphs. Additionally, we use these bijections to count the Galois connections between two chains, and between a chain and a Boolean lattice respectively.
List-coloring graphs on surfaces with varying list-sizes
Published
• View Publication
• BIB
Let $G$ be a graph embedded on a surface $S_\varepsilon$ with Euler genus $\varepsilon > 0$, and let $P\subseteq V(G)$ be a set of vertices mutually at distance at least 4 apart. Suppose all vertices of $G$ have $H(\varepsilon)$-lists and the vertices of $P$ are precolored, where $H(\varepsilon)=\Big\lfloor\frac{7 + \sqrt{24\varepsilon + 1}}{2}\Big\rfloor$ is the Heawood number. We show that the coloring of $P$ extends to a list-coloring of $G$ and that the distance bound of 4 is best possible. Our result provides an answer to an analogous question of Albertson about extending a precoloring of a set of mutually distant vertices in a planar graph to a 5-list-coloring of the graph and generalizes a result of Albertson and Hutchinson to list-coloring extensions on surfaces.
The inverse Erdos-Heilbronn Problem for restricted set addition in finite groups
We provide a survey of results concerning both the direct and inverse problems to the Cauchy-Davenport theorem and Erdos-Heilbronn problem in Additive Combinatorics. We prove a slight extension to an inverse theorem of Dias da Silva-Hamidoune in Z/pZ, and we present a counterexample to an open conjecture concerning the inverse Erdos-Heilbronn problem in nonabelian groups.
Time-ordering and a generalized Magnus expansion
Published in Letters in Mathematical Physics 103, (2013), 331
• View Publication
• BIB
Both the classical time-ordering and the Magnus expansion are well-known in the context of linear initial value problems. Motivated by the noncommutativity between time-ordering and time derivation, and related problems raised recently in statistical physics, we introduce a generalization of the Magnus expansion. Whereas the classical expansion computes the logarithm of the evolution operator of a linear differential equation, our generalization addresses the same problem, including however directly a non-trivial initial condition. As a by-product we recover a variant of the time ordering operation, known as T*-ordering. Eventually, placing our results in the general context of Rota-Baxter algebras permits us to present them in a more natural algebraic setting. It encompasses, for example, the case where one considers linear difference equations instead of linear differential equations.
Thrifty approximations of convex bodies by polytopes
Published
• View Publication
• BIB
Given a convex body C in R^d containing the origin in its interior and a real number tau > 1 we seek to construct a polytope P in C with as few vertices as possible such that C in tau P. Our construction is nearly optimal for a wide range of d and tau. In particular, we prove that if C=-C then for any 1>epsilon>0 and tau=1+epsilon one can choose P having roughly epsilon^{-d/2} vertices and for tau=sqrt{epsilon d} one can choose P having roughly d^{1/epsilon} vertices. Similarly, we prove that if C in R^d is a convex body such that -C in mu C for some mu > 1 then one can choose P having roughly ((mu+1)/(tau-1))^{d/2} vertices provided (tau-1)/(mu+1) << 1.
Ramsey Theory, Integer Partitions and a New Proof of the Erdos-Szekeres Theorem
Published
• View Publication
• BIB
Let H be a k-uniform hypergraph whose vertices are the integers 1,...,N. We say that H contains a monotone path of length n if there are x_1 < x_2 < ... < x_{n+k-1} so that H contains all n edges of the form {x_i,x_{i+1},...,x_{i+k-1}}. Let N_k(q,n) be the smallest integer N so that every q-coloring of the edges of the complete k-uniform hypergraph on N vertices contains a monochromatic monotone path of length n. While the study of N_k(q,n) for specific values of k and q goes back (implicitly) to the seminal 1935 paper of Erdos and Szekeres, the problem of bounding N_k(q,n) for arbitrary k and q was studied by Fox, Pach, Sudakov and Suk.
Our main contribution here is a novel approach for bounding the Ramsey-type numbers N_k(q,n), based on establishing a surprisingly tight connection between them and the enumerative problem of counting high-dimensional integer partitions. Some of the concrete results we obtain using this approach are the following:
1. We show that for every fixed q we have N_3(q,n)=2^{Θ(n^{q-1})}, thus resolving an open problem raised by Fox et al.
2. We show that for every k >= 3, N_k(2,n)=2^{\cdot^{\cdot^{2^{(2-o(1))n}}}} where the height of the tower is k-2, thus resolving an open problem raised by Elias and Matousek.
3. We give a new pigeonhole proof of the Erdős-Szekeres Theorem on cups-vs-caps, similar to Seidenberg's proof of the Erdos-Szekeres Lemma on increasing/decreasing subsequences.
Invariant measures concentrated on countable structures
Published in Forum of Mathematics Sigma 4 (2016), e17, 59 pp
• View Publication
• BIB
Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable closure, i.e., the pointwise stabilizer in Aut(M) of an arbitrary finite tuple of M fixes no additional points. When M is a Fraisse limit in a relational language, this amounts to requiring that the age of M have strong amalgamation. Our results give rise to new instances of structures that admit invariant measures and structures that do not.
Arithmetic of marked order polytopes, monotone triangle reciprocity, and partial colorings
Published
• View Publication
• BIB
For a poset P, a subposet A, and an order preserving map F from A into the real numbers, the marked order polytope parametrizes the order preserving extensions of F to P. We show that the function counting integral-valued extensions is a piecewise polynomial in F and we prove a reciprocity statement in terms of order-reversing maps. We apply our results to give a geometric proof of a combinatorial reciprocity for monotone triangles due to Fischer and Riegler (2011) and we consider the enumerative problem of counting extensions of partial graph colorings of Herzberg and Murty (2007).
A simpler proof for O(congestion + dilation) packet routing
In the store-and-forward routing problem, packets have to be routed along given paths such that the arrival time of the latest packet is minimized. A groundbreaking result of Leighton, Maggs and Rao says that this can always be done in time O(congestion + dilation), where the congestion is the maximum number of paths using an edge and the dilation is the maximum length of a path. However, the analysis is quite arcane and complicated and works by iteratively improving an infeasible schedule. Here, we provide a more accessible analysis which is based on conditional expectations. Like [LMR94], our easier analysis also guarantees that constant size edge buffers suffice.
Moreover, it was an open problem stated e.g. by Wiese, whether there is any instance where all schedules need at least (1 + epsilon)*(congestion + dilation) steps, for a constant epsilon > 0. We answer this question affirmatively by making use of a probabilistic construction.
On Bounding the Diameter of the Commuting Graph of a Group
Published
• View Publication
• BIB
The commuting graph of a group $G$ is the simple undirected graph whose vertices are the non-central elements of $G$ and two distinct vertices are adjacent if and only if they commute. It is conjectured by Jafarzadeh and Iranmanesh that there is a universal upper bound on the diameter of the commuting graphs of finite groups when the commuting graph is connected. In this paper we determine upper bounds on the diameter of the commuting graph for some classes of groups to rule them out as possible counterexamples to this conjecture. We also give an example of an infinite family of groups with trivial centre and diameter 6, the previously largest known diameter for an infinite family was 5 for $S_n$.
Minimizing the regularity of maximal regular antichains of 2- and 3-sets
Published in Australasian Journal of Combinatorics 64 (2016), 277-288
• Search Publication
Let $n\geqslant 3$ be a natural number. We study the problem to find the smallest $r$ such that there is a family $\mathcal{A}$ of 2-subsets and 3-subsets of $[n]=\{1,2,...,n\}$ with the following properties: (1) $\mathcal{A}$ is an antichain, i.e. no member of $\mathcal A$ is a subset of any other member of $\mathcal A$, (2) $\mathcal A$ is maximal, i.e. for every $X\in 2^{[n]}\setminus\mathcal A$ there is an $A\in\mathcal A$ with $X\subseteq A$ or $A\subseteq X$, and (3) $\mathcal A$ is $r$-regular, i.e. every point $x\in[n]$ is contained in exactly $r$ members of $\mathcal A$. We prove lower bounds on $r$, and we describe constructions for regular maximal antichains with small regularity.
Hopf algebras and Markov chains: Two examples and a theory
Published
• View Publication
• BIB
The operation of squaring (coproduct followed by product) in a combinatorial Hopf algebra is shown to induce a Markov chain in natural bases. Chains constructed in this way include widely studied methods of card shuffling, a natural "rock-breaking" process, and Markov chains on simplicial complexes. Many of these chains can be explictly diagonalized using the primitive elements of the algebra and the combinatorics of the free Lie algebra. For card shuffling, this gives an explicit description of the eigenvectors. For rock-breaking, an explicit description of the quasi-stationary distribution and sharp rates to absorption follow.