• ### On the averaged Green's function of an elliptic equation with random coefficients(1804.10260)

April 26, 2018 math.AP, math-ph, math.MP, math.PR
We consider a divergence-form elliptic difference operator on the lattice $\mathbb{Z}^d$, with a coefficient matrix that is an i.i.d. perturbation of the identity matrix. Recently, Bourgain introduced novel techniques from harmonic analysis to prove the convergence of the Feshbach-Schur perturbation series related to the averaged Green's function of this model. Our main contribution is a refinement of Bourgain's approach which improves the key decay rate from $-2d+\epsilon$ to $-3d+\epsilon$. (The optimal decay rate is conjectured to be $-3d$.) As an application, we derive estimates on higher derivatives of the averaged Green's function which go beyond the second derivatives considered by Delmotte-Deuschel and related works.
• ### Effective multi-scale approach to the Schr\"odinger cocycle over a skew shift base(1803.02034)

March 6, 2018 math.AP, math-ph, math.MP, math.DS
We prove a conditional theorem on the positivity of the Lyapunov exponent for a Schr\"odinger cocycle over a skew shift base with a cosine potential and the golden ratio as frequency. For coupling below 1, which is the threshold for Herman's subharmonicity trick, we formulate three conditions on the Lyapunov exponent in a finite but large volume and on the associated large deviation estimates at that scale. Our main results demonstrate that these finite-size conditions imply the positivity of the infinite volume Lyapunov exponent. This paper shows that it is possible to make the techniques developed for the study of Schr\"odinger operators with deterministic potentials, based on large deviation estimates and the avalanche principle, effective.
• ### Knabe's spectral gap method for open boundary conditions(1709.02756)

Feb. 11, 2018 math-ph, math.MP
In 1988, Knabe found a "finite-size criterion" to determine whether a frustration-free quantum spin chain with periodic boundary conditions is uniformly gapped in the thermodynamic limit. The criterion provides a threshold for the spectral gap at a finite system size such that, if the threshold is exceeded for a fixed system size, then the chain with periodic boundary conditions is uniformly gapped. We extend Knabe's result to frustration-free spin chains equipped with open boundary conditions. We now obtain two finite-size criteria: The first one is identical to Knabe's criterion and we interpret it as a bulk criterion. The second one controls the spectral gaps at smaller system sizes and can be interpreted as a new edge criterion. Heuristically, it excludes the presence of thermodynamically gapless excitations living near the edge.
• ### Spectral gaps of frustration-free spin systems with boundary(1801.08915)

In quantum many-body systems, the existence of a spectral gap above the ground state has far-reaching consequences. In this paper, we discuss "finite-size" criteria for having a spectral gap in frustration-free spin systems and their applications. We extend a criterion that was originally developed for periodic systems by Knabe and Gosset-Mozgunov to systems with a boundary. Our finite-size criterion says that if the spectral gaps at linear system size $n$ exceed an explicit threshold of order $n^{-3/2}$, then the whole system is gapped. The criterion takes into account both "bulk gaps" and "edge gaps" of the finite system in a precise way. The $n^{-3/2}$ scaling is robust: it holds in 1D and 2D systems, on arbitrary lattices and with arbitrary finite-range interactions. One application of our results is to give a rigorous foundation to the folklore that 2D frustration-free models cannot host chiral edge modes (whose finite-size spectral gap would scale like $n^{-1}$).
• ### On multivariate trace inequalities of Sutter, Berta and Tomamichel(1708.04836)

Aug. 16, 2017 quant-ph, math-ph, math.MP
We consider a family of multivariate trace inequalities recently derived by Sutter, Berta and Tomamichel. These inequalities generalize the Golden-Thompson inequality and Lieb's three-matrix inequality to an arbitrary number of matrices in a way that features complex matrix powers. We show that their inequalities can be rewritten as an $n$-matrix generalization of Lieb's original three-matrix inequality. The complex matrix powers are replaced by resolvents and appropriate maximally entangled states. We expect that the technically advantageous properties of resolvents, in particular for perturbation theory, can be of use in applications of the $n$-matrix inequalities, e.g., for analyzing the rotated Petz recovery map in quantum information theory.
• ### Actuation of thin nematic elastomer sheets with controlled heterogeneity(1611.00729)

July 23, 2017 math.AP, cond-mat.soft
Nematic elastomers and glasses deform spontaneously when subjected to temperature changes. This property can be exploited in the design of heterogeneously patterned thin sheets that deform into a non-trivial shape when heated or cooled. In this paper, we start from a variational formulation for the entropic elastic energy of liquid crystal elastomers and we derive an effective two-dimensional metric constraint, which links the deformation and the heterogeneous director field. Our main results show that satisfying the metric constraint is both necessary and sufficient for the deformation to be an approximate minimizer of the energy. We include several examples which show that the class of deformations satisfying the metric constraint is quite rich.
• ### Information-theoretic limitations on approximate quantum cloning and broadcasting(1608.07569)

Feb. 9, 2017 quant-ph
We prove new quantitative limitations on any approximate simultaneous cloning or broadcasting of mixed states. The results are based on information-theoretic (entropic) considerations and generalize the well known no-cloning and no-broadcasting theorems. We also observe and exploit the fact that the universal cloning machine on the symmetric subspace of $n$ qudits and symmetrized partial trace channels are dual to each other. This duality manifests itself both in the algebraic sense of adjointness of quantum channels and in the operational sense that a universal cloning machine can be used as an approximate recovery channel for a symmetrized partial trace channel and vice versa. The duality extends to give control on the performance of generalized UQCMs on subspaces more general than the symmetric subspace. This gives a way to quantify the usefulness of a-priori information in the context of cloning. For example, we can control the performance of an antisymmetric analogue of the UQCM in recovering from the loss of $n-k$ fermionic particles.
• ### On the entropy of fermionic reduced density matrices(1702.02360)

Feb. 8, 2017 quant-ph, math-ph, math.MP
The antisymmetry of a fermionic quantum state has a marked effect on its entanglement properties. Recently, Carlen, Lieb and Reuvers (CLR) studied this effect, in particular concerning the entropy of the two-body reduced density matrix of a fermionic state. They conjecture that this entropy is minimized by Slater determinants. We use tools from quantum information theory to make progress on their conjecture, proving it when the dimension of the underlying Hilbert space is not too large. We also derive general properties of the entropy of the $k$-body reduced density matrix as a function of $k$: It is concave for all $k$ and non-decreasing for all $k\leq N/2$, where $N$ is the number of fermionic particles. We can apply these general facts to improve the bound of CLR in all dimensions.
• ### Condensation of fermion pairs in a domain(1608.01088)

We consider a gas of fermions at zero temperature and low density, interacting via a microscopic two body potential which admits a bound state. The particles are confined to a domain with Dirichlet (i.e. zero) boundary conditions. Starting from the microscopic BCS theory, we derive an effective macroscopic Gross-Pitaevskii (GP) theory describing the condensate of fermion pairs. The GP theory also has Dirichlet boundary conditions. Along the way, we prove that the GP energy, defined with Dirichlet boundary conditions on a bounded Lipschitz domain, is continuous under interior and exterior approximations of that domain.
• ### Programming complex shapes in thin nematic elastomer and glass sheets(1605.02681)

July 1, 2016 cond-mat.soft
Nematic elastomers and glasses are solids that display spontaneous distortion under external stimuli. Recent advances in the synthesis of sheets with controlled heterogeneities have enabled their actuation into non-trivial shapes with unprecedented energy density. Thus, these have emerged as powerful candidates for soft actuators. To further this potential, we introduce the key metric constraint which governs shape changing actuation in these sheets. We then highlight the richness of shapes amenable to this constraint through two broad classes of examples which we term nonisometric origami and lifted surfaces. Finally, we comment on the derivation of the metric constraint, which arises from energy minimization in the interplay of stretching, bending and heterogeneity in these sheets.
• ### On the H\"older regularity for the fractional Schr\"odinger equation and its improvement for radial data(1604.00415)

April 1, 2016 math.AP, math-ph, math.MP
We consider the linear, time-independent fractional Schr\"odinger equation $$(-\Delta)^s \psi+V\psi=f.$$ We are interested in the local H\"older exponents of distributional solutions $\psi$, assuming local $L^p$ integrability of the functions $V$ and $f$. By standard arguments, we obtain the formula $2s-N/p$ for the local H\"older exponent of $\psi$ where we take some extra care regarding endpoint cases. For our main result, we assume that $V$ and $f$ (but not necessarily $\psi$) are radial functions, a situation which is commonplace in applications. We find that the regularity theory "becomes one-dimensional" in the sense that the H\"older exponent improves from $2s-N/p$ to $2s-1/p$ away from the origin. Similar results hold for $\nabla\psi$ as well.
• ### Multi-component Ginzburg-Landau theory: microscopic derivation and examples(1504.07306)

This paper consists of three parts. In part I, we microscopically derive Ginzburg--Landau (GL) theory from BCS theory for translation-invariant systems in which multiple types of superconductivity may coexist. Our motivation are unconventional superconductors. We allow the ground state of the effective gap operator $K_{T_c}+V$ to be $n$-fold degenerate and the resulting GL theory then couples $n$ order parameters. In part II, we study examples of multi-component GL theories which arise from an isotropic BCS theory. We study the cases of (a) pure $d$-wave order parameters and (b) mixed $(s+d)$-wave order parameters, in two and three dimensions. In part III, we present explicit choices of spherically symmetric interactions $V$ which produce the examples in part II. In fact, we find interactions $V$ which produce ground state sectors of $K_{T_c}+V$ of arbitrary angular momentum, for open sets of of parameter values. This is in stark contrast with Schr\"odinger operators $-\nabla^2+V$, for which the ground state is always non-degenerate. Along the way, we prove the following fact about Bessel functions: At its first maximum, a half-integer Bessel function is strictly larger than all other half-integer Bessel functions.
• ### On polynomial Lieb-Robinson bounds for the XY chain in a decaying random field(1601.03383)

We consider the isotropic XY quantum spin chain in a random external field in the $z$ direction, with single site distributions given by i.i.d. random variables times the critical decaying envelope $j^{-1/2}$. Our motivation is the study of many-body localization. We investigate transport properties in terms of polynomial Lieb-Robinson (PLR) bounds. We prove a zero-velocity PLR bound for large disorder strength $\lambda$ and for small $\lambda$ we show a partial converse, which suggests the existence of non-trivial transport in the model.
• ### Monotonicity of quantum relative entropy and recoverability(1412.4067)

Aug. 20, 2015 quant-ph, math-ph, math.MP, cs.IT, math.IT
The relative entropy is a principal measure of distinguishability in quantum information theory, with its most important property being that it is non-increasing with respect to noisy quantum operations. Here, we establish a remainder term for this inequality that quantifies how well one can recover from a loss of information by employing a rotated Petz recovery map. The main approach for proving this refinement is to combine the methods of [Fawzi and Renner, arXiv:1410.0664] with the notion of a relative typical subspace from [Bjelakovic and Siegmund-Schultze, arXiv:quant-ph/0307170]. Our paper constitutes partial progress towards a remainder term which features just the Petz recovery map (not a rotated Petz map), a conjecture which would have many consequences in quantum information theory. A well known result states that the monotonicity of relative entropy with respect to quantum operations is equivalent to each of the following inequalities: strong subadditivity of entropy, concavity of conditional entropy, joint convexity of relative entropy, and monotonicity of relative entropy with respect to partial trace. We show that this equivalence holds true for refinements of all these inequalities in terms of the Petz recovery map. So either all of these refinements are true or all are false.
• ### Heat flows on hyperbolic spaces(1506.04345)

June 14, 2015 math.DG, math.GT
In this paper we develop new methods for studying the convergence problem for the heat flow on negatively curved spaces and prove that any quasiconformal map of the sphere $\mathbb{S}^{n-1}$, $n\geq 3$, can be extended to the $n$-dimensional hyperbolic space such that the heat flow starting with this extension converges to a quasi-isometric harmonic map. This implies the Schoen-Li-Wang conjecture that every quasiconformal map of $\mathbb{S}^{n-1}$, $n\geq 3$, can be extended to a harmonic quasi-isometry of the $n$-dimensional hyperbolic space.
• ### New Counterexamples for Sums-Differences(1404.3745)

Oct. 3, 2014 math.CO, math.CA
We present new counterexamples, which provide stronger limitations to sums-differences statements than were previously known. The main idea is to consider non-uniform probability measures.