Canonical Map Research Articles

Quantum Codes as an Application of Constacyclic Codes

The main focus of this paper is to analyze the algebraic structure of constacyclic codes over the ring R=Fp+w1Fp+w2Fp+w22Fp+w1w2Fp+w1w22Fp, where w12−α2=0, w1w2=w2w1, w23−β2w2=0, and α,β∈Fp∖{0}, for a prime p. We begin by introducing a Gray map defined over R, which is associated with an invertible matrix. We demonstrate its advantages over the canonical Gray map through some examples. Finally, we create new and improved quantum codes from constacyclic codes over R using Calderbank–Shore–Steane (CSS) construction.

Some characterizations of ω-balanced topological groups with a q-point

In this paper, we study some characterizations of q-spaces, strict q-spaces and strong q-spaces under ω-balanced topological groups. First we characterize a topological group G to be ω-balanced and a q-space whenever for each open neighborhood O of the identity in G, there is a countably compact invariant subgroup H which is of countable character in G, such that H ⊆ O and the canonical quotient mapping p : G → G/H is quasi-perfect and the quotient group G/H is metrizable. Secondly, we characterize G to be ω-balanced and a strict q-space, replacing the condition of being a q-space with an appropriate condition which is designed for the so-called “strict q-spaces”. Finally, we characterize G to be ω-balanced and a strong q-space, illustrating an additional condition to be replaced to that of q-space, or strict q-space. As applications of our three main results, we found new characterizations of the ω-narrow topological groups.

A lifting principle for canonical stability indices of varieties of general type

Abstract For any integer n > 0 n>0 , the 𝑛-th canonical stability index r n r_{n} is defined to be the smallest positive integer so that the r n r_{n} -canonical map Φ r n \Phi_{r_{n}} is stably birational onto its image for all smooth projective 𝑛-folds of general type. We prove the lifting principle for { r n } \{r_{n}\} as follows: r n r_{n} is equal to the maximum of the set of those canonical stability indices of smooth projective ( n + 1 ) (n+1) -folds with sufficiently large canonical volumes. Equivalently, there exists a constant V ⁢ ( n ) > 0 \mathfrak{V}(n)>0 such that, for any smooth projective 𝑛-fold 𝑋 with the canonical volume vol ⁢ ( X ) > V ⁢ ( n ) \mathrm{vol}(X)>{\mathfrak{V}}(n) , the pluricanonical map φ m , X \varphi_{m,X} is birational onto the image for all m ≥ r n − 1 m\geq r_{n-1} .

On countably complete topological groups

In this paper, we give a characterization of countably complete topological groups and study when a countably complete subgroup of a topological group is C-embedded. We mainly show that (1) a topological group G is countably complete (the notion introduced by M. Tkachenko in 2012) iff G contains a closed r-pseudocompact subgroup H such that the quotient space G/H is completely metrizable and the canonical quotient mapping π:G→G/H satisfies that π−1(F) is r-pseudocompact in G for each r-pseudocompact set F in G/H; (2) every countably complete weakly Ψω-factorizable and ω-balanced subgroup H of a topological group G is C-embedded; (3) every countably complete subgroup H of a pointwise pseudocompact topological group G is C-embedded; (4) every uniformly strongly countably complete and weakly Ψω-factorizable subgroup H of a topological group G is C-embedded. Further, an ω-narrow locally compact subgroup H of a topological group G is C-embedded.

Relational bulk reconstruction from modular flow

The entanglement wedge reconstruction paradigm in AdS/CFT states that for a bulk qudit within the entanglement wedge of a boundary subregion A¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\overline{A} $$\\end{document}, operators acting on the bulk qudit can be reconstructed as CFT operators on A¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\overline{A} $$\\end{document}. This naturally fits within the framework of quantum error correction, with the CFT states containing the bulk qudit forming a code protected against the erasure of the boundary subregion A. In this paper, we set up and study a framework for relational bulk reconstruction in holography: given two code subspaces both protected against erasure of the boundary region A, the goal is to relate the operator reconstructions between the two spaces. To accomplish this, we assume that the two code subspaces are smoothly connected by a one-parameter family of codes all protected against the erasure of A, and that the maximally-entangled states on these codes are all full-rank. We argue that such code subspaces can naturally be constructed in holography in a “measurement-based” setting. In this setting, we derive a flow equation for the operator reconstruction of a fixed code subspace operator using modular theory which can, in principle, be integrated to relate the reconstructed operators all along the flow. We observe a striking resemblance between our formulas for relational bulk reconstruction and the infinite-time limit of Connes cocycle flow, and take some steps towards making this connection more rigorous. We also provide alternative derivations of our reconstruction formulas in terms of a canonical reconstruction map we call the modular reflection operator.

General birationality and hyperelliptic theta divisors

AbstractWe first state a condition ensuring that having a birational map onto the image is an open property for families of irreducible normal non uniruled varieties. We give then some criteria to ensure general birationality for a family of rational maps, via specializations. Among the applications is a new proof of the main result of Catanese and Cesarano (Electron Res Arch 29(6):4315–4325, 2021) that, for a general pair (A, X) of an (ample) Hypersurface X in an Abelian Variety A, the canonical map $$\Phi _X$$ Φ X of X is birational onto its image if the polarization given by X is not principal. The proof is also based on a careful study of the Theta divisors of the Jacobians of Hyperelliptic curves, and some related geometrical constructions. We investigate these here also in view of their beauty and of their independent interest, as they lead to a description of the rings of Hyperelliptic theta functions.

On 𝑝-adic 𝐿-functions for Hilbert modular forms

We construct p p -adic L L -functions associated with p p -refined cohomological cuspidal Hilbert modular forms over any totally real field under a mild hypothesis. Our construction is canonical, varies naturally in p p -adic families, and does not require any small slope or non-criticality assumptions on the p p -refinement. The main new ingredients are an adelic definition of a canonical map from overconvergent cohomology to a space of locally analytic distributions on the relevant Galois group, and a smoothness theorem for certain eigenvarieties at critically refined points.

A moment map for the variety of Jordan algebras

We study the variety of complex [Formula: see text]-dimensional Jordan algebras using techniques from Geometric Invariant Theory. More specifically, we use the Kirwan–Ness theorem to construct a Morse-type stratification of the variety of Jordan algebras into finitely many invariant locally closed subsets, with respect to the energy functional associated to the canonical moment map. In particular we obtain a new, cohomology-free proof of the well-known rigidity of semisimple Jordan algebras in the context of the variety of Jordan algebras.

Virtual Quantum Broadcasting.

The quantum no-broadcasting theorem states that it is impossible to produce perfect copies of an arbitrary quantum state, even if the copies are allowed to be correlated. Here we show that, although quantum broadcasting cannot be achieved by any physical process, it can be achieved by a virtual process, described by a Hermitian-preserving trace-preserving map. This virtual process is canonical: it is the only map that broadcasts all quantum states, is covariant under unitary evolution, is invariant under permutations of the copies, and reduces to the classical broadcasting map when subjected to decoherence. We show that the optimal physical approximation to the canonical broadcasting map is the optimal universal quantum cloning, and we also show that virtual broadcasting can be achieved by a virtual measure-and-prepare protocol, where a virtual measurement is performed, and, depending on the outcomes, two copies of a virtual quantum state are generated. Finally, we use canonical virtual broadcasting to prove a uniqueness result for quantum states over time.

Tracial oscillation zero and stable rank one

Abstract Let A be a separable (not necessarily unital) simple $C^*$ -algebra with strict comparison. We show that if A has tracial approximate oscillation zero, then A has stable rank one and the canonical map $\Gamma $ from the Cuntz semigroup of A to the corresponding lower-semicontinuous affine function space is surjective. The converse also holds. As a by-product, we find that a separable simple $C^*$ -algebra which has almost stable rank one must have stable rank one, provided it has strict comparison and the canonical map $\Gamma $ is surjective.

Two-Dimensional Ferronematics, Canonical Harmonic Maps and Minimal Connections

We study a variational model for ferronematics in two-dimensional domains, in the “super-dilute” regime. The free energy functional consists of a reduced Landau-de Gennes energy for the nematic order parameter, a Ginzburg–Landau type energy for the spontaneous magnetisation, and a coupling term that favours the co-alignment of the nematic director and the magnetisation. In a suitable asymptotic regime, we prove that the nematic order parameter converges to a canonical harmonic map with non-orientable point defects, while the magnetisation converges to a singular vector field, with line defects that connect the non-orientable point defects in pairs, along a minimal connection.

Invariants of $\mathbb{Z}/p$-homology 3-spheres from the abelianization of the level-$p$ mapping class group

We study the relation between the set of oriented \mathbb{Z}/d -homology 3 -spheres and the level- d mapping class groups, the kernels of the canonical maps from the mapping class group of an oriented surface to the symplectic group with coefficients in \mathbb{Z}/d\mathbb{Z} . We formulate a criterion to decide whenever a \mathbb{Z}/d -homology 3 -sphere can be constructed from a Heegaard splitting with gluing map an element of the level- d mapping class group. Then, we give a tool to construct invariants of \mathbb{Z}/d -homology 3 -spheres from families of trivial 2 -cocycles on the level- d mapping class groups. We apply this tool to find all the invariants of \mathbb{Z}/p -homology 3 -spheres constructed from families of 2 -cocycles on the abelianization of the level- p mapping class group with p prime and to disprove the conjectured extension of the Casson invariant modulo a prime p to rational homology 3 -spheres due to B. Perron.

Some generalized countably compact properties in topological groups

In this paper, firstly, we study strict q-spaces, strong q-spaces and point pseudocompact spaces in topological groups in terms of preimages of metrizable spaces. A continuous mapping f:X→Y is (strongly) sequential-perfect if f is closed and (f−1(F)) f−1(y) is a sequentially compact set for each (sequentially compact set F⊆Y) y∈Y. We give some characterizations as follows:(1)A topological group G is a strict q-space if and only if it is a sequential-perfect preimage of a metrizable space.(2)A topological group G is a strong q-space if and only if it is a strongly sequential-perfect preimage of a metrizable space.(3)A topological group G is a pointwise pseudocompact space if and only if there is a continuous open mapping f from G onto a metrizable space M such that f−1(F) is an r-pseudocompact set in G for each r-pseudocompact set F in M.Secondly, we study completeness of generalized countably compact topological groups in terms of preimages of completely metrizable spaces and obtain the following results:(4)A topological group G is strictly countably sieve complete if and only if G contains a closed sequentially compact subgroup H such that the quotient space G/H is completely metrizable and the canonical quotient mapping π:G→G/H is sequential-perfect.(5)A topological group G is countably sieve-s-complete if and only if G contains a closed sequentially compact subgroup H such that the quotient space G/H is completely metrizable and the canonical quotient mapping π:G→G/H is strongly sequential-perfect.(6)A topological group G is countably sieve-p-complete if and only if G contains a closed r-pseudocompact subgroup H such that the quotient space G/H is completely metrizable and the canonical quotient mapping π:G→G/H satisfies that π−1(F) is r-pseudocompact in G for each r-pseudocompact set F in G/H.

Examples of surfaces with canonical maps of degree 12, 13, 15, 16 and 18

In this note, we present examples of complex algebraic surfaces with canonical maps of degree 12, 13, 15, 16 and 18. They are constructed as quotients of a product of two curves of genus 10 and 19 using certain non-free actions of the group S3×Z32\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$S_3\ imes {\\mathbb {Z}}_3^2$$\\end{document}. To our knowledge, there are no other examples in the literature of surfaces with canonical map of degree 13, 15 and 18.

On higher dimensional extremal varieties of general type

Relations among fundamental invariants play an important role in algebraic geometry. It is known that an $n$-dimensional variety of general type whose image of its canonical map is of maximal dimension, satisfies $\textrm{Vol} \geq 2 (p_g - n)$. In this article, we investigate the very interesting extremal situation of varieties with $\textrm{Vol} = 2(p_{g} - n)$, which we call Horikawa varieties for they are natural higher dimensional analogues of Horikawa surfaces. We obtain a structure theorem for Horikawa varieties and explore their pluriregularity. We use this to prove optimal results on projective normality of pluricanonical linear systems. We study the fundamental groups of Horikawa varieties, showing that they are simply connected. We prove results on deformations of Horikawa varieties, whose implications on the moduli space make them the higher dimensional analogue of curves of genus 2. Even though there are infinitely many families of Horikawa varieties in any given dimension $n$, we show that when the image of the canonical map is singular, the geometric genus of the Horikawa varieties is bounded by $n + 4$.

K-Theory of the maximal and reduced Roe algebras of metric spaces with A-by-CE coarse fibrations

Let [Formula: see text] be a discrete metric space with bounded geometry. In this paper, we show that if [Formula: see text] admits an “A-by-CE” coarse fibration, then the canonical quotient map [Formula: see text] from the maximal Roe algebra to the Roe algebra of [Formula: see text], and the canonical quotient map [Formula: see text] from the maximal uniform Roe algebra to the uniform Roe algebra of [Formula: see text], induce isomorphisms on [Formula: see text]-theory. A typical example of such a space arises from a sequence of group extensions [Formula: see text] such that the sequence [Formula: see text] has Yu’s property A, and the sequence [Formula: see text] admits a coarse embedding into Hilbert space. This extends an early result of Špakula and Willett [Maximal and reduced Roe algebras of coarsely embeddable spaces, J. Reine Angew. Math. 678 (2013) 35–68] to the case of metric spaces which may not admit a coarse embedding into Hilbert space. Moreover, it implies that the maximal coarse Baum–Connes conjecture holds for a large class of metric spaces which may not admit a fibered coarse embedding into Hilbert space.

Some algebraic surfaces with canonical map of degree 10, 12, 14

Surfaces of general type with canonical map of degree d bigger than 8 have bounded geometric genus and irregularity. In particular the irregularity is at most 2 if . In the present paper, the existence of surfaces with d = 10 and all possible irregularities, surfaces with d = 12 and irregularity 1 and 2, and surfaces with d = 14 and irregularity 0 and 1 is proven, by constructing these surfaces as -covers of certain rational surfaces. These results together with the construction by C. Rito of a surface with d = 12 and irregularity 0 show that all the possibilities for the irregularity in the cases d = 10, d = 12 can occur, whilst the existence of a surface with d = 14 and irregularity 2 is still an open problem.

Some surfaces with canonical maps of degrees 10, 11, and 14

AbstractIn this note, we present examples of complex algebraic surfaces of general type with canonical maps of degrees 10, 11, and 14. They are constructed as quotients of a product of two Fermat septics using certain free actions of the group .

Some surfaces with canonical map of degree 4

In this note, we construct unbounded families of minimal surfaces of general type whose canonical map has a degree of 4 such that the limits of the slopes K^2/\chi assume countably many different values in the closed interval [6+\frac23 ,8] .

Quantized vortex dynamics of the nonlinear Schrödinger equation on torus with non-vanishing momentum

We derive rigorously the reduced dynamical law for quantized vortex dynamics of the nonlinear Schrödinger equation on the torus with non-vanishing momentum when the vortex core size ɛ→0. The reduced dynamical law is governed by a Hamiltonian flow driven by a renormalized energy. A key ingredient is to construct a new canonical harmonic map to include the effect from the non-vanishing momentum into the dynamics. Finally, some properties of the reduced dynamical law are discussed.