@article{8682, abstract = {It is known that the Brauer--Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least 3 over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot-Thélène that the Brauer--Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at least 3. This proves a conjecture of Poonen and Voloch in every case except for cubic surfaces.}, author = {Browning, Timothy D and Boudec, Pierre Le and Sawin, Will}, issn = {0003-486X}, journal = {Annals of Mathematics}, number = {3}, pages = {1115--1203}, publisher = {Princeton University}, title = {{The Hasse principle for random Fano hypersurfaces}}, doi = {10.4007/annals.2023.197.3.3}, volume = {197}, year = {2023}, } @article{9034, abstract = {We determine an asymptotic formula for the number of integral points of bounded height on a blow-up of P3 outside certain planes using universal torsors.}, author = {Wilsch, Florian Alexander}, issn = {1687-0247}, journal = {International Mathematics Research Notices}, number = {8}, pages = {6780--6808}, publisher = {Oxford University Press}, title = {{Integral points of bounded height on a log Fano threefold}}, doi = {10.1093/imrn/rnac048}, volume = {2023}, year = {2023}, } @unpublished{18294, abstract = {Using a two-dimensional version of the delta method, we establish an asymptotic formula for the number of rational points of bounded height on non-singular complete intersections of cubic and quadric hypersurfaces of dimension at least 23 over Fq(t), provided cha(Fq)>3. Under the same hypotheses, we also verify weak approximation.}, author = {Glas, Jakob}, booktitle = {arXiv}, title = {{Complete intersections of cubic and quadric hypersurfaces over Fq(t)}}, doi = {10.48550/arXiv.2306.02718}, year = {2023}, } @article{13097, abstract = {Vertebrate movement is orchestrated by spinal inter- and motor neurons that, together with sensory and cognitive input, produce dynamic motor behaviors. These behaviors vary from the simple undulatory swimming of fish and larval aquatic species to the highly coordinated running, reaching and grasping of mice, humans and other mammals. This variation raises the fundamental question of how spinal circuits have changed in register with motor behavior. In simple, undulatory fish, exemplified by the lamprey, two broad classes of interneurons shape motor neuron output: ipsilateral-projecting excitatory neurons, and commissural-projecting inhibitory neurons. An additional class of ipsilateral inhibitory neurons is required to generate escape swim behavior in larval zebrafish and tadpoles. In limbed vertebrates, a more complex spinal neuron composition is observed. In this review, we provide evidence that movement elaboration correlates with an increase and specialization of these three basic interneuron types into molecularly, anatomically, and functionally distinct subpopulations. We summarize recent work linking neuron types to movement-pattern generation across fish, amphibians, reptiles, birds and mammals.}, author = {Wilson, Alexia C and Sweeney, Lora Beatrice Jaeger}, issn = {1662-5110}, journal = {Frontiers in Neural Circuits}, publisher = {Frontiers}, title = {{Spinal cords: Symphonies of interneurons across species}}, doi = {10.3389/fncir.2023.1146449}, volume = {17}, year = {2023}, } @inproceedings{13120, abstract = {We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant. We defined basic notions of rewrite rules and of words derived by a grammar, and used grammars to show closure of the class of type-0 languages under four operations: union, reversal, concatenation, and the Kleene star. The literature mostly focuses on Turing machine arguments, which are possibly more difficult to formalize. For the Kleene star, we could not follow the literature and came up with our own grammar-based construction.}, author = {Dvorak, Martin and Blanchette, Jasmin}, booktitle = {14th International Conference on Interactive Theorem Proving}, isbn = {9783959772846}, issn = {1868-8969}, location = {Bialystok, Poland}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Closure properties of general grammars - formally verified}}, doi = {10.4230/LIPIcs.ITP.2023.15}, volume = {268}, year = {2023}, } @article{13049, abstract = {We propose a computational design approach for covering a surface with individually addressable RGB LEDs, effectively forming a low-resolution surface screen. To achieve a low-cost and scalable approach, we propose creating designs from flat PCB panels bent in-place along the surface of a 3D printed core. Working with standard rigid PCBs enables the use of established PCB manufacturing services, allowing the fabrication of designs with several hundred LEDs. Our approach optimizes the PCB geometry for folding, and then jointly optimizes the LED packing, circuit and routing, solving a challenging layout problem under strict manufacturing requirements. Unlike paper, PCBs cannot bend beyond a certain point without breaking. Therefore, we introduce parametric cut patterns acting as hinges, designed to allow bending while remaining compact. To tackle the joint optimization of placement, circuit and routing, we propose a specialized algorithm that splits the global problem into one sub-problem per triangle, which is then individually solved. Our technique generates PCB blueprints in a completely automated way. After being fabricated by a PCB manufacturing service, the boards are bent and glued by the user onto the 3D printed support. We demonstrate our technique on a range of physical models and virtual examples, creating intricate surface light patterns from hundreds of LEDs.}, author = {Freire, Marco and Bhargava, Manas and Schreck, Camille and Hugron, Pierre-Alexandre and Bickel, Bernd and Lefebvre, Sylvain}, issn = {1557-7368}, journal = {Transactions on Graphics}, keywords = {PCB design and layout, Mesh geometry models}, location = {Los Angeles, CA, United States}, number = {4}, publisher = {Association for Computing Machinery}, title = {{PCBend: Light up your 3D shapes with foldable circuit boards}}, doi = {10.1145/3592411}, volume = {42}, year = {2023}, } @article{13317, abstract = {We prove the Eigenstate Thermalisation Hypothesis (ETH) for local observables in a typical translation invariant system of quantum spins with L-body interactions, where L is the number of spins. This mathematically verifies the observation first made by Santos and Rigol (Phys Rev E 82(3):031130, 2010, https://doi.org/10.1103/PhysRevE.82.031130) that the ETH may hold for systems with additional translational symmetries for a naturally restricted class of observables. We also present numerical support for the same phenomenon for Hamiltonians with local interaction.}, author = {Sugimoto, Shoki and Henheik, Sven Joscha and Riabov, Volodymyr and Erdös, László}, issn = {1572-9613}, journal = {Journal of Statistical Physics}, number = {7}, publisher = {Springer Nature}, title = {{Eigenstate thermalisation hypothesis for translation invariant spin systems}}, doi = {10.1007/s10955-023-03132-4}, volume = {190}, year = {2023}, } @article{14343, abstract = {The total energy of an eigenstate in a composite quantum system tends to be distributed equally among its constituents. We identify the quantum fluctuation around this equipartition principle in the simplest disordered quantum system consisting of linear combinations of Wigner matrices. As our main ingredient, we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary deformation.}, author = {Cipolloni, Giorgio and Erdös, László and Henheik, Sven Joscha and Kolupaiev, Oleksii}, issn = {2050-5094}, journal = {Forum of Mathematics, Sigma}, publisher = {Cambridge University Press}, title = {{Gaussian fluctuations in the equipartition principle for Wigner matrices}}, doi = {10.1017/fms.2023.70}, volume = {11}, year = {2023}, } @article{14421, abstract = {Only recently has it been possible to construct a self-adjoint Hamiltonian that involves the creation of Dirac particles at a point source in 3d space. Its definition makes use of an interior-boundary condition. Here, we develop for this Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously) construct a Markov jump process $(Q_t)_{t\in\mathbb{R}}$ in the configuration space of a variable number of particles that is $|\psi_t|^2$-distributed at every time t and follows Bohmian trajectories between the jumps. The jumps correspond to particle creation or annihilation events and occur either to or from a configuration with a particle located at the source. The process is the natural analog of Bell's jump process, and a central piece in its construction is the determination of the rate of particle creation. The construction requires an analysis of the asymptotic behavior of the Bohmian trajectories near the source. We find that the particle reaches the source with radial speed 0, but orbits around the source infinitely many times in finite time before absorption (or after emission).}, author = {Henheik, Sven Joscha and Tumulka, Roderich}, issn = {1751-8121}, journal = {Journal of Physics A: Mathematical and Theoretical}, number = {44}, publisher = {IOP Publishing}, title = {{Creation rate of Dirac particles at a point source}}, doi = {10.1088/1751-8121/acfe62}, volume = {56}, year = {2023}, } @inproceedings{17378, abstract = {Generative Pre-trained Transformer models, known as GPT or OPT, set themselves apart through breakthrough performance across complex language modelling tasks, but also by their extremely high computational and storage costs. Specifically, due to their massive size, even inference for large, highly-accurate GPT models may require multiple performant GPUs, which limits the usability of such models. While there is emerging work on relieving this pressure via model compression, the applicability and performance of existing compression techniques is limited by the scale and complexity of GPT models. In this paper, we address this challenge, and propose OPTQ, a new one-shot weight quantization method based on approximate second-order information, that is both highly-accurate and highly-efficient. Specifically, OPTQ can quantize GPT models with 175 billion parameters in approximately four GPU hours, reducing the bitwidth down to 3 or 4 bits per weight, with negligible accuracy degradation relative to the uncompressed baseline. Our method more than doubles the compression gains relative to previously-proposed one-shot quantization methods, preserving accuracy, allowing us for the first time to execute an 175 billion-parameter model inside a single GPU for generative inference. Moreover, we also show that our method can still provide reasonable accuracy in the extreme quantization regime, in which weights are quantized to 2-bit or even ternary quantization levels. We show experimentally that these improvements can be leveraged for end-to-end inference speedups over FP16, of around 3.25x when using high-end GPUs (NVIDIA A100) and 4.5x when using more cost-effective ones (NVIDIA A6000). The implementation is available at https://github.com/IST-DASLab/gptq.}, author = {Frantar, Elias and Ashkboos, Saleh and Hoefler, Torsten and Alistarh, Dan-Adrian}, booktitle = {11th International Conference on Learning Representations }, location = {Kigali, Rwanda}, publisher = {International Conference on Learning Representations}, title = {{OPTQ: Accurate post-training quantization for generative pre-trained transformers}}, year = {2023}, } @inproceedings{14458, abstract = {We show for the first time that large-scale generative pretrained transformer (GPT) family models can be pruned to at least 50% sparsity in one-shot, without any retraining, at minimal loss of accuracy. This is achieved via a new pruning method called SparseGPT, specifically designed to work efficiently and accurately on massive GPT-family models. We can execute SparseGPT on the largest available open-source models, OPT-175B and BLOOM-176B, in under 4.5 hours, and can reach 60% unstructured sparsity with negligible increase in perplexity: remarkably, more than 100 billion weights from these models can be ignored at inference time. SparseGPT generalizes to semi-structured (2:4 and 4:8) patterns, and is compatible with weight quantization approaches. The code is available at: https://github.com/IST-DASLab/sparsegpt.}, author = {Frantar, Elias and Alistarh, Dan-Adrian}, booktitle = {Proceedings of the 40th International Conference on Machine Learning}, issn = {2640-3498}, location = {Honolulu, Hawaii, HI, United States}, pages = {10323--10337}, publisher = {ML Research Press}, title = {{SparseGPT: Massive language models can be accurately pruned in one-shot}}, volume = {202}, year = {2023}, } @article{22487, abstract = {As an important part of global semi-arid grassland, adequately understanding how eco-hydrological processes in the Temperate Semi-Arid Grassland of China (TSGC) respond to environmental change over a century-long time scale is of critical importance to environmental change adaptation and mitigation policy in the semi-arid region. We investigated the dynamics and driving forces of key eco-hydrological variables (leaf area index (LAI), gross primary production (GPP), evapotranspiration (ET), water yield (WY), and water use efficiency (WUE)) of 8 typical locations within the TSGC during the period 1901–2016, using a well-tested mechanistic eco-hydrological model, seamlessly integrating land-surface energy balance, hydrological and carbon cycle, vegetation dynamics, and soil biogeochemistry. Results show that dominated by the elevated CO2, the annual LAI, GPP, and WUE increased significantly during 1901–2016, indicating that the environmental conditions were conducive to vegetation growth. Warming conditions were a promoter of vegetation growth in sandy grassland but a suppressant in typical steppe due to water stress increase. For the same reason, ET of sandy grassland exhibited a significant increasing trend, in response to warming, while that of typical steppe had an insignificant decreasing trend, controlled by the precipitation decline. Warming and the vegetation growth acceleration due to the elevated CO2 negatively influenced WY, which showed a decreasing trend, especially in the sandy grassland, suggesting the reduction of available water resources. Overall, our results revealed that this region, especially sandy grassland, exhibited an “enhanced vegetation but decreased water yield” trend under environmental changes occurred in the past century.}, author = {Pang, Xinxin and Fatichi, Simone and Lei, Huimin and Cong, Zhentao and Yang, Hanbo and Duan, Limin}, issn = {1879-2707}, journal = {Journal of Hydrology}, publisher = {Elsevier}, title = {{Environmental changes promoted vegetation growth and reduced water yield over the temperate semi-arid grassland of China during 1901–2016}}, doi = {10.1016/j.jhydrol.2023.129235}, volume = {618}, year = {2023}, } @article{22434, abstract = {Evapotranspiration (ET) — the distribution and partitioning of which is strongly mediated by vegetation — is central to the water, energy and carbon cycles. In this Review, we examine the spatiotemporal patterns of ET changes and their linkages with vegetation. A multi-decadal and accelerating rise in global ET is apparent since the 1980s. Diagnostic data sets indicate increases of 0.66 ± 0.38 mm year−2 (mean ± one standard deviation) over 1982–2011 and 1.19 ± 0.31 mm year−2 over 2001–2020. These changes are largely related to vegetation greening (increasing leaf area index (LAI)), hence large ET increases occur in northern high latitudes where greening predominates; increased precipitation and enhanced atmospheric evaporative demand have secondary roles. The impacts of specific drivers of vegetation change on ET, such as CO2 fertilization, land use change and nitrogen deposition, are uncertain and difficult to quantify at the global scale but have strong impacts at local and/or regional scales. Owing to projected increases in LAI, global ET is expected to continue rising with future anthropogenic warming, although ET sensitivity to greening is lower than in the present climate. Enhanced model validation with respect to long-term trends and ET partitioning, improved mechanistic understanding of key processes and greater data-model fusion techniques are essential for improved understanding of ET characteristics.}, author = {Yang, Yuting and Roderick, Michael L. and Guo, Hui and Miralles, Diego G. and Zhang, Lu and Fatichi, Simone and Luo, Xiangzhong and Zhang, Yongqiang and McVicar, Tim R. and Tu, Zhuoyi and Keenan, Trevor F. and Fisher, Joshua B. and Gan, Rong and Zhang, Xuanze and Piao, Shilong and Zhang, Baoqing and Yang, Dawen}, issn = {2662-138X}, journal = {Nature Reviews Earth & Environment}, number = {9}, pages = {626--641}, publisher = {Springer Nature}, title = {{Evapotranspiration on a greening Earth}}, doi = {10.1038/s43017-023-00464-3}, volume = {4}, year = {2023}, } @inbook{22477, abstract = {Partitioned estimates of the boreal forest carbon (C) sink components are crucial for understanding processes and developing science-driven adaptation and mitigation strategies under climate change. Here, we provide a concise tree-centered overview of the boreal forest C balance and offer a circumpolar perspective on the contribution of trees to boreal forest C dynamics. We combine an ant’s-eye view, based on quantitative in situ observations of C balance, with a bird’s-eye perspective on C dynamics across the circumboreal region using large-scale data sets. We conclude with an outlook addressing the trajectories of the circumboreal C dynamics in response to projected environmental changes.}, author = {Pappas, Christoforos and Babst, Flurin and Fatichi, Simone and Klesse, Stefan and Paschalis, Athanasios and Peters, Richard L.}, booktitle = {Boreal Forests in the Face of Climate Change}, isbn = {9783031159879}, issn = {2215-1621}, pages = {271--294}, publisher = {Springer Nature}, title = {{A Circumpolar Perspective on the Contribution of Trees to the Boreal Forest Carbon Balance}}, doi = {10.1007/978-3-031-15988-6_10}, volume = {74}, year = {2023}, } @article{22573, abstract = {As the climate warms, increasing heat-related health risks are expected, and can be exacerbated by the urban heat island (UHI) effect. UHIs can also offer protection against cold weather, but a clear quantification of their impacts on human health across diverse cities and seasons is still being explored. Here we provide a 500 m resolution assessment of mortality risks associated with UHIs for 85 European cities in 2015-2017. Acute impacts are found during heat extremes, with a 45% median increase in mortality risk associated with UHI, compared to a 7% decrease during cold extremes. However, protracted cold seasons result in greater integrated protective effects. On average, UHI-induced heat-/cold-related mortality is associated with economic impacts of €192/€ − 314 per adult urban inhabitant per year in Europe, comparable to air pollution and transit costs. These findings urge strategies aimed at designing healthier cities to consider the seasonality of UHI impacts, and to account for social costs, their controlling factors, and intra-urban variability.}, author = {Huang, Wan Ting Katty and Masselot, Pierre and Bou-Zeid, Elie and Fatichi, Simone and Paschalis, Athanasios and Sun, Ting and Gasparrini, Antonio and Manoli, Gabriele}, issn = {2041-1723}, journal = {Nature Communications}, number = {1}, publisher = {Springer Nature}, title = {{Economic valuation of temperature-related mortality attributed to urban heat islands in European cities}}, doi = {10.1038/s41467-023-43135-z}, volume = {14}, year = {2023}, } @article{22517, abstract = {The capacity of vegetation to mitigate excessive urban heat has been well documented. However, the cooling potential provided by urban vegetation during heatwaves is less known even though heatwaves have been projected to be more severe with climate change. Across 24 global metropolises, we combine 30 m resolution satellite observations with a theoretical leaf energy balance model to quantify the change of the leaf-to-air temperature difference and stomatal conductance during heatwaves from 2000 to 2020. We found the responses of urban vegetation to heatwaves differ significantly across cities and they are mediated by climate forcing and human management. During heatwaves, vegetation in Mediterranean and midlatitude-humid cities shows a significant decrease in cooling potential in most cases due to large stomatal closures, while vegetation in arid cities shows a cooling enhancement with an unmodified stomatal opening likely in response to intense irrigation. In comparison, the cooling potential of vegetation in high-latitude humid cities does not show significant changes. These responses have implications for future urban vegetation management strategies and urban planning.}, author = {Zhao, Jiacheng and Meili, Naika and Zhao, Xiang and Fatichi, Simone}, issn = {1748-9326}, journal = {Environmental Research Letters}, keywords = {Urban vegetation, Heatwave, Cooling potential, Stomatal behavior}, number = {1}, publisher = {IOP Publishing}, title = {{Urban vegetation cooling potential during heatwaves depends on background climate}}, doi = {10.1088/1748-9326/acaf0f}, volume = {18}, year = {2023}, } @article{12702, abstract = {Hydrocarbon mixtures are extremely abundant in the Universe, and diamond formation from them can play a crucial role in shaping the interior structure and evolution of planets. With first-principles accuracy, we first estimate the melting line of diamond, and then reveal the nature of chemical bonding in hydrocarbons at extreme conditions. We finally establish the pressure-temperature phase boundary where it is thermodynamically possible for diamond to form from hydrocarbon mixtures with different atomic fractions of carbon. Notably, here we show a depletion zone at pressures above 200 GPa and temperatures below 3000 K-3500 K where diamond formation is thermodynamically favorable regardless of the carbon atomic fraction, due to a phase separation mechanism. The cooler condition of the interior of Neptune compared to Uranus means that the former is much more likely to contain the depletion zone. Our findings can help explain the dichotomy of the two ice giants manifested by the low luminosity of Uranus, and lead to a better understanding of (exo-)planetary formation and evolution.}, author = {Cheng, Bingqing and Hamel, Sebastien and Bethkenhagen, Mandy}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Thermodynamics of diamond formation from hydrocarbon mixtures in planets}}, doi = {10.1038/s41467-023-36841-1}, volume = {14}, year = {2023}, } @article{12912, abstract = {The chemical potential of adsorbed or confined fluids provides insight into their unique thermodynamic properties and determines adsorption isotherms. However, it is often difficult to compute this quantity from atomistic simulations using existing statistical mechanical methods. We introduce a computational framework that utilizes static structure factors, thermodynamic integration, and free energy perturbation for calculating the absolute chemical potential of fluids. For demonstration, we apply the method to compute the adsorption isotherms of carbon dioxide in a metal-organic framework and water in carbon nanotubes.}, author = {Schmid, Rochus and Cheng, Bingqing}, issn = {1089-7690}, journal = {The Journal of Chemical Physics}, number = {16}, publisher = {AIP Publishing}, title = {{Computing chemical potentials of adsorbed or confined fluids}}, doi = {10.1063/5.0146711}, volume = {158}, year = {2023}, } @article{12879, abstract = {Machine learning (ML) has been widely applied to chemical property prediction, most prominently for the energies and forces in molecules and materials. The strong interest in predicting energies in particular has led to a ‘local energy’-based paradigm for modern atomistic ML models, which ensures size-extensivity and a linear scaling of computational cost with system size. However, many electronic properties (such as excitation energies or ionization energies) do not necessarily scale linearly with system size and may even be spatially localized. Using size-extensive models in these cases can lead to large errors. In this work, we explore different strategies for learning intensive and localized properties, using HOMO energies in organic molecules as a representative test case. In particular, we analyze the pooling functions that atomistic neural networks use to predict molecular properties, and suggest an orbital weighted average (OWA) approach that enables the accurate prediction of orbital energies and locations.}, author = {Chen, Ke and Kunkel, Christian and Cheng, Bingqing and Reuter, Karsten and Margraf, Johannes T.}, issn = {2041-6539}, journal = {Chemical Science}, publisher = {Royal Society of Chemistry}, title = {{Physics-inspired machine learning of localized intensive properties}}, doi = {10.1039/d3sc00841j}, year = {2023}, } @article{14425, abstract = {Water adsorption and dissociation processes on pristine low-index TiO2 interfaces are important but poorly understood outside the well-studied anatase (101) and rutile (110). To understand these, we construct three sets of machine learning potentials that are simultaneously applicable to various TiO2 surfaces, based on three density-functional-theory approximations. Here we show the water dissociation free energies on seven pristine TiO2 surfaces, and predict that anatase (100), anatase (110), rutile (001), and rutile (011) favor water dissociation, anatase (101) and rutile (100) have mostly molecular adsorption, while the simulations of rutile (110) sensitively depend on the slab thickness and molecular adsorption is preferred with thick slabs. Moreover, using an automated algorithm, we reveal that these surfaces follow different types of atomistic mechanisms for proton transfer and water dissociation: one-step, two-step, or both. These mechanisms can be rationalized based on the arrangements of water molecules on the different surfaces. Our finding thus demonstrates that the different pristine TiO2 surfaces react with water in distinct ways, and cannot be represented using just the low-energy anatase (101) and rutile (110) surfaces.}, author = {Zeng, Zezhu and Wodaczek, Felix and Liu, Keyang and Stein, Frederick and Hutter, Jürg and Chen, Ji and Cheng, Bingqing}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations}}, doi = {10.1038/s41467-023-41865-8}, volume = {14}, year = {2023}, }