On Generalized Galois Cyclic Orbit Flag Codes

Flag codes that are orbits of a cyclic subgroup of the general linear group acting on flags of a vector space over a finite field, are called cyclic orbit flag codes. In this paper, we present a new contribution to the study of such codes, by focusing this time on the generating flag. More precisely, we examine those ones whose generating flag has at least one subfield among its subspaces. In this situation, two important families arise: the already known Galois flag codes, in case we have just fields, or the generalized Galois flag codes in other case. We investigate the parameters and properties of the latter ones and explore the relationship with their underlying Galois flag code.

A Novel Image Encryption Technique Based on Mobius Transformation

The nonlinear transformation concedes as S-box which is responsible for the certainty of contemporary block ciphers. Many kinds of S-boxes are planned by various authors in the literature. Construction of S-box with a powerful cryptographic analysis is the vital step in scheming block cipher. Through this paper, we give more powerful and worthy S-boxes and compare their characteristics with some previous S-boxes employed in cryptography. The algorithm program planned in this paper applies the action of projective general linear group P G L 2 , G F 2 8 on Galois field G F 2 8 . The proposed S-boxes are constructed by using Mobius transformation and elements of Galois field. By using this approach, we will encrypt an image which is the preeminent application of S-boxes. These S-boxes offer a strong algebraic quality and powerful confusion capability. We have tested the strength of the proposed S-boxes by using different tests, BIC, SAC, DP, LP, and nonlinearity. Furthermore, we have applied these S-boxes in image encryption scheme. To check the strength of image encryption scheme, we have calculated contrast, entropy, correlation, energy, and homogeneity. The results assured that the proposed scheme is better. The advantage of this scheme is that we can secure our confidential image data during transmission.

On the dimension of $H^{*}((\mathbb Z_2)^{\times t}, \mathbb Z_2)$ as a module over Steenrod ring

We write $\mathbb P$ for the polynomial algebra in one variable over the finite field $\mathbb Z_2$ and $\mathbb P^{\otimes t} = \mathbb Z_2[x_1, \ldots, x_t]$ for its $t$-fold tensor product with itself. We grade $\mathbb P^{\otimes t}$ by assigning degree $1$ to each generator. We are interested in determining a minimal set of generators for the ring of invariants $(\mathbb P^{\otimes t})^{G_t}$ as a module over Steenrod ring, $\mathscr A_2.$ Here $G_t$ is a subgroup of the general linear group $GL(t, \mathbb Z_2).$ An equivalent problem is to find a monomial basis of the space of "unhit" elements, $\mathbb Z_2\otimes_{\mathscr A_2} (\mathbb P^{\otimes t})^{G_t}$ in each $t$ and degree $n\geq 0.$ The structure of this tensor product is proved surprisingly difficult and has been not yet known for $t\geq 5,$ even for the trivial subgroup $G_t = \{e\}.$ In the present paper, we consider the subgroup $G_t = \{e\}$ for $t \in \{5, 6\},$ and obtain some new results on $\mathscr A_2$-generators of $(\mathbb P^{\otimes t})^{G_t}$ in some degrees. At the same time, some of their applications have been proposed. We also provide an algorithm in MAGMA for verifying the results. This study can be understood as a continuation of our recent works in [23, 25].

Invariant Differential Forms on Complexes of Graphs and Feynman Integrals

We study differential forms on an algebraic compactification of a moduli space of metric graphs. Canonical examples of such forms are obtained by pulling back invariant differentials along a tropical Torelli map. The invariant differential forms in question generate the stable real cohomology of the general linear group, as shown by Borel. By integrating such invariant forms over the space of metrics on a graph, we define canonical period integrals associated to graphs, which we prove are always finite and take the form of generalised Feynman integrals. Furthermore, canonical integrals can be used to detect the non-vanishing of homology classes in the commutative graph complex. This theory leads to insights about the structure of the cohomology of the commutative graph complex, and new connections between graph complexes, motivic Galois groups and quantum field theory.

Explicit Pieri Inclusions

By the Pieri rule, the tensor product of an exterior power and a finite-dimensional irreducible representation of a general linear group has a multiplicity-free decomposition. The embeddings of the constituents are called Pieri inclusions and were first studied by Weyman in his thesis and described explicitly by Olver. More recently, these maps have appeared in the work of Eisenbud, Fløystad, and Weyman and of Sam and Weyman to compute pure free resolutions for classical groups. In this paper, we give a new closed form, non-recursive description of Pieri inclusions. For partitions with a bounded number of distinct parts, the resulting algorithm has polynomial time complexity whereas the previously known algorithm has exponential time complexity.

Structure of the space of $GL_4(\mathbb Z_2)$-coinvariants $\mathbb Z_2\otimes_{GL_4(\mathbb Z_2)} PH_*(\mathbb Z_2^4, \mathbb Z_2)$ in some generic degrees and its application

Let $A$ denote the Steenrod algebra at the prime 2 and let $k = \mathbb Z_2.$ An open problem of homotopy theory is to determine a minimal set of $A$-generators for the polynomial ring $P_q = k[x_1, \ldots, x_q] = H^{*}(k^{q}, k)$ on $q$ generators $x_1, \ldots, x_q$ with $|x_i|= 1.$ Equivalently, one can write down explicitly a basis for the graded vector space $Q^{\otimes q} := k\otimes_{A} P_q$ in each non-negative degree $n.$ This is the content of the classical "hit problem" of Frank Peterson. Based on this problem, we are interested in the $q$-th algebraic transfer $Tr_q^{A}$ of W. Singer \cite{W.S1}, which is one of the useful tools for describing mod-2 cohomology of the algebra $A.$ This transfer is a linear map from the space of $GL_q(k)$-coinvariant $k\otimes _{GL_q(k)} P((P_q)_n^{*})$ of $Q^{\otimes q}$ to the $k$-cohomology group of the Steenrod algebra, ${\rm Ext}_{A}^{q, q+n}(k, k).$ Here $GL_q(k)$ is the general linear group of degree $q$ over the field $k,$ and $P((P_q)_n^{*})$ is the primitive part of $(P_q)^{*}_n$ under the action of $A.$ The present paper is to investigate this algebraic transfer for the cohomological degree $q = 4.$ More specifically, basing the techniques of the hit problem of four variables, we explicitly determine the structure of $k\otimes _{GL_4(k)} P((P_4)_{n}^{*})$ in some generic degrees $n.$ Applying these results and a representation of the rank 4 transfer over the lambda algebra, we show that $Tr_4^{A}$ is an isomorphism in respective degrees. Also, we give some conjectures on the dimensions of $k\otimes_{GL_q(k)} ((P_4)_n^{*})$ for the remaining degrees $n.$ As a consequence, Singer's conjecture for the algebraic transfer is true in the rank 4 case. This study and our previous results \cite{D.P11, D.P12} have been provided a panorama of the behavior of $Tr_4^{A}.$

Robinson–Schensted–Knuth correspondence in the representation theory of the general linear group over a non-archimedean local field

We construct new “standard modules” for the representations of general linear groups over a local non-archimedean field. The construction uses a modified Robinson–Schensted–Knuth correspondence for Zelevinsky’s multisegments. Typically, the new class categorifies the basis of Doubilet, Rota, and Stein (DRS) for matrix polynomial rings, indexed by bitableaux. Hence, our main result provides a link between the dual canonical basis (coming from quantum groups) and the DRS basis.