group
10258 papers tagged with this keyword
Group divisible designs with block size four and type $g^u b^1 (gu/2)^1$
We discuss group divisible designs with block size four and type $g^u b^1 (gu/2)^1$, where $u = 5$, 6 and 7. For integers $a$ and $b$, we prove the following. (i) A 4-GDD of type $(4a)^5 b^1 (10a)^1$ exists if and only if $a \ge 1$, $b \equiv a$ (mod 3) and $4a \le b \le 10a$. (ii) A 4-GDD of type $(6a+3)^6 b^1 (18a+9)^1$ exists if and only if $a \ge 0$, $b \equiv 3$ (mod 6) and $6a+3 \le b \le 18a + 9$. (iii) A 4-GDD of type $(6a)^6 b^1 (18a)^1$ exists if and only if $a \ge 1$, $b \equiv 0$ (mod 3) and $6a \le b \le 18a$. (iv) A 4-GDD of type $(12a)^7 b^1 (42a)^1$ exists if and only if $a \ge 1$, $b \equiv 0$ (mod 3) and $12a \le b \le 42a$, except possibly for $12a \in \{120, 180, 240, 360, 420, 720, 840\}$, $24a < b < 42a$, for $12a \in \{144, 1008\}$, $30a < b < 42a$, and for $12a \in \{168, 252, 336, 504, 1512\}$, $36a < b < 42a$.
On some properties of symplectic Grothendieck polynomials
Published in J. Pure Appl. Algebra 225 (2021), 106463
• View Publication
• BIB
Grothendieck polynomials, introduced by Lascoux and Schützenberger, are certain $K$-theory representatives for Schubert varieties. Symplectic Grothendieck polynomials, described more recently by Wyser and Yong, represent the $K$-theory classes of orbit closures for the complex symplectic group acting on the complete flag variety. We prove a transition formula for symplectic Grothendieck polynomials and study their stable limits. We show that each of the $K$-theoretic Schur $P$-functions of Ikeda and Naruse arises from a limiting procedure applied to symplectic Grothendieck polynomials representing certain "Grassmannian" orbit closures.
Quasi-automatic groups are asynchronously automatic
Published
• View Publication
• BIB
A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a quasi-automatic semigroup for which these rational relations are also recognisable by two-tape automata. We show that when such a semigroup happens to be a group, the converse actually holds, meaning quasi-automatic groups are asynchronously automatic.
Pairing symmetries for Euclidean and spherical frameworks
In this paper we consider the effect of symmetry on the rigidity of bar-joint frameworks, spherical frameworks and point-hyperplane frameworks in $\mathbb{R}^d$. In particular we show that, under forced or incidental symmetry, infinitesimal rigidity for spherical frameworks with vertices in $X$ on the equator and point-hyperplane frameworks with the vertices in $X$ representing hyperplanes are equivalent. We then show, again under forced or incidental symmetry, that infinitesimal rigidity properties under certain symmetry groups can be paired, or clustered, under inversion on the sphere so that infinitesimal rigidity with a given group is equivalent to infinitesimal rigidity under a paired group. The fundamental basic example is that mirror symmetric rigidity is equivalent to half-turn symmetric rigidity on the 2-sphere. With these results in hand we also deduce some combinatorial consequences for the rigidity of symmetric bar-joint and point-line frameworks.
K-theory formulas for orthogonal and symplectic orbit closures
Published in Adv. Math. 372 (2020), 107299
• View Publication
• BIB
The complex orthogonal and symplectic groups both act on the complete flag variety with finitely many orbits. We study two families of polynomials introduced by Wyser and Yong representing the $K$-theory classes of the closures of these orbits. Our polynomials are analogous to the Grothendieck polynomials representing $K$-classes of Schubert varieties, and we show that like Grothendieck polynomials, they are uniquely characterized among all polynomials representing the relevant classes by a certain stability property. We show that the same polynomials represent the equivariant $K$-classes of symmetric and skew-symmetric analogues of Knutson and Miller's matrix Schubert varieties. We derive explicit expressions for these polynomials in special cases, including a Pfaffian formula relying on a more general degeneracy locus formula of Anderson. Finally, we show that taking an appropriate limit of our representatives recovers the $K$-theoretic Schur $Q$-functions of Ikeda and Naruse.
Probabilistic Existence Results for Parent-Identifying Schemes
Parent-identifying schemes provide a way to identify causes from effects for some information systems such as digital fingerprinting and group testing. In this paper, we consider combinatorial structures for parent-identifying schemes. First, we establish an equivalent relationship between parent-identifying schemes and forbidden configurations. Based on this relationship, we derive probabilistic existence lower bounds for two related combinatorial structures, that is, $t$-parent-identifying set systems ($t$-IPPS) and $t$-multimedia parent-identifying codes ($t$-MIPPC), which are used in broadcast encryption and multimedia fingerprinting respectively. The probabilistic lower bound for the maximum size of a $t$-IPPS has the asymptotically optimal order of magnitude in many cases, and that for $t$-MIPPC provides the asymptotically optimal code rate when $t=2$ and the best known asymptotic code rate when $t\geq 3$. Furthermore, we analyze the structure of $2$-IPPS and prove some bounds for certain cases.
A combinatorial model for the decomposition of multivariate polynomial rings as $S_n$-modules
We consider the symmetric group $S_n$-module of the polynomial ring with $m$ sets of $n$ commuting variables and $m'$ sets of $n$ anti-commuting variables and show that the multiplicity of an irreducible indexed by the partition $λ$ (a partition of $n$) is the number of multiset tableaux of shape $λ$ satisfying certain column and row strict conditions. We also present a finite generating set for the ring of $S_n$ invariant polynomials of this ring.
Partition function of the cyclic group
This paper addresses the problem of finding $Q_{m,t}\left(n\right)$, the number of possible ways to partition any member $n$ of the cyclic group $\mathbb{Z}/m\mathbb{Z}$ into $t$ distinct parts. When $m$ is odd, it was previously known that the number of partitions of the identity element $0\bmod m$ with distinct parts is equal to the number of possible bi-color necklaces with $m$ beads. This paper will expand upon this result by showing the equivalence between $Q_{m,t}\left(n\right)$ and the number of bi-color necklaces meeting certain periodicity requirements, even when $m$ is even.
A formula on Stirling numbers of the second kind and its application to the unstable $K$-theory of stunted complex projective spaces
A formula on Stirling numbers of the second kind $S(n, k)$ is proved. As a corollary, for odd $n$ and even $k$, it is shown that $k!S(n, k)$ is a positive multiple of the greatest common divisor of $j!S(n, j)$ for $k+1\leq j\leq n$. Also, as an application to algebraic topology, some isomorphisms of unstable $K^1$-groups of stunted complex projective spaces are deduced.
Steiner (revised) Szeged index of graphs
The Steiner distance in a graph, introduced by Chartrand et al. in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least 2 and $S\subseteq V(G)$, the Steiner distance $d_G(S)$ of the set $S$ of vertices in $G$ is the minimum size of a connected subgraph whose vertex set contains or connects $S$. In this paper, we introduce the concept of the Steiner (revised) Szeged index ($rSz_k(G)$) $Sz_k(G)$ of a graph $G$, which is a natural generalization of the well-known (revised) Szeged index of chemical use. We determine the $Sz_k(G)$ for trees in general. Then we give a formula for computing the Steiner Szeged index of a graph in terms of orbits of automorphism group action on the edge set of the graph. Finally, we give sharp upper and lower bounds of ($rSz_k(G)$) $Sz_k(G)$ of a connected graph $G$, and establish some of its properties. Formulas of ($rSz_k(G)$) $Sz_k(G)$ for small and large $k$ are also given in this paper.
Whitney Numbers for Poset Cones
Hyperplane arrangements dissect $\mathbb{R}^n$ into connected components called chambers, and a well-known theorem of Zaslavsky counts chambers as a sum of nonnegative integers called Whitney numbers of the first kind. His theorem generalizes to count chambers within any cone defined as the intersection of a collection of halfspaces from the arrangement, leading to a notion of Whitney numbers for each cone. This paper focuses on cones within the braid arrangement, consisting of the reflecting hyperplanes $x_i=x_j$ inside $\mathbb{R}^n$ for the symmetric group, thought of as the type $A_{n-1}$ reflection group. Here cones correspond to posets, chambers within the cone correspond to linear extensions of the poset, and the Whitney numbers of the cone interestingly refine the number of linear extensions of the poset. We interpret this refinement for all posets as counting linear extensions according to a statistic that generalizes the number of left-to-right maxima of a permutation. When the poset is a disjoint union of chains, we interpret this refinement differently, using Foata's theory of cycle decomposition for multiset permutations, leading to a simple generating function compiling these Whitney numbers.
A bialternant formula for odd symplectic characters and its application
Published in Josai Mathematical Monographs 12 (2020), 99-116
• View Publication
• BIB
We present a bialternant formula for odd symplectic characters, which are the characters of indecomposable modules of odd symplectic groups introduced by R. Proctor. As an application, we give a linear algebraic proof to an odd symplectic character identity due to R. P. Brent, C. Krattenthaler and S. O. Warnaar.
Separators - a new statistic for permutations
A digit $π_j$ in a permutation $π=[π_1,\ldots,π_n]\in S_n$ is defined to be a separator of $π$ if by omitting it from $π$ we get a new $2-$block. In this work we introduce a new statistic, the number of separators, on the symmetric group $S_n$ and calculate its distribution over $S_n$. We also provide some enumerative and asymptotic results regarding this statistic.
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
Published in Fundamenta Informaticae, Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024 (December 27, 2025) fi:12328
• View Publication
• BIB
In this paper, we consider relational structures arising from Comer's finite field construction, where the cosets need not be sum free. These Comer schemes generalize the notion of a Ramsey scheme and may be of independent interest. As an application, we give the first finite representation of $34_{65}$. This leaves $33_{65}$ as the only remaining relation algebra in the family $N_{65}$ with a flexible atom that is not known to be finitely representable. Motivated by this, we complement our upper bounds with some lower bounds. Using a SAT solver, we show that $33_{65}$ is not finitely representable on fewer than $24$ points, and that $33_{65}$ does not admit a cyclic group representation on fewer than $120$ points. We also employ a SAT solver to show that $34_{65}$ is not representable on fewer than $24$ points.
A reciprocity on finite abelian groups involving zero-sum sequences
In this paper, we present a reciprocity on finite abelian groups involving zero-sum sequences. Let $G$ and $H$ be finite abelian groups with $(|G|,|H|)=1$. For any positive integer $m$, let $\mathsf M(G,m)$ denote the set of all zero-sum sequences over $G$ of length $m$. We have the following reciprocity $$|\mathsf M(G,|H|)|=|\mathsf M(H,|G|)|.$$ Moreover, we provide a combinatorial interpretation of the above reciprocity using ideas from rational Catalan combinatorics. We also present and explain some other symmetric relationships on finite abelian groups with methods from invariant theory. Among others, we partially answer a question proposed by Panyushev in a generalized version.
On the minimum degree of the power graph of a finite cyclic group
The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple undirected graph whose vertex set is $G$, in which two distinct vertices are adjacent if one of them is an integral power of the other. For an integer $n\geq 2$, let $C_n$ denote the cyclic group of order $n$ and let $r$ be the number of distinct prime divisors of $n$. The minimum degree $δ(\mathcal{P}(C_n))$ of $\mathcal{P}(C_n)$ is known for $r\in\{1,2\}$, see [18]. For $r\geq 3$, under certain conditions involving the prime divisors of $n$, we identify at most $r-1$ vertices such that $δ(\mathcal{P}(C_n))$ is equal to the degree of at least one of these vertices. If $r=3$ or if $n$ is a product of distinct primes, we are able to identify two such vertices without any condition on the prime divisors of $n$.
Some algebraic properties of a class of integral graphs determined by their spectrum
Let $Γ=(V,E)$ be a graph. If all the eigenvalues of the adjacency matrix of the graph $Γ$ are integers, then we say that $Γ$ is an integral graph. A graph $Γ$ is determined by its spectrum if every graph cospectral to it is in fact isomorphic to it. In this paper, we investigate some algebraic properties of the Cayley graph $Γ=Cay(\mathbb{Z}_{n}, S)$, where $n=p^m$, ($p$ is a prime integer, $m\in\mathbb{N}$) and $S=\{{a}\in\mathbb{Z}_{n}\,|\,\, (a, n)=1\}$. First, we show that $Γ$ is an integral graph. Also we determine the automorphism group of $Γ$. Moreover, we show that $Γ$ and $K_v \bigtriangledownΓ$ are determined by their spectrum.
On the spectrum of two families of non-distance-regular graphs
This paper addresses the challenge of spectral analysis and structural investigation for graphs that are not distance-regular, where computing the spectrum using standard methods based on equitable and orbit partitions can be complex. Our main objective is to determine all eigenvalues of the extended graph $E(2.O_k)$ by leveraging the relationship between its equitable and orbit partitions. While the integral nature of this graph has been previously studied, we introduce a novel approach to demonstrate the utility of this method in finding the complete set of distinct eigenvalues for a class of non-distance-regular graphs. Specifically, we first establish that $E(2.O_k)$ is a vertex-transitive graph with diameter $k$, contrasting with the diameter of $2.O_k$, which is $2k-1$. We also determine the automorphism group of $E(2.O_k)$ and prove that it is an integral graph, meaning all eigenvalues of its adjacency matrix are integers. A significant result is the determination of the multiplicity for all distinct eigenvalues of $E(2.O_k)$. Additionally, we extend our method to the enhanced Johnson graph $EJ(2m,m)$. Although its eigenvalues are known from prior work, the multiplicity of these distinct eigenvalues has not yet been calculated. We use our techniques to fully determine the multiplicity of all distinct eigenvalues for $EJ(2m,m)$.
A concatenation construction for propelinear perfect codes from regular subgroups of GA(r,2)
A code $C$ is called propelinear if there is a subgroup of $Aut(C)$ of order $|C|$ acting transitively on the codewords of $C$. In the paper new propelinear perfect binary codes of any admissible length more than $7$ are obtained by a particular case of the Solov'eva concatenation construction--1981 and the regular subgroups of the general affine group of the vector space over $GF(2)$.
Monoidal networks
In this paper we define and study the notion of a monoidal network, which consists of a commutative ring $R$ and a collection of groups $Γ_I$, indexed by the ideals of $R$, with $Γ_I$ acting on the quotient $R/I$ and satisfying a certain lifting condition. The examination of these objects is largely motivated by, and initially arose from, the study of the union-closed sets conjecture. This connection is made precise and other aspects of these structures are investigated.