BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Agnès Beaudry

Agnès Beaudry contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math-phmath.ATmath.MPcond-mat.str-elquant-phmath.FAmath.OA

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

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})$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access