@inproceedings{14259, abstract = {We provide a learning-based technique for guessing a winning strategy in a parity game originating from an LTL synthesis problem. A cheaply obtained guess can be useful in several applications. Not only can the guessed strategy be applied as best-effort in cases where the game’s huge size prohibits rigorous approaches, but it can also increase the scalability of rigorous LTL synthesis in several ways. Firstly, checking whether a guessed strategy is winning is easier than constructing one. Secondly, even if the guess is wrong in some places, it can be fixed by strategy iteration faster than constructing one from scratch. Thirdly, the guess can be used in on-the-fly approaches to prioritize exploration in the most fruitful directions. In contrast to previous works, we (i) reflect the highly structured logical information in game’s states, the so-called semantic labelling, coming from the recent LTL-to-automata translations, and (ii) learn to reflect it properly by learning from previously solved games, bringing the solving process closer to human-like reasoning.}, author = {Kretinsky, Jan and Meggendorfer, Tobias and Prokop, Maximilian and Rieder, Sabine}, booktitle = {35th International Conference on Computer Aided Verification}, isbn = {9783031377051}, issn = {1611-3349}, location = {Paris, France}, pages = {390--414}, publisher = {Springer Nature}, title = {{Guessing winning policies in LTL synthesis by semantic learning}}, doi = {10.1007/978-3-031-37706-8_20}, volume = {13964}, year = {2023}, } @misc{14995, abstract = {Lincheck is a new practical and user-friendly framework for testing concurrent data structures on the Java Virtual Machine (JVM). It provides a simple and declarative way to write concurrent tests. Instead of describing how to perform the test, users specify what to test by declaring all the operations to examine; the framework automatically handles the rest. As a result, tests written with Lincheck are concise and easy to understand. The artifact presents a collection of Lincheck tests that discover new bugs in popular libraries and implementations from the concurrency literature -- they are listed in Table 1, Section 3. To evaluate the performance of Lincheck analysis, the collection of tests also includes those which check correct data structures and, thus, always succeed. Similarly to Table 2, Section 3, the experiments demonstrate the reasonable time to perform a test. Finally, Lincheck provides user-friendly output with an easy-to-follow trace to reproduce a detected error, significantly simplifying further investigation.}, author = {Koval, Nikita and Fedorov, Alexander and Sokolova, Maria and Tsitelov, Dmitry and Alistarh, Dan-Adrian}, publisher = {Zenodo}, title = {{Lincheck: A practical framework for testing concurrent data structures on JVM}}, doi = {10.5281/ZENODO.7877757}, year = {2023}, } @article{12960, abstract = {Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e., submanifolds of Rd defined as the zero set of some multivariate multivalued smooth function f:Rd→Rd−n, where n is the intrinsic dimension of the manifold. A natural way to approximate a smooth isomanifold M=f−1(0) is to consider its piecewise linear (PL) approximation M^ based on a triangulation T of the ambient space Rd. In this paper, we describe a simple algorithm to trace isomanifolds from a given starting point. The algorithm works for arbitrary dimensions n and d, and any precision D. Our main result is that, when f (or M) has bounded complexity, the complexity of the algorithm is polynomial in d and δ=1/D (and unavoidably exponential in n). Since it is known that for δ=Ω(d2.5), M^ is O(D2)-close and isotopic to M , our algorithm produces a faithful PL-approximation of isomanifolds of bounded complexity in time polynomial in d. Combining this algorithm with dimensionality reduction techniques, the dependency on d in the size of M^ can be completely removed with high probability. We also show that the algorithm can handle isomanifolds with boundary and, more generally, isostratifolds. The algorithm for isomanifolds with boundary has been implemented and experimental results are reported, showing that it is practical and can handle cases that are far ahead of the state-of-the-art. }, author = {Boissonnat, Jean Daniel and Kachanovich, Siargey and Wintraecken, Mathijs}, issn = {1095-7111}, journal = {SIAM Journal on Computing}, number = {2}, pages = {452--486}, publisher = {Society for Industrial and Applied Mathematics}, title = {{Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations}}, doi = {10.1137/21M1412918}, volume = {52}, year = {2023}, } @article{14256, abstract = {Context. Space asteroseismology is revolutionizing our knowledge of the internal structure and dynamics of stars. A breakthrough is ongoing with the recent discoveries of signatures of strong magnetic fields in the core of red giant stars. The key signature for such a detection is the asymmetry these fields induce in the frequency splittings of observed dipolar mixed gravito-acoustic modes. Aims. We investigate the ability of the observed asymmetries of the frequency splittings of dipolar mixed modes to constrain the geometrical properties of deep magnetic fields. Methods. We used the powerful analytical Racah-Wigner algebra used in quantum mechanics to characterize the geometrical couplings of dipolar mixed oscillation modes with various realistically plausible topologies of fossil magnetic fields. We also computed the induced perturbation of their frequencies. Results. First, in the case of an oblique magnetic dipole, we provide the exact analytical expression of the asymmetry as a function of the angle between the rotation and magnetic axes. Its value provides a direct measure of this angle. Second, considering a combination of axisymmetric dipolar and quadrupolar fields, we show how the asymmetry is blind to the unraveling of the relative strength and sign of each component. Finally, in the case of a given multipole, we show that a negative asymmetry is a signature of non-axisymmetric topologies. Conclusions. Asymmetries of dipolar mixed modes provide a key bit of information on the geometrical topology of deep fossil magnetic fields, but this is insufficient on its own. Asteroseismic constraints should therefore be combined with spectropolarimetric observations and numerical simulations, which aim to predict the more probable stable large-scale geometries.}, author = {Mathis, S. and Bugnet, Lisa Annabelle}, issn = {1432-0746}, journal = {Astronomy & Astrophysics}, publisher = {EDP Sciences}, title = {{Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields}}, doi = {10.1051/0004-6361/202346832}, volume = {676}, year = {2023}, } @phdthesis{14547, abstract = {Superconductor-semiconductor heterostructures currently capture a significant amount of research interest and they serve as the physical platform in many proposals towards topological quantum computation. Despite being under extensive investigations, historically using transport techniques, the basic properties of the interface between the superconductor and the semiconductor remain to be understood. In this thesis, two separate studies on the Al-InAs heterostructures are reported with the first focusing on the physics of the material motivated by the emergence of a new phase, the Bogoliubov-Fermi surface. The second focuses on a technological application, a gate-tunable Josephson parametric amplifier. In the first study, we investigate the hypothesized unconventional nature of the induced superconductivity at the interface between the Al thin film and the InAs quantum well. We embed a two-dimensional Al-InAs hybrid system in a resonant microwave circuit allowing measurements of change in inductance. The behaviour of the resonance in a range of temperature and in-plane magnetic field has been studied and compared with the theory of conventional s-wave superconductor and a two-component theory that includes both contribution of the $s$-wave pairing in Al and the intraband $p \pm ip$ pairing in InAs. Measuring the temperature dependence of resonant frequency, no discrepancy is found between data and the conventional theory. We observe the breakdown of superconductivity due to an applied magnetic field which contradicts the conventional theory. In contrast, the data can be captured quantitatively by fitting to a two-component model. We find the evidence of the intraband $p \pm ip$ pairing in the InAs and the emergence of the Bogoliubov-Fermi surfaces due to magnetic field with the characteristic value $B^* = 0.33~\mathrm{T}$. From the fits, the sheet resistance of Al, the carrier density and mobility in InAs are determined. By systematically studying the anisotropy of the circuit response, we find weak anisotropy for $B < B^*$ and increasingly strong anisotropy for $B > B^*$ resulting in a pronounced two-lobe structure in polar plot of frequency versus field angle. Strong resemblance between the field dependence of dissipation and superfluid density hints at a hidden signature of the Bogoliubov-Fermi surface that is burried in the dissipation data. In the second study, we realize a parametric amplifier with a Josephson field effect transistor as the active element. The device's modest construction consists of a gated SNS weak link embedded at the center of a coplanar waveguide resonator. By applying a gate voltage, the resonant frequency is field-effect tunable over a range of 2 GHz. Modelling the JoFET minimally as a parallel RL circuit, the dissipation introduced by the JoFET can be quantitatively related to the gate voltage. We observed gate-tunable Kerr nonlinearity qualitatively in line with expectation. The JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1dB compression point of -125.5 dBm when operated at a fixed resonant frequency. In general, the signal-to-noise ratio is improved by 5-7 dB when the JoFET amplifier is activated compared. The noise of the measurement chain and insertion loss of relevant circuit elements are calibrated to determine the expected and the real noise performance of the JoFET amplifier. As a quantification of the noise performance, the measured total input-referred noise of the JoFET amplifier is in good agreement with the estimated expectation which takes device loss into account. We found that the noise performance of the device reported in this document approaches one photon of total input-referred added noise which is the quantum limit imposed in nondegenerate parametric amplifier.}, author = {Phan, Duc T}, issn = {2663-337X}, keywords = {superconductor-semiconductor, superconductivity, Al, InAs, p-wave, superconductivity, JPA, microwave}, pages = {80}, publisher = {Institute of Science and Technology Austria}, title = {{Resonant microwave spectroscopy of Al-InAs}}, doi = {10.15479/14547}, year = {2023}, } @article{14749, abstract = {We unveil a powerful method for the stabilization of laser injection locking based on sensing variations in the output beam ellipticity of an optically seeded laser. The effect arises due to an interference between the seeding beam and the injected laser output. We demonstrate the method for a commercial semiconductor laser without the need for any internal changes to the readily operational injection locked laser system that was used. The method can also be used to increase the mode-hop free tuning range of lasers, and has the potential to fill a void in the low-noise laser industry.}, author = {Mishra, Umang and Li, Vyacheslav and Wald, Sebastian and Agafonova, Sofya and Diorico, Fritz R and Hosten, Onur}, issn = {1539-4794}, journal = {Optics Letters}, keywords = {Atomic and Molecular Physics, and Optics}, number = {15}, pages = {3973--3976}, publisher = {Optica Publishing Group}, title = {{Monitoring and active stabilization of laser injection locking using beam ellipticity}}, doi = {10.1364/ol.495553}, volume = {48}, year = {2023}, } @article{13233, abstract = {We study the impact of finite-range physics on the zero-range-model analysis of three-body recombination in ultracold atoms. We find that temperature dependence of the zero-range parameters can vary from one set of measurements to another as it may be driven by the distribution of error bars in the experiment, and not by the underlying three-body physics. To study finite-temperature effects in three-body recombination beyond the zero-range physics, we introduce and examine a finite-range model based upon a hyperspherical formalism. The systematic error discussed in this Letter may provide a significant contribution to the error bars of measured three-body parameters.}, author = {Agafonova, Sofya and Lemeshko, Mikhail and Volosniev, Artem}, issn = {2469-9934}, journal = {Physical Review A}, number = {6}, publisher = {American Physical Society}, title = {{Finite-range bias in fitting three-body loss to the zero-range model}}, doi = {10.1103/PhysRevA.107.L061304}, volume = {107}, year = {2023}, } @article{13264, abstract = {We build a parametric amplifier with a Josephson field-effect transistor (JoFET) as the active element. The resonant frequency of the device is field-effect tunable over a range of 2 GHz. The JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1-dB compression point of -125.5 dBm when operated at a fixed resonance frequency. }, author = {Phan, Duc T and Falthansl-Scheinecker, Paul and Mishra, Umang and Strickland, W. M. and Langone, D. and Shabani, J. and Higginbotham, Andrew P}, issn = {2331-7019}, journal = {Physical Review Applied}, number = {6}, publisher = {American Physical Society}, title = {{Gate-tunable superconductor-semiconductor parametric amplifier}}, doi = {10.1103/PhysRevApplied.19.064032}, volume = {19}, year = {2023}, } @phdthesis{14641, abstract = {Mutation rates represent the net result of complex interactions among various cellular processes and can dramatically influence the evolutionary fate of microbial populations. However, many popular techniques used to study mutations are subject to the confounding effects of heredity and the subtleties of adaptation to selection, all of which make it difficult to observe any dynamic responses of mutation rates to fitness challenges. Furthermore, in spite of the ubiquity of quorum sensing systems across the bacterial domain and relevance for many physiological behaviors, the effects of such mechanisms on mutation rate and adaptation remain poorly understood. In the following work, I present the development of a microfluidic droplet-based method to measure single base-pair mutation rates in growing populations of the bacterium Escherichia coli. I use this method to observe a stress-induced increase in mutation rate that is mediated by luxS, a highly conserved bacterial quorum sensing component. I also show that the aforementioned increase in mutation rate, and its associated control by luxS, corresponds to a higher degree of adaptability under competitive environments.}, author = {Hennessey-Wesen, Mike}, issn = {2663-337X}, keywords = {microfluidics, miceobiology, mutations, quorum sensing}, pages = {104}, publisher = {Institute of Science and Technology Austria}, title = {{Adaptive mutation in E. coli modulated by luxS}}, doi = {10.15479/at:ista:14641}, year = {2023}, } @article{14666, abstract = {So-called spontaneous activity is a central hallmark of most nervous systems. Such non-causal firing is contrary to the tenet of spikes as a means of communication, and its purpose remains unclear. We propose that self-initiated firing can serve as a release valve to protect neurons from the toxic conditions arising in mitochondria from lower-than-baseline energy consumption. To demonstrate the viability of our hypothesis, we built a set of models that incorporate recent experimental results indicating homeostatic control of metabolic products—Adenosine triphosphate (ATP), adenosine diphosphate (ADP), and reactive oxygen species (ROS)—by changes in firing. We explore the relationship of metabolic cost of spiking with its effect on the temporal patterning of spikes and reproduce experimentally observed changes in intrinsic firing in the fruitfly dorsal fan-shaped body neuron in a model with ROS-modulated potassium channels. We also show that metabolic spiking homeostasis can produce indefinitely sustained avalanche dynamics in cortical circuits. Our theory can account for key features of neuronal activity observed in many studies ranging from ion channel function all the way to resting state dynamics. We finish with a set of experimental predictions that would confirm an integrated, crucial role for metabolically regulated spiking and firmly link metabolic homeostasis and neuronal function.}, author = {Chintaluri, Chaitanya and Vogels, Tim P}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, number = {48}, publisher = {National Academy of Sciences}, title = {{Metabolically regulated spiking could serve neuronal energy homeostasis and protect from reactive oxygen species}}, doi = {10.1073/pnas.2306525120}, volume = {120}, year = {2023}, } @article{12675, abstract = {Aromatic side chains are important reporters of the plasticity of proteins, and often form important contacts in protein--protein interactions. By studying a pair of structurally homologous cross-β amyloid fibrils, HET-s and HELLF, with a specific isotope-labeling approach and magic-angle-spinning (MAS) NMR, we have characterized the dynamic behavior of Phe and Tyr aromatic rings to show that the hydrophobic amyloid core is rigid, without any sign of "breathing motions" over hundreds of milliseconds at least. Aromatic residues exposed at the fibril surface have a rigid ring axis but undergo ring flips, on a variety of time scales from ns to µs. Our approach provides direct insight into hydrophobic-core motions, enabling a better evaluation of the conformational heterogeneity generated from a NMR structural ensemble of such amyloid cross-β architecture.}, author = {Becker, Lea Marie and Berbon, Mélanie and Vallet, Alicia and Grelard, Axelle and Morvan, Estelle and Bardiaux, Benjamin and Lichtenecker, Roman and Ernst, Matthias and Loquet, Antoine and Schanda, Paul}, issn = {1521-3773}, journal = {Angewandte Chemie International Edition}, keywords = {General Chemistry, Catalysis}, number = {19}, publisher = {Wiley}, title = {{The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues}}, doi = {10.1002/anie.202219314}, volume = {62}, year = {2023}, } @article{12114, abstract = {Probing the dynamics of aromatic side chains provides important insights into the behavior of a protein because flips of aromatic rings in a protein’s hydrophobic core report on breathing motion involving a large part of the protein. Inherently invisible to crystallography, aromatic motions have been primarily studied by solution NMR. The question how packing of proteins in crystals affects ring flips has, thus, remained largely unexplored. Here we apply magic-angle spinning NMR, advanced phenylalanine 1H-13C/2H isotope labeling and MD simulation to a protein in three different crystal packing environments to shed light onto possible impact of packing on ring flips. The flips of the two Phe residues in ubiquitin, both surface exposed, appear remarkably conserved in the different crystal forms, even though the intermolecular packing is quite different: Phe4 flips on a ca. 10–20 ns time scale, and Phe45 are broadened in all crystals, presumably due to µs motion. Our findings suggest that intramolecular influences are more important for ring flips than intermolecular (packing) effects.}, author = {Gauto, Diego F. and Lebedenko, Olga O. and Becker, Lea Marie and Ayala, Isabel and Lichtenecker, Roman and Skrynnikov, Nikolai R. and Schanda, Paul}, issn = {2590-1524}, journal = {Journal of Structural Biology: X}, keywords = {Structural Biology}, publisher = {Elsevier}, title = {{Aromatic ring flips in differently packed ubiquitin protein crystals from MAS NMR and MD}}, doi = {10.1016/j.yjsbx.2022.100079}, volume = {7}, year = {2023}, } @article{13968, abstract = {The use of multimodal readout mechanisms next to label-free real-time monitoring of biomolecular interactions can provide valuable insight into surface-based reaction mechanisms. To this end, the combination of an electrolyte-gated field-effect transistor (EG-FET) with a fiber optic-coupled surface plasmon resonance (FO-SPR) probe serving as gate electrode has been investigated to deconvolute surface mass and charge density variations associated to surface reactions. However, applying an electrochemical potential on such gold-coated FO-SPR gate electrodes can induce gradual morphological changes of the thin gold film, leading to an irreversible blue-shift of the SPR wavelength and a substantial signal drift. We show that mild annealing leads to optical and electronic signal stabilization (20-fold lower signal drift than as-sputtered fiber optic gates) and improved overall analytical performance characteristics. The thermal treatment prevents morphological changes of the thin gold-film occurring during operation, hence providing reliable and stable data immediately upon gate voltage application. Thus, the readout output of both transducing principles, the optical FO-SPR and electronic EG-FET, stays constant throughout the whole sensing time-window and the long-term effect of thermal treatment is also improved, providing stable signals even after 1 year of storage. Annealing should therefore be considered a necessary modification for applying fiber optic gate electrodes in real-time multimodal investigations of surface reactions at the solid-liquid interface.}, author = {Hasler, Roger and Steger-Polt, Marie Helene and Reiner-Rozman, Ciril and Fossati, Stefan and Lee, Seungho and Aspermair, Patrik and Kleber, Christoph and Ibáñez, Maria and Dostalek, Jakub and Knoll, Wolfgang}, issn = {2296-424X}, journal = {Frontiers in Physics}, publisher = {Frontiers}, title = {{Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing}}, doi = {10.3389/fphy.2023.1202132}, volume = {11}, year = {2023}, } @misc{19308, abstract = {This Dataset contains the raw data from the following publication: "Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: towards improved real-time dual-mode biosensing" (DOI 10.3389/fphy.2023.1202132)}, author = {Hasler, Roger and Polt, Marie-Helene and Reiner-Rozman, Ciril and Fossati, Stefan and Lee, Seungho and Aspermair, Patrik and Kleber, Christoph and Ibáñez, Maria and Dostalek, Jakub and Knoll, Wolfgang}, publisher = {Zenodo}, title = {{Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing}}, doi = {10.5281/ZENODO.7716920}, year = {2023}, } @unpublished{15039, abstract = {A crucial property for achieving secure, trustworthy and interpretable deep learning systems is their robustness: small changes to a system's inputs should not result in large changes to its outputs. Mathematically, this means one strives for networks with a small Lipschitz constant. Several recent works have focused on how to construct such Lipschitz networks, typically by imposing constraints on the weight matrices. In this work, we study an orthogonal aspect, namely the role of the activation function. We show that commonly used activation functions, such as MaxMin, as well as all piece-wise linear ones with two segments unnecessarily restrict the class of representable functions, even in the simplest one-dimensional setting. We furthermore introduce the new N-activation function that is provably more expressive than currently popular activation functions. We provide code at this https URL.}, author = {Prach, Bernd and Lampert, Christoph}, booktitle = {arXiv}, title = {{1-Lipschitz neural networks are more expressive with N-activations}}, doi = {10.48550/ARXIV.2311.06103}, year = {2023}, } @inproceedings{14771, abstract = {Pruning—that is, setting a significant subset of the parameters of a neural network to zero—is one of the most popular methods of model compression. Yet, several recent works have raised the issue that pruning may induce or exacerbate bias in the output of the compressed model. Despite existing evidence for this phenomenon, the relationship between neural network pruning and induced bias is not well-understood. In this work, we systematically investigate and characterize this phenomenon in Convolutional Neural Networks for computer vision. First, we show that it is in fact possible to obtain highly-sparse models, e.g. with less than 10% remaining weights, which do not decrease in accuracy nor substantially increase in bias when compared to dense models. At the same time, we also find that, at higher sparsities, pruned models exhibit higher uncertainty in their outputs, as well as increased correlations, which we directly link to increased bias. We propose easy-to-use criteria which, based only on the uncompressed model, establish whether bias will increase with pruning, and identify the samples most susceptible to biased predictions post-compression. Our code can be found at https://github.com/IST-DASLab/pruned-vision-model-bias.}, author = {Iofinova, Eugenia B and Peste, Elena-Alexandra and Alistarh, Dan-Adrian}, booktitle = {2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition}, issn = {2575-7075}, location = {Vancouver, BC, Canada}, pages = {24364--24373}, publisher = {IEEE}, title = {{Bias in pruned vision models: In-depth analysis and countermeasures}}, doi = {10.1109/cvpr52729.2023.02334}, year = {2023}, } @article{12787, abstract = {Populations evolve in spatially heterogeneous environments. While a certain trait might bring a fitness advantage in some patch of the environment, a different trait might be advantageous in another patch. Here, we study the Moran birth–death process with two types of individuals in a population stretched across two patches of size N, each patch favouring one of the two types. We show that the long-term fate of such populations crucially depends on the migration rate μ between the patches. To classify the possible fates, we use the distinction between polynomial (short) and exponential (long) timescales. We show that when μ is high then one of the two types fixates on the whole population after a number of steps that is only polynomial in N. By contrast, when μ is low then each type holds majority in the patch where it is favoured for a number of steps that is at least exponential in N. Moreover, we precisely identify the threshold migration rate μ⋆ that separates those two scenarios, thereby exactly delineating the situations that support long-term coexistence of the two types. We also discuss the case of various cycle graphs and we present computer simulations that perfectly match our analytical results.}, author = {Svoboda, Jakub and Tkadlec, Josef and Kaveh, Kamran and Chatterjee, Krishnendu}, issn = {1471-2946}, journal = {Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences}, number = {2271}, publisher = {The Royal Society}, title = {{Coexistence times in the Moran process with environmental heterogeneity}}, doi = {10.1098/rspa.2022.0685}, volume = {479}, year = {2023}, } @article{12762, abstract = {Neurons in the brain are wired into adaptive networks that exhibit collective dynamics as diverse as scale-specific oscillations and scale-free neuronal avalanches. Although existing models account for oscillations and avalanches separately, they typically do not explain both phenomena, are too complex to analyze analytically or intractable to infer from data rigorously. Here we propose a feedback-driven Ising-like class of neural networks that captures avalanches and oscillations simultaneously and quantitatively. In the simplest yet fully microscopic model version, we can analytically compute the phase diagram and make direct contact with human brain resting-state activity recordings via tractable inference of the model’s two essential parameters. The inferred model quantitatively captures the dynamics over a broad range of scales, from single sensor oscillations to collective behaviors of extreme events and neuronal avalanches. Importantly, the inferred parameters indicate that the co-existence of scale-specific (oscillations) and scale-free (avalanches) dynamics occurs close to a non-equilibrium critical point at the onset of self-sustained oscillations.}, author = {Lombardi, Fabrizio and Pepic, Selver and Shriki, Oren and Tkačik, Gašper and De Martino, Daniele}, issn = {2662-8457}, journal = {Nature Computational Science}, pages = {254--263}, publisher = {Springer Nature}, title = {{Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain}}, doi = {10.1038/s43588-023-00410-9}, volume = {3}, year = {2023}, } @unpublished{13312, abstract = {Superconductor/semiconductor hybrid devices have attracted increasing interest in the past years. Superconducting electronics aims to complement semiconductor technology, while hybrid architectures are at the forefront of new ideas such as topological superconductivity and protected qubits. In this work, we engineer the induced superconductivity in two-dimensional germanium hole gas by varying the distance between the quantum well and the aluminum. We demonstrate a hard superconducting gap and realize an electrically and flux tunable superconducting diode using a superconducting quantum interference device (SQUID). This allows to tune the current phase relation (CPR), to a regime where single Cooper pair tunneling is suppressed, creating a $ \sin \left( 2 \varphi \right)$ CPR. Shapiro experiments complement this interpretation and the microwave drive allows to create a diode with $ \approx 100 \%$ efficiency. The reported results open up the path towards monolithic integration of spin qubit devices, microwave resonators and (protected) superconducting qubits on a silicon technology compatible platform.}, author = {Valentini, Marco and Sagi, Oliver and Baghumyan, Levon and Gijsel, Thijs de and Jung, Jason and Calcaterra, Stefano and Ballabio, Andrea and Servin, Juan Aguilera and Aggarwal, Kushagra and Janik, Marian and Adletzberger, Thomas and Souto, Rubén Seoane and Leijnse, Martin and Danon, Jeroen and Schrade, Constantin and Bakkers, Erik and Chrastina, Daniel and Isella, Giovanni and Katsaros, Georgios}, booktitle = {arXiv}, keywords = {Mesoscale and Nanoscale Physics}, title = {{Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas}}, doi = {10.48550/arXiv.2306.07109}, year = {2023}, } @article{13340, abstract = {Photoisomerization of azobenzenes from their stable E isomer to the metastable Z state is the basis of numerous applications of these molecules. However, this reaction typically requires ultraviolet light, which limits applicability. In this study, we introduce disequilibration by sensitization under confinement (DESC), a supramolecular approach to induce the E-to-Z isomerization by using light of a desired color, including red. DESC relies on a combination of a macrocyclic host and a photosensitizer, which act together to selectively bind and sensitize E-azobenzenes for isomerization. The Z isomer lacks strong affinity for and is expelled from the host, which can then convert additional E-azobenzenes to the Z state. In this way, the host–photosensitizer complex converts photon energy into chemical energy in the form of out-of-equilibrium photostationary states, including ones that cannot be accessed through direct photoexcitation.}, author = {Gemen, Julius and Church, Jonathan R. and Ruoko, Tero-Petri and Durandin, Nikita and Białek, Michał J. and Weissenfels, Maren and Feller, Moran and Kazes, Miri and Borin, Veniamin A. and Odaybat, Magdalena and Kalepu, Rishir and Diskin-Posner, Yael and Oron, Dan and Fuchter, Matthew J. and Priimagi, Arri and Schapiro, Igor and Klajn, Rafal}, issn = {1095-9203}, journal = {Science}, number = {6664}, pages = {1357--1363}, publisher = {American Association for the Advancement of Science}, title = {{Disequilibrating azoarenes by visible-light sensitization under confinement}}, doi = {10.1126/science.adh9059}, volume = {381}, year = {2023}, }