arXiv subjects

Hal Tasaki

Publications and source records attributed to Hal Tasaki.

At least 37 records · Page 2Linked to original sources

arXiv2021

Mott Insulator-like Bose-Einstein Condensation in a Tight-Binding System of Interacting Bosons with a Flat Band

We propose a new class of tight-binding systems of interacting bosons with a flat band, which are exactly solvable in the sense that one can explicitly write down the unique ground state. The ground state is expressed in terms of local creation operators, and apparently resembles that of a Mott insulator. Based on an exact representation in terms of a classical loop-gas model, we conjecture that the ground state may exhibit quasi Bose-Einstein condensation (BEC) or genuine BEC in dimensions two and three or higher, respectively, still keeping Mott insulator-like character. Our Monte Carlo simulation of the loop-gas model strongly supports this conjecture, i.e., the ground state undergoes a Kosterlitz-Thouless transition and exhibits quasi BEC in two dimensions.

cond-mat.quant-gas↗

arXiv2020

Hohenberg-Mermin-Wagner type theorems for equilibrium models of flocking

We study a class of two-dimensional models of classical hard-core particles with Vicsek-type "exchange interaction" that aligns the directions of motion of nearby particles. By extending the Hohenberg-Mermin-Wagner theorem for the absence of spontaneous magnetization and the McBryan-Spencer bound for correlation functions, we prove that the models do not spontaneously break the rotational symmetry in their equilibrium states at any nonzero temperature. We thus conclude that the mobility of particles alone does not account for the spontaneous symmetry breaking in Vicsek type models. The origin of the symmetry breaking must be sought in the absence of detailed balance condition, or, equivalently, in the nonequilibrium nature.

cond-mat.stat-mech↗

arXiv2020

General Lieb-Schultz-Mattis type theorems for quantum spin chains

We develop a general operator algebraic method which focuses on projective representations of symmetry group for proving Lieb-Schultz-Mattis type theorems, i.e., no-go theorems that rule out the existence of a unique gapped ground state (or, more generally, a pure split state), for quantum spin chains with on-site symmetry. We first prove a theorem for translation invariant spin chains that unifies and extends two theorems proved by two of the authors in [OT1]. We then prove a Lieb-Schultz-Mattis type theorem for spin chains that are invariant under the reflection about the origin and not necessarily translation invariant.

math-ph↗

arXiv2019

Long-range order, "tower" of states, and symmetry breaking in lattice quantum systems

In a quantum many-body system where the Hamiltonian and the order operator do not commute, it often happens that the unique ground state of a finite system exhibits long-range order (LRO) but does not show spontaneous symmetry breaking (SSB). Typical examples include antiferromagnetic quantum spin systems with Neel order, and lattice boson systems which exhibit Bose-Einstein condensation. By extending and improving previous results by Horsch and von der Linden and by Koma and Tasaki, we here develop a fully rigorous and almost complete theory about the relation between LRO and SSB in the ground state of a finite system with continuous symmetry. We show that a ground state with LRO but without SSB is inevitably accompanied by a series of energy eigenstates, known as the "tower" of states, which have extremely low excitation energies. More importantly, we also prove that one gets a physically realistic "ground state" by taking a superposition of these low energy excited states. The present paper is written in a self-contained manner, and does not require any knowledge about the previous works on the subject.

cond-mat.stat-mech↗

arXiv2019

Stability of Ferromagnetism in Hubbard Models with Nearly-Flat Bands

Whether spin-independent Coulomb interaction in an electron system can be the origin of ferromagnetism has been an open problem for a long time. Recently, a "constructive" approach to this problem has been developed, and the existence of ferromagnetism in the ground states of certain Hubbard models was established rigorously. A special feature of these Hubbard models is that their lowest bands (in the corresponding single-electron problems) are completely flat. Here we study models obtained by adding small but arbitrary translation-invariant perturbation to the hopping Hamiltonian of these flat-band models. The resulting models have nearly-flat lowest bands. We prove that the ferromagnetic state is stable against a single-spin flip provided that Coulomb interaction U is sufficiently large. (It is easily found that the same state is unstable against a single-spin flip if U is small enough.) We also prove upper and lower bounds for the dispersion relation of the lowest energy eigenstate with a single flipped spin, which bounds establish that the model has "healthy" spin-wave excitation. It is notable that the (local) stability of ferromagnetism is proved in non-singular Hubbard models, in which we must overcome competition between the kinetic energy and the Coulomb interaction. We also note that this is one of the very few rigorous and robust results which deal with truly nonperturbative phenomena in many electron systems. The local stability strongly suggests that the Hubbard models with nearly flat bands have ferromagnetic ground states. We believe that the present models can be studied as paradigm models for (insulating) ferromagnetism in itinerant electron systems.

cond-mat.str-el↗

arXiv2018

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.

cond-mat.stat-mech↗

arXiv2018

Lieb-Schultz-Mattis type theorems for quantum spin chains without continuous symmetry

We prove that a quantum spin chain with half-odd-integral spin cannot have a unique ground state with a gap, provided that the interaction is short ranged, translation invariant, and possesses time-reversal symmetry or ${\mathbb Z}_2 \times {\mathbb Z}_2$ symmetry (i.e., the symmetry with respect to the $π$ rotations of spins about the three orthogonal axes). The proof is based on the deep analogy between the matrix product state formulation and the representation of the Cuntz algebra in the von Neumann algebra $π({\mathcal A}_{R})''$ constructed from the ground state restricted to the right half-infinite chain.

math-ph↗

arXiv2018

Topological phase transition and $\mathbb{Z}_2$ index for $S=1$ quantum spin chains

We study $S=1$ quantum spin systems on the infinite chain with short ranged Hamiltonians which have certain rotational and discrete symmetry. We define a $\mathbb{Z}_2$ index for any gapped unique ground state, and prove that it is invariant under smooth deformation. By using the index, we provide the first rigorous proof of the existence of a "topological" phase transition, which cannot be characterized by any conventional order parameters, between the AKLT ground state and trivial ground states. This rigorously establishes that the AKLT model is in a nontrivial symmetry protected topological phase.

cond-mat.stat-mech↗

arXiv2018

On the local equivalence between the canonical and the microcanonical distributions for quantum spin systems

We study a quantum spin system on the $d$-dimensional hypercubic lattice $Λ$ with $N=L^d$ sites with periodic boundary conditions. We take an arbitrary translation invariant short-ranged Hamiltonian. For this system, we consider both the canonical ensemble with inverse temperature $β_0$ and the microcanonical ensemble with the corresponding energy $U_N(β_0)$. For an arbitrary self-adjoint operator $\hat{A}$ whose support is contained in a hypercubic block $B$ inside $Λ$, we prove that the expectation values of $\hat{A}$ with respect to these two ensembles are close to each other for large $N$ provided that $β_0$ is sufficiently small and the number of sites in $B$ is $o(N^{1/2})$. This establishes the equivalence of ensembles on the level of local states in a large but finite system. The result is essentially that of Brandao and Cramer (here restricted to the case of the canonical and the microcanonical ensembles), but we prove improved estimates in an elementary manner. We also review and prove standard results on the thermodynamic limits of thermodynamic functions and the equivalence of ensembles in terms of thermodynamic functions. The present paper assumes only elementary knowledge on quantum statistical mechanics and quantum spin systems.

cond-mat.stat-mech↗

arXiv2017

Lieb-Schultz-Mattis theorem with a local twist for general one-dimensional quantum systems

We formulate and prove the local twist version of the Yamanaka-Oshikawa-Affleck theorem, an extension of the Lieb-Schultz-Mattis theorem, for one-dimensional systems of quantum particles or spins. We can treat almost any translationally invariant system wth global $U(1)$ symmetry. Time-reversal or inversion symmetry is not assumed. It is proved that, when the "filling factor" is not an integer, a ground state without any long-range order must be accompanied by low-lying excitations whose number grows indefinitely as the system size is increased. The result is closely related to the absence of topological order in one-dimension. The present paper is written in a self-contained manner, and does not require any knowledge of the Lieb-Schultz-Mattis and related theorems.

cond-mat.stat-mech↗

arXiv2016

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.

cond-mat.stat-mech↗

arXiv2016

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.

cond-mat.stat-mech↗

arXiv2016

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.

cond-mat.str-el↗

arXiv2016

Typicality of thermal equilibrium and thermalization in isolated macroscopic quantum systems

Based on the view that thermal equilibrium should be characterized through macroscopic observations, we develop a general theory about typicality of thermal equilibrium and the approach to thermal equilibrium in macroscopic quantum systems. We first formulate the notion that a pure state in an isolated quantum system represents thermal equilibrium. Then by assuming, or proving in certain classes of nontrivial models (including that of two bodies in thermal contact), large-deviation type bounds (which we call thermodynamic bounds) for the microcanonical ensemble, we prove that to represent thermal equilibrium is a typical property for pure states in the microcanonical energy shell. We believe that the typicality, along with the empirical success of statistical mechanics, provides a sound justification of equilibrium statistical mechanics. We also establish the approach to thermal equilibrium under two different assumptions; one is that the initial state has a moderate energy distribution, and the other is the energy eigenstate thermalization hypothesis.

cond-mat.stat-mech↗

arXiv2015

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.

hep-th↗

arXiv2014

Exact equalities and thermodynamic relations for nonequilibrium steady states

We study thermodynamic operations which bring a nonequilibrium steady state (NESS) to another NESS in physical systems under nonequilibrium conditions. We model the system by a suitable Markov jump process, and treat thermodynamic operations as protocols according to which the external agent varies parameters of the Markov process. Then we prove, among other relations, a NESS version of the Jarzynski equality and the extended Clausius relation. The latter can be a starting point of thermodynamics for NESS. We also find that the corresponding nonequilibrium entropy has a microscopic representation in terms of symmetrized Shannon entropy in systems where the microscopic description of states involves "momenta". All the results in the present paper are mathematically rigorous.

cond-mat.stat-mech↗

arXiv2014

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.

cond-mat.stat-mech↗

arXiv2014

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.

cond-mat.stat-mech↗