Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Keeler's theorem and products of distinct transpositions
Published in Amer. Math. Monthly 121 (2014), 136--144
• View Publication
• BIB
An episode of Futurama features a two-body mind-switching machine which will not work more than once on the same pair of bodies. After the Futurama community engages in a mind-switching spree, the question is asked, "Can the switching be undone so as to restore all minds to their original bodies?" Ken Keeler found an algorithm that undoes any mind-scrambling permutation with the aid of two "outsiders." We refine Keeler's result by providing a more efficient algorithm that uses the smallest possible number of switches. We also present best possible algorithms for undoing two natural sequences of switches, each sequence effecting a cyclic mind-scrambling permutation in the symmetric group S_n. Finally, we give necessary and sufficient conditions on m and n for the identity permutation to be expressible as a product of m distinct transpositions in S_n.
Cohen-Macaulay graphs with large girth
Published
• View Publication
• BIB
We classify Cohen-Macaulay graphs of girth at least $5$ and planar Gorenstein graphs of girth at least $4$. Moreover, such graphs are also vertex decomposable.
Toric rings arising from cyclic polytopes
Published
• View Publication
• BIB
In the present paper, we consider the problem when the toric ring arising from an integral cyclic polytope is Cohen-Macaulay by discussing Serre's condition and we give a complete characterization when that is Gorenstein. Moreover, we study the normality of the other semigroup ring arising from an integral cyclic polytope but generated only with its vertices.
A variant of Touchard's Catalan number identity
It is well known that the Catalan number C_n counts dissections of a regular (n+2)-gon into triangles. Here we count such dissections by number of triangles that contain two sides of the polygon among their three edges, leading to a combinatorial interpretation of the identity C_n =sum_{1<=k<=n/2} 2^{n-2k} n-choose-2k C_k (k(n+2))/(n(n-1)), and illustrating its connection with Touchard's identity.
On the number of tilings of a square by rectangles
Published
• View Publication
• BIB
We develop a recursive formula for counting the number of rectangulations of a square, i.e the number of combinatorially distinct tilings of a square by rectangles. Our formula specializes to give a formula counting generic rectangulations, as analyzed by Reading in [5]. Our computations agree with [5] as far as was calculated and extend to the non-generic case. An interesting feature of the number of rectangulations is that it appears to have an 8-fold periodicity modulo 2. We verify this periodicity for small values of n, but the general result remains elusive, perhaps hinting at some unseen structure on the space of rectangulations, analogous to Reading's discovery that generic rectangulations are in 1-1 correspondence with a certain class of permutations. Finally, we use discrete Morse theory to show that the space of tilings by less than or equal to n rectangles is homotopy-equivalent to a wedge of some number of (n-1)-dimensional spheres. Combined with formulae for the number of tilings, the exact homotopy type is computed for $n\leq 28$.
Abelian returns in Sturmian words
Published
• View Publication
• BIB
Return words constitute a powerful tool for studying symbolic dynamical systems. They may be regarded as a discrete analogue of the first return map in dynamical systems. In this paper we investigate two abelian variants of the notion of return word, each of them gives rise to a new characterization of Sturmian words. We prove that a recurrent infinite word is Sturmian if and only if each of its factors has two or three abelian (or semi-abelian) returns. We study the structure of abelian returns in Sturmian words and give a characterization of those factors having exactly two abelian returns. Finally we discuss connections between abelian returns and periodicity in words.
Pure O-sequences: known results, applications, and open problems
Published in "Commutative Algebra. Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday'' (I. Peeva, Ed.), Springer, 715 pp. (2013)
• View Publication
• BIB
This note presents a discussion of the algebraic and combinatorial aspects of the theory of pure O-sequences. Various instances where pure O-sequences appear are described. Several open problems that deserve further investigation are also presented.
Primes Appearing in Prime Tower Factorization
We introduce and consider a certain probability question involving elementary number theory and the likelihood that a fixed prime will appear in a certain recursively defined factorization of an integer. We derive several convergent infinite products for this probability, which we are unable to simplify to obtain closed form solutions. However, we are able to implement these formulas in the development of algorithms to obtain arbitrarily close rigorous bounds on the probabilities in question.
On the Length of a Partial Independent Transversal in a Matroidal Latin Square
Published in Electronic J. Combinatorics, volume 19, Issue 2 (2012)
• View Publication
• BIB
We suggest and explore a matroidal version of the Brualdi - Ryser conjecture about Latin squares. We prove that any $n\times n$ matrix, whose rows and columns are bases of a matroid, has an independent partial transversal of length $\lceil2n/3\rceil$. We show that for any $n$, there exists such a matrix with a maximal independent partial transversal of length at most $n-1$.
On extensions of the Alon-Tarsi Latin Square conjecture
Published in Electronic J. Combinatorics, volume 19(4) (2012)
• View Publication
• BIB
Expressions involving the product of the permanent with the (n-1)th power of the determinant of a matrix of indeterminates, and of (0,1)-matrices, are shown to be related to two conjectures that extend the Alon-Tarsi Latin square conjecture to odd dimensions. An identity involving an alternating sum of permanents of (0,1)-matrices is obtained.
The method of double chains for largest families with excluded subposets
Published
• View Publication
• BIB
For a given finite poset $P$, $La(n,P)$ denotes the largest size of a family $\mathcal{F}$ of subsets of $[n]$ not containing $P$ as a weak subposet. We exactly determine $La(n,P)$ for infinitely many $P$ posets. These posets are built from seven base posets using two operations. For arbitrary posets, an upper bound is given for $La(n,P)$ depending on $|P|$ and the size of the longest chain in $P$. To prove these theorems we introduce a new method, counting the intersections of $\mathcal{F}$ with double chains, rather than chains.
Decidability of uniform recurrence of morphic sequences
Published
• View Publication
• BIB
We prove that the uniform recurrence of morphic sequences is decidable. For this we show that the number of derived sequences of uniformly recurrent morphic sequences is bounded. As a corollary we obtain that uniformly recurrent morphic sequences are primitive substitutive sequences.
On the Hall algebra of semigroup representations over F_1
Published
• View Publication
• BIB
Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of finite $\A$--modules. $\H_{\A}$ is shown to be the universal enveloping algebra of a Lie algebra $\n_{\A}$, called the \emph{Hall Lie algebra} of $\C_{\A}$. In the case of the $\fm$ - the free monoid on one generator $\fm$, the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent $\fm$-modules) is isomorphic to Kreimer's Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when $\A$ is a quotient of $\fm$ by a congruence, and the monoid $G \cup \{0\}$ for a finite group $G$.
An algorithm for the HK function for disjoint-term trinomial hypersurfaces
A `trinomial hypersurface' is a hypersurface that is defined by a single polynomial having 3 non-constant terms in it and no constant term. A `disjoint-term trinomial hypersurface' is a trinomial hypersurface whose defining polynomial has the property that any 2 distinct terms in it have GCD equal to 1. In this article, I provide an algorithm for computing the Hilbert-Kunz function for any disjoint-term trinomial hypersurface in general, over any field of arbitrary positive characteristic. However, I do not provide any formula for the Hilbert-Kunz function.
Compactified Jacobians and q,t-Catalan numbers, II
Published in Journal of Algebraic Combinatorics, 39, Issue 1 (2014), pp. 153---186
• View Publication
• BIB
We continue the study of the rational-slope generalized $q,t$-Catalan numbers $c_{m,n}(q,t)$. We describe generalizations of the bijective constructions of J. Haglund and N. Loehr and use them to prove a weak symmetry property $c_{m,n}(q,1)=c_{m,n}(1,q)$ for $m=kn\pm 1$. We give a bijective proof of the full symmetry $c_{m,n}(q,t)=c_{m,n}(t,q)$ for $\min(m,n)\le 3$. As a corollary of these combinatorial constructions, we give a simple formula for the Poincaré polynomials of compactified Jacobians of plane curve singularities $x^{kn\pm 1}=y^n$. We also give a geometric interpretation of a relation between rational-slope Catalan numbers and the theory of $(m,n)$-cores discovered by J. Anderson.
Understanding Set Cover: Sub-exponential Time Approximations and Lift-and-Project Methods
Recently, Cygan, Kowalik, and Wykurz [IPL 2009] gave sub-exponential-time approximation algorithms for the Set-Cover problem with approximation ratios better than ln(n). In light of this result, it is natural to ask whether such improvements can be achieved using lift-and-project methods. We present a simpler combinatorial algorithm which has nearly the same time-approximation tradeoff as the algorithm of Cygan et al., and which lends itself naturally to a lift-and-project based approach.
At a high level, our approach is similar to the recent work of Karlin, Mathieu, and Nguyen [IPCO 2011], who examined a known PTAS for Knapsack (similar to our combinatorial Set-Cover algorithm) and its connection to hierarchies of LP and SDP relaxations for Knapsack. For Set-Cover, we show that, indeed, using the trick of "lifting the objective function", we can match the performance of our combinatorial algorithm using the LP hierarchy of Lovasz and Schrijver. We also show that this trick is essential: even in the stronger LP hierarchy of Sherali and Adams, the integrality gap remains at least (1-eps) ln(n) at level Omega(n) (when the objective function is not lifted).
As shown by Aleknovich, Arora, and Tourlakis [STOC 2005], Set-Cover relaxations stemming from SDP hierarchies (specifically, LS+) have similarly large integrality gaps. This stands in contrast to Knapsack, where Karlin et al. showed that the (much stronger) Lasserre SDP hierarchy reduces the integrality gap to (1+eps) at level O(1). For completeness, we show that LS+ also reduces the integrality gap for Knapsack to (1+eps). This result may be of independent interest, as our LS+ based rounding and analysis are rather different from those of Karlin et al., and to the best of our knowledge this is the first explicit demonstration of such a reduction in the integrality gap of LS+ relaxations after few rounds.
Appendix to "Real second-order freeness and the asymptotic real second-order freeness of several real matrix models": Examples and Diagrams
We present examples and diagrams illustrating the proofs appearing in "Real second-order freeness and the asymptotic real second-order freeness of several real matrix models", to which this paper is meant to be an appendix. We show how matrix calculations may be represented by topological surface gluings, which may in turn be represented as permutations.
Finding a princess in a palace: A pursuit-evasion problem
Published
• View Publication
• BIB
This paper solves a pursuit-evasion problem in which a prince must find a princess who is constrained to move on each day from one vertex of a finite graph to another. Unlike the related and much studied `Cops and Robbers Game', the prince has no knowledge of the position of the princess; he may, however, visit any single room he wishes on each day. We characterize the graphs for which the prince has a winning strategy, and determine, for each such graph, the minimum number of days the prince requires to guarantee to find the princess.
A topological classification of convex bodies
Published
• View Publication
• BIB
The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from the path graph P_2 and generating convex bodies corresponding to quadrangulations with increasing number of vertices by performing each combinatorially possible vertex splitting by a convexity-preserving local manipulation of the surface. Since convex bodies carrying Morse-Smale complexes isomorphic to P_2 exist, this algorithm not only proves our claim but also generalizes the known classification scheme in [36]. Our expansion algorithm is essentially the dual procedure to the algorithm presented by Edelsbrunner et al. in [21], producing a hierarchy of increasingly coarse Morse-Smale complexes. We point out applications to pebble shapes.
A Characterisation of Tangent Subplanes of PG(2,q^3)
Published
• View Publication
• BIB
In: S.G. Barwick and W.A. Jackson. Sublines and subplanes of PG(2,q^3) in the Bruck--Bose representation in PG(6,q). Finite Fields Th. App. 18 (2012) 93--107., the authors determine the representation of order-q-subplanes and order-q-sublines of PG(2,q^3) in the Bruck-Bose representation in PG(6,q). In particular, they showed that an order-q-subplane of PG(2,q^3) corresponds to a certain ruled surface in PG(6,q). In this article we show that the converse holds, namely that any ruled surface satisfying the required properties corresponds to a tangent order-q-subplane of PG(2,q^3).