@article{13118, abstract = {Under high pressures and temperatures, molecular systems with substantial polarization charges, such as ammonia and water, are predicted to form superionic phases and dense fluid states with dissociating molecules and high electrical conductivity. This behaviour potentially plays a role in explaining the origin of the multipolar magnetic fields of Uranus and Neptune, whose mantles are thought to result from a mixture of H2O, NH3 and CH4 ices. Determining the stability domain, melting curve and electrical conductivity of these superionic phases is therefore crucial for modelling planetary interiors and dynamos. Here we report the melting curve of superionic ammonia up to 300 GPa from laser-driven shock compression of pre-compressed samples and atomistic calculations. We show that ammonia melts at lower temperatures than water above 100 GPa and that fluid ammonia’s electrical conductivity exceeds that of water at conditions predicted by hot, super-adiabatic models for Uranus and Neptune, and enhances the conductivity in their fluid water-rich dynamo layers.}, author = {Hernandez, J.-A. and Bethkenhagen, Mandy and Ninet, S. and French, M. and Benuzzi-Mounaix, A. and Datchi, F. and Guarguaglini, M. and Lefevre, F. and Occelli, F. and Redmer, R. and Vinci, T. and Ravasio, A.}, issn = {1745-2481}, journal = {Nature Physics}, pages = {1280--1285}, publisher = {Springer Nature}, title = {{Melting curve of superionic ammonia at planetary interior conditions}}, doi = {10.1038/s41567-023-02074-8}, volume = {19}, year = {2023}, } @article{13119, abstract = {A density wave (DW) is a fundamental type of long-range order in quantum matter tied to self-organization into a crystalline structure. The interplay of DW order with superfluidity can lead to complex scenarios that pose a great challenge to theoretical analysis. In the past decades, tunable quantum Fermi gases have served as model systems for exploring the physics of strongly interacting fermions, including most notably magnetic ordering1, pairing and superfluidity2, and the crossover from a Bardeen–Cooper–Schrieffer superfluid to a Bose–Einstein condensate3. Here, we realize a Fermi gas featuring both strong, tunable contact interactions and photon-mediated, spatially structured long-range interactions in a transversely driven high-finesse optical cavity. Above a critical long-range interaction strength, DW order is stabilized in the system, which we identify via its superradiant light-scattering properties. We quantitatively measure the variation of the onset of DW order as the contact interaction is varied across the Bardeen–Cooper–Schrieffer superfluid and Bose–Einstein condensate crossover, in qualitative agreement with a mean-field theory. The atomic DW susceptibility varies over an order of magnitude upon tuning the strength and the sign of the long-range interactions below the self-ordering threshold, demonstrating independent and simultaneous control over the contact and long-range interactions. Therefore, our experimental setup provides a fully tunable and microscopically controllable platform for the experimental study of the interplay of superfluidity and DW order.}, author = {Helson, Victor and Zwettler, Timo and Mivehvar, Farokh and Colella, Elvia and Roux, Kevin Etienne Robert and Konishi, Hideki and Ritsch, Helmut and Brantut, Jean Philippe}, issn = {1476-4687}, journal = {Nature}, pages = {716--720}, publisher = {Springer Nature}, title = {{Density-wave ordering in a unitary Fermi gas with photon-mediated interactions}}, doi = {10.1038/s41586-023-06018-3}, volume = {618}, year = {2023}, } @misc{13122, abstract = {Data for submitted article "Entangling microwaves with light" at arXiv:2301.03315v1}, author = {Sahu, Rishabh}, publisher = {Zenodo}, title = {{Entangling microwaves with light}}, doi = {10.5281/ZENODO.7789417}, year = {2023}, } @misc{13124, abstract = {This dataset comprises all data shown in the figures of the submitted article "Tunable directional photon scattering from a pair of superconducting qubits" at arXiv:2205.03293. Additional raw data are available from the corresponding author on reasonable request.}, author = {Redchenko, Elena and Poshakinskiy, Alexander and Sett, Riya and Zemlicka, Martin and Poddubny, Alexander and Fink, Johannes M}, publisher = {Zenodo}, title = {{Tunable directional photon scattering from a pair of superconducting qubits}}, doi = {10.5281/ZENODO.7858567}, year = {2023}, } @misc{13126, abstract = {Mapping the complex and dense arrangement of cells and their connectivity in brain tissue demands nanoscale spatial resolution imaging. Super-resolution optical microscopy excels at visualizing specific molecules and individual cells but fails to provide tissue context. Here, we developed Comprehensive Analysis of Tissues across Scales (CATS), a technology to densely map brain tissue architecture from millimeter regional to nanometer synaptic scales in diverse chemically fixed brain preparations, including rodent and human. CATS uses fixation-compatible extracellular labeling and optical imaging, including stimulated emission depletion or expansion microscopy, to comprehensively delineate cellular structures. It enables three-dimensional reconstruction of single synapses and mapping of synaptic connectivity by identification and analysis of putative synaptic cleft regions. Applying CATS to the mouse hippocampal mossy fiber circuitry, we reconstructed and quantified the synaptic input and output structure of identified neurons. We furthermore demonstrate applicability to clinically derived human tissue samples, including formalin-fixed paraffin-embedded routine diagnostic specimens, for visualizing the cellular architecture of brain tissue in health and disease.}, author = {Danzl, Johann G}, publisher = {Institute of Science and Technology Austria}, title = {{Research data for the publication "Imaging brain tissue architecture across millimeter to nanometer scales"}}, doi = {10.15479/AT:ISTA:13126}, year = {2023}, } @article{13127, abstract = {Cooperative disease defense emerges as group-level collective behavior, yet how group members make the underlying individual decisions is poorly understood. Using garden ants and fungal pathogens as an experimental model, we derive the rules governing individual ant grooming choices and show how they produce colony-level hygiene. Time-resolved behavioral analysis, pathogen quantification, and probabilistic modeling reveal that ants increase grooming and preferentially target highly-infectious individuals when perceiving high pathogen load, but transiently suppress grooming after having been groomed by nestmates. Ants thus react to both, the infectivity of others and the social feedback they receive on their own contagiousness. While inferred solely from momentary ant decisions, these behavioral rules quantitatively predict hour-long experimental dynamics, and synergistically combine into efficient colony-wide pathogen removal. Our analyses show that noisy individual decisions based on only local, incomplete, yet dynamically-updated information on pathogen threat and social feedback can lead to potent collective disease defense.}, author = {Casillas Perez, Barbara E and Bod'Ová, Katarína and Grasse, Anna V and Tkačik, Gašper and Cremer, Sylvia}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Dynamic pathogen detection and social feedback shape collective hygiene in ants}}, doi = {10.1038/s41467-023-38947-y}, volume = {14}, year = {2023}, } @article{13128, abstract = {Given A⊆GL2(Fq), we prove that there exist disjoint subsets B,C⊆A such that A=B⊔C and their additive and multiplicative energies satisfying max{E+(B),E×(C)}≪|A|3/M(|A|), where M(|A|)=min{q4/3/|A|1/3(log|A|)2/3,|A|4/5/q13/5(log|A|)27/10}. We also study some related questions on moderate expanders over matrix rings, namely, for A,B,C⊆GL2(Fq), we have |AB+C|, |(A+B)C|≫q4, whenever |A||B||C|≫q10+1/2. These improve earlier results due to Karabulut, Koh, Pham, Shen, and Vinh ([2019], Expanding phenomena over matrix rings, ForumMath., 31, 951–970). }, author = {Mohammadi, Ali and Pham, Thang and Wang, Yiting}, issn = {1496-4287}, journal = {Canadian Mathematical Bulletin}, number = {4}, pages = {1280--1295}, publisher = {Cambridge University Press}, title = {{An energy decomposition theorem for matrices and related questions}}, doi = {10.4153/S000843952300036X}, volume = {66}, year = {2023}, } @article{13134, abstract = {We propose a characterization of discrete analytical spheres, planes and lines in the body-centered cubic (BCC) grid, both in the Cartesian and in the recently proposed alternative compact coordinate system, in which each integer triplet addresses some voxel in the grid. We define spheres and planes through double Diophantine inequalities and investigate their relevant topological features, such as functionality or the interrelation between the thickness of the objects and their connectivity and separation properties. We define lines as the intersection of planes. The number of the planes (up to six) is equal to the number of the pairs of faces of a BCC voxel that are parallel to the line.}, author = {Čomić, Lidija and Largeteau-Skapin, Gaëlle and Zrour, Rita and Biswas, Ranita and Andres, Eric}, issn = {0031-3203}, journal = {Pattern Recognition}, number = {10}, publisher = {Elsevier}, title = {{Discrete analytical objects in the body-centered cubic grid}}, doi = {10.1016/j.patcog.2023.109693}, volume = {142}, year = {2023}, } @article{13135, abstract = {In this paper we consider a class of stochastic reaction-diffusion equations. We provide local well-posedness, regularity, blow-up criteria and positivity of solutions. The key novelties of this work are related to the use transport noise, critical spaces and the proof of higher order regularity of solutions – even in case of non-smooth initial data. Crucial tools are Lp(Lp)-theory, maximal regularity estimates and sharp blow-up criteria. We view the results of this paper as a general toolbox for establishing global well-posedness for a large class of reaction-diffusion systems of practical interest, of which many are completely open. In our follow-up work [8], the results of this paper are applied in the specific cases of the Lotka-Volterra equations and the Brusselator model.}, author = {Agresti, Antonio and Veraar, Mark}, issn = {1090-2732}, journal = {Journal of Differential Equations}, number = {9}, pages = {247--300}, publisher = {Elsevier}, title = {{Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity}}, doi = {10.1016/j.jde.2023.05.038}, volume = {368}, year = {2023}, } @article{13138, abstract = {We consider the spin- 1 2 Heisenberg chain (XXX model) weakly perturbed away from integrability by an isotropic next-to-nearest neighbor exchange interaction. Recently, it was conjectured that this model possesses an infinite tower of quasiconserved integrals of motion (charges) [D. Kurlov et al., Phys. Rev. B 105, 104302 (2022)]. In this work we first test this conjecture by investigating how the norm of the adiabatic gauge potential (AGP) scales with the system size, which is known to be a remarkably accurate measure of chaos. We find that for the perturbed XXX chain the behavior of the AGP norm corresponds to neither an integrable nor a chaotic regime, which supports the conjectured quasi-integrability of the model. We then prove the conjecture and explicitly construct the infinite set of quasiconserved charges. Our proof relies on the fact that the XXX chain perturbed by next-to-nearest exchange interaction can be viewed as a truncation of an integrable long-range deformation of the Heisenberg spin chain.}, author = {Orlov, Pavel and Tiutiakina, Anastasiia and Sharipov, Rustem and Petrova, Elena and Gritsev, Vladimir and Kurlov, Denis V.}, issn = {2469-9969}, journal = {Physical Review B}, number = {18}, publisher = {American Physical Society}, title = {{Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain}}, doi = {10.1103/PhysRevB.107.184312}, volume = {107}, year = {2023}, } @inproceedings{13139, abstract = {A classical problem for Markov chains is determining their stationary (or steady-state) distribution. This problem has an equally classical solution based on eigenvectors and linear equation systems. However, this approach does not scale to large instances, and iterative solutions are desirable. It turns out that a naive approach, as used by current model checkers, may yield completely wrong results. We present a new approach, which utilizes recent advances in partial exploration and mean payoff computation to obtain a correct, converging approximation.}, author = {Meggendorfer, Tobias}, booktitle = {TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems}, isbn = {9783031308222}, issn = {1611-3349}, location = {Paris, France}, pages = {489--507}, publisher = {Springer Nature}, title = {{Correct approximation of stationary distributions}}, doi = {10.1007/978-3-031-30823-9_25}, volume = {13993}, year = {2023}, } @inproceedings{13141, abstract = {We automatically compute a new class of environment assumptions in two-player turn-based finite graph games which characterize an “adequate cooperation” needed from the environment to allow the system player to win. Given an ω-regular winning condition Φ for the system player, we compute an ω-regular assumption Ψ for the environment player, such that (i) every environment strategy compliant with Ψ allows the system to fulfill Φ (sufficiency), (ii) Ψ can be fulfilled by the environment for every strategy of the system (implementability), and (iii) Ψ does not prevent any cooperative strategy choice (permissiveness). For parity games, which are canonical representations of ω-regular games, we present a polynomial-time algorithm for the symbolic computation of adequately permissive assumptions and show that our algorithm runs faster and produces better assumptions than existing approaches—both theoretically and empirically. To the best of our knowledge, for ω -regular games, we provide the first algorithm to compute sufficient and implementable environment assumptions that are also permissive.}, author = {Anand, Ashwani and Mallik, Kaushik and Nayak, Satya Prakash and Schmuck, Anne Kathrin}, booktitle = {TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems}, isbn = {9783031308192}, issn = {1611-3349}, location = {Paris, France}, pages = {211--228}, publisher = {Springer Nature}, title = {{Computing adequately permissive assumptions for synthesis}}, doi = {10.1007/978-3-031-30820-8_15}, volume = {13994}, year = {2023}, } @inproceedings{13142, abstract = {Reinforcement learning has received much attention for learning controllers of deterministic systems. We consider a learner-verifier framework for stochastic control systems and survey recent methods that formally guarantee a conjunction of reachability and safety properties. Given a property and a lower bound on the probability of the property being satisfied, our framework jointly learns a control policy and a formal certificate to ensure the satisfaction of the property with a desired probability threshold. Both the control policy and the formal certificate are continuous functions from states to reals, which are learned as parameterized neural networks. While in the deterministic case, the certificates are invariant and barrier functions for safety, or Lyapunov and ranking functions for liveness, in the stochastic case the certificates are supermartingales. For certificate verification, we use interval arithmetic abstract interpretation to bound the expected values of neural network functions.}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A and Lechner, Mathias and Zikelic, Dorde}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems }, isbn = {9783031308222}, issn = {1611-3349}, location = {Paris, France}, pages = {3--25}, publisher = {Springer Nature}, title = {{A learner-verifier framework for neural network controllers and certificates of stochastic systems}}, doi = {10.1007/978-3-031-30823-9_1}, volume = {13993}, year = {2023}, } @inproceedings{13143, abstract = {GIMPS and PrimeGrid are large-scale distributed projects dedicated to searching giant prime numbers, usually of special forms like Mersenne and Proth primes. The numbers in the current search-space are millions of digits large and the participating volunteers need to run resource-consuming primality tests. Once a candidate prime N has been found, the only way for another party to independently verify the primality of N used to be by repeating the expensive primality test. To avoid the need for second recomputation of each primality test, these projects have recently adopted certifying mechanisms that enable efficient verification of performed tests. However, the mechanisms presently in place only detect benign errors and there is no guarantee against adversarial behavior: a malicious volunteer can mislead the project to reject a giant prime as being non-prime. In this paper, we propose a practical, cryptographically-sound mechanism for certifying the non-primality of Proth numbers. That is, a volunteer can – parallel to running the primality test for N – generate an efficiently verifiable proof at a little extra cost certifying that N is not prime. The interactive protocol has statistical soundness and can be made non-interactive using the Fiat-Shamir heuristic. Our approach is based on a cryptographic primitive called Proof of Exponentiation (PoE) which, for a group G, certifies that a tuple (x,y,T)∈G2×N satisfies x2T=y (Pietrzak, ITCS 2019 and Wesolowski, J. Cryptol. 2020). In particular, we show how to adapt Pietrzak’s PoE at a moderate additional cost to make it a cryptographically-sound certificate of non-primality.}, author = {Hoffmann, Charlotte and Hubáček, Pavel and Kamath, Chethan and Pietrzak, Krzysztof Z}, booktitle = {Public-Key Cryptography - PKC 2023}, isbn = {9783031313677}, issn = {1611-3349}, location = {Atlanta, GA, United States}, pages = {530--553}, publisher = {Springer Nature}, title = {{Certifying giant nonprimes}}, doi = {10.1007/978-3-031-31368-4_19}, volume = {13940}, year = {2023}, } @article{13145, abstract = {We prove a characterization of the Dirichlet–Ferguson measure over an arbitrary finite diffuse measure space. We provide an interpretation of this characterization in analogy with the Mecke identity for Poisson point processes.}, author = {Dello Schiavo, Lorenzo and Lytvynov, Eugene}, issn = {1083-589X}, journal = {Electronic Communications in Probability}, pages = {1--12}, publisher = {Institute of Mathematical Statistics}, title = {{A Mecke-type characterization of the Dirichlet–Ferguson measure}}, doi = {10.1214/23-ECP528}, volume = {28}, year = {2023}, } @inproceedings{13161, author = {Schlögl, Alois and Elefante, Stefano and Hodirnau, Victor-Valentin}, booktitle = {ASHPC23 - Austrian-Slovenian HPC Meeting 2023}, location = {Maribor, Slovenia}, pages = {59--59}, publisher = {EuroCC}, title = {{Running Windows-applications on a Linux HPC cluster using WINE}}, year = {2023}, } @inproceedings{13162, author = {Elefante, Stefano and Stadlbauer, Stephan and Alexander, Michael F and Schlögl, Alois}, booktitle = {ASHPC23 - Austrian-Slovenian HPC Meeting 2023}, location = {Maribor, Slovenia}, pages = {42--42}, publisher = {EuroCC}, title = {{Cryo-EM software packages: A sys-admins point of view}}, year = {2023}, } @article{13164, abstract = {Molecular compatibility between gametes is a prerequisite for successful fertilization. As long as a sperm and egg can recognize and bind each other via their surface proteins, gamete fusion may occur even between members of separate species, resulting in hybrids that can impact speciation. The egg membrane protein Bouncer confers species specificity to gamete interactions between medaka and zebrafish, preventing their cross-fertilization. Here, we leverage this specificity to uncover distinct amino acid residues and N-glycosylation patterns that differentially influence the function of medaka and zebrafish Bouncer and contribute to cross-species incompatibility. Curiously, in contrast to the specificity observed for medaka and zebrafish Bouncer, seahorse and fugu Bouncer are compatible with both zebrafish and medaka sperm, in line with the pervasive purifying selection that dominates Bouncer’s evolution. The Bouncer-sperm interaction is therefore the product of seemingly opposing evolutionary forces that, for some species, restrict fertilization to closely related fish, and for others, allow broad gamete compatibility that enables hybridization.}, author = {Gert, Krista R.B. and Panser, Karin and Surm, Joachim and Steinmetz, Benjamin S. and Schleiffer, Alexander and Jovine, Luca and Moran, Yehu and Kondrashov, Fyodor and Pauli, Andrea}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries}}, doi = {10.1038/s41467-023-39317-4}, volume = {14}, year = {2023}, } @article{13165, abstract = {A graph G=(V, E) is called fully regular if for every independent set I c V, the number of vertices in V\I that are not connected to any element of I depends only on the size of I. A linear ordering of the vertices of G is called successive if for every i, the first i vertices induce a connected subgraph of G. We give an explicit formula for the number of successive vertex orderings of a fully regular graph. As an application of our results, we give alternative proofs of two theorems of Stanley and Gao & Peng, determining the number of linear edge orderings of complete graphs and complete bipartite graphs, respectively, with the property that the first i edges induce a connected subgraph. As another application, we give a simple product formula for the number of linear orderings of the hyperedges of a complete 3-partite 3-uniform hypergraph such that, for every i, the first i hyperedges induce a connected subgraph. We found similar formulas for complete (non-partite) 3-uniform hypergraphs and in another closely related case, but we managed to verify them only when the number of vertices is small.}, author = {Fang, Lixing and Huang, Hao and Pach, János and Tardos, Gábor and Zuo, Junchi}, issn = {1096-0899}, journal = {Journal of Combinatorial Theory. Series A}, number = {10}, publisher = {Elsevier}, title = {{Successive vertex orderings of fully regular graphs}}, doi = {10.1016/j.jcta.2023.105776}, volume = {199}, year = {2023}, } @article{13166, abstract = {Brachyury, a member of T-box gene family, is widely known for its major role in mesoderm specification in bilaterians. It is also present in non-bilaterian metazoans, such as cnidarians, where it acts as a component of an axial patterning system. In this study, we present a phylogenetic analysis of Brachyury genes within phylum Cnidaria, investigate differential expression and address a functional framework of Brachyury paralogs in hydrozoan Dynamena pumila. Our analysis indicates two duplication events of Brachyury within the cnidarian lineage. The first duplication likely appeared in the medusozoan ancestor, resulting in two copies in medusozoans, while the second duplication arose in the hydrozoan ancestor, resulting in three copies in hydrozoans. Brachyury1 and 2 display a conservative expression pattern marking the oral pole of the body axis in D. pumila. On the contrary, Brachyury3 expression was detected in scattered presumably nerve cells of the D. pumila larva. Pharmacological modulations indicated that Brachyury3 is not under regulation of cWnt signaling in contrast to the other two Brachyury genes. Divergence in expression patterns and regulation suggest neofunctionalization of Brachyury3 in hydrozoans.}, author = {Vetrova, Alexandra A. and Kupaeva, Daria M. and Kizenko, Alena and Lebedeva, Tatiana S. and Walentek, Peter and Tsikolia, Nikoloz and Kremnyov, Stanislav V.}, issn = {2045-2322}, journal = {Scientific Reports}, publisher = {Springer Nature}, title = {{The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization}}, doi = {10.1038/s41598-023-35979-8}, volume = {13}, year = {2023}, }