SciPost logo

SciPost Submission Page

Realizing triality and $p$-ality by lattice twisted gauging in (1+1)d quantum spin systems

by Da-Chuan Lu, Zhengdi Sun, Yi-Zhuang You

Submission summary

Authors (as registered SciPost users): Da-Chuan Lu
Submission information
Preprint Link: scipost_202410_00004v1  (pdf)
Date accepted: 2024-10-21
Date submitted: 2024-10-02 07:24
Submitted by: Lu, Da-Chuan
Submitted to: SciPost Physics
Ontological classification
Academic field: Physics
Specialties:
  • Condensed Matter Physics - Theory
  • High-Energy Physics - Theory
  • Quantum Physics
Approach: Theoretical

Abstract

In this paper, we study the twisted gauging on the (1+1)d lattice and construct various non-local mappings on the lattice operators. To be specific, we define the twisted Gauss law operator and implement the twisted gauging of the finite group on the lattice motivated by the orbifolding procedure in the conformal field theory, which involves the data of non-trivial element in the second cohomology group of the gauge group. We show the twisted gauging is equivalent to the two-step procedure of first applying the SPT entangler and then untwisted gauging. We use the twisted gauging to construct the triality (order 3) and $p$-ality (order $p$) mapping on the $\mathbb{Z}_p\times \mathbb{Z}_p$ symmetric Hamiltonians, where $p$ is a prime. Such novel non-local mappings generalize Kramers-Wannier duality and they preserve the locality of symmetric operators but map charged operators to non-local ones. We further construct quantum process to realize these non-local mappings and analyze the induced mappings on the phase diagrams. For theories that are invariant under these non-local mappings, they admit the corresponding non-invertible symmetries. The non-invertible symmetry will constrain the theory at the multicritical point between the gapped phases. We further give the condition when the non-invertible symmetry can have symmetric gapped phase with a unique ground state.

Author indications on fulfilling journal expectations

  • Provide a novel and synergetic link between different research areas.
  • Open a new pathway in an existing or a new research direction, with clear potential for multi-pronged follow-up work
  • Detail a groundbreaking theoretical/experimental/computational discovery
  • Present a breakthrough on a previously-identified and long-standing research stumbling block

Author comments upon resubmission

We thank the referees for carefully reading our manuscript and expressing a positive evaluation of its contribution to the field. We appreciate that the referees generally agree that our work deserves publication in SciPost.

We answered the referees' questions and updated our manuscript accordingly. We hope the modified version of the manuscript is satisfactory.

List of changes

We addressed all the referees' questions and fixed several typos in our updated manuscript. In particular,
1. We add footnote 1 on page 2 to discuss the case when gauging the non-abelian symmetry.
2. We add a discussion of $(S_3\times S_3)\rtimes Z_2$ with explicit correspondence between group elements and the mappings on the lattice Hamiltonian.

Current status:
Accepted in target Journal

Editorial decision: For Journal SciPost Physics: Publish
(status: Editorial decision fixed and (if required) accepted by authors)


Reports on this Submission

Report #3 by Anonymous (Referee 2) on 2024-10-5 (Invited Report)

Report

The authors address the issue I pointed out in my last report. Therefore, I recommend the publication of the paper.

Recommendation

Publish (meets expectations and criteria for this Journal)

  • validity: -
  • significance: -
  • originality: -
  • clarity: -
  • formatting: -
  • grammar: -

Report #2 by Anonymous (Referee 3) on 2024-10-3 (Invited Report)

Report

The authors have addressed my questions in the resubmission. I therefore recommend the publication of this manuscript.

Recommendation

Publish (meets expectations and criteria for this Journal)

  • validity: -
  • significance: -
  • originality: -
  • clarity: -
  • formatting: -
  • grammar: -

Report #1 by Anonymous (Referee 1) on 2024-10-2 (Invited Report)

Report

The revised manuscript addresses most of the concerns raised by the referees. I am still confused by something about the maps in (3.13) and the related circuit in (3.15).

First, the ordering of operators is not consistent with the flow of time in the circuits. For example, around (3.12), it is mentioned that $U_\mathrm{initial}$ is applied first, which means time flows from bottom to top in (3.15). However, the authors write the associated operator as $U_\mathrm{initial} U_\mathrm{gauge}$, which means $U_\mathrm{gauge}$ is applied first. This inconsistency exists in other equations too and the authors should rectify this.

More importantly, the right-most map in (3.13) does not make sense to me. The action of the circuit $U_\mathrm{gauge}$ on the matter field $Z_i$ is given by the third map. This map already implies the action of the circuit on $Z_i Z_j$ and it gives the expected minimal coupling answer. But, in their response, the authors say that the last two maps together imply this action. Can they please explain why they need the fourth map for this?

It seems like the action of $U_\mathrm{gauge}$ on $\tilde Z_{i+\frac12}$ is given by $\tilde Z_{i+\frac12} \rightarrow \tilde Z_{i+\frac12} \tilde Z_{i+\frac32} \cdots$. What is the interpretation of this in terms of gauging?

Recommendation

Publish (easily meets expectations and criteria for this Journal; among top 50%)

  • validity: top
  • significance: high
  • originality: high
  • clarity: high
  • formatting: perfect
  • grammar: excellent

Author:  Da-Chuan Lu  on 2024-10-04  [id 4831]

(in reply to Report 1 on 2024-10-02)
Category:
answer to question
correction

We thank the referee for clarifying the questions. We agree that the fourth map is unnecessary and have updated our manuscript accordingly. For the sequence of the action of U, we read it from left to right, since we previously defined the transformation of operators as $O\rightarrow O'= U^\dagger O U$.

For the action of $U_{gauge}$ on $\tilde{Z}_{i+1/2}$, $\tilde{Z}_{i+1/2}$ cannot appear alone, it must attached to a $Z_i$ operator. Because in the enlarged Hilbert space, we only introduce $\tilde{X}_{i+1/2}=1,\forall i$ but no $\tilde{Z}_{i+1/2}$. When there is a $Z_i$ operator, the gauge string will continue to infinity. As discussed around (3.26), the additional site 0 with operator $Z_0$ that labels the boundary condition of the Ising chain, under the KW transformation, $Z_0$ becomes the product of $X$ operator which corresponds to the symmetry operator in the dual model (The product of $X$ is the product of $\tilde{Z}$ after some basis transformation that is used to match with the original model).

Attachment:

triality_defect_lattice_10-4.pdf

Login to report or comment