@misc{21439, abstract = {These files contain supplementary movies accompanying the PhD thesis “Geometry-driven self-organization of migrating cells and chiral filaments” by Zuzana Dunajova (2026). The videos provide additional visual material supporting the experiments and results described in the thesis.}, author = {Dunajova, Zuzana}, publisher = {Institute of Science and Technology Austria}, title = {{Supplementary movies to PhD thesis “Geometry-driven self-organization of migrating cells and chiral filaments”}}, doi = {10.15479/AT-ISTA-21439}, 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}, } @misc{20842, abstract = {Probing the possibility of entanglement generation through gravity offers a path to tackle the question of whether gravitational fields possess a quantum mechanical nature. A potential realization necessitates systems with low-frequency dynamics at an optimal mass scale, for which the microgram-to-milligram range is a strong contender. Here, after refining a figure-of-merit for the problem, we present a 1-milligram torsional pendulum operating at 18 Hz. We demonstrate laser cooling its motion from room temperature to 240~microkelvins, surpassing by over 20-fold the coldest motions attained for oscillators ranging from micrograms to kilograms. We quantify and contrast the utility of the current approach with other platforms. The achieved performance and large improvement potential highlight milligram-scale torsional pendulums as a powerful platform for precision measurements relevant to future studies at the quantum-gravity interface.}, author = {Agafonova, Sofya}, publisher = {Institute of Science and Technology Austria}, title = {{Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'}}, doi = {10.15479/AT-ISTA-20842}, year = {2025}, } @inproceedings{21020, abstract = {Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure compliance with a specification might contain sensitive information, causing privacy concerns when usual runtime verification approaches are used. Privacy is compromised if protected information about the system, or sensitive data that is processed by the system, is revealed. In addition, revealing the specification being monitored may undermine the essence of third-party verification. In this work, we propose two novel protocols for the privacy-preserving runtime verification of systems against formal sequential specifications. In our first protocol, the monitor verifies whether the system satisfies the specification without learning anything else, though both parties are aware of the specification. Our second protocol ensures that the system remains oblivious to the monitored specification, while the monitor learns only whether the system satisfies the specification and nothing more. Our protocols adapt and improve existing techniques used in cryptography, and more specifically, multi-party computation. The sequential specification defines the observation step of the monitor, whose granularity depends on the situation (e.g., banks may be monitored on a daily basis). Our protocols exchange a single message per observation step, after an initialisation phase. This design minimises communication overhead, enabling relatively lightweight privacy-preserving monitoring. We implement our approach for monitoring specifications described by register automata and evaluate it experimentally.}, author = {Henzinger, Thomas A and Karimi, Mahyar and Thejaswini, K. S.}, booktitle = {Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security}, isbn = {9798400715259}, location = {Taipei, Taiwan}, pages = {2774--2787}, publisher = {Association for Computing Machinery}, title = {{Privacy-preserving runtime verification}}, doi = {10.1145/3719027.3765137}, year = {2025}, } @article{21136, abstract = {The plant hormone auxin regulates growth and development through at least two distinct signaling pathways. The nuclear pathway, involving TIR1/AFB receptors, mediates transcription; whereas the cell surface ABP1-TMK1 auxin perception triggers global ultrafast phosphorylation response. Here, we revisit the rich history of the disputed ABP1 auxin receptor, highlighting recent findings of the involvement of TMKs and other molecular components and focusing on their role in auxin canalization-mediated development.}, author = {Monzer, Aline and Friml, Jiří}, issn = {3005-1401}, journal = {npj Science of Plants}, number = {1}, pages = {2}, publisher = {Springer Nature}, title = {{Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.}}, doi = {10.1038/s44383-025-00002-8}, volume = {1}, year = {2025}, } @article{21248, abstract = {Camera-type eyes in vertebrates and cephalopods are striking examples of parallel evolution of a complex structure. While comparisons have focused on these two groups, camera-type eyes with likely high functionality are also found in other invertebrate phyla with simpler brains. Employing single-cell RNA sequencing, we identify neurogenic cells in the adult eyes and brain of the marine annelid worm Platynereis dumerilii. Distinct neural stem cells in the camera-type adult eyes, located at the edge of the cup-shaped retina, and adjacent to the glass body/lens, produce radial lines of cells, reminiscent of stem cells in ciliary marginal zones of vertebrate eyes exhibiting life-long growth. Normal proliferation in the eye depends on ambient light, a phenomenon that depends on the integrity of the photoreceptor gene c-opsin1, which is present in emerging rhabdomeric photoreceptors, and impacts on their differentiation. During reproductive maturation, proliferation in the eye as well as the entire brain sharply declines, while cells upregulate molecular characteristics of mammalian adult neural stem cell quiescence. Our data provide insights into the development and modulation of annelid head and brain cells, revealing similarities and differences to vertebrate eye development, neurogenesis and brain plasticity.}, author = {Milivojev, Nadja and Scaramuzza, Federico and Brum, Pedro Ozório and Velastegui Gamboa, Camila L and Andreatta, Gabriele and Raible, Florian and Tessmar-Raible, Kristin}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Light-modulated stem cells in the camera-type eye of an annelid model for adult brain plasticity}}, doi = {10.1038/s41467-025-65631-0}, volume = {16}, year = {2025}, } @inproceedings{21250, abstract = {We investigate the step complexity of the Leader Election problem (and implementing the corresponding test-and-set object) in asynchronous shared memory, where processes communicate through registers supporting atomic read and write and must coordinate so that a single process becomes the leader. Determining tight step complexity bounds for solving this problem is one of the key open problems in the theory of shared memory distributed computing. The best known algorithm is a randomized tournament-tree, which has worst-case expected step complexity O(log N) for N processes. There are provably no deterministic wait-free algorithms, and only restricted lower bounds are known for obstruction-free and randomized wait-free algorithms. We introduce a new lower bound that establishes an Ω((log N)/(log log N + log Q)) step complexity for any obstruction-free Leader Election algorithm, where N is the number of processes, and 2 ≤ Q ≤ N is a bound on the value contention, which we define as the maximum number of different values that processes can be simultaneously poised to write to the same register in any execution of the algorithm. Our result is strictly stronger than previous bounds based on write contention. In particular, it implies new lower bounds on step complexity that depend on register size.}, author = {Alistarh, Dan-Adrian and Ellen, Faith and Fedorov, Alexander}, booktitle = {39th International Symposium on Distributed Computing}, location = {Berlin, Germany}, pages = {3:1--3:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{An almost-logarithmic lower bound for leader election with bounded value contention}}, doi = {10.4230/LIPIcs.DISC.2025.3}, volume = {356}, year = {2025}, } @inbook{21257, abstract = {We investigate the problem of accurate sparse fine-tuning of large language models (LLMs), that is, fine-tuning pre-trained LLMs on specialized tasks, while inducing sparsity in their weights. Our work is motivated by experiments showing that standard loss-based fine-tuning methods are not able to achieve high accuracy in this setting, especially at high sparsity targets. To address this issue, we perform a detailed study of knowledge distillation losses for fine-tuning of sparse models. We determine an L2-based distillation approach that we term ‘SquareHead’, which enables accurate recovery even at higher sparsities. Investigating the question of efficient inference, we show that sparse LLMs can be executed faster by taking advantage of sparsity. Specifically, we exhibit end-to-end results showing speedups enabled by sparsity, while recovering accuracy, on the following models and tasks, respectively: T5 for language translation, Whisper for speech translation, and open GPT-type models such as the Mosaic Pre-Trained Transformer (MPT) and Llama-2 models for text generation. In particular, for popular generative tasks, we show for the first time that sparse fine-tuning can reach 75% sparsity without drops in accuracy, and provide notable end-to-end speedups for inference on CPUs. Moreover, we also highlight that sparsity is compatible with other compression approaches, such as quantization.}, author = {Kurtic, Eldar and Kuznedelev, Denis and Frantar, Elias and Goinv, Michael and Pandit, Shubhra and Agarwalla, Abhinav and Nguyen, Tuan and Marques, Alexandre and Kurtz, Mark and Alistarh, Dan-Adrian}, booktitle = {Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques}, editor = {Passban, Peyman and Way, Andy and Rezagholizadeh, Mehdi}, isbn = {9783031857461}, issn = {2522-803X}, pages = {83--97}, publisher = {Springer Nature}, title = {{Sparse Fine-Tuning for Inference Acceleration of Large Language Models}}, doi = {10.1007/978-3-031-85747-8_6}, year = {2025}, } @inproceedings{21327, abstract = {Proteins exist as a dynamic ensemble of multiple conformations, and these motions are often crucial for their functions. However, current structure prediction methods predominantly yield a single conformation, overlooking the conformational heterogeneity revealed by diverse experimental modalities. Here, we present a framework for building experiment-grounded protein structure generative models that infer conformational ensembles consistent with measured experimental data. The key idea is to treat stateof-the-art protein structure predictors (e.g., AlphaFold3) as sequence-conditioned structural priors, and cast ensemble modeling as posterior inference of protein structures given experimental measurements. Through extensive real-data experiments, we demonstrate the generality of our method to incorporate a variety of experimental measurements. In particular, our framework uncovers previously unmodeled conformational heterogeneity from crystallographic densities, and generates high-accuracy NMR ensembles orders of magnitude faster than the status quo. Notably, we demonstrate that our ensembles outperform AlphaFold3 (Abramson et al., 2024) and sometimes better fit experimental data than publicly deposited structures to the Protein Data Bank (PDB, Burley et al. (2017)). We believe that this approach will unlock building predictive models that fully embrace experimentally observed conformational diversity.}, author = {Maddipatla, Sai A and Sellam, Nadav E and Bojan, Meital I and Vedula, Sanketh and Schanda, Paul and Marx, Ailie and Bronstein, Alexander}, booktitle = {Proceedings of the 42nd International Conference on Machine Learning}, issn = {2640-3498}, location = {Vancouver, Canada}, pages = {42366 -- 42393}, publisher = {ML Research Press}, title = {{Inverse problems with experiment-guided AlphaFold}}, volume = {267}, year = {2025}, } @article{15128, abstract = {We prove a universal mesoscopic central limit theorem for linear eigenvalue statistics of a Wigner-type matrix inside the bulk of the spectrum with compactly supported twice continuously differentiable test functions. The main novel ingredient is an optimal local law for the two-point function $T(z,\zeta)$ and a general class of related quantities involving two resolvents at nearby spectral parameters.}, author = {Riabov, Volodymyr}, issn = {0246-0203}, journal = {Annales de l'institut Henri Poincare (B) Probability and Statistics}, number = {1}, pages = {129--154}, publisher = {Institute of Mathematical Statistics}, title = {{Mesoscopic eigenvalue statistics for Wigner-type matrices}}, doi = {10.1214/23-AIHP1438}, volume = {61}, year = {2025}, } @misc{18712, abstract = {This file contains the code associated with the manuscript 'Effect of assortative mating and sexual selection on polygenic barriers to gene flow'. }, author = {Surendranadh, Parvathy and Sachdeva, Himani}, publisher = {Institute of Science and Technology Austria}, title = {{Mathematica notebook and Fortran code for 'Effect of assortative mating and sexual selection on polygenic barriers to gene flow'}}, doi = {10.15479/AT:ISTA:17344}, year = {2025}, } @article{18882, abstract = {Ternary liquid-like thermoelectric materials have garnered significant attention due to their ultra-low lattice thermal conductivity. Among these, Ag8SnSe6 stands out for its exceptionally low sound velocity and thermal conductivity. However, the inherent poor electrical conductivity and suboptimal thermoelectric properties of Ag8SnSe6 necessitate further improvement. Here, a novel approach is initiated to enhance the thermoelectric properties of Ag8SnSe6 by combining low-dimensionalization with intrinsic doping. For the first time, this work successfully synthesizes single-phase Ag8SnSe6 nanocrystals, ≈10 nm in size, with the correct phase and composition using a robust and reliable colloidal method. This approach represents a significant improvement over previous reports on this material. Reducing the crystal domains of Ag8SnSe6 to the nanoscale induces quantum confinement effects, increasing the density of states near the Fermi surface. It also introduces additional grain boundaries, which lower the lattice thermal conductivity and simplify structural design. Moreover, incorporating small amounts of Sn nanopowder into the Ag8SnSe6 nanocrystals before consolidation further enhances the thermoelectric performance. Sn acts as a donor dopant, increasing the electronic concentration while at the same time improving their mobility by reducing interface barriers, thus significantly improving the material transport properties. Additionally, the presence of Sn leads to the formation of point defects, dislocations, and secondary phases, which increase phonon scattering and further reduce the thermal conductivity. Through this synergistic optimization, the figure of merit shows a significant increase across a wide temperature range. Overall, a strategy is presented for the controlled preparation of Ag8SnSe6 nanocrystals, the decoupling of their electrical and thermal transport, and the practical application of this material to thermoelectric single-leg modules.}, author = {Zhao, Xueke and Li, Mengyao and Jia, Mochen and Fiedler, Christine and Nan, Bingfei and Yang, Dongwen and Li, Lei and Yuan, Zicheng and Song, Hongzhang and Liu, Yu and Ibáñez, Maria and Wang, Ziyu and Shan, Chongxin and Cabot, Andreu}, issn = {1616-3028}, journal = {Advanced Functional Materials}, number = {24}, publisher = {Wiley}, title = {{Low-dimensional structure modulation in Ag8SnSe6 for enhanced thermoelectric performance}}, doi = {10.1002/adfm.202421449}, volume = {35}, year = {2025}, } @misc{18991, abstract = {Research data for the article "Learning reshapes the hippocampal representation hierarchy" from Chiossi et al. (PNAS, 2025). The data includes hippocampal CA1 unit activity and behaviour tracking of 5 Long Evans rats during the learning of an associative memory task. Detailed information can be found in the 'readme.txt' file.}, author = {Chiossi, Heloisa}, keywords = {hippocampus, electrophysiology, behavior}, publisher = {Institute of Science and Technology Austria}, title = {{Research data for the publication "Learning reshapes the hippocampal representation hierarchy"}}, doi = {10.15479/AT:ISTA:18991}, year = {2025}, } @article{19066, abstract = {We present a sample of 1956 individual stellar clumps at redshift 0.7 < z < 10, detected with JWST/NIRCam in 476 galaxies lensed by the galaxy cluster Abell2744. The lensed clumps present magnifications ranging between μ = 1.8 and μ = 300. We perform simultaneous size-photometry estimates in 20 JWST/NIRCam median and broad-band filters from 0.7 to 5 μm. Spectral energy distribution (SED) fitting analyses enable us to recover the physical properties of the clumps. The majority of the clumps are spatially resolved and have effective radii in the range Reff = 10–700 pc. We restrict this first study to the 1751 post-reionization era clumps with redshift < 5.5. We find a significant evolution of the average clump ages, star formation rates (SFRs), SFR surface densities, and metallicity with increasing redshift, while median stellar mass and stellar mass surface densities are similar in the probed redshift range. We observe a strong correlation between the clump properties and the properties of their host galaxies, with more massive galaxies hosting more massive and older clumps. We find that clumps closer to their host galactic centre are on average more massive, while their ages do not show clear sign of migration. We find that clumps at cosmic noon sample the upper-mass end of the mass function to higher masses than at z > 3, reflecting the rapid increase towards the peak of the cosmic star formation history. We conclude that the results achieved over the studied redshift range are in agreement with expectation of in situ clump formation scenario from large-scale disc fragmentation. }, author = {Claeyssens, Adélaïde and Adamo, Angela and Messa, Matteo and Dessauges-Zavadsky, Miroslava and Richard, Johan and Kramarenko, Ivan and Matthee, Jorryt J and Naidu, Rohan P.}, issn = {1365-2966}, journal = {Monthly Notices of the Royal Astronomical Society}, number = {3}, pages = {2535--2558}, publisher = {Oxford University Press}, title = {{Tracing star formation across cosmic time at tens of parsec-scales in the lensing cluster field Abell 2744}}, doi = {10.1093/mnras/staf058}, volume = {537}, year = {2025}, } @article{19067, abstract = {Modern experimental methods enable the creation of self-assembly building blocks with tunable interactions, but optimally exploiting this tunability for the self-assembly of desired structures remains an important challenge. Many studies of this inverse problem start with the so-called fully addressable limit, where every particle in a target structure is different. This leads to clear design principles that often result in high assembly yield, but it is not a scalable approach—at some point, one must grapple with “reusing” building blocks, which lowers the degree of addressability and may cause a multitude of off-target structures to form, complicating the design process. Here, we solve a key obstacle preventing robust inverse design in the “semiaddressable regime” by developing a highly efficient algorithm that enumerates all structures that can be formed from a given set of building blocks. By combining this with established partition-function-based yield calculations, we show that it is almost always possible to find economical semiaddressable designs where the entropic gain from reusing building blocks outweighs the presence of off-target structures and even increases the yield of the target. Thus, not only does our enumeration algorithm enable robust and scalable inverse design in the semiaddressable regime, our results demonstrate that it is possible to operate in this regime while maintaining the level of control often associated with full addressability.}, author = {Hübl, Maximilian and Goodrich, Carl Peter}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {5}, publisher = {American Physical Society}, title = {{Accessing semiaddressable self-assembly with efficient structure enumeration}}, doi = {10.1103/PhysRevLett.134.058204}, volume = {134}, year = {2025}, } @misc{19409, abstract = {This .zip file contains the data to reproduce the figures and supplementary figures of "Exchange anisotropies in microwave-driven singlet-triplet qubits" by Jaime Saez-Mollejo et al. }, author = {Saez Mollejo, Jaime}, publisher = {Institute of Science and Technology Austria}, title = {{Exchange anisotropies in microwave-driven singlet-triplet qubits}}, doi = {10.15479/AT:ISTA:19409}, year = {2025}, } @article{19531, abstract = {In standard quantum electrodynamics (QED), the so-called non-minimal (Pauli) coupling is suppressed for elementary particles and has no physical implications. Here, we show that the Pauli term naturally appears in a known family of Dirac materials—the lead-halide perovskites, suggesting a novel playground for the study of analog QED effects. We outline measurable manifestations of the Pauli term in the phenomena pertaining to (i) relativistic corrections to bound states (ii) the Klein paradox, and (iii) spin effects in scattering. In particular, we demonstrate that (a) the binding energy of an electron in the vicinity of a positively charged defect is noticeably decreased due to the polarizability of lead ions and the appearance of a Darwin-like term, (b) strong spin-orbit coupling due to the Pauli term affects the exciton states, and (c) scattering of an electron off an energy barrier with broken mirror symmetry produces spin polarization in the outgoing current. Our study adds to the understanding of quantum phenomena in lead-halide perovskites and paves the way for tabletop simulations of analog Dirac-Pauli equations.}, author = {Shiva Kumar, Abhishek and Maslov, Mikhail and Lemeshko, Mikhail and Volosniev, Artem and Alpichshev, Zhanybek}, issn = {2397-4648}, journal = {npj Quantum Materials}, publisher = {Springer Nature}, title = {{Massive Dirac-Pauli physics in lead-halide perovskites}}, doi = {10.1038/s41535-025-00754-7}, volume = {10}, year = {2025}, } @article{19617, abstract = {In this article, we propose a method for generating single microwave photons in superconducting circuits. We theoretically show that pure single microwave photons can be generated on demand and tuned over a large frequency band by making use of Landau-Zener transitions under a rapid sweep of a control parameter. We devise a protocol that enables fast control of the frequency of the emitted photon over two octaves, without requiring extensive calibration. Additionally, we make theoretical estimates of the generation efficiency, tunability, purity, and linewidth of the photons emitted using this method for both charge- and flux-qubit-based architectures. We also provide estimates of the optimal device parameters required for these architectures to realize the device.}, author = {Hawaldar, Samarth and Khaire, Siddhi Satish and Delsing, Per and Suri, Baladitya}, issn = {2331-7019}, journal = {Physical Review Applied}, number = {4}, publisher = {American Physical Society}, title = {{On-demand single-microwave-photon source in a superconducting circuit with wideband frequency tunability}}, doi = {10.1103/physrevapplied.23.044042}, volume = {23}, year = {2025}, } @article{19621, abstract = {In this paper we obtain a complete description of all indecomposable characters (central positive-definite functions) of inductive limits of the symmetric groups under block diagonal embedding. As a corollary we obtain the full classification of the isomorphism classes of these inductive limits.}, author = {Nessonov, Nikolay and Ngo, Nhok T}, issn = {1088-4165}, journal = {Representation Theory}, number = {8}, pages = {256--288}, publisher = {American Mathematical Society}, title = {{Indecomposable characters of inductive limits of symmetric groups}}, doi = {10.1090/ert/689}, volume = {29}, year = {2025}, } @inproceedings{19738, abstract = {Garbling is a fundamental cryptographic primitive, with numerous theoretical and practical applications. Since the first construction by Yao (FOCS’82, ’86), a line of work has concerned itself with reducing the communication and computational complexity of that construction. One of the most efficient garbling schemes presently is the ‘Half Gates’ scheme by Zahur, Rosulek, and Evans (Eurocrypt’15). Despite its widespread adoption, the provable security of this scheme has been based on assumptions whose only instantiations are in idealized models. For example, in their original paper, Zahur, Rosulek, and Evans showed that hash functions satisfying a notion called circular correlation robustness (CCR) suffice for this task, and then proved that CCR secure hash functions can be instantiated in the random permutation model. In this work, we show how to securely instantiate the Half Gates scheme in the standard model. To this end, we first show how this scheme can be securely instantiated given a (family of) weak CCR hash function, a notion that we introduce. Furthermore, we show how a weak CCR hash function can be used to securely instantiate other efficient garbling schemes, namely the ones by Rosulek and Roy (Crypto’21) and Heath (Eurocrypt’24). Thus we believe this notion to be of independent interest. Finally, we construct such weak CCR hash functions using indistinguishability obfuscation and one-way functions. The security proof of this construction constitutes our main technical contribution. While our construction is not practical, it serves as a proof of concept supporting the soundness of these garbling schemes, which we regard to be particularly important given the recent initiative by NIST to standardize garbling, and the optimizations in Half Gates being potentially adopted.}, author = {Acharya, Anasuya and Azari, Karen and Baig, Mirza Ahad and Hofheinz, Dennis and Kamath, Chethan}, booktitle = {28th IACR International Conference on Practice and Theory of Public-Key Cryptography}, isbn = {9783031918285}, issn = {1611-3349}, location = {Roros, Norway}, pages = {37--75}, publisher = {Springer Nature}, title = {{Securely instantiating ‘Half Gates’ garbling in the standard model}}, doi = {10.1007/978-3-031-91829-2_2}, volume = {15677}, year = {2025}, }