Source author record

Agnès Beaudry

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math-ph math.AT math.MP cond-mat.str-el quant-ph math.FA math.OA

Catalog footprint

Research overview

5works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

A Classifying Space for Phases of Matrix Product States

We construct a topological space $\mathcal{B}$ consisting of translation invariant injective matrix product states (MPS) of all physical and bond dimensions and show that it has the weak homotopy type $K(\mathbb{Z}, 2) \times K(\mathbb{Z}, 3)$ . The implication is that the phase of a family of such states parametrized by a space $X$ is completely determined by two invariants: a class in $H^2(X; \mathbb{Z})$ corresponding to the Chern number per unit cell and a class in $H^3(X; \mathbb{Z})$ , the so-called Kapustin-Spodyneiko (KS) number. The space $\mathcal{B}$ is defined as the quotient of a contractible space $\mathcal{E}$ of MPS tensors by an equivalence relation describing gauge transformations of the tensors. We prove that the projection map $p:\mathcal{E} \rightarrow \mathcal{B}$ is a quasifibration, and this allows us to determine the weak homotopy type of $\mathcal{B}$ . As an example, we review the Chern number pump-a family of MPS parametrized by $S^3$ -and prove that it generates $π_3(\mathcal{B})$ .

preprint2025arXiv

Charting the space of ground states with tensor networks

We employ matrix product states (MPS) and tensor networks to study topological properties of the space of ground states of gapped many-body systems. We focus on families of states in one spatial dimension, where each state can be represented as an injective MPS of finite bond dimension. Such states are short-range entangled ground states of gapped local Hamiltonians. To such parametrized families over $X$ we associate a gerbe, which generalizes the line bundle of ground states in zero-dimensional families (\emph{i.e.} in few-body quantum mechanics). The nontriviality of the gerbe is measured by a class in $H^3(X, \mathbb{Z})$ , which is believed to classify one-dimensional parametrized systems. We show that when the gerbe is nontrivial, there is an obstruction to representing the family of ground states with an MPS tensor that is continuous everywhere on $X$ . We illustrate our construction with two examples of nontrivial parametrized systems over $X=S^3$ and $X = \mathbb{R} P^2 \times S^1$ . Finally, we sketch using tensor network methods how the construction extends to higher dimensional parametrized systems, with an example of a two-dimensional parametrized system that gives rise to a nontrivial 2-gerbe over $X = S^4$ .

preprint2024arXiv

On the slice spectral sequence for quotients of norms of Real bordism

In this paper, we investigate equivariant quotients of the Real bordism spectrum's multiplicative norm $MU^{((C_{2^n}))}$ by permutation summands. These quotients are of interest because of their close relationship with higher real $K$ -theories. We introduce new techniques for computing the equivariant homotopy groups of such quotients. As a new example, we examine the theories $BP^{((C_{2^n}))}\langle m,m\rangle$ . These spectra serve as natural equivariant generalizations of connective integral Morava $K$ -theories. We provide a complete computation of the $a_σ$ -localized slice spectral sequence of $i^*_{C_{2^{n-1}}}BP^{((C_{2^n}))}\langle m,m\rangle$ , where $σ$ is the real sign representation of $C_{2^{n-1}}$ . To achieve this computation, we establish a correspondence between this localized slice spectral sequence and the $H\mathbb{F}_2$ -based Adams spectral sequence in the category of $H\mathbb{F}_2 \wedge H\mathbb{F}_2$ -modules. Furthermore, we provide a full computation of the $a_λ$ -localized slice spectral sequence of the height-4 theory $BP^{((C_{4}))}\langle 2,2\rangle$ . The $C_4$ -slice spectral sequence can be entirely recovered from this computation.

preprint2022arXiv

Continuous Dependence on the Initial Data in the Kadison Transitivity Theorem and GNS Construction

We consider how the outputs of the Kadison transitivity theorem and Gelfand-Naimark-Segal construction may be obtained in families when the initial data are varied. More precisely, for the Kadison transitivity theorem, we prove that for any nonzero irreducible representation $(\mathcal{H}, π)$ of a $C^*$ -algebra $\mathfrak{A}$ and $n \in \mathbb{N}$ , there exists a continuous function $A:X \rightarrow \mathfrak{A}$ such that $π(A(\mathbf{x}, \mathbf{y}))x_i = y_i$ for all $i \in \{1, \ldots, n\}$ , where $X$ is the set of pairs of $n$ -tuples $(\mathbf{x}, \mathbf{y}) \in \mathcal{H}^n \times \mathcal{H}^n$ such that the components of $\mathbf{x}$ are linearly independent. Versions of this result where $A$ maps into the self-adjoint or unitary elements of $\mathfrak{A}$ are also presented. Regarding the Gelfand-Naimark-Segal construction, we prove that given a topological $C^*$ -algebra fiber bundle $p:\mathfrak{A} \rightarrow Y$ , one may construct a topological fiber bundle $\mathscr{P}(\mathfrak{A}) \rightarrow Y$ whose fiber over $y \in Y$ is the space of pure states of $\mathfrak{A}_y$ (with the norm topology), as well as bundles $\mathscr{H} \rightarrow \mathscr{P}(\mathfrak{A})$ and $\mathscr{N} \rightarrow \mathscr{P}(\mathfrak{A})$ whose fibers $\mathscr{H}_ω$ and $\mathscr{N}_ω$ over $ω\in \mathscr{P}(\mathfrak{A})$ are the GNS Hilbert space and closed left ideal, respectively, corresponding to $ω$ . When $p:\mathfrak{A} \rightarrow Y$ is a smooth fiber bundle, we show that $\mathscr{P}(\mathfrak{A}) \rightarrow Y$ and $\mathscr{H}\rightarrow \mathscr{P}(\mathfrak{A})$ are also smooth fiber bundles; this involves proving that the group of $*$ -automorphisms of a $C^*$ -algebra is a Banach-Lie group. In service of these results, we review the geometry of the topology and pure state space. A simple non-interacting quantum spin system is provided as an example.

preprint2022arXiv

Dualizing spheres for compact $p$ -adic analytic groups and duality in chromatic homotopy

The primary goal of this paper is to study Spanier-Whitehead duality in the $K(n)$ -local category. One of the key players in the $K(n)$ -local category is the Lubin-Tate spectrum $E_n$ , whose homotopy groups classify deformations of a formal group law of height $n$ , in the implicit characteristic $p$ . It is known that $E_n$ is self-dual up to a shift; however, that does not fully take into account the action of the Morava stabilizer group $\mathbb{G}_n$ , or even its subgroup of automorphisms of the formal group in question. In this paper we find that the $\mathbb{G}_n$ -equivariant dual of $E_n$ is in fact $E_n$ twisted by a sphere with a non-trivial (when $n>1$ ) action by $\mathbb{G}_n$ . This sphere is a dualizing module for the group $\mathbb{G}_n$ , and we construct and study such an object $I_{\mathcal{G}}$ for any compact $p$ -adic analytic group $\mathcal{G}$ . If we restrict the action of $\mathcal{G}$ on $I_{\mathcal{G}}$ to certain type of small subgroups, we identify $I_{\mathcal{G}}$ with a specific representation sphere coming from the Lie algebra of $\mathcal{G}$ . This is done by a classification of $p$ -complete sphere spectra with an action by an elementary abelian $p$ -group in terms of characteristic classes, and then a specific comparison of the characteristic classes in question. The setup makes the theory quite accessible for computations, as we demonstrate in the later sections of this paper, determining the $K(n)$ -local Spanier-Whitehead duals of $E_n^{hH}$ for select choices of $p$ and $n$ and finite subgroups $H$ of $\mathbb{G}_n$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Agnès Beaudry

Research overview

Is this your work?

5 publications

A Classifying Space for Phases of Matrix Product States

Charting the space of ground states with tensor networks

On the slice spectral sequence for quotients of norms of Real bordism

Continuous Dependence on the Initial Data in the Kadison Transitivity Theorem and GNS Construction

Dualizing spheres for compact $p$ -adic analytic groups and duality in chromatic homotopy

See the researcher in context

Building this map preview

Agnès Beaudry

Research overview

Is this your work?

5 publications

A Classifying Space for Phases of Matrix Product States

Charting the space of ground states with tensor networks

On the slice spectral sequence for quotients of norms of Real bordism

Continuous Dependence on the Initial Data in the Kadison Transitivity Theorem and GNS Construction

Dualizing spheres for compact ppp-adic analytic groups and duality in chromatic homotopy

See the researcher in context

Building this map preview

Dualizing spheres for compact $p$ -adic analytic groups and duality in chromatic homotopy