---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20760'
abstract:
- lang: eng
text: The implementation of HCN-free transfer hydrocyanation reactions on laboratory
scales has recently been achieved by using HCN donor reagents under nickel- and
Lewis acid co-catalysis. More recently, malononitrile-based HCN donor reagents
were shown to undergo the C(sp3)–CN bond activation by the nickel catalyst in
the absence of Lewis acids. However, there is a lack of detailed mechanistic understanding
of the challenging C(sp3)–CN bond cleavage step. In this work, in-depth kinetic
and computational studies using alkynes as substrates were used to elucidate the
overall reaction mechanism of this transfer hydrocyanation, with a particular
focus on the activation of the C(sp3)–CN bond to generate the active H–Ni–CN transfer
hydrocyanation catalyst. Comparisons of experimentally and computationally derived
13C kinetic isotope effect data support a direct oxidative addition mechanism
of the nickel catalyst into the C(sp3)–CN bond facilitated by the coordination
of the second nitrile group to the nickel catalyst.
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Julia
full_name: Reisenbauer, Julia
id: 51d862e9-36ee-11f0-86d3-8534c85a5496
last_name: Reisenbauer
- first_name: Patrick
full_name: Finkelstein, Patrick
last_name: Finkelstein
- first_name: Marc-Olivier
full_name: Ebert, Marc-Olivier
last_name: Ebert
- first_name: Bill
full_name: Morandi, Bill
last_name: Morandi
citation:
ama: Reisenbauer J, Finkelstein P, Ebert M-O, Morandi B. Mechanistic investigation
of the nickel-catalyzed transfer hydrocyanation of alkynes. ACS Catalysis.
2023;13(17):11548-11555. doi:10.1021/acscatal.3c02977
apa: Reisenbauer, J., Finkelstein, P., Ebert, M.-O., & Morandi, B. (2023). Mechanistic
investigation of the nickel-catalyzed transfer hydrocyanation of alkynes. ACS
Catalysis. American Chemical Society. https://doi.org/10.1021/acscatal.3c02977
chicago: Reisenbauer, Julia, Patrick Finkelstein, Marc-Olivier Ebert, and Bill Morandi.
“Mechanistic Investigation of the Nickel-Catalyzed Transfer Hydrocyanation of
Alkynes.” ACS Catalysis. American Chemical Society, 2023. https://doi.org/10.1021/acscatal.3c02977.
ieee: J. Reisenbauer, P. Finkelstein, M.-O. Ebert, and B. Morandi, “Mechanistic
investigation of the nickel-catalyzed transfer hydrocyanation of alkynes,” ACS
Catalysis, vol. 13, no. 17. American Chemical Society, pp. 11548–11555, 2023.
ista: Reisenbauer J, Finkelstein P, Ebert M-O, Morandi B. 2023. Mechanistic investigation
of the nickel-catalyzed transfer hydrocyanation of alkynes. ACS Catalysis. 13(17),
11548–11555.
mla: Reisenbauer, Julia, et al. “Mechanistic Investigation of the Nickel-Catalyzed
Transfer Hydrocyanation of Alkynes.” ACS Catalysis, vol. 13, no. 17, American
Chemical Society, 2023, pp. 11548–55, doi:10.1021/acscatal.3c02977.
short: J. Reisenbauer, P. Finkelstein, M.-O. Ebert, B. Morandi, ACS Catalysis 13
(2023) 11548–11555.
date_created: 2025-12-09T14:23:42Z
date_published: 2023-08-16T00:00:00Z
date_updated: 2025-12-16T11:11:14Z
day: '16'
doi: 10.1021/acscatal.3c02977
extern: '1'
external_id:
pmid:
- '37671177'
has_accepted_license: '1'
intvolume: ' 13'
issue: '17'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1021/acscatal.3c02977
month: '08'
oa: 1
oa_version: Published Version
page: 11548-11555
pmid: 1
publication: ACS Catalysis
publication_identifier:
eissn:
- 2155-5435
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of
alkynes
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'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '20761'
abstract:
- lang: eng
text: We report a convenient protocol for a nitrogen atom insertion into indenes
to afford isoquinolines. The reaction uses a combination of commercially available
phenyliodine(III) diacetate (PIDA) and ammonium carbamate as the nitrogen source
to furnish a wide range of isoquinolines. Various substitution patterns and commonly
used functional groups are well tolerated. The operational simplicity renders
this protocol broadly applicable and has been successfully extended towards the
direct interconversion of cyclopentadienes into the corresponding pyridines. Furthermore,
this strategy enables the facile synthesis of 15N labelled isoquinolines, using
15NH4Cl as a commercial 15N source.
article_processing_charge: Yes
article_type: original
author:
- first_name: Patrick
full_name: Finkelstein, Patrick
last_name: Finkelstein
- first_name: Julia
full_name: Reisenbauer, Julia
id: 51d862e9-36ee-11f0-86d3-8534c85a5496
last_name: Reisenbauer
- first_name: Bence B.
full_name: Botlik, Bence B.
last_name: Botlik
- first_name: Ori
full_name: Green, Ori
last_name: Green
- first_name: Andri
full_name: Florin, Andri
last_name: Florin
- first_name: Bill
full_name: Morandi, Bill
last_name: Morandi
citation:
ama: Finkelstein P, Reisenbauer J, Botlik BB, Green O, Florin A, Morandi B. Nitrogen
atom insertion into indenes to access isoquinolines. Chemical Science.
2023;14(11):2954-2959. doi:10.1039/d2sc06952k
apa: Finkelstein, P., Reisenbauer, J., Botlik, B. B., Green, O., Florin, A., &
Morandi, B. (2023). Nitrogen atom insertion into indenes to access isoquinolines.
Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/d2sc06952k
chicago: Finkelstein, Patrick, Julia Reisenbauer, Bence B. Botlik, Ori Green, Andri
Florin, and Bill Morandi. “Nitrogen Atom Insertion into Indenes to Access Isoquinolines.”
Chemical Science. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d2sc06952k.
ieee: P. Finkelstein, J. Reisenbauer, B. B. Botlik, O. Green, A. Florin, and B.
Morandi, “Nitrogen atom insertion into indenes to access isoquinolines,” Chemical
Science, vol. 14, no. 11. Royal Society of Chemistry, pp. 2954–2959, 2023.
ista: Finkelstein P, Reisenbauer J, Botlik BB, Green O, Florin A, Morandi B. 2023.
Nitrogen atom insertion into indenes to access isoquinolines. Chemical Science.
14(11), 2954–2959.
mla: Finkelstein, Patrick, et al. “Nitrogen Atom Insertion into Indenes to Access
Isoquinolines.” Chemical Science, vol. 14, no. 11, Royal Society of Chemistry,
2023, pp. 2954–59, doi:10.1039/d2sc06952k.
short: P. Finkelstein, J. Reisenbauer, B.B. Botlik, O. Green, A. Florin, B. Morandi,
Chemical Science 14 (2023) 2954–2959.
date_created: 2025-12-09T14:23:59Z
date_published: 2023-02-23T00:00:00Z
date_updated: 2025-12-16T11:18:13Z
day: '23'
ddc:
- '540'
doi: 10.1039/d2sc06952k
extern: '1'
external_id:
pmid:
- '36937579'
has_accepted_license: '1'
intvolume: ' 14'
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1039/D2SC06952K
month: '02'
oa: 1
oa_version: Published Version
page: 2954-2959
pmid: 1
publication: Chemical Science
publication_identifier:
eissn:
- 2041-6539
issn:
- 2041-6520
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nitrogen atom insertion into indenes to access isoquinolines
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/3.0/legalcode
name: Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
short: CC BY-NC (3.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2023'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '20762'
abstract:
- lang: eng
text: "A metal-free deaminative coupling of non-prefunctionalised benzylamines and
arylboronic acids is reported. In this operationally simple reaction, a primary
amine in benzylamine is converted into a good leaving group in situ using inexpensive
and commercially available isoamyl nitrite as a nitrosating reagent. Lewis-acidic
arylboronic acids are shown to replace mineral acids such as HCl or HBF4 that
are conventionally used in the preparation of aryl diazonium salts. This unlocked
the formation of the corresponding diarylmethanes by forging a new C–C bond in
good yields.\r\n\r\n"
article_processing_charge: Yes
article_type: original
author:
- first_name: Giedre
full_name: Sirvinskaite, Giedre
last_name: Sirvinskaite
- first_name: Julia
full_name: Reisenbauer, Julia
id: 51d862e9-36ee-11f0-86d3-8534c85a5496
last_name: Reisenbauer
- first_name: Bill
full_name: Morandi, Bill
last_name: Morandi
citation:
ama: Sirvinskaite G, Reisenbauer J, Morandi B. Deaminative coupling of benzylamines
and arylboronic acids. Chemical Science. 2023;14(7):1709-1714. doi:10.1039/d2sc06055h
apa: Sirvinskaite, G., Reisenbauer, J., & Morandi, B. (2023). Deaminative coupling
of benzylamines and arylboronic acids. Chemical Science. Royal Society
of Chemistry. https://doi.org/10.1039/d2sc06055h
chicago: Sirvinskaite, Giedre, Julia Reisenbauer, and Bill Morandi. “Deaminative
Coupling of Benzylamines and Arylboronic Acids.” Chemical Science. Royal
Society of Chemistry, 2023. https://doi.org/10.1039/d2sc06055h.
ieee: G. Sirvinskaite, J. Reisenbauer, and B. Morandi, “Deaminative coupling of
benzylamines and arylboronic acids,” Chemical Science, vol. 14, no. 7.
Royal Society of Chemistry, pp. 1709–1714, 2023.
ista: Sirvinskaite G, Reisenbauer J, Morandi B. 2023. Deaminative coupling of benzylamines
and arylboronic acids. Chemical Science. 14(7), 1709–1714.
mla: Sirvinskaite, Giedre, et al. “Deaminative Coupling of Benzylamines and Arylboronic
Acids.” Chemical Science, vol. 14, no. 7, Royal Society of Chemistry, 2023,
pp. 1709–14, doi:10.1039/d2sc06055h.
short: G. Sirvinskaite, J. Reisenbauer, B. Morandi, Chemical Science 14 (2023) 1709–1714.
date_created: 2025-12-09T14:24:17Z
date_published: 2023-01-13T00:00:00Z
date_updated: 2025-12-16T11:17:41Z
day: '13'
doi: 10.1039/d2sc06055h
extern: '1'
external_id:
pmid:
- '36819866'
has_accepted_license: '1'
intvolume: ' 14'
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1039/D2SC06055H
month: '01'
oa: 1
oa_version: Published Version
page: 1709-1714
pmid: 1
publication: Chemical Science
publication_identifier:
eissn:
- 2041-6539
issn:
- 2041-6520
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
scopus_import: '1'
status: public
title: Deaminative coupling of benzylamines and arylboronic acids
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/3.0/legalcode
name: Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
short: CC BY-NC (3.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2023'
...
---
_id: '10145'
abstract:
- lang: eng
text: We study direct integrals of quadratic and Dirichlet forms. We show that each
quasi-regular Dirichlet space over a probability space admits a unique representation
as a direct integral of irreducible Dirichlet spaces, quasi-regular for the same
underlying topology. The same holds for each quasi-regular strongly local Dirichlet
space over a metrizable Luzin σ-finite Radon measure space, and admitting carré
du champ operator. In this case, the representation is only projectively unique.
acknowledgement: The author is grateful to Professors Sergio Albeverio and Andreas
Eberle, and to Dr. Kohei Suzuki, for fruitful conversations on the subject of the
present work, and for respectively pointing out the references [1, 13], and [3,
20]. Finally, he is especially grateful to an anonymous Reviewer for their very
careful reading and their suggestions which improved the readability of the paper.
article_processing_charge: Yes (via OA deal)
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
citation:
ama: Dello Schiavo L. Ergodic decomposition of Dirichlet forms via direct integrals
and applications. Potential Analysis. 2023;58:573-615. doi:10.1007/s11118-021-09951-y
apa: Dello Schiavo, L. (2023). Ergodic decomposition of Dirichlet forms via direct
integrals and applications. Potential Analysis. Springer Nature. https://doi.org/10.1007/s11118-021-09951-y
chicago: Dello Schiavo, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct
Integrals and Applications.” Potential Analysis. Springer Nature, 2023.
https://doi.org/10.1007/s11118-021-09951-y.
ieee: L. Dello Schiavo, “Ergodic decomposition of Dirichlet forms via direct integrals
and applications,” Potential Analysis, vol. 58. Springer Nature, pp. 573–615,
2023.
ista: Dello Schiavo L. 2023. Ergodic decomposition of Dirichlet forms via direct
integrals and applications. Potential Analysis. 58, 573–615.
mla: Dello Schiavo, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct
Integrals and Applications.” Potential Analysis, vol. 58, Springer Nature,
2023, pp. 573–615, doi:10.1007/s11118-021-09951-y.
short: L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.
corr_author: '1'
date_created: 2021-10-17T22:01:17Z
date_published: 2023-03-01T00:00:00Z
date_updated: 2025-04-14T07:27:46Z
day: '01'
ddc:
- '510'
department:
- _id: JaMa
doi: 10.1007/s11118-021-09951-y
ec_funded: 1
external_id:
arxiv:
- '2003.01366'
isi:
- '000704213400001'
file:
- access_level: open_access
checksum: 625526482be300ca7281c91c30d41725
content_type: application/pdf
creator: dernst
date_created: 2023-10-04T09:18:59Z
date_updated: 2023-10-04T09:18:59Z
file_id: '14387'
file_name: 2023_PotentialAnalysis_DelloSchiavo.pdf
file_size: 806391
relation: main_file
success: 1
file_date_updated: 2023-10-04T09:18:59Z
has_accepted_license: '1'
intvolume: ' 58'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 573-615
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
- _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2
grant_number: F6504
name: Taming Complexity in Partial Differential Systems
- _id: 256E75B8-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '716117'
name: Optimal Transport and Stochastic Dynamics
publication: Potential Analysis
publication_identifier:
eissn:
- 1572-929X
issn:
- 0926-2601
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ergodic decomposition of Dirichlet forms via direct integrals and applications
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: 58
year: '2023'
...
---
_id: '10173'
abstract:
- lang: eng
text: We study the large scale behavior of elliptic systems with stationary random
coefficient that have only slowly decaying correlations. To this aim we analyze
the so-called corrector equation, a degenerate elliptic equation posed in the
probability space. In this contribution, we use a parabolic approach and optimally
quantify the time decay of the semigroup. For the theoretical point of view, we
prove an optimal decay estimate of the gradient and flux of the corrector when
spatially averaged over a scale R larger than 1. For the numerical point of view,
our results provide convenient tools for the analysis of various numerical methods.
acknowledgement: "I would like to thank my advisor Antoine Gloria for suggesting this
problem to me, as well for many interesting discussions and suggestions.\r\nOpen
access funding provided by Institute of Science and Technology (IST Austria)."
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Nicolas
full_name: Clozeau, Nicolas
id: fea1b376-906f-11eb-847d-b2c0cf46455b
last_name: Clozeau
citation:
ama: 'Clozeau N. Optimal decay of the parabolic semigroup in stochastic homogenization
for correlated coefficient fields. Stochastics and Partial Differential Equations:
Analysis and Computations. 2023;11:1254–1378. doi:10.1007/s40072-022-00254-w'
apa: 'Clozeau, N. (2023). Optimal decay of the parabolic semigroup in stochastic
homogenization for correlated coefficient fields. Stochastics and Partial
Differential Equations: Analysis and Computations. Springer Nature. https://doi.org/10.1007/s40072-022-00254-w'
chicago: 'Clozeau, Nicolas. “Optimal Decay of the Parabolic Semigroup in Stochastic
Homogenization for Correlated Coefficient Fields.” Stochastics and Partial
Differential Equations: Analysis and Computations. Springer Nature, 2023.
https://doi.org/10.1007/s40072-022-00254-w.'
ieee: 'N. Clozeau, “Optimal decay of the parabolic semigroup in stochastic homogenization
for correlated coefficient fields,” Stochastics and Partial Differential Equations:
Analysis and Computations, vol. 11. Springer Nature, pp. 1254–1378, 2023.'
ista: 'Clozeau N. 2023. Optimal decay of the parabolic semigroup in stochastic homogenization
for correlated coefficient fields. Stochastics and Partial Differential Equations:
Analysis and Computations. 11, 1254–1378.'
mla: 'Clozeau, Nicolas. “Optimal Decay of the Parabolic Semigroup in Stochastic
Homogenization for Correlated Coefficient Fields.” Stochastics and Partial
Differential Equations: Analysis and Computations, vol. 11, Springer Nature,
2023, pp. 1254–1378, doi:10.1007/s40072-022-00254-w.'
short: 'N. Clozeau, Stochastics and Partial Differential Equations: Analysis and
Computations 11 (2023) 1254–1378.'
corr_author: '1'
date_created: 2021-10-23T10:50:22Z
date_published: 2023-09-01T00:00:00Z
date_updated: 2024-10-09T21:01:04Z
day: '01'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1007/s40072-022-00254-w
external_id:
arxiv:
- '2102.07452'
isi:
- '000799715600001'
file:
- access_level: open_access
checksum: f83dcaecdbd3ace862c4ed97a20e8501
content_type: application/pdf
creator: dernst
date_created: 2023-08-14T11:51:04Z
date_updated: 2023-08-14T11:51:04Z
file_id: '14052'
file_name: 2023_StochPartialDiffEquations_Clozeau.pdf
file_size: 1635193
relation: main_file
success: 1
file_date_updated: 2023-08-14T11:51:04Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 1254–1378
publication: 'Stochastics and Partial Differential Equations: Analysis and Computations'
publication_identifier:
issn:
- 2194-0401
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optimal decay of the parabolic semigroup in stochastic homogenization for
correlated coefficient fields
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: 11
year: '2023'
...
---
OA_type: green
_id: '10174'
abstract:
- lang: eng
text: Quantitative stochastic homogenization of linear elliptic operators is by
now well-understood. In this contribution we move forward to the nonlinear setting
of monotone operators with p-growth. This first work is dedicated to a quantitative
two-scale expansion result. Fluctuations will be addressed in companion articles.
By treating the range of exponents 2≤p<∞ in dimensions d≤3, we are able to consider
genuinely nonlinear elliptic equations and systems such as −∇⋅A(x)(1+|∇u|p−2)∇u=f
(with A random, non-necessarily symmetric) for the first time. When going from
p=2 to p>2, the main difficulty is to analyze the associated linearized operator,
whose coefficients are degenerate, unbounded, and depend on the random input A
via the solution of a nonlinear equation. One of our main achievements is the
control of this intricate nonlinear dependence, leading to annealed Meyers' estimates
for the linearized operator, which are key to the quantitative two-scale expansion
result.
acknowledgement: The authors warmly thank Mitia Duerinckx for discussions on annealed
estimates, and Mathias Schäffner for pointing out that the conditions of [14] apply
to ̄a in the setting of Theorem 2.2 and for discussions on regularity theory for
operators with non-standard growth conditions. The authors received financial support
from the European Research Council (ERC) under the European Union’s Horizon 2020
research and innovation programme (Grant Agreement n◦ 864066).
article_number: '67'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Nicolas
full_name: Clozeau, Nicolas
id: fea1b376-906f-11eb-847d-b2c0cf46455b
last_name: Clozeau
- first_name: Antoine
full_name: Gloria, Antoine
last_name: Gloria
citation:
ama: 'Clozeau N, Gloria A. Quantitative nonlinear homogenization: Control of oscillations.
Archive for Rational Mechanics and Analysis . 247(4). doi:10.1007/s00205-023-01895-4'
apa: 'Clozeau, N., & Gloria, A. (n.d.). Quantitative nonlinear homogenization:
Control of oscillations. Archive for Rational Mechanics and Analysis .
Springer Nature. https://doi.org/10.1007/s00205-023-01895-4'
chicago: 'Clozeau, Nicolas, and Antoine Gloria. “Quantitative Nonlinear Homogenization:
Control of Oscillations.” Archive for Rational Mechanics and Analysis .
Springer Nature, n.d. https://doi.org/10.1007/s00205-023-01895-4.'
ieee: 'N. Clozeau and A. Gloria, “Quantitative nonlinear homogenization: Control
of oscillations,” Archive for Rational Mechanics and Analysis , vol. 247,
no. 4. Springer Nature.'
ista: 'Clozeau N, Gloria A. Quantitative nonlinear homogenization: Control of oscillations.
Archive for Rational Mechanics and Analysis . 247(4), 67.'
mla: 'Clozeau, Nicolas, and Antoine Gloria. “Quantitative Nonlinear Homogenization:
Control of Oscillations.” Archive for Rational Mechanics and Analysis ,
vol. 247, no. 4, 67, Springer Nature, doi:10.1007/s00205-023-01895-4.'
short: N. Clozeau, A. Gloria, Archive for Rational Mechanics and Analysis 247 (n.d.).
date_created: 2021-10-23T10:50:55Z
date_published: 2023-07-16T00:00:00Z
date_updated: 2025-01-20T14:44:10Z
day: '16'
doi: 10.1007/s00205-023-01895-4
extern: '1'
external_id:
arxiv:
- '2104.04263'
intvolume: ' 247'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2104.04263
month: '07'
oa: 1
oa_version: Preprint
publication: 'Archive for Rational Mechanics and Analysis '
publication_identifier:
eissn:
- 1432-0673
issn:
- 0003-9527
publication_status: draft
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Quantitative nonlinear homogenization: Control of oscillations'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 247
year: '2023'
...
---
_id: '10405'
abstract:
- lang: eng
text: 'We consider large non-Hermitian random matrices X with complex, independent,
identically distributed centred entries and show that the linear statistics of
their eigenvalues are asymptotically Gaussian for test functions having 2+ϵ derivatives.
Previously this result was known only for a few special cases; either the test
functions were required to be analytic [72], or the distribution of the matrix
elements needed to be Gaussian [73], or at least match the Gaussian up to the
first four moments [82, 56]. We find the exact dependence of the limiting variance
on the fourth cumulant that was not known before. The proof relies on two novel
ingredients: (i) a local law for a product of two resolvents of the Hermitisation
of X with different spectral parameters and (ii) a coupling of several weakly
dependent Dyson Brownian motions. These methods are also the key inputs for our
analogous results on the linear eigenvalue statistics of real matrices X that
are presented in the companion paper [32]. '
acknowledgement: L.E. would like to thank Nathanaël Berestycki and D.S.would like
to thank Nina Holden for valuable discussions on the Gaussian freefield.G.C. and
L.E. are partially supported by ERC Advanced Grant No. 338804.G.C. received funding
from the European Union’s Horizon 2020 research and in-novation programme under
the Marie Skłodowska-Curie Grant Agreement No.665385. D.S. is supported by Dr. Max
Rössler, the Walter Haefner Foundation, and the ETH Zürich Foundation.
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Giorgio
full_name: Cipolloni, Giorgio
id: 42198EFA-F248-11E8-B48F-1D18A9856A87
last_name: Cipolloni
orcid: 0000-0002-4901-7992
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Dominik J
full_name: Schröder, Dominik J
id: 408ED176-F248-11E8-B48F-1D18A9856A87
last_name: Schröder
orcid: 0000-0002-2904-1856
citation:
ama: Cipolloni G, Erdös L, Schröder DJ. Central limit theorem for linear eigenvalue
statistics of non-Hermitian random matrices. Communications on Pure and Applied
Mathematics. 2023;76(5):946-1034. doi:10.1002/cpa.22028
apa: Cipolloni, G., Erdös, L., & Schröder, D. J. (2023). Central limit theorem
for linear eigenvalue statistics of non-Hermitian random matrices. Communications
on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.22028
chicago: Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Central Limit
Theorem for Linear Eigenvalue Statistics of Non-Hermitian Random Matrices.” Communications
on Pure and Applied Mathematics. Wiley, 2023. https://doi.org/10.1002/cpa.22028.
ieee: G. Cipolloni, L. Erdös, and D. J. Schröder, “Central limit theorem for linear
eigenvalue statistics of non-Hermitian random matrices,” Communications on
Pure and Applied Mathematics, vol. 76, no. 5. Wiley, pp. 946–1034, 2023.
ista: Cipolloni G, Erdös L, Schröder DJ. 2023. Central limit theorem for linear
eigenvalue statistics of non-Hermitian random matrices. Communications on Pure
and Applied Mathematics. 76(5), 946–1034.
mla: Cipolloni, Giorgio, et al. “Central Limit Theorem for Linear Eigenvalue Statistics
of Non-Hermitian Random Matrices.” Communications on Pure and Applied Mathematics,
vol. 76, no. 5, Wiley, 2023, pp. 946–1034, doi:10.1002/cpa.22028.
short: G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied
Mathematics 76 (2023) 946–1034.
corr_author: '1'
date_created: 2021-12-05T23:01:41Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2025-03-31T16:00:54Z
day: '01'
ddc:
- '510'
department:
- _id: LaEr
doi: 10.1002/cpa.22028
ec_funded: 1
external_id:
arxiv:
- '1912.04100'
isi:
- '000724652500001'
file:
- access_level: open_access
checksum: 8346bc2642afb4ccb7f38979f41df5d9
content_type: application/pdf
creator: dernst
date_created: 2023-10-04T09:21:48Z
date_updated: 2023-10-04T09:21:48Z
file_id: '14388'
file_name: 2023_CommPureMathematics_Cipolloni.pdf
file_size: 803440
relation: main_file
success: 1
file_date_updated: 2023-10-04T09:21:48Z
has_accepted_license: '1'
intvolume: ' 76'
isi: 1
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 946-1034
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Communications on Pure and Applied Mathematics
publication_identifier:
eissn:
- 1097-0312
issn:
- 0010-3640
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Central limit theorem for linear eigenvalue statistics of non-Hermitian random
matrices
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 76
year: '2023'
...
---
_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
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
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'
...