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

Hal Tasaki

Hal Tasaki contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
cond-mat.stat-mechquant-phmath-phmath.MPcond-mat.str-elcond-mat.quant-gashep-lathep-th

Trust snapshot

Quick read

Trust 21 - Emerging
21works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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

21 published item(s)

preprint2022arXiv

The Lieb-Schultz-Mattis Theorem: A Topological Point of View

We review the Lieb-Schultz-Mattis theorem and its variants, which are no-go theorems that state that a quantum many-body system with certain conditions cannot have a locally-unique gapped ground state. We restrict ourselves to one-dimensional quantum spin systems and discuss both the generalized Lieb-Schultz-Mattis theorem for models with U(1) symmetry and the extended Lieb-Schultz-Mattis theorem for models with discrete symmetry. We also discuss the implication of the same arguments to systems on the infinite cylinder, both with the periodic boundary conditions and with the spiral boundary conditions. For models with U(1) symmetry, we here present a rearranged version of the original proof of Lieb, Schultz, and Mattis based on the twist operator. As the title suggests we take a modern topological point of view and prove the generalized Lieb-Schultz-Mattis theorem by making use of a topological index (which coincides with the filling factor). By a topological index, we mean an index that characterizes a locally-unique gapped ground state and is invariant under continuous (or smooth) modification of the ground state. For models with discrete symmetry, we describe the basic idea of the most general proof based on the topological index introduced in the context of symmetry-protected topological phases. We start from background materials such as the classification of projective representations of the symmetry group. We also review the notion that we call a locally-unique gapped ground state of a quantum spin system on an infinite lattice and present basic theorems. This notion turns out to be natural and useful from the physicists' point of view. We have tried to make the present article readable and almost self-contained. We only assume basic knowledge about quantum spin systems.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Spontaneous symmetry breaking in coupled Bose-Einstein condensates

We study a system of two hardcore bosonic Hubbard models weakly coupled with each other by tunneling. Assuming that the single uncoupled model exhibits off-diagonal long-range order, we prove that the coupled system exhibits spontaneous symmetry breaking (SSB) in the infinite volume limit, in the sense that the two subsystems maintain a definite relative U(1) phase when the tunneling is turned off. Although SSB of the U(1) phase is never observable in a single system, SSB of the relative U(1) phase is physically meaningful and observable by interference experiments. The present theorem is made possible by the rigorous theory of low-lying states and SSB in quantum antiferromagnets developed over the years.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Metallic ferromagnetism supported by a single band in a multi-band Hubbard model

We construct a multi-band Hubbard model on the lattice obtained by "decorating" a closely packed $d$-dimensional lattice $\mathcal{M}$ (such as the triangular lattice) where $d\ge2$. We take the limits in which the Coulomb interaction and the band gap become infinitely large. Then there remains only a single band with finite energy, on which electrons are supported. Let the electron number be $N_\mathrm{e}=|\mathcal{M}|-N_\mathrm{h}$, where $|\mathcal{M}|$ corresponds to the electron number which makes the lowest (finite energy) band half-filled, and $N_\mathrm{h}$ is the number of "holes". It is expected that the model exhibits metallic ferromagnetism if $N_\mathrm{h}/|\mathcal{M}|$ is nonvanishing but sufficiently small. We prove that the ground states exhibit saturated ferromagnetism if $N_\mathrm{h}\le(\text{const.})|\mathcal{M}|^{2/(d+2)}$, and exhibit (not necessarily saturated) ferromagnetism if $N_\mathrm{h}\le(\mathrm{const.})|\mathcal{M}|^{(d+1)/(d+2)}$. This may be regarded as a rigorous example of metallic ferromagnetism provided that the system size $|\mathcal{M}|$ is not too large.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quantum statistical mechanical derivation of the second law of thermodynamics: a hybrid setting approach

Based on quantum statistical mechanics and microscopic quantum dynamics, we prove Planck's and Kelvin's principles for macroscopic systems in a general and realistic setting. We consider a hybrid quantum system that consists of the thermodynamic system, which is initially in thermal equilibrium, and the "apparatus" which operates on the former, and assume that the whole system evolves autonomously. This provides a satisfactory derivation of the second law for macroscopic systems. Although the main body of the article is self-contained there are two supplemental notes on closely related topics, namely, the law of entropy increase and the approach based on a unital time-evolution.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Universal trade-off relation between power and efficiency for heat engines

For a general thermodynamic system described as a Markov process, we prove a general lower bound for dissipation in terms of the square of the heat current, thus establishing that nonvanishing current inevitably implies dissipation. This leads to a universal trade-off relation between efficiency and power, with which we rigorously prove that a heat engine with nonvanishing power never attains the Carnot efficiency. Our theory applies to systems arbitrarily far from equilibrium, and does not assume any specific symmetry of the model.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the definition of entanglement entropy in lattice gauge theories

We focus on the issue of proper definition of entanglement entropy in lattice gauge theories, and examine a naive definition where gauge invariant states are viewed as elements of an extended Hilbert space which contains gauge non-invariant states as well. Working in the extended Hilbert space, we can define entanglement entropy associated with an arbitrary subset of links, not only for abelian but also for non-abelian theories. We then derive the associated replica formula. We also discuss the issue of gauge invariance of the entanglement entropy. In the $Z_N$ gauge theories in arbitrary space dimensions, we show that all the standard properties of the entanglement entropy, e.g. the strong subadditivity, hold in our definition. We study the entanglement entropy for special states, including the topological states for the $Z_N$ gauge theories in arbitrary dimensions. We discuss relations of our definition to other proposals.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Extremely quick thermalization in a macroscopic quantum system for a typical nonequilibrium subspace

The fact that macroscopic systems approach thermal equilibrium may seem puzzling, for example, because it may seem to conflict with the time-reversibility of the microscopic dynamics. We here prove that in a macroscopic quantum system for a typical choice of "nonequilibrium subspace", any initial state indeed thermalizes, and in fact does so very quickly, on the order of the Boltzmann time $τ_\mathrm{B}:=h/(k_\mathrm{B}T)$. Therefore what needs to be explained is, not that macroscopic systems approach equilibrium, but that they do so slowly.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The approach to equilibrium in a macroscopic quantum system for a typical nonequilibrium subspace

We study the problem of the approach to equilibrium in a macroscopic quantum system in an abstract setting. We prove that, for a typical choice of "nonequilibrium subspace", any initial state (from the energy shell) thermalizes, and in fact does so very quickly, on the order of the Boltzmann time $τ__\mathrm{B}:=h/(k_\mathrm{B}T)$. This apparently unrealistic, but mathematically rigorous, conclusion has the important physical implication that the moderately slow decay observed in reality is not typical in the present setting. The fact that macroscopic systems approach thermal equilibrium may seem puzzling, for example, because it may seem to conflict with the time-reversibility of the microscopic dynamics. According the present result, what needs to be explained is, not that macroscopic systems approach equilibrium, but that they do so slowly. Mathematically our result is based on an interesting property of the maximum eigenvalue of the Hadamard product of a positive semi-definite matrix and a random projection matrix. The recent exact formula by Collins for the integral with respect to the Haar measure of the unitary group plays an essential role in our proof.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

"Polar" and "antiferromagnetic" order in f=1 many-boson systems

In a system of interacting f=1 bosons (in the subspace where the total spin in the z-direction is vanishing), we prove inequalities for the ground state expectation value of the density of spin-0 bosons. The inequalities imply that the ground state possesses "polar" or "antiferromagnetic" order when the quadratic Zeeman term q is large enough. In the low density limit, the inequalities establish the existence of a sharp transition at q=0 when q is varied.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the time scales in the approach to equilibrium of macroscopic quantum systems

We prove two theorems concerning the time evolution in general isolated quantum systems. The theorems are relevant to the issue of the time scale in the approach to equilibrium. The first theorem shows that there can be pathological situations in which the relaxation takes an extraordinarily long time, while the second theorem shows that one can always choose an equilibrium subspace the relaxation to which requires only a short time for any initial state.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The second law of thermodynamics for pure quantum states

A version of the second law of thermodynamics states that one cannot lower the energy of an isolated system by a cyclic operation. We prove this law without introducing statistical ensembles and by resorting only to quantum mechanics. We choose the initial state as a pure quantum state whose energy is almost E_0 but not too sharply concentrated at energy eigenvalues. Then after an arbitrary unitary time evolution which follows a typical "waiting time", the probability of observing the energy lower than E_0 is proved to be negligibly small.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Unified Jarzynski and Sagawa-Ueda relations for Maxwell's demon

By using Newtonian mechanics, we construct a general model of Maxwell's demon, a system in which the engine and the memory interact only through the exchange of information. We show that the Jarzynski relation and the two Sagawa-Ueda relations hold simultaneously, and argue that they are the unique triplet which has a natural decomposition property. The uniqueness provides a strong support to the assertion that the mutual information is the key quantity.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Ground States of the Spin-1 Bose-Hubbard Model

We prove basic theorems about the ground states of the S=1 Bose-Hubbard model. The results are quite universal and depend only on the coefficient U_2 of the spin-dependent interaction. We show that the ground state exhibits saturated ferromagnetism if U_2<0, is spin-singlet if U_2>0, and exhibits &#34;SU(3)-ferromagnetism&#34; if U_2=0, and completely determine the degeneracy in each region.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Extended Clausius Relation and Entropy for Nonequilibrium Steady States in Heat Conducting Quantum Systems

Recently, in their attempt to construct steady state thermodynamics (SST), Komatsu, Nakagwa, Sasa, and Tasaki found an extension of the Clausius relation to nonequilibrium steady states in classical stochastic processes. Here we derive a quantum mechanical version of the extended Clausius relation. We consider a small system of interest attached to large systems which play the role of heat baths. By only using the genuine quantum dynamics, we realize a heat conducting nonequilibrium steady state in the small system. We study the response of the steady state when the parameters of the system are changed abruptly, and show that the extended Clausius relation, in which &#34;heat&#34; is replaced by the &#34;excess heat&#34;, is valid when the temperature difference is small. Moreover we show that the entropy that appears in the relation is similar to von Neumann entropy but has an extra symmetrization with respect to time-reversal. We believe that the present work opens a new possibility in the study of nonequilibrium phenomena in quantum systems, and also confirms the robustness of the approach by Komtatsu et al.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Ferromagnetism in the Hubbard model with Topological/Non-Topological Flat Bands

We introduce and study two classes of Hubbard models with magnetic flux or with spin-orbit coupling, which have a flat lowest band separated from other bands by a nonzero gap. We study the Chern number of the flat bands, and find that it is zero for the first class but can be nontrivial in the second. We also prove that the introduction of on-site Coulomb repulsion leads to ferromagnetism in both the classes.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantum Jarzynski-Sagawa-Ueda relations

We consider a (small) quantum mechanical system which is operated by an external agent, who changes the Hamiltonian of the system according to a fixed scenario. In particular we assume that the agent (who may be called a demon) performs measurement followed by feedback, i.e., it makes a measurement of the system and changes the protocol according to the outcome. We extend to this setting the generalized Jarzynski relations, recently derived by Sagawa and Ueda for classical systems with feedback. One of the two relations by Sagawa and Ueda is derived here in error-free quantum processes, while the other is derived only when the measurement process involves classical errors. The first relation leads to a second law which takes into account the efficiency of the feedback.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Entropy and Nonlinear Nonequilibrium Thermodynamic Relation for Heat Conducting Steady States

Among various possible routes to extend entropy and thermodynamics to nonequilibrium steady states (NESS), we take the one which is guided by operational thermodynamics and the Clausius relation. In our previous study, we derived the extended Clausius relation for NESS, where the heat in the original relation is replaced by its &#34;renormalized&#34; counterpart called the excess heat, and the Gibbs-Shannon expression for the entropy by a new symmetrized Gibbs-Shannon-like expression. Here we concentrate on Markov processes describing heat conducting systems, and develop a new method for deriving thermodynamic relations. We first present a new simpler derivation of the extended Clausius relation, and clarify its close relation with the linear response theory. We then derive a new improved extended Clausius relation with a &#34;nonlinear nonequilibrium&#34; contribution which is written as a correlation between work and heat. We argue that the &#34;nonlinear nonequilibrium&#34; contribution is unavoidable, and is determined uniquely once we accept the (very natural) definition of the excess heat. Moreover it turns out that to operationally determine the difference in the nonequilibrium entropy to the second order in the temperature difference, one may only use the previous Clausius relation without a nonlinear term or must use the new relation, depending on the operation (i.e., the path in the parameter space). This peculiar &#34;twist&#34; may be a clue to a better understanding of thermodynamics and statistical mechanics of NESS.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The approach to thermal equilibrium and &#34;thermodynamic normality&#34; --- An observation based on the works by Goldstein, Lebowitz, Mastrodonato, Tumulka, and Zanghi in 2009, and by von Neumann in 1929

We treat the problem of the approach to thermal equilibrium by only resorting to quantum dynamics of an isolated macroscopic system. Inspired by the two important works in 2009 and in 1929, we have noted that a condition we call &#34;thermodynamic normality&#34; for a macroscopic observable guarantees the approach to equilibrium (in the sense that a measurement of the observable at time $t$ almost certainly yields a result close to the corresponding microcanonical average for a sufficiently long and typical $t$). A crucial point is that we make no assumptions on the initial state of the system, except that its energy is distributed close to a certain macroscopic value. We also present three (rather artificial) models in which the thermodynamic normality can be established, thus providing concrete examples in which the approach to equilibrium is rigorously justified. Note that this kind of results which hold for ANY initial state are never possible in classical systems. We are thus dealing with a mechanism which is peculiar to quantum systems. The present note is written in a self-contained (and hopefully readable) manner. It only requires basic knowledge in quantum physics and equilibrium statistical mechanics.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Metallic ferromagnetism in the Hubbard model: A rigorous example

We present the first rigorous example of the Hubbard model in any dimensions which exhibits metallic ferromagnetism. The model is a genuine Hubbard model with short-range hopping and on-site Coulomb repulsion, and has multi single-electron bands. In the limit where the band gap and the Coulomb repulsion become infinite, we prove that the ground states are completely ferromagnetic and at the same time conducting.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Second law of thermodynamics for macroscopic mechanics coupled to thermodynamic degrees of freedom

Based only on classical Hamiltonian dynamics, we prove the maximum work principle in a system where macroscopic dynamical degrees of freedom are intrinsically coupled to microscopic degrees of freedom. Unlike recent identities between irreversible work and free energy, such as in the Jarzynski relation, the macroscopic dynamics is not governed by an external action but undergoes the back reaction of the microscopic degrees of freedom. Our theorems cover such physical situations as impact between macroscopic bodies, thermodynamic machines, and molecular motors.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Low-lying excitations in one-dimensional lattice electron systems

We consider a general one-dimensional tight-binding electron model which has a period $P$. For any filling factor $ν$ such that $Pν$ is non-integral, we prove that the model in the infinite volume limit has either a symmetry breaking or a unique ground state with gapless excitations. The proof is based on the idea of Yamanaka, Oshikawa and Affleck (cond-mat/9701141), who extended the Lieb-Schultz-Mattis argument to electron systems.

0 citations0 reviewsNo code linkedOpen access