Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Floor decompositions of tropical curves : the planar case
In a previous paper, we announced a formula to compute Gromov-Witten and Welschinger invariants of some toric varieties, in terms of combinatorial objects called floor diagrams. We give here detailed proofs in the tropical geometry framework, in the case when the ambient variety is a complex surface, and give some examples of computations using floor diagrams. The focusing on dimension 2 is motivated by the special combinatoric of floor diagrams compared to arbitrary dimension.
We treat a general toric surface case in this dimension: the curve is given by an arbitrary lattice polygon and include computation of Welschinger invariants with pairs of conjugate points. See also \cite{FM} for combinatorial treatment of floor diagrams in the projective case.
A remarkable sequence of integers
Published
• View Publication
• BIB
A survey of properties of a sequence of coefficients appearing in the evaluation of a quartic definite integral is presented. These properties are of analytical, combinatorial and number-theoretical nature.
Hopf Algebras of Graphs
Published in C. R. Math. Acad. Sci. Paris, 339(9) :607-610, 2004
• View Publication
• BIB
We define graded Hopf algebras with bases labeled by various types of graphs and hypergraphs, provided with natural embeddings into an algebra of polynomials in infinitely many variables. These algebras are graded by the number of edges and can be considered as generalizations of symmetric or quasi-symmetric functions.
Generalizations of Chung-Feller Theorem
The classical Chung-Feller theorem [2] tells us that the number of Dyck paths of length $n$ with flaws $m$ is the $n$-th Catalan number and independent on $m$. L. Shapiro [7] found the Chung-Feller properties for the Motzkin paths. In this paper, we find the connections between these two Chung-Feller theorems. We focus on the weighted versions of three classes of lattice paths and give the generalizations of the above two theorems. We prove the Chung-Feller theorems of Dyck type for these three classes of lattice paths and the Chung-Feller theorems of Motzkin type for two of these three classes. From the obtained results, we find an interesting fact that many lattice paths have the Chung-Feller properties of both Dyck type and Motzkin type.
Deformation of symmetric functions and the rational Steenrod algebra
Published in In Invariant theory in all characteristics, volume 35 of CRM Proc. Lecture Notes, pages 91-125. Amer. Math. Soc. Providence, RI, 2004
• Search Publication
In 1999, Reg Wood conjectured that the quotient of Q[x_1,...,x_n] by the action of the rational Steenrod algebra is a graded regular representation of the symmetric group S_n. As pointed out by Reg Wood, the analog of this statement is a well known result when the rational Steenrod algebra is replaced by the ring of symmetric functions; actually, much more is known about the structure of the quotient in this case.
We introduce a non-commutative q-deformation of the ring of symmetric functions, which specializes at q=1 to the rational Steenrod algebra. We use this formalism to obtain some partial results. Finally, we describe several conjectures based on an extensive computer exploration. In particular, we extend Reg Wood's conjecture to q formal and to any q complex not of the form -a/b, with a in {1,...,n} and b a positive natural number.
Invariants algébriques de graphes et reconstruction
Published in C. R. Acad. Sci. Paris Sér. I Math., 333(9): 821-826, 2001
• Search Publication
We report on results about a study of algebraic graph invariants, based on computer exploration, and motivated by graph-isomorphism and reconstruction problems.
Algebraic invariants of graphs; a study based on computer exploration
Published in SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation), 34(3): 9-20, September 2000
• Search Publication
We consider the ring I_n of polynomial invariants over weighted graphs on n vertices. Our primary interest is the use of this ring to define and explore algebraic versions of isomorphism problems of graphs, such as Ulam's reconstruction conjecture. There is a huge body of literature on invariant theory which provides both general results and algorithms. However, there is a combinatorial explosion in the computations involved and, to our knowledge, the ring I_n has only been completely described for n<=4. This led us to study the ring I_n in its own right. We used intensive computer exploration for small n, and developed PerMuVAR, a library for MuPAD, for computing in invariant rings of permutation groups. We present general properties of the ring I_n, as well as results obtained by computer exploration for small n, including the construction of a medium sized generating set for I_5. We address several conjectures suggested by those results (low degree system of parameters, unimodality), for I_n as well as for more general invariant rings. We also show that some particular sets are not generating, disproving a conjecture of Pouzet related to reconstruction, as well as a lemma of Grigoriev on the invariant ring over digraphs. We finally provide a very simple minimal generating set of the field of invariants.
Binomial coefficients and the ring of p-adic integers
Published in Proc. Amer. Math. Soc. 139(2011), no.5, 1569-1577
• View Publication
• BIB
Let k>1 be an integer and let p be a prime. We show that if $p^a\le k<2p^a$ or $k=p^aq+1$ (with 2q<p) for some a=1,2,..., then the set {\binom{n}{k}: n=0,1,2,...} is dense in the ring Z_p of p-adic integers, i.e., it contains a complete system of residues modulo any power of p.
Orders of Finite Reductive Monoids
We show four formulas for calculating the orders of finite reductive monoids with zero. As applications, these formulas are then used to calculate the orders of finite reductive monoids induced from the $F_q$-split $\J$-irreducible monoids $\overline {K^*ρ(G_0)}$ where $G_0$ is a simple algebraic group over the algebraic closure of $F_q$, and $ρ: G_0\to GL(V)$ is the irreducible representation associated with any dominant weight. Finally, we give an explicit formula for the orders of finite symplectic monoids associated with the last fundamental dominant weight of type $C_l$; the connections to $H$-polynomials and Betti numbers are shown.
$k$-distant crossings and nestings of matchings and partitions
Published
• View Publication
• BIB
We define and consider k-distant crossings and nestings for matchings and set partitions, which are a variation of crossings and nestings in which the distance between vertices is important. By modifying an involution of Kasraoui and Zeng (Electronic J. Combinatorics 2006, research paper 33), we show that the joint distribution of k-distant crossings and nestings is symmetric. We also study the numbers of k-distant noncrossing matchings and partitions for small k, which are counted by well-known sequences, as well as the orthogonal polynomials related to k-distant noncrossing matchings and partitions. We extend Chen et al.'s r-crossings and enhanced r-crossings.
Partial symmetry, reflection monoids and Coxeter groups
Published in Adv. Math. 223 (2010), 1782-1814
• View Publication
• BIB
This is the first of a series of papers in which we initiate and develop the theory of reflection monoids, motivated by the theory of reflection groups. The main results identify a number of important inverse semigroups as reflection monoids, introduce new examples, and determine their orders.
Tutte polynomial and G-parking functions
Published
• View Publication
• BIB
Let $G$ be a connected graph with vertex set $\{0,1,2,...,n\}$. We allow $G$ to have multiple edges and loops. In this paper, we give a characterization of external activity by some parameters of $G$-parking functions. In particular, we give the definition of the bridge vertex of a $G$-parking function and obtain an expression of the Tutte polynomial $T_G(x,y)$ of $G$ in terms of $G$-parking functions. We find the Tutte polynomial enumerates the $G$-parking function by the number of the bridge vertices.
Refinements of Lattice paths with flaws
The classical Chung-Feller theorem [2] tells us that the number of Dyck paths of length $n$ with $m$ flaws is the $n$-th Catalan number and independent on $m$. In this paper, we consider the refinements of Dyck paths with flaws by four parameters, namely peak, valley, double descent and double ascent. Let ${p}_{n,m,k}$ be the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ peaks. First, we derive the reciprocity theorem for the polynomial $P_{n,m}(x)=\sum\limits_{k=1}^np_{n,m,k}x^k$. Then we find the Chung-Feller properties for the sum of $p_{n,m,k}$ and $p_{n,m,n-k}$. Finally, we provide a Chung-Feller type theorem for Dyck paths of length $n$ with $k$ double ascents: the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ double ascents is equal to the number of all the Dyck paths that have semi-length $n$, $k$ double ascents and never pass below the x-axis, which is counted by the Narayana number. Let ${v}_{n,m,k}$ (resp. $d_{n,m,k}$) be the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ valleys (resp. double descents). Some similar results are derived.
A Unification of Two Refinements of Euler's Partition Theorem
Published
• View Publication
• BIB
We obtain a unification of two refinements of Euler's partition theorem respectively due to Bessenrodt and Glaisher. A specialization of Bessenrodt's insertion algorithm for a generalization of the Andrews-Olsson partition identity is used in our combinatorial construction.
Formulas for the Connes-Moscovici Hopf algebra
Published
• View Publication
• BIB
We give explicit formulas for the coproduct and the antipode in the Connes-Moscovici Hopf algebra $\mathcal{H}_{\tmop{CM}}$. To do so, we first restrict ourselves to a sub-Hopf algebra $\mathcal{H}^1_{\tmop{CM}}$ containing the nontrivial elements, namely those for which the coproduct and the antipode are nontrivial. There are two ways to obtain explicit formulas. On one hand, the algebra $\mathcal{H}^1_{\tmop{CM}}$ is isomorphic to the Faà di Bruno Hopf algebra of coordinates on the group of identity-tangent diffeomorphism and computations become easy using substitution automorphisms rather than diffeomorphisms. On the other hand, the algebra $\mathcal{H}^1_{\tmop{CM}}$ is isomorphic to a sub-Hopf algebra of the classical shuffle Hopf algebra which appears naturally in resummation theory, in the framework of formal and analytic conjugacy of vector fields. Using the very simple structure of the shuffle Hopf algebra, we derive once again explicit formulas for the coproduct and the antipode in $\mathcal{H}^1_{\tmop{CM}}$.
Intriguing sets of partial quadrangles
Published
• View Publication
• BIB
The point-line geometry known as a \textit{partial quadrangle} (introduced by Cameron in 1975) has the property that for every point/line non-incident pair $(P,\ell)$, there is at most one line through $P$ concurrent with $\ell$. So in particular, the well-studied objects known as \textit{generalised quadrangles} are each partial quadrangles. An \textit{intriguing set} of a generalised quadrangle is a set of points which induces an equitable partition of size two of the underlying strongly regular graph. We extend the theory of intriguing sets of generalised quadrangles by Bamberg, Law and Penttila to partial quadrangles, which surprisingly gives insight into the structure of hemisystems and other intriguing sets of generalised quadrangles.
How to eat 4/9 of a pizza
Given two players alternately picking pieces of a pizza sliced by radial cuts, in such a way that after the first piece is taken every subsequent chosen piece is adjacent to some previously taken piece, we provide a strategy for the starting player to get 4/9 of the pizza. This is best possible and settles a conjecture of Peter Winkler.
On the chromatic number of random d-regular graphs
Published
• View Publication
• BIB
In this work we show that, for any fixed d, random d-regular graphs asymptotically almost surely can be coloured with k colours, where k is the smallest integer satisfying d<2(k-1)log(k-1). From previous lower bounds due to Molloy and Reed, this establishes the chromatic number to be asymptotically almost surely k-1 or k. If moreover d>(2k-3)log(k-1), then the value k-1 is discarded and thus the chromatic number is exactly determined. Hence we improve a recently announced result by Achlioptas and Moore in which the chromatic number was allowed to take the value k+1. Our proof applies the small subgraph conditioning method to the number of balanced k-colourings, where a colouring is balanced if the number of vertices of each colour is equal.
Additive Bases in Abelian Groups
Published
• View Publication
• BIB
Let $G$ be a finite, non-trivial abelian group of exponent $m$, and suppose that $B_1, ..., B_k$ are generating subsets of $G$. We prove that if $k>2m \ln \log_2 |G|$, then the multiset union $B_1\cup...\cup B_k$ forms an additive basis of $G$; that is, for every $g\in G$ there exist $A_1\subset B_1, ..., A_k\subset B_k$ such that $g=\sum_{i=1}^k\sum_{a\in A_i} a$. This generalizes a result of Alon, Linial, and Meshulam on the additive bases conjecture.
As another step towards proving the conjecture, in the case where $B_1, ..., B_k$ are finite subsets of a vector space we obtain lower-bound estimates for the number of distinct values, attained by the sums of the form $\sum_{i=1}^k \sum_{a\in A_i} a$, where $A_i$ vary over all subsets of $B_i$ for each $i=1, >..., k$.
Finally, we establish a surprising relation between the additive bases conjecture and the problem of covering the vertices of a unit cube by translates of a lattice, and present a reformulation of (the strong form of) the conjecture in terms of coverings.
Sparse graphs: metrics and random models
Recently, Bollobás, Janson and Riordan introduced a family of random graph models producing inhomogeneous graphs with $n$ vertices and $Θ(n)$ edges whose distribution is characterized by a kernel, i.e., a symmetric measurable function $\ka:[0,1]^2 \to [0,\infty)$. To understand these models, we should like to know when different kernels $\ka$ give rise to `similar' graphs, and, given a real-world network, how `similar' is it to a typical graph $G(n,\ka)$ derived from a given kernel $\ka$.
The analogous questions for dense graphs, with $Θ(n^2)$ edges, are answered by recent results of Borgs, Chayes, Lovász, Sós, Szegedy and Vesztergombi, who showed that several natural metrics on graphs are equivalent, and moreover that any sequence of graphs converges in each metric to a graphon, i.e., a kernel taking values in $[0,1]$.
Possible generalizations of these results to graphs with $o(n^2)$ but $ω(n)$ edges are discussed in a companion paper [arXiv:0708.1919]; here we focus only on graphs with $Θ(n)$ edges, which turn out to be much harder to handle. Many new phenomena occur, and there are a host of plausible metrics to consider; many of these metrics suggest new random graph models, and vice versa.