group
10258 papers tagged with this keyword
Harmonic equiangular tight frames comprised of regular simplices
An equiangular tight frame (ETF) is a sequence of unit-norm vectors in a Euclidean space whose coherence achieves equality in the Welch bound, and thus yields an optimal packing in a projective space. A regular simplex is a simple type of ETF in which the number of vectors is one more than the dimension of the underlying space. More sophisticated examples include harmonic ETFs which equate to difference sets in finite abelian groups. Recently, it was shown that some harmonic ETFs are comprised of regular simplices. In this paper, we continue the investigation into these special harmonic ETFs. We begin by characterizing when the subspaces that are spanned by the ETF's regular simplices form an equi-isoclinic tight fusion frame (EITFF), which is a type of optimal packing in a Grassmannian space. We shall see that every difference set that produces an EITFF in this way also yields a complex circulant conference matrix. Next, we consider a subclass of these difference sets that can be factored in terms of a smaller difference set and a relative difference set. It turns out that these relative difference sets lend themselves to a second, related and yet distinct, construction of complex circulant conference matrices. Finally, we provide explicit infinite families of ETFs to which this theory applies.
A directed graph structure of alternating sign matrices
Published in Linear Algebra and its Applications 519 (2017), 164-190
• Search Publication
We introduce a new directed graph structure into the set of alternating sign matrices. This includes Bruhat graph (Bruhat order) of the symmetric groups as a subgraph (subposet). Drake-Gerrish-Skandera (2004, 2006) gave characterizations of Bruhat order in terms of total nonnegativity (TNN) and subtraction-free Laurent (SFL) expressions for permutation monomials. With our directed graph, we extend their idea in two ways: first, from permutations to alternating sign matrices; second, $q$-analogs (which we name $q$TNN and $q$SFL properties). %In our discussion, essential sets, introduced by Fulton in a rather different context, play a key role. As a by-product, we obtain a new kind of permutation statistic, the signed bigrassmannian statistics, using Dodgson's condensation on determinants.
Caps and progression-free sets in $\mathbb{Z}_m^n$
We study progression-free sets in the abelian groups $G=(\mathbb{Z}_m^n,+)$. Let $r_k(\mathbb{Z}_m^n)$ denote the maximal size of a set $S \subset \mathbb{Z}_m^n$ that does not contain a proper arithmetic progression of length $k$. We give lower bound constructions, which e.g. include that $r_3(\mathbb{Z}_m^n) \geq C_m \frac{((m+2)/2)^n}{\sqrt{n}}$, when $m$ is even. When $m=4$ this is of order at least $3^n/\sqrt{n}\gg \vert G \vert^{0.7924}$. Moreover, if the progression-free set $S\subset \mathbb{Z}_4^n$ satisfies a technical condition, which dominates the problem at least in low dimension, then $|S|\leq 3^n$ holds.
We present a number of new methods which cover lower bounds for several infinite families of parameters $m,k,n$, which includes for example: $r_6(\mathbb{Z}_{125}^n) \geq (85-o(1))^n$.
For $r_3(\mathbb{Z}_4^n)$ we determine the exact values, when $n \leq 5$, e.g. $r_3(\mathbb{Z}_4^5)=124$, and for $r_4(\mathbb{Z}_4^n)$ we determine the exact values, when $n \leq 4$, e.g. $r_4(\mathbb{Z}_4^4)=128$.
Bilinear Forms on Finite Abelian Groups and Group-Invariant Butson Hadamard Matrices
Let $K$ be a finite abelian group and let $\exp(K)$ denote the least common multiple of the orders of the elements of $K$. A $BH(K,h)$ matrix is a $K$-invariant $|K|\times |K|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|K|I$, where $H^*$ denotes the complex conjugate transpose of $H$, and $I$ is the identity matrix of order $|K|$. Let $ν_p(x)$ denote the $p$-adic valuation of the integer $x$. Using bilinear forms on $K$, we show that a $BH(K,h)$ exists whenever
(i) $ν_p(h) \geq \lceil ν_p(\exp(K))/2 \rceil$ for every prime divisor $p$ of $|K|$ and
(ii) $ν_2(h) \ge 2$ if $ν_2(|K|)$ is odd and $K$ has a direct factor $\mathbb{Z}_2$.
Employing the field descent method, we prove that these conditions are necessary for the existence of a $BH(K,h)$ matrix in the case where $K$ is cyclic of prime power order.
Necessary Conditions for the Existence of Group-Invariant Butson Matrices and a New Family of Perfect Arrays
Let $G$ be a finite abelian group and let $\exp(G)$ denote the least common multiple of the orders of all elements of $G$. A $BH(G,h)$ matrix is a $G$-invariant $|G|\times |G|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|G|I_{|G|}$. In this paper, we study the relation between $G$ and $h$ so that a $BH(G,h)$ matrix exists. We will only focus on $BH(\mathbb{Z}_n,h)$ matrices and $BH(G,2p^b)$ matrices, where $p$ is an odd prime. By our results, there are $2687$ open cases left for the existence of $BH(\mathbb{Z}_n,h)$ matrices in which $1\leq n,h \leq 100$. In the last section, we show that $BH(\mathbb{Z}_n,h)$ matrices can be used to construct a new family of perfect polyphase arrays.
Combinatorial $t$-designs from special polynomials
Combinatorial $t$-designs have nice applications in coding theory, finite geometries and several engineering areas. There are two major methods of constructing $t$-designs. One of them is via group actions of certain permutation groups which are $t$-transitive or $t$-homogeneous on some point set. The other is a coding-theoretical one. The objectives of this paper are to introduce two constructions of $t$-designs with special polynomials over finite fields GF$(q)$, and obtain $2$-designs and $3$-designs with interesting parameters. A type of d-polynomials is defined and used to construct $2$-designs. Under the framework of the first construction, it is shown that every o-polynomial over GF$(2^m)$ gives a $2$-design, and every o-monomial over GF$(2^m)$ yields a $3$-design. Under the second construction, every $o$-polynomial gives a $3$-design. Some open problems and conjectures are also presented in this paper.
Decompositions of the authomorphism groups of edge-colored graphs into the direct product of permutation groups
In the paper Graphical complexity of products of permutation groups, M. Grech, A. Jez, A. Kisielewicz have proved that the direct product of automorphism groups of edge-colored graphs is itself the automorphism groups of an edge-colored graph. In this paper, we study the direct product of two permutation groups such that at least one of them fails to be the automorphism group of an edge-colored graph. We find necessary and sufficient conditions for the direct product to be the automorphism group of an edge-colored graph. The same problem is solved for the edge-colored digraphs.
A classification of finite locally 2-transitive generalized quadrangles
Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $π$ acts $2$-transitively on the points of $π$, then $π$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to $\mathrm{PΓL}(3,q)$ (for some prime-power $q$). In the more general case of a finite rank $2$ irreducible spherical building, also known as a \emph{generalized polygon}, the theorem of Fong and Seitz (1973) gave a classification of the \emph{Moufang} examples. A conjecture of Kantor, made in print in 1991, says that there are only two non-classical examples of flag-transitive generalized quadrangles up to duality. Recently, the authors made progress toward this conjecture by classifying those finite generalized quadrangles which have an automorphism group $G$ acting transitively on antiflags. In this paper, we take this classification much further by weakening the hypothesis to $G$ being transitive on ordered pairs of collinear points and ordered pairs of concurrent lines.
Extending partial automorphisms of $n$-partite tournaments
We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely combinatorial (whereas many earlier EPPA results use deep results from group theory) and extend to other classes such as the class of all finite semi-generic tournaments.
Group divisible designs with block size four and type g^u m^1 - III
We deal with group divisible designs that have block size 4 and group type g^u m^1, where g = 2 or 4 (mod 6). We show that the necessary conditions for the existence of a 4-GDD of type g^u m^1 are sufficient when g = 14, 20, 22, 26, 28, 32, 34, 38, 40, 44, 46, 50, 52, 58, 62, 68, 76, 88, 92, 100, 104, 116, 124, 136, 152, 160, 176, 184, 200, 208, 224, 232, 248, 272, 304, 320, 368, 400, 448, 464 and 496. Using these results we go on to show that the necessary conditions are sufficient for g = 2^t q^s, q = 19, 23, 25, 29, 31, s, t = 1, 2, ..., as well as for g = 2^t q, q = 2, 5, 7, 11, 13, 17, t = 1, 2, ..., with possible exceptions 56^9 m^1, 80^9 m^1 and 112^9 m^1 for a few large values of m.
Remarks on Enveloping Semigroups
The local structures of enveloping semigroups of simple groups are investigated. All J-coirreducible connected stabilizer submonoids are determined. The notion of a navel of a reductive monoid is introduced. The cross-section lattice of the enveloping monoid is shown to be atomic. In type A, the generating series for the number of $G\times G$-orbits is found.
Description of infinite orbits on multiple projective spaces
Let $G$ be the general linear group of the degree $n\geq 2$ over the field $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$. In this article, we give a description of orbit decomposition of the multiple projective space $G^m/P^m$ under the diagonal action of $G$ where $P$ is the maximal parabolic subgroup of $G$ such that $G/P\cong\mathbb{P}^{n-1}\mathbb{K}$. We also construct representatives of orbits. If $m\geq 4$, the number of orbits is infinite, and we give a description of those uncountably many orbits.
Structural properties of non-crossing partitions from algebraic and geometric perspectives
Published
• View Publication
• BIB
The present thesis studies structural properties of non-crossing partitions associated to finite Coxeter groups from both algebraic and geometric perspectives. On the one hand, non-crossing partitions are lattices, and on the other hand, we can view them as simplicial complexes by considering their order complexes. We make use of these different interpretations and their interactions in various ways.
The order complexes of non-crossing partitions have a rich geometric structure, which we investigate in this thesis. In particular, we interpret them as subcomplexes of spherical buildings. From a more algebraic viewpoint, we study automorphisms and anti-automorphisms of non-crossing partitions and their relation to building automorphisms. We also compute the automorphism groups of non-crossing partitions of type $B$ and $D$, provided that $n \neq 4$ for type $D$. For this, we introduce a new pictorial representation for type $D$.
In type $A$ we study the structural properties of the order complex of the non-crossing partitions in more detail. In particular, we investigate the interaction of chamber distances and convex hulls in the non-crossing partition complex and the ambient spherical building. These questions are connected to the curvature conjecture of Brady and McCammond.
On Cayley graphs of basic algebraic structures
We present simple graph-theoretic characterizations of Cayley graphs for monoids, semigroups and groups. We extend these characterizations to commutative monoids, semilattices, and abelian groups.
A generalization of Edelman--Greene insertion for Schubert polynomials
Edelman and Greene generalized the Robinson--Schensted--Knuth correspondence to reduced words in order to give a bijective proof of the Schur positivity of Stanley symmetric functions. Stanley symmetric functions may be regarded as the stable limits of Schubert polynomials, and similarly Schur functions may be regarded as the stable limits of Demazure characters for the general linear group. We modify the Edelman--Greene correspondence to give an analogous, explicit formula for the Demazure character expansion of Schubert polynomials. Our techniques utilize dual equivalence and its polynomial variation, but here we demonstrate how to extract explicit formulas from that machinery which may be applied to other positivity problems as well.
Wilf's conjecture in fixed multiplicity
We give an algorithm to determine whether Wilf's conjecture holds for all numerical semigroups with a given multiplicity $m$, and use it to prove Wilf's conjecture holds whenever $m \le 18$. Our algorithm utilizes techniques from polyhedral geometry, and includes a parallelizable algorithm for enumerating the faces of any polyhedral cone up to orbits of an automorphism group. We also introduce a new method of verifying Wilf's conjecture via a combinatorially-flavored game played on the elements of a certain finite poset.
Candidate for the crystal $B(-\infty)$ for the queer Lie superalgebra
Published in Kyoto J. Math. 62, no. 2 (2022), 377-401
• View Publication
• BIB
It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovered from the limit in most cases.
Zero-sum subsets of decomposable sets in Abelian groups
A subset $D$ of an Abelian group is $decomposable$ if $\emptyset\ne D\subset D+D$. In the paper we give partial answer to an open problem asking whether every finite decomposable subset $D$ of an Abelian group contains a non-empty subset $Z\subset D$ with $\sum Z=0$. For every $n\in\mathbb N$ we present a decomposable subset $D$ of cardinality $|D|=n$ in the cyclic group of order $2^n-1$ such that $\sum D=0$, but $\sum T\ne 0$ for any proper non-empty subset $T\subset D$. On the other hand, we prove that every decomposable subset $D\subset\mathbb R$ of cardinality $|D|\le 7$ contains a non-empty subset $Z\subset D$ of cardinality $|Z|\le\frac12|D|$ with $\sum Z=0$. For every $n\in\mathbb N$ we present a subset $D\subset\mathbb Z$ of cardinality $|D|=2n$ such that $\sum Z=0$ for some subset $Z\subset D$ of cardinality $|Z|=n$ and $\sum T\ne 0$ for any non-empty subset $T\subset D$ of cardinality $|T|<n=\frac12|D|$. Also we prove that every finite decomposable subset $D$ of an Abelian group contains two non-empty subsets $A,B$ such that $\sum A+\sum B=0$.
Measurable Hall's theorem for actions of abelian groups
We prove a measurable version of the Hall marriage theorem for actions of finitely generated abelian groups. In particular, it implies that for free measure-preserving actions of such groups, if two equidistributed measurable sets are equidecomposable, then they are equidecomposable using measurable pieces. The latter generalizes a recent result of Grabowski, Máthé and Pikhurko on the measurable circle squaring and confirms a special case of a conjecture of Gardner.
Generalized Igusa functions and ideal growth in nilpotent Lie rings
We introduce a new class of combinatorially defined rational functions and apply them to deduce explicit formulae for local ideal zeta functions associated to the members of a large class of nilpotent Lie rings which contains the free class-2-nilpotent Lie rings and is stable under direct products. Our results unify and generalize a substantial number of previous computations. We show that the new rational functions, and thus also the local zeta functions under consideration, enjoy a self-reciprocity property, expressed in terms of a functional equation upon inversion of variables. We establish a conjecture of Grunewald, Segal, and Smith on the uniformity of normal zeta functions of finitely generated free class-2-nilpotent groups.