@article{12790, abstract = {Motivated by the recent discoveries of superconductivity in bilayer and trilayer graphene, we theoretically investigate superconductivity and other interaction-driven phases in multilayer graphene stacks. To this end, we study the density of states of multilayer graphene with up to four layers at the single-particle band structure level in the presence of a transverse electric field. Among the considered structures, tetralayer graphene with rhombohedral (ABCA) stacking reaches the highest density of states. We study the phases that can arise in ABCA graphene by tuning the carrier density and transverse electric field. For a broad region of the tuning parameters, the presence of strong Coulomb repulsion leads to a spontaneous spin and valley symmetry breaking via Stoner transitions. Using a model that incorporates the spontaneous spin and valley polarization, we explore the Kohn-Luttinger mechanism for superconductivity driven by repulsive Coulomb interactions. We find that the strongest superconducting instability is in the p-wave channel, and occurs in proximity to the onset of Stoner transitions. Interestingly, we find a range of densities and transverse electric fields where superconductivity develops out of a strongly corrugated, singly connected Fermi surface in each valley, leading to a topologically nontrivial chiral p+ip superconducting state with an even number of copropagating chiral Majorana edge modes. Our work establishes ABCA-stacked tetralayer graphene as a promising platform for observing strongly correlated physics and topological superconductivity.}, author = {Ghazaryan, Areg and Holder, Tobias and Berg, Erez and Serbyn, Maksym}, issn = {2469-9969}, journal = {Physical Review B}, number = {10}, publisher = {American Physical Society}, title = {{Multilayer graphenes as a platform for interaction-driven physics and topological superconductivity}}, doi = {10.1103/PhysRevB.107.104502}, volume = {107}, year = {2023}, } @article{12791, abstract = {We investigate the capabilities of Physics-Informed Neural Networks (PINNs) to reconstruct turbulent Rayleigh–Bénard flows using only temperature information. We perform a quantitative analysis of the quality of the reconstructions at various amounts of low-passed-filtered information and turbulent intensities. We compare our results with those obtained via nudging, a classical equation-informed data assimilation technique. At low Rayleigh numbers, PINNs are able to reconstruct with high precision, comparable to the one achieved with nudging. At high Rayleigh numbers, PINNs outperform nudging and are able to achieve satisfactory reconstruction of the velocity fields only when data for temperature is provided with high spatial and temporal density. When data becomes sparse, the PINNs performance worsens, not only in a point-to-point error sense but also, and contrary to nudging, in a statistical sense, as can be seen in the probability density functions and energy spectra.}, author = {Clark Di Leoni, Patricio and Agasthya, Lokahith N and Buzzicotti, Michele and Biferale, Luca}, issn = {1292-895X}, journal = {The European Physical Journal E}, number = {3}, publisher = {Springer Nature}, title = {{Reconstructing Rayleigh–Bénard flows out of temperature-only measurements using Physics-Informed Neural Networks}}, doi = {10.1140/epje/s10189-023-00276-9}, volume = {46}, year = {2023}, } @article{12792, abstract = {In the physics literature the spectral form factor (SFF), the squared Fourier transform of the empirical eigenvalue density, is the most common tool to test universality for disordered quantum systems, yet previous mathematical results have been restricted only to two exactly solvable models (Forrester in J Stat Phys 183:33, 2021. https://doi.org/10.1007/s10955-021-02767-5, Commun Math Phys 387:215–235, 2021. https://doi.org/10.1007/s00220-021-04193-w). We rigorously prove the physics prediction on SFF up to an intermediate time scale for a large class of random matrices using a robust method, the multi-resolvent local laws. Beyond Wigner matrices we also consider the monoparametric ensemble and prove that universality of SFF can already be triggered by a single random parameter, supplementing the recently proven Wigner–Dyson universality (Cipolloni et al. in Probab Theory Relat Fields, 2021. https://doi.org/10.1007/s00440-022-01156-7) to larger spectral scales. Remarkably, extensive numerics indicates that our formulas correctly predict the SFF in the entire slope-dip-ramp regime, as customarily called in physics.}, author = {Cipolloni, Giorgio and Erdös, László and Schröder, Dominik J}, issn = {1432-0916}, journal = {Communications in Mathematical Physics}, pages = {1665--1700}, publisher = {Springer Nature}, title = {{On the spectral form factor for random matrices}}, doi = {10.1007/s00220-023-04692-y}, volume = {401}, year = {2023}, } @phdthesis{12800, abstract = {The evolutionary processes that brought about today’s plethora of living species and the many billions more ancient ones all underlie biology. Evolutionary pathways are neither directed nor deterministic, but rather an interplay between selection, migration, mutation, genetic drift and other environmental factors. Hybrid zones, as natural crossing experiments, offer a great opportunity to use cline analysis to deduce different evolutionary processes - for example, selection strength. Theoretical cline models, largely assuming uniform distribution of individuals, often lack the capability of incorporating population structure. Since in reality organisms mostly live in patchy distributions and their dispersal is hardly ever Gaussian, it is necessary to unravel the effect of these different elements of population structure on cline parameters and shape. In this thesis, I develop a simulation inspired by the A. majus hybrid zone of a single selected locus under frequency dependent selection. This simulation enables us to untangle the effects of different elements of population structure as for example a low-density center and long-range dispersal. This thesis is therefore a first step towards theoretically untangling the effects of different elements of population structure on cline parameters and shape. }, author = {Julseth, Mara}, issn = {2791-4585}, pages = {21}, publisher = {Institute of Science and Technology Austria}, title = {{The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone}}, doi = {10.15479/at:ista:12800}, year = {2023}, } @article{12802, abstract = {Little is known about the critical metabolic changes that neural cells have to undergo during development and how temporary shifts in this program can influence brain circuitries and behavior. Inspired by the discovery that mutations in SLC7A5, a transporter of metabolically essential large neutral amino acids (LNAAs), lead to autism, we employed metabolomic profiling to study the metabolic states of the cerebral cortex across different developmental stages. We found that the forebrain undergoes significant metabolic remodeling throughout development, with certain groups of metabolites showing stage-specific changes, but what are the consequences of perturbing this metabolic program? By manipulating Slc7a5 expression in neural cells, we found that the metabolism of LNAAs and lipids are interconnected in the cortex. Deletion of Slc7a5 in neurons affects the postnatal metabolic state, leading to a shift in lipid metabolism. Additionally, it causes stage- and cell-type-specific alterations in neuronal activity patterns, resulting in a long-term circuit dysfunction.}, author = {Knaus, Lisa and Basilico, Bernadette and Malzl, Daniel and Gerykova Bujalkova, Maria and Smogavec, Mateja and Schwarz, Lena A. and Gorkiewicz, Sarah and Amberg, Nicole and Pauler, Florian and Knittl-Frank, Christian and Tassinari, Marianna and Maulide, Nuno and Rülicke, Thomas and Menche, Jörg and Hippenmeyer, Simon and Novarino, Gaia}, issn = {0092-8674}, journal = {Cell}, keywords = {General Biochemistry, Genetics and Molecular Biology}, number = {9}, pages = {1950--1967.e25}, publisher = {Elsevier}, title = {{Large neutral amino acid levels tune perinatal neuronal excitability and survival}}, doi = {10.1016/j.cell.2023.02.037}, volume = {186}, year = {2023}, } @misc{12817, abstract = {3D-reconstruction of living brain tissue down to individual synapse level would create opportunities for decoding the dynamics and structure-function relationships of the brain’s complex and dense information processing network. However, it has been hindered by insufficient 3D-resolution, inadequate signal-to-noise-ratio, and prohibitive light burden in optical imaging, whereas electron microscopy is inherently static. Here we solved these challenges by developing an integrated optical/machine learning technology, LIONESS (Live Information-Optimized Nanoscopy Enabling Saturated Segmentation). It leverages optical modifications to stimulated emission depletion (STED) microscopy in comprehensively, extracellularly labelled tissue and prior information on sample structure via machine learning to simultaneously achieve isotropic super-resolution, high signal-to-noise-ratio, and compatibility with living tissue. This allows dense deep-learning-based instance segmentation and 3D-reconstruction at synapse level incorporating molecular, activity, and morphodynamic information. LIONESS opens up avenues for studying the dynamic functional (nano-)architecture of living brain tissue.}, author = {Danzl, Johann G}, publisher = {Institute of Science and Technology Austria}, title = {{Research data for the publication "Dense 4D nanoscale reconstruction of living brain tissue"}}, doi = {10.15479/AT:ISTA:12817}, year = {2023}, } @article{12818, abstract = {The multicellular organization of diverse systems, including embryos, intestines, and tumors relies on coordinated cell migration in curved environments. In these settings, cells establish supracellular patterns of motion, including collective rotation and invasion. While such collective modes have been studied extensively in flat systems, the consequences of geometrical and topological constraints on collective migration in curved systems are largely unknown. Here, we discover a collective mode of cell migration in rotating spherical tissues manifesting as a propagating single-wavelength velocity wave. This wave is accompanied by an apparently incompressible supracellular flow pattern featuring topological defects as dictated by the spherical topology. Using a minimal active particle model, we reveal that this collective mode arises from the effect of curvature on the active flocking behavior of a cell layer confined to a spherical surface. Our results thus identify curvature-induced velocity waves as a mode of collective cell migration, impacting the dynamical organization of 3D curved tissues.}, author = {Brandstätter, Tom and Brückner, David and Han, Yu Long and Alert, Ricard and Guo, Ming and Broedersz, Chase P.}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Curvature induces active velocity waves in rotating spherical tissues}}, doi = {10.1038/s41467-023-37054-2}, volume = {14}, year = {2023}, } @article{12819, abstract = {Reaching a high cavity population with a coherent pump in the strong-coupling regime of a single-atom laser is impossible due to the photon blockade effect. In this Letter, we experimentally demonstrate that in a single-atom maser based on a transmon strongly coupled to two resonators, it is possible to pump over a dozen photons into the system. The first high-quality resonator plays the role of a usual lasing cavity, and the second one presents a controlled dissipation channel, bolstering population inversion, and modifies the energy-level structure to lift the blockade. As confirmation of the lasing action, we observe conventional laser features such as a narrowing of the emission linewidth and external signal amplification. Additionally, we report unique single-atom features: self-quenching and several lasing thresholds.}, author = {Sokolova, Alesya and Kalacheva, D. A. and Fedorov, G. P. and Astafiev, O. V.}, issn = {2469-9934}, journal = {Physical Review A}, number = {3}, publisher = {American Physical Society}, title = {{Overcoming photon blockade in a circuit-QED single-atom maser with engineered metastability and strong coupling}}, doi = {10.1103/PhysRevA.107.L031701}, volume = {107}, year = {2023}, } @misc{12820, abstract = {Disulfide bond formation is fundamentally important for protein structure, and constitutes a key mechanism by which cells regulate the intracellular oxidation state. Peroxiredoxins (PRDXs) eliminate reactive oxygen species such as hydrogen peroxide through a catalytic cycle of Cys oxidation and reduction. Additionally, upon Cys oxidation PRDXs undergo extensive conformational rearrangements that may underlie their presently structurally poorly defined functions as molecular chaperones. Rearrangements include high molecular-weight oligomerization, the dynamics of which are, however, poorly understood, as is the impact of disulfide bond formation on these properties. Here we show that formation of disulfide bonds along the catalytic cycle induces extensive microsecond time scale dynamics, as monitored by magic-angle spinning NMR of the 216 kDa-large Tsa1 decameric assembly and solution-NMR of a designed dimeric mutant. We ascribe the conformational dynamics to structural frustration, resulting from conflicts between the disulfide-constrained reduction of mobility and the desire to fulfil other favorable contacts. This data repository contains NMR data presented in the associated manuscript}, author = {Schanda, Paul}, publisher = {Institute of Science and Technology Austria}, title = {{Research data of the publication "Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR"}}, doi = {10.15479/AT:ISTA:12820}, year = {2023}, } @article{12822, abstract = {Gears and cogwheels are elemental components of machines. They restrain degrees of freedom and channel power into a specified motion. Building and powering small-scale cogwheels are key steps toward feasible micro and nanomachinery. Assembly, energy injection, and control are, however, a challenge at the microscale. In contrast with passive gears, whose function is to transmit torques from one to another, interlocking and untethered active gears have the potential to unveil dynamics and functions untapped by externally driven mechanisms. Here, it is shown the assembly and control of a family of self-spinning cogwheels with varying teeth numbers and study the interlocking of multiple cogwheels. The teeth are formed by colloidal microswimmers that power the structure. The cogwheels are autonomous and active, showing persistent rotation. Leveraging the angular momentum of optical vortices, we control the direction of rotation of the cogwheels. The pairs of interlocking and active cogwheels that roll over each other in a random walk and have curvature-dependent mobility are studied. This behavior is leveraged to self-position parts and program microbots, demonstrating the ability to pick up, direct, and release a load. The work constitutes a step toward autonomous machinery with external control as well as (re)programmable microbots and matter.}, author = {Martinet, Quentin and Aubret, Antoine and Palacci, Jérémie A}, issn = {2640-4567}, journal = {Advanced Intelligent Systems}, number = {1}, publisher = {Wiley}, title = {{Rotation control, interlocking, and self‐positioning of active cogwheels}}, doi = {10.1002/aisy.202200129}, volume = {5}, year = {2023}, } @phdthesis{12826, abstract = {During navigation, animals can infer the structure of the environment by computing the optic flow cues elicited by their own movements, and subsequently use this information to instruct proper locomotor actions. These computations require a panoramic assessment of the visual environment in order to disambiguate similar sensory experiences that may require distinct behavioral responses. The estimation of the global motion patterns is therefore essential for successful navigation. Yet, our understanding of the algorithms and implementations that enable coherent panoramic visual perception remains scarce. Here I pursue this problem by dissecting the functional aspects of interneuronal communication in the lobula plate tangential cell network in Drosophila melanogaster. The results presented in the thesis demonstrate that the basis for effective interpretation of the optic flow in this circuit are stereotyped synaptic connections that mediate the formation of distinct subnetworks, each extracting a particular pattern of global motion. Firstly, I show that gap junctions are essential for a correct interpretation of binocular motion cues by horizontal motion-sensitive cells. HS cells form electrical synapses with contralateral H2 neurons that are involved in detecting yaw rotation and translation. I developed an FlpStop-mediated mutant of a gap junction protein ShakB that disrupts these electrical synapses. While the loss of electrical synapses does not affect the tuning of the direction selectivity in HS neurons, it severely alters their sensitivity to horizontal motion in the contralateral side. These physiological changes result in an inappropriate integration of binocular motion cues in walking animals. While wild-type flies form a binocular perception of visual motion by non-linear integration of monocular optic flow cues, the mutant flies sum the monocular inputs linearly. These results indicate that rather than averaging signals in neighboring neurons, gap-junctions operate in conjunction with chemical synapses to mediate complex non-linear optic flow computations. Secondly, I show that stochastic manipulation of neuronal activity in the lobula plate tangential cell network is a powerful approach to study the neuronal implementation of optic flow-based navigation in flies. Tangential neurons form multiple subnetworks, each mediating course-stabilizing response to a particular global pattern of visual motion. Application of genetic mosaic techniques can provide sparse optogenetic activation of HS cells in numerous combinations. These distinct combinations of activated neurons drive an array of distinct behavioral responses, providing important insights into how visuomotor transformation is performed in the lobula plate tangential cell network. This approach can be complemented by stochastic silencing of tangential neurons, enabling direct assessment of the functional role of individual tangential neurons in the processing of specific visual motion patterns. Taken together, the findings presented in this thesis suggest that establishing specific activity patterns of tangential cells via stereotyped synaptic connectivity is a key to efficient optic flow-based navigation in Drosophila melanogaster.}, author = {Pokusaeva, Victoria}, issn = {2663 - 337X}, pages = {106}, publisher = {Institute of Science and Technology Austria}, title = {{Neural control of optic flow-based navigation in Drosophila melanogaster}}, doi = {10.15479/at:ista:12826}, year = {2023}, } @article{12830, abstract = {Interstitial fluid (IF) accumulation between embryonic cells is thought to be important for embryo patterning and morphogenesis. Here, we identify a positive mechanical feedback loop between cell migration and IF relocalization and find that it promotes embryonic axis formation during zebrafish gastrulation. We show that anterior axial mesendoderm (prechordal plate [ppl]) cells, moving in between the yolk cell and deep cell tissue to extend the embryonic axis, compress the overlying deep cell layer, thereby causing IF to flow from the deep cell layer to the boundary between the yolk cell and the deep cell layer, directly ahead of the advancing ppl. This IF relocalization, in turn, facilitates ppl cell protrusion formation and migration by opening up the space into which the ppl moves and, thereby, the ability of the ppl to trigger IF relocalization by pushing against the overlying deep cell layer. Thus, embryonic axis formation relies on a hydraulic feedback loop between cell migration and IF relocalization.}, author = {Huljev, Karla and Shamipour, Shayan and Nunes Pinheiro, Diana C and Preusser, Friedrich and Steccari, Irene and Sommer, Christoph M and Naik, Suyash and Heisenberg, Carl-Philipp J}, issn = {1878-1551}, journal = {Developmental Cell}, number = {7}, pages = {582--596.e7}, publisher = {Elsevier}, title = {{A hydraulic feedback loop between mesendoderm cell migration and interstitial fluid relocalization promotes embryonic axis formation in zebrafish}}, doi = {10.1016/j.devcel.2023.02.016}, volume = {58}, year = {2023}, } @article{12831, abstract = {The angulon, a quasiparticle formed by a quantum rotor dressed by the excitations of a many-body bath, can be used to describe an impurity rotating in a fluid or solid environment. Here, we propose a coherent state ansatz in the co-rotating frame, which provides a comprehensive theoretical description of angulons. We reveal the quasiparticle properties, such as energies, quasiparticle weights, and spectral functions, and show that our ansatz yields a persistent decrease in the impurity’s rotational constant due to many-body dressing, which is consistent with experimental observations. From our study, a picture of the angulon emerges as an effective spin interacting with a magnetic field that is self-consistently generated by the molecule’s rotation. Moreover, we discuss rotational spectroscopy, which focuses on the response of rotating molecules to a laser perturbation in the linear response regime. Importantly, we take into account initial-state interactions that have been neglected in prior studies and reveal their impact on the excitation spectrum. To examine the angulon instability regime, we use a single-excitation ansatz and obtain results consistent with experiments, in which a broadening of spectral lines is observed while phonon wings remain highly suppressed due to initial-state interactions.}, author = {Zeng, Zhongda and Yakaboylu, Enderalp and Lemeshko, Mikhail and Shi, Tao and Schmidt, Richard}, issn = {1089-7690}, journal = {The Journal of Chemical Physics}, number = {13}, publisher = {American Institute of Physics}, title = {{Variational theory of angulons and their rotational spectroscopy}}, doi = {10.1063/5.0135893}, volume = {158}, year = {2023}, } @article{12833, abstract = {The input to the token swapping problem is a graph with vertices v1, v2, . . . , vn, and n tokens with labels 1,2, . . . , n, one on each vertex. The goal is to get token i to vertex vi for all i= 1, . . . , n using a minimum number of swaps, where a swap exchanges the tokens on the endpoints of an edge.Token swapping on a tree, also known as “sorting with a transposition tree,” is not known to be in P nor NP-complete. We present some partial results: 1. An optimum swap sequence may need to perform a swap on a leaf vertex that has the correct token (a “happy leaf”), disproving a conjecture of Vaughan. 2. Any algorithm that fixes happy leaves—as all known approximation algorithms for the problem do—has approximation factor at least 4/3. Furthermore, the two best-known 2-approximation algorithms have approximation factor exactly 2. 3. A generalized problem—weighted coloured token swapping—is NP-complete on trees, but solvable in polynomial time on paths and stars. In this version, tokens and vertices have colours, and colours have weights. The goal is to get every token to a vertex of the same colour, and the cost of a swap is the sum of the weights of the two tokens involved.}, author = {Biniaz, Ahmad and Jain, Kshitij and Lubiw, Anna and Masárová, Zuzana and Miltzow, Tillmann and Mondal, Debajyoti and Naredla, Anurag Murty and Tkadlec, Josef and Turcotte, Alexi}, issn = {1365-8050}, journal = {Discrete Mathematics and Theoretical Computer Science}, number = {2}, publisher = {EPI Sciences}, title = {{Token swapping on trees}}, doi = {10.46298/DMTCS.8383}, volume = {24}, year = {2023}, } @article{12836, abstract = {Coherent control and manipulation of quantum degrees of freedom such as spins forms the basis of emerging quantum technologies. In this context, the robust valley degree of freedom and the associated valley pseudospin found in two-dimensional transition metal dichalcogenides is a highly attractive platform. Valley polarization and coherent superposition of valley states have been observed in these systems even up to room temperature. Control of valley coherence is an important building block for the implementation of valley qubit. Large magnetic fields or high-power lasers have been used in the past to demonstrate the control (initialization and rotation) of the valley coherent states. Here, the control of layer–valley coherence via strong coupling of valley excitons in bilayer WS2 to microcavity photons is demonstrated by exploiting the pseudomagnetic field arising in optical cavities owing to the transverse electric–transverse magnetic (TE–TM)mode splitting. The use of photonic structures to generate pseudomagnetic fields which can be used to manipulate exciton-polaritons presents an attractive approach to control optical responses without the need for large magnets or high-intensity optical pump powers.}, author = {Khatoniar, Mandeep and Yama, Nicholas and Ghazaryan, Areg and Guddala, Sriram and Ghaemi, Pouyan and Majumdar, Kausik and Menon, Vinod}, issn = {2195-1071}, journal = {Advanced Optical Materials}, number = {13}, publisher = {Wiley}, title = {{Optical manipulation of Layer–Valley coherence via strong exciton–photon coupling in microcavities}}, doi = {10.1002/adom.202202631}, volume = {11}, year = {2023}, } @article{12837, abstract = {As developing tissues grow in size and undergo morphogenetic changes, their material properties may be altered. Such changes result from tension dynamics at cell contacts or cellular jamming. Yet, in many cases, the cellular mechanisms controlling the physical state of growing tissues are unclear. We found that at early developmental stages, the epithelium in the developing mouse spinal cord maintains both high junctional tension and high fluidity. This is achieved via a mechanism in which interkinetic nuclear movements generate cell area dynamics that drive extensive cell rearrangements. Over time, the cell proliferation rate declines, effectively solidifying the tissue. Thus, unlike well-studied jamming transitions, the solidification uncovered here resembles a glass transition that depends on the dynamical stresses generated by proliferation and differentiation. Our finding that the fluidity of developing epithelia is linked to interkinetic nuclear movements and the dynamics of growth is likely to be relevant to multiple developing tissues.}, author = {Bocanegra, Laura and Singh, Amrita and Hannezo, Edouard B and Zagórski, Marcin P and Kicheva, Anna}, issn = {1745-2481}, journal = {Nature Physics}, pages = {1050--1058}, publisher = {Springer Nature}, title = {{Cell cycle dynamics control fluidity of the developing mouse neuroepithelium}}, doi = {10.1038/s41567-023-01977-w}, volume = {19}, year = {2023}, } @article{12838, abstract = {We study the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let N > 0 and L ∈ Z ≽2 . A multiple packing is a set C of points in R n such that any point in R n lies in the intersection of at most L – 1 balls of radius √ nN around points in C . Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive the best known lower bounds on the optimal density of list-decodable infinite constellations for constant L under a stronger notion called average-radius multiple packing. To this end, we apply tools from high-dimensional geometry and large deviation theory.}, author = {Zhang, Yihan and Vatedka, Shashank}, issn = {1557-9654}, journal = {IEEE Transactions on Information Theory}, number = {7}, pages = {4513--4527}, publisher = {IEEE}, title = {{Multiple packing: Lower bounds via infinite constellations}}, doi = {10.1109/TIT.2023.3260950}, volume = {69}, year = {2023}, } @article{12839, abstract = {Universal nonequilibrium properties of isolated quantum systems are typically probed by studying transport of conserved quantities, such as charge or spin, while transport of energy has received considerably less attention. Here, we study infinite-temperature energy transport in the kinetically constrained PXP model describing Rydberg atom quantum simulators. Our state-of-the-art numerical simulations, including exact diagonalization and time-evolving block decimation methods, reveal the existence of two distinct transport regimes. At moderate times, the energy-energy correlation function displays periodic oscillations due to families of eigenstates forming different su(2) representations hidden within the spectrum. These families of eigenstates generalize the quantum many-body scarred states found in previous works and leave an imprint on the infinite-temperature energy transport. At later times, we observe a long-lived superdiffusive transport regime that we attribute to the proximity of a nearby integrable point. While generic strong deformations of the PXP model indeed restore diffusive transport, adding a strong chemical potential intriguingly gives rise to a well-converged superdiffusive exponent z≈3/2. Our results suggest constrained models to be potential hosts of novel transport regimes and call for developing an analytic understanding of their energy transport.}, author = {Ljubotina, Marko and Desaules, Jean Yves and Serbyn, Maksym and Papić, Zlatko}, issn = {2160-3308}, journal = {Physical Review X}, number = {1}, publisher = {American Physical Society}, title = {{Superdiffusive energy transport in kinetically constrained models}}, doi = {10.1103/PhysRevX.13.011033}, volume = {13}, year = {2023}, } @unpublished{12846, abstract = {We present a formula for the signed area of a spherical polygon via prequantization. In contrast to the traditional formula based on the Gauss-Bonnet theorem that requires measuring angles, the new formula mimics Green's theorem and is applicable to a wider range of degenerate spherical curves and polygons.}, author = {Chern, Albert and Ishida, Sadashige}, booktitle = {arXiv}, title = {{Area formula for spherical polygons via prequantization}}, doi = {10.48550/arXiv.2303.14555}, year = {2023}, } @inproceedings{12854, abstract = {The main idea behind BUBAAK is to run multiple program analyses in parallel and use runtime monitoring and enforcement to observe and control their progress in real time. The analyses send information about (un)explored states of the program and discovered invariants to a monitor. The monitor processes the received data and can force an analysis to stop the search of certain program parts (which have already been analyzed by other analyses), or to make it utilize a program invariant found by another analysis. At SV-COMP 2023, the implementation of data exchange between the monitor and the analyses was not yet completed, which is why BUBAAK only ran several analyses in parallel, without any coordination. Still, BUBAAK won the meta-category FalsificationOverall and placed very well in several other (sub)-categories of the competition.}, author = {Chalupa, Marek and Henzinger, Thomas A}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, isbn = {9783031308192}, issn = {1611-3349}, location = {Paris, France}, pages = {535--540}, publisher = {Springer Nature}, title = {{Bubaak: Runtime monitoring of program verifiers}}, doi = {10.1007/978-3-031-30820-8_32}, volume = {13994}, year = {2023}, }