---
_id: '10550'
abstract:
- lang: eng
text: The global existence of renormalised solutions and convergence to equilibrium
for reaction-diffusion systems with non-linear diffusion are investigated. The
system is assumed to have quasi-positive non-linearities and to satisfy an entropy
inequality. The difficulties in establishing global renormalised solutions caused
by possibly degenerate diffusion are overcome by introducing a new class of weighted
truncation functions. By means of the obtained global renormalised solutions,
we study the large-time behaviour of complex balanced systems arising from chemical
reaction network theory with non-linear diffusion. When the reaction network does
not admit boundary equilibria, the complex balanced equilibrium is shown, by using
the entropy method, to exponentially attract all renormalised solutions in the
same compatibility class. This convergence extends even to a range of non-linear
diffusion, where global existence is an open problem, yet we are able to show
that solutions to approximate systems converge exponentially to equilibrium uniformly
in the regularisation parameter.
acknowledgement: "We thank the referees for their valuable comments and suggestions.
A major part of this work was carried out when B. Q. Tang visited the Institute
of Science and Technology Austria (ISTA). The hospitality of ISTA is greatly acknowledged.
This work was partially supported by NAWI Graz.\r\nOpen access funding provided
by University of Graz."
article_number: '66'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Klemens
full_name: Fellner, Klemens
last_name: Fellner
- first_name: Julian L
full_name: Fischer, Julian L
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
- first_name: Michael
full_name: Kniely, Michael
id: 2CA2C08C-F248-11E8-B48F-1D18A9856A87
last_name: Kniely
orcid: 0000-0001-5645-4333
- first_name: Bao Quoc
full_name: Tang, Bao Quoc
last_name: Tang
citation:
ama: Fellner K, Fischer JL, Kniely M, Tang BQ. Global renormalised solutions and
equilibration of reaction-diffusion systems with non-linear diffusion. Journal
of Nonlinear Science. 2023;33. doi:10.1007/s00332-023-09926-w
apa: Fellner, K., Fischer, J. L., Kniely, M., & Tang, B. Q. (2023). Global renormalised
solutions and equilibration of reaction-diffusion systems with non-linear diffusion.
Journal of Nonlinear Science. Springer Nature. https://doi.org/10.1007/s00332-023-09926-w
chicago: Fellner, Klemens, Julian L Fischer, Michael Kniely, and Bao Quoc Tang.
“Global Renormalised Solutions and Equilibration of Reaction-Diffusion Systems
with Non-Linear Diffusion.” Journal of Nonlinear Science. Springer Nature,
2023. https://doi.org/10.1007/s00332-023-09926-w.
ieee: K. Fellner, J. L. Fischer, M. Kniely, and B. Q. Tang, “Global renormalised
solutions and equilibration of reaction-diffusion systems with non-linear diffusion,”
Journal of Nonlinear Science, vol. 33. Springer Nature, 2023.
ista: Fellner K, Fischer JL, Kniely M, Tang BQ. 2023. Global renormalised solutions
and equilibration of reaction-diffusion systems with non-linear diffusion. Journal
of Nonlinear Science. 33, 66.
mla: Fellner, Klemens, et al. “Global Renormalised Solutions and Equilibration of
Reaction-Diffusion Systems with Non-Linear Diffusion.” Journal of Nonlinear
Science, vol. 33, 66, Springer Nature, 2023, doi:10.1007/s00332-023-09926-w.
short: K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science
33 (2023).
date_created: 2021-12-16T12:15:35Z
date_published: 2023-06-07T00:00:00Z
date_updated: 2023-08-01T14:40:33Z
day: '07'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1007/s00332-023-09926-w
external_id:
arxiv:
- '2109.12019'
isi:
- '001002343400002'
file:
- access_level: open_access
checksum: f3f0f0886098e31c81116cff8183750b
content_type: application/pdf
creator: dernst
date_created: 2023-06-19T07:33:53Z
date_updated: 2023-06-19T07:33:53Z
file_id: '13149'
file_name: 2023_JourNonlinearScience_Fellner.pdf
file_size: 742315
relation: main_file
success: 1
file_date_updated: 2023-06-19T07:33:53Z
has_accepted_license: '1'
intvolume: ' 33'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '06'
oa: 1
oa_version: Published Version
publication: Journal of Nonlinear Science
publication_identifier:
eissn:
- 1432-1467
issn:
- 0938-8974
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Global renormalised solutions and equilibration of reaction-diffusion systems
with non-linear diffusion
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 33
year: '2023'
...
---
_id: '10551'
abstract:
- lang: eng
text: 'The Dean–Kawasaki equation—a strongly singular SPDE—is a basic equation of
fluctuating hydrodynamics; it has been proposed in the physics literature to describe
the fluctuations of the density of N independent diffusing particles in the regime
of large particle numbers N≫1. The singular nature of the Dean–Kawasaki equation
presents a substantial challenge for both its analysis and its rigorous mathematical
justification. Besides being non-renormalisable by the theory of regularity structures
by Hairer et al., it has recently been shown to not even admit nontrivial martingale
solutions. In the present work, we give a rigorous and fully quantitative justification
of the Dean–Kawasaki equation by considering the natural regularisation provided
by standard numerical discretisations: We show that structure-preserving discretisations
of the Dean–Kawasaki equation may approximate the density fluctuations of N non-interacting
diffusing particles to arbitrary order in N−1 (in suitable weak metrics). In
other words, the Dean–Kawasaki equation may be interpreted as a “recipe” for accurate
and efficient numerical simulations of the density fluctuations of independent
diffusing particles.'
acknowledgement: "We thank the anonymous referee for his/her careful reading of the
manuscript and valuable suggestions. FC gratefully acknowledges funding from the
Austrian Science Fund (FWF) through the project F65, and from the European Union’s
Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie
Grant Agreement No. 754411.\r\nOpen access funding provided by Austrian Science
Fund (FWF)."
article_number: '76'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Federico
full_name: Cornalba, Federico
id: 2CEB641C-A400-11E9-A717-D712E6697425
last_name: Cornalba
orcid: 0000-0002-6269-5149
- first_name: Julian L
full_name: Fischer, Julian L
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
citation:
ama: Cornalba F, Fischer JL. The Dean-Kawasaki equation and the structure of density
fluctuations in systems of diffusing particles. Archive for Rational Mechanics
and Analysis. 2023;247(5). doi:10.1007/s00205-023-01903-7
apa: Cornalba, F., & Fischer, J. L. (2023). The Dean-Kawasaki equation and the
structure of density fluctuations in systems of diffusing particles. Archive
for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-023-01903-7
chicago: Cornalba, Federico, and Julian L Fischer. “The Dean-Kawasaki Equation and
the Structure of Density Fluctuations in Systems of Diffusing Particles.” Archive
for Rational Mechanics and Analysis. Springer Nature, 2023. https://doi.org/10.1007/s00205-023-01903-7.
ieee: F. Cornalba and J. L. Fischer, “The Dean-Kawasaki equation and the structure
of density fluctuations in systems of diffusing particles,” Archive for Rational
Mechanics and Analysis, vol. 247, no. 5. Springer Nature, 2023.
ista: Cornalba F, Fischer JL. 2023. The Dean-Kawasaki equation and the structure
of density fluctuations in systems of diffusing particles. Archive for Rational
Mechanics and Analysis. 247(5), 76.
mla: Cornalba, Federico, and Julian L. Fischer. “The Dean-Kawasaki Equation and
the Structure of Density Fluctuations in Systems of Diffusing Particles.” Archive
for Rational Mechanics and Analysis, vol. 247, no. 5, 76, Springer Nature,
2023, doi:10.1007/s00205-023-01903-7.
short: F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247
(2023).
corr_author: '1'
date_created: 2021-12-16T12:16:03Z
date_published: 2023-08-04T00:00:00Z
date_updated: 2025-04-23T13:06:01Z
day: '04'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1007/s00205-023-01903-7
ec_funded: 1
external_id:
arxiv:
- '2109.06500'
isi:
- '001043086800001'
pmid:
- '37547904'
file:
- access_level: open_access
checksum: 4529eeff170b6745a461d397ee611b5a
content_type: application/pdf
creator: dernst
date_created: 2024-01-30T12:09:34Z
date_updated: 2024-01-30T12:09:34Z
file_id: '14904'
file_name: 2023_ArchiveRationalMech_Cornalba.pdf
file_size: 1851185
relation: main_file
success: 1
file_date_updated: 2024-01-30T12:09:34Z
has_accepted_license: '1'
intvolume: ' 247'
isi: 1
issue: '5'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2
grant_number: F6504
name: Taming Complexity in Partial Differential Systems
publication: Archive for Rational Mechanics and Analysis
publication_identifier:
eissn:
- 1432-0673
issn:
- 0003-9527
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The Dean-Kawasaki equation and the structure of density fluctuations in systems
of diffusing particles
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: 247
year: '2023'
...
---
_id: '10770'
abstract:
- lang: eng
text: Mathematical models often aim to describe a complicated mechanism in a cohesive
and simple manner. However, reaching perfect balance between being simple enough
or overly simplistic is a challenging task. Frequently, game-theoretic models
have an underlying assumption that players, whenever they choose to execute a
specific action, do so perfectly. In fact, it is rare that action execution perfectly
coincides with intentions of individuals, giving rise to behavioural mistakes.
The concept of incompetence of players was suggested to address this issue in
game-theoretic settings. Under the assumption of incompetence, players have non-zero
probabilities of executing a different strategy from the one they chose, leading
to stochastic outcomes of the interactions. In this article, we survey results
related to the concept of incompetence in classic as well as evolutionary game
theory and provide several new results. We also suggest future extensions of the
model and argue why it is important to take into account behavioural mistakes
when analysing interactions among players in both economic and biological settings.
acknowledgement: "The authors would like to acknowledge stimulating email discussions
with Dr Wayne Lobb of W.A. Lobb LLC on the topic of evolutionary games. We also
thank Dr Thomas Taimre for his input to the material in Sect. 3.\r\nThe authors
would like to acknowledge partial support from the Australian Research Council under
the Discovery grant DP180101602 and support by the European Union’s Horizon 2020
research and innovation program under the Marie Sklodowska-Curie Grant Agreement
#754411."
article_processing_charge: No
article_type: original
author:
- first_name: Thomas
full_name: Graham, Thomas
last_name: Graham
- first_name: Maria
full_name: Kleshnina, Maria
id: 4E21749C-F248-11E8-B48F-1D18A9856A87
last_name: Kleshnina
- first_name: Jerzy A.
full_name: Filar, Jerzy A.
last_name: Filar
citation:
ama: Graham T, Kleshnina M, Filar JA. Where do mistakes lead? A survey of games
with incompetent players. Dynamic Games and Applications. 2023;13:231-264.
doi:10.1007/s13235-022-00425-3
apa: Graham, T., Kleshnina, M., & Filar, J. A. (2023). Where do mistakes lead?
A survey of games with incompetent players. Dynamic Games and Applications.
Springer Nature. https://doi.org/10.1007/s13235-022-00425-3
chicago: Graham, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes
Lead? A Survey of Games with Incompetent Players.” Dynamic Games and Applications.
Springer Nature, 2023. https://doi.org/10.1007/s13235-022-00425-3.
ieee: T. Graham, M. Kleshnina, and J. A. Filar, “Where do mistakes lead? A survey
of games with incompetent players,” Dynamic Games and Applications, vol.
13. Springer Nature, pp. 231–264, 2023.
ista: Graham T, Kleshnina M, Filar JA. 2023. Where do mistakes lead? A survey of
games with incompetent players. Dynamic Games and Applications. 13, 231–264.
mla: Graham, Thomas, et al. “Where Do Mistakes Lead? A Survey of Games with Incompetent
Players.” Dynamic Games and Applications, vol. 13, Springer Nature, 2023,
pp. 231–64, doi:10.1007/s13235-022-00425-3.
short: T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023)
231–264.
date_created: 2022-02-20T23:01:32Z
date_published: 2023-03-01T00:00:00Z
date_updated: 2025-04-14T07:43:48Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/s13235-022-00425-3
ec_funded: 1
external_id:
isi:
- '000753777100001'
file:
- access_level: open_access
checksum: cd53b07e96f9030ddb348f305e5b58c7
content_type: application/pdf
creator: dernst
date_created: 2022-02-21T08:54:17Z
date_updated: 2022-02-21T08:54:17Z
file_id: '10781'
file_name: 2022_DynamicGamesApplic_Graham.pdf
file_size: 1890512
relation: main_file
success: 1
file_date_updated: 2022-02-21T08:54:17Z
has_accepted_license: '1'
intvolume: ' 13'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 231-264
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Dynamic Games and Applications
publication_identifier:
eissn:
- 2153-0793
issn:
- 2153-0785
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Where do mistakes lead? A survey of games with incompetent players
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: 13
year: '2023'
...
---
OA_place: repository
_id: '17351'
abstract:
- lang: eng
text: "Contractive coupling rates have been recently introduced by Conforti as a\r\ntool
to establish convex Sobolev inequalities (including modified log-Sobolev\r\nand
Poincar\\'{e} inequality) for some classes of Markov chains. In this work,\r\nwe
show how contractive coupling rates can also be used to prove stronger\r\ninequalities,
in the form of curvature lower bounds for Markov chains and\r\ngeodesic convexity
of entropic functionals. We illustrate this in several\r\nexamples discussed by
Conforti, where in particular, after appropriately\r\nchoosing a parameter function,
we establish positive curvature in the entropic\r\nand (discrete) Bakry--\\'{E}mery
sense. In addition, we recall and give\r\nstraightforward generalizations of some
notions of coarse Ricci curvature, and\r\nwe discuss some of their properties
and relations with the concepts of\r\ncouplings and coupling rates: as an application,
we show exponential\r\ncontraction of the $p$-Wasserstein distance for the heat
flow in the\r\naforementioned examples."
article_number: '2308.00516'
article_processing_charge: No
arxiv: 1
author:
- first_name: Francesco
full_name: Pedrotti, Francesco
id: d3ac8ac6-dc8d-11ea-abe3-e2a9628c4c3c
last_name: Pedrotti
citation:
ama: Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov
chains. arXiv. doi:10.48550/arXiv.2308.00516
apa: Pedrotti, F. (n.d.). Contractive coupling rates and curvature lower bounds
for Markov chains. arXiv. https://doi.org/10.48550/arXiv.2308.00516
chicago: Pedrotti, Francesco. “Contractive Coupling Rates and Curvature Lower Bounds
for Markov Chains.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2308.00516.
ieee: F. Pedrotti, “Contractive coupling rates and curvature lower bounds for Markov
chains,” arXiv. .
ista: Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov
chains. arXiv, 2308.00516.
mla: Pedrotti, Francesco. “Contractive Coupling Rates and Curvature Lower Bounds
for Markov Chains.” ArXiv, 2308.00516, doi:10.48550/arXiv.2308.00516.
short: F. Pedrotti, ArXiv (n.d.).
corr_author: '1'
date_created: 2024-07-31T08:02:16Z
date_published: 2023-08-02T00:00:00Z
date_updated: 2026-04-07T13:00:02Z
day: '02'
department:
- _id: JaMa
doi: 10.48550/arXiv.2308.00516
external_id:
arxiv:
- '2308.00516'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2308.00516
month: '08'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: draft
related_material:
record:
- id: '20040'
relation: later_version
status: public
- id: '17336'
relation: dissertation_contains
status: public
status: public
title: Contractive coupling rates and curvature lower bounds for Markov chains
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '17378'
abstract:
- lang: eng
text: Generative Pre-trained Transformer models, known as GPT or OPT, set themselves
apart through breakthrough performance across complex language modelling tasks,
but also by their extremely high computational and storage costs. Specifically,
due to their massive size, even inference for large, highly-accurate GPT models
may require multiple performant GPUs, which limits the usability of such models.
While there is emerging work on relieving this pressure via model compression,
the applicability and performance of existing compression techniques is limited
by the scale and complexity of GPT models. In this paper, we address this challenge,
and propose OPTQ, a new one-shot weight quantization method based on approximate
second-order information, that is both highly-accurate and highly-efficient. Specifically,
OPTQ can quantize GPT models with 175 billion parameters in approximately four
GPU hours, reducing the bitwidth down to 3 or 4 bits per weight, with negligible
accuracy degradation relative to the uncompressed baseline. Our method more than
doubles the compression gains relative to previously-proposed one-shot quantization
methods, preserving accuracy, allowing us for the first time to execute an 175
billion-parameter model inside a single GPU for generative inference. Moreover,
we also show that our method can still provide reasonable accuracy in the extreme
quantization regime, in which weights are quantized to 2-bit or even ternary quantization
levels. We show experimentally that these improvements can be leveraged for end-to-end
inference speedups over FP16, of around 3.25x when using high-end GPUs (NVIDIA
A100) and 4.5x when using more cost-effective ones (NVIDIA A6000). The implementation
is available at https://github.com/IST-DASLab/gptq.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: Elias Frantar and Dan Alistarh gratefully acknowledge funding from
the European Research Council (ERC) under the European Union’s Horizon 2020 programme
(grant agreement No. 805223 ScaleML), as well as experimental support from Eldar
Kurtic, and from the IST Austria IT department, in particular Stefano Elefante,
Andrei Hornoiu, and Alois Schloegl. The work of Saleh Ashkboos and Torsten Hoefler
was supported by the PASC DaCeMI project, received EuroHPC-JU funding under grant
MAELSTROM, No. 955513. We thank the Swiss National Supercomputing Center (CSCS)
for supporting us with compute infrastructure.
article_processing_charge: No
author:
- first_name: Elias
full_name: Frantar, Elias
id: 09a8f98d-ec99-11ea-ae11-c063a7b7fe5f
last_name: Frantar
- first_name: Saleh
full_name: Ashkboos, Saleh
last_name: Ashkboos
- first_name: Torsten
full_name: Hoefler, Torsten
last_name: Hoefler
- 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: 'Frantar E, Ashkboos S, Hoefler T, Alistarh D-A. OPTQ: Accurate post-training
quantization for generative pre-trained transformers. In: 11th International
Conference on Learning Representations . International Conference on Learning
Representations; 2023.'
apa: 'Frantar, E., Ashkboos, S., Hoefler, T., & Alistarh, D.-A. (2023). OPTQ:
Accurate post-training quantization for generative pre-trained transformers. In
11th International Conference on Learning Representations . Kigali, Rwanda:
International Conference on Learning Representations.'
chicago: 'Frantar, Elias, Saleh Ashkboos, Torsten Hoefler, and Dan-Adrian Alistarh.
“OPTQ: Accurate Post-Training Quantization for Generative Pre-Trained Transformers.”
In 11th International Conference on Learning Representations . International
Conference on Learning Representations, 2023.'
ieee: 'E. Frantar, S. Ashkboos, T. Hoefler, and D.-A. Alistarh, “OPTQ: Accurate
post-training quantization for generative pre-trained transformers,” in 11th
International Conference on Learning Representations , Kigali, Rwanda, 2023.'
ista: 'Frantar E, Ashkboos S, Hoefler T, Alistarh D-A. 2023. OPTQ: Accurate post-training
quantization for generative pre-trained transformers. 11th International Conference
on Learning Representations . ICLR: International Conference on Learning Representations.'
mla: 'Frantar, Elias, et al. “OPTQ: Accurate Post-Training Quantization for Generative
Pre-Trained Transformers.” 11th International Conference on Learning Representations
, International Conference on Learning Representations, 2023.'
short: E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International
Conference on Learning Representations , International Conference on Learning
Representations, 2023.
conference:
end_date: 2023-05-05
location: Kigali, Rwanda
name: 'ICLR: International Conference on Learning Representations'
start_date: 2023-05-01
corr_author: '1'
date_created: 2024-08-04T22:01:22Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2026-04-07T12:43:03Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
ec_funded: 1
file:
- access_level: open_access
checksum: aacbf11dbd8b02a3e0bfd942a33e0593
content_type: application/pdf
creator: dernst
date_created: 2024-08-05T07:52:44Z
date_updated: 2024-08-05T07:52:44Z
file_id: '17385'
file_name: 2023_ICLR_Frantar.pdf
file_size: 437492
relation: main_file
success: 1
file_date_updated: 2024-08-05T07:52:44Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '805223'
name: Elastic Coordination for Scalable Machine Learning
publication: '11th International Conference on Learning Representations '
publication_status: published
publisher: International Conference on Learning Representations
quality_controlled: '1'
related_material:
link:
- relation: software
url: https://github.com/IST-DASLab/gptq
record:
- id: '17485'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'OPTQ: Accurate post-training quantization for generative pre-trained transformers'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '17379'
abstract:
- lang: eng
text: "We introduce a computational pipeline for simulating and designing C-shells,
a new class of planar-to-spatial deployable linkage structures. A C-shell is composed
of curved flexible beams connected at rotational joints that can be assembled
in a stress-free planar configuration. When actuated, the elastic beams deform
and the assembly deploys towards the target 3D shape.\r\nWe propose two alternative
computational design approaches for C-shells: (i) Forward exploration simulates
the deployed shape from a planar beam layout provided by the user. Once a satisfactory
overall shape is found, a subsequent design optimization adapts the beam geometry
to reduce the elastic energy of the linkage while preserving the target shape.
(ii) Inverse design is facilitated by a new geometric flattening method that takes
a design surface as input and computes an initial layout of piecewise straight
linkage beams. Our design optimization algorithm then calculates the smooth curved
beams to best reproduce the target shape at minimal elastic energy.\r\nWe find
that C-shells offer a rich space for design and show several studies that highlight
new shape topologies that cannot be achieved with existing deployable linkage
structures."
article_number: '173'
article_processing_charge: No
article_type: original
author:
- first_name: Quentin
full_name: Becker, Quentin
last_name: Becker
- first_name: Seiichi
full_name: Suzuki, Seiichi
last_name: Suzuki
- first_name: Yingying
full_name: Ren, Yingying
id: 93d68d10-3540-11ef-a265-f748a50dba3d
last_name: Ren
- first_name: Davide
full_name: Pellis, Davide
last_name: Pellis
- first_name: Julian
full_name: Panetta, Julian
last_name: Panetta
- first_name: Mark
full_name: Pauly, Mark
last_name: Pauly
citation:
ama: 'Becker Q, Suzuki S, Ren Y, Pellis D, Panetta J, Pauly M. C-shells: Deployable
gridshells with curved beams. ACM Transactions on Graphics. 2023;42(6).
doi:10.1145/3618366'
apa: 'Becker, Q., Suzuki, S., Ren, Y., Pellis, D., Panetta, J., & Pauly, M.
(2023). C-shells: Deployable gridshells with curved beams. ACM Transactions
on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3618366'
chicago: 'Becker, Quentin, Seiichi Suzuki, Yingying Ren, Davide Pellis, Julian Panetta,
and Mark Pauly. “C-Shells: Deployable Gridshells with Curved Beams.” ACM Transactions
on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3618366.'
ieee: 'Q. Becker, S. Suzuki, Y. Ren, D. Pellis, J. Panetta, and M. Pauly, “C-shells:
Deployable gridshells with curved beams,” ACM Transactions on Graphics,
vol. 42, no. 6. Association for Computing Machinery, 2023.'
ista: 'Becker Q, Suzuki S, Ren Y, Pellis D, Panetta J, Pauly M. 2023. C-shells:
Deployable gridshells with curved beams. ACM Transactions on Graphics. 42(6),
173.'
mla: 'Becker, Quentin, et al. “C-Shells: Deployable Gridshells with Curved Beams.”
ACM Transactions on Graphics, vol. 42, no. 6, 173, Association for Computing
Machinery, 2023, doi:10.1145/3618366.'
short: Q. Becker, S. Suzuki, Y. Ren, D. Pellis, J. Panetta, M. Pauly, ACM Transactions
on Graphics 42 (2023).
date_created: 2024-08-05T06:15:06Z
date_published: 2023-12-05T00:00:00Z
date_updated: 2024-08-12T09:56:32Z
day: '05'
doi: 10.1145/3618366
extern: '1'
intvolume: ' 42'
issue: '6'
language:
- iso: eng
month: '12'
oa_version: None
publication: ACM Transactions on Graphics
publication_identifier:
eissn:
- 1557-7368
issn:
- 0730-0301
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'C-shells: Deployable gridshells with curved beams'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 42
year: '2023'
...
---
_id: '17380'
abstract:
- lang: eng
text: Deployable gridshells are a class of planar-to-spatial structures that achievea
3D curved geometry by inducing bending on a flat grid of elastic beams. However,
theslender nature of these beams often conflicts with the structure’s load-bearing
capacity.To address this issue, multiple layers are typically stacked to enhance
out-of-planestiffness and prevent stability issues. The primary challenge then
lies in deploying suchmulti-layered systems globally, as it requires significant
shaping forces for actuation.This paper presents an alternative design approach
that involves strategically connect-ing compact-to-volumetric gridshell components
using weaving principles to shape athick segmented shell. This innovative approach
allows for an incremental construc-tion process based entirely on deployable modules
with volumetric configurations thatlocally provide the necessary structural depth
for the entire system. To demonstrate thisprinciple, we present the realization
of BamX, a research pavilion constructed usingdeployable cylindrical components
made from raw bamboo slats. These componentsare interconnected at carefully optimized
interlocking woven nodes, resulting in abending-active structural frame that is
both strong and exceptionally lightweight. Todetermine the optimal topology and
geometry of the pavilion, we employ an integrativecomputational approach that
leverages advanced numerical optimization techniques.Our method incorporates a
physics-based simulation of the bending and twisting be-havior of the bamboo ribbons.
By finding the ideal locations for ribbon crossings, weensure that all external
and internal forces are in global equilibrium while minimizingthe mechanical stress
experienced by each ribbon. BamX exemplifies how a symbiosisof refined weaving
craft and advanced computational modeling enables fascinatingnew opportunities
for rethinking deployability in architecture.
alternative_title:
- De Gruyter STEM
article_processing_charge: Yes
author:
- first_name: Seiichi
full_name: Suzuki, Seiichi
last_name: Suzuki
- first_name: Alison
full_name: Martin, Alison
last_name: Martin
- first_name: Yingying
full_name: Ren, Yingying
id: 93d68d10-3540-11ef-a265-f748a50dba3d
last_name: Ren
- first_name: Tzu-Ying
full_name: Chen, Tzu-Ying
last_name: Chen
- first_name: Stefana
full_name: Parascho, Stefana
last_name: Parascho
- first_name: Mark
full_name: Pauly, Mark
last_name: Pauly
citation:
ama: 'Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. BamX: Rethinking
Deployability in Architecture through Weaving. In: Dörfler K, Knippers J, Menges
A, Parascho S, Pottmann H, Wortmann T, eds. Advances in Architectural Geometry
2023. De Gruyter; 2023. doi:10.1515/9783111162683-016'
apa: 'Suzuki, S., Martin, A., Ren, Y., Chen, T.-Y., Parascho, S., & Pauly, M.
(2023). BamX: Rethinking Deployability in Architecture through Weaving. In K.
Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, & T. Wortmann (Eds.),
Advances in Architectural Geometry 2023. De Gruyter. https://doi.org/10.1515/9783111162683-016'
chicago: 'Suzuki, Seiichi, Alison Martin, Yingying Ren, Tzu-Ying Chen, Stefana Parascho,
and Mark Pauly. “BamX: Rethinking Deployability in Architecture through Weaving.”
In Advances in Architectural Geometry 2023, edited by Kathrin Dörfler,
Jan Knippers, Achim Menges, Stefana Parascho, Helmut Pottmann, and Thomas Wortmann.
De Gruyter, 2023. https://doi.org/10.1515/9783111162683-016.'
ieee: 'S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, and M. Pauly, “BamX:
Rethinking Deployability in Architecture through Weaving,” in Advances in Architectural
Geometry 2023, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann,
and T. Wortmann, Eds. De Gruyter, 2023.'
ista: 'Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. 2023.BamX: Rethinking
Deployability in Architecture through Weaving. In: Advances in Architectural Geometry
2023. De Gruyter STEM, .'
mla: 'Suzuki, Seiichi, et al. “BamX: Rethinking Deployability in Architecture through
Weaving.” Advances in Architectural Geometry 2023, edited by Kathrin Dörfler
et al., De Gruyter, 2023, doi:10.1515/9783111162683-016.'
short: S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, M. Pauly, in:, K.
Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, T. Wortmann (Eds.),
Advances in Architectural Geometry 2023, De Gruyter, 2023.
date_created: 2024-08-05T06:28:57Z
date_published: 2023-10-04T00:00:00Z
date_updated: 2024-08-12T09:54:02Z
day: '04'
ddc:
- '510'
doi: 10.1515/9783111162683-016
editor:
- first_name: Kathrin
full_name: Dörfler, Kathrin
last_name: Dörfler
- first_name: Jan
full_name: Knippers, Jan
last_name: Knippers
- first_name: Achim
full_name: Menges, Achim
last_name: Menges
- first_name: Stefana
full_name: Parascho, Stefana
last_name: Parascho
- first_name: Helmut
full_name: Pottmann, Helmut
last_name: Pottmann
- first_name: Thomas
full_name: Wortmann, Thomas
last_name: Wortmann
extern: '1'
file:
- access_level: open_access
checksum: bf97dbf1794277f18711adef81b2e218
content_type: application/pdf
creator: dernst
date_created: 2024-08-12T09:52:12Z
date_updated: 2024-08-12T09:52:12Z
file_id: '17421'
file_name: 2023_ArchGeometry_Suzuki.pdf
file_size: 775573
relation: main_file
success: 1
file_date_updated: 2024-08-12T09:52:12Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '10'
oa: 1
oa_version: Published Version
publication: Advances in Architectural Geometry 2023
publication_identifier:
eisbn:
- '9783111162683'
isbn:
- '9783111160115'
publication_status: published
publisher: De Gruyter
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'BamX: Rethinking Deployability in Architecture through Weaving'
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '17381'
abstract:
- lang: eng
text: We present an algorithmic approach to discover, study, and design multistable
elastic knots. Elastic knots are physical realizations of closed curves embedded
in 3-space. When endowed with the material thickness and bending resistance of
a physical wire, these knots settle into equilibrium states that balance the forces
induced by elastic deformation and self-contacts of the wire. In general, elastic
knots can have many distinct equilibrium states, i.e. they are multistable mechanical
systems. We propose a computational pipeline that combines randomized spatial
sampling and physics simulation to efficiently find stable equilibrium states
of elastic knots. Leveraging results from knot theory, we run our pipeline on
thousands of different topological knot types to create an extensive data set
of multistable knots. By applying a series of filters to this data, we discover
new transformable knots with interesting geometric and physical properties. A
further analysis across knot types reveals geometric and topological patterns,
yielding constructive principles that generalize beyond the currently tabulated
knot types. We show how multistable elastic knots can be used to design novel
deployable structures and engaging recreational puzzles. Several physical prototypes
at different scales highlight these applications and validate our simulation.
article_number: '73'
article_processing_charge: No
article_type: original
author:
- first_name: Michele
full_name: Vidulis, Michele
last_name: Vidulis
- first_name: Yingying
full_name: Ren, Yingying
id: 93d68d10-3540-11ef-a265-f748a50dba3d
last_name: Ren
- first_name: Julian
full_name: Panetta, Julian
last_name: Panetta
- first_name: Eitan
full_name: Grinspun, Eitan
last_name: Grinspun
- first_name: Mark
full_name: Pauly, Mark
last_name: Pauly
citation:
ama: Vidulis M, Ren Y, Panetta J, Grinspun E, Pauly M. Computational exploration
of multistable elastic knots. ACM Transactions on Graphics. 2023;42(4).
doi:10.1145/3592399
apa: Vidulis, M., Ren, Y., Panetta, J., Grinspun, E., & Pauly, M. (2023). Computational
exploration of multistable elastic knots. ACM Transactions on Graphics.
Association for Computing Machinery. https://doi.org/10.1145/3592399
chicago: Vidulis, Michele, Yingying Ren, Julian Panetta, Eitan Grinspun, and Mark
Pauly. “Computational Exploration of Multistable Elastic Knots.” ACM Transactions
on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592399.
ieee: M. Vidulis, Y. Ren, J. Panetta, E. Grinspun, and M. Pauly, “Computational
exploration of multistable elastic knots,” ACM Transactions on Graphics,
vol. 42, no. 4. Association for Computing Machinery, 2023.
ista: Vidulis M, Ren Y, Panetta J, Grinspun E, Pauly M. 2023. Computational exploration
of multistable elastic knots. ACM Transactions on Graphics. 42(4), 73.
mla: Vidulis, Michele, et al. “Computational Exploration of Multistable Elastic
Knots.” ACM Transactions on Graphics, vol. 42, no. 4, 73, Association for
Computing Machinery, 2023, doi:10.1145/3592399.
short: M. Vidulis, Y. Ren, J. Panetta, E. Grinspun, M. Pauly, ACM Transactions on
Graphics 42 (2023).
date_created: 2024-08-05T06:29:22Z
date_published: 2023-08-01T00:00:00Z
date_updated: 2024-08-12T09:48:36Z
day: '01'
doi: 10.1145/3592399
extern: '1'
intvolume: ' 42'
issue: '4'
language:
- iso: eng
month: '08'
oa_version: None
publication: ACM Transactions on Graphics
publication_identifier:
eissn:
- 1557-7368
issn:
- 0730-0301
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Computational exploration of multistable elastic knots
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 42
year: '2023'
...
---
_id: '17382'
abstract:
- lang: eng
text: 'Elastic surfaces that morph between multiple geometrical configurations are
of significant engineering value, with applications ranging from the deployment
of space-based photovoltaic arrays, the erection of temporary shelters, and the
realization of flexible display systems, to understanding the encapsulation and
release of viral RNAs. In general, ensuring that a shape with a planar rest configuration
can deploy into a target three-dimensional (3D) shape is a nontrivial problem.
Moreover, it is difficult to physically realize the local deformations necessary
to achieve such global transformation. Here, we give a tutorial on applying conformal
mapping to rationalize the geometrical deformation of several microstructure designs.
A conformal map is a function that locally preserves angles and shapes but not
lengths: some regions are scaled (enlarged or shrunk) more than others. To transform
a planar surface to 3D, we implement uniform local scalings as mechanical deformations.
Numerous natural and architected material systems exhibit such behavior, including
kirigami, origami, hydrogel, linkage mechanisms, and fabric membranes. The design
and fabrication of conformally transformable surfaces is a transdisciplinary challenge
involving insights from advanced manufacturing, computational design, material
science, and mechanics. By recognizing that many material systems exhibit isotropic
deformation, we hope to inspire researchers to adopt conformal mapping in designing
next-generation surface-based engineering systems.'
article_number: JAM-22-1358
article_processing_charge: No
article_type: original
author:
- first_name: Yue
full_name: Wang, Yue
last_name: Wang
- first_name: Yingying
full_name: Ren, Yingying
id: 93d68d10-3540-11ef-a265-f748a50dba3d
last_name: Ren
- first_name: Tian
full_name: Chen, Tian
last_name: Chen
citation:
ama: 'Wang Y, Ren Y, Chen T. From kirigami to hydrogels: A tutorial on designing
conformally transformable surfaces. Journal of Applied Mechanics. 2023;90(4).
doi:10.1115/1.4056350'
apa: 'Wang, Y., Ren, Y., & Chen, T. (2023). From kirigami to hydrogels: A tutorial
on designing conformally transformable surfaces. Journal of Applied Mechanics.
American Society of Mechanical Engineers. https://doi.org/10.1115/1.4056350'
chicago: 'Wang, Yue, Yingying Ren, and Tian Chen. “From Kirigami to Hydrogels: A
Tutorial on Designing Conformally Transformable Surfaces.” Journal of Applied
Mechanics. American Society of Mechanical Engineers, 2023. https://doi.org/10.1115/1.4056350.'
ieee: 'Y. Wang, Y. Ren, and T. Chen, “From kirigami to hydrogels: A tutorial on
designing conformally transformable surfaces,” Journal of Applied Mechanics,
vol. 90, no. 4. American Society of Mechanical Engineers, 2023.'
ista: 'Wang Y, Ren Y, Chen T. 2023. From kirigami to hydrogels: A tutorial on designing
conformally transformable surfaces. Journal of Applied Mechanics. 90(4), JAM-22-1358.'
mla: 'Wang, Yue, et al. “From Kirigami to Hydrogels: A Tutorial on Designing Conformally
Transformable Surfaces.” Journal of Applied Mechanics, vol. 90, no. 4,
JAM-22-1358, American Society of Mechanical Engineers, 2023, doi:10.1115/1.4056350.'
short: Y. Wang, Y. Ren, T. Chen, Journal of Applied Mechanics 90 (2023).
date_created: 2024-08-05T06:29:41Z
date_published: 2023-04-01T00:00:00Z
date_updated: 2024-08-12T09:45:05Z
day: '01'
doi: 10.1115/1.4056350
extern: '1'
intvolume: ' 90'
issue: '4'
language:
- iso: eng
month: '04'
oa_version: None
publication: Journal of Applied Mechanics
publication_identifier:
eissn:
- 1528-9036
issn:
- 0021-8936
publication_status: published
publisher: American Society of Mechanical Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'From kirigami to hydrogels: A tutorial on designing conformally transformable
surfaces'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 90
year: '2023'
...
---
_id: '17498'
abstract:
- lang: eng
text: In recent years, there has been tremendous progress on developing program
logics for verifying the correctness of programs in a rich and diverse array of
languages. Thus far, however, such logics have assumed that programs are written
entirely in a single programming language. In practice, this assumption rarely
holds since programs are often composed of components written in different programming
languages, which interact with one another via some kind of foreign function interface
(FFI). In this paper, we take the first steps towards the goal of developing program
logics for multi-language verification. Specifically, we present Melocoton, a
multi-language program verification system for reasoning about OCaml, C, and their
interactions through the OCaml FFI. Melocoton consists of the first formal semantics
of (a large subset of) the OCaml FFI—previously only described in prose in the
OCaml manual—as well as the first program logic to reason about the interactions
of program components written in OCaml and C. Melocoton is fully mechanized in
Coq on top of the Iris separation logic framework.
article_processing_charge: No
article_type: original
author:
- first_name: Armaël
full_name: Guéneau, Armaël
last_name: Guéneau
- first_name: Johannes
full_name: Hostert, Johannes
last_name: Hostert
- first_name: Simon
full_name: Spies, Simon
last_name: Spies
- first_name: Michael Joachim
full_name: Sammler, Michael Joachim
id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
last_name: Sammler
- first_name: Lars
full_name: Birkedal, Lars
last_name: Birkedal
- first_name: Derek
full_name: Dreyer, Derek
last_name: Dreyer
citation:
ama: 'Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. Melocoton:
A program logic for verified interoperability between OCaml and C. Proceedings
of the ACM on Programming Languages. 2023;7(OOPSLA2):716-744. doi:10.1145/3622823'
apa: 'Guéneau, A., Hostert, J., Spies, S., Sammler, M. J., Birkedal, L., & Dreyer,
D. (2023). Melocoton: A program logic for verified interoperability between OCaml
and C. Proceedings of the ACM on Programming Languages. Association for
Computing Machinery. https://doi.org/10.1145/3622823'
chicago: 'Guéneau, Armaël, Johannes Hostert, Simon Spies, Michael Joachim Sammler,
Lars Birkedal, and Derek Dreyer. “Melocoton: A Program Logic for Verified Interoperability
between OCaml and C.” Proceedings of the ACM on Programming Languages.
Association for Computing Machinery, 2023. https://doi.org/10.1145/3622823.'
ieee: 'A. Guéneau, J. Hostert, S. Spies, M. J. Sammler, L. Birkedal, and D. Dreyer,
“Melocoton: A program logic for verified interoperability between OCaml and C,”
Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA2. Association
for Computing Machinery, pp. 716–744, 2023.'
ista: 'Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. 2023. Melocoton:
A program logic for verified interoperability between OCaml and C. Proceedings
of the ACM on Programming Languages. 7(OOPSLA2), 716–744.'
mla: 'Guéneau, Armaël, et al. “Melocoton: A Program Logic for Verified Interoperability
between OCaml and C.” Proceedings of the ACM on Programming Languages,
vol. 7, no. OOPSLA2, Association for Computing Machinery, 2023, pp. 716–44, doi:10.1145/3622823.'
short: A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings
of the ACM on Programming Languages 7 (2023) 716–744.
date_created: 2024-09-05T08:17:10Z
date_published: 2023-10-16T00:00:00Z
date_updated: 2024-09-10T09:04:24Z
day: '16'
doi: 10.1145/3622823
extern: '1'
intvolume: ' 7'
issue: OOPSLA2
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3622823
month: '10'
oa: 1
oa_version: Published Version
page: 716-744
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
issn:
- 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Melocoton: A program logic for verified interoperability between OCaml and
C'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 7
year: '2023'
...
---
_id: '17499'
abstract:
- lang: eng
text: "Much work in formal verification of low-level systems is based on one of
two approaches: refinement or separation logic. These two approaches have complementary
benefits: refinement supports the use of programs as specifications, as well as
transitive composition of proofs, whereas separation logic supports conditional
specifications, as well as modular ownership reasoning about shared state. A number
of verification frameworks employ these techniques in tandem, but in all such
cases the benefits of the two techniques remain separate. For example, in frameworks
that use relational separation logic to prove contextual refinement, the relational
separation logic judgment does not support transitive composition of proofs, while
the contextual refinement judgment does not support conditional specifications.
\ \r\nIn this paper, we propose Conditional Contextual Refinement (or CCR, for
short), the first verification system to not only combine refinement and separation
logic in a single framework but also to truly marry them together into a unified
mechanism enjoying all the benefits of refinement and separation logic simultaneously.
Specifically, unlike in prior work, CCR’s refinement specifications are both conditional
(with separation logic pre- and post-conditions) and transitively composable.
We implement CCR in Coq and evaluate its effectiveness on a range of interesting
examples."
article_processing_charge: No
article_type: original
author:
- first_name: Youngju
full_name: Song, Youngju
last_name: Song
- first_name: Minki
full_name: Cho, Minki
last_name: Cho
- first_name: Dongjae
full_name: Lee, Dongjae
last_name: Lee
- first_name: Chung-Kil
full_name: Hur, Chung-Kil
last_name: Hur
- first_name: Michael Joachim
full_name: Sammler, Michael Joachim
id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
last_name: Sammler
- first_name: Derek
full_name: Dreyer, Derek
last_name: Dreyer
citation:
ama: Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. Conditional contextual
refinement. Proceedings of the ACM on Programming Languages. 2023;7(POPL):1121-1151.
doi:10.1145/3571232
apa: Song, Y., Cho, M., Lee, D., Hur, C.-K., Sammler, M. J., & Dreyer, D. (2023).
Conditional contextual refinement. Proceedings of the ACM on Programming Languages.
Association for Computing Machinery. https://doi.org/10.1145/3571232
chicago: Song, Youngju, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Joachim Sammler,
and Derek Dreyer. “Conditional Contextual Refinement.” Proceedings of the ACM
on Programming Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3571232.
ieee: Y. Song, M. Cho, D. Lee, C.-K. Hur, M. J. Sammler, and D. Dreyer, “Conditional
contextual refinement,” Proceedings of the ACM on Programming Languages,
vol. 7, no. POPL. Association for Computing Machinery, pp. 1121–1151, 2023.
ista: Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. 2023. Conditional contextual
refinement. Proceedings of the ACM on Programming Languages. 7(POPL), 1121–1151.
mla: Song, Youngju, et al. “Conditional Contextual Refinement.” Proceedings of
the ACM on Programming Languages, vol. 7, no. POPL, Association for Computing
Machinery, 2023, pp. 1121–51, doi:10.1145/3571232.
short: Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings
of the ACM on Programming Languages 7 (2023) 1121–1151.
date_created: 2024-09-05T08:21:51Z
date_published: 2023-01-11T00:00:00Z
date_updated: 2024-09-10T09:03:17Z
day: '11'
doi: 10.1145/3571232
extern: '1'
intvolume: ' 7'
issue: POPL
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3571232
month: '01'
oa: 1
oa_version: Published Version
page: 1121-1151
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
issn:
- 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Conditional contextual refinement
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 7
year: '2023'
...
---
_id: '17500'
abstract:
- lang: eng
text: "Prior work on multi-language program verification has achieved impressive
results, including the compositional verification of complex compilers. But the
existing approaches to this problem impose a variety of restrictions on the overall
structure of multi-language programs (e.g. fixing the source language, fixing
the set of involved languages, fixing the memory model, or fixing the semantics
of interoperation). In this paper, we explore the problem of how to avoid such
global restrictions.\r\nConcretely, we present DimSum: a new, decentralized approach
to multi-language semantics and verification, which we have implemented in the
Coq proof assistant. Decentralization means that we can define and reason about
languages independently from each other (as independent modules communicating
via events), but also combine and translate between them when necessary (via a
library of combinators).\r\nWe apply DimSum to a high-level imperative language
Rec (with an abstract memory model and function calls), a low-level assembly language
Asm (with a concrete memory model, arbitrary jumps, and syscalls), and a mathematical
specification language Spec. We evaluate DimSum on two case studies: an Asm library
extending Rec with support for pointer comparison, and a coroutine library for
Rec written in Asm. In both cases, we show how DimSum allows the Asm libraries
to be abstracted to Rec-level specifications, despite the behavior of the Asm
libraries not being syntactically expressible in Rec itself. We also verify an
optimizing multi-pass compiler from Rec to Asm, showing that it is compatible
with these Asm libraries."
article_processing_charge: No
article_type: original
author:
- first_name: Michael Joachim
full_name: Sammler, Michael Joachim
id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
last_name: Sammler
- first_name: Simon
full_name: Spies, Simon
last_name: Spies
- first_name: Youngju
full_name: Song, Youngju
last_name: Song
- first_name: Emanuele
full_name: D'Osualdo, Emanuele
last_name: D'Osualdo
- first_name: Robbert
full_name: Krebbers, Robbert
last_name: Krebbers
- first_name: Deepak
full_name: Garg, Deepak
last_name: Garg
- first_name: Derek
full_name: Dreyer, Derek
last_name: Dreyer
citation:
ama: 'Sammler MJ, Spies S, Song Y, et al. DimSum: A decentralized approach to multi-language
semantics and verification. Proceedings of the ACM on Programming Languages.
2023;7(POPL):775-805. doi:10.1145/3571220'
apa: 'Sammler, M. J., Spies, S., Song, Y., D’Osualdo, E., Krebbers, R., Garg, D.,
& Dreyer, D. (2023). DimSum: A decentralized approach to multi-language semantics
and verification. Proceedings of the ACM on Programming Languages. Association
for Computing Machinery. https://doi.org/10.1145/3571220'
chicago: 'Sammler, Michael Joachim, Simon Spies, Youngju Song, Emanuele D’Osualdo,
Robbert Krebbers, Deepak Garg, and Derek Dreyer. “DimSum: A Decentralized Approach
to Multi-Language Semantics and Verification.” Proceedings of the ACM on Programming
Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3571220.'
ieee: 'M. J. Sammler et al., “DimSum: A decentralized approach to multi-language
semantics and verification,” Proceedings of the ACM on Programming Languages,
vol. 7, no. POPL. Association for Computing Machinery, pp. 775–805, 2023.'
ista: 'Sammler MJ, Spies S, Song Y, D’Osualdo E, Krebbers R, Garg D, Dreyer D. 2023.
DimSum: A decentralized approach to multi-language semantics and verification.
Proceedings of the ACM on Programming Languages. 7(POPL), 775–805.'
mla: 'Sammler, Michael Joachim, et al. “DimSum: A Decentralized Approach to Multi-Language
Semantics and Verification.” Proceedings of the ACM on Programming Languages,
vol. 7, no. POPL, Association for Computing Machinery, 2023, pp. 775–805, doi:10.1145/3571220.'
short: M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer,
Proceedings of the ACM on Programming Languages 7 (2023) 775–805.
date_created: 2024-09-05T08:24:06Z
date_published: 2023-01-11T00:00:00Z
date_updated: 2024-09-10T09:13:02Z
day: '11'
doi: 10.1145/3571220
extern: '1'
intvolume: ' 7'
issue: POPL
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3571220
month: '01'
oa: 1
oa_version: Published Version
page: 775-805
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
issn:
- 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'DimSum: A decentralized approach to multi-language semantics and verification'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 7
year: '2023'
...
---
_id: '17507'
abstract:
- lang: eng
text: Stellar-mass black holes (BHs) are predicted to be embedded in the disks of
active galactic nuclei (AGNs) due to gravitational drag and in situ star formation.
However, clear evidence for AGN disk-embedded BHs is currently lacking. Here,
as possible electromagnetic signatures of these BHs, we investigate breakout emission
from shocks emerging around Blandford–Znajek jets launched from accreting BHs
in AGN disks. We assume that most of the highly super-Eddington flow reaches the
BH and produces a strong jet, and the jet produces feedback that shuts off accretion
and thus leads to episodic flaring. These assumptions, while poorly understood
at present, yield observable consequences that can probe the presence of AGN-embedded
BHs as well as the accretion process itself. They predict a breakout emission
characterized by luminous thermal emission in the X-ray bands and bright broadband
nonthermal emission from the infrared to the gamma-ray bands. The flare duration
depends on the BH's distance r from the central supermassive BH, varying between
103–106 s for r ∼ 0.01–1 pc. This emission can be discovered by current and future
infrared, optical, and X-ray wide-field surveys and monitoring campaigns of nearby
AGNs.
article_number: L3
article_processing_charge: No
article_type: original
author:
- first_name: Hiromichi
full_name: Tagawa, Hiromichi
last_name: Tagawa
- first_name: Shigeo S.
full_name: Kimura, Shigeo S.
last_name: Kimura
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Rosalba
full_name: Perna, Rosalba
last_name: Perna
- first_name: Imre
full_name: Bartos, Imre
last_name: Bartos
citation:
ama: Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. Observable signatures of
stellar-mass black holes in active galactic nuclei. The Astrophysical Journal
Letters. 2023;946(1). doi:10.3847/2041-8213/acc103
apa: Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., & Bartos, I. (2023).
Observable signatures of stellar-mass black holes in active galactic nuclei. The
Astrophysical Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/acc103
chicago: Tagawa, Hiromichi, Shigeo S. Kimura, Zoltán Haiman, Rosalba Perna, and
Imre Bartos. “Observable Signatures of Stellar-Mass Black Holes in Active Galactic
Nuclei.” The Astrophysical Journal Letters. American Astronomical Society,
2023. https://doi.org/10.3847/2041-8213/acc103.
ieee: H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Observable signatures
of stellar-mass black holes in active galactic nuclei,” The Astrophysical Journal
Letters, vol. 946, no. 1. American Astronomical Society, 2023.
ista: Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2023. Observable signatures
of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal
Letters. 946(1), L3.
mla: Tagawa, Hiromichi, et al. “Observable Signatures of Stellar-Mass Black Holes
in Active Galactic Nuclei.” The Astrophysical Journal Letters, vol. 946,
no. 1, L3, American Astronomical Society, 2023, doi:10.3847/2041-8213/acc103.
short: H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical
Journal Letters 946 (2023).
date_created: 2024-09-05T08:44:27Z
date_published: 2023-03-21T00:00:00Z
date_updated: 2024-09-10T10:52:04Z
day: '21'
doi: 10.3847/2041-8213/acc103
extern: '1'
intvolume: ' 946'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/2041-8213/acc103
month: '03'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal Letters
publication_identifier:
issn:
- 2041-8205
- 2041-8213
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Observable signatures of stellar-mass black holes in active galactic nuclei
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 946
year: '2023'
...
---
_id: '17513'
abstract:
- lang: eng
text: The astrophysical origin of over 90 compact binary mergers discovered by the
LIGO and Virgo gravitational wave observatories is an open question. While the
unusual mass and spin of some of the discovered objects constrain progenitor scenarios,
the observed mergers are consistent with multiple interpretations. A promising
approach to solve this question is to consider the observed distributions of binary
properties and compare them to expectations from different origin scenarios. Here
we describe a new hierarchical population analysis framework to assess the relative
contribution of different formation channels simultaneously. For this study we
considered binary formation in active galactic nucleus (AGN) disks along with
phenomenological models, but the same framework can be extended to other models.
We find that high-mass and high-mass-ratio binaries appear more likely to have
an AGN origin compared to having the same origin as lower-mass events. Future
observations of high-mass black hole mergers could further disentangle the AGN
component from other channels.
article_number: L29
article_processing_charge: No
article_type: original
author:
- first_name: V.
full_name: Gayathri, V.
last_name: Gayathri
- first_name: Daniel
full_name: Wysocki, Daniel
last_name: Wysocki
- first_name: Y.
full_name: Yang, Y.
last_name: Yang
- first_name: Vera
full_name: Delfavero, Vera
last_name: Delfavero
- first_name: R.
full_name: O’Shaughnessy, R.
last_name: O’Shaughnessy
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: H.
full_name: Tagawa, H.
last_name: Tagawa
- first_name: I.
full_name: Bartos, I.
last_name: Bartos
citation:
ama: 'Gayathri V, Wysocki D, Yang Y, et al. Gravitational wave source populations:
Disentangling an AGN component. The Astrophysical Journal Letters. 2023;945(2).
doi:10.3847/2041-8213/acbfb8'
apa: 'Gayathri, V., Wysocki, D., Yang, Y., Delfavero, V., O’Shaughnessy, R., Haiman,
Z., … Bartos, I. (2023). Gravitational wave source populations: Disentangling
an AGN component. The Astrophysical Journal Letters. American Astronomical
Society. https://doi.org/10.3847/2041-8213/acbfb8'
chicago: 'Gayathri, V., Daniel Wysocki, Y. Yang, Vera Delfavero, R. O’Shaughnessy,
Zoltán Haiman, H. Tagawa, and I. Bartos. “Gravitational Wave Source Populations:
Disentangling an AGN Component.” The Astrophysical Journal Letters. American
Astronomical Society, 2023. https://doi.org/10.3847/2041-8213/acbfb8.'
ieee: 'V. Gayathri et al., “Gravitational wave source populations: Disentangling
an AGN component,” The Astrophysical Journal Letters, vol. 945, no. 2.
American Astronomical Society, 2023.'
ista: 'Gayathri V, Wysocki D, Yang Y, Delfavero V, O’Shaughnessy R, Haiman Z, Tagawa
H, Bartos I. 2023. Gravitational wave source populations: Disentangling an AGN
component. The Astrophysical Journal Letters. 945(2), L29.'
mla: 'Gayathri, V., et al. “Gravitational Wave Source Populations: Disentangling
an AGN Component.” The Astrophysical Journal Letters, vol. 945, no. 2,
L29, American Astronomical Society, 2023, doi:10.3847/2041-8213/acbfb8.'
short: V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman,
H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).
date_created: 2024-09-05T08:52:25Z
date_published: 2023-03-13T00:00:00Z
date_updated: 2024-09-10T13:31:17Z
day: '13'
doi: 10.3847/2041-8213/acbfb8
extern: '1'
intvolume: ' 945'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/2041-8213/acbfb8
month: '03'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal Letters
publication_identifier:
issn:
- 2041-8205
- 2041-8213
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Gravitational wave source populations: Disentangling an AGN component'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 945
year: '2023'
...
---
_id: '17514'
abstract:
- lang: eng
text: Extreme mass-ratio inspirals (EMRIs) take place when a stellar-mass black
hole (BH) merges with a supermassive BH (SMBH). The gravitational-wave emission
from such an event is expected to be detectable by the future Laser Interferometer
Space Antenna (LISA) and other millihertz detectors. It was recently suggested
that the EMRI rate in SMBH binary systems is orders of magnitude higher than the
EMRI rate around a single SMBH with the same total mass. Here we show that this
high rate can produce thousands of SMBH–BH sources at a redshift of unity. We
predict that LISA may detect a few hundred of these EMRIs with signal-to-noise
ratio above S/N ≥8 within a 4 yr mission lifetime. The remaining subthreshold
sources will contribute to a large confusion noise, which is approximately an
order of magnitude above LISA’s sensitivity level. Finally, we suggest that the
individually detectable systems, as well as the background noise from the subthreshold
EMRIs, can be used to constrain the SMBH binary fraction in the low-redshift Universe.
article_number: L27
article_processing_charge: No
article_type: original
author:
- first_name: Smadar
full_name: Naoz, Smadar
last_name: Naoz
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: Naoz S, Haiman Z. The enhanced population of extreme mass-ratio inspirals in
the LISA band from supermassive black hole binaries. The Astrophysical Journal
Letters. 2023;955(2). doi:10.3847/2041-8213/acf8c9
apa: Naoz, S., & Haiman, Z. (2023). The enhanced population of extreme mass-ratio
inspirals in the LISA band from supermassive black hole binaries. The Astrophysical
Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/acf8c9
chicago: Naoz, Smadar, and Zoltán Haiman. “The Enhanced Population of Extreme Mass-Ratio
Inspirals in the LISA Band from Supermassive Black Hole Binaries.” The Astrophysical
Journal Letters. American Astronomical Society, 2023. https://doi.org/10.3847/2041-8213/acf8c9.
ieee: S. Naoz and Z. Haiman, “The enhanced population of extreme mass-ratio inspirals
in the LISA band from supermassive black hole binaries,” The Astrophysical
Journal Letters, vol. 955, no. 2. American Astronomical Society, 2023.
ista: Naoz S, Haiman Z. 2023. The enhanced population of extreme mass-ratio inspirals
in the LISA band from supermassive black hole binaries. The Astrophysical Journal
Letters. 955(2), L27.
mla: Naoz, Smadar, and Zoltán Haiman. “The Enhanced Population of Extreme Mass-Ratio
Inspirals in the LISA Band from Supermassive Black Hole Binaries.” The Astrophysical
Journal Letters, vol. 955, no. 2, L27, American Astronomical Society, 2023,
doi:10.3847/2041-8213/acf8c9.
short: S. Naoz, Z. Haiman, The Astrophysical Journal Letters 955 (2023).
date_created: 2024-09-05T08:53:23Z
date_published: 2023-09-26T00:00:00Z
date_updated: 2024-09-10T13:38:53Z
day: '26'
doi: 10.3847/2041-8213/acf8c9
extern: '1'
intvolume: ' 955'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/2041-8213/acf8c9
month: '09'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal Letters
publication_identifier:
issn:
- 2041-8205
- 2041-8213
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: The enhanced population of extreme mass-ratio inspirals in the LISA band from
supermassive black hole binaries
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 955
year: '2023'
...
---
_id: '17521'
abstract:
- lang: eng
text: 'The upcoming Laser Interferometer Space Antenna (LISA) is expected to detect
gravitational waves (GWs) from massive black hole binaries (MBHB). Finding the
electromagnetic (EM) counterparts for these GW events will be crucial for understanding
how and where MBHBs merge, measuring their redshifts, constraining the Hubble
constant and the graviton mass, and for other novel science applications. However,
due to poor GW sky localization, multiwavelength, time-dependent EM models are
needed to identify the right host galaxy. We studied merging MBHBs embedded in
a circumbinary disc (CBD) using high-resolution two-dimensional simulations, with
a Γ-law equation of state, incorporating viscous heating, shock heating, and radiative
cooling. We simulate the binary from large separation until after merger, allowing
us to model the decoupling of the binary from the CBD. We compute the EM signatures
and identify distinct features before, during, and after the merger. Our main
result is a multiband EM signature: we find that the MBHB produces strong thermal
X-ray emission until 1–2 d prior to the merger. However, as the binary decouples
from the CBD, the X-ray-bright minidiscs rapidly shrink in size, become disrupted,
and the accretion rate drops precipitously. As a result, the thermal X-ray luminosity
drops by orders of magnitude, and the source remains X-ray dark for several days,
regardless of any post-merger effects such as GW recoil or mass-loss. Looking
for the abrupt spectral change where the thermal X-ray disappears is a tell-tale
EM signature of LISA mergers that does not require extensive pre-merger monitoring.'
article_processing_charge: No
article_type: original
author:
- first_name: Luke Major
full_name: Krauth, Luke Major
last_name: Krauth
- first_name: Jordy
full_name: Davelaar, Jordy
last_name: Davelaar
- first_name: John Ryan
full_name: Westernacher-Schneider, John Ryan
last_name: Westernacher-Schneider
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Jonathan
full_name: Zrake, Jonathan
last_name: Zrake
- first_name: Andrew
full_name: MacFadyen, Andrew
last_name: MacFadyen
citation:
ama: Krauth LM, Davelaar J, Westernacher-Schneider JR, Haiman Z, Zrake J, MacFadyen
A. Disappearing thermal X-ray emission as a tell-tale signature of merging massive
black hole binaries. Monthly Notices of the Royal Astronomical Society.
2023;526(4):5441-5454. doi:10.1093/mnras/stad3095
apa: Krauth, L. M., Davelaar, J., Westernacher-Schneider, J. R., Haiman, Z., Zrake,
J., & MacFadyen, A. (2023). Disappearing thermal X-ray emission as a tell-tale
signature of merging massive black hole binaries. Monthly Notices of the Royal
Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stad3095
chicago: Krauth, Luke Major, Jordy Davelaar, John Ryan Westernacher-Schneider, Zoltán
Haiman, Jonathan Zrake, and Andrew MacFadyen. “Disappearing Thermal X-Ray Emission
as a Tell-Tale Signature of Merging Massive Black Hole Binaries.” Monthly Notices
of the Royal Astronomical Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad3095.
ieee: L. M. Krauth, J. Davelaar, J. R. Westernacher-Schneider, Z. Haiman, J. Zrake,
and A. MacFadyen, “Disappearing thermal X-ray emission as a tell-tale signature
of merging massive black hole binaries,” Monthly Notices of the Royal Astronomical
Society, vol. 526, no. 4. Oxford University Press, pp. 5441–5454, 2023.
ista: Krauth LM, Davelaar J, Westernacher-Schneider JR, Haiman Z, Zrake J, MacFadyen
A. 2023. Disappearing thermal X-ray emission as a tell-tale signature of merging
massive black hole binaries. Monthly Notices of the Royal Astronomical Society.
526(4), 5441–5454.
mla: Krauth, Luke Major, et al. “Disappearing Thermal X-Ray Emission as a Tell-Tale
Signature of Merging Massive Black Hole Binaries.” Monthly Notices of the Royal
Astronomical Society, vol. 526, no. 4, Oxford University Press, 2023, pp.
5441–54, doi:10.1093/mnras/stad3095.
short: L.M. Krauth, J. Davelaar, J.R. Westernacher-Schneider, Z. Haiman, J. Zrake,
A. MacFadyen, Monthly Notices of the Royal Astronomical Society 526 (2023) 5441–5454.
date_created: 2024-09-05T09:20:27Z
date_published: 2023-10-13T00:00:00Z
date_updated: 2024-09-10T14:43:04Z
day: '13'
doi: 10.1093/mnras/stad3095
extern: '1'
intvolume: ' 526'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/mnras/stad3095
month: '10'
oa: 1
oa_version: Published Version
page: 5441-5454
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Disappearing thermal X-ray emission as a tell-tale signature of merging massive
black hole binaries
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 526
year: '2023'
...
---
_id: '17522'
abstract:
- lang: eng
text: The early growth of black holes (BHs) in high-redshift galaxies is likely
feedback regulated. While radiative feedback has been extensively studied, the
role of mechanical feedback has received less scrutiny to date. Here, we use high-resolution
parsec-scale hydrodynamical simulations to study jet propagation and its effect
on 100 M⊙ BH accretion in the dense, low-metallicity gas expected in early protogalaxies.
As the jet propagates, it shocks the surrounding gas forming a jet cocoon. The
cocoon consists of a rapidly cooling cold phase at the interface with the background
gas and an overpressured subsonic phase of reverse shock-heated gas filling the
interior. We vary the background gas density and temperature, BH feedback efficiency,
and the jet model. We found that the width of the jet cocoon roughly follows a
scaling derived by assuming momentum conservation in the jet-propagation direction
and energy conservation in the lateral directions. Depending on the assumed gas
and jet properties, the cocoon either stays elongated to large radii or isotropizes
before reaching the Bondi radius, forming a nearly spherical bubble. Lower jet
velocities and higher background gas densities result in self-regulation to higher
momentum fluxes and elongated cocoons. In all cases, the outward cocoon momentum
flux balances the inward inflowing gas momentum flux near the Bondi radius, which
ultimately regulates BH accretion. The time-averaged accretion rate always remains
below the Bondi rate, and exceeds the Eddington rate only if the ambient medium
is dense and cold, and/or the jet is weak (low velocity and mass loading).
article_processing_charge: No
article_type: original
author:
- first_name: Kung-Yi
full_name: Su, Kung-Yi
last_name: Su
- first_name: Greg L
full_name: Bryan, Greg L
last_name: Bryan
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Rachel S
full_name: Somerville, Rachel S
last_name: Somerville
- first_name: Christopher C
full_name: Hayward, Christopher C
last_name: Hayward
- first_name: Claude-André
full_name: Faucher-Giguère, Claude-André
last_name: Faucher-Giguère
citation:
ama: Su K-Y, Bryan GL, Haiman Z, Somerville RS, Hayward CC, Faucher-Giguère C-A.
Self-regulation of black hole accretion via jets in early protogalaxies. Monthly
Notices of the Royal Astronomical Society. 2023;520(3):4258-4275. doi:10.1093/mnras/stad252
apa: Su, K.-Y., Bryan, G. L., Haiman, Z., Somerville, R. S., Hayward, C. C., &
Faucher-Giguère, C.-A. (2023). Self-regulation of black hole accretion via jets
in early protogalaxies. Monthly Notices of the Royal Astronomical Society.
Oxford University Press. https://doi.org/10.1093/mnras/stad252
chicago: Su, Kung-Yi, Greg L Bryan, Zoltán Haiman, Rachel S Somerville, Christopher
C Hayward, and Claude-André Faucher-Giguère. “Self-Regulation of Black Hole Accretion
via Jets in Early Protogalaxies.” Monthly Notices of the Royal Astronomical
Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad252.
ieee: K.-Y. Su, G. L. Bryan, Z. Haiman, R. S. Somerville, C. C. Hayward, and C.-A.
Faucher-Giguère, “Self-regulation of black hole accretion via jets in early protogalaxies,”
Monthly Notices of the Royal Astronomical Society, vol. 520, no. 3. Oxford
University Press, pp. 4258–4275, 2023.
ista: Su K-Y, Bryan GL, Haiman Z, Somerville RS, Hayward CC, Faucher-Giguère C-A.
2023. Self-regulation of black hole accretion via jets in early protogalaxies.
Monthly Notices of the Royal Astronomical Society. 520(3), 4258–4275.
mla: Su, Kung-Yi, et al. “Self-Regulation of Black Hole Accretion via Jets in Early
Protogalaxies.” Monthly Notices of the Royal Astronomical Society, vol.
520, no. 3, Oxford University Press, 2023, pp. 4258–75, doi:10.1093/mnras/stad252.
short: K.-Y. Su, G.L. Bryan, Z. Haiman, R.S. Somerville, C.C. Hayward, C.-A. Faucher-Giguère,
Monthly Notices of the Royal Astronomical Society 520 (2023) 4258–4275.
date_created: 2024-09-05T09:22:35Z
date_published: 2023-01-27T00:00:00Z
date_updated: 2024-09-11T07:39:21Z
day: '27'
doi: 10.1093/mnras/stad252
extern: '1'
intvolume: ' 520'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/mnras/stad252
month: '01'
oa: 1
oa_version: Published Version
page: 4258-4275
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Self-regulation of black hole accretion via jets in early protogalaxies
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 520
year: '2023'
...
---
_id: '17527'
abstract:
- lang: eng
text: The origin of the recently discovered new class of transients, X-ray quasi-periodic
eruptions (QPEs), remains a puzzle. Due to their periodicity and association with
active galactic nuclei (AGNs), it is natural to relate these eruptions to stars
or compact objects in tight orbits around supermassive black holes (SMBHs). In
this paper, we predict the properties of emission from bow shocks produced by
stars crossing AGN discs, and compare them to the observed properties of QPEs.
We find that when a star’s orbit is retrograde and has a low inclination (≲40°)
with respect to the AGN disc and the star is massive (≳10 M⊙), the breakout emission
from the bow shock can explain the observed duration (∼hours) and X-ray luminosity
(∼few × 1042 erg s−1) of QPEs. This model can further explain various observed
features of QPEs, such as their complex luminosity evolution, the gradual decline
of luminosity of the flares over several years, the evolution of the hardness
ratio, the modulation of the luminosity during quiescent phases, and the preference
of the central SMBHs to have low masses.
article_processing_charge: No
article_type: original
author:
- first_name: Hiromichi
full_name: Tagawa, Hiromichi
last_name: Tagawa
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: Tagawa H, Haiman Z. Flares from stars crossing active galactic nucleus discs
on low-inclination orbits. Monthly Notices of the Royal Astronomical Society.
2023;526(1):69-79. doi:10.1093/mnras/stad2616
apa: Tagawa, H., & Haiman, Z. (2023). Flares from stars crossing active galactic
nucleus discs on low-inclination orbits. Monthly Notices of the Royal Astronomical
Society. Oxford University Press. https://doi.org/10.1093/mnras/stad2616
chicago: Tagawa, Hiromichi, and Zoltán Haiman. “Flares from Stars Crossing Active
Galactic Nucleus Discs on Low-Inclination Orbits.” Monthly Notices of the Royal
Astronomical Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad2616.
ieee: H. Tagawa and Z. Haiman, “Flares from stars crossing active galactic nucleus
discs on low-inclination orbits,” Monthly Notices of the Royal Astronomical
Society, vol. 526, no. 1. Oxford University Press, pp. 69–79, 2023.
ista: Tagawa H, Haiman Z. 2023. Flares from stars crossing active galactic nucleus
discs on low-inclination orbits. Monthly Notices of the Royal Astronomical Society.
526(1), 69–79.
mla: Tagawa, Hiromichi, and Zoltán Haiman. “Flares from Stars Crossing Active Galactic
Nucleus Discs on Low-Inclination Orbits.” Monthly Notices of the Royal Astronomical
Society, vol. 526, no. 1, Oxford University Press, 2023, pp. 69–79, doi:10.1093/mnras/stad2616.
short: H. Tagawa, Z. Haiman, Monthly Notices of the Royal Astronomical Society 526
(2023) 69–79.
date_created: 2024-09-05T09:30:18Z
date_published: 2023-09-05T00:00:00Z
date_updated: 2024-09-11T08:52:17Z
day: '05'
doi: 10.1093/mnras/stad2616
extern: '1'
intvolume: ' 526'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/mnras/stad2616
month: '09'
oa: 1
oa_version: Published Version
page: 69-79
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Flares from stars crossing active galactic nucleus discs on low-inclination
orbits
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 526
year: '2023'
...
---
_id: '17539'
abstract:
- lang: eng
text: In this paper, we study how gaseous dynamical friction (DF) affects the motion
of fly-by stellar-mass black holes (sBHs) embedded in active galactic nucleus
(AGN) discs. We perform three-body integrations of the interaction of two co-planar
sBHs in nearby, initially circular orbits around the supermassive black hole.
We find that DF can facilitate the formation of gravitationally bound near-Keplerian
binaries in AGN discs, and we delineate the discrete ranges of impact parameters
and AGN disc parameters for which such captures occur. We also report trends in
the bound binaries’ eccentricity and sense of rotation (prograde or retrograde
with respect to the background AGN disc) as a function of the impact parameter
of the initial encounter. While based on an approximate description of gaseous
friction, our results suggest that binary formation in AGN discs should be common
and may produce both prograde and retrograde, as well as both circular and eccentric
binaries.
article_processing_charge: No
article_type: original
author:
- first_name: Stanislav
full_name: DeLaurentiis, Stanislav
last_name: DeLaurentiis
- first_name: Marguerite
full_name: Epstein-Martin, Marguerite
last_name: Epstein-Martin
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: DeLaurentiis S, Epstein-Martin M, Haiman Z. Gas dynamical friction as a binary
formation mechanism in AGN discs. Monthly Notices of the Royal Astronomical
Society. 2023;523(1):1126-1139. doi:10.1093/mnras/stad1412
apa: DeLaurentiis, S., Epstein-Martin, M., & Haiman, Z. (2023). Gas dynamical
friction as a binary formation mechanism in AGN discs. Monthly Notices of the
Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stad1412
chicago: DeLaurentiis, Stanislav, Marguerite Epstein-Martin, and Zoltán Haiman.
“Gas Dynamical Friction as a Binary Formation Mechanism in AGN Discs.” Monthly
Notices of the Royal Astronomical Society. Oxford University Press, 2023.
https://doi.org/10.1093/mnras/stad1412.
ieee: S. DeLaurentiis, M. Epstein-Martin, and Z. Haiman, “Gas dynamical friction
as a binary formation mechanism in AGN discs,” Monthly Notices of the Royal
Astronomical Society, vol. 523, no. 1. Oxford University Press, pp. 1126–1139,
2023.
ista: DeLaurentiis S, Epstein-Martin M, Haiman Z. 2023. Gas dynamical friction as
a binary formation mechanism in AGN discs. Monthly Notices of the Royal Astronomical
Society. 523(1), 1126–1139.
mla: DeLaurentiis, Stanislav, et al. “Gas Dynamical Friction as a Binary Formation
Mechanism in AGN Discs.” Monthly Notices of the Royal Astronomical Society,
vol. 523, no. 1, Oxford University Press, 2023, pp. 1126–39, doi:10.1093/mnras/stad1412.
short: S. DeLaurentiis, M. Epstein-Martin, Z. Haiman, Monthly Notices of the Royal
Astronomical Society 523 (2023) 1126–1139.
date_created: 2024-09-05T09:53:03Z
date_published: 2023-05-10T00:00:00Z
date_updated: 2024-09-12T09:46:18Z
day: '10'
doi: 10.1093/mnras/stad1412
extern: '1'
intvolume: ' 523'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/mnras/stad1412
month: '05'
oa: 1
oa_version: Published Version
page: 1126-1139
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Gas dynamical friction as a binary formation mechanism in AGN discs
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 523
year: '2023'
...
---
_id: '17548'
abstract:
- lang: eng
text: The shrinking of a binary orbit driven by the interaction with a gaseous circumbinary
disc, initially advocated as a potential way to catalyse the binary merger, has
recently been debated in the case of geometrically thick (i.e. with H/R ≳ 0.1)
discs. However, a clear consensus is still missing mainly owing to numerical limitations,
such as fixed orbit binaries or lack of resolution inside the cavity carved by
the binary in its circumbinary disc. In this work, we assess the importance of
evolving the binary orbit by means of hydrodynamic simulations performed with
the code gizmo in meshless finite mass mode. In order to model the interaction
between equal mass circular binaries and their locally isothermal circumbinary
discs, we enforce hyper-Lagrangian resolution inside the cavity. We find that
fixing the binary orbit ultimately leads to an overestimate of the gravitational
torque that the gas exerts on the binary and an underestimate of the torque due
to the accretion of material on to the binary components. Furthermore, we find
that the modulation of the accretion rate on the binary orbital period is strongly
suppressed in the fixed orbit simulation, while it is clearly present in the live
binary simulations. This has potential implications for the prediction of the
observable periodicities in massive black hole binary candidates.
article_processing_charge: No
article_type: original
author:
- first_name: Alessia
full_name: Franchini, Alessia
last_name: Franchini
- first_name: Alessandro
full_name: Lupi, Alessandro
last_name: Lupi
- first_name: Alberto
full_name: Sesana, Alberto
last_name: Sesana
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: Franchini A, Lupi A, Sesana A, Haiman Z. The importance of live binary evolution
in numerical simulations of binaries embedded in circumbinary discs. Monthly
Notices of the Royal Astronomical Society. 2023;522(1):1569-1574. doi:10.1093/mnras/stad1070
apa: Franchini, A., Lupi, A., Sesana, A., & Haiman, Z. (2023). The importance
of live binary evolution in numerical simulations of binaries embedded in circumbinary
discs. Monthly Notices of the Royal Astronomical Society. Oxford University
Press. https://doi.org/10.1093/mnras/stad1070
chicago: Franchini, Alessia, Alessandro Lupi, Alberto Sesana, and Zoltán Haiman.
“The Importance of Live Binary Evolution in Numerical Simulations of Binaries
Embedded in Circumbinary Discs.” Monthly Notices of the Royal Astronomical
Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad1070.
ieee: A. Franchini, A. Lupi, A. Sesana, and Z. Haiman, “The importance of live binary
evolution in numerical simulations of binaries embedded in circumbinary discs,”
Monthly Notices of the Royal Astronomical Society, vol. 522, no. 1. Oxford
University Press, pp. 1569–1574, 2023.
ista: Franchini A, Lupi A, Sesana A, Haiman Z. 2023. The importance of live binary
evolution in numerical simulations of binaries embedded in circumbinary discs.
Monthly Notices of the Royal Astronomical Society. 522(1), 1569–1574.
mla: Franchini, Alessia, et al. “The Importance of Live Binary Evolution in Numerical
Simulations of Binaries Embedded in Circumbinary Discs.” Monthly Notices of
the Royal Astronomical Society, vol. 522, no. 1, Oxford University Press,
2023, pp. 1569–74, doi:10.1093/mnras/stad1070.
short: A. Franchini, A. Lupi, A. Sesana, Z. Haiman, Monthly Notices of the Royal
Astronomical Society 522 (2023) 1569–1574.
date_created: 2024-09-05T10:08:46Z
date_published: 2023-04-12T00:00:00Z
date_updated: 2024-09-18T09:30:21Z
day: '12'
doi: 10.1093/mnras/stad1070
extern: '1'
intvolume: ' 522'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1093/mnras/stad1070
month: '04'
oa: 1
oa_version: Published Version
page: 1569-1574
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: The importance of live binary evolution in numerical simulations of binaries
embedded in circumbinary discs
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 522
year: '2023'
...