I. Shlimak,V.I. Safarov,I.D. Vagner
Abstract:The idea of quantum computation is the most promising recent developments in the high-tech domain, while experimental realization of a quantum computer poses a formidable challenge. Among the proposed models especially attractive are semiconductor based nuclear spin quantum computer's (S-NSQC), where nuclear spins are used as quantum bistable elements, ''qubits'', coupled to the electron spin and orbital dynamics. We propose here a scheme for implementation of basic elements for S-NSQC's which are realizable within achievements of the modern nanotechnology. These elements are expected to be based on a nuclear-spin-controlled isotopically engineered Si/SiGe heterojunction, because in these semiconductors one can vary the abundance of nuclear spins by engineering the isotopic composition. A specific device is suggested, which allows one to model the processes of recording, reading and information transfer on a quantum level using the technique of electrical detection of the magnetic state of nuclear spins. Improvement of this technique for a semiconductor system with a relatively small number of nuclei might be applied to the manipulation of nuclear spin ''qubits'' in the future S-NSQC.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the invariant fields of central simple algebras are retract rational under specific conditions. Specifically, when the characteristic is not 2, whether the invariant fields of central simple algebras with involution are retract rational in some cases.
### Specific problem description
1. **Research object**: The paper mainly studies generic central simple algebras with involution, especially the centers of these algebras.
2. **Invariant fields**: These centers are also called invariant fields, which are invariant fields generated by the linear actions of projective orthogonal groups or projective symplectic groups.
3. **Objective**: The objective of the paper is to prove that when the characteristic is not 2 and the degree is \(8m\) (where \(m\) is odd), these invariant fields are retract rational.
### Main conclusions
- **Retract rationality**: By proving the equivalent lifting property, the author shows that under specific conditions (i.e., the degree is \(8m\) and \(m\) is odd), these invariant fields are retract rational.
- **Related concepts**:
- **Retract rational**: A field extension \(K/F\) is called retract rational if there exists an \(F\)-algebra \(S\) such that \(K\) is the fraction field of \(S\), and there exist a localized polynomial ring \(F[\vec{x}](1/s)\) and \(F\)-algebra maps \(f: S \to F[\vec{x}](1/s)\) and \(g: F[\vec{x}](1/s) \to S\) such that \(g \circ f\) is the identity map.
- **Lifting property**: For some local commutative \(F\)-algebra \(T\) and its residue field \(K\), if \(A/K\) belongs to a certain class \(A_{2,n}\), then there exists an Azumaya \(B/T\) such that \(B \otimes_T K\cong A\).
### Significance of the conclusion
This result reveals the structural characteristics of the invariant fields of generic central simple algebras with involution under specific conditions, especially their rationality. This is of great significance for understanding the properties of these algebras and their invariant fields, especially in algebraic geometry and algebraic theory.
### Summary
The main contribution of this paper is to prove that when the characteristic is not 2 and the degree is \(8m\) (\(m\) is odd), the invariant fields of generic central simple algebras with involution are retract rational. This result provides an important theoretical basis for studying the structure of these algebras.