arXiv subjects

Yu-An Chen

Publications and source records attributed to Yu-An Chen.

At least 55 records · Page 3Linked to original sources

arXiv2022

Euler Obstructed Cooper Pairing: Nodal Superconductivity and Hinge Majorana Zero Modes

Since the proposal of monopole Cooper pairing in [Phys. Rev. Lett. 120, 067003 (2018)], considerable research efforts have been dedicated to the study of Cooper pairing order parameters constrained (or obstructed) by the nontrivial normal-state band topology at Fermi surfaces in 3D systems. In the current work, we generalize the topologically obstructed pairings between Chern states (like the monopole Cooper pairing) by proposing Euler obstructed Cooper pairing in 3D systems. The Euler obstructed Cooper pairing widely exists between two Fermi surfaces with nontrivial band topology characterized by nonzero Euler numbers; such Fermi surfaces can exist in 3D PT-protected spinless-Dirac/nodal-line semimetals with negligible spin-orbit coupling, where PT is the space-time inversion symmetry. An Euler obstructed pairing channel must have pairing nodes on the pairing-relevant Fermi surfaces, and the total winding number of the pairing nodes is determined by the sum or difference of the Euler numbers on the Fermi surfaces. In particular, we find that when the normal state is time-reversal invariant and the pairing is weak, a sufficiently-dominant Euler obstructed pairing channel with zero total momentum leads to nodal superconductivity. If the Fermi surface splitting is small, the resultant nodal superconductor hosts hinge Majorana zero modes. The possible dominance of the Euler obstructed pairing channel near the superconducting transition and the robustness of the hinge Majorana zero modes against disorder are explicitly demonstrated using effective or tight-binding models. Our work presents the first class of higher-order nodal superconductivity originating from the topologically obstructed Cooper pairing.

cond-mat.supr-con↗

arXiv2022

Higher cup products on hypercubic lattices: application to lattice models of topological phases

In this paper, we derive the explicit formula for higher cup products on hypercubic lattices, based on the recently developed geometrical interpretation in the simplicial case. We illustrate how this formalism can elucidate lattice constructions on hypercubic lattices for various models and deriving them from spacetime actions. In particular, we demonstrate explicitly that the (3+1)D SPT $S = \frac{1}{2} \int w_2^2 + w_1^4$ (where $w_1$ and $w_2$ are the first and second Stiefel-Whitney classes) is dual to the 3-fermion Walker-Wang model constructed on the cubic lattice by Burnell-Chen-Fidkowski-Vishwanath. Other examples include the double-semion model, and also the `fermionic' toric code in arbitrary dimensions on hypercubic lattices. In addition, we extend previous constructions of exact boson-fermion dualities and the Gu-Wen Grassmann Integral to arbitrary dimensions. Another result which may be of independent interest is a derivation of a cochain-level action for the generalized double-semion model, reproducing a recently derived action on the cohomology level.

cond-mat.str-el↗

arXiv2022

MITI Minimum Information guidelines for highly multiplexed tissue images

The imminent release of tissue atlases combining multi-channel microscopy with single cell sequencing and other omics data from normal and diseased specimens creates an urgent need for data and metadata standards that guide data deposition, curation and release. We describe a Minimum Information about highly multiplexed Tissue Imaging (MITI) standard that applies best practices developed for genomics and other microscopy data to highly multiplexed tissue images and traditional histology.

q-bio.OT↗

arXiv2022

Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond

We construct a novel three-dimensional quantum cellular automaton (QCA) based on a system with short-range entangled bulk and chiral semion boundary topological order. We argue that either the QCA is nontrivial, i.e. not a finite-depth circuit of local quantum gates, or there exists a two-dimensional commuting projector Hamiltonian realizing the chiral semion topological order (characterized by $U(1)_2$ Chern-Simons theory). Our QCA is obtained by first constructing the Walker-Wang Hamiltonian of a certain premodular tensor category of order four, then condensing the deconfined bulk boson at the level of lattice operators. We show that the resulting Hamiltonian hosts chiral semion surface topological order in the presence of a boundary and can be realized as a non-Pauli stabilizer code on qubits, from which the QCA is defined. The construction is then generalized to a class of QCAs defined by non-Pauli stabilizer codes on ${2^n}$-dimensional qudits that feature surface anyons described by $U(1)_{2^n}$ Chern-Simons theory. Our results support the conjecture that the group of nontrivial three-dimensional QCAs is isomorphic to the Witt group of non-degenerate braided fusion categories.

quant-ph↗

arXiv2022

Equivalence between fermion-to-qubit mappings in two spatial dimensions

We argue that all locality-preserving mappings between fermionic observables and Pauli matrices on a two-dimensional lattice can be generated from the exact bosonization in Ref. [1], whose gauge constraints project onto the subspace of the toric code with emergent fermions. Starting from the exact bosonization and applying Clifford finite-depth generalized local unitary (gLU) transformation, we can achieve all possible fermion-to-qubit mappings (up to the re-pairing of Majorana fermions). In particular, we discover a new super-compact encoding using 1.25 qubits per fermion on the square lattice, which is lower than any method in the literature. We prove the existence of fermion-to-qubit mappings with qubit-fermion ratios $r=1+ \frac{1}{2k}$ for positive integers $k$, where the proof utilizes the trivialness of quantum cellular automata (QCA) in two spatial dimensions. When the ratio approaches 1, the fermion-to-qubit mapping reduces to the 1d Jordan-Wigner transformation along a certain path in the two-dimensional lattice. Finally, we explicitly demonstrate that the Bravyi-Kitaev superfast simulation, the Verstraete-Cirac auxiliary method, Kitaev's exactly solved model, the Majorana loop stabilizer codes, and the compact fermion-to-qubit mapping can all be obtained from the exact bosonization.

quant-ph↗

arXiv2021

Efficient Product Formulas for Commutators and Applications to Quantum Simulation

We construct product formulas for exponentials of commutators and explore their applications. First, we directly construct a third-order product formula with six exponentials by solving polynomial equations obtained using the operator differential method. We then derive higher-order product formulas recursively from the third-order formula. We improve over previous recursive constructions, reducing the number of gates required to achieve the same accuracy. In addition, we demonstrate that the constituent linear terms in the commutator can be included at no extra cost. As an application, we show how to use the product formulas in a digital protocol for counterdiabatic driving, which increases the fidelity for quantum state preparation. We also discuss applications to quantum simulation of one-dimensional fermion chains with nearest- and next-nearest-neighbor hopping terms, and two-dimensional fractional quantum Hall phases.

quant-ph↗

arXiv2021

NOD: Taking a Closer Look at Detection under Extreme Low-Light Conditions with Night Object Detection Dataset

Recent work indicates that, besides being a challenge in producing perceptually pleasing images, low light proves more difficult for machine cognition than previously thought. In our work, we take a closer look at object detection in low light. First, to support the development and evaluation of new methods in this domain, we present a high-quality large-scale Night Object Detection (NOD) dataset showing dynamic scenes captured on the streets at night. Next, we directly link the lighting conditions to perceptual difficulty and identify what makes low light problematic for machine cognition. Accordingly, we provide instance-level annotation for a subset of the dataset for an in-depth evaluation of future methods. We also present an analysis of the baseline model performance to highlight opportunities for future research and show that low light is a non-trivial problem that requires special attention from the researchers. Further, to address the issues caused by low light, we propose to incorporate an image enhancement module into the object detection framework and two novel data augmentation techniques. Our image enhancement module is trained under the guidance of the object detector to learn image representation optimal for machine cognition rather than for the human visual system. Finally, experimental results confirm that the proposed method shows consistent improvement of the performance on low-light datasets.

cs.CV↗

arXiv2021

Scope2Screen: Focus+Context Techniques for Pathology Tumor Assessment in Multivariate Image Data

Inspection of tissues using a light microscope is the primary method of diagnosing many diseases, notably cancer. Highly multiplexed tissue imaging builds on this foundation, enabling the collection of up to 60 channels of molecular information plus cell and tissue morphology using antibody staining. This provides unique insight into disease biology and promises to help with the design of patient-specific therapies. However, a substantial gap remains with respect to visualizing the resulting multivariate image data and effectively supporting pathology workflows in digital environments on screen. We, therefore, developed Scope2Screen, a scalable software system for focus+context exploration and annotation of whole-slide, high-plex, tissue images. Our approach scales to analyzing 100GB images of 10^9 or more pixels per channel, containing millions of cells. A multidisciplinary team of visualization experts, microscopists, and pathologists identified key image exploration and annotation tasks involving finding, magnifying, quantifying, and organizing ROIs in an intuitive and cohesive manner. Building on a scope2screen metaphor, we present interactive lensing techniques that operate at single-cell and tissue levels. Lenses are equipped with task-specific functionality and descriptive statistics, making it possible to analyze image features, cell types, and spatial arrangements (neighborhoods) across image channels and scales. A fast sliding-window search guides users to regions similar to those under the lens; these regions can be analyzed and considered either separately or as part of a larger image collection. A novel snapshot method enables linked lens configurations and image statistics to be saved, restored, and shared. We validate our designs with domain experts and apply Scope2Screen in two case studies involving lung and colorectal cancers to discover cancer-relevant image features.

cs.HC↗

arXiv2021

xCos: An Explainable Cosine Metric for Face Verification Task

We study the XAI (explainable AI) on the face recognition task, particularly the face verification here. Face verification is a crucial task in recent days and it has been deployed to plenty of applications, such as access control, surveillance, and automatic personal log-on for mobile devices. With the increasing amount of data, deep convolutional neural networks can achieve very high accuracy for the face verification task. Beyond exceptional performances, deep face verification models need more interpretability so that we can trust the results they generate. In this paper, we propose a novel similarity metric, called explainable cosine ($xCos$), that comes with a learnable module that can be plugged into most of the verification models to provide meaningful explanations. With the help of $xCos$, we can see which parts of the two input faces are similar, where the model pays its attention to, and how the local similarities are weighted to form the output $xCos$ score. We demonstrate the effectiveness of our proposed method on LFW and various competitive benchmarks, resulting in not only providing novel and desiring model interpretability for face verification but also ensuring the accuracy as plugging into existing face recognition models.

cs.CV↗

arXiv2021

Exact bosonization in arbitrary dimensions

We extend the previous results of exact bosonization, mapping from fermionic operators to Pauli matrices, in 2d and 3d to arbitrary dimensions. This bosonization map gives a duality between any fermionic system in arbitrary $n$ spatial dimensions and a new class of $(n-1)$-form $\mathbb{Z}_2$ gauge theories in $n$ dimensions with a modified Gauss's law. This map preserves locality and has an explicit dependence on the second Stiefel-Whitney class and a choice of spin structure on the manifold. A new formula for Stiefel-Whitney homology classes on lattices is derived. In the Euclidean path integral, this exact bosonization map is equivalent to introducing a topological "Steenrod square" term to the spacetime action.

cond-mat.str-el↗

arXiv2021

Disentangling supercohomology symmetry-protected topological phases in three spatial dimensions

We build exactly solvable lattice Hamiltonians for fermionic symmetry-protected topological (SPT) phases in (3+1)D classified by group supercohomology. A central benefit of our construction is that it produces an explicit finite-depth quantum circuit (FDQC) that prepares the ground state from an unentangled symmetric state. The FDQC allows us to clearly demonstrate the characteristic properties of supercohomology phases - namely, symmetry fractionalization on fermion parity flux loops - predicted by continuum formulations. By composing the corresponding FDQCs, we also recover the stacking relations of supercohomology phases. Furthermore, we derive topologically ordered gapped boundaries for the supercohomology models by extending the protecting symmetries, analogous to the construction of topologically ordered boundaries for bosonic SPT phases. Our approach relies heavily on dualities that relate certain bosonic 2-group SPT phases with supercohomology SPT phases. We develop physical motivation for the dualities in terms of explicit lattice prescriptions for gauging a 1-form symmetry and for condensing emergent fermions. We also comment on generalizations to supercohomology phases in higher dimensions and to fermionic SPT phases outside of the supercohomology framework.

cond-mat.str-el↗

arXiv2020

Raw Image Deblurring

Deep learning-based blind image deblurring plays an essential role in solving image blur since all existing kernels are limited in modeling the real world blur. Thus far, researchers focus on powerful models to handle the deblurring problem and achieve decent results. For this work, in a new aspect, we discover the great opportunity for image enhancement (e.g., deblurring) directly from RAW images and investigate novel neural network structures benefiting RAW-based learning. However, to the best of our knowledge, there is no available RAW image deblurring dataset. Therefore, we built a new dataset containing both RAW images and processed sRGB images and design a new model to utilize the unique characteristics of RAW images. The proposed deblurring model, trained solely from RAW images, achieves the state-of-art performance and outweighs those trained on processed sRGB images. Furthermore, with fine-tuning, the proposed model, trained on our new dataset, can generalize to other sensors. Additionally, by a series of experiments, we demonstrate that existing deblurring models can also be improved by training on the RAW images in our new dataset. Ultimately, we show a new venue for further opportunities based on the devised novel raw-based deblurring method and the brand-new Deblur-RAW dataset.

eess.IV↗

arXiv2020

Observation of separated dynamics of charge and spin in the Fermi-Hubbard model

Strongly correlated quantum systems give rise to many exotic physical phenomena, including high-temperature superconductivity. Simulating these systems on quantum computers may avoid the prohibitively high computational cost incurred in classical approaches. However, systematic errors and decoherence effects presented in current quantum devices make it difficult to achieve this. Here, we simulate the dynamics of the one-dimensional Fermi-Hubbard model using 16 qubits on a digital superconducting quantum processor. We observe separations in the spreading velocities of charge and spin densities in the highly excited regime, a regime that is beyond the conventional quasiparticle picture. To minimize systematic errors, we introduce an accurate gate calibration procedure that is fast enough to capture temporal drifts of the gate parameters. We also employ a sequence of error-mitigation techniques to reduce decoherence effects and residual systematic errors. These procedures allow us to simulate the time evolution of the model faithfully despite having over 600 two-qubit gates in our circuits. Our experiment charts a path to practical quantum simulation of strongly correlated phenomena using available quantum devices.

quant-ph↗

arXiv2019

Free and Interacting Short-Range Entangled Phases of Fermions: Beyond the Ten-Fold Way

We extend the periodic table of phases of free fermions in the ten-fold way symmetry classes to a classification of free fermionic phases protected by an arbitrary on-site unitary symmetry $\hat G$ in an arbitrary dimension. The classification is described as a function of the real representation theory of $\hat G$ and the data of the original periodic table. We also systematically study in low dimensions the relationship between the free invariants and the invariants of short-range entangled interacting phases of fermions. Namely we determine whether a given symmetry protected phase of free fermions is destabilized by sufficiently strong interactions or it remains stable even in the presence of interactions. We also determine which interacting fermionic phases cannot be realized by free fermions. Examples of both destabilized free phases and intrinsically interacting phases are common in all dimensions.

cond-mat.str-el↗

arXiv2019

Bosonization in three spatial dimensions and a 2-form gauge theory

We describe a 3d analog of the Jordan-Wigner transformation which maps an arbitrary fermionic system on a 3d spatial lattice to a 2-form $\mathbb{Z}_2$ gauge theory with an unusual Gauss law. An important property of this map is that it preserves the locality of the Hamiltonian. The map depends explicitly on the choice of a spin structure of the spatial manifold. We give examples of 3d bosonic systems dual to free fermions. We also describe the corresponding Euclidean lattice models, which is analogous to the generalized Steenrod square term in (3+1)D (compared to the Chern-Simon term in (2+1)D).

cond-mat.str-el↗

arXiv2018

Exact bosonization in two spatial dimensions and a new class of lattice gauge theories

We describe a 2d analog of the Jordan-Wigner transformation which maps an arbitrary fermionic system on a 2d lattice to a lattice gauge theory while preserving the locality of the Hamiltonian. When the space is simply-connected, this bosonization map is an equivalence. We describe several examples of 2d bosonization, including free fermions on square and honeycomb lattices and the Hubbard model. We describe Euclidean actions for the corresponding lattice gauge theories and find that they contains Chern-Simons-like terms. Finally, we write down a fermionic dual of the gauged Ising model (the Fradkin-Shenker model).

cond-mat.str-el↗

arXiv2015

Topological semimetals and topological insulators in rare earth monopnictides

We use first principles calculations to study the electronic properties of rock salt rare earth monopnictides La$X$ ($X=$N, P, As, Sb, Bi). A new type of topological band crossing termed `linked nodal rings' is found in LaN when the small spin-orbital coupling (SOC) on nitrogen orbitals is neglected. Turning on SOC gaps the nodal rings at all but two points, which remain gapless due to $C_4$-symmetry and leads to a 3D Dirac semimetal. Interestingly, unlike LaN, compounds with other elements in the pnictogen group are found to be topological insulators (TIs), as a result of band reordering due to the increased lattice constant as well as the enhanced SOC on the pnictogen atom. These TI compounds exhibit multi-valley surface Dirac cones at three $\bar{M}$-points on the $(111)$-surface.

cond-mat.mes-hall↗

arXiv2014

Band Structure Mapping of Bilayer Graphene via Quasiparticle Scattering

A perpendicular electric field breaks the layer symmetry of Bernal-stacked bilayer graphene, resulting in the opening of a band gap and a modification of the effective mass of the charge carriers. Using scanning tunneling microscopy and spectroscopy, we examine standing waves in the local density of states of bilayer graphene formed by scattering from a bilayer/trilayer boundary. The quasiparticle interference properties are controlled by the bilayer graphene band structure, allowing a direct local probe of the evolution of the band structure of bilayer graphene as a function of electric field. We extract the Slonczewski-Weiss-McClure model tight binding parameters as $γ_0 = 3.1$ eV, $γ_1 = 0.39$ eV, and $γ_4 = 0.22$ eV.

cond-mat.mtrl-sci↗