group
10263 papers tagged with this keyword
Non-transversal Vectors of Some Finite Geometries
By means of associated structural invariants, we efficiently construct four biplanes of order 9 - except the one with the smallest automorphism group, that is found by Janko and Trung. The notion of non-transversal vector is introduced since we observed related properties that provide significantly more efficient constructions. There is a dichotomy in the structure of biplanes of order 7 and 9 with respect to the incidence matrix symmetry.
Hyperplane mass partitions via relative equivariant obstruction theory
Published in Documenta Mathematica 21 (2016), 735-771
• Search Publication
The Grünbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition $dk\ge j(2^k-1)$ is also sufficient.
We develop a "join scheme" for this problem, such that non-existence of an $G_k$-equivariant map between spheres $(S^d)^{*k} \rightarrow S(W_k\oplus U_k^{\oplus j})$ that extends a test map on the subspace of $(S^d)^{*k}$ where the hyperoctahedral group $G_k$ acts non-freely, implies that $(d,j,k)$ is admissible.
For the sphere $(S^d)^{*k}$ we obtain a very efficient regular cell decomposition, whose cells get a combinatorial interpretation with respect to measures on a modified moment curve. This allows us to apply relative equivariant obstruction theory successfully, even in the case when the difference of dimensions of the spheres $(S^d)^{*k}$ and $S(W_k\oplus U_k^{\oplus j})$ is greater than one. The evaluation of obstruction classes leads to counting problems for concatenated Gray codes.
Thus we give a rigorous, unified treatment of the previously announced cases of the Grünbaum-Hadwiger-Ramos problem, as well as a number of new cases for Ramos' conjecture.
Geometric Bijections Between Spanning Trees and Break Divisors
Published
• View Publication
• BIB
The Jacobian group ${\rm Jac}(G)$ of a finite graph $G$ is a group whose cardinality is the number of spanning trees of $G$. $G$ also has a tropical Jacobian which has the structure of a real torus; using the notion of break divisors, An et al. obtained a polyhedral decomposition of the tropical Jacobian where vertices and cells correspond to elements of ${\rm Jac}(G)$ and spanning trees of $G$, respectively. We give a combinatorial description of bijections coming from this geometric setting. This provides a new geometric method for constructing bijections in combinatorics. We introduce a special class of geometric bijections that we call edge ordering maps, which have good algorithmic properties. Finally, we study the connection between our geometric bijections and the class of bijections introduced by Bernardi; in particular we prove a conjecture of Baker that planar Bernardi bijections are "geometric". We also give sharpened versions of results by Baker and Wang on Bernardi torsors.
Filtrations on Springer fiber cohomology and Kostka polynomials
Published
• View Publication
• BIB
We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classical finite W-algebras, as well as the filtration on the zeroth Hochschild homology of all quantum finite W-algebras, and we generalize to all homology degrees. As a consequence, we deduce a conjecture of Proudfoot on symplectic duality, relating in type A the Poisson homology of Slodowy slices to the intersection cohomology of nilpotent orbit closures. In the last section, we give an analogue of our main theorem in the setting of mirabolic D-modules.
Power graphs of (non)orientable genus two
Published
• View Publication
• BIB
The power graph $Γ_G$ of a finite group $G$ is the graph whose vertex set is the group, two distinct elements being adjacent if one is a power of the other. In this paper, we classify the finite groups whose power graphs have (non)orientable genus two.
Expanders and box spaces
Published
• View Publication
• BIB
We consider box spaces of finitely generated, residually finite groups $G$, and try to distinguish them up to coarse equivalence. We show that, for $n\geq 2$, the group $SL_n(\mathbb{Z})$ has a continuum of box spaces which are pairwise non-coarsely equivalent expanders. Moreover, varying the integer $n\geq 3$, expanders given as box spaces of $SL_n(\mathbb{Z})$ are pairwise inequivalent; similarly, varying the prime $p$, expanders given as box spaces of $SL_2(\mathbb{Z}[\sqrt{p}])$ are pairwise inequivalent.
A strong form of non-expansion for a box space is the existence of $α\in]0,1]$ such that the diameter of each component $X_n$ satisfies $diam(X_n)=Ω(|X_n|^α)$. By a result of Breuillard and Tointon, the existence of such a box space implies that $G$ virtually maps onto $\mathbb{Z}$: we establish the converse. For the lamplighter group $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{Z}$ and for a semi-direct product $\mathbb{Z}^2\rtimes\mathbb{Z}$, such box spaces are explicitly constructed using specific congruence subgroups.
We finally introduce the full box space of $G$, i.e. the coarse disjoint union of all finite quotients of $G$. We prove that the full box space of a group mapping onto the free group $\mathbb{F}_2$ is not coarsely equivalent to the full box space of an $S$-arithmetic group satisfying the Congruence Subgroup Property.
Abelian regular coverings of the quaternion hypermap
A hypermap is an embedding of a connected hypergraph into an orientable closed surface. A covering between hypermaps is a homomorphism between the embedded hypergraphs which extends to an orientation-preserving covering of the supporting surfaces. A covering of a hypermap onto itself is an automorphism, and a hypermap is regular if its automorphism group acts transitively on the brins. Depending on the algebraic theory of regular hypermaps and hypermap operations, the abelian regular coverings over the quaternion hypermap are investigated. We define normalized multicyclic coverings between regular hypermaps, generalizing almost totally branched coverings studied in [K. Hu, R. Nedela, N.-E Wang, Branched cyclic regular coverings over platonic maps, European J. Combin. 36 (2014) 531--549]. It is shown that the covering transformation group of a normalized multicyclic covering is a nilpotent group with bounded class. As an application the abelian normalized bicyclic coverings over the quaternion hypemap are classified. In particular, those coverings which possess various level of external symmetry or fulfil certain smoothness conditions are explicitly determined.
The classification of tensor categories of two-colored noncrossing partitions
Published
• View Publication
• BIB
Our basic objects are partitions of finite sets of points into disjoint subsets. We investigate sets of partitions which are closed under taking tensor products, composition and involution, and which contain certain base partitions. These so called categories of partitions are exactly the tensor categories being used in the theory of Banica and Speicher's orthogonal easy quantum groups. In our approach, we additionally allow a coloring of the points. This serves as the basis for the introduction of unitary easy quantum groups, which is done in a separate article. The present article however is purely combinatorial. We find all categories of two-colored noncrossing partitions. For doing so, we extract certain parameters with values in the natural numbers specifying the colorization of the categories on a global as well as on a local level. It turns out that there are ten series of categories, each indexed by one or two parameters from the natural numbers, plus two additional categories. This is just the beginning of the classification of categories of two-colored partitions and we point out open problems at the end of the article.
An extension of the classification of high rank regular polytopes
Published
• View Publication
• BIB
Up to isomorphism and duality, there are exactly two non-degenerate abstract regular polytopes of rank greater than $n-3$, one of rank $n-1$ and one of rank $n-2$, with automorphism groups that are transitive permutation groups of degree $n\geq 7$. In this paper we extend this classification of high rank regular polytopes to include the ranks $n-3$ and $n-4$. The result is, up to a isomorphism and duality, seven abstract regular polytopes of rank $n-3$ for each $n\geq 9$, and nine abstract regular polytopes of rank $n-4$ for each $n \geq 11$. Moreover we show that if a transitive permutation group $Γ$ of degree $n \geq 11$ is the automorphism group of an abstract regular polytope of rank at least $n-4$, then $Γ\cong S_n$.
On the fully commutative elements of type $\tilde C$ and faithfulness of related towers
Published
• View Publication
• BIB
We define a tower of injections of $\tilde{C}$-type Coxeter groups $W(\tilde C_{n})$ for $n\geq 1$. We define a tower of Hecke algebras and we use the faithfulness at the Coxeter level to show that this last tower is a tower of injections. Let $W^c(\tilde C_{n})$ be the set of fully commutative elements in $W(\tilde C_{n})$, we classify the elements of $W^c(\tilde C_{n})$ and give a normal form for them. We use this normal form to define two injections from $W^c(\tilde C_{n-1})$ into $W^c(\tilde C_{n})$. We then define the tower of affine Temperley-Lieb algebras of type $\tilde{C }$ and use the injections above to prove the faithfulness of this tower.
Tiling sets and spectral sets over finite fields
Published
• View Publication
• BIB
We study tiling and spectral sets in vector spaces over prime fields. The classical Fuglede conjecture in locally compact abelian groups says that a set is spectral if and only if it tiles by translation. This conjecture was disproved by T. Tao in Euclidean spaces of dimensions 5 and higher, using constructions over prime fields (in vector spaces over finite fields of prime order) and lifting them to the Euclidean setting. Over prime fields, when the dimension of the vector space is less than or equal to $2$ it has recently been proven that the Fuglede conjecture holds (see \cite{IMP15}). In this paper we study this question in higher dimensions over prime fields and provide some results and counterexamples. In particular we prove the existence of spectral sets which do not tile in $\mathbb{Z}_p^5$ for all odd primes $p$ and $\mathbb{Z}_p^4$ for all odd primes $p$ such that $p \equiv 3 \text{ mod } 4$. Although counterexamples in low dimensional groups over cyclic rings $\mathbb{Z}_n$ were previously known they were usually for non prime $n$ or a small, sporadic set of primes $p$ rather than general constructions. This paper is a result of a Research Experience for Undergraduates program ran at the University of Rochester during the summer of 2015 by A. Iosevich, J. Pakianathan and G. Petridis.
Factorization of Temperley--Lieb diagrams
Published in Involve 10(1), 89-108, 2017
• View Publication
• BIB
The Temperley--Lieb algebra is a finite dimensional associative algebra that arose in the context of statistical mechanics and occurs naturally as a quotient of the Hecke algebra arising from a Coxeter group of type $A$. It is often realized in terms of a certain diagram algebra, where every diagram can be written as a product of "simple diagrams." These factorizations correspond precisely to factorizations of the so-called fully commutative elements of the Coxeter group that index a particular basis. Given a reduced factorization of a fully commutative element, it is straightforward to construct the corresponding diagram. On the other hand, it is generally difficult to reconstruct the factorization given an arbitrary diagram. We present an efficient algorithm for obtaining a reduced factorization for a given diagram.
Large Networks of Diameter Two Based on Cayley Graphs
Published in Cybernetics and Mathematics Applications in Intelligent Systems, Advances in Intelligent Systems and Computing 574, (2017), Pages 225-233
• View Publication
• BIB
In this contribution we present a construction of large networks of diameter two and of order $\frac{1}{2}d^2$ for every degree $d\geq 8$, based on Cayley graphs with surprisingly simple underlying groups. For several small degrees we construct Cayley graphs of diameter two and of order greater than $\frac23$ of Moore bound and we show that Cayley graphs of degrees $d\in\{16,17,18,23,24,31,\dots,35\}$ constructed in this paper are the largest currently known vertex-transitive graphs of diameter two.
On the critical group of the missing Moore graph
Published
• View Publication
• BIB
We consider the critical group of a hypothetical Moore graph of diameter $2$ and valency $57$. Determining this group is equivalent to finding the Smith normal form of the Laplacian matrix of such a graph. We show that all of the Sylow $p$-subgroups of the critical group must be elementary abelian with the exception of $p = 5$. We prove that the $5$-rank of the Laplacian matrix determines the critical group up to two possibilities.
Supports of simple modules in cyclotomic Cherednik categories O
The goal of this paper is to compute the supports of simple modules in the categories $\mathcal{O}$ for the rational Cherednik algebras associated to groups $G(\ell,1,n)$. For this we compute some combinatorial maps on the set of simples: wall-crossing bijections and a certain $\mathfrak{sl}_\infty$-crystal associated to a Heisenberg algebra action on a Fock space.
Two descent statistics over 321-avoiding centrosymmetric involutions
Published
• View Publication
• BIB
Centrosymmetric involutions in the symmetric group S_{2n} are permutations πsuch that π=π^{-1} and π(i)+π(2n+1-i)=2n+1 for all i, and they are in bijection with involutions of the hyperoctahedral group. We describe the distribution of some natural descent statistics on 321-avoiding centrosymmetric involutions, including the number of descents in the first half of the involution, and the sum of the positions of these descents. Our results are based on two new bijections, one between centrosymmetric involutions in S_{2n} and subsets of {1,...,n}, and another one showing that certain statistics on Young diagrams that fit inside a rectangle are equidistributed. We also use the latter bijection to refine a known result stating that the distribution of the major index on 321-avoiding involutions is given by the q-analogue of the central binomial coefficients.
Tight chiral polyhedra
Published
• View Publication
• BIB
A chiral polyhedron with Schläfli symbol $\{p, q\}$ is called tight if it has $2pq$ flags, which is the minimum possible. In this paper, we fully characterize the Schläfli symbols of tight chiral polyhedra. We also provide presentations for the automorphism groups of several families of tight chiral polyhedra.
On zero-sum $\mathbb{Z}_{2j}^k$-magic graphs
Published
• View Publication
• BIB
Let $G = (V,E)$ be a finite graph and let $(\mathbb{A},+)$ be an abelian group with identity 0. Then $G$ is \textit{$\mathbb{A}$-magic} if and only if there exists a function $φ$ from $E$ into $\mathbb{A} - \{0\}$ such that for some $c \in \mathbb{A}$, $\sum_{e \in E(v)} φ(e) = c$ for every $v \in V$, where $E(v)$ is the set of edges incident to $v$. Additionally, $G$ is \textit{zero-sum $\mathbb{A}$-magic} if and only if $φ$ exists such that $c = 0$. We consider zero-sum $\mathbb{A}$-magic labelings of graphs, with particular attention given to $\mathbb{A} = \mathbb{Z}_{2j}^k$. For $j \geq 1$, let $ζ_{2j}(G)$ be the smallest positive integer $c$ such that $G$ is zero-sum $\mathbb{Z}_{2j}^c$-magic if $c$ exists; infinity otherwise. We establish upper bounds on $ζ_{2j}(G)$ when $ζ_{2j}(G)$ is finite, and show that $ζ_{2j}(G)$ is finite for all $r$-regular $G$, $r \geq 2$. Appealing to classical results on the factors of cubic graphs, we prove that $ζ_4(G) \leq 2$ for a cubic graph $G$, with equality if and only if $G$ has no 1-factor. We discuss the problem of classifying cubic graphs according to the collection of finite abelian groups for which they are zero-sum group-magic.
Covering the large spectrum and generalized Riesz products
Published
• View Publication
• BIB
Chang's Lemma is a widely employed result in additive combinatorics. It gives bounds on the dimension of the large spectrum of probability distributions on finite abelian groups. Recently, Bloom (2016) presented a powerful variant of Chang's Lemma that yields the strongest known quantitative version of Roth's theorem on 3-term arithmetic progressions in dense subsets of the integers. In this note, we show how such theorems can be derived from the approximation of probability measures via entropy maximization.
Dual braid monoids, Mikado braids and positivity in Hecke algebras
Published in Math. Z. 285 (2017) 215--238
• View Publication
• BIB
We study the rational permutation braids, that is the elements of an Artin-Tits group of spherical type which can be written $x^{-1} y$ where $x$ and $y$ are prefixes of the Garside element of the braid monoid. We give a geometric characterization of these braids in type $A_n$ and $B_n$ and then show that in spherical types different from $D_n$ the simple elements of the dual braid monoid (for arbitrary choice of Coxeter element) embedded in the braid group are rational permutation braids (we conjecture this to hold also in type $D_n$).This property implies positivity properties of the polynomials arising in the linear expansion of their images in the Iwahori-Hecke algebra when expressed in the Kazhdan-Lusztig basis. In type $A_n$, it implies positivity properties of their images in the Temperley-Lieb algebra when expressed in the diagram basis.