@article{21982,
  abstract     = {A floating Leidenfrost droplet exhibits curvature inversion of its underside, due to the balance of vapor pressure and surface tension. Using interferometric imaging, we find different behavior for a levitated hydrogel sphere. Curvature inversion is observed briefly just after deposition, but quickly gives way to a steady state with no inversion. We show the essential role of vaporization in shaping the underbelly of the hydrogel, where changes due to direct mass loss are more significant than the balance of vapor pressure and elastic forces.},
  author       = {Diaz Melian, Vicente L and Lenton, Isaac C and Binysh, Jack and Souslov, Anton and Waitukaitis, Scott R},
  issn         = {2470-0053},
  journal      = {Physical Review E},
  number       = {5},
  publisher    = {American Physical Society},
  title        = {{Geometry of the vapor layer under a Leidenfrost hydrogel sphere}},
  doi          = {10.1103/m7gr-2t6j},
  volume       = {113},
  year         = {2026},
}

@article{21983,
  abstract     = {Promoters and enhancers are cis-regulatory elements (CREs), DNA sequences that bind transcription factor (TF) proteins to up- or down-regulate target genes. Decades-long efforts yielded TF-DNA interaction models that predict how strongly an individual TF binds arbitrary DNA sequences and how individual binding events on the CRE combine to affect gene expression. These insights can be synthesized into a global, biophysically realistic, and quantitative genotype–phenotype map for gene regulation, a ‘holy grail’ for the application of evolutionary theory. A global map provides a rare opportunity to simulate the long-term evolution of regulatory sequences and pose several fundamental questions: How long does it take to evolve CREs de novo? How many non-trivial regulatory functions exist in sequence space? How connected are they? For which regulatory architecture is CRE evolution most rapid and evolvable? In this article, the first of a two-part series, we briefly review the pertinent modeling and simulation efforts for a unique system that enables close, quantitative, and mechanistic links between biophysics, as well as systems, synthetic, and evolutionary biology.},
  author       = {Mascolo, Elia and Körei, Reka E and Herrera-Álvarez, Santiago and Guet, Calin C and Crocker, Justin and Tkačik, Gašper},
  issn         = {1879-0380},
  journal      = {Current Opinion in Genetics & Development},
  publisher    = {Elsevier},
  title        = {{Long-term evolution of regulatory DNA sequences. Part 1: Simulations on global, biophysically-realistic genotype–phenotype maps}},
  doi          = {10.1016/j.gde.2026.102483},
  volume       = {99},
  year         = {2026},
}

@article{21985,
  abstract     = {Upon infecting a bacterial cell, temperate phages make a decision between lysis and lysogeny. While research has previously explored how phages sense environmental information to make this choice, most studies have focused on modelling known mechanisms that impact the decision. These mechanisms tell us what environmental information the phage does respond to, but not what it should respond to, as the signals sensed by the phage may serve as proxies for other sources of information. Here, using a mechanism-agnostic population dynamics model, we find that irreversible phage binding to lysogens protects sensitive host cells from infection. This results in lysogens being an additional environmental factor that the phage should sense while making its decision to undergo lysis or lysogeny. Using this model, we derive a responsive lysogeny probability for phages that respond to both cell and lysogen densities optimized towards invading phage-occupied systems, and show that it is more capable of invading and resisting invasion than phage with fixed lysogeny probabilities across different environmental conditions.},
  author       = {Wu, Bryan and Guet, Calin C},
  issn         = {1558-5646},
  journal      = {Evolution},
  number       = {6},
  pages        = {1365--1373},
  publisher    = {Oxford University Press},
  title        = {{Responsive lysogeny under nonproductive phage binding}},
  doi          = {10.1093/evolut/qpag061},
  volume       = {80},
  year         = {2026},
}

@article{21986,
  abstract     = {Over the past two decades, molecular electronics has made significant progress toward discovering nanoscale analogues of conventional electronic components, largely enabled by the development of the scanning tunneling microscope-based break-junction (STM-BJ) technique. The STM-BJ technique enables precise and highly reproducible measurement of a molecule’s electronic transport properties, making it a powerful technique to explore physiochemical and electrochemical phenomena that are otherwise difficult to access. It has gained substantial popularity in the past 20 years, with experiments becoming increasingly diverse and sophisticated. Despite the wealth of literature, an accessible, practical guide to performing STM-BJ experiments and interpreting the data is largely absent. This tutorial includes a brief background into the development of STM-BJ measurements, followed by detailed explanations of instrumentation, data collection, statistical analysis, variations on standard experiments, and some troubleshooting methods. It is aimed at researchers looking to begin or improve STM-BJ studies in their laboratories, graduate students and postdoctoral researchers learning the technique, and readers seeking to critically evaluate the growing body of STM-BJ literature.},
  author       = {York, Emma and Venkataraman, Latha},
  issn         = {2694-2445},
  journal      = {ACS Physical Chemistry Au},
  number       = {3},
  pages        = {408--424},
  publisher    = {American Chemical Society},
  title        = {{Scanning tunneling microscope-based break-junction technique - A tutorial}},
  doi          = {10.1021/acsphyschemau.6c00026},
  volume       = {6},
  year         = {2026},
}

@article{21987,
  abstract     = {We introduce JODIE, a genetic joint modeling approach that estimates how DNA loci influence human traits by partitioning genetic effects into four components: direct effects (from a child’s alleles), indirect maternal and paternal effects (from parents’ alleles), and parent-of-origin (PofO) effects (dependent on parental transmission of alleles), while uniquely accounting for assortative mating. We analyze 30,000 child-mother-father trios from the Estonian Biobank and the Norwegian Mother, Father, and Child Cohort, focusing on height, body mass index, and childhood educational test scores. We find direct effects to be the largest contributor to trait variation, but combined, indirect parental and PofO effects are similarly substantial. We support our results by within-family genome-wide association testing and identify 276 independently associated DNA regions with a complex interplay between direct, indirect, and PofO effects. By joint modeling, we show that direct, indirect, and PofO effects collectively shape human phenotypic variation across loci genome-wide.},
  author       = {Krätschmer, Ilse and Hegemann, Laura and Hofmeister, Robin J. and Corfield, Elizabeth C. and Mahmoudi, Mahdi and Delaneau, Olivier and Andreassen, Ole A. and Campbell, Archie and Hayward, Caroline and Marioni, Riccardo E. and Ystrom, Eivind and Havdahl, Alexandra and Robinson, Matthew Richard},
  issn         = {2666-979X},
  journal      = {Cell Genomics},
  publisher    = {Elsevier},
  title        = {{Separating direct, indirect, and parent-of-origin genetic effects in the human population}},
  doi          = {10.1016/j.xgen.2026.101277},
  year         = {2026},
}

@unpublished{21994,
  abstract     = {Adaptive plant development is orchestrated, among others, by directional, intercellular transport of the phytohormone auxin. Self-organizing development, such as flexible vasculature formation, depends on so-called auxin canalization, manifested by the gradual formation of auxin transport channels through feedback between auxin signalling and transport. Herein, we identify MAKR6 as an important, novel component in this feedback. MAKR6 expression accumulates strongly in vascular cells and is tightly regulated by auxin via the Aux/IAA-ARF-WRKY23 transcriptional network. MAKR6 is required for auxin canalization-dependent processes, including leaf venation, vasculature regeneration, and de novo auxin channel formation from local auxin sources. Mechanistically, MAKR6 interacts with the PIN1 auxin transporter, modulating its trafficking and polarization. MAKR6 also associates with and integrates two key receptor-like kinase complexes involved in canalization, TMK1/4 and the CAMEL-CANAR. Together, our study establishes MAKR6 as a multifaceted regulator that couples transcriptional auxin signalling to PIN1 repolarization and coordinates multiple RLK-mediated signalling pathways during canalization. This provides mechanistic insights into auxin canalization and exemplifies a framework for exploring similar regulatory nodes in other developmental contexts.},
  author       = {Ge, Zengxiang and Koczka, Lilla and Mazur, Ewa and Molnar, Gergely and Vladimirtsev, Dmitrii and Kassem, Nada and Ait Ikene, Sara and Fiedler, Lukas and Friml, Jiří},
  booktitle    = {bioRxiv},
  title        = {{MAKR6 integrates TMK and CAMEL/CANAR signalling for auxin canalization in Arabidopsis}},
  doi          = {10.1101/2025.10.07.680881},
  year         = {2026},
}

@article{21995,
  abstract     = {On 26–28 September 2024, torrential rainfall struck Nepal during the late monsoon season, causing flooding, landslides and extensive damage. This study examined the multiscale processes contributing to this extreme precipitation event, focusing on intraseasonal oscillations, synoptic-scale circulations, and mesoscale cloud/precipitation systems. A quasi-biweekly intraseasonal oscillation dominated over South Asia during the event, featuring a monsoon low-pressure system over the Indian Peninsula and an anticyclone to its east, both propagating westward. The pressure gradient between them sustained strong southerly moisture transport toward the Himalayas, establishing a persistently humid environment and orographic lift along the southern slopes. In contrast to reports of previous extreme precipitation events in Nepal, the atmospheric circulation responsible for the 2024 event was primarily of tropical origin, with minimal influence from the midlatitudes. Characteristic mesoscale cloud/precipitation systems also developed around the Himalayas. The highest daily precipitation during the event was recorded on 27 September; stratiform systems with relatively modest storm top heights developed over the southern slopes, generating surface precipitation rates of > 100 mm h− 1 through warm-rain processes. Rain gauges across the glacierized basin (3500–5000 m asl) recorded exceptionally high daily and hourly precipitation rates, highlighting the extension of intense rainfall to unusually high elevations.},
  author       = {Fujinami, Hatsuki and Takahashi, Nobuhiro and Kanamori, Hironari and Sato, Yota and Sunako, Sojiro and Kato, Masaya and Higuchi, Atsushi and Kadel, Indira and Shrestha, Dibas and Kayastha, Rijan B. and Fujita, Koji},
  issn         = {1349-6476},
  journal      = {Scientific Online Letters on the Atmosphere},
  publisher    = {Springer Nature},
  title        = {{Multiscale aspects of an extreme precipitation event over Nepal in September 2024}},
  doi          = {10.1007/s44393-026-00024-0},
  volume       = {22},
  year         = {2026},
}

@article{21996,
  abstract     = {In this issue of Cell Host & Microbe, Osterman et al. discover aRES,1 a new family of bacterial immune proteins that deplete cellular NAD+, generating cleavage products that cannot be utilized by canonical phage NAD+ regeneration pathways. They identify the invader-specific trigger for aRES and characterize two distinct evolutionary countermeasures employed by phages to resist aRES.},
  author       = {Williams-Jones, Daniel and Bravo, Jack Peter Kelly},
  issn         = {1934-6069},
  journal      = {Cell Host & Microbe},
  number       = {6},
  pages        = {978--980},
  publisher    = {Elsevier},
  title        = {{NAD to the bone: How bacteria put phages under aRES-t … and how phages fight back}},
  doi          = {10.1016/j.chom.2026.05.013},
  volume       = {34},
  year         = {2026},
}

@article{21997,
  abstract     = {The massive binary common envelope (CE) phase plays a pivotal role in the formation of close black hole (BH)/neutron star binaries, yet significant uncertainties remain in our understanding of this process. In this study, we aim to constrain the massive binary CE phase by systematically reconstructing three observed BH X-ray binaries (BHXBs): GRO J1655-40, SAX J1819.3-2525, and 4U 1543-47. Through comprehensive binary evolution simulations and parametric supernova modeling, we establish lower limits for the CE efficiency parameters under different energy considerations within the standard energy formalism. Specifically, we derive minimum values for three cases: α0.5U and αU, representing CE efficiencies with half and all of the internal energy contributing to the envelope ejection, respectively, and αH, accounting for the envelope’s enthalpy. Our analysis reveals that the self-consistent formation of these three BHXBs requires CE efficiency parameters satisfying α0.5U ≳ 6.7, αU ≳ 4.2, and αH ≳ 1.7. Notably, we find no viable solutions with CE efficiency values below unity, even when considering the most extreme scenarios, in which the envelope binding energy is significantly reduced through enthalpy inclusion. Our results strongly imply that either additional energy sources are required or the formalism itself must be revised. Furthermore, we quantitatively assess the impact of BH natal kicks on our results. A key finding is that 4U 1543-47’s formation requires substantial natal kicks (≳50 km s−1), as lower kick velocities are incompatible with isolated binary evolution.},
  author       = {Li, Zhenwei and Wei, Dandan and Jia, Shi and Chen, Hailiang and Ge, Hongwei and Chen, Zhuo and Zhang, Yangyang and Chen, Xuefei and Han, Zhanwen},
  issn         = {1538-4357},
  journal      = {The Astrophysical Journal},
  number       = {1},
  publisher    = {IOP Publishing},
  title        = {{A path to constraints on common envelope ejection in massive binaries: Full evolutionary reconstruction of three Black Hole X-ray binaries}},
  doi          = {10.3847/1538-4357/ae66fd},
  volume       = {1004},
  year         = {2026},
}

@article{21998,
  abstract     = {Little Red Dots (LRDs), among the most enigmatic high-redshift discoveries by JWST, are commonly believed to be powered by accreting supermassive black holes. Here, we explore the possibility that these sources are globular clusters in formation, with rest-frame UV arising from a very young stellar population and rest-frame optical from a short-lived supermassive (>104 M⊙) star. The spectral profiles of LRDs are broadly consistent with this scenario, though the observed temperatures and bolometric luminosities favor emission reprocessed by optically thick continuum-driven winds not fully captured by current models. The LRD z ∼ 5−7 UV luminosity function naturally evolves, under standard evolutionary and mass-loss prescriptions, into a present-day mass function with a turnover at log10(M*/M⊙) = 5.3 and an exponential cutoff at high masses, consistent with local globular cluster populations. We estimate the total present-day number density of LRDs formed across all redshifts to be ≈0.3 Mpc−3, similar within uncertainties to local globular clusters. The observed LRD redshift range matches the age distribution of metal-poor globular clusters, without current LRD counterparts to the metal-rich population. If LRDs are globular clusters in formation, we predict chemical abundance patterns characteristic of multiple stellar populations, including enhanced He and N, and potential Na–O and Al–Mg anticorrelations. These results offer a local perspective to explore this surprisingly abundant population of distant sources, and a potential new window into extreme stellar astrophysics in the early Universe.},
  author       = {Chisholm, John and Berg, Danielle A. and Boylan-Kolchin, Michael and De Graaff, Anna and Furtak, Lukas J. and Kokorev, Vasily and Matthee, Jorryt J and Muñoz, Julian B. and Naidu, Rohan P. and Sander, Andreas A.C.},
  issn         = {2041-8213},
  journal      = {The Astrophysical Journal Letters},
  number       = {1},
  publisher    = {IOP Publishing},
  title        = {{Little Red Dots as globular clusters in formation}},
  doi          = {10.3847/2041-8213/ae6dae},
  volume       = {1004},
  year         = {2026},
}

@article{21999,
  abstract     = {JWST has revealed an abundance of supermassive black holes (BHs) in the early Universe, and yet the lowest mass seed BHs that gave rise to these populations remain elusive. Here, we present a systematic search for broad-line active galactic nuclei (AGNs) in some of the faintest high-z galaxies surveyed yet by combining ultra-deep JWST/NIRSpec G395M spectroscopy with the strong lensing aid in AS1063. By employing the profile of the [O iii]λ5007 emission lines as a template for narrow-line components and carefully cross-validating with mock observations, we identify a sample of 10 broad-line AGNs at 4.5 < z < 7.0 (eight secure, two tentative). The inferred BH masses from the broad Hα line explore the intermediate BH mass regime down to ∼105.5 M⊙. The stellar mass (M*) is estimated with a galaxy+AGN composite model, and we find the BH to stellar mass ratio spans down to MBH/M* ≲ 0.1%, unveiling populations on the empirical MBH–M* relation observed in the local Universe. We also derive the BH mass function and investigate its low-mass end at this epoch. While we confirm the agreement of our results with previous studies at MBH ≳ 106.5M⊙, we find the mass range of ∼105.5 M⊙ features an enhanced abundance with respect to the extrapolated best-fit Schechter function. Comparison with theoretical models suggests that a possible origin for this enhanced abundance is the direct-collapse BH formation, supporting the scenario that the direct collapse of massive gas clouds is a significant pathway for the earliest supermassive BHs.},
  author       = {Fei, Qinyue and Fujimoto, Seiji and Naidu, Rohan P. and Chisholm, John and Atek, Hakim and Brammer, Gabriel and Asada, Yoshihisa and Berg, Danielle A. and Bromm, Volker and Furtak, Lukas J. and Greene, Jenny E. and Hsiao, Tiger Yu Yang and Jeon, Junehyoung and Kokorev, Vasily and Matthee, Jorryt J and Natarajan, Priyamvada and Pan, Richard and Richard, Johan and Saldana-Lopez, Alberto and Schaerer, Daniel and Volonteri, Marta and Zitrin, Adi},
  issn         = {1538-4357},
  journal      = {The Astrophysical Journal},
  number       = {2},
  publisher    = {IOP Publishing},
  title        = {{A GLIMPSE of intermediate mass Black Holes in the epoch of reionization: Witnessing the descendants of direct collapse?}},
  doi          = {10.3847/1538-4357/ae6248},
  volume       = {1003},
  year         = {2026},
}

@inproceedings{22000,
  abstract     = {Simplicial approximation provides a framework for constructing simplicial complexes that are homotopy equivalent to a given manifold, provided a CW structure is explicitly known. However, its conventional implementation quickly becomes intractable on a computer: barycentric subdivision produces poorly shaped simplices, and the star condition introduces many vertices. To address these limitations, this article develops a subdivision scheme based on spherical Delaunay triangulations, which attains better refinement properties than barycentric subdivisions. Moreover, the star condition is reframed as two independent problems, one geometric and the other combinatorial, respectively tackled in the language of locally equiconnected spaces and the list homomorphism problem, allowing an exponential reduction in the number of vertices. Via a prototype implementation, we obtain simplicial complexes homotopy equivalent to Grassmannians and Stiefel manifolds up to dimension 5.},
  author       = {Tinarrage, Raphaël},
  booktitle    = {42nd International Symposium on Computational Geometry},
  isbn         = {9783959774185},
  issn         = {1868-8969},
  keywords     = {Triangulation of manifolds, Simplicial approximation, CW complexes, Delaunay complexes, List homomorphism problem, Topological Data Analysis},
  location     = {New Brunswick, NJ, United States},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Simplicial approximation to CW complexes with spherical Delaunay triangulations}},
  doi          = {10.4230/LIPIcs.SoCG.2026.93},
  volume       = {367},
  year         = {2026},
}

@inproceedings{22002,
  abstract     = {Topological simplification is the process of reducing complexity of a function while maintaining its essential features. Its goal is to find a new filter function, which reorders cells of the input complex in a way which eliminates some persistent homological features, without affecting the rest. We present a new approach to simplification based on the concept of forbidden regions and combinatorial dynamics. It allows us to reorder and cancel critical values, whose cancellation is not possible using existing methods because they are not consecutive in the total order. Each such cancellation takes O(c⋅n) time in the worst case, where c is the number of birth-death pairs and n is the size of the input complex.},
  author       = {Leśkiewicz, Jakub and Furmanek, Bartosz and Lipiński, Michał and Morozov, Dmitriy},
  booktitle    = {42nd International Symposium on Computational Geometry},
  isbn         = {9783959774185},
  issn         = {1868-8969},
  keywords     = {persistent homology, topological simplification, depth posets},
  location     = {New Brunswick, NJ, United States},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Topological simplification guided by forbidden regions}},
  doi          = {10.4230/LIPIcs.SoCG.2026.72},
  volume       = {367},
  year         = {2026},
}

@inproceedings{22003,
  abstract     = {Let G be a finite, connected metric graph and let X be a subset of G. If X is sufficiently dense in G, we show that the Gromov-Hausdorff distance matches the Hausdorff distance, namely d_GH(G,X) = d_H(G,X). When the metric graph is the circle G = S¹ with circumference 2π, a recent study established the equality d_GH(S¹,X) = d_H(S¹,X) whenever d_GH(S¹,X) < π/6. Our results relax this hypothesis to d_GH(S¹,X) < π/3, and furthermore, we show that the constant π/3 is the best possible. We lower bound the Gromov-Hausdorff distance d_GH(G,X) by the Hausdorff distance d_H(G,X) via a simple topological obstruction: the existence of a possibly discontinuous function f: G → X with too small distortion contradicts the connectedness of G.},
  author       = {Adams, Henry and Majhi, Sushovan and Manin, Fedor and Virk, Ziga and Zava, Nicolò},
  booktitle    = {42nd International Symposium on Computational Geometry},
  isbn         = {9783959774185},
  issn         = {1868-8969},
  keywords     = {Gromov–Hausdorff distance, distortion, connectedness, Borsuk–Ulam theorem},
  location     = {New Brunswick, NJ, United States},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Lower bounding the Gromov–Hausdorff distance in metric graphs}},
  doi          = {10.4230/LIPIcs.SoCG.2026.3},
  volume       = {367},
  year         = {2026},
}

@inproceedings{22004,
  abstract     = {Recent research on computing the diameter of geometric intersection graphs has made significant strides, primarily focusing on the 2D case [Duraj et al., 2024; Hsien-Chih Chang et al., 2024; Chan et al., 2025] where truly subquadratic-time algorithms were given for simple objects such as unit-disks and (axis-aligned) squares. However, in three or higher dimensions, there is no known truly subquadratic-time algorithm for any intersection graph of non-trivial objects, even basic ones such as unit balls or (axis-aligned) unit cubes. This was partially explained by the pioneering work of Bringmann et al. [Karl Bringmann et al., 2022] which gave several truly subquadratic lower bounds, notably for unit balls or unit cubes in 3D when the graph diameter Δ is at least Ω(log n), hinting at a pessimistic outlook for the complexity of the diameter problem in higher dimensions. In this paper, we substantially extend the landscape of diameter computation for objects in three and higher dimensions, giving a few positive results. Our highlighted findings include:  
1) A truly subquadratic-time algorithm for deciding if the diameter of unit cubes in 3D is at most 3 (Diameter-3 hereafter), the first algorithm of its kind for objects in 3D or higher dimensions. Our algorithm is based on a novel connection to pseudolines, which is of independent interest. 
2) A truly subquadratic time lower bound for Diameter-3 of unit balls in 3D under the Orthogonal Vector (OV) hypothesis, giving the first separation between unit balls and unit cubes in the small diameter regime. Previously, computing the diameter for both objects was known to be quadratic hard when the diameter is Ω(log n) [Karl Bringmann et al., 2022]. 
3) A near-linear-time algorithm for Diameter-2 of unit cubes in 3D, generalizing the previous result for unit squares in 2D [Karl Bringmann et al., 2022]. 
4) A truly subquadratic-time algorithm and lower bound for Diameter-2 and Diameter-3 of rectangular boxes (of arbitrary dimension and sizes), respectively.},
  author       = {Chan, Timothy M. and Chang, Hsien Chih and Gao, Jie and Kisfaludi-Bak, Sándor and Le, Hung and Zheng, Da Wei},
  booktitle    = {42nd International Symposium on Computational Geometry},
  isbn         = {9783959774185},
  issn         = {1868-8969},
  keywords     = {Graph Diameter, Geometric Intersection Graphs, Unit Ball Graphs},
  location     = {New Brunswick, NJ, United States},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Charting the diameter computation landscape of intersection graphs in 3D and above}},
  doi          = {10.4230/LIPIcs.SoCG.2026.29},
  volume       = {367},
  year         = {2026},
}

@inproceedings{22006,
  abstract     = {Runtime monitoring checks, during execution, whether a partial signal produced by a hybrid system satisfies its specification. Signal First-Order Logic (SFO) offers expressive real-time specifications over such signals, but currently comes only with Boolean semantics and has no tool support. We provide the first robustness-based quantitative semantics for SFO, enabling the expression and evaluation of rich real-time properties beyond the scope of existing formalisms such as Signal Temporal Logic. To enable online monitoring, we identify a past-time fragment of SFO and give a pastification procedure that transforms bounded-response SFO formulas into equisatisfiable formulas in this fragment. We then develop an efficient runtime monitoring algorithm for this past-time fragment and evaluate its performance on a set of benchmarks, demonstrating the practicality and effectiveness of our approach. To the best of our knowledge, this is the first publicly available prototype for online quantitative monitoring of full SFO.},
  author       = {Chalupa, Marek and Henzinger, Thomas A and Sarac, Naci E and Yu, Zhengqi},
  booktitle    = {27th International Symposium on Formal Methods},
  isbn         = {9783032262196},
  issn         = {1611-3349},
  keywords     = {Signal first-order logic, Robustness-based quantitative semantics, Online runtime monitoring},
  location     = {Tokyo, Japan},
  pages        = {214--233},
  publisher    = {Springer Nature},
  title        = {{Quantitative monitoring of Signal First-Order logic}},
  doi          = {10.1007/978-3-032-26220-2_11},
  volume       = {16557},
  year         = {2026},
}

@article{22100,
  abstract     = {Spin mixtures of degenerate fermions are a cornerstone of quantum many-body physics, enabling superfluidity, polarons, and rich spin dynamics through s-wave scattering resonances. Combining them with strong, long-range dipolar interactions provides highly flexible control schemes promising even more exotic quantum phases. Recently, microwave shielding gave access to spin-polarized degenerate samples of dipolar fermionic molecules, where tunable p-wave interactions were enabled by field-linked resonances available only by compromising the shielding (due to experimental limitations). Here, we study the scattering properties of a fermionic dipolar spin mixture and show that a universal s-wave resonance is readily accessible without compromising the shielding. We develop a universal description of the tunable s-wave interaction and weakly bound tetratomic states based on the microwave-field parameters. The s-wave resonance paves the way to stable, controllable and strongly-interacting dipolar spin mixtures of deeply degenerate fermions and supports favorable conditions to reach this regime via evaporative cooling.},
  author       = {Li, Jinglun and Koutentakis, Georgios and Hrast, Mateja and Lemeshko, Mikhail and Schindewolf, Andreas and Al Hyder, Ragheed},
  issn         = {2399-3650},
  journal      = {Communications Physics},
  publisher    = {Springer Nature},
  title        = {{Tunable field-linked s-wave interactions in dipolar fermi mixtures}},
  doi          = {10.1038/s42005-026-02578-8},
  volume       = {9},
  year         = {2026},
}

@article{22102,
  abstract     = {Differential privacy (DP) has established itself as one of the standards for ensuring privacy of individual data. However, reasoning about DP is a challenging and error-prone task, hence methods for formal verification and refutation of DP properties have received significant interest in recent years. In this work, we present a novel method for automated formal refutation of є-DP. Our method refutes є-DP by searching for a pair of inputs together with a non-negative function over outputs whose expected value on these two inputs differs by a significant amount. The two inputs and the non-negative function over outputs are computed simultaneously, by utilizing upper expectation supermartingales and lower expectation submartingales from probabilistic program analysis, which we leverage to introduce a sound and complete proof rule for є-DP refutation. To the best of our knowledge, our method is the first method for є-DP refutation to offer the following four desirable features: (1) it is fully automated, (2) it is applicable to stochastic mechanisms with sampling instructions from both discrete and continuous distributions, (3) it provides soundness guarantees, and (4) it provides semi-completeness guarantees. Our experiments show that our prototype tool SuperDP achieves superior performance compared to the state of the art and manages to refute є-DP for a number of challenging examples collected from the literature, including ones that were out of the reach of prior methods.},
  author       = {Chatterjee, Krishnendu and Kafshdar Goharshadi, Ehsan and Zikelic, Dorde},
  issn         = {2475-1421},
  journal      = {Proceedings of the ACM on Programming Languages},
  keywords     = {Static Program Analysis, Differential Privacy, Probabilistic Programming, Martingales},
  number       = {PLDI},
  publisher    = {Association for Computing Machinery},
  title        = {{SuperDP: Differential privacy refutation via supermartingales}},
  doi          = {10.1145/3808296},
  volume       = {10},
  year         = {2026},
}

@inproceedings{22129,
  abstract     = {Inside–outside classification is widely used for geometry processing tasks such as surface reconstruction, geometry completion,
and calculating signed distance fields. We introduce a new integral formulation of this problem, which assigns confidence
scores that points are inside or outside, given incomplete boundary geometry. Even though our geometric construction does
not appear in previous work, we show that it is unexpectedly linked to both the well-established generalized winding number
(GWN) and pseudonormal methods for geometry completion, and it provably reduces to either one of them for specific values
of a control parameter. The results obtained with our method frequently outperform screened Poisson surface reconstruction
(PSR), GWN, and the pseudonormal method in terms of quality, and are at least on par with them on all of our examples. Unlike
these methods, our algorithm naturally extends to the multi-label setting, in which regions with an arbitrary number of colors
or physical materials can be reconstructed, and non-manifold features such as T-junctions may appear in the interface and
boundary geometry},
  author       = {Wei, Ziyu  and Hafner, Christian and Kalinov, Aleksei and Synak, Peter and Wojtan, Christopher J},
  booktitle    = {Computer Graphics Forum},
  location     = {Bern, Switzerland},
  number       = {5},
  publisher    = {Wiley},
  title        = {{Circles of confidence for multi-label geometry completion}},
  doi          = {10.1111/cgf.70516},
  volume       = {45},
  year         = {2026},
}

@misc{22134,
  abstract     = {This artifact provides the source code, benchmarks, and scripts necessary to build and reproduce the experimental results for `SuperDP` (Accepted at PLDI 2026). It also includes instructions for running the tool on user-provided inputs.},
  author       = {Chatterjee, Krishnendu and Kafshdar Goharshadi, Ehsan and Zikelic, Dorde},
  publisher    = {Zenodo},
  title        = {{SuperDP: Differential Privacy Refutation via Supermartingales}},
  doi          = {10.5281/ZENODO.18930113},
  year         = {2026},
}