group
10399 papers tagged with this keyword
Small flag complexes with torsion
Published
• View Publication
• BIB
We classify flag complexes on at most 12 vertices with torsion in the first homology group. The result is moderately computer-aided.
As a consequence we confirm a folklore conjecture that the smallest poset whose order complex is homotopy equivalent to the real projective plane (and also the smallest poset with torsion in the first homology group) has exactly 13 elements.
An equivalence relation on the symmetric group and multiplicity-free flag h-vectors
Published
• View Publication
• BIB
We consider the equivalence relation ~ on the symmetric group S_n generated by the interchange of two adjacent elements a_i and a_{i+1} of w=a_1 ... a_n in S_n such that |a_i - a_{i+1}|=1. We count the number of equivalence classes and the sizes of equivalence classes. The results are generalized to permutations of multisets using umbral techniques. In the original problem, the equivalence class containing the identity permutation is the set of linear extensions of a certain poset. Further investigation yields a characterization of all finite graded posets whose flag h-vector takes on only the values -1, 0, 1.
Wreath Macdonald polynomials and categorical McKay correspondence
Published
• View Publication
• BIB
Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert scheme, as a byproduct he obtained a derived equivalence between coherent sheaves on the Hilbert scheme and coherent sheaves on the orbifold quotient of ${\mathbb A}^{2n}$ by the symmetric group $S_n$.
A short proof of a similar derived equivalence for any symplectic quotient singularity has been obtained by the first author and Kaledin via quantization in positive characteristic. In the present note we show the properties of the derived equivalence which imply the generalized Macdonald positivity for wreath products.
The Boundary of the Gelfand-Tsetlin Graph: New Proof of Borodin-Olshanski's Formula, and its q-analogue
Published
• View Publication
• BIB
In the recent paper [arXiv:1109.1412], Borodin and Olshanski have presented a novel proof of the celebrated Edrei-Voiculescu theorem which describes the boundary of the Gelfand-Tsetlin graph as a region in an infinite-dimensional coordinate space. This graph encodes branching of irreducible characters of finite-dimensional unitary groups. Points of the boundary of the Gelfand-Tsetlin graph can be identified with finite indecomposable (= extreme) characters of the infinite-dimensional unitary group. An equivalent description identifies the boundary with the set of doubly infinite totally nonnegative sequences.
A principal ingredient of Borodin-Olshanski's proof is a new explicit determinantal formula for the number of semi-standard Young tableaux of a given skew shape (or of Gelfand-Tsetlin schemes of trapezoidal shape). We present a simpler and more direct derivation of that formula using the Cauchy-Binet summation involving the inverse Vandermonde matrix. We also obtain a q-generalization of that formula, namely, a new explicit determinantal formula for arbitrary q-specializations of skew Schur polynomials. Its particular case is related to the q-Gelfand-Tsetlin graph and q-Toeplitz matrices introduced and studied by Gorin [arXiv:1011.1769].
A new operation on partially ordered sets
Published
• View Publication
• BIB
Recently it has been shown that all non-trivial closed permutation groups containing the automorphism group of the random poset are generated by two types of permutations: the first type are permutations turning the order upside down, and the second type are permutations induced by so-called rotations. In this paper we introduce rotations for finite posets, which can be seen as the poset counterpart of Seidel-switch for finite graphs. We analyze some of their combinatorial properties, and investigate in particular the question of when two finite posets are rotation-equivalent. We moreover give an explicit combinatorial construction of a rotation of the random poset whose image is again isomorphic to the random poset. As an corollary of our results on rotations of finite posets, we obtain that the group of rotating permutations of the random poset is the automorphism group of a homogeneous structure in a finite language.
On inductively free reflection arrangements
Published
• View Publication
• BIB
Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A = A(W) be the associated hyperplane arrangement of W. Terao has shown that each such reflection arrangement A is free. There is the stronger notion of an inductively free arrangement. In 1992, Orlik and Terao conjectured that each reflection arrangement is inductively free. It has been known for quite some time that the braid arrangement as well as the Coxeter arrangements of type B and type D are inductively free. Barakat and Cuntz completed this list only recently by showing that every Coxeter arrangement is inductively free.
Nevertheless, Orlik and Terao's conjecture is false in general. In a recent paper, we already gave two counterexamples to this conjecture among the exceptional complex reflection groups.
In this paper we classify all inductively free reflection arrangements. In addition, we show that the notions of inductive freeness and that of hereditary inductive freeness coincide for reflection arrangements.
As a consequence of our classification, we get an easy, purely combinatorial characterization of inductively free reflection arrangements A in terms of exponents of the restrictions to any hyperplane of A.
Small doubling in ordered semigroups
Published in Semigroup Forum, Vol. 90, No. 1 (2015), pp. 135-148
• View Publication
• BIB
Let $\mathbb{A} = (A, \cdot)$ be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable semigroups, where we say that $\mathbb{A}$ is linearly orderable if there exists a total order $\le$ on $A$ such that $xz < yz$ and $zx < zy$ for all $x,y,z \in A$ with $x < y$. In particular, we find that if $S$ is a finite subset of $A$ generating a non-abelian subsemigroup of $\mathbb{A}$, then $|S^2| \ge 3|S|-2$. On the road to this goal, we also prove a number of subsidiary results, and most notably that for $S$ a finite subset of $A$ the commutator and the normalizer of $S$ are equal to each other.
Matching subspaces in a field extension
In this paper, we formulate and prove linear analogues of results concerning matchings in groups. A matching in a group G is a bijection f between two finite subsets A,B of G with the property, motivated by old questions on symmetric tensors, that the product af(a)does not belong to A for all a \in A. Necessary and sufficient conditions on G, ensuring the existence of matchings under appropriate hypotheses, are known. Here we consider a similar question in a linear setting. Given a skew field extension K \subset L, where K commutative and central in L, we introduce analogous notions of matchings between finite-dimensional K-subspaces A,B of L, and obtain existence criteria similar to those in the group setting. Our tools mix additive number theory, combinatorics and algebra.
Random Orderings and Unique Ergodicity of Automorphism Groups
Published in J. Europ. Math. Soc. 16 (2014), 2059--2095
• View Publication
• BIB
We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than compact groups and extremely amenable groups, after Glasner and Weiss's example of the group of all permutations of the integers. We also contrast these results to those for certain special classes of graphs and metric spaces in which such random orderings can be found that are not uniform.
Some new inequalities in additive combinatorics
In the paper we find new inequalities involving the intersections $A\cap (A-x)$ of shifts of some subset $A$ from an abelian group. We apply the inequalities to obtain new upper bounds for the additive energy of multiplicative subgroups and convex sets and also a series another results on the connection of the additive energy and so--called higher moments of convolutions. Besides we prove new theorems on multiplicative subgroups concerning lower bounds for its doubling constants, sharp lower bound for the cardinality of sumset of a multiplicative subgroup and its subprogression and another results.
Topology of eigenspace posets for unitary reflection groups
The eigenspace theory of unitary reflection groups, initiated by Springer and Lehrer, suggests that the following object is worthy of study: the poset of eigenspaces of elements of a unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. We investigate topological properties of this poset. The new results extend the well-known work of Orlik and Solomon on the lattice of intersections of hyperplanes.
Eigenspace arrangements of reflection groups
Published
• View Publication
• BIB
The lattice of intersections of reflecting hyperplanes of a complex reflection group W may be considered as the poset of 1-eigenspaces of the elements of W. In this paper we replace 1 with an arbitrary eigenvalue and study the topology and homology representation of the resulting poset. After posing the main question of whether this poset is shellable, we show that all its upper intervals are geometric lattices, and then answer the question in the affirmative for the infinite family G(m,p,n) of complex reflection groups, and the first 31 of the 34 exceptional groups, by constructing CL-shellings. In addition, we completely determine when these eigenspaces of W form a K(pi,1) (resp. free) arrangement.
For the symmetric group, we also extend the combinatorial model available for its intersection lattice to all other eigenvalues by introducing "balanced partition posets", presented as particular upper order ideals of Dowling lattices, study the representation afforded by the top (co)homology group, and give a simple map to the posets of pointed d-divisible partitions.
A non-abelian analogue of Whitney's 2-isomorphism theorem
Published
• View Publication
• BIB
We give a non-abelian analogue of Whitney's 2-isomorphism theorem for graphs. Whitney's theorem states that the cycle space determines a graph up to 2-isomorphism. Instead of considering the cycle space of a graph which is an abelian object, we consider a mildly non-abelian object, the 2-truncation of the group algebra of the fundamental group of the graph considered as a subalgebra of the 2-truncation of the group algebra of the free group on the edges. The analogue of Whitney's theorem is that this is a complete invariant of 2-edge connected graphs: let G,G' be 2-edge connected finite graphs; if there is a bijective correspondence between the edges of G and G' that induces equality on the 2-truncations of the group algebras of the fundamental groups, then G and G' are isomorphic.
Enumerating typical abelian coverings of Cayley graphs
Published in Discrete Mathematics 313 (2013), no. 14, 1503-1510
• View Publication
• BIB
In this article we complete the work of enumerating typical abelian coverings of Cayley graphs, by reducing the problem to enumerating certain subgroups of finite abelian groups.
Functors from Association Schemes
Published
• View Publication
• BIB
We construct a wide subcategory of the category of finite association schemes with a collection of desirable properties. Our subcategory has a first isomorphism theorem analogous to that of groups. Also, standard constructions taking schemes to groups (thin radicals and thin quotients) or algebras (adjacency algebras) become functorial when restricted to our category. We use our category to give a more conceptual account for a result of Hanaki concerning products of characters of association schemes; i.e. we show that the virtual representations of an association scheme form a module over the representation ring of the thin quotient of the association scheme.
Representation type of finite quiver Hecke algebras of type $A^{(2)}_{2\ell}$
Published
• View Publication
• BIB
We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke algebras, no results of these kind existed for cyclotomic quiver Hecke algebras, and our results are the first instances beyond the case of cyclotomic Hecke algebras.
Classification of a family of completely transitive codes
The completely regular codes in Hamming graphs have a high degree of combinatorial symmetry and have attracted a lot of interest since their introduction in 1973 by Delsarte. This paper studies the subfamily of completely transitive codes, those in which an automorphism group is transitive on each part of the distance partition. This family is a natural generalisation of the binary completely transitive codes introduced by Sole in 1990. We take the first step towards a classification of these codes, determining those for which the automorphism group is faithful on entries.
Critical groups of graphs with reflective symmetry
Published
• View Publication
• BIB
The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. For a graph G with a certain reflective symmetry, we generalize a result of Ciucu-Yan-Zhang factorizing the spanning tree number of G by interpreting this as a result about the critical group of G. Our result takes the form of an exact sequence, and explicit connections to bicycle spaces are made.
The Entropy Power Inequality and Mrs. Gerber's Lemma for Abelian Groups of Order 2^n
Published
• View Publication
• BIB
Shannon's Entropy Power Inequality can be viewed as characterizing the minimum differential entropy achievable by the sum of two independent random variables with fixed differential entropies. The entropy power inequality has played a key role in resolving a number of problems in information theory. It is therefore interesting to examine the existence of a similar inequality for discrete random variables. In this paper we obtain an entropy power inequality for random variables taking values in an abelian group of order 2^n, i.e. for such a group G we explicitly characterize the function f_G(x,y) giving the minimum entropy of the sum of two independent G-valued random variables with respective entropies x and y. Random variables achieving the extremum in this inequality are thus the analogs of Gaussians in this case, and these are also determined. It turns out that f_G(x,y) is convex in x for fixed y and, by symmetry, convex in y for fixed x. This is a generalization to abelian groups of order 2^n of the result known as Mrs. Gerber's Lemma.
Analysis of the picture cube puzzle
Published in Acta Universitatis Sapientiae, Informatica, 4, 1 (2012) 119-129
• Search Publication
In this paper we give a mathematical model for a game that we call picture cube puzzle and investigate its properties. The central question is the number of moves required to solve the puzzle. A mathematical discussion is followed by the description of computational results. We also give a generalization of the problem for finite groups.