---
OA_place: publisher
_id: '20551'
abstract:
- lang: eng
text: "The space of codimension-2 shapes, such as curves in 3D and surfaces in 4D,
is an infinite-dimensional manifold. This thesis explores geometric structures
and dynamics on this space, with emphasis on their implications for physics, particularly
hydrodynamics.\r\n\r\nOur investigation ranges from theoretical studies of infinite-dimensional
symplectic and prequantum geometry to numerical computation of the time evolution
of shapes. The thesis presents four main contributions.\r\n\r\nIn the first part,
we introduce implicit representations of codimension-2 shapes using a class of
complex-valued functions, and prove that the space of these implicit representations
forms a prequantum bundle over the codimension-2 shape space. This reveals a new
geometric interpretation of the canonical symplectic structure on the codimension-2
shape space.\r\n\r\nIn the second part, we use implicit representations to develop
a simulation method for the dynamics of space curves. To handle chaotic systems
such as vortex filaments in hydrodynamics, we exploit the infinite degrees of
freedom, hidden in both the configuration and dynamics of implicit representations.\r\n\r\nIn
the third part, we introduce new symplectic structures on the space of space curves,
which generalize the only previously known symplectic structure on this space,
allowing for new Hamiltonian dynamics of space curves.\r\n\r\nIn the fourth part,
we apply a symplectic viewpoint to a differential geometric problem with practical
applications. We derive a new area formula for spherical polygons via prequantization. "
acknowledged_ssus:
- _id: CampIT
acknowledgement: "Projects contained in this thesis were financially supported in
part by the\r\nEuropean Research Council with grants 1. ERC Consolidator Grant 101045083
CoDiNA,\r\nand 2. the European Union’s Horizon 2020 research and innovation programme
under grant\r\nagreement No. 638176."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Sadashige
full_name: Ishida, Sadashige
id: 6F7C4B96-A8E9-11E9-A7CA-09ECE5697425
last_name: Ishida
orcid: 0000-0002-3121-3100
citation:
ama: Ishida S. Symplectic-prequantum structures and dynamics on the codimension-2
shape space. 2025. doi:10.15479/AT-ISTA-20551
apa: Ishida, S. (2025). Symplectic-prequantum structures and dynamics on the
codimension-2 shape space. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20551
chicago: Ishida, Sadashige. “Symplectic-Prequantum Structures and Dynamics on the
Codimension-2 Shape Space.” Institute of Science and Technology Austria, 2025.
https://doi.org/10.15479/AT-ISTA-20551.
ieee: S. Ishida, “Symplectic-prequantum structures and dynamics on the codimension-2
shape space,” Institute of Science and Technology Austria, 2025.
ista: Ishida S. 2025. Symplectic-prequantum structures and dynamics on the codimension-2
shape space. Institute of Science and Technology Austria.
mla: Ishida, Sadashige. Symplectic-Prequantum Structures and Dynamics on the
Codimension-2 Shape Space. Institute of Science and Technology Austria, 2025,
doi:10.15479/AT-ISTA-20551.
short: S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2
Shape Space, Institute of Science and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-10-27T10:28:52Z
date_published: 2025-10-31T00:00:00Z
date_updated: 2026-04-07T12:02:23Z
day: '31'
ddc:
- '516'
degree_awarded: PhD
department:
- _id: GradSch
- _id: ChWo
doi: 10.15479/AT-ISTA-20551
ec_funded: 1
file:
- access_level: open_access
checksum: 4eef80afcb67691cbb6549c4756fa534
content_type: application/zip
creator: sishida
date_created: 2025-11-01T18:26:14Z
date_updated: 2025-11-01T18:26:14Z
file_id: '20583'
file_name: Thesis_tex.zip
file_size: 72487812
relation: source_file
- access_level: open_access
checksum: 1e5a557900bf2dce01966b211b15d0fe
content_type: application/pdf
creator: sishida
date_created: 2025-11-10T08:45:05Z
date_updated: 2025-11-10T08:45:05Z
file_id: '20623'
file_name: Thesis_Sadashige_Ishida_PDFA.pdf
file_size: 8945141
relation: main_file
success: 1
file_date_updated: 2025-11-10T08:45:05Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '10'
oa: 1
oa_version: Published Version
page: '141'
project:
- _id: 2533E772-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '638176'
name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large
Scales'
- _id: 34bc2376-11ca-11ed-8bc3-9a3b3961a088
grant_number: '101045083'
name: Computational Discovery of Numerical Algorithms for Animation and Simulation
of Natural Phenomena
publication_identifier:
isbn:
- 978-3-99078-070-1
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '12846'
relation: part_of_dissertation
status: public
- id: '12431'
relation: part_of_dissertation
status: public
- id: '17361'
relation: part_of_dissertation
status: public
- id: '20580'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
- first_name: Albert
full_name: Chern, Albert
last_name: Chern
title: Symplectic-prequantum structures and dynamics on the codimension-2 shape space
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
OA_place: repository
_id: '20580'
abstract:
- lang: eng
text: This paper explores the geometry of the space of codimension-2 submanifolds.
We implicitly represent these submanifolds by a class of complex-valued functions.
This reveals a prequantum bundle structure over the space of submanifolds, equipped
with the well-known Marsden-Weinstein symplectic structure. This bundle allows
a new physical interpretation of the Marsden-Weinstein structure as the curvature
of a connection form, which measures the average of volumes swept by the deformation
of the S^1-family of hypersurfaces, defined as the phases of a complex function
implicitly representing a submanifold.
article_processing_charge: No
arxiv: 1
author:
- first_name: Albert
full_name: Chern, Albert
last_name: Chern
- first_name: Sadashige
full_name: Ishida, Sadashige
id: 6F7C4B96-A8E9-11E9-A7CA-09ECE5697425
last_name: Ishida
orcid: 0000-0002-3121-3100
citation:
ama: Chern A, Ishida S. Implicit representations of codimension-2 submanifolds and
their prequantum structure. arXiv. doi:10.48550/ARXIV.2507.11727
apa: Chern, A., & Ishida, S. (n.d.). Implicit representations of codimension-2
submanifolds and their prequantum structure. arXiv. https://doi.org/10.48550/ARXIV.2507.11727
chicago: Chern, Albert, and Sadashige Ishida. “Implicit Representations of Codimension-2
Submanifolds and Their Prequantum Structure.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2507.11727.
ieee: A. Chern and S. Ishida, “Implicit representations of codimension-2 submanifolds
and their prequantum structure,” arXiv. .
ista: Chern A, Ishida S. Implicit representations of codimension-2 submanifolds
and their prequantum structure. arXiv, 10.48550/ARXIV.2507.11727.
mla: Chern, Albert, and Sadashige Ishida. “Implicit Representations of Codimension-2
Submanifolds and Their Prequantum Structure.” ArXiv, doi:10.48550/ARXIV.2507.11727.
short: A. Chern, S. Ishida, ArXiv (n.d.).
corr_author: '1'
date_created: 2025-10-30T18:36:56Z
date_published: 2025-07-15T00:00:00Z
date_updated: 2026-04-07T12:02:23Z
day: '15'
department:
- _id: GradSch
- _id: ChWo
doi: 10.48550/ARXIV.2507.11727
external_id:
arxiv:
- '2507.11727'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2507.11727
month: '07'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: draft
related_material:
record:
- id: '20551'
relation: dissertation_contains
status: public
status: public
title: Implicit representations of codimension-2 submanifolds and their prequantum
structure
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2025'
...
---
OA_place: publisher
_id: '20357'
acknowledged_ssus:
- _id: ScienComp
- _id: E-Lib
acknowledgement: "I would also like to acknowledge the Austrian Academy of Sciences
for funding through the\r\nDOC Fellowship program (fellowship number 26917), the
Grants Office at ISTA for their\r\nassistance with the application, and the Scientific
Computing Unit for their support regarding\r\nhigh-performance computation.\r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Natalia
full_name: Ruzickova, Natalia
id: D2761128-D73D-11E9-A1BF-BA0DE6697425
last_name: Ruzickova
citation:
ama: Ruzickova N. Effect propagation in biological networks. 2025. doi:10.15479/AT-ISTA-20357
apa: Ruzickova, N. (2025). Effect propagation in biological networks. Institute
of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20357
chicago: Ruzickova, Natalia. “Effect Propagation in Biological Networks.” Institute
of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20357.
ieee: N. Ruzickova, “Effect propagation in biological networks,” Institute of Science
and Technology Austria, 2025.
ista: Ruzickova N. 2025. Effect propagation in biological networks. Institute of
Science and Technology Austria.
mla: Ruzickova, Natalia. Effect Propagation in Biological Networks. Institute
of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20357.
short: N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science
and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-09-15T17:04:48Z
date_published: 2025-09-15T00:00:00Z
date_updated: 2026-04-07T12:02:39Z
day: '15'
ddc:
- '570'
- '530'
degree_awarded: PhD
department:
- _id: GradSch
- _id: GaTk
doi: 10.15479/AT-ISTA-20357
file:
- access_level: closed
checksum: 991e81bc16a76b4e0c352567728fd2c5
content_type: application/pdf
creator: nruzicko
date_created: 2025-09-16T12:56:06Z
date_updated: 2025-11-27T10:00:25Z
embargo: 2026-09-14
embargo_to: open_access
file_id: '20360'
file_name: 2025_Ruzickova_Natalia_Thesis.pdf
file_size: 43518367
relation: main_file
title: Effect propagation in biological networks
- access_level: closed
checksum: c4ab257adad116083d8a97fac69b2dde
content_type: application/zip
creator: nruzicko
date_created: 2025-09-16T12:59:23Z
date_updated: 2025-09-16T12:59:23Z
file_id: '20361'
file_name: 2025_Ruzickova_Natalia_Thesis_source.zip
file_size: 53464789
relation: source_file
file_date_updated: 2025-11-27T10:00:25Z
has_accepted_license: '1'
keyword:
- gene regulation
- networks
- omnigenic model
- pancreas
- collective behaviour
language:
- iso: eng
month: '09'
oa_version: Published Version
page: '160'
project:
- _id: 7bec9174-9f16-11ee-852c-ded9fe5f810e
name: Collective behaviour of cells in pancreatic Islets of Langerhans
publication_identifier:
isbn:
- 978-3-99078-066-4
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '18525'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: 0000-0002-6699-1455
title: Effect propagation in biological networks
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
OA_place: publisher
_id: '20147'
abstract:
- lang: eng
text: "Quantitative properties offer a framework for specifying and verifying system
behaviors beyond the traditional boolean perspective. For example, while a boolean
property may specify whether a server eventually grants every request it receives,
a quantitative one may map each server execution to its average response time.
This quantitative view is relatively well-studied in the context of static verification.
However, although such properties often appear in practice as performance or robustness
measures in a dynamic verification context, a general theoretical framework for
their analysis and classification from a monitoring perspective is still missing.\r\n\r\nIn
this thesis, we aim to develop such a framework that takes resource-precision
tradeoffs of monitors as a central consideration. We present the first theory
of monitorability for quantitative properties where monitors can be naturally
approximate and compared regarding their precision and resource use. In particular,
we show that additional monitor resources such as registers or states lead to
strictly better approximations for some properties. To enable such analyses in
a machine-model independent way, we describe an abstract notion of monitors that
can be instantiated with concrete models of monitors. Within this framework, we
study how abstract monitors behave and identify classes of properties amenable
to approximate monitoring with resource-precision considerations. We then extend
the boolean safety-liveness dichotomy and safety-progress hierarchy to the quantitative
setting with a monitoring perspective. In particular, we prove that every property
is the pointwise minimum of a safety property and a liveness property, and properties
that are both safe and co-safe can be approximately monitored arbitrarily precisely
using only finitely many states. We also study the classes of quantitative properties
definable by finite-state quantitative automata and provide algorithms for deciding
their safety or liveness as well as their safety-liveness decompositions. Finally,
we present the first general-purpose tool for automating the analysis, verification,
and monitoring of quantitative automata.\r\n\r\n--------------------------------------------------------------------------------------------------------------------------------------------------------------
In reference to IEEE copyrighted material which is used with permission in this
thesis, the IEEE does not\r\nendorse any of ISTA's products or services. Internal
or personal use of this\r\nmaterial is permitted. If interested in reprinting/republishing
IEEE copyrighted material for advertising or promotional\r\npurposes or for creating
new collective works for resale or redistribution, please go to\r\nhttp://www.ieee.org/publications_standards/publications/rights/rights_link.html
to learn how to obtain a License from\r\nRightsLink.\r\n"
acknowledgement: "This work was supported in part by the Austrian Science Fund (FWF)\r\nunder
grant Z211-N23 (Wittgenstein Award) and the ERC-2020-AdG 101020093.\r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Naci E
full_name: Sarac, Naci E
id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
last_name: Sarac
citation:
ama: Sarac NE. A monitoring-oriented theory and classification of quantitative specifications.
2025. doi:10.15479/AT-ISTA-20147
apa: Sarac, N. E. (2025). A monitoring-oriented theory and classification of
quantitative specifications. Institute of Science and Technology Austria.
https://doi.org/10.15479/AT-ISTA-20147
chicago: Sarac, Naci E. “A Monitoring-Oriented Theory and Classification of Quantitative
Specifications.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20147.
ieee: N. E. Sarac, “A monitoring-oriented theory and classification of quantitative
specifications,” Institute of Science and Technology Austria, 2025.
ista: Sarac NE. 2025. A monitoring-oriented theory and classification of quantitative
specifications. Institute of Science and Technology Austria.
mla: Sarac, Naci E. A Monitoring-Oriented Theory and Classification of Quantitative
Specifications. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20147.
short: N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative
Specifications, Institute of Science and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-08-07T15:57:57Z
date_published: 2025-08-07T00:00:00Z
date_updated: 2026-04-07T12:02:57Z
day: '07'
ddc:
- '000'
degree_awarded: PhD
department:
- _id: GradSch
- _id: ToHe
doi: 10.15479/AT-ISTA-20147
ec_funded: 1
file:
- access_level: closed
checksum: 0f3015f1db36576a23d8d669afb60b41
content_type: application/x-zip-compressed
creator: esarac
date_created: 2025-08-21T09:40:28Z
date_updated: 2025-09-10T08:19:51Z
file_id: '20200'
file_name: 2025_Sarac_NaciEge_Thesis.zip
file_size: 8884801
relation: source_file
- access_level: open_access
checksum: 332ed2fe61f580641664ec3f05d30f14
content_type: application/pdf
creator: esarac
date_created: 2025-08-21T09:40:34Z
date_updated: 2025-08-21T09:40:34Z
file_id: '20201'
file_name: 2025_Sarac_NaciEge_Thesis.pdf
file_size: 2955584
relation: main_file
success: 1
file_date_updated: 2025-09-10T08:19:51Z
has_accepted_license: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: '149'
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '11775'
relation: part_of_dissertation
status: public
- id: '13140'
relation: part_of_dissertation
status: deleted
- id: '19741'
relation: part_of_dissertation
status: public
- id: '9356'
relation: part_of_dissertation
status: public
- id: '19643'
relation: part_of_dissertation
status: deleted
- id: '17634'
relation: part_of_dissertation
status: public
- id: '20342'
relation: part_of_dissertation
status: public
- id: '13221'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
title: A monitoring-oriented theory and classification of quantitative specifications
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20342'
abstract:
- lang: eng
text: Safety and liveness stand as fundamental concepts in formal languages, playing
a key role in verification. The safety-liveness classification of boolean properties
characterizes whether a given property can be falsified by observing a finite
prefix of an infinite computation trace (always for safety, never for liveness).
In the quantitative setting, properties are arbitrary functions from infinite
words to partially-ordered domains. Extending this paradigm to the quantitative
domain, where properties are arbitrary functions mapping infinite words to partially-ordered
domains, we introduce and study the notions of quantitative safety and liveness.
First, we formally define quantitative safety and liveness, and prove that our
definitions induce conservative quantitative generalizations of both the safety-progress
hierarchy and the safety-liveness decomposition of boolean properties. Consequently,
like their boolean counterparts, quantitative properties can be min-decomposed
into safety and liveness parts, or alternatively, max-decomposed into co-safety
and co-liveness parts. We further establish a connection between quantitative
safety and topological continuity and provide alternative characterizations of
quantitative safety and liveness in terms of their boolean analogs. Second, we
instantiate our framework with the specific classes of quantitative properties
expressed by automata. These quantitative automata contain finitely many states
and rational-valued transition weights, and their common value functions Inf,
Sup, LimInf, LimSup, LimInfAvg, LimSupAvg, and DSum map infinite words into the
totally-ordered domain of real numbers. For all common value functions, we provide
a procedure for deciding whether a given automaton is safe or live, we show how
to construct its safety closure, and we present a min-decomposition into safe
and live automata.
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093 and
the Israel Science Foundation grant 2410/22. N. Mazzocchi was affiliated with ISTA
when this work was submitted for publication.
article_number: '13149'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Udi
full_name: Boker, Udi
id: 31E297B6-F248-11E8-B48F-1D18A9856A87
last_name: Boker
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Nicolas Adrien
full_name: Mazzocchi, Nicolas Adrien
id: b26baa86-3308-11ec-87b0-8990f34baa85
last_name: Mazzocchi
- first_name: Naci E
full_name: Sarac, Naci E
id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
last_name: Sarac
citation:
ama: Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative
properties and automata. Logical Methods in Computer Science. 2025;21(2).
doi:10.46298/lmcs-21(2:2)2025
apa: Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Safety
and liveness of quantitative properties and automata. Logical Methods in Computer
Science. EPI Sciences. https://doi.org/10.46298/lmcs-21(2:2)2025
chicago: Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac.
“ Safety and Liveness of Quantitative Properties and Automata.” Logical Methods
in Computer Science. EPI Sciences, 2025. https://doi.org/10.46298/lmcs-21(2:2)2025.
ieee: U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “ Safety and
liveness of quantitative properties and automata,” Logical Methods in Computer
Science, vol. 21, no. 2. EPI Sciences, 2025.
ista: Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Safety and liveness
of quantitative properties and automata. Logical Methods in Computer Science.
21(2), 13149.
mla: Boker, Udi, et al. “ Safety and Liveness of Quantitative Properties and Automata.”
Logical Methods in Computer Science, vol. 21, no. 2, 13149, EPI Sciences,
2025, doi:10.46298/lmcs-21(2:2)2025.
short: U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in
Computer Science 21 (2025).
corr_author: '1'
date_created: 2025-09-11T12:17:52Z
date_published: 2025-04-08T00:00:00Z
date_updated: 2026-04-07T12:02:57Z
day: '08'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
doi: 10.46298/lmcs-21(2:2)2025
ec_funded: 1
external_id:
arxiv:
- '2307.06016'
isi:
- '001468887900001'
file:
- access_level: open_access
checksum: 0b4d477bd981379724c35a4de2c176e5
content_type: application/pdf
creator: esarac
date_created: 2025-09-11T12:17:12Z
date_updated: 2025-09-11T12:17:12Z
file_id: '20343'
file_name: 2307.06016.pdf
file_size: 709584
relation: main_file
success: 1
file_date_updated: 2025-09-11T12:17:12Z
has_accepted_license: '1'
intvolume: ' 21'
isi: 1
issue: '2'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: Logical Methods in Computer Science
publication_identifier:
eissn:
- 1860-5974
publication_status: published
publisher: EPI Sciences
quality_controlled: '1'
related_material:
record:
- id: '13221'
relation: earlier_version
status: public
- id: '20147'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: ' Safety and liveness of quantitative properties and automata'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 21
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19741'
abstract:
- lang: eng
text: '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.'
acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Marek
full_name: Chalupa, Marek
id: 87e34708-d6c6-11ec-9f5b-9391e7be2463
last_name: Chalupa
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Nicolas Adrien
full_name: Mazzocchi, Nicolas Adrien
id: b26baa86-3308-11ec-87b0-8990f34baa85
last_name: Mazzocchi
- first_name: Naci E
full_name: Sarac, Naci E
id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
last_name: Sarac
citation:
ama: 'Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. Automating the analysis of
quantitative automata with QuAK. In: 31st International Conference on Tools
and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer
Nature; 2025:303-312. doi:10.1007/978-3-031-90643-5_16'
apa: Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025).
Automating the analysis of quantitative automata with QuAK. In 31st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems
(Vol. 15696, pp. 303–312). Springer Nature. https://doi.org/10.1007/978-3-031-90643-5_16
chicago: Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci
E Sarac. “Automating the Analysis of Quantitative Automata with QuAK.” In 31st
International Conference on Tools and Algorithms for the Construction and Analysis
of Systems, 15696:303–12. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90643-5_16.
ieee: M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Automating
the analysis of quantitative automata with QuAK,” in 31st International Conference
on Tools and Algorithms for the Construction and Analysis of Systems, 2025,
vol. 15696, pp. 303–312.
ista: Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Automating the analysis
of quantitative automata with QuAK. 31st International Conference on Tools and
Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 15696, 303–312.
mla: Chalupa, Marek, et al. “Automating the Analysis of Quantitative Automata with
QuAK.” 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 303–12, doi:10.1007/978-3-031-90643-5_16.
short: M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems,
Springer Nature, 2025, pp. 303–312.
corr_author: '1'
date_created: 2025-05-25T22:17:07Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2026-04-07T12:02:57Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-031-90643-5_16
ec_funded: 1
external_id:
arxiv:
- '2501.16088'
file:
- access_level: open_access
checksum: a27fa245be8d83421e9127b48a09c8af
content_type: application/pdf
creator: dernst
date_created: 2025-06-02T08:13:11Z
date_updated: 2025-06-02T08:13:11Z
file_id: '19768'
file_name: 2025_TACAS_ChalupaMarek.pdf
file_size: 420669
relation: main_file
success: 1
file_date_updated: 2025-06-02T08:13:11Z
has_accepted_license: '1'
intvolume: ' 15696'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 303-312
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031906428'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '20147'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Automating the analysis of quantitative automata with QuAK
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15696
year: '2025'
...
---
OA_place: publisher
_id: '20741'
abstract:
- lang: eng
text: "Life on Earth emerged when biomacromolecules were membrane-enclosed in a
confined space where many essential chemical reactions were more likely to happen
and thereby accelerate evolution. These kinds of membranes separated internal
reactions from the outside chaos while staying flexible so that those primordial
cells can move, adopt their shape and, most importantly, propagate. Such membrane
plasticity still remains a defining feature of all modern cell types. This remarkable
ability to change their shape is most prominently observed during their propagation
(i.e., cell division). Throughout division, a cell undergoes drastic change in
its shape, usually at the middle of the cell, pulling the two opposite membrane
sides inward, closer to each other, and, finally, culminating in pinching off
to separate the cell into two daughter cells. To achieve this, a cell needs to
employ a protein machinery, usually termed divisome, that can coordinate all necessary
intracellular processes with membrane remodelling and synthesis of other extracellular
structures that decorate a cell. The focus of this dissertation is a membrane-remodelling
FtsZ system that is present across all domains of life. FtsZ forms filaments that
further self-organize into ring-like structures at the cell septum and together
with other division proteins perform cell envelope synthesis and constriction.
However, there are still knowledge gaps in our mechanistic understanding of division
in both archaea and bacteria. My work presented in this dissertation centres around
a simple yet not well understood question: How is the divisome positioned correctly
at the mid-cell? To achieve the proper positioning, the divisome needs to (i)
be recruited to the mid-cell and (ii) localized orthogonally to the long cell
axis. I tackle these processes in two different systems by applying an in vitro
biochemical bottom-up reconstitution approach. I use purified components of Haloferax
volcanii and Escherichia coli divisome to explore how divisome is recruited to
the mid-cell in archaea and how the Z-ring positions orthogonally to the long
cell axis in bacteria, respectively. \r\n\r\nFirstly, I collaborate with archaeal
cell and structural biologists to explore the assembly of early division proteins
in two FtsZ-containing archaeon H. volcanii, a standard model system for understudied
archaeal organisms. I particularly address the hierarchy of interactions that
allow a tripartite complex formation (SepF-CdpB1-CdpB2) and how the hierarchy
of interactions ultimately leads to the recruitment of FtsZ filaments to the septum.
This part of work has been published in (Nußbaum et al., 2024). In collaboration
with evolutionary biologists, I shed light on ancient features that archaeal divisome
has retained to this day and also speculate on a property that it might have lost
during the course of evolution. \r\n\r\nNext, I switch my attention to E. coli
divisome. Particularly, I address the FtsZ’s intrinsic biophysical property that
drives the Z-ring diameter, and thereby the perpendicular orientation of the Z-ring
to the long cell axis based on suggested membrane curvature sensing mechanism
(Vanhille-Campos et al., 2024). This property allows formation of different Z-ring
diameters that match the variety of cell diameters present in prokaryotes. The
results showcase that the distribution of charged amino acids in the intrinsically
disordered linker at the C-terminus (CTL) of FtsZ is the major determining factor
of Z-ring diameter with inter-CTL interactions as an underlying mechanism. \r\n\r\nFinally,
I thoroughly explain the methodology I used to address the abovementioned projects,
and I finish with a discussion on how early archaeal divisome assembly and curvature
sensing mechanism in bacteria, at first sight unrelated topics, are interconnected
and important groundwork for both fundamental and translational research. "
acknowledged_ssus:
- _id: Bio
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Marko
full_name: Kojic, Marko
id: 73e7ecd4-dc85-11ea-9058-88a16394b160
last_name: Kojic
orcid: 0000-0001-7244-8128
citation:
ama: Kojic M. Towards understanding the assembly mechanisms of the Z-ring in Archaea
and Bacteria. 2025. doi:10.15479/AT-ISTA-20741
apa: Kojic, M. (2025). Towards understanding the assembly mechanisms of the Z-ring
in Archaea and Bacteria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20741
chicago: Kojic, Marko. “Towards Understanding the Assembly Mechanisms of the Z-Ring
in Archaea and Bacteria.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20741.
ieee: M. Kojic, “Towards understanding the assembly mechanisms of the Z-ring in
Archaea and Bacteria,” Institute of Science and Technology Austria, 2025.
ista: Kojic M. 2025. Towards understanding the assembly mechanisms of the Z-ring
in Archaea and Bacteria. Institute of Science and Technology Austria.
mla: Kojic, Marko. Towards Understanding the Assembly Mechanisms of the Z-Ring
in Archaea and Bacteria. Institute of Science and Technology Austria, 2025,
doi:10.15479/AT-ISTA-20741.
short: M. Kojic, Towards Understanding the Assembly Mechanisms of the Z-Ring in
Archaea and Bacteria, Institute of Science and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-12-09T13:08:11Z
date_published: 2025-12-09T00:00:00Z
date_updated: 2026-04-07T12:27:58Z
day: '09'
ddc:
- '572'
degree_awarded: PhD
department:
- _id: GradSch
- _id: MaLo
doi: 10.15479/AT-ISTA-20741
file:
- access_level: closed
checksum: a3643d07e93134b2490a566b02a4517d
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: mkojic
date_created: 2025-12-10T13:09:58Z
date_updated: 2025-12-10T13:09:58Z
file_id: '20774'
file_name: 2025_marko_kojic_thesis.docx
file_size: 142876975
relation: source_file
- access_level: open_access
checksum: 0a096f0af6ccc3a8329d5bb8797ad533
content_type: application/pdf
creator: mkojic
date_created: 2025-12-10T13:09:38Z
date_updated: 2025-12-10T13:09:38Z
file_id: '20775'
file_name: 2025_marko_kojic_thesis.pdf
file_size: 8597045
relation: main_file
success: 1
file_date_updated: 2025-12-10T13:09:58Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
publication_identifier:
isbn:
- 978-3-99078-073-2
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '15118'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Martin
full_name: Loose, Martin
id: 462D4284-F248-11E8-B48F-1D18A9856A87
last_name: Loose
orcid: 0000-0001-7309-9724
title: Towards understanding the assembly mechanisms of the Z-ring in Archaea and
Bacteria
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
OA_place: publisher
_id: '19903'
abstract:
- lang: eng
text: "Cooperation, that is, one person paying a cost for another's benefit, is
a fundamental principle without which no form of society could exist. The extent
to which humans cooperate with each other is also an essential feature that differentiates
them from other animals. Cooperation occurs even in the absence of altruistic
motivations, when it is selfishly incentivised by the expectation of a future
reward. For example, many economic interactions are well described that way. This
kind of cooperation requires that people exhibit reciprocal behaviour that acts
as a mechanism that rewards cooperation.\r\nWith game-theoretic models, it is
possible to formally study potential such mechanisms and under what conditions
they can exist. This thesis contributes to this effort by analysing recently introduced
models of cooperation that advance on previous work by taking into account the
potential for pre-existing inequality among cooperating individuals as well as
the different forms that reciprocity can take.\r\nIndividuals may differ both
intrinsically, in their abilities, as well as extrinsically, in the amount of
resources they have available. Allowing for such differences in a model of cooperation
helps to understand how inequality affects the potential for, and outcomes of,
cooperation among unequals. In this thesis, it is shown that in the presence of
intrinsic inequality, a similar unequal distribution of resources can increase
the potential for cooperation. This effect is stronger the smaller the group is
in which cooperation takes place. It is also shown that under particular assumptions,
if the unequal members of a group vary the size of their contributions to a cooperative
effort over time, they can thereby increase their efficiency and improve the collective
outcome.\r\nCooperative behaviour in a two-person interaction can be rewarded
either by direct reciprocation whenever the same two people interact again, or
indirectly by a third party who observed the interaction. In the latter case of
indirect reciprocity, individuals are proximally rewarded by a good reputation,
which ultimately translates to being rewarded with cooperative behaviour by others.
This mechanism can enable selfishly motivated cooperation even in circumstances
where individuals are unlikely to meet again, akin to how money facilitates trade.
While these two forms of reciprocity have mostly been studied in isolation, this
thesis analyses both direct and indirect reciprocity in a general model in order
to compare their relative effectiveness under different circumstances. The contribution
of this thesis is an extension of previous work regarding a specific kind of interaction,
whose parameters allow for convenient mathematical analysis, to the most general
set of possible interactions."
acknowledgement: "The research for this thesis was supported by the European Research
Council\r\n(grant agreements No. 863818 and No. 850529), the European Union’s Horizon
2020 research and innovation programme (Marie Skłodowska-Curie grant agreement No.
754411),\r\nthe Austrian Science Fund (grant DOI 10.55776/COE12), the French Agence
Nationale\r\nde la Recherche under the Programme d’investissements d’avenir (project
reference 17-\r\nEURE-0010) and the Australian Government through the Australian
Research Council\r\n(grant No. SR200100005, “Securing Antarctica’s Environmental
Future”)."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Valentin
full_name: Hübner, Valentin
id: 2c8aa207-dc7d-11ea-9b2f-f22972ecd910
last_name: Hübner
orcid: 0009-0001-5009-4987
citation:
ama: Hübner V. Reciprocity and inequality in social dilemmas. 2025. doi:10.15479/AT-ISTA-19903
apa: Hübner, V. (2025). Reciprocity and inequality in social dilemmas. Institute
of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19903
chicago: Hübner, Valentin. “Reciprocity and Inequality in Social Dilemmas.” Institute
of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19903.
ieee: V. Hübner, “Reciprocity and inequality in social dilemmas,” Institute of Science
and Technology Austria, 2025.
ista: Hübner V. 2025. Reciprocity and inequality in social dilemmas. Institute of
Science and Technology Austria.
mla: Hübner, Valentin. Reciprocity and Inequality in Social Dilemmas. Institute
of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19903.
short: V. Hübner, Reciprocity and Inequality in Social Dilemmas, Institute of Science
and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-06-25T13:50:10Z
date_published: 2025-06-25T00:00:00Z
date_updated: 2026-04-07T12:30:57Z
day: '25'
ddc:
- '519'
degree_awarded: PhD
department:
- _id: GradSch
- _id: KrCh
doi: 10.15479/AT-ISTA-19903
ec_funded: 1
file:
- access_level: closed
checksum: 794c02f8c82ca59ba6dda3bd7eed871a
content_type: application/x-xz
creator: vhuebner
date_created: 2025-06-25T13:38:07Z
date_updated: 2025-06-25T13:38:07Z
file_id: '19905'
file_name: Thesis Valentin Hübner source.tar.xz
file_size: 6192760
relation: source_file
- access_level: open_access
checksum: ac56063d81c81e40322b6ff5a8c4912e
content_type: application/pdf
creator: vhuebner
date_created: 2025-07-09T13:37:00Z
date_updated: 2025-07-09T13:37:00Z
file_id: '19976'
file_name: Thesis Valentin Hübner.pdf
file_size: 4837864
relation: main_file
file_date_updated: 2025-07-09T13:37:00Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '06'
oa: 1
oa_version: Published Version
page: '157'
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '19843'
relation: part_of_dissertation
status: public
- id: '15083'
relation: part_of_dissertation
status: public
- id: '19074'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
title: Reciprocity and inequality in social dilemmas
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19735'
abstract:
- lang: eng
text: The males and females of the brine shrimp Artemia franciscana are highly dimorphic,
and this dimorphism is associated with substantial sex-biased gene expression
in heads and gonads. How these sex-specific patterns of expression are regulated
at the molecular level is unknown. A. franciscana also has differentiated ZW sex
chromosomes, with complete dosage compensation, but the molecular mechanism through
which compensation is achieved is unknown. Here, we conducted CUT&TAG assays targeting
7 post-translational histone modifications (H3K27me3, H3K9me2, H3K9me3, H3K36me3,
H3K27ac, H3K4me3, and H4K16ac) in heads and gonads of A. franciscana, allowing
us to divide the genome into 12 chromatin states. We further defined functional
chromatin signatures for all genes, which were correlated with transcript level
abundances. Differences in the occupancy of the profiled epigenetic marks between
sexes were associated with differential gene expression between males and females.
Finally, we found a significant enrichment of the permissive H4K16ac histone mark
in the Z-specific region in both tissues of females but not males, supporting
the role of this histone mark in mediating dosage compensation of the Z chromosome.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: We thank the Vicoso lab for their help in maintaining Artemia and
for their valuable feedback and suggestions. We thank Marwan Elkrewi for his useful
technical advice and discussions. We are also grateful to the Scientific Unit at
ISTA Austria for computational resources and assistance. This work was supported
by Austrian science fund (FWF) grants PAT8748323 and SFB F88-10 (as part of the
SFB Meiosis consortium https://sfbmeiosis.org) to BV and Swedish Research Council
(Vetenskapsrådet, grant number 2020-06424) to MSTA.
article_number: msaf085
article_processing_charge: Yes
article_type: original
author:
- first_name: Vincent K
full_name: Bett, Vincent K
id: 57854184-AAE0-11E9-8D04-98D6E5697425
last_name: Bett
- first_name: Minerva S
full_name: Trejo Arellano, Minerva S
id: 2b681148-eed5-11eb-b81b-ae229e8620f8
last_name: Trejo Arellano
orcid: 0000-0002-1982-3475
- first_name: Beatriz
full_name: Vicoso, Beatriz
id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
last_name: Vicoso
orcid: 0000-0002-4579-8306
citation:
ama: Bett VK, Trejo Arellano MS, Vicoso B. Chromatin landscape is associated with
sex-biased expression and Drosophila-like dosage compensation of the Z chromosome
in Artemia franciscana. Molecular Biology and Evolution. 2025;42(5). doi:10.1093/molbev/msaf085
apa: Bett, V. K., Trejo Arellano, M. S., & Vicoso, B. (2025). Chromatin landscape
is associated with sex-biased expression and Drosophila-like dosage compensation
of the Z chromosome in Artemia franciscana. Molecular Biology and Evolution.
Oxford University Press. https://doi.org/10.1093/molbev/msaf085
chicago: Bett, Vincent K, Minerva S Trejo Arellano, and Beatriz Vicoso. “Chromatin
Landscape Is Associated with Sex-Biased Expression and Drosophila-like Dosage
Compensation of the Z Chromosome in Artemia Franciscana.” Molecular Biology
and Evolution. Oxford University Press, 2025. https://doi.org/10.1093/molbev/msaf085.
ieee: V. K. Bett, M. S. Trejo Arellano, and B. Vicoso, “Chromatin landscape is associated
with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome
in Artemia franciscana,” Molecular Biology and Evolution, vol. 42, no.
5. Oxford University Press, 2025.
ista: Bett VK, Trejo Arellano MS, Vicoso B. 2025. Chromatin landscape is associated
with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome
in Artemia franciscana. Molecular Biology and Evolution. 42(5), msaf085.
mla: Bett, Vincent K., et al. “Chromatin Landscape Is Associated with Sex-Biased
Expression and Drosophila-like Dosage Compensation of the Z Chromosome in Artemia
Franciscana.” Molecular Biology and Evolution, vol. 42, no. 5, msaf085,
Oxford University Press, 2025, doi:10.1093/molbev/msaf085.
short: V.K. Bett, M.S. Trejo Arellano, B. Vicoso, Molecular Biology and Evolution
42 (2025).
corr_author: '1'
date_created: 2025-05-25T22:16:56Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2026-04-07T12:28:15Z
day: '01'
ddc:
- '570'
department:
- _id: BeVi
- _id: DaZi
doi: 10.1093/molbev/msaf085
external_id:
isi:
- '001483460200001'
pmid:
- '40202086'
file:
- access_level: open_access
checksum: 6c14b03f94b4aadf8869be2c4366d077
content_type: application/pdf
creator: dernst
date_created: 2025-05-28T09:34:36Z
date_updated: 2025-05-28T09:34:36Z
file_id: '19756'
file_name: 2025_MBE_Bett.pdf
file_size: 1282772
relation: main_file
success: 1
file_date_updated: 2025-05-28T09:34:36Z
has_accepted_license: '1'
intvolume: ' 42'
isi: 1
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 8ed82125-16d5-11f0-9cad-fbcae312235b
grant_number: PAT 8748323
name: Sex chromosomes in evolution and development
- _id: 34ae1506-11ca-11ed-8bc3-c14f4c474396
grant_number: F8810
name: The highjacking of meiosis for asexual reproduction
publication: Molecular Biology and Evolution
publication_identifier:
eissn:
- 1537-1719
issn:
- 0737-4038
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/vkb25/Chromatin-landscape-in-Artemia-franciscana.git
record:
- id: '20444'
relation: dissertation_contains
status: private
- id: '20449'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Chromatin landscape is associated with sex-biased expression and Drosophila-like
dosage compensation of the Z chromosome in Artemia franciscana
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 42
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19843'
abstract:
- lang: eng
text: 'Social dilemmas are collective-action problems where individual interests
are at odds with group interests. Such dilemmas occur frequently at all scales
of human interactions. When dealing with collective-action problems, people often
act reciprocally. They adjust their behavior to match the previous behavior of
the recipient. The literature distinguishes two kinds of reciprocity. According
to direct reciprocity, individuals react to their immediate experiences with the
recipient. They are more likely to cooperate if the recipient previously cooperated
with them. According to indirect reciprocity, individuals react to the recipient’s
general behavior, irrespectively of whether or not they benefited directly. In
practice, the two kinds of reciprocity are often intertwined; people typically
base their decisions on both direct experiences and indirect observations. Yet
only recently have researchers begun to explore how the two kinds of reciprocity
interact. So far, this research only addresses a single type of social dilemma,
the donation game, where the effects of individual behaviors are independent.
Instead, here we allow for all pairwise social dilemmas. By applying novel techniques
to generalize the theory of zero-determinant strategies, we establish an important
proof of principle: In all social dilemmas, socially optimal outcomes can be sustained
as an equilibrium, using either direct or indirect reciprocity, or arbitrary mixtures
thereof. These results neither require games to be repeated infinitely often,
nor that individual opinions are synchronized. In this way, we considerably generalize
the scope of models of reciprocity, and we build further bridges between the literatures
on direct and indirect reciprocity.'
acknowledgement: 'This work was supported by the European Research Council CoG 863818
(ForM-SMArt) (to K.C.) and the European Research Council Starting Grant 850529:
E-DIRECT (to C.H.).'
article_number: pgaf154
article_processing_charge: Yes
article_type: original
author:
- first_name: Valentin
full_name: Hübner, Valentin
id: 2c8aa207-dc7d-11ea-9b2f-f22972ecd910
last_name: Hübner
orcid: 0009-0001-5009-4987
- first_name: Laura
full_name: Schmid, Laura
id: 38B437DE-F248-11E8-B48F-1D18A9856A87
last_name: Schmid
orcid: 0000-0002-6978-7329
- first_name: Christian
full_name: Hilbe, Christian
id: 2FDF8F3C-F248-11E8-B48F-1D18A9856A87
last_name: Hilbe
orcid: 0000-0001-5116-955X
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: Hübner V, Schmid L, Hilbe C, Chatterjee K. Stable strategies of direct and
indirect reciprocity across all social dilemmas. PNAS Nexus. 2025;4(5).
doi:10.1093/pnasnexus/pgaf154
apa: Hübner, V., Schmid, L., Hilbe, C., & Chatterjee, K. (2025). Stable strategies
of direct and indirect reciprocity across all social dilemmas. PNAS Nexus.
Oxford University Press. https://doi.org/10.1093/pnasnexus/pgaf154
chicago: Hübner, Valentin, Laura Schmid, Christian Hilbe, and Krishnendu Chatterjee.
“Stable Strategies of Direct and Indirect Reciprocity across All Social Dilemmas.”
PNAS Nexus. Oxford University Press, 2025. https://doi.org/10.1093/pnasnexus/pgaf154.
ieee: V. Hübner, L. Schmid, C. Hilbe, and K. Chatterjee, “Stable strategies of direct
and indirect reciprocity across all social dilemmas,” PNAS Nexus, vol.
4, no. 5. Oxford University Press, 2025.
ista: Hübner V, Schmid L, Hilbe C, Chatterjee K. 2025. Stable strategies of direct
and indirect reciprocity across all social dilemmas. PNAS Nexus. 4(5), pgaf154.
mla: Hübner, Valentin, et al. “Stable Strategies of Direct and Indirect Reciprocity
across All Social Dilemmas.” PNAS Nexus, vol. 4, no. 5, pgaf154, Oxford
University Press, 2025, doi:10.1093/pnasnexus/pgaf154.
short: V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025).
corr_author: '1'
date_created: 2025-06-15T22:01:30Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2026-04-07T12:30:56Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1093/pnasnexus/pgaf154
ec_funded: 1
external_id:
pmid:
- '40417077'
file:
- access_level: open_access
checksum: efd6648db3fc3ea0cdd7155d667e5f11
content_type: application/pdf
creator: dernst
date_created: 2025-06-23T08:09:50Z
date_updated: 2025-06-23T08:09:50Z
file_id: '19867'
file_name: 2025_PNASNexus_Huebner.pdf
file_size: 2551195
relation: main_file
success: 1
file_date_updated: 2025-06-23T08:09:50Z
has_accepted_license: '1'
intvolume: ' 4'
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: PNAS Nexus
publication_identifier:
eissn:
- 2752-6542
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
related_material:
record:
- id: '19903'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Stable strategies of direct and indirect reciprocity across all social dilemmas
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '19074'
abstract:
- lang: eng
text: 'The public goods game is among the most studied metaphors of cooperation
in groups. In this game, individuals can use their endowments to make contributions
towards a good that benefits everyone. Each individual, however, is tempted to
free-ride on the contributions of others. Herein, we study repeated public goods
games among asymmetric players. Previous work has explored to which extent asymmetry
allows for full cooperation, such that players contribute their full endowment
each round. However, by design that work focusses on equilibria where individuals
make the same contribution each round. Instead, here we consider players whose
contributions along the equilibrium path can change from one round to the next.
We do so for three different models – one without any budget constraints, one
with endowment constraints, and one in which individuals can save their current
endowment to be used in subsequent rounds. In each case, we explore two key quantities:
the welfare and the resource efficiency that can be achieved in equilibrium. Welfare
corresponds to the sum of all players’ payoffs. Resource efficiency relates this
welfare to the total contributions made by the players. Compared to constant contribution
sequences, we find that time-dependent contributions can improve resource efficiency
across all three models. Moreover, they can improve the players’ welfare in the
model with savings.'
acknowledgement: 'This work was supported by the European Research Council CoG 863818
(ForM-SMArt) (to K.C.) and the European Research Council Starting Grant 850529:
E-DIRECT (to C.H.), the European Union’s Horizon 2020 research and innovation programme
under the Marie Skłodowska-Curie Grant Agreement #754411 and the French Agence Nationale
de la Recherche (under the Investissement d’Avenir programme, ANR-17-EURE-0010),
and ARC SRIEAS Grant SR200100005 Securing Antarctica’s Environmental Future (to
M.K.). Open access funding provided by Institute of Science and Technology (IST
Austria).'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Valentin
full_name: Hübner, Valentin
id: 2c8aa207-dc7d-11ea-9b2f-f22972ecd910
last_name: Hübner
orcid: 0009-0001-5009-4987
- first_name: Christian
full_name: Hilbe, Christian
id: 2FDF8F3C-F248-11E8-B48F-1D18A9856A87
last_name: Hilbe
orcid: 0000-0001-5116-955X
- first_name: Manuel
full_name: Staab, Manuel
last_name: Staab
- first_name: Maria
full_name: Kleshnina, Maria
id: 4E21749C-F248-11E8-B48F-1D18A9856A87
last_name: Kleshnina
orcid: 0000-0002-5518-8317
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: Hübner V, Hilbe C, Staab M, Kleshnina M, Chatterjee K. Time-dependent strategies
in repeated asymmetric public goods games. Dynamic Games and Applications.
2025;15:1617-1645. doi:10.1007/s13235-025-00627-5
apa: Hübner, V., Hilbe, C., Staab, M., Kleshnina, M., & Chatterjee, K. (2025).
Time-dependent strategies in repeated asymmetric public goods games. Dynamic
Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-025-00627-5
chicago: Hübner, Valentin, Christian Hilbe, Manuel Staab, Maria Kleshnina, and Krishnendu
Chatterjee. “Time-Dependent Strategies in Repeated Asymmetric Public Goods Games.”
Dynamic Games and Applications. Springer Nature, 2025. https://doi.org/10.1007/s13235-025-00627-5.
ieee: V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, and K. Chatterjee, “Time-dependent
strategies in repeated asymmetric public goods games,” Dynamic Games and Applications,
vol. 15. Springer Nature, pp. 1617–1645, 2025.
ista: Hübner V, Hilbe C, Staab M, Kleshnina M, Chatterjee K. 2025. Time-dependent
strategies in repeated asymmetric public goods games. Dynamic Games and Applications.
15, 1617–1645.
mla: Hübner, Valentin, et al. “Time-Dependent Strategies in Repeated Asymmetric
Public Goods Games.” Dynamic Games and Applications, vol. 15, Springer
Nature, 2025, pp. 1617–45, doi:10.1007/s13235-025-00627-5.
short: V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games
and Applications 15 (2025) 1617–1645.
corr_author: '1'
date_created: 2025-02-23T23:01:57Z
date_published: 2025-11-01T00:00:00Z
date_updated: 2026-04-07T12:30:56Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/s13235-025-00627-5
ec_funded: 1
external_id:
isi:
- '001415587800001'
file:
- access_level: open_access
checksum: de0a412cbb7d98bf5e6a551c26acbefa
content_type: application/pdf
creator: dernst
date_created: 2025-12-30T08:01:35Z
date_updated: 2025-12-30T08:01:35Z
file_id: '20888'
file_name: 2025_DynGamesAppl_Huebner.pdf
file_size: 1126178
relation: main_file
success: 1
file_date_updated: 2025-12-30T08:01:35Z
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 1617-1645
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Dynamic Games and Applications
publication_identifier:
eissn:
- 2153-0793
issn:
- 2153-0785
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '19903'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Time-dependent strategies in repeated asymmetric public goods games
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2025'
...
---
OA_place: publisher
_id: '20607'
acknowledged_ssus:
- _id: Bio
- _id: SSU
- _id: LifeSc
- _id: M-Shop
acknowledgement: "I gratefully acknowledge the support of the ISTA Graduate School
and the Scientific Service Units of\r\nISTA, whose resources made this work possible—especially
the Imaging & Optics Facility, the Lab\r\nSupport Facility, and the Miba Machine
Shop. I would like to thank two staff scientists in particular:\r\nRobert Hauschild
(Imaging & Optics Facility) and Daniel Balazs (Lab Support Facility), for their\r\nassistance
and advice. My PhD was partially funded by the Austrian Science Fund (FWF)\r\n(10.55776/P37169
and 10.55776/COE5)."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Soumyadip
full_name: Mondal, Soumyadip
id: d25d21ef-dc8d-11ea-abe3-ec4576307f48
last_name: Mondal
citation:
ama: 'Mondal S. Oxygen and sulfur redox : Conversion kinetics and phase equilibria.
2025. doi:10.15479/AT-ISTA-20607'
apa: 'Mondal, S. (2025). Oxygen and sulfur redox : Conversion kinetics and phase
equilibria. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20607'
chicago: 'Mondal, Soumyadip. “Oxygen and Sulfur Redox : Conversion Kinetics and
Phase Equilibria.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20607.'
ieee: 'S. Mondal, “Oxygen and sulfur redox : Conversion kinetics and phase equilibria,”
Institute of Science and Technology Austria, 2025.'
ista: 'Mondal S. 2025. Oxygen and sulfur redox : Conversion kinetics and phase equilibria.
Institute of Science and Technology Austria.'
mla: 'Mondal, Soumyadip. Oxygen and Sulfur Redox : Conversion Kinetics and Phase
Equilibria. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20607.'
short: 'S. Mondal, Oxygen and Sulfur Redox : Conversion Kinetics and Phase Equilibria,
Institute of Science and Technology Austria, 2025.'
corr_author: '1'
date_created: 2025-11-07T12:40:54Z
date_published: 2025-09-19T00:00:00Z
date_updated: 2026-04-07T12:27:24Z
day: '19'
ddc:
- '541'
- '543'
- '542'
degree_awarded: PhD
department:
- _id: GradSch
- _id: StFr
doi: 10.15479/AT-ISTA-20607
file:
- access_level: closed
checksum: b5eed6a3dccb83cd2a8a22e11fd7d867
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: smondal
date_created: 2025-11-13T16:47:47Z
date_updated: 2025-11-13T16:47:47Z
file_id: '20644'
file_name: 2025_Mondal_Soumyadip_Thesis.docx
file_size: 32589295
relation: source_file
- access_level: closed
checksum: 89b1529e0a7b524f46624d73ecadf8cb
content_type: application/pdf
creator: smondal
date_created: 2025-11-13T16:47:46Z
date_updated: 2025-11-13T16:47:46Z
embargo: 2026-11-13
embargo_to: open_access
file_id: '20645'
file_name: 2025_Mondal_Soumyadip_Thesis.pdf
file_size: 5007370
relation: main_file
file_date_updated: 2025-11-13T16:47:47Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa_version: Published Version
page: '71'
project:
- _id: 8df062be-16d5-11f0-9cad-f559b6612c7e
grant_number: P37169
name: Singlet oxygen in non-aqueous oxygen redox chemistry
publication_identifier:
isbn:
- 978-3-99078-071-8
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '12065'
relation: part_of_dissertation
status: public
- id: '13044'
relation: part_of_dissertation
status: public
- id: '20437'
relation: part_of_dissertation
status: deleted
- id: '14687'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Stefan Alexander
full_name: Freunberger, Stefan Alexander
id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
last_name: Freunberger
orcid: 0000-0003-2902-5319
title: 'Oxygen and sulfur redox : Conversion kinetics and phase equilibria'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
OA_place: publisher
_id: '20449'
acknowledged_ssus:
- _id: ScienComp
acknowledgement: "This work was supported by the Austrian Science Fund (FWF) through
grants PAT8748323\r\nand SFB F88-10 awarded to Professor Beatriz Vicoso."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Vincent K
full_name: Bett, Vincent K
id: 57854184-AAE0-11E9-8D04-98D6E5697425
last_name: Bett
citation:
ama: Bett VK. Evolution and regulation of the Z chromosome. 2025. doi:10.15479/AT-ISTA-20449
apa: Bett, V. K. (2025). Evolution and regulation of the Z chromosome. Institute
of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20449
chicago: Bett, Vincent K. “Evolution and Regulation of the Z Chromosome.” Institute
of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20449.
ieee: V. K. Bett, “Evolution and regulation of the Z chromosome,” Institute of Science
and Technology Austria, 2025.
ista: Bett VK. 2025. Evolution and regulation of the Z chromosome. Institute of
Science and Technology Austria.
mla: Bett, Vincent K. Evolution and Regulation of the Z Chromosome. Institute
of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20449.
short: V.K. Bett, Evolution and Regulation of the Z Chromosome, Institute of Science
and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-10-11T08:18:51Z
date_published: 2025-10-10T00:00:00Z
date_updated: 2026-04-07T12:28:15Z
day: '10'
ddc:
- '576'
degree_awarded: PhD
department:
- _id: GradSch
- _id: BeVi
doi: 10.15479/AT-ISTA-20449
file:
- access_level: closed
checksum: 26905c22bca417198a733d792d8ce422
content_type: application/pdf
creator: vbett
date_created: 2025-10-20T13:32:29Z
date_updated: 2025-10-20T13:32:29Z
embargo: 2026-06-01
embargo_to: open_access
file_id: '20507'
file_name: 2025_Bett_Vincent_Thesis.pdf
file_size: 18507283
relation: main_file
- access_level: closed
checksum: 6a09a8d126d3628bfd8a35202735f267
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: vbett
date_created: 2025-10-20T13:35:34Z
date_updated: 2025-11-06T12:42:09Z
file_id: '20508'
file_name: 2025_Bett_Vincent_Thesis.docx
file_size: 17163921
relation: source_file
file_date_updated: 2025-11-06T12:42:09Z
has_accepted_license: '1'
language:
- iso: eng
month: '10'
oa_version: Published Version
page: '114'
project:
- _id: 8ed82125-16d5-11f0-9cad-fbcae312235b
grant_number: PAT 8748323
name: Sex chromosomes in evolution and development
- _id: 34ae1506-11ca-11ed-8bc3-c14f4c474396
grant_number: F8810
name: The highjacking of meiosis for asexual reproduction
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '19735'
relation: part_of_dissertation
status: public
- id: '15009'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Beatriz
full_name: Vicoso, Beatriz
id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
last_name: Vicoso
orcid: 0000-0002-4579-8306
title: Evolution and regulation of the Z chromosome
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
OA_place: publisher
_id: '20777'
acknowledgement: "My work has been funded through the project \"Functional Advantages
of Critical Brain\r\nDynamics\" of the ISTA interdisciplinary fund and through the
FWF.\r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Predrag
full_name: Zivadinovic, Predrag
id: 68AA0E5A-AFDA-11E9-9994-141DE6697425
last_name: Zivadinovic
citation:
ama: Zivadinovic P. Scale-free activity as a basis for spatial learning and memory
in the brain. 2025. doi:10.15479/AT-ISTA-20777
apa: Zivadinovic, P. (2025). Scale-free activity as a basis for spatial learning
and memory in the brain. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20777
chicago: Zivadinovic, Predrag. “Scale-Free Activity as a Basis for Spatial Learning
and Memory in the Brain.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20777.
ieee: P. Zivadinovic, “Scale-free activity as a basis for spatial learning and memory
in the brain,” Institute of Science and Technology Austria, 2025.
ista: Zivadinovic P. 2025. Scale-free activity as a basis for spatial learning and
memory in the brain. Institute of Science and Technology Austria.
mla: Zivadinovic, Predrag. Scale-Free Activity as a Basis for Spatial Learning
and Memory in the Brain. Institute of Science and Technology Austria, 2025,
doi:10.15479/AT-ISTA-20777.
short: P. Zivadinovic, Scale-Free Activity as a Basis for Spatial Learning and Memory
in the Brain, Institute of Science and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-12-10T19:37:41Z
date_published: 2025-12-11T00:00:00Z
date_updated: 2026-04-07T12:30:06Z
day: '11'
ddc:
- '570'
- '539'
- '571'
degree_awarded: PhD
department:
- _id: GradSch
- _id: JoCs
doi: 10.15479/AT-ISTA-20777
file:
- access_level: closed
checksum: aae9d1ed53f7b67f75e289c26a02b72f
content_type: application/pdf
creator: pzivadin
date_created: 2025-12-10T19:28:20Z
date_updated: 2025-12-11T11:15:17Z
embargo: 2026-06-11
embargo_to: open_access
file_id: '20778'
file_name: 2025_Zivadinovic_Predrag_PhD_thesis.pdf
file_size: 8105379
relation: main_file
- access_level: closed
checksum: 8a08a3804ce7d9d625fdf1631113da8c
content_type: application/zip
creator: pzivadin
date_created: 2025-12-10T19:28:10Z
date_updated: 2025-12-10T19:28:10Z
file_id: '20779'
file_name: 2025_Zivadinovic_Predrag_PhD_thesis_source.zip
file_size: 8512240
relation: source_file
file_date_updated: 2025-12-11T11:15:17Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa_version: Published Version
page: '104'
project:
- _id: eb943429-77a9-11ec-83b8-9f471cdf5c67
grant_number: M03318
name: Functional Advantages of Critical Brain Dynamics
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
status: public
supervisor:
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
title: Scale-free activity as a basis for spatial learning and memory in the brain
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
OA_place: publisher
_id: '20234'
abstract:
- lang: eng
text: "Game Theory is the mathematical formalization of social dynamics - systems
where agents interact over time and the evolution of the state of the system depends
on the decisions of every player. \r\nThis thesis takes the perspective of a single
player and focuses on what they can guarantee in the worst case over the behavior
of other players.\r\nIn other words, we consider that the objective of every other
player in the game is exactly the opposite to the player.\r\nWe focus on sustained
interactions over time, where the players repeatedly obtain quantitative rewards
over time, and they are interested in maximizing their long-term performance.\t\r\nFormally,
this thesis focuses on zero-sum games with the liminf average objective.\r\nTwo
fundamental questions that Game Theory aims to answer are the following.\r\n\r\n1.
How much can a player guarantee to obtain after the interaction?\r\n\r\n2. How
to act in order to obtain the previously mentioned guarantee?\r\n\r\nThese questions
are formalized by the concepts of \"value\" and \"optimal strategies\". \t\r\nWe
study their properties on games that exhibit one or more of the following properties.
\r\n\r\n1. Partial Observation: \r\nthe players can not perfectly observe the
current state of the system during the game. We consider the model of (finite)
Partially Observable Markov Decision Processes and prove that finite-memory strategies
are sufficient to approximately guarantee the value.\r\n\r\n2. Perturbed Description:
\r\nthe formal description of the game is perturbed by a small parameter.\r\nWe
consider the model of (finite) Perturbed Matrix Games, and provide algorithms
to check various robustness properties and to compute the parameterized value
and optimal strategies.\r\n\r\n3. Stochastic Transitions: \r\nthe actions of the
players determine the behavior of the evolution of the system, described as a
probability distribution over the next state.\r\nWe consider the model of (finite)
Perturbed Stochastic Games and provide formulas for the marginal value.\r\n\r\n4.
Infinite States: \r\nthe system can be in infinitely many states.\r\nWe consider
the model of Random Dynamic Games on a class of infinite graphs, prove the existence
of the value, and quantify the concentration of finite-horizon values."
acknowledgement: "Funding sources The works included in this thesis were partially
supported by:\r\n• Austrian Science Fund (FWF), grants 10.55776/COE12 and No RiSE/SHiNE
S11407,\r\n• French Agence Nationale de la Recherche (ANR), grants ANR-21-CE40-0020
(CONVERGENCE) and ANR-20-CE40-0002 (GrHyDy),\r\n• Fondation Mathématique Jaques
Hadamard, grant PGMO RSG 2018-0031H,\r\n• European Research Council (ERC), Consolidator
grant 863818 (ForM-SMArt),\r\n• Agencia Nacional de Investigación y Desarrollo (ANID
Chile), grant ACT210005,\r\n• Fondo Nacional de Desarrollo Científico y Tecnológico
(Fondecyt Chile), grant 1220174,\r\n• Comisión Nacional de Investigación Científica
y Tecnológica (CONICYT Chile), grant\r\nPII 20150140,\r\n• Evaluation-orientation
de la Coopération Scientifique and Comisión Nacional de Investigación Científica
y Tecnológica (ECOS-CONICYT), grant C15E03,\r\n• European Cooperation in Science
and Technology (E-COST), grants CA16228 - European\r\nNetwork for Game Theory (GAMENET)
and E-COST-GRANT-CA16228-c5a69859.\r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Raimundo J
full_name: Saona Urmeneta, Raimundo J
id: BD1DF4C4-D767-11E9-B658-BC13E6697425
last_name: Saona Urmeneta
orcid: 0000-0001-5103-038X
citation:
ama: 'Saona Urmeneta RJ. Robustness of solutions in game theory : Values and strategies
in partially observable, perturbed, stochastic, and infinite games. 2025. doi:10.15479/AT-ISTA-20234'
apa: 'Saona Urmeneta, R. J. (2025). Robustness of solutions in game theory :
Values and strategies in partially observable, perturbed, stochastic, and infinite
games. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20234'
chicago: 'Saona Urmeneta, Raimundo J. “Robustness of Solutions in Game Theory :
Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite
Games.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20234.'
ieee: 'R. J. Saona Urmeneta, “Robustness of solutions in game theory : Values and
strategies in partially observable, perturbed, stochastic, and infinite games,”
Institute of Science and Technology Austria, 2025.'
ista: 'Saona Urmeneta RJ. 2025. Robustness of solutions in game theory : Values
and strategies in partially observable, perturbed, stochastic, and infinite games.
Institute of Science and Technology Austria.'
mla: 'Saona Urmeneta, Raimundo J. Robustness of Solutions in Game Theory : Values
and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games.
Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20234.'
short: 'R.J. Saona Urmeneta, Robustness of Solutions in Game Theory : Values and
Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games,
Institute of Science and Technology Austria, 2025.'
corr_author: '1'
date_created: 2025-08-27T14:00:13Z
date_published: 2025-08-27T00:00:00Z
date_updated: 2026-04-07T12:31:22Z
day: '27'
ddc:
- '519'
degree_awarded: PhD
department:
- _id: GradSch
- _id: KrCh
doi: 10.15479/AT-ISTA-20234
ec_funded: 1
file:
- access_level: open_access
checksum: 394a651f7de7085e509ef856ffe7bd97
content_type: application/pdf
creator: rsaonaur
date_created: 2025-08-28T14:47:07Z
date_updated: 2025-08-28T14:47:07Z
file_id: '20240'
file_name: 2025_Saona_Raimundo_Thesis.pdf
file_size: 1503623
relation: main_file
success: 1
- access_level: closed
checksum: 09fb2633e66aac80433d373f4180c5b4
content_type: application/zip
creator: rsaonaur
date_created: 2025-08-28T14:47:12Z
date_updated: 2025-08-28T14:47:12Z
file_id: '20241'
file_name: 2025_Saona_Raimundo_Thesis.zip
file_size: 622747
relation: source_file
file_date_updated: 2025-08-28T14:47:12Z
has_accepted_license: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: '125'
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '9311'
relation: part_of_dissertation
status: public
- id: '17037'
relation: part_of_dissertation
status: public
- id: '18266'
relation: part_of_dissertation
status: public
- id: '19508'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
title: 'Robustness of solutions in game theory : Values and strategies in partially
observable, perturbed, stochastic, and infinite games'
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '19508'
abstract:
- lang: eng
text: We consider random two-player zero-sum dynamic games with perfect information
on a class of infinite directed graphs. Starting from a fixed vertex, the players
take turns to move a token along the edges of the graph. Every vertex is assigned
a payoff known in advance by both players. Every time the token visits a vertex,
Player 2 pays Player 1 the corresponding payoff. We consider a distribution over
such games by assigning i.i.d. payoffs to the vertices. On the one hand, for acyclic
directed graphs of bounded degree and sub-exponential expansion, we show that,
when the duration of the game tends to infinity, the value converges almost surely
to a constant at an exponential rate dominated in terms of the expansion. On the
other hand, for the infinite d-ary tree (that does not fall into the previous
class of graphs), we show convergence at a double-exponential rate.
acknowledgement: Open access funding provided by Institute of Science and Technology
(IST Austria). This work was supported by the French Agence Nationale de la Recherche
(ANR) under references ANR-21-CE40-0020 (CONVERGENCE project) and ANR-20-CE40-0002
(GrHyDy), by Fondecyt grant 1220174, by ANID Chile grant ACT210005, and by the ERC
CoG 863818 (ForM-SMArt) grant. This collaboration was mainly conducted during a
1-year visit of Bruno Ziliotto to the Center for Mathematical Modeling (CMM) at
University of Chile in 2023, under the IRL program of CNRS. This work was supported
by Fondation CFM pour la Recherche. This paper has also been funded by the Agence
Nationale de la Recherche under grant ANR-17-EURE-0010 (Investissements d’Avenir
program).
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Luc
full_name: Attia, Luc
last_name: Attia
- first_name: Lyuben
full_name: Lichev, Lyuben
id: 9aa8388e-d003-11ee-8458-c4c1d7447977
last_name: Lichev
- first_name: Dieter
full_name: Mitsche, Dieter
last_name: Mitsche
- first_name: Raimundo J
full_name: Saona Urmeneta, Raimundo J
id: BD1DF4C4-D767-11E9-B658-BC13E6697425
last_name: Saona Urmeneta
orcid: 0000-0001-5103-038X
- first_name: Bruno
full_name: Ziliotto, Bruno
last_name: Ziliotto
citation:
ama: Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Random zero-sum
dynamic games on infinite directed graphs. Dynamic Games and Applications.
2025;15:1517-1535. doi:10.1007/s13235-025-00636-4
apa: Attia, L., Lichev, L., Mitsche, D., Saona Urmeneta, R. J., & Ziliotto,
B. (2025). Random zero-sum dynamic games on infinite directed graphs. Dynamic
Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-025-00636-4
chicago: Attia, Luc, Lyuben Lichev, Dieter Mitsche, Raimundo J Saona Urmeneta, and
Bruno Ziliotto. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” Dynamic
Games and Applications. Springer Nature, 2025. https://doi.org/10.1007/s13235-025-00636-4.
ieee: L. Attia, L. Lichev, D. Mitsche, R. J. Saona Urmeneta, and B. Ziliotto, “Random
zero-sum dynamic games on infinite directed graphs,” Dynamic Games and Applications,
vol. 15. Springer Nature, pp. 1517–1535, 2025.
ista: Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. 2025. Random
zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications.
15, 1517–1535.
mla: Attia, Luc, et al. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.”
Dynamic Games and Applications, vol. 15, Springer Nature, 2025, pp. 1517–35,
doi:10.1007/s13235-025-00636-4.
short: L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic
Games and Applications 15 (2025) 1517–1535.
corr_author: '1'
date_created: 2025-04-06T22:01:32Z
date_published: 2025-11-01T00:00:00Z
date_updated: 2026-04-07T12:31:21Z
day: '01'
ddc:
- '000'
department:
- _id: MaKw
- _id: KrCh
doi: 10.1007/s13235-025-00636-4
ec_funded: 1
external_id:
isi:
- '001449708900001'
file:
- access_level: open_access
checksum: b3a1b7eef40c9ac2acf3fef563081694
content_type: application/pdf
creator: dernst
date_created: 2025-12-30T08:13:04Z
date_updated: 2025-12-30T08:13:04Z
file_id: '20891'
file_name: 2025_DynGamesAppl_Attia.pdf
file_size: 570994
relation: main_file
success: 1
file_date_updated: 2025-12-30T08:13:04Z
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 1517-1535
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Dynamic Games and Applications
publication_identifier:
eissn:
- 2153-0793
issn:
- 2153-0785
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '20234'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Random zero-sum dynamic games on infinite directed graphs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2025'
...
---
_id: '17037'
abstract:
- lang: eng
text: Zero-sum stochastic games are parameterized by payoffs, transitions, and possibly
a discount rate. In this article, we study how the main solution concepts, the
discounted and undiscounted values, vary when these parameters are perturbed.
We focus on the marginal values, introduced by Mills in 1956 in the context of
matrix games—that is, the directional derivatives of the value along any fixed
perturbation. We provide a formula for the marginal values of a discounted stochastic
game. Further, under mild assumptions on the perturbation, we provide a formula
for their limit as the discount rate vanishes and for the marginal values of an
undiscounted stochastic game. We also show, via an example, that the two latter
differ in general.
acknowledgement: This work was supported by Fondation CFM pour la Recherche; the European
Research Council [Grant ERC-CoG-863818 (ForM-SMArt)]; and Agence Nationale de la
Recherche [Grant ANR-21-CE40-0020].
article_processing_charge: No
article_type: original
author:
- first_name: Luc
full_name: Attia, Luc
last_name: Attia
- first_name: Miquel
full_name: Oliu-Barton, Miquel
last_name: Oliu-Barton
- first_name: Raimundo J
full_name: Saona Urmeneta, Raimundo J
id: BD1DF4C4-D767-11E9-B658-BC13E6697425
last_name: Saona Urmeneta
orcid: 0000-0001-5103-038X
citation:
ama: Attia L, Oliu-Barton M, Saona Urmeneta RJ. Marginal values of a stochastic
game. Mathematics of Operations Research. 2025;50(1):482-505. doi:10.1287/moor.2023.0297
apa: Attia, L., Oliu-Barton, M., & Saona Urmeneta, R. J. (2025). Marginal values
of a stochastic game. Mathematics of Operations Research. Institute for
Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2023.0297
chicago: Attia, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal
Values of a Stochastic Game.” Mathematics of Operations Research. Institute
for Operations Research and the Management Sciences, 2025. https://doi.org/10.1287/moor.2023.0297.
ieee: L. Attia, M. Oliu-Barton, and R. J. Saona Urmeneta, “Marginal values of a
stochastic game,” Mathematics of Operations Research, vol. 50, no. 1. Institute
for Operations Research and the Management Sciences, pp. 482–505, 2025.
ista: Attia L, Oliu-Barton M, Saona Urmeneta RJ. 2025. Marginal values of a stochastic
game. Mathematics of Operations Research. 50(1), 482–505.
mla: Attia, Luc, et al. “Marginal Values of a Stochastic Game.” Mathematics of
Operations Research, vol. 50, no. 1, Institute for Operations Research and
the Management Sciences, 2025, pp. 482–505, doi:10.1287/moor.2023.0297.
short: L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations
Research 50 (2025) 482–505.
date_created: 2024-05-22T11:41:14Z
date_published: 2025-02-01T00:00:00Z
date_updated: 2026-04-07T12:31:21Z
day: '01'
department:
- _id: GradSch
- _id: KrCh
doi: 10.1287/moor.2023.0297
ec_funded: 1
external_id:
isi:
- '001184648000001'
intvolume: ' 50'
isi: 1
issue: '1'
language:
- iso: eng
month: '02'
oa_version: None
page: 482-505
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Mathematics of Operations Research
publication_identifier:
eissn:
- 1526-5471
issn:
- 0364-765X
publication_status: published
publisher: Institute for Operations Research and the Management Sciences
quality_controlled: '1'
related_material:
record:
- id: '20234'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Marginal values of a stochastic game
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20322'
abstract:
- lang: eng
text: For correlated real symmetric or complex Hermitian random matrices, we prove
that the local eigenvalue statistics at any cusp singularity are universal. Since
the density of states typically exhibits only square root edge or cubic root cusp
singularities, our result completes the proof of the Wigner–Dyson–Mehta universality
conjecture in all spectral regimes for a very general class of random matrices.
Previously only the bulk and the edge universality were established in this generality
(Alt et al. in Ann Probab 48(2):963–1001, 2020), while cusp universality was proven
only for Wigner-type matrices with independent entries (Cipolloni et al. in Pure
Appl Anal 1:615–707, 2019; Erdős et al. in Commun. Math. Phys. 378:1203–1278,
2018). As our main technical input, we prove an optimal local law at the cusp
using the Zigzag strategy, a recursive tandem of the
characteristic flow method and a Green function comparison argument. Moreover,
our proof of the optimal local law holds uniformly in the spectrum, thus we also
provide a significantly simplified alternative proof of the local eigenvalue universality
in the previously studied bulk (Erdős et al. in Forum Math. Sigma 7:E8, 2019)
and edge (Alt et al. in Ann Probab 48(2):963–1001, 2020) regimes.
acknowledgement: We thank Giorgio Cipolloni for many productive discussions and the
anonymous referees for several useful suggestions and spotting some typos. Open
access funding provided by Institute of Science and Technology (IST Austria).
article_number: '253'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Sven Joscha
full_name: Henheik, Sven Joscha
id: 31d731d7-d235-11ea-ad11-b50331c8d7fb
last_name: Henheik
orcid: 0000-0003-1106-327X
- first_name: Volodymyr
full_name: Riabov, Volodymyr
id: 1949f904-edfb-11eb-afb5-e2dfddabb93b
last_name: Riabov
citation:
ama: Erdös L, Henheik SJ, Riabov V. Cusp universality for correlated random matrices.
Communications in Mathematical Physics. 2025;406(10). doi:10.1007/s00220-025-05417-z
apa: Erdös, L., Henheik, S. J., & Riabov, V. (2025). Cusp universality for correlated
random matrices. Communications in Mathematical Physics. Springer Nature.
https://doi.org/10.1007/s00220-025-05417-z
chicago: Erdös, László, Sven Joscha Henheik, and Volodymyr Riabov. “Cusp Universality
for Correlated Random Matrices.” Communications in Mathematical Physics.
Springer Nature, 2025. https://doi.org/10.1007/s00220-025-05417-z.
ieee: L. Erdös, S. J. Henheik, and V. Riabov, “Cusp universality for correlated
random matrices,” Communications in Mathematical Physics, vol. 406, no.
10. Springer Nature, 2025.
ista: Erdös L, Henheik SJ, Riabov V. 2025. Cusp universality for correlated random
matrices. Communications in Mathematical Physics. 406(10), 253.
mla: Erdös, László, et al. “Cusp Universality for Correlated Random Matrices.” Communications
in Mathematical Physics, vol. 406, no. 10, 253, Springer Nature, 2025, doi:10.1007/s00220-025-05417-z.
short: L. Erdös, S.J. Henheik, V. Riabov, Communications in Mathematical Physics
406 (2025).
corr_author: '1'
date_created: 2025-09-10T05:38:17Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2026-04-07T12:32:19Z
day: '01'
ddc:
- '510'
department:
- _id: LaEr
doi: 10.1007/s00220-025-05417-z
external_id:
arxiv:
- '2410.06813'
isi:
- '001565019000005'
file:
- access_level: open_access
checksum: abd32af7b8ca6dc5b9080823a433986b
content_type: application/pdf
creator: dernst
date_created: 2025-09-10T07:48:21Z
date_updated: 2025-09-10T07:48:21Z
file_id: '20336'
file_name: 2025_CommMathPhysics_Erdoes.pdf
file_size: 1465827
relation: main_file
success: 1
file_date_updated: 2025-09-10T07:48:21Z
has_accepted_license: '1'
intvolume: ' 406'
isi: 1
issue: '10'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
publication: Communications in Mathematical Physics
publication_identifier:
eissn:
- 1432-0916
issn:
- 0010-3616
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '19547'
relation: earlier_version
status: public
- id: '20575'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Cusp universality for correlated random matrices
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 406
year: '2025'
...
---
OA_place: repository
_id: '20576'
abstract:
- lang: eng
text: We prove that a very general class of $N\times N$ Hermitian random band matrices
is in the delocalized phase when the band width $W$ exceeds the critical threshold,
$W\gg \sqrt{N}$. In this regime, we show that, in the bulk spectrum, the eigenfunctions
are fully delocalized, the eigenvalues follow the universal Wigner-Dyson statistics,
and quantum unique ergodicity holds for general diagonal observables with an optimal
convergence rate. Our results are valid for general variance profiles, arbitrary
single entry distributions, in both real-symmetric and complex-Hermitian symmetry
classes. In particular, our work substantially generalizes the recent breakthrough
result of Yau and Yin [arXiv:2501.01718], obtained for a specific complex Hermitian
Gaussian block band matrix. The main technical input is the optimal multi-resolvent
local laws -- both in the averaged and fully isotropic form. We also generalize
the $\sqrtη$-rule from [arXiv:2012.13215] to exploit the additional effect of
traceless observables. Our analysis is based on the zigzag strategy, complemented
with a new global-scale estimate derived using the static version of the master
inequalities, while the zig-step and the a priori estimates on the deterministic
approximations are proven dynamically.
acknowledgement: " Supported by the ERC\r\nAdvanced Grant ”RMTBeyond” No. 101020331."
article_processing_charge: No
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Volodymyr
full_name: Riabov, Volodymyr
id: 1949f904-edfb-11eb-afb5-e2dfddabb93b
last_name: Riabov
citation:
ama: Erdös L, Riabov V. The zigzag strategy for random band matrices. arXiv.
doi:10.48550/ARXIV.2506.06441
apa: Erdös, L., & Riabov, V. (n.d.). The zigzag strategy for random band matrices.
arXiv. https://doi.org/10.48550/ARXIV.2506.06441
chicago: Erdös, László, and Volodymyr Riabov. “The Zigzag Strategy for Random Band
Matrices.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2506.06441.
ieee: L. Erdös and V. Riabov, “The zigzag strategy for random band matrices,” arXiv.
.
ista: Erdös L, Riabov V. The zigzag strategy for random band matrices. arXiv, 10.48550/ARXIV.2506.06441.
mla: Erdös, László, and Volodymyr Riabov. “The Zigzag Strategy for Random Band Matrices.”
ArXiv, doi:10.48550/ARXIV.2506.06441.
short: L. Erdös, V. Riabov, ArXiv (n.d.).
corr_author: '1'
date_created: 2025-10-29T19:09:03Z
date_published: 2025-06-06T00:00:00Z
date_updated: 2026-04-07T12:32:19Z
day: '06'
department:
- _id: GradSch
- _id: LaEr
doi: 10.48550/ARXIV.2506.06441
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2506.06441
month: '06'
oa: 1
oa_version: Preprint
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication: arXiv
publication_status: draft
related_material:
record:
- id: '20575'
relation: dissertation_contains
status: public
status: public
title: The zigzag strategy for random band matrices
type: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2025'
...
---
OA_place: publisher
_id: '20575'
abstract:
- lang: eng
text: "This thesis deals with eigenvalue and eigenvector universality results for
random matrix ensembles equipped with non-trivial spatial structure. We consider
both mean-field models with a general variance profile (Wigner-type matrices)
and correlation structure (correlated matrices) among the entries, as well as
non-mean-field random band matrices with bandwidth W >> N^(1/2).\r\n\r\nTo extract
the universal properties of random matrix spectra and eigenvectors, we obtain
concentration estimates for their resolvent, the local laws, which generalize
the celebrated Wigner semicircle law for a broad class of random matrices to much
finer spectral scales. The local laws hold for both a single resolvent as well
as for products of multiple resolvents, known as resolvent chains, and express
the remarkable approximately-deterministic behavior of these objects down to the
microscopic scale.\r\n\r\nOur primary tool for establishing the local laws is
the dynamical Zigzag strategy, which we develop in the setting of spatially-inhomogeneous
random matrices. Our proof method systematically addresses the challenges arising
from non-trivial spatial structures and is robust to all types of singularities
in the spectrum, as we demonstrate in the correlated setting. Furthermore, we
incorporate the analysis of the deterministic resolvent chain approximations into
the dynamical framework of the Zigzag strategy, synthesizing a unified toolkit
for establishing multi-resolvent local laws.\r\n\r\nUsing these methods, we prove
complete eigenvector delocalization, the Eigenstate Thermalization Hypothesis,
and Wigner-Dyson universality in the bulk for random band matrices down to the
optimal bandwidth W >> N^(1/2). For mean-field ensembles, we establish universality
of local eigenvalue statistics at the cups for random matrices with correlated
entries, and the Eigenstate Thermalization Hypothesis for Wigner-type matrices
in the bulk of the spectrum.\r\n\r\nFinally, this thesis also contains other applications
of the multi-resolvent local laws to spatially-inhomogeneous random matrices,
obtained prior to the development of the Zigzag strategy. In particular, we provide
a complete analysis of mesoscopic linear-eigenvalue statistics of Wigner-type
matrices in all spectral regimes, including the novel cusps, and rigorously establish
the prethermalization phenomenon for deformed Wigner matrices.\r\n\r\nThe main
body of this thesis consists of seven research papers (listed on page xi), each
presented in a separate chapter with its own introduction and all relevant context,
suitable to be read independently. We ask the reader’s indulgence for the repetitions
in the historical overviews and other minor redundancies that remain among the
chapters as a result. The overall Introduction, preceding the chapters, provides
a condensed, informal summary of the main ideas and concepts at the core of these
works.\r\n"
acknowledgement: "The work comprising this thesis was supported by the ERC Advanced
Grant \"RMTBeyond\"\r\nNo.101020331 awarded to my advisor."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Volodymyr
full_name: Riabov, Volodymyr
id: 1949f904-edfb-11eb-afb5-e2dfddabb93b
last_name: Riabov
citation:
ama: Riabov V. Universality in random matrices with spatial structure. 2025. doi:10.15479/AT-ISTA-20575
apa: Riabov, V. (2025). Universality in random matrices with spatial structure.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20575
chicago: Riabov, Volodymyr. “Universality in Random Matrices with Spatial Structure.”
Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20575.
ieee: V. Riabov, “Universality in random matrices with spatial structure,” Institute
of Science and Technology Austria, 2025.
ista: Riabov V. 2025. Universality in random matrices with spatial structure. Institute
of Science and Technology Austria.
mla: Riabov, Volodymyr. Universality in Random Matrices with Spatial Structure.
Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20575.
short: V. Riabov, Universality in Random Matrices with Spatial Structure, Institute
of Science and Technology Austria, 2025.
corr_author: '1'
date_created: 2025-10-29T19:12:24Z
date_published: 2025-11-03T00:00:00Z
date_updated: 2026-04-07T12:32:20Z
day: '3'
ddc:
- '515'
- '519'
degree_awarded: PhD
department:
- _id: GradSch
- _id: LaEr
doi: 10.15479/AT-ISTA-20575
ec_funded: 1
file:
- access_level: open_access
checksum: 6a0487b2b66bb35d44b394756d44b8b4
content_type: application/pdf
creator: vriabov
date_created: 2025-10-29T18:53:59Z
date_updated: 2025-10-29T18:53:59Z
file_id: '20577'
file_name: riabov_thesis-pdfa.pdf
file_size: 7536583
relation: main_file
success: 1
- access_level: closed
checksum: 224efda6bf9864d296a1e5e0124c1e8f
content_type: application/x-zip-compressed
creator: vriabov
date_created: 2025-10-29T18:54:53Z
date_updated: 2025-10-29T18:54:53Z
file_id: '20578'
file_name: manuscript.zip
file_size: 17841612
relation: source_file
file_date_updated: 2025-10-29T18:54:53Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: '436'
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
call_identifier: H2020
grant_number: '101020331'
name: Random matrices beyond Wigner-Dyson-Mehta
publication_identifier:
isbn:
- 978-3-99078-064-0
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '20322'
relation: part_of_dissertation
status: public
- id: '18764'
relation: part_of_dissertation
status: public
- id: '13317'
relation: part_of_dissertation
status: public
- id: '19368'
relation: part_of_dissertation
status: deleted
- id: '18554'
relation: part_of_dissertation
status: public
- id: '20576'
relation: part_of_dissertation
status: public
- id: '17174'
relation: part_of_dissertation
status: public
- id: '19547'
relation: part_of_dissertation
status: public
- id: '19598'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
title: Universality in random matrices with spatial structure
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2025'
...