Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Computational search of small point sets with small rectilinear crossing number
Published
• View Publication
• BIB
Let $\crs(K_n)$ be the minimum number of crossings over all rectilinear drawings of the complete graph on $n$ vertices on the plane. In this paper we prove that $\crs(K_n) < 0.380473\binom{n}{4}+Θ(n^3)$; improving thus on the previous best known upper bound. This is done by obtaining new rectilinear drawings of $K_n$ for small values of $n$, and then using known constructions to obtain arbitrarily large good drawings from smaller ones. The "small" sets where found using a simple heuristic detailed in this paper.
A generalization of a result of Dong and Santos-Sturmfels on the Alexander dual of spheres and balls
Published
• View Publication
• BIB
We prove a generalization of a result by Dong and Santos-Sturmfels about the homotopy type of the Alexander dual of balls and spheres. Our results involve NH-manifolds, which were recently introduced as the non-homogeneous (or non-pure) counterpart of classical polyhedral manifolds. We show that the Alexander dual of an NH-ball is contractible and the Alexander dual of an NH-sphere is homotopy equivalent to a sphere. We also prove that NH-balls and NH-spheres arise naturally as the double duals of standard balls and spheres.
Variations on a Generating-Function Theme: Enumerating Compositions with Parts Avoiding an Arithmetic Sequence
Published in American Mathematical Monthly 122 (2015), 256-263
• View Publication
• BIB
A \Def{composition} of a positive integer $n$ is a $k$-tuple $(ł_1, ł_2, \dots, ł_k) \in \Z_{> 0}^k$ such that $n = ł_1 + ł_2 + \dots + ł_k$. Our goal is to enumerate those compositions whose parts $ł_1, ł_2, \dots, ł_k$ avoid a fixed arithmetic sequence. When this sequence is given by the even integers (i.e., all parts of the compositions must be odd), it is well known that the number of compositions is given by the Fibonacci sequence. A much more recent theorem says that when the parts are required to avoid all multiples of a given integer $k$, the resulting compositions are counted by a sequence given by a Fibonacci-type recursion of depth $k$. We extend this result to arbitrary arithmetic sequences. Our main tool is a lemma on generating functions which is no secret among experts but deserves to be more widely known.
Factoring the characteristic polynomial of a lattice
Published
• View Publication
• BIB
We introduce a new method for showing that the roots of the characteristic polynomial of certain finite lattices are all nonnegative integers. This method is based on the notion of a quotient of a poset which will be developed to explain this factorization. Our main theorem will give two simple conditions under which the characteristic polynomial factors with nonnegative integer roots. We will see that Stanley's Supersolvability Theorem is a corollary of this result. Additionally, we will prove a theorem which gives three conditions equivalent to factorization. To our knowledge, all other theorems in this area only give conditions which imply factorization. This theorem will be used to connect the generating function for increasing spanning forests of a graph to its chromatic polynomial. We finish by mentioning some other applications of quotients of posets as well as some open questions.
Primary components of codimension two lattice basis ideals
Published
• View Publication
• BIB
We provide explicit combinatorial descriptions of the primary components of codimension two lattice basis ideals. As an application, we compute the set of parameters for which a bivariate Horn system of hypergeometric differential equations is holonomic.
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.
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.
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.
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.
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.
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.
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.
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).
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.
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$.
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.
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.
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.