group
10226 papers tagged with this keyword
The inverse Kazhdan-Lusztig polynomial of a matroid
Published in Journal of Combinatorial Theory, Series B, Volume 151, November 2021, Pages 375-392
• View Publication
• BIB
In analogy with the classical Kazhdan-Lusztig polynomials for Coxeter groups, Elias, Proudfoot and Wakefield introduced the concept of Kazhdan-Lusztig polynomials for matroids. It is known that both the classical Kazhdan-Lusztig polynomials and the matroid Kazhdan-Lusztig polynomials can be considered as special cases of the Kazhdan-Lusztig-Stanley polynomials for locally finite posets. In the framework of Kazhdan-Lusztig-Stanley polynomials, we study the inverse of Kazhdan-Lusztig-Stanley functions and define the inverse Kazhdan-Lusztig polynomials for matroids. We also compute these polynomials for boolean matroids and uniform matroids. As an unexpected application of the inverse Kazhdan-Lusztig polynomials, we obtain a new formula to compute the Kazhdan-Lusztig polynomials for uniform matroids. Similar to the Kazhdan-Lusztig polynomial of a matroid, we conjecture that the coefficients of its inverse Kazhdan-Lusztig polynomial are nonnegative and log-concave.
Descending the Stable Matching Lattice: How many Strategic Agents are required to turn Pessimality to Optimality?
Published
• View Publication
• BIB
The set of stable matchings induces a distributive lattice. The supremum of the stable matching lattice is the boy-optimal (girl-pessimal) stable matching and the infimum is the girl-optimal (boy-pessimal) stable matching. The classical boy-proposal deferred-acceptance algorithm returns the supremum of the lattice, that is, the boy-optimal stable matching. In this paper, we study the smallest group of girls, called the {\em minimum winning coalition of girls}, that can act strategically, but independently, to force the boy-proposal deferred-acceptance algorithm to output the girl-optimal stable matching. We characterize the minimum winning coalition in terms of stable matching rotations and show that its cardinality can take on any value between $0$ and $\left\lfloor \frac{n}{2}\right\rfloor$, for instances with $n$ boys and $n$ girls. Our main result is that, for the random matching model, the expected cardinality of the minimum winning coalition is $(\frac{1}{2}+o(1))\log{n}$. This resolves a conjecture of Kupfer \cite{Kup18}.
On 2-closures of rank 3 groups
Published
• View Publication
• BIB
A permutation group $G$ on $Ω$ is called a rank 3 group if it has precisely three orbits in its induced action on $Ω\times Ω$. The largest permutation group on $Ω$ having the same orbits as $G$ on $Ω\times Ω$ is called the 2-closure of $G$. A description of 2-closures of rank 3 groups is given. As a special case, it is proved that 2-closure of a primitive one-dimensional affine rank 3 permutation group of sufficiently large degree is also affine and one-dimensional.
Gain-line graphs via $G$-phases and group representations
Published in Linear Algebra and its Applications 613 (2021), 241-270
• View Publication
• BIB
Let $G$ be an arbitrary group. We define a gain-line graph for a gain graph $(Γ,ψ)$ through the choice of an incidence $G$-phase matrix inducing $ψ$. We prove that the switching equivalence class of the gain function on the line graph $L(Γ)$ does not change if one chooses a different $G$-phase inducing $ψ$ or a different representative of the switching equivalence class of $ψ$. In this way, we generalize to any group some results proven by N. Reff in the abelian case. The investigation of the orbits of some natural actions of $G$ on the set $\mathcal H_Γ$ of $G$-phases of $Γ$ allows us to characterize gain functions on $Γ$, gain functions on $L(Γ)$, their switching equivalence classes and their balance property. The use of group algebra valued matrices plays a fundamental role and, together with the matrix Fourier transform, allows us to represent a gain graph with Hermitian matrices and to perform spectral computations. Our spectral results also provide some necessary conditions for a gain graph to be a gain-line graph.
Results on partial geometries with an abelian Singer group of rigid type
Published
• View Publication
• BIB
A partial geometry $S$ admitting an abelian Singer group $G$ is called of rigid type if all lines of $S$ have a trivial stabilizer in $G$. In this paper, we show that if a partial geometry of rigid type has fewer than $1000000$ points it must be the Van Lint-Schrijver geometry or be a hypothetical geometry with 1024 or 4096 or 194481 points, which provides evidence that partial geometries of rigid type are very rare. Along the way we also exclude an infinite set of parameters that originally seemed very promising for the construction of partial geometries of rigid type (as it contains the Van Lint-Schrijver parameters as its smallest case and one of the other cases we cannot exclude as the second member of this parameter family). We end the paper with a conjecture on this type of geometries.
Asymptotic behaviour of minimal complements
The notion of minimal complements was introduced by Nathanson in 2011 as a natural group-theoretic analogue of the metric concept of nets. Given two non-empty subsets $W,W'$ in a group $G$, the set $W'$ is said to be a complement to $W$ if $W\cdot W'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. The inverse problem asks which sets may or not occur as minimal complements. We show some new results on the inverse problem and investigate how the study of the inverse problem naturally gives rise to questions about the asymptotic behaviour of these sets, providing partial answers to some of them.
The Polychromatic Number of Small Subsets of the Integers Modulo $n$
Published
• View Publication
• BIB
If $S$ is a subset of an abelian group $G$, the polychromatic number of $S$ in $G$ is the largest integer $k$ so that there is a $k-$coloring of the elements of $G$ such that every translate of $S$ in $G$ gets all $k$ colors. We determine the polychromatic number of all sets of size 2 or 3 in the group of integers mod n.
Total nonnegativity and induced sign characters of the Hecke algebra
Published
• View Publication
• BIB
Let $\mathfrak S_{[i,j]}$ be the subgroup of the symmetric group $\mathfrak S_n$ generated by adjacent transpositions $(i,i+1), \dotsc, (j-1,j)$, assuming $1 \leq i < j \leq n$. We give a combinatorial rule for evaluating induced sign characters of the type-$A$ Hecke algebra $H_n(q)$ at all elements of the form $\sum_{w \in \mathfrak S_{[i,j]}} T_w$ and at all products of such elements. This includes evaluation at some elements $C'_w(q)$ of the Kazhdan-Lusztig basis.
Isotopy graphs of Latin tableaux
Published
• View Publication
• BIB
Latin tableaux are a generalization of Latin squares, which first appeared in the early 2000's in a paper of Chow, Fan, Goemans, and Vondrák. Here, we extend the notion of isotopy, a permutation group action, from Latin squares to Latin tableaux. We define isotopy graphs for Latin tableaux, which encode the structure of orbits under the isotopy action, and investigate the relationship between the shape of a Latin tableau and the structure of its isotopy graph. Our main result shows that for any positive integer $d$, there is a Latin tableau whose isotopy graph is a $d$-dimensional cube. We show that most isotopy graphs are triangle-free, and we give a characterization of all the Latin tableaux for which the isotopy graph contains a triangle. We also give a formula for the degree of a vertex of each component of an isotopy graph which depends on both the shape of the Latin Tableaux and the filling.
Signed Euler-Mahonian identities
Published
• View Publication
• BIB
A relationship between signed Eulerian polynomials and the classical Eulerian polynomials on $\mathfrak{S}_n$ was given by Désarménien and Foata in 1992, and a refined version, called signed Euler-Mahonian identity, together with a bijective proof were proposed by Wachs in the same year. By generalizing this bijection, in this paper we extend the above results to the Coxeter groups of types $B_n$, $D_n$, and the complex reflection group $G(r,1,n)$, where the `sign' is taken to be any one-dimensional character. Some obtained identities can be further restricted on some particular set of permutations. We also derive some new interesting sign-balance polynomials for types $B_n$ and $D_n$.
Turán and Ramsey problems for alternating multilinear maps
Guided by the connections between hypergraphs and exterior algebras, we study Turán and Ramsey type problems for alternating multilinear maps. This study lies at the intersection of combinatorics, group theory, and algebraic geometry, and has origins in the works of Lovász (Proc. Sixth British Combinatorial Conf., 1977), Buhler, Gupta, and Harris (J. Algebra, 1987), and Feldman and Propp (Adv. Math., 1992).
Our main result is a Ramsey theorem for alternating bilinear maps. Given $s, t\in \mathbb{N}$, $s, t\geq 2$, and an alternating bilinear map $f:V\times V\to U$ with $\dim(V)=s\cdot t^4$, we show that there exists either a dimension-$s$ subspace $W\leq V$ such that $\dim(f(W, W))=0$, or a dimension-$t$ subspace $W\leq V$ such that $\dim(f(W, W))=\binom{t}{2}$. This result has natural group-theoretic (for finite $p$-groups) and geometric (for Grassmannians) implications, and leads to new Ramsey-type questions for varieties of groups and Grassmannians.
Graph automaton groups
Published in Adv. Group Theory Appl. 11 (2021), 75-112
• View Publication
• BIB
In this paper we define a way to get a bounded invertible automaton starting from a finite graph. It turns out that the corresponding automaton group is regular weakly branch over its commutator subgroup, contains a free semigroup on two elements and is amenable of exponential growth. We also highlight a connection between our construction and the right-angled Artin groups. We then study the Schreier graphs associated with the self-similar action of these automaton groups on the regular rooted tree. We explicitly determine their diameter and their automorphism group in the case where the initial graph is a path. Moreover, we show that the case of cycles gives rise to Schreier graphs whose automorphism group is isomorphic to the dihedral group. It is remarkable that our construction recovers some classical examples of automaton groups like the Adding machine and the Tangled odometer.
On the Number of Affine Equivalence Classes of Boolean Functions
Published
• View Publication
• BIB
Let $R(r,n)$ be the $r$th order Reed-Muller code of length $2^n$. The affine linear group $\text{AGL}(n,\Bbb F_2)$ acts naturally on $R(r,n)$. We derive two formulas concerning the number of orbits of this action: (i) an explicit formula for the number of AGL orbits of $R(n,n)$, and (ii) an asymptotic formula for the number of AGL orbits of $R(n,n)/R(1,n)$. The number of AGL orbits of $R(n,n)$ has been numerically computed by several authors for $n\le 10$; result (i) is a theoretic solution to the question. Result (ii) answers a question by MacWilliams and Sloane.
A unified approach to combinatorial triangles: a generalized Eulerian polynomial
Motivated by the classical Eulerian number, descent and excedance numbers in the hyperoctahedral groups, an triangular array from staircase tableaux and so on, we study a triangular array $[\mathcal {T}_{n,k}]_{n,k\ge 0}$ satisfying the recurrence relation: \begin{equation*} \mathcal {T}_{n,k}=λ(a_0n+a_1k+a_2)\mathcal {T}_{n-1,k}+(b_0n+b_1k+b_2)\mathcal {T}_{n-1,k-1}+\frac{cd}λ(n-k+1)\mathcal {T}_{n-1,k-2} \end{equation*} with $\mathcal {T}_{0,0}=1$ and $\mathcal {T}_{n,k}=0$ unless $0\le k\le n$. We derive a functional transformation for its row-generating function $\mathcal{T}_n(x)$ from the row-generating function $A_n(x)$ of another array $[A_{n,k}]_{n,k}$ satisfying a two-term recurrence relation. Based on this transformation, we can get properties of $\mathcal {T}_{n,k}$ and $\mathcal{T}_n(x)$ including nonnegativity, log-concavity, real rootedness, explicit formula and so on. Then we extend the famous Frobenius formula, the $γ$ positivity decomposition and the David-Barton formula for the classical Eulerian polynomial to those of a generalized Eulerian polynomial. We also get an identity for the generalized Eulerian polynomial with the general derivative polynomial.
Finally, we apply our results to an array from the Lambert function, a triangular array from staircase tableaux and the alternating-runs triangle of type $B$ in a unified approach.
Graphs isomorphisms under edge-replacements and the family of amoebas
Published
• View Publication
• BIB
This paper offers a systematic study of a family of graphs called amoebas. Amoebas recently emerged from the study of forced patterns in $2$-colorings of the edges of the complete graph in the context of Ramsey-Turan theory and played an important role in extremal zero-sum problems. Amoebas are graphs with a unique behavior with regards to the following operation: Let $G$ be a graph and let $e\in E(G)$ and $e'\in E(\overline{G})$. If the graph $G'=G-e+e'$ is isomorphic to $G$, we say $G'$ is obtained from $G$ by performing a \emph{feasible edge-replacement}. We call $G$ a \emph{local amoeba} if, for any two copies $G_1$, $G_2$ of $G$ on the same vertex set, $G_1$ can be transformed into $G_2$ by a chain of feasible edge-replacements. On the other hand, $G$ is called \emph{global amoeba} if there is an integer $t_0 \ge 0$ such that $G \cup tK_1$ is a local amoeba for all $t \ge t_0$. To model the dynamics of the feasible edge-replacements of $G$, we define a group ${\rm Fer}(G)$ that satisfies that $G$ is a local amoeba if and only if ${\rm Fer}(G) \cong S_n$, where $n$ is the order of $G$. Via this algebraic setting, a deeper understanding of the structure of amoebas and their intrinsic properties comes into light. Moreover, we present different constructions that prove the richness of these graph families showing, among other things, that any connected graph can be a connected component of a global amoeba, that global amoebas can be very dense and that they can have, in proportion to their order, large clique and chromatic numbers. Also, a family of global amoeba trees with a Fibonacci-like structure and with arbitrary large maximum degree is constructed.
The Covering Numbers of the McLaughlin Group and some Primitive Groups of Low Degree
Published
• View Publication
• BIB
A \emph{finite cover} of a group $G$ is a finite collection $\mathcal{C}$ of proper subgroups of $G$ with the property that $\bigcup \mathcal{C} = G$. A finite group admits a finite cover if and only if it is noncyclic. More generally, it is known that a group admits a finite cover if and only if it has a finite, noncyclic homomorphic image. If $\mathcal{C}$ is a finite cover of a group $G$, and no cover of $G$ with fewer subgroups exists, then $\mathcal{C}$ is said to be a \emph{minimal cover} of $G$, and the cardinality of $\mathcal{C}$ is called the \emph{covering number} of $G$, denoted by $σ(G)$. Here we investigate the covering numbers of the McLaughlin sporadic simple group and some low degree primitive groups.
The socle tableau as a dual version of the Littlewood-Richardson tableau
Published in J. London Math. Soc (2) 106 (2022), 1357-1379
• View Publication
• BIB
Like the LR-tableau, a socle tableau is given as a skew diagram with certain entries. Unlike in the LR-tableau, the entries in the socle tableau are weakly increasing in each row, strictly increasing in each column and satisfy a modified lattice permutation property. In the study of embeddings of a subgroup in a finite abelian $p$-group, socle tableaux occur as isomorphism invariants, they are given by the socle series of the subgroup. We show that each socle tableau can be realized by some embedding. Moreover, the socle tableau of an embedding and the LR-tableau of the dual embedding determine each other.
Equality of various graphs on finite semigroups
In this paper, we consider various graphs, namely: power graph, cyclic graph, enhanced power graph and commuting graph, on a finite semigroup $S$. For an arbitrary pair of these four graphs, we classify finite semigroups such that the graphs in this pair are equal. In this connection, for each of the graph we also give a necessary and sufficient condition on $S$ such that it is complete. The work of this paper generalize the corresponding results obtained for groups.
On flag-transitive imprimitive 2-designs
Published
• View Publication
• BIB
In 1987, Huw Davies proved that, for a flag-transitive point-imprimitive $2$-$(v,k,λ)$ design, both the block-size $k$ and the number $v$ of points are bounded by functions of $λ$, but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of $λ$ bounding $k$ and $v$. For $λ\leq 4$ we obtain a list of `numerically feasible' parameter sets $v, k, λ$ together with the number of parts and part-size of an invariant point-partition and the size of a nontrivial block-part intersection. Moreover from these parameter sets we determine all examples with fewer than $100$ points. There are exactly eleven such examples, and for one of these designs, a flag-regular, point-imprimitive $2-(36,8,4)$ design with automorphism group ${\rm Sym}(6)$, there seems to be no construction previously available in the literature.
The geometry of diagonal groups
Published
• View Publication
• BIB
Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied.
The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over any group, finite or infinite.
A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our axioms. However, for m>=3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.)
A diagonal semilattice is contained in the partition lattice on a set, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics.
We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions are equivalent for diagonal groups).
Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group except in four small cases with m<=3. The class of diagonal graphs includes some well-known families, Latin-square graphs and folded cubes. We obtain partial results on the chromatic number of a diagonal graph, and mention an application to synchronization.