group
10226 papers tagged with this keyword
Cameron-Liebler line classes
Published in Des. Codes Cryptogr. 68 (2013), 33-37
• View Publication
• BIB
New examples of Cameron-Liebler line classes in $\mathrm{PG}(3,q)$ are given with parameter $\frac{1}{2}(q^2 -1)$. These examples have been constructed for many odd values of $q$ using a computer search, by forming a union of line orbits from a cyclic collineation group acting on the space. While there are many equivalent characterizations of these objects, perhaps the most significant is that a set of lines $\mathcal{L}$ in $\mathrm{PG}(3,q)$ is a Cameron-Liebler line class with parameter $x$ if and only if every spread $\mathcal{S}$ of the space shares precisely $x$ lines with $\mathcal{L}$. These objects are related to generalizations of symmetric tactical decompositions of $\mathrm{PG}(3,q)$, as well as to subgroups of $\mathrm{PΓL}(4,q)$ having equally many orbits on points and lines of $\mathrm{PG}(3,q)$. Furthermore, in some cases the line classes we construct are related to two-intersection sets in $\mathrm{AG}(2,q)$. Since there are very few known examples of these sets for $q$ odd, any new results in this direction are of particular interest.
The Sperner property for $132$-avoiding intervals in the weak order
Published in Bulletin of the London Mathematical Society, Volume 53 (2021)
• View Publication
• BIB
A well-known result of Stanley from 1980 implies that the weak order on a maximal parabolic quotient of the symmetric group $S_n$ has the Sperner property; this same property was recently established for the weak order on all of $S_n$ by Gaetz and Gao, resolving a long-open problem. In this paper we interpolate between these results by showing that the weak order on any parabolic quotient of $S_n$ (and more generally on any $132$-avoiding interval) has the Sperner property. This result is proven by exhibiting an action of $\mathfrak{sl}_2$ respecting the weak order on these intervals. As a corollary we obtain a new formula for principal specializations of Schubert polynomials. Our formula can be seen as a strong Bruhat order analogue of Macdonald's reduced word formula. This proof technique and formula generalize work of Hamaker, Pechenik, Speyer, and Weigandt and Gaetz and Gao.
Pentagonal geometries with block sizes 3, 4 and 5
Published
• View Publication
• BIB
A pentagonal geometry PENT($k$, $r$) is a partial linear space, where every line, or block, is incident with $k$ points, every point is incident with $r$ lines, and for each point $x$, there is a line incident with precisely those points that are not collinear with $x$. An opposite line pair in a pentagonal geometry consists of two parallel lines such that each point on one of the lines is not collinear with precisely those points on the other line.
We give a direct construction for an infinite sequence of pentagonal geometries with block size 3 and connected deficiency graphs. Also we present 39 new pentagonal geometries with block size 4 and five with block size 5, all with connected deficiency graphs. Consequentially we determine the existence spectrum up to a few possible exceptions for PENT(4, $r$) that do not contain opposite line pairs and for PENT(4, $r$) with one opposite line pair. More generally, given $j$ we show that there exists a PENT(4, $r$) with $j$ opposite line pairs for all sufficiently large admissible $r$. Using some new group divisible designs with block size 5 (including types $2^{35}$, $2^{71}$ and $10^{23}$) we significantly extend the known existence spectrum for PENT(5, $r$).
$K_4$-free character graphs with diameter three
Published
• View Publication
• BIB
Let $G$ be a finite group and let $\rm{Irr}(G)$ be the set of all irreducible complex characters of $G$. Let $\rm{cd}(G)$ be the set of all character degrees of $G$ and denote by $ρ(G)$ the set of primes which divide some character degrees in $\rm{cd}(G)$. The character graph $Δ(G)$ associated to $G$ is a graph whose vertex set is $ρ(G)$ and there is an edge between two distinct primes $p$ and $q$ if and only if the product $pq$ divides some character degree of $G$. Suppose the character graph $Δ(G)$ is $K_4$-free with diameter $3$.
In this paper, we show that $|ρ(G)|\neq 5$, if and only if $G\cong J_1 \times A$, where $J_1$ is the first Janko's sporadic simple group and $A$ is abelian.
Polynomial invariants on matrices and partition, Brauer algebra
Published
• View Publication
• BIB
We identify the dimension of the centralizer of the symmetric group $\mathfrak{S}_d$ in the partition algebra $\mathcal{A}_d(δ)$ and in the Brauer algebra $\mathcal{B}_d(δ)$ with the number of multidigraphs with $d$ arrows and the number of disjoint union of directed cycles with $d$ arrows, respectively. Using Schur-Weyl duality as a fundamental theory, we conclude that each centralizer is related with the $G$-invariant space $P^d(M_n(\mathbf{k}))^G$ of degree $d$ homogeneous polynomials on $n \times n$ matrices, where $G$ is the orthogonal group and the group of permutation matrices, respectively. Our approach gives a uniform way to show that the dimensions of $P^d(M_n(\mathbf{k}))^G$ are stable for sufficiently large $n$.
A combinatorial formula for Sahi, Stokman, and Venkateswaran's generalization of Macdonald polynomials
Published
• View Publication
• BIB
Sahi, Stokman, and Venkateswaran have constructed, for each positive integer $n$, a family of Laurent polynomials depending on parameters $q$ and $k$ (in addition to $\lfloor n/2\rfloor$ "metaplectic parameters"), such that the $n=1$ case recovers the nonsymmetric Macdonald polynomials and the $q\rightarrow\infty$ limit yields metaplectic Iwahori-Whittaker functions with arbitrary Gauss sum parameters. In this paper, we study these new polynomials, which we call SSV polynomials, in the case of $GL_r$. We apply a result of Ram and Yip in order to give a combinatorial formula for the SSV polynomials in terms of alcove walks. The formula immediately shows that the SSV polynomials satisfy a triangularity property with respect to a version of the Bruhat order, which in turn gives an independent proof that the SSV polynomials are a basis for the space of Laurent polynomials. The result is also used to show that the SSV polynomials have \emph{fewer} terms than the corresponding Macdonald polynomials. We also record an alcove walk formula for the natural generalization of the permuted basement Macdonald polynomials. We then construct a symmetrized variant of the SSV polynomials: these are symmetric with respect to a conjugate of the Chinta-Gunnells Weyl group action and reduce to symmetric Macdonald polynomials when $n=1$. We obtain an alcove walk formula for the symmetrized polynomials as well. Finally, we calculate the $q\rightarrow 0$ and $q\rightarrow \infty$ limits of the SSV polynomials and observe that our combinatorial formula can be written in terms of alcove walks with only positive and negative folds respectively. In both of these $q$-limit cases, we also observe a positivity result for the coefficients.
Cameron-Liebler Line Classes with parameter $x=\frac{(q+1)^2}{3}$
Published in Adv. Math. 385 (2021)
• View Publication
• BIB
Cameron-Liebler line classes were introduced in \cite{CL}, and motivated by a question about orbits of collineation groups of $\PG(3,q)$. These line classes have appeared in different contexts under disguised names such as Boolean degree one functions, regular codes of covering radius one, and tight sets. In this paper we construct an infinite family of Cameron-Liebler line classes in $\PG(3,q)$ with new parameter $x=(q+1)^2/3$ for all prime powers $q$ congruent to 2 modulo 3. The examples obtained when $q$ is an odd power of two represent the first infinite family of Cameron-Liebler line classes in $\PG(3,q)$, $q$ even.
A new proof of the growth rate of the solvable Baumslag-Solitar groups
Published
• View Publication
• BIB
We exhibit a regular language of geodesics for a large set of elements of $BS(1,n)$ and show that the growth rate of this language is the growth rate of the group. This provides a straightforward calculation of the growth rate of $BS(1,n)$, which was initially computed by Collins, Edjvet and Gill in [5]. Our methods are based on those we develop in [8] to show that $BS(1,n)$ has a positive density of elements of positive, negative and zero conjugation curvature, as introduced by Bar-Natan, Duchin and Kropholler in [1].
Path-cordial abelian groups
Published in Australasian Journal of Combinatorics 80, no. 1, 2021, 157-166
• Search Publication
A labeling of the vertices of a graph by elements of any abelian group $A$ induces a labeling of the edges by summing the labels of their endpoints. Hovey defined the graph $G$ to be $A$-cordial if it has such a labeling where the vertex labels and the edge labels are both evenly-distributed over $A$ in a technical sense. His conjecture that all trees $T$ are $A$-cordial for all cyclic groups $A$ remains wide open, despite significant attention. Curiously, there has been very little study of whether Hovey's conjecture might extend beyond the class of cyclic groups.
We initiate this study by analyzing the larger class of finite abelian groups $A$ such that all path graphs are $A$-cordial. We conjecture a complete characterization of such groups, and establish this conjecture for various infinite families of groups as well as for all groups of small order.
Canonical double covers of circulants
Published in Journal of Combinatorial Theory Series B, Volume 154, Year 2022, Pages 49-59
• View Publication
• BIB
The canonical double cover $B(X)$ of a graph $X$ is the direct product of $X$ and $K_2$. If $Aut(B(X)) \cong Aut(X) \times \mathbb{Z}_2$ then $X$ is called stable; otherwise $X$ is called unstable. An unstable graph is nontrivially unstable if it is connected, non-bipartite and distinct vertices have different neighborhoods. Circulant is a Cayley graph on a cyclic group. Qin et al. conjectured in [J. Combin. Theory Ser. B 136 (2019), 154-169] that there are no nontrivialy unstable circulants of odd order. In this paper we prove this conjecture.
Singular Graphs with Dihedral Group Action
Published
• View Publication
• BIB
Let $Γ$ be a simple undirected graph on a finite vertex set and let $A$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A$ is singular. The problem of characterising singular graphs is easy to state but very difficult to resolve in any generality. In this paper we investigate the singularity of graphs for which the dihedral group acts transitively on vertices as a group of automorphisms.
Increasing Subsequences and Kronecker Coefficients
Published
• View Publication
• BIB
It has been conjectured by W. Chen that the distribution of the length of the longest increasing subsequence in a uniformly random permutation is log-concave. We propose a stronger version of this conjecture which involves the Kronecker coefficients of the symmetric group.
The reflection representation in the homology of subword order
Published in Algebraic Combinatorics, Volume 4, Issue 5 (2021)
• View Publication
• BIB
We investigate the homology representation of the symmetric group on rank-selected subposets of subword order.
We show that the homology module for words of bounded length, over an alphabet of size $n,$
decomposes into a sum of tensor powers of the $S_n$-irreducible $S_{(n-1,1)}$ indexed by the partition $(n-1,1),$ recovering, as a special case, a theorem of Björner and Stanley for words of length at most $k.$ For arbitrary ranks we show that the homology is an integer combination of positive tensor powers of the reflection representation $S_{(n-1,1)}$, and conjecture that this combination is nonnegative. We uncover a curious duality in homology in the case when one rank is deleted.
We prove that the action on the rank-selected chains of subword order is a nonnegative integer combination of tensor powers of $S_{(n-1,1)}$, and show that its Frobenius characteristic is $h$-positive and supported on the set $T_{1}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 1\}.$
Our most definitive result describes the Frobenius characteristic of the homology for an arbitrary set of ranks, plus or minus one copy of the Schur function $s_{(n-1,1)},$ as an integer combination of the set
$T_{2}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 2\}.$ We conjecture that this combination is nonnegative, establishing this fact for particular cases.
Sets Arising as Minimal Additive Complements in the Integers
Published
• View Publication
• BIB
A subset $C$ of an abelian group $G$ is a minimal additive complement to $W \subseteq G$ if $C + W = G$ and if $C' + W \neq G$ for any proper subset $C' \subset C$. In this paper, we study which sets of integers arise as minimal additive complements. We confirm a conjecture of Kwon, showing that bounded-below sets with arbitrarily large gaps arise as minimal additive complements. Moreover, our construction shows that any such set belongs to a co-minimal pair, strengthening a result of Biswas and Saha for lacunary sequences. We bound the upper and lower Banach density of syndetic sets that arise as minimal additive complements to finite sets. We provide some necessary conditions for an eventually periodic set to arise as a minimal additive complement and demonstrate that these necessary conditions are also sufficient for certain classes of eventually periodic sets. We conclude with several conjectures and questions concerning the structure of minimal additive complements.
Unimodality of the Expectation of Betti Numbers for Bernoulli Random Quota Complexes
We study certain random simplicial complexes, called random quota complexes. A quota complex on $N+1$ weighted vertices is constructed by adding an $n$-simplex if the sum of the weights of the vertices is below a given quota, $q$. In this paper, the weights of the vertices are chosen i.i.d. with a Bernoulli distribution. The main result of this paper is that the expectation of the $m^{\textrm{th}}$ Betti number, i.e., the dimension of the $m^{\textrm{th}}$ homology group, is unimodal in $m$.
On subgroup perfect codes in Cayley graphs
Published
• View Publication
• BIB
A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if there exists a Cayley graph of $G$ which admits $H$ as a perfect code. Equivalently, $H$ is a subgroup perfect code of $G$ if there exists an inverse-closed subset $A$ of $G$ containing the identity element such that $(A, H)$ is a tiling of $G$ in the sense that every element of $G$ can be uniquely expressed as the product of an element of $A$ and an element of $H$. In this paper we obtain multiple results on subgroup perfect codes of finite groups, including a few necessary and sufficient conditions for a subgroup of a finite group to be a subgroup perfect code, a few results involving $2$-subgroups in the study of subgroup perfect codes, and several results on subgroup perfect codes of metabelian groups, generalized dihedral groups, nilpotent groups and $2$-groups.
Erdős-Ko-Rado problems for permutation groups
In this paper, we study intersecting sets in primitive and quasiprimitive permutation groups. Let $G \leqslant \mathrm{Sym}(Ω)$ be a transitive permutation group, and ${S}$ an intersecting set. Previous results show that if $G$ is either 2-transitive or a Frobenius group, then $|{S}|\leqslant|G_ω|$ (for some $ω\in Ω$). Furthermore, for some 2-transitive groups, $|{S}|=|G_ω|$ if and only if ${S}$ is a coset of a stabilizer. In this paper, we prove that these statements are far from the truth for general transitive groups. In particular, we show that in the case of primitive groups, there is even no absolute constant $c$ such that $|{S}|\leqslant c|G_ω|$. In the case $G$ is a primitive permutation group isomorphic to $\mathrm{PSL(2,p)}$, we characterize the subgroups of $G$ which are intersecting sets. We also show that if $G \leqslant \mathrm{Sym}(Ω)$ is a permutation group of prime power degree, then for any intersecting set $S$, we have $|S|\leq |G_ω|$ (for some $ω\in Ω$). This proves a part of a conjecture in \cite{MRS}.
Symmetric contact systems of segments, pseudotriangulations and inductive constructions for corresponding surface graphs
We characterise the quotient surface graphs arising from symmetric contact systems of line segments in the plane and also from symmetric pointed pseudotriangulations in the case where the group of symmetries is generated by a translation or a rotation of finite order. These results generalise well known results of Thomassen, in the case of line segments, and of Streinu and Haas et al., in the case of pseudotriangulations. Our main tool is a new inductive characterisation of the appropriate classes of surface graphs. We also discuss some consequences of our results in the area of geometric rigidity theory.
Quiver Mutations, Seiberg Duality and Machine Learning
Published in Phys. Rev. D 102, 086013 (2020)
• View Publication
• BIB
We initiate the study of applications of machine learning to Seiberg duality, focusing on the case of quiver gauge theories, a problem also of interest in mathematics in the context of cluster algebras. Within the general theme of Seiberg duality, we define and explore a variety of interesting questions, broadly divided into the binary determination of whether a pair of theories picked from a series of duality classes are dual to each other, as well as the multi-class determination of the duality class to which a given theory belongs. We study how the performance of machine learning depends on several variables, including number of classes and mutation type (finite or infinite). In addition, we evaluate the relative advantages of Naive Bayes classifiers versus Convolutional Neural Networks. Finally, we also investigate how the results are affected by the inclusion of additional data, such as ranks of gauge/flavor groups and certain variables motivated by the existence of underlying Diophantine equations. In all questions considered, high accuracy and confidence can be achieved.
Hamiltonian decompositions of 4-regular Cayley graphs of infinite abelian groups
Published
• View Publication
• BIB
A well-known conjecture of Alspach says that every $2k$-regular Cayley graph of an abelian group can be decomposed into Hamiltonian cycles. We consider an analogous question for infinite abelian groups. In this setting one natural analogue of a Hamiltonian cycle is a spanning double-ray. However, a naive generalisation of Alspach's conjecture fails to hold in this setting due to the existence of $2k$-regular Cayley graphs with finite cuts $F$ where $|F|$ and $k$ differ in parity, which necessarily preclude the existence of a decomposition into spanning double-rays.
We show that every $4$-regular Cayley graph of an infinite abelian group all of whose finite cuts are even can be decomposed into spanning double-rays, and so characterise when such decompositions exist. We also characterise when such graphs can be decomposed either into Hamiltonian circles, a more topological generalisation of a Hamiltonian cycle in infinite graphs, or into a Hamiltonian circle and a spanning double-ray.