-
On the structure of DHR bimodules of abstract spin chains
Authors:
Lucas Hataishi,
David Jaklitsch,
Corey Jones,
Makoto Yamashita
Abstract:
Abstract spin chains axiomatize the structure of local observables on the 1D lattice which are invariant under a global symmetry, and arise at the physical boundary of 2+1D topologically ordered spin systems. In this paper, we study tensor categorical properties of DHR bimodules over abstract spin chains. Assuming that the charge transporters generate the algebra of observables, we prove that the…
▽ More
Abstract spin chains axiomatize the structure of local observables on the 1D lattice which are invariant under a global symmetry, and arise at the physical boundary of 2+1D topologically ordered spin systems. In this paper, we study tensor categorical properties of DHR bimodules over abstract spin chains. Assuming that the charge transporters generate the algebra of observables, we prove that the associated category has a structure of modular tensor category with respect to the natural braiding. Under an additional assumption of algebraic Haag duality, this category becomes the Drinfeld center of the half-line fusion category.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
Universal coarse geometry of spin systems
Authors:
Ali Elokl,
Corey Jones
Abstract:
The prospect of realizing highly entangled states on quantum processors with fundamentally different hardware geometries raises the question: to what extent does a state of a quantum spin system have an intrinsic geometry? In this paper, we propose that both states and dynamics of a spin system have a canonically associated coarse geometry, in the sense of Roe, on the set of sites in the thermodyn…
▽ More
The prospect of realizing highly entangled states on quantum processors with fundamentally different hardware geometries raises the question: to what extent does a state of a quantum spin system have an intrinsic geometry? In this paper, we propose that both states and dynamics of a spin system have a canonically associated coarse geometry, in the sense of Roe, on the set of sites in the thermodynamic limit. For a state $φ$ on an (abstract) spin system with an infinite collection of sites $X$, we define a universal coarse structure $\mathcal{E}_φ$ on the set $X$ with the property that a state has decay of correlations with respect to a coarse structure $\mathcal{E}$ on $X$ if and only if $\mathcal{E}_φ\subseteq \mathcal{E}$. We show that under mild assumptions, the coarsely connected completion $(\mathcal{E}_φ)_{con}$ is stable under quasi-local perturbations of the state $φ$. We also develop in parallel a dynamical coarse structure for arbitrary quantum channels, and prove a similar stability result. We show that several order parameters of a state only depend on the coarse structure of an underlying spatial metric, and we establish a basic compatibility between the dynamical coarse structure associated to a quantum circuit $α$ and the coarse structure of the state $ψ\circ α$ where $ψ$ is any product state.
△ Less
Submitted 30 December, 2024; v1 submitted 12 November, 2024;
originally announced November 2024.
-
Quantum cellular automata and categorical dualities of spin chains
Authors:
Corey Jones,
Kylan Schatz,
Dominic J. Williamson
Abstract:
Dualities play a central role in the study of quantum spin chains, providing insight into the structure of quantum phase diagrams and phase transitions. In this work we study categorical dualities, which are defined as bounded-spread isomorphisms between algebras of symmetry-respecting local operators on a spin chain. We consider generalized global symmetries that correspond to unitary fusion cate…
▽ More
Dualities play a central role in the study of quantum spin chains, providing insight into the structure of quantum phase diagrams and phase transitions. In this work we study categorical dualities, which are defined as bounded-spread isomorphisms between algebras of symmetry-respecting local operators on a spin chain. We consider generalized global symmetries that correspond to unitary fusion categories, which are represented by matrix-product operator algebras. A fundamental question about dualities is whether they can be extended to quantum cellular automata on the larger algebra generated by all local operators that respect the unit matrix-product operator. For conventional global symmetries, which are on-site representations of finite groups, this larger algebra is simply the tensor product of algebras associated to individual spins in the chain. We present a solution to the extension problem using the machinery of Doplicher-Haag-Roberts bimodules. Our solution provides a crisp categorical criterion for when an extension of a duality exists. We show that the set of possible extensions form a torsor over the invertible objects in the relevant symmetry category. As a corollary, we obtain a classification result concerning dualities in the group case.
△ Less
Submitted 1 April, 2025; v1 submitted 11 October, 2024;
originally announced October 2024.
-
Quantum symmetries of noncommutative tori
Authors:
David E. Evans,
Corey Jones
Abstract:
We consider the problem of building non-invertible quantum symmetries (as characterized by actions of unitary fusion categories) on noncommutative tori. We introduce a general method to construct actions of fusion categories on inductive limit C*-algberas using finite dimenionsal data, and then apply it to obtain AT-actions of arbitrary Haagerup-Izumi categories on noncommutative 2-tori, of the ev…
▽ More
We consider the problem of building non-invertible quantum symmetries (as characterized by actions of unitary fusion categories) on noncommutative tori. We introduce a general method to construct actions of fusion categories on inductive limit C*-algberas using finite dimenionsal data, and then apply it to obtain AT-actions of arbitrary Haagerup-Izumi categories on noncommutative 2-tori, of the even part of the $E_{8}$ subfactor on a noncommutative 3-torus, and of $\text{PSU}(2)_{15}$ on a noncommutative 4-torus.
△ Less
Submitted 8 January, 2025; v1 submitted 22 April, 2024;
originally announced April 2024.
-
Levin-Wen is a gauge theory: entanglement from topology
Authors:
Kyle Kawagoe,
Corey Jones,
Sean Sanford,
David Green,
David Penneys
Abstract:
We show that the Levin-Wen model of a unitary fusion category $\mathcal{C}$ is a gauge theory with gauge symmetry given by the tube algebra $\operatorname{Tube}(\mathcal{C})$. In particular, we define a model corresponding to a $\operatorname{Tube}(\mathcal{C})$ symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case…
▽ More
We show that the Levin-Wen model of a unitary fusion category $\mathcal{C}$ is a gauge theory with gauge symmetry given by the tube algebra $\operatorname{Tube}(\mathcal{C})$. In particular, we define a model corresponding to a $\operatorname{Tube}(\mathcal{C})$ symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case $\mathcal{C}=\mathsf{Hilb}(G,ω)$, we show how our procedure reduces to the twisted gauging of a trivial $G$-SPT to produce the Twisted Quantum Double. We further provide an example which is outside the bounds of the current literature, the trivial Fibonacci SPT, whose gauge theory results in the doubled Fibonacci string-net. Our formalism has a natural topological interpretation with string diagrams living on a punctured sphere. We provide diagrams to supplement our mathematical proofs and to give the reader an intuitive understanding of the subject matter.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Spin-bounded correlations: rotation boxes within and beyond quantum theory
Authors:
Albert Aloy,
Thomas D. Galley,
Caroline L. Jones,
Stefan L. Ludescher,
Markus P. Mueller
Abstract:
How can detector click probabilities respond to spatial rotations around a fixed axis, in any possible physical theory? Here, we give a thorough mathematical analysis of this question in terms of "rotation boxes", which are analogous to the well-known notion of non-local boxes. We prove that quantum theory admits the most general rotational correlations for spins 0, 1/2, and 1, but we describe a m…
▽ More
How can detector click probabilities respond to spatial rotations around a fixed axis, in any possible physical theory? Here, we give a thorough mathematical analysis of this question in terms of "rotation boxes", which are analogous to the well-known notion of non-local boxes. We prove that quantum theory admits the most general rotational correlations for spins 0, 1/2, and 1, but we describe a metrological game where beyond-quantum resources of spin 3/2 outperform all quantum resources of the same spin. We prove a multitude of fundamental results about these correlations, including an exact convex characterization of the spin-1 correlations, a Tsirelson-type inequality for spins 3/2 and higher, and a proof that the general spin-J correlations provide an efficient outer SDP approximation to the quantum set. Furthermore, we review and consolidate earlier results that hint at a wealth of applications of this formalism: a theory-agnostic semi-device-independent randomness generator, an exact characterization of the quantum (2,2,2)-Bell correlations in terms of local symmetries, and the derivation of multipartite Bell witnesses. Our results illuminate the foundational question of how space constrains the structure of quantum theory, they build a bridge between semi-device-independent quantum information and spacetime physics, and they demonstrate interesting relations to topics such as entanglement witnesses, spectrahedra, and orbitopes.
△ Less
Submitted 18 November, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
An index for quantum cellular automata on fusion spin chains
Authors:
Corey Jones,
Junhwi Lim
Abstract:
Interpreting the GNVW index for 1D quantum cellular automata (QCA) in terms of the Jones index for subfactors leads to a generalization of the index defined for QCA on more general abstract spin chains. These include fusion spin chains, which arise as the local operators invariant under a global (categorical/MPO) symmetry, and as the boundary operators of 2D topological codes. We show that for the…
▽ More
Interpreting the GNVW index for 1D quantum cellular automata (QCA) in terms of the Jones index for subfactors leads to a generalization of the index defined for QCA on more general abstract spin chains. These include fusion spin chains, which arise as the local operators invariant under a global (categorical/MPO) symmetry, and as the boundary operators of 2D topological codes. We show that for the fusion spin chains built from the fusion category $\mathbf{Fib}$, the index is a complete invariant for the group of QCA modulo finite depth circuits.
△ Less
Submitted 18 March, 2024; v1 submitted 19 September, 2023;
originally announced September 2023.
-
Local topological order and boundary algebras
Authors:
Corey Jones,
Pieter Naaijkens,
David Penneys,
Daniel Wallick
Abstract:
We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\mathbb{Z}^{k-1}$, which provides a mathematically precise algebrai…
▽ More
We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\mathbb{Z}^{k-1}$, which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [Ann. H. Poincaré 25, 2024] that the bulk cone von Neumann algebra in the Toric Code is of type $\rm{II}$, and we show that Levin-Wen models can have cone algebras of type $\rm{III}$. Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states.
△ Less
Submitted 12 February, 2025; v1 submitted 24 July, 2023;
originally announced July 2023.
-
DHR bimodules of quasi-local algebras and symmetric quantum cellular automata
Authors:
Corey Jones
Abstract:
For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category and show it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a lattice $L\subseteq \mathbb{R}^{n}$ satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-loca…
▽ More
For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category and show it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a lattice $L\subseteq \mathbb{R}^{n}$ satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-local algebras $A$ of operators on a lattice invariant under a (categorical) symmetry, we obtain a homomorphism from the group of symmetric quantum cellular automata (QCA) to $\textbf{Aut}_{br}(\textbf{DHR}(A))$, containing symmetric finite depth circuits in the kernel. For a spin chain with fusion categorical symmetry $\mathcal{D}$, we show the DHR category of the quasi-local algebra of symmetric operators is equivalent to the Drinfeld center $\mathcal{Z}(\mathcal{D})$ . We use this to show that for the double spin flip action $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\curvearrowright \mathbb{C}^{2}\otimes \mathbb{C}^{2}$, the group of symmetric QCA modulo symmetric finite depth circuits in 1D contains a copy of $S_{3}$, hence is non-abelian, in contrast to the case with no symmetry.
△ Less
Submitted 16 February, 2024; v1 submitted 31 March, 2023;
originally announced April 2023.
-
Random Max-CSPs Inherit Algorithmic Hardness from Spin Glasses
Authors:
Chris Jones,
Kunal Marwaha,
Juspreet Singh Sandhu,
Jonathan Shi
Abstract:
We study random constraint satisfaction problems (CSPs) in the unsatisfiable regime. We relate the structure of near-optimal solutions for any Max-CSP to that for an associated spin glass on the hypercube, using the Guerra-Toninelli interpolation from statistical physics. The noise stability polynomial of the CSP's predicate is, up to a constant, the mixture polynomial of the associated spin glass…
▽ More
We study random constraint satisfaction problems (CSPs) in the unsatisfiable regime. We relate the structure of near-optimal solutions for any Max-CSP to that for an associated spin glass on the hypercube, using the Guerra-Toninelli interpolation from statistical physics. The noise stability polynomial of the CSP's predicate is, up to a constant, the mixture polynomial of the associated spin glass. We prove two main consequences:
1) We relate the maximum fraction of constraints that can be satisfied in a random Max-CSP to the ground state energy density of the corresponding spin glass. Since the latter value can be computed with the Parisi formula, we provide numerical values for some popular CSPs.
2) We prove that a Max-CSP possesses generalized versions of the overlap gap property if and only if the same holds for the corresponding spin glass. We transfer results from Huang et al. [arXiv:2110.07847, 2021] to obstruct algorithms with overlap concentration on a large class of Max-CSPs. This immediately includes local classical and local quantum algorithms.
△ Less
Submitted 10 January, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Composing topological domain walls and anyon mobility
Authors:
Peter Huston,
Fiona Burnell,
Corey Jones,
David Penneys
Abstract:
Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local…
▽ More
Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local operators. Such a decomposition can be understood using an alternate framework in the case that the topological order is anomaly-free, in the sense that it can be realized by a commuting projector lattice model. By placing these Witt equivalences in the context of a 3-category of potentially anomalous (2+1)D topological orders, we develop a framework for computing the decomposition of parallel topological domain walls into indecomposable superselection sectors, extending the previous understanding to topological orders with non-trivial anomaly. We characterize the superselection sectors in terms of domain wall particle mobility, which we formalize in terms of tunnelling operators. The mathematical model for the 3-category of topological orders is the 3-category of fusion categories enriched over a fixed unitary modular tensor category.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
A Novel Regularization for Higher Accuracy in the Solution of 3D Stokes Flow
Authors:
J. Thomas Beale,
Christina Jones,
Jillian Reale,
Svetlana Tlupova
Abstract:
Many problems in fluid dynamics are effectively modeled as Stokes flows - slow, viscous flows where the Reynolds number is small. Boundary integral equations are often used to solve these problems, where the fundamental solutions for the fluid velocity are the Stokeslet and stresslet. One of the main challenges in evaluating the boundary integrals is that the kernels become singular on the surface…
▽ More
Many problems in fluid dynamics are effectively modeled as Stokes flows - slow, viscous flows where the Reynolds number is small. Boundary integral equations are often used to solve these problems, where the fundamental solutions for the fluid velocity are the Stokeslet and stresslet. One of the main challenges in evaluating the boundary integrals is that the kernels become singular on the surface. A regularization method that eliminates the singularities and reduces the numerical error through correction terms for both the Stokeslet and stresslet integrals was developed in Tlupova and Beale, JCP (2019). In this work we build on the previously developed method to introduce a new stresslet regularization that is simpler and results in higher accuracy when evaluated on the surface. Our regularization replaces a seventh-degree polynomial that results from an equation with two conditions and two unknowns with a fifth-degree polynomial that results from an equation with one condition and one unknown. Numerical experiments demonstrate that the new regularization retains the same order of convergence as the regularization developed by Tlupova and Beale but shows a decreased magnitude of the error.
△ Less
Submitted 23 November, 2021; v1 submitted 30 August, 2021;
originally announced August 2021.
-
Spontaneous symmetry breaking from anyon condensation
Authors:
Marcel Bischoff,
Corey Jones,
Yuan-Ming Lu,
David Penneys
Abstract:
In a physical system undergoing a continuous quantum phase transition, spontaneous symmetry breaking occurs when certain symmetries of the Hamiltonian fail to be preserved in the ground state. In the traditional Landau theory, a symmetry group can break down to any subgroup. However, this no longer holds across a continuous phase transition driven by anyon condensation in symmetry enriched topolog…
▽ More
In a physical system undergoing a continuous quantum phase transition, spontaneous symmetry breaking occurs when certain symmetries of the Hamiltonian fail to be preserved in the ground state. In the traditional Landau theory, a symmetry group can break down to any subgroup. However, this no longer holds across a continuous phase transition driven by anyon condensation in symmetry enriched topological orders (SETOs). For a SETO described by a $G$-crossed braided extension $\mathcal{C}\subseteq \mathcal{C}^{\times}_{G}$, we show that physical considerations require that a connected étale algebra $A\in \mathcal{C}$ admit a $G$-equivariant algebra structure for symmetry to be preserved under condensation of $A$. Given any categorical action $\underline{G}\rightarrow \underline{\sf Aut}_{\otimes}^{\sf br}(\mathcal{C})$ such that $g(A)\cong A$ for all $g\in G$, we show there is a short exact sequence whose splittings correspond to $G$-equivariant algebra structures. The non-splitting of this sequence forces spontaneous symmetry breaking under condensation of $A$. Furthermore, we show that if symmetry is preserved, there is a canonically associated SETO of $\mathcal{C}^{\operatorname{loc}}_{A}$, and gauging this symmetry commutes with anyon condensation.
△ Less
Submitted 2 March, 2019; v1 submitted 1 November, 2018;
originally announced November 2018.
-
Fusing Binary Interface Defects in Topological Phases: The $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$ case
Authors:
Jacob C. Bridgeman,
Daniel Barter,
Corey Jones
Abstract:
A binary interface defect is any interface between two (not necessarily invertible) domain walls. We compute all possible binary interface defects in Kitaev's $\mathbb{Z}/p\mathbb{Z}$ model and all possible fusions between them. Our methods can be applied to any Levin-Wen model. We also give physical interpretations for each of the defects in the $\mathbb{Z}/p\mathbb{Z}$ model. These physical inte…
▽ More
A binary interface defect is any interface between two (not necessarily invertible) domain walls. We compute all possible binary interface defects in Kitaev's $\mathbb{Z}/p\mathbb{Z}$ model and all possible fusions between them. Our methods can be applied to any Levin-Wen model. We also give physical interpretations for each of the defects in the $\mathbb{Z}/p\mathbb{Z}$ model. These physical interpretations provide a new graphical calculus which can be used to compute defect fusion.
△ Less
Submitted 23 January, 2019; v1 submitted 22 October, 2018;
originally announced October 2018.
-
Domain walls in topological phases and the Brauer-Picard ring for $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$
Authors:
Daniel Barter,
Jacob C. Bridgeman,
Corey Jones
Abstract:
We show how to calculate the relative tensor product of bimodule categories (not necessarily invertible) using ladder string diagrams. As an illustrative example, we compute the Brauer-Picard ring for the fusion category $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$. Moreover, we provide a physical interpretation of all indecomposable bimodule categories in terms of domain walls in the associated t…
▽ More
We show how to calculate the relative tensor product of bimodule categories (not necessarily invertible) using ladder string diagrams. As an illustrative example, we compute the Brauer-Picard ring for the fusion category $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$. Moreover, we provide a physical interpretation of all indecomposable bimodule categories in terms of domain walls in the associated topological phase. We show how this interpretation can be used to compute the Brauer-Picard ring from a physical perspective.
△ Less
Submitted 25 October, 2018; v1 submitted 4 June, 2018;
originally announced June 2018.
-
Instability of pulses in gradient reaction-diffusion systems: A symplectic approach
Authors:
Margaret Beck,
Graham Cox,
Christopher Jones,
Yuri Latushkin,
Kelly McQuighan,
Alim Sukhtayev
Abstract:
In a scalar reaction-diffusion equation, it is known that the stability of a steady state can be determined from the Maslov index, a topological invariant that counts the state's critical points. In particular, this implies that pulse solutions are unstable. We extend this picture to pulses in reaction-diffusion systems with gradient nonlinearity. In particular, we associate a Maslov index to any…
▽ More
In a scalar reaction-diffusion equation, it is known that the stability of a steady state can be determined from the Maslov index, a topological invariant that counts the state's critical points. In particular, this implies that pulse solutions are unstable. We extend this picture to pulses in reaction-diffusion systems with gradient nonlinearity. In particular, we associate a Maslov index to any asymptotically constant state, generalizing existing definitions of the Maslov index for homoclinic orbits. It is shown that this index equals the number of unstable eigenvalues for the linearized evolution equation. Finally, we use a symmetry argument to show that any pulse solution must have nonzero Maslov index, and hence be unstable.
△ Less
Submitted 20 September, 2017; v1 submitted 10 May, 2017;
originally announced May 2017.
-
Counting spectrum via the Maslov index for one dimensional $θ-$periodic Schrödinger operators
Authors:
Christopher K. R. T. Jones,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
We study the spectrum of the Schrödinger operators with $n\times n$ matrix valued potentials on a finite interval subject to $θ-$periodic boundary conditions. For two such operators, corresponding to different values of $θ$, we compute the difference of their eigenvalue counting functions via the Maslov index of a path of Lagrangian planes. In addition we derive a formula for the derivatives of th…
▽ More
We study the spectrum of the Schrödinger operators with $n\times n$ matrix valued potentials on a finite interval subject to $θ-$periodic boundary conditions. For two such operators, corresponding to different values of $θ$, we compute the difference of their eigenvalue counting functions via the Maslov index of a path of Lagrangian planes. In addition we derive a formula for the derivatives of the eigenvalues with respect to $θ$ in terms of the Maslov crossing form. Finally, we give a new shorter proof of a recent result relating the Morse and Maslov indices of the Schrödinger operator for a fixed $θ$.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
The Morse and Maslov indices for matrix Hill's equations
Authors:
Christopher K. R. T. Jones,
Yuri Latushkin,
Robert Marangell
Abstract:
For Hill's equations with matrix valued periodic potential, we discuss relations between the Morse index, counting the number of unstable eigenvalues, and the Maslov index, counting the number of signed intersections of a path in the space of Lagrangian planes with a fixed plane. We adapt to the one dimensional periodic setting the strategy of a recent paper by J. Deng and C. Jones relating the Mo…
▽ More
For Hill's equations with matrix valued periodic potential, we discuss relations between the Morse index, counting the number of unstable eigenvalues, and the Maslov index, counting the number of signed intersections of a path in the space of Lagrangian planes with a fixed plane. We adapt to the one dimensional periodic setting the strategy of a recent paper by J. Deng and C. Jones relating the Morse and Maslov indices for multidimensional elliptic eigenvalue problems.
△ Less
Submitted 18 June, 2015; v1 submitted 18 January, 2013;
originally announced January 2013.
