A Functorial Construction of Quantum Subtheories

We apply the geometric quantization procedure via symplectic groupoids proposed by E. Hawkins to the setting of epistemically restricted toy theories formalized by Spekkens. In the continuous degrees of freedom, this produces the algebraic structure of quadrature quantum subtheories. In the odd-prime finite degrees of freedom, we obtain a functor from the Frobenius algebra in \textbf{Rel} of the toy theories to the Frobenius algebra of stabilizer quantum mechanics.


Introduction
The aim of geometric quantization is to construct, using the geometry of the classical system, a Hilbert space and a set of operators on that Hilbert space which give the quantum mechanical analogue of the classical mechanical system modeled by a symplectic manifold [2,4,23]. Starting with a symplectic space M corresponding to the classical phase space, the square integrable functions over M is the first Hilbert space in the construction, called prequantum Hilbert space. In this case, the classical observables are mapped to the operators on this Hilbert space and Poisson bracket is mapped to the commutator. The desired quantum Hilbert space consists of the sections of the prequantum Hilbert space which the depends on the "position" variables. These "position" variables are obtained by splitting the phase space via the polarization P which is the lagrangian subspace (i.e. the maximal subspace where the symplectic form vanishes) of the phase space.
The space of functions on M is a commutative algebra under the operations of pointwise addition and multiplication. A bivector field on M determines a Poisson bracket so that M can be regarded as an approximation to a noncommutative algebra. The quantization approach due to Riefel aims to obtain such a C * -algebra which is approximated by the Poisson algebra of the functions on M [18]. In this case, the algebra after quantization is a continuous field of C * -algebras rather than a single algebra. On the other hand, Hawkins suggests a quantization recipe using symplectic groupoids to obtain a single C * -algebra [14]. In this paper, we use the quantization formulation of Hawkins to investigate the epistemic toy theory due to Spekkens [21,20].
Spekkens introduced this toy theory in support of epistemic view of quantum mechanics [20]. The toy theory reproduces a large part quantum theory by positing restrictions on the knowledge of an observer. The distinctively quantum phenomena arises in the toy theory include complementarity, no-cloning, no-broadcasting, teleportation, entanglement, Choi-Jamiolkowski isomorphism, Naimark extension etc. On the other hand, the phenomena, such as Bell inequality violations, noncontextuality inequality violations and computational speed-up, do not arise in the toy theory.
The toy theory, that we are interested in, is the generalization of the original theory to the continuous and finite variables [21]. This is achieved by positing a restriction on what kind of statistical distributions over the space of physical states can be prepared. The new theory is called epistricted theory. In this way, quantum subtheories, Gaussian subtheory of quantum mechanics, stabilizer subtheory for qutrits, Gaussian epistricted optics can be obtained from statistical classical theories, Liouville mechanics, statistical theory of trits, statistical optics; respectively.
The epistemic restriction defined on the classical phase-space states that an agent knows the values of a set of variables that commute relative to the Poisson bracket and maximally ignorant otherwise. Hence, a symplectic structure, that appears in the function space of the phase space, has mathematical correspondence with the ingredients of the quantization scheme. As a result, we conclude that the geometric quantization, via Hawkins symplectic groupoid approach, produces a C * -algebra that encodes the algebraic structure of the quadrature subtheories. Moreover, this construction gives us a functor from epistricted theories to the quantum subtheories.
In the second part of this paper, we construct a similar quantization functor of the toy theory for discrete degrees of freedom. In this case, the toy theory is defined precisely same as the continuous case except that the finite dimensional symplectic vector space is over a finite field with odd prime characteristic. However, in order to apply groupoid quantization we resort the methods of Categorical Quantum Mechanics pioneered by Abramsky and Coecke [1]. The categorical description of the toy theory is given in [8,9], where toy theory is formulated as a subcategory of dagger compact symmetric monodial category of finite sets and relations Rel and the toy observables correspond to dagger frobenius algebras.
We start our construction with the dagger Frobenius algebras of the toy observables which are functorially characterized as groupoids by Heunen, Catteneo and the first author in [6]. After equipping the resulting groupoid with a symplectic structure, we construct the pair groupoid to apply the quantization recipe of Hawkins. One can also obtain this pair groupoid from a different direction called CP * -construction introduced in [10]. In the category of Hilbert spaces, Frobenius algebras correspond to finite dimensional C * -algebras under this construction as as consequence of [22]. For the category Rel, the pair groupoids are the objects of CP * [Rel]. Hence, our main result establishes a functor from the dagger Frobenius algebra in Rel for epistricted theories to the Frobenius algebra in the category of Hilbert spaces.
The outline of this paper is as follows. We begin section 2 with a brief summary of the geometric quantization procedure. We then discuss epistricted theories of continuous variables and their correspondence in geometric quantization framework. We next briefly review Eli Hawkins' groupoid quantization recipe from which we obtain the usual Moyal quantization as a twisted group C * -algebra from the geometric formulation of epistricted theories. We finally conclude that the resulting C * -algebra contains phase-space formalism for quadrature subtheories. In section 3, we follow the same quantization procedure for the odd-discrete degrees of freedom. We end the paper with the conclusion and discussions.

Continuous degrees of freedom
The main idea in this section is to describe the general framework of geometric quantization in the context of epistemically restricted theories with continuous variables. We start with a quick overview of the stantard literature on geometric quantization and then we move on to the interpretation for epistemically restricted theories. We end the section with the algebraic counterpart of geometric quantization, introduction Hawkins' approach of quantization via symplectic groupoids. The outcome of this approach is a C * -algebra for the epistricted theory.
2.1. Overview on Geometric quantization. There are several ideas behind the construction of geometric quantization, however, the main objective is to produce quantum objects by using the geometry of the objects from the classical theory. In the sequel we follow closely the approach of Bates and Weinstein [4].
The WKB picture appears as an effort to describe quantum mechanics from a geometric viewpoint. It essentially approximates the solution of the time-independent Schrödinger equation, in the form where S is a solution of the Hamilton-Jacobi equation We can then use the geometry of the phase space to realize the solution to the Schrödinger equation as a Lagrangian submanifold L of the level set H −1 (E). More precisely, let us consider the semiclassical approximation for φ. From the transport equation where a is a function on R n , and after multiplying both sides by a, we obtain that (1) div(a 2 ∇S) = 0. Now, if we consider the vector field H onto R n satisfies the following invariance condition where L denotes the Lie derivative, if we restrict to the Lagrangian submanifold L = im(dS). Since the vector field X H is tangent to the manifold L and L is diffeomorphims invariant, Equation 2 implies that the pullback π * (a 2 |dx|) is invariant under the flow of X H , where π : T * R n → L denotes the projection onto L. This discussion implies that a semi-classical state can be defined geometrically as a Lagrangian submanifold L of R 2n , equipped with a half density function a. This semi-classical state is stationary when L lies in the level set of the Hamiltonian and the half density a is invariant under the Hamiltonian flow. Transformations of the state correspond to Hamiltonians on R 2n . To summarize this geometric picture, It can be easily checked that if W is Lagrangian, then dim W = 1 2 dim V .

Definition 1.
A manifold is called Lagrangian (resp. isotropic, coisotropic and symplectic) if its tangent space is a Lagrangian subspace at every point.
We also consider Poisson algebras, which are commutative algebras (P, +, •) equipped with a Lie bracket [, ] that is a derivation for the commutative product. As a particular case in our discussion, the algebra of functions of a symplectic manifold (M, ω) is naturally a Poisson algebra.

Prequantum line bundle.
In this section, we follow Dirac's approach to axiomatize the quantization procedure.

Definition 2.
A prequantization is a linear map P →P H from a Poisson algebra (more precisely the algebra of functions of a Poisson manifold M ) into the set of operators on a (pre)-Hilbert space H, satisfying the following properties: where * denotes complex conjugation on left side, and adjunction on the right side.

Definition 3.
A prequantization is called quantization if, in addition to the properties above, the following condition is satisfied: • 4. For a complete set of functions {F i }, its quantization {F i } is also a complete set of operators.

Proposition 1.
In the specific case where M is a cotangent bundle T * N , a prequantization 1 can be constructed and it has the following form where X F is a Hamiltonian vector field with generating function F and θ is a primitive of the Liouville form ω T * N .
In order to implement this prequantization for a arbitrary symplectic manifold (M, ω), we require a complex line bundle over M , equipped with a Hermitian structure and a Hermitian connection ∇, for which the prequantization formula 3 takes the following form Provided a compatibility condition between curv(∇) and ω, this formula gives a prequantization for (M, ω).

Polarization.
It is easy to realize in some examples that the Hilbert space of prequantization is too big for the completeness condition 4 to hold. By using the ordinary viewpoint of quantum mechanics, only half of the coordinates of the classical phase space are required to write down the wave functions, depending whether the coordinate or momentum representation is considered. In (symplectic) geometric terms, for general symplectic manifolds, a polarization is defined as follows: Thus the quantization space consists of functions constant along the leaves of a the distribution P on M , more precisely, the quantization Hilbert sapce H is the space of sections s of the complex line bundle on M such that where X P is a vector field tangent to the polarization P.

2.2.
Quadrature Epistricted Theories. We now introduce the quadrature epistricted theories for continuous variables [21]. The epistemic restrictions on classical variables are adopted from the condition of the joint measurability of quantum observables. The other restriction besides joint knowability is that an agent can know only the variables which are linear combination of the position and momentum variables. Example 1. (Darboux coordinates). If we start with the phase space Ω = R 2n where a point is denoted by m = (p 1 , q 1 , . . . , p n , q n ), epistemic restrictions imply that the functionals f : Ω → R are of the form f = a 1 q 1 + b 1 p 1 + . . . + a n q n + b n p n + c where a 1 , b 1 , . . . , a n , b n , c ∈ R and p i (m) = p i and q i (m) = q i are functionals associated with momentum and position , respectively. Hence, each functional f

Object
Semi-classical version in quantization Epistricted theories phase space affine symplectic transformation Table 2. Correspondence between geometric quantization and epistricted theories is associated with a vector f = (a 1 , b 1 , . . . , a n , b n ). It is not hard to show that the value of the Poisson bracket over the phase space is uniform and equal to the symplectic inner product: Hence, the vector space Ω becomes a symplectic vector space with the symplectic inner product ω = ·, · . This allows us to give the geometric presentation of the quadrature variables.
The only set of variables jointly knowable are the ones that are Poisson commuting. In symplectic geometry, this set corresponds to the subspace V of vectors whose symplectic inner product vanish, i.e. ∀f , g ∈ V f , g = 0. For a 2n-dimensional phase space, the maximum possible dimension of such a V is n. Such a maximal space is a Lagrangian space as defined above and it corresponds to the maximal possible knowledge an agent can have. In order to specify an epistemic state one should also set the values of the variables on V . The linear functional v acting on a quadrature functional corresponds to the set of vectors in v ∈ V which is determined via v(f ) = f T v. That is,for every vector v ∈ V we obtain distinct value assignment.
In summary, a pure state in the epistricted theory consists of a Lagrangian subspace V ∈ R 2n and a valuation functional v : R 2n → R. In geometric quantization, the half density function can be regarded as this valuation function.
On the other hand, the valid transformations are the symplectic transformations which maps the quadrature variables to itself. These transformations map a phase space vector m ∈ Ω to Sm + a where a is a displacement vector and S is 2n × 2n symplectic matrix. The group formed by these transformations is called the affine symplectic group, which is subgroup of the hamiltonian symplectomorphism group. Thus, each of these transformations can be obtained from a hamiltonian. Finally, the sharp measurements are parametrized by Poisson commuting sets of quadrature variables (isotropic subspaces V ) and the outcomes are indexed by the vectors in V .
We summarize the correspondence between geometric quantization and epistricted theories in Table 2. 2.3. Hawkins' Groupoid Quantization. The aim of this section is to point out that the epistricted theories can be quantized by a twisted polarized convolution C * -algebra of a symplectic groupoid in the sense of E. Hawkins. The main idea in this method is to find a C * -algebra which is approximated by a Poisson algebra of functions on a manifold. C * -algebra quantization is mainly developed by the work of Rieffel where the quantization is stated as a continuous field of C * -algebras {A }. Hawkins' construction gives a single algebra A 1 by involving additional structures on the symplectic groupoid. In his approach, it is possible to reinterpret geometric quantization for a broader class of examples, coming from deformation quantization of Poisson algebras. This gives a rigorous treatment to the dictionary strategy of Weinstein relating the symplectic category and its geometrically quantized counterpart [4].
2.3.1. Symplectic groupoids. We start with the definition of symplectic groupoid, arising from the usual definition of Lie groupoid, requiring compatibility conditions with a symplectic structure on the space of arrows. Definition 6. A topological groupoid Σ is a groupoid object in the category of topological spaces, that is, Σ consists of a space of Σ 0 of objects and a space Σ 2 of arrows, together with five continous structure maps: • The source map s : Σ 2 → Σ 0 assigns to each arrow g ∈ Σ 2 its source s(g).
For two objects x, y ∈ Σ 0 , one writes g : x → y to indicate that g ∈ Σ 2 is an arrow with s(g) = x and t(g). • If g and h are arrows with s(h) = t(g), one can form their composition, denoted hg, with s(hg) = s(g) and t(hg) = t(h). If g : x → y and h : y → z then hg is defined and hg : x → z. The composition map m is defined by m(h, g) = hg, and it is a well defined map m : • The unit map u : Σ 0 → Σ 2 is a two sided unit for composition.
Σ is said to be a groupoid over Σ 0 Definition 7. A Lie groupoid is a topological groupoid Σ where Σ 0 and Σ 2 are smooth manifolds, and such that the structure maps s, t, m, u and − * are smooth. Moreover, s and t are required to be submersions so that the domain of m is a smooth manifold.
Definition 8. A Lie groupoid Σ is called a symplectic groupoid if Σ 2 is a symplectic manifold with symplectic form ω and the graph multiplication relation This definition is equivalent to say the the symplectic form ω is multiplicative, i.e. it satisfies the following compatibility conditions with the multiplication and projection maps: (6) m * ω = pr * 1 ω + pr * 2 ω, where pr 1 and pr 2 are the projections of Σ m onto the first and second component, respectively. As m is Lagrangian, one can find a unique Poisson structure on Σ 0 of a symplectic groupoid such that s is a Poisson map and t is anti-Poisson. Hence, we have the following definition. If M is a manifold, any vector bundle E over M is a Lie groupoid over M , the multiplication is given by fiber addition, the source and target maps map are projection onto the base, whereas the unit is given by the zero section of the bundle. In the particular case that E = T * M and that ω is the Liouville form on the cotangetn bundle, it it easy to verify that T * M is a symplectic groupoid over M .
Here is the Hawkins' strategy for geometric quantization of a manifold Ω.For a detailed discussion, one can refer to [14].
• Choose a symplectic groupoid polarization P of Σ which satisfies both symplectic and groupoid polarization. • Construct a "half form" bundle.
• Ω is quantized by twisted, polarized convolution algebra C * P (Σ, σ). Proposition 2. The Hawkins' geometric quantization of the symplectic space Ω = R 2n and Darboux coordinates (Example 1) is the Moyal quantization of the Poisson algebra of the symplectic vector space.
Proof. In the particular case of symplectic manifold is a vector space Ω = R 2n with symplectic form ω, which is the context of the epistricted theories, we have the symplectic groupoid Ω ⊕ Ω * integrating the symplectic vector space Ω, where the multiplication is given by fiber addition on Ω * = {(p 1 , p 2 , · · · , p 2n )}, i.e. the symplectic integration comes equipped with Darboux coordinates.
More explicitly,ω(u) : v → ω(u, v) gives a mapω : R 2n → R 2n * . One obtains a symplectic structure We identify R 2n ⊕R 2n with the cotangent bundle T * (R 2n ) as follows: For the local coordinates of covectors (u, ξ), (v, η) in T * (R 2n ), the cotangent symplectic structure is σ * ((u, ξ), (v, η)) = ξ(u) − η(v). This gives us a symplectomorphism Φ : R 2n ⊕R 2n → T * (R 2n ) such that where Φ * σ * = σ. 2 One can obtain the the Darboux coordinates (q 1 , . . . , q n , p 1 , . . . , p n ) of T * (R 2n ) from the symplectomorphism Φ. The projection of T * (R 2n ) to R 2n * is a fibration of groupoids whose fibers are Lagragian. Thus this is a polarization of the symplectic groupoid given by P = span{∂/∂p 1 , . . . , ∂/∂p n } The symplectic potential which vanishes on P can be chosen as θ P = −p i dq i . This polarization gives us the half-form pairing, which enables quantizable observables to be represented as operators on the Hilbert space L 2 (R 2n ).Hence, this yields the correspondence between the kernels of operators on L 2 (R 2n ) and Weyl symbols of these operators. This kernel T of an operator f is given by The quantization procedure gives the twisted group algebra C * (Ω * , σ) where σ : Ω * × Ω * → T, σ(x, y) = e −i {q,p} . This is the usual Moyal quantization of a Poisson vector space (see [19]). In this setting, the observables corresponds to functions in classical phase-space and the Moyal product of functions is derived from the product of pair of observables. In this case, the position and momentum operators correspond to the generators of the Heisenberg group and they are related to each other by a Fourier transform. Proof. To be consistent with the formalism of [21], we work with projector valued measures (PVM) rather than Hermitian operators. PVMs are used in quantum information and quantum foundations to represent measurements as eigenvalues of Hermitian operators are operationally insignificant and serve as labels of outcomes. A projector-valued measure with outcome set K is a set of projectors {Π k : k ∈ K} such that Π 2 k = Π k , ∀k ∈ K and k Π k = I. Hence the position (momentum) observable are the set of projectors onto position (momentum) eigenstates 3 : For single degree of freedom, let S f be the symplectic matrix that takes the position functional q to a quadrature functional f such that S f q = f . Then the quadrature observable associated with f is defined as follows For the n degrees of freedom Ω = R 2n , the quadrature observable associated with f is given by We also know that the set of quadrature observables {O fi } commute if and only if the corresponding functionals {f i } are Poisson-commuting (see [20]). Hence, the commuting set of quadrature observables can be labelled by isotropic subspaces of Ω. This set defines a single quadrature observable On the other hand, in the geometric quantization procedure, any functional f on Ω is mapped to a hermitian operatorf in a prequantum Hilbert space which corresponds to the observable O f = {Π f (f ) : f ∈ R 2n }. Moreover, the commutation relation for the observables in both quadrature subtheories and geometric quantization, is implied by the Poisson commutation relation of the classical observables. As the polarization is the commuting set of these hermitian operators, the state that is obtained after quantization is the operatorΠ V (v).The choice of the vertical polarization for the groupoid Ω ⊕ Ω * is the responsible of the correspondence between the two quantum states. The half-form pairing defined above can be computed in terms of the integral kernel of the projection operatorΠ f , which has Weyl symbol f . This establishes a correspondence between phase-space formalism and quantum mechanics, and Moyal product is deduced from this correspondence.
In [20], the operational equivalence quantum subtheories and epistricted theories is proven using Wigner representation which maps operators in Hilbert space to the functions in phase-space formulation of quantum mechanics. It is also wellknown fact that the Wigner representation of an operator product is given by the Moyal product. As a result, geometric quantization with an appropriate choice of polarization is operationally equivalent to epistricted theories. We can also conclude that group algebra C * (H) = C * (Ω * , σ), which is the Hilbert space considered as a group representation of the Heisenberg group H, contains the algebraic structure of quadrature subtheories.
This discussion leads to the following theorem: Theorem 4 (Main result in the continuous case). The geometric quantization, via Hawkins' symplectic groupoid approach, of the Spekkens toy theory of continuous degrees of freedom produces a C * -algebra that is a group representation for the Heisenberg group H and it encodes the algebraic structure of the quadrature subtheories, via Moyal quantization.

2.4.
Functoriality. The functoriality of geometric quantization is a delicate issue and it has been proven that the quantization that fits with the Schröedinger picture is in fact not functorial. There are several problems even before quantization, in particular, that the symplectic category is not quite a category, since the composition of Lagrangian correspondences is not in general well defined, and also that when it is defined, the composition is not continuous with the standard topology in the Lagrangian Grassmanian. The failure of geometric quantization to functorially represent Schroedinger's picture is given e.g. in Gotay's work [?]. However, the geometric quantization picture for symplectic groupoids turns out to be functorial with respect to the choices, i.e. the polarizations (the groupoid one), the half line bundle. The fact that the choices of polarizations are affine means that there is a higher structure for our C*-algebra quantization, namely, the objects are symplectic manifolds, 1-morphisms are Lagrangian polarizations and 2-morphisms are affine transformations between Lagrangian polarizations. These 2-morphims are reflected in C*-algebra automorphisms after quantization.

Finite degrees of freedom
We now discuss how the geometric quantization relates the epistricted theories to quadrature quantum subtheories for odd-prime discrete degrees of freedom. In [21], the operational equivalence of these two theories for continuous and odd-prime discrete cases was proven using Wigner representation. Here, we aim to construct a functor from a subcategory of the category of groupoids to the category of C *algebras. This corresponds to a functor from Frobenius algebras in the category FRel (Frobenius algebras in the category of sets and relations) to Frobenius algebras in the category of Hilbert spaces FHilb. Here is the sketch of our discrete quantization: • We start with the special dagger Frobenius algebra of epistricted theories, Spek, which is a subcategory of finite sets and relations, FRel. • We then construct the groupoid G corresponding to Spek via the explicit equivalence in Heunen et. al. [6]. • We next obtain the pair groupoid from G and introduce the symplectic structure on it which is compatible with the pair groupoid structure. In this case, each polarization corresponds to a Lagrangian subspace in epistricted theories. • We then apply geometric quantization procedure a la Hawkins on the pair groupoid by considering the complex valued function space on the groupoid and using discrete Fourier transform (integral kernel) defined by Gross [11]. • Finally, we end up with the finite dimensional C * -algebra from which one can construct special dagger Frobenius algebra over FHilb via [22].
We begin this section by reviewing the epistricted theories in discrete case.
3.1. Quadrature Epistricted Theories. The formalism in finite case is defined over the finite fields with prime order d. These fields are isomorphic to the integers modulo d, denoted by Z d . Hence, the configuration space and associated phasespace are (Z d ) n , Ω = (Z d ) 2n , respectively. The linear functionals are also in the form: where a 1 , b 1 , . . . , a n , b n , c ∈ Z d . Hence, a vector f = (a 1 , b 1 , . . . , a n , b n ) specifies the position and momentum dependence of the quadrature functional f . The dual space Ω * = (Z d ) n consists of these vectors associated with the functionals. The Poisson bracket, unlike the continuous case, is defined in terms of finite differences: Definition 10. The Poisson bracket in the finite case is given by where the operations are in modulo d. The Poisson bracket, [f, g] P B (m), is also equal to symplectic inner product f , g on the discrete phase space.
Like in the continuous case, an epistemic state is determined by the set of quadrature variables that are known to that agent and the values of these variables. This corresponds to the pair (V * , v), where V * is an isotropic subspace of the phase space Ω * and v is a valuation vector in V * * = V . Similarly, the valid transformations are symplectic transformations which preserve the symplectic inner product and they form the affine symplectic group over the finite field Z d . Note that these transformations over a finite field are discrete in time; hence, they cannot be generated from a Hamiltonian unlike the continuous case.

Example 4.
As an example, we consider the quadrature epistricted theory of trits [21] for a single system. The configuration space and the phase space are Z 3 and Z 2 3 , respectively. The quadrature functionals in this system are of the form f = aq + bp + c where a, b, c ∈ Z 3 . There are four inequivalent quadrature functionals: q, p, , q + p, q + 2p.
Since none of these functionals Poisson-commute, an agent can know at most one of them. This implies that there are twelve epistemic state as the valuation vectors are chosen from V = Z 3 . These states can be depicted as the following 3 × 3 grids: The valid transformations, which forms affine symplectic group over Z 3 , correspond to a certain subset of permutations of the functionals. Here is an example: 3.2. The Category of epistricted theories. We now turn to the category of the epistricted theory of trits. The arguments can easily be generalized to the epistricted theories for other odd primes.We start with the category of FRel whose objects are sets and whose morphisms X → Y are relations r ⊆ X × Y and s • r = {(x, z)|∃y, (x, y) ∈ r, (y, z) ∈ s}. FRel is a dagger symmetric monoidal category when the tensor product is chosen as a cartesian product, the single element set 1 = {•} as the identity and the relational converse as the dagger morphism †.
Definition 11. An object X in FRel with a morphism m : X × X → X is called special dagger Frobenius algebra if and only if m has the following properties: The conditions of Frobenius algebras presented graphically in Figure 1. These diagrams encode composition by drawing morphisms on top of each other, and monoidal product is drawing morphism next to each other. The dagger is a vertical reflection.
The compact structure can be induced from the Frobenius algebra by η = m † • e. As a result of compact structure, we can define transposes of morphism r : The category of Frobenius algebras in FRel with the following morphism is a well-defined category (see Proposition 14 [6]).

Definition 12.
A morphism (X, m X ) → (Y, m Y ) in the category of Frobenius algebras in FRelis a morphism r : It is straightforward to verify that (IX, m, e) is the special dagger Frobenius algebra. 3.3. Frobenius Algebras as Groupoids. We start our procedure of the discrete geometric quantization with constructing the groupoid corresponding to the Frobenius algebra (IX, m, e). The groupoid characterization of dagger Frobenius algebras is given in [6]. We now give the groupoid following [6].
Definition 13. The following objects and morphisms in Rel obtained from the Frobenius algebra (IX, m, e) form a groupoid Σ in the category of sets and functions Set (see [6] Theorem 7).

Weyl Correspondence and Pair
Groupoid. In order to apply Hawkins' quantization, we require a symplectic groupoid and a Lagrangian polarization.
Proposition 8. In the discrete geometric quantization procedure for the symplectic space (M = Z 2 3 , ω), its pair groupoid and the subspace P = Z 3 are suitable symplectic groupoid and groupoid polarization respectively.
Proof. The pair groupoid associated to a set M consists of P air(M ) = M × M , endowed with the multiplication (x, y) · (y, z) = (x, z). M embeds in M × M as the diagonal {(x, x)|x ∈ M }, and s and t are the projections s(x, y) = (y, y) and t(x, y) = (x, x). In this groupoid, there is exactly one arrow from any object to another. Starting with pair groupoid M = Z 2 3 × Z 2 3 , one can define a symplectomorphism Φ : . It is then clear that such pair groupoid is symplectic and it integrates the symplectic space (M = Z 2 3 , ω).

Now, choosing the polarization as
we can adapt the procedure in continous case to obtain the discrete Fourier transform: which maps complex functions f : Z 2 3 → C to projective operators in the twisted group algebra C * (Z 2 3 , σ) as a result of Hawkins quantization.
Remark 3. Note that we cannot apply the same procedure to the toy bits, i.e. Ω = Z 2 , as the symplectomorphism Φ and other steps of quantization include division by two.
Our main result produces a functorial quantization via symplectic groupoids, in the case of epistricted theories with an odd prime number of degrees of freedom.
Theorem 9 (Main result for the finite case). The discrete geometric quantization procedure is a functor from the Frobenius algebra in Rel for epistricted theories to the Frobenius algebra for stabilizer quantum mechanics in odd prime discrete case.
Proof. Let us construct a pair groupoid M from the dagger Frobenius algebra (IX, m, e). We start with the monoid structure (IX × IX, id IX × η † × id IX , η) in Rel, where η := m † •e. This monoid is a specific example of endomorphism monoids in [22] which is an analogue of algebras of bounded linear operators. Note that the new monoid multiplication m = id IX × η † × id IX is precisely the multiplication in m ((x, y), (y, z)) = (x, z) in the pair groupoid, and the unit is the diagonal η = e • m : • → {(a, a)|a ∈ IX}. The abstract polarization P in this context can be cast as • → U × U . We denote this monoid as End(IX) The algebra (IX, m, e) can be embedded into endomorphism monoid End(IX) similar to the fact that every algebra has a homomorphism into the algebra of operators. The embedding homomorphism h : (IX, m, e) → End(IX) is defined by: It is easy to show that h is an preserves multiplication and the unit. One can also refer to Lemma 3.19 in [22] for a more general case. Let (IX × IX,m,ē = η) denote the image of h in the endomorphism monoid. We now can construct the groupoid Σ from the dagger Frobenius algebra (IX × IX,m,ē) following the construction in [6] one more time: By Lemma 1Σ can be equipped with a symplectic structure so that it becomes symplectic groupoid where the polarization is P = span{p 1 − p 2 , q 1 − q 2 } corresponding to • → U × U in (IX × IX,m,ē). Hence, the quantization give us a subalgebra of C * (Z 2 3 , σ) as we only consider the linear combination of position and momentum operators. The resulting operator algebra is projective representation of finite Heisenberg group given by the above discrete Fourier transform. The resulting finite dimensional C * -algebra is equivalent to a dagger Frobenius algebra in Hilb (see Theorem 4.7 [22]). By the functoriality of quantization in this specific case and functoriality of the above embedding into End(IX) (see corollary 4.4 [7], we obtain a functor from the dagger Frobenius algebras in Rel to the dagger Frobenius algebras in Hilb. The affine symplectic transformations of the epistricted theories are mapped the group representations of affine symplectic group which acts as a superoperator in the resulting C * -algebra.

Conclusion and further work
We have established the relationship between geometric quantization and quadrature subtheories for the continous degrees of freedom. We conclude that the group algebra C * (H) for Heisenberg group H contains the quadrature subtheories as a result of groupoid quantization procedure. One can use this fact to give operator algebraic approach to quantum optics. 4.1. C * -quantization. This construction also suggests that there is a "geometric quantization" functor, from a subcategory of the category of groupoids to the category of C * -algebras. Following [6], this corresponds to a functor from Frobenius algebras in the category FRel (Frobenius algebras in the category of sets and relations) to Frobenius algebras in the category of Hilbert spaces FHilb. The functor has to be defined in the subcategory of Frobenius algebras arising from symplectic groupoids, and the morphisms have to be adapted in order to obtain functoriality. 4.2. The even case. We investigate discrete degrees of freedom. The variables in this case are chosen from a finite field instead of real numbers. Even though Spekkens' original toy theory [21] is contained in the case where finite field is Z/2, we consider odd degrees freedom. The reason is that for Ω = (Z/2) n the discrete Wigner representation can take negative values and therefore the epistricted theory does not coincide with the quadrature subtheories [20]. Our main result is to give a discrete version of groupoid quantization. The resulting algebra is C * (H) for the finite Heisenberg group H. This finite C * -algebra corresponds to a Frobenius structure via the construction of Vicary [22]. Thus, one can study quantum phenomena such as complementarity in quadrature theories in this algebraic framework.

4.3.
Geometric quantization over finite fields. In the work of Gurevich and Hadani [12], a functorial description of geometric quantization is developped for vector spaces over fields with positive characteristics. The odd prime case is resemblant to the discrete geometric quantization procedure we have described in this paper. We expect to have a more explicit comparison in the future between our quantization procedure for the odd finite case and this geometric quantization program