---
OA_place: publisher
OA_type: hybrid
_id: '19740'
abstract:
- lang: eng
text: Two standard models for probabilistic systems are Markov chains (MCs) and
Markov decision processes (MDPs). Classic objectives for such probabilistic models
for control and planning problems are reachability and stochastic shortest path.
The widely studied algorithmic approach for these problems is the Value Iteration
(VI) algorithm which iteratively applies local updates called Bellman updates.
There are many practical approaches for VI in the literature but they all require
exponentially many Bellman updates for MCs in the worst case. A preprocessing
step is an algorithm that is discrete, graph-theoretical, and requires linear
space. An important open question is whether, after a polynomial-time preprocessing,
VI can be achieved with sub-exponentially many Bellman updates. In this work,
we present a new approach for VI based on guessing values. Our theoretical contributions
are twofold. First, for MCs, we present an almost-linear-time preprocessing algorithm
after which, along with guessing values, VI requires only subexponentially many
Bellman updates. Second, we present an improved analysis of the speed of convergence
of VI for MDPs. Finally, we present a practical algorithm for MDPs based on our
new approach. Experimental results show that our approach provides a considerable
improvement over existing VI-based approaches on several benchmark examples from
the literature.
acknowledgement: This research was partially supported by the ERC CoG 863818 (ForM-SMArt)
grant and Austrian Science Fund (FWF) 10.55776/COE12 grant.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Mahdi
full_name: Jafariraviz, Mahdi
last_name: Jafariraviz
- 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: Jakub
full_name: Svoboda, Jakub
id: 130759D2-D7DD-11E9-87D2-DE0DE6697425
last_name: Svoboda
orcid: 0000-0002-1419-3267
citation:
ama: 'Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. Value iteration
with guessing for Markov chains and Markov decision processes. In: 31st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Vol 15697. Springer Nature; 2025:217-236. doi:10.1007/978-3-031-90653-4_11'
apa: 'Chatterjee, K., Jafariraviz, M., Saona Urmeneta, R. J., & Svoboda, J.
(2025). Value iteration with guessing for Markov chains and Markov decision processes.
In 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems (Vol. 15697, pp. 217–236). Hamilton, ON, Canada: Springer
Nature. https://doi.org/10.1007/978-3-031-90653-4_11'
chicago: Chatterjee, Krishnendu, Mahdi Jafariraviz, Raimundo J Saona Urmeneta, and
Jakub Svoboda. “Value Iteration with Guessing for Markov Chains and Markov Decision
Processes.” In 31st International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, 15697:217–36. Springer Nature, 2025.
https://doi.org/10.1007/978-3-031-90653-4_11.
ieee: K. Chatterjee, M. Jafariraviz, R. J. Saona Urmeneta, and J. Svoboda, “Value
iteration with guessing for Markov chains and Markov decision processes,” in 31st
International Conference on Tools and Algorithms for the Construction and Analysis
of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 217–236.
ista: 'Chatterjee K, Jafariraviz M, Saona Urmeneta RJ, Svoboda J. 2025. Value iteration
with guessing for Markov chains and Markov decision processes. 31st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems.
TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS,
vol. 15697, 217–236.'
mla: Chatterjee, Krishnendu, et al. “Value Iteration with Guessing for Markov Chains
and Markov Decision Processes.” 31st International Conference on Tools and
Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer
Nature, 2025, pp. 217–36, doi:10.1007/978-3-031-90653-4_11.
short: K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st
International Conference on Tools and Algorithms for the Construction and Analysis
of Systems, Springer Nature, 2025, pp. 217–236.
conference:
end_date: 2025-05-08
location: Hamilton, ON, Canada
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2025-05-03
corr_author: '1'
date_created: 2025-05-25T22:17:06Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-06-02T07:35:06Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-90653-4_11
ec_funded: 1
external_id:
arxiv:
- '2505.06769'
file:
- access_level: open_access
checksum: 45da6efbcbed20aada16c48c8e55e2d6
content_type: application/pdf
creator: dernst
date_created: 2025-06-02T07:31:12Z
date_updated: 2025-06-02T07:31:12Z
file_id: '19767'
file_name: 2025_TACAS_Chatterjee.pdf
file_size: 557481
relation: main_file
success: 1
file_date_updated: 2025-06-02T07:31:12Z
has_accepted_license: '1'
intvolume: ' 15697'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 217-236
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031906527'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Value iteration with guessing for Markov chains and Markov decision processes
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: 15697
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19742'
abstract:
- lang: eng
text: Statistical model checking estimates probabilities and expectations of interest
in probabilistic system models by using random simulations. Its results come with
statistical guarantees. However, many tools use unsound statistical methods that
produce incorrect results more often than they claim. In this paper, we provide
a comprehensive overview of tools and their correctness, as well as of sound methods
available for estimating probabilities from the literature. For expected rewards,
we investigate how to bound the path reward distribution to apply sound statistical
methods for bounded distributions, of which we recommend the Dvoretzky-Kiefer-Wolfowitz
inequality that has not been used in SMC so far. We prove that even reachability
rewards can be bounded in theory, and formalise the concept of limit-PAC procedures
for a practical solution. The modes SMC tool implements our methods and recommendations,
which we use to experimentally confirm our results.
acknowledgement: This work was supported by the DFG through the Cluster of Excellence
EXC 2050/1 (CeTI, project ID 390696704, as part of Germany’s Excellence Strategy)
and the TRR 248 (see perspicuous-computing.science, project ID 389792660), by the
European Union’s Horizon 2020 research and innovation programme under Marie Skłodowska-Curie
grant agreements 101008233 (MISSION), 101034413 (IST-BRIDGE), and 101067199 (ProSVED),
by the EU under NextGenerationEU projects D53D23008400006 (Smartitude) under MUR
PRIN 2022 and PE00000014 (SERICS) under MUR PNRR, by the Interreg North Sea project
STORM_SAFE, and by NWO VIDI grant VI.Vidi.223.110 (TruSTy).
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Carlos E.
full_name: Budde, Carlos E.
last_name: Budde
- first_name: Arnd
full_name: Hartmanns, Arnd
last_name: Hartmanns
- first_name: Tobias
full_name: Meggendorfer, Tobias
id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
last_name: Meggendorfer
orcid: 0000-0002-1712-2165
- first_name: Maximilian
full_name: Weininger, Maximilian
id: 02ab0197-cc70-11ed-ab61-918e71f56881
last_name: Weininger
- first_name: Patrick
full_name: Wienhöft, Patrick
last_name: Wienhöft
citation:
ama: 'Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical
model checking for probabilities and expected rewards. In: 31st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Vol 15696. Springer Nature; 2025:167-190. doi:10.1007/978-3-031-90643-5_9'
apa: 'Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft,
P. (2025). Sound statistical model checking for probabilities and expected rewards.
In 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems (Vol. 15696, pp. 167–190). Hamilton, ON, Canada: Springer
Nature. https://doi.org/10.1007/978-3-031-90643-5_9'
chicago: Budde, Carlos E., Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger,
and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and
Expected Rewards.” In 31st International Conference on Tools and Algorithms
for the Construction and Analysis of Systems, 15696:167–90. Springer Nature,
2025. https://doi.org/10.1007/978-3-031-90643-5_9.
ieee: C. E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft,
“Sound statistical model checking for probabilities and expected rewards,” in
31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15696, pp. 167–190.
ista: 'Budde CE, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound
statistical model checking for probabilities and expected rewards. 31st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems.
TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS,
vol. 15696, 167–190.'
mla: Budde, Carlos E., et al. “Sound Statistical Model Checking for Probabilities
and Expected Rewards.” 31st International Conference on Tools and Algorithms
for the Construction and Analysis of Systems, vol. 15696, Springer Nature,
2025, pp. 167–90, doi:10.1007/978-3-031-90643-5_9.
short: C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:,
31st International Conference on Tools and Algorithms for the Construction and
Analysis of Systems, Springer Nature, 2025, pp. 167–190.
conference:
end_date: 2025-05-08
location: Hamilton, ON, Canada
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2025-05-03
date_created: 2025-05-25T22:17:08Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-06-02T09:45:41Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-90643-5_9
ec_funded: 1
external_id:
arxiv:
- '2411.00559'
file:
- access_level: open_access
checksum: d45856b503b1dd4f8f14c3566327225b
content_type: application/pdf
creator: dernst
date_created: 2025-06-02T09:35:42Z
date_updated: 2025-06-02T09:35:42Z
file_id: '19770'
file_name: 2025_TACAS_Budde.pdf
file_size: 711271
relation: main_file
success: 1
file_date_updated: 2025-06-02T09:35:42Z
has_accepted_license: '1'
intvolume: ' 15696'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 167-190
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
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: '19769'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Sound statistical model checking for probabilities and expected rewards
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
OA_type: hybrid
_id: '19743'
abstract:
- lang: eng
text: The possibility of errors in human-engineered formal verification software,
such as model checkers, poses a serious threat to the purpose of these tools.
An established approach to mitigate this problem are certificates—lightweight,
easy-to-check proofs of the verification results. In this paper, we develop novel
certificates for model checking of Markov decision processes (MDPs) with quantitative
reachability and expected reward properties. Our approach is conceptually simple
and relies almost exclusively on elementary fixed point theory. Our certificates
work for arbitrary finite MDPs and can be readily computed with little overhead
using standard algorithms. We formalize the soundness of our certificates in Isabelle/HOL
and provide a formally verified certificate checker. Moreover, we augment existing
algorithms in the probabilistic model checker Storm with the ability to produce
certificates and demonstrate practical applicability by conducting the first formal
certification of the reference results in the Quantitative Verification Benchmark
Set.
acknowledgement: This project has received funding from the ERC CoG 863818 (ForM-SMArt),
the Austrian Science Fund (FWF) 10.55776/COE12, a KI-Starter grant from the Ministerium
für Kultur und Wissenschaft NRW, the DFG RTG 378803395 (ConVeY), the EU’s Horizon
2020 research and innovation programmes under the Marie Sklodowska-Curie grant agreement
Nos. 101034413 (IST-BRIDGE) and 101008233 (MISSION), and the DFG RTG 2236 (UnRAVeL).
Experiments were performed with computing resources granted by RWTH Aachen University
under project rwth1632.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Tim
full_name: Quatmann, Tim
last_name: Quatmann
- first_name: Maximilian
full_name: Schäffeler, Maximilian
last_name: Schäffeler
- first_name: Maximilian
full_name: Weininger, Maximilian
id: 02ab0197-cc70-11ed-ab61-918e71f56881
last_name: Weininger
- first_name: Tobias
full_name: Winkler, Tobias
last_name: Winkler
- first_name: Daniel
full_name: Zilken, Daniel
id: d8ebc24a-3f98-11f0-9044-8296d4f39ab3
last_name: Zilken
citation:
ama: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D.
Fixed point certificates for reachability and expected rewards in MDPs. In: 31st
International Conference on Tools and Algorithms for the Construction and Analysis
of Systems. Vol 15697. Springer Nature; 2025:130-151. doi:10.1007/978-3-031-90653-4_7'
apa: 'Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T.,
& Zilken, D. (2025). Fixed point certificates for reachability and expected
rewards in MDPs. In 31st International Conference on Tools and Algorithms for
the Construction and Analysis of Systems (Vol. 15697, pp. 130–151). Hamilton,
ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_7'
chicago: Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian
Weininger, Tobias Winkler, and Daniel Zilken. “Fixed Point Certificates for Reachability
and Expected Rewards in MDPs.” In 31st International Conference on Tools and
Algorithms for the Construction and Analysis of Systems, 15697:130–51. Springer
Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_7.
ieee: K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, and D.
Zilken, “Fixed point certificates for reachability and expected rewards in MDPs,”
in 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, Hamilton, ON, Canada, 2025, vol. 15697, pp. 130–151.
ista: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D.
2025. Fixed point certificates for reachability and expected rewards in MDPs.
31st International Conference on Tools and Algorithms for the Construction and
Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis
of Systems, LNCS, vol. 15697, 130–151.'
mla: Chatterjee, Krishnendu, et al. “Fixed Point Certificates for Reachability and
Expected Rewards in MDPs.” 31st International Conference on Tools and Algorithms
for the Construction and Analysis of Systems, vol. 15697, Springer Nature,
2025, pp. 130–51, doi:10.1007/978-3-031-90653-4_7.
short: K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken,
in:, 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
conference:
end_date: 2025-05-08
location: Hamilton, ON, Canada
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2025-05-03
corr_author: '1'
date_created: 2025-05-25T22:17:09Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-06-02T10:55:34Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-90653-4_7
ec_funded: 1
external_id:
arxiv:
- '2501.11467'
file:
- access_level: open_access
checksum: 64b7f46ef05649b87b827248045c7645
content_type: application/pdf
creator: dernst
date_created: 2025-06-02T10:49:52Z
date_updated: 2025-06-02T10:49:52Z
file_id: '19772'
file_name: 2025_TACAS_ChatterjeeKrish.pdf
file_size: 732136
relation: main_file
success: 1
file_date_updated: 2025-06-02T10:49:52Z
has_accepted_license: '1'
intvolume: ' 15697'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 130-151
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031906527'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '19771'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Fixed point certificates for reachability and expected rewards in MDPs
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: 15697
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19744'
abstract:
- lang: eng
text: We consider the problem of refuting equivalence of probabilistic programs,
i.e., the problem of proving that two probabilistic programs induce different
output distributions. We study this problem in the context of programs with conditioning
(i.e., with observe and score statements), where the output distribution is conditioned
by the event that all the observe statements along a run evaluate to true, and
where the probability densities of different runs may be updated via the score
statements. Building on a recent work on programs without conditioning, we present
a new equivalence refutation method for programs with conditioning. Our method
is based on weighted restarting, a novel transformation of probabilistic programs
with conditioning to the output equivalent probabilistic programs without conditioning
that we introduce in this work. Our method is the first to be both a) fully automated,
and b) providing provably correct answers. We demonstrate the applicability of
our method on a set of programs from the probabilistic inference literature.
acknowledgement: This work was partially supported by ERC CoG 863818 (ForM-SMArt)
and Austrian Science Fund (FWF) 10.55776/COE12. Petr Novotný is supported by the
Czech Science Foundation grant no. GA23-06963S.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Ehsan
full_name: Kafshdar Goharshadi, Ehsan
id: 103b4fa0-896a-11ed-bdf8-87b697bef40d
last_name: Kafshdar Goharshadi
orcid: 0000-0002-8595-0587
- first_name: Petr
full_name: Novotný, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotný
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Chatterjee K, Goharshady E, Novotný P, Zikelic D. Refuting equivalence in
probabilistic programs with conditioning. In: 31st International Conference
on Tools and Algorithms for the Construction and Analysis of Systems. Vol
15697. Springer Nature; 2025:279-300. doi:10.1007/978-3-031-90653-4_14'
apa: 'Chatterjee, K., Goharshady, E., Novotný, P., & Zikelic, D. (2025). Refuting
equivalence in probabilistic programs with conditioning. In 31st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems
(Vol. 15697, pp. 279–300). Hamilton, ON, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-90653-4_14'
chicago: Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic.
“Refuting Equivalence in Probabilistic Programs with Conditioning.” In 31st
International Conference on Tools and Algorithms for the Construction and Analysis
of Systems, 15697:279–300. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_14.
ieee: K. Chatterjee, E. Goharshady, P. Novotný, and D. Zikelic, “Refuting equivalence
in probabilistic programs with conditioning,” in 31st International Conference
on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton,
ON, Canada, 2025, vol. 15697, pp. 279–300.
ista: 'Chatterjee K, Goharshady E, Novotný P, Zikelic D. 2025. Refuting equivalence
in probabilistic programs with conditioning. 31st International Conference on
Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools
and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 15697,
279–300.'
mla: Chatterjee, Krishnendu, et al. “Refuting Equivalence in Probabilistic Programs
with Conditioning.” 31st International Conference on Tools and Algorithms for
the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025,
pp. 279–300, doi:10.1007/978-3-031-90653-4_14.
short: K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International
Conference on Tools and Algorithms for the Construction and Analysis of Systems,
Springer Nature, 2025, pp. 279–300.
conference:
end_date: 2025-05-08
location: Hamilton, ON, Canada
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2025-05-03
corr_author: '1'
date_created: 2025-05-25T22:17:10Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-06-02T11:16:13Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-90653-4_14
ec_funded: 1
external_id:
arxiv:
- '2501.06579'
file:
- access_level: open_access
checksum: 7dcd85e7e753bfa994c10b3cf9ebc185
content_type: application/pdf
creator: dernst
date_created: 2025-06-02T11:13:49Z
date_updated: 2025-06-02T11:13:49Z
file_id: '19773'
file_name: 2025_TACAS_Chatterjee_Goharshadi.pdf
file_size: 532181
relation: main_file
success: 1
file_date_updated: 2025-06-02T11:13:49Z
has_accepted_license: '1'
intvolume: ' 15697'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 279-300
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: 31st International Conference on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031906527'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Refuting equivalence in probabilistic programs with conditioning
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: 15697
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19769'
abstract:
- lang: eng
text: "Artifact to reproduce the experimental results presented in the article \"Sound
Statistical Model Checking for Probabilities and Expected Rewards\" by Carlos
E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick
Wienhöft (TACAS 2025).\r\n\r\nThe contents include all data and software (formal
models, software tools, Python & bash scripts) used in the experimental evaluation
presented in sections 3, 4, and 6 of the article. Detailed instructions on how
to reproduce the results are bundled in the artifact."
article_processing_charge: No
author:
- first_name: Carlos
full_name: Budde, Carlos
last_name: Budde
- first_name: Arnd
full_name: Hartmanns, Arnd
last_name: Hartmanns
- first_name: Tobias
full_name: Meggendorfer, Tobias
id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
last_name: Meggendorfer
orcid: 0000-0002-1712-2165
- first_name: Maximilian
full_name: Weininger, Maximilian
id: 02ab0197-cc70-11ed-ab61-918e71f56881
last_name: Weininger
- first_name: Patrick
full_name: Wienhöft, Patrick
last_name: Wienhöft
citation:
ama: Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical
model checking for probabilities and expected rewards (experimental reproduction
package). 2025. doi:10.5281/ZENODO.14602066
apa: Budde, C., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft,
P. (2025). Sound statistical model checking for probabilities and expected rewards
(experimental reproduction package). Zenodo. https://doi.org/10.5281/ZENODO.14602066
chicago: Budde, Carlos, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger,
and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and
Expected Rewards (Experimental Reproduction Package).” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14602066.
ieee: C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft, “Sound
statistical model checking for probabilities and expected rewards (experimental
reproduction package).” Zenodo, 2025.
ista: Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound
statistical model checking for probabilities and expected rewards (experimental
reproduction package), Zenodo, 10.5281/ZENODO.14602066.
mla: Budde, Carlos, et al. Sound Statistical Model Checking for Probabilities
and Expected Rewards (Experimental Reproduction Package). Zenodo, 2025, doi:10.5281/ZENODO.14602066.
short: C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
date_created: 2025-06-02T09:37:14Z
date_published: 2025-01-07T00:00:00Z
date_updated: 2025-06-02T09:45:41Z
day: '07'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.5281/ZENODO.14602066
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/ZENODO.14602066
month: '01'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '19742'
relation: used_in_publication
status: public
status: public
title: Sound statistical model checking for probabilities and expected rewards (experimental
reproduction package)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19771'
abstract:
- lang: eng
text: "This artifact allows to review and reproduce the Isabelle proofs and practical
experiments from the paper *Fixed Point Certificates for Reachability and Expected
Rewards in MDPs*.\r\nThe contents are two-fold:\r\nFirst, the artifact contains
a formally verified certificate checker for the certificates presented in the
paper.\r\nThe formal Isabelle/HOL proofs of the background theory can be inspected,
checked by Isabelle and the code extraction can be retraced.\r\n\r\nSecond, the
artifact contains a modified version of the model checking tool `Storm` with support
for certificate generation. Together with the provided scripts and benchmark files,
this allows to reproduce the experiments from the paper.\r\nAn appropriate subset
of the experiments is given to allow a review in a timely manner. In addition,
original logfiles from our experiments are provided, allowing a detailed inspection.\r\n\r\nThe
package includes convenient installation scripts for [the TACAS 2023 VM](https://doi.org/10.5281/zenodo.7113223)
(based on Ubuntu 22.04).\r\nA native installation on Linux or macOS systems (including
the newer ARM-based machines) is also possible."
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Tim
full_name: Quatmann, Tim
last_name: Quatmann
- first_name: Maximilian
full_name: Schäffeler, Maximilian
last_name: Schäffeler
- first_name: Maximilian
full_name: Weininger, Maximilian
id: 02ab0197-cc70-11ed-ab61-918e71f56881
last_name: Weininger
- first_name: Tobias
full_name: Winkler, Tobias
last_name: Winkler
- first_name: Daniel
full_name: Zilken, Daniel
id: d8ebc24a-3f98-11f0-9044-8296d4f39ab3
last_name: Zilken
citation:
ama: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D.
Artifact: Fixed point certificates for reachability and expected rewards in MDPs.
2025. doi:10.5281/ZENODO.14626585'
apa: 'Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T.,
& Zilken, D. (2025). Artifact: Fixed point certificates for reachability and
expected rewards in MDPs. Zenodo. https://doi.org/10.5281/ZENODO.14626585'
chicago: 'Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian
Weininger, Tobias Winkler, and Daniel Zilken. “Artifact: Fixed Point Certificates
for Reachability and Expected Rewards in MDPs.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14626585.'
ieee: 'K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, and
D. Zilken, “Artifact: Fixed point certificates for reachability and expected rewards
in MDPs.” Zenodo, 2025.'
ista: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D.
2025. Artifact: Fixed point certificates for reachability and expected rewards
in MDPs, Zenodo, 10.5281/ZENODO.14626585.'
mla: 'Chatterjee, Krishnendu, et al. Artifact: Fixed Point Certificates for Reachability
and Expected Rewards in MDPs. Zenodo, 2025, doi:10.5281/ZENODO.14626585.'
short: K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken,
(2025).
date_created: 2025-06-02T10:13:24Z
date_published: 2025-01-09T00:00:00Z
date_updated: 2025-06-02T10:55:35Z
day: '09'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.5281/ZENODO.14626585
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/ZENODO.14626585
month: '01'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '19743'
relation: used_in_publication
status: public
status: public
title: 'Artifact: Fixed point certificates for reachability and expected rewards in
MDPs'
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19777'
abstract:
- lang: eng
text: Snow cover is of key importance for water resources in high mountain Asia
(HMA) and is expected to undergo extensive changes in a warming climate. Past
studies have quantified snow cover changes with satellite products of relatively
low spatial resolution (∼500 m) which are hindered by the steep topography of
this mountain region. We derive snowlines from Sentinel-2 and Landsat 5, 7 and
8 images, which, thanks to their higher spatial resolution, are less sensitive
to the local topography. We calculate the snow line altitude (SLA) and its seasonality
for all glacierized catchments of HMA and link these patterns to climate variables
corrected for topographic biases. As such, the snowline changes provide a clear
proxy for climatic changes. Our results highlight a strong spatial variability
in mean SLA and in its seasonal changes, including across mountain chains and
between the monsoon-dominated and the westerlies-dominated catchments. Over the
period 1999–2019, the western regions of HMA (Pamir, Karakoram, Western Himalaya)
have undergone increased snow coverage, expressed as seasonal SLA decrease, in
spring and summer. This change is opposed to a widespread increase in SLA in autumn
across the region, and especially the southeastern regions of HMA (Nyainqentanglha,
Hengduan Shan, South–East Himalaya). Our results indicate that the diversity of
seasonal snow dynamics across the region is controlled not by temperature or precipitation
directly but by the timing and partitioning of solid precipitation. Decadal snowline
changes (1999–2009 vs 2009–2019) seasonally precede temperature changes, suggesting
that seasonal temperature changes in the Karakoram–Pamir and Eastern Nyainqentanglha
regions may have responded to snow cover changes, rather than driving them.
acknowledgement: This work was supported by the SNSF (Science and Swiss National Science
Foundation)-SSSTC (Sino-Swiss Science and Technology Cooperation) Project (IZLCZ0_189890)
'Understanding snow, glacier and rivers response to climate in High Mountain Asia
(ASCENT)', by the JSPS (Japan Society for the Promotion)-SNSF Bilateral Programmes
project (HOPE, High-elevation precipitation in High Mountain Asia; Grant 183633),
and the European Research Council (ERC) under the European Union's Horizon 2020
research and innovation program (RAVEN, Rapid mass losses of debris-covered glaciers
in High Mountain Asia; Grant 772751). Marin Kneib acknowledges funding from the
SNSF Postdoc.Mobility program (Grant No. P500PN_210739).
article_number: '064039'
article_processing_charge: Yes
article_type: original
author:
- first_name: M.
full_name: Bernat, M.
last_name: Bernat
- first_name: E. S.
full_name: Miles, E. S.
last_name: Miles
- first_name: M.
full_name: Kneib, M.
last_name: Kneib
- first_name: K.
full_name: Fujita, K.
last_name: Fujita
- first_name: O.
full_name: Sasaki, O.
last_name: Sasaki
- first_name: Thomas
full_name: Shaw, Thomas
id: 3caa3f91-1f03-11ee-96ce-e0e553054d6e
last_name: Shaw
orcid: 0000-0001-7640-6152
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
orcid: 0000-0002-5554-8087
citation:
ama: Bernat M, Miles ES, Kneib M, et al. Precipitation phase drives seasonal and
decadal snowline changes in high mountain Asia. Environmental Research Letters.
2025;20(6). doi:10.1088/1748-9326/adcf39
apa: Bernat, M., Miles, E. S., Kneib, M., Fujita, K., Sasaki, O., Shaw, T., &
Pellicciotti, F. (2025). Precipitation phase drives seasonal and decadal snowline
changes in high mountain Asia. Environmental Research Letters. IOP Publishing.
https://doi.org/10.1088/1748-9326/adcf39
chicago: Bernat, M., E. S. Miles, M. Kneib, K. Fujita, O. Sasaki, Thomas Shaw, and
Francesca Pellicciotti. “Precipitation Phase Drives Seasonal and Decadal Snowline
Changes in High Mountain Asia.” Environmental Research Letters. IOP Publishing,
2025. https://doi.org/10.1088/1748-9326/adcf39.
ieee: M. Bernat et al., “Precipitation phase drives seasonal and decadal
snowline changes in high mountain Asia,” Environmental Research Letters,
vol. 20, no. 6. IOP Publishing, 2025.
ista: Bernat M, Miles ES, Kneib M, Fujita K, Sasaki O, Shaw T, Pellicciotti F. 2025.
Precipitation phase drives seasonal and decadal snowline changes in high mountain
Asia. Environmental Research Letters. 20(6), 064039.
mla: Bernat, M., et al. “Precipitation Phase Drives Seasonal and Decadal Snowline
Changes in High Mountain Asia.” Environmental Research Letters, vol. 20,
no. 6, 064039, IOP Publishing, 2025, doi:10.1088/1748-9326/adcf39.
short: M. Bernat, E.S. Miles, M. Kneib, K. Fujita, O. Sasaki, T. Shaw, F. Pellicciotti,
Environmental Research Letters 20 (2025).
date_created: 2025-06-03T07:30:21Z
date_published: 2025-06-01T00:00:00Z
date_updated: 2025-09-30T12:43:11Z
day: '01'
ddc:
- '550'
department:
- _id: FrPe
doi: 10.1088/1748-9326/adcf39
external_id:
isi:
- '001493525600001'
file:
- access_level: open_access
checksum: 84a8d895762f0ab4b30b34e7387b33c7
content_type: application/pdf
creator: dernst
date_created: 2025-06-03T08:10:45Z
date_updated: 2025-06-03T08:10:45Z
file_id: '19781'
file_name: 2025_EnvironmResearchLetters_Bernat.pdf
file_size: 3604497
relation: main_file
success: 1
file_date_updated: 2025-06-03T08:10:45Z
has_accepted_license: '1'
intvolume: ' 20'
isi: 1
issue: '6'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
publication: Environmental Research Letters
publication_identifier:
eissn:
- 1748-9326
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
related_material:
record:
- id: '19780'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Precipitation phase drives seasonal and decadal snowline changes in high mountain
Asia
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: 20
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19778'
abstract:
- lang: eng
text: "A verifiable delay function VDF(x, T)->(y, π) maps an input x and time parameter
T to an output y together with an efficiently verifiable proof π certifying that
y was correctly computed. The function runs in T sequential steps, and it should
not be possible to compute y much faster than that. The only known practical VDFs
use sequential squaring in groups of unknown order as the sequential function,
i.e., y = x^2^T. There are two constructions for the proof of exponentiation (PoE)
certifying that y = x^2^T, with Wesolowski (Eurocrypt’19) having very short proofs,
but they are more expensive to compute and the soundness relies on stronger assumptions
than the PoE proposed by Pietrzak (ITCS’19).\r\nA recent application of VDFs by
Arun, Bonneau and Clark (Asiacrypt’22) are short-lived proofs and signatures,
which are proofs and signatures that are only sound for some time t, but after
that can be forged by anyone. For this they rely on “watermarkable VDFs”, where
the proof embeds a prover chosen watermark. To achieve stronger notions of proofs/signatures
with reusable forgeability, they rely on “zero-knowledge VDFs”, where instead
of the output y, one just proves knowledge of this output. The existing proposals
for watermarkable and zero-knowledge VDFs all build on Wesolowski’s PoE, for the
watermarkable VDFs there’s currently no security proof.\r\n\r\nIn this work we
give the first constructions that transform any PoEs in hidden order groups into
watermarkable VDFs and into zkVDFs, solving an open question by Arun et al. Unlike
our watermarkable VDF, the zkVDF (required for reusable forgeability) is not very
practical as the number of group elements in the proof is a security parameter.
To address this, we introduce the notion of zero-knowledge proofs of sequential
work (zkPoSW), a notion that relaxes zkVDFs by not requiring that the output is
unique. We show that zkPoSW are sufficient to construct proofs or signatures with
reusable forgeability, and construct efficient zkPoSW from any PoE, ultimately
achieving short lived proofs and signatures that improve upon Arun et al.’s construction
in several dimensions (faster forging times, arguably weaker assumptions).\r\nA
key idea underlying our constructions is to not directly construct a (watermarked
or zk) proof for y = x^2^T, but instead give a (watermarked or zk) proof for the
more basic statement that \r\nx^l, y^l satisfy x^l = x ^r, y^l = y^r for some
r, together with a normal PoE for y^l = (x^l)^2^T."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Charlotte
full_name: Hoffmann, Charlotte
id: 0f78d746-dc7d-11ea-9b2f-83f92091afe7
last_name: Hoffmann
orcid: 0000-0003-2027-5549
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Hoffmann C, Pietrzak KZ. Watermarkable and zero-knowledge Verifiable Delay
Functions from any proof of exponentiation. In: 28th IACR International Conference
on Practice and Theory of Public-Key Cryptography. Vol 15674. Springer Nature;
2025:36-66. doi:10.1007/978-3-031-91820-9_2'
apa: 'Hoffmann, C., & Pietrzak, K. Z. (2025). Watermarkable and zero-knowledge
Verifiable Delay Functions from any proof of exponentiation. In 28th IACR International
Conference on Practice and Theory of Public-Key Cryptography (Vol. 15674,
pp. 36–66). Roros, Norway: Springer Nature. https://doi.org/10.1007/978-3-031-91820-9_2'
chicago: Hoffmann, Charlotte, and Krzysztof Z Pietrzak. “Watermarkable and Zero-Knowledge
Verifiable Delay Functions from Any Proof of Exponentiation.” In 28th IACR
International Conference on Practice and Theory of Public-Key Cryptography,
15674:36–66. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-91820-9_2.
ieee: C. Hoffmann and K. Z. Pietrzak, “Watermarkable and zero-knowledge Verifiable
Delay Functions from any proof of exponentiation,” in 28th IACR International
Conference on Practice and Theory of Public-Key Cryptography, Roros, Norway,
2025, vol. 15674, pp. 36–66.
ista: 'Hoffmann C, Pietrzak KZ. 2025. Watermarkable and zero-knowledge Verifiable
Delay Functions from any proof of exponentiation. 28th IACR International Conference
on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography,
LNCS, vol. 15674, 36–66.'
mla: Hoffmann, Charlotte, and Krzysztof Z. Pietrzak. “Watermarkable and Zero-Knowledge
Verifiable Delay Functions from Any Proof of Exponentiation.” 28th IACR International
Conference on Practice and Theory of Public-Key Cryptography, vol. 15674,
Springer Nature, 2025, pp. 36–66, doi:10.1007/978-3-031-91820-9_2.
short: C. Hoffmann, K.Z. Pietrzak, in:, 28th IACR International Conference on Practice
and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 36–66.
conference:
end_date: 2025-05-15
location: Roros, Norway
name: 'PKC: Public-Key Cryptography'
start_date: 2025-05-12
corr_author: '1'
date_created: 2025-06-03T07:30:21Z
date_published: 2025-01-01T00:00:00Z
date_updated: 2026-04-16T09:11:09Z
day: '01'
department:
- _id: KrPi
- _id: GradSch
doi: 10.1007/978-3-031-91820-9_2
intvolume: ' 15674'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://ia.cr/2024/481
month: '01'
oa: 1
oa_version: Preprint
page: 36-66
publication: 28th IACR International Conference on Practice and Theory of Public-Key
Cryptography
publication_identifier:
eisbn:
- '9783031918209'
eissn:
- 1611-3349
isbn:
- '9783031918193'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '20920'
relation: dissertation_contains
status: public
- id: '20556'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Watermarkable and zero-knowledge Verifiable Delay Functions from any proof
of exponentiation
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 15674
year: '2025'
...
---
OA_type: closed access
_id: '19779'
abstract:
- lang: eng
text: The transverse thermoelectric (Nernst) effect is a powerful probe for studying
the electronic and structural properties of materials. In this study, we employ
transverse thermoelectric measurements to investigate the ferroelectric distortion
in the topological crystalline insulator (TCI) Pb0.60Sn0.40Te, a compound derived
from PbTe and SnTe, known for their exceptional thermoelectric performance and
distinct ferroelectric properties. By leveraging Nernst measurements, we provide
direct evidence of ferroelectric distortion in this TCI, corroborated by Shubnikov–de
Haas quantum oscillations that confirm the presence of two topologically nontrivial
Fermi pockets. Density functional theory calculations show that these pockets
originate from the L and T points in the Brillouin zone of the distorted structure
within the TCI phase. Raman spectroscopy further identifies a structural phase
transition below 50 K, consistent with the quantum oscillation observations. This
observation is further substantiated by temperature-dependent synchrotron X-ray
pair distribution function analysis and transmission electron microscopy, which
confirm the local off-centering of cations at low temperature. These findings
underscore the potential of transverse thermoelectric measurements in unveiling
ferroelectric distortions and their role in modulating topological quantum states,
opening new directions for research into the synergy between ferroelectricity
and topological phases.
acknowledged_ssus:
- _id: EM-Fac
- _id: NanoFab
acknowledgement: P.N. thanks the IISER Bhopal for a fellowship. S.R.C. acknowledges
generous funding support and CIF facility (PXRD) from IISER Bhopal. C.F. acknowledges
the Deutsche Forschungsgemeinschaft (DFG) under SFB1143 (project no. 247310070),
the Würzburg-Dresden Cluster of Excellence on Complexity and Topology in Quantum
Matter─ct.qmat (EXC 2147, project no. 390858490) and the QUAST-FOR5249-449872909.
P.L. and D.U. acknowledge support by DFG EXC-2123 QuantumFrontiers–390837967. The
work of M.I. was funded by the European Union NextGenerationEU/PRTR-C17.I1, as well
as by the IKUR Strategy under the collaboration agreement between Ikerbasque Foundation
and DIPC on behalf of the Department of Education of the Basque Government. M.G.V.
and M.I. thank support to the Spanish Ministerio de Ciencia e Innovacion (grant
PID2022-142008NBI00). Y.Z. is supported by the Max Planck Partner lab from Max Planck
Institute Chemical Physics of Solids. We acknowledge Petra III-DESY for the XPDF
measurements and PXRD measurements. This research was supported by the Scientific
Service Units (SSU) of ISTA Austria through resources provided by Electron Microscopy
Facility (EMF) and the Nanofabrication Facility (NNF). ISTA acknowledges the Werner
Siemens Foundation (WSS) for financial support.
article_processing_charge: No
article_type: original
author:
- first_name: Pranav
full_name: Negi, Pranav
last_name: Negi
- first_name: Bin
full_name: He, Bin
last_name: He
- first_name: Denis
full_name: Ukolov, Denis
last_name: Ukolov
- first_name: Sharona
full_name: Horta, Sharona
id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
last_name: Horta
- first_name: Krishnendu
full_name: Maji, Krishnendu
id: 76bc9e9f-ba0b-11ee-8184-90edabd17a58
last_name: Maji
- first_name: Ning
full_name: Mao, Ning
last_name: Mao
- first_name: Nikolai
full_name: Peshcherenko, Nikolai
last_name: Peshcherenko
- first_name: Premakumar
full_name: Yanda, Premakumar
last_name: Yanda
- first_name: Mengyu
full_name: Yao, Mengyu
last_name: Yao
- first_name: Moinak
full_name: Dutta, Moinak
last_name: Dutta
- first_name: Iñigo
full_name: Robredo, Iñigo
last_name: Robredo
- first_name: Mikel
full_name: Iraola, Mikel
last_name: Iraola
- first_name: Maia G.
full_name: Vergniory, Maia G.
last_name: Vergniory
- first_name: Peter
full_name: Lemmens, Peter
last_name: Lemmens
- first_name: Yang
full_name: Zhang, Yang
last_name: Zhang
- first_name: Chandra
full_name: Shekhar, Chandra
last_name: Shekhar
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
- first_name: Claudia
full_name: Felser, Claudia
last_name: Felser
- first_name: Subhajit
full_name: Roychowdhury, Subhajit
last_name: Roychowdhury
citation:
ama: Negi P, He B, Ukolov D, et al. Evidence of ferroelectric distortions in topological
crystalline insulators via transverse thermoelectric measurements. Journal
of the American Chemical Society. 2025;147(22):18704-18711. doi:10.1021/jacs.5c01700
apa: Negi, P., He, B., Ukolov, D., Horta, S., Maji, K., Mao, N., … Roychowdhury,
S. (2025). Evidence of ferroelectric distortions in topological crystalline insulators
via transverse thermoelectric measurements. Journal of the American Chemical
Society. American Chemical Society. https://doi.org/10.1021/jacs.5c01700
chicago: Negi, Pranav, Bin He, Denis Ukolov, Sharona Horta, Krishnendu Maji, Ning
Mao, Nikolai Peshcherenko, et al. “Evidence of Ferroelectric Distortions in Topological
Crystalline Insulators via Transverse Thermoelectric Measurements.” Journal
of the American Chemical Society. American Chemical Society, 2025. https://doi.org/10.1021/jacs.5c01700.
ieee: P. Negi et al., “Evidence of ferroelectric distortions in topological
crystalline insulators via transverse thermoelectric measurements,” Journal
of the American Chemical Society, vol. 147, no. 22. American Chemical Society,
pp. 18704–18711, 2025.
ista: Negi P, He B, Ukolov D, Horta S, Maji K, Mao N, Peshcherenko N, Yanda P, Yao
M, Dutta M, Robredo I, Iraola M, Vergniory MG, Lemmens P, Zhang Y, Shekhar C,
Ibáñez M, Felser C, Roychowdhury S. 2025. Evidence of ferroelectric distortions
in topological crystalline insulators via transverse thermoelectric measurements.
Journal of the American Chemical Society. 147(22), 18704–18711.
mla: Negi, Pranav, et al. “Evidence of Ferroelectric Distortions in Topological
Crystalline Insulators via Transverse Thermoelectric Measurements.” Journal
of the American Chemical Society, vol. 147, no. 22, American Chemical Society,
2025, pp. 18704–11, doi:10.1021/jacs.5c01700.
short: P. Negi, B. He, D. Ukolov, S. Horta, K. Maji, N. Mao, N. Peshcherenko, P.
Yanda, M. Yao, M. Dutta, I. Robredo, M. Iraola, M.G. Vergniory, P. Lemmens, Y.
Zhang, C. Shekhar, M. Ibáñez, C. Felser, S. Roychowdhury, Journal of the American
Chemical Society 147 (2025) 18704–18711.
date_created: 2025-06-03T07:30:22Z
date_published: 2025-05-22T00:00:00Z
date_updated: 2025-12-30T08:32:19Z
day: '22'
department:
- _id: MaIb
doi: 10.1021/jacs.5c01700
external_id:
isi:
- '001493301300001'
pmid:
- '40402919'
intvolume: ' 147'
isi: 1
issue: '22'
language:
- iso: eng
month: '05'
oa_version: None
page: 18704-18711
pmid: 1
project:
- _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A
name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of
Semiconductors for Waste Heat Recovery'
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Evidence of ferroelectric distortions in topological crystalline insulators
via transverse thermoelectric measurements
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 147
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19780'
abstract:
- lang: eng
text: "This repository contains the data used for the study Precipitation phase
drives seasonal and decadal snowline changes in high mountain Asia.\r\n\r\nThis
study focuses on 4776 glacierized catchments across high mountain Asia (HMA).
They are numbered from 0 to 4775. This code number is then used in all the products
as their unique ID. "
acknowledgement: This work was supported by the SNSF (Science and Swiss National Science
Foundation)-SSSTC (Sino-Swiss Science and Technology Cooperation) Project (IZLCZ0_189890)
'Understanding snow, glacier and rivers response to climate in High Mountain Asia
(ASCENT)', by the JSPS (Japan Society for the Promotion)-SNSF Bilateral Programmes
project (HOPE, High-elevation precipitation in High Mountain Asia; Grant 183633),
and the European Research Council (ERC) under the European Union's Horizon 2020
research and innovation program (RAVEN, Rapid mass losses of debris-covered glaciers
in High Mountain Asia; Grant 772751). Marin Kneib acknowledges funding from the
SNSF Postdoc.Mobility program (Grant No. P500PN_210739).
article_processing_charge: No
author:
- first_name: M
full_name: Bernat, M
last_name: Bernat
citation:
ama: Bernat M. Snow line altitude in high mountain Asia derived from satellite imagery
(LS5, LS7, LS8 & S2) between 1999 and 2019. 2025. doi:10.5281/ZENODO.15223343
apa: Bernat, M. (2025). Snow line altitude in high mountain Asia derived from satellite
imagery (LS5, LS7, LS8 & S2) between 1999 and 2019. Zenodo. https://doi.org/10.5281/ZENODO.15223343
chicago: Bernat, M. “Snow Line Altitude in High Mountain Asia Derived from Satellite
Imagery (LS5, LS7, LS8 & S2) between 1999 and 2019.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.15223343.
ieee: M. Bernat, “Snow line altitude in high mountain Asia derived from satellite
imagery (LS5, LS7, LS8 & S2) between 1999 and 2019.” Zenodo, 2025.
ista: Bernat M. 2025. Snow line altitude in high mountain Asia derived from satellite
imagery (LS5, LS7, LS8 & S2) between 1999 and 2019, Zenodo, 10.5281/ZENODO.15223343.
mla: Bernat, M. Snow Line Altitude in High Mountain Asia Derived from Satellite
Imagery (LS5, LS7, LS8 & S2) between 1999 and 2019. Zenodo, 2025, doi:10.5281/ZENODO.15223343.
short: M. Bernat, (2025).
contributor:
- contributor_type: project_member
first_name: Evan Stuart
last_name: Miles
- contributor_type: project_member
first_name: Marin
last_name: Kneib
- contributor_type: project_member
first_name: Koji
last_name: Fujita
- contributor_type: project_member
first_name: Orie
last_name: Sasaki
- contributor_type: project_member
first_name: Thomas
id: 3caa3f91-1f03-11ee-96ce-e0e553054d6e
last_name: Shaw
orcid: 0000-0001-7640-6152
- contributor_type: project_member
first_name: Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
orcid: 0000-0002-5554-8087
date_created: 2025-06-03T08:05:29Z
date_published: 2025-04-15T00:00:00Z
date_updated: 2025-09-30T12:43:10Z
day: '15'
ddc:
- '550'
department:
- _id: FrPe
doi: 10.5281/ZENODO.15223343
has_accepted_license: '1'
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/ZENODO.15223343
month: '04'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '19777'
relation: used_in_publication
status: public
status: public
title: Snow line altitude in high mountain Asia derived from satellite imagery (LS5,
LS7, LS8 & S2) between 1999 and 2019
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19783'
abstract:
- lang: eng
text: We consider a local Cahn–Hilliard‐type model for tumor growth as well as a
nonlocal model where, compared to the local system, the Laplacian in the equation
for the chemical potential is replaced by a nonlocal operator. The latter is defined
as a convolution integral with suitable kernels parametrized by a small parameter.
For sufficiently smooth bounded domains in three dimensions, we prove convergence
of weak solutions of the nonlocal model toward strong solutions of the local model
together with convergence rates with respect to the small parameter. The proof
is done via a Gronwall‐type argument and a convergence result with rates for the
nonlocal integral operator toward the Laplacian due to Abels and Hurm.
acknowledgement: C. Hurm was partially supported by the Graduiertenkolleg 2339 IntComSin
of the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)–Project-ID
321821685. M. Moser has received funding from the European Research Council (ERC)
under the European Union's Horizon 2020 research and innovation programme (grant
agreement No 948819). The support is gratefully acknowledged. Finally, we thank
Daniel Böhme and Jonas Stange for careful proofreading. Open Access funding enabled
and organized by Projekt DEAL.
article_number: e70003
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Christoph
full_name: Hurm, Christoph
last_name: Hurm
- first_name: Maximilian
full_name: Moser, Maximilian
id: a60047a9-da77-11eb-85b4-c4dc385ebb8c
last_name: Moser
citation:
ama: Hurm C, Moser M. Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth
model. GAMM-Mitteilungen. 2025;48(2). doi:10.1002/gamm.70003
apa: Hurm, C., & Moser, M. (2025). Nonlocal‐to‐local convergence for a Cahn–Hilliard
tumor growth model. GAMM-Mitteilungen. Wiley. https://doi.org/10.1002/gamm.70003
chicago: Hurm, Christoph, and Maximilian Moser. “Nonlocal‐to‐local Convergence for
a Cahn–Hilliard Tumor Growth Model.” GAMM-Mitteilungen. Wiley, 2025. https://doi.org/10.1002/gamm.70003.
ieee: C. Hurm and M. Moser, “Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor
growth model,” GAMM-Mitteilungen, vol. 48, no. 2. Wiley, 2025.
ista: Hurm C, Moser M. 2025. Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor
growth model. GAMM-Mitteilungen. 48(2), e70003.
mla: Hurm, Christoph, and Maximilian Moser. “Nonlocal‐to‐local Convergence for a
Cahn–Hilliard Tumor Growth Model.” GAMM-Mitteilungen, vol. 48, no. 2, e70003,
Wiley, 2025, doi:10.1002/gamm.70003.
short: C. Hurm, M. Moser, GAMM-Mitteilungen 48 (2025).
date_created: 2025-06-03T08:58:01Z
date_published: 2025-06-01T00:00:00Z
date_updated: 2025-06-03T09:14:17Z
day: '01'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1002/gamm.70003
ec_funded: 1
external_id:
arxiv:
- '2402.13790'
file:
- access_level: open_access
checksum: 6bac9d3e566b68519ae80ac8b0f41f20
content_type: application/pdf
creator: dernst
date_created: 2025-06-03T09:12:22Z
date_updated: 2025-06-03T09:12:22Z
file_id: '19786'
file_name: 2025_GAMM_Hurm.pdf
file_size: 513741
relation: main_file
success: 1
file_date_updated: 2025-06-03T09:12:22Z
has_accepted_license: '1'
intvolume: ' 48'
issue: '2'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 0aa76401-070f-11eb-9043-b5bb049fa26d
call_identifier: H2020
grant_number: '948819'
name: Bridging Scales in Random Materials
publication: GAMM-Mitteilungen
publication_identifier:
eissn:
- 1522-2608
issn:
- 0936-7195
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model
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: 48
year: '2025'
...
---
OA_place: publisher
OA_type: diamond
_id: '19784'
abstract:
- lang: eng
text: 'We present the Red Unknowns: Bright Infrared Extragalactic Survey (RUBIES)
providing JWST/NIRSpec spectroscopy of red sources selected across ∼150 arcmin2
from public JWST/NIRCam imaging in the UDS and EGS fields. The novel observing
strategy of RUBIES offers a well-quantified selection function. The survey has
been optimised to reach high (>70%) spectroscopic completeness for bright and
red (F150W−F444W>2) sources that are very rare. To place these rare sources in
context, we simultaneously observed a reference sample of the 23 using only the G395M
disperser. The RUBIES data reveal a highly diverse population of red sources that
span a broad redshift range (zspec∼1−9), with photometric redshift scatter and
an outlier fraction that are three times higher than for similarly bright sources
that are less red. This diversity is not apparent from the photometric spectral
energy distributions (SEDs). Only spectroscopy reveals that the SEDs encompass
a mixture of galaxies with dust-obscured star formation, extreme line emission,
a lack of star formation indicating early quenching, and luminous active galactic
nuclei. As a first demonstration of our broader selection function we compared
the stellar masses and rest-frame U−V colours of the red sources and our reference
sample. We find that the red sources are typically more massive (M*∼1010−11.5 M⊙)
across all redshifts. However, we also find that the most massive systems span
a wide range in U−V colour. We describe our data reduction procedure and data
quality, and we publicly release the reduced RUBIES data and vetted spectroscopic
redshifts of the first half of the survey through the DAWN JWST Archive.'
acknowledgement: 'We thank the CEERS and PRIMER teams for making their imaging data
publicly available immediately. This work is based on observations made with the
NASA/ESA/CSA James Webb Space Telescope. The data were obtained from the Mikulski
Archive for Space Telescopes at the Space Telescope Science Institute, which is
operated by the Association of Universities for Research in Astronomy, Inc., under
NASA contract NAS 5-03127 for JWST. These observations are associated with programs
#1345, #1837 #2234, #2279, #2514, #2750, #3990 and #4233. Support for program #4233
was provided by NASA through a grant from the Space Telescope Science Institute,
which is operated by the Association of Universities for Research in Astronomy,
Inc., under NASA contract NAS 5-03127. REH acknowledges support by the German Aerospace
Center (DLR) and the Federal Ministry for Economic Affairs and Energy (BMWi) through
program 50OR2403 ‘RUBIES’. This research was supported by the International Space
Science Institute (ISSI) in Bern, through ISSI International Team project #562.
The Cosmic Dawn Center is funded by the Danish National Research Foundation (DNRF)
under grant #140. This work has received funding from the Swiss State Secretariat
for Education, Research and Innovation (SERI) under contract number MB22.00072,
as well as from the Swiss National Science Foundation (SNSF) through project grant
200020_207349. Support for this work for RPN was provided by NASA through the NASA
Hubble Fellowship grant HST-HF2-51515.001-A awarded by the Space Telescope Science
Institute, which is operated by the Association of Universities for Research in
Astronomy, Incorporated, under NASA contract NAS5-26555. Open Access funding provided
by Max Planck Society.'
article_number: A189
article_processing_charge: Yes
article_type: original
author:
- first_name: Anna
full_name: de Graaff, Anna
last_name: de Graaff
- first_name: Gabriel
full_name: Brammer, Gabriel
last_name: Brammer
- first_name: Andrea
full_name: Weibel, Andrea
last_name: Weibel
- first_name: Zach
full_name: Lewis, Zach
last_name: Lewis
- first_name: Michael V.
full_name: Maseda, Michael V.
last_name: Maseda
- first_name: Pascal A.
full_name: Oesch, Pascal A.
last_name: Oesch
- first_name: Rachel
full_name: Bezanson, Rachel
last_name: Bezanson
- first_name: Leindert A.
full_name: Boogaard, Leindert A.
last_name: Boogaard
- first_name: Nikko J.
full_name: Cleri, Nikko J.
last_name: Cleri
- first_name: Olivia R.
full_name: Cooper, Olivia R.
last_name: Cooper
- first_name: Rashmi
full_name: Gottumukkala, Rashmi
last_name: Gottumukkala
- first_name: Jenny E.
full_name: Greene, Jenny E.
last_name: Greene
- first_name: Michaela
full_name: Hirschmann, Michaela
last_name: Hirschmann
- first_name: Raphael E.
full_name: Hviding, Raphael E.
last_name: Hviding
- first_name: Harley
full_name: Katz, Harley
last_name: Katz
- first_name: Ivo
full_name: Labbé, Ivo
last_name: Labbé
- first_name: Joel
full_name: Leja, Joel
last_name: Leja
- first_name: Jorryt J
full_name: Matthee, Jorryt J
id: 7439a258-f3c0-11ec-9501-9df22fe06720
last_name: Matthee
orcid: 0000-0003-2871-127X
- first_name: Ian
full_name: McConachie, Ian
last_name: McConachie
- first_name: Tim B.
full_name: Miller, Tim B.
last_name: Miller
- first_name: Rohan P.
full_name: Naidu, Rohan P.
last_name: Naidu
- first_name: Sedona H.
full_name: Price, Sedona H.
last_name: Price
- first_name: Hans-Walter
full_name: Rix, Hans-Walter
last_name: Rix
- first_name: David J.
full_name: Setton, David J.
last_name: Setton
- first_name: Katherine A.
full_name: Suess, Katherine A.
last_name: Suess
- first_name: Bingjie
full_name: Wang, Bingjie
last_name: Wang
- first_name: Katherine E.
full_name: Whitaker, Katherine E.
last_name: Whitaker
- first_name: Christina C.
full_name: Williams, Christina C.
last_name: Williams
citation:
ama: 'de Graaff A, Brammer G, Weibel A, et al. RUBIES: A complete census of the
bright and red distant universe with JWST/NIRSpec. Astronomy & Astrophysics.
2025;697. doi:10.1051/0004-6361/202452186'
apa: 'de Graaff, A., Brammer, G., Weibel, A., Lewis, Z., Maseda, M. V., Oesch, P.
A., … Williams, C. C. (2025). RUBIES: A complete census of the bright and red
distant universe with JWST/NIRSpec. Astronomy & Astrophysics. EDP Sciences.
https://doi.org/10.1051/0004-6361/202452186'
chicago: 'Graaff, Anna de, Gabriel Brammer, Andrea Weibel, Zach Lewis, Michael V.
Maseda, Pascal A. Oesch, Rachel Bezanson, et al. “RUBIES: A Complete Census of
the Bright and Red Distant Universe with JWST/NIRSpec.” Astronomy & Astrophysics.
EDP Sciences, 2025. https://doi.org/10.1051/0004-6361/202452186.'
ieee: 'A. de Graaff et al., “RUBIES: A complete census of the bright and
red distant universe with JWST/NIRSpec,” Astronomy & Astrophysics,
vol. 697. EDP Sciences, 2025.'
ista: 'de Graaff A, Brammer G, Weibel A, Lewis Z, Maseda MV, Oesch PA, Bezanson
R, Boogaard LA, Cleri NJ, Cooper OR, Gottumukkala R, Greene JE, Hirschmann M,
Hviding RE, Katz H, Labbé I, Leja J, Matthee JJ, McConachie I, Miller TB, Naidu
RP, Price SH, Rix H-W, Setton DJ, Suess KA, Wang B, Whitaker KE, Williams CC.
2025. RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec.
Astronomy & Astrophysics. 697, A189.'
mla: 'de Graaff, Anna, et al. “RUBIES: A Complete Census of the Bright and Red Distant
Universe with JWST/NIRSpec.” Astronomy & Astrophysics, vol. 697, A189,
EDP Sciences, 2025, doi:10.1051/0004-6361/202452186.'
short: A. de Graaff, G. Brammer, A. Weibel, Z. Lewis, M.V. Maseda, P.A. Oesch, R.
Bezanson, L.A. Boogaard, N.J. Cleri, O.R. Cooper, R. Gottumukkala, J.E. Greene,
M. Hirschmann, R.E. Hviding, H. Katz, I. Labbé, J. Leja, J.J. Matthee, I. McConachie,
T.B. Miller, R.P. Naidu, S.H. Price, H.-W. Rix, D.J. Setton, K.A. Suess, B. Wang,
K.E. Whitaker, C.C. Williams, Astronomy & Astrophysics 697 (2025).
date_created: 2025-06-03T08:59:52Z
date_published: 2025-05-19T00:00:00Z
date_updated: 2025-09-30T12:45:25Z
day: '19'
ddc:
- '520'
department:
- _id: JoMa
doi: 10.1051/0004-6361/202452186
external_id:
isi:
- '001490583400004'
file:
- access_level: open_access
checksum: cccf44629f28535dde91f2ebdf38c054
content_type: application/pdf
creator: dernst
date_created: 2025-06-03T09:25:49Z
date_updated: 2025-06-03T09:25:49Z
file_id: '19788'
file_name: 2025_AstronomyAstrophysics_deGraaff.pdf
file_size: 6874721
relation: main_file
success: 1
file_date_updated: 2025-06-03T09:25:49Z
has_accepted_license: '1'
intvolume: ' 697'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: Astronomy & Astrophysics
publication_identifier:
eissn:
- 1432-0746
issn:
- 0004-6361
publication_status: published
publisher: EDP Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec'
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: 697
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19791'
abstract:
- lang: eng
text: Confinement is a prominent phenomenon in condensed matter and high-energy
physics that has recently become the focus of quantum-simulation experiments of
lattice gauge theories (LGTs). As such, a theoretical understanding of the effect
of confinement on LGT dynamics is not only of fundamental importance, but can
lend itself to upcoming experiments. Here, we show how confinement in a Z2 LGT
can be locally avoided by proximity to a resonance between the fermion mass and
the electric field strength. Furthermore, we show that this local deconfinement
can become global for certain initial conditions, where information transport
occurs over the entire chain. In addition, we show how this can lead to strong
quantum many-body scarring starting in different initial states. Our findings
provide deeper insights into the nature of confinement in Z2 LGTs and can be tested
on current and near-term quantum devices.
acknowledgement: The authors are grateful to Fiona Burnell, Gaurav Gyawali, Zlatko
Papi´c, Elliot Rosenberg, Pedram Roushan, and Michael Schecter for insightful discussions.
J.-Y.D. acknowledges funding from the European Union’s Horizon 2020 research and
innovation programme under the Marie Sk lodowska-Curie Grant Agreement No. 101034413.
T.I. Acknowledges support from the National Science Foundation under Grant No. DMR-2143635.
J.C.H. acknowledges support from the Emmy Noether Programme of the German Research
Foundation (DFG) under grant no. HA 8206/1-1.
article_processing_charge: No
author:
- first_name: Jean-Yves Marc
full_name: Desaules, Jean-Yves Marc
id: 6c292945-a610-11ed-9eec-c3be1ad62a80
last_name: Desaules
orcid: 0000-0002-3749-6375
citation:
ama: Desaules J-YM. Research Data for “Mass-Assisted Local Deconfinement in a Confined
Z2 Lattice Gauge Theory.” 2025. doi:10.15479/AT:ISTA:19791
apa: Desaules, J.-Y. M. (2025). Research Data for “Mass-Assisted Local Deconfinement
in a Confined Z2 Lattice Gauge Theory.” Institute of Science and Technology Austria.
https://doi.org/10.15479/AT:ISTA:19791
chicago: Desaules, Jean-Yves Marc. “Research Data for ‘Mass-Assisted Local Deconfinement
in a Confined Z2 Lattice Gauge Theory.’” Institute of Science and Technology Austria,
2025. https://doi.org/10.15479/AT:ISTA:19791.
ieee: J.-Y. M. Desaules, “Research Data for ‘Mass-Assisted Local Deconfinement in
a Confined Z2 Lattice Gauge Theory.’” Institute of Science and Technology Austria,
2025.
ista: Desaules J-YM. 2025. Research Data for ‘Mass-Assisted Local Deconfinement
in a Confined Z2 Lattice Gauge Theory’, Institute of Science and Technology Austria,
10.15479/AT:ISTA:19791.
mla: Desaules, Jean-Yves Marc. Research Data for “Mass-Assisted Local Deconfinement
in a Confined Z2 Lattice Gauge Theory.” Institute of Science and Technology
Austria, 2025, doi:10.15479/AT:ISTA:19791.
short: J.-Y.M. Desaules, (2025).
contributor:
- contributor_type: researcher
first_name: Jean-Yves Marc
id: 6c292945-a610-11ed-9eec-c3be1ad62a80
last_name: Desaules
orcid: 0000-0002-3749-6375
- contributor_type: researcher
first_name: Thomas
last_name: Iadecola
- contributor_type: researcher
first_name: Jad
last_name: Halimeh
corr_author: '1'
date_created: 2025-06-04T14:30:22Z
date_published: 2025-06-04T00:00:00Z
date_updated: 2025-09-30T14:34:42Z
day: '04'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.15479/AT:ISTA:19791
ec_funded: 1
file:
- access_level: open_access
checksum: a613d73ee05f72a48ae9c97693bdd690
content_type: application/zip
creator: jdesaule
date_created: 2025-06-04T14:26:29Z
date_updated: 2025-06-04T14:26:29Z
file_id: '19792'
file_name: Data+Code.zip
file_size: 31946898
relation: main_file
success: 1
- access_level: open_access
checksum: 7df1549ce5e2f293d142ecf5e5b89489
content_type: text/plain
creator: jdesaule
date_created: 2025-06-04T14:26:29Z
date_updated: 2025-06-04T14:26:29Z
file_id: '19793'
file_name: readme.txt
file_size: 13071
relation: other
file_date_updated: 2025-06-04T14:26:29Z
has_accepted_license: '1'
keyword:
- lattice gauge theories
- quantum many-body scars
- deconfinement
month: '06'
oa: 1
oa_version: Preprint
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publisher: Institute of Science and Technology Austria
related_material:
link:
- relation: preprint
url: https://arxiv.org/abs/2404.11645
record:
- id: '20327'
relation: used_in_publication
status: public
status: public
title: Research Data for "Mass-Assisted Local Deconfinement in a Confined Z2 Lattice
Gauge Theory"
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: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19794'
abstract:
- lang: eng
text: Status epilepticus (SE), seizures lasting beyond five minutes, is a medical
emergency commonly treated with benzodiazepines which enhance GABAA receptor (GABAAR)
conductance. Despite widespread use, benzodiazepines fail in over one-third of
patients, potentially due to seizure-induced disruption of neuronal chloride (Cl−)
homeostasis. Understanding these changes at a network level is crucial for improving
clinical translation. Here, we address this using a large-scale spiking neural
network model incorporating Cl− dynamics, informed by clinical EEG and experimental
slice recordings. Our simulations confirm that the GABAAR reversal potential (EGABA)
dictates the pro- or anti-seizure effect of GABAAR conductance modulation, with
high EGABA rendering benzodiazepines ineffective or excitatory. We show SE-like
activity and EGABA depend non-linearly on Cl− extrusion efficacy and GABAAR conductance.
Critically, cell-type specific manipulations reveal that pyramidal cell, not interneuron,
Cl− extrusion predominantly determines the severity of SE activity and the response
to simulated benzodiazepines. Leveraging these mechanistic insights, we develop
a predictive framework mapping network states to Cl− extrusion capacity and GABAergic
load, yielding a proposed decision-making strategy to guide therapeutic interventions
based on initial treatment response. This work identifies pyramidal cell Cl− handling
as a key therapeutic target and demonstrates the utility of biophysically detailed
network models for optimising SE treatment protocols.
acknowledgement: 'The research leading to these results has received support from
the National Research Foundation of South Africa, the Deutscher Akademischer Austauschdienst,
NOMIS Foundation, NVIDIA Academic Program, the University of Cape Town, the Anna
Mueller Grocholski Foundation, the Swiss National Science Foundation (SNSF: 208184),
the Gabriel Foundation, a Wellcome Trust Seed Award (214042/Z/18/Z), the South African
Medical Research Council and the FLAIR Fellowship Programme (FLR\R1\190829): a partnership
between the African Academy of Sciences and the Royal Society funded by the UK Government''s
Global Challenges Research Fund and a Wellcome Trust International Intermediate
Fellowship (222968/Z/21/Z).'
article_number: '106966'
article_processing_charge: Yes
article_type: original
author:
- first_name: Christopher
full_name: Currin, Christopher
id: e8321fc5-3091-11eb-8a53-83f309a11ac9
last_name: Currin
orcid: 0000-0002-4809-5059
- first_name: Richard J.
full_name: Burman, Richard J.
last_name: Burman
- first_name: Tommaso
full_name: Fedele, Tommaso
last_name: Fedele
- first_name: Georgia
full_name: Ramantani, Georgia
last_name: Ramantani
- first_name: Richard E.
full_name: Rosch, Richard E.
last_name: Rosch
- first_name: Henning
full_name: Sprekeler, Henning
last_name: Sprekeler
- first_name: Joseph V.
full_name: Raimondo, Joseph V.
last_name: Raimondo
citation:
ama: Currin C, Burman RJ, Fedele T, et al. Network models incorporating chloride
dynamics predict optimal strategies for terminating status epilepticus. Neurobiology
of Disease. 2025;212. doi:10.1016/j.nbd.2025.106966
apa: Currin, C., Burman, R. J., Fedele, T., Ramantani, G., Rosch, R. E., Sprekeler,
H., & Raimondo, J. V. (2025). Network models incorporating chloride dynamics
predict optimal strategies for terminating status epilepticus. Neurobiology
of Disease. Elsevier. https://doi.org/10.1016/j.nbd.2025.106966
chicago: Currin, Christopher, Richard J. Burman, Tommaso Fedele, Georgia Ramantani,
Richard E. Rosch, Henning Sprekeler, and Joseph V. Raimondo. “Network Models Incorporating
Chloride Dynamics Predict Optimal Strategies for Terminating Status Epilepticus.”
Neurobiology of Disease. Elsevier, 2025. https://doi.org/10.1016/j.nbd.2025.106966.
ieee: C. Currin et al., “Network models incorporating chloride dynamics predict
optimal strategies for terminating status epilepticus,” Neurobiology of Disease,
vol. 212. Elsevier, 2025.
ista: Currin C, Burman RJ, Fedele T, Ramantani G, Rosch RE, Sprekeler H, Raimondo
JV. 2025. Network models incorporating chloride dynamics predict optimal strategies
for terminating status epilepticus. Neurobiology of Disease. 212, 106966.
mla: Currin, Christopher, et al. “Network Models Incorporating Chloride Dynamics
Predict Optimal Strategies for Terminating Status Epilepticus.” Neurobiology
of Disease, vol. 212, 106966, Elsevier, 2025, doi:10.1016/j.nbd.2025.106966.
short: C. Currin, R.J. Burman, T. Fedele, G. Ramantani, R.E. Rosch, H. Sprekeler,
J.V. Raimondo, Neurobiology of Disease 212 (2025).
corr_author: '1'
date_created: 2025-06-08T22:01:22Z
date_published: 2025-08-01T00:00:00Z
date_updated: 2025-12-30T08:36:36Z
day: '01'
ddc:
- '570'
department:
- _id: TiVo
doi: 10.1016/j.nbd.2025.106966
external_id:
isi:
- '001501576500001'
file:
- access_level: open_access
checksum: abe215be676ed14e9a37fb78b6a5a610
content_type: application/pdf
creator: dernst
date_created: 2025-12-30T08:35:41Z
date_updated: 2025-12-30T08:35:41Z
file_id: '20896'
file_name: 2025_NeurobioDisease_Currin.pdf
file_size: 7063352
relation: main_file
success: 1
file_date_updated: 2025-12-30T08:35:41Z
has_accepted_license: '1'
intvolume: ' 212'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: Neurobiology of Disease
publication_identifier:
eissn:
- 1095-953X
issn:
- 0969-9961
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Network models incorporating chloride dynamics predict optimal strategies for
terminating status epilepticus
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: 212
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19796'
abstract:
- lang: eng
text: "Motivation: Boolean networks are popular dynamical models of cellular processes
in systems biology. Their attractors model phenotypes that arise from the interplay
of key regulatory subcircuits. A succession diagram (SD) describes this interplay
in a discrete analog of Waddington’s epigenetic attractor landscape that allows
for fast identification of attractors and attractor control strategies. Efficient
computational tools for studying SDs are essential for the understanding of Boolean
attractor landscapes and connecting them to their biological functions.\r\nResults:
We present a new approach to SD construction for asynchronously updated Boolean
networks, implemented in the biologist’s Boolean attractor landscape mapper, biobalm.
We compare biobalm to similar tools and find a substantial performance increase
in SD construction, attractor identification, and attractor control. We perform
the most comprehensive comparative analysis to date of the SD structure in experimentally-validated
Boolean models of cell processes and random ensembles. We find that random models
(including critical Kauffman networks) have relatively small SDs, indicating simple
decision structures. In contrast, nonrandom models from the literature are enriched
in extremely large SDs, indicating an abundance of decision points and suggesting
the presence of complex Waddington landscapes in nature.\r\nAvailability and implementation:
The tool biobalm is available online at https://github.com/jcrozum/biobalm. Further
data, scripts for testing, analysis, and figure generation are available online
at https://github.com/jcrozum/biobalm-analysis and in the reproducibility artefact
at https://doi.org/10.5281/zenodo.13854760."
acknowledgement: V.-G.T. was supported by Institut Carnot STAR, Marseille, France.
K.H.P. was supported by NSF grant MCB1715826 to Réka Albert. S.P. has received funding
from the European Union’s Horizon 2020 Research and Innovation Programme under the
Marie Sklodowska-Curie Grant Agreement No. 101034413. J.C.R. was supported by internal
departmental funds provided by Luis M. Rocha. No funding bodies had any role in
study design, analysis, decision to publish, or preparation of the article.
article_number: btaf280
article_processing_charge: Yes
article_type: original
author:
- first_name: Van Giang
full_name: Trinh, Van Giang
last_name: Trinh
- first_name: Kyu Hyong
full_name: Park, Kyu Hyong
last_name: Park
- first_name: Samuel
full_name: Pastva, Samuel
id: 07c5ea74-f61c-11ec-a664-aa7c5d957b2b
last_name: Pastva
orcid: 0000-0003-1993-0331
- first_name: Jordan C.
full_name: Rozum, Jordan C.
last_name: Rozum
citation:
ama: Trinh VG, Park KH, Pastva S, Rozum JC. Mapping the attractor landscape of Boolean
networks with biobalm. Bioinformatics. 2025;41(5). doi:10.1093/bioinformatics/btaf280
apa: Trinh, V. G., Park, K. H., Pastva, S., & Rozum, J. C. (2025). Mapping the
attractor landscape of Boolean networks with biobalm. Bioinformatics. Oxford
University Press. https://doi.org/10.1093/bioinformatics/btaf280
chicago: Trinh, Van Giang, Kyu Hyong Park, Samuel Pastva, and Jordan C. Rozum. “Mapping
the Attractor Landscape of Boolean Networks with Biobalm.” Bioinformatics.
Oxford University Press, 2025. https://doi.org/10.1093/bioinformatics/btaf280.
ieee: V. G. Trinh, K. H. Park, S. Pastva, and J. C. Rozum, “Mapping the attractor
landscape of Boolean networks with biobalm,” Bioinformatics, vol. 41, no.
5. Oxford University Press, 2025.
ista: Trinh VG, Park KH, Pastva S, Rozum JC. 2025. Mapping the attractor landscape
of Boolean networks with biobalm. Bioinformatics. 41(5), btaf280.
mla: Trinh, Van Giang, et al. “Mapping the Attractor Landscape of Boolean Networks
with Biobalm.” Bioinformatics, vol. 41, no. 5, btaf280, Oxford University
Press, 2025, doi:10.1093/bioinformatics/btaf280.
short: V.G. Trinh, K.H. Park, S. Pastva, J.C. Rozum, Bioinformatics 41 (2025).
corr_author: '1'
date_created: 2025-06-08T22:01:22Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-09-30T12:46:33Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1093/bioinformatics/btaf280
ec_funded: 1
external_id:
isi:
- '001493400600001'
pmid:
- '40327535'
file:
- access_level: open_access
checksum: fa9d68aa0f5ce37598a623c9be936f09
content_type: application/pdf
creator: dernst
date_created: 2025-06-10T07:07:45Z
date_updated: 2025-06-10T07:07:45Z
file_id: '19801'
file_name: 2025_Bioinformatics_Trinh.pdf
file_size: 2695801
relation: main_file
success: 1
file_date_updated: 2025-06-10T07:07:45Z
has_accepted_license: '1'
intvolume: ' 41'
isi: 1
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Bioinformatics
publication_identifier:
eissn:
- 1367-4811
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/jcrozum/biobalm
record:
- id: '19800'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Mapping the attractor landscape of Boolean networks with biobalm
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: 41
year: '2025'
...
---
OA_place: publisher
OA_type: diamond
_id: '19797'
abstract:
- lang: eng
text: Stars stripped of their hydrogen-rich envelopes through binary interaction
are thought to be responsible for both hydrogen-poor supernovae and the hard ionizing
radiation observed in low-Z galaxies. A population of these stars was recently
observed for the first time, but their prevalence remains unknown. In preparation
for such measurements, we estimate the mass distribution of hot, stripped stars
using a population synthesis code that interpolates over detailed single and binary
stellar evolution tracks. We predict that for a constant star formation rate of
1 M⊙/yr and regardless of metallicity, a scalable model population contains ∼30
000 stripped stars with mass Mstrip > 1 M⊙ and ∼4000 stripped stars that are sufficiently
massive to explode (Mstrip > 2.6 M⊙). Below Mstrip = 5 M⊙, the distribution is
metallicity-independent and can be described by a power law with the exponent
α ∼ −2. At higher masses and lower metallicity (Z ≲ 0.002), the mass distribution
exhibits a drop. This originates from the prediction, frequently seen in evolutionary
models, that massive low-metallicity stars do not expand substantially until central
helium burning or later and therefore cannot form long-lived stripped stars. With
weaker line-driven winds at low metallicity, this suggests that neither binary
interaction nor wind mass loss can efficiently strip massive stars at low metallicity.
As a result, a “helium-star desert” emerges around Mstrip = 15 M⊙ at Z = 0.002,
covering an increasingly large mass range with decreasing metallicity. We note
that these high-mass stars are those that potentially boost a galaxy’s He+-ionizing
radiation and that participate in the formation of merging black holes. This “helium-star
desert” therefore merits further study.
acknowledgement: We thank the anonymous referee for providing a constructive report.
We thank Tomer Shenar and Selma de Mink for the interesting discussions that helped
us improve the content of Sect. 4. Thank you to Jorick Vink and Andreas Sander for
helpful discussions about wind driving. BHA thanks the Caltech Summer Undergraduate
Research Fellowship (SURF) program and Peter Adams for supporting this project in
memory of Alain Porter and Arthur R. Adams. BHA thanks Gwen Rudie for organizing
the Carnegie Astrophysics Summer Student Internship (CASSI) program and all the
staff at Carnegie Observatories who help to support this program. BHA also thanks
Laura Jaliff, Sal Wanying Fu, Ivanna Escala, Johanna Teske, Tony Piro, Brian Lorenz,
and Peter Senchyna for their mentorship during this project. Computing resources
used for this work were made possible by a grant from the Ahmanson Foundation. We
thank the Observatories of the Carnegie Institution for Science for support, including
Chris Burns for help with computations. This work used computing resources provided
by Northwestern University and the Center for Interdisciplinary Exploration and
Research in Astrophysics (CIERA). This research was supported in part through the
computational resources and staff contributions provided for the Quest high performance
computing facility at Northwestern University which is jointly supported by the
Office of the Provost, the Office for Research, and Northwestern University Information
Technology. MRD acknowledges support from the NSERC through grant RGPIN-2019-06186,
the Canada Research Chairs Program, and the Dunlap Institute at the University of
Toronto. BHA is supported by the National Science Foundation Graduate Research Fellowship
under Grant No. DGE-2234667.
article_number: A239
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: B.
full_name: Hovis-Afflerbach, B.
last_name: Hovis-Afflerbach
- first_name: Ylva Louise Linsdotter
full_name: Götberg, Ylva Louise Linsdotter
id: d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d
last_name: Götberg
orcid: 0000-0002-6960-6911
- first_name: A.
full_name: Schootemeijer, A.
last_name: Schootemeijer
- first_name: J.
full_name: Klencki, J.
last_name: Klencki
- first_name: A. L.
full_name: Strom, A. L.
last_name: Strom
- first_name: B. A.
full_name: Ludwig, B. A.
last_name: Ludwig
- first_name: M. R.
full_name: Drout, M. R.
last_name: Drout
citation:
ama: 'Hovis-Afflerbach B, Götberg YLL, Schootemeijer A, et al. The mass distribution
of stars stripped in binaries: The effect of metallicity. Astronomy & Astrophysics.
2025;697. doi:10.1051/0004-6361/202453185'
apa: 'Hovis-Afflerbach, B., Götberg, Y. L. L., Schootemeijer, A., Klencki, J., Strom,
A. L., Ludwig, B. A., & Drout, M. R. (2025). The mass distribution of stars
stripped in binaries: The effect of metallicity. Astronomy & Astrophysics.
EDP Sciences. https://doi.org/10.1051/0004-6361/202453185'
chicago: 'Hovis-Afflerbach, B., Ylva Louise Linsdotter Götberg, A. Schootemeijer,
J. Klencki, A. L. Strom, B. A. Ludwig, and M. R. Drout. “The Mass Distribution
of Stars Stripped in Binaries: The Effect of Metallicity.” Astronomy &
Astrophysics. EDP Sciences, 2025. https://doi.org/10.1051/0004-6361/202453185.'
ieee: 'B. Hovis-Afflerbach et al., “The mass distribution of stars stripped
in binaries: The effect of metallicity,” Astronomy & Astrophysics,
vol. 697. EDP Sciences, 2025.'
ista: 'Hovis-Afflerbach B, Götberg YLL, Schootemeijer A, Klencki J, Strom AL, Ludwig
BA, Drout MR. 2025. The mass distribution of stars stripped in binaries: The effect
of metallicity. Astronomy & Astrophysics. 697, A239.'
mla: 'Hovis-Afflerbach, B., et al. “The Mass Distribution of Stars Stripped in Binaries:
The Effect of Metallicity.” Astronomy & Astrophysics, vol. 697, A239,
EDP Sciences, 2025, doi:10.1051/0004-6361/202453185.'
short: B. Hovis-Afflerbach, Y.L.L. Götberg, A. Schootemeijer, J. Klencki, A.L. Strom,
B.A. Ludwig, M.R. Drout, Astronomy & Astrophysics 697 (2025).
corr_author: '1'
date_created: 2025-06-08T22:01:22Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2026-02-16T12:10:11Z
day: '01'
ddc:
- '520'
department:
- _id: YlGo
doi: 10.1051/0004-6361/202453185
external_id:
arxiv:
- '2412.05356'
isi:
- '001494033100007'
file:
- access_level: open_access
checksum: caa92beb22ab3146a75c5b03e926de1f
content_type: application/pdf
creator: dernst
date_created: 2025-06-10T07:00:38Z
date_updated: 2025-06-10T07:00:38Z
file_id: '19799'
file_name: 2025_AstronomyAstrophysics_HovisAfflerbach.pdf
file_size: 6378030
relation: main_file
success: 1
file_date_updated: 2025-06-10T07:00:38Z
has_accepted_license: '1'
intvolume: ' 697'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: Astronomy & Astrophysics
publication_identifier:
eissn:
- 1432-0746
issn:
- 0004-6361
publication_status: published
publisher: EDP Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The mass distribution of stars stripped in binaries: The effect of metallicity'
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: 697
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19798'
abstract:
- lang: eng
text: In an n×n array filled with symbols, a transversal is a collection of entries
with distinct rows, columns and symbols. In this note we show that if no symbol
appears more than βn times, the array contains a transversal of size (1−β/4−o(1))n
. In particular, if the array is filled with n symbols, each appearing n times
(an equi- n square), we get transversals of size (3/4−o(1))n. Moreover, our
proof gives a deterministic algorithm with polynomial running time, that finds
these transversals.
acknowledgement: "We are very grateful to Matthew Kwan and Alp Müyesser with whom
we had many interesting discussions leading to the results of this note. We also
thank the anonymous reviewers for their suggestions improving the presentation of
this note.\r\n\r\nMA was supported by the Austrian Science Fund (FWF) [10.55776/ESP3863424]
and by the European Union's Horizon 2020 research and innovation programme under
the Marie Skłodowska-Curie grant—project number 101034413. PM was supported by the
European Union's Horizon Europe Marie Skłodowska-Curie grant RAND-COMB-DESIGN—project
number 101106032."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Michael
full_name: Anastos, Michael
id: 0b2a4358-bb35-11ec-b7b9-e3279b593dbb
last_name: Anastos
- first_name: Patrick
full_name: Morris, Patrick
last_name: Morris
citation:
ama: Anastos M, Morris P. A note on finding large transversals efficiently. Journal
of Combinatorial Designs. 2025;33(9):338-342. doi:10.1002/jcd.21990
apa: Anastos, M., & Morris, P. (2025). A note on finding large transversals
efficiently. Journal of Combinatorial Designs. Wiley. https://doi.org/10.1002/jcd.21990
chicago: Anastos, Michael, and Patrick Morris. “A Note on Finding Large Transversals
Efficiently.” Journal of Combinatorial Designs. Wiley, 2025. https://doi.org/10.1002/jcd.21990.
ieee: M. Anastos and P. Morris, “A note on finding large transversals efficiently,”
Journal of Combinatorial Designs, vol. 33, no. 9. Wiley, pp. 338–342, 2025.
ista: Anastos M, Morris P. 2025. A note on finding large transversals efficiently.
Journal of Combinatorial Designs. 33(9), 338–342.
mla: Anastos, Michael, and Patrick Morris. “A Note on Finding Large Transversals
Efficiently.” Journal of Combinatorial Designs, vol. 33, no. 9, Wiley,
2025, pp. 338–42, doi:10.1002/jcd.21990.
short: M. Anastos, P. Morris, Journal of Combinatorial Designs 33 (2025) 338–342.
date_created: 2025-06-08T22:01:23Z
date_published: 2025-09-01T00:00:00Z
date_updated: 2025-12-30T08:37:37Z
day: '01'
department:
- _id: MaKw
doi: 10.1002/jcd.21990
ec_funded: 1
external_id:
arxiv:
- '2412.05891'
isi:
- '001495472300001'
intvolume: ' 33'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2412.05891
month: '09'
oa: 1
oa_version: Preprint
page: 338-342
project:
- _id: 8f906bd2-16d5-11f0-9cad-e07be8aa9ac9
grant_number: ESP3863424
name: Combinatorial Optimisation Problems on Sparse Random Graphs
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Journal of Combinatorial Designs
publication_identifier:
eissn:
- 1520-6610
issn:
- 1063-8539
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: A note on finding large transversals efficiently
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19833'
abstract:
- lang: eng
text: Eigenstates of quantum many-body systems are often used to define phases of
matter in and out of equilibrium; however, experimentally accessing highly excited
eigenstates is a challenging task, calling for alternative strategies to dynamically
probe nonequilibrium phases. In this work, we characterize the dynamical properties
of a disordered spin chain, focusing on the spin-glass regime. Using tensor-network
simulations, we observe oscillatory behavior of local expectation values and bipartite
entanglement entropy. We explain these oscillations deep in the many-body localized
spin-glass regime via a simple theoretical model. From perturbation theory, we
predict the timescales up to which our analytical description is valid and confirm
it with numerical simulations. Finally, we study the correlation length dynamics,
which, after a long-time plateau, resume growing in line with renormalization
group (RG) expectations. Our work suggests that RG predictions can be quantitatively
tested against numerical simulations and experiments, potentially enabling microscopic
descriptions of dynamical phases in large systems.
acknowledgement: We thank D. A. Abanin for insightful discussions in the early stages
of this work. P.B. acknowledges support by the Austrian Science Fund (FWF) [Grant
Agreement No. 10.55776/ESP9057324]. This research was funded in whole or in part
by the Austrian Science Fund (FWF) [10.55776/COE1]. The authors acknowledge support
by the European Research Council (ERC) under the European Union's Horizon 2020 research
and innovation program (Grant Agreement No. 850899). M.L. acknowledges support by
the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's
Excellence Strategy–EXC-2111–390814868. The authors acknowledge PRACE for awarding
access to Joliot-Curie at GENCI@CEA, France, where the TEBD simulations were performed.
The TEBD simulations were performed using the ITensor library [52].
article_number: L220202
article_processing_charge: Yes (in subscription journal)
article_type: letter_note
arxiv: 1
author:
- first_name: Pietro
full_name: Brighi, Pietro
id: 4115AF5C-F248-11E8-B48F-1D18A9856A87
last_name: Brighi
orcid: 0000-0002-7969-2729
- first_name: Marko
full_name: Ljubotina, Marko
id: F75EE9BE-5C90-11EA-905D-16643DDC885E
last_name: Ljubotina
orcid: 0000-0003-0038-7068
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
citation:
ama: Brighi P, Ljubotina M, Serbyn M. Probing the many-body localized spin-glass
phase through quench dynamics. Physical Review B. 2025;111(22). doi:10.1103/9fms-ygfz
apa: Brighi, P., Ljubotina, M., & Serbyn, M. (2025). Probing the many-body localized
spin-glass phase through quench dynamics. Physical Review B. American Physical
Society. https://doi.org/10.1103/9fms-ygfz
chicago: Brighi, Pietro, Marko Ljubotina, and Maksym Serbyn. “Probing the Many-Body
Localized Spin-Glass Phase through Quench Dynamics.” Physical Review B.
American Physical Society, 2025. https://doi.org/10.1103/9fms-ygfz.
ieee: P. Brighi, M. Ljubotina, and M. Serbyn, “Probing the many-body localized spin-glass
phase through quench dynamics,” Physical Review B, vol. 111, no. 22. American
Physical Society, 2025.
ista: Brighi P, Ljubotina M, Serbyn M. 2025. Probing the many-body localized spin-glass
phase through quench dynamics. Physical Review B. 111(22), L220202.
mla: Brighi, Pietro, et al. “Probing the Many-Body Localized Spin-Glass Phase through
Quench Dynamics.” Physical Review B, vol. 111, no. 22, L220202, American
Physical Society, 2025, doi:10.1103/9fms-ygfz.
short: P. Brighi, M. Ljubotina, M. Serbyn, Physical Review B 111 (2025).
date_created: 2025-06-13T06:09:38Z
date_published: 2025-06-12T00:00:00Z
date_updated: 2025-09-30T12:48:10Z
day: '12'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.1103/9fms-ygfz
ec_funded: 1
external_id:
arxiv:
- '2502.08192'
isi:
- '001511503800006'
file:
- access_level: open_access
checksum: 7941f92124793a383ca132eee2c289c5
content_type: application/pdf
creator: dernst
date_created: 2025-06-23T06:28:17Z
date_updated: 2025-06-23T06:28:17Z
file_id: '19861'
file_name: 2025_PhysReviewB_Brighi.pdf
file_size: 1082749
relation: main_file
success: 1
file_date_updated: 2025-06-23T06:28:17Z
has_accepted_license: '1'
intvolume: ' 111'
isi: 1
issue: '22'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '850899'
name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
publication: Physical Review B
publication_identifier:
eissn:
- 2469-9969
issn:
- 2469-9950
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Probing the many-body localized spin-glass phase through quench dynamics
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: 111
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '19839'
abstract:
- lang: eng
text: The snow and glaciers of the Peruvian Andes provide vital water supplies in
a region facing water scarcity and substantial glacier change. However, there
remains a lack of understanding of snow processes and quantification of the contribution
of melt to runoff. Here we apply a distributed glacio-hydrological model over
the Rio Santa basin to disentangle the role of the cryosphere in the Andean water
cycle. Only at the highest elevations (>5000 m a.s.l.) is the snow cover continuous;
at lower elevations, the snowpack is thin and ephemeral, with rapid cycles of
snowfall and melt. Due to the large catchment area affected by ephemeral snow,
its contribution to catchment inputs is substantial (23% and 38% in the wet and
dry season, respectively). Ice melt is crucial in the mid-dry season (up to 44%
of inputs). Our results improve estimates of water fluxes and call for further
process-based modelling across the Andes.
acknowledgement: This work was conducted under the PeruGROWS and PEGASUS projects,
which were both funded by NERC (grants NE/S013296/1 and NE/S013318/1, respectively)
and CONCYTEC through the Newton-Paulet Fund. The Peruvian part of the Peru GROWS
project was conducted within the framework of the call E031-2018-01-NERC Glacier
Research Circles through its executing unit FONDECYT (Contract N°08-2019-FONDECYT).
Francesca Pellicciotti acknowledges support from the SNSF-funded PASTURE project,
grant no. 202604. Catriona Fyffe was supported by the Marie Skłodowska-Curie Action
project EPIC, which was funded by the European Union (grant number 101105480). We
thank Florian von Ah for calculating the altitudinally resolved glacier mass balances
for the catchment. We also thank Duncan Quincey for his support and guidance within
both the PeruGROWS and PEGASUS projects. Gerardo Jacome and Alan Llacza are thanked
for their contribution to the climate modelling. We thank Ignacio López-Moreno and
Simon Gascoin for their thoughtful and constructive comments, which greatly improved
the manuscript. The team dedicates this work to the memory of Ing. Alejo Cochachin
Rapre, and his tireless work to monitor the region’s glaciers.
article_number: '434'
article_processing_charge: Yes
article_type: original
author:
- first_name: Catriona Louise
full_name: Fyffe, Catriona Louise
id: 001b0422-8d15-11ed-bc51-cab6c037a228
last_name: Fyffe
- first_name: Emily
full_name: Potter, Emily
last_name: Potter
- first_name: Evan
full_name: Miles, Evan
last_name: Miles
- first_name: Thomas
full_name: Shaw, Thomas
id: 3caa3f91-1f03-11ee-96ce-e0e553054d6e
last_name: Shaw
orcid: 0000-0001-7640-6152
- first_name: Michael
full_name: Mccarthy, Michael
id: 22a2674a-61ce-11ee-94b5-d18813baf16f
last_name: Mccarthy
- first_name: Andrew
full_name: Orr, Andrew
last_name: Orr
- first_name: Edwin
full_name: Loarte, Edwin
last_name: Loarte
- first_name: Katy
full_name: Medina, Katy
last_name: Medina
- first_name: Simone
full_name: Fatichi, Simone
last_name: Fatichi
- first_name: Rob
full_name: Hellström, Rob
last_name: Hellström
- first_name: Michel
full_name: Baraer, Michel
last_name: Baraer
- first_name: Emilio
full_name: Mateo, Emilio
last_name: Mateo
- first_name: Alejo
full_name: Cochachin, Alejo
last_name: Cochachin
- first_name: Matthew
full_name: Westoby, Matthew
last_name: Westoby
- first_name: Francesca
full_name: Pellicciotti, Francesca
id: b28f055a-81ea-11ed-b70c-a9fe7f7b0e70
last_name: Pellicciotti
orcid: 0000-0002-5554-8087
citation:
ama: Fyffe CL, Potter E, Miles E, et al. Thin and ephemeral snow shapes melt and
runoff dynamics in the Peruvian Andes. Communications Earth and Environment.
2025;6. doi:10.1038/s43247-025-02379-x
apa: Fyffe, C. L., Potter, E., Miles, E., Shaw, T., McCarthy, M., Orr, A., … Pellicciotti,
F. (2025). Thin and ephemeral snow shapes melt and runoff dynamics in the Peruvian
Andes. Communications Earth and Environment. Springer Nature. https://doi.org/10.1038/s43247-025-02379-x
chicago: Fyffe, Catriona Louise, Emily Potter, Evan Miles, Thomas Shaw, Michael
McCarthy, Andrew Orr, Edwin Loarte, et al. “Thin and Ephemeral Snow Shapes Melt
and Runoff Dynamics in the Peruvian Andes.” Communications Earth and Environment.
Springer Nature, 2025. https://doi.org/10.1038/s43247-025-02379-x.
ieee: C. L. Fyffe et al., “Thin and ephemeral snow shapes melt and runoff
dynamics in the Peruvian Andes,” Communications Earth and Environment,
vol. 6. Springer Nature, 2025.
ista: Fyffe CL, Potter E, Miles E, Shaw T, McCarthy M, Orr A, Loarte E, Medina K,
Fatichi S, Hellström R, Baraer M, Mateo E, Cochachin A, Westoby M, Pellicciotti
F. 2025. Thin and ephemeral snow shapes melt and runoff dynamics in the Peruvian
Andes. Communications Earth and Environment. 6, 434.
mla: Fyffe, Catriona Louise, et al. “Thin and Ephemeral Snow Shapes Melt and Runoff
Dynamics in the Peruvian Andes.” Communications Earth and Environment,
vol. 6, 434, Springer Nature, 2025, doi:10.1038/s43247-025-02379-x.
short: C.L. Fyffe, E. Potter, E. Miles, T. Shaw, M. McCarthy, A. Orr, E. Loarte,
K. Medina, S. Fatichi, R. Hellström, M. Baraer, E. Mateo, A. Cochachin, M. Westoby,
F. Pellicciotti, Communications Earth and Environment 6 (2025).
corr_author: '1'
date_created: 2025-06-15T22:01:28Z
date_published: 2025-06-05T00:00:00Z
date_updated: 2025-09-30T12:48:43Z
day: '05'
ddc:
- '550'
department:
- _id: FrPe
doi: 10.1038/s43247-025-02379-x
external_id:
isi:
- '001503932400002'
pmid:
- '40486185'
file:
- access_level: open_access
checksum: 5d5317640abe280c4f4edfca732cf4e0
content_type: application/pdf
creator: dernst
date_created: 2025-06-23T06:41:15Z
date_updated: 2025-06-23T06:41:15Z
file_id: '19862'
file_name: 2025_CommEarthEnvir_Fyffe.pdf
file_size: 3172494
relation: main_file
success: 1
file_date_updated: 2025-06-23T06:41:15Z
has_accepted_license: '1'
intvolume: ' 6'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: bdbe6627-d553-11ed-ba76-b5c9eedf278f
grant_number: '101105480'
name: ExPloring the ecohydrological Impacts of a changing Cryosphere in the Peruvian
Andes
publication: Communications Earth and Environment
publication_identifier:
eissn:
- 2662-4435
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Thin and ephemeral snow shapes melt and runoff dynamics in the Peruvian Andes
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: 6
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '19840'
abstract:
- lang: eng
text: "We report the discovery of two new magnetic cataclysmic variables with brown
dwarf companions and long orbital periods (P_{\\rm orb}=95\\pm1 and 104\\pm2 min).
This discovery increases the sample of candidate magnetic period bouncers with
confirmed sub-stellar donors from four to six. We also find their X-ray luminosity
from archival XMM–Newton observations to be in the range L_{\\rm X}\\approx10^{28}-10^{29}
\\mathrm{erg\\,s^{-1}} in the 0.25–10 keV band. This low luminosity is comparable
with the other candidates, and at least an order of magnitude lower than the X-ray
luminosities typically measured in cataclysmic variables. The X-ray fluxes imply
mass transfer rates that are much lower than predicted by evolutionary models,
even if some of the discrepancy is due to the accretion energy being emitted in
other bands, such as via cyclotron emission at infrared wavelengths. Although
it is possible that some or all of these systems formed directly as binaries containing
a brown dwarf, it is likely that the donor used to be a low-mass star and that
the systems followed the evolutionary track for cataclysmic variables, evolving
past the period bounce. The donor in long period systems is expected to be a low-mass,
cold brown dwarf. This hypothesis is supported by near-infrared photometric observations
that constrain the donors in the two systems to be brown dwarfs cooler than \r\n1100 K
(spectral types T5 or later), most likely losing mass via Roche Lobe overflow
or winds. The serendipitous discovery of two magnetic period bouncers in the small
footprint of the XMM–Newton catalogue implies a large space density of these type
of systems, possibly compatible with the prediction of 40–70 per cent of magnetic
cataclysmic variables to be period bouncers."
acknowledgement: "We thank Matthias Schreiber for his insightful comments. Support
for this work was provided by NASA through the NASA Hubble Fellowship grant HST-HF2-51527.001-A
awarded by the Space Telescope Science Institute, which is operated by the Association
of Universities for Research in Astronomy, Inc., for NASA, under contract NAS5-26555.
Support for this work was provided by NASA through Chandra Award Number GO4-25014X
issued by the Chandra X-ray Center, which is operated by the Smithsonian Astrophysical
Observatory for and on behalf of NASA under contract NAS8-03060. IC was also supported
by NASA through grants from the Space Telescope Science Institute, under NASA contracts
NASA.22K1813, NAS5-26555, and NAS5-03127. This project has received funding from
the European Research Council (ERC) under the European Union’s Horizon 2020 research
and innovation programme (grant agreement no. 101020057). This research was supported
in part by grant NSF PHY-1748958 to the Kavli Institute for Theoretical Physics
(KITP). PJW acknowledges support from the UK Science and Technology Facilities Council
(STFC) through consolidated grants ST/T000406/1 and ST/X001121/1. RA was supported
by NASA through the NASA Hubble Fellowship grant #HST-HF2-51499.001-A awarded by
the Space Telescope Science Institute, which is operated by the Association of Universities
for Research in Astronomy, Incorporated, under NASA contract NAS5-26555.\r\n\r\nThis
research has made use of data obtained from the 4XMM XMM–Newton Serendipitous Source
Catalogue compiled by the 10 institutes of the XMM–Newton Survey Science Centre
selected by ESA. This work has made use of data from the European Space Agency (ESA)
mission Gaia (https://www.cosmos.esa.int/gaia), processed by the Gaia Data Processing
and Analysis Consortium (DPAC, https://www.cosmos.esa.int/web/gaia/dpac/consortium).
Funding for the DPAC has been provided by national institutions, in particular the
institutions participating in the Gaia Multilateral Agreement. The Pan-STARRS1 Surveys
(PS1) and the PS1 public science archive have been made possible through contributions
by the Institute for Astronomy, the University of Hawaii, the Pan-STARRS Project
Office, the Max-Planck Society and its participating institutes, the Max Planck
Institute for Astronomy, Heidelberg and the Max Planck Institute for Extraterrestrial
Physics, Garching, The Johns Hopkins University, Durham University, the University
of Edinburgh, the Queen’s University Belfast, the Harvard–Smithsonian Center for
Astrophysics, the Las Cumbres Observatory Global Telescope Network Incorporated,
the National Central University of Taiwan, the Space Telescope Science Institute,
the National Aeronautics and Space Administration under grant no. NNX08AR22G issued
through the Planetary Science Division of the NASA Science Mission Directorate,
the National Science Foundation grant no. AST–1238877, the University of Maryland,
Eotvos Lorand University (ELTE), the Los Alamos National Laboratory, and the Gordon
and Betty Moore Foundation. This work is based in part on data obtained as part
of the UKIDSS. This research made use of hips2fits,4 a service provided by CDS,
and of astropy (Astropy Collaboration 2013)."
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Tim
full_name: Cunningham, Tim
last_name: Cunningham
- first_name: Ilaria
full_name: Caiazzo, Ilaria
id: 8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d
last_name: Caiazzo
orcid: 0000-0002-4770-5388
- first_name: Gracjan
full_name: Sienkiewicz, Gracjan
last_name: Sienkiewicz
- first_name: Peter J.
full_name: Wheatley, Peter J.
last_name: Wheatley
- first_name: Boris T.
full_name: Gänsicke, Boris T.
last_name: Gänsicke
- first_name: Kareem
full_name: El-Badry, Kareem
last_name: El-Badry
- first_name: Riccardo
full_name: Arcodia, Riccardo
last_name: Arcodia
- first_name: David
full_name: Charbonneau, David
last_name: Charbonneau
- first_name: Liam
full_name: Connor, Liam
last_name: Connor
- first_name: Kishalay
full_name: De, Kishalay
last_name: De
- first_name: Pasi
full_name: Hakala, Pasi
last_name: Hakala
- first_name: Scott J.
full_name: Kenyon, Scott J.
last_name: Kenyon
- first_name: Sumit Kumar
full_name: Maheshwari, Sumit Kumar
last_name: Maheshwari
- first_name: Antonio C.
full_name: Rodriguez, Antonio C.
last_name: Rodriguez
- first_name: Jan
full_name: Van Roestel, Jan
last_name: Van Roestel
- first_name: Pier Emmanuel
full_name: Tremblay, Pier Emmanuel
last_name: Tremblay
citation:
ama: Cunningham T, Caiazzo I, Sienkiewicz G, et al. Discovery of two new polars
evolved past the period bounce. Monthly Notices of the Royal Astronomical Society.
2025;540(1):633-649. doi:10.1093/mnras/staf561
apa: Cunningham, T., Caiazzo, I., Sienkiewicz, G., Wheatley, P. J., Gänsicke, B.
T., El-Badry, K., … Tremblay, P. E. (2025). Discovery of two new polars evolved
past the period bounce. Monthly Notices of the Royal Astronomical Society.
Oxford University Press. https://doi.org/10.1093/mnras/staf561
chicago: Cunningham, Tim, Ilaria Caiazzo, Gracjan Sienkiewicz, Peter J. Wheatley,
Boris T. Gänsicke, Kareem El-Badry, Riccardo Arcodia, et al. “Discovery of Two
New Polars Evolved Past the Period Bounce.” Monthly Notices of the Royal Astronomical
Society. Oxford University Press, 2025. https://doi.org/10.1093/mnras/staf561.
ieee: T. Cunningham et al., “Discovery of two new polars evolved past the
period bounce,” Monthly Notices of the Royal Astronomical Society, vol.
540, no. 1. Oxford University Press, pp. 633–649, 2025.
ista: Cunningham T, Caiazzo I, Sienkiewicz G, Wheatley PJ, Gänsicke BT, El-Badry
K, Arcodia R, Charbonneau D, Connor L, De K, Hakala P, Kenyon SJ, Maheshwari SK,
Rodriguez AC, Van Roestel J, Tremblay PE. 2025. Discovery of two new polars evolved
past the period bounce. Monthly Notices of the Royal Astronomical Society. 540(1),
633–649.
mla: Cunningham, Tim, et al. “Discovery of Two New Polars Evolved Past the Period
Bounce.” Monthly Notices of the Royal Astronomical Society, vol. 540, no.
1, Oxford University Press, 2025, pp. 633–49, doi:10.1093/mnras/staf561.
short: T. Cunningham, I. Caiazzo, G. Sienkiewicz, P.J. Wheatley, B.T. Gänsicke,
K. El-Badry, R. Arcodia, D. Charbonneau, L. Connor, K. De, P. Hakala, S.J. Kenyon,
S.K. Maheshwari, A.C. Rodriguez, J. Van Roestel, P.E. Tremblay, Monthly Notices
of the Royal Astronomical Society 540 (2025) 633–649.
date_created: 2025-06-15T22:01:29Z
date_published: 2025-06-01T00:00:00Z
date_updated: 2025-09-30T12:50:33Z
day: '01'
ddc:
- '520'
department:
- _id: IlCa
doi: 10.1093/mnras/staf561
external_id:
arxiv:
- '2503.12675'
isi:
- '001493143700001'
file:
- access_level: open_access
checksum: 5e675d3696c222e919d6916bad194b01
content_type: application/pdf
creator: dernst
date_created: 2025-06-23T07:28:36Z
date_updated: 2025-06-23T07:28:36Z
file_id: '19864'
file_name: 2025_MonthlyNoticesRAS_Cunningham.pdf
file_size: 3212636
relation: main_file
success: 1
file_date_updated: 2025-06-23T07:28:36Z
has_accepted_license: '1'
intvolume: ' 540'
isi: 1
issue: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 633-649
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
eissn:
- 1365-2966
issn:
- 0035-8711
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Discovery of two new polars evolved past the period bounce
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: 540
year: '2025'
...