Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Arcs, Cords and Felts - Six instances of the Linearization Principle
Published
• View Publication
• BIB
It is shown how a selection of prominent results in singularity theory and differential geometry can be deduced from one theorem, the Rank Theorem for maps between spaces of power series.
The Tutte polynomial of the Sierpinski and Hanoi graphs
Published in Advances in Geometry, Vol. 13 (2013), Issue 4, 663-694
• View Publication
• BIB
We study the Tutte polynomial of two infinite families of finite graphs: the Sierpiński graphs, which are finite approximations of the well-known Sierpiński gasket, and the Schreier graphs of the Hanoi Towers group $H^{(3)}$ acting on the rooted ternary tree. For both of them, we recursively describe the Tutte polynomial and we compute several special evaluations of it, giving interesting results about the combinatorial structure of these graphs.
Construction of directed strongly regular graphs using finite incidence structures
We use finite incident structures to construct new infinite families of directed strongly regular graphs with parameters \[(l(q-1)q^l,\ l(q-1)q^{l-1},\ (lq-l+1)q^{l-2},\ (l-1)(q-1)q^{l-2},\ (lq-l+1)q^{l-2})\] for integers $q$ and $l$ ($q, l\ge 2$), and \[(lq^2(q-1),\ lq(q-1),\ lq-l+1,\ (l-1)(q-1),\ lq-l+1)\] for all prime powers $q$ and $l\in \{1, 2,..., q\}$. The new graphs given by these constructions have parameters $(36, 12, 5, 2, 5)$, $(54, 18, 7, 4, 7)$, $(72, 24, 10, 4, 10)$, $(96, 24, 7, 3, 7)$, $(108, 36, 14, 8, 14)$ and $(108, 36, 15, 6, 15)$ listed as feasible parameters on "Parameters of directed strongly regular graphs," at ${http://homepages.cwi.nl/^\sim aeb/math/dsrg/dsrg.html}$ by S. Hobart and A. E. Brouwer. We review these constructions and show how our methods may be used to construct other infinite families of directed strongly regular graphs.
The number of F-matchings in almost every tree is a zero residue
Published
• View Publication
• BIB
For graphs F and G an F-matching in G is a subgraph of G consisting of pairwise vertex disjoint copies of F. The number of F-matchings in G is denoted by s(F,G). We show that for every fixed positive integer m and every fixed tree F, the probability that s(F,T_n) = 0 mod m, where T_n is a random labeled tree with n vertices, tends to one exponentially fast as n grows to infinity. A similar result is proven for induced F-matchings. This generalizes a recent result of Wagner who showed that the number of independent sets in a random labeled tree is almost surely a zero residue.
Approximating the Tutte polynomial of a binary matroid and other related combinatorial polynomials
Published in JCSS 79(1) (February, 2013) 68-78
• View Publication
• BIB
We consider the problem of approximating certain combinatorial polynomials. First, we consider the problem of approximating the Tutte polynomial of a binary matroid with parameters q>= 2 and gamma. (Relative to the classical (x,y) parameterisation, q=(x-1)(y-1) and gamma=y-1.) A graph is a special case of a binary matroid, so earlier work by the authors shows inapproximability (subject to certain complexity assumptions) for q>2, apart from the trivial case gamma=0. The situation for q=2 is different. Previous results for graphs imply inapproximability in the region -2<=gamma<0, apart from at two "special points" where the polynomial can be computed exactly in polynomial time. For binary matroids, we extend this result by showing (i) there is no FPRAS in the region gamma<-2 unless NP=RP, and (ii) in the region gamma>0, the approximation problem is hard for the complexity class #RHPi_1 under approximation-preserving (AP) reducibility. The latter result indicates a gap in approximation complexity at q=2: whereas an FPRAS is known in the graphical case, there can be none in the binary matroid case, unless there is an FPRAS for all of #RHPi_1. The result also implies that it is computationally difficult to approximate the weight enumerator of a binary linear code, apart from at the special weights at which the problem is exactly solvable in polynomial time. As a consequence, we show that approximating the cycle index polynomial of a permutation group is hard for #RHPi_1 under AP-reducibility, partially resolving a question that we first posed in 1992.
On vosperian and superconnected vertex-transitive digraphs
Published
• View Publication
• BIB
We investigate the structure of a digraph having a transitive automorphism group where every cutset of minimal cardinality consists of all successors or all predecessors of some vertex. We improve most of the existing results in this area.
The structure of Zhu's algebras for certain W-algebras
We introduce a new approach that allows us to determine the structure of Zhu's algebra for certain vertex operator (super)algebras which admit horizontal $\mathbb{Z} $-grading. By using this method and an earlier description of Zhu's algebra for the singlet W-algebra, we completely describe the structure of Zhu's algebra for the triplet vertex algebra W(p). As a consequence, we prove that Zhu's algebra A(W(p)) and the related Poisson algebra P(W(p)) have the same dimension. We also completely describe Zhu's algebras for the N=1 triplet vertex operator superalgebra SW(m). Moreover, we obtain similar results for the c=0 triplet vertex algebra W_{2,3} important in logarithmic conformal field theory.
Because our approach is "internal" we had to employ several constant term identities for purposes of getting right upper bounds on dimension of Zhu's algebras.
Counting unicellular maps on non-orientable surfaces
Published in Advances in Applied Mathematics, 47(2):259-275 (2011)
• View Publication
• BIB
A unicellular map is the embedding of a connected graph in a surface in such a way that the complement of the graph is a topological disk. In this paper we present a bijective link between unicellular maps on a non-orientable surface and unicellular maps of a lower topological type, with distinguished vertices. From that we obtain a recurrence equation that leads to (new) explicit counting formulas for non-orientable unicellular maps of fixed topology. In particular, we give exact formulas for the precubic case (all vertices of degree 1 or 3), and asymptotic formulas for the general case, when the number of edges goes to infinity. Our strategy is inspired by recent results obtained by the second author for the orientable case, but significant novelties are introduced: in particular we construct an involution which, in some sense, "averages" the effects of non-orientability.
Limiting shapes for a non-abelian sandpile growth model and related cellular automata
We present limiting shape results for a non-abelian variant of the abelian sandpile growth model (ASGM), some of which have no parallel in the ASGM. One of our limiting shapes is an octagon. In our model, mass spreads from the origin by the toppling rule in Zhang's sandpile model. Previously, several limiting shape results have been obtained for the ASGM using abelianness and monotonicity as main tools. As both properties fail for our model, we use a new proof technique: in our main proof, we introduce several cellular automata to mimic our growth model.
A network of rational curves on the Hilbert scheme
In this paper we introduce an effective method to construct rational deformations between couples of Borel-fixed ideals. These deformations are governed by flat families, so that they correspond to rational curves on the Hilbert scheme. Looking globally at all the deformations among Borel-fixed ideals defining points on the same Hilbert scheme, we are able to give a new proof of the connectedness of the Hilbert scheme and to introduce a new criterion to establish whenever a set of points defined by Borel ideals lies on a common component of the Hilbert scheme. The paper contains a detailed algorithmic description of the technique and all the algorithms are made available.
A new combinatorial identity for unicellular maps, via a direct bijective approach
Published in Advances in Applied Mathematics, 47(4):874-893 (2011)
• View Publication
• BIB
A unicellular map, or one-face map, is a graph embedded in an orientable surface such that its complement is a topological disk. In this paper, we give a new viewpoint to the structure of these objects, by describing a decomposition of any unicellular map into a unicellular map of smaller genus. This gives a new combinatorial identity for the number $ε_g(n)$ of unicellular maps of size $n$ and genus $g$. Contrarily to the Harer-Zagier recurrence formula, this identity is recursive in only one parameter (the genus). Iterating the construction gives an explicit bijection between unicellular maps and plane trees with distinguished vertices, which gives a combinatorial explanation (and proof) of the fact that $ε_g(n)$ is the product of the $n$-th Catalan number by a polynomial in $n$. The combinatorial interpretation also gives a new and simple formula for this polynomial. Variants of the problem are considered, like bipartite unicellular maps, or unicellular maps with cubic vertices only.
Flag f-vectors of colored complexes
Published
• View Publication
• BIB
It is shown that conditions stronger in a certain sense than color-shifting cannot be placed on the class of colored complexes without changing the characterization of the flag f-vectors.
Flag f-vectors of three-colored complexes
Published
• View Publication
• BIB
The flag f-vectors of three-colored complexes are characterized. This also characterizes the flag h-vectors of balanced Cohen-Macaulay complexes of dimension two, as well as the flag h-vectors of balanced shellable complexes of dimension two.
Noncommutative integrability, paths and quasi-determinants
Published
• View Publication
• BIB
In previous work, we showed that the solution of certain systems of discrete integrable equations, notably $Q$ and $T$-systems, is given in terms of partition functions of positively weighted paths, thereby proving the positive Laurent phenomenon of Fomin and Zelevinsky for these cases. This method of solution is amenable to generalization to non-commutative weighted paths. Under certain circumstances, these describe solutions of discrete evolution equations in non-commutative variables: Examples are the corresponding quantum cluster algebras [BZ], the Kontsevich evolution [DFK09b] and the $T$-systems themselves [DFK09a]. In this paper, we formulate certain non-commutative integrable evolutions by considering paths with non-commutative weights, together with an evolution of the weights that reduces to cluster algebra mutations in the commutative limit. The general weights are expressed as Laurent monomials of quasi-determinants of path partition functions, allowing for a non-commutative version of the positive Laurent phenomenon. We apply this construction to the known systems, and obtain Laurent positivity results for their solutions in terms of initial data.
Small Furstenberg sets
Published
• View Publication
• BIB
For $α$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $α$ or $F_α$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $α$. In this paper we show that if $α> 0$, there exists a set $E\in F_α$ such that $\HH{g}(E)=0$ for $g(x)=x^{1/2+3/2α}\log^{-θ}(\frac{1}{x})$, $θ>\frac{1+3α}{2}$, which improves on the the previously known bound, that $H^β(E) = 0$ for $β>1/2+3/2α$. Further, by refining the argument in a subtle way, we are able to obtain a sharp dimension estimate for a whole class of zero-dimensional Furstenberg type sets. Namely, for $\h_γ(x)=\log^{-γ}(\frac{1}{x})$, $γ>0$, we construct a set $E_γ\in F_{\h_γ}$ of Hausdorff dimension not greater than 1/2. Since in a previous work we showed that 1/2 is a lower bound for the Hausdorff dimension of any $E\in F_{\h_γ}$, with the present construction, the value 1/2 is sharp for the whole class of Furstenberg sets associated to the zero dimensional functions $\h_γ$.
Generalized crested products of Markov chains
Published in European J. Combin. 32, Issue 2 (2011), 243-257
• Search Publication
We define a finite Markov chain, called generalized crested product, which naturally appears as a generalization of the first crested product of Markov chains. A complete spectral analysis is developed and the $k$-step transition probability is given. It is important to remark that this Markov chain describes a more general version of the classical Ehrenfest diffusion model. As a particular case, one gets a generalization of the classical Insect Markov chain defined on the ultrametric space. Finally, an interpretation in terms of representation group theory is given, by showing the correspondence between the spectral decomposition of the generalized crested product and the Gelfand pairs associated with the generalized wreath product of permutation groups.
Boundary length of reconstructions in discrete tomography
Published
• View Publication
• BIB
We consider possible reconstructions of a binary image of which the row and column sums are given. For any reconstruction we can define the length of the boundary of the image. In this paper we prove a new lower bound on the length of this boundary. In contrast to simple bounds that have been derived previously, in this new lower bound the information of both row and column sums is combined.
A combinatorial solution to LIMO 2010 question 10
Problem 10 of the Landelijke Interuniversitaire Mathematische Olympiade 2010 asks for a proof that all matrices in a certain family are nilpotent. Both model solutions prove this using the Cayley-Hamilton theorem. I give a purely combinatorial proof.
Total Edge Irregularity Strength of Large Graphs
Published
• View Publication
• BIB
Let $m:=|E(G)|$ sufficiently large and $s:=(m-1)/3$. We show that unless the maximum degree $Δ> 2s$, there is a weighting $w:E\cup V\to \{0,1,...,s\}$ so that $w(uv)+w(u)+w(v)\ne w(u'v')+w(u')+w(v')$ whenever $uv\ne u'v'$ (such a weighting is called {\em total edge irregular}). This validates a conjecture by Ivanco and Jendrol' for large graphs, extending a result by Brandt, Miskuf and Rautenbach.
Cluster X-varieties for dual Poisson-Lie groups II
In the prequel of this paper, we have associated a family of cluster X-varieties to the dual Poisson-Lie group(G*,π_*) of (G,π_G) when (G,π_G) is a complex semi-simple Lie group of adjoint type, given with the standard Poisson structure π_G and π_* is the "dual" Poisson structure defined by the Semenov-Tian-Shansky Poisson bracket on G. We describe here the cluster combinatorics involved into the Artin group action on G* given by the De-Concini-Kac-Procesi Poisson automorphisms.