Related papers: The MacWilliams Theorem for Four-Dimensional Modul…
We prove that a $4d$ theory of non-linear electrodynamics has equations of motion which are equivalent to those of the Maxwell theory in curved spacetime, but with the usual metric $g_{\mu \nu}$ replaced by a unit-determinant metric $h_{\mu…
Power-counting arguments based on extended superfields have been used to argue that two-dimensional supersymmetric sigma models with (4,0) supersymmetry are finite. This result is confirmed up to three loop order in pertubation theory by an…
In this paper, we obtain some new results on the existence of MDS self-dual codes utilizing (extended) generalized Reed-Solomon codes over finite fields of odd characteristic. For some fixed $q$, our results can produce more classes of MDS…
We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…
This work develops new foundations for the theory of linear codes over local Artinian commutative rings. We use algebraic invariants such as the socle, type, length, and minimal number of generators to measure the size of codes. We prove a…
We prove a Torelli-like theorem for higher-dimensional function fields, from the point of view of "almost-abelian" anabelian geometry.
We prove a Morse index theorem for action functionals on paths that are allowed to reflect at a hypersurface (either in the interior or at the boundary of a manifold). Both fixed and periodic boundary conditions are treated.
We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.
We present a topological quantum field theory which corresponds to the moduli problem associated to Witten's monopole equations for four-manifolds. The construction of the theory is carried out in purely geometrical terms using the…
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a…
We derive an explicit formula for the intrinsic MacWilliams transform for permutation-invariant qudit codes. Such codes naturally live in symmetric power representations, where the relevant error sectors are determined by the irreducible…
We establish a gluing theorem for monopoles over 4--manifolds containing long necks. The theorem is stated in terms of an ungluing map defined explicitly in terms of data that appear naturally in applications. Orientations of moduli spaces…
Using linear functional-based duality of modules, we generalize the syndrome decoding algorithm of linear codes over finite fields to those over finite commutative rings. Moreover, If the ring is local the algorithm is simplified by…
We present a new structure theorem for finite fields of odd order that relates multiplicative and additive structure in an interesting way. This theorem has several applications, including an improved understanding of Dickson and Chebyshev…
The change of variable theorem is proved under the sole hypothesis of differentiability of the transformation. Specifically, it is shown under this hypothesis that the transformed integral equals the given one over every measurable subset…
We present a scenario for deriving Maxwell theory from IIB matrix model. Four dimensional spacetime and theories on it relate different dimensional ones by applying appropriate limits of the backgrounds of matrix model. It is understood by…
We present generalisations of Wilson's theorem for double factorials, hyperfactorials, subfactorials and superfactorials.
Linear codes are considered over the ring $\mathbb{Z}_4+v\mathbb{Z}_4$, where $v^2=v$. Gray weight, Gray maps for linear codes are defined and MacWilliams identity for the Gray weight enumerator is given. Self-dual codes, construction of…
The basic results of a new theory of regular functions of a quaternionic variable have been recently stated, following an idea of Cullen. In this paper we prove the minimum modulus principle and the open mapping theorem for regular…
We determine a strong form of the decomposition theorem for proper toric maps over finite fields.