natural ↗ reference
4894 papers tagged with this keyword
Combinatorial Route to Algebra: The Art of Composition & Decomposition
Published in Discrete Math. Theor. 12(2), 381-400 (2010)
• View Publication
• BIB
We consider a general concept of composition and decomposition of objects, and discuss a few natural properties one may expect from a reasonable choice thereof. It will be demonstrated how this leads to multiplication and co- multiplication laws, thereby providing a generic scheme furnishing combinatorial classes with an algebraic structure. The paper is meant as a gentle introduction to the concepts of composition and decomposition with the emphasis on combinatorial origin of the ensuing algebraic constructions.
Asymptotics of the maximal and the typical dimensions of isotypic components of tensor representations of the symmetric group
Published
• View Publication
• BIB
Vershik and Kerov gave asymptotical bounds for the maximal and the typical dimensions of irreducible representations of symmetric groups $S_n$. It was conjectured by G. Olshanski that the maximal and the typical dimensions of the isotypic components of tensor representations of the symmetric group admit similar asymptotical bounds. The main result of this article is the proof of this conjecture. Consider the natural representation of $S_n$ on $(\mathbb{C}^N)^{\otimes n}$. Its isotypic components are parametrized by Young diagrams with $n$ cells and at most $N$ rows. P. Biane found the limit shape of Young diagrams when $n\rightarrow\infty,\ \sqrt{n}/N\rightarrow c$. By showing that this limit shape is the unique solution to a variational problem, it is proven here, that after scaling, the maximal and the typical dimensions of isotypic components lie between positive constants. A new proof of Biane's limit-shape theorem is obtained.
Proximity Drawings of High-Degree Trees
Published in International J. of Computational Geometry and Applications 23:213-230, 2013
• View Publication
• BIB
A drawing of a given (abstract) tree that is a minimum spanning tree of the vertex set is considered aesthetically pleasing. However, such a drawing can only exist if the tree has maximum degree at most 6. What can be said for trees of higher degree? We approach this question by supposing that a partition or covering of the tree by subtrees of bounded degree is given. Then we show that if the partition or covering satisfies some natural properties, then there is a drawing of the entire tree such that each of the given subtrees is drawn as a minimum spanning tree of its vertex set.
Decomposition theorem on matchable distributive lattices
Published in Discrete Applied Mathematics 166 (2014) 239--248
• View Publication
• BIB
A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a distributive lattice. It is natural to ask which lattices are MDLs. We show that if a plane bipartite graph $G$ is elementary, then ${\mathbf M}(G)$ is irreducible. Based on this result, a decomposition theorem on MDLs is obtained: a finite distributive lattice $\mathbf{L}$ is an MDL if and only if each factor in any cartesian product decomposition of $\mathbf{L}$ is an MDL. Two types of MDLs are presented: $J(\mathbf{m}\times \mathbf{n})$ and $J(\mathbf{T})$, where $\mathbf{m}\times \mathbf{n}$ denotes the cartesian product between $m$-element chain and $n$-element chain, and $\mathbf{T}$ is a poset implied by any orientation of a tree.
On Universal Cycles for new Classes of Combinatorial Structures
Published
• View Publication
• BIB
A universal cycle (u-cycle) is a compact listing of a collection of combinatorial objects. In this paper, we use natural encodings of these objects to show the existence of u-cycles for collections of subsets, matroids, restricted multisets, chains of subsets, multichains, and lattice paths. For subsets, we show that a u-cycle exists for the $k$-subsets of an $n$-set if we let $k$ vary in a non zero length interval. We use this result to construct a "covering" of length $(1+o(1))$$n \choose k$ for all subsets of $[n]$ of size exactly $k$ with a specific formula for the $o(1)$ term. We also show that u-cycles exist for all $n$-length words over some alphabet $Σ,$ which contain all characters from $R \subset Σ.$ Using this result we provide u-cycles for encodings of Sperner families of size 2 and proper chains of subsets.
Haggkvist-Hell Graphs: A class of Kneser-colorable graphs
Published
• View Publication
• BIB
For positive integers n and r we define the Haggkvist-Hell graph, H_{n:r}, to be the graph whose vertices are the ordered pairs (h,T) where T is an r-subset of [n], and h is an element of [n] not in T. Vertices (h_x,T_x) and (h_y,T_y) are adjacent iff h_x \in T_y, h_y \in T_x, and T_x and T_y are disjoint. These triangle-free arc transitive graphs are an extension of the idea of Kneser graphs, and there is a natural homomorphism from the Haggkvist-Hell graph, H_{n:r}, to the corresponding Kneser graph, K_{n:r}. Haggkvist and Hell introduced the r=3 case of these graphs, showing that a cubic graph admits a homomorphism to H_{22:3} if and only if it is triangle-free. Gallucio, Hell, and Nesetril also considered the r=3 case, proving that H_{n:3} can have arbitrarily large chromatic number. In this paper we give the exact values for diameter, girth, and odd girth of all Haggkvist-Hell graphs, and we give bounds for independence, chromatic, and fractional chromatic number. Furthermore, we extend the result of Gallucio et al. to any fixed r \ge 2, and we determine the full automorphism group of H_{n:r}, which is isomorphic to the symmetric group on n elements.
Hitting time results for Maker-Breaker games
Published in Proceedings of the 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA'11), 900--912, 2011 and Random Structures and Algorithms, 41(1):23--46, 2012
• View Publication
• BIB
We study Maker-Breaker games played on the edge set of a random graph. Specifically, we consider the random graph process and analyze the first time in a typical random graph process that Maker starts having a winning strategy for his final graph to admit some property $\mP$. We focus on three natural properties for Maker's graph, namely being $k$-vertex-connected, admitting a perfect matching, and being Hamiltonian. We prove the following optimal hitting time results: with high probability Maker wins the $k$-vertex connectivity game exactly at the time the random graph process first reaches minimum degree $2k$; with high probability Maker wins the perfect matching game exactly at the time the random graph process first reaches minimum degree $2$; with high probability Maker wins the Hamiltonicity game exactly at the time the random graph process first reaches minimum degree $4$. The latter two statements settle conjectures of Stojaković and Szabó.
A new class of codes over Z_2 x Z_2
We study a new class of codes over Z_2 x Z_2 which we call L-codes. They arise as a natural fifth step in a series of analogies between Kleinian codes, binary codes, lattices and vertex operator algebras. This analogy will be explained in detail. We classify self-dual L-codes up to length 10 and provide tables for these codes and their weight enumerators up to length 4. We also discuss extremal codes for which a nearly complete classification is obtained.
The geometry of oriented cubes
This reports on the fundamental objects revealed by Ross Street, which he called `orientals'. Street's work was in part inspired by Robert's attempts to use N-category ideas to construct nets of C*-algebras in Minkowski space for applications to relativistic quantum field theory: Roberts' additional challenge was that `no amount of staring at the low dimensional cocycle conditions would reveal the pattern for higher dimensions'. This report takes up this challenge, presenting a natural inductive construction of explicit cubical cocyle conditions, and gives three ways in which the simplicial ones can be derived from these. (A dual string-diagram version of this work, giving rise to a Pascal's triangle of diagrams for cocycle conditions, has been described elsewhere by Street). A consequence of this work is that the Yang-Baxter equation, the `pentagon of pentagons', and higher simplex equations, are in essence different manifestations of the same underlying abstract structure. There has been recent interest in higher-categories, by computer scientists investigating concurrency theory, as well as by physicists, among others. The dual `string' version of this paper makes clear the relationship with higher-dimensional simplex equations in physics. Much work in this area has been done since these notes were written: no attempt has been made to update the original report. However, all diagrams have been redrawn by computer, replacing all original hand-drawn pictures.
The Homomorphism Poset of K_{2,n}
Published in Australasian Journal of Combinatorics, Vol. 57, (2013): pp. 79 - 108
• Search Publication
A geometric graph is a simple graph G together with a straight line drawing of G in the plane with the vertices in general position. Two geometric realizations of a simple graph are geo-isomorphic if there is a vertex bijection between them that preserves vertex adjacencies and non-adjacencies, as well as edge crossings and non-crossings. A natural extension of graph homomorphisms, geo-homomorphisms, can be used to define a partial order on the set of geo-isomorphism classes of realizations of a given simple graph. In this paper, the homomorphism poset of the complete bipartite graph K_{2,n} is determined by establishing a correspondence between realizations of K_{2,n} and permutations of S_n, in which crossing edges correspond to inversions. Through this correspondence, geo-isomorphism defines an equivalence relation on S_n, which we call geo-equivalence. The number of geo-isomorphism classes is provided for all n <= 9. The modular decomposition tree of permutation graphs is used to prove some results on the size of geo-equivalence classes. A complete list of geo-equivalence classes and a Hasse diagrams of the poset structure are given for n <= 5.
A structure theorem for Boolean functions with small total influences
Published
• View Publication
• BIB
We show that on every product probability space, Boolean functions with small total influences are essentially the ones that are almost measurable with respect to certain natural sub-sigma algebras. This theorem in particular describes the structure of monotone set properties that do not exhibit sharp thresholds.
Our result generalizes the core of Friedgut's seminal work [Ehud Friedgut. Sharp thresholds of graph properties, and the k-sat problem. J. Amer. Math. Soc., 12(4):1017-1054, 1999.] on properties of random graphs to the setting of arbitrary Boolean functions on general product probability spaces, and improves the result of Bourgain in his appendix to Friedgut's paper.
Efficient algorithms for three-dimensional axial and planar random assignment problems
Published
• View Publication
• BIB
Beautiful formulas are known for the expected cost of random two-dimensional assignment problems, but in higher dimensions even the scaling is not known. In three dimensions and above, the problem has natural "Axial" and "Planar" versions, both of which are NP-hard. For 3-dimensional Axial random assignment instances of size $n$, the cost scales as $Ω(1/n)$, and a main result of the present paper is a linear-time algorithm that, with high probability, finds a solution of cost $O(n^{-1+o(1)})$. For 3-dimensional Planar assignment, the lower bound is $Ω(n)$, and we give a new efficient matching-based algorithm that with high probability returns a solution with cost $O(n \log n)$.
A probabilistic interpretation of the Macdonald polynomials
Published
• View Publication
• BIB
The two-parameter Macdonald polynomials are a central object of algebraic combinatorics and representation theory. We give a Markov chain on partitions of k with eigenfunctions the coefficients of the Macdonald polynomials when expanded in the power sum polynomials. The Markov chain has stationary distribution a new two-parameter family of measures on partitions, the inverse of the Macdonald weight (rescaled). The uniform distribution on permutations and the Ewens sampling formula are special cases. The Markov chain is a version of the auxiliary variables algorithm of statistical physics. Properties of the Macdonald polynomials allow a sharp analysis of the running time. In natural cases, a bounded number of steps suffice for arbitrarily large k.
Set families and Foulkes modules
Published in Journal of Algebraic Combinatorics 34 (2011) 525-544
• View Publication
• BIB
We construct a new family of homomorphisms from Specht modules into Foulkes modules for the symmetric group. These homomorphisms are used to give a combinatorial description of the minimal partitions (in the dominance order) which label irreducible characters appearing as summands of the characters of Foulkes modules. The homomorphisms are defined using certain families of subsets of the natural numbers. These families are of independent interest; we prove a number of combinatorial results concerning them.
On well-rounded sublattices of the hexagonal lattice
Published in Discrete Mathematics, vol. 310 no. 23 (2010), pg. 3287--3302
• View Publication
• BIB
We produce an explicit parameterization of well-rounded sublattices of the hexagonal lattice in the plane, splitting them into similarity classes. We use this parameterization to study the number, the greatest minimal norm, and the highest signal-to-noise ratio of well-rounded sublattices of the hexagonal lattice of a fixed index. This investigation parallels earlier work by Bernstein, Sloane, and Wright where similar questions were addressed on the space of all sublattices of the hexagonal lattice. Our restriction is motivated by the importance of well-rounded lattices for discrete optimization problems. Finally, we also discuss the existence of a natural combinatorial structure on the set of similarity classes of well-rounded sublattices of the hexagonal lattice, induced by the action of a certain matrix monoid.
Functorial relationships between quantum cohomology of complete and partial flag varieties
Published
• View Publication
• BIB
We give a natural filtration F on quantum cohomology QH(G/B) of G/B, which respects the quantum product structure. Its associated graded algebra is isomorphic to the tensor product of QH(G/P) and a corresponding graded algebra of QH(P/B) after localization. When the quantum parameter goes to zero, this specializes to the filtration on the classical cohomology H(G/B) from the Leray spectral sequence associated to the fibration P/B --> G/B --> G/P.
The sorting index
Published
• View Publication
• BIB
We consider a bivariate polynomial that generalizes both the length and reflection length generating functions in a finite Coxeter group. In seeking a combinatorial description of the coefficients, we are led to the study of a new Mahonian statistic, which we call the sorting index. The sorting index of a permutation and its type B and type D analogues have natural combinatorial descriptions which we describe in detail.
Determinants and Compositions of Natural Numbers
We consider a particular type of matrices which belong at the same time to the class of Hessenberg and Toeplitz matrices, and whose determinants are equal to the number of a type of compositions of natural numbers.
We prove a formula in which the number of weak compositions with a fixed number of zeroes is expressed in terms of the number of compositions without zeroes. Then we find a relationship between weak compositions and coefficients of characteristic polynomials of appropriate matrices.
Finally, we prove three explicit formulas for weak compositions of a special kind.
Graph Varieties in High Dimension
Published
• View Publication
• BIB
We study the \emph{picture space} $X^d(G)$ of all embeddings of a finite graph $G$ as point-and-line arrangements in an arbitrary-dimensional projective space, continuing previous work on the planar case. The picture space admits a natural decomposition into smooth quasiprojective subvarieties called \emph{cellules}, indexed by partitions of the vertex set of $G$, and the irreducible components of $X^d(G)$ correspond to cellules that are maximal with respect to a partial order on partitions that is in general weaker than refinement. We study both general properties of this partial order and its characterization for specific graphs. Our results include complete combinatorial descriptions of the irreducible components of the picture spaces of complete graphs and complete multipartite graphs, for any ambient dimension $d$. In addition, we give two graph-theoretic formulas for the minimum ambient dimension in which the directions of edges in an embedding of $G$ are mutually constrained.
Weighted spanning trees on some self-similar graphs
Published in Electron. J. Combin., Vol. 18 (1), P16, 28 pp., 2011
• Search Publication
We compute the complexity of two infinite families of finite graphs: the Sierpiński graphs, which are finite approximations of the well-known Sierpińsky gasket, and the Schreier graphs of the Hanoi Towers group $H^{(3)}$ acting on the rooted ternary tree. For both of them, we study the weighted generating functions of the spanning trees, associated with several natural labellings of the edge sets.