Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A combinatorial Hopf algebra for nonlinear output feedback control systems
Published in Journal of Algebra, Vol 453, (2016) 609-643
• View Publication
• BIB
In this work a combinatorial description is provided of a Faa di Bruno type Hopf algebra which naturally appears in the context of Fliess operators in nonlinear feedback control theory. It is a connected graded commutative and non-cocommutative Hopf algebra defined on rooted circle trees. A cancellation free forest formula for its antipode is given.
Spectral radius and traceability of connected claw-free graphs
Published in Filomat Vol.30 (2016), no.9, 2445--2452
• View Publication
• BIB
Let $G$ be a connected claw-free graph on $n$ vertices and $\overline{G}$ be its complement graph. Let $μ(G)$ be the spectral radius of $G$. Denote by $N_{n-3,3}$ the graph consisting of $K_{n-3}$ and three disjoint pendent edges. In this note we prove that: (1) If $μ(G)\geq n-4$, then $G$ is traceable unless $G=N_{n-3,3}$. (2) If $μ(\overline{G})\leq μ(\overline{N_{n-3,3}})$ and $n\geq 24$, then $G$ is traceable unless $G=N_{n-3,3}$. Our works are counterparts on claw-free graphs of previous theorems due to Lu et al., and Fiedler and Nikiforov, respectively.
Equitable block colourings
Let $Σ=(X,\mathcal B)$ a $4$-cycle system of order $v=1+8k$. A $c$-colouring of type $s$ is a map $φ\colon \mathcal B\rightarrow \mathcal C$, with $C$ set of colours, such that exactly $c$ colours are used and for every vertex $x$ all the blocks containing $x$ are coloured exactly with $s$ colours. Let $4k=qs+r$, with $q,r\ge 0$. $φ$ is \emph{equitable} if for every vertex $x$ the set of the $4k$ blocks containing $x$ is parted in $r$ colour classes of cardinality $q+1$ and $s-r$ colour classes of cardinality $q$. In this paper we study colourings for which $s|k$, giving a description of equitable block colourings for $c\in \{s,s+1,\dots,\lfloor\tfrac{2s^2+s}{3}\rfloor \}$.
A note on recognizing an old friend in a new place: list coloring and the zero-temperature Potts model
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 1 (2014), 429-442
• View Publication
• BIB
Here we observe that list coloring in graph theory coincides with the zero-temperature antiferromagnetic Potts model with an external field. We give a list coloring polynomial that equals the partition function in this case. This is analogous to the well-known connection between the chromatic polynomial and the zero-temperature, zero-field, antiferromagnetic Potts model. The subsequent cross fertilization yields immediate results for the Potts model and suggests new research directions in list coloring.
Topological transition in disordered planar matching: combinatorial arcs expansion
Published in J. Stat. Mech. (2014) P12004
• View Publication
• BIB
In this paper, we investigate analytically the properties of the disordered Bernoulli model of planar matching. This model is characterized by a topological phase transition, yielding complete planar matching solutions only above a critical density threshold. We develop a combinatorial procedure of arcs expansion that explicitly takes into account the contribution of short arcs, and allows to obtain an accurate analytical estimation of the critical value by reducing the global constrained problem to a set of local ones. As an application to a toy representation of the RNA secondary structures, we suggest generalized models that incorporate a one-to-one correspondence between the contact matrix and the RNA-type sequence, thus giving sense to the notion of effective non-integer alphabets.
The automorphism group of a graphon
Published in Journal of Algebra 421 (2015), 136-166
• Search Publication
We study the automorphism group of graphons (graph limits). We prove that after an appropriate "standardization" of the graphon, the automorphism group is compact. Furthermore, we characterize the orbits of the automorphism group on $k$-tuples of points. Among applications we study the graph algebras defined by finite rank graphons and the space of node-transitive graphons.
Small cancellation labellings of some infinite graphs and applications
Published
• View Publication
• BIB
We construct small cancellation labellings for some infinite sequences of finite graphs of bounded degree. We use them to define infinite graphical small cancellation presentations of groups. This technique allows us to provide examples of groups with exotic properties:
- We construct the first examples of finitely generated coarsely non-amenable groups (that is, groups without Guoliang Yu's Property A) that are coarsely embeddable into a Hilbert space. Moreover, our groups act properly on CAT(0) cubical complexes.
- We construct the first examples of finitely generated groups, with expanders embedded isometrically into their Cayley graphs - in contrast,in the case of the Gromov monster expanders are not even coarsely embedded.
We present further applications.
Sperner type lemma for quadrangulations
Published in Moscow Journal of Combinatorics and Number Theory, vol. 5 (2015), pp. 26-35
• Search Publication
Sperner's lemma states that every Sperner coloring of a triangulation of a simplex contains a fully colored simplex. We present a generalization of this lemma, where instead of triangulations are considered quadrangulations.
The Bernardi process and torsor structures on spanning trees
Published
• View Publication
• BIB
Let G be a ribbon graph, i.e., a connected finite graph G together with a cyclic ordering of the edges around each vertex. By adapting a construction due to O. Bernardi, we associate to any pair (v,e) consisting of a vertex v and an edge e adjacent to v a bijection between spanning trees of G and elements of the set Pic^g(G) of degree g divisor classes on G, where g is the genus of G. Using the natural action of the Picard group Pic^0(G) on Pic^g(G), we show that the Bernardi bijection gives rise to a simply transitive action β_v of Pic^0(G) on the set of spanning trees which does not depend on the choice of e.
A plane graph has a natural ribbon structure (coming from the counterclockwise orientation of the plane), and in this case we show that β_v is independent of v as well. Thus for plane graphs, the set of spanning trees is naturally a torsor for the Picard group. Conversely, we show that if β_v is independent of v then G together with its ribbon structure is planar. We also show that the natural action of Pic^0(G) on spanning trees of a plane graph is compatible with planar duality.
These findings are formally quite similar to results of Holroyd et al. and Chan-Church-Grochow, who used rotor-routing to construct an action r_v of Pic^0(G) on the spanning trees of a ribbon graph G, which they show is independent of v if and only if G is planar. It is therefore natural to ask how the two constructions are related. We prove that β_v = r_v for all vertices v of G when G is a planar ribbon graph, i.e. the two torsor structures (Bernardi and rotor-routing) on the set of spanning trees coincide. In particular, it follows that the rotor-routing torsor is compatible with planar duality. We conjecture that for every non-planar ribbon graph G, there exists a vertex v with β_v \neq r_v.
Sandpiles, spanning trees, and plane duality
Published
• View Publication
• BIB
Let G be a connected, loopless multigraph. The sandpile group of G is a finite abelian group associated to G whose order is equal to the number of spanning trees in G. Holroyd et al. used a dynamical process on graphs called rotor-routing to define a simply transitive action of the sandpile group of G on its set of spanning trees. Their definition depends on two pieces of auxiliary data: a choice of a ribbon graph structure on G, and a choice of a root vertex. Chan, Church, and Grochow showed that if G is a planar ribbon graph, it has a canonical rotor-routing action associated to it, i.e., the rotor-routing action is actually independent of the choice of root vertex.
It is well-known that the spanning trees of a planar graph G are in canonical bijection with those of its planar dual G*, and furthermore that the sandpile groups of G and G* are isomorphic. Thus, one can ask: are the two rotor-routing actions, of the sandpile group of G on its spanning trees, and of the sandpile group of G* on its spanning trees, compatible under plane duality? In this paper, we give an affirmative answer to this question, which had been conjectured by Baker.
Pattern-avoiding permutations and Brownian excursion Part I: Shapes and fluctuations
Published
• View Publication
• BIB
Permutations that avoid given patterns are among the most classical objects in combinatorics and have strong connections to many fields of mathematics, computer science and biology. In this paper we study the scaling limits of a random permutation avoiding a pattern of length 3 and their relations to Brownian excursion. Exploring this connection to Brownian excursion allows us to strengthen the recent results of Madras and Pehlivan, and Miner and Pak as well as to understand many of the interesting phenomena that had previously gone unexplained.
Enumerative Geometrical Genealogy (Or: The Sex Life of Points and Lines)
Joshua Cooper and Mark Walters initiated the subject that we call here Enumerative Geometric Genealogy, (and that lead to the hard-to-count OEIS sequence A140468) but they did not realize the broader impact of their research to the population explosion of a certain far-away planet, whose inhabitants are much smarter, and more civilized, than we are.
Bruhat Interval Polytopes
Published
• View Publication
• BIB
Let u and v be permutations on n letters, with u <= v in Bruhat order. A Bruhat interval polytope Q_{u,v} is the convex hull of all permutation vectors z = (z(1), z(2),...,z(n)) with u <= z <= v. Note that when u=e and v=w_0 are the shortest and longest elements of the symmetric group, Q_{e,w_0} is the classical permutohedron. Bruhat interval polytopes were studied recently by Kodama and the second author, in the context of the Toda lattice and the moment map on the flag variety.
In this paper we study combinatorial aspects of Bruhat interval polytopes. For example, we give an inequality description and a dimension formula for Bruhat interval polytopes, and prove that every face of a Bruhat interval polytope is a Bruhat interval polytope. A key tool in the proof of the latter statement is a generalization of the well-known lifting property for Coxeter groups. Motivated by the relationship between the lifting property and R-polynomials, we also give a generalization of the standard recurrence for R-polynomials. Finally, we define a more general class of polytopes called Bruhat interval polytopes for G/P, which are moment map images of (closures of) totally positive cells in the non-negative part of G/P, and are a special class of Coxeter matroid polytopes. Using tools from total positivity and the Gelfand-Serganova stratification, we show that the face of any Bruhat interval polytope for G/P is again a Bruhat interval polytope for G/P.
On the longest k-alternating subsequence
Published
• View Publication
• BIB
We show that the longest k-alternating substring of a random permutation has length asymptotic to 2 (n-k) / 3.
How many ways can you make change: Some easy proofs
Given a dollar, how many ways are there to make change using pennies, nickels, dimes, and quarters? What if you are given a different amount of money? What if you use different coin denominations? This is a well known problem and formulas are known. We present simpler proofs in several cases. We use recurrences to derive formulas if the coin denominations are {1,x,kx,rx}, and we use a simple proof using generating functions to derive a formula for any coin set.
Generalized minor inequalities for the set covering polyhedron related to circulant matrices
Published
• View Publication
• BIB
We study the set covering polyhedron related to circulant matrices. In particular, our goal is to characterize the first Chvátal closure of the usual fractional relaxation. We present a family of valid inequalities that generalizes the family of minor inequalities previously reported in the literature and includes new facet-defining inequalities. Furthermore, we propose a polynomial time separation algorithm for a particular subfamily of these inequalities.
Combinatorial Ricci Curvature for Polyhedral Surfaces and Posets
The combinatorial Ricci curvature of Forman, which is defined at the edges of a CW complex, and which makes use of only the face relations of the cells in the complex, does not satisfy an analog of the Gauss-Bonnet Theorem, and does not behave analogously to smooth surfaces with respect to negative curvature. We extend this curvature to vertices and faces in such a way that the problems with combinatorial Ricci curvature are mostly resolved. The discussion is stated in terms of ranked posets.
The Weyl functor - Introduction to Absolute Arithmetic
Published
• View Publication
• BIB
Starting from an ancient observation of Tits concerning the interpretation of symmetric groups as Chevalley groups over a (non-existing) field having only one element, we describe combinatorial geometry over this field, as well as Linear Algebra. We arrive at an "absolute mantra" which is one of the basic principles of the present book.
Equivariant Pieri Rules For Isotropic Grassmannians
Published
• View Publication
• BIB
We give a Pieri rule for the torus-equivariant cohomology of (submaximal) Grassmannians of Lie types B, C, and D. To the authors' best knowledge, our rule is the first manifestly positive formula, beyond the equivariant Chevalley formula. We also give a simple proof of the equivariant Pieri rule for the ordinary (type A) Grassmannian.
Quasitoric manifolds and Small covers over properly colored polytopes: Immersions and Embeddings
Published
• View Publication
• BIB
We construct small covers and quasitoric manifolds over $n$-dimensional simple polytopes which allow proper colorings of facets with $n$ colors. We calculate Stiefel-Whitney classes of these manifolds as obstructions to immersions and embeddings into Euclidean spaces. The largest dimension required for embedding is achieved in the case $n$ is a power of two.