ISTplus - Postdoctoral Fellowships

Decomposing permutation automata
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.

A bit of nondeterminism makes pushdown automata expressive and succinct
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.

On eigenvector statistics in the spherical and truncated unitary ensembles
G. Dubach, Electronic Journal of Probability 26 (2021).

Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.

On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.

Alpha rhythm induces attenuation-amplification dynamics in neural activity cascades
F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. de Arcangelis, O. Shriki, BioRxiv (2022).

Impurity with a resonance in the vicinity of the Fermi energy
M. Maslov, M. Lemeshko, A. Volosniev, Physical Review Research 4 (2022).

Quantifying the coexistence of neuronal oscillations and avalanches
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, (n.d.).

A cautionary tale: Burning the medial axis is unstable
E. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, in:, X. Goaoc, M. Kerber (Eds.), 38th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9.

Asynchronous optimization methods for efficient training of deep neural networks with guarantees
V. Kungurtsev, M. Egan, B. Chatterjee, D.-A. Alistarh, in:, 35th AAAI Conference on Artificial Intelligence, AAAI 2021, AAAI Press, 2021, pp. 8209–8216.

Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling
M. Artan, M. de Bono, in:, D. Yamamoto (Ed.), Behavioral Neurogenetics, Springer Nature, New York, 2022, pp. 277–294.

Distributed principal component analysis with limited communication
F. Alimisis, P. Davies, B. Vandereycken, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 2823–2834.

Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture
S. Scarpetta, N. Morrisi, C. Mutti, N. Azzi, I. Trippi, R. Ciliento, I. Apicella, G. Messuti, M. Angiolelli, F. Lombardi, L. Parrino, A.E. Vaudano, BioRxiv (n.d.).

Simplices modelled on spaces of constant curvature
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.

The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.

Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.

In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas
D. Huber, H.-W. Hammer, A. Volosniev, Physical Review Research 1 (2019).

Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science 14 (2020) 141–176.

How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).

Simple, deterministic, constant-round coloring in the congested clique
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 309–318.

Induced correlations between impurities in a one-dimensional quenched Bose gas
S.I. Mistakidis, A. Volosniev, P. Schmelcher, Physical Review Research 2 (2020).

Extending drawings of graphs to arrangements of pseudolines
A.M. Arroyo Guevara, J. Bensmail, R. Bruce Richter, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.

ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.

Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).

On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.

On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.

New bounds for distributed mean estimation and variance reduction
P. Davies, V. Gurunanthan, N. Moshrefi, S. Ashkboos, D.-A. Alistarh, in:, 9th International Conference on Learning Representations, 2021.

Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Unary prime languages
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

The density fingerprint of a periodic point set
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.

Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.

The effective mass problem for the Landau-Pekar equations
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Journal of Physics A: Mathematical and Theoretical 55 (2022).

The reach of subsets of manifolds
J.D. Boissonnat, M. Wintraecken, Journal of Applied and Computational Topology (2023).

Maxima of a random model of the Riemann zeta function over intervals of varying length
L.-P. Arguin, G. Dubach, L. Hartung, ArXiv (n.d.).

Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).

Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.

Communication-efficient distributed optimization with quantized preconditioners
F. Alimisis, P. Davies, D.-A. Alistarh, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 196–206.

Weak Edgeworth expansion for the mean-field Bose gas
L. Bossmann, S.P. Petrat, Letters in Mathematical Physics 113 (2023).

Some convexity and monotonicity results of trace functionals
H. Zhang, Annales Henri Poincare (2023).

Stochastic representation of the quantum quartic oscillator
G. Tucci, S. De Nicola, S. Wald, A. Gambassi, SciPost Physics Core 6 (2023).

A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D
L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).

Codebase release 1.0 for FermiFCI
L. Rammelmüller, D. Huber, A. Volosniev, (2023).

The effect of environmental information on evolution of cooperation in stochastic games
M. Kleshnina, C. Hilbe, S. Simsa, K. Chatterjee, M.A. Nowak, Nature Communications 14 (2023).

Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.

Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.

Numerical quantum clock simulations for measuring tunneling times
F. Suzuki, W.G. Unruh, Physical Review A 107 (2023).

Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.

Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.

Entangling microwaves with light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Science 380 (2023) 718–721.

Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).

Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts
G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023).

The topological correctness of PL-approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

The topological correctness of PL approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics 22 (2022) 967–1012.

Resurgence analysis of quantum invariants of Seifert fibered homology spheres
W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764.

Room temperature aqueous-based synthesis of copper-doped lead sulfide nanoparticles for thermoelectric application
M. Li, Y. Liu, Y. Zhang, C. Chang, T. Zhang, D. Yang, K. Xiao, J. Arbiol, M. Ibáñez, A. Cabot, Chemical Engineering Journal 433 (2022).

Phase transition to turbulence in spatially extended shear flows
L. Klotz, G.M. Lemoult, K. Avila, B. Hof, Physical Review Letters 128 (2022).

Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications (2022).

Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance
Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.

Orthogonal polynomial duality of boundary driven particle systems and non-equilibrium correlations
S. Floreani, F. Redig, F. Sau, Annales de l’institut Henri Poincare (B) Probability and Statistics 58 (2022) 220–247.

Dynamics of hole singlet-triplet qubits with large g-factor differences
D. Jirovec, P.M. Mutter, A.C. Hofmann, A. Crippa, M. Rychetsky, D.L. Craig, J. Kukucka, F. Martins, A. Ballabio, N. Ares, D. Chrastina, G. Isella, G. Burkard, G. Katsaros, Physical Review Letters 128 (2022).

Quantum-enabled operation of a microwave-optical interface
R. Sahu, W.J. Hease, A.R. Rueda Sanchez, G.M. Arnold, L. Qiu, J.M. Fink, Nature Communications 13 (2022).

PaReBrick: PArallel REarrangements and BReaks identification toolkit
A. Zabelkin, Y. Yakovleva, O. Bochkareva, N. Alexeev, Bioinformatics 38 (2022) 357–363.

Entanglement and precession in two-dimensional dynamical quantum phase transitions
S. De Nicola, A. Michailidis, M. Serbyn, Physical Review B 105 (2022).

Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia
N. Dranenko, M. Tutukina, M. Gelfand, F. Kondrashov, O. Bochkareva, Scientific Reports 12 (2022).

Artificial atoms from cold bosons in one dimension
F. Brauneis, T.G. Backert, S.I. Mistakidis, M. Lemeshko, H.W. Hammer, A. Volosniev, New Journal of Physics 24 (2022).

Contravariant pairings between standard Whittaker modules and Verma modules
A. Brown, A. Romanov, Journal of Algebra 609 (2022) 145–179.

Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance
C. Chang, Y. Liu, S. Lee, M. Spadaro, K.M. Koskela, T. Kleinhanns, T. Costanzo, J. Arbiol, R.L. Brutchey, M. Ibáñez, Angewandte Chemie - International Edition 61 (2022).

Low-energy spectrum and dynamics of the weakly interacting Bose gas
L. Bossmann, Journal of Mathematical Physics 63 (2022).

Large deviation estimates for weakly interacting bosons
S.A.E. Rademacher, R. Seiringer, Journal of Statistical Physics 188 (2022).

Depletion of endogenously biotinylated carboxylases enhances the sensitivity of TurboID-mediated proximity labeling in Caenorhabditis elegans
M. Artan, M. Hartl, W. Chen, M. de Bono, Journal of Biological Chemistry 298 (2022).

Dependent random variables in quantum dynamics
S.A.E. Rademacher, Journal of Mathematical Physics 63 (2022).

Efficient coding theory of dynamic attentional modulation
W.F. Mlynarski, G. Tkačik, PLoS Biology 20 (2022) e3001889.

Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis
Guerrini R, Mei D, Szigeti MK, Pepe S, Koenig MK, Von Allmen G, Cho MT, McDonald K, Baker J, Bhambhani V, Powis Z, Rodan L, Nabbout R, Barcia G, Rosenfeld JA, Bacino CA, Mignot C, Power LH, Harris CJ, Marjanovic D, Møller RS, Hammer TB, Keski Filppula R, Vieira P, Hildebrandt C, Sacharow S, Maragliano L, Benfenati F, Lachlan K, Benneche A, Petit F, de Sainte Agathe JM, Hallinan B, Si Y, Wentzensen IM, Zou F, Narayanan V, Matsumoto N, Boncristiano A, la Marca G, Kato M, Anderson K, Barba C, Sturiale L, Garozzo D, Bei R, Masuelli L, Conti V, Novarino G, Fassio A. 2022. Phenotypic and genetic spectrum of ATP6V1A encephalopathy: A disorder of lysosomal homeostasis. Brain. 145(8), 2687–2703.

Evolution of electronic and magnetic properties of Sr₂IrO₄ under strain
E. Paerschke, W.-C. Chen, R. Ray, C.-C. Chen, Npj Quantum Materials 7 (2022).

Norms of certain functions of a distinguished Laplacian on the ax + b groups
R. Akylzhanov, Y. Kuznetsova, M. Ruzhansky, H. Zhang, Mathematische Zeitschrift 302 (2022) 2327–2352.

Symmetric inclusion process with slow boundary: Hydrodynamics and hydrostatics
C. Franceschini, P. Gonçalves, F. Sau, Bernoulli 28 (2022) 1340–1381.

Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.

Statistical analysis and optimality of neural systems
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.

A coarse geometric expansion of a variant of Arthur's truncated traces and some applications
H. Yu, Pacific Journal of Mathematics 321 (2022) 193–237.

Impact of drive harmonics on the stability of Floquet many-body localization
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).

Contravariant forms on Whittaker modules
A. Brown, A. Romanov, Proceedings of the American Mathematical Society 149 (2021) 37–52.

Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces
J. Lyczak, Annales de l’Institut Fourier 73 (2023) 447–478.

Unconventional colloidal aggregation in chiral bacterial baths
D. Grober, I. Palaia, M.C. Ucar, E.B. Hannezo, A. Šarić, J.A. Palacci, Nature Physics (2023).

Dynamics of ion channels via non-hermitian quantum mechanics
T. Gulden, A. Kamenev, Entropy 23 (2021).

Shape of a sound wave in a weakly-perturbed Bose gas
O. Marchukov, A. Volosniev, SciPost Physics 10 (2021).

Lifting automorphisms on Abelian varieties as derived autoequivalences
T.K. Srivastava, Archiv Der Mathematik 116 (2021) 515–527.

Disentanglement approach to quantum spin ground states: Field theory and stochastic simulation
S. De Nicola, Journal of Statistical Mechanics: Theory and Experiment 2021 (2021).

Pathologies of the Hilbert scheme of points of a supersingular Enriques surface
T.K. Srivastava, Bulletin Des Sciences Mathematiques 167 (2021).

Synthesis of hybrid automata with affine dynamics from time-series data
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, 2021, p. 2102.12734.

Experimental measurements in plane Couette-Poiseuille flow: Dynamics of the large- and small-scale flow
L. Klotz, A.M. Pavlenko, J.E. Wesfreid, Journal of Fluid Mechanics 912 (2021).

Well-posedness for a regularised inertial Dean–Kawasaki model for slender particles in several space dimensions
F. Cornalba, T. Shardlow, J. Zimmer, Journal of Differential Equations 284 (2021) 253–283.

Drawings of complete graphs in the projective plane
A.M. Arroyo Guevara, D. Mcquillan, R.B. Richter, G. Salazar, M. Sullivan, Journal of Graph Theory 97 (2021) 426–440.

Asymptotic expansion of low-energy excitations for weakly interacting bosons
L. Bossmann, S.P. Petrat, R. Seiringer, Forum of Mathematics, Sigma 9 (2021).

A large deviation principle in many-body quantum dynamics
K. Kirkpatrick, S.A.E. Rademacher, B. Schlein, Annales Henri Poincare 22 (2021) 2595–2618.

High rates of genome rearrangements and pathogenicity of Shigella spp
Z. Seferbekova, A. Zabelkin, Y. Yakovleva, R. Afasizhev, N.O. Dranenko, N. Alexeev, M.S. Gelfand, O. Bochkareva, Frontiers in Microbiology 12 (2021).

Mistakes can stabilise the dynamics of rock-paper-scissors games
M. Kleshnina, S.S. Streipert, J.A. Filar, K. Chatterjee, PLoS Computational Biology 17 (2021).

Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, G.A. Dimchev, A. Nicolas, C.M. Sommer, C. Kreuzinger, C. Dotter, L. Knaus, Z. Dobler, E. Cacci, F.K. Schur, J.G. Danzl, G. Novarino, Nature Communications 12 (2021).

Efficient and adaptive sensory codes
W.F. Mlynarski, A.M. Hermundstad, Nature Neuroscience 24 (2021) 998–1009.

Extending drawings of complete graphs into arrangements of pseudocircles
A.M. Arroyo Guevara, R.B. Richter, M. Sunohara, SIAM Journal on Discrete Mathematics 35 (2021) 1050–1076.