arXiv subjects

Anupam Singh

Publications and source records attributed to Anupam Singh.

At least 19 recordsLinked to original sources

arXiv2026

Surjectivity of Engel Maps over trace zero matrices in $\mathrm{M}_2(\mathcal{O})$

The surjectivity of various noncommutative polynomials has been studied extensively on Lie algebras over fields of different characteristics. In this article, we study the surjectivity of Engel Maps over trace zero matrices in $\mathrm{M}_2(\mathcal{O})$, where $\mathcal{O}$ is a local principal ideal ring complete with respect to its maximal ideal and has a residue field $k$ of characteristic $\neq 2$. We show that the image of $(m+1)$-th Engel map induced by the Engel polynomial $e_{m+1}(x, y) = [\cdots[[x, \underbrace{y], y], \dots, y]}_{m+1 \text{ times}}$ over $\mathrm{M}_2(\mathcal{O})$ can be determined by the image of the corresponding Engel map over $\mathrm{M}_2(k)$, for $m\geq 1$. Moreover, we prove that the $(m+1)$-th Engel map on $\mathfrak{sl}_2^{\circ}(\mathcal{O})=\left\{\ A\in \mathrm{M}_2(\mathcal{O})\ \mid\ \mathrm{tr}(A)=0\right\}$ is surjective if and only if the corresponding Engel map on $\mathfrak{sl}_2(k)$ is surjective. Under some mild condition on the residue field $k$, our results shows that every $g\in \mathfrak{sl}_2^{\circ}(\mathcal{O})$ can be expressed as $g = e_{m+1}(h_1, h_2)$ for $m\geq 1$, where both $h_1, h_2$ are in $\mathfrak{sl}_2^{\circ}(\mathcal{O})$.

math.GR↗

arXiv2026

Waring Problem for matrices over finite local rings

This paper addresses the matrix Waring problem for matrices over finite principal local rings. Let $\mathcal{O}_{\ell}$ be a finite principal local ring of length $\ell$ with the maximal ideal $\mathfrak{m}$ and the residue field $\mathbb{F}_q = \mathcal{O}_\ell/\mathfrak{m}$. When $-1$ is a $k$-th power in $\mathbb{F}_q$ and the characteristic of $\mathbb{F}_q$ does not divide $k$, we show that for sufficiently large $q$, any matrix in $M_n(\mathcal{O}_\ell)$ can be expressed as a sum of two $k$-th powers. Furthermore, we establish that these two conditions are strictly necessary for the result to hold in general.

math.RA↗

arXiv2026

Surjectivity of Engel Words on $\mathrm{SL}_2(\mathcal{O})$ and $\mathrm{PSL}_2(\mathcal{O}_2)$

The study of word maps and Waring-like problems has been widely pursued for finite simple groups, algebraic groups, and Lie groups. In this article, we study Engel word maps $e_{m}(x, y) = \left[\cdots\left[[x, y], y \right], \cdots, y \right]$ on certain linear groups over local rings, namely, $\mathrm{SL}_2(\mathcal R)$ and $\mathrm{PSL}_2(\mathcal R)$. We consider the commutative ring $\mathcal {R} $ to be either a complete, local principal ideal ring $\mathcal O$, or a local principal ideal ring of finite length $\mathcal O_\ell$. Suppose the characteristic of the residue field $k\cong \mathbb F_q$ is $\neq 2$. Under some mild conditions on $q$, we show that there exists a constant $q_0(m)$, such that for all $q \geq q_0(m)$, all lifts in $\mathrm{SL}_2(\mathcal{O})$ of non-scalar elements of $\mathrm{SL}_2(k)$, are in the image of the $m$-th Engel word over $\mathrm{SL}_2(\mathcal{O})$. We further show that all Engel word maps are surjective on $\mathrm{PSL}_2(\mathcal{O}_2)$ where $\mathcal{O}_2$ is a local principal ideal ring of length two. This work generalizes similar results about the Engel word map over fields.

math.GR↗

arXiv2026

Images of Lie Polynomials on simple Lie algebras

A Lie polynomial is an element of a free Lie algebra $\mathcal F_k$ on $k$-generators, which defines a Lie map on a given Lie algebra $L$, by substituting $k$-elements of $L$. Similar to word maps on groups and polynomial maps on algebras, one studies here questions analogous to Waring-like problems, the L'vov-Kaplansky conjecture, etc. In this article, we would like to address a problem for Lie algebras parallel to the one Lubotzky solved (Images of word maps in finite simple groups, Glasg. Math. J., 56, no. 2, 465-469, 2014) for finite simple groups. It is easy to verify that the image of a Lie map is (a) closed under automorphism, and (b) contains $0$. In this article, we prove that for a simple Chevalley algebra over a finite field of ``very good'' characteristic, these two properties are enough to classify all possible subsets that can be the image of a Lie polynomial. The next question is to find such Lie polynomials for a given subset satisfying the two properties. Contrary to the results over an algebraically closed field, we find Lie polynomials in the case of Lie algebra $\mathfrak{sl}_2(q)$, for $q$ odd, which give each $\rm{GL}_2(q)$ conjugacy class together with zero as an image.

math.RA↗

arXiv2026

Polynomial Maps with Constants on Matrix Algebra

Let $\mathcal A$ be an $\mathbb F$-algebra and $\omega \in \mathcal A\langle x_1, \ldots, x_m \rangle$ which defines a map $\mathcal A^m \rightarrow \mathcal A$ by evaluation, called a polynomial map with constant. We consider $\mathcal {A} = M_n(\mathbb{F})$, the algebra of $n \times n$ matrices over an algebraically closed field $\mathbb{F}$ of characteristic $0$, and polynomial maps given by $\omega(x_1, x_2) = A_1x_1^k + A_2x_2^k$, where $A_1,A_2\in M_n(\mathbb F)$. For $n=2$, the images of such a map is competely determined in an earlier work (Panja, S.; Saini, P.; Singh, A., Images of polynomial maps with constants, Mathematika 71 (2025), no. 3, Paper No. e70031). In this article, by assuming one of the coefficients, say $A_1$, is invertible, we relate the surjectivity of $\omega$ to the nullity of $A_2$. When $n=3, 4$, we completely classify the surjectivity of $\omega(x_1, x_2)$ by obtaining the necessary and sufficient condition in terms of $n$, $k$, and the nullity of $A_2$.

math.RA↗

arXiv2026

Lifting solutions of polynomial equations on matrices over field to complete local principal ideal rings

Let $\widehat{\mathscr O}$ be a complete local principal ideal ring with residue field $k$ of characteristic not $2$ and $f\in \widehat{\mathscr O}[x_1,x_2,\dots,x_m]$. Take $A\in \mathrm M_n(\widehat{\mathscr O})$ with its reduction $\overline{A}\in \mathrm M_n(k)$. In this article, we study the following lifting problem. Suppose there exists a tuple $(\widetilde{B}_1, \widetilde{B}_2, \dots,\widetilde{B}_m)\in \mathrm M_n(k)^m$ of pairwise commuting matrices such that $f(\widetilde{B}_1, \widetilde{B}_2, \dots,\widetilde{B}_m) = \overline{A}$; under what conditions can this solution be lifted to a tuple $(B_1,B_2,\dots,B_m)\in \mathrm M_n(\widehat{\mathscr O})^m$ of pairwise commuting matrices satisfying $f(B_1,B_2,\dots,B_m)=A$? For $\overline{A}$ cyclic, we show that, under suitable hypotheses analogous to those appearing in Hensel lemma, such a lifting is always possible.

math.GR↗

arXiv2025

Power maps on General Linear groups over finite principal ideal local rings of length two

Word maps have been studied for matrix groups over a field. We initiate the study of problems related to word maps in the context of the group $\mathrm{GL}_n(\mathscr O_2)$, where $\mathscr O_2$ is a finite local principal ideal ring of length two (e.g. $\mathbb{Z}/p^2\mathbb{Z}$ and $\mathbb F_q[t]/\langle t^2\rangle$). We study the power map $g\mapsto g^L$, where $L$ is a positive integer. We consider $L$ to be coprime to $p$ (an odd prime), the characteristic of the residue field $k$ of $\mathscr O_2$. We classify all the elements in the image, whose mod-$\mathfrak m$ reduction in $\mathrm{GL}_n(k)$ are either regular semisimple or cyclic, where $\mathfrak m$ is the unique maximal ideal of $\mathscr O_2$. Our main tool is a Hensel lifting for polynomial equations over $\mathrm{M}_n(\mathscr O_2)$, which we establish in this work. A central contribution of this work is the construction of canonical forms for certain natural classes of matrices over $\mathscr O_2$. As applications, we derive explicit generating functions for the probabilities that a random element of $\mathrm{GL}_n(\mathscr O_2)$ is regular semisimple, $L$-power regular semisimple, compatible cyclic, or $L$-power compatible cyclic.

math.GR↗

arXiv2025

Cube: A Roblox View of 3D Intelligence

Foundation models trained on vast amounts of data have demonstrated remarkable reasoning and generation capabilities in the domains of text, images, audio and video. Our goal at Roblox is to build such a foundation model for 3D intelligence, a model that can support developers in producing all aspects of a Roblox experience, from generating 3D objects and scenes to rigging characters for animation to producing programmatic scripts describing object behaviors. We discuss three key design requirements for such a 3D foundation model and then present our first step towards building such a model. We expect that 3D geometric shapes will be a core data type and describe our solution for 3D shape tokenizer. We show how our tokenization scheme can be used in applications for text-to-shape generation, shape-to-text generation and text-to-scene generation. We demonstrate how these applications can collaborate with existing large language models (LLMs) to perform scene analysis and reasoning. We conclude with a discussion outlining our path to building a fully unified foundation model for 3D intelligence.

cs.CV↗

arXiv2025

Polynomial maps with constants on split octonion algebras

Let $\mathbf{O}(\mathbb{F})$ be the split octonion algebra over an algebraically closed field $\mathbb{F}$. For positive integers $k_1, k_2\geq 2$, we study surjectivity of the map $A_1(x^{k_1}) + A_2(y^{k_2}) \in \mathbf{O}(\mathbb{F})\langle x, y\rangle$ on $\mathbf{O}(\mathbb{F})$. For this, we use the orbit representatives of the ${G}_2(\mathbb{F})$-action on $\mathbf{O}(\mathbb{F}) \times \mathbf{O}(\mathbb{F}) $ for the tuple $(A_1, A_2)$, and characterize the ones which give a surjective map.

math.RA↗

arXiv2024

Gauging Flavor Symmetries of the Standard Model: from Dark Energy to Matter-Antimatter Asymmetry from Higher Dimensions in the Early Universe

The Standard Model of Elementary Particle Physics has global Family flavor symmetries corresponding to the 3 families in the Standard Model. It has been shown that the breaking of these symmetries at low energy produces Dark Energy which is the dominant component of the energy density of the Universe. It has also been shown that this model of Dark Energy not only explains the accelerated expansion of the universe but has additional observational consequences and makes verifiable predictions. This model allows a space-time dependent Dark Energy as indicated by recent observations. Further, the collapse of space dependent Dark Energy configurations leads to the formation of Dark Energy Black Holes resulting in verifiable predictions. We examine the implications of these symmetries at high energies and in the Early Universe. We consider what might happen if these global symmetries get gauged and that the global symmetries today are just a consequence of the gauge fields acquiring a constant vacuum expectation value below some energy scale v. Since, we have not yet seen signatures of such gauge fields at any of our particle accelerators, this would imply that v is greater than the electroweak scale. In the early Universe, when these gauge fields would be dynamical, the Higgs would not yet have acquired a non-zero vacuum expectation value and all Standard Model particles would be massless. The gauging of these global symmetries is desirable from a high energy and quantum gravity perspective. The chiral dynamics has a natural interpretation in terms of D Branes and our 4-dimensional Universe embedded in higher dimensions. Anomaly cancellation in this scenario results from the sum of the cubic terms vanishing. Finally, the analysis in this article can provide an explanation for one of the long standing mysteries of the natural world: the matter - antimatter asymmetry observed in our Universe.

hep-ph↗

arXiv2024

A survey on power maps in groups

The study of word maps on groups has been of deep interest in recent years. This survey focuses on the case of power maps on groups; $viz.$ the map $x\mapsto x^M$ for a group $G$, and an integer $M\geq 2$. Here, we accumulate various results on the subject and pose some questions.

math.GR↗

arXiv2024

Chirality and non-real elements in $G_2(q)$

In this article, we determine the non-real elements--the ones that are not conjugate to their inverses--in the group $G = G_2(q)$ when $char(F_q)\neq 2,3$. We use this to show that this group is chiral; that is, there is a word w such that $w(G)\neq w(G)^{-1}$. We also show that most classical finite simple groups are achiral

math.GR↗

arXiv2024

Various Representation Dimensions associated with a Finite Group

To a finite group $G$, one can associate several notions of dimensions (or degrees). In this survey, we attempt to bring together some of the notions of dimensions or degrees defined using representations of the group in General Linear Groups and permutation groups. These are embedding degree, minimal faithful irreducible character degree, minimal faithful permutation representation degree, minimal faithful quasi-permutation representation degree and essential dimension. We briefly present the progress in understanding these notions and the related problems.

math.RT↗

arXiv2023

Images of polynomial maps with constants

Let $K$ be an algebraically closed field and $\mathrm{M}(2,K)$ be the $2\times 2$ matrix algebra over $K$ and $\mathrm{GL}(2,K)$ be the invertible elements in $\mathrm{M}(2,K)$. We explore the image of polynomials with constants, namely from the free algebra $\mathrm{M}(2,K)\langle x, y\rangle$. In this article, we compute the images of the polynomial maps given by (a) generalized sum of powers $Ax^{k_1} + By^{k_2}$ and (b) generalized commutator map $Axy -Byx$, where $A$, $B$ are non-zero elements of $\mathrm{M}(2,K)$. We compute this in the first case by fixing a simultaneous conjugate pair for $A, B$ and it turns out that it is surjective in most of the cases. In the second case, we show that the image of the map is always a vector space.

math.GR↗

arXiv2023

Waring Problem For Triangular Matrix Algebra

The Matrix Waring problem is if we can write every matrix as a sum of $k$-th powers. Here, we look at the same problem for triangular matrix algebra $T_n(\mathbb{F}_q)$ consisting of upper triangular matrices over a finite field. We prove that for all integers $k, n \geq 1$, there exists a constant $\mathcal C(k, n)$, such that for all $q> \mathcal C(k,n)$, every matrix in $T_n(\mathbb{F}_q)$ is a sum of three $k$-th powers. Moreover, if $-1$ is $k$-th power in $\mathbb{F}_q$, then for all $q>\mathcal C(k,n)$, every matrix in $T_n(\mathbb{F}_q)$ is a sum of two $k$-th powers. We make use of Lang-Weil estimates about the number of solutions of equations over finite fields to achieve the desired results.

math.GR↗

arXiv2023

Representation dimension of some finite groups

For a finite group $G$, the representation dimension is the smallest integer realizable as the degree of a complex faithful representation of $G$. In this article, we compute representation dimension for some $p$-groups, their direct products, and groups with certain conditions on nonlinear irreducible characters. We also make similar computations for the smallest integer realizable as the degree of an irreducible complex faithful representation of $G$, if one exists. In the appendix, we present GAP codes to compute these numbers.

math.GR↗

arXiv2023

Surjectivity of polynomial maps on Matrices

For $n\geq 2$, we consider the map on $M_n(\mathbb K)$ given by evaluation of a polynomial $f(X_1, \ldots, X_m)$ over the field $\mathbb K$. In this article, we explore the image of the diagonal map given by $f=\delta_1 X_1^{k_1} + \delta_2 X_2^{k_2} + \cdots +\delta_m X_m^{k_m}$ in terms of the solution of certain equations over $\mathbb K$. In particular, we show that for $m\geq 2$, the diagonal map is surjective when (a) $\mathbb K= \mathbb C$, (b) $\mathbb K= \mathbb F_q$ for large enough $q$. Moreover, when $\mathbb K= \mathbb R$ and $m=2$ it is surjective except when $n$ is odd, $k_1, k_2$ are both even, and $\delta _1\delta_2>0$ (in that case the image misses negative scalars), and the map is surjective for $m\geq 3$. We further show that on $M_n(\mathbb H)$ the diagonal map is surjective for $m\geq 2$, where $\mathbb H$ is the algebra of Hamiltonian quaternions.

math.GR↗

arXiv2023

Powers in finite unitary groups

Let $\text{U}(n,\mathbb{F}_{q^2})$ denote the subgroup of unitary matrices of the general linear group $\text{GL}(n,\mathbb{F}_{q^2})$ which fixes a Hermitian form and $M\geq 2$ an integer. This is a companion paper to the previous works where the elements of the groups $\text{GL}(n,\mathbb{F}_{q})$, $\text{Sp}(2n,\mathbb{F}_{q})$, $\text{O}^{\pm}(2n,\mathbb{F}_{q})$ and $\text{O}(2n+1,\mathbb{F}_{q})$ which has an $M$-th root in the concerned group, have been described. Here we will describe the $M$-th powers in unitary groups for the regular semisimple, semisimple and cyclic elements. Our methods are parallel to those of the Memoir ``A generating function approach to the enumeration of matrices in classical groups over finite fields" by Fulman, Neumann and Praeger.

math.GR↗