@article{17887, abstract = {We show convergence of the Navier-Stokes/Allen-Cahn system to a classical sharp interface model for the two-phase flow of two viscous incompressible fluids with same viscosities in a smooth bounded domain in two and three space dimensions as long as a smooth solution of the limit system exists. Moreover, we obtain error estimates with the aid of a relative entropy method. Our results hold provided that the mobility mε>0 in the Allen-Cahn equation tends to zero in a subcritical way, i.e., mε=m0εβ for some β∈(0,2) and m0>0 . The proof proceeds by showing via a relative entropy argument that the solution to the Navier-Stokes/Allen-Cahn system remains close to the solution of a perturbed version of the two-phase flow problem, augmented by an extra mean curvature flow term mεHΓt in the interface motion. In a second step, it is easy to see that the solution to the perturbed problem is close to the original two-phase flow.}, author = {Abels, Helmut and Fischer, Julian L and Moser, Maximilian}, issn = {1432-0673}, journal = {Archive for Rational Mechanics and Analysis}, number = {5}, publisher = {Springer Nature}, title = {{Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system}}, doi = {10.1007/s00205-024-02020-9}, volume = {248}, year = {2024}, } @article{17888, abstract = {Context: Biotic resource exploitation is a critical determinant of species’ distributions. However, quantifying resource exploitation patterns through space and time can be difficult, complicating their incorporation in spatial ecology studies. Therefore, understanding the local drivers of spatial patterns of resource exploitation may contribute to better large-scale species distribution models. Objectives: We investigated (1) how the resource exploitation patterns of two trophic interactions (plant–insect) are explained by insect behaviour, resource aggregation, and potential insect-insect interactions. We also analyzed how (2) resource patch size and (3) resource accessibility in a heterogeneous landscape affected host exploitation patterns. Methods: We quantified nectar robbing by insects in the genus Bombus (bumblebees) and seed predation by Brachypterolus vestitus larvae (Antirrhinum beetle) on Antirrhinum majus L. (wild snapdragons) in the Pyrenees Mountains, Catalonia, Spain. We tested hypotheses about resource exploitation by integrating spatial analyses at multiple scales. Results: Both trophic interactions were aggregated, explained by the aggregation of their resource. At some scales, nectar robbing is more aggregated than the resource. Trophic interaction abundance is proportional to resource patch size, following the ideal free distribution model. Landscape features do not explain the locations exploited. Nectar robbing and seed predation occur together more often than expected. Conclusions: Our findings suggest that multiple biotic and ecological spatial factors may simultaneously affect resource exploitation at a local scale. These findings should be considered when developing agricultural projects, management plans and conservation policies.}, author = {Pocull Belles, Guillem and Baskett, Carina and Barton, Nicholas H}, issn = {1572-9761}, journal = {Landscape Ecology}, number = {9}, publisher = {Springer Nature}, title = {{Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects}}, doi = {10.1007/s10980-024-01899-9}, volume = {39}, year = {2024}, } @article{17889, abstract = {The increasingly neutral intergalactic gas at z > 6 impacts the Lyman-α (Lyα) flux observed from galaxies. One luminous galaxy, COLA1, stands out because of its unique double-peaked Lyα line at z = 6.6, unseen in any simulation of reionization. Here, we present JWST/NIRCam wide-field slitless spectroscopy in a 21 arcmin2 field centered on COLA1. We find 141 galaxies spectroscopically selected through the [O III] doublet at 5.35 < z < 6.95, with 40 of these sources showing Hβ. For COLA1, we additionally detect [O III]4363 as well as Hγ. We measure a systemic redshift of z = 6.5917 for COLA1, confirming the classical double-peak nature of the Lyα profile. This implies that it resides in a highly ionized bubble and that it is leaking ionizing photons with a high escape fraction of fesc(LyC) = 20–50%, making it a prime laboratory to study Lyman continuum escape in the Epoch of Reionization. COLA1 shows all the signs of a prolific ionizer with a Lyα escape fraction of 81 ± 5%, Balmer decrement indicating no dust, a steep UV slope (βUV = −3.2 ± 0.4), and a star-formation surface density ≳10× that of typical galaxies at similar redshift. We detect five galaxies in COLA1’s close environment (Δz < 0.02). Exploiting the high spectroscopic completeness inherent to grism surveys, and using mock simulations that fully mimic the selection function, we show that the number of detected companions is very typical for a normal similarly UV-bright (MUV ∼ −21.3) galaxy – that is, the ionized bubble around COLA1 is unlikely to be due to an excessively large over-density. Instead, the measured ionizing properties suggest that COLA1 by itself might be powering the bubble required to explain its double-peaked Lyα profile (Rion ≈ 0.7 pMpc), with only minor contributions from detected neighbors (−19.5 ≲ MUV ≲ −17.5).}, author = {Torralba-Torregrosa, Alberto and Matthee, Jorryt J and Naidu, Rohan P. and Mackenzie, Ruari and Pezzulli, Gabriele and Hutter, Anne and Arnalte-Mur, Pablo and Gurung-López, Siddhartha and Tacchella, Sandro and Oesch, Pascal and Kashino, Daichi and Conroy, Charlie and Sobral, David}, issn = {1432-0746}, journal = {Astronomy and Astrophysics}, publisher = {EDP Sciences}, title = {{Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment}}, doi = {10.1051/0004-6361/202450318}, volume = {689}, year = {2024}, } @article{17891, abstract = {Abstract Methods used in topological data analysis naturally capture higher-order interactions in point cloud data embedded in a metric space. This methodology was recently extended to data living in an information space, by which we mean a space measured with an information theoretical distance. One such setting is a finite collection of discrete probability distributions embedded in the probability simplex measured with the relative entropy (Kullback–Leibler divergence). More generally, one can work with a Bregman divergence parameterized by a different notion of entropy. While theoretical algorithms exist for this setup, there is a paucity of implementations for exploring and comparing geometric-topological properties of various information spaces. The interest of this work is therefore twofold. First, we propose the first robust algorithms and software for geometric and topological data analysis in information space. Perhaps surprisingly, despite working with Bregman divergences, our design reuses robust libraries for the Euclidean case. Second, using the new software, we take the first steps towards understanding the geometric-topological structure of these spaces. In particular, we compare them with the more familiar spaces equipped with the Euclidean and Fisher metrics.}, author = {Edelsbrunner, Herbert and Ölsböck, Katharina and Wagner, Hubert}, issn = {1099-4300}, journal = {Entropy}, number = {8}, publisher = {MDPI}, title = {{Understanding higher-order interactions in information space}}, doi = {10.3390/e26080637}, volume = {26}, year = {2024}, } @article{17892, abstract = {Enzyme-substrate kinetics form the basis of many biomolecular processes. The interplay between substrate binding and substrate geometry can give rise to long-range interactions between enzyme binding events. Here we study a general model of enzyme-substrate kinetics with restricted long-range interactions described by an exponent −𝛾. We employ a coherent-state path integral and renormalization group approach to calculate the first moment and two-point correlation function of the enzyme-binding profile. We show that starting from an empty substrate the average occupancy follows a power law with an exponent 1/(1−𝛾) over time. The correlation function decays algebraically with two distinct spatial regimes characterized by exponents −𝛾 on short distances and −(2/3)⁢(2−𝛾) on long distances. The crossover between both regimes scales inversely with the average substrate occupancy. Our work allows associating experimental measurements of bound enzyme locations with their binding kinetics and the spatial conformation of the substrate.}, author = {Olmeda, Fabrizio and Rulands, Steffen}, issn = {2470-0053}, journal = {Physical Review E}, number = {2}, publisher = {American Physical Society}, title = {{Field theory of enzyme-substrate systems with restricted long-range interactions}}, doi = {10.1103/PhysRevE.110.024404}, volume = {110}, year = {2024}, } @inproceedings{17893, abstract = {Strong data processing inequalities (SDPI) are an important object of study in Information Theory and have been well studied for f -divergences. Universal upper and lower bounds have been provided along with several applications, connecting them to impossibility (converse) results, concentration of measure, hypercontractivity, and so on. In this paper, we study Renyi divergence and the corresponding SDPI constant whose behavior seems to deviate from that of ordinary <1>-divergences. In particular, one can find examples showing that the universal upper bound relating its SDPI constant to the one of Total Variation does not hold in general. In this work, we prove, however, that the universal lower bound involving the SDPI constant of the Chi-square divergence does indeed hold. Furthermore, we also provide a characterization of the distribution that achieves the supremum when is equal to 2 and consequently compute the SDPI constant for Renyi divergence of the general binary channel.}, author = {Jin, Lifu and Esposito, Amedeo Roberto and Gastpar, Michael}, booktitle = {Proceedings of the 2024 IEEE International Symposium on Information Theory}, isbn = {9798350382846}, issn = {2157-8095}, location = {Athens, Greece}, pages = {3178--3183}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Properties of the strong data processing constant for Rényi divergence}}, doi = {10.1109/ISIT57864.2024.10619367}, year = {2024}, } @inproceedings{17894, abstract = {Sibson's α -mutual information has received renewed attention recently in several contexts: concentration of measure under dependence, statistical learning, hypothesis testing, and estimation theory. In this work, we introduce several variational representations of Sibson's α -mutual information: 1) as a supremum over joint distributions of (a combination of) KL divergences; and 2) as a supremum over functions of opportune expected values. Leveraging them, we produce a variety of novel and known results, including a generalization of transportation-cost inequalities and Fano's inequality.}, author = {Esposito, Amedeo Roberto and Gastpar, Michael and Issa, Ibrahim}, booktitle = {Proceedings of the 2024 IEEE International Symposium on Information Theory }, isbn = {9798350382846}, issn = {2157-8095}, location = {Athens, Greece}, pages = {2110--2115}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Variational characterizations of Sibson's α-mutual information}}, doi = {10.1109/ISIT57864.2024.10619378}, year = {2024}, } @inproceedings{17895, abstract = {We propose a concatenated code construction for a class of discrete-alphabet oblivious arbitrarily varying channels (AVCs) with cost constraints. The code has time and space complexity polynomial in the blocklength n . It uses a Reed-Solomon outer code, logarithmic blocklength random inner codes, and stochastic encoding by permuting the codeword before transmission. When the channel satisfies a condition called strong DS-nonsymmetrizability (a modified version of nonsymmetrizability originally due to Dobrushin and Stambler), we show that the code achieves a rate that for a variety of oblivious AVCs (such as classically studied error/erasure channels) match the known capacities.}, author = {Dey, B. K. and Jaggi, S. and Langberg, M. and Sarwate, A. D. and Zhang, Yihan}, booktitle = {Proceedings of the 2024 IEEE International Symposium on Information Theory }, isbn = {9798350382846}, issn = {2157-8095}, location = {Athens, Greece}, pages = {1586--1591}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs}}, doi = {10.1109/ISIT57864.2024.10619362}, year = {2024}, } @article{17896, abstract = {Broadband photodetectors that can decipher the wavelength (λ) and intensity (I) of an unknown incident light are urgently demanded. Photothermoelectric (PTE) detectors can achieve ultrabroadband photodetection surpassing the bandgap limitation; however, their practical application is severely hampered by the lack of deciphering strategy. In this work, we report a variable elimination method to decipher λ and I of the incident lights based on an integrated Ag2Se film-based PTE detector. Nanostructured Ag2Se films with controlled thickness are synthesized using an ion sputtering of Ag and a room-temperature selenization method and then assembled into a detector. Under identical illumination, Ag2Se films of different thicknesses produce varying output photothermal voltages, influenced by factors including λ. By establishing a direct relationship between the photothermal voltage and the absorption of Ag2Se films of varied thickness, we successfully eliminate variables independent of λ, thus determining λ. Subsequently, I is determined by the calibrated responsivity relationship using obtained λ. Our PTE detector achieves a broadband spectrum from 400 to 950 nm and high accuracy, with deviations as low as ∼2.63 and ∼0.53% for deciphered λ and I, respectively. This method allows for self-powered broadband decipherable photodetection without a complex device architecture or computational assistance, which could boost the research enthusiasm and promote the commercialization of PTE broadband detectors.}, author = {Zhou, Jiamin and Xu, Shengduo and Shuai, Yi and Sun, Qiang and Ma, Huangshui and Wang, Chao and Wu, Haijuan and Tan, Shanshan and Wang, Zegao and Yang, Lei}, issn = {1944-8252}, journal = {ACS Applied Materials and Interfaces}, number = {36}, pages = {47923--47930}, publisher = {American Chemical Society}, title = {{Decipher the wavelength and intensity using photothermoelectric detectors}}, doi = {10.1021/acsami.4c10489}, volume = {16}, year = {2024}, } @article{17897, abstract = {High-entropy materials (HEMs) offer a quasi-continuous spectrum of active sites and have generated great expectations in fields such as electrocatalysis and energy storage. Despite their potential, the complex composition and associated surface phenomena of HEMs pose challenges to their rational design and development. In this context, we have synthesized FeCoNiPdWP high entropy phosphide (HEP) nanoparticles using a low-temperature colloidal method, and explored their application as bifunctional electrocatalysts for the oxygen evolution and reduction reactions (OER/ORR). Our analysis provides a detailed understanding of the individual roles and transformations of each element during OER/ORR operation. Notably, the HEPs exhibit an exceptionally low OER overpotential of 227 mV at 10 mA cm−2, attributed to the reconstructed HEP surface into a FeCoNiPdW high entropy oxyhydroxide with high oxidation states of Fe, Co, and Ni serving as the active sites. Additionally, Pd and W play crucial roles in modulating the electronic structure to optimize the adsorption energy of oxygen intermediates. For the ORR, Pd emerges as the most active component. In the reconstructed catalyst, the strong d–d orbital coupling of especially Pd, Co, and W fine-tunes ORR electron transfer pathways, delivering an ORR half-wave potential of 0.81 V with a pure four-electron reduction mechanism. The practicality of these HEPs catalysts is showcased through the assembly of aqueous zinc–air batteries. These batteries demonstrate a superior specific capacity of 886 mA h gZn−1 and maintain excellent stability over more than 700 hours of continuous operation. Overall, this study not only elucidates the role of each element in HEMs but also establishes a foundational framework for the design and development of next-generation bifunctional oxygen catalysts, broadening the potential applications of these complex materials in advanced energy systems.}, author = {He, Ren and Wang, Shiqi and Yang, Linlin and Horta, Sharona and Ding, Yang and Di, Chong and Zhang, Xuesong and Xu, Ying and Ibáñez, Maria and Zhou, Yingtang and Mebs, Stefan and Dau, Holger and Hausmann, Jan Niklas and Huo, Wenyi and Menezes, Prashanth W. and Cabot, Andreu}, issn = {1754-5706}, journal = {Energy and Environmental Science}, number = {19}, pages = {7193--7208}, publisher = {Royal Society of Chemistry}, title = {{Active site switching on high entropy phosphides as bifunctional oxygen electrocatalysts for rechargeable/robust Zn-air battery}}, doi = {10.1039/d4ee01912a}, volume = {17}, year = {2024}, } @inproceedings{17898, abstract = {There is an ever-growing zoo of modern neural network models that can efficiently learn end-to-end control from visual observations. These advanced deep models, ranging from convolutional to Vision Transformers, from small to gigantic networks, have been extensively tested on offline image classification tasks. In this paper, we study these vision models with respect to the open-loop training to closed-loop generalization abilities, i.e., deployment realizes a causal feedback loop that is not present during training. This causality gap typically emerges in robotics applications such as autonomous driving, where a network is trained to imitate the control commands of a human. In this setting, two situations arise: 1) Closed-loop testing in-distribution, where the test environment shares properties with those of offline training data. 2) Closed-loop testing under distribution shifts and out-of-distribution. Contrary to recently reported results, we show that under proper training guidelines, all vision architectures perform indistinguishably well on in-distribution deployment, resolving the causality gap. In situation 2, We observe that scale is the strongest factor in improving closed-loop generalization regardless of the choice of the model architecture. Our results predict the trend that in the future we will see larger and larger models being used in offline-training-online-deployment imitation learning tasks in robotic applications.}, author = {Lechner, Mathias and Hasani, Ramin and Amini, Alexander and Wang, Tsun Hsuan and Henzinger, Thomas A and Rus, Daniela}, booktitle = {Proceedings of the 2024 IEEE International Conference on Robotics and Automation}, isbn = {9798350384574}, issn = {1050-4729}, location = {Yokohama, Japan}, pages = {2774--2782}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Overparametrization helps offline-to-online generalization of closed-loop control from pixels}}, doi = {10.1109/ICRA57147.2024.10610284}, year = {2024}, } @inbook{18052, abstract = {Sodium dodecyl sulfate-digested freeze-fracture replica labeling (SDS-FRL) is an electron microscope (EM) sample preparation technique which allows for high-resolution visualization of membrane proteins with high sensitivity. However, image acquisition of specific replica profiles such as synapses in a large field of EM view needs a valid experience and a long time for manual searching. Here, we describe how to utilize deep learning for automatizing image acquisition of specific profiles of interest in replica samples. This protocol facilitates the labor-intensive collection of EM images, in particular for rare profiles. We provide instructions for using SerialEM image acquisition software in conjunction with object detection by our newly developed deep learning software DarEM, to automatically acquire tilt series of all synapses in a selected region. We then show how to perform a mostly automated analysis of gold particle labeling in the acquired images by utilizing Darea software.}, author = {Kleindienst, David and Costanzo, Tommaso and Shigemoto, Ryuichi}, booktitle = {New Aspects in Analyzing the Synaptic Organization of the Brain}, editor = {Lübke, Joachim H.R. and Rollenhagen, Astrid}, isbn = {9781071640180}, issn = {1940-6045}, pages = {123--137}, publisher = {Springer Nature}, title = {{Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning}}, doi = {10.1007/978-1-0716-4019-7_8}, year = {2024}, } @inbook{18058, abstract = {DNA cloning is a core technique in biomedical and biotechnological research and is used to assemble and modify DNA fragments at will. While DNA cloning has traditionally relied on restriction enzymes, recent homology-based methods offer improved protocols together with seamless and directional assembly of desired products, overcoming the main disadvantages of restriction enzyme DNA cloning. This chapter provides a historical perspective on DNA cloning, presents a detailed discussion on state-of-the-art in vitro and in vivo homology-based methodologies, covering the basics of how to perform all major plasmid modifications (sub-cloning, site-directed mutagenesis, insertions, and deletions), and gives examples of how to apply these techniques for complex DNA cloning projects.}, author = {Watson, Jake and Arroyo-Urea, Sandra and García-Nafría, Javier}, booktitle = {Handbook of Molecular Biotechnology}, editor = {Liu, Dongyou}, pages = {66--72}, publisher = {CRC Press}, title = {{DNA Cloning}}, doi = {10.1201/9781003055211-8}, year = {2024}, } @article{18064, abstract = { We show that the total number of non-torsion integral points on the elliptic curves ED : y 2 = x3 − D2x, where D ranges over positive squarefree integers less than N, is O(N(log N) −1/4+ǫ). The proof involves a discriminant-lowering procedure on integral binary quartic forms and an application of Heath-Brown’s method on estimating the average size of the 2-Selmer group of the curves in this family.}, author = {Chan, Yik Tung}, issn = {1090-2082}, journal = {Advances in Mathematics}, number = {11}, publisher = {Elsevier}, title = {{The average number of integral points on the congruent number curves}}, doi = {10.1016/j.aim.2024.109946}, volume = {457}, year = {2024}, } @article{18065, abstract = {We establish a close connection between acceleration and dynamical degree for one-frequency quasi-periodic compact cocycles, by showing that two vectors derived separately from each coincide. Based on this, we provide a dynamical classification of one-frequency quasi-periodic SO(3, R)-cocycles.}, author = {Hou, Xuanji and Pan, Yi and Zhou, Qi}, issn = {1090-2082}, journal = {Advances in Mathematics}, publisher = {Elsevier}, title = {{Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles}}, doi = {10.1016/j.aim.2024.109943}, volume = {457}, year = {2024}, } @inproceedings{18066, abstract = {Graph games lie at the algorithmic core of many automated design problems in computer science. These are games usually played between two players on a given graph, where the players keep moving a token along the edges according to pre-determined rules (turn-based, concurrent, etc.), and the winner is decided based on the infinite path (aka play) traversed by the token from a given initial position. In bidding games, the players initially get some monetary budgets which they need to use to bid for the privilege of moving the token at each step. Each round of bidding affects the players' available budgets, which is the only form of update that the budgets experience. We introduce bidding games with charging where the players can additionally improve their budgets during the game by collecting vertex-dependent monetary rewards, aka the "charges." Unlike traditional bidding games (where all charges are zero), bidding games with charging allow non-trivial recurrent behaviors. For example, a reachability objective may require multiple detours to vertices with high charges to earn additional budget. We show that, nonetheless, the central property of traditional bidding games generalizes to bidding games with charging: For each vertex there exists a threshold ratio, which is the necessary and sufficient fraction of the total budget for winning the game from that vertex. While the thresholds of traditional bidding games correspond to unique fixed points of linear systems of equations, in games with charging, these fixed points are no longer unique. This significantly complicates the proof of existence and the algorithmic computation of thresholds for infinite-duration objectives. We also provide the lower complexity bounds for computing thresholds for Rabin and Streett objectives, which are the first known lower bounds in any form of bidding games (with or without charging), and we solve the following repair problem for safety and reachability games that have unsatisfiable objectives: Can we distribute a given amount of charge to the players in a way such that the objective can be satisfied?}, author = {Avni, Guy and Goharshady, Ehsan Kafshdar and Henzinger, Thomas A and Mallik, Kaushik}, booktitle = {35th International Conference on Concurrency Theory}, isbn = {9783959773393}, issn = {1868-8969}, location = {Calgary, Canada}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Bidding games with charging}}, doi = {10.4230/LIPIcs.CONCUR.2024.8}, volume = {311}, year = {2024}, } @inproceedings{18067, abstract = {An automaton 𝒜 is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracted particular attention for its applications in synthesis problems. An automaton 𝒜 is guidable with respect to a class C of automata if it can fairly simulate every automaton in C, whose language is contained in that of 𝒜. In other words, guidable automata are those for which inclusion and simulation coincide, making them particularly interesting for model-checking. We study the connection between these two notions, and specifically the question of when they coincide. For classes of automata on which they do, deciding guidability, an otherwise challenging decision problem, reduces to deciding history-determinism, a problem that is starting to be well-understood for many classes. We provide a selection of sufficient criteria for a class of automata to guarantee the coincidence of the notions, and use them to show that the notions coincide for the most common automata classes, among which are ω-regular automata and many infinite-state automata with safety and reachability acceptance conditions, including vector addition systems with states, one-counter nets, pushdown-, Parikh-, and timed-automata. We also demonstrate that history-determinism and guidability do not always coincide, for example, for the classes of timed automata with a fixed number of clocks.}, author = {Boker, Udi and Henzinger, Thomas A and Lehtinen, Karoliina and Prakash, Aditya}, booktitle = {35th International Conference on Concurrency Theory}, isbn = {9783959773393}, issn = {1868-8969}, location = {Calgary, Canada}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{History-determinism vs fair simulation}}, doi = {10.4230/LIPIcs.CONCUR.2024.12}, volume = {311}, year = {2024}, } @inproceedings{18068, abstract = {We study the following refinement relation between nondeterministic state-transition models: model ℬ strategically dominates model 𝒜 iff every deterministic refinement of 𝒜 is language contained in some deterministic refinement of ℬ. While language containment is trace inclusion, and the (fair) simulation preorder coincides with tree inclusion, strategic dominance falls strictly between the two and can be characterized as "strategy inclusion" between 𝒜 and ℬ: every strategy that resolves the nondeterminism of 𝒜 is dominated by a strategy that resolves the nondeterminism of ℬ. Strategic dominance can be checked in 2-ExpTime by a decidable first-order Presburger logic with quantification over words and strategies, called resolver logic. We give several other applications of resolver logic, including checking the co-safety, co-liveness, and history-determinism of boolean and quantitative automata, and checking the inclusion between hyperproperties that are specified by nondeterministic boolean and quantitative automata.}, author = {Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E}, booktitle = {35th International Conference on Concurrency Theory}, isbn = {9783959773393}, issn = {1868-8969}, location = {Calgary, Canada}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Strategic dominance: A new preorder for nondeterministic processes}}, doi = {10.4230/LIPIcs.CONCUR.2024.29}, volume = {311}, year = {2024}, } @article{18069, abstract = {We present results from the JWST First Reionization Epoch Spectroscopically Complete Observations survey on the star-forming sequence (SFS) of galaxies at 1.0 < z < 1.7, around the peak of the cosmic star formation history. Star formation rates (SFRs) are measured from the redshifted, relatively dust-insensitive Paschen-α emission line, and stellar mass measurements include the F444W (4.4 μm; rest-frame H) band. We find SFRs of galaxies with log(M*/M⊙) > 9.5 that are lower than found in many earlier studies by up to 0.6 dex, but in good agreement with recent results obtained with the Prospector fitting framework. The difference (log(SFR(Paα)-SFR(Prospector)) is −0.09 ± 0.04 dex at 1010−11M⊙. We also measure the empirical relation between Paschen-α luminosity and rest-frame H-band magnitude and find that the scatter is only 0.04 dex lower than that of the SFR–M* relation and is much lower than the systematic differences among relations in the literature due to various methods of converting observed measurements to physical properties. We additionally identify examples of sources—that, with standard cutoffs via the UVJ diagram, would be deemed quiescent—with significant (log(sSFR)> −11 yr−1), typically extended, Paschen-α emission. Our results may be indicative of the potential unification of methods used to derive the SFS with careful selection of star-forming galaxies and independent SFR and stellar mass indicators.}, author = {Neufeld, Chloe and Van Dokkum, Pieter and Asali, Yasmeen and Covelo-Paz, Alba and Leja, Joel and Lin, Jamie and Matthee, Jorryt J and Oesch, Pascal A. and Reddy, Naveen A. and Shivaei, Irene and Whitaker, Katherine E. and Wuyts, Stijn and Brammer, Gabriel and Marchesini, Danilo and Maseda, Michael V. and Naidu, Rohan P. and Nelson, Erica J. and Velichko, Anna and Weibel, Andrea and Xiao, Mengyuan}, issn = {1538-4357}, journal = {Astrophysical Journal}, number = {2}, publisher = {IOP Publishing}, title = {{FRESCO: The Paschen-α star-forming sequence at cosmic noon}}, doi = {10.3847/1538-4357/ad6158}, volume = {972}, year = {2024}, } @inproceedings{18070, abstract = {Parallel SGD in a shared-memory setting is oft-represented by the popular Hogwild! algorithm, in which lock-free updates are asynchronously performed by multiple computing processes. Unfortunately, scaling Hogwild! to distributed workers is largely unexplored. Specifically, it is unknown if any adaptation of Hogwild! to the popular decentralized multi-GPU setting offers any competitive speedup, either empirically or theoretically. In this work, we investigate the potential of decentralizing Hogwild! by incorporating simultaneously (a) asynchronous local gradient updates on the shared memory of GPUs, and (b) non-blocking asynchronous decentralized federated averaging. A naive direct implementation shows degradation in performance, arising from scheduling overheads and concurrent write conflicts on GPUs. To mitigate these drawbacks, we investigate and propose a new method, based on careful block selection rules, which update only portions of the parameter vectors. Our experiments show that the resulting decentralized training method exhibits improved throughput and competitive accuracy for standard image classification benchmarks on the CIFAR-10, CIFAR-100, and Imagenet datasets. On the theoretical side, we prove that our method guarantees sublinear ergodic convergence rates for non-convex objectives.}, author = {Chatterjee, Bapi and Kungurtsev, Vyacheslav and Alistarh, Dan-Adrian}, booktitle = {Proceedings of the 44th International Conference on Distributed Computing Systems}, isbn = {9798350386059}, issn = {2575-8411}, location = {Jersey City, NJ, United States}, pages = {857--868}, publisher = {IEEE}, title = {{Federated SGD with local asynchrony}}, doi = {10.1109/ICDCS60910.2024.00084}, year = {2024}, }