---
_id: '18071'
abstract:
- lang: eng
text: Recent advancements on DAG-based consensus protocols allow for blockchains
with improved metrics and properties, such as throughput and censorship-resistance.
Variants of the Bullshark [18] consensus protocol are adopted for practical use
by the Sui blockchain, for improved latency. However, the protocol is leader-based,
and is strongly affected by crashed leaders that can lead to various performance
issues, for example, decreased transaction throughput. In this paper, we propose
HammerHead, a DAG-based consensus protocol, that is inspired by Carousel [8] and
provides Leader-Utilization. Our proposal differs from Carousel, which is built
for a chained consensus protocol; in HammerHead chain quality is inherited by
the DAG. HammerHead needs to preserve safety and liveness, despite validators
committing leader vertices asynchronously. The key idea is to update leader schedules
dynamically, based on the validators' scores during the previous schedule. We
implement HammerHead and show a minor improvement in performance for cases without
faults. The major improvements in comparison to Bullshark appear in faulty settings.
Specifically, we show a drastic, 2x-latency improvement and up to 40% increased
throughput when crash faults occur (100 validators, 33 faults).
acknowledgement: This work is supported by Mysten Labs. We thank the Mysten Labs Engineering
teams for valuable feedback broadly, and specifically to Laura Makdah for helping
implementing the early reputation score system for validators and Dmitry Perelman
for managing the overall implementation effort.
article_processing_charge: No
arxiv: 1
author:
- first_name: Giorgos
full_name: Tsimos, Giorgos
last_name: Tsimos
- first_name: Anastasios
full_name: Kichidis, Anastasios
last_name: Kichidis
- first_name: Alberto
full_name: Sonnino, Alberto
last_name: Sonnino
- first_name: Eleftherios
full_name: Kokoris Kogias, Eleftherios
id: f5983044-d7ef-11ea-ac6d-fd1430a26d30
last_name: Kokoris Kogias
citation:
ama: 'Tsimos G, Kichidis A, Sonnino A, Kokoris Kogias E. HammerHead: Leader reputation
for dynamic scheduling. In: Proceedings - International Conference on Distributed
Computing Systems. IEEE; 2024:1377-1387. doi:10.1109/ICDCS60910.2024.00129'
apa: 'Tsimos, G., Kichidis, A., Sonnino, A., & Kokoris Kogias, E. (2024). HammerHead:
Leader reputation for dynamic scheduling. In Proceedings - International Conference
on Distributed Computing Systems (pp. 1377–1387). Jersey City, NJ, United
States: IEEE. https://doi.org/10.1109/ICDCS60910.2024.00129'
chicago: 'Tsimos, Giorgos, Anastasios Kichidis, Alberto Sonnino, and Eleftherios
Kokoris Kogias. “HammerHead: Leader Reputation for Dynamic Scheduling.” In Proceedings
- International Conference on Distributed Computing Systems, 1377–87. IEEE,
2024. https://doi.org/10.1109/ICDCS60910.2024.00129.'
ieee: 'G. Tsimos, A. Kichidis, A. Sonnino, and E. Kokoris Kogias, “HammerHead: Leader
reputation for dynamic scheduling,” in Proceedings - International Conference
on Distributed Computing Systems, Jersey City, NJ, United States, 2024, pp.
1377–1387.'
ista: 'Tsimos G, Kichidis A, Sonnino A, Kokoris Kogias E. 2024. HammerHead: Leader
reputation for dynamic scheduling. Proceedings - International Conference on Distributed
Computing Systems. ICDCS: International Conference on Distributed Computing Systems,
1377–1387.'
mla: 'Tsimos, Giorgos, et al. “HammerHead: Leader Reputation for Dynamic Scheduling.”
Proceedings - International Conference on Distributed Computing Systems,
IEEE, 2024, pp. 1377–87, doi:10.1109/ICDCS60910.2024.00129.'
short: G. Tsimos, A. Kichidis, A. Sonnino, E. Kokoris Kogias, in:, Proceedings -
International Conference on Distributed Computing Systems, IEEE, 2024, pp. 1377–1387.
conference:
end_date: 2024-07-26
location: Jersey City, NJ, United States
name: 'ICDCS: International Conference on Distributed Computing Systems'
start_date: 2024-07-23
date_created: 2024-09-15T22:01:41Z
date_published: 2024-07-26T00:00:00Z
date_updated: 2025-09-08T09:42:36Z
day: '26'
department:
- _id: ElKo
doi: 10.1109/ICDCS60910.2024.00129
external_id:
arxiv:
- '2309.12713'
isi:
- '001304430200120'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2309.12713
month: '07'
oa: 1
oa_version: Preprint
page: 1377-1387
publication: Proceedings - International Conference on Distributed Computing Systems
publication_identifier:
eissn:
- 2575-8411
isbn:
- '9798350386059'
issn:
- 1063-6927
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'HammerHead: Leader reputation for dynamic scheduling'
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2024'
...
---
_id: '18072'
abstract:
- lang: eng
text: The individualization of chromosomes during early mitosis and their clustering
upon exit from cell division are two key transitions that ensure efficient segregation
of eukaryotic chromosomes. Both processes are regulated by the surfactant-like
protein Ki-67, but how Ki-67 achieves these diametric functions has remained unknown.
Here, we report that Ki-67 radically switches from a chromosome repellent to a
chromosome attractant during anaphase in human cells. We show that Ki-67 dephosphorylation
during mitotic exit and the simultaneous exposure of a conserved basic patch induce
the RNA-dependent formation of a liquid-like condensed phase on the chromosome
surface. Experiments and coarse-grained simulations support a model in which the
coalescence of chromosome surfaces, driven by co-condensation of Ki-67 and RNA,
promotes clustering of chromosomes. Our study reveals how the switch of Ki-67
from a surfactant to a liquid-like condensed phase can generate mechanical forces
during genome segregation that are required for re-establishing nuclear-cytoplasmic
compartmentalization after mitosis.
acknowledgement: We thank Daniel W. Gerlich for providing cell lines, the EMBL Advanced
Light Microscopy Facility (ALMF) for support, Christian H. Haering and Thomas Quail
for input on the manuscript, and Martina Dees for cloning several Ki-67 constructs.
This work was supported by the German Research Foundation (DFG project number 402723784)
and the Human Frontier Science Program (CDA00045/2019). A.H.-A. and A.B. have received
PhD fellowships from the Boehringer Ingelheim Fonds, V.S. and A.Š. were supported
by the European Research Council (ERC) under the European Union’s Horizon 2020 research
and innovation programme (grant no. 802960), and Y.H. was supported by a fellowship
from the EMBL interdisciplinary Postdoc (EIPOD) program (Marie Sklodowska-Curie
Actions, COFUND grant agreement 664726).
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Alberto
full_name: Hernandez-Armendariz, Alberto
last_name: Hernandez-Armendariz
- first_name: Valerio
full_name: Sorichetti, Valerio
id: ef8a92cb-c7b6-11ec-8bea-e1fd5847bc5b
last_name: Sorichetti
orcid: 0000-0002-9645-6576
- first_name: Yuki
full_name: Hayashi, Yuki
last_name: Hayashi
- first_name: Zuzana
full_name: Koskova, Zuzana
last_name: Koskova
- first_name: Andreas
full_name: Brunner, Andreas
last_name: Brunner
- first_name: Jan
full_name: Ellenberg, Jan
last_name: Ellenberg
- first_name: Anđela
full_name: Šarić, Anđela
id: bf63d406-f056-11eb-b41d-f263a6566d8b
last_name: Šarić
orcid: 0000-0002-7854-2139
- first_name: Sara
full_name: Cuylen-Haering, Sara
last_name: Cuylen-Haering
citation:
ama: Hernandez-Armendariz A, Sorichetti V, Hayashi Y, et al. A liquid-like coat
mediates chromosome clustering during mitotic exit. Molecular Cell. 2024;84(17):P3254-3270.E9.
doi:10.1016/j.molcel.2024.07.022
apa: Hernandez-Armendariz, A., Sorichetti, V., Hayashi, Y., Koskova, Z., Brunner,
A., Ellenberg, J., … Cuylen-Haering, S. (2024). A liquid-like coat mediates chromosome
clustering during mitotic exit. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2024.07.022
chicago: Hernandez-Armendariz, Alberto, Valerio Sorichetti, Yuki Hayashi, Zuzana
Koskova, Andreas Brunner, Jan Ellenberg, Anđela Šarić, and Sara Cuylen-Haering.
“A Liquid-like Coat Mediates Chromosome Clustering during Mitotic Exit.” Molecular
Cell. Cell Press, 2024. https://doi.org/10.1016/j.molcel.2024.07.022.
ieee: A. Hernandez-Armendariz et al., “A liquid-like coat mediates chromosome
clustering during mitotic exit,” Molecular Cell, vol. 84, no. 17. Cell
Press, p. P3254–3270.E9, 2024.
ista: Hernandez-Armendariz A, Sorichetti V, Hayashi Y, Koskova Z, Brunner A, Ellenberg
J, Šarić A, Cuylen-Haering S. 2024. A liquid-like coat mediates chromosome clustering
during mitotic exit. Molecular Cell. 84(17), P3254–3270.E9.
mla: Hernandez-Armendariz, Alberto, et al. “A Liquid-like Coat Mediates Chromosome
Clustering during Mitotic Exit.” Molecular Cell, vol. 84, no. 17, Cell
Press, 2024, p. P3254–3270.E9, doi:10.1016/j.molcel.2024.07.022.
short: A. Hernandez-Armendariz, V. Sorichetti, Y. Hayashi, Z. Koskova, A. Brunner,
J. Ellenberg, A. Šarić, S. Cuylen-Haering, Molecular Cell 84 (2024) P3254–3270.E9.
date_created: 2024-09-15T22:01:41Z
date_published: 2024-09-05T00:00:00Z
date_updated: 2025-09-08T09:23:02Z
day: '05'
ddc:
- '570'
department:
- _id: AnSa
doi: 10.1016/j.molcel.2024.07.022
ec_funded: 1
external_id:
isi:
- '001309051100001'
pmid:
- '39153474'
file:
- access_level: open_access
checksum: 3f360e0287b8ec79fb2b8b02b5070360
content_type: application/pdf
creator: dernst
date_created: 2024-09-16T07:38:38Z
date_updated: 2024-09-16T07:38:38Z
file_id: '18075'
file_name: 2024_MolecularCell_HernandezArmendariz.pdf
file_size: 11654644
relation: main_file
success: 1
file_date_updated: 2024-09-16T07:38:38Z
has_accepted_license: '1'
intvolume: ' 84'
isi: 1
issue: '17'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: P3254-3270.E9
pmid: 1
project:
- _id: eba2549b-77a9-11ec-83b8-a81e493eae4e
call_identifier: H2020
grant_number: '802960'
name: 'Non-Equilibrium Protein Assembly: from Building Blocks to Biological Machines'
publication: Molecular Cell
publication_identifier:
eissn:
- 1097-4164
issn:
- 1097-2765
publication_status: published
publisher: Cell Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: A liquid-like coat mediates chromosome clustering during mitotic exit
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: 84
year: '2024'
...
---
OA_place: publisher
OA_type: gold
_id: '18073'
abstract:
- lang: eng
text: Conserved signaling cascades monitor protein-folding homeostasis to ensure
proper cellular function. One of the evolutionary conserved key players is IRE1,
which maintains endoplasmic reticulum (ER) homeostasis through the unfolded protein
response (UPR). Upon accumulation of misfolded proteins in the ER, IRE1 forms
clusters on the ER membrane to initiate UPR signaling. What regulates IRE1 cluster
formation is not fully understood. Here, we show that the ER lumenal domain (LD)
of human IRE1α forms biomolecular condensates in vitro. IRE1α LD condensates were
stabilized both by binding to unfolded polypeptides as well as by tethering to
model membranes, suggesting their role in assembling IRE1α into signaling-competent
stable clusters. Molecular dynamics simulations indicated that weak multivalent
interactions drive IRE1α LD clustering. Mutagenesis experiments identified disordered
regions in IRE1α LD to control its clustering in vitro and in cells. Importantly,
dysregulated clustering of IRE1α mutants led to defects in IRE1α signaling. Our
results revealed that disordered regions in IRE1α LD control its clustering and
suggest their role as a common strategy in regulating protein assembly on membranes.
acknowledgement: We thank late Thomas Peterbauer at the Max Perutz Labs Biooptics
Light Microscopy Facility for his help and support. We are grateful to Kitti Csalyi
and Thomas Sauer at Max Perutz Labs Biooptics FACS facility for their help. We thank
Grzegorz Scibisz and Sertan Atilla for their support with the expression and purification
of mCherry-IRE1α LD-10His. We are grateful to Aleksandra S Anisimova with her help
in the generation of stable cell lines and the statistical analyses of the data.
We thank Venja Vieweger for her help with the characterization of the WLLI and D123P
IRE1 mutants in cells. We are thankful to Monika Kubickova for the help with the
AUC experiments. We acknowledge CF BIC of CIISB, Instruct-CZ Centre, supported by
MEYS CR (LM2023042)) and European Regional Development Fund-Project, UP CIISB“ (No.
CZ.02.1.01/0.0/0.0/18_046/0015974). We thank the members of the Karagöz lab for
the critical reading and editing of the manuscript. We are thankful to our colleagues
Diego Acosta-Alvear, Vladislav Belyy, Jirka Peschek, Yasin Dagdas, Javier Martinez,
Sascha Martens and Alwin Köhler for their invaluable input on the manuscript. We
are grateful to Life Science Editors, especially Katrina Woolcock for her useful
edits and comments on the manuscript. We acknowledge funding from Austrian Science
Fund (FWF-SFB F79 and FWF-W 1261) to GEK. PK acknowledges the support of the Max
Perutz PhD fellowship. GAV is funded by Stand-Alone grants (P30231-B, P30415-B,
P36572), Special Research Grant (SFB grant F79), and Doctoral School grant (DK grant
W1261) from the Austrian Science Fund (FWF). ES and RC acknowledge support and funding
by the Frankfurt Institute of Advanced Studies, the LOEWE Center for Multiscale
Modelling in Life Sciences of the state of Hesse, the Collaborative Research Center
1507 “Membrane-associated Protein Assemblies, Machineries, and Supercomplexes” (Project
ID 450648163), and the International Max Planck Research School on Cellular Biophysics
(to RC), the Center for Scientific Computing of the Goethe University and the Jülich
Supercomputing Centre for computational resources and support.
article_processing_charge: Yes
article_type: original
author:
- first_name: Paulina
full_name: Kettel, Paulina
last_name: Kettel
- first_name: Laura
full_name: Marosits, Laura
last_name: Marosits
- first_name: Elena
full_name: Spinetti, Elena
last_name: Spinetti
- first_name: Michael
full_name: Rechberger, Michael
last_name: Rechberger
- first_name: Caterina
full_name: Giannini, Caterina
id: e3fdddd5-f6e0-11ea-865d-ca99ee6367f4
last_name: Giannini
- first_name: Philipp
full_name: Radler, Philipp
id: 40136C2A-F248-11E8-B48F-1D18A9856A87
last_name: Radler
orcid: '0000-0001-9198-2182 '
- first_name: Isabell
full_name: Niedermoser, Isabell
last_name: Niedermoser
- first_name: Irmgard
full_name: Fischer, Irmgard
last_name: Fischer
- first_name: Gijs A.
full_name: Versteeg, Gijs A.
last_name: Versteeg
- first_name: Martin
full_name: Loose, Martin
id: 462D4284-F248-11E8-B48F-1D18A9856A87
last_name: Loose
orcid: 0000-0001-7309-9724
- first_name: Roberto
full_name: Covino, Roberto
last_name: Covino
- first_name: G. Elif
full_name: Karagöz, G. Elif
last_name: Karagöz
citation:
ama: Kettel P, Marosits L, Spinetti E, et al. Disordered regions in the IRE1α ER
lumenal domain mediate its stress-induced clustering. EMBO Journal. 2024;43(20):4668-4698.
doi:10.1038/s44318-024-00207-0
apa: Kettel, P., Marosits, L., Spinetti, E., Rechberger, M., Giannini, C., Radler,
P., … Karagöz, G. E. (2024). Disordered regions in the IRE1α ER lumenal domain
mediate its stress-induced clustering. EMBO Journal. Embo Press. https://doi.org/10.1038/s44318-024-00207-0
chicago: Kettel, Paulina, Laura Marosits, Elena Spinetti, Michael Rechberger, Caterina
Giannini, Philipp Radler, Isabell Niedermoser, et al. “Disordered Regions in the
IRE1α ER Lumenal Domain Mediate Its Stress-Induced Clustering.” EMBO Journal.
Embo Press, 2024. https://doi.org/10.1038/s44318-024-00207-0.
ieee: P. Kettel et al., “Disordered regions in the IRE1α ER lumenal domain
mediate its stress-induced clustering,” EMBO Journal, vol. 43, no. 20.
Embo Press, pp. 4668–4698, 2024.
ista: Kettel P, Marosits L, Spinetti E, Rechberger M, Giannini C, Radler P, Niedermoser
I, Fischer I, Versteeg GA, Loose M, Covino R, Karagöz GE. 2024. Disordered regions
in the IRE1α ER lumenal domain mediate its stress-induced clustering. EMBO Journal.
43(20), 4668–4698.
mla: Kettel, Paulina, et al. “Disordered Regions in the IRE1α ER Lumenal Domain
Mediate Its Stress-Induced Clustering.” EMBO Journal, vol. 43, no. 20,
Embo Press, 2024, pp. 4668–98, doi:10.1038/s44318-024-00207-0.
short: P. Kettel, L. Marosits, E. Spinetti, M. Rechberger, C. Giannini, P. Radler,
I. Niedermoser, I. Fischer, G.A. Versteeg, M. Loose, R. Covino, G.E. Karagöz,
EMBO Journal 43 (2024) 4668–4698.
date_created: 2024-09-15T22:01:42Z
date_published: 2024-10-15T00:00:00Z
date_updated: 2025-09-08T09:22:11Z
day: '15'
ddc:
- '570'
department:
- _id: MaLo
- _id: JiFr
doi: 10.1038/s44318-024-00207-0
external_id:
isi:
- '001306286100002'
pmid:
- '39232130'
file:
- access_level: open_access
checksum: 04f4df1a561083f2846676442fc4eb3c
content_type: application/pdf
creator: dernst
date_created: 2025-01-13T08:43:20Z
date_updated: 2025-01-13T08:43:20Z
file_id: '18827'
file_name: 2024_Embo_Kettel.pdf
file_size: 10080854
relation: main_file
success: 1
file_date_updated: 2025-01-13T08:43:20Z
has_accepted_license: '1'
intvolume: ' 43'
isi: 1
issue: '20'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 4668-4698
pmid: 1
publication: EMBO Journal
publication_identifier:
eissn:
- 1460-2075
issn:
- 0261-4189
publication_status: published
publisher: Embo Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Disordered regions in the IRE1α ER lumenal domain mediate its stress-induced
clustering
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: 43
year: '2024'
...
---
_id: '18097'
abstract:
- lang: eng
text: "In our companion paper \"Tight bounds for the learning of homotopy à la Niyogi,
Smale, and Weinberger for subsets of Euclidean spaces and of Riemannian manifolds\"
we gave optimal bounds (in terms of the two one-sided Hausdorff distances) on
a sample P of an input shape \U0001D4AE (either manifold or general set with positive
reach) such that one can infer the homotopy of \U0001D4AE from the union of balls
with some radius centred at P, both in Euclidean space and in a Riemannian manifold
of bounded curvature. The construction showing the optimality of the bounds is
not straightforward. The purpose of this video is to visualize and thus elucidate
said construction in the Euclidean setting."
acknowledgement: "This research has been supported by the European Research Council
(ERC), grant No. 788183, by the Wittgenstein Prize, Austrian Science Fund (FWF),
grant No. Z 342-N31, and by the DFG Collaborative Research Center TRR 109, Austrian
Science Fund (FWF), grant No. I02979-N35. Mathijs Wintraecken: Supported by the
European Union’s Horizon 2020 research and innovation programme under the Marie
Skłodowska-Curie grant agreement No. 754411, the Austrian science fund (FWF) grant
No. M-3073, and the welcome package from IDEX of the Université Côte d’Azur.\r\nWe
thank Jean-Daniel Boissonnat, Herbert Edelsbrunner, and Mariette Yvinec for discussion."
alternative_title:
- LIPIcs
article_number: '87'
article_processing_charge: Yes
author:
- first_name: Dominique
full_name: Attali, Dominique
last_name: Attali
- first_name: Hana
full_name: Kourimska, Hana
id: D9B8E14C-3C26-11EA-98F5-1F833DDC885E
last_name: Kourimska
orcid: 0000-0001-7841-0091
- first_name: Christopher D
full_name: Fillmore, Christopher D
id: 35638A5C-AAC7-11E9-B0BF-5503E6697425
last_name: Fillmore
- first_name: Ishika
full_name: Ghosh, Ishika
id: ee449b28-344d-11ef-a6d5-9ca430e9e9ff
last_name: Ghosh
- first_name: Andre
full_name: Lieutier, Andre
last_name: Lieutier
- first_name: Elizabeth R
full_name: Stephenson, Elizabeth R
id: 2D04F932-F248-11E8-B48F-1D18A9856A87
last_name: Stephenson
orcid: 0000-0002-6862-208X
- first_name: Mathijs
full_name: Wintraecken, Mathijs
id: 307CFBC8-F248-11E8-B48F-1D18A9856A87
last_name: Wintraecken
orcid: 0000-0002-7472-2220
citation:
ama: 'Attali D, Kourimska H, Fillmore CD, et al. The ultimate frontier: An optimality
construction for homotopy inference (media exposition). In: 40th International
Symposium on Computational Geometry. Vol 293. Schloss Dagstuhl - Leibniz-Zentrum
für Informatik; 2024. doi:10.4230/LIPIcs.SoCG.2024.87'
apa: 'Attali, D., Kourimska, H., Fillmore, C. D., Ghosh, I., Lieutier, A., Stephenson,
E. R., & Wintraecken, M. (2024). The ultimate frontier: An optimality construction
for homotopy inference (media exposition). In 40th International Symposium
on Computational Geometry (Vol. 293). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum
für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.87'
chicago: 'Attali, Dominique, Hana Kourimska, Christopher D Fillmore, Ishika Ghosh,
Andre Lieutier, Elizabeth R Stephenson, and Mathijs Wintraecken. “The Ultimate
Frontier: An Optimality Construction for Homotopy Inference (Media Exposition).”
In 40th International Symposium on Computational Geometry, Vol. 293. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.SoCG.2024.87.'
ieee: 'D. Attali et al., “The ultimate frontier: An optimality construction
for homotopy inference (media exposition),” in 40th International Symposium
on Computational Geometry, Athens, Greece, 2024, vol. 293.'
ista: 'Attali D, Kourimska H, Fillmore CD, Ghosh I, Lieutier A, Stephenson ER, Wintraecken
M. 2024. The ultimate frontier: An optimality construction for homotopy inference
(media exposition). 40th International Symposium on Computational Geometry. SoCG:
Symposium on Computational Geometry, LIPIcs, vol. 293, 87.'
mla: 'Attali, Dominique, et al. “The Ultimate Frontier: An Optimality Construction
for Homotopy Inference (Media Exposition).” 40th International Symposium on
Computational Geometry, vol. 293, 87, Schloss Dagstuhl - Leibniz-Zentrum für
Informatik, 2024, doi:10.4230/LIPIcs.SoCG.2024.87.'
short: D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson,
M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
conference:
end_date: 2024-06-14
location: Athens, Greece
name: 'SoCG: Symposium on Computational Geometry'
start_date: 2024-06-11
corr_author: '1'
date_created: 2024-09-19T10:29:48Z
date_published: 2024-06-06T00:00:00Z
date_updated: 2025-04-15T07:16:58Z
day: '06'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.4230/LIPIcs.SoCG.2024.87
ec_funded: 1
file:
- access_level: open_access
checksum: 9355c2e60b8ec285e1b22719c5b73f1a
content_type: application/pdf
creator: dernst
date_created: 2024-09-19T10:30:37Z
date_updated: 2024-09-19T10:30:37Z
file_id: '18098'
file_name: 2024_LIPICs_Attali.pdf
file_size: 3507177
relation: main_file
success: 1
file_date_updated: 2024-09-19T10:30:37Z
has_accepted_license: '1'
intvolume: ' 293'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: 268116B8-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00342
name: Mathematics, Computer Science
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: fc390959-9c52-11eb-aca3-afa58bd282b2
grant_number: M03073
name: Learning and triangulating manifolds via collapses
publication: 40th International Symposium on Computational Geometry
publication_identifier:
isbn:
- '9783959773164'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
status: public
title: 'The ultimate frontier: An optimality construction for homotopy inference (media
exposition)'
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: 293
year: '2024'
...
---
APC_amount: 2742,92 EUR
OA_place: publisher
OA_type: hybrid
_id: '18108'
abstract:
- lang: eng
text: Here we announce the construction and properties of a big commutative subalgebra
of the Kirillov algebra attached to a finite dimensional irreducible representation
of a complex semisimple Lie group. They are commutative finite flat algebras over
the cohomology of the classifying space of the group. They are isomorphic with
the equivariant intersection cohomology of affine Schubert varieties, endowing
the latter with a new ring structure. Study of the finer aspects of the structure
of the big algebras will also furnish the stalks of the intersection cohomology
with ring structure, thus ringifying Lusztig’s q-weight multiplicity polynomials
i.e., certain affine Kazhdan–Lusztig polynomials.
acknowledgement: "We thank Nigel Hitchin for discussions and the joint projects this
paper has grown out from. We thank Vladyslav Zveryk for collaboration on Theorem
2.3 and on the corresponding Magma code which implements big algebras. We thank
Hiraku Nakajima for discussions and pointing out Theorem 3.1.2, a result generalizing
our original observation in the= = 0 case. Special thanks go to Leonid Rybnikov
for patiently explaining his works, in particular crucial to Theorem 2.1. We thank
Michel Brion, Michael Finkelberg, Oscar García-Prada, Jakub Löwit, Joel Kamnitzer,
Friedrich Knop, Michael McBreen, Anton Mellit, Takuro Mochizuki, Shon Ngô, Kamil
Rychlewicz, Shiyu Shen, Leslie Spencer, Balázs Szendr ˝ oi, András Szenes, and Oksana\r\nYakimova
for comments and discussions. Kamil Rychlewicz and Daniel Bedats helped with the
Mathematica files for the figures, and we used the SM_isospin Tikz package of Izaak
Neutelings for drawing the baryon multiplets. We thank the referees for many useful
comments. We acknowledge funding from FWF grant “Geometry of the tip of the global
nilpotent cone” no. P 35847."
article_number: e2319341121
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Tamás
full_name: Hausel, Tamás
id: 4A0666D8-F248-11E8-B48F-1D18A9856A87
last_name: Hausel
orcid: 0000-0002-9582-2634
citation:
ama: Hausel T. Commutative avatars of representations of semisimple Lie groups.
Proceedings of the National Academy of Sciences of the United States of America.
2024;121(38). doi:10.1073/pnas.2319341121
apa: Hausel, T. (2024). Commutative avatars of representations of semisimple Lie
groups. Proceedings of the National Academy of Sciences of the United States
of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2319341121
chicago: Hausel, Tamás. “Commutative Avatars of Representations of Semisimple Lie
Groups.” Proceedings of the National Academy of Sciences of the United States
of America. National Academy of Sciences, 2024. https://doi.org/10.1073/pnas.2319341121.
ieee: T. Hausel, “Commutative avatars of representations of semisimple Lie groups,”
Proceedings of the National Academy of Sciences of the United States of America,
vol. 121, no. 38. National Academy of Sciences, 2024.
ista: Hausel T. 2024. Commutative avatars of representations of semisimple Lie groups.
Proceedings of the National Academy of Sciences of the United States of America.
121(38), e2319341121.
mla: Hausel, Tamás. “Commutative Avatars of Representations of Semisimple Lie Groups.”
Proceedings of the National Academy of Sciences of the United States of America,
vol. 121, no. 38, e2319341121, National Academy of Sciences, 2024, doi:10.1073/pnas.2319341121.
short: T. Hausel, Proceedings of the National Academy of Sciences of the United
States of America 121 (2024).
corr_author: '1'
date_created: 2024-09-22T22:01:41Z
date_published: 2024-09-17T00:00:00Z
date_updated: 2025-05-08T09:57:59Z
day: '17'
ddc:
- '510'
department:
- _id: TaHa
doi: 10.1073/pnas.2319341121
external_id:
pmid:
- '39259592'
file:
- access_level: open_access
checksum: df80c873633c6734d2e324841e69db58
content_type: application/pdf
creator: dernst
date_created: 2024-09-23T11:22:56Z
date_updated: 2024-09-23T11:22:56Z
file_id: '18127'
file_name: 2024_PNAS_Hausel.pdf
file_size: 3764695
relation: main_file
success: 1
file_date_updated: 2024-09-23T11:22:56Z
has_accepted_license: '1'
intvolume: ' 121'
issue: '38'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 34b2c9cb-11ca-11ed-8bc3-a50ba74ca4a3
grant_number: P35847
name: Geometry of the tip of the global nilpotent cone
publication: Proceedings of the National Academy of Sciences of the United States
of America
publication_identifier:
eissn:
- 1091-6490
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
related_material:
link:
- relation: press_release
url: https://ista.ac.at/en/news/big-algebras-a-dictionary-of-abstract-math/
scopus_import: '1'
status: public
title: Commutative avatars of representations of semisimple Lie groups
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: 121
year: '2024'
...
---
_id: '18109'
abstract:
- lang: eng
text: Venous thromboembolism (VTE) is a common, deadly disease with an increasing
incidence despite preventive efforts. Clinical observations have associated elevated
antibody concentrations or antibody-based therapies with thrombotic events. However,
how antibodies contribute to thrombosis is unknown. Here, we show that reduced
blood flow enabled immunoglobulin M (IgM) to bind to FcμR and the polymeric immunoglobulin
receptor (pIgR), initiating endothelial activation and platelet recruitment. Subsequently,
the procoagulant surface of activated platelets accommodated antigen- and FcγR-independent
IgG deposition. This leads to classical complement activation, setting in motion
a prothrombotic vicious circle. Key elements of this mechanism were present in
humans in the setting of venous stasis as well as in the dysregulated immunothrombosis
of COVID-19. This antibody-driven thrombosis can be prevented by pharmacologically
targeting complement. Hence, our results uncover antibodies as previously unrecognized
central regulators of thrombosis. These findings carry relevance for therapeutic
application of antibodies and open innovative avenues to target thrombosis without
compromising hemostasis.
acknowledgement: "We thank Michael Carroll (Harvard Medical School, Boston) for providing
Ighmtm1Che, C4−/−, and C3−/− mice; Mark Suter (University of Zurich, Zurich) for
providing Aicda−/− mice; Marina Botto (Imperial College London, London) for providing
C1q−/− and fB−/− mice; Craig Gerard (Harvard Medical School, Boston) for providing
C3aR−/− mice; Falk Nimmerjahn (University Erlangen-Nuernberg, Erlangen) for providing
Fcgr−/−Fcgr2b−/− mice; Karl Lang (University of Duisburg-Essen, Essen) for providing
Fcmr−/− mice; Hans Hengartner and Rolf Zinkernagel (ETH Zurich, Zurich) for providing
KL25 mice; Mark Zabel (University Hospital of Zurich, Zurich) for providing CR2−/−
mice; Christie Ballantyne (Baylor College of Medicine, Houston) for providing CD11c−/−
mice; and Siamon Gordon (University of Oxford, Oxford) for providing CD11b−/− mice.
A.V. wishes to thank Michael Grünaug and dedicates this work to Annette, Rita, and
Hans.\r\nThis project has received funding from the European Research Council (ERC)
under the European Union’s Horizon 2020 research and innovation programme (grant
agreement no. \r\n947611) (K.S.). This study was supported by the Deutsche Forschungsgemeinschaft
through the collaborative research center 914 project B02 (K.S. and S.M.), project
B04 (A.V.), project A01 (M.M.), project B01 (M.S.), the collaborative research center
1123 project B07 (K.S. and S.M.), the collaborative research center 359 (project
A03 [K.S.] and B02 [M.S.]), the international research training group 1911 project
B09 (A.V.), the clinical research unit 303 project 7 (A.V.), cluster of excellence
2167 (A.V.), collaborative research center 1526 project 05 (A.V.), the ANR-DFG project
JAKPOT (K.S.), LMUexcellent (K.S.), and the Deutsche Zentrum für Herz-Kreislauf-Forschung
(PostDoc Grant and partner site project [K.S. and S.M.]). M.I. is supported by the
European Research Council (ERC) Advanced Grant 101141363, ERC Proof of Concept Grant
101138728, Italian Association for Cancer Research (AIRC) Grants 19891 and \r\n22737,
Italian Ministry for University and Research Grants PE00000007 (INF-ACT) and PRIN
\r\n2022FMESXL, Funded Research Agreement from Asher Biotherapeutics, VIR Biotechnology,
and BlueJay Therapeutics. V.F. is supported by the Italian Ministry for University
and Research Grants PE00000007 (INF-ACT) and Fondazione Prossimo Mio."
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Konstantin
full_name: Stark, Konstantin
last_name: Stark
- first_name: Badr
full_name: Kilani, Badr
last_name: Kilani
- first_name: Sven
full_name: Stockhausen, Sven
last_name: Stockhausen
- first_name: Johanna
full_name: Busse, Johanna
last_name: Busse
- first_name: Irene
full_name: Schubert, Irene
last_name: Schubert
- first_name: Thuy Duong
full_name: Tran, Thuy Duong
last_name: Tran
- first_name: Florian R
full_name: Gärtner, Florian R
id: 397A88EE-F248-11E8-B48F-1D18A9856A87
last_name: Gärtner
orcid: 0000-0001-6120-3723
- first_name: Alexander
full_name: Leunig, Alexander
last_name: Leunig
- first_name: Kami
full_name: Pekayvaz, Kami
last_name: Pekayvaz
- first_name: Leo
full_name: Nicolai, Leo
last_name: Nicolai
- first_name: Valeria
full_name: Fumagalli, Valeria
last_name: Fumagalli
- first_name: Julia
full_name: Stermann, Julia
last_name: Stermann
- first_name: Felix
full_name: Stephan, Felix
last_name: Stephan
- first_name: Christian
full_name: David, Christian
last_name: David
- first_name: Martin B.
full_name: Müller, Martin B.
last_name: Müller
- first_name: Birgitta
full_name: Heyman, Birgitta
last_name: Heyman
- first_name: Anja
full_name: Lux, Anja
last_name: Lux
- first_name: Alexandra
full_name: Da Palma Guerreiro, Alexandra
last_name: Da Palma Guerreiro
- first_name: Lukas P.
full_name: Frenzel, Lukas P.
last_name: Frenzel
- first_name: Christoph Q.
full_name: Schmidt, Christoph Q.
last_name: Schmidt
- first_name: Arthur
full_name: Dopler, Arthur
last_name: Dopler
- first_name: Markus
full_name: Moser, Markus
last_name: Moser
- first_name: Sue
full_name: Chandraratne, Sue
last_name: Chandraratne
- first_name: Marie Luise
full_name: Von Brühl, Marie Luise
last_name: Von Brühl
- first_name: Michael
full_name: Lorenz, Michael
last_name: Lorenz
- first_name: Thomas
full_name: Korff, Thomas
last_name: Korff
- first_name: Martina
full_name: Rudelius, Martina
last_name: Rudelius
- first_name: Oliver
full_name: Popp, Oliver
last_name: Popp
- first_name: Marieluise
full_name: Kirchner, Marieluise
last_name: Kirchner
- first_name: Philipp
full_name: Mertins, Philipp
last_name: Mertins
- first_name: Falk
full_name: Nimmerjahn, Falk
last_name: Nimmerjahn
- first_name: Matteo
full_name: Iannacone, Matteo
last_name: Iannacone
- first_name: Markus
full_name: Sperandio, Markus
last_name: Sperandio
- first_name: Bernd
full_name: Engelmann, Bernd
last_name: Engelmann
- first_name: Admar
full_name: Verschoor, Admar
last_name: Verschoor
- first_name: Steffen
full_name: Massberg, Steffen
last_name: Massberg
citation:
ama: Stark K, Kilani B, Stockhausen S, et al. Antibodies and complement are key
drivers of thrombosis. Immunity. 2024;57(9):2140-2156. doi:10.1016/j.immuni.2024.08.007
apa: Stark, K., Kilani, B., Stockhausen, S., Busse, J., Schubert, I., Tran, T. D.,
… Massberg, S. (2024). Antibodies and complement are key drivers of thrombosis.
Immunity. Elsevier. https://doi.org/10.1016/j.immuni.2024.08.007
chicago: Stark, Konstantin, Badr Kilani, Sven Stockhausen, Johanna Busse, Irene
Schubert, Thuy Duong Tran, Florian R Gärtner, et al. “Antibodies and Complement
Are Key Drivers of Thrombosis.” Immunity. Elsevier, 2024. https://doi.org/10.1016/j.immuni.2024.08.007.
ieee: K. Stark et al., “Antibodies and complement are key drivers of thrombosis,”
Immunity, vol. 57, no. 9. Elsevier, pp. 2140–2156, 2024.
ista: Stark K, Kilani B, Stockhausen S, Busse J, Schubert I, Tran TD, Gärtner FR,
Leunig A, Pekayvaz K, Nicolai L, Fumagalli V, Stermann J, Stephan F, David C,
Müller MB, Heyman B, Lux A, Da Palma Guerreiro A, Frenzel LP, Schmidt CQ, Dopler
A, Moser M, Chandraratne S, Von Brühl ML, Lorenz M, Korff T, Rudelius M, Popp
O, Kirchner M, Mertins P, Nimmerjahn F, Iannacone M, Sperandio M, Engelmann B,
Verschoor A, Massberg S. 2024. Antibodies and complement are key drivers of thrombosis.
Immunity. 57(9), 2140–2156.
mla: Stark, Konstantin, et al. “Antibodies and Complement Are Key Drivers of Thrombosis.”
Immunity, vol. 57, no. 9, Elsevier, 2024, pp. 2140–56, doi:10.1016/j.immuni.2024.08.007.
short: K. Stark, B. Kilani, S. Stockhausen, J. Busse, I. Schubert, T.D. Tran, F.R.
Gärtner, A. Leunig, K. Pekayvaz, L. Nicolai, V. Fumagalli, J. Stermann, F. Stephan,
C. David, M.B. Müller, B. Heyman, A. Lux, A. Da Palma Guerreiro, L.P. Frenzel,
C.Q. Schmidt, A. Dopler, M. Moser, S. Chandraratne, M.L. Von Brühl, M. Lorenz,
T. Korff, M. Rudelius, O. Popp, M. Kirchner, P. Mertins, F. Nimmerjahn, M. Iannacone,
M. Sperandio, B. Engelmann, A. Verschoor, S. Massberg, Immunity 57 (2024) 2140–2156.
date_created: 2024-09-22T22:01:42Z
date_published: 2024-09-10T00:00:00Z
date_updated: 2025-09-08T09:50:13Z
day: '10'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1016/j.immuni.2024.08.007
external_id:
isi:
- '001317438500001'
pmid:
- '39226900'
file:
- access_level: open_access
checksum: 4683de43d06a8fd8e3fc91af4ddc1ba2
content_type: application/pdf
creator: dernst
date_created: 2024-09-30T09:16:03Z
date_updated: 2024-09-30T09:16:03Z
file_id: '18162'
file_name: 2024_Immunity_Stark.pdf
file_size: 6892750
relation: main_file
success: 1
file_date_updated: 2024-09-30T09:16:03Z
has_accepted_license: '1'
intvolume: ' 57'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 2140-2156
pmid: 1
publication: Immunity
publication_identifier:
eissn:
- 1097-4180
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Antibodies and complement are key drivers of thrombosis
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: 57
year: '2024'
...
---
_id: '18110'
abstract:
- lang: eng
text: We study a chaotic particle-conserving kinetically constrained model, with
a single parameter which allows us to break reflection symmetry. Through extensive
numerical simulations we find that the domain wall state shows a variety of dynamical
behaviors from localization all the way to ballistic transport, depending on the
value of the reflection breaking parameter. Surprisingly, such anomalous behavior
is not mirrored in infinite-temperature dynamics, which appear to scale diffusively,
in line with expectations for generic interacting models. However, studying the
particle density gradient, we show that the lack of reflection symmetry affects
infinite-temperature dynamics, resulting in an asymmetric dynamical structure
factor. This is in disagreement with normal diffusion and suggests that the model
may also exhibit anomalous dynamics at infinite temperature in the thermodynamic
limit. Finally, we observe low-entangled eigenstates in the spectrum of the model,
a telltale sign of quantum many-body scars.
acknowledgement: "The authors acknowledge useful discussions with M. Serbyn, Z. Papic,
and A. Nunnenkamp. ´\r\nP.B. is supported by the Erwin Schrödinger Center for Quantum
Science & Technology (ESQ) of the Österreichische Akademie der Wissenschaften (ÖAW)
under the Discovery Grant. M.L. acknowledges support from the European Research
Council (ERC) under the European Union’s Horizon 2020 research and innovation programme
(Grant Agreement\r\nNo. 850899). The numerical simulations were performed using
the ITensor library [68] on the Vienna Scientific Cluster (VSC)."
article_number: L100304
article_processing_charge: No
article_type: letter_note
arxiv: 1
author:
- first_name: Pietro
full_name: Brighi, Pietro
id: 4115AF5C-F248-11E8-B48F-1D18A9856A87
last_name: Brighi
orcid: 0000-0002-7969-2729
- first_name: Marko
full_name: Ljubotina, Marko
id: F75EE9BE-5C90-11EA-905D-16643DDC885E
last_name: Ljubotina
orcid: 0000-0003-0038-7068
citation:
ama: Brighi P, Ljubotina M. Anomalous transport in the kinetically constrained quantum
East-West model. Physical Review B. 2024;110(10). doi:10.1103/PhysRevB.110.L100304
apa: Brighi, P., & Ljubotina, M. (2024). Anomalous transport in the kinetically
constrained quantum East-West model. Physical Review B. American Physical
Society. https://doi.org/10.1103/PhysRevB.110.L100304
chicago: Brighi, Pietro, and Marko Ljubotina. “Anomalous Transport in the Kinetically
Constrained Quantum East-West Model.” Physical Review B. American Physical
Society, 2024. https://doi.org/10.1103/PhysRevB.110.L100304.
ieee: P. Brighi and M. Ljubotina, “Anomalous transport in the kinetically constrained
quantum East-West model,” Physical Review B, vol. 110, no. 10. American
Physical Society, 2024.
ista: Brighi P, Ljubotina M. 2024. Anomalous transport in the kinetically constrained
quantum East-West model. Physical Review B. 110(10), L100304.
mla: Brighi, Pietro, and Marko Ljubotina. “Anomalous Transport in the Kinetically
Constrained Quantum East-West Model.” Physical Review B, vol. 110, no.
10, L100304, American Physical Society, 2024, doi:10.1103/PhysRevB.110.L100304.
short: P. Brighi, M. Ljubotina, Physical Review B 110 (2024).
corr_author: '1'
date_created: 2024-09-22T22:01:42Z
date_published: 2024-09-11T00:00:00Z
date_updated: 2025-09-08T09:49:29Z
day: '11'
department:
- _id: MaSe
doi: 10.1103/PhysRevB.110.L100304
ec_funded: 1
external_id:
arxiv:
- '2405.02102'
isi:
- '001361617100003'
intvolume: ' 110'
isi: 1
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2405.02102
month: '09'
oa: 1
oa_version: Preprint
project:
- _id: 23841C26-32DE-11EA-91FC-C7463DDC885E
call_identifier: H2020
grant_number: '850899'
name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control'
publication: Physical Review B
publication_identifier:
eissn:
- 2469-9969
issn:
- 2469-9950
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Anomalous transport in the kinetically constrained quantum East-West model
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 110
year: '2024'
...
---
DOAJ_listed: '1'
_id: '18111'
abstract:
- lang: eng
text: Observations of tidal disruption events (TDEs) show signs of nitrogen enrichment
reminiscent of other astrophysical sources such as active galactic nuclei and
star-forming galaxies. Given that TDEs probe the gas from a single star, it is
possible to test whether the observed enrichment is consistent with expectations
from the CNO cycle by looking at the observed nitrogen/carbon (N/C) abundance
ratios. Given that ≈20% of solar-mass stars (and an even larger fraction of more
massive stars) live in close binaries, it is worthwhile to also consider what
TDEs from stars influenced by binary evolution would look like. We show here that
TDEs from stars stripped of their hydrogen-rich (and nitrogen-poor) envelopes
through previous binary-induced mass loss can produce much higher observable N/C
enhancements than even TDEs from massive stars. Additionally, we predict that
the time dependence of the N/C abundance ratio in the mass fallback rate of stripped
stars will follow the inverse behavior of main-sequence stars, enabling a more
accurate characterization of the disrupted star.
acknowledgement: "This work was performed in part at Aspen Center for Physics, which
is supported by National Science Foundation grant PHY-2210452. We thank the participants
and organizers of the summer Aspen 2023 workshop on “Stellar Interactions and the
Transients They Cause” for fruitful discussions. B.M. is grateful for support from
the Carnegie Theoretical Astrophysics\r\nCenter. M.G.-G. is grateful for the support
from Northwestern University’s Presidential Fellowship. E.R.-R. thanks the Heising-Simons
Foundation, NSF (AST-2150255 and AST2307710), Swift (80NSSC21K1409, 80NSSC19K1391),
and Chandra (22-0142) for support. "
article_number: L9
article_processing_charge: Yes
article_type: original
author:
- first_name: Brenna
full_name: Mockler, Brenna
last_name: Mockler
- first_name: Monica
full_name: Gallegos-Garcia, Monica
last_name: Gallegos-Garcia
- first_name: Ylva Louise Linsdotter
full_name: Götberg, Ylva Louise Linsdotter
id: d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d
last_name: Götberg
orcid: 0000-0002-6960-6911
- first_name: Jon M.
full_name: Miller, Jon M.
last_name: Miller
- first_name: Enrico
full_name: Ramirez-Ruiz, Enrico
last_name: Ramirez-Ruiz
citation:
ama: Mockler B, Gallegos-Garcia M, Götberg YLL, Miller JM, Ramirez-Ruiz E. Tidal
disruption events from stripped stars. Astrophysical Journal Letters. 2024;973(1).
doi:10.3847/2041-8213/ad6c34
apa: Mockler, B., Gallegos-Garcia, M., Götberg, Y. L. L., Miller, J. M., & Ramirez-Ruiz,
E. (2024). Tidal disruption events from stripped stars. Astrophysical Journal
Letters. IOP Publishing. https://doi.org/10.3847/2041-8213/ad6c34
chicago: Mockler, Brenna, Monica Gallegos-Garcia, Ylva Louise Linsdotter Götberg,
Jon M. Miller, and Enrico Ramirez-Ruiz. “Tidal Disruption Events from Stripped
Stars.” Astrophysical Journal Letters. IOP Publishing, 2024. https://doi.org/10.3847/2041-8213/ad6c34.
ieee: B. Mockler, M. Gallegos-Garcia, Y. L. L. Götberg, J. M. Miller, and E. Ramirez-Ruiz,
“Tidal disruption events from stripped stars,” Astrophysical Journal Letters,
vol. 973, no. 1. IOP Publishing, 2024.
ista: Mockler B, Gallegos-Garcia M, Götberg YLL, Miller JM, Ramirez-Ruiz E. 2024.
Tidal disruption events from stripped stars. Astrophysical Journal Letters. 973(1),
L9.
mla: Mockler, Brenna, et al. “Tidal Disruption Events from Stripped Stars.” Astrophysical
Journal Letters, vol. 973, no. 1, L9, IOP Publishing, 2024, doi:10.3847/2041-8213/ad6c34.
short: B. Mockler, M. Gallegos-Garcia, Y.L.L. Götberg, J.M. Miller, E. Ramirez-Ruiz,
Astrophysical Journal Letters 973 (2024).
date_created: 2024-09-22T22:01:42Z
date_published: 2024-09-12T00:00:00Z
date_updated: 2025-09-08T09:48:50Z
day: '12'
ddc:
- '520'
department:
- _id: YlGo
doi: 10.3847/2041-8213/ad6c34
external_id:
isi:
- '001310592900001'
file:
- access_level: open_access
checksum: 050ddf873244839825714cca42b5d857
content_type: application/pdf
creator: dernst
date_created: 2024-09-30T08:54:26Z
date_updated: 2024-09-30T08:54:26Z
file_id: '18161'
file_name: 2024_AstrophysicalJourn_Mockler.pdf
file_size: 844227
relation: main_file
success: 1
file_date_updated: 2024-09-30T08:54:26Z
has_accepted_license: '1'
intvolume: ' 973'
isi: 1
issue: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
publication: Astrophysical Journal Letters
publication_identifier:
eissn:
- 2041-8213
issn:
- 2041-8205
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tidal disruption events from stripped stars
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: 973
year: '2024'
...
---
_id: '18113'
abstract:
- lang: eng
text: 'The emergence of accurate open large language models (LLMs) has led to a
race towards performant quantization techniques which can enable their execution
on end-user devices. In this paper, we revisit the problem of “extreme” LLM compression—defined
as targeting extremely low bit counts, such as 2 to 3 bits per parameter—from
the point of view of classic methods in Multi-Codebook Quantization (MCQ). Our
algorithm, called AQLM, generalizes the classic Additive Quantization (AQ) approach
for information retrieval to advance the state-of-the-art in LLM compression,
via two innovations: 1) learned additive quantization of weight matrices in input-adaptive
fashion, and 2) joint optimization of codebook parameters across each transformer
blocks. Broadly, AQLM is the first scheme that is Pareto optimal in terms of accuracy-vs-model-size
when compressing to less than 3 bits per parameter, and significantly improves
upon all known schemes in the extreme compression (2bit) regime. In addition,
AQLM is practical: we provide fast GPU and CPU implementations of AQLM for token
generation, which enable us to match or outperform optimized FP16 implementations
for speed, while executing in a much smaller memory footprint.'
acknowledgement: "Authors would like to thank Ruslan Svirschevski for his help in
solving technical issues with AQLM and baselines. We also thank Tim Dettmers for
helpful discussions on the structure of weights in modern LLMs and size-accuracy
trade-offs. The authors would also like to thank Daniil Pavlov for his assistance
with CPU benchmarking. Finally, authors would like to thank the communities of ML
enthusiasts known as LocalLLaMA5 and Petals community on discord6\r\nfor the crowd
wisdom about running LLMs on consumer devices. Egiazarian Vage and Denis Kuznedelev
and Andrei Panferov were supported by the grant for research centers in the field
of AI provided by the Analytical Center for the Government of the Russian Federation
(ACRF) in\r\naccordance with the agreement on the provision of subsidies (identifier
of the agreement 000000D730321P5Q0002) and the agreement with HSE University No.
70-2021-00139."
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Vage
full_name: Egiazarian, Vage
last_name: Egiazarian
- first_name: Andrei
full_name: Panferov, Andrei
id: 2c18daae-4dbe-11ef-8491-98ce2d960f09
last_name: Panferov
- first_name: Denis
full_name: Kuznedelev, Denis
last_name: Kuznedelev
- first_name: Elias
full_name: Frantar, Elias
id: 09a8f98d-ec99-11ea-ae11-c063a7b7fe5f
last_name: Frantar
- first_name: Artem
full_name: Babenko, Artem
last_name: Babenko
- 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: 'Egiazarian V, Panferov A, Kuznedelev D, Frantar E, Babenko A, Alistarh D-A.
Extreme compression of large language models via additive quantization. In: Proceedings
of the 41st International Conference on Machine Learning. Vol 235. ML Research
Press; 2024:12284-12303.'
apa: 'Egiazarian, V., Panferov, A., Kuznedelev, D., Frantar, E., Babenko, A., &
Alistarh, D.-A. (2024). Extreme compression of large language models via additive
quantization. In Proceedings of the 41st International Conference on Machine
Learning (Vol. 235, pp. 12284–12303). Vienna, Austria: ML Research Press.'
chicago: Egiazarian, Vage, Andrei Panferov, Denis Kuznedelev, Elias Frantar, Artem
Babenko, and Dan-Adrian Alistarh. “Extreme Compression of Large Language Models
via Additive Quantization.” In Proceedings of the 41st International Conference
on Machine Learning, 235:12284–303. ML Research Press, 2024.
ieee: V. Egiazarian, A. Panferov, D. Kuznedelev, E. Frantar, A. Babenko, and D.-A.
Alistarh, “Extreme compression of large language models via additive quantization,”
in Proceedings of the 41st International Conference on Machine Learning,
Vienna, Austria, 2024, vol. 235, pp. 12284–12303.
ista: 'Egiazarian V, Panferov A, Kuznedelev D, Frantar E, Babenko A, Alistarh D-A.
2024. Extreme compression of large language models via additive quantization.
Proceedings of the 41st International Conference on Machine Learning. ICML: International
Conference on Machine Learning, PMLR, vol. 235, 12284–12303.'
mla: Egiazarian, Vage, et al. “Extreme Compression of Large Language Models via
Additive Quantization.” Proceedings of the 41st International Conference on
Machine Learning, vol. 235, ML Research Press, 2024, pp. 12284–303.
short: V. Egiazarian, A. Panferov, D. Kuznedelev, E. Frantar, A. Babenko, D.-A.
Alistarh, in:, Proceedings of the 41st International Conference on Machine Learning,
ML Research Press, 2024, pp. 12284–12303.
conference:
end_date: 2024-07-27
location: Vienna, Austria
name: 'ICML: International Conference on Machine Learning'
start_date: 2024-07-21
corr_author: '1'
date_created: 2024-09-22T22:01:43Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2024-10-01T08:13:05Z
day: '01'
department:
- _id: DaAl
- _id: GradSch
external_id:
arxiv:
- '2401.06118'
intvolume: ' 235'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2401.06118'
month: '09'
oa: 1
oa_version: Preprint
page: 12284-12303
publication: Proceedings of the 41st 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: Extreme compression of large language models via additive quantization
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 235
year: '2024'
...
---
_id: '18114'
abstract:
- lang: eng
text: This paper presents Mechanistic Neural Networks, a neural network design for
machine learning applications in the sciences. It incorporates a new Mechanistic
Block in standard architectures to explicitly learn governing differential equations
as representations, revealing the underlying dynamics of data and enhancing interpretability
and efficiency in data modeling. Central to our approach is a novel Relaxed Linear
Programming Solver (NeuRLP) inspired by a technique that reduces solving linear
ODEs to solving linear programs. This integrates well with neural networks and
surpasses the limitations of traditional ODE solvers enabling scalable GPU parallel
processing. Overall, Mechanistic Neural Networks demonstrate their versatility
for scientific machine learning applications, adeptly managing tasks from equation
discovery to dynamic systems modeling. We prove their comprehensive capabilities
in analyzing and interpreting complex scientific data across various applications,
showing significant performance against specialized state-of-the-art methods.
Source code is available at https://github.com/alpz/mech-nn.
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Adeel A
full_name: Pervez, Adeel A
id: fca6d90c-d47f-11ee-bc87-93ff51604981
last_name: Pervez
- first_name: Francesco
full_name: Locatello, Francesco
id: 26cfd52f-2483-11ee-8040-88983bcc06d4
last_name: Locatello
orcid: 0000-0002-4850-0683
- first_name: Efstratios
full_name: Gavves, Efstratios
last_name: Gavves
citation:
ama: 'Pervez AA, Locatello F, Gavves E. Mechanistic neural networks for scientific
machine learning. In: Proceedings of the 41st International Conference on Machine
Learning. Vol 235. ML Research Press; 2024:40484-40501.'
apa: 'Pervez, A. A., Locatello, F., & Gavves, E. (2024). Mechanistic neural
networks for scientific machine learning. In Proceedings of the 41st International
Conference on Machine Learning (Vol. 235, pp. 40484–40501). Vienna, Austria:
ML Research Press.'
chicago: Pervez, Adeel A, Francesco Locatello, and Efstratios Gavves. “Mechanistic
Neural Networks for Scientific Machine Learning.” In Proceedings of the 41st
International Conference on Machine Learning, 235:40484–501. ML Research Press,
2024.
ieee: A. A. Pervez, F. Locatello, and E. Gavves, “Mechanistic neural networks for
scientific machine learning,” in Proceedings of the 41st International Conference
on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 40484–40501.
ista: 'Pervez AA, Locatello F, Gavves E. 2024. Mechanistic neural networks for scientific
machine learning. Proceedings of the 41st International Conference on Machine
Learning. ICML: International Conference on Machine Learning, PMLR, vol. 235,
40484–40501.'
mla: Pervez, Adeel A., et al. “Mechanistic Neural Networks for Scientific Machine
Learning.” Proceedings of the 41st International Conference on Machine Learning,
vol. 235, ML Research Press, 2024, pp. 40484–501.
short: A.A. Pervez, F. Locatello, E. Gavves, in:, Proceedings of the 41st International
Conference on Machine Learning, ML Research Press, 2024, pp. 40484–40501.
conference:
end_date: 2024-07-27
location: Vienna, Austria
name: 'ICML: International Conference on Machine Learning'
start_date: 2024-07-21
date_created: 2024-09-22T22:01:43Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2024-10-01T08:01:17Z
day: '01'
department:
- _id: FrLo
external_id:
arxiv:
- '2402.13077'
intvolume: ' 235'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2402.13077
month: '09'
oa: 1
oa_version: Published Version
page: 40484-40501
publication: Proceedings of the 41st International Conference on Machine Learning
publication_identifier:
eissn:
- 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/alpz/mech-nn
scopus_import: '1'
status: public
title: Mechanistic neural networks for scientific machine learning
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 235
year: '2024'
...
---
_id: '18115'
abstract:
- lang: eng
text: "We study the data selection problem, whose aim is to select a small representative
subset of data that can be used to efficiently train a machine learning model.
We present a new data selection approach based on k-means clustering and sensitivity
sampling. Assuming access to an embedding representation of the data with respect
to which the model loss is Holder continuous, our approach provably allows selecting
a set of “typical” k+1/ε2 elements whose average loss corresponds to the average
loss of the whole dataset, up to a multiplicative (1±ε)\r\n factor and an additive
ελΦk, where Φk represents the k-means cost for the input embeddings and λ is the
Holder constant. We furthermore demonstrate the performance and scalability of
our approach on fine-tuning foundation models and show that it outperforms state-of-the-art
methods. We also show how it can be applied on linear regression, leading to a
new sampling strategy that surprisingly matches the performance of leverage score
sampling, while being conceptually simpler and more scalable."
acknowledgement: "Monika Henzinger: 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) and the Austrian Science Fund (FWF) grant
DOI 10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with
additional funding from the netidee SCIENCE Stiftung, 2020–2024. This work was partially
done while David Saulpic was at the Institute for Science and Technology, Austria
(ISTA). David Sauplic has received funding from the European Union’s Horizon 2020
research and innovation programme under the\r\nMarie Sklodowska-Curie grant agreement
No 101034413. Work was done while David Woodruff was visiting Google Research."
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Kyriakos
full_name: Axiotis, Kyriakos
last_name: Axiotis
- first_name: Vincent
full_name: Cohen-Addad, Vincent
last_name: Cohen-Addad
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Sammy
full_name: Jerome, Sammy
last_name: Jerome
- first_name: Vahab
full_name: Mirrokni, Vahab
last_name: Mirrokni
- first_name: David
full_name: Saulpic, David
id: f8e48cf0-b0ff-11ed-b0e9-b4c35598f964
last_name: Saulpic
- first_name: David P.
full_name: Woodruff, David P.
last_name: Woodruff
- first_name: Michael
full_name: Wunder, Michael
last_name: Wunder
citation:
ama: 'Axiotis K, Cohen-Addad V, Henzinger M, et al. Data-efficient learning via
clustering-based sensitivity sampling: Foundation models and beyond. In: Proceedings
of the 41st International Conference on Machine Learning. Vol 235. ML Research
Press; 2024:2086-2107.'
apa: 'Axiotis, K., Cohen-Addad, V., Henzinger, M., Jerome, S., Mirrokni, V., Saulpic,
D., … Wunder, M. (2024). Data-efficient learning via clustering-based sensitivity
sampling: Foundation models and beyond. In Proceedings of the 41st International
Conference on Machine Learning (Vol. 235, pp. 2086–2107). Vienna, Austria:
ML Research Press.'
chicago: 'Axiotis, Kyriakos, Vincent Cohen-Addad, Monika Henzinger, Sammy Jerome,
Vahab Mirrokni, David Saulpic, David P. Woodruff, and Michael Wunder. “Data-Efficient
Learning via Clustering-Based Sensitivity Sampling: Foundation Models and Beyond.”
In Proceedings of the 41st International Conference on Machine Learning,
235:2086–2107. ML Research Press, 2024.'
ieee: 'K. Axiotis et al., “Data-efficient learning via clustering-based sensitivity
sampling: Foundation models and beyond,” in Proceedings of the 41st International
Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 2086–2107.'
ista: 'Axiotis K, Cohen-Addad V, Henzinger M, Jerome S, Mirrokni V, Saulpic D, Woodruff
DP, Wunder M. 2024. Data-efficient learning via clustering-based sensitivity sampling:
Foundation models and beyond. Proceedings of the 41st International Conference
on Machine Learning. ICML: International Conference on Machine Learning, PMLR,
vol. 235, 2086–2107.'
mla: 'Axiotis, Kyriakos, et al. “Data-Efficient Learning via Clustering-Based Sensitivity
Sampling: Foundation Models and Beyond.” Proceedings of the 41st International
Conference on Machine Learning, vol. 235, ML Research Press, 2024, pp. 2086–107.'
short: K. Axiotis, V. Cohen-Addad, M. Henzinger, S. Jerome, V. Mirrokni, D. Saulpic,
D.P. Woodruff, M. Wunder, in:, Proceedings of the 41st International Conference
on Machine Learning, ML Research Press, 2024, pp. 2086–2107.
conference:
end_date: 2024-07-27
location: Vienna, Austria
name: 'ICML: International Conference on Machine Learning'
start_date: 2024-07-21
date_created: 2024-09-22T22:01:44Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2025-04-14T13:50:50Z
day: '01'
department:
- _id: MoHe
ec_funded: 1
external_id:
arxiv:
- '2402.17327'
intvolume: ' 235'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2402.17327
month: '09'
oa: 1
oa_version: Published Version
page: 2086-2107
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: 34def286-11ca-11ed-8bc3-da5948e1613c
grant_number: Z00422
name: Efficient algorithms
- _id: bda196b2-d553-11ed-ba76-8e8ee6c21103
grant_number: I05982
name: Static and Dynamic Hierarchical Graph Decompositions
- _id: bd9e3a2e-d553-11ed-ba76-8aa684ce17fe
grant_number: P33775
name: Fast Algorithms for a Reactive Network Layer
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Proceedings of the 41st 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: 'Data-efficient learning via clustering-based sensitivity sampling: Foundation
models and beyond'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 235
year: '2024'
...
---
_id: '18116'
abstract:
- lang: eng
text: 'As a staple of data analysis and unsupervised learning, the problem of private
clustering has been widely studied, under various privacy models. Centralized
differential privacy is the first of them, and the problem has also been studied
for the local and the shuffle variation. In each case, the goal is to design an
algorithm that computes privately a clustering, with the smallest possible error.
The study of each variation gave rise to new algorithm: the landscape of private
clustering algorithm is therefore quite intricate. In this paper, we show that
a 20 year-old algorithm can be slightly modified to work for any of those models.
This provides a unified picture: while matching almost all previously known results,
it allows us to improve some of them, and extend to a new privacy model, the continual
observation setting, where the input is changing over time and the algorithm must
output a new solution at each time step.'
acknowledgement: 'Monika Henzinger: 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) and the Austrian Science Fund (FWF) grant
DOI 10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with
additional funding from the netidee SCIENCE Stiftung, 2020–2024.This work was partially
done while David Saulpic was at the Institute for Science and Technology, Austria
(ISTA). David Sauplic has received funding from the European Union’s Horizon 2020
research and innovation programme under the Marie Sklodowska-Curie grant agreement
No 101034413.'
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Max Dupré
full_name: La Tour, Max Dupré
last_name: La Tour
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: David
full_name: Saulpic, David
id: f8e48cf0-b0ff-11ed-b0e9-b4c35598f964
last_name: Saulpic
citation:
ama: 'La Tour MD, Henzinger M, Saulpic D. Making old things new: A unified algorithm
for differentially private clustering. In: Proceedings of the 41st International
Conference on Machine Learning. Vol 235. ML Research Press; 2024:12046-12086.'
apa: 'La Tour, M. D., Henzinger, M., & Saulpic, D. (2024). Making old things
new: A unified algorithm for differentially private clustering. In Proceedings
of the 41st International Conference on Machine Learning (Vol. 235, pp. 12046–12086).
Vienna, Austria: ML Research Press.'
chicago: 'La Tour, Max Dupré, Monika Henzinger, and David Saulpic. “Making Old Things
New: A Unified Algorithm for Differentially Private Clustering.” In Proceedings
of the 41st International Conference on Machine Learning, 235:12046–86. ML
Research Press, 2024.'
ieee: 'M. D. La Tour, M. Henzinger, and D. Saulpic, “Making old things new: A unified
algorithm for differentially private clustering,” in Proceedings of the 41st
International Conference on Machine Learning, Vienna, Austria, 2024, vol.
235, pp. 12046–12086.'
ista: 'La Tour MD, Henzinger M, Saulpic D. 2024. Making old things new: A unified
algorithm for differentially private clustering. Proceedings of the 41st International
Conference on Machine Learning. ICML: International Conference on Machine Learning,
PMLR, vol. 235, 12046–12086.'
mla: 'La Tour, Max Dupré, et al. “Making Old Things New: A Unified Algorithm for
Differentially Private Clustering.” Proceedings of the 41st International Conference
on Machine Learning, vol. 235, ML Research Press, 2024, pp. 12046–86.'
short: M.D. La Tour, M. Henzinger, D. Saulpic, in:, Proceedings of the 41st International
Conference on Machine Learning, ML Research Press, 2024, pp. 12046–12086.
conference:
end_date: 2024-07-27
location: Vienna, Austria
name: 'ICML: International Conference on Machine Learning'
start_date: 2024-07-21
corr_author: '1'
date_created: 2024-09-22T22:01:44Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2025-04-14T13:50:50Z
day: '01'
department:
- _id: MoHe
ec_funded: 1
external_id:
arxiv:
- '2406.11649'
intvolume: ' 235'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2406.11649
month: '09'
oa: 1
oa_version: Published Version
page: 12046-12086
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: 34def286-11ca-11ed-8bc3-da5948e1613c
grant_number: Z00422
name: Efficient algorithms
- _id: bda196b2-d553-11ed-ba76-8e8ee6c21103
grant_number: I05982
name: Static and Dynamic Hierarchical Graph Decompositions
- _id: bd9e3a2e-d553-11ed-ba76-8aa684ce17fe
grant_number: P33775
name: Fast Algorithms for a Reactive Network Layer
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
call_identifier: H2020
grant_number: '101034413'
name: 'IST-BRIDGE: International postdoctoral program'
publication: Proceedings of the 41st 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: 'Making old things new: A unified algorithm for differentially private clustering'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 235
year: '2024'
...
---
_id: '18117'
abstract:
- lang: eng
text: "We investigate parameter-efficient fine-tuning (PEFT) methods that can provide
good accuracy under limited computational and memory budgets in the context of
large language models (LLMs). We present a new PEFT method called Robust Adaptation
(RoSA) inspired by robust principal component analysis that jointly trains low-rank\r\n
and highly-sparse components on top of a set of fixed pretrained weights to efficiently
approximate the performance of a full-fine-tuning (FFT) solution. Across a series
of challenging generative tasks such as grade-school math and SQL query generation,
which require fine-tuning for good performance, we show that RoSA outperforms
LoRA, pure sparse fine-tuning, and alternative hybrid methods at the same parameter
budget, and can even recover the performance of FFT on some tasks. We provide
system support for RoSA to complement the training algorithm, specifically in
the form of sparse GPU kernels which enable memory- and computationally-efficient
training, and show that it is also compatible with low-precision base weights,
resulting in the first joint representation combining quantization, low-rank and
sparse approximations. Our code is available at https://github.com/IST-DASLab/RoSA."
acknowledgement: The authors would like to thank Eldar Kurtic for experimental support
and useful suggestions throughout the project
article_processing_charge: No
arxiv: 1
author:
- first_name: Mahdi
full_name: Nikdan, Mahdi
id: 66374281-f394-11eb-9cf6-869147deecc0
last_name: Nikdan
- first_name: Soroush
full_name: Tabesh, Soroush
id: 06000900-6068-11ef-8d61-c2472ef2e752
last_name: Tabesh
orcid: 0009-0003-4119-6281
- first_name: Elvir
full_name: Crncevic, Elvir
id: 41888001-440d-11ef-8299-d0e838b8185e
last_name: Crncevic
- 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: 'Nikdan M, Tabesh S, Crncevic E, Alistarh D-A. RoSA: Accurate parameter-efficient
fine-tuning via robust adaptation. In: Proceedings of the 41st International
Conference on Machine Learning. Vol 235. ML Research Press; 2024:38187-38206.'
apa: 'Nikdan, M., Tabesh, S., Crncevic, E., & Alistarh, D.-A. (2024). RoSA:
Accurate parameter-efficient fine-tuning via robust adaptation. In Proceedings
of the 41st International Conference on Machine Learning (Vol. 235, pp. 38187–38206).
Vienna, Austria: ML Research Press.'
chicago: 'Nikdan, Mahdi, Soroush Tabesh, Elvir Crncevic, and Dan-Adrian Alistarh.
“RoSA: Accurate Parameter-Efficient Fine-Tuning via Robust Adaptation.” In Proceedings
of the 41st International Conference on Machine Learning, 235:38187–206. ML
Research Press, 2024.'
ieee: 'M. Nikdan, S. Tabesh, E. Crncevic, and D.-A. Alistarh, “RoSA: Accurate parameter-efficient
fine-tuning via robust adaptation,” in Proceedings of the 41st International
Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 38187–38206.'
ista: 'Nikdan M, Tabesh S, Crncevic E, Alistarh D-A. 2024. RoSA: Accurate parameter-efficient
fine-tuning via robust adaptation. Proceedings of the 41st International Conference
on Machine Learning. ICML: International Conference on Machine Learning vol. 235,
38187–38206.'
mla: 'Nikdan, Mahdi, et al. “RoSA: Accurate Parameter-Efficient Fine-Tuning via
Robust Adaptation.” Proceedings of the 41st International Conference on Machine
Learning, vol. 235, ML Research Press, 2024, pp. 38187–206.'
short: M. Nikdan, S. Tabesh, E. Crncevic, D.-A. Alistarh, in:, Proceedings of the
41st International Conference on Machine Learning, ML Research Press, 2024, pp.
38187–38206.
conference:
end_date: 2024-07-27
location: Vienna, Austria
name: 'ICML: International Conference on Machine Learning'
start_date: 2024-07-21
corr_author: '1'
date_created: 2024-09-22T22:01:44Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2024-10-01T08:22:01Z
day: '01'
department:
- _id: DaAl
- _id: GradSch
external_id:
arxiv:
- '2401.04679'
intvolume: ' 235'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2401.04679
month: '09'
oa: 1
oa_version: Preprint
page: 38187-38206
publication: Proceedings of the 41st International Conference on Machine Learning
publication_identifier:
eissn:
- 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/IST-DASLab/RoSA
scopus_import: '1'
status: public
title: 'RoSA: Accurate parameter-efficient fine-tuning via robust adaptation'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 235
year: '2024'
...
---
_id: '18118'
abstract:
- lang: eng
text: We introduce a new framework for studying meta-learning methods using PAC-Bayesian
theory. Its main advantage over previous work is that it allows for more flexibility
in how the transfer of knowledge between tasks is realized. For previous approaches,
this could only happen indirectly, by means of learning prior distributions over
models. In contrast, the new generalization bounds that we prove express the process
of meta-learning much more directly as learning the learning algorithm that should
be used for future tasks. The flexibility of our framework makes it suitable to
analyze a wide range of meta-learning mechanisms and even design new mechanisms.
Other than our theoretical contributions we also show empirically that our framework
improves the prediction quality in practical meta-learning mechanisms.
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Hossein
full_name: Zakerinia, Hossein
id: 653bd8b6-f394-11eb-9cf6-c0bbf6cd78d4
last_name: Zakerinia
- first_name: Amin
full_name: Behjati, Amin
last_name: Behjati
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Zakerinia H, Behjati A, Lampert C. More flexible PAC-Bayesian meta-learning
by learning learning algorithms. In: Proceedings of the 41st International
Conference on Machine Learning. Vol 235. ML Research Press; 2024:58122-58139.'
apa: 'Zakerinia, H., Behjati, A., & Lampert, C. (2024). More flexible PAC-Bayesian
meta-learning by learning learning algorithms. In Proceedings of the 41st International
Conference on Machine Learning (Vol. 235, pp. 58122–58139). Vienna, Austria:
ML Research Press.'
chicago: Zakerinia, Hossein, Amin Behjati, and Christoph Lampert. “More Flexible
PAC-Bayesian Meta-Learning by Learning Learning Algorithms.” In Proceedings
of the 41st International Conference on Machine Learning, 235:58122–39. ML
Research Press, 2024.
ieee: H. Zakerinia, A. Behjati, and C. Lampert, “More flexible PAC-Bayesian meta-learning
by learning learning algorithms,” in Proceedings of the 41st International
Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 58122–58139.
ista: 'Zakerinia H, Behjati A, Lampert C. 2024. More flexible PAC-Bayesian meta-learning
by learning learning algorithms. Proceedings of the 41st International Conference
on Machine Learning. ICML: International Conference on Machine Learning, PMLR,
vol. 235, 58122–58139.'
mla: Zakerinia, Hossein, et al. “More Flexible PAC-Bayesian Meta-Learning by Learning
Learning Algorithms.” Proceedings of the 41st International Conference on Machine
Learning, vol. 235, ML Research Press, 2024, pp. 58122–39.
short: H. Zakerinia, A. Behjati, C. Lampert, in:, Proceedings of the 41st International
Conference on Machine Learning, ML Research Press, 2024, pp. 58122–58139.
conference:
end_date: 2024-07-27
location: Vienna, Austria
name: 'ICML: International Conference on Machine Learning'
start_date: 2024-07-21
corr_author: '1'
date_created: 2024-09-22T22:01:45Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2024-10-01T09:30:03Z
day: '01'
department:
- _id: ChLa
external_id:
arxiv:
- '2402.04054'
intvolume: ' 235'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2402.04054'
month: '09'
oa: 1
oa_version: Published Version
page: 58122-58139
publication: Proceedings of the 41st 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: More flexible PAC-Bayesian meta-learning by learning learning algorithms
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 235
year: '2024'
...
---
_id: '18121'
abstract:
- lang: eng
text: It is known that sparsity can improve interpretability for deep neural networks.
However, existing methods in the area either require networks that are pre-trained
with sparsity constraints, or impose sparsity after the fact, altering the network’s
general behavior. In this paper, we demonstrate, for the first time, that sparsity
can instead be incorporated into the interpretation process itself, as a sample-specific
preprocessing step. Unlike previous work, this approach, which we call SPADE,
does not place constraints on the trained model and does not affect its behavior
during inference on the sample. Given a trained model and a target sample, SPADE
uses sample-targeted pruning to provide a "trace" of the network’s execution on
the sample, reducing the network to the most important connections prior to computing
an interpretation. We demonstrate that preprocessing with SPADE significantly
increases the accuracy of image saliency maps across several interpretability
methods. Additionally, SPADE improves the usefulness of neuron visualizations,
aiding humans in reasoning about network behavior. Our code is available at https://github.com/IST-DASLab/SPADE.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: The authors would like to thank Stephen Casper and Tony Wang for
their feedback on this work, and Eldar Kurtic for his advice on aspects of the project.
This research was supported by the Scientific Service Units (SSU) of IST Austria
through resources provided by Scientific Computing (SciComp). EI was supported in
part by the FWF DK VGSCO, grant agreement number W1260-N35.
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Arshia Soltani
full_name: Moakhar, Arshia Soltani
last_name: Moakhar
- first_name: Eugenia B
full_name: Iofinova, Eugenia B
id: f9a17499-f6e0-11ea-865d-fdf9a3f77117
last_name: Iofinova
orcid: 0000-0002-7778-3221
- first_name: Elias
full_name: Frantar, Elias
id: 09a8f98d-ec99-11ea-ae11-c063a7b7fe5f
last_name: Frantar
- 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: 'Moakhar AS, Iofinova EB, Frantar E, Alistarh D-A. SPADE: Sparsity-guided debugging
for deep neural networks. In: Proceedings of the 41st International Conference
on Machine Learning. Vol 235. ML Research Press; 2024:45955-45987.'
apa: 'Moakhar, A. S., Iofinova, E. B., Frantar, E., & Alistarh, D.-A. (2024).
SPADE: Sparsity-guided debugging for deep neural networks. In Proceedings of
the 41st International Conference on Machine Learning (Vol. 235, pp. 45955–45987).
Vienna, Austria: ML Research Press.'
chicago: 'Moakhar, Arshia Soltani, Eugenia B Iofinova, Elias Frantar, and Dan-Adrian
Alistarh. “SPADE: Sparsity-Guided Debugging for Deep Neural Networks.” In Proceedings
of the 41st International Conference on Machine Learning, 235:45955–87. ML
Research Press, 2024.'
ieee: 'A. S. Moakhar, E. B. Iofinova, E. Frantar, and D.-A. Alistarh, “SPADE: Sparsity-guided
debugging for deep neural networks,” in Proceedings of the 41st International
Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 45955–45987.'
ista: 'Moakhar AS, Iofinova EB, Frantar E, Alistarh D-A. 2024. SPADE: Sparsity-guided
debugging for deep neural networks. Proceedings of the 41st International Conference
on Machine Learning. ICML: International Conference on Machine Learning, PMLR,
vol. 235, 45955–45987.'
mla: 'Moakhar, Arshia Soltani, et al. “SPADE: Sparsity-Guided Debugging for Deep
Neural Networks.” Proceedings of the 41st International Conference on Machine
Learning, vol. 235, ML Research Press, 2024, pp. 45955–87.'
short: A.S. Moakhar, E.B. Iofinova, E. Frantar, D.-A. Alistarh, in:, Proceedings
of the 41st International Conference on Machine Learning, ML Research Press, 2024,
pp. 45955–45987.
conference:
end_date: 2024-07-27
location: Vienna, Austria
name: 'ICML: International Conference on Machine Learning'
start_date: 2024-07-21
corr_author: '1'
date_created: 2024-09-22T22:01:46Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2025-04-25T10:32:05Z
day: '01'
department:
- _id: DaAl
external_id:
arxiv:
- '2310.04519'
intvolume: ' 235'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2310.04519
month: '09'
oa: 1
oa_version: Preprint
page: 45955-45987
project:
- _id: 9B9290DE-BA93-11EA-9121-9846C619BF3A
grant_number: W1260-N35
name: Vienna Graduate School on Computational Optimization
publication: Proceedings of the 41st International Conference on Machine Learning
publication_identifier:
eissn:
- 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/IST-DASLab/SPADE
scopus_import: '1'
status: public
title: 'SPADE: Sparsity-guided debugging for deep neural networks'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 235
year: '2024'
...
---
_id: '18155'
abstract:
- lang: eng
text: We study the classical problem of verifying programs with respect to formal
specifications given in the linear temporal logic (LTL). We first present novel
sound and complete witnesses for LTL verification over imperative programs. Our
witnesses are applicable to both verification (proving) and refutation (finding
bugs) settings. We then consider LTL formulas in which atomic propositions can
be polynomial constraints and turn our focus to polynomial arithmetic programs,
i.e. programs in which every assignment and guard consists only of polynomial
expressions. For this setting, we provide an efficient algorithm to automatically
synthesize such LTL witnesses. Our synthesis procedure is both sound and semi-complete.
Finally, we present experimental results demonstrating the effectiveness of our
approach and that it can handle programs which were beyond the reach of previous
state-of-the-art tools.
acknowledgement: This work was supported in part by the ERC-2020-CoG 863818 (FoRM-SMArt)
and the Hong Kong Research Grants Council ECS Project Number 26208122.
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Ehsan
full_name: Goharshady, Ehsan
last_name: Goharshady
- first_name: Mehrdad
full_name: Karrabi, Mehrdad
id: 67638922-f394-11eb-9cf6-f20423e08757
last_name: Karrabi
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. Sound and complete
witnesses for template-based verification of LTL properties on polynomial programs.
In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14933. Springer
Nature; 2024:600-619. doi:10.1007/978-3-031-71162-6_31'
apa: 'Chatterjee, K., Goharshady, A. K., Goharshady, E., Karrabi, M., & Zikelic,
D. (2024). Sound and complete witnesses for template-based verification of LTL
properties on polynomial programs. In Lecture Notes in Computer Science (including
subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(Vol. 14933, pp. 600–619). Milan, Italy: Springer Nature. https://doi.org/10.1007/978-3-031-71162-6_31'
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Ehsan Goharshady, Mehrdad
Karrabi, and Dorde Zikelic. “Sound and Complete Witnesses for Template-Based Verification
of LTL Properties on Polynomial Programs.” In Lecture Notes in Computer Science
(Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes
in Bioinformatics), 14933:600–619. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71162-6_31.
ieee: K. Chatterjee, A. K. Goharshady, E. Goharshady, M. Karrabi, and D. Zikelic,
“Sound and complete witnesses for template-based verification of LTL properties
on polynomial programs,” in Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Milan, Italy, 2024, vol. 14933, pp. 600–619.
ista: 'Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Zikelic D. 2024. Sound
and complete witnesses for template-based verification of LTL properties on polynomial
programs. Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics). FM: Formal Methods,
LNCS, vol. 14933, 600–619.'
mla: Chatterjee, Krishnendu, et al. “Sound and Complete Witnesses for Template-Based
Verification of LTL Properties on Polynomial Programs.” Lecture Notes in Computer
Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture
Notes in Bioinformatics), vol. 14933, Springer Nature, 2024, pp. 600–19, doi:10.1007/978-3-031-71162-6_31.
short: K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:,
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp.
600–619.
conference:
end_date: 2024-09-13
location: Milan, Italy
name: 'FM: Formal Methods'
start_date: 2024-09-09
corr_author: '1'
date_created: 2024-09-29T22:01:37Z
date_published: 2024-09-11T00:00:00Z
date_updated: 2025-09-08T09:51:34Z
day: '11'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-71162-6_31
ec_funded: 1
external_id:
arxiv:
- '2403.05386'
isi:
- '001336893300031'
file:
- access_level: open_access
checksum: 223845be9e754681ee218866827c95e7
content_type: application/pdf
creator: dernst
date_created: 2024-10-01T09:56:54Z
date_updated: 2024-10-01T09:56:54Z
file_id: '18165'
file_name: 2024_LNCS_Chatterjee.pdf
file_size: 650495
relation: main_file
success: 1
file_date_updated: 2024-10-01T09:56:54Z
has_accepted_license: '1'
intvolume: ' 14933'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 600-619
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: Lecture Notes in Computer Science (including subseries Lecture Notes
in Artificial Intelligence and Lecture Notes in Bioinformatics)
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783031711619'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sound and complete witnesses for template-based verification of LTL properties
on polynomial programs
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 14933
year: '2024'
...
---
_id: '18156'
abstract:
- lang: eng
text: Privately counting distinct elements in a stream is a fundamental data analysis
problem with many applications in machine learning. In the turnstile model, Jain
et al. [NeurIPS2023] initiated the study of this problem parameterized by the
maximum flippancy of any element, i.e., the number of times that the count of
an element changes from 0 to above 0 or vice versa. They give an item-level (ε,δ)-differentially
private algorithm whose additive error is tight with respect to that parameterization.
In this work, we show that a very simple algorithm based on the sparse vector
technique achieves a tight additive error for item-level (ε,δ)-differential privacy
and item-level ε-differential privacy with regards to a different parameterization,
namely the sum of all flippancies. Our second result is a bound which shows that
for a large class of algorithms, including all existing differentially private
algorithms for this problem, the lower bound from item-level differential privacy
extends to event-level differential privacy. This partially answers an open question
by Jain et al. [NeurIPS2023].
acknowledgement: "Monika Henzinger: This project has received funding from the European
Research Council\r\n(ERC) under the European Union’s Horizon 2020 research and innovation
programme (MoDynStruct,No. 101019564) and the Austrian Science Fund (FWF) grant
DOI 10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with
additional funding from the netidee SCIENCE Stiftung, 2020–2024.\r\nTeresa Anna
Steiner: Supported by a research grant (VIL51463) from VILLUM FONDEN."
alternative_title:
- LIPIcs
article_number: '40'
article_processing_charge: No
arxiv: 1
author:
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: A. R.
full_name: Sricharan, A. R.
last_name: Sricharan
- first_name: Teresa Anna
full_name: Steiner, Teresa Anna
last_name: Steiner
citation:
ama: 'Henzinger M, Sricharan AR, Steiner TA. Private counting of distinct elements
in the turnstile model and extensions. In: International Conference on Approximation
Algorithms for Combinatorial Optimization Problems . Vol 317. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.APPROX/RANDOM.2024.40'
apa: 'Henzinger, M., Sricharan, A. R., & Steiner, T. A. (2024). Private counting
of distinct elements in the turnstile model and extensions. In International
Conference on Approximation Algorithms for Combinatorial Optimization Problems
(Vol. 317). London, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für
Informatik. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2024.40'
chicago: Henzinger, Monika, A. R. Sricharan, and Teresa Anna Steiner. “Private Counting
of Distinct Elements in the Turnstile Model and Extensions.” In International
Conference on Approximation Algorithms for Combinatorial Optimization Problems
, Vol. 317. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2024.40.
ieee: M. Henzinger, A. R. Sricharan, and T. A. Steiner, “Private counting of distinct
elements in the turnstile model and extensions,” in International Conference
on Approximation Algorithms for Combinatorial Optimization Problems , London,
United Kingdom, 2024, vol. 317.
ista: 'Henzinger M, Sricharan AR, Steiner TA. 2024. Private counting of distinct
elements in the turnstile model and extensions. International Conference on Approximation
Algorithms for Combinatorial Optimization Problems . APPROX: Conference on Approximation
Algorithms for Combinatorial Optimization Problems, LIPIcs, vol. 317, 40.'
mla: Henzinger, Monika, et al. “Private Counting of Distinct Elements in the Turnstile
Model and Extensions.” International Conference on Approximation Algorithms
for Combinatorial Optimization Problems , vol. 317, 40, Schloss Dagstuhl -
Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.APPROX/RANDOM.2024.40.
short: M. Henzinger, A.R. Sricharan, T.A. Steiner, in:, International Conference
on Approximation Algorithms for Combinatorial Optimization Problems , Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
conference:
end_date: 2024-08-30
location: London, United Kingdom
name: 'APPROX: Conference on Approximation Algorithms for Combinatorial Optimization
Problems'
start_date: 2024-08-27
corr_author: '1'
date_created: 2024-09-29T22:01:38Z
date_published: 2024-09-16T00:00:00Z
date_updated: 2025-12-02T13:47:16Z
day: '16'
ddc:
- '000'
department:
- _id: MoHe
doi: 10.4230/LIPIcs.APPROX/RANDOM.2024.40
ec_funded: 1
external_id:
arxiv:
- '2408.11637'
isi:
- '001545634500040'
file:
- access_level: open_access
checksum: c08b41c896e4d8c69570044808b40e0b
content_type: application/pdf
creator: dernst
date_created: 2024-10-01T10:07:14Z
date_updated: 2024-10-01T10:07:14Z
file_id: '18166'
file_name: 2024_LIPICs_HenzingerM.pdf
file_size: 973917
relation: main_file
success: 1
file_date_updated: 2024-10-01T10:07:14Z
has_accepted_license: '1'
intvolume: ' 317'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
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: 34def286-11ca-11ed-8bc3-da5948e1613c
grant_number: Z00422
name: Efficient algorithms
- _id: bda196b2-d553-11ed-ba76-8e8ee6c21103
grant_number: I05982
name: Static and Dynamic Hierarchical Graph Decompositions
- _id: bd9e3a2e-d553-11ed-ba76-8aa684ce17fe
grant_number: P33775
name: Fast Algorithms for a Reactive Network Layer
publication: 'International Conference on Approximation Algorithms for Combinatorial
Optimization Problems '
publication_identifier:
isbn:
- '9783959773485'
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Private counting of distinct elements in the turnstile model and extensions
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: 317
year: '2024'
...
---
_id: '18158'
abstract:
- lang: eng
text: "We study the geometry of Poisson point processes from the point of view of
optimal transport and Ricci lower bounds. We construct a Riemannian structure
on the space of point processes and the associated distance W that corresponds
to the Benamou–Brenier variational formula. Our main tool is a non-local continuity
equation formulated with the difference operator. The closure of the domain of
the relative entropy is a complete geodesic space, when endowed with \r\nW. The
geometry of this non-local infinite-dimensional space is analogous to that of
spaces with positive Ricci curvature. Among others: (a) the Ornstein–Uhlenbeck
semi-group is the gradient flow of the relative entropy; (b) the Poisson space
has an entropic Ricci curvature bounded from below by 1; (c) W satisfies an HWI
inequality."
- lang: fre
text: "Nous étudions la géométrie des processus ponctuels de Poisson à travers le
prisme du transport optimal et de la minoration de la courbure de Ricci. Nous
construisons une structure\r\nriemannienne sur l’espace des processus ponctuels
et la distance associée W qui concorde avec la formulation variationnelle de Benamou–Brenier.
Notre analyse repose sur une équation de continuité non locale définie à l’aide
de l’opérateur de différence. La fermeture du domaine de l’entropie relative,
équipé de W, est un espace géodésique complet. La géométrie de cet espace non
local et de dimension infinie est analogue à celle des espaces à courbure de Ricci
strictement positive. Entre autres : (a) le semi-groupe d’Ornstein–Uhlenbeck est
le flot du gradient de l’entropie relative ; (b) l’espace de Poisson a une courbure
de Ricci entropique minorée par 1 ; (c) W satisfait une inégalité HWI."
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Lorenzo
full_name: Dello Schiavo, Lorenzo
id: ECEBF480-9E4F-11EA-B557-B0823DDC885E
last_name: Dello Schiavo
orcid: 0000-0002-9881-6870
- first_name: Ronan
full_name: Herry, Ronan
last_name: Herry
- first_name: Kohei
full_name: Suzuki, Kohei
last_name: Suzuki
citation:
ama: Dello Schiavo L, Herry R, Suzuki K. Wasserstein geometry and Ricci curvature
bounds for Poisson spaces. Journal de l’Ecole Polytechnique - Mathematiques.
2024;11:957-1010. doi:10.5802/jep.270
apa: Dello Schiavo, L., Herry, R., & Suzuki, K. (2024). Wasserstein geometry
and Ricci curvature bounds for Poisson spaces. Journal de l’Ecole Polytechnique
- Mathematiques. Ecole Polytechnique. https://doi.org/10.5802/jep.270
chicago: Dello Schiavo, Lorenzo, Ronan Herry, and Kohei Suzuki. “Wasserstein Geometry
and Ricci Curvature Bounds for Poisson Spaces.” Journal de l’Ecole Polytechnique
- Mathematiques. Ecole Polytechnique, 2024. https://doi.org/10.5802/jep.270.
ieee: L. Dello Schiavo, R. Herry, and K. Suzuki, “Wasserstein geometry and Ricci
curvature bounds for Poisson spaces,” Journal de l’Ecole Polytechnique - Mathematiques,
vol. 11. Ecole Polytechnique, pp. 957–1010, 2024.
ista: Dello Schiavo L, Herry R, Suzuki K. 2024. Wasserstein geometry and Ricci curvature
bounds for Poisson spaces. Journal de l’Ecole Polytechnique - Mathematiques. 11,
957–1010.
mla: Dello Schiavo, Lorenzo, et al. “Wasserstein Geometry and Ricci Curvature Bounds
for Poisson Spaces.” Journal de l’Ecole Polytechnique - Mathematiques,
vol. 11, Ecole Polytechnique, 2024, pp. 957–1010, doi:10.5802/jep.270.
short: L. Dello Schiavo, R. Herry, K. Suzuki, Journal de l’Ecole Polytechnique -
Mathematiques 11 (2024) 957–1010.
corr_author: '1'
date_created: 2024-09-29T22:01:38Z
date_published: 2024-01-01T00:00:00Z
date_updated: 2025-09-08T09:50:50Z
day: '01'
ddc:
- '510'
department:
- _id: JaMa
doi: 10.5802/jep.270
external_id:
arxiv:
- '2303.00398'
isi:
- '001367254000003'
file:
- access_level: open_access
checksum: 5a51da5fb5f7fcaada378d43444cced8
content_type: application/pdf
creator: dernst
date_created: 2024-10-01T07:31:56Z
date_updated: 2024-10-01T07:31:56Z
file_id: '18164'
file_name: 2024_JourEcolePolytechniqueMath_DelloSchiavo.pdf
file_size: 1250553
relation: main_file
success: 1
file_date_updated: 2024-10-01T07:31:56Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 957-1010
publication: Journal de l'Ecole Polytechnique - Mathematiques
publication_identifier:
eissn:
- 2270-518X
issn:
- 2429-7100
publication_status: published
publisher: Ecole Polytechnique
quality_controlled: '1'
scopus_import: '1'
status: public
title: Wasserstein geometry and Ricci curvature bounds for Poisson spaces
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 11
year: '2024'
...
---
_id: '18159'
abstract:
- lang: eng
text: "Markov Decision Processes (MDPs) are a classical model for decision making
in the presence of uncertainty. Often they are viewed as state transformers with
planning objectives defned with respect to paths over MDP states. An increasingly\r\npopular
alternative is to view them as distribution transformers, giving rise to a sequence
of probability distributions over MDP states. For instance, reachability and safety
properties in modeling robot swarms or chemical reaction networks are naturally
defned in terms of probability distributions over states. Verifying such distributional
properties is known to be hard and often beyond the reach of classical state-based
verifcation techniques. In this work, we consider the problems of certifed policy
(i.e. controller) verifcation and synthesis in MDPs under distributional reach-avoidance
specifcations. By certifed we mean that, along with a policy, we also aim to synthesize
a (checkable) certifcate ensuring that the MDP indeed satisfes the property. Thus,
given the target set of distributions and an unsafe set of distributions over
MDP states, our goal is to either synthesize a certifcate for a given policy or
synthesize a policy along with a certifcate, proving that the target distribution
can be reached while avoiding unsafe distributions. To solve this problem, we
introduce the novel notion of distributional reach-avoid certifcates and present
automated procedures for (1) synthesizing a certifcate for a given policy, and
(2) synthesizing a policy together with the certifcate, both providing formal
guarantees on certifcate correctness. Our experimental evaluation demonstrates
the ability of our method to solve several non-trivial examples, including a multi-agent
robot-swarm model, to synthesize certifed policies and to certify existing policies. "
acknowledgement: This work was supported in part by the ERC-2020-CoG 863818 (FoRM-SMArt),
the Singapore Ministry of Education (MOE) Academic Research Fund (AcRF) Tier 1 grant,
Google Research Award 2023 and the SBI Foundation Hub for Data and Analytics.
article_processing_charge: No
arxiv: 1
author:
- first_name: S
full_name: Akshay, S
last_name: Akshay
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Tobias
full_name: Meggendorfer, Tobias
id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
last_name: Meggendorfer
orcid: 0000-0002-1712-2165
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. Certified policy verification
and synthesis for MDPs under distributional reach-avoidance properties. In: Proceedings
of the Thirty-Third International Joint Conference on Artificial Intelligence.
International Joint Conferences on Artificial Intelligence; 2024:3-12. doi:10.24963/ijcai.2024/1'
apa: 'Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2024). Certified
policy verification and synthesis for MDPs under distributional reach-avoidance
properties. In Proceedings of the Thirty-Third International Joint Conference
on Artificial Intelligence (pp. 3–12). Jeju, Korea: International Joint Conferences
on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/1'
chicago: Akshay, S, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic.
“Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance
Properties.” In Proceedings of the Thirty-Third International Joint Conference
on Artificial Intelligence, 3–12. International Joint Conferences on Artificial
Intelligence, 2024. https://doi.org/10.24963/ijcai.2024/1.
ieee: S. Akshay, K. Chatterjee, T. Meggendorfer, and D. Zikelic, “Certified policy
verification and synthesis for MDPs under distributional reach-avoidance properties,”
in Proceedings of the Thirty-Third International Joint Conference on Artificial
Intelligence, Jeju, Korea, 2024, pp. 3–12.
ista: 'Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. 2024. Certified policy
verification and synthesis for MDPs under distributional reach-avoidance properties.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence.
IJCAI: International Joint Conference on Artificial Intelligence, 3–12.'
mla: Akshay, S., et al. “Certified Policy Verification and Synthesis for MDPs under
Distributional Reach-Avoidance Properties.” Proceedings of the Thirty-Third
International Joint Conference on Artificial Intelligence, International Joint
Conferences on Artificial Intelligence, 2024, pp. 3–12, doi:10.24963/ijcai.2024/1.
short: S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of
the Thirty-Third International Joint Conference on Artificial Intelligence, International
Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
conference:
end_date: 2024-08-09
location: Jeju, Korea
name: 'IJCAI: International Joint Conference on Artificial Intelligence'
start_date: 2024-08-03
corr_author: '1'
date_created: 2024-09-29T22:01:38Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2025-04-14T07:52:46Z
day: '01'
department:
- _id: KrCh
doi: 10.24963/ijcai.2024/1
ec_funded: 1
external_id:
arxiv:
- '2405.04015'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2405.04015
month: '09'
oa: 1
oa_version: Preprint
page: 3-12
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 Thirty-Third International Joint Conference on Artificial
Intelligence
publication_identifier:
isbn:
- '9781956792041'
issn:
- 1045-0823
publication_status: published
publisher: International Joint Conferences on Artificial Intelligence
quality_controlled: '1'
scopus_import: '1'
status: public
title: Certified policy verification and synthesis for MDPs under distributional reach-avoidance
properties
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2024'
...
---
OA_place: repository
OA_type: green
_id: '18160'
abstract:
- lang: eng
text: 'Markov decision processes (MDPs) provide a standard framework for sequential
decision making under uncertainty. However, MDPs do not take uncertainty in transition
probabilities into account. Robust Markov decision processes (RMDPs) address this
shortcoming of MDPs by assigning to each transition an uncertainty set rather
than a single probability value. In this work, we consider polytopic RMDPs in
which all uncertainty sets are polytopes and study the problem of solving long-run
average reward polytopic RMDPs. We present a novel perspective on this problem
and show that it can be reduced to solving long-run average reward turn-based
stochastic games with finite state and action spaces. This reduction allows us
to derive several important consequences that were hitherto not known to hold
for polytopic RMDPs. First, we derive new computational complexity bounds for
solving long-run average reward polytopic RMDPs, showing for the first time that
the threshold decision problem for them is in NP∩CONP and that they admit a randomized
algorithm with sub-exponential expected runtime. Second, we present Robust Polytopic
Policy Iteration (RPPI), a novel policy iteration algorithm for solving long-run
average reward polytopic RMDPs. Our experimental evaluation shows that RPPI is
much more efficient in solving long-run average reward polytopic RMDPs compared
to state-of-the-art methods based on value iteration. '
acknowledgement: "This work was supported in part by the ERC-2020-CoG 863818 (FoRM-SMArt)
and the Czech Science Foundation\r\ngrant no. GA23-06963S."
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Ehsan
full_name: Kafshdar Goharshadi, Ehsan
id: 103b4fa0-896a-11ed-bdf8-87b697bef40d
last_name: Kafshdar Goharshadi
orcid: 0000-0002-8595-0587
- first_name: Mehrdad
full_name: Karrabi, Mehrdad
id: 67638922-f394-11eb-9cf6-f20423e08757
last_name: Karrabi
- first_name: Petr
full_name: Novotný, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotný
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Chatterjee K, Goharshady E, Karrabi M, Novotný P, Zikelic D. Solving long-run
average reward robust MDPs via stochastic games. In: 33rd International Joint
Conference on Artificial Intelligence. International Joint Conferences on
Artificial Intelligence; 2024:6707-6715. doi:10.24963/ijcai.2024/741'
apa: 'Chatterjee, K., Goharshady, E., Karrabi, M., Novotný, P., & Zikelic, D.
(2024). Solving long-run average reward robust MDPs via stochastic games. In 33rd
International Joint Conference on Artificial Intelligence (pp. 6707–6715).
Jeju, South Korea: International Joint Conferences on Artificial Intelligence.
https://doi.org/10.24963/ijcai.2024/741'
chicago: Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Petr Novotný,
and Dorde Zikelic. “Solving Long-Run Average Reward Robust MDPs via Stochastic
Games.” In 33rd International Joint Conference on Artificial Intelligence,
6707–15. International Joint Conferences on Artificial Intelligence, 2024. https://doi.org/10.24963/ijcai.2024/741.
ieee: K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, and D. Zikelic, “Solving
long-run average reward robust MDPs via stochastic games,” in 33rd International
Joint Conference on Artificial Intelligence, Jeju, South Korea, 2024, pp.
6707–6715.
ista: 'Chatterjee K, Goharshady E, Karrabi M, Novotný P, Zikelic D. 2024. Solving
long-run average reward robust MDPs via stochastic games. 33rd International Joint
Conference on Artificial Intelligence. IJCAI: International Joint Conference on
Artificial Intelligence, 6707–6715.'
mla: Chatterjee, Krishnendu, et al. “Solving Long-Run Average Reward Robust MDPs
via Stochastic Games.” 33rd International Joint Conference on Artificial Intelligence,
International Joint Conferences on Artificial Intelligence, 2024, pp. 6707–15,
doi:10.24963/ijcai.2024/741.
short: K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, D. Zikelic, in:, 33rd
International Joint Conference on Artificial Intelligence, International Joint
Conferences on Artificial Intelligence, 2024, pp. 6707–6715.
conference:
end_date: 2024-08-09
location: Jeju, South Korea
name: 'IJCAI: International Joint Conference on Artificial Intelligence'
start_date: 2024-08-03
corr_author: '1'
date_created: 2024-09-29T22:01:39Z
date_published: 2024-09-01T00:00:00Z
date_updated: 2025-04-14T07:52:46Z
day: '01'
department:
- _id: KrCh
doi: 10.24963/ijcai.2024/741
ec_funded: 1
external_id:
arxiv:
- '2312.13912'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2312.13912
month: '09'
oa: 1
oa_version: Preprint
page: 6707-6715
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: 33rd International Joint Conference on Artificial Intelligence
publication_identifier:
isbn:
- '9781956792041'
issn:
- 1045-0823
publication_status: published
publisher: International Joint Conferences on Artificial Intelligence
quality_controlled: '1'
scopus_import: '1'
status: public
title: Solving long-run average reward robust MDPs via stochastic games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2024'
...