Related papers: A group theoretic perspective on entanglements of …

Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a quadratic number field.

This article presents the basis of a theory of entanglement. We begin with a classical theory of entangled discrete measures in Section~1. Section~2 treats quantum mechanics and discusses the statistics of bounded operators on a Hilbert…

In this note, we connect the $n$-torsions of the Picard group of an elliptic surface to the $n$-divisibility of the class group of torsion fields for a given integer $n>1$. We also connect the $n$-divisibility of the Selmer group to that of…

Let $a,b,c$ be distinct positive integers. Set $M=a+b+c$ and $N=abc$. We give an explicit description of the Mordell-Weil group of the elliptic curve $\displaystyle E_{(M,N)}:y^2-Mxy-Ny=x^3$ over $\Q$. In particular we determine the torsion…

We are intereseted in quandles and their enveloping groups. Various results are proven. We show that a quandle $Q$ and its image in the enveloping group $G(Q)$ have isomorphic enveloping groups. The image quandle is injective. For $Q$ a…

In this article we present a characterization of elliptic curves defined over a finite field Fq which possess a rational subgroup of order three. There are two posible cases depending on the rationality of the points in these groups. We…

Let $E/\bbq$ be an elliptic curve defined over $\bbq$ with conductor $N$ and $\gq$ the absolute Galois group of an algebraic closure $\bar{\bbq}$ of $\bbq$. We prove that for every $\sigma\in \gq$, the Mordell-Weil group $E(\oqs)$ of $E$…

Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a…

We find explicit subdivision rules for all special cubulated groups. A subdivision rule for a group produces a sequence of tilings on a sphere which encode all quasi-isometric information for a group. We show how these tilings detect…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

We give an elementary introduction to the notion of quantum entanglement between distinguishable parties and review a recent proposal about solid state quantum computation with spin-qubits in quantum dots. The indistinguishable character of…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Entanglement entropy is an important quantity in field theory, but its definition poses some challenges. The naive definition involves an extension of quantum field theory in which one assigns Hilbert spaces to spatial sub-regions. For…

Let $K$ be an imaginary quadratic field of discriminant $d_K$ with ring of integers $\mathcal{O}_K$. When $K$ is different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, we consider a certain specific model for the elliptic curve…

We define a notion of target space entanglement entropy. Rather than partitioning the base space on which the theory is defined, we consider partitions of the target space. This is the physical case of interest for first-quantized theories,…

For each pointed abelian group $(A,c)$, there is an associated {\em Galkin quandle} $G(A,c)$ which is an algebraic structure defined on $\Bbb Z_3\times A$ that can be used to construct knot invariants. It is known that two finite Galkin…

The aim of the inverse Galois problem is to find extensions of a given field whose Galois group is isomorphic to a given group. In this article, we are interested in subgroups of GL(2,Z/nZ) where n is an integer. We know that, in general,…

A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…

In this paper we present the novel qualities of entanglement of formation for general (so also infinite dimensional) quantum systems. A major benefit of our presentation is a rigorous description of entanglement of formation. In particular,…

Let $K$ be an imaginary quadratic field, and let $\mathcal{O}_{K,f}$ be an order in $K$ of conductor $f\geq 1$. Let $E$ be an elliptic curve with CM by $\mathcal{O}_{K,f}$, such that $E$ is defined by a model over $\mathbb{Q}(j_{K,f})$,…