@article{7650, abstract = {We consider a dilute, homogeneous Bose gas at positive temperature. The system is investigated in the Gross–Pitaevskii limit, where the scattering length a is so small that the interaction energy is of the same order of magnitude as the spectral gap of the Laplacian, and for temperatures that are comparable to the critical temperature of the ideal gas. We show that the difference between the specific free energy of the interacting system and the one of the ideal gas is to leading order given by 4πa(2ϱ2−ϱ20). Here ϱ denotes the density of the system and ϱ0 is the expected condensate density of the ideal gas. Additionally, we show that the one-particle density matrix of any approximate minimizer of the Gibbs free energy functional is to leading order given by the one of the ideal gas. This in particular proves Bose–Einstein condensation with critical temperature given by the one of the ideal gas to leading order. One key ingredient of our proof is a novel use of the Gibbs variational principle that goes hand in hand with the c-number substitution.}, author = {Deuchert, Andreas and Seiringer, Robert}, issn = {1432-0673}, journal = {Archive for Rational Mechanics and Analysis}, number = {6}, pages = {1217--1271}, publisher = {Springer Nature}, title = {{Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature}}, doi = {10.1007/s00205-020-01489-4}, volume = {236}, year = {2020}, } @article{8130, abstract = {We study the dynamics of a system of N interacting bosons in a disc-shaped trap, which is realised by an external potential that confines the bosons in one spatial dimension to an interval of length of order ε. The interaction is non-negative and scaled in such a way that its scattering length is of order ε/N, while its range is proportional to (ε/N)β with scaling parameter β∈(0,1]. We consider the simultaneous limit (N,ε)→(∞,0) and assume that the system initially exhibits Bose–Einstein condensation. We prove that condensation is preserved by the N-body dynamics, where the time-evolved condensate wave function is the solution of a two-dimensional non-linear equation. The strength of the non-linearity depends on the scaling parameter β. For β∈(0,1), we obtain a cubic defocusing non-linear Schrödinger equation, while the choice β=1 yields a Gross–Pitaevskii equation featuring the scattering length of the interaction. In both cases, the coupling parameter depends on the confining potential.}, author = {Bossmann, Lea}, issn = {1432-0673}, journal = {Archive for Rational Mechanics and Analysis}, number = {11}, pages = {541--606}, publisher = {Springer Nature}, title = {{Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons}}, doi = {10.1007/s00205-020-01548-w}, volume = {238}, year = {2020}, } @article{7235, abstract = {We consider the Fröhlich model of a polaron, and show that its effective mass diverges in thestrong coupling limit.}, author = {Lieb, Elliott H. and Seiringer, Robert}, issn = {1572-9613}, journal = {Journal of Statistical Physics}, pages = {23--33}, publisher = {Springer Nature}, title = {{Divergence of the effective mass of a polaron in the strong coupling limit}}, doi = {10.1007/s10955-019-02322-3}, volume = {180}, year = {2020}, } @inproceedings{7966, abstract = {For 1≤m≤n, we consider a natural m-out-of-n multi-instance scenario for a public-key encryption (PKE) scheme. An adversary, given n independent instances of PKE, wins if he breaks at least m out of the n instances. In this work, we are interested in the scaling factor of PKE schemes, SF, which measures how well the difficulty of breaking m out of the n instances scales in m. That is, a scaling factor SF=ℓ indicates that breaking m out of n instances is at least ℓ times more difficult than breaking one single instance. A PKE scheme with small scaling factor hence provides an ideal target for mass surveillance. In fact, the Logjam attack (CCS 2015) implicitly exploited, among other things, an almost constant scaling factor of ElGamal over finite fields (with shared group parameters). For Hashed ElGamal over elliptic curves, we use the generic group model to argue that the scaling factor depends on the scheme's granularity. In low granularity, meaning each public key contains its independent group parameter, the scheme has optimal scaling factor SF=m; In medium and high granularity, meaning all public keys share the same group parameter, the scheme still has a reasonable scaling factor SF=√m. Our findings underline that instantiating ElGamal over elliptic curves should be preferred to finite fields in a multi-instance scenario. As our main technical contribution, we derive new generic-group lower bounds of Ω(√(mp)) on the difficulty of solving both the m-out-of-n Gap Discrete Logarithm and the m-out-of-n Gap Computational Diffie-Hellman problem over groups of prime order p, extending a recent result by Yun (EUROCRYPT 2015). We establish the lower bound by studying the hardness of a related computational problem which we call the search-by-hypersurface problem.}, author = {Auerbach, Benedikt and Giacon, Federico and Kiltz, Eike}, booktitle = {Advances in Cryptology – EUROCRYPT 2020}, isbn = {9783030457266}, issn = {1611-3349}, pages = {475--506}, publisher = {Springer Nature}, title = {{Everybody’s a target: Scalability in public-key encryption}}, doi = {10.1007/978-3-030-45727-3_16}, volume = {12107}, year = {2020}, } @inproceedings{8623, abstract = {We introduce the monitoring of trace properties under assumptions. An assumption limits the space of possible traces that the monitor may encounter. An assumption may result from knowledge about the system that is being monitored, about the environment, or about another, connected monitor. We define monitorability under assumptions and study its theoretical properties. In particular, we show that for every assumption A, the boolean combinations of properties that are safe or co-safe relative to A are monitorable under A. We give several examples and constructions on how an assumption can make a non-monitorable property monitorable, and how an assumption can make a monitorable property monitorable with fewer resources, such as integer registers.}, author = {Henzinger, Thomas A and Sarac, Naci E}, booktitle = {Runtime Verification}, isbn = {9783030605070}, issn = {1611-3349}, location = {Los Angeles, CA, United States}, pages = {3--18}, publisher = {Springer Nature}, title = {{Monitorability under assumptions}}, doi = {10.1007/978-3-030-60508-7_1}, volume = {12399}, year = {2020}, } @inbook{10865, abstract = {We introduce the notion of Witness Maps as a cryptographic notion of a proof system. A Unique Witness Map (UWM) deterministically maps all witnesses for an NP statement to a single representative witness, resulting in a computationally sound, deterministic-prover, non-interactive witness independent proof system. A relaxation of UWM, called Compact Witness Map (CWM), maps all the witnesses to a small number of witnesses, resulting in a “lossy” deterministic-prover, non-interactive proof-system. We also define a Dual Mode Witness Map (DMWM) which adds an “extractable” mode to a CWM. Our main construction is a DMWM for all NP relations, assuming sub-exponentially secure indistinguishability obfuscation ( iO ), along with standard cryptographic assumptions. The DMWM construction relies on a CWM and a new primitive called Cumulative All-Lossy-But-One Trapdoor Functions (C-ALBO-TDF), both of which are in turn instantiated based on iO and other primitives. Our instantiation of a CWM is in fact a UWM; in turn, we show that a UWM implies Witness Encryption. Along the way to constructing UWM and C-ALBO-TDF, we also construct, from standard assumptions, Puncturable Digital Signatures and a new primitive called Cumulative Lossy Trapdoor Functions (C-LTDF). The former improves up on a construction of Bellare et al. (Eurocrypt 2016), who relied on sub-exponentially secure iO and sub-exponentially secure OWF. As an application of our constructions, we show how to use a DMWM to construct the first leakage and tamper-resilient signatures with a deterministic signer, thereby solving a decade old open problem posed by Katz and Vaikunthanathan (Asiacrypt 2009), by Boyle, Segev and Wichs (Eurocrypt 2011), as well as by Faonio and Venturi (Asiacrypt 2016). Our construction achieves the optimal leakage rate of 1−o(1) .}, author = {Chakraborty, Suvradip and Prabhakaran, Manoj and Wichs, Daniel}, booktitle = {Public-Key Cryptography}, editor = {Kiayias, A}, isbn = {9783030453732}, issn = {1611-3349}, pages = {220--246}, publisher = {Springer Nature}, title = {{Witness maps and applications}}, doi = {10.1007/978-3-030-45374-9_8}, volume = {12110}, year = {2020}, } @article{7611, abstract = {We consider a system of N bosons in the limit N→∞, interacting through singular potentials. For initial data exhibiting Bose–Einstein condensation, the many-body time evolution is well approximated through a quadratic fluctuation dynamics around a cubic nonlinear Schrödinger equation of the condensate wave function. We show that these fluctuations satisfy a (multi-variate) central limit theorem.}, author = {Rademacher, Simone Anna Elvira}, issn = {1573-0530}, journal = {Letters in Mathematical Physics}, pages = {2143--2174}, publisher = {Springer Nature}, title = {{Central limit theorem for Bose gases interacting through singular potentials}}, doi = {10.1007/s11005-020-01286-w}, volume = {110}, year = {2020}, } @article{7236, abstract = {The biotic interactions hypothesis posits that biotic interactions are more important drivers of adaptation closer to the equator, evidenced by “stronger” contemporary interactions (e.g. greater interaction rates) and/or patterns of trait evolution consistent with a history of stronger interactions. Support for the hypothesis is mixed, but few studies span tropical and temperate regions while experimentally controlling for evolutionary history. Here, we integrate field observations and common garden experiments to quantify the relative importance of pollination and herbivory in a pair of tropical‐temperate congeneric perennial herbs. Phytolacca rivinoides and P. americana are pioneer species native to the Neotropics and the eastern USA, respectively. We compared plant‐pollinator and plant‐herbivore interactions between three tropical populations of P. rivinoides from Costa Rica and three temperate populations of P. americana from its northern range edge in Michigan and Ohio. For some metrics of interaction importance, we also included three subtropical populations of P. americana from its southern range edge in Florida. This approach confounds species and region but allows us, uniquely, to measure complementary proxies of interaction importance across a tropical‐temperate range in one system. To test the prediction that lower‐latitude plants are more reliant on insect pollinators, we quantified floral display and reward, insect visitation rates, and self‐pollination ability (autogamy). To test the prediction that lower‐latitude plants experience more herbivore pressure, we quantified herbivory rates, herbivore abundance, and leaf palatability. We found evidence supporting the biotic interactions hypothesis for most comparisons between P. rivinoides and north‐temperate P. americana (floral display, insect visitation, autogamy, herbivory, herbivore abundance, and young‐leaf palatability). Results for subtropical P. americana populations, however, were typically not intermediate between P. rivinoides and north‐temperate P. americana, as would be predicted by a linear latitudinal gradient in interaction importance. Subtropical young‐leaf palatability was intermediate, but subtropical mature leaves were the least palatable, and pollination‐related traits did not differ between temperate and subtropical regions. These nonlinear patterns of interaction importance suggest future work to relate interaction importance to climatic or biotic thresholds. In sum, we found that the biotic interactions hypothesis was more consistently supported at the larger spatial scale of our study.}, author = {Baskett, Carina and Schroeder, Lucy and Weber, Marjorie G. and Schemske, Douglas W.}, issn = {1557-7015}, journal = {Ecological Monographs}, number = {1}, publisher = {Wiley}, title = {{Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair}}, doi = {10.1002/ecm.1397}, volume = {90}, year = {2020}, } @article{7697, abstract = {* Morphogenesis and adaptive tropic growth in plants depend on gradients of the phytohormone auxin, mediated by the membrane‐based PIN‐FORMED (PIN) auxin transporters. PINs localize to a particular side of the plasma membrane (PM) or to the endoplasmic reticulum (ER) to directionally transport auxin and maintain intercellular and intracellular auxin homeostasis, respectively. However, the molecular cues that confer their diverse cellular localizations remain largely unknown. * In this study, we systematically swapped the domains between ER‐ and PM‐localized PIN proteins, as well as between apical and basal PM‐localized PINs from Arabidopsis thaliana , to shed light on why PIN family members with similar topological structures reside at different membrane compartments within cells. * Our results show that not only do the N‐ and C‐terminal transmembrane domains (TMDs) and central hydrophilic loop contribute to their differential subcellular localizations and cellular polarity, but that the pairwise‐matched N‐ and C‐terminal TMDs resulting from intramolecular domain–domain coevolution are also crucial for their divergent patterns of localization. * These findings illustrate the complexity of the evolutionary path of PIN proteins in acquiring their plethora of developmental functions and adaptive growth in plants.}, author = {Zhang, Yuzhou and Hartinger, Corinna and Wang, Xiaojuan and Friml, Jiří}, issn = {1469-8137}, journal = {New Phytologist}, number = {5}, pages = {1406--1416}, publisher = {Wiley}, title = {{Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters}}, doi = {10.1111/nph.16629}, volume = {227}, year = {2020}, } @article{8765, abstract = {This paper introduces a simple method for simulating highly anisotropic elastoplastic material behaviors like the dissolution of fibrous phenomena (splintering wood, shredding bales of hay) and materials composed of large numbers of irregularly‐shaped bodies (piles of twigs, pencils, or cards). We introduce a simple transformation of the anisotropic problem into an equivalent isotropic one, and we solve this new “fictitious” isotropic problem using an existing simulator based on the material point method. Our approach results in minimal changes to existing simulators, and it allows us to re‐use popular isotropic plasticity models like the Drucker‐Prager yield criterion instead of inventing new anisotropic plasticity models for every phenomenon we wish to simulate.}, author = {Schreck, Camille and Wojtan, Christopher J}, issn = {1467-8659}, journal = {Computer Graphics Forum}, keywords = {Computer Networks and Communications}, number = {2}, pages = {89--99}, publisher = {Wiley}, title = {{A practical method for animating anisotropic elastoplastic materials}}, doi = {10.1111/cgf.13914}, volume = {39}, year = {2020}, }