---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19642'
abstract:
- lang: eng
text: We study the criticality and subcriticality of powers (−Δ) α with α>0 of
the discrete Laplacian −Δ acting on ℓ 2 (N). We prove that these positive powers
of the Laplacian are critical if and only if α≥3/2. We complement our analysis
with Hardy-type inequalities for (−Δ) α in the subcritical regimes α∈(0,3/2).
As an illustration of the critical case α≥3/2, we analyze asymptotic properties
of discrete eigenvalues emerging by coupling (−Δ) α with a localized potential.
acknowledgement: "We are grateful to Petr Siegl for a helpful suggestion leading to
Hardy weights with the expected optimal decay rate.\r\nThe authors acknowledge the
support of the EXPRO grant no. 20-17749X of the Czech Science Foundation.\r\n"
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Borbála M
full_name: Gerhát, Borbála M
id: 00ffceaa-f31d-11ee-93bd-f7e13e61af5e
last_name: Gerhát
- first_name: David
full_name: Krejčiřík, David
last_name: Krejčiřík
- first_name: František
full_name: Štampach, František
last_name: Štampach
citation:
ama: Gerhát BM, Krejčiřík D, Štampach F. Criticality transition for positive powers
of the discrete Laplacian on the half line. Revista Matematica Iberoamericana.
2025;41(3):1173-1200. doi:10.4171/RMI/1523
apa: Gerhát, B. M., Krejčiřík, D., & Štampach, F. (2025). Criticality transition
for positive powers of the discrete Laplacian on the half line. Revista Matematica
Iberoamericana. EMS Press. https://doi.org/10.4171/RMI/1523
chicago: Gerhát, Borbála M, David Krejčiřík, and František Štampach. “Criticality
Transition for Positive Powers of the Discrete Laplacian on the Half Line.” Revista
Matematica Iberoamericana. EMS Press, 2025. https://doi.org/10.4171/RMI/1523.
ieee: B. M. Gerhát, D. Krejčiřík, and F. Štampach, “Criticality transition for positive
powers of the discrete Laplacian on the half line,” Revista Matematica Iberoamericana,
vol. 41, no. 3. EMS Press, pp. 1173–1200, 2025.
ista: Gerhát BM, Krejčiřík D, Štampach F. 2025. Criticality transition for positive
powers of the discrete Laplacian on the half line. Revista Matematica Iberoamericana.
41(3), 1173–1200.
mla: Gerhát, Borbála M., et al. “Criticality Transition for Positive Powers of the
Discrete Laplacian on the Half Line.” Revista Matematica Iberoamericana,
vol. 41, no. 3, EMS Press, 2025, pp. 1173–200, doi:10.4171/RMI/1523.
short: B.M. Gerhát, D. Krejčiřík, F. Štampach, Revista Matematica Iberoamericana
41 (2025) 1173–1200.
corr_author: '1'
date_created: 2025-05-04T22:02:32Z
date_published: 2025-01-23T00:00:00Z
date_updated: 2025-09-30T12:23:41Z
day: '23'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.4171/RMI/1523
external_id:
arxiv:
- '2307.09919'
isi:
- '001476507600013'
file:
- access_level: open_access
checksum: 90031b93459af54a6e63ddf2818c6f42
content_type: application/pdf
creator: dernst
date_created: 2025-05-05T11:38:34Z
date_updated: 2025-05-05T11:38:34Z
file_id: '19656'
file_name: 2025_RevistaMat_Gerhat.pdf
file_size: 555474
relation: main_file
success: 1
file_date_updated: 2025-05-05T11:38:34Z
has_accepted_license: '1'
intvolume: ' 41'
isi: 1
issue: '3'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 1173-1200
publication: Revista Matematica Iberoamericana
publication_identifier:
eissn:
- 2235-0616
issn:
- 0213-2230
publication_status: published
publisher: EMS Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Criticality transition for positive powers of the discrete Laplacian on the
half line
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: gold
_id: '19658'
abstract:
- lang: eng
text: 'We consider a family of totally asymmetric simple exclusion processes (TASEPs),
consisting of particles on a lattice that require binding by a "token" in various
physical configurations to advance over the lattice. Using a combination of theory
and simulations, we address the following questions: (i) How token binding kinetics
affects the current-density relation on the lattice; (ii) How this current-density
relation depends on the scarcity of tokens; (iii) How tokens propagate the effects
of the locally-imposed disorder (such as a slow site) over the entire lattice;
(iv) How a shared pool of tokens couples concurrent TASEPs running on multiple
lattices; (v) How our results translate to TASEPs with open boundaries that exchange
particles with the reservoir. Since real particle motion (including in biological
systems that inspired the standard TASEP model, e.g., protein synthesis or movement
of molecular motors) is often catalyzed, regulated, actuated, or otherwise mediated,
the token-driven TASEP dynamics analyzed in this paper should allow for a better
understanding of real systems and enable a closer match between TASEP theory and
experimental observations.'
article_processing_charge: No
author:
- first_name: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: 0000-0002-6699-1455
citation:
ama: Tkačik G. Token-driven totally asymmetric simple exclusion processes. 2025.
doi:10.15479/AT:ISTA:19658
apa: Tkačik, G. (2025). Token-driven totally asymmetric simple exclusion processes.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:19658
chicago: Tkačik, Gašper. “Token-Driven Totally Asymmetric Simple Exclusion Processes.”
Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT:ISTA:19658.
ieee: G. Tkačik, “Token-driven totally asymmetric simple exclusion processes.” Institute
of Science and Technology Austria, 2025.
ista: Tkačik G. 2025. Token-driven totally asymmetric simple exclusion processes,
Institute of Science and Technology Austria, 10.15479/AT:ISTA:19658.
mla: Tkačik, Gašper. Token-Driven Totally Asymmetric Simple Exclusion Processes.
Institute of Science and Technology Austria, 2025, doi:10.15479/AT:ISTA:19658.
short: G. Tkačik, (2025).
contributor:
- contributor_type: researcher
first_name: Bor
id: 350F91D2-F248-11E8-B48F-1D18A9856A87
last_name: Kavcic
orcid: 0000-0001-6041-254X
corr_author: '1'
date_created: 2025-05-08T05:43:38Z
date_published: 2025-05-08T00:00:00Z
date_updated: 2025-09-30T12:44:54Z
day: '08'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.15479/AT:ISTA:19658
file:
- access_level: open_access
checksum: 5c15966e4139f10281ab03575f753f82
content_type: application/zip
creator: gtkacik
date_created: 2025-05-08T05:41:31Z
date_updated: 2025-05-08T05:41:31Z
file_id: '19659'
file_name: pre_tasep_export_data.zip
file_size: 7387217
relation: main_file
success: 1
- access_level: open_access
checksum: 939a9341feee946a2399cab226fe69e8
content_type: text/plain
creator: gtkacik
date_created: 2025-05-12T07:36:23Z
date_updated: 2025-05-12T07:36:23Z
file_id: '19678'
file_name: readme.txt
file_size: 587
relation: main_file
file_date_updated: 2025-05-12T07:36:23Z
has_accepted_license: '1'
license: https://creativecommons.org/licenses/by-sa/4.0/
month: '05'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '19785'
relation: used_in_publication
status: public
status: public
title: Token-driven totally asymmetric simple exclusion processes
tmp:
image: /images/cc_by_sa.png
legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode
name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC
BY-SA 4.0)
short: CC BY-SA (4.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19660'
abstract:
- lang: eng
text: We analyze the ground state energy of N fermions in a two-dimensional box
interacting with an impurity particle via two-body point interactions. We show
that for weak coupling, the ground state energy is asymptotically described by
the polaron energy, as proposed by F. Chevy in the physics literature. The polaron
energy is the solution of a nonlinear equation involving the Green’s function
of the free Fermi gas and the binding energy of the two-body point interaction.
We provide quantitative error estimates that are uniform in the thermodynamic
limit.
acknowledgement: The author would like to thank Ulrich Linden for introducing him
to the Fermi polaron and for his valuable contributions in the early stages of this
project. Additionally, the author is grateful to Krzysztof Myśliwy for helpful comments.
Open access funding provided by Institute of Science and Technology (IST Austria).
article_number: '30'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: David Johannes
full_name: Mitrouskas, David Johannes
id: cbddacee-2b11-11eb-a02e-a2e14d04e52d
last_name: Mitrouskas
citation:
ama: Mitrouskas DJ. The weakly coupled two-dimensional Fermi polaron. Archive
for Rational Mechanics and Analysis. 2025;249(3). doi:10.1007/s00205-025-02098-9
apa: Mitrouskas, D. J. (2025). The weakly coupled two-dimensional Fermi polaron.
Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-025-02098-9
chicago: Mitrouskas, David Johannes. “The Weakly Coupled Two-Dimensional Fermi Polaron.”
Archive for Rational Mechanics and Analysis. Springer Nature, 2025. https://doi.org/10.1007/s00205-025-02098-9.
ieee: D. J. Mitrouskas, “The weakly coupled two-dimensional Fermi polaron,” Archive
for Rational Mechanics and Analysis, vol. 249, no. 3. Springer Nature, 2025.
ista: Mitrouskas DJ. 2025. The weakly coupled two-dimensional Fermi polaron. Archive
for Rational Mechanics and Analysis. 249(3), 30.
mla: Mitrouskas, David Johannes. “The Weakly Coupled Two-Dimensional Fermi Polaron.”
Archive for Rational Mechanics and Analysis, vol. 249, no. 3, 30, Springer
Nature, 2025, doi:10.1007/s00205-025-02098-9.
short: D.J. Mitrouskas, Archive for Rational Mechanics and Analysis 249 (2025).
corr_author: '1'
date_created: 2025-05-11T22:02:37Z
date_published: 2025-06-01T00:00:00Z
date_updated: 2025-09-30T12:25:19Z
day: '01'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1007/s00205-025-02098-9
external_id:
isi:
- '001482770500001'
file:
- access_level: open_access
checksum: 3606ebd34d59d03f8c66a3a1794c3e4f
content_type: application/pdf
creator: dernst
date_created: 2025-05-12T07:27:28Z
date_updated: 2025-05-12T07:27:28Z
file_id: '19676'
file_name: 2025_ArchiveRatioMechanics_Mitrouskas.pdf
file_size: 886318
relation: main_file
success: 1
file_date_updated: 2025-05-12T07:27:28Z
has_accepted_license: '1'
intvolume: ' 249'
isi: 1
issue: '3'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
publication: Archive for Rational Mechanics and Analysis
publication_identifier:
eissn:
- 1432-0673
issn:
- 0003-9527
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The weakly coupled two-dimensional Fermi polaron
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: 249
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19661'
abstract:
- lang: eng
text: The Nelson model describes non-relativistic particles coupled to a relativistic
Bose scalar field. In this article, we study the renormalized version of the Nelson
model with massless bosons in Davies' weak coupling limit. Our main result states
that the two-body Coulomb potential emerges as an effective pair interaction between
the particles, which arises from the exchange of virtual excitations of the quantum
field.
acknowledgement: "D M thanks Nataˇsa Pavlovi´c for the invitation to the University
of Texas at Austin and for the\r\nhospitality offered by the department, where part
of this work was performed. E C gratefully\r\nacknowledges support from NSF under
Grant Nos DMS-2009549 and DMS-2052789 through\r\nNataˇsa Pavlovi´"
article_number: '175201'
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Esteban
full_name: Cárdenas, Esteban
last_name: Cárdenas
- first_name: David Johannes
full_name: Mitrouskas, David Johannes
id: cbddacee-2b11-11eb-a02e-a2e14d04e52d
last_name: Mitrouskas
citation:
ama: 'Cárdenas E, Mitrouskas DJ. The renormalized Nelson model in the weak coupling
limit. Journal of Physics A: Mathematical and Theoretical. 2025;58(17).
doi:10.1088/1751-8121/adcdd9'
apa: 'Cárdenas, E., & Mitrouskas, D. J. (2025). The renormalized Nelson model
in the weak coupling limit. Journal of Physics A: Mathematical and Theoretical.
IOP Publishing. https://doi.org/10.1088/1751-8121/adcdd9'
chicago: 'Cárdenas, Esteban, and David Johannes Mitrouskas. “The Renormalized Nelson
Model in the Weak Coupling Limit.” Journal of Physics A: Mathematical and Theoretical.
IOP Publishing, 2025. https://doi.org/10.1088/1751-8121/adcdd9.'
ieee: 'E. Cárdenas and D. J. Mitrouskas, “The renormalized Nelson model in the weak
coupling limit,” Journal of Physics A: Mathematical and Theoretical, vol.
58, no. 17. IOP Publishing, 2025.'
ista: 'Cárdenas E, Mitrouskas DJ. 2025. The renormalized Nelson model in the weak
coupling limit. Journal of Physics A: Mathematical and Theoretical. 58(17), 175201.'
mla: 'Cárdenas, Esteban, and David Johannes Mitrouskas. “The Renormalized Nelson
Model in the Weak Coupling Limit.” Journal of Physics A: Mathematical and Theoretical,
vol. 58, no. 17, 175201, IOP Publishing, 2025, doi:10.1088/1751-8121/adcdd9.'
short: 'E. Cárdenas, D.J. Mitrouskas, Journal of Physics A: Mathematical and Theoretical
58 (2025).'
corr_author: '1'
date_created: 2025-05-11T22:02:37Z
date_published: 2025-04-28T00:00:00Z
date_updated: 2025-09-30T12:24:45Z
day: '28'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1088/1751-8121/adcdd9
external_id:
arxiv:
- '2412.01670'
isi:
- '001474094200001'
file:
- access_level: open_access
checksum: a181e1c2d8df08eb683a355e81c5e85a
content_type: application/pdf
creator: dernst
date_created: 2025-05-12T07:13:07Z
date_updated: 2025-05-12T07:13:07Z
file_id: '19675'
file_name: 2025_JourPhysicsA_Cardenas.pdf
file_size: 551190
relation: main_file
success: 1
file_date_updated: 2025-05-12T07:13:07Z
has_accepted_license: '1'
intvolume: ' 58'
isi: 1
issue: '17'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: 'Journal of Physics A: Mathematical and Theoretical'
publication_identifier:
eissn:
- 1751-8121
issn:
- 1751-8113
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: The renormalized Nelson model in the weak coupling limit
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: 58
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '19662'
abstract:
- lang: eng
text: We investigate the effect of changes in the Coriolis force caused by changes
in the rotation rate on the top-of-atmosphere (TOA) radiant energy budget of an
aquaplanet general circulation model with prescribed sea surface temperatures.
We analyse the effective radiative forcing caused by changes from Earth-like rotation
to values between 1/32 and 8 times the Earth's rotation rate. The forcing differs
by about 60 W m−2 between the fastest and slowest rotation cases, with a monotonically
increasing positive forcing for faster-than-Earth-like rotations and a non-monotonically
increasing negative forcing for slower rotations. The largest contributions to
the forcing are due to changes in, in this order, the shortwave cloud radiative
effect (SWCRE) and the clear-sky outgoing longwave radiation (OLR). From the fastest
to the slowest rotation, the Hadley cell expands and the troposphere becomes drier,
increasing the OLR. This contributes to negative forcing at slower-than-Earth-like
rotations and to positive forcing at faster-than-Earth-like rotations. The SWCRE
is influenced by changes in the low-level cloudiness within the Hadley cell and
the baroclinic regime. With the expansion of the Hadley cell, the area of enhanced
tropospheric stability increases, resulting in more low-level clouds, a higher
SWCRE, and increased negative forcing. The non-monotonicity results from an intermediate
decrease in the SWCRE caused by the disappearance of baroclinic eddies as the
Hadley cell reaches global extension. At rotations faster than Earth-like, the
decrease in the SWCRE, mainly due to the weakening of baroclinic eddies and storm
systems, leads to an increase in positive forcing. In summary, changes in the
SWCRE, driven by different circulation responses at slower-than-Earth-like and
faster-than-Earth-like rotations, strongly influence the TOA radiant energy budget.
These effects, along with a substantial contribution from the clear-sky OLR, could
impact the habitability of Earth-like rotating planets.
acknowledgement: "We thank Bjorn Stevens for suggesting the study and for substantial
ideas along the way. We also thank Sebastian Rast for helping with the model compilation.
This work used resources of the German Climate Computing Center (DKRZ) under project
ID mh0066 for our experiments and analysis. Jiawei Bao acknowledges the European
Union's Horizon 2020 for funding.Jiawei Bao has been supported by the European Union's
Horizon 2020 research and innovation programme under a Marie Skłodowska-Curie grant
(grant agreement no. 101034413).\r\nThe article processing charges for this open-access
publication were covered by the Max Planck Society."
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Abisha Mary
full_name: Gnanaraj, Abisha Mary
last_name: Gnanaraj
- first_name: Jiawei
full_name: Bao, Jiawei
id: bb9a7399-fefd-11ed-be3c-ae648fd1d160
last_name: Bao
- first_name: Hauke
full_name: Schmidt, Hauke
last_name: Schmidt
citation:
ama: 'Gnanaraj AM, Bao J, Schmidt H. The impact of the rotation rate on an aquaplanet’s
radiant energy budget: Insights from experiments varying the Coriolis parameter.
Weather and Climate Dynamics. 2025;6(2):489-503. doi:10.5194/wcd-6-489-2025'
apa: 'Gnanaraj, A. M., Bao, J., & Schmidt, H. (2025). The impact of the rotation
rate on an aquaplanet’s radiant energy budget: Insights from experiments varying
the Coriolis parameter. Weather and Climate Dynamics. Copernicus Publications.
https://doi.org/10.5194/wcd-6-489-2025'
chicago: 'Gnanaraj, Abisha Mary, Jiawei Bao, and Hauke Schmidt. “The Impact of the
Rotation Rate on an Aquaplanet’s Radiant Energy Budget: Insights from Experiments
Varying the Coriolis Parameter.” Weather and Climate Dynamics. Copernicus
Publications, 2025. https://doi.org/10.5194/wcd-6-489-2025.'
ieee: 'A. M. Gnanaraj, J. Bao, and H. Schmidt, “The impact of the rotation rate
on an aquaplanet’s radiant energy budget: Insights from experiments varying the
Coriolis parameter,” Weather and Climate Dynamics, vol. 6, no. 2. Copernicus
Publications, pp. 489–503, 2025.'
ista: 'Gnanaraj AM, Bao J, Schmidt H. 2025. The impact of the rotation rate on an
aquaplanet’s radiant energy budget: Insights from experiments varying the Coriolis
parameter. Weather and Climate Dynamics. 6(2), 489–503.'
mla: 'Gnanaraj, Abisha Mary, et al. “The Impact of the Rotation Rate on an Aquaplanet’s
Radiant Energy Budget: Insights from Experiments Varying the Coriolis Parameter.”
Weather and Climate Dynamics, vol. 6, no. 2, Copernicus Publications, 2025,
pp. 489–503, doi:10.5194/wcd-6-489-2025.'
short: A.M. Gnanaraj, J. Bao, H. Schmidt, Weather and Climate Dynamics 6 (2025)
489–503.
date_created: 2025-05-11T22:02:38Z
date_published: 2025-04-25T00:00:00Z
date_updated: 2025-07-09T08:40:18Z
day: '25'
ddc:
- '550'
department:
- _id: CaMu
doi: 10.5194/wcd-6-489-2025
ec_funded: 1
file:
- access_level: open_access
checksum: 2ea68f7e51ee39ccb6886719a83a78ca
content_type: application/pdf
creator: dernst
date_created: 2025-05-12T08:23:10Z
date_updated: 2025-05-12T08:23:10Z
file_id: '19680'
file_name: 2025_WeatherClimateDynam_Gnanaraj.pdf
file_size: 6500575
relation: main_file
success: 1
file_date_updated: 2025-05-12T08:23:10Z
has_accepted_license: '1'
intvolume: ' 6'
issue: '2'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 489-503
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Weather and Climate Dynamics
publication_identifier:
eissn:
- 2698-4016
publication_status: published
publisher: Copernicus Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The impact of the rotation rate on an aquaplanet''s radiant energy budget:
Insights from experiments varying the Coriolis parameter'
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: 6
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19663'
abstract:
- lang: eng
text: The centrosome is a microtubule orchestrator, nucleating and anchoring microtubules
that grow radially and exert forces on cargos. At the same time, mechanical stresses
from the microenvironment and cellular shape changes compress and bend microtubules.
Yet, centrosomes are membraneless organelles, raising the question of how centrosomes
withstand mechanical forces. Here, we discover that centrosomes can deform and
even fracture. We reveal that centrosomes experience deformations during navigational
pathfinding within motile cells. Coherence of the centrosome is maintained by
Dyrk3 and cNAP1, preventing fracturing by forces. While cells can compensate for
the depletion of centriolar-based centrosomes, the fracturing of centrosomes impedes
cellular function by generating coexisting microtubule organizing centers that
compete during path navigation and thereby cause cellular entanglement in the
microenvironment. Our findings show that cells actively maintain the integrity
of the centrosome to withstand mechanical forces. These results suggest that centrosome
stability preservation is fundamental, given that almost all cells in multicellular
organisms experience forces.
acknowledgement: "We thank L. Pelkmans and D. Dormann for providing Dyrk3-EGFP plasmids;
M. Heuzé for providing a RFP-Pericentrin plasmid; T. Balla for providing a PH-Akt-GFP
plasmid; E. Snaar-Jagalska for providing a pLenti-V6.3 Ultra-Chili plasmid; T. Tang
for providing CEP120 a plasmid; D. Trono for providing pMD2.G and psSPAX2 plasmids;
M. Sixt for providing EB3-mCherry and EMTB-mCherry plasmids as well as 3T3 fibroblasts,
Lifeact-GFP Hoxb8 cells, and LX293 cells; M. Duggan for RNA isolation from migrating
DCs; M. Schuster from the Biomedical Sequencing Facility at CeMM; J. Schwarz for
providing Jurkat T cells; M. Götz for initial transcriptome analysis; M. Götz and
F. Merino for discussion and sharing reagents; F. Gärtner for discussions and support;
M. Benjamin Braun for critical reading of the manuscript; and the Core Facility
Bioimaging, the Core Facility Flow Cytometry, and the Animal Core Facility of the
Biomedical Center (BMC) for excellent support.\r\nThis work was supported by Peter
Hans Hofschneider Professorship of the Stiftung Experimentelle Biomedizin (J.R.);
German Research Foundation grant “CRC914, project A12” (J.R); German Research Foundation
grant “SPP2332, project 492014049” (J.R.); LMU Institutional Strategy LMU-Excellent
within the framework of the German Excellence Initiative (J.R.); Medical & Clinician
Scientist Program (MCSP) LMU Munich (J.K.); Deutsche Forschungsgemeinschaft (DFG;
German Research Foundation) under Germany’s Excellence Strategy – EXC2151 – 390873048
(D.B.); Deutsche Forschungsgemeinschaft (DFG; German Research Foundation) Grossgeräteantrag
457838313 and under Germany’s Excellence Strategy – EXC 2151 – 390873048 (E.K.);
Ministry of Innovation, Science and Research of North-Rhine-Westphalia (fellowship
AZ: 421-8.03.03.02-137069) (E.K.); TRA Life and Health (University of Bonn) as part
of the Excellence Strategy of the federal and state governments (E.K.); and CZI
grant DAF2020-225401 and grant (DOI https://doi.org/10.37921/120055ratwvi) from
the Chan Zuckerberg Initiative DAF (R.H.)."
article_number: eadx4047
article_processing_charge: Yes
article_type: original
author:
- first_name: Madeleine T.
full_name: Schmitt, Madeleine T.
last_name: Schmitt
- first_name: Janina
full_name: Kroll, Janina
last_name: Kroll
- first_name: Mauricio J.A.
full_name: Ruiz-Fernandez, Mauricio J.A.
last_name: Ruiz-Fernandez
- first_name: Robert
full_name: Hauschild, Robert
id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
last_name: Hauschild
orcid: 0000-0001-9843-3522
- first_name: Shaunak
full_name: Ghosh, Shaunak
last_name: Ghosh
- first_name: Petra
full_name: Kameritsch, Petra
last_name: Kameritsch
- first_name: Jack
full_name: Merrin, Jack
id: 4515C308-F248-11E8-B48F-1D18A9856A87
last_name: Merrin
orcid: 0000-0001-5145-4609
- first_name: Johanna
full_name: Schmid, Johanna
last_name: Schmid
- first_name: Kasia
full_name: Stefanowski, Kasia
last_name: Stefanowski
- first_name: Andreas W.
full_name: Thomae, Andreas W.
last_name: Thomae
- first_name: Jingyuan
full_name: Cheng, Jingyuan
last_name: Cheng
- first_name: Gamze Naz
full_name: Öztan, Gamze Naz
last_name: Öztan
- first_name: Peter
full_name: Konopka, Peter
last_name: Konopka
- first_name: Germán Camargo
full_name: Ortega, Germán Camargo
last_name: Ortega
- first_name: Thomas
full_name: Penz, Thomas
last_name: Penz
- first_name: Luisa
full_name: Bach, Luisa
last_name: Bach
- first_name: Dirk
full_name: Baumjohann, Dirk
last_name: Baumjohann
- first_name: Christoph
full_name: Bock, Christoph
last_name: Bock
- first_name: Tobias
full_name: Straub, Tobias
last_name: Straub
- first_name: Felix
full_name: Meissner, Felix
last_name: Meissner
- first_name: Eva
full_name: Kiermaier, Eva
id: 3EB04B78-F248-11E8-B48F-1D18A9856A87
last_name: Kiermaier
orcid: 0000-0001-6165-5738
- first_name: Jörg
full_name: Renkawitz, Jörg
id: 3F0587C8-F248-11E8-B48F-1D18A9856A87
last_name: Renkawitz
orcid: 0000-0003-2856-3369
citation:
ama: Schmitt MT, Kroll J, Ruiz-Fernandez MJA, et al. Protecting centrosomes from
fracturing enables efficient cell navigation. Science Advances. 2025;11(17).
doi:10.1126/sciadv.adx4047
apa: Schmitt, M. T., Kroll, J., Ruiz-Fernandez, M. J. A., Hauschild, R., Ghosh,
S., Kameritsch, P., … Renkawitz, J. (2025). Protecting centrosomes from fracturing
enables efficient cell navigation. Science Advances. AAAS. https://doi.org/10.1126/sciadv.adx4047
chicago: Schmitt, Madeleine T., Janina Kroll, Mauricio J.A. Ruiz-Fernandez, Robert
Hauschild, Shaunak Ghosh, Petra Kameritsch, Jack Merrin, et al. “Protecting Centrosomes
from Fracturing Enables Efficient Cell Navigation.” Science Advances. AAAS,
2025. https://doi.org/10.1126/sciadv.adx4047.
ieee: M. T. Schmitt et al., “Protecting centrosomes from fracturing enables
efficient cell navigation,” Science Advances, vol. 11, no. 17. AAAS, 2025.
ista: Schmitt MT, Kroll J, Ruiz-Fernandez MJA, Hauschild R, Ghosh S, Kameritsch
P, Merrin J, Schmid J, Stefanowski K, Thomae AW, Cheng J, Öztan GN, Konopka P,
Ortega GC, Penz T, Bach L, Baumjohann D, Bock C, Straub T, Meissner F, Kiermaier
E, Renkawitz J. 2025. Protecting centrosomes from fracturing enables efficient
cell navigation. Science Advances. 11(17), eadx4047.
mla: Schmitt, Madeleine T., et al. “Protecting Centrosomes from Fracturing Enables
Efficient Cell Navigation.” Science Advances, vol. 11, no. 17, eadx4047,
AAAS, 2025, doi:10.1126/sciadv.adx4047.
short: M.T. Schmitt, J. Kroll, M.J.A. Ruiz-Fernandez, R. Hauschild, S. Ghosh, P.
Kameritsch, J. Merrin, J. Schmid, K. Stefanowski, A.W. Thomae, J. Cheng, G.N.
Öztan, P. Konopka, G.C. Ortega, T. Penz, L. Bach, D. Baumjohann, C. Bock, T. Straub,
F. Meissner, E. Kiermaier, J. Renkawitz, Science Advances 11 (2025).
date_created: 2025-05-11T22:02:38Z
date_published: 2025-04-25T00:00:00Z
date_updated: 2025-09-30T12:26:21Z
day: '25'
ddc:
- '570'
department:
- _id: Bio
- _id: NanoFab
doi: 10.1126/sciadv.adx4047
external_id:
isi:
- '001476113400016'
pmid:
- '40279414'
file:
- access_level: open_access
checksum: e8ba22922fa5b23ccfcce8865f57226c
content_type: application/pdf
creator: dernst
date_created: 2025-05-12T07:46:10Z
date_updated: 2025-05-12T07:46:10Z
file_id: '19679'
file_name: 2025_ScienceAdvance_Schmitt.pdf
file_size: 2707050
relation: main_file
success: 1
file_date_updated: 2025-05-12T07:46:10Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
issue: '17'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: c08e9ad1-5a5b-11eb-8a69-9d1cf3b07473
grant_number: CZI01
name: Tools for automation and feedback microscopy
publication: Science Advances
publication_identifier:
eissn:
- 2375-2548
publication_status: published
publisher: AAAS
quality_controlled: '1'
scopus_import: '1'
status: public
title: Protecting centrosomes from fracturing enables efficient cell navigation
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: 11
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19665'
abstract:
- lang: eng
text: As AI-based decision-makers increasingly influence human lives, it is a growing
concern that their decisions may be unfair or biased with respect to people's
protected attributes, such as gender and race. Most existing bias prevention measures
provide probabilistic fairness guarantees in the long run, and it is possible
that the decisions are biased on any decision sequence of fixed length. We introduce
*fairness shielding*, where a symbolic decision-maker---the fairness shield---continuously
monitors the sequence of decisions of another deployed black-box decision-maker,
and makes interventions so that a given fairness criterion is met while the total
intervention costs are minimized. We present four different algorithms for computing
fairness shields, among which one guarantees fairness over fixed horizons, and
three guarantee fairness periodically after fixed intervals. Given a distribution
over future decisions and their intervention costs, our algorithms solve different
instances of bounded-horizon optimal control problems with different levels of
computational costs and optimality guarantees. Our empirical evaluation demonstrates
the effectiveness of these shields in ensuring fairness while maintaining cost
efficiency across various scenarios.
acknowledgement: 'This work is partly supported by the European Research Council under
Grant No.: ERC-2020-AdG 101020093. It is also partially supported by the State Government
of Styria, Austria – Department Zukunftsfonds Steiermark.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Filip
full_name: Cano Cordoba, Filip
id: 708cad98-e86a-11ef-8098-bdae2d7c6af1
last_name: Cano Cordoba
orcid: 0000-0002-0783-904X
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Bettina
full_name: Könighofer, Bettina
last_name: Könighofer
- first_name: Konstantin
full_name: Kueffner, Konstantin
id: 8121a2d0-dc85-11ea-9058-af578f3b4515
last_name: Kueffner
orcid: 0000-0001-8974-2542
- first_name: Kaushik
full_name: Mallik, Kaushik
id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
last_name: Mallik
orcid: 0000-0001-9864-7475
citation:
ama: 'Cano Cordoba F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Fairness
shields: Safeguarding against biased decision makers. In: Proceedings of the
39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the
Advancement of Artificial Intelligence; 2025:15659-15668. doi:10.1609/aaai.v39i15.33719'
apa: 'Cano Cordoba, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik,
K. (2025). Fairness shields: Safeguarding against biased decision makers. In Proceedings
of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 15659–15668).
Philadelphia, PA, United States: Association for the Advancement of Artificial
Intelligence. https://doi.org/10.1609/aaai.v39i15.33719'
chicago: 'Cano Cordoba, Filip, Thomas A Henzinger, Bettina Könighofer, Konstantin
Kueffner, and Kaushik Mallik. “Fairness Shields: Safeguarding against Biased Decision
Makers.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence,
39:15659–68. Association for the Advancement of Artificial Intelligence, 2025.
https://doi.org/10.1609/aaai.v39i15.33719.'
ieee: 'F. Cano Cordoba, T. A. Henzinger, B. Könighofer, K. Kueffner, and K. Mallik,
“Fairness shields: Safeguarding against biased decision makers,” in Proceedings
of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA,
United States, 2025, vol. 39, no. 15, pp. 15659–15668.'
ista: 'Cano Cordoba F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. 2025. Fairness
shields: Safeguarding against biased decision makers. Proceedings of the 39th
AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence
vol. 39, 15659–15668.'
mla: 'Cano Cordoba, Filip, et al. “Fairness Shields: Safeguarding against Biased
Decision Makers.” Proceedings of the 39th AAAI Conference on Artificial Intelligence,
vol. 39, no. 15, Association for the Advancement of Artificial Intelligence, 2025,
pp. 15659–68, doi:10.1609/aaai.v39i15.33719.'
short: F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:,
Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association
for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
conference:
end_date: 2025-03-04
location: Philadelphia, PA, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2025-02-25
corr_author: '1'
date_created: 2025-05-11T22:02:39Z
date_published: 2025-04-11T00:00:00Z
date_updated: 2026-02-16T12:24:30Z
day: '11'
department:
- _id: ToHe
doi: 10.1609/aaai.v39i15.33719
ec_funded: 1
external_id:
arxiv:
- '2412.11994'
intvolume: ' 39'
issue: '15'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2412.11994
month: '04'
oa: 1
oa_version: Preprint
page: 15659-15668
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: Proceedings of the 39th AAAI Conference on Artificial Intelligence
publication_identifier:
eissn:
- 2374-3468
issn:
- 2159-5399
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Fairness shields: Safeguarding against biased decision makers'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19666'
abstract:
- lang: eng
text: Markov decision processes (MDP) are a well-established model for sequential
decision-making in the presence of probabilities. In *robust* MDP (RMDP), every
action is associated with an *uncertainty set* of probability distributions, modelling
that transition probabilities are not known precisely. Based on the known theoretical
connection to stochastic games, we provide a framework for solving RMDPs that
is generic, reliable, and efficient. It is *generic* both with respect to the
model, allowing for a wide range of uncertainty sets, including but not limited
to intervals, L1- or L2-balls, and polytopes; and with respect to the objective,
including long-run average reward, undiscounted total reward, and stochastic shortest
path. It is *reliable*, as our approach not only converges in the limit, but provides
precision guarantees at any time during the computation. It is *efficient* because
-- in contrast to state-of-the-art approaches -- it avoids explicitly constructing
the underlying stochastic game. Consequently, our prototype implementation outperforms
existing tools by several orders of magnitude and can solve RMDPs with a million
states in under a minute.
acknowledgement: "This project has received funding from the European Union’s Horizon
2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement
No. 101034413,\r\nthe ERC CoG 863818 (ForM-SMArt), and 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 https://perspicuous-computing.science, project ID
389792660)."
article_processing_charge: No
arxiv: 1
author:
- 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
orcid: 0000-0002-0163-2152
- first_name: Patrick
full_name: Wienhöft, Patrick
last_name: Wienhöft
citation:
ama: 'Meggendorfer T, Weininger M, Wienhöft P. Solving robust Markov decision processes:
Generic, reliable, efficient. In: Proceedings of the 39th AAAI Conference on
Artificial Intelligence. Vol 39. Association for the Advancement of Artificial
Intelligence; 2025:26631-26641. doi:10.1609/aaai.v39i25.34865'
apa: 'Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Solving robust
Markov decision processes: Generic, reliable, efficient. In Proceedings of
the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 26631–26641).
Philadelphia, PA, United States: Association for the Advancement of Artificial
Intelligence. https://doi.org/10.1609/aaai.v39i25.34865'
chicago: 'Meggendorfer, Tobias, Maximilian Weininger, and Patrick Wienhöft. “Solving
Robust Markov Decision Processes: Generic, Reliable, Efficient.” In Proceedings
of the 39th AAAI Conference on Artificial Intelligence, 39:26631–41. Association
for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i25.34865.'
ieee: 'T. Meggendorfer, M. Weininger, and P. Wienhöft, “Solving robust Markov decision
processes: Generic, reliable, efficient,” in Proceedings of the 39th AAAI Conference
on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39,
no. 25, pp. 26631–26641.'
ista: 'Meggendorfer T, Weininger M, Wienhöft P. 2025. Solving robust Markov decision
processes: Generic, reliable, efficient. Proceedings of the 39th AAAI Conference
on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 39,
26631–26641.'
mla: 'Meggendorfer, Tobias, et al. “Solving Robust Markov Decision Processes: Generic,
Reliable, Efficient.” Proceedings of the 39th AAAI Conference on Artificial
Intelligence, vol. 39, no. 25, Association for the Advancement of Artificial
Intelligence, 2025, pp. 26631–41, doi:10.1609/aaai.v39i25.34865.'
short: T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Proceedings of the 39th
AAAI Conference on Artificial Intelligence, Association for the Advancement of
Artificial Intelligence, 2025, pp. 26631–26641.
conference:
end_date: 2025-03-04
location: Philadelphia, PA, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2025-02-25
date_created: 2025-05-11T22:02:39Z
date_published: 2025-04-11T00:00:00Z
date_updated: 2026-02-16T12:25:05Z
day: '11'
department:
- _id: KrCh
doi: 10.1609/aaai.v39i25.34865
ec_funded: 1
external_id:
arxiv:
- '2412.10185'
intvolume: ' 39'
issue: '25'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2412.10185
month: '04'
oa: 1
oa_version: Preprint
page: 26631-26641
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Proceedings of the 39th AAAI Conference on Artificial Intelligence
publication_identifier:
eissn:
- 2374-3468
issn:
- 2159-5399
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://doi.org/10.5281/zenodo.14385449
scopus_import: '1'
status: public
title: 'Solving robust Markov decision processes: Generic, reliable, efficient'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19667'
abstract:
- lang: eng
text: The problem of checking satisfiability of linear real arithmetic (LRA) and
non-linear real arithmetic (NRA) formulas has broad applications, in particular,
they are at the heart of logic-related applications such as logic for artificial
intelligence, program analysis, etc. While there has been much work on checking
satisfiability of unquantified LRA and NRA formulas, the problem of checking satisfiability
of quantified LRA and NRA formulas remains a significant challenge. The main bottleneck
in the existing methods is a computationally expensive quantifier elimination
step. In this work, we propose a novel method for efficient quantifier elimination
in quantified LRA and NRA formulas. We propose a template-based Skolemization
approach, where we automatically synthesize linear/polynomial Skolem functions
in order to eliminate quantifiers in the formula. The key technical ingredient
in our approach are Positivstellensätze theorems from algebraic geometry, which
allow for an efficient manipulation of polynomial inequalities. Our method offers
a range of appealing theoretical properties combined with a strong practical performance.
On the theory side, our method is sound, semi-complete, and runs in subexponential
time and polynomial space, as opposed to existing sound and complete quantifier
elimination methods that run in doubly-exponential time and at least exponential
space. On the practical side, our experiments show superior performance compared
to state of the art SMT solvers in terms of the number of solved instances and
runtime, both on LRA and on NRA benchmarks.
acknowledgement: This work was partially funded by ERC CoG 863818 (ForM-SMArt) and
Austrian Science Fund (FWF) 10.55776/COE12.
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: Mehrdad
full_name: Karrabi, Mehrdad
id: 67638922-f394-11eb-9cf6-f20423e08757
last_name: Karrabi
orcid: 0009-0007-5253-9170
- first_name: Harshit J.
full_name: Motwani, Harshit J.
last_name: Motwani
- first_name: Maximilian
full_name: Seeliger, Maximilian
last_name: Seeliger
- 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, Karrabi M, Motwani HJ, Seeliger M, Zikelic D.
Quantified linear and polynomial arithmetic satisfiability via template-based
skolemization. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence.
Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11158-11166.
doi:10.1609/aaai.v39i11.33213'
apa: 'Chatterjee, K., Goharshady, E., Karrabi, M., Motwani, H. J., Seeliger, M.,
& Zikelic, D. (2025). Quantified linear and polynomial arithmetic satisfiability
via template-based skolemization. In Proceedings of the 39th AAAI Conference
on Artificial Intelligence (Vol. 39, pp. 11158–11166). Philadelphia, PA, United
States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33213'
chicago: Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Harshit J. Motwani,
Maximilian Seeliger, and Dorde Zikelic. “Quantified Linear and Polynomial Arithmetic
Satisfiability via Template-Based Skolemization.” In Proceedings of the 39th
AAAI Conference on Artificial Intelligence, 39:11158–66. Association for the
Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33213.
ieee: K. Chatterjee, E. Goharshady, M. Karrabi, H. J. Motwani, M. Seeliger, and
D. Zikelic, “Quantified linear and polynomial arithmetic satisfiability via template-based
skolemization,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence,
Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11158–11166.
ista: 'Chatterjee K, Goharshady E, Karrabi M, Motwani HJ, Seeliger M, Zikelic D.
2025. Quantified linear and polynomial arithmetic satisfiability via template-based
skolemization. Proceedings of the 39th AAAI Conference on Artificial Intelligence.
AAAI: Conference on Artificial Intelligence vol. 39, 11158–11166.'
mla: Chatterjee, Krishnendu, et al. “Quantified Linear and Polynomial Arithmetic
Satisfiability via Template-Based Skolemization.” Proceedings of the 39th AAAI
Conference on Artificial Intelligence, vol. 39, no. 11, Association for the
Advancement of Artificial Intelligence, 2025, pp. 11158–66, doi:10.1609/aaai.v39i11.33213.
short: K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic,
in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association
for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
conference:
end_date: 2025-03-04
location: Philadelphia, PA, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2025-02-25
corr_author: '1'
date_created: 2025-05-11T22:02:39Z
date_published: 2025-04-11T00:00:00Z
date_updated: 2026-02-16T12:24:47Z
day: '11'
department:
- _id: KrCh
doi: 10.1609/aaai.v39i11.33213
ec_funded: 1
external_id:
arxiv:
- '2412.16226'
intvolume: ' 39'
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2412.16226
month: '04'
oa: 1
oa_version: Preprint
page: 11158-11166
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Proceedings of the 39th AAAI Conference on Artificial Intelligence
publication_identifier:
eissn:
- 2374-3468
issn:
- 2159-5399
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantified linear and polynomial arithmetic satisfiability via template-based
skolemization
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19668'
abstract:
- lang: eng
text: Learning-based methods provide a promising approach to solving highly non-linear
control tasks that are often challenging for classical control methods. To ensure
the satisfaction of a safety property, learning-based methods jointly learn a
control policy together with a certificate function for the property. Popular
examples include barrier functions for safety and Lyapunov functions for asymptotic
stability. While there has been significant progress on learning-based control
with certificate functions in the white-box setting, where the correctness of
the certificate function can be formally verified, there has been little work
on ensuring their reliability in the black-box setting where the system dynamics
are unknown. In this work, we consider the problems of certifying and repairing
neural network control policies and certificate functions in the black-box setting.
We propose a novel framework that utilizes runtime monitoring to detect system
behaviors that violate the property of interest under some initially trained neural
network policy and certificate. These violating behaviors are used to extract
new training data, that is used to re-train the neural network policy and the
certificate function and to ultimately repair them. We demonstrate the effectiveness
of our approach empirically by using it to repair and to boost the safety rate
of neural network policies learned by a state-of-the-art method for learning-based
control on two autonomous system control tasks.
acknowledgement: This work was supported in part by the ERC project ERC2020-AdG 101020093
article_processing_charge: No
arxiv: 1
author:
- first_name: Zhengqi
full_name: Yu, Zhengqi
id: 20aa2ae8-f2f1-11ed-bbfa-8205053f1342
last_name: Yu
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
citation:
ama: 'Yu E, Zikelic D, Henzinger TA. Neural control and certificate repair via runtime
monitoring. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence.
Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26409-26417.
doi:10.1609/aaai.v39i25.34840'
apa: 'Yu, E., Zikelic, D., & Henzinger, T. A. (2025). Neural control and certificate
repair via runtime monitoring. In Proceedings of the 39th AAAI Conference on
Artificial Intelligence (Vol. 39, pp. 26409–26417). Philadelphia, PA, United
States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i25.34840'
chicago: Yu, Emily, Dorde Zikelic, and Thomas A Henzinger. “Neural Control and Certificate
Repair via Runtime Monitoring.” In Proceedings of the 39th AAAI Conference
on Artificial Intelligence, 39:26409–17. Association for the Advancement of
Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i25.34840.
ieee: E. Yu, D. Zikelic, and T. A. Henzinger, “Neural control and certificate repair
via runtime monitoring,” in Proceedings of the 39th AAAI Conference on Artificial
Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 25, pp.
26409–26417.
ista: 'Yu E, Zikelic D, Henzinger TA. 2025. Neural control and certificate repair
via runtime monitoring. Proceedings of the 39th AAAI Conference on Artificial
Intelligence. AAAI: Conference on Artificial Intelligence vol. 39, 26409–26417.'
mla: Yu, Emily, et al. “Neural Control and Certificate Repair via Runtime Monitoring.”
Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol.
39, no. 25, Association for the Advancement of Artificial Intelligence, 2025,
pp. 26409–17, doi:10.1609/aaai.v39i25.34840.
short: E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference
on Artificial Intelligence, Association for the Advancement of Artificial Intelligence,
2025, pp. 26409–26417.
conference:
end_date: 2025-03-04
location: Philadelphia, PA, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2025-02-25
corr_author: '1'
date_created: 2025-05-11T22:02:40Z
date_published: 2025-04-11T00:00:00Z
date_updated: 2025-05-12T09:49:25Z
day: '11'
department:
- _id: ToHe
doi: 10.1609/aaai.v39i25.34840
ec_funded: 1
external_id:
arxiv:
- '2412.12996'
intvolume: ' 39'
issue: '25'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2412.12996
month: '04'
oa: 1
oa_version: Preprint
page: 26409-26417
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
publication: Proceedings of the 39th AAAI Conference on Artificial Intelligence
publication_identifier:
eissn:
- 2374-3468
issn:
- 2159-5399
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
scopus_import: '1'
status: public
title: Neural control and certificate repair via runtime monitoring
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19669'
abstract:
- lang: eng
text: 'We consider a class of optimization problems defined by a system of linear
equations with min and max operators. This class of optimization problems has
been studied under restrictive conditions, such as, (C1) the halting or stability
condition; (C2) the non-negative coefficients condition; (C3) the sum upto 1 condition;
and (C4) the only min or only max operator condition. Several seminal results
in the literature focus on special cases. For example, turn-based stochastic games
correspond to conditions C2 and C3; and Markov decision process to conditions
C2, C3, and C4. However, the systematic computational complexity study of all
the cases has not been explored, which we address in this work. Some highlights
of our results are: with conditions C2 and C4, and with conditions C3 and C4,
the problem is NP-complete, whereas with condition C1 only, the problem is in
UP intersects coUP. Finally, we establish the computational complexity of the
decision problem of checking the respective conditions.'
acknowledgement: This research was partially supported by the ERC CoG 863818 (ForM-SMArt)
grant and the Austrian Science Fund (FWF) 10.55776/COE12 grant.
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: Ruichen
full_name: Luo, Ruichen
id: b391db08-1ffe-11ee-8b67-d18ddcfb5a14
last_name: Luo
- 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, Luo R, Saona Urmeneta RJ, Svoboda J. Linear equations with min
and max operators: Computational complexity. In: Proceedings of the 39th AAAI
Conference on Artificial Intelligence. Vol 39. Association for the Advancement
of Artificial Intelligence; 2025:11150-11157. doi:10.1609/aaai.v39i11.33212'
apa: 'Chatterjee, K., Luo, R., Saona Urmeneta, R. J., & Svoboda, J. (2025).
Linear equations with min and max operators: Computational complexity. In Proceedings
of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11150–11157).
Philadelphia, PA, United States: Association for the Advancement of Artificial
Intelligence. https://doi.org/10.1609/aaai.v39i11.33212'
chicago: 'Chatterjee, Krishnendu, Ruichen Luo, Raimundo J Saona Urmeneta, and Jakub
Svoboda. “Linear Equations with Min and Max Operators: Computational Complexity.”
In Proceedings of the 39th AAAI Conference on Artificial Intelligence,
39:11150–57. Association for the Advancement of Artificial Intelligence, 2025.
https://doi.org/10.1609/aaai.v39i11.33212.'
ieee: 'K. Chatterjee, R. Luo, R. J. Saona Urmeneta, and J. Svoboda, “Linear equations
with min and max operators: Computational complexity,” in Proceedings of the
39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United
States, 2025, vol. 39, no. 11, pp. 11150–11157.'
ista: 'Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. 2025. Linear equations
with min and max operators: Computational complexity. Proceedings of the 39th
AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence
vol. 39, 11150–11157.'
mla: 'Chatterjee, Krishnendu, et al. “Linear Equations with Min and Max Operators:
Computational Complexity.” Proceedings of the 39th AAAI Conference on Artificial
Intelligence, vol. 39, no. 11, Association for the Advancement of Artificial
Intelligence, 2025, pp. 11150–57, doi:10.1609/aaai.v39i11.33212.'
short: K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings
of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement
of Artificial Intelligence, 2025, pp. 11150–11157.
conference:
end_date: 2025-03-04
location: Philadelphia, PA, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2025-02-25
corr_author: '1'
date_created: 2025-05-11T22:02:40Z
date_published: 2025-04-11T00:00:00Z
date_updated: 2025-05-12T09:42:09Z
day: '11'
department:
- _id: KrCh
doi: 10.1609/aaai.v39i11.33212
ec_funded: 1
external_id:
arxiv:
- '2412.12228'
intvolume: ' 39'
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2412.12228
month: '04'
oa: 1
oa_version: Preprint
page: 11150-11157
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Proceedings of the 39th AAAI Conference on Artificial Intelligence
publication_identifier:
eissn:
- 2374-3468
issn:
- 2159-5399
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Linear equations with min and max operators: Computational complexity'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2025'
...
---
OA_type: closed access
_id: '19671'
abstract:
- lang: eng
text: Silvopastoral use in native forests could impact population dynamics of key
tree species, with contrasting effects at different life cycle stages. Prior studies
in South American temperate forests have mainly focused on initial stages, lacking
a comprehensive understanding of the entire life cycle within productive systems.
We assessed the population dynamics of two key species of mixed forests in northern
Patagonia (Austrocedrus chilensis and Nothofagus dombeyi) under two silvopastoral
use intensities (high vs. low), using demographic techniques and population projection
models. Over 3 years, we quantified vital rates (survival, fertility, growth,
reversion and stasis) and used matrix models to calculate deterministic population
growth rates (λ). High-intensity silvopastoral use had predominantly negative
effects on the elements of the projection matrices of A. chilensis, whereas N.
dombeyi exhibited mostly positive or no changes. As a result, projections indicated
slight population decreases for A. chilensis (mostly λ < 1) at high silvopastoral
use levels compared to low levels, while N. dombeyi showed similar projections
(λ ≅ 1) between use levels. Decreased λ for A. chilensis resulted mainly from
lower adult tree survival, while early life stages had limited influence on λ
for these long-lived species. In summary, silvopastoral use affects population
dynamics of key tree species of these mixed forests of northern Patagonia, with
implications for sustainable management. Our findings highlight the importance
of considering the entire life cycle and suggest targeted practices to enhance
A. chilensis populations.
acknowledgement: We would like to express our sincere gratitude to the owners of the
estates, Lisandro and Oscar Lanfré, Roberto Criado and Yayo Tillería, for allowing
us to conduct our research on their properties and for generously sharing their
time and knowledge throughout these years. We are also deeply thankful to our field
assistants, Matías Scotti, Clara Pissolito, Noel Szudruk, Mariano Varela, Ian Mott,
Brisa Guenuleo, Nicolás Bistolfi, Facundo Gómez and Belén Vallerga, who tirelessly
collaborated in the arduous tasks of monitoring and data collection, even in challenging
weather conditions. We are grateful to CONICET for providing the doctoral scholarship
to D. Arpigiani. This study received partial financial support from the Agencia
MINCyT (PICT 2015-1692) and the Universidad Nacional de Río Negro (PI 40-B-478),
Argentina.
article_number: e70058
article_processing_charge: No
article_type: original
author:
- first_name: Daniela
full_name: Arpigiani, Daniela
last_name: Arpigiani
- first_name: Valeria
full_name: Aschero, Valeria
last_name: Aschero
- first_name: Rosina Matilde
full_name: Soler Schaller, Rosina Matilde
id: 9e668447-8c32-11ed-b0c7-8dc2d7b80803
last_name: Soler Schaller
- first_name: Mariano M.
full_name: Amoroso, Mariano M.
last_name: Amoroso
citation:
ama: Arpigiani D, Aschero V, Soler Schaller RM, Amoroso MM. A life-cycle approach
to understand consequences of silvopastoral use on two native tree species of
Northern Patagonia. Austral Ecology. 2025;50(4). doi:10.1111/aec.70058
apa: Arpigiani, D., Aschero, V., Soler Schaller, R. M., & Amoroso, M. M. (2025).
A life-cycle approach to understand consequences of silvopastoral use on two native
tree species of Northern Patagonia. Austral Ecology. Wiley. https://doi.org/10.1111/aec.70058
chicago: Arpigiani, Daniela, Valeria Aschero, Rosina Matilde Soler Schaller, and
Mariano M. Amoroso. “A Life-Cycle Approach to Understand Consequences of Silvopastoral
Use on Two Native Tree Species of Northern Patagonia.” Austral Ecology.
Wiley, 2025. https://doi.org/10.1111/aec.70058.
ieee: D. Arpigiani, V. Aschero, R. M. Soler Schaller, and M. M. Amoroso, “A life-cycle
approach to understand consequences of silvopastoral use on two native tree species
of Northern Patagonia,” Austral Ecology, vol. 50, no. 4. Wiley, 2025.
ista: Arpigiani D, Aschero V, Soler Schaller RM, Amoroso MM. 2025. A life-cycle
approach to understand consequences of silvopastoral use on two native tree species
of Northern Patagonia. Austral Ecology. 50(4), e70058.
mla: Arpigiani, Daniela, et al. “A Life-Cycle Approach to Understand Consequences
of Silvopastoral Use on Two Native Tree Species of Northern Patagonia.” Austral
Ecology, vol. 50, no. 4, e70058, Wiley, 2025, doi:10.1111/aec.70058.
short: D. Arpigiani, V. Aschero, R.M. Soler Schaller, M.M. Amoroso, Austral Ecology
50 (2025).
date_created: 2025-05-11T22:02:41Z
date_published: 2025-04-01T00:00:00Z
date_updated: 2025-09-30T12:31:04Z
day: '01'
department:
- _id: NiBa
doi: 10.1111/aec.70058
external_id:
isi:
- '001476761500001'
intvolume: ' 50'
isi: 1
issue: '4'
language:
- iso: eng
month: '04'
oa_version: None
publication: Austral Ecology
publication_identifier:
eissn:
- 1442-9993
issn:
- 1442-9985
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: A life-cycle approach to understand consequences of silvopastoral use on two
native tree species of Northern Patagonia
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 50
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19672'
abstract:
- lang: eng
text: 'Some of the classical models of tropical cyclone intensification predict
tropical cyclones to intensify up to a steady intensity, which depends on surface
fluxes only, without any relevant role played by convective motions in the troposphere,
typically assumed to have a moist adiabatic lapse rate. Simulations performed
using the non-hydrostatic, high-resolution model System for Atmosphere Modeling
in idealized settings (rotating radiative-convective equilibrium on a doubly periodic
domain) show early intensification consistent with these theoretical expectations,
but different intensity evolution, with the cyclone undergoing an oscillation
in wind speed. This oscillation can be linked to feedbacks between the cyclone
intensity and air buoyancy: convective heating, radiative heating, and mixing
with warm low stratospheric air warm the mid and upper troposphere of the cyclone
stabilizing the air column and thus reducing its intensity. After the intensity
decay phase, mid and upper tropospheric cooling, mostly through cold advection
from the surroundings, cooled by radiation, rebuilds Convective Available Potential
Energy, that peaks just before a new intensification phase. These idealized simulations
thus highlight the potentially important interactions between a tropical cyclone,
its environment and radiation.'
acknowledgement: The authors acknowledge two anonymous reviewers and the editor who
provided insightful remarks and comments that helped to significantly improve the
manuscript. AP and CJM gratefully acknowledges funding from the European Research
Council (ERC) under the European Union's Horizon 2020 research and innovation program
(Project CLUSTER, Grant Agreement No. 805041). Part of this work is an outcome of
the project MIUR—Dipartimenti di Eccellenza 2023–2027. ANM is supported by HPC-TRES
Grant 2023-04.
article_number: e2024MS004613
article_processing_charge: Yes
article_type: original
author:
- first_name: Andrea
full_name: Polesello, Andrea
id: 74c777f4-32da-11ee-b498-874db0835561
last_name: Polesello
- first_name: Giousef Alexandros
full_name: Charinti, Giousef Alexandros
id: 7f7cc04c-074c-11ed-af92-eb16afd85c75
last_name: Charinti
- first_name: Agostino Niyonkuru
full_name: Meroni, Agostino Niyonkuru
last_name: Meroni
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
- first_name: Claudia
full_name: Pasquero, Claudia
last_name: Pasquero
citation:
ama: 'Polesello A, Charinti GA, Meroni AN, Muller CJ, Pasquero C. Intensity oscillations
of tropical cyclones: Surface versus mid and upper tropospheric processes. Journal
of Advances in Modeling Earth Systems. 2025;17(4). doi:10.1029/2024MS004613'
apa: 'Polesello, A., Charinti, G. A., Meroni, A. N., Muller, C. J., & Pasquero,
C. (2025). Intensity oscillations of tropical cyclones: Surface versus mid and
upper tropospheric processes. Journal of Advances in Modeling Earth Systems.
Wiley. https://doi.org/10.1029/2024MS004613'
chicago: 'Polesello, Andrea, Giousef Alexandros Charinti, Agostino Niyonkuru Meroni,
Caroline J Muller, and Claudia Pasquero. “Intensity Oscillations of Tropical Cyclones:
Surface versus Mid and Upper Tropospheric Processes.” Journal of Advances in
Modeling Earth Systems. Wiley, 2025. https://doi.org/10.1029/2024MS004613.'
ieee: 'A. Polesello, G. A. Charinti, A. N. Meroni, C. J. Muller, and C. Pasquero,
“Intensity oscillations of tropical cyclones: Surface versus mid and upper tropospheric
processes,” Journal of Advances in Modeling Earth Systems, vol. 17, no.
4. Wiley, 2025.'
ista: 'Polesello A, Charinti GA, Meroni AN, Muller CJ, Pasquero C. 2025. Intensity
oscillations of tropical cyclones: Surface versus mid and upper tropospheric processes.
Journal of Advances in Modeling Earth Systems. 17(4), e2024MS004613.'
mla: 'Polesello, Andrea, et al. “Intensity Oscillations of Tropical Cyclones: Surface
versus Mid and Upper Tropospheric Processes.” Journal of Advances in Modeling
Earth Systems, vol. 17, no. 4, e2024MS004613, Wiley, 2025, doi:10.1029/2024MS004613.'
short: A. Polesello, G.A. Charinti, A.N. Meroni, C.J. Muller, C. Pasquero, Journal
of Advances in Modeling Earth Systems 17 (2025).
corr_author: '1'
date_created: 2025-05-11T22:02:41Z
date_published: 2025-04-01T00:00:00Z
date_updated: 2025-09-30T12:30:29Z
day: '01'
ddc:
- '550'
department:
- _id: CaMu
doi: 10.1029/2024MS004613
ec_funded: 1
external_id:
isi:
- '001472439600001'
file:
- access_level: open_access
checksum: 2f7c74aceaeea4be1fff4de300791319
content_type: application/pdf
creator: dernst
date_created: 2025-05-12T12:17:08Z
date_updated: 2025-05-12T12:17:08Z
file_id: '19683'
file_name: 2025_JAMES_Polesello.pdf
file_size: 942325
relation: main_file
success: 1
file_date_updated: 2025-05-12T12:17:08Z
has_accepted_license: '1'
intvolume: ' 17'
isi: 1
issue: '4'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
project:
- _id: 629205d8-2b32-11ec-9570-e1356ff73576
call_identifier: H2020
grant_number: '805041'
name: Organization of CLoUdS, and implications of Tropical cyclones and for the
Energetics of the tropics, in current and waRming climate
publication: Journal of Advances in Modeling Earth Systems
publication_identifier:
eissn:
- 1942-2466
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Intensity oscillations of tropical cyclones: Surface versus mid and upper
tropospheric 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: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 17
year: '2025'
...
---
OA_place: publisher
OA_type: diamond
_id: '19673'
abstract:
- lang: eng
text: We show that almost all primes p =\= ± 4 mod9 are sums of three cubes, assuming
a conjecture due to Hooley, Manin, et al. on cubic fourfolds. This conjecture
is approachable under standard statistical hypotheses on geometric families of
L-functions.
acknowledgement: This work was partially supported by the European Union’s Horizon
2020 research and innovation program under the MarieSkłodowska-Curie Grant Agreement
No. 101034413
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Victor
full_name: Wang, Victor
id: 76096395-aea4-11ed-a680-ab8ebbd3f1b9
last_name: Wang
orcid: 0000-0002-0704-7026
citation:
ama: Wang V. Prime Hasse principles via diophantine second moments. Journal of
the Association for Mathematical Research. 2025;3(1):1-26. doi:10.56994/JAMR.003.001.001
apa: Wang, V. (2025). Prime Hasse principles via diophantine second moments. Journal
of the Association for Mathematical Research. Association for Mathematical
Research. https://doi.org/10.56994/JAMR.003.001.001
chicago: Wang, Victor. “Prime Hasse Principles via Diophantine Second Moments.”
Journal of the Association for Mathematical Research. Association for Mathematical
Research, 2025. https://doi.org/10.56994/JAMR.003.001.001.
ieee: V. Wang, “Prime Hasse principles via diophantine second moments,” Journal
of the Association for Mathematical Research, vol. 3, no. 1. Association for
Mathematical Research, pp. 1–26, 2025.
ista: Wang V. 2025. Prime Hasse principles via diophantine second moments. Journal
of the Association for Mathematical Research. 3(1), 1–26.
mla: Wang, Victor. “Prime Hasse Principles via Diophantine Second Moments.” Journal
of the Association for Mathematical Research, vol. 3, no. 1, Association for
Mathematical Research, 2025, pp. 1–26, doi:10.56994/JAMR.003.001.001.
short: V. Wang, Journal of the Association for Mathematical Research 3 (2025) 1–26.
corr_author: '1'
date_created: 2025-05-11T22:02:41Z
date_published: 2025-01-23T00:00:00Z
date_updated: 2025-05-12T10:26:00Z
day: '23'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.56994/JAMR.003.001.001
ec_funded: 1
external_id:
arxiv:
- '2304.08674'
file:
- access_level: open_access
checksum: f9a1057d146632890466a7dc33bf625e
content_type: application/pdf
creator: dernst
date_created: 2025-05-12T10:23:26Z
date_updated: 2025-05-12T10:23:26Z
file_id: '19682'
file_name: 2025_JAMR_Wang.pdf
file_size: 1094167
relation: main_file
success: 1
file_date_updated: 2025-05-12T10:23:26Z
has_accepted_license: '1'
intvolume: ' 3'
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '01'
oa: 1
oa_version: Published Version
page: 1-26
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Journal of the Association for Mathematical Research
publication_identifier:
eissn:
- 2998-4114
publication_status: published
publisher: Association for Mathematical Research
quality_controlled: '1'
scopus_import: '1'
status: public
title: Prime Hasse principles via diophantine second moments
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: 3
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '19674'
abstract:
- lang: eng
text: 'When examined through the lens of their residual streams, a puzzling property
emerges in transformer networks: residual contributions (e.g., attention heads)
sometimes specialize in specific tasks or input attributes. In this paper, we
analyze this phenomenon in vision transformers, focusing on the spectral geometry
of residuals, and explore its implications for modality alignment in vision-language
models. First, we link it to the intrinsically low-dimensional structure of visual
head representations, zooming into their principal components and showing that
they encode specialized roles across a wide variety of input data distributions.
Then, we analyze the effect of head specialization in multimodal models, focusing
on how improved alignment between text and specialized heads impacts zero-shot
classification performance. This specialization-performance link consistently
holds across diverse pre-training data, network sizes, and objectives, demonstrating
a powerful new mechanism for boosting zero-shot classification through targeted
alignment. Ultimately, we translate these insights into actionable terms by introducing
ResiDual, a technique for spectral alignment of the residual stream. Much like
panning for gold, it lets the noise from irrelevant unit principal components
(i.e., attributes) wash away to amplify task-relevant ones. Remarkably, this dual
perspective on modality alignment yields fine-tuning level performance on different
data distributions while modelling an extremely interpretable and parameter-efficient
transformation, as we extensively show on 70 pre-trained network-dataset combinations
(7 models, 10 datasets).'
acknowledgement: "The authors gratefully acknowledge Volkan Cevher for an insightful
discussion about sparse recovery algorithms, Alex Smola for valuable feedback on
the experiments, and Marco Baroni for an engaging conversation on the phenomenon
of head specialization in NLP.\r\n"
article_number: '2411.00246'
article_processing_charge: No
arxiv: 1
author:
- first_name: Lorenzo
full_name: Basile, Lorenzo
last_name: Basile
- first_name: Valentino
full_name: Maiorca, Valentino
last_name: Maiorca
- first_name: Luca
full_name: Bortolussi, Luca
last_name: Bortolussi
- first_name: Emanuele
full_name: Rodolà, Emanuele
last_name: Rodolà
- first_name: Francesco
full_name: Locatello, Francesco
id: 26cfd52f-2483-11ee-8040-88983bcc06d4
last_name: Locatello
orcid: 0000-0002-4850-0683
citation:
ama: Basile L, Maiorca V, Bortolussi L, Rodolà E, Locatello F. ResiDual transformer
alignment with spectral decomposition. arXiv. doi:10.48550/arXiv.2411.00246
apa: Basile, L., Maiorca, V., Bortolussi, L., Rodolà, E., & Locatello, F. (n.d.).
ResiDual transformer alignment with spectral decomposition. arXiv. https://doi.org/10.48550/arXiv.2411.00246
chicago: Basile, Lorenzo, Valentino Maiorca, Luca Bortolussi, Emanuele Rodolà, and
Francesco Locatello. “ResiDual Transformer Alignment with Spectral Decomposition.”
ArXiv, n.d. https://doi.org/10.48550/arXiv.2411.00246.
ieee: L. Basile, V. Maiorca, L. Bortolussi, E. Rodolà, and F. Locatello, “ResiDual
transformer alignment with spectral decomposition,” arXiv. .
ista: Basile L, Maiorca V, Bortolussi L, Rodolà E, Locatello F. ResiDual transformer
alignment with spectral decomposition. arXiv, 2411.00246.
mla: Basile, Lorenzo, et al. “ResiDual Transformer Alignment with Spectral Decomposition.”
ArXiv, 2411.00246, doi:10.48550/arXiv.2411.00246.
short: L. Basile, V. Maiorca, L. Bortolussi, E. Rodolà, F. Locatello, ArXiv (n.d.).
date_created: 2025-05-11T22:02:41Z
date_published: 2025-04-14T00:00:00Z
date_updated: 2025-05-19T07:03:16Z
day: '14'
department:
- _id: FrLo
doi: 10.48550/arXiv.2411.00246
external_id:
arxiv:
- '2411.00246'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2411.00246
month: '04'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: ResiDual transformer alignment with spectral decomposition
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
_id: '19696'
acknowledged_ssus:
- _id: NMR
- _id: LifeSc
article_processing_charge: No
author:
- first_name: Benjamin
full_name: Tatman, Benjamin
id: 71cda2f3-e604-11ee-a1df-da10587eda3f
last_name: Tatman
citation:
ama: 'Tatman B. Dataset for “Bumps on the Road: The Way to Clean Relaxation Dispersion
in the Solid State.” 2025. doi:10.15479/AT-ISTA-19696'
apa: 'Tatman, B. (2025). Dataset for “Bumps on the Road: The Way to Clean Relaxation
Dispersion in the Solid State.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19696'
chicago: 'Tatman, Benjamin. “Dataset for ‘Bumps on the Road: The Way to Clean Relaxation
Dispersion in the Solid State.’” Institute of Science and Technology Austria,
2025. https://doi.org/10.15479/AT-ISTA-19696.'
ieee: 'B. Tatman, “Dataset for ‘Bumps on the Road: The Way to Clean Relaxation Dispersion
in the Solid State.’” Institute of Science and Technology Austria, 2025.'
ista: 'Tatman B. 2025. Dataset for ‘Bumps on the Road: The Way to Clean Relaxation
Dispersion in the Solid State’, Institute of Science and Technology Austria, 10.15479/AT-ISTA-19696.'
mla: 'Tatman, Benjamin. Dataset for “Bumps on the Road: The Way to Clean Relaxation
Dispersion in the Solid State.” Institute of Science and Technology Austria,
2025, doi:10.15479/AT-ISTA-19696.'
short: B. Tatman, (2025).
contributor:
- contributor_type: project_leader
first_name: Paul
id: 7B541462-FAF6-11E9-A490-E8DFE5697425
last_name: Schanda
orcid: 0000-0002-9350-7606
- contributor_type: researcher
first_name: Vidhyalakshmi
last_name: Sridharan
- contributor_type: researcher
first_name: Motilal
last_name: Uttarkabat
- contributor_type: researcher
first_name: Christopher
last_name: Jaroniec
- contributor_type: researcher
first_name: Matthias
last_name: Ernst
- contributor_type: researcher
first_name: Petra
id: c316e53f-b965-11eb-b128-bb26acc59c00
last_name: Rovo
orcid: 0000-0001-8729-7326
corr_author: '1'
date_created: 2025-05-14T10:46:07Z
date_published: 2025-07-31T00:00:00Z
date_updated: 2026-01-28T12:36:30Z
day: '31'
department:
- _id: PaSc
doi: 10.15479/AT-ISTA-19696
file:
- access_level: open_access
checksum: 4c2d29404e070bda7d5619f728ec555c
content_type: application/zip
creator: btatman
date_created: 2025-07-31T08:14:40Z
date_updated: 2025-07-31T08:14:40Z
file_id: '20094'
file_name: dataset.zip
file_size: 557878455
relation: main_file
success: 1
- access_level: open_access
checksum: 6cbccd602be0ecb6ddb1f81fdfcadf92
content_type: text/plain
creator: btatman
date_created: 2025-07-31T08:14:21Z
date_updated: 2025-07-31T08:14:21Z
file_id: '20095'
file_name: readme.txt
file_size: 3514
relation: main_file
success: 1
file_date_updated: 2025-07-31T08:14:40Z
has_accepted_license: '1'
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
month: '07'
oa: 1
oa_version: None
publisher: Institute of Science and Technology Austria
related_material:
link:
- description: Paper to which the dataset corresponds.
relation: research_paper
url: http.//doi.org/10.1021/jacs.5c09057
record:
- id: '20321'
relation: research_data
status: public
status: public
title: 'Dataset for "Bumps on the Road: The Way to Clean Relaxation Dispersion in
the Solid State"'
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: research_data
user_id: 2EBD1598-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19699'
abstract:
- lang: eng
text: We demonstrate that gas disks around binary systems might deliver gas to the
binary components only when the circumbinary disk is relatively warm. We present
new grid-based hydrodynamics simulations, performed with the binary on the grid
and a locally isothermal equation of state, in which the binary is seen to functionally
"stop accreting" if the orbital Mach number in the disk exceeds a threshold value
of about 40. Above this threshold, the disk continues to extract angular momentum
from the binary orbit, but it delivers very little mass to the black holes and
instead piles up mass in a ring surrounding the binary. This ring will eventually
become viscously relaxed and deliver mass to the binary at the large-scale inflow
rate. However, we show that the timescale for such relaxation can far exceed the
implied binary lifetime. We demonstrate that the ability of a binary–disk system
to equilibrate is dependent on the efficiency at which accretion streams deposit
mass onto the binary, which, in turn is highly sensitive to the thermodynamic
conditions of the inner disk. If disks around massive black hole binaries do operate
in such nonaccreting regimes, it suggests these systems may be dimmer than their
single black hole counterparts but could exhibit dramatic rebrightening after
the black holes inspiral and merge. This dimming begins in the UV/optical and
could completely choke high-energy emission, such that these systems would likely
be intrinsically X-ray weak with reddened continua, potentially resembling the
spectra of "little red dots" recently identified in JWST observations.
acknowledgement: C.T. sincerely thanks Daniel J. D'Orazio for useful and illuminating
discussions. This work was supported by the European Union's Horizon 2023 research
and innovation program under Marie Sklodowska-Curie grant agreement No. 101148364,
by Sapere Aude Starting grant No. 121587 through the Danish Independent Research
Fund, by the LISA Preparatory Science Program (LPS) through NASA grant 80NSSC24K0440,
and by NASA Astrophysics Theory Program (ATP) grant 80NSSC22K0822. Computation time
for this work was supported through the NYU IT High Performance Computing resources
as well as the Tycho supercomputer hosted at the SCIENCE HPC center at the University
of Copenhagen.
article_number: '144'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Christopher
full_name: Tiede, Christopher
last_name: Tiede
- first_name: Jonathan
full_name: Zrake, Jonathan
last_name: Zrake
- first_name: Andrew
full_name: Macfadyen, Andrew
last_name: Macfadyen
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
orcid: 0000-0003-3633-5403
citation:
ama: Tiede C, Zrake J, Macfadyen A, Haiman Z. Suppressed accretion onto massive
black hole binaries surrounded by thin disks. The Astrophysical Journal.
2025;984(2). doi:10.3847/1538-4357/adc727
apa: Tiede, C., Zrake, J., Macfadyen, A., & Haiman, Z. (2025). Suppressed accretion
onto massive black hole binaries surrounded by thin disks. The Astrophysical
Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/adc727
chicago: Tiede, Christopher, Jonathan Zrake, Andrew Macfadyen, and Zoltán Haiman.
“Suppressed Accretion onto Massive Black Hole Binaries Surrounded by Thin Disks.”
The Astrophysical Journal. IOP Publishing, 2025. https://doi.org/10.3847/1538-4357/adc727.
ieee: C. Tiede, J. Zrake, A. Macfadyen, and Z. Haiman, “Suppressed accretion onto
massive black hole binaries surrounded by thin disks,” The Astrophysical Journal,
vol. 984, no. 2. IOP Publishing, 2025.
ista: Tiede C, Zrake J, Macfadyen A, Haiman Z. 2025. Suppressed accretion onto massive
black hole binaries surrounded by thin disks. The Astrophysical Journal. 984(2),
144.
mla: Tiede, Christopher, et al. “Suppressed Accretion onto Massive Black Hole Binaries
Surrounded by Thin Disks.” The Astrophysical Journal, vol. 984, no. 2,
144, IOP Publishing, 2025, doi:10.3847/1538-4357/adc727.
short: C. Tiede, J. Zrake, A. Macfadyen, Z. Haiman, The Astrophysical Journal 984
(2025).
date_created: 2025-05-18T22:02:49Z
date_published: 2025-05-09T00:00:00Z
date_updated: 2026-02-16T12:42:56Z
day: '09'
ddc:
- '520'
department:
- _id: ZoHa
doi: 10.3847/1538-4357/adc727
external_id:
arxiv:
- '2410.03830'
isi:
- '001483889000001'
file:
- access_level: open_access
checksum: 0d4c57ee944599c0789f3db467c5ca2f
content_type: application/pdf
creator: dernst
date_created: 2025-05-19T07:20:30Z
date_updated: 2025-05-19T07:20:30Z
file_id: '19708'
file_name: 2025_AstrophysicalJour_Tiede.pdf
file_size: 1058601
relation: main_file
success: 1
file_date_updated: 2025-05-19T07:20:30Z
has_accepted_license: '1'
intvolume: ' 984'
isi: 1
issue: '2'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
eissn:
- 1538-4357
issn:
- 0004-637X
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Suppressed accretion onto massive black hole binaries surrounded by thin disks
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: 984
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19700'
abstract:
- lang: eng
text: The JWST discovery of "little red dots" (LRDs) is reshaping our picture of
the early Universe, yet the physical mechanisms driving their compact size and
UV-optical colors remain elusive. Here, we report an unusually bright LRD (zspec
= 3.1) observed as part of the RUBIES program. This LRD exhibits broad emission
lines (FWHM ∼ 4000 km s−1), a blue UV continuum, a clear Balmer break, and a red
continuum sampled out to rest-frame 4 μm with MIRI. We develop a new joint galaxy
and active galactic nucleus (AGN) model within the Prospector Bayesian inference
framework and perform spectrophotometric modeling using NIRCam, MIRI, and NIRSpec/Prism
observations. Our fiducial model reveals a M* ∼ 109 M⊙ galaxy alongside a dust-reddened
AGN driving the optical emission. Explaining the rest-frame optical color as a
reddened AGN requires AV ≳ 3, suggesting that a great majority of the accretion
disk energy is reradiated as dust emission. Yet, despite clear AGN signatures,
we find a surprising lack of hot torus emission, which implies that either the
dust emission in this object must be cold, or the red continuum must instead be
driven by a massive, evolved stellar population of the host galaxy—seemingly inconsistent
with the high-EW broad lines (Hα rest-frame EW ∼ 800 Å). The widths and luminosities
of Pa-β, Pa-δ, Pa-γ, and Hα imply a modest black hole mass of MBH ∼ 108 M⊙. Additionally,
we identify a narrow blueshifted He i λ 1.083 μm absorption feature in NIRSpec/G395M
spectra, signaling an ionized outflow with kinetic energy up to ∼1% the luminosity
of the AGN. The low redshift of RUBIES-BLAGN-1, combined with the depth and richness
of the JWST imaging and spectroscopic observations, provides a unique opportunity
to build a physical model for these so-far mysterious LRDs, which may prove to
be a crucial phase in the early formation of massive galaxies and their supermassive
black holes.
acknowledgement: 'B.W. and J.L. acknowledge support from JWST-GO-04233.009-A. R.L.D.
is supported by the Australian Research Council through the Discovery Early Career
Researcher Award (DECRA) Fellowship DE240100136 funded by the Australian Government.
T.B.M. was supported by a CIERA postdoctoral fellowship. The Cosmic Dawn Center
is funded by the Danish National Research Foundation (DNRF) under grant #140. This
research was supported by the International Space Science Institute (ISSI) in Bern,
through ISSI International Team project #562 (First Light at Cosmic Dawn: Exploiting
the James Webb Space Telescope Revolution). The JWST data presented in this article
were obtained from the Mikulski Archive for Space Telescopes (MAST) at the Space
Telescope Science Institute. The specific observations analyzed here can be accessed
via DOI:10.17909/c3t4-9p39. Computations for this research were performed on the
Pennsylvania State University''s Institute for Computational and Data Sciences''
Roar supercomputer. This publication made use of the NASA Astrophysical Data System
for bibliographic information.'
article_number: '121'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Bingjie
full_name: Wang, Bingjie
last_name: Wang
- first_name: Anna
full_name: De Graaff, Anna
last_name: De Graaff
- first_name: Rebecca L.
full_name: Davies, Rebecca L.
last_name: Davies
- first_name: Jenny E.
full_name: Greene, Jenny E.
last_name: Greene
- first_name: Joel
full_name: Leja, Joel
last_name: Leja
- first_name: Gabriel B.
full_name: Brammer, Gabriel B.
last_name: Brammer
- first_name: Andy D.
full_name: Goulding, Andy D.
last_name: Goulding
- first_name: Tim B.
full_name: Miller, Tim B.
last_name: Miller
- first_name: Katherine A.
full_name: Suess, Katherine A.
last_name: Suess
- first_name: Andrea
full_name: Weibel, Andrea
last_name: Weibel
- first_name: Christina C.
full_name: Williams, Christina C.
last_name: Williams
- 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: Michaela
full_name: Hirschmann, Michaela
last_name: Hirschmann
- first_name: Harley
full_name: Katz, Harley
last_name: Katz
- first_name: Ivo
full_name: Labbé, Ivo
last_name: Labbé
- first_name: Michael V.
full_name: Maseda, Michael V.
last_name: Maseda
- 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: Rohan P.
full_name: Naidu, Rohan P.
last_name: Naidu
- first_name: Pascal A.
full_name: Oesch, Pascal A.
last_name: Oesch
- 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 E.
full_name: Whitaker, Katherine E.
last_name: Whitaker
citation:
ama: 'Wang B, De Graaff A, Davies RL, et al. RUBIES: JWST/NIRSpec confirmation of
an infrared-luminous, broad-line Little Red Dot with an ionized outflow. The
Astrophysical Journal. 2025;984(2). doi:10.3847/1538-4357/adc1ca'
apa: 'Wang, B., De Graaff, A., Davies, R. L., Greene, J. E., Leja, J., Brammer,
G. B., … Whitaker, K. E. (2025). RUBIES: JWST/NIRSpec confirmation of an infrared-luminous,
broad-line Little Red Dot with an ionized outflow. The Astrophysical Journal.
IOP Publishing. https://doi.org/10.3847/1538-4357/adc1ca'
chicago: 'Wang, Bingjie, Anna De Graaff, Rebecca L. Davies, Jenny E. Greene, Joel
Leja, Gabriel B. Brammer, Andy D. Goulding, et al. “RUBIES: JWST/NIRSpec Confirmation
of an Infrared-Luminous, Broad-Line Little Red Dot with an Ionized Outflow.” The
Astrophysical Journal. IOP Publishing, 2025. https://doi.org/10.3847/1538-4357/adc1ca.'
ieee: 'B. Wang et al., “RUBIES: JWST/NIRSpec confirmation of an infrared-luminous,
broad-line Little Red Dot with an ionized outflow,” The Astrophysical Journal,
vol. 984, no. 2. IOP Publishing, 2025.'
ista: 'Wang B, De Graaff A, Davies RL, Greene JE, Leja J, Brammer GB, Goulding AD,
Miller TB, Suess KA, Weibel A, Williams CC, Bezanson R, Boogaard LA, Cleri NJ,
Hirschmann M, Katz H, Labbé I, Maseda MV, Matthee JJ, Mcconachie I, Naidu RP,
Oesch PA, Rix HW, Setton DJ, Whitaker KE. 2025. RUBIES: JWST/NIRSpec confirmation
of an infrared-luminous, broad-line Little Red Dot with an ionized outflow. The
Astrophysical Journal. 984(2), 121.'
mla: 'Wang, Bingjie, et al. “RUBIES: JWST/NIRSpec Confirmation of an Infrared-Luminous,
Broad-Line Little Red Dot with an Ionized Outflow.” The Astrophysical Journal,
vol. 984, no. 2, 121, IOP Publishing, 2025, doi:10.3847/1538-4357/adc1ca.'
short: B. Wang, A. De Graaff, R.L. Davies, J.E. Greene, J. Leja, G.B. Brammer, A.D.
Goulding, T.B. Miller, K.A. Suess, A. Weibel, C.C. Williams, R. Bezanson, L.A.
Boogaard, N.J. Cleri, M. Hirschmann, H. Katz, I. Labbé, M.V. Maseda, J.J. Matthee,
I. Mcconachie, R.P. Naidu, P.A. Oesch, H.W. Rix, D.J. Setton, K.E. Whitaker, The
Astrophysical Journal 984 (2025).
date_created: 2025-05-18T22:02:49Z
date_published: 2025-05-09T00:00:00Z
date_updated: 2026-02-16T12:42:43Z
day: '09'
ddc:
- '520'
department:
- _id: JoMa
doi: 10.3847/1538-4357/adc1ca
external_id:
arxiv:
- '2403.02304'
isi:
- '001481589300001'
file:
- access_level: open_access
checksum: 1a9ff4516d11808bc6947744473c9fc2
content_type: application/pdf
creator: dernst
date_created: 2025-05-19T07:08:39Z
date_updated: 2025-05-19T07:08:39Z
file_id: '19707'
file_name: 2025_AstrophysicalJour_Wang.pdf
file_size: 3522072
relation: main_file
success: 1
file_date_updated: 2025-05-19T07:08:39Z
has_accepted_license: '1'
intvolume: ' 984'
isi: 1
issue: '2'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
eissn:
- 1538-4357
issn:
- 0004-637X
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'RUBIES: JWST/NIRSpec confirmation of an infrared-luminous, broad-line Little
Red Dot with an ionized outflow'
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: 984
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19701'
abstract:
- lang: eng
text: 'Living systems are characterized by controlled flows of matter, energy, and
information. While the biophysics community has productively engaged with the
first two, addressing information flows has been more challenging, with some scattered
success in evolutionary theory and a more coherent track record in neuroscience.
Nevertheless, interdisciplinary work of the past two decades at the interface
of biophysics, quantitative biology, and engineering has led to an emerging mathematical
language for describing information flows at the molecular scale. This is where
the central processes of life unfold: from detection and transduction of environmental
signals to the readout or copying of genetic information and the triggering of
adaptive cellular responses. Such processes are coordinated by complex biochemical
reaction networks that operate at room temperature, are out of equilibrium, and
use low copy numbers of diverse molecular species with limited interaction specificity.
Here we review how flows of information through biochemical networks can be formalized
using information-theoretic quantities, quantified from data, and computed within
various modeling frameworks. Optimization of information flows is presented as
a candidate design principle that navigates the relevant time, energy, crosstalk,
and metabolic constraints to predict reliable cellular signaling and gene regulation
architectures built of individually noisy components.'
acknowledgement: G.T. acknowledges the support of the Human Frontiers Science Program
(HFSP), the Austrian Science Fund (FWF 10.55776/P34015, 10.55776/P28844), and the
European Research Council Synergy DYNATRANS (ERC-2023-SyG 101118866) grant. P.R.t.W.
performed his work at the research institute AMOLF and acknowledges support from
the Dutch Research Council (NWO) and funding from the European Research Council
(ERC) under the European Union's Horizon 2020 research and innovation program (grant
agreement 885065).
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: 0000-0002-6699-1455
- first_name: Pieter Rein Ten
full_name: Wolde, Pieter Rein Ten
last_name: Wolde
citation:
ama: Tkačik G, Wolde PRT. Information processing in biochemical networks. Annual
review of biophysics. 2025;54:249-274. doi:10.1146/annurev-biophys-060524-102720
apa: Tkačik, G., & Wolde, P. R. T. (2025). Information processing in biochemical
networks. Annual Review of Biophysics. Annual Reviews. https://doi.org/10.1146/annurev-biophys-060524-102720
chicago: Tkačik, Gašper, and Pieter Rein Ten Wolde. “Information Processing in Biochemical
Networks.” Annual Review of Biophysics. Annual Reviews, 2025. https://doi.org/10.1146/annurev-biophys-060524-102720.
ieee: G. Tkačik and P. R. T. Wolde, “Information processing in biochemical networks,”
Annual review of biophysics, vol. 54. Annual Reviews, pp. 249–274, 2025.
ista: Tkačik G, Wolde PRT. 2025. Information processing in biochemical networks.
Annual review of biophysics. 54, 249–274.
mla: Tkačik, Gašper, and Pieter Rein Ten Wolde. “Information Processing in Biochemical
Networks.” Annual Review of Biophysics, vol. 54, Annual Reviews, 2025,
pp. 249–74, doi:10.1146/annurev-biophys-060524-102720.
short: G. Tkačik, P.R.T. Wolde, Annual Review of Biophysics 54 (2025) 249–274.
corr_author: '1'
date_created: 2025-05-18T22:02:50Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-09-30T12:33:33Z
day: '01'
ddc:
- '570'
department:
- _id: GaTk
doi: 10.1146/annurev-biophys-060524-102720
external_id:
isi:
- '001488641500013'
pmid:
- '39929539'
file:
- access_level: open_access
checksum: 9ab623b2bc45dcd5fdd2c9577ea8ae9f
content_type: application/pdf
creator: dernst
date_created: 2025-05-19T07:55:51Z
date_updated: 2025-05-19T07:55:51Z
file_id: '19710'
file_name: 2025_AnnualReviewBiophysics_Tkacik.pdf
file_size: 317925
relation: main_file
success: 1
file_date_updated: 2025-05-19T07:55:51Z
has_accepted_license: '1'
intvolume: ' 54'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 249-274
pmid: 1
project:
- _id: 626c45b5-2b32-11ec-9570-e509828c1ba6
grant_number: P34015
name: Efficient coding with biophysical realism
- _id: 254E9036-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P28844-B27
name: Biophysics of information processing in gene regulation
- _id: 7bfe6a29-9f16-11ee-852c-c0da5e2045d9
grant_number: '101118866'
name: 'Transcription in 4D: the dynamic interplay between chromatin architecture
and gene expression in developing pseudo-embryos'
publication: Annual review of biophysics
publication_identifier:
eissn:
- 1936-1238
publication_status: published
publisher: Annual Reviews
quality_controlled: '1'
scopus_import: '1'
status: public
title: Information processing in biochemical networks
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: 54
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '19702'
abstract:
- lang: eng
text: Moran Birth-death process is a standard stochastic process that is used to
model natural selection in spatially structured populations. A newly occurring
mutation that invades a population of residents can either fixate on the whole
population or it can go extinct due to random drift. The duration of the process
depends not only on the total population size n, but also on the spatial structure
of the population. In this work, we consider the Moran process with a single type
of individuals who invade and colonize an otherwise empty environment. Mathematically,
this corresponds to the setting where the residents have zero reproduction rate,
thus they never reproduce. The spatial structure is represented by a graph. We
present two main contributions. First, in contrast to the Moran process in which
residents do reproduce, we show that the colonization time is always at most a
polynomial function of the population size n. Namely, we show that colonization
always takes at most 1/2n^3 - 1/2n^2 expected steps, and for each n, we identify
the slowest graph where it takes exactly that many steps. Moreover, we establish
a stronger bound of roughly n^2.5 steps for undirected graphs and an even stronger
bound of roughly n^2 steps for so-called regular graphs. Second, we discuss various
complications that one faces when attempting to measure fixation times and colonization
times in spatially structured populations, and we propose to measure the real
duration of the process, rather than counting the steps of the classic Moran process.
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Lenka
full_name: Kopfová, Lenka
id: 17691681-50b9-11ef-ad56-edf4cacb21b0
last_name: Kopfová
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
citation:
ama: Kopfová L, Tkadlec J. Colonization times in Moran process on graphs. PLoS
computational biology. 2025;21(5):e1012868. doi:10.1371/journal.pcbi.1012868
apa: Kopfová, L., & Tkadlec, J. (2025). Colonization times in Moran process
on graphs. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1012868
chicago: Kopfová, Lenka, and Josef Tkadlec. “Colonization Times in Moran Process
on Graphs.” PLoS Computational Biology. Public Library of Science, 2025.
https://doi.org/10.1371/journal.pcbi.1012868.
ieee: L. Kopfová and J. Tkadlec, “Colonization times in Moran process on graphs,”
PLoS computational biology, vol. 21, no. 5. Public Library of Science,
p. e1012868, 2025.
ista: Kopfová L, Tkadlec J. 2025. Colonization times in Moran process on graphs.
PLoS computational biology. 21(5), e1012868.
mla: Kopfová, Lenka, and Josef Tkadlec. “Colonization Times in Moran Process on
Graphs.” PLoS Computational Biology, vol. 21, no. 5, Public Library of
Science, 2025, p. e1012868, doi:10.1371/journal.pcbi.1012868.
short: L. Kopfová, J. Tkadlec, PLoS Computational Biology 21 (2025) e1012868.
date_created: 2025-05-18T22:02:50Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-09-30T12:34:03Z
day: '01'
ddc:
- '000'
department:
- _id: GradSch
doi: 10.1371/journal.pcbi.1012868
external_id:
arxiv:
- '2410.09476'
isi:
- '001481670600002'
file:
- access_level: open_access
checksum: 73e35151eebd5064972c5a07ffdf2b69
content_type: application/pdf
creator: dernst
date_created: 2025-05-19T07:45:31Z
date_updated: 2025-05-19T07:45:31Z
file_id: '19709'
file_name: 2025_PloSCompBio_Kopfova.pdf
file_size: 6805943
relation: main_file
success: 1
file_date_updated: 2025-05-19T07:45:31Z
has_accepted_license: '1'
intvolume: ' 21'
isi: 1
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: e1012868
publication: PLoS computational biology
publication_identifier:
eissn:
- 1553-7358
publication_status: published
publisher: Public Library of Science
quality_controlled: '1'
scopus_import: '1'
status: public
title: Colonization times in Moran process on graphs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 21
year: '2025'
...