group
10226 papers tagged with this keyword
Symmetric graphs of prime valency with a transitive simple group
A graph $\Ga=(V,E)$ is called a Cayley graph of some group $T$ if the automorphism group $\Aut(\Ga)$ contains a subgroup $T$ which acts on regularly on $V$. If the subgroup $T$ is normal in $\Aut(\Ga)$ then $\Ga$ is called a normal Cayley graph of $T$. Let $r$ be an odd prime. Fang et al. \cite{FMW} proved that, with a finite number of exceptions for finite simple group $T$, every connected symmetric Cayley graph of $T$ of valency $r$ is normal. In this paper, employing maximal factorizations of finite almost simple groups, we work out a possible list of those exceptions for $T$.
On the action of the toggle group of the Dynkin diagram of type A
Published in Algebraic Combinatorics, Volume 5 (2022) no. 1, pp. 149-161
• View Publication
• BIB
In this article, we consider involutions, called togglings, on the set of independent sets of the Dynkin diagram of type A, or a path graph. We are interested in the action of the subgroup of the symmetric group of the set of independent sets generated by togglings. We show that the subgroup coincides with the symmetric group.
Boundary of the boundary for random walks on groups
We study fine structure related to finitely supported random walks on infinite finitely generated discrete groups, largely motivated by dimension group techniques. The unfaithful extreme harmonic functions (defined only on proper space-time cones), aka unfaithful pure traces, can be represented on systems of finite support, avoiding dead ends. This motivates properties of the random walk (WC) and of the group (SWC) which become of interest in their own right. While all abelian groups satisfy WC, the do not satisfy SWC; however some abelian by finite groups do satisfy the latter, and we characterize when this occurs. In general, we determine the maximal order ideals, aka, maximal proper space-time subcones of that generated by the group element $1$ at time zero), and show that the corresponding quotients are stationary simple dimension groups, and that all such can occur for the free group on two generators. We conclude with a case study of the discrete Heisenberg group, determining among other things, the pure traces (these are the unfaithful ones, not arising from characters).
Polychrony as Chinampas
Published in Algorithms 2023, 16(4), 193
• View Publication
• BIB
In this paper, we study the flow of signals through linear paths with the nonlinear condition that a node emits a signal when it receives external stimuli or when two incoming signals from other nodes arrive coincidentally with a combined amplitude above a fixed threshold. Sets of such nodes form a polychrony group and can sometimes lead to cascades. In the context of this work, cascades are polychrony groups in which the number of nodes activated as a consequence of other nodes is greater than the number of externally activated nodes. The difference between these two numbers is the so-called profit.
Given the initial conditions, we predict the conditions for a vertex to activate at a prescribed time and provide an algorithm to efficiently reconstruct a cascade. We develop a dictionary between polychrony groups and graph theory. We call the graph corresponding to a cascade a chinampa. This link leads to a topological classification of chinampas. We enumerate the chinampas of profits zero and one and the description of a family of chinampas isomorphic to a family of partially ordered sets, which implies that the enumeration problem of this family is equivalent to computing the Stanley-order polynomials of those partially ordered sets.
Invariant algebras of matrices and symmetric polynomials of partitions
Published
• View Publication
• BIB
For a field $R$ of characteristic $p\ge 0$ and a matrix $c$ in the full $n\times n$ matrix algebra $M_n(R)$ over $R$, let $S_n(c,R)$ be the centralizer algebra of $c$ in $M_n(R)$. We show that $S_n(c,R)$ is a Frobenius-finite, $1$-Auslander-Gorenstein, and gendo-symmetric algebra, and that the extension $S_n(c,R)\subseteq M_n(R)$ is separable and Frobenius. Further, we study the isomorphism problem of invariant matrix algebras. Let $σ$ be a permutation in the symmetric group $Σ_n$ and $c_σ$ the corresponding permutation matrix in $M_n(R)$. We give sufficient and necessary conditions for the invariant algebra $S_n(c_σ,R)$ to be semisimple. If $R$ is an algebraically closed field, we establish a combinatoric characterization of when two semisimple invariant $R$-algebras are isomorphic in terms of the cycle types of permutations.
Combinatorics of vertex operators and deformed $W$-algebra of type D$(2,1;α)$
Published
• View Publication
• BIB
We consider sets of screening operators with fermionic screening currents. We study sums of vertex operators which formally commute with the screening operators assuming that each vertex operator has rational contractions with all screening currents with only simple poles. We develop and use the method of $qq$-characters which are combinatorial objects described in terms of deformed Cartan matrix. We show that each qq-character gives rise to a sum of vertex operators commuting with screening operators and describe ways to understand the sum in the case it is infinite.
We discuss combinatorics of the qq-characters and their relation to the q-characters of representations of quantum groups.
We provide a number of explicit examples of the qq-characters with the emphasis on the case of $D(2,1;α)$. We describe a relationship of the examples to various integrals of motion.
2-Arc-transitive Cayley graphs on alternating groups
Published
• View Publication
• BIB
An interesting fact is that most of the known connected $2$-arc-transitive nonnormal Cayley graphs of small valency on finite simple groups are $(\mathrm{A}_{n+1},2)$-arc-transitive Cayley graphs on $\mathrm{A}_n$. This motivates the study of $2$-arc-transitive Cayley graphs on $\mathrm{A}_n$ for arbitrary valency. In this paper, we characterize the automorphism groups of such graphs. In particular, we show that for a non-complete $(G,2)$-arc-transitive Cayley graph on $\mathrm{A}_n$ with $G$ almost simple, the socle of $G$ is either $\mathrm{A}_{n+1}$ or $\mathrm{A}_{n+2}$. We also construct the first infinite family of $(\mathrm{A}_{n+2},2)$-arc-transitive Cayley graphs on $\mathrm{A}_n$.
On Co-Maximal Subgroup Graph of a Group
Published
• View Publication
• BIB
The co-maximal subgroup graph $Γ(G)$ of a group $G$ is a graph whose vertices are non-trivial proper subgroups of $G$ and two vertices $H$ and $K$ are adjacent if $HK=G$. In this paper, we continue the study of $Γ(G)$, especially when $Γ(G)$ has isolated vertices. We define a new graph $Γ^*(G)$, which is obtained by removing isolated vertices from $Γ(G)$. We characterize when $Γ^*(G)$ is connected, a complete graph, star graph, has an universal vertex etc. We also find various graph parameters like diameter, girth, bipartiteness etc. in terms of properties of $G$.
Some properties of the parking function poset
Published in Electronic Journal of Combinatorics 29(4) (2022), Article P4.42
• View Publication
• BIB
In 1980, Edelman defined a poset on objects called the noncrossing 2-partitions. They are closely related with noncrossing partitions and parking functions. To some extent, his definition is a precursor of the parking space theory, in the framework of finite reflection groups. We present some enumerative and topological properties of this poset. In particular, we get a formula counting certain chains, that encompasses formulas for Whitney numbers (of both kinds). We prove shellability of the poset, and compute its homology as a representation of the symmetric group. We moreover link it with two well-known polytopes : the associahedron and the permutohedron.
Handle decompositions for a class of closed orientable PL 4-manifolds
Published in Indian J. Pure Appl. Math. 55 (2024), no. 4, 1166--1172
• View Publication
• BIB
In this article, we study a class of closed connected orientable PL $4$-manifolds admitting a semi-simple crystallization and which have an infinite cyclic fundamental group. We show that the manifold in the class admits a handle decomposition in which the number of $2$-handles depends upon its second Betti number and other $h$-handles ($h \leq 4$) are at most $2$. More precisely, our main result is the following. For a closed connected orientable PL $4$-manifold having a semi-simple crystallization with the fundamental group as $\mathbb{Z}$, we have constructed a handle decomposition for $M$ as one of the following types:
$(1)$ one $0$-handle, two $1$-handles, $1+β_2(M)$ $2$-handles, one $3$-handle and one $4$-handle,
$(2)$ one $0$-handle, one $1$-handle, $β_2(M)$ $2$-handles, one $3$-handle and one $4$-handle,
where $β_2(M)$ denotes the second Betti number of manifold $M$ with $\mathbb{Z}$ coefficients.
Switching equivalence of Hermitian adjacency matrices of mixed graphs
Let $0 \in Γ$ and $Γ\setminus \{0\}$ be a subgroup of the complex numbers of unit modulus. Define $\mathcal{H}_{n}(Γ)$ to be the set of all $n\times n$ Hermitian matrices with entries in $Γ$, whose diagonal entries are zero. The matrices $A,B\in \mathcal{H}_{n}(Γ)$ are said to be switching equivalent if there is a diagonal matrix $D$, in which the diagonal entries belong to $Γ\setminus \{0\}$, such that $D^{-1} A D=B$. We find a characterization, in terms of fundamental cycles of graphs, of switching equivalence of matrices in $\mathcal{H}_{n}(Γ)$. We give sufficient conditions to characterize the cospectral matrices in $\mathcal{H}_{n}(Γ)$. We find bounds on the number of switching equivalence classes of all mixed graphs with the same underlying graph. We also provide the size of all switching equivalence classes of mixed cycles, and give a formula that calculates the size of a switching equivalence class of a mixed plane graph. We also discuss an action of the automorphism group of a graph on switching equivalence classes of matrices in $\mathcal{H}_{n}(Γ)$.
Based modules over the $\imath$quantum group of type AI
Published
• View Publication
• BIB
This paper studies classical weight modules over the $\imath$quantum group $\mathbf{U}^{\imath}$ of type AI. We introduce the notion of based $\mathbf{U}^{\imath}$-modules by generalizing the notion of based modules over the quantum groups. We prove that each finite-dimensional irreducible classical weight $\mathbf{U}^{\imath}$-module with integer highest weight is a based $\mathbf{U}^{\imath}$-module. As a byproduct, a new combinatorial formula for the branching rule from $\mathfrak{sl}_n$ to $\mathfrak{so}_n$ is obtained.
Note on the offspring distribution for group testing in the linear regime
The group testing problem is concerned with identifying a small set of $k$ infected individuals in a large population of $n$ people. At our disposal is a testing scheme that can test groups of individuals. A test comes back positive if and only if at least one individual is infected. In this note, we lay groundwork for analysing belief propagation for group testing when $k$ scales linearly in $n$. To this end, we derive the offspring distribution for different types of individuals. With these distributions at hand, one can employ the population dynamics algorithm to simulate the posterior marginal distribution resulting from belief propagation.
Twisted cubic and orbits of lines in $\mathrm{PG}(3,q)$
In the projective space $\mathrm{PG}(3,q)$, we consider the orbits of lines under the stabilizer group of the twisted cubic. It is well known that the lines can be partitioned into classes every of which is a union of line orbits. All types of lines forming a unique orbit are found. For the rest of the line types (apart from one of them) it is proved that they form exactly two or three orbits; sizes and structures of these orbits are determined. Problems remaining open for one type of lines are formulated. For $5\le q\le37$ and $q=64$, they are solved.
Determinantal Formula for Generalized Riffle Shuffle
Published
• View Publication
• BIB
We consider a generalized riffle shuffle on the colored permutation group $G_{p, n}$ and derive a determinantal formula for the probability of finding descents at given positions, proof of which is based on the bijection between the set of shuffles in question and that of non-intersecting lattice paths.
On Gardner's conjecture
Published
• View Publication
• BIB
Gardner conjectured that if two bounded measurable sets $A,B \subset \mathbb{R}^n$ are equidecomposable by a set of isometries $Γ$ generating an amenable group then $A$ and $B$ admit a measurable equidecomposition by all isometries. Cieśla and Sabok asked if there is a measurable equidecomposition using isometries only in the group generated by $Γ$. We answer this question negatively.
Results and questions on matchings in groups and vector subspaces of fields
Published
• View Publication
• BIB
A matching from a finite subset $A$ of an abelian group to another subset $B$ is a bijection $f:A\rightarrow B$ with the property that $a+f(a)$ never lies in $A$. A matching is called acyclic if it is uniquely determined by its multiplicity function. Motivated by a question of E. K. Wakeford on canonical forms for symmetric tensors, the study of matchings and acyclic matchings in abelian groups was initiated by C. K. Fan and J. Losonczy in [16, 26], and was later generalized to the context of vector subspaces in a field extension [13, 1]. We discuss the acyclic matching and weak acyclic matching properties and we provide results on the existence of acyclic matchings in finite cyclic groups. As for field extensions, we completely classify field extensions with the linear acyclic matching property. The analogy between matchings in abelian groups and in field extensions is highlighted throughout the paper and numerous open questions are presented for further inquiry.
Twisted cubic and plane-line incidence matrix in $\mathrm{PG}(3,q)$
Published
• View Publication
• BIB
We consider the structure of the plane-line incidence matrix of the projective space $\mathrm{PG}(3,q)$ with respect to the orbits of planes and lines under the stabilizer group of the twisted cubic. Structures of submatrices with incidences between a union of line orbits and an orbit of planes are investigated. For the unions consisting of two or three line orbits, the original submatrices are split into new ones, in which the incidences are also considered. For each submatrix (apart from the ones corresponding to a special type of lines), the numbers of lines in every plane and planes through every line are obtained. This corresponds to the numbers of ones in columns and rows of the submatrices.
Tri-Partitions and Bases of an Ordered Complex
Published in Discrete and Computational Geometry (DCG) 64 (2020), 759-775
• View Publication
• BIB
Generalizing the decomposition of a connected planar graph into a tree and a dual tree, we prove a combinatorial analog of the classic Helmholz-Hodge decomposition of a smooth vector field. Specifically, we show that for every polyhedral complex, $K$, and every dimension, $p$, there is a partition of the set of $p$-cells into a maximal $p$-tree, a maximal $p$-cotree, and a collection of $p$-cells whose cardinality is the $p$-th Betti number of $K$. Given an ordering of the $p$-cells, this tri-partition is unique, and it can be computed by a matrix reduction algorithm that also constructs canonical bases of cycle and boundary groups.
Fraïssé and Ramsey properties of Fréchet spaces
Published
• View Publication
• BIB
We develop the theory of Fraïssé limits for classes of finite-dimensional multi-seminormed spaces, which are defined to be vector spaces equipped with a finite sequence of seminorms. We define a notion of a Fraïssé Fréchet space and we use the Fraïssé correspondence in this setting to obtain many examples of such spaces. This allows us to give a Fraïssé-theoretic construction of $(\mathbb{G}^ω, (\|\cdot\|_n)_{n<ω})$, the separable Fréchet space of almost universal disposition for the class of all finite-dimensional Fréchet spaces with an infinite sequence of seminorms. We then identify and prove an approximate Ramsey property for various classes of finite-dimensional multi-seminormed spaces using known approximate Ramsey properties of normed spaces. A version of the Kechris-Pestov-Todorčević correspondence for approximately ultrahomogeneous Fréchet spaces is also established and is used to obtain new examples of extremely amenable groups. In particular, we show that the group of surjective linear seminorm-preserving isometries of $(\mathbb{G}^ω, (\|\cdot\|_n)_{n<ω})$ is extremely amenable.