---
OA_place: repository
OA_type: green
_id: '19771'
abstract:
- lang: eng
  text: "This artifact allows to review and reproduce the Isabelle proofs and practical
    experiments from the paper *Fixed Point Certificates for Reachability and Expected
    Rewards in MDPs*.\r\nThe contents are two-fold:\r\nFirst, the artifact contains
    a formally verified certificate checker for the certificates presented in the
    paper.\r\nThe formal Isabelle/HOL proofs of the background theory can be inspected,
    checked by Isabelle and the code extraction can be retraced.\r\n\r\nSecond, the
    artifact contains a modified version of the model checking tool `Storm` with support
    for certificate generation. Together with the provided scripts and benchmark files,
    this allows to reproduce the experiments from the paper.\r\nAn appropriate subset
    of the experiments is given to allow a review in a timely manner. In addition,
    original logfiles from our experiments are provided, allowing a detailed inspection.\r\n\r\nThe
    package includes convenient installation scripts for [the TACAS 2023 VM](https://doi.org/10.5281/zenodo.7113223)
    (based on Ubuntu 22.04).\r\nA native installation on Linux or macOS systems (including
    the newer ARM-based machines) is also possible."
article_processing_charge: No
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Tim
  full_name: Quatmann, Tim
  last_name: Quatmann
- first_name: Maximilian
  full_name: Schäffeler, Maximilian
  last_name: Schäffeler
- first_name: Maximilian
  full_name: Weininger, Maximilian
  id: 02ab0197-cc70-11ed-ab61-918e71f56881
  last_name: Weininger
- first_name: Tobias
  full_name: Winkler, Tobias
  last_name: Winkler
- first_name: Daniel
  full_name: Zilken, Daniel
  id: d8ebc24a-3f98-11f0-9044-8296d4f39ab3
  last_name: Zilken
citation:
  ama: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D.
    Artifact: Fixed point certificates for reachability and expected rewards in MDPs.
    2025. doi:<a href="https://doi.org/10.5281/ZENODO.14626585">10.5281/ZENODO.14626585</a>'
  apa: 'Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T.,
    &#38; Zilken, D. (2025). Artifact: Fixed point certificates for reachability and
    expected rewards in MDPs. Zenodo. <a href="https://doi.org/10.5281/ZENODO.14626585">https://doi.org/10.5281/ZENODO.14626585</a>'
  chicago: 'Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian
    Weininger, Tobias Winkler, and Daniel Zilken. “Artifact: Fixed Point Certificates
    for Reachability and Expected Rewards in MDPs.” Zenodo, 2025. <a href="https://doi.org/10.5281/ZENODO.14626585">https://doi.org/10.5281/ZENODO.14626585</a>.'
  ieee: 'K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, and
    D. Zilken, “Artifact: Fixed point certificates for reachability and expected rewards
    in MDPs.” Zenodo, 2025.'
  ista: 'Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D.
    2025. Artifact: Fixed point certificates for reachability and expected rewards
    in MDPs, Zenodo, <a href="https://doi.org/10.5281/ZENODO.14626585">10.5281/ZENODO.14626585</a>.'
  mla: 'Chatterjee, Krishnendu, et al. <i>Artifact: Fixed Point Certificates for Reachability
    and Expected Rewards in MDPs</i>. Zenodo, 2025, doi:<a href="https://doi.org/10.5281/ZENODO.14626585">10.5281/ZENODO.14626585</a>.'
  short: K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken,
    (2025).
date_created: 2025-06-02T10:13:24Z
date_published: 2025-01-09T00:00:00Z
date_updated: 2025-06-02T10:55:35Z
day: '09'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.5281/ZENODO.14626585
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/ZENODO.14626585
month: '01'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '19743'
    relation: used_in_publication
    status: public
status: public
title: 'Artifact: Fixed point certificates for reachability and expected rewards in
  MDPs'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '19776'
abstract:
- lang: eng
  text: We use the circle method to prove that a density 1 of elements in Fq[t] are
    representable as a sum of three cubes of essentially minimal degree from Fq[t],
    assuming the Ratios Conjecture and that char(Fq)>3. Roughly speaking, to do so,
    we upgrade an order of magnitude result to a full asymptotic formula that was
    conjectured by Hooley in the number field setting.
acknowledgement: We thank Alexandra Florea for discussions on cubic Gauss sums over
  function fields, in addition to the anonymous referee for helpful comments. While
  working on this paper the first two authors were supported by a FWF grant (DOI 10.55776/P36278)
  and the third author was supported by the European Union’s Horizon 2020 research
  and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413.
  Open access funding provided by Institute of Science and Technology (IST Austria).
article_number: '65'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Timothy D
  full_name: Browning, Timothy D
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Jakob
  full_name: Glas, Jakob
  id: d6423cba-dc74-11ea-a0a7-ee61689ff5fb
  last_name: Glas
- first_name: Victor
  full_name: Wang, Victor
  id: 76096395-aea4-11ed-a680-ab8ebbd3f1b9
  last_name: Wang
  orcid: 0000-0002-0704-7026
citation:
  ama: Browning TD, Glas J, Wang V. Optimal sums of three cubes in Fq[t]. <i>Mathematische
    Zeitschrift</i>. 2025;310(4). doi:<a href="https://doi.org/10.1007/s00209-025-03765-z">10.1007/s00209-025-03765-z</a>
  apa: Browning, T. D., Glas, J., &#38; Wang, V. (2025). Optimal sums of three cubes
    in Fq[t]. <i>Mathematische Zeitschrift</i>. Springer Nature. <a href="https://doi.org/10.1007/s00209-025-03765-z">https://doi.org/10.1007/s00209-025-03765-z</a>
  chicago: Browning, Timothy D, Jakob Glas, and Victor Wang. “Optimal Sums of Three
    Cubes in Fq[T].” <i>Mathematische Zeitschrift</i>. Springer Nature, 2025. <a href="https://doi.org/10.1007/s00209-025-03765-z">https://doi.org/10.1007/s00209-025-03765-z</a>.
  ieee: T. D. Browning, J. Glas, and V. Wang, “Optimal sums of three cubes in Fq[t],”
    <i>Mathematische Zeitschrift</i>, vol. 310, no. 4. Springer Nature, 2025.
  ista: Browning TD, Glas J, Wang V. 2025. Optimal sums of three cubes in Fq[t]. Mathematische
    Zeitschrift. 310(4), 65.
  mla: Browning, Timothy D., et al. “Optimal Sums of Three Cubes in Fq[T].” <i>Mathematische
    Zeitschrift</i>, vol. 310, no. 4, 65, Springer Nature, 2025, doi:<a href="https://doi.org/10.1007/s00209-025-03765-z">10.1007/s00209-025-03765-z</a>.
  short: T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025).
corr_author: '1'
date_created: 2025-06-03T07:30:21Z
date_published: 2025-05-23T00:00:00Z
date_updated: 2025-09-30T12:43:41Z
day: '23'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.1007/s00209-025-03765-z
ec_funded: 1
external_id:
  arxiv:
  - '2408.03668 '
  isi:
  - '001494367000001'
file:
- access_level: open_access
  checksum: 6f71e25740c28257bf89b8bf116c2b4d
  content_type: application/pdf
  creator: dernst
  date_created: 2025-06-03T08:28:14Z
  date_updated: 2025-06-03T08:28:14Z
  file_id: '19782'
  file_name: 2025_MathZeitschrift_Browning.pdf
  file_size: 461622
  relation: main_file
  success: 1
file_date_updated: 2025-06-03T08:28:14Z
has_accepted_license: '1'
intvolume: '       310'
isi: 1
issue: '4'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: bd8a4fdc-d553-11ed-ba76-80a0167441a3
  grant_number: P36278
  name: Rational curves via function field analytic number theory
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
  call_identifier: H2020
  grant_number: '101034413'
  name: 'IST-BRIDGE: International postdoctoral program'
publication: Mathematische Zeitschrift
publication_identifier:
  eissn:
  - 1432-1823
  issn:
  - 0025-5874
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optimal sums of three cubes in Fq[t]
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: 310
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '15016'
abstract:
- lang: eng
  text: Amphibians, by virtue of their phylogenetic position, provide invaluable insights
    on nervous system evolution, development, and remodeling. The genetic toolkit
    for amphibians, however, remains limited. Recombinant adeno-associated viral vectors
    (AAVs) are a powerful alternative to transgenesis for labeling and manipulating
    neurons. Although successful in mammals, AAVs have never been shown to transduce
    amphibian cells efficiently. We screened AAVs in three amphibian species—the frogs
    Xenopus laevis and Pelophylax bedriagae and the salamander Pleurodeles waltl—and
    identified at least two AAV serotypes per species that transduce neurons. In developing
    amphibians, AAVs labeled groups of neurons generated at the same time during development.
    In the mature brain, AAVrg retrogradely traced long-range projections. Our study
    introduces AAVs as a tool for amphibian research, establishes a generalizable
    workflow for AAV screening in new species, and expands opportunities for cross-species
    comparisons of nervous system development, function, and evolution.
acknowledged_ssus:
- _id: PreCl
- _id: Bio
acknowledgement: 'We thank members of the Sweeney, Tosches, Shein-Idelson, Yamaguchi,
  Kelley, and Cline Labs for their contributions to this project, discussion, and
  support. We additionally thank the Beckman Institute CLOVER Center and Viviana Gradinaru
  (Caltech), Kimberly Ritola (UNC NeuroTools), and Flavia Gomez-Leite (ISTA Viral
  Core) for AAV production and consultation; Andras Simon and Alberto Joven (Karolinska
  Institute) for feedback; Elizabeth Bagnato-Cohen (Columbia) for project coordination;
  our animal care and imaging facilities; the amphibian stock centers (NXR, EXRC,
  and XenopusExpress); and our funding sources: NSF IOS 2110086 (D.B.K., L.B.S., M.A.T.,
  A.Y., and H.T.C.); US-Israel Binational Science Foundation (BSF) 2020702 (M.S.-I.);
  FTI Strategy Lower Austria Dissertation FT121-D-046 (D.V.); Horizon Europe ERC Starting
  Grant 101041551 and Special Research Programme (SFB) of the Austrian Science Fund
  (FWF) project F7814-B (L.B.S.); NIH grant R35GM146973, Rita Allen Foundation Award
  GA_032522_FE, and CZI Ben Barres Early Career Acceleration Award 2023-331758 (M.A.T.);
  EMBO Long-Term Fellowship ALTF 874-2021 (A.D.); and NSF GRFP DGE 2036197 (E.C.B.J.).'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Eliza C.B.
  full_name: Jaeger, Eliza C.B.
  last_name: Jaeger
- first_name: David
  full_name: Vijatovic, David
  id: cf391e77-ec3c-11ea-a124-d69323410b58
  last_name: Vijatovic
- first_name: Astrid
  full_name: Deryckere, Astrid
  last_name: Deryckere
- first_name: Nikol
  full_name: Zorin, Nikol
  last_name: Zorin
- first_name: Akemi L.
  full_name: Nguyen, Akemi L.
  last_name: Nguyen
- first_name: Georgiy
  full_name: Ivanian, Georgiy
  id: eaf2b366-cfd1-11ee-bbdf-c8790f800a05
  last_name: Ivanian
- first_name: Jamie
  full_name: Woych, Jamie
  last_name: Woych
- first_name: Rebecca C
  full_name: Arnold, Rebecca C
  id: d6cce458-14c9-11ed-a755-c1c8fc6fde6f
  last_name: Arnold
- first_name: Alonso
  full_name: Ortega Gurrola, Alonso
  last_name: Ortega Gurrola
- first_name: Arik
  full_name: Shvartsman, Arik
  last_name: Shvartsman
- first_name: Francesca
  full_name: Barbieri, Francesca
  id: a9492887-8972-11ed-ae7b-bfae10998254
  last_name: Barbieri
- first_name: Florina-Alexandra
  full_name: Toma, Florina-Alexandra
  id: 85dd99f2-15b2-11ec-abd3-d1ae4d57f3b5
  last_name: Toma
- first_name: Gary J.
  full_name: Gorbsky, Gary J.
  last_name: Gorbsky
- first_name: Marko E.
  full_name: Horb, Marko E.
  last_name: Horb
- first_name: Hollis T.
  full_name: Cline, Hollis T.
  last_name: Cline
- first_name: Timothy F.
  full_name: Shay, Timothy F.
  last_name: Shay
- first_name: Darcy B.
  full_name: Kelley, Darcy B.
  last_name: Kelley
- first_name: Ayako
  full_name: Yamaguchi, Ayako
  last_name: Yamaguchi
- first_name: Mark
  full_name: Shein-Idelson, Mark
  last_name: Shein-Idelson
- first_name: Maria Antonietta
  full_name: Tosches, Maria Antonietta
  last_name: Tosches
- first_name: Lora Beatrice Jaeger
  full_name: Sweeney, Lora Beatrice Jaeger
  id: 56BE8254-C4F0-11E9-8E45-0B23E6697425
  last_name: Sweeney
  orcid: 0000-0001-9242-5601
citation:
  ama: Jaeger ECB, Vijatovic D, Deryckere A, et al. Adeno-associated viral tools to
    trace neural development and connectivity across amphibians. <i>Developmental
    Cell</i>. 2025;60(5):794-812.e6. doi:<a href="https://doi.org/10.1016/j.devcel.2024.10.025">10.1016/j.devcel.2024.10.025</a>
  apa: Jaeger, E. C. B., Vijatovic, D., Deryckere, A., Zorin, N., Nguyen, A. L., Ivanian,
    G., … Sweeney, L. B. (2025). Adeno-associated viral tools to trace neural development
    and connectivity across amphibians. <i>Developmental Cell</i>. Elsevier. <a href="https://doi.org/10.1016/j.devcel.2024.10.025">https://doi.org/10.1016/j.devcel.2024.10.025</a>
  chicago: Jaeger, Eliza C.B., David Vijatovic, Astrid Deryckere, Nikol Zorin, Akemi
    L. Nguyen, Georgiy Ivanian, Jamie Woych, et al. “Adeno-Associated Viral Tools
    to Trace Neural Development and Connectivity across Amphibians.” <i>Developmental
    Cell</i>. Elsevier, 2025. <a href="https://doi.org/10.1016/j.devcel.2024.10.025">https://doi.org/10.1016/j.devcel.2024.10.025</a>.
  ieee: E. C. B. Jaeger <i>et al.</i>, “Adeno-associated viral tools to trace neural
    development and connectivity across amphibians,” <i>Developmental Cell</i>, vol.
    60, no. 5. Elsevier, p. 794–812.e6, 2025.
  ista: Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych
    J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ,
    Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA,
    Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and
    connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.
  mla: Jaeger, Eliza C. B., et al. “Adeno-Associated Viral Tools to Trace Neural Development
    and Connectivity across Amphibians.” <i>Developmental Cell</i>, vol. 60, no. 5,
    Elsevier, 2025, p. 794–812.e6, doi:<a href="https://doi.org/10.1016/j.devcel.2024.10.025">10.1016/j.devcel.2024.10.025</a>.
  short: E.C.B. Jaeger, D. Vijatovic, A. Deryckere, N. Zorin, A.L. Nguyen, G. Ivanian,
    J. Woych, R.C. Arnold, A. Ortega Gurrola, A. Shvartsman, F. Barbieri, F.-A. Toma,
    G.J. Gorbsky, M.E. Horb, H.T. Cline, T.F. Shay, D.B. Kelley, A. Yamaguchi, M.
    Shein-Idelson, M.A. Tosches, L.B. Sweeney, Developmental Cell 60 (2025) 794–812.e6.
corr_author: '1'
date_created: 2024-02-20T09:20:32Z
date_published: 2025-03-10T00:00:00Z
date_updated: 2025-09-30T10:00:55Z
day: '10'
ddc:
- '570'
department:
- _id: LoSw
- _id: MaDe
- _id: GaNo
doi: 10.1016/j.devcel.2024.10.025
external_id:
  isi:
  - '001444798600001'
  pmid:
  - '39603234'
file:
- access_level: open_access
  checksum: a83a4cb58f5941096d3ad91ca0172594
  content_type: application/pdf
  creator: dernst
  date_created: 2025-06-04T05:43:27Z
  date_updated: 2025-06-04T05:43:27Z
  file_id: '19790'
  file_name: 2025_DevelopmentalCell_Jaeger.pdf
  file_size: 11936258
  relation: main_file
  success: 1
file_date_updated: 2025-06-04T05:43:27Z
has_accepted_license: '1'
intvolume: '        60'
isi: 1
issue: '5'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 794-812.e6
pmid: 1
project:
- _id: bd73af52-d553-11ed-ba76-912049f0ac7a
  grant_number: FTI21-D-046
  name: Development of V1 interneuron diversity during swim-to-walk transition of
    Xenopus metamorphosis
- _id: ebb66355-77a9-11ec-83b8-b8ac210a4dae
  grant_number: '101041551'
  name: Development and Evolution of Tetrapod Motor Circuits
- _id: 8da85f50-16d5-11f0-9cad-eab8b0ff6c9e
  grant_number: F7814
  name: 'Stem Cell Modulation in Neural Development and Regeneration/ P14-Swim-to-limb
    transition: cell type to connection diversity'
publication: Developmental Cell
publication_identifier:
  eissn:
  - 1878-1551
  issn:
  - 1534-5807
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Adeno-associated viral tools to trace neural development and connectivity across
  amphibians
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: 60
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '15121'
abstract:
- lang: eng
  text: We present an auction algorithm using multiplicative instead of constant weight
    updates to compute a (1-E)-approximate maximum weight matching (MWM) in a bipartite
    graph with n vertices and m edges in time 0(mE-1), beating the running time of
    the fastest known approximation algorithm of Duan and Pettie [JACM ’14] that runs
    in 0(mE-1 log E-1). Our algorithm is very simple and it can be extended to give
    a dynamic data structure that maintains a (1-E)-approximate maximum weight matching
    under (1) one-sided vertex deletions (with incident edges) and (2) one-sided vertex
    insertions (with incident edges sorted by weight) to the other side. The total
    time time used is 0(mE-1), where m is the sum of the number of initially existing
    and inserted edges.
acknowledgement: The first author thanks Chandra Chekuri for useful discussions about
  this paper. This work was done in part at the University of Vienna. This project
  has received funding from the European Research Council (ERC) under the European
  Union’s Horizon 2020 research and innovation programme (Grant agreement No. 101019564
  “The Design of Modern Fully Dynamic Data Structures (MoDynStruct)” and from the
  Austrian Science Fund (FWF) project “Fast Algorithms for a Reactive Network Layer
  (ReactNet)”, P 33775-N, with additional funding from the netidee SCIENCE Stiftung,
  2020–2024.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Da Wei
  full_name: Zheng, Da Wei
  last_name: Zheng
- first_name: Monika H
  full_name: Henzinger, Monika H
  id: 540c9bbd-f2de-11ec-812d-d04a5be85630
  last_name: Henzinger
  orcid: 0000-0002-5008-6530
citation:
  ama: Zheng DW, Henzinger M. Multiplicative auction algorithm for approximate maximum
    weight bipartite matching. <i>Mathematical Programming</i>. 2025;210:881-894.
    doi:<a href="https://doi.org/10.1007/s10107-024-02066-3">10.1007/s10107-024-02066-3</a>
  apa: Zheng, D. W., &#38; Henzinger, M. (2025). Multiplicative auction algorithm
    for approximate maximum weight bipartite matching. <i>Mathematical Programming</i>.
    Springer Nature. <a href="https://doi.org/10.1007/s10107-024-02066-3">https://doi.org/10.1007/s10107-024-02066-3</a>
  chicago: Zheng, Da Wei, and Monika Henzinger. “Multiplicative Auction Algorithm
    for Approximate Maximum Weight Bipartite Matching.” <i>Mathematical Programming</i>.
    Springer Nature, 2025. <a href="https://doi.org/10.1007/s10107-024-02066-3">https://doi.org/10.1007/s10107-024-02066-3</a>.
  ieee: D. W. Zheng and M. Henzinger, “Multiplicative auction algorithm for approximate
    maximum weight bipartite matching,” <i>Mathematical Programming</i>, vol. 210.
    Springer Nature, pp. 881–894, 2025.
  ista: Zheng DW, Henzinger M. 2025. Multiplicative auction algorithm for approximate
    maximum weight bipartite matching. Mathematical Programming. 210, 881–894.
  mla: Zheng, Da Wei, and Monika Henzinger. “Multiplicative Auction Algorithm for
    Approximate Maximum Weight Bipartite Matching.” <i>Mathematical Programming</i>,
    vol. 210, Springer Nature, 2025, pp. 881–94, doi:<a href="https://doi.org/10.1007/s10107-024-02066-3">10.1007/s10107-024-02066-3</a>.
  short: D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.
corr_author: '1'
date_created: 2024-03-17T23:00:58Z
date_published: 2025-03-01T00:00:00Z
date_updated: 2025-09-09T12:39:58Z
day: '01'
department:
- _id: MoHe
doi: 10.1007/s10107-024-02066-3
ec_funded: 1
external_id:
  arxiv:
  - '2301.09217'
  isi:
  - '001176048100003'
intvolume: '       210'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2301.09217
month: '03'
oa: 1
oa_version: Preprint
page: 881-894
project:
- _id: bd9ca328-d553-11ed-ba76-dc4f890cfe62
  call_identifier: H2020
  grant_number: '101019564'
  name: The design and evaluation of modern fully dynamic data structures
- _id: bd9e3a2e-d553-11ed-ba76-8aa684ce17fe
  grant_number: P33775
  name: Fast Algorithms for a Reactive Network Layer
publication: Mathematical Programming
publication_identifier:
  eissn:
  - 1436-4646
  issn:
  - 0025-5610
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '13236'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Multiplicative auction algorithm for approximate maximum weight bipartite matching
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 210
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '15128'
abstract:
- lang: eng
  text: We prove a universal mesoscopic central limit theorem for linear eigenvalue
    statistics of a Wigner-type matrix inside the bulk of the spectrum with compactly
    supported twice continuously differentiable test functions. The main novel ingredient
    is an optimal local law for the two-point function $T(z,\zeta)$  and a general
    class of related quantities involving two resolvents at nearby spectral parameters.
- lang: fre
  text: "On établit un théorème limite central universel pour les statistiques linéaires
    mésoscopiques des valeurs propres d’une matrice de type Wigner au milieu du spectre,
    avec des fonctions de classe \r\n et à support compact. La principale nouveauté
    de cette approche est qu’elle repose sur une loi locale optimale pour la fonction
    à deux points $T(z,\\zeta)$ , ainsi que pour une classe plus générale d’observables
    impliquant deux résolvantes évaluées en des paramètres proches."
acknowledgement: "I would like to express my gratitude to László Erdős for suggesting
  the project and supervising my work. I am also thankful to Yuanyuan Xu and Oleksii
  Kolupaiev for many helpful discussions. Furthermore, I am grateful to Guillaume
  Dubach for translating the abstract into French.\r\nThe author was supported by
  the ERC Advanced Grant “RMTBeyond” No. 101020331."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Volodymyr
  full_name: Riabov, Volodymyr
  id: 1949f904-edfb-11eb-afb5-e2dfddabb93b
  last_name: Riabov
citation:
  ama: Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. <i>Annales
    de l’institut Henri Poincare (B) Probability and Statistics</i>. 2025;61(1):129-154.
    doi:<a href="https://doi.org/10.1214/23-AIHP1438">10.1214/23-AIHP1438</a>
  apa: Riabov, V. (2025). Mesoscopic eigenvalue statistics for Wigner-type matrices.
    <i>Annales de l’institut Henri Poincare (B) Probability and Statistics</i>. Institute
    of Mathematical Statistics. <a href="https://doi.org/10.1214/23-AIHP1438">https://doi.org/10.1214/23-AIHP1438</a>
  chicago: Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.”
    <i>Annales de l’institut Henri Poincare (B) Probability and Statistics</i>. Institute
    of Mathematical Statistics, 2025. <a href="https://doi.org/10.1214/23-AIHP1438">https://doi.org/10.1214/23-AIHP1438</a>.
  ieee: V. Riabov, “Mesoscopic eigenvalue statistics for Wigner-type matrices,” <i>Annales
    de l’institut Henri Poincare (B) Probability and Statistics</i>, vol. 61, no.
    1. Institute of Mathematical Statistics, pp. 129–154, 2025.
  ista: Riabov V. 2025. Mesoscopic eigenvalue statistics for Wigner-type matrices.
    Annales de l’institut Henri Poincare (B) Probability and Statistics. 61(1), 129–154.
  mla: Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.”
    <i>Annales de l’institut Henri Poincare (B) Probability and Statistics</i>, vol.
    61, no. 1, Institute of Mathematical Statistics, 2025, pp. 129–54, doi:<a href="https://doi.org/10.1214/23-AIHP1438">10.1214/23-AIHP1438</a>.
  short: V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics
    61 (2025) 129–154.
corr_author: '1'
date_created: 2024-03-20T09:41:04Z
date_published: 2025-02-01T00:00:00Z
date_updated: 2025-05-19T13:54:31Z
day: '01'
department:
- _id: GradSch
- _id: LaEr
doi: 10.1214/23-AIHP1438
ec_funded: 1
external_id:
  arxiv:
  - '2301.01712'
  isi:
  - '001427953600004'
intvolume: '        61'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2301.01712
month: '02'
oa: 1
oa_version: Preprint
page: 129-154
project:
- _id: 62796744-2b32-11ec-9570-940b20777f1d
  call_identifier: H2020
  grant_number: '101020331'
  name: Random matrices beyond Wigner-Dyson-Mehta
publication: Annales de l'institut Henri Poincare (B) Probability and Statistics
publication_identifier:
  issn:
  - 0246-0203
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mesoscopic eigenvalue statistics for Wigner-type matrices
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 61
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '10011'
abstract:
- lang: eng
  text: We propose a new weak solution concept for (two-phase) mean curvature flow
    which enjoys both (unconditional) existence and (weak-strong) uniqueness properties.
    These solutions are evolving varifolds, just as in Brakke's formulation, but are
    coupled to the phase volumes by a simple transport equation. First, we show that,
    in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461,
    (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold
    solution in our sense. Second, we prove that any calibrated flow in the sense
    of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean
    curvature flow-is unique in the class of our new varifold solutions. This is in
    sharp contrast to the case of Brakke flows, which a priori may disappear at any
    given time and are therefore fatally non-unique. Finally, we propose an extension
    of the solution concept to the multi-phase case which is at least guaranteed to
    satisfy a weak-strong uniqueness principle.
acknowledgement: This project has received funding from the European Research Council
  (ERC) under the European Union’s Horizon 2020 research and innovation programme
  (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG,
  German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813.
  The content of this paper was developed and parts of it were written during a visit
  of the first author to the Hausdorff Center of Mathematics (HCM), University of
  Bonn. The hospitality and the support of HCM are gratefully acknowledged.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Sebastian
  full_name: Hensel, Sebastian
  id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87
  last_name: Hensel
  orcid: 0000-0001-7252-8072
- first_name: Tim
  full_name: Laux, Tim
  last_name: Laux
citation:
  ama: 'Hensel S, Laux T. A new varifold solution concept for mean curvature flow:
    Convergence of  the Allen-Cahn equation and weak-strong uniqueness. <i>Journal
    of Differential Geometry</i>. 2025;130:209-268. doi:<a href="https://doi.org/10.4310/jdg/1747065796">10.4310/jdg/1747065796</a>'
  apa: 'Hensel, S., &#38; Laux, T. (2025). A new varifold solution concept for mean
    curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness.
    <i>Journal of Differential Geometry</i>. International Press. <a href="https://doi.org/10.4310/jdg/1747065796">https://doi.org/10.4310/jdg/1747065796</a>'
  chicago: 'Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for
    Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.”
    <i>Journal of Differential Geometry</i>. International Press, 2025. <a href="https://doi.org/10.4310/jdg/1747065796">https://doi.org/10.4310/jdg/1747065796</a>.'
  ieee: 'S. Hensel and T. Laux, “A new varifold solution concept for mean curvature
    flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness,” <i>Journal
    of Differential Geometry</i>, vol. 130. International Press, pp. 209–268, 2025.'
  ista: 'Hensel S, Laux T. 2025. A new varifold solution concept for mean curvature
    flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. Journal
    of Differential Geometry. 130, 209–268.'
  mla: 'Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean
    Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.”
    <i>Journal of Differential Geometry</i>, vol. 130, International Press, 2025,
    pp. 209–68, doi:<a href="https://doi.org/10.4310/jdg/1747065796">10.4310/jdg/1747065796</a>.'
  short: S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.
corr_author: '1'
date_created: 2021-09-13T12:17:10Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-05-28T09:27:05Z
day: '01'
department:
- _id: JuFi
doi: 10.4310/jdg/1747065796
ec_funded: 1
external_id:
  arxiv:
  - '2109.04233'
intvolume: '       130'
keyword:
- Mean curvature flow
- gradient flows
- varifolds
- weak solutions
- weak-strong uniqueness
- calibrated geometry
- gradient-flow calibrations
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/2109.04233
month: '05'
oa: 1
oa_version: Preprint
page: 209-268
project:
- _id: 0aa76401-070f-11eb-9043-b5bb049fa26d
  call_identifier: H2020
  grant_number: '948819'
  name: Bridging Scales in Random Materials
publication: Journal of Differential Geometry
publication_identifier:
  eissn:
  - 1945-743X
  issn:
  - 0022-040X
publication_status: published
publisher: International Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'A new varifold solution concept for mean curvature flow: Convergence of  the
  Allen-Cahn equation and weak-strong uniqueness'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 130
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '10045'
abstract:
- lang: eng
  text: "Given a fixed finite metric space (V,μ), the {\\em minimum 0-extension problem},
    denoted as 0-Ext[μ], is equivalent to the following optimization problem: minimize
    function of the form minx∈Vn∑ifi(xi)+∑ijcijμ(xi,xj) where cij,cvi are given nonnegative
    costs and fi:V→R are functions given by fi(xi)=∑v∈Vcviμ(xi,v). The computational
    complexity of 0-Ext[μ] has been recently established by Karzanov and by Hirai:
    if metric μ is {\\em orientable modular} then 0-Ext[μ] can be solved in polynomial
    time, otherwise 0-Ext[μ] is NP-hard. To prove the tractability part, Hirai developed
    a theory of discrete convex functions on orientable modular graphs generalizing
    several known classes of functions in discrete convex analysis, such as L♮-convex
    functions. We consider a more general version of the problem in which unary functions
    fi(xi) can additionally have terms of the form cuv;iμ(xi,{u,v}) for {u,v}∈F, where
    set F⊆(V2) is fixed. We extend the complexity classification above by providing
    an explicit condition on (μ,F) for the problem to be tractable. In order to prove
    the tractability part, we generalize Hirai's theory and define a larger class
    of discrete convex functions. It covers, in particular, another well-known class
    of functions, namely submodular functions on an integer lattice. Finally, we improve
    the complexity of Hirai's algorithm for solving 0-Ext on orientable modular graphs.\r\n"
acknowledgement: We thank the anonymous reviewers for their careful reading of our
  manuscript and their many insightful comments and suggestions. Open access funding
  provided by Institute of Science and Technology (IST Austria).
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Martin
  full_name: Dvorak, Martin
  id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425
  last_name: Dvorak
  orcid: 0000-0001-5293-214X
- first_name: Vladimir
  full_name: Kolmogorov, Vladimir
  id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
  last_name: Kolmogorov
citation:
  ama: Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete
    convexity. <i>Mathematical Programming</i>. 2025;209:279-322. doi:<a href="https://doi.org/10.1007/s10107-024-02064-5">10.1007/s10107-024-02064-5</a>
  apa: Dvorak, M., &#38; Kolmogorov, V. (2025). Generalized minimum 0-extension problem
    and discrete convexity. <i>Mathematical Programming</i>. Springer Nature. <a href="https://doi.org/10.1007/s10107-024-02064-5">https://doi.org/10.1007/s10107-024-02064-5</a>
  chicago: Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension
    Problem and Discrete Convexity.” <i>Mathematical Programming</i>. Springer Nature,
    2025. <a href="https://doi.org/10.1007/s10107-024-02064-5">https://doi.org/10.1007/s10107-024-02064-5</a>.
  ieee: M. Dvorak and V. Kolmogorov, “Generalized minimum 0-extension problem and
    discrete convexity,” <i>Mathematical Programming</i>, vol. 209. Springer Nature,
    pp. 279–322, 2025.
  ista: Dvorak M, Kolmogorov V. 2025. Generalized minimum 0-extension problem and
    discrete convexity. Mathematical Programming. 209, 279–322.
  mla: Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem
    and Discrete Convexity.” <i>Mathematical Programming</i>, vol. 209, Springer Nature,
    2025, pp. 279–322, doi:<a href="https://doi.org/10.1007/s10107-024-02064-5">10.1007/s10107-024-02064-5</a>.
  short: M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
corr_author: '1'
date_created: 2021-09-27T10:48:23Z
date_published: 2025-01-01T00:00:00Z
date_updated: 2025-05-19T13:52:10Z
day: '01'
ddc:
- '004'
department:
- _id: GradSch
- _id: VlKo
doi: 10.1007/s10107-024-02064-5
external_id:
  arxiv:
  - '2109.10203'
  isi:
  - '001176563300001'
file:
- access_level: open_access
  checksum: 25d9bd490719b45eca84f4d93a06c69f
  content_type: application/pdf
  creator: dernst
  date_created: 2025-04-16T09:36:08Z
  date_updated: 2025-04-16T09:36:08Z
  file_id: '19578'
  file_name: 2025_MathProgramming_Dvorak.pdf
  file_size: 839510
  relation: main_file
  success: 1
file_date_updated: 2025-04-16T09:36:08Z
has_accepted_license: '1'
intvolume: '       209'
isi: 1
keyword:
- minimum 0-extension problem
- metric labeling problem
- discrete metric spaces
- metric extensions
- computational complexity
- valued constraint satisfaction problems
- discrete convex analysis
- L-convex functions
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 279-322
publication: Mathematical Programming
publication_identifier:
  eissn:
  - 1436-4646
  issn:
  - 0025-5610
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Generalized minimum 0-extension problem and discrete convexity
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: 209
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '20820'
abstract:
- lang: eng
  text: 'The high computational costs of large language models (LLMs) have led to
    a flurry of research on LLM compression, via methods such as quantization, sparsification,
    or structured pruning. A new frontier in this area is given by dynamic, non-uniform
    compression methods, which adjust the compression levels (e.g., sparsity) per-block
    or even per-layer in order to minimize accuracy loss, while guaranteeing a global
    compression threshold. Yet, current methods rely on estimating the "importance"
    of a given layer, implicitly assuming that layers contribute independently to
    the overall compression error. We begin from the motivating observation that this
    independence assumption does not generally hold for LLM compression: pruning a
    model further may even significantly recover performance. To address this, we
    propose EvoPress, a novel evolutionary framework for dynamic LLM compression.
    By formulating dynamic compression as a general optimization problem, EvoPress
    identifies optimal compression profiles in a highly efficient manner, and generalizes
    across diverse models and compression techniques. Via EvoPress, we achieve state-of-the-art
    performance for dynamic compression of Llama, Mistral, and Phi models, setting
    new benchmarks for structural pruning (block/layer dropping), unstructured sparsity,
    and quantization with dynamic bitwidths.'
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Oliver
  full_name: Sieberling, Oliver
  last_name: Sieberling
- first_name: Denis
  full_name: Kuznedelev, Denis
  last_name: Kuznedelev
- first_name: Eldar
  full_name: Kurtic, Eldar
  id: 47beb3a5-07b5-11eb-9b87-b108ec578218
  last_name: Kurtic
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
citation:
  ama: 'Sieberling O, Kuznedelev D, Kurtic E, Alistarh D-A. EvoPress: Accurate dynamic
    model compression via evolutionary search. In: <i>42nd International Conference
    on Machine Learning</i>. Vol 267. ML Research Press; 2025:55556-55590.'
  apa: 'Sieberling, O., Kuznedelev, D., Kurtic, E., &#38; Alistarh, D.-A. (2025).
    EvoPress: Accurate dynamic model compression via evolutionary search. In <i>42nd
    International Conference on Machine Learning</i> (Vol. 267, pp. 55556–55590).
    Vancouver, Canada: ML Research Press.'
  chicago: 'Sieberling, Oliver, Denis Kuznedelev, Eldar Kurtic, and Dan-Adrian Alistarh.
    “EvoPress: Accurate Dynamic Model Compression via Evolutionary Search.” In <i>42nd
    International Conference on Machine Learning</i>, 267:55556–90. ML Research Press,
    2025.'
  ieee: 'O. Sieberling, D. Kuznedelev, E. Kurtic, and D.-A. Alistarh, “EvoPress: Accurate
    dynamic model compression via evolutionary search,” in <i>42nd International Conference
    on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 55556–55590.'
  ista: 'Sieberling O, Kuznedelev D, Kurtic E, Alistarh D-A. 2025. EvoPress: Accurate
    dynamic model compression via evolutionary search. 42nd International Conference
    on Machine Learning. ICML: International Conference on Machine Learning, PMLR,
    vol. 267, 55556–55590.'
  mla: 'Sieberling, Oliver, et al. “EvoPress: Accurate Dynamic Model Compression via
    Evolutionary Search.” <i>42nd International Conference on Machine Learning</i>,
    vol. 267, ML Research Press, 2025, pp. 55556–90.'
  short: O. Sieberling, D. Kuznedelev, E. Kurtic, D.-A. Alistarh, in:, 42nd International
    Conference on Machine Learning, ML Research Press, 2025, pp. 55556–55590.
conference:
  end_date: 2025-07-19
  location: Vancouver, Canada
  name: 'ICML: International Conference on Machine Learning'
  start_date: 2025-07-13
corr_author: '1'
date_created: 2025-12-14T23:02:05Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-12-16T12:34:32Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
external_id:
  arxiv:
  - '2410.14649'
file:
- access_level: open_access
  checksum: 1d744fbaeb199b08e8b6f48bc0dd047e
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-16T12:32:40Z
  date_updated: 2025-12-16T12:32:40Z
  file_id: '20828'
  file_name: 2025_ICML_Sieberling.pdf
  file_size: 908379
  relation: main_file
  success: 1
file_date_updated: 2025-12-16T12:32:40Z
has_accepted_license: '1'
intvolume: '       267'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 55556-55590
publication: 42nd International Conference on Machine Learning
publication_identifier:
  eissn:
  - 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'EvoPress: Accurate dynamic model compression via evolutionary search'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 267
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '20821'
abstract:
- lang: eng
  text: Modern deep neural networks exhibit heterogeneity across numerous layers of
    various types such as residuals, multi-head attention, etc., due to varying structures
    (dimensions, activation functions, etc.), distinct representation characteristics,
    which impact predictions. We develop a general layer-wise quantization framework
    with tight variance and code-length bounds, adapting to the heterogeneities over
    the course of training. We then apply a new layer-wise quantization technique
    within distributed variational inequalities (VIs), proposing a novel Quantized
    Optimistic Dual Averaging (QODA) algorithm with adaptive learning rates, which
    achieves competitive convergence rates for monotone VIs. We empirically show that
    QODA achieves up to a 150% speedup over the baselines in end-to-end training time
    for training Wasserstein GAN on 12+GPUs.
acknowledgement: "This work was supported by Hasler Foundation Program: Hasler Responsible
  AI (project number 21043). The research was also sponsored by the Army Research
  Office and was accomplished under Grant Number W911NF-24-1-0048. This work was further
  funded by the Swiss National Science Foundation (SNSF) under grant number 200021_205011.
  We also acknowledge project A11 of the Swiss National Supercomputing Centre (CSCS)
  for providing computing resources. Dan Alistarh and Ilia Markov were supported in
  part through the ERC Proofof-Concept grant FastML (Grant Agreement 101158077). Ali
  Ramezani-Kebrya was supported by the Research Council of Norway through FRIPRO Grant
  under project number 356103, its Centres of Excellence scheme, Integreat - Norwegian
  Centre for knowledge-driven machine learning under\r\nproject number 332645 - and
  its Centre for Research-based Innovation funding scheme (Visual Intelligence under
  grant no. 309439)."
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Anh Duc
  full_name: Nguyen, Anh Duc
  last_name: Nguyen
- first_name: Ilia
  full_name: Markov, Ilia
  id: D0CF4148-C985-11E9-8066-0BDEE5697425
  last_name: Markov
- first_name: Frank Zhengqing
  full_name: Wu, Frank Zhengqing
  last_name: Wu
- first_name: Ali
  full_name: Ramezani-Kebrya, Ali
  last_name: Ramezani-Kebrya
- first_name: Kimon
  full_name: Antonakopoulos, Kimon
  last_name: Antonakopoulos
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Volkan
  full_name: Cevher, Volkan
  last_name: Cevher
citation:
  ama: 'Nguyen AD, Markov I, Wu FZ, et al. Layer-wise quantization for quantized optimistic
    dual averaging. In: <i>42nd International Conference on Machine Learning</i>.
    Vol 267. ML Research Press; 2025:46026-46072.'
  apa: 'Nguyen, A. D., Markov, I., Wu, F. Z., Ramezani-Kebrya, A., Antonakopoulos,
    K., Alistarh, D.-A., &#38; Cevher, V. (2025). Layer-wise quantization for quantized
    optimistic dual averaging. In <i>42nd International Conference on Machine Learning</i>
    (Vol. 267, pp. 46026–46072). Vancouver, Canada: ML Research Press.'
  chicago: Nguyen, Anh Duc, Ilia Markov, Frank Zhengqing Wu, Ali Ramezani-Kebrya,
    Kimon Antonakopoulos, Dan-Adrian Alistarh, and Volkan Cevher. “Layer-Wise Quantization
    for Quantized Optimistic Dual Averaging.” In <i>42nd International Conference
    on Machine Learning</i>, 267:46026–72. ML Research Press, 2025.
  ieee: A. D. Nguyen <i>et al.</i>, “Layer-wise quantization for quantized optimistic
    dual averaging,” in <i>42nd International Conference on Machine Learning</i>,
    Vancouver, Canada, 2025, vol. 267, pp. 46026–46072.
  ista: 'Nguyen AD, Markov I, Wu FZ, Ramezani-Kebrya A, Antonakopoulos K, Alistarh
    D-A, Cevher V. 2025. Layer-wise quantization for quantized optimistic dual averaging.
    42nd International Conference on Machine Learning. ICML: International Conference
    on Machine Learning, PMLR, vol. 267, 46026–46072.'
  mla: Nguyen, Anh Duc, et al. “Layer-Wise Quantization for Quantized Optimistic Dual
    Averaging.” <i>42nd International Conference on Machine Learning</i>, vol. 267,
    ML Research Press, 2025, pp. 46026–72.
  short: A.D. Nguyen, I. Markov, F.Z. Wu, A. Ramezani-Kebrya, K. Antonakopoulos, D.-A.
    Alistarh, V. Cevher, in:, 42nd International Conference on Machine Learning, ML
    Research Press, 2025, pp. 46026–46072.
conference:
  end_date: 2025-07-19
  location: Vancouver, Canada
  name: 'ICML: International Conference on Machine Learning'
  start_date: 2025-07-13
date_created: 2025-12-14T23:02:06Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-12-16T12:46:54Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
external_id:
  arxiv:
  - '2505.14371'
file:
- access_level: open_access
  checksum: a7edf0e4304171a3e035842b3aab1704
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-16T12:45:41Z
  date_updated: 2025-12-16T12:45:41Z
  file_id: '20830'
  file_name: 2025_ICML_Nguyen.pdf
  file_size: 756213
  relation: main_file
  success: 1
file_date_updated: 2025-12-16T12:45:41Z
has_accepted_license: '1'
intvolume: '       267'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 46026-46072
project:
- _id: 8e35c14b-16d5-11f0-9cad-a3fc35339161
  grant_number: '101158077'
  name: 'FastML: Efficient and Cost-Effective Distributed Machine Learning'
publication: 42nd International Conference on Machine Learning
publication_identifier:
  eissn:
  - 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Layer-wise quantization for quantized optimistic dual averaging
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 267
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '20839'
abstract:
- lang: eng
  text: For every couple of Hausdorff functions ψ and φ verifying some mild assumptions,
    there exists a compact subset K of the Baire space such that the φ-Hausdorff measure
    and the ψ-packing measure on K are both finite and positive. Such examples are
    then embedded in any infinite dimensional Banach space to answer positively a
    question of Fan on the existence of metric spaces with arbitrary scales.
article_processing_charge: Yes
article_type: original
author:
- first_name: Mathieu
  full_name: Helfter, Mathieu
  id: 7d296fbe-e2c6-11ee-84d3-d5c2945f9a57
  last_name: Helfter
citation:
  ama: Helfter M. Sets with arbitrary Hausdorff and packing scales in infinite dimensional
    Banach spaces. <i>Journal of Fractal Geometry</i>. 2025. doi:<a href="https://doi.org/10.4171/jfg/177">10.4171/jfg/177</a>
  apa: Helfter, M. (2025). Sets with arbitrary Hausdorff and packing scales in infinite
    dimensional Banach spaces. <i>Journal of Fractal Geometry</i>. EMS Press. <a href="https://doi.org/10.4171/jfg/177">https://doi.org/10.4171/jfg/177</a>
  chicago: Helfter, Mathieu. “Sets with Arbitrary Hausdorff and Packing Scales in
    Infinite Dimensional Banach Spaces.” <i>Journal of Fractal Geometry</i>. EMS Press,
    2025. <a href="https://doi.org/10.4171/jfg/177">https://doi.org/10.4171/jfg/177</a>.
  ieee: M. Helfter, “Sets with arbitrary Hausdorff and packing scales in infinite
    dimensional Banach spaces,” <i>Journal of Fractal Geometry</i>. EMS Press, 2025.
  ista: Helfter M. 2025. Sets with arbitrary Hausdorff and packing scales in infinite
    dimensional Banach spaces. Journal of Fractal Geometry.
  mla: Helfter, Mathieu. “Sets with Arbitrary Hausdorff and Packing Scales in Infinite
    Dimensional Banach Spaces.” <i>Journal of Fractal Geometry</i>, EMS Press, 2025,
    doi:<a href="https://doi.org/10.4171/jfg/177">10.4171/jfg/177</a>.
  short: M. Helfter, Journal of Fractal Geometry (2025).
corr_author: '1'
date_created: 2025-12-19T10:15:37Z
date_published: 2025-11-07T00:00:00Z
date_updated: 2026-02-16T11:44:20Z
day: '07'
department:
- _id: VaKa
doi: 10.4171/jfg/177
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.4171/jfg/177
month: '11'
oa: 1
oa_version: Published Version
publication: Journal of Fractal Geometry
publication_identifier:
  eissn:
  - 2308-1317
  issn:
  - 2308-1309
publication_status: epub_ahead
publisher: EMS Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach
  spaces
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20844'
abstract:
- lang: eng
  text: "We introduce and construct a new proof system called Non-interactive Arguments
    of Knowledge or Space (NArKoS), where a space-bounded prover can convince a verifier
    they know a secret, while having access to sufficient space allows one to forge
    indistinguishable proofs without the secret.\r\nAn application of NArKoS are space-deniable
    proofs, which are proofs of knowledge (say for authentication in access control)
    that are sound when executed by a lightweight device like a smart-card or an RFID
    chip that cannot have much storage, but are deniable (in the strong sense of online
    deniability) as the verifier, like a card reader, can efficiently forge such proofs.\r\nWe
    construct NArKoS in the random oracle model using an OR-proof combining a sigma
    protocol (for the proof of knowledge of the secret) with a new proof system called
    simulatable Proof of Transient Space (simPoTS). We give two different constructions
    of simPoTS, one based on labelling graphs with high pebbling complexity, a technique
    used in the construction of memory-hard functions and proofs of space, and a more
    practical construction based on the verifiable space-hard functions from TCC’24
    where a prover must compute a root of a sparse polynomial. In both cases, the
    main challenge is making the proofs efficiently simulatable."
acknowledgement: "Jesko Dujmovic: Funded by the European Union (ERC, LACONIC, 101041207).
  Views and opinions expressed are however those of the author(s) only and do not
  necessarily reflect those of the European Union or the European Research Council.
  Neither the European Union nor the granting authority can be held responsible for
  them.\r\nChristoph U. Günther and Krzysztof Pietrzak: This research was funded in
  whole or in part by the Austrian Science Fund (FWF) 10.55776/F85. For open access
  purposes, the author has applied a CC BY public copyright license to any author-accepted
  manuscript version arising from this submission."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Jesko
  full_name: Dujmovic, Jesko
  last_name: Dujmovic
- first_name: Christoph Ullrich
  full_name: Günther, Christoph Ullrich
  id: ec98511c-eb8e-11eb-b029-edd25d7271a1
  last_name: Günther
- first_name: Krzysztof Z
  full_name: Pietrzak, Krzysztof Z
  id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
  last_name: Pietrzak
  orcid: 0000-0002-9139-1654
citation:
  ama: 'Dujmovic J, Günther CU, Pietrzak KZ. Space-deniable proofs. In: <i>23rd International
    Conference on Theory of Cryptography</i>. Vol 16271. Springer Nature; 2025:171-202.
    doi:<a href="https://doi.org/10.1007/978-3-032-12290-2_6">10.1007/978-3-032-12290-2_6</a>'
  apa: 'Dujmovic, J., Günther, C. U., &#38; Pietrzak, K. Z. (2025). Space-deniable
    proofs. In <i>23rd International Conference on Theory of Cryptography</i> (Vol.
    16271, pp. 171–202). Aarhus, Denmark: Springer Nature. <a href="https://doi.org/10.1007/978-3-032-12290-2_6">https://doi.org/10.1007/978-3-032-12290-2_6</a>'
  chicago: Dujmovic, Jesko, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Space-Deniable
    Proofs.” In <i>23rd International Conference on Theory of Cryptography</i>, 16271:171–202.
    Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-032-12290-2_6">https://doi.org/10.1007/978-3-032-12290-2_6</a>.
  ieee: J. Dujmovic, C. U. Günther, and K. Z. Pietrzak, “Space-deniable proofs,” in
    <i>23rd International Conference on Theory of Cryptography</i>, Aarhus, Denmark,
    2025, vol. 16271, pp. 171–202.
  ista: 'Dujmovic J, Günther CU, Pietrzak KZ. 2025. Space-deniable proofs. 23rd International
    Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol.
    16271, 171–202.'
  mla: Dujmovic, Jesko, et al. “Space-Deniable Proofs.” <i>23rd International Conference
    on Theory of Cryptography</i>, vol. 16271, Springer Nature, 2025, pp. 171–202,
    doi:<a href="https://doi.org/10.1007/978-3-032-12290-2_6">10.1007/978-3-032-12290-2_6</a>.
  short: J. Dujmovic, C.U. Günther, K.Z. Pietrzak, in:, 23rd International Conference
    on Theory of Cryptography, Springer Nature, 2025, pp. 171–202.
conference:
  end_date: 2025-12-05
  location: Aarhus, Denmark
  name: 'TCC: Theory of Cryptography'
  start_date: 2025-12-01
corr_author: '1'
date_created: 2025-12-21T23:01:33Z
date_published: 2025-12-05T00:00:00Z
date_updated: 2025-12-29T11:44:16Z
day: '05'
department:
- _id: KrPi
doi: 10.1007/978-3-032-12290-2_6
intvolume: '     16271'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://eprint.iacr.org/2025/1723
month: '12'
oa: 1
oa_version: Preprint
page: 171-202
project:
- _id: 34a34d57-11ca-11ed-8bc3-a2688a8724e1
  grant_number: F8509
  name: Security and Privacy by Design for Complex Systems
publication: 23rd International Conference on Theory of Cryptography
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783032122896'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Space-deniable proofs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 16271
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20845'
abstract:
- lang: eng
  text: "We develop new attacks against the Evasive LWE family of assumptions, in
    both the public and private-coin regime. To the best of our knowledge, ours are
    the first attacks against Evasive LWE in the public-coin regime, for any instantiation
    from the family. Our attacks are summarized below.\r\n\r\nPublic-Coin Attacks.\r\n1.The
    recent work by Hseih, Lin and Luo [17] constructed the first Attribute Based Encryption
    (ABE) for unbounded depth circuits by relying on the “circular” evasive LWE assumption.
    This assumption has been popularly considered as a safe, public-coin instance
    of Evasive LWE in contrast to its “private-coin” cousins (for instance, see [10,
    11]).\r\nWe provide the first attack against this assumption, challenging the
    widely held belief that this is a public-coin assumption.\r\n2. We demonstrate
    a counter-example against vanilla public-coin evasive LWE by Wee [26] in an unnatural
    parameter regime. Our attack crucially relies on the error in the pre-condition
    being larger than the error in the post-condition, necessitating a refinement
    of the assumption.\r\n\r\nPrivate-Coin Attacks.\r\n1. The recent work by Agrawal,
    Kumari and Yamada [2] constructed the first functional encryption scheme for pseudorandom
    functionalities (PRFE) and extended this to obfuscation for pseudorandom functionalities
    (PRIO) [4] by relying on private-coin evasive LWE. We provide a new attack against
    the assumption stated in the first posting of their work (subsequently refined
    to avoid these attacks).\r\n2. The recent work by Branco et al. [8] (concurrently
    to [4]) provides a construction of obfuscation for pseudorandom functionalities
    by relying on private-coin evasive LWE. We provide a new attack against their
    stated assumption.\r\n3. Branco et al. [8] showed that there exist contrived,
    “self-referential” classes of pseudorandom functionalities for which pseudorandom
    obfuscation cannot exist. We extend their techniques to develop an analogous result
    for pseudorandom functional encryption.\r\n\r\nWhile Evasive LWE was developed
    to specifically avoid “zeroizing attacks”, our work shows that in certain settings,
    such attacks can still apply."
acknowledgement: "We thank Rachel Lin for expressing concern about the applicability
  of “HJL-style” attacks [15] on the construction in [2] during a talk by the first
  author about [2]. This was the starting point of the investigation that led us to
  develop the attack in [5, Sec 4.1]. The first author also thanks Hoeteck Wee for
  sharing his rationale for introducing evasive LWE.\r\nThe first author is supported
  by the CyStar center of excellence, the VHAR faculty chair, and the C3iHub fellowship.
  The third author thanks Cystar, IIT Madras, for supporting a visit to IIT Madras
  during which the collaboration was initiated. The 4th author is partly supported
  by JST CREST Grant Number JPMJCR22M1."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Shweta
  full_name: Agrawal, Shweta
  last_name: Agrawal
- first_name: Anuja
  full_name: Modi, Anuja
  last_name: Modi
- first_name: Anshu
  full_name: Yadav, Anshu
  id: dc8f1524-403e-11ee-bf07-9649ad996e21
  last_name: Yadav
- first_name: Shota
  full_name: Yamada, Shota
  last_name: Yamada
citation:
  ama: 'Agrawal S, Modi A, Yadav A, Yamada S. Zeroizing attacks against evasive and circular
    evasive LWE. In: <i>23rd International Conference on Theory of Cryptography</i>.
    Vol 16269. Springer Nature; 2025:259-290. doi:<a href="https://doi.org/10.1007/978-3-032-12293-3_9">10.1007/978-3-032-12293-3_9</a>'
  apa: 'Agrawal, S., Modi, A., Yadav, A., &#38; Yamada, S. (2025). Zeroizing attacks
    against evasive and circular evasive LWE. In <i>23rd International Conference
    on Theory of Cryptography</i> (Vol. 16269, pp. 259–290). Aarhus, Denmark: Springer
    Nature. <a href="https://doi.org/10.1007/978-3-032-12293-3_9">https://doi.org/10.1007/978-3-032-12293-3_9</a>'
  chicago: Agrawal, Shweta, Anuja Modi, Anshu Yadav, and Shota Yamada. “Zeroizing
    Attacks against Evasive and Circular Evasive LWE.” In <i>23rd International Conference
    on Theory of Cryptography</i>, 16269:259–90. Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-032-12293-3_9">https://doi.org/10.1007/978-3-032-12293-3_9</a>.
  ieee: S. Agrawal, A. Modi, A. Yadav, and S. Yamada, “Zeroizing attacks against evasive
    and circular evasive LWE,” in <i>23rd International Conference on Theory of Cryptography</i>,
    Aarhus, Denmark, 2025, vol. 16269, pp. 259–290.
  ista: 'Agrawal S, Modi A, Yadav A, Yamada S. 2025. Zeroizing attacks against evasive
    and circular evasive LWE. 23rd International Conference on Theory of Cryptography.
    TCC: Theory of Cryptography, LNCS, vol. 16269, 259–290.'
  mla: Agrawal, Shweta, et al. “Zeroizing Attacks against Evasive and Circular Evasive
    LWE.” <i>23rd International Conference on Theory of Cryptography</i>, vol. 16269,
    Springer Nature, 2025, pp. 259–90, doi:<a href="https://doi.org/10.1007/978-3-032-12293-3_9">10.1007/978-3-032-12293-3_9</a>.
  short: S. Agrawal, A. Modi, A. Yadav, S. Yamada, in:, 23rd International Conference
    on Theory of Cryptography, Springer Nature, 2025, pp. 259–290.
conference:
  end_date: 2025-12-05
  location: Aarhus, Denmark
  name: 'TCC: Theory of Cryptography'
  start_date: 2025-12-01
date_created: 2025-12-21T23:01:33Z
date_published: 2025-12-05T00:00:00Z
date_updated: 2025-12-29T11:51:13Z
day: '05'
department:
- _id: KrPi
doi: 10.1007/978-3-032-12293-3_9
intvolume: '     16269'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://eprint.iacr.org/2025/375
month: '12'
oa: 1
oa_version: Preprint
page: 259-290
publication: 23rd International Conference on Theory of Cryptography
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783032122926'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Zeroizing attacks against evasive and circular evasive LWE
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 16269
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20846'
abstract:
- lang: eng
  text: "CVRFs are PRFs that unify the properties of verifiable and constrained PRFs.
    Since they were introduced concurrently by Fuchsbauer and Chandran-Raghuraman-Vinayagamurthy
    in 2014, it has been an open problem to construct CVRFs without using heavy machinery
    such as multilinear maps, obfuscation or functional encryption.\r\nWe solve this
    problem by constructing a prefix-constrained verifiable PRF that does not rely
    on the aforementioned assumptions. Essentially, our construction is a verifiable
    version of the Goldreich-Goldwasser-Micali PRF. To achieve verifiability we leverage
    degree-2 algebraic PRGs and bilinear groups. In short, proofs consist of intermediate
    values of the Goldreich-Goldwasser-Micali PRF raised to the exponents of group
    elements. These outputs can be verified using pairings since the underlying PRG
    is of degree 2.\r\nWe prove the selective security of our construction under the
    Decisional Square Diffie-Hellman (DSDH) assumption and a new assumption, which
    we dub recursive Decisional Diffie-Hellman (recursive DDH).\r\nWe prove the soundness
    of recursive DDH in the generic group model assuming the hardness of the Multivariate
    Quadratic (MQ) problem and a new variant thereof, which we call MQ+.\r\nLast,
    in terms of applications, we observe that our CVRF is also an exponent (C)VRF
    in the plain model. Exponent VRFs were recently introduced by Boneh et al. (Eurocrypt’25)
    with various applications to threshold cryptography in mind. In addition to that,
    we give further applications for prefix-CVRFs in the blockchain setting, namely,
    stake-pooling and compressible randomness beacons."
acknowledgement: "We thank Jonas Steinbach and Gertjan De Mulder for helpful discussions
  on BIP 32, Dennis Hofheinz and Julia Kastner for helpful discussions on early prototypes
  of our CVRF, and Klaus Kraßnitzer for running pairing benchmarks on his MacBook
  Pro.\r\nChristoph U. Günther: This research was funded in whole or in part by the
  Austrian Science Fund (FWF) 10.55776/F85. For open access purposes, the author has
  applied a CC BY public copyright license to any author-accepted manuscript version
  arising from this submission."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Nicholas
  full_name: Brandt, Nicholas
  last_name: Brandt
- first_name: Miguel
  full_name: Cueto Noval, Miguel
  id: ffc563a3-f6e0-11ea-865d-e3cce03d17cc
  last_name: Cueto Noval
  orcid: 0000-0002-2505-4246
- first_name: Christoph Ullrich
  full_name: Günther, Christoph Ullrich
  id: ec98511c-eb8e-11eb-b029-edd25d7271a1
  last_name: Günther
- first_name: Akin
  full_name: Ünal, Akin
  id: f6b56fb6-dc63-11ee-9dbf-f6780863a85a
  last_name: Ünal
  orcid: 0000-0002-8929-0221
- first_name: Stella
  full_name: Wohnig, Stella
  last_name: Wohnig
citation:
  ama: 'Brandt N, Cueto Noval M, Günther CU, Ünal A, Wohnig S. Constrained verifiable
    random functions without obfuscation and friends. In: <i>23rd International Conference
    on Theory of Cryptography</i>. Vol 16271. Springer Nature; 2025:478-511. doi:<a
    href="https://doi.org/10.1007/978-3-032-12290-2_16">10.1007/978-3-032-12290-2_16</a>'
  apa: 'Brandt, N., Cueto Noval, M., Günther, C. U., Ünal, A., &#38; Wohnig, S. (2025).
    Constrained verifiable random functions without obfuscation and friends. In <i>23rd
    International Conference on Theory of Cryptography</i> (Vol. 16271, pp. 478–511).
    Aarhus, Denmark: Springer Nature. <a href="https://doi.org/10.1007/978-3-032-12290-2_16">https://doi.org/10.1007/978-3-032-12290-2_16</a>'
  chicago: Brandt, Nicholas, Miguel Cueto Noval, Christoph Ullrich Günther, Akin Ünal,
    and Stella Wohnig. “Constrained Verifiable Random Functions without Obfuscation
    and Friends.” In <i>23rd International Conference on Theory of Cryptography</i>,
    16271:478–511. Springer Nature, 2025. <a href="https://doi.org/10.1007/978-3-032-12290-2_16">https://doi.org/10.1007/978-3-032-12290-2_16</a>.
  ieee: N. Brandt, M. Cueto Noval, C. U. Günther, A. Ünal, and S. Wohnig, “Constrained
    verifiable random functions without obfuscation and friends,” in <i>23rd International
    Conference on Theory of Cryptography</i>, Aarhus, Denmark, 2025, vol. 16271, pp.
    478–511.
  ista: 'Brandt N, Cueto Noval M, Günther CU, Ünal A, Wohnig S. 2025. Constrained
    verifiable random functions without obfuscation and friends. 23rd International
    Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol.
    16271, 478–511.'
  mla: Brandt, Nicholas, et al. “Constrained Verifiable Random Functions without Obfuscation
    and Friends.” <i>23rd International Conference on Theory of Cryptography</i>,
    vol. 16271, Springer Nature, 2025, pp. 478–511, doi:<a href="https://doi.org/10.1007/978-3-032-12290-2_16">10.1007/978-3-032-12290-2_16</a>.
  short: N. Brandt, M. Cueto Noval, C.U. Günther, A. Ünal, S. Wohnig, in:, 23rd International
    Conference on Theory of Cryptography, Springer Nature, 2025, pp. 478–511.
conference:
  end_date: 2025-12-05
  location: Aarhus, Denmark
  name: 'TCC: Theory of Cryptography'
  start_date: 2025-12-01
corr_author: '1'
date_created: 2025-12-21T23:01:34Z
date_published: 2025-12-05T00:00:00Z
date_updated: 2025-12-29T11:11:29Z
day: '05'
department:
- _id: KrPi
doi: 10.1007/978-3-032-12290-2_16
intvolume: '     16271'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://eprint.iacr.org/2025/1045
month: '12'
oa: 1
oa_version: Preprint
page: 478-511
project:
- _id: 34a34d57-11ca-11ed-8bc3-a2688a8724e1
  grant_number: F8509
  name: Security and Privacy by Design for Complex Systems
publication: 23rd International Conference on Theory of Cryptography
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783032122896'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Constrained verifiable random functions without obfuscation and friends
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 16271
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20847'
abstract:
- lang: eng
  text: "We report on an experimental active matter system with motion restricted
    to four cardinal directions. Our particles are magnetite-doped colloidal spheres
    driven by the Quincke electrorotational instability. The absence of a magnetic
    field (|\U0001D469|=0) leads to circular trajectories interspersed with short
    spontaneous runs. Intermediate fields (|\U0001D469|≲20mT) linearize the motion
    along the axis perpendicular to \U0001D469. At high magnetic fields, we observe
    the surprising emergence of a second, distinct linearization along the axis parallel
    to \U0001D469. With numerical simulations, we show that this behavior can be explained
    by anisotropic magnetic susceptibility."
acknowledged_ssus:
- _id: M-Shop
- _id: NanoFab
- _id: ScienComp
- _id: LifeSc
acknowledgement: "This research was funded in whole or in part by the Austrian Science
  Fund (FWF) [Grant DOI: 10.55776/ESP298]. This project has received funding from
  the European Research Council (ERC) under the European Union’s Horizon 2020 research
  and innovation programme (Grant\r\nAgreement No. 949120). This research was supported
  by the Scientific Service Units of The Institute of Science and Technology Austria
  (ISTA) through resources provided by the Miba Machine Shop, Nanofabrication Facility,
  Scientific Computing Facility, and Lab Support Facility. We wish to acknowledge
  the crucial contributions of Alexandre Morin in getting the project off the ground,
  and Jack Merrin for creating the SU-8 deposition protocol used in the construction
  of our\r\ncells. We also wish to thank Kimberley Modic and Hamza Nasir for their
  work on single-particle characterization. "
article_number: '065418'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Eavan
  full_name: Fitzgerald, Eavan
  id: 2df8ab8f-080d-11ed-979a-bfe651ca3afa
  last_name: Fitzgerald
- first_name: Cécile
  full_name: Clavaud, Cécile
  id: 5f654c5d-04a1-11eb-ab36-ba9ffec58bd8
  last_name: Clavaud
  orcid: 0000-0002-1843-3803
- first_name: Debasish
  full_name: Das, Debasish
  last_name: Das
- first_name: Isaac C
  full_name: Lenton, Isaac C
  id: a550210f-223c-11ec-8182-e2d45e817efb
  last_name: Lenton
  orcid: 0000-0002-5010-6984
- first_name: Scott R
  full_name: Waitukaitis, Scott R
  id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
  last_name: Waitukaitis
  orcid: 0000-0002-2299-3176
citation:
  ama: 'Fitzgerald E, Clavaud C, Das D, Lenton IC, Waitukaitis SR. Rolling at right
    angles: Magnetic anisotropy enables dual-anisotropic active matter. <i>Physical
    Review E</i>. 2025;112(6). doi:<a href="https://doi.org/10.1103/1ss8-31rb">10.1103/1ss8-31rb</a>'
  apa: 'Fitzgerald, E., Clavaud, C., Das, D., Lenton, I. C., &#38; Waitukaitis, S.
    R. (2025). Rolling at right angles: Magnetic anisotropy enables dual-anisotropic
    active matter. <i>Physical Review E</i>. American Physical Society. <a href="https://doi.org/10.1103/1ss8-31rb">https://doi.org/10.1103/1ss8-31rb</a>'
  chicago: 'Fitzgerald, Eavan, Cécile Clavaud, Debasish Das, Isaac C Lenton, and Scott
    R Waitukaitis. “Rolling at Right Angles: Magnetic Anisotropy Enables Dual-Anisotropic
    Active Matter.” <i>Physical Review E</i>. American Physical Society, 2025. <a
    href="https://doi.org/10.1103/1ss8-31rb">https://doi.org/10.1103/1ss8-31rb</a>.'
  ieee: 'E. Fitzgerald, C. Clavaud, D. Das, I. C. Lenton, and S. R. Waitukaitis, “Rolling
    at right angles: Magnetic anisotropy enables dual-anisotropic active matter,”
    <i>Physical Review E</i>, vol. 112, no. 6. American Physical Society, 2025.'
  ista: 'Fitzgerald E, Clavaud C, Das D, Lenton IC, Waitukaitis SR. 2025. Rolling
    at right angles: Magnetic anisotropy enables dual-anisotropic active matter. Physical
    Review E. 112(6), 065418.'
  mla: 'Fitzgerald, Eavan, et al. “Rolling at Right Angles: Magnetic Anisotropy Enables
    Dual-Anisotropic Active Matter.” <i>Physical Review E</i>, vol. 112, no. 6, 065418,
    American Physical Society, 2025, doi:<a href="https://doi.org/10.1103/1ss8-31rb">10.1103/1ss8-31rb</a>.'
  short: E. Fitzgerald, C. Clavaud, D. Das, I.C. Lenton, S.R. Waitukaitis, Physical
    Review E 112 (2025).
corr_author: '1'
date_created: 2025-12-21T23:01:34Z
date_published: 2025-12-01T00:00:00Z
date_updated: 2025-12-29T11:19:34Z
day: '01'
ddc:
- '530'
department:
- _id: ScWa
doi: 10.1103/1ss8-31rb
ec_funded: 1
external_id:
  arxiv:
  - '2508.05643'
file:
- access_level: open_access
  checksum: d593e933f976c3f3cde37ad66539d57d
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-29T11:15:42Z
  date_updated: 2025-12-29T11:15:42Z
  file_id: '20862'
  file_name: 2025_PhysReviewE_Fitzgerald.pdf
  file_size: 2131491
  relation: main_file
  success: 1
file_date_updated: 2025-12-29T11:15:42Z
has_accepted_license: '1'
intvolume: '       112'
issue: '6'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: bd8eede5-d553-11ed-ba76-eaded0d13485
  grant_number: E 298
  name: 'MixQUIckR: Mixing with QUIncke Rollers'
- _id: 0aa60e99-070f-11eb-9043-a6de6bdc3afa
  call_identifier: H2020
  grant_number: '949120'
  name: 'Tribocharge: a multi-scale approach to an enduring problem in physics'
publication: Physical Review E
publication_identifier:
  eissn:
  - 2470-0053
  issn:
  - 2470-0045
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active
  matter'
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: 112
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '20848'
abstract:
- lang: eng
  text: 'Genetic variation that influences complex disease susceptibility is introduced
    into the population by mutation and removed by natural selection and genetic drift.
    This mutation–selection–drift balance (MSDB) shapes the prevalence of a disease
    and its genetic architecture. To date, however, MSDB has been modeled only for
    monogenic (Mendelian) diseases. Here, we develop an MSDB model for complex disease
    susceptibility: we assume that genotype relates to disease risk according to the
    canonical liability threshold model and that the selection on variants affecting
    risk stems from the fitness cost of the disease. We focus on diseases that are
    highly polygenic, entail a substantial fitness cost, and are neither extremely
    common in the population nor exceedingly rare. The comparison of model predictions
    with genome-wide association studies and other observations in humans indicates
    that common genetic variation affecting complex disease susceptibility is little
    affected by directional selection and instead shaped by pleiotropic stabilizing
    selection on other traits. In turn, directional selection may exert a more substantial
    effect on rare, large-effect variants. Our results also suggest that current estimates
    of disease heritability are likely biased. The model thus provides a better understanding
    of the evolutionary processes that shape the architecture and prevalence of complex
    diseases.'
acknowledgement: We thank Nick Barton, Magnus Nordborg, John Novembre, Molly Przeworski,
  and Himani Sachdeva for many helpful discussions and for comments on the manuscript,
  and we thank Joshua Schraiber and 2 anonymous reviewers for comments on the manuscript.
  We also thank members of the Sella, Przeworski and Andolfatto labs at Columbia University,
  and the Berg, Novembre and Steinrücken labs at the University of Chicago, for feedback
  on the work at various stages. This work was completed in part with resources provided
  by the University of Chicago's Research Computing Center. This work was supported
  by National Institutes of Health F32 grant GM126787 and R35 grant GM151257 to J.J.B.
  and National Institutes of Health R01 grant GM115889 to G.S.
article_number: iyaf220
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Jeremy J.
  full_name: Berg, Jeremy J.
  last_name: Berg
- first_name: Xinyi
  full_name: Li, Xinyi
  last_name: Li
- first_name: Kellen
  full_name: Riall, Kellen
  last_name: Riall
- first_name: Laura
  full_name: Hayward, Laura
  id: fc885ee5-24bf-11eb-ad7b-bcc5104c0c1b
  last_name: Hayward
- first_name: Guy
  full_name: Sella, Guy
  last_name: Sella
citation:
  ama: Berg JJ, Li X, Riall K, Hayward L, Sella G. Mutation–selection–drift balance
    models of complex diseases. <i>Genetics</i>. 2025;231(4). doi:<a href="https://doi.org/10.1093/genetics/iyaf220">10.1093/genetics/iyaf220</a>
  apa: Berg, J. J., Li, X., Riall, K., Hayward, L., &#38; Sella, G. (2025). Mutation–selection–drift
    balance models of complex diseases. <i>Genetics</i>. Oxford University Press.
    <a href="https://doi.org/10.1093/genetics/iyaf220">https://doi.org/10.1093/genetics/iyaf220</a>
  chicago: Berg, Jeremy J., Xinyi Li, Kellen Riall, Laura Hayward, and Guy Sella.
    “Mutation–Selection–Drift Balance Models of Complex Diseases.” <i>Genetics</i>.
    Oxford University Press, 2025. <a href="https://doi.org/10.1093/genetics/iyaf220">https://doi.org/10.1093/genetics/iyaf220</a>.
  ieee: J. J. Berg, X. Li, K. Riall, L. Hayward, and G. Sella, “Mutation–selection–drift
    balance models of complex diseases,” <i>Genetics</i>, vol. 231, no. 4. Oxford
    University Press, 2025.
  ista: Berg JJ, Li X, Riall K, Hayward L, Sella G. 2025. Mutation–selection–drift
    balance models of complex diseases. Genetics. 231(4), iyaf220.
  mla: Berg, Jeremy J., et al. “Mutation–Selection–Drift Balance Models of Complex
    Diseases.” <i>Genetics</i>, vol. 231, no. 4, iyaf220, Oxford University Press,
    2025, doi:<a href="https://doi.org/10.1093/genetics/iyaf220">10.1093/genetics/iyaf220</a>.
  short: J.J. Berg, X. Li, K. Riall, L. Hayward, G. Sella, Genetics 231 (2025).
date_created: 2025-12-21T23:01:34Z
date_published: 2025-12-01T00:00:00Z
date_updated: 2025-12-29T11:29:16Z
day: '01'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.1093/genetics/iyaf220
external_id:
  pmid:
  - '41073879'
file:
- access_level: open_access
  checksum: b02eb6b78028b8bef435edc8435a8468
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-29T11:27:51Z
  date_updated: 2025-12-29T11:27:51Z
  file_id: '20863'
  file_name: 2025_Genetics_Berg.pdf
  file_size: 1182339
  relation: main_file
  success: 1
file_date_updated: 2025-12-29T11:27:51Z
has_accepted_license: '1'
intvolume: '       231'
issue: '4'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
pmid: 1
publication: Genetics
publication_identifier:
  eissn:
  - 1943-2631
  issn:
  - 0016-6731
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mutation–selection–drift balance models of complex diseases
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 231
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '20850'
abstract:
- lang: eng
  text: We provide an estimate for the number of nontrivial integer points on the
    Pellian surface t^2 - du^2 = 1 in a bounded region. We give a lower bound on the
    size of fundamental solutions for almost all d in a certain class, based on a
    recent conjecture of Browning and Wilsch about integer points on log K3 surfaces.
    We also obtain an upper bound on the average of class number in this class, assuming
    the same conjecture.
- lang: fre
  text: "Nous donnons une estimation du nombre de points entiers non triviaux sur
    la surface pellienne \r\nt^2 - du^2 = 1 dans une région bornée. Nous établissons
    une borne inférieure pour la taille des solutions fondamentales pour presque tout
    d appartenant à une certaine classe, en nous fondant sur une conjecture récente
    de Browning et Wilsch concernant les points entiers sur les surfaces log K3. Nous
    obtenons également une borne supérieure pour la moyenne du nombre de classes dans
    cette classe, sous la même hypothèse conjecturale."
acknowledgement: The author would like to thank his supervisor Tim Browning for suggesting
  this project and many helpful conversations and useful comments. Moreover, he is
  grateful to Jakob Glas, Damaris Schindler, Igor Shparlinski, Matteo Verzobio, Victor
  Wang, Florian Wilsch and Shuntaro Yamagishi for taking their time to answer his
  questions and their valuable suggestions.
article_processing_charge: Yes (in subscription journal)
article_type: original
arxiv: 1
author:
- first_name: Yijie
  full_name: Diao, Yijie
  id: 7b7eb4ca-eb2c-11ec-b98b-accec0b20c3b
  last_name: Diao
  orcid: 0000-0002-4989-5330
citation:
  ama: Diao Y. Class numbers and integer points on some Pellian surfaces. <i>Journal
    de theorie des nombres de Bordeaux</i>. 2025;37(3):973-988. doi:<a href="https://doi.org/10.5802/jtnb.1348">10.5802/jtnb.1348</a>
  apa: Diao, Y. (2025). Class numbers and integer points on some Pellian surfaces.
    <i>Journal de Theorie Des Nombres de Bordeaux</i>. Université de Bordeaux. <a
    href="https://doi.org/10.5802/jtnb.1348">https://doi.org/10.5802/jtnb.1348</a>
  chicago: Diao, Yijie. “Class Numbers and Integer Points on Some Pellian Surfaces.”
    <i>Journal de Theorie Des Nombres de Bordeaux</i>. Université de Bordeaux, 2025.
    <a href="https://doi.org/10.5802/jtnb.1348">https://doi.org/10.5802/jtnb.1348</a>.
  ieee: Y. Diao, “Class numbers and integer points on some Pellian surfaces,” <i>Journal
    de theorie des nombres de Bordeaux</i>, vol. 37, no. 3. Université de Bordeaux,
    pp. 973–988, 2025.
  ista: Diao Y. 2025. Class numbers and integer points on some Pellian surfaces. Journal
    de theorie des nombres de Bordeaux. 37(3), 973–988.
  mla: Diao, Yijie. “Class Numbers and Integer Points on Some Pellian Surfaces.” <i>Journal
    de Theorie Des Nombres de Bordeaux</i>, vol. 37, no. 3, Université de Bordeaux,
    2025, pp. 973–88, doi:<a href="https://doi.org/10.5802/jtnb.1348">10.5802/jtnb.1348</a>.
  short: Y. Diao, Journal de Theorie Des Nombres de Bordeaux 37 (2025) 973–988.
corr_author: '1'
date_created: 2025-12-21T23:01:35Z
date_published: 2025-11-27T00:00:00Z
date_updated: 2025-12-29T10:08:46Z
day: '27'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.5802/jtnb.1348
external_id:
  arxiv:
  - '2408.03774'
file:
- access_level: open_access
  checksum: 67aa0afbc0b5bcbff5341f4d25e6ba20
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-29T10:05:22Z
  date_updated: 2025-12-29T10:05:22Z
  file_id: '20861'
  file_name: 2025_JTNB_Diao.pdf
  file_size: 766196
  relation: main_file
  success: 1
file_date_updated: 2025-12-29T10:05:22Z
has_accepted_license: '1'
intvolume: '        37'
issue: '3'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 973-988
publication: Journal de theorie des nombres de Bordeaux
publication_identifier:
  eissn:
  - 2118-8572
  issn:
  - 1246-7405
publication_status: published
publisher: Université de Bordeaux
quality_controlled: '1'
scopus_import: '1'
status: public
title: Class numbers and integer points on some Pellian surfaces
tmp:
  image: /image/cc_by_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nd/4.0/legalcode
  name: Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)
  short: CC BY-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 37
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '20851'
abstract:
- lang: eng
  text: High-voltage disordered spinel LiNi0.5Mn1.5O4 is a promising cathode material
    for high power density in lithium-ion batteries. However, it suffers from poor
    cycle life associated with the rock-salt phase transformation. This study presents
    a straightforward synthesis approach to enhance the electrochemical performance
    of LiNi0.5Mn1.5O4 through a synergistic solid-state modification with LiF and
    AlF3. This dual modification promotes rapid Li⁺ diffusion, enables near-complete
    delithiation/lithiation, approaching the theoretical capacity of disordered LiNi0.5Mn1.5O4,
    and, more importantly, effectively mitigates the formation of the rock-salt phase,
    thereby enhancing structural stability, as confirmed by operando X-ray absorption
    spectroscopy (XAS) and synchrotron X-ray diffraction (SXRD). As a result, the
    optimized LiNi0.5Mn1.5O4 (10 mg AlF3 + 30 mg LiF) delivers high reversible capacities
    of 142.1, 139.1, 129.2, 121.6, 110.3, 93.5, and 76.1 mAh∙g−1 at 0.2C, 0.5C, 1.0C,
    2.0C, 3.0C, 4.0C, and 5.0C, respectively. Full cells using graphite as the anode
    and a high-loading cathode exhibit excellent cycling performance. They retain
    80% of their capacity after 200 cycles at 0.5C within a voltage window of 3.5–4.9
    V with cathode loading of 11 mg∙cm−2. The findings of this study will significantly
    advance high-power LiNi0.5Mn1.5O4 materials, offering improved battery life and
    thereby enhancing their potential for practical applications.
acknowledged_ssus:
- _id: EM-Fac
- _id: NanoFab
acknowledgement: 'This work was supported by the European Commission-financed project
  IntelLigent (HORIZON-CL5-2021-D2-01-02) with project ID number 101069765. In collaboration
  with ALBA staff, the operando SXRD and XAS experiments were performed at BL-16-NOTOS
  beamline at ALBA Synchrotron Light Source (experiment number: 2023097765). This
  research was supported by the Scientific Service Units (SSU) of the Institute of
  Science and Technology Austria (ISTA) through resources provided by the Electron
  Microscopy Facility (EMF) and the Nanofabrication Facility (NFF), and M.I. and S.H.
  acknowledge financial support from ISTA and the Werner Siemens Foundation. Jordi
  Jacas Biendicho acknowledges the fellowship RYC2021-034994-I, funded by MICIU/AEI/10.13039/501100011033
  and the European Union «NextGenerationEU»/PRTR». Jordi Llorca is a Serra Húnter
  Fellow and is grateful to projects MICIN/AEI/FEDER PID2021-124572OB-C31 and Maria
  de Maeztu Units of Excellence Programme CEX2023-001300-M, and GC 2021 SGR 01061.'
article_number: e15962
article_processing_charge: Yes
article_type: original
author:
- first_name: Xingqi
  full_name: Chang, Xingqi
  last_name: Chang
- first_name: Carlos
  full_name: Escudero, Carlos
  last_name: Escudero
- first_name: Ashley P.
  full_name: Black, Ashley P.
  last_name: Black
- first_name: Sharona
  full_name: Horta, Sharona
  id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
  last_name: Horta
- first_name: Elías
  full_name: Martínez, Elías
  last_name: Martínez
- first_name: Xuan
  full_name: Lu, Xuan
  last_name: Lu
- first_name: Jordi
  full_name: Llorca, Jordi
  last_name: Llorca
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Jordi Jacas
  full_name: Biendicho, Jordi Jacas
  last_name: Biendicho
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Chang X, Escudero C, Black AP, et al. Mitigating the rock-salt phase transformation
    in disordered LNMO through synergetic solid-state AlF3/LiF modifications. <i>Advanced
    Science</i>. 2025. doi:<a href="https://doi.org/10.1002/advs.202515962">10.1002/advs.202515962</a>
  apa: Chang, X., Escudero, C., Black, A. P., Horta, S., Martínez, E., Lu, X., … Cabot,
    A. (2025). Mitigating the rock-salt phase transformation in disordered LNMO through
    synergetic solid-state AlF3/LiF modifications. <i>Advanced Science</i>. Wiley.
    <a href="https://doi.org/10.1002/advs.202515962">https://doi.org/10.1002/advs.202515962</a>
  chicago: Chang, Xingqi, Carlos Escudero, Ashley P. Black, Sharona Horta, Elías Martínez,
    Xuan Lu, Jordi Llorca, Maria Ibáñez, Jordi Jacas Biendicho, and Andreu Cabot.
    “Mitigating the Rock-Salt Phase Transformation in Disordered LNMO through Synergetic
    Solid-State AlF3/LiF Modifications.” <i>Advanced Science</i>. Wiley, 2025. <a
    href="https://doi.org/10.1002/advs.202515962">https://doi.org/10.1002/advs.202515962</a>.
  ieee: X. Chang <i>et al.</i>, “Mitigating the rock-salt phase transformation in
    disordered LNMO through synergetic solid-state AlF3/LiF modifications,” <i>Advanced
    Science</i>. Wiley, 2025.
  ista: Chang X, Escudero C, Black AP, Horta S, Martínez E, Lu X, Llorca J, Ibáñez
    M, Biendicho JJ, Cabot A. 2025. Mitigating the rock-salt phase transformation
    in disordered LNMO through synergetic solid-state AlF3/LiF modifications. Advanced
    Science., e15962.
  mla: Chang, Xingqi, et al. “Mitigating the Rock-Salt Phase Transformation in Disordered
    LNMO through Synergetic Solid-State AlF3/LiF Modifications.” <i>Advanced Science</i>,
    e15962, Wiley, 2025, doi:<a href="https://doi.org/10.1002/advs.202515962">10.1002/advs.202515962</a>.
  short: X. Chang, C. Escudero, A.P. Black, S. Horta, E. Martínez, X. Lu, J. Llorca,
    M. Ibáñez, J.J. Biendicho, A. Cabot, Advanced Science (2025).
date_created: 2025-12-21T23:01:35Z
date_published: 2025-12-12T00:00:00Z
date_updated: 2025-12-29T10:15:43Z
day: '12'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1002/advs.202515962
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa_version: Published Version
project:
- _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A
  name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of
    Semiconductors for Waste Heat Recovery'
publication: Advanced Science
publication_identifier:
  eissn:
  - 2198-3844
publication_status: epub_ahead
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mitigating the rock-salt phase transformation in disordered LNMO through synergetic
  solid-state AlF3/LiF modifications
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
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '20857'
abstract:
- lang: eng
  text: 'Evolutionary games provide a flexible mathematical framework for many problems
    in biology and social evolution. Prisoners’ dilemma, and in particular, the important
    special case of donation games, represents social dilemmas where cooperation is
    mutually beneficial, yet defection is preferred by selfish agents. In evolutionary
    games on networks, the agents interact over a population structure. The existence
    of population structures that promote cooperative behavior is a fascinating and
    active research topic. Previous research establishes structures promoting cooperation
    in the limit of weak selection where the benefit-to-cost ratio β exceeds 1.5.
    The existence of such structures for medium and strong selection for 1 < ß < 2
    and for weak selection for 1 < ß < 1.5 has been a long-standing open question.
    First, we answer the open questions in the affirmative: For every selection strength
    and every ß > 1, we construct networks promoting cooperation. Second, we present
    a robustness result with respect to β and selection strength: Our structures promote
    cooperation for a range of these parameter values rather than specific parameter
    values. Finally, we supplement our theoretical results with simulation results
    on small population structures that show the effectiveness of our construction
    over well-studied population structures.'
acknowledgement: J.S. and K.C. were supported by the European Research Council CoG
  863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/COE12.
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Jakub
  full_name: Svoboda, Jakub
  id: 130759D2-D7DD-11E9-87D2-DE0DE6697425
  last_name: Svoboda
  orcid: 0000-0002-1419-3267
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
citation:
  ama: Svoboda J, Chatterjee K. Promoters of cooperation in evolutionary games. <i>Proceedings
    of the National Academy of Sciences</i>. 2025;122(51):e2524109122. doi:<a href="https://doi.org/10.1073/pnas.2524109122">10.1073/pnas.2524109122</a>
  apa: Svoboda, J., &#38; Chatterjee, K. (2025). Promoters of cooperation in evolutionary
    games. <i>Proceedings of the National Academy of Sciences</i>. National Academy
    of Sciences. <a href="https://doi.org/10.1073/pnas.2524109122">https://doi.org/10.1073/pnas.2524109122</a>
  chicago: Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in
    Evolutionary Games.” <i>Proceedings of the National Academy of Sciences</i>. National
    Academy of Sciences, 2025. <a href="https://doi.org/10.1073/pnas.2524109122">https://doi.org/10.1073/pnas.2524109122</a>.
  ieee: J. Svoboda and K. Chatterjee, “Promoters of cooperation in evolutionary games,”
    <i>Proceedings of the National Academy of Sciences</i>, vol. 122, no. 51. National
    Academy of Sciences, p. e2524109122, 2025.
  ista: Svoboda J, Chatterjee K. 2025. Promoters of cooperation in evolutionary games.
    Proceedings of the National Academy of Sciences. 122(51), e2524109122.
  mla: Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in Evolutionary
    Games.” <i>Proceedings of the National Academy of Sciences</i>, vol. 122, no.
    51, National Academy of Sciences, 2025, p. e2524109122, doi:<a href="https://doi.org/10.1073/pnas.2524109122">10.1073/pnas.2524109122</a>.
  short: J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences
    122 (2025) e2524109122.
corr_author: '1'
date_created: 2025-12-28T23:01:26Z
date_published: 2025-12-15T00:00:00Z
date_updated: 2026-02-16T12:34:04Z
day: '15'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1073/pnas.2524109122
ec_funded: 1
external_id:
  pmid:
  - '41397136'
file:
- access_level: open_access
  checksum: dd50b62a1efc28c0133fe9c11dbee53c
  content_type: application/pdf
  creator: dernst
  date_created: 2025-12-29T09:36:50Z
  date_updated: 2025-12-29T09:36:50Z
  file_id: '20860'
  file_name: 2025_PNAS_Svoboda.pdf
  file_size: 2308124
  relation: main_file
  success: 1
file_date_updated: 2025-12-29T09:36:50Z
has_accepted_license: '1'
intvolume: '       122'
issue: '51'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: e2524109122
pmid: 1
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Proceedings of the National Academy of Sciences
publication_identifier:
  eissn:
  - 1091-6490
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: Promoters of cooperation in evolutionary games
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 122
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '20858'
abstract:
- lang: eng
  text: Targeted antigen delivery to immune cells, particularly dendritic cells, has
    emerged as a promising strategy to enhance therapeutic efficacy of vaccines, while
    minimizing adverse effects associated with conventional immunization. In this
    study, we use our previously described small glycomimetic molecule that is selectively
    recognized by the Langerhans cell (LC)-specific surface receptor Langerin and
    demonstrate specific delivery of protein antigens to these specialized dendritic
    cells. Our results show that Langerin-mediated antigen delivery significantly
    enhances the immune response in vivo, resulting in increased expansion and activation
    of antigen-specific T cells, compared to immunization with unmodified antigen.
    We demonstrate the feasibility of our LC-targeted platform for immune cell-specific
    immunization with protein antigen and underscore the potential of LCs as an access
    point for next-generation vaccines and immunotherapies.
acknowledgement: This project was generously supported by Seedfinancing (grant no.
  P2282679) of the Austrian Bundesministerium für Digitalisierung und Wirtschaftsstandort
  and the Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation,
  und Technologie, handled by the Austrian Wirtschaftsservice (aws), as well as by
  Life Science Call 2022 (grant no. FO999896442) of the Austrian Research Promotion
  Agency (FFG). We thank Mag. Michael Schunn from the PCF of the Institute of Science
  and Technology Austria for his continuous technical support.
article_processing_charge: No
article_type: original
author:
- first_name: Ramona
  full_name: Rica, Ramona
  last_name: Rica
- first_name: Klara
  full_name: Klein, Klara
  last_name: Klein
- first_name: Litty
  full_name: Johnson, Litty
  last_name: Johnson
- first_name: Gabriele
  full_name: Carta, Gabriele
  last_name: Carta
- first_name: Mirza
  full_name: Sarcevic, Mirza
  last_name: Sarcevic
- first_name: Freyja
  full_name: Langer, Freyja
  id: 3C1BE782-F248-11E8-B48F-1D18A9856A87
  last_name: Langer
- first_name: Christoph
  full_name: Rademacher, Christoph
  last_name: Rademacher
- first_name: Robert
  full_name: Wawrzinek, Robert
  last_name: Wawrzinek
- first_name: Federica
  full_name: Quattrone, Federica
  last_name: Quattrone
- first_name: Florian
  full_name: Sparber, Florian
  last_name: Sparber
citation:
  ama: Rica R, Klein K, Johnson L, et al. Langerhans cell-targeted protein delivery
    enhances antigen-specific cellular immune response. <i>Molecular Therapy</i>.
    doi:<a href="https://doi.org/10.1016/j.ymthe.2025.10.008">10.1016/j.ymthe.2025.10.008</a>
  apa: Rica, R., Klein, K., Johnson, L., Carta, G., Sarcevic, M., Langer, F., … Sparber,
    F. (n.d.). Langerhans cell-targeted protein delivery enhances antigen-specific
    cellular immune response. <i>Molecular Therapy</i>. Elsevier. <a href="https://doi.org/10.1016/j.ymthe.2025.10.008">https://doi.org/10.1016/j.ymthe.2025.10.008</a>
  chicago: Rica, Ramona, Klara Klein, Litty Johnson, Gabriele Carta, Mirza Sarcevic,
    Freyja Langer, Christoph Rademacher, Robert Wawrzinek, Federica Quattrone, and
    Florian Sparber. “Langerhans Cell-Targeted Protein Delivery Enhances Antigen-Specific
    Cellular Immune Response.” <i>Molecular Therapy</i>. Elsevier, n.d. <a href="https://doi.org/10.1016/j.ymthe.2025.10.008">https://doi.org/10.1016/j.ymthe.2025.10.008</a>.
  ieee: R. Rica <i>et al.</i>, “Langerhans cell-targeted protein delivery enhances
    antigen-specific cellular immune response,” <i>Molecular Therapy</i>. Elsevier.
  ista: Rica R, Klein K, Johnson L, Carta G, Sarcevic M, Langer F, Rademacher C, Wawrzinek
    R, Quattrone F, Sparber F. Langerhans cell-targeted protein delivery enhances
    antigen-specific cellular immune response. Molecular Therapy.
  mla: Rica, Ramona, et al. “Langerhans Cell-Targeted Protein Delivery Enhances Antigen-Specific
    Cellular Immune Response.” <i>Molecular Therapy</i>, Elsevier, doi:<a href="https://doi.org/10.1016/j.ymthe.2025.10.008">10.1016/j.ymthe.2025.10.008</a>.
  short: R. Rica, K. Klein, L. Johnson, G. Carta, M. Sarcevic, F. Langer, C. Rademacher,
    R. Wawrzinek, F. Quattrone, F. Sparber, Molecular Therapy (n.d.).
date_created: 2025-12-28T23:01:26Z
date_published: 2025-10-04T00:00:00Z
date_updated: 2025-12-29T09:55:05Z
day: '04'
department:
- _id: PreCl
doi: 10.1016/j.ymthe.2025.10.008
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1101/2025.05.05.652195
month: '10'
oa: 1
oa_version: Preprint
publication: Molecular Therapy
publication_identifier:
  eissn:
  - 1525-0024
  issn:
  - 1525-0016
publication_status: inpress
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Langerhans cell-targeted protein delivery enhances antigen-specific cellular
  immune response
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20859'
abstract:
- lang: eng
  text: Effective immune responses rely on the efficient migration of leukocytes.
    Yet, how temperature regulates migration dynamics at the single-cell level has
    remained poorly understood. Using zebrafish embryos and mouse tissue explants,
    we found that temperature positively regulates leukocyte migration speed, exploration,
    and arrival frequencies to wounds and lymph vessels. Complementary 2D and 3D cultures
    revealed that this thermokinetic control of cell migration is conserved across
    immune cell types, independently of the 3D tissue environment. By applying precise
    (sub-)cellular temperature modulation, we identified a rapid and reversible thermo-response
    that depends on myosin II activity. Small physiological increases in temperature
    (1°C –2°C), as present during fever-like conditions, profoundly increased immune
    responses by accelerating arrival times at lymphatic vessels and tissue wounds.
    These findings identify myosin-II-dependent actomyosin contractility as a critical
    mechanical structure regulating single-cell thermo-adaptability, with physiological
    implications for tuning the speed of immune responses in vivo.
acknowledged_ssus:
- _id: NanoFab
acknowledgement: 'The authors would like to acknowledge the Super Resolution Light
  Microcopy and Nanoscopy (SLN) Facility of ICFO for their support with imaging experiments,
  Johann Osmond (Nanofabrication laboratory, ICFO) for the design and production of
  molds for generating confinement coverslip, Merche Rivas for cell culture of immune
  cells and further support from the CRG Core Facilities for Genomics and Advanced
  Light Microscopy. We would like to thank Michael Sixt for discussions on this work
  and the Quidant, Ruprecht, and Wieser lab members for critical reading of the manuscript.
  This research was supported by the Scientific Service Units (SSU) of IST-Austria
  through resources provided by the Nanofabrication Facility (NFF). C.A. acknowledges
  the funding from the European Union’s Horizon 2020 research and innovation programme
  under the Marie Skłodowska-Curie grant agreement no 847517 and V.V. from the ICFOstepstone
  – PhD Programme funded by the European Union’s Horizon 2020 research and innovation
  programme under the Marie Skłodowska-Curie grant agreement no 665884. S.W. acknowledges
  support through the Spanish Ministry of Economy and Competitiveness via MINECO’s
  Plan Nacional (BFU2017-86296-P). V.R. acknowledges funding from the European Union’s
  HORIZON-EIC-2021-PATHFINDEROPEN program under grant agreement no. 101046620 and
  European Union''s Horizon Europe program under the grant agreement no. 101072123.
  E.K. acknowledges funding by a fellowship of the Ministry of Innovation, Science
  and Research of North-Rhine-Westphalia (AZ: 421-8.03.03.02-137069) and the Deutsche
  Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence
  Strategy – EXC 2151 – 390873048 and by the TRA Life and Health (University of Bonn)
  as part of the Excellence Strategy of the federal and state governments.'
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Iván
  full_name: Company-Garrido, Iván
  last_name: Company-Garrido
- first_name: Alberto
  full_name: Zurita Carpio, Alberto
  last_name: Zurita Carpio
- first_name: Mariona
  full_name: Colomer-Rosell, Mariona
  last_name: Colomer-Rosell
- first_name: Bernard
  full_name: Ciraulo, Bernard
  last_name: Ciraulo
- first_name: Ronja
  full_name: Molkenbur, Ronja
  last_name: Molkenbur
- first_name: Peter
  full_name: Lanzerstorfer, Peter
  last_name: Lanzerstorfer
- first_name: Fabio
  full_name: Pezzano, Fabio
  last_name: Pezzano
- first_name: Costanza
  full_name: Agazzi, Costanza
  last_name: Agazzi
- first_name: Robert
  full_name: Hauschild, Robert
  id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
  last_name: Hauschild
  orcid: 0000-0001-9843-3522
- first_name: Saumey
  full_name: Jain, Saumey
  last_name: Jain
- first_name: Jeroen M.
  full_name: Jacques, Jeroen M.
  last_name: Jacques
- first_name: Valeria
  full_name: Venturini, Valeria
  last_name: Venturini
- first_name: Christian
  full_name: Knapp, Christian
  last_name: Knapp
- first_name: Yufei
  full_name: Xie, Yufei
  last_name: Xie
- first_name: Jack
  full_name: Merrin, Jack
  id: 4515C308-F248-11E8-B48F-1D18A9856A87
  last_name: Merrin
  orcid: 0000-0001-5145-4609
- first_name: Julian
  full_name: Weghuber, Julian
  last_name: Weghuber
- first_name: Marcel
  full_name: Schaaf, Marcel
  last_name: Schaaf
- first_name: Romain
  full_name: Quidant, Romain
  last_name: Quidant
- first_name: Eva
  full_name: Kiermaier, Eva
  id: 3EB04B78-F248-11E8-B48F-1D18A9856A87
  last_name: Kiermaier
  orcid: 0000-0001-6165-5738
- first_name: Jaime
  full_name: Ortega Arroyo, Jaime
  last_name: Ortega Arroyo
- first_name: Verena
  full_name: Ruprecht, Verena
  id: 4D71A03A-F248-11E8-B48F-1D18A9856A87
  last_name: Ruprecht
  orcid: 0000-0003-4088-8633
- first_name: Stefan
  full_name: Wieser, Stefan
  id: 355AA5A0-F248-11E8-B48F-1D18A9856A87
  last_name: Wieser
  orcid: 0000-0002-2670-2217
citation:
  ama: Company-Garrido I, Zurita Carpio A, Colomer-Rosell M, et al. Myosin II regulates
    cellular thermo-adaptability and the efficiency of immune responses. <i>Developmental
    Cell</i>. 2025. doi:<a href="https://doi.org/10.1016/j.devcel.2025.10.006">10.1016/j.devcel.2025.10.006</a>
  apa: Company-Garrido, I., Zurita Carpio, A., Colomer-Rosell, M., Ciraulo, B., Molkenbur,
    R., Lanzerstorfer, P., … Wieser, S. (2025). Myosin II regulates cellular thermo-adaptability
    and the efficiency of immune responses. <i>Developmental Cell</i>. Elsevier. <a
    href="https://doi.org/10.1016/j.devcel.2025.10.006">https://doi.org/10.1016/j.devcel.2025.10.006</a>
  chicago: Company-Garrido, Iván, Alberto Zurita Carpio, Mariona Colomer-Rosell, Bernard
    Ciraulo, Ronja Molkenbur, Peter Lanzerstorfer, Fabio Pezzano, et al. “Myosin II
    Regulates Cellular Thermo-Adaptability and the Efficiency of Immune Responses.”
    <i>Developmental Cell</i>. Elsevier, 2025. <a href="https://doi.org/10.1016/j.devcel.2025.10.006">https://doi.org/10.1016/j.devcel.2025.10.006</a>.
  ieee: I. Company-Garrido <i>et al.</i>, “Myosin II regulates cellular thermo-adaptability
    and the efficiency of immune responses,” <i>Developmental Cell</i>. Elsevier,
    2025.
  ista: Company-Garrido I, Zurita Carpio A, Colomer-Rosell M, Ciraulo B, Molkenbur
    R, Lanzerstorfer P, Pezzano F, Agazzi C, Hauschild R, Jain S, Jacques JM, Venturini
    V, Knapp C, Xie Y, Merrin J, Weghuber J, Schaaf M, Quidant R, Kiermaier E, Ortega
    Arroyo J, Ruprecht V, Wieser S. 2025. Myosin II regulates cellular thermo-adaptability
    and the efficiency of immune responses. Developmental Cell.
  mla: Company-Garrido, Iván, et al. “Myosin II Regulates Cellular Thermo-Adaptability
    and the Efficiency of Immune Responses.” <i>Developmental Cell</i>, Elsevier,
    2025, doi:<a href="https://doi.org/10.1016/j.devcel.2025.10.006">10.1016/j.devcel.2025.10.006</a>.
  short: I. Company-Garrido, A. Zurita Carpio, M. Colomer-Rosell, B. Ciraulo, R. Molkenbur,
    P. Lanzerstorfer, F. Pezzano, C. Agazzi, R. Hauschild, S. Jain, J.M. Jacques,
    V. Venturini, C. Knapp, Y. Xie, J. Merrin, J. Weghuber, M. Schaaf, R. Quidant,
    E. Kiermaier, J. Ortega Arroyo, V. Ruprecht, S. Wieser, Developmental Cell (2025).
date_created: 2025-12-28T23:01:27Z
date_published: 2025-11-04T00:00:00Z
date_updated: 2025-12-29T09:23:58Z
day: '04'
ddc:
- '570'
department:
- _id: Bio
- _id: NanoFab
doi: 10.1016/j.devcel.2025.10.006
external_id:
  pmid:
  - '41192429'
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1016/j.devcel.2025.10.006
month: '11'
oa: 1
oa_version: Published Version
pmid: 1
publication: Developmental Cell
publication_identifier:
  eissn:
  - 1878-1551
  issn:
  - 1534-5807
publication_status: epub_ahead
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Myosin II regulates cellular thermo-adaptability and the efficiency of immune
  responses
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
year: '2025'
...
