@article{13106,
  abstract     = {Quantum entanglement is a key resource in currently developed quantum technologies. Sharing this fragile property between superconducting microwave circuits and optical or atomic systems would enable new functionalities, but this has been hindered by an energy scale mismatch of >104 and the resulting mutually imposed loss and noise. In this work, we created and verified entanglement between microwave and optical fields in a millikelvin environment. Using an optically pulsed superconducting electro-optical device, we show entanglement between propagating microwave and optical fields in the continuous variable domain. This achievement not only paves the way for entanglement between superconducting circuits and telecom wavelength light, but also has wide-ranging implications for hybrid quantum networks in the context of modularization, scaling, sensing, and cross-platform verification.},
  author       = {Sahu, Rishabh and Qiu, Liu and Hease, William J and Arnold, Georg M and Minoguchi, Y. and Rabl, P. and Fink, Johannes M},
  issn         = {1095-9203},
  journal      = {Science},
  keywords     = {Multidisciplinary},
  number       = {6646},
  pages        = {718--721},
  publisher    = {American Association for the Advancement of Science},
  title        = {{Entangling microwaves with light}},
  doi          = {10.1126/science.adg3812},
  volume       = {380},
  year         = {2023},
}

@phdthesis{13107,
  abstract     = {Within the human body, the brain exhibits the highest rate of energy consumption amongst all organs, with the majority of generated ATP being utilized to sustain neuronal activity. Therefore, the metabolism of the mature cerebral cortex is geared towards preserving metabolic homeostasis whilst generating significant amounts of energy. This requires a precise interplay between diverse metabolic pathways, spanning from a tissue-wide scale to the level of individual neurons. Disturbances to this delicate metabolic equilibrium, such as those resulting from maternal malnutrition
or mutations affecting metabolic enzymes, often result in neuropathological variants of neurodevelopment. For instance, mutations in SLC7A5, a transporter of metabolically essential large neutral amino acids (LNAAs), have been associated with autism and microcephaly. However, despite recent progress in the field, the extent of metabolic restructuring that occurs within the developing brain and the corresponding alterations in nutrient demands during various critical periods remain largely unknown. To investigate this, we performed metabolomic profiling of the murine cerebral cortex to characterize the metabolic state of the forebrain at different developmental stages. We found that the developing cortex undergoes substantial metabolic reprogramming, with specific sets of metabolites displaying stage-specific changes. According to our observations, we determined a distinct temporal period in postnatal development during which the cortex displays heightened reliance on LNAAs. Hence, using a conditional knock-out mouse model, we deleted Slc7a5 in neural cells, allowing us to monitor the impact of a perturbed neuronal metabolic state across multiple developmental stages of corticogenesis. We found that manipulating the levels of essential LNAAs in cortical neurons in vivo affects one particular perinatal developmental period critical for cortical network refinement. Abnormally low intracellular LNAA levels result in cell-autonomous alterations in neuronal lipid metabolism, excitability, and survival during this particular time window. Although most of the effects of Slc7a5 deletion on neuronal physiology are transient, derailment of these processes during this brief but crucial window leads to long-term circuit dysfunction in mice. In conclusion, out data indicate that the cerebral cortex undergoes significant metabolic reorganization during development. This process involves the intricate integration of multiple metabolic pathways to ensure optimal neuronal function throughout different developmental stages. Our findings offer a paradigm for understanding how neurons synchronize the expression of nutrient-related genes with their activity to allow proper brain maturation. Further, our results demonstrate that disruptions in these precisely calibrated metabolic processes during critical periods of brain development may result in neuropathological outcomes in mice and in humans.},
  author       = {Knaus, Lisa},
  issn         = {2663-337X},
  pages        = {147},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival}},
  doi          = {10.15479/at:ista:13107},
  year         = {2023},
}

@misc{13116,
  abstract     = {The emergence of large-scale order in self-organized systems relies on local interactions between individual components. During bacterial cell division, FtsZ -- a prokaryotic homologue of the eukaryotic protein tubulin -- polymerizes into treadmilling filaments that further organize into a cytoskeletal ring. In vitro, FtsZ filaments can form dynamic chiral assemblies. However, how the active and passive properties of individual filaments relate to these large-scale self-organized structures remains poorly understood. Here, we connect single filament properties with the mesoscopic scale by combining minimal active matter simulations and biochemical reconstitution experiments. We show that density and flexibility of active chiral filaments define their global order. At intermediate densities, curved, flexible filaments organize into chiral rings and polar bands. An effectively nematic organization dominates for high densities and for straight, mutant filaments with increased rigidity. Our predicted phase diagram captures these features quantitatively, demonstrating how the flexibility, density and chirality of active filaments affect their collective behaviour. Our findings shed light on the fundamental properties of active chiral matter and explain how treadmilling FtsZ filaments organize during bacterial cell division. },
  author       = {Dunajova, Zuzana and Prats Mateu, Batirtze and Radler, Philipp and Lim, Keesiang and Brandis, Dörte and Velicky, Philipp and Danzl, Johann G and Wong, Richard W. and Elgeti, Jens and Hannezo, Edouard B and Loose, Martin},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Chiral and nematic phases of flexible active filaments}},
  doi          = {10.15479/AT:ISTA:13116},
  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 𝐴 ⊆𝐺⁡𝐿2⁡(𝔽𝑞), we prove that there exist disjoint subsets 𝐵,𝐶 ⊆𝐴 such that 𝐴 =𝐵 ⊔𝐶 and their additive and multiplicative energies satisfying
max⁡{𝐸+⁡(𝐵),𝐸×⁡(𝐶)}≪|𝐴|3/𝑀⁡(|𝐴|), where
𝑀⁡(|𝐴|)=min⁡{𝑞4/3/|𝐴|1/3⁢(log⁡|𝐴|)2/3, |𝐴|4/5/𝑞13/5⁢(log⁡|𝐴|)27/10}.
 
We also study some related questions on moderate expanders over matrix rings, namely, for 𝐴,𝐵,𝐶 ⊆𝐺⁡𝐿2⁡(𝔽𝑞), we have
|𝐴⁢𝐵+𝐶|, |(𝐴+𝐵)⁢𝐶|≫𝑞4,
 whenever |𝐴|⁢|𝐵|⁢|𝐶| ≫𝑞10+1/2. These improve earlier results due to Karabulut, Koh, Pham, Shen, and Vinh ([2019], Expanding phenomena over matrix rings, 𝐹⁡𝑜⁢𝑟⁢𝑢⁢𝑚⁢𝑀⁢𝑎⁢𝑡⁢ℎ., 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},
}

@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},
}

