@article{442, abstract = {The rapid auxin-triggered growth of the Arabidopsis hypocotyls involves the nuclear TIR1/AFB-Aux/IAA signaling and is accompanied by acidification of the apoplast and cell walls (Fendrych et al., 2016). Here, we describe in detail the method for analysis of the elongation and the TIR1/AFB-Aux/IAA-dependent auxin response in hypocotyl segments as well as the determination of relative values of the cell wall pH.}, author = {Li, Lanxin and Krens, Gabriel and Fendrych, Matyas and Friml, Jirí}, issn = {2331-8325}, journal = {Bio-protocol}, number = {1}, publisher = {Bio-protocol}, title = {{Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls}}, doi = {10.21769/BioProtoc.2685}, volume = {8}, year = {2018}, } @article{446, abstract = {We prove that in Thomas–Fermi–Dirac–von Weizsäcker theory, a nucleus of charge Z > 0 can bind at most Z + C electrons, where C is a universal constant. This result is obtained through a comparison with Thomas-Fermi theory which, as a by-product, gives bounds on the screened nuclear potential and the radius of the minimizer. A key ingredient of the proof is a novel technique to control the particles in the exterior region, which also applies to the liquid drop model with a nuclear background potential.}, author = {Frank, Rupert and Phan Thanh, Nam and Van Den Bosch, Hanne}, journal = {Communications on Pure and Applied Mathematics}, number = {3}, pages = {577 -- 614}, publisher = {Wiley-Blackwell}, title = {{The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory}}, doi = {10.1002/cpa.21717}, volume = {71}, year = {2018}, } @article{448, abstract = {Around 150 million years ago, eusocial termites evolved from within the cockroaches, 50 million years before eusocial Hymenoptera, such as bees and ants, appeared. Here, we report the 2-Gb genome of the German cockroach, Blattella germanica, and the 1.3-Gb genome of the drywood termite Cryptotermes secundus. We show evolutionary signatures of termite eusociality by comparing the genomes and transcriptomes of three termites and the cockroach against the background of 16 other eusocial and non-eusocial insects. Dramatic adaptive changes in genes underlying the production and perception of pheromones confirm the importance of chemical communication in the termites. These are accompanied by major changes in gene regulation and the molecular evolution of caste determination. Many of these results parallel molecular mechanisms of eusocial evolution in Hymenoptera. However, the specific solutions are remarkably different, thus revealing a striking case of convergence in one of the major evolutionary transitions in biological complexity.}, author = {Harrison, Mark and Jongepier, Evelien and Robertson, Hugh and Arning, Nicolas and Bitard Feildel, Tristan and Chao, Hsu and Childers, Christopher and Dinh, Huyen and Doddapaneni, Harshavardhan and Dugan, Shannon and Gowin, Johannes and Greiner, Carolin and Han, Yi and Hu, Haofu and Hughes, Daniel and Huylmans, Ann K and Kemena, Karsten and Kremer, Lukas and Lee, Sandra and López Ezquerra, Alberto and Mallet, Ludovic and Monroy Kuhn, Jose and Moser, Annabell and Murali, Shwetha and Muzny, Donna and Otani, Saria and Piulachs, Maria and Poelchau, Monica and Qu, Jiaxin and Schaub, Florentine and Wada Katsumata, Ayako and Worley, Kim and Xie, Qiaolin and Ylla, Guillem and Poulsen, Michael and Gibbs, Richard and Schal, Coby and Richards, Stephen and Belles, Xavier and Korb, Judith and Bornberg Bauer, Erich}, journal = {Nature Ecology and Evolution}, number = {3}, pages = {557--566}, publisher = {Springer Nature}, title = {{Hemimetabolous genomes reveal molecular basis of termite eusociality}}, doi = {10.1038/s41559-017-0459-1}, volume = {2}, year = {2018}, } @article{449, abstract = {Auxin is unique among plant hormones due to its directional transport that is mediated by the polarly distributed PIN auxin transporters at the plasma membrane. The canalization hypothesis proposes that the auxin feedback on its polar flow is a crucial, plant-specific mechanism mediating multiple self-organizing developmental processes. Here, we used the auxin effect on the PIN polar localization in Arabidopsis thaliana roots as a proxy for the auxin feedback on the PIN polarity during canalization. We performed microarray experiments to find regulators of this process that act downstream of auxin. We identified genes that were transcriptionally regulated by auxin in an AXR3/IAA17- and ARF7/ARF19-dependent manner. Besides the known components of the PIN polarity, such as PID and PIP5K kinases, a number of potential new regulators were detected, among which the WRKY23 transcription factor, which was characterized in more detail. Gain- and loss-of-function mutants confirmed a role for WRKY23 in mediating the auxin effect on the PIN polarity. Accordingly, processes requiring auxin-mediated PIN polarity rearrangements, such as vascular tissue development during leaf venation, showed a higher WRKY23 expression and required the WRKY23 activity. Our results provide initial insights into the auxin transcriptional network acting upstream of PIN polarization and, potentially, canalization-mediated plant development.}, author = {Prat, Tomas and Hajny, Jakub and Grunewald, Wim and Vasileva, Mina K and Molnar, Gergely and Tejos, Ricardo and Schmid, Markus and Sauer, Michael and Friml, Jirí}, journal = {PLoS Genetics}, number = {1}, publisher = {Public Library of Science}, title = {{WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity}}, doi = {10.1371/journal.pgen.1007177}, volume = {14}, year = {2018}, } @article{454, abstract = {Direct reciprocity is a mechanism for cooperation among humans. Many of our daily interactions are repeated. We interact repeatedly with our family, friends, colleagues, members of the local and even global community. In the theory of repeated games, it is a tacit assumption that the various games that a person plays simultaneously have no effect on each other. Here we introduce a general framework that allows us to analyze “crosstalk” between a player’s concurrent games. In the presence of crosstalk, the action a person experiences in one game can alter the person’s decision in another. We find that crosstalk impedes the maintenance of cooperation and requires stronger levels of forgiveness. The magnitude of the effect depends on the population structure. In more densely connected social groups, crosstalk has a stronger effect. A harsh retaliator, such as Tit-for-Tat, is unable to counteract crosstalk. The crosstalk framework provides a unified interpretation of direct and upstream reciprocity in the context of repeated games.}, author = {Reiter, Johannes and Hilbe, Christian and Rand, David and Chatterjee, Krishnendu and Nowak, Martin}, journal = {Nature Communications}, number = {1}, publisher = {Nature Publishing Group}, title = {{Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness}}, doi = {10.1038/s41467-017-02721-8}, volume = {9}, year = {2018}, } @article{455, abstract = {The derivation of effective evolution equations is central to the study of non-stationary quantum many-body systems, and widely used in contexts such as superconductivity, nuclear physics, Bose–Einstein condensation and quantum chemistry. We reformulate the Dirac–Frenkel approximation principle in terms of reduced density matrices and apply it to fermionic and bosonic many-body systems. We obtain the Bogoliubov–de Gennes and Hartree–Fock–Bogoliubov equations, respectively. While we do not prove quantitative error estimates, our formulation does show that the approximation is optimal within the class of quasifree states. Furthermore, we prove well-posedness of the Bogoliubov–de Gennes equations in energy space and discuss conserved quantities}, author = {Benedikter, Niels P and Sok, Jérémy and Solovej, Jan}, journal = {Annales Henri Poincare}, number = {4}, pages = {1167 -- 1214}, publisher = {Birkhäuser}, title = {{The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations}}, doi = {10.1007/s00023-018-0644-z}, volume = {19}, year = {2018}, } @article{256, abstract = {We show that a non-singular integral form of degree d is soluble over the integers if and only if it is soluble over ℝ and over ℚp for all primes p, provided that the form has at least (d - 1/2 √d)2d variables. This improves on a longstanding result of Birch.}, author = {Browning, Timothy D and Prendiville, Sean}, issn = {0075-4102}, journal = {Journal fur die Reine und Angewandte Mathematik}, number = {731}, pages = {122}, publisher = {Walter de Gruyter}, title = {{Improvements in Birch's theorem on forms in many variables}}, doi = {10.1515/crelle-2014-0122}, volume = {2017}, year = {2017}, } @article{265, abstract = {We establish the dimension and irreducibility of the moduli space of rational curves (of fixed degree) on arbitrary smooth hypersurfaces of sufficiently low degree. A spreading out argument reduces the problem to hypersurfaces defined over finite fields of large cardinality, which can then be tackled using a function field version of the Hardy-Littlewood circle method, in which particular care is taken to ensure uniformity in the size of the underlying finite field.}, author = {Browning, Timothy D and Vishe, Pankaj}, issn = {1944-7833}, journal = {Geometric Methods in Algebra and Number Theory}, number = {7}, pages = {1657 -- 1675}, publisher = { Mathematical Sciences Publishers}, title = {{Rational curves on smooth hypersurfaces of low degree}}, doi = {10.2140/ant.2017.11.1657}, volume = {11}, year = {2017}, } @article{266, abstract = {We generalise Birch's seminal work on forms in many variables to handle a system of forms in which the degrees need not all be the same. This allows us to prove the Hasse principle, weak approximation, and the Manin-Peyre conjecture for a smooth and geometrically integral variety X Pm, provided only that its dimension is large enough in terms of its degree.}, author = {Browning, Timothy D and Heath Brown, Roger}, journal = {Journal of the European Mathematical Society}, number = {2}, pages = {357 -- 394}, publisher = {European Mathematical Society Publishing House}, title = {{Forms in many variables and differing degrees}}, doi = {10.4171/JEMS/668}, volume = {19}, year = {2017}, } @article{267, abstract = {Building on recent work of Bhargava, Elkies and Schnidman and of Kriz and Li, we produce infinitely many smooth cubic surfaces defined over the field of rational numbers that contain rational points.}, author = {Browning, Timothy D}, issn = {0025-5793}, journal = {Mathematika}, number = {3}, pages = {818 -- 839}, publisher = {Cambridge University Press}, title = {{Many cubic surfaces contain rational points}}, doi = {10.1112/S0025579317000195}, volume = {63}, year = {2017}, } @article{268, abstract = {We show that any subset of the squares of positive relative upper density contains nontrivial solutions to a translation-invariant linear equation in five or more variables, with explicit quantitative bounds. As a consequence, we establish the partition regularity of any diagonal quadric in five or more variables whose coefficients sum to zero. Unlike previous approaches, which are limited to equations in seven or more variables, we employ transference technology of Green to import bounds from the linear setting.}, author = {Browning, Timothy D and Prendiville, Sean}, issn = {1073-7928}, journal = {International Mathematics Research Notices}, number = {7}, pages = {2219 -- 2248}, publisher = {Oxford University Press}, title = {{A transference approach to a Roth-type theorem in the squares}}, doi = {10.1093/imrn/rnw096}, volume = {2017}, year = {2017}, } @article{269, abstract = {We investigate Fano varieties defined over a number field that contain subvarieties whose number of rational points of bounded height is comparable to the total number on the variety.}, author = {Browning, Timothy D and Loughran, Daniel}, journal = {Mathematische Zeitschrift}, number = {3-4}, pages = {1249 -- 1267}, publisher = {Springer}, title = {{Varieties with too many rational points}}, doi = {10.1007/s00209-016-1746-2}, volume = {285}, year = {2017}, } @article{270, abstract = {Given a symmetric variety Y defined over Q and a non-zero polynomial with integer coefficients, we use techniques from homogeneous dynamics to establish conditions under which the polynomial can be made r-free for a Zariski dense set of integral points on Y . We also establish an asymptotic counting formula for this set. In the special case that Y is a quadric hypersurface, we give explicit bounds on the size of r by combining the argument with a uniform upper bound for the density of integral points on general affine quadrics defined over Q.}, author = {Browning, Timothy D and Gorodnik, Alexander}, issn = {0024-6115}, journal = {Proceedings of the London Mathematical Society}, number = {6}, pages = {1044 -- 1080}, publisher = {Wiley}, title = {{Power-free values of polynomials on symmetric varieties}}, doi = {10.1112/plms.12030}, volume = {114}, year = {2017}, } @article{272, abstract = {Given a number field K/Q and a polynomial P ε Q [t], all of whose roots are Q, let X be the variety defined by the equation NK (x) = P (t). Combining additive combinatiorics with descent we show that the Brauer-Manin obstruction is the only obstruction to the Hesse principle and weak approximation on any smooth and projective model of X.}, author = {Browning, Timothy D and Matthiesen, Lilian}, journal = {Annales Scientifiques de l'Ecole Normale Superieure}, number = {6}, pages = {1383 -- 1446}, publisher = {Societe Mathematique de France}, title = {{Norm forms for arbitrary number fields as products of linear polynomials}}, doi = {10.24033/asens.2348}, volume = {50}, year = {2017}, } @inproceedings{274, abstract = {We consider the problem of estimating the partition function Z(β)=∑xexp(−β(H(x)) of a Gibbs distribution with a Hamilton H(⋅), or more precisely the logarithm of the ratio q=lnZ(0)/Z(β). It has been recently shown how to approximate q with high probability assuming the existence of an oracle that produces samples from the Gibbs distribution for a given parameter value in [0,β]. The current best known approach due to Huber [9] uses O(qlnn⋅[lnq+lnlnn+ε−2]) oracle calls on average where ε is the desired accuracy of approximation and H(⋅) is assumed to lie in {0}∪[1,n]. We improve the complexity to O(qlnn⋅ε−2) oracle calls. We also show that the same complexity can be achieved if exact oracles are replaced with approximate sampling oracles that are within O(ε2qlnn) variation distance from exact oracles. Finally, we prove a lower bound of Ω(q⋅ε−2) oracle calls under a natural model of computation.}, author = {Kolmogorov, Vladimir}, booktitle = {Proceedings of the 31st Conference On Learning Theory}, pages = {228--249}, publisher = {ML Research Press}, title = {{A faster approximation algorithm for the Gibbs partition function}}, volume = {75}, year = {2017}, } @inproceedings{313, abstract = {Tunneling of a particle through a potential barrier remains one of the most remarkable quantum phenomena. Owing to advances in laser technology, electric fields comparable to those electrons experience in atoms are readily generated and open opportunities to dynamically investigate the process of electron tunneling through the potential barrier formed by the superposition of both laser and atomic fields. Attosecond-time and angstrom-space resolution of the strong laser-field technique allow to address fundamental questions related to tunneling, which are still open and debated: Which time is spent under the barrier and what momentum is picked up by the particle in the meantime? In this combined experimental and theoretical study we demonstrate that for strong-field ionization the leading quantum mechanical Wigner treatment for the time resolved description of tunneling is valid. We achieve a high sensitivity on the tunneling barrier and unambiguously isolate its effects by performing a differential study of two systems with almost identical tunneling geometry. Moreover, working with a low frequency laser, we essentially limit the non-adiabaticity of the process as a major source of uncertainty. The agreement between experiment and theory implies two substantial corrections with respect to the widely employed quasiclassical treatment: In addition to a non-vanishing longitudinal momentum along the laser field-direction we provide clear evidence for a non-zero tunneling time delay. This addresses also the fundamental question how the transition occurs from the tunnel barrier to free space classical evolution of the ejected electron.}, author = {Camus, Nicolas and Yakaboylu, Enderalp and Fechner, Lutz and Klaiber, Michael and Laux, Martin and Mi, Yonghao and Hatsagortsyan, Karen and Pfeifer, Thomas and Keitel, Cristoph and Moshammer, Robert}, issn = {17426588}, location = {Kazan, Russian Federation}, number = {1}, publisher = {American Physical Society}, title = {{Experimental evidence for Wigner's tunneling time}}, doi = {10.1088/1742-6596/999/1/012004}, volume = {999}, year = {2017}, } @article{1066, abstract = {Simulation is an attractive alternative to language inclusion for automata as it is an under-approximation of language inclusion, but usually has much lower complexity. Simulation has also been extended in two orthogonal directions, namely, (1) fair simulation, for simulation over specified set of infinite runs; and (2) quantitative simulation, for simulation between weighted automata. While fair trace inclusion is PSPACE-complete, fair simulation can be computed in polynomial time. For weighted automata, the (quantitative) language inclusion problem is undecidable in general, whereas the (quantitative) simulation reduces to quantitative games, which admit pseudo-polynomial time algorithms. In this work, we study (quantitative) simulation for weighted automata with Büchi acceptance conditions, i.e., we generalize fair simulation from non-weighted automata to weighted automata. We show that imposing Büchi acceptance conditions on weighted automata changes many fundamental properties of the simulation games, yet they still admit pseudo-polynomial time algorithms.}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan and Velner, Yaron}, journal = {Information and Computation}, number = {2}, pages = {143 -- 166}, publisher = {Elsevier}, title = {{Quantitative fair simulation games}}, doi = {10.1016/j.ic.2016.10.006}, volume = {254}, year = {2017}, } @phdthesis{10663, abstract = {The superconducting state of matter enables one to observe quantum effects on the macroscopic scale and hosts many fascinating phenomena. Topological defects of the superconducting order parameter, such as vortices and fluxoid states in multiply connected structures, are often the key ingredients of these phenomena. This dissertation describes a new mode of magnetic force microscopy (Φ0-MFM) for investigating vortex and fluxoid sates in mesoscopic superconducting (SC) structures. The technique relies on the magneto-mechanical coupling of a MFM cantilever to the motion of fluxons. The novelty of the technique is that a magnetic particle attached to the cantilever is used not only to sense the state of a SC structure, but also as a primary source of the inhomogeneous magnetic field which induces that state. Φ0-MFM enables us to map the transitions between tip-induced states during a scan: at the positions of the tip, where the two lowest energy states become degenerate, small oscillations of the tip drive the transitions between these states, which causes a significant shift in the resonant frequency and dissipation of the cantilever. For narrow-wall aluminum rings, the mapped fluxoid transitions form concentric contours on a scan. We show that the changes in the cantilever resonant frequency and dissipation are well-described by a stochastic resonance (SR) of cantilever-driven thermally activated phase slips (TAPS). The SR model allows us to experimentally determine the rate of TAPS and compare it to the Langer-Ambegaokar-McCumber-Halperin (LAMH) theory for TAPS in 1D superconducting structures. Further, we use the SR model to qualitatively study the effects of a locally applied magnetic field on the phase slip rate in rings containing constrictions. The states with multiple vortices or winding numbers could be useful for the development of novel superconducting devices, or the study of vortex interactions and interference effects. Using Φ0-MFM allows us to induce, probe and control fluxoid states in thin wall structures comprised of multiple loops. We show that Φ0-MFM images of the fluxoid transitions allow us to identify the underlying states and to investigate their energetics and dynamics even in complicated structures.}, author = {Polshyn, Hryhoriy}, keywords = {physics, superconductivity, magnetic force microscopy, phase slips}, pages = {103}, publisher = {University of Illinois at Urbana-Champaign}, title = {{Magnetic force microscopy studies of mesoscopic superconducting structures}}, year = {2017}, } @article{1067, abstract = {Embryo morphogenesis relies on highly coordinated movements of different tissues. However, remarkably little is known about how tissues coordinate their movements to shape the embryo. In zebrafish embryogenesis, coordinated tissue movements first become apparent during “doming,” when the blastoderm begins to spread over the yolk sac, a process involving coordinated epithelial surface cell layer expansion and mesenchymal deep cell intercalations. Here, we find that active surface cell expansion represents the key process coordinating tissue movements during doming. By using a combination of theory and experiments, we show that epithelial surface cells not only trigger blastoderm expansion by reducing tissue surface tension, but also drive blastoderm thinning by inducing tissue contraction through radial deep cell intercalations. Thus, coordinated tissue expansion and thinning during doming relies on surface cells simultaneously controlling tissue surface tension and radial tissue contraction.}, author = {Morita, Hitoshi and Grigolon, Silvia and Bock, Martin and Krens, Gabriel and Salbreux, Guillaume and Heisenberg, Carl-Philipp J}, issn = {15345807}, journal = {Developmental Cell}, number = {4}, pages = {354 -- 366}, publisher = {Cell Press}, title = {{The physical basis of coordinated tissue spreading in zebrafish gastrulation}}, doi = {10.1016/j.devcel.2017.01.010}, volume = {40}, year = {2017}, } @article{1072, abstract = {Given a finite set of points in Rn and a radius parameter, we study the Čech, Delaunay–Čech, Delaunay (or alpha), and Wrap complexes in the light of generalized discrete Morse theory. Establishing the Čech and Delaunay complexes as sublevel sets of generalized discrete Morse functions, we prove that the four complexes are simple-homotopy equivalent by a sequence of simplicial collapses, which are explicitly described by a single discrete gradient field.}, author = {Bauer, Ulrich and Edelsbrunner, Herbert}, journal = {Transactions of the American Mathematical Society}, number = {5}, pages = {3741 -- 3762}, publisher = {American Mathematical Society}, title = {{The Morse theory of Čech and delaunay complexes}}, doi = {10.1090/tran/6991}, volume = {369}, year = {2017}, }