@misc{20936,
  abstract     = {Supplementary material for Mombarg et al. (2025, A&A). Title: "Is a 1D perturbative method sufficient for asteroseismic modelling of 
~Cephei pulsators? Implications for measurements of rotation and internal magnetic fields"

Content:
- Non-rotating ESTER models and associated .GSM models. (Xini = 0.71, Zini = 0.014, vertical/horizonal viscosity 10^7 cm^2/s, vertical chemical diffusion 10^4 cm^2/s for evolution model. More details on the ESTER models can be found in the ESTER manual.

- Rotational asymmetries computed with StORM and TOP in 1/d, and the central m=0 frequency from TOP in 1/d. (all_A*_new.pkl)

- Magnetic asymmetries in 1/d for different obliquity angles between 0 and 90 deg for ZAMS and MAMS model, for B_0 = 75 kG. *_nu key gives unperturbed mode frequencies, *_npg the radial order (asym_dict.pkl, asym_dict_evol.pkl)},
  author       = {Mombarg, Joey and Vanlaer, Vincent and Das, Srijan B and Rieutord, Michel and Aerts, Conny and Bugnet, Lisa Annabelle and Mathis, Stephane and Reese, Daniel and Ballot, Jerome},
  publisher    = {Zenodo},
  title        = {{Is a 1D perturbative method sufficient for asteroseismic modelling of β Cephei pulsators?}},
  doi          = {10.5281/ZENODO.17580178},
  year         = {2025},
}

@unpublished{21016,
  abstract     = {Motivated by applications in chemistry, we give a homlogical definition of tunnels, or more generally cobordisms, connecting disjoint parts of a cell complex. For a filtered complex, this defines a persistence module. We give a method for identifying birth and death times using kernel persistence and a matrix reduction algorithm for pairing birth and death times.},
  author       = {Bleile, Yossi and Fajstrup, Lisbeth and Heiss, Teresa and Svane, Anne Marie and Sørensen, Søren Strandskov},
  booktitle    = {arXiv},
  title        = {{Identifying cobordisms using kernel persistence}},
  doi          = {10.48550/arXiv.2505.17858},
  year         = {2025},
}

@misc{20940,
  abstract     = {These are the raw data files that supplement our study of mode dispersion with magnetic field of a cavity-magnonics system containing chromium trichloride on coplanar waveguide resonator.},
  author       = {Mandal, Supriya and Maji, Krishnendu and Kapoor, Lucky and Sasmal, Souvik and Manni, Soham and Jesudasan, John and Raychaudhuri, Pratap and Thamizhavel, Arumugam and Deshmukh, Mandar M.},
  publisher    = {Zenodo},
  title        = {{Mode dispersion with magnetic field in a cavity-magnonics system}},
  doi          = {10.5281/ZENODO.15321721},
  year         = {2025},
}

@unpublished{21399,
  abstract     = {We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas.},
  author       = {Bolan, Matthew and Breitner, Joachim and Brox, Jose and Carlini, Nicholas and Carneiro, Mario and Doorn, Floris van and Dvorak, Martin and Goens, Andrés and Hill, Aaron and Husum, Harald and Mejia, Hernán Ibarra and Kocsis, Zoltan A. and Floch, Bruno Le and Bar-on, Amir and Luccioli, Lorenzo and McNeil, Douglas and Meiburg, Alex and Monticone, Pietro and Nielsen, Pace P. and Osazuwa, Emmanuel Osalotioman and Paolini, Giovanni and Petracci, Marco and Reinke, Bernhard and Renshaw, David and Rossel, Marcus and Roux, Cody and Scanvic, Jérémy and Srinivas, Shreyas and Tadipatri, Anand Rao and Tao, Terence and Tsyrklevich, Vlad and Vaquerizo-Villar, Fernando and Weber, Daniel and Zheng, Fan},
  booktitle    = {arXiv},
  title        = {{The equational theories project: Advancing collaborative mathematical research at scale}},
  doi          = {10.48550/arXiv.2512.07087},
  year         = {2025},
}

@unpublished{21050,
  abstract     = {In 1873, James C. Maxwell conjectured that the electric field generated by $n$ point charges in generic position has at most $(n-1)^2$ isolated zeroes. The first (non-optimal) upper bound was only obtained in 2007 by Gabrielov, Novikov and Shapiro, who also posed two additional interesting conjectures.
 In this article, we give the best upper bound known to date on the number of zeroes of the electric field, and construct a counterexample to a conjecture of Gabrielov, Novikov and Shapiro that the number of equilibria cannot exceed those of the distance function defined by the unit point charges.
 Finally, we note that it is quite possible that Maxwell's quadratic upper bound is not tight, so it is prudent to find smaller bounds. Hence, we also explore examples and construct configurations of charges achieving the highest ratios of the number of electric field zeroes by point charges found to this day.},
  author       = {Edelsbrunner, Herbert and Fillmore, Christopher D and Olivera, Gonçalo},
  booktitle    = {arXiv},
  title        = {{Counting equilibria of the electrostatic potential}},
  doi          = {10.48550/ARXIV.2501.05315},
  year         = {2025},
}

@article{19025,
  abstract     = {A complete understanding of the central stars of planetary nebulae (CSPNe) remains elusive. Over the past several decades, time-series photometry of CSPNe has yielded significant results including, but not limited to, discoveries of nearly 100 binary systems, insights into pulsations and winds in young white dwarfs, and studies of stars undergoing very late thermal pulses. We have undertaken a systematic study of optical photometric variability of cataloged CSPNe, using the light curves from the Zwicky Transient Facility (ZTF). By applying appropriate variability metrics, we arrive at a list of 94 highly variable CSPN candidates. Based on the timescales of the light-curve activity, we classify the variables broadly into short- and long-timescale variables. In this first paper in this series, we focus on the former, which is the majority class comprising 83 objects. We report periods for six sources for the first time, and recover several known periodic variables. Among the aperiodic sources, most exhibit a jitter around a median flux with a stable amplitude, and a few show outbursts. We draw attention to WeSb 1, which shows a different kind of variability: prominent deep and aperiodic dips, resembling transits from a dust/debris disk. We find strong evidence for a binary nature of WeSb 1 (possibly an F-type subgiant companion). The compactness of the emission lines and inferred high electron densities make WeSb 1 a candidate for either an EGB 6-type planetary nucleus, or a symbiotic system inside an evolved planetary nebula, both of which are rare objects. To demonstrate further promise with ZTF, we report three additional newly identified periodic sources that do not appear in the list of highly variable sources. Finally, we also introduce a two-dimensional metric space defined by the von Neumann statistics and Pearson Skew and demonstrate its effectiveness in identifying unique variables of astrophysical interest, like WeSb 1.},
  author       = {Bhattacharjee, Soumyadeep and Kulkarni, S. R. and Kong, Albert K.H. and Tam, M. S. and Bond, Howard E. and El-Badry, Kareem and Caiazzo, Ilaria and Chornay, Nicholas and Graham, Matthew J. and Rodriguez, Antonio C. and Zeimann, Gregory R. and Fremling, Christoffer and Drake, Andrew J. and Werner, Klaus and Rodriguez, Hector and Prince, Thomas A. and Laher, Russ R. and Chen, Tracy X. and Riddle, Reed},
  issn         = {0004-6280},
  journal      = {Publications of the Astronomical Society of the Pacific},
  number       = {2},
  publisher    = {IOP Publishing},
  title        = {{Variability of central stars of planetary nebulae with the zwicky transient facility. I. Methods, short-timescale variables, and the unusual nucleus of WeSb 1}},
  doi          = {10.1088/1538-3873/ada702},
  volume       = {137},
  year         = {2025},
}

@article{19639,
  abstract     = {Magnetic interactions are thought to play a key role in the properties of many unconventional superconductors, including cuprates, iron pnictides, and square-planar nickelates. Superconductivity was also recently observed in the bilayer and trilayer Ruddlesden-Popper nickelates, the electronic structure of which is expected to differ from that of cuprates and square-planar nickelates. Here we study how electronic structure and magnetic interactions evolve with the number of layers, 𝑛, in thin film Ruddlesden-Popper nickelates Nd𝑛+1⁢Ni𝑛⁢O3⁢𝑛+1 with 𝑛=1,3, and 5 using resonant inelastic x-ray scattering (RIXS). The RIXS spectra are consistent with a high-spin |3⁢𝑑8⁢ 𝐿̲⟩ electronic configuration, resembling that of La2−𝑥⁢Sr𝑥⁢NiO4 and the parent perovskite, NdNiO3. The magnetic excitations soften to lower energy in the structurally self-doped, higher-𝑛 films. Our observations confirm that structural tuning is an effective route for altering electronic properties, such as magnetic superexchange, in this prominent family of materials.},
  author       = {Tenhuisen, Sophia F.R. and Pan, Grace A. and Song, Qi and Baykusheva, Denitsa Rangelova and Ferenc Segedin, Dan and Goodge, Berit H. and Paik, Hanjong and Pelliciari, Jonathan and Bisogni, Valentina and Gu, Yanhong and Agrestini, Stefano and Nag, Abhishek and García-Fernández, Mirian and Zhou, Ke Jin and Kourkoutis, Lena F. and Brooks, Charles M. and Mundy, Julia A. and Dean, Mark P.M. and Mitrano, Matteo},
  issn         = {2469-9969},
  journal      = {Physical Review B},
  number       = {16},
  publisher    = {American Physical Society},
  title        = {{Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering}},
  doi          = {10.1103/PhysRevB.111.165145},
  volume       = {111},
  year         = {2025},
}

@inproceedings{20054,
  author       = {Horta, Sharona},
  booktitle    = {Proceedings of the MATSUS Spring 2025 Conference},
  location     = {Sevilla, Spain},
  publisher    = {Fundació de la comunitat valenciana SCITO},
  title        = {{Solid state diffusion in metal-semiconductors core-shell nanoparticle}},
  doi          = {10.29363/nanoge.matsusspring.2025.220},
  year         = {2025},
}

@article{20043,
  abstract     = {We establish an isomorphism of complex K-theory of the moduli space  M  of “SL n​ ”-Higgs bundles of degree d and rank n (in the sense of Hausel–Thaddeus) and twisted complex K-theory of the orbifold  M  of PGL n​ -Higgs bundles of degree e, where (n,d)=(n,e)=1. Along the way, we prove the vanishing of torsion for H ∗ ( M ) and certain twisted complex K-theory groups of  M . We also extend Arinkin’s autoduality of compactified Jacobian to a derived equivalence between SL n​ - and PGL n​ -Hitchin systems over the elliptic locus. In the appendix, we develop a formalism of G-sheaves of spectra, generalising equivariant homotopy theory to a relative setting.},
  author       = {Groechenig, Michael and Shen, Shiyu},
  issn         = {1435-9863},
  journal      = {Journal of the European Mathematical Society},
  publisher    = {EMS Press},
  title        = {{Complex K-theory of moduli spaces of Higgs bundles}},
  doi          = {10.4171/jems/1601},
  year         = {2025},
}

@inproceedings{20051,
  abstract     = {We revisit the majority problem in the population protocol communication model, as first studied by Angluin et al. (Distributed Computing 2008). We consider a more general version of this problem known as plurality consensus, which has already been studied intensively in the literature. In this problem, each node in a system of n nodes, has initially one of k different opinions, and they need to agree on the (relative) majority opinion. In particular, we consider the important and intensively studied model of Undecided State Dynamics.
Our main contribution is an almost tight lower bound on the stabilization time: we prove that there exists an initial configuration, even with bias \Delta = \omega(\sqrt{n\log n}), where stabilization requires \Omega(kn\log \frac {\sqrt n} {k \log n}) interactions, or equivalently, \Omega(k\log \frac {\sqrt n} {k \log n}) parallel time for any k = o\left(\frac {\sqrt n}{\log n}\right). This bound is tight for any k \le n^{\frac 1 2 - \epsilon}, where \epsilon >0 can be any small constant, as Amir et al.~(PODC'23) gave a O(k\log n) parallel time upper bound for k = O\left(\frac {\sqrt n} {\log ^2 n}\right).},
  author       = {El-Hayek, Antoine and Elsässer, Robert and Schmid, Stefan},
  booktitle    = {Proceedings of the ACM Symposium on Principles of Distributed Computing},
  isbn         = { 9798400718854},
  location     = {Huatulco, Mexico},
  publisher    = {Association for Computing Machinery},
  title        = {{An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model}},
  doi          = {10.1145/3732772.3733505},
  year         = {2025},
}

@inproceedings{19982,
  abstract     = {Dynamically maintaining the minimum cut in a graph G under edge insertions and deletion is a fundamental problem in dynamic graph algorithms for which no conditional lower bound on the time per operation exists. In an n-node graph the best known (1 + o (1))-approximate algorithm takes  update time [14]. If the minimum cut is guaranteed to be (log n )o (1), a deterministic exact algorithm with n o (1) update time exists [8].
We present the first fully dynamic algorithm for (1 + o (1))-approximate minimum cut with n o(1) update time. Our main technical contribution is to show that it suffices to consider small-volume cuts in suitably contracted graphs.},
  author       = {El-Hayek, Antoine and Henzinger, Monika H and Li, Jason},
  booktitle    = {Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms},
  location     = {New Orleans, LA, United States},
  pages        = {750--784},
  publisher    = {Society for Industrial and Applied Mathematics},
  title        = {{Fully dynamic approximate minimum cut in subpolynomial time per operation}},
  doi          = {10.1137/1.9781611978322.22},
  year         = {2025},
}

@article{20669,
  abstract     = {Ice cliffs and supraglacial ponds are key drivers of mass loss on debris-covered glaciers. However, the relationship between melt ponds and adjacent ice cliffs has not been fully explored. We investigated the seasonal drainage patterns of a melt pond on the debris-covered Zhuxi Glacier in southeast Tibet and estimated the mass loss of its adjacent ice cliff during 2023-2024. Using hourly time-lapse photogrammetry we built a series of high-resolution point clouds to quantify the evolution of the ice cliff-pond system. Our findings indicate that subaerial melting and undercutting were the primary mechanisms of ice cliff mass loss during summer. In winter when the pond water level dropped, ice cliff calving became the dominant mode of ice loss. As the water level rose in spring, calving and subaerial melting occurred simultaneously and ice loss from calving accounted for approximately 19.5 % of total ice loss from February to July 2024. Our results reveal the transitional state of this ice cliff-pond system, exhibiting characteristics of both melt hotspots and lake-terminating calving fronts, and highlight the interplay between seasonal drainage-refill pond and differing modes of ice loss on adjacent ice cliff. Future research should focus on additional high-resolution monitoring of similar systems and incorporation of ice cliff-pond dynamics in glacier-scale numerical models. },
  author       = {He, Zhen and Westoby, Matthew and Ren, Shaoting and Zhao, Chuanxi and He, Yifei and Zhang, Tianzhao and Yang, Wei},
  issn         = {1727-5652},
  journal      = {Journal of Glaciology},
  publisher    = {Cambridge University Press},
  title        = {{Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier}},
  doi          = {10.1017/jog.2025.10104},
  volume       = {71},
  year         = {2025},
}

@inproceedings{19741,
  abstract     = {Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean w-automata. Despite the theoretical advances in systems analysis through quantitative automata, the first comprehensive software tool for quantitative automata (Quantitative Automata Kit, or QuAK) was developed only recently. QuAK implements algorithms for solving standard decision problems, e.g., emptiness and universality, as well as constructions for safety and liveness of quantitative automata. We present the architecture of QuAK, which reflects that all of these problems reduce to either checking inclusion between two quantitative automata or computing the highest value achievable by an automaton—its so-called top value. We improve QuAK by extending these two algorithms with an option to return, alongside their results, an ultimately periodic word witnessing the algorithm’s output, as well as implementing a new safety-liveness decomposition algorithm that can handle nondeterministic automata, making QuAK more informative and capable.},
  author       = {Chalupa, Marek and Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E},
  booktitle    = {31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  isbn         = {9783031906428},
  issn         = {1611-3349},
  pages        = {303--312},
  publisher    = {Springer Nature},
  title        = {{Automating the analysis of quantitative automata with QuAK}},
  doi          = {10.1007/978-3-031-90643-5_16},
  volume       = {15696},
  year         = {2025},
}

@unpublished{21858,
  abstract     = {The recent surge in high-quality open-source Generative AI text models (colloquially: LLMs), as well as efficient finetuning techniques, have opened the possibility of creating high-quality personalized models that generate text attuned to a specific individual’s needs and are capable of credibly imitating their writing style by refining an open-source model with that person’s own data. The technology to create such models is accessible to private individuals, and training and running such models can be done cheaply on consumer-grade hardware. While these advancements are a huge gain for usability and privacy, this position paper argues that the practical feasibility of impersonating specific individuals also introduces novel safety risks. For instance, this technology enables the creation of phishing emails
or fraudulent social media accounts, based on small amounts of publicly available text, or by the individuals themselves to escape AI text detection. We further argue that these risks are complementary to—and distinct from—the much-discussed risks of other impersonation attacks such as image, voice, or video deepfakes, and are not adequately addressed by the larger research community, or the current generation of open- and closed-source models.},
  author       = {Iofinova, Eugenia B and Jovanovic, Andrej and Alistarh, Dan-Adrian},
  booktitle    = {arXiv},
  title        = {{Position: It's time to act on the risk of efficient personalized text generation}},
  doi          = {10.48550/arXiv.2502.06560},
  year         = {2025},
}

@article{21144,
  abstract     = {This paper deals with the algorithmic aspects of solving feasibility problems of semidefinite programming (SDP), aka linear matrix inequalities (LMIs). Since in some SDP instances all feasible solutions have irrational entries, numerical solvers that work with rational numbers can only find an approximate solution. We study the following question: Is it possible to certify feasibility of a given SDP using an approximate solution that is sufficiently close to some exact solution? Existing approaches make the assumption that there exist rational feasible solutions (and use techniques such as rounding and lattice reduction algorithms). We propose an alternative approach that does not need this assumption. More specifically, we show how to construct a system of polynomial equations whose set of real solutions is guaranteed to have an isolated correct solution (assuming that the target exact solution is maximum-rank). This allows, in particular, for us to use algorithms from real algebraic geometry for solving systems of polynomial equations, yielding a hybrid (or symbolic-numerical) method for SDPs. We experimentally compare it with a pure symbolic method in [D. Henrion, S. Naldi, and M. Safey El Din, SIAM J. Optim., 26 (2016), pp. 2512–2539]; the hybrid method was able to certify feasibility of many SDP instances on which the aforementioned paper failed. Our approach may have further applications, such as refining an approximate solution using methods of numerical algebraic geometry for systems of polynomial equations.},
  author       = {Kolmogorov, Vladimir and Naldi, Simone and Zapata, Jeferson},
  issn         = {1095-7189},
  journal      = {SIAM Journal on Optimization},
  number       = {3},
  pages        = {1630--1654},
  publisher    = {Society for Industrial and Applied Mathematics},
  title        = {{Certifying solutions of degenerate semidefinite programs}},
  doi          = {10.1137/24m1664691},
  volume       = {35},
  year         = {2025},
}

@article{20326,
  abstract     = {Ag2Se is a promising n-type thermoelectric material, but its performance is limited by excessive carrier concentration, compositional inhomogeneity, and phase instability, challenges rooted in a narrow homogeneity range and uncontrolled Ag+ diffusion in the superionic phase. Here, we address these issues by exploiting liquid–solid interface reactions using CdSe complexes that remove surface excess Ag to yield stoichiometric Ag2Se and generate CdSe nanodomains that inhibit Ag+ diffusion and constrain grain growth. The resulting Ag2Se-CdSe nanocomposites exhibit a reproducible, stable figure of merit (zT) of 1.04 between 300 and 390 K. Beyond demonstrating high performance, we elucidate the interfacial chemical reactions that give rise to the observed microstructure and transport properties, providing a foundation for rationally engineering interfacial chemistry to tailor transport properties across diverse thermoelectric material systems.},
  author       = {Liu, Yu and Kleinhanns, Tobias and Horta, Sharona and Dutkiewicz, Ewelina and Lu, Shaoqing and Spadaro, Maria Chiara and Genç, Aziz and Chen, Lei and Lim, Khak Ho and Hong, Min and Arbiol, Jordi and Ibáñez, Maria},
  issn         = {1520-5126},
  journal      = {Journal of the American Chemical Society},
  number       = {35},
  pages        = {32199--32208},
  publisher    = {American Chemical Society},
  title        = {{Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se}},
  doi          = {10.1021/jacs.5c11435},
  volume       = {147},
  year         = {2025},
}

@article{20331,
  abstract     = {Here, we present a foundational investigation of charge transport through three BODIPY-based molecules using the scanning tunneling microscope–break junction (STM-BJ) technique. We demonstrate that molecular conductance through the BODIPY core can be measured by introducing aurophilic linkers at the 2,6-positions. By varying these linkers, we systematically modulate the frontier molecular orbital energies and fine-tune transport behavior. Our experimental results are supported by DFT-based calculations, which feature a new computationally efficient correction to standard PBE-level transmission predictions. Together, these findings establish the viability of BODIPY-based systems for molecular junction applications and lay the groundwork for future studies of their single-molecule optoelectronic properties.},
  author       = {York, Emma and Stone, Ilana and Shi, Wanzhuo and Roy, Xavier and Venkataraman, Latha},
  issn         = {1530-6992},
  journal      = {Nano Letters},
  number       = {36},
  pages        = {13697--13702},
  publisher    = {American Chemical Society},
  title        = {{Tuning conductance in BODIPY-based single-molecule junctions}},
  doi          = {10.1021/acs.nanolett.5c03764},
  volume       = {25},
  year         = {2025},
}

@article{20603,
  abstract     = {We study the growth of sumsets A+B⊂S⊂G, where S does not contain an arithmetic progression of length 2k+1, and where G is a commutative group, in which every nonzero element has an order of at least 2k+1. More specifically, we show the following: if A,B⊂G are sets such that A+B does not contain an arithmetic progression of length 2k+1, then
|A+B|≥|A|2k−13k−2|B|k3k−2.
As an application we derive upper bounds on the cardinality of the summands in sumsets A+B+C contained in the set of t-th powers, where t≥2 is an integer. In particular, we show that min(|A|,|B|,|C|)≪(logN)4/5 for t=2, and min(|A|,|B|,|C|)≪t(logN)1/2 for t≥3.},
  author       = {Elsholtz, Christian and Ruzsa, Imre Z. and Wurzinger, Lena},
  issn         = {1730-6264},
  journal      = {Acta Arithmetica},
  pages        = {289--303},
  publisher    = {Institute of Mathematics},
  title        = {{Sumset growth in progression-free sets}},
  doi          = {10.4064/aa250115-14-7},
  volume       = {220},
  year         = {2025},
}

@unpublished{20465,
  abstract     = {For tissues to spread, they must be deformable while maintaining their structural integrity. How these opposing requirements are balanced within spreading tissues is not yet well understood. Here, we show that keratin intermediate filaments function in epithelial spreading by adapting tissue mechanical resilience to the stresses arising in the tissue during the spreading process. By analysing the expansion of the enveloping cell layer (EVL) over the large yolk cell in early zebrafish embryos in vivo, we found that keratin network maturation in EVL cells is promoted by stresses building up within the spreading tissue. Through genetic interference and tissue rheology experiments, complemented by a vertex model with mechanochemical feedback, we demonstrate that stress-induced keratin network maturation in the EVL increases tissue viscosity, which is essential for preventing tissue rupture. Interestingly, keratins are also required in the yolk cell for mechanosensitive actomyosin network contraction and flow, the force-generating processes pulling the EVL. These dual mechanosensitive functions of keratins enable a balance between pulling force production in the yolk cell and the mechanical resilience of the EVL against stresses generated by these pulling forces, thereby ensuring uniform and robust tissue spreading.},
  author       = {Naik, Suyash and Keta, Yann-Edwin and Pranjic-Ferscha, Kornelija and Hannezo, Edouard B and Henkes, Silke and Heisenberg, Carl-Philipp J},
  booktitle    = {bioRxiv},
  title        = {{Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties}},
  doi          = {10.1101/2025.02.14.638262},
  year         = {2025},
}

@phdthesis{20735,
  abstract     = {Left–right alternation is a defining feature of spinal locomotor circuits, yet the level of neuronal
detail required to generate and maintain this pattern remains unclear. This thesis investigates how
models spanning multiple levels of abstraction—from biophysically detailed Hodgkin–Huxley (HH)
neurons to adaptive integrate–and–fire (I&F) formulations and synfire-chain modules—can account
for the generation of fictive swimming in the spinal cord of the Xenopus laevis tadpole. The guiding
hypothesis is that a small set of neuronal mechanisms is sufficient to reproduce the essential features
of rhythmic alternation, and that moving between modeling scales helps distinguish core principles
from biological detail.
A minimal bilateral HH network comprising only four canonical neuron classes—excitatory
descending interneurons (dINs), inhibitory commissural interneurons (cINs), ipsilateral inhibitory
interneurons (aINs) and motoneurons—served as a biophysical proof of concept. Tuned to reproduce
experimentally observed firing modes, the model demonstrated that rebound-prone dIN excitability,
contralateral inhibition and modest electrical coupling are sufficient to generate stable alternating
activity, even in very small networks. These results motivated the transition to simpler models
capable of efficient analysis and scaling.
Adaptive exponential I&F (AdEx) neurons were calibrated to physiological recordings using
simulation-based inference, yielding tonic and phasic/rebound templates that preserved the key
dynamical signatures of the HH model. Phase-plane analysis clarified the mechanisms underlying
single-spike responses and rebound firing in dINs. At network level, the I&F models robustly
reproduced left–right alternation, while highlighting constraints on synaptic kinetics and adaptation
needed to avoid multi-spike responses.
Finally, a synfire-chain framework provided a complementary, timing-centric perspective, demonstrating how precise spike synchrony, synaptic delays and minimal inhibitory coupling can generate
alternating left–right sequences in a feedforward setting. Together, these approaches converge on a
common conclusion: rebound-prone ipsilateral excitation combined with precisely timed contralateral inhibition constitutes a sufficient substrate for alternating spinal rhythms.
By integrating bottom-up and top-down modeling strategies, this thesis provides a unified, extensible framework for studying spinal pattern generation. The results show that essential locomotor
dynamics can be captured across multiple abstraction levels, offering both mechanistic insight and
practical tools for future data-driven investigations of spinal circuit development, robustness and
modulation.},
  author       = {Wilson, Alexia C},
  issn         = {2791-4585},
  pages        = {110},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog}},
  doi          = {10.15479/AT-ISTA-20735},
  year         = {2025},
}