arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Asymptotics of the Extremal Excedance Set Statistic
Published in European Journal of Combinatorics, 46 (2015), 75-88 • View Publication • BIB
Answering a question of Clark and Ehrenborg (2010), we determine asymptotics for the number of permutations of size n that admit the most common excedance set. In fact, we provide a more general bivariate asymptotic using the multivariate asymptotic methods of R. Pemantle and M. C. Wilson. We also consider two applications of our main result. First, we determine asymptotics on the number of permutations of size n which simultaneously avoid the generalized patterns 21-34 and 34-21. Second, we determine asymptotics on the number of n-cycles that admit no stretching pairs.
Hierarchical Recovery in Compressive Sensing
Published • View Publication • BIB
A combinatorial approach to compressive sensing based on a deterministic column replacement technique is proposed. Informally, it takes as input a pattern matrix and ingredient measurement matrices, and results in a larger measurement matrix by replacing elements of the pattern matrix with columns from the ingredient matrices. This hierarchical technique yields great flexibility in sparse signal recovery. Specifically, recovery for the resulting measurement matrix does not depend on any fixed algorithm but rather on the recovery scheme of each ingredient matrix. In this paper, we investigate certain trade-offs for signal recovery, considering the computational investment required. Coping with noise in signal recovery requires additional conditions, both on the pattern matrix and on the ingredient measurement matrices.
2014-03-04 v2
Bruhat Order on Partial Fixed Point Free Involutions
Published • View Publication • BIB
The order complex of inclusion poset $PF_n$ of Borel orbit closures in skew-symmetric matrices is investigated. It is shown that $PF_n$ is an EL-shellable poset, and furthermore, its order complex triangulates a ball. The rank-generating function of $PF_n$ is computed and the resulting polynomial is contrasted with the Hasse-Weil zeta function of the variety of skew-symmetric matrices over finite fields.
2014-03-04 v2
Ore-degree threshold for the square of a Hamiltonian cycle
Published • View Publication • BIB
A classic theorem of Dirac from 1952 states that every graph with minimum degree at least n/2 contains a Hamiltonian cycle. In 1963, Pósa conjectured that every graph with minimum degree at least 2n/3 contains the square of a Hamiltonian cycle. In 1960, Ore relaxed the degree condition in the Dirac's theorem by proving that every graph with $deg(u) + deg(v) \geq n$ for every $uv \notin E(G)$ contains a Hamiltonian cycle. Recently, Châu proved an Ore-type version of Pósa's conjecture for graphs on $n\geq n_0$ vertices using the regularity--blow-up method; consequently the $n_0$ is very large (involving a tower function). Here we present another proof that avoids the use of the regularity lemma. Aside from the fact that our proof holds for much smaller $n_0$, we believe that our method of proof will be of independent interest.
2014-03-04
Arc-transitive cubic abelian bi-Cayley graphs and BCI-graphs
Published • View Publication • BIB
A finite simple graph is called a bi-Cayley graph over a group $H$ if it has a semiregular automorphism group, isomorphic to $H,$ which has two orbits on the vertex set. Cubic vertex-transitive bi-Cayley graphs over abelian groups have been classified recently by Feng and Zhou (Europ. J. Combin. 36 (2014), 679--693). In this paper we consider the latter class of graphs and select those in the class which are also arc-transitive. Furthermore, such a graph is called $0$-type when it is bipartite, and the bipartition classes are equal to the two orbits of the respective semiregular automorphism group. A $0$-type graph can be represented as the graph $\mathrm{BCay}(H,S),$ where $S$ is a subset of $H,$ the vertex set of which consists of two copies of $H,$ say $H_0$ and $H_1,$ and the edge set is $\{\{h_0,g_1\} : h,g \in H, g h^{-1} \in S\}$. A bi-Cayley graph $\mathrm{BCay}(H,S)$ is called a BCI-graph if for any bi-Cayley graph $\mathrm{BCay}(H,T),$ $\mathrm{BCay}(H,S) \cong \mathrm{BCay}(H,T)$ implies that $T = h S^α$ for some $h \in H$ and $α\in \mathrm{Aut}(H)$. It is also shown that every cubic connected arc-transitive $0$-type bi-Cayley graph over an abelian group is a BCI-graph.
2014-03-04 v8
A Gysin formula for Hall-Littlewood polynomials
Published in Proc. Amer. Math. Soc. 143 (2015) no.11, 4705-4711 • View Publication • BIB
We give a formula for pushing forward the classes of Hall-Littlewood polynomials in Grassmann bundles, generalizing Gysin formulas for Schur S- and Q-functions.
2014-03-04
Gauss maps of toric varieties
Published • View Publication • BIB
We investigate Gauss maps of (not necessarily normal) projective toric varieties over an algebraically closed field of arbitrary characteristic. The main results are as follows: (1) The structure of the Gauss map of a toric variety is described in terms of combinatorics in any characteristic. (2) We give a developability criterion in the toric case. In particular, we show that any toric variety whose Gauss map is degenerate must be the join of some toric varieties in characteristic zero. (3) As applications, we provide two constructions of toric varieties whose Gauss maps have some given data (e.g., fibers, images) in positive characteristic.
2014-03-04
Homology of non-$k$-overlapping discs
Published • View Publication • BIB
In this paper we describe the homology and cohomology of some natural bimodules over the little discs operad, whose components are configurations of non-$k$-overlapping discs. At the end we briefly explain how this algebraic structure intervenes in the study of spaces of non-$k$-equal immersions.
Matroids, Delta-matroids and Embedded Graphs
Published • View Publication • BIB
Matroid theory is often thought of as a generalization of graph theory. In this paper we propose an analogous correspondence between embedded graphs and delta-matroids. We show that delta-matroids arise as the natural extension of graphic matroids to the setting of embedded graphs. We show that various basic ribbon graph operations and concepts have delta-matroid analogues, and illustrate how the connections between embedded graphs and delta-matroids can be exploited. Also, in direct analogy with the fact that The Tutte polynomial is matroidal, we show that several polynomials of embedded graphs from the literature, including the Las Vergnas, Bollabas-Riordan and Krushkal polynomials, are in fact delta-matroidal.
2014-03-04
A triangular gap of size two in a sea of dimers in a $90^\circ$ angle with mixed boundary conditions, and a heat flow conjecture for the general case
We consider a triangular gap of side two in a $90^\circ$ angle on the triangular lattice with mixed boundary conditions: a constrained, zig-zag boundary along one side, and a free lattice line boundary along the other. We study the interaction of the gap with the corner as the rest of the angle is completely filled with lozenges. We show that the resulting correlation is governed by the product of the distances between the gap and its three images in the sides of the angle. The image in the side with constrained boundary has the same orientation as the original gap, while the image in the side with free boundary has the opposite orientation. This, together with the parallel between the correlation of gaps in dimer packings and electrostatics we developed in previous work, provides evidence for a unified way of understanding the interaction of gaps with the boundary under mixed boundary conditions, which we phrase as a conjecture. While the electrostatic interpretation is equivalent to a steady state heat flow interpretation in the bulk, it turns out that the latter view is more natural in the context of the interaction of the gaps with the boundary. The starting point for our analysis is an exact formula we prove for the number of lozenge tilings of certain trapezoidal regions with mixed boundary conditions, which is equivalent to a new, multi-parameter generalization of a classical plane partition enumeration problem (that of enumerating symmetric, self-complementary plane partitions).
2014-03-04 v3
Sums of dilates in ordered groups
Published in Communications in Algebra, Vol. 44, No. 12 (2016), pp. 5223-5236 • View Publication • BIB
We address the "sums of dilates problem" by looking for non-trivial lower bounds on sumsets of the form $k \cdot X + l \cdot X$, where $k$ and $l$ are non-zero integers and $X$ is a subset of a possibly non-abelian group $G$ (written additively). In particular, we investigate the extension of some results so far known only for the integers to the context of torsion-free or linearly orderable groups, either abelian or not.
2014-03-04 v2
Higher order Fourier analysis of multiplicative functions and applications
Published • View Publication • BIB
We prove a structure theorem for multiplicative functions which states that an arbitrary bounded multiplicative function can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm of an arbitrary degree. The proof uses tools from higher order Fourier analysis and some soft number theoretic input that comes in the form of an orthogonality criterion of Kátai. We use variants of this structure theorem to derive applications of number theoretic and combinatorial flavor: $(i)$ we give simple necessary and sufficient conditions for the Gowers norms (over $\mathbb{N}$) of a bounded multiplicative function to be zero, $(ii)$ generalizing a classical result of Daboussi and Delange we prove asymptotic orthogonality of multiplicative functions to "irrational" nilsequences, $(iii)$ we prove that for certain polynomials in two variables all "aperiodic" multiplicative functions satisfy Chowla's zero mean conjecture, $(iv)$ we give the first partition regularity results for homogeneous quadratic equations in three variables showing for example that on every partition of the integers into finitely many cells there exist distinct $x,y$ belonging to the same cell and $λ\in \mathbb{N}$ such that $16x^2+9y^2=λ^2$ and the same holds for the equation $x^2-xy+y^2=λ^2$.
2014-03-04
Hamiltonian increasing paths in random edge orderings
Published • View Publication • BIB
If the edges of the complete graph $K_n$ are totally ordered, a simple path whose edges are in ascending order is called increasing. The worst-case length of the longest increasing path has remained an open problem for several decades, with asymptotic bounds between $\sqrt{n}$ (Graham and Kleitman, 1973) and $n/2$ (Calderbank, Chung, and Sturtevant, 1984). We consider the average case, when the ordering is chosen uniformly at random. We discover the surprising result that in the random setting, an increasing path of the maximum possible length of $n-1$ exists with probability at least about $1/e$. We also prove that with probability $1-o(1)$, there is an increasing path of length at least $0.85n$, suggesting that this Hamiltonian (or near-Hamiltonian) phenomenon may hold asymptotically almost surely.
2014-03-04 v3
Closed-form expansions for the universal edge elimination polynomial
Published in Australasian Journal of Combinatorics, 63 (2015), 196-201 • Search Publication
We establish closed-form expansions for the universal edge elimination polynomial of paths and cycles and their generating functions. This includes closed-form expansions for the bivariate matching polynomial, the bivariate chromatic polynomial, and the covered components polynomial.
2014-03-03
Affine permutations and rational slope parking functions
Published in Trans. Amer. Math. Soc. 368 (2016), 8403-8445 • View Publication • BIB
We introduce a new approach to the enumeration of rational slope parking functions with respect to the area and a generalized dinv statistics, and relate the combinatorics of parking functions to that of affine permutations. We relate our construction to two previously known combinatorial constructions: Haglund's bijection exchanging the pairs of statistics (area,dinv) and (bounce,area) on Dyck paths, and Pak-Stanley labeling of the regions of k-Shi hyperplane arrangements by k-parking functions. Essentially, our approach can be viewed as a generalization and a unification of these two constructions. We also relate our combinatorial constructions to representation theory. We derive new formulas for the Poincare polynomials of certain affine Springer fibers and describe a connection to the theory of finite dimensional representations of DAHA and nonsymmetric Macdonald polynomials.
A Generalisation of Isomorphisms with Applications
In this paper, we study the behaviour of TF-isomorphisms, a natural generalisation of isomorphisms. TF-isomorphisms allow us to simplify the approach to seemingly unrelated problems. In particular, we mention the Neighbourhood Reconstruction problem, the Matrix Symmetrization problem and Stability of Graphs. We start with a study of invariance under TF-isomorphisms. In particular, we show that alternating trails and incidence double covers are conserved by TF-isomorphisms, irrespective of whether they are TF-isomorphisms between graphs or digraphs. We then define an equivalence relation and subsequently relate its equivalence classes to the incidence double cover of a graph. By directing the edges of an incidence double cover from one colour class to the other and discarding isolated vertices we obtain an invariant under TF-isomorphisms which gathers a number of invariants. This can be used to study TF-orbitals, an analogous generalisation of the orbitals of a permutation group.
2014-03-03
Reconfiguring Independent Sets in Claw-Free Graphs
Published • View Publication • BIB
We present a polynomial-time algorithm that, given two independent sets in a claw-free graph $G$, decides whether one can be transformed into the other by a sequence of elementary steps. Each elementary step is to remove a vertex $v$ from the current independent set $S$ and to add a new vertex $w$ (not in $S$) such that the result is again an independent set. We also consider the more restricted model where $v$ and $w$ have to be adjacent.
2014-03-03
Combinatorial results on (1,2,1,2)-avoiding $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on $GL(p+q, \mathbb{C})/B$
Published in International Math. Research Notices 2015, 13148--13193 • View Publication • BIB
Using recent results of the second author which explicitly identify the "$(1,2,1,2)$-avoiding" $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on the flag manifold $GL(p+q,\mathbb{C})/B$ as certain Richardson varieties, we give combinatorial criteria for determining smoothness, lci-ness, and Gorensteinness of such orbit closures. (In the case of smoothness, this gives a new proof of a theorem of W.M. McGovern.) Going a step further, we also describe a straightforward way to compute the singular locus, the non-lci locus, and the non-Gorenstein locus of any such orbit closure. We then describe a manifestly positive combinatorial formula for the Kazhdan-Lusztig-Vogan polynomial $P_{τ,γ}(q)$ in the case where $γ$ corresponds to the trivial local system on a $(1,2,1,2)$-avoiding orbit closure $Q$ and $τ$ corresponds to the trivial local system on any orbit $Q'$ contained in $\overline{Q}$. This combines the aforementioned result of the second author, results of A. Knutson, the first author, and A. Yong, and a formula of Lascoux and Schützenberger which computes the ordinary (type $A$) Kazhdan-Lusztig polynomial $P_{x,w}(q)$ whenever $w \in S_n$ is cograssmannian.
2014-03-03
Volumes of convex lattice polytopes and a question of V. I. Arnold
We show by a direct construction that there are at least $\exp\{cV^{(d-1)/(d+1)}\}$ convex lattice polytopes in $\mathbb{R}^d$ of volume $V$ that are different in the sense that none of them can be carried to an other one by a lattice preserving affine transformation. This is achieved by considering the family $\mathcal{P}^d(r)$ (to be defined in the text) of convex lattice polytopes whose volumes are between $0$ and $r^d/d!$. Namely we prove that for $P \in \mathcal{P}^d(r)$, $d!\mathrm{vol\;} P$ takes all possible integer values between $cr^{d-1}$ and $r^d$ where $c>0$ is a constant depending only on $d$.
2014-03-03
Hall-Littlewood polynomials and Cohen-Lenstra heuristics for Jacobians of random graphs
Published • View Publication • BIB
Cohen-Lenstra heuristics for Jacobians of random graphs give rise to random partitions. We connect these random partitions to the Hall-Littlewood polynomials of symmetric function theory, and use this connection to give combinatorial proofs of properties of these random partitions. In addition, we use Markov chains to give an algorithm for generating these partitions.