group
10226 papers tagged with this keyword
The Adjacency Spectra of Some Families of Minimally Connected Prime Graphs
Published
• View Publication
• BIB
In finite group theory, studying the prime graph of a group has been an important topic for almost the past half-century. Recently, prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs without any knowledge of the group theoretical background. In this paper we study prime graphs from a linear algebra angle and focus on the class of minimally connected prime graphs introduced in earlier work on the subject. As our main results, we determine the determinants of the adjacency matrices and the spectra of some important families of these graphs.
Finding the Second-Best Candidate under the Mallows Model
Published
• View Publication
• BIB
The well-known secretary problem in sequential analysis and optimal stopping theory asks one to maximize the probability of finding the optimal candidate in a sequentially examined list under the constraint that accept/reject decisions are made in real-time. A version of the problem is the so-called postdoc problem, for which the question of interest is to devise a strategy that identifies the second-best candidate with highest possible probability of success.
We study the postdoc problem in its combinatorial form. In this setting, a permutation $π$ of length $N$ is sampled according to some distribution on the symmetric group $S_N$ and the elements of $π$ are revealed one-by-one from left to right so that at each step, one can only observe the relative orders of the elements. At each step, one must decide to either accept or reject the currently presented element and cannot recall the decision in the future. The question of interest is to find the optimal strategy for selecting the position of the second-largest value. We solve the postdoc problem for the untraditional setting where the candidates are not presented uniformly at random but rather according to permutations drawn from the Mallows distribution. The Mallows distribution assigns to each permutation $π\in S_N$ a weight $θ^{c(π)}$, where the function c counts the number of inversions in $π$. To identify the optimal stopping criteria for the significantly more challenging postdoc problem, we adopt a combinatorial methodology that includes new proof techniques and novel methodological extensions compared to the analysis first introduced in the setting of the secretary problem. The optimal strategies depend on the parameter $θ$ of the Mallows distribution and can be determined exactly by solving well-defined recurrence relations.
Conic divisorial ideals and non-commutative crepant resolutions of edge rings of complete multipartite graphs
Published
• View Publication
• BIB
The first goal of the present paper is to study the class groups of the edge rings of complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$, where $1 \leq r_1 \leq \cdots \leq r_n$. More concretely, we prove that the class group of $\Bbbk[K_{r_1,\ldots,r_n}]$ is isomorphic to $\mathbb{Z}^n$ if $n =3$ with $r_1 \geq 2$ or $n \geq 4$, while it turns out that the excluded cases can be deduced into Hibi rings. The second goal is to investigate the special class of divisorial ideals of $\Bbbk[K_{r_1,\ldots,r_n}]$, called conic divisorial ideals. We describe conic divisorial ideals for certain $K_{r_1,\ldots,r_n}$ including all cases where $\Bbbk[K_{r_1,\ldots,r_n}]$ is Gorenstein. Finally, we give a non-commutative crepant resolution (NCCR) of $\Bbbk[K_{r_1,\ldots,r_n}]$ in the case where it is Gorenstein.
The sandpile group of polygon rings and twisted polygon rings
Published
• View Publication
• BIB
Let $C_{k_1}, \ldots, C_{k_n}$ be cycles with $k_i\geq 2$ vertices ($1\le i\le n$). By attaching these $n$ cycles together in a linear order, we obtain a graph called a polygon chain. By attaching these $n$ cycles together in a cyclic order, we obtain a graph, which is called a polygon ring if it can be embedded on the plane; and called a twisted polygon ring if it can be embedded on the Möbius band. It is known that the sandpile group of a polygon chain is always cyclic. Furthermore, there exist edge generators. In this paper, we not only show that the sandpile group of any (twisted) polygon ring can be generated by at most three edges, but also give an explicit relation matrix among these edges. So we obtain a uniform method to compute the sandpile group of arbitrary (twisted) polygon rings, as well as the number of spanning trees of (twisted) polygon rings. As an application, we compute the sandpile groups of several infinite families of polygon rings, including some that have been done before by ad hoc methods, such as, generalized wheel graphs, ladders and Möbius ladders.
Discrete logarithm problem in some families of sandpile groups
Biggs proposed the sandpile group of certain modified wheel graphs for cryptosystems relying on the difficulty of the discrete logarithm problem. Blackburn and independently Shokrieh showed that the discrete logarithm problem is efficiently solvable. We study Shokrieh's method in cases of graphs such that the sandpile group is not cyclic, namely the square cycle graphs and the wheel graphs. Knowing generators of the group or the form of the pseudoinverse of the Laplacian matrix makes the problem more vulnerable. We also consider the discrete logarithm problem in case of the so-called subdivided banana graphs. In certain cases the sandpile group is cyclic and a generator is known and one can solve the discrete logarithm problem without computing the pseudoinverse of the Laplacian matrix.
Continuous-time Quantum Walks on Cayley Graphs of Extraspecial Groups
Published
• View Publication
• BIB
We study continuous-time quantum walks on normal Cayley graphs of certain non-abelian groups, called extraspecial groups. By applying general results for graphs in association schemes we determine the precise conditions for perfect state transfer and fractional revival, and use partial spreads to construct graphs on extraspecial $2$-groups admitting these various phenomena. Lastly, we use a result of Ada Chan to show that there is no normal Cayley graph of an extraspecial group that admits instantaneous uniform mixing.
On some topological realizations of groups and homomorphisms
Published
• View Publication
• BIB
Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the natural map between the group of homeomorphisms of $X_f$ and the group of homotopy classes of self-homotopy equivalences of $X_f$ is precisely $f$. In addition, realization problems involving homology, homotopy groups and groups of automorphisms are considered.
Fibering flat manifolds of diagonal type and their fundamental groups
Published
• View Publication
• BIB
An $n$-dimensional closed flat manifold is said to be of diagonal type if the standard representation of its holonomy group $G$ is diagonal. An $n$-dimensional Bieberbach group of diagonal type is the fundamental group of such a manifold. We introduce the diagonal Vasquez invariant of $G$ as the least integer $n_d(G)$ such that every flat manifold of diagonal type with holonomy $G$ fibers over a flat manifold of dimension at most $n_d(G)$ with flat torus fibers. Using a combinatorial description of Bieberbach groups of diagonal type, we give both upper and lower bounds for this invariant. We show that the lower bounds are exact when $G$ has low rank. We apply this to analyse diffuseness properties of Bieberbach groups of diagonal type. This leads to a complete classification of Bieberbach groups of diagonal type with Klein four-group holonomy and to an application to Kaplansky's Unit Conjecture.
Subword complexes and 2-truncated cubes
Published in Russian Math. Surveys 69 (2014) no. 3., pp. 572-574
• View Publication
• BIB
For a Coxeter element $c$ of a finite Coxeter group, we consider a family of subword complexes parameterized by reduced expressions of the longest element. This family generalizes $c-$cluster complexes. We describe vertices of these complexes in terms of roots of the corresponding root system. We prove that dual polytopes of all such complexes are combinatorial 2-truncated cubes.
Testability of relations between permutations
Published
• View Publication
• BIB
We initiate the study of property testing problems concerning relations between permutations. In such problems, the input is a tuple $(σ_1,\dotsc,σ_d)$ of permutations on $\{1,\dotsc,n\}$, and one wishes to determine whether this tuple satisfies a certain system of relations $E$, or is far from every tuple that satisfies $E$. If this computational problem can be solved by querying only a small number of entries of the given permutations, we say that $E$ is testable. For example, when $d=2$ and $E$ consists of the single relation $\mathsf{XY=YX}$, this corresponds to testing whether $σ_1σ_2=σ_2σ_1$, where $σ_1σ_2$ and $σ_2σ_1$ denote composition of permutations.
We define a collection of graphs, naturally associated with the system $E$, that encodes all the information relevant to the testability of $E$. We then prove two theorems that provide criteria for testability and non-testability in terms of expansion properties of these graphs. By virtue of a deep connection with group theory, both theorems are applicable to wide classes of systems of relations.
In addition, we formulate the well-studied group-theoretic notion of stability in permutations as a special case of the testability notion above, interpret all previous works on stability as testability results, survey previous results on stability from a computational perspective, and describe many directions for future research on stability and testability.
Some properties of Cayley signed graphs on finite abelian groups
Published
• View Publication
• BIB
Let $Σ=(Γ, σ)$ is a signed graph(or sigraph in short), where $Γ$ is a underlying graph of $Σ$ and $σ:E\longrightarrow \{+, -\}$ is a function. Consider $Γ=Cay(\mathbb{Z}_{p_{1}}\times \mathbb{Z}_{p_{1}^{α_{1}}p_{2}^{α_{2}} \ldots p_{k}^{α_{k}}}, Φ)$, where all $p_{1}, p_{2}, \ldots, p_{k}$ are distinct prime factors and $Φ=\varphi_{p_{1}}\times\varphi_{p_{1}^{α_{1}}p_{2}^{α_{2}} \ldots p_{k}^{α_{k}}}$. For any positive integer $n$, $\varphi_{n}=\{\ell| 1\leq \ell<n, \gcd(\ell, n)=1\}$. Motivated by \cite{s14}, we will investigate balancing in $Σ$ and $L(Σ)$, clusterability and sign-compatibility of $Σ$.
On the Index of Diffie-Hellman Mapping
Let $γ$ be a generator of a cyclic group $G$ of order $n$. The least index of a self-mapping $f$ of $G$ is the index of the largest subgroup $U$ of $G$ such that $f(x)x^{-r}$ is constant on each coset of $U$ for some positive integer~$r$. We determine the index of the univariate Diffie-Hellman mapping $d(γ^a)=γ^{a^2}$, $a=0,1,\ldots,n-1$, and show that any mapping of small index coincides with~$d$ only on a small subset of $G$. Moreover, we prove similar results for the bivariate Diffie-Hellman mapping $D(γ^a,γ^b)=γ^{ab}$, $a,b=0,1,\ldots,n-1$. In the special case that $G$ is a subgroup of the multiplicative group of a finite field we present improvements.
Linear fractional group as Galois group
Published
• View Publication
• BIB
We compute all signatures of $PSL_2(\mathbb{F}_7)$, and $PSL_2(\mathbb{F}_{11})$ which classify all orientation preserving actions of the groups $PSL_2(\mathbb{F}_7)$, and $PSL_2(\mathbb{F}_{11})$ on compact, connected, orientable surfaces with orbifold genus $\geq 0$. This classification is well-grounded in the other branches of Mathematics like topology, smooth, and conformal geometry, algebraic categories, and it is also directly related to the inverse Galois problem.
A compact presentation for the alternating central extension of the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$
Published
• View Publication
• BIB
This paper concerns the positive part $U^+_q$ of the quantum group $U_q({\widehat{\mathfrak{sl}}}_2)$. The algebra $U^+_q$ has a presentation involving two generators that satisfy the cubic $q$-Serre relations. We recently introduced an algebra $\mathcal U^+_q$ called the alternating central extension of $U^+_q$. We presented $\mathcal U^+_q$ by generators and relations. The presentation is attractive, but the multitude of generators and relations makes the presentation unwieldy. In this paper we obtain a presentation of $\mathcal U^+_q$ that involves a small subset of the original set of generators and a very manageable set of relations. We call this presentation the compact presentation of $\mathcal U^+_q$.
Spaces that can be ordered effectively: virtually free groups and hyperbolicity
Published
• View Publication
• BIB
We study asymptotic invariants of metric spaces, defined in terms of the travelling salesman problem, and our goal is to classify groups and spaces depending on how well they can be ordered in this context. We characterize virtually free groups as those admitting an order which has some efficiency on $4$-point subsets. We show that all $δ$-hyperbolic spaces can be ordered extremely efficiently, for the question when the number of points of a subset tends to $\infty$.
Classifying Permutations under Context-Directed Swaps and the \textbf{cds} game
A special sorting operation called Context Directed Swap, and denoted \textbf{cds}, performs certain types of block interchanges on permutations. When a permutation is sortable by \textbf{cds}, then \textbf{cds} sorts it using the fewest possible block interchanges of any kind. This work introduces a classification of permutations based on their number of \textbf{cds}-eligible contexts. In prior work an object called the strategic pile of a permutation was discovered and shown to provide an efficient measure of the non-\textbf{cds}-sortability of a permutation. Focusing on the classification of permutations with maximal strategic pile, a complete characterization is given when the number of \textbf{cds}-eligible contexts is close to maximal as well as when the number of eligible contexts is minimal. A group action that preserves the number of \textbf{cds}-eligible contexts of a permutation provides, via the orbit-stabilizer theorem, enumerative results regarding the number of permutations with maximal strategic pile and a given number of \textbf{cds}-eligible contexts. Prior work introduced a natural two-person game on permutations that are not \textbf{cds}-sortable. The decision problem of which player has a winning strategy in a particular instance of the game appears to be of high computational complexity. Extending prior results, this work presents new conditions for player ONE to have a winning strategy in this combinatorial game.
On regular genus and G-degree of PL 4-manifolds with boundary
Published in Journal of the Indian Math. Soc. Vol. 91, Nos. (1-2) (2024), 155--170
• View Publication
• BIB
In this article, we introduce two new PL-invariants: weighted regular genus and weighted G-degree for manifolds with boundary. We first prove two inequalities involving some PL-invariants which state that for any PL-manifold $M$ with non spherical boundary components, the regular genus $\mathcal{G}(M)$ of $M$ is at least the weighted regular genus $\tilde{G}(M)$ of $M$ which is again at least the generalized regular genus $\bar{G}(M)$ of $M$. Another inequality states that the weighted G-degree $\tilde{D}_G (M)$ of $M$ is always greater than or equal to the G-degree $D_G (M)$ of $M$. Let $M$ be any compact connected PL $4$-manifold with $h$ number of non spherical boundary components. Then we compute the following: $$\tilde{G} (M) \geq 2 χ(M)+3m+2h-4+2 \hat{m} \mbox{ and } \tilde{D}_G (M) \geq 12(2 χ(M)+3m+2h-4+2 \hat{m}),$$ where $m$ and $\hat{m}$ are the ranks of the fundamental groups of $M$ and the corresponding singular manifold $\widehat{M}$ (obtained by coning off the boundary components of $M$) respectively. As a
consequence we prove that the regular genus $\mathcal{G}(M)$ satisfies the following inequality:
$$\mathcal{G} (M) \geq 2 χ(M)+3m+2h-4+2 \hat{m},$$
which improves the previous known lower bounds for the regular genus $\mathcal{G}(M)$ of $M$. Then we define two classes of gems for PL $4$-manifold $M$ with boundary: one consists of semi-simple gems and the other consists of weak semi-simple gems, and prove that the lower bounds for the weighted G-degree and weighted regular genus are attained in these two classes respectively.
A type B analogue of the category of finite sets with surjections
Published
• View Publication
• BIB
We define a type B analogue of the category of finite sets with surjections, and we study the representation theory of this category. We show that the opposite category is quasi-Grobner, which implies that submodules of finitely generated modules are again finitely generated. We prove that the generating functions of finitely generated modules have certain prescribed poles, and we obtain restrictions on the representations of type B Coxeter groups that can appear in such modules. Our main example is a module that categorifies the degree i Kazhdan-Lusztig coefficients of type B Coxeter arrangements.
Stability phenomena for resonance arrangements
Published
• View Publication
• BIB
We prove that the ith graded pieces of the Orlik-Solomon algebras or Cordovil algebras of resonance arrangements form a finitely generated FS^op-module, thus obtaining information about the growth of their dimensions and restrictions on the irreducible representations of symmetric groups that they contain.
Shadowing for families of endomorphisms of generalized group shifts
Published in Discrete Contin Dyn Syst Ser A (2022), 42 (1) : 285-299
• View Publication
• BIB
Let $G$ be a countable monoid and let $A$ be an Artinian group (resp. an Artinian module). Let $Σ\subset A^G$ be a closed subshift which is also a subgroup (resp. a submodule) of $A^G$. Suppose that $Γ$ is a finitely generated monoid consisting of pairwise commuting cellular automata $Σ\to Σ$ that are also homomorphisms of groups (resp. homomorphisms of modules) with monoid binary operation given by composition of maps. We show that the valuation action of $Γ$ on $Σ$ satisfies a natural intrinsic shadowing property. Generalizations are also established for families of endomorphisms of admissible group subshifts.