Showing 20 papers (Total: 82139 papers, 47531 authors in database)
An Algorithm for Detecting Intrinsically Knotted Graphs
Published
• View Publication
• BIB
We describe an algorithm that recognizes some (perhaps all) intrinsically knotted (IK) graphs, and can help find knotless embeddings for graphs that are not IK. The algorithm, implemented as a Mathematica program, has already been used by Goldberg, Mattman, and Naimi [6] to greatly expand the list of known minor minimal IK graphs, and to find knotless embeddings for some graphs that had previously resisted attempts to classify them as IK or non-IK.
Free arrangements and coefficients of characteristic polynomials
Published
• View Publication
• BIB
Ziegler showed that free arrangements have free restricted multiarrangements (multirestrictions). After Ziegler's work, several results concerning "reverse direction", namely characterizing freeness of an arrangement via that of multirestriction, have appeared. In this paper, we prove that the second Betti number of the arrangement plays a crucial role.
Multi-orientable Group Field Theory
Published in J. Phys. A: Math. Theor. 45 (2012) 165401
• View Publication
• BIB
Group Field Theories (GFT) are quantum field theories over group manifolds; they can be seen as a generalization of matrix models. GFT Feynman graphs are tensor graphs generalizing ribbon graphs (or combinatorial maps); these graphs are dual not only to manifolds. In order to simplify the topological structure of these various singularities, colored GFT was recently introduced and intensively studied since. We propose here a different simplification of GFT, which we call multi-orientable GFT.
We study the relation between multi-orientable GFT Feynman graphs and colorable graphs. We prove that tadfaces and some generalized tadpoles are absent. Some Feynman amplitude computations are performed. A few remarks on the renormalizability of both multi-orientable and colorable GFT are made. A generalization from three-dimensional to four-dimensional theories is also proposed.
A brief, simple proof of Vizing's conjecture
For any graph $G=(V,E)$, a subset $S\subseteq V$ \emph{dominates} $G$ if all vertices are contained in the closed neighborhood of $S$, that is $N[S]=V$. The minimum cardinality over all such $S$ is called the domination number, written $γ(G)$. In 1963, V.G. Vizing conjectured that $γ(G \square H) \geq γ(G)γ(H)$ where $\square$ stands for the Cartesian product of graphs. In this note, we prove the conjecture.
Equivariant Equipartitions: Ham Sandwich Theorems for Finite Subgroups of Spheres
Published in J. Combin. Theory Ser. A, Vol. 120 (2013) 1906-1912
• View Publication
• BIB
Equivariant "Ham Sandwich" Theorems are obtained for the finite subgroups G of the unit spheres S(F) in the classical algebras F = R, C, and H. Given any n F-valued mass distributions on F^n, it is shown that there exists a G-equivariant decomposition of F^n into |G| regular convex fundamental regions which "G-equipartition" each of the n measures, as realized by the vanishing of the "G-averages" of these regions' measures. Applications for real measures follow, among them that any n signed mass distributions on R^{(p-1)n} can be equipartitioned by a single regular p-fan when p a prime number.
Half-lattice paths and Virasoro characters
Published in Fundamenta Informaticae 117 (2012), 57-83
• View Publication
• BIB
We first briefly review the role of lattice paths in the derivation of fermionic expressions for the M(p,p') minimal model characters of the Virasoro Lie algebra. We then focus on the recently introduced half-lattice paths for the M(p,2p+/-1) characters, reformulating them in such a way that the two cases may be treated uniformly. That the generating functions of these half-lattice paths are indeed M(p,2p+/-1) characters is proved by describing weight preserving bijections between them and the corresponding RSOS lattice paths. Here, the M(p,2p-1) case is derived for the first time. We then apply the methods of Bressoud and Warnaar to these half-lattice paths to derive fermionic expressions for the Virasoro characters X^{p,2p+/-1}_{1,2} that differ from those obtained from the RSOS paths.
This work is an extension of that presented by the third author at the "7th International Conference on Lattice Path Combinatorics and Applications", Siena, Italy, July 2010.
On the Dimension of Finite Point Sets I. An Improved Incidence Bound for Proper 3D sets
We improve the well-known Szemerédi-Trotter incidence bound for proper 3--dimensional point sets (defined appropriately)
On the Dimension of Finite Point Sets II. "Das Budapester Programm"
We are going to use the nickname "Das Budapester Programm" for a large class of finite combinatorial problems to be posed below. Following Klein's original idea, they concern various dimensional Euclidean spaces and several groups of transformations.
Veroneseans, power subspaces and independence
Published
• View Publication
• BIB
Results are proved indicating that the Veronese map v_d often increases independence of both sets of points and sets of subspaces. For example, any d+1 Veronesean points of degree d are independent. Similarly, the dth power map on the space of linear forms of a polynomial algebra also often increases independence of both sets of points and sets of subspaces. These ideas produce d+1-independent families of subspaces in a natural manner.
GL(p) x GL(q)-orbit closures on the flag variety and Schubert structure constants for (p,q)-pairs
We give positive combinatorial descriptions of Schubert structure constants $c_{u,v}^w$ for the full flag variety in type $A_{n-1}$ when $u$ and $v$ form what we refer to as a "$(p,q)$-pair" ($p+q=n$). The key observation is that a certain subset of the $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on the flag variety (those satisfying an easily stated pattern avoidance condition) are Richardson varieties. The result on structure constants follows when one combines this observation with a theorem of Brion concerning intersection numbers of spherical subgroup orbit closures and Schubert varieties.
Infinite-dimensional uniform polyhedra
Uniform covers with a finite-dimensional nerve are rare (i.e., do not form a cofinal family) in many separable metric spaces of interest. To get hold on uniform homotopy properties of these spaces, a reasonably behaved notion of an infinite-dimensional metric polyhedron is needed; a specific list of desired properties was sketched by J. R. Isbell in a series of publications in 1959-64. In this paper we construct what appears to be the desired theory of uniform polyhedra; incidentally, considerable information about their metric and Lipschitz properties is obtained.
The critical fugacity for surface adsorption of self-avoiding walks on the honeycomb lattice is $1+\sqrt{2}$
Published in Comm. Math. Phys. 326 (2014), 727--754
• View Publication
• BIB
In 2010, Duminil-Copin and Smirnov proved a long-standing conjecture of Nienhuis, made in 1982, that the growth constant of self-avoiding walks on the hexagonal (a.k.a. honeycomb) lattice is $μ=\sqrt{2+\sqrt{2}}.$ A key identity used in that proof was later generalised by Smirnov so as to apply to a general O(n) loop model with $n\in [-2,2]$ (the case $n=0$ corresponding to SAWs).
We modify this model by restricting to a half-plane and introducing a surface fugacity $y$ associated with boundary sites (also called surface sites), and obtain a generalisation of Smirnov's identity. The critical value of the surface fugacity was conjectured by Batchelor and Yung in 1995 to be $y_{\rm c}=1+2/\sqrt{2-n}.$ This value plays a crucial role in our generalized identity, just as the value of growth constant did in Smirnov's identity.
For the case $n=0$, corresponding to \saws\ interacting with a surface, we prove the conjectured value of the critical surface fugacity. A crucial part of the proof involves demonstrating that the generating function of self-avoiding bridges of height $T$, taken at its critical point $1/μ$, tends to 0 as $T$ increases, as predicted from SLE theory.
Half-turn symmetric FPLs with rare couplings and tilings of hexagons
Published in Theoretical Computer Science 502 (2013) 143-152
• View Publication
• BIB
In this work, we put to light a formula that relies the number of fully packed loop configurations (FPLs) associated to a given coupling pi to the number of half-turn symmetric FPLs (HTFPLs) of even size whose coupling is a punctured version of the coupling pi. When the coupling pi is the coupling with all arches parallel pi0 (the "rarest" one), this formula states the equality of the number of corresponding HTFPLs to the number of cyclically-symmetric plane partition of the same size. We provide a bijective proof of this fact. In the case of HTFPLs odd size, and although there is no similar expression, we study the number of HTFPLs whose coupling is a slit version of pi_0, and put to light new puzzling enumerative coincidence involving countings of tilings of hexagons and various symmetry classes of FPLs.
Dyck tableaux
Published in Theoretical Computer Science 502 (2013) 195-209
• View Publication
• BIB
In this work, we introduce new combinatorial objects called Dyck tableaux, which present a natural insertion algorithm. These tools may be useful to describe statistics which are relevant in the study of the physical model named PASEP.
Tree-like tableaux
Published in The Electronic Journal of Combinatorics 20 (2013) P34
• View Publication
• BIB
In this work we introduce and study tree-like tableaux, which are certain fillings of Ferrers diagrams in simple bijection with permutation tableaux and alternative tableaux. We exhibit an elementary insertion procedure on our tableaux which gives a clear proof that tree-like tableaux of size n are counted by n!, and which moreover respects most of the well-known statistics studied originally on alternative and permutation tableaux. Our insertion procedure allows to define in particular two simple new bijections between tree-like tableaux and permutations: the first one is conceived specifically to respect the generalized pattern 2-31, while the second one respects the underlying tree of a tree-like tableau.
An Analogue of Hilton-Milner Theorem for Set Partitions
Published
• View Publication
• BIB
Let $\mathcal{B}(n)$ denote the collection of all set partitions of $[n]$. Suppose $\mathcal{A} \subseteq \mathcal{B}(n)$ is a non-trivial $t$-intersecting family of set partitions i.e. any two members of $\A$ have at least $t$ blocks in common, but there is no fixed $t$ blocks of size one which belong to all of them. It is proved that for sufficiently large $n$ depending on $t$, \[ |\mathcal{A}| \le B_{n-t}-\tilde{B}_{n-t}-\tilde{B}_{n-t-1}+t \] where $B_{n}$ is the $n$-th Bell number and $\tilde{B}_{n}$ is the number of set partitions of $[n]$ without blocks of size one. Moreover, equality holds if and only if $\mathcal{A}$ is equivalent to \[ \{P \in \mathcal{B}(n): \{1\}, \{2\},..., \{t\}, \{i\} \in P \textnormal{for some} i \not = 1,2,..., t,n \}\cup \{Q(i,n)\ :\ 1\leq i\leq t\} \] where $Q(i,n)=\{\{i,n\}\}\cup\{\{j\}\ :\ j\in [n]\setminus \{i,n\}\}$. This is an analogue of the Hilton-Milner theorem for set partitions.
Graham's Tree Reconstruction Conjecture and a Waring-Type Problem on Partitions
Published
• View Publication
• BIB
Suppose $G$ is a tree. Graham's "Tree Reconstruction Conjecture" states that $G$ is uniquely determined by the integer sequence $|G|$, $|L(G)|$, $|L(L(G))|$, $|L(L(L(G)))|$, $\ldots$, where $L(H)$ denotes the line graph of the graph $H$. Little is known about this question apart from a few simple observations. We show that the number of trees on $n$ vertices which can be distinguished by their associated integer sequences is $e^{Ω((\log n)^{3/2})}$. The proof strategy involves constructing a large collection of caterpillar graphs using partitions arising from the Prouhet-Tarry-Escott problem.
A proof of Catalan's Convolution formula
Published
• View Publication
• BIB
We give a new proof of the $k$-fold convolution of the Catalan numbers. This is done by enumerating a certain class of polygonal dissections called $k$-in-$n$ dissections. Furthermore, we give a formula for the average number of cycles in a triangulation.
Plünnecke and Kneser type theorems for dimension estimates
Published
• View Publication
• BIB
Given a division ring K containing the field k in its center and A,B two finite subsets of K\{0}, we give some analogues of Plünnecke and Kneser theorems for the dimension of the k-linear span of the Minkowski product AB in terms of the dimensions of the k-linear spans of A and B. These Plünnecke type estimates are then generalized to the case of associative algebras. We also obtain an analogue in the context of division rings of a theorem by Tao classifying the sets of small doubling in a group.
Permutation Polytopes of Cyclic Groups
Published
• View Publication
• BIB
We investigate the combinatorics and geometry of permutation polytopes associated to cyclic permutation groups, i.e., the convex hulls of cyclic groups of permutation matrices. We give formulas for their dimension and vertex degree. In the situation that the generator of the group consists of at most two orbits, we can give a complete combinatorial description of the associated permutation polytope. In the case of three orbits the facet structure is already quite complex. For a large class of examples we show that there exist exponentially many facets.