contain ↗ reference
7689 papers tagged with this keyword
Subsequence containment by involutions
Published
• View Publication
• BIB
Inspired by work of McKay, Morse, and Wilf, we give an exact count of the involutions in S_n which contain a given permutation τin S_k as a subsequence; this number depends on the patterns of the first j values of τfor 1<=j<=k. We then use this to define a partition of S_k, analogous to Wilf-classes in the study of pattern avoidance, and examine properties of this equivalence. In the process, we show that a permutation τ_1...τ_k is layered iff, for 1<=j<=k, the pattern of τ_1...τ_j is an involution. We also obtain a result of Sagan and Stanley counting the standard Young tableaux of size $n$ which contain a fixed tableau of size $k$ as a subtableau.
Latin transversals of rectangular arrays
Published
• View Publication
• BIB
Let m and n be integers, $2 \leq m \leq n$. An m by n array consists of mn cells, arranged in m rows and n columns, and each cell contains exactly one symbol. A transversal of an array consists of m cells, one from each row and no two from the same column. A latin transversal is a transversal in which no symbol appears more than once. We will establish a sufficient condition that a 3 by n array has a latin transversal.
Information flow on trees
Published
• View Publication
• BIB
Consider a tree network $T$, where each edge acts as an independent copy of a given channel $M$, and information is propagated from the root. For which $T$ and $M$ does the configuration obtained at level $n$ of $T$ typically contain significant information on the root variable? This problem arose independently in biology, information theory and statistical physics.
For all $b$, we construct a channel for which the variable at the root of the $b$-ary tree is independent of the configuration at level 2 of that tree, yet for sufficiently large $B>b$, the mutual information between the configuration at level $n$ of the $B$-ary tree and the root variable is bounded away from zero. This is related to certain secret-sharing protocols.
We improve the upper bounds on information flow for asymmetric binary channels (which correspond to the Ising model with an external field) and for symmetric $q$-ary channels (which correspond to Potts models).
Let $\lam_2(M)$ denote the second largest eigenvalue of $M$, in absolute value. A CLT of Kesten and Stigum~(1966) implies that if $b |\lam_2(M)|^2 >1$, then the {\em census} of the variables at any level of the $b$-ary tree, contains significant information on the root variable. We establish a converse: if $b |\lam_2(M)|^2 < 1$, then the census of the variables at level $n$ of the $b$-ary tree is asymptotically independent of the root variable. This contrasts with examples where $b |\lam_2(M)|^2 <1$, yet the {\em configuration} at level $n$ is not asymptotically independent of the root variable.
Gomory Integer Programs
The set of all group relaxations of an integer program contains certain special members called Gomory relaxations. A family of integer programs with a fixed coefficient matrix and cost vector but varying right hand sides is a Gomory family if every program in the family can be solved by one of its Gomory relaxations. In this paper, we characterize Gomory families. Every TDI system gives a Gomory family, and we construct Gomory families from matrices whose columns form a Hilbert basis for the cone they generate. The existence of Gomory families is related to the Hilbert covering problems that arose from the conjectures of Sebo. Connections to commutative algebra are outlined at the end.
Triples of arrangements and local systems
Published in Proc. Amer. Math. Soc. 130 (2002), 3025-3031
• View Publication
• BIB
For a triple of complex hyperplane arrangements, there is a well-known long exact sequence relating the cohomology of the complements. We observe that this result extends to certain local coefficient systems, and use this extension to study the characteristic varieties of arrangements. We show that the first characteristic variety may contain components that are translated by characters of any order, thereby answering a question of A. Suciu.
Supernormal Vector Configurations
A configuration of lattice vectors is supernormal if it contains a Hilbert basis for every cone spanned by a subset. We study such configurations from various perspectives, including triangulations, integer programming and Groebner bases. Our main result is a bijection between virtual chambers of the configuration and virtual initial ideals of the associated binomial ideal.
Pattern frequency sequences and internal zeros
Consider the number of permutations in the symmetric group on n letters that contain c copies of a given pattern. As c varies (with n held fixed) these numbers form a sequence whose properties we study for the monotone patterns and the patterns 1, l, l-1, ..., 2. We show that, except for the patterns 1, 2 and 2, 1 where the sequence is well-known to be log concave, there are infinitely many n where the sequence has internal zeros.
Symmetric function generalizations of graph polynomials
In Chapter 2 we study the path-cycle symmetric function of a digraph, a symmetric function generalization of Chung and Graham's cover polynomial. Most of this material appears in either Advances in Math. 118 (1996), 71-98 or J. Algebraic Combin. 10 (1999), 227-240. Chapter 3 contains miscellaneous results about Stanley's symmetric function generalization X_G of the chromatic polynomial, e.g., we establish a connection with some of Tutte's work on the chromatic polynomial and use this to prove that X_G is reconstructible. Most of Chapter 3 does not appear elsewhere.
Generalizations of Eulerian partially ordered sets, flag numbers, and the Mobius function
Published
• View Publication
• BIB
A partially ordered set is r-thick if every nonempty open interval contains at least r elements. This paper studies the flag vectors of graded, r-thick posets and shows the smallest convex cone containing them is isomorphic to the cone of flag vectors of all graded posets. It also defines a k-analogue of the Mobius function and k-Eulerian posets, which are 2k-thick. Several characterizations of k-Eulerian posets are given. The generalized Dehn-Sommerville equations are proved for flag vectors of k-Eulerian posets. A new inequality is proved to be valid and sharp for rank 8 Eulerian posets.
A (conjectural) 1/3-phenomenon for the number of rhombus tilings of a hexagon which contain a fixed rhombus
Published in in: Number Theory and Discrete Mathematics, A. K. Agarwal et al., eds., Hindustan Book Agency, New Delhi, 2002, pp. 13-30.
• View Publication
• BIB
We state, discuss, provide evidence for, and prove in special cases the conjecture that the probability that a random tiling by rhombi of a hexagon with side lengths $2n+a,2n+b,2n+c,2n+a,2n+b,2n+c$ contains the (horizontal) rhombus with coordinates $(2n+x,2n+y)$ is equal to ${1/3} + g_{a,b,c,x,y}(n) {\binom {2n}{n}}^3 / \binom {6n}{3n}$, where $g_{a,b,c,x,y}(n)$ is a rational function in $n$. Several specific instances of this "1/3-phenomenon" are made explicit.
Extended F_4-buildings and the Baby Monster
Published in Invent. Math. 144(2001) 399-433
• View Publication
• BIB
The Baby Monster group B acts naturally on a geometry E(B) with diagram c.F_4(t) for t=4 and the action of B on E(B) is flag-transitive. It possesses the following properties:
(a) any two elements of type 1 are incident to at most one common element of type 2, and
(b) three elements of type 1 are pairwise incident to common elements of type 2 iff they are incident to a common element of type 5.
It is shown that E(B) is the only (non-necessary flag-transitive) c.F_4(t)-geometry, satisfying t=4, (a) and (b), thus obtaining the first characterization of B in terms of an incidence geometry, similar in vein to one known for classical groups acting on buildings. Further, it is shown that E(B) contains subgeometries E(^2E_6(2)) and E(Fi22) with diagrams c.F_4(2) and c.F_4(1). The stabilizers of these subgeometries induce on them flag-transitive actions of ^2E_6(2):2 and Fi22:2, respectively. Three further examples for t=2 with flag-transitive automorphism groups are constructed. A complete list of possibilities for the isomorphism type of the subgraph induced by the common neighbours of a pair of vertices at distance 2 in an arbitrary c.F_4(t) satisfying (a) and (b) is obtained.
Minimum multiplicities of subgraphs and Hamiltonian systems
Published
• View Publication
• BIB
Let G be a finite simple graph with automorphism group A(G). Then a spanning subgraph U of G is a fixing subgraph of G if G contains exactly $| A(G)|/ | A(G) \cap A(U)| $ subgraphs isomorphic to U: the graph G must always contain at least this number. If in addition $A(U) \subseteq A(G)$ then U is a strong fixing subgraph. Fixing subgraphs are important in many areas of graph theory. We consider them in the context of Hamiltonian graphs
Extremal properties for dissections of convex 3-polytopes
Published in SIAM J. Discrete Math. 14:2 (2001), 143-161
• View Publication
• BIB
A dissection of a convex d-polytope is a partition of the polytope into d-simplices whose vertices are among the vertices of the polytope. Triangulations are dissections that have the additional property that the set of all its simplices forms a simplicial complex. The size of a dissection is the number of d-simplices it contains. This paper compares triangulations of maximal size with dissections of maximal size. We also exhibit lower and upper bounds for the size of dissections of a 3-polytope and analyze extremal size triangulations for specific non-simplicial polytopes: prisms, antiprisms, Archimedean solids, and combinatorial d-cubes.
Moments of inertia associated with the lozenge tilings of a hexagon
Consider the probability that an arbitrary chosen lozenge tiling of the hexagon with side lengths a, b, c, a, b, c contains the horizontal lozenge with lowest vertex (x,y) as if it described the distribution of mass in the plane. We compute the horizontal and the vertical moments of inertia with respect to this distribution. This solves a problem by Propp [1, Problem 7].
Hamilton Circuits in Graphs and Directed Graphs
We give polynomial-time algorithms for obtaining hamilton circuits in random graphs, G, and random directed graphs, D. If n is finite, we assume that G or D contains a hamilton circuit. If G is an arbitrary graph containing a hamilton circuit, we conjecture that Algorithm G always obtains a hamilton circuit in polynomial time.
Permutations Restricted by Two Distinct Patterns of Length Three
Published
• View Publication
• BIB
Define $S_n(R;T)$ to be the number of permutations on $n$ letters which avoid all patterns in the set $R$ and contain each pattern in the multiset $T$ exactly once. In this paper we enumerate $S_n(\{α\};\{β\})$ and $S_n(\emptyset;\{α,β\})$ for all $α\neq β\in S_3$. The results for $S_n(\{α\};\{β\})$ follow from two papers by Mansour and Vainshtein.
Lattice polytopes with distinct pair-sums
Published
• View Publication
• BIB
Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps polytopes and the study of sums of squares of real polynomials.
Tangential Structures on Toric Manifolds, and Connected Sums of Polytopes
We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably complex structure is induced by an omniorientation. Studying connected sums of products of the $B_{i,j}$ allows us to deduce that every complex cobordism class of dimension >2 contains a toric manifold, necessarily connected, and so provides a positive answer to the toric analogue of Hirzebruch's famous question for algebraic varieties. In previous work, we dealt only with disjoint unions, and ignored the relationship between the stably complex structure and the action of the torus. In passing, we introduce a notion of connected sum $#$ for simple $n$-dimensional polytopes; when $P^n$ is a product of simplices, we describe $P^n# Q^n$ by applying an appropriate sequence of {\it pruning operators}, or hyperplane cuts, to $Q^n$.
Computing and Sampling Restricted Vertex Degree Subgraphs and Hamiltonian Cycles
Let $G=(V,E)$ be a bipartite graph embedded in a plane (or $n$-holed torus). Two subgraphs of $G$ differ by a {\it $Z$-transformation} if their symmetric difference consists of the boundary edges of a single face---and if each subgraph contains an alternating set of the edges of that face. For a given $φ: V \mapsto \mathbb Z^+$, $S_φ$ is the set of subgraphs of $G$ in which each $v\in V$ has degree $φ(v)$. Two elements of $S_φ$ are said to be adjacent if they differ by a $Z$-transformation. We determine the connected components of $S_φ$ and assign a {\it height function} to each of its elements.
If $φ$ is identically two, and $G$ is a grid graph, $S_φ$ contains the partitions of the vertices of $G$ into cycles. We prove that we can always apply a series of $Z$-transformations to decrease the total number of cycles provided there is enough ``slack'' in the corresponding height function. This allows us to determine in polynomial time the minimal number of cycles into which $G$ can be partitioned provided $G$ has a limited number of non-square faces. In particular, we determine the Hamiltonicity of polyomino graphs in $O(|V|^2)$ steps. The algorithm extends to $n$-holed-torus-embedded graphs that have grid-like properties. We also provide Markov chains for sampling and approximately counting the Hamiltonian cycles of $G$.
Local statistics for random domino tilings of the Aztec diamond
Published in Duke Mathematical Journal 85 (1996), 117-166
• View Publication
• BIB
We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diamond's boundary conditions on the behavior of typical tilings; in addition, it yields a new proof of the arctic circle theorem of Jockusch, Propp, and Shor. Our approach is to use the saddle point method to estimate certain weighted sums of squares of Krawtchouk polynomials (whose relevance to domino tilings is demonstrated elsewhere), and to combine these estimates with some exponential sum bounds to deduce our final result. This approach generalizes straightforwardly to the case in which the probability distribution on the set of tilings incorporates bias favoring horizontal over vertical tiles or vice versa. We also prove a fairly general large deviation estimate for domino tilings of simply-connected planar regions that implies that some of our results on Aztec diamonds apply to many other similar regions as well.