arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2010-09-14
Supplemental material to the article "Partitions of the triangles of the cross polytope into surfaces''
We present a constructive proof, that there exists a decomposition of the 2-skeleton of the k-dimensional cross polytope β^k into closed surfaces of genus \leq 1, each with a transitive automorphism group given by the vertex transitive Z_{2k}-action on β^k. Furthermore we show, that for each k \equiv 1,5(6) the 2-skeleton of the (k-1)-simplex is a union of highly symmetric tori and Möbius strips.
2010-09-14 v3
Partitioning the triangles of the cross polytope into surfaces
Published in Beitr. Algebra Geom. / Contributions to Algebra and Geometry, 53(2):473-486, 2012 • View Publication • BIB
We present a constructive proof that there exists a decomposition of the 2-skeleton of the k-dimensional cross polytope $β^k$ into closed surfaces of genus $g \leq 1$, each with a transitive automorphism group given by the vertex transitive $\mathbb{Z}_{2k}$-action on $β^k$. Furthermore we show that for each $k \equiv 1,5(6)$ the 2-skeleton of the (k-1)-simplex is a union of highly symmetric tori and Möbius strips.
2010-09-14 v4
Matchings, coverings, and Castelnuovo-Mumford regularity
Published in J. Commut. Algebra 6 (2014), no. 2, 287-304 • View Publication • BIB
We show that the co-chordal cover number of a graph G gives an upper bound for the Castelnuovo-Mumford regularity of the associated edge ideal. Several known combinatorial upper bounds of regularity for edge ideals are then easy consequences of covering results from graph theory, and we derive new upper bounds by looking at additional covering results.
2010-09-13 v3
Quasi-randomness of graph balanced cut properties
Published • View Publication • BIB
Quasi-random graphs can be informally described as graphs whose edge distribution closely resembles that of a truly random graph of the same edge density. Recently, Shapira and Yuster proved the following result on quasi-randomness of graphs. Let $k \ge 2$ be a fixed integer, $α_1,...,α_k$ be positive reals satisfying $\sum_{i} α_i = 1$ and $(α_1,..., α_k) \neq (1/k,...,1/k)$, and $G$ be a graph on $n$ vertices. If for every partition of the vertices of $G$ into sets $V_1,..., V_k$ of size $α_1 n,..., α_k n$, the number of complete graphs on $k$ vertices which have exactly one vertex in each of these sets is similar to what we would expect in a random graph, then the graph is quasi-random. However, the method of quasi-random hypergraphs they used did not provide enough information to resolve the case $(1/k,..., 1/k)$ for graphs. In their work, Shapira and Yuster asked whether this case also forces the graph to be quasi-random. Janson also posed the same question in his study of quasi-randomness under the framework of graph limits. In this paper, we positively answer their question.
2010-09-13 v5
Spherical Tiling by 12 Congruent Pentagons
Published in Journal of Combinatorial Theory, Series A, 2013 • View Publication • BIB
The tilings of the 2-dimensional sphere by congruent triangles have been extensively studied, and the edge-to-edge tilings have been completely classified. However, not much is known about the tilings by other congruent polygons. In this paper, we classify the simplest case, which is the edge-to-edge tilings of the 2-dimensional sphere by 12 congruent pentagons. We find one major class allowing two independent continuous parameters and four classes of isolated examples. The classification is done by first separately classifying the combinatorial, edge length, and angle aspects, and then combining the respective classifications together.
2010-09-13 v4
Vector-Valued Jack Polynomials from Scratch
Published in SIGMA 7 (2011), 026, 48 pages • View Publication • BIB
Vector-valued Jack polynomials associated to the symmetric group ${\mathfrak S}_N$ are polynomials with multiplicities in an irreducible module of ${\mathfrak S}_N$ and which are simultaneous eigenfunctions of the Cherednik-Dunkl operators with some additional properties concerning the leading monomial. These polynomials were introduced by Griffeth in the general setting of the complex reflections groups $G(r,p,N)$ and studied by one of the authors (C. Dunkl) in the specialization $r=p=1$ (i.e. for the symmetric group). By adapting a construction due to Lascoux, we describe an algorithm allowing us to compute explicitly the Jack polynomials following a Yang-Baxter graph. We recover some properties already studied by C. Dunkl and restate them in terms of graphs together with additional new results. In particular, we investigate normalization, symmetrization and antisymmetrization, polynomials with minimal degree, restriction etc. We give also a shifted version of the construction and we discuss vanishing properties of the associated polynomials.
2010-09-13 v2
Multidimensional Kruskal-Katona theorem
Published • View Publication • BIB
We present a generalization of a version of the Kruskal-Katona theorem due to Lovasz. A shadow of a d-tuple (S_1,...,S_d) in binom{X}{r}^d consists of d-tuples (S_1',...,S_d') in binom{X}{r-1}^d obtained by removing one element from each of S_i. We show that if a family F in binom{X}{r}^d has size |F|=binom{x}{r}^d for a real number x>=r, then the shadow of F has size at least binom{x}{r-1}^d.
2010-09-13 v3
Graphons, cut norm and distance, couplings and rearrangements
We give a survey of basic results on the cut norm and cut metric for graphons (and sometimes more general kernels), with emphasis on the equivalence problem. The main results are not new, but we add various technical complements, and a new proof of the uniqueness theorem by Borgs, Chayes and Lovász. We allow graphons on general probability spaces whenever possible. We also give some new results for {0,1}-valued graphons and for pure graphons.
2010-09-13
Radon partitions in convexity spaces
Tverberg's theorem asserts that every (k-1)(d+1)+1 points in R^d can be partitioned into k parts, so that the convex hulls of the parts have a common intersection. Calder and Eckhoff asked whether there is a purely combinatorial deduction of Tverberg's theorem from the special case k=2. We dash the hopes of a purely combinatorial deduction, but show that the case k=2 does imply that every set of O(k^2 log^2 k) points admits a Tverberg partition into k parts.
2010-09-13
Higher order infinitesimal freeness
Published • View Publication • BIB
We define higher order infinitesimal noncommutative probability space and infinitesimal non-crossing cumulant functionals. In this framework, we generalize to higher order the notion of infinitesimal freeness, via a vanishing of mixed cumulants condition. We also introduce and study some non-crossing partitions related to this notion. Finally, as an application, we show how to compute the successive derivatives of the free convolution of two time-indexed families of distributions from their individual derivatives.
2010-09-13 v2
Probabilistic Representation of Bernoulli, Euler and Carlitz Hermite Polynomials
We revisit in a probabilistic framework the umbral approach of Bernoulli, Euler and Carlitz Hermite polynomials by Gessel [1].
2010-09-13 v3
Computing the partition function for perfect matchings in a hypergraph
Published • View Publication • BIB
Given non-negative weights w_S on the k-subsets S of a km-element set V, we consider the sum of the products w_{S_1} ... w_{S_m} for all partitions V = S_1 cup ... cup S_m into pairwise disjoint k-subsets S_i. When the weights w_S are positive and within a constant factor, fixed in advance, of each other, we present a simple polynomial time algorithm to approximate the sum within a polynomial in m factor. In the process, we obtain higher-dimensional versions of the van der Waerden and Bregman-Minc bounds for permanents. We also discuss applications to counting of perfect and nearly perfect matchings in hypergraphs.
2010-09-13 v2
Three-Colorings of Cubic Graphs and Tensor Operators
Penrose's work \cite{8} established a connection between the edge 3-colorings of cubic planar graphs and tensor algebras. We exploit this point of view in order to get algebraic representations of the category of cubic graphs with free ends.
2010-09-13 v4
On three point configurations determined by subsets of the Euclidean plane, the associated bilinear operator and applications to discrete geometry
Published • View Publication • BIB
We prove that if the Hausdorff dimension of a compact set $E \subset {\Bbb R}^2$ is greater than 7/4, then the set of {\ag three-point configurations determined by $E$ has positive three-dimensional measure}. We establish this by showing that {\ag a} natural measure on the set of {\ag such configurations} has {\ag Radon-Nikodym derivative} in $L^{\infty}$ if $\dH(E)> 7/4$, and the index 7/4 in this last result cannot, in general, be improved. This problem naturally leads to the study of a bilinear convolution operator, $$ B(f,g)(x)=\int \int f(x-u) g(x-v)\, dK(u,v),$$ where $K$ is surface measure on the set $ \{(u, v) \in\R^2 \times \R^2: |u|=|v|=|u-v|=1\}$, and we prove a scale of estimates that includes $B:L^2_{-1/2}({\Bbb R}^2) \times L^2({\Bbb R}^2) \to L^1({\Bbb R}^2)$ on positive functions. As an application of our main result, it follows that {\ag for finite sets of cardinality $n$ and belonging to a natural class of discrete sets in the plane}, the maximum number of times a given three-point configuration arises is $O(n^{9/7+ε})$ (up to congruence), improving upon the known bound of $O(n^{4/3})$ in this context.
2010-09-13 v2
Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension
We present a combinatorial method to determine the dimension of $\C{H}$-strata in the algebra of $m\times n$ quantum matrices $\Oq$ as follows. To a given $\C{H}$-stratum we associate a certain permutation via the notion of pipe-dreams. We show that the dimension of the $\C{H}$-stratum is precisely the number of odd cycles in this permutation. Using this result, we are able to give closed formulas for the trivariate generating function that counts the $d$-dimensional $\C{H}$-strata in $\Oq$. Finally, we extract the coefficients of this generating function in order to settle conjectures proposed by the first and third named authors \cite{bldim,bll} regarding the asymptotic proportion of $d$-dimensional $\C{H}$-strata in $\Oq$.
2010-09-13 v4
On Delannoy numbers and Schröder numbers
Published in J. Number Theory 131(2011), no.12, 2387-2397 • View Publication • BIB
The n-th Delannoy number and the n-th Schröder number given by $D_n=\sum_{k=0}^n\binom{n}{k}\binom{n+k}{k}$ and $S_n=\sum_{k=0}^n\binom{n}{k}\binom{n+k}{k}/(k+1)$ respectively arise naturally from enumerative combinatorics. Let p be an odd prime. We mainly show that $$\sum_{k=1}^{p-1}D_k/k^2=2(-1/p)E_{p-3} (mod p)$$ and $$\sum_{k=1}^{p-1}S_k/m^k=(m^2-6m+1)/(2m)*(1-((m^2-6m+1)/p) (mod p),$$ where (-) is the Legendre symbol, E_0,E_1,E_2,... are Euler numbers and m is any integer not divisible by p. We also conjecture that $\sum_{k=1}^{p-1}D_k^2/k^2=-2q_p(2)^2 (mod p)$, where $q_p(2)=(2^{p-1}-1)/p$.
2010-09-12 v2
On Isosceles Triangles and Related Problems in a Convex Polygon
Given any convex $n$-gon, in this article, we: (i) prove that its vertices can form at most $n^2/2 + Θ(n\log n)$ isosceles trianges with two sides of unit length and show that this bound is optimal in the first order, (ii) conjecture that its vertices can form at most $3n^2/4 + o(n^2)$ isosceles triangles and prove this conjecture for a special group of convex $n$-gons, (iii) prove that its vertices can form at most $\lfloor n/k \rfloor$ regular $k$-gons for any integer $k\ge 4$ and that this bound is optimal, and (iv) provide a short proof that the sum of all the distances between its vertices is at least $(n-1)/2$ and at most $\lfloor n/2 \rfloor \lceil n/2 \rceil(1/2)$ as long as the convex $n$-gon has unit perimeter.
Labeled Ballot Paths and the Springer Numbers
Published • View Publication • BIB
The Springer numbers are defined in connection with the irreducible root systems of type $B_n$, which also arise as the generalized Euler and class numbers introduced by Shanks. Combinatorial interpretations of the Springer numbers have been found by Purtill in terms of Andre signed permutations, and by Arnol'd in terms of snakes of type $B_n$. We introduce the inversion code of a snake of type $B_n$ and establish a bijection between labeled ballot paths of length n and snakes of type $B_n$. Moreover, we obtain the bivariate generating function for the number B(n,k) of labeled ballot paths starting at (0,0) and ending at (n,k). Using our bijection, we find a statistic $α$ such that the number of snakes $π$ of type $B_n$ with $α(π)=k$ equals B(n,k). We also show that our bijection specializes to a bijection between labeled Dyck paths of length 2n and alternating permutations on [2n].
2010-09-11 v2
Topological recursion for the Poincare polynomial of the combinatorial moduli space of curves
Published in Advances in Mathematics 230, 1322--1339 (2012) • View Publication • BIB
We show that the Poincare polynomial associated with the orbifold cell decomposition of the moduli space of smooth algebraic curves with distinct marked points satisfies a topological recursion formula of the Eynard-Orantin type. The recursion uniquely determines the Poincare polynomials from the initial data. Our key discovery is that the Poincare polynomial is the Laplace transform of the number of Grothendieck's dessins d'enfants.
Consistent digital line segments
Published • View Publication • BIB
We introduce a novel and general approach for digitalization of line segments in the plane that satisfies a set of axioms naturally arising from Euclidean axioms. In particular, we show how to derive such a system of digital segments from any total order on the integers. As a consequence, using a well-chosen total order, we manage to define a system of digital segments such that all digital segments are, in Hausdorff metric, optimally close to their corresponding Euclidean segments, thus giving an explicit construction that resolves the main question of Chun et al.