---
_id: '10813'
abstract:
- lang: eng
text: Redox mediators could catalyse otherwise slow and energy-inefficient cycling
of Li–S and Li–O2 batteries by shuttling electrons or holes between the electrode
and the solid insulating storage materials. For mediators to work efficiently
they need to oxidize the solid with fast kinetics but with the lowest possible
overpotential. However, the dependence of kinetics and overpotential is unclear,
which hinders informed improvement. Here, we find that when the redox potentials
of mediators are tuned via, for example, Li+ concentration in the electrolyte,
they exhibit distinct threshold potentials, where the kinetics accelerate several-fold
within a range as small as 10 mV. This phenomenon is independent of types of mediator
and electrolyte. The acceleration originates from the overpotentials required
to activate fast Li+/e− extraction and the following chemical step at specific
abundant surface facets. Efficient redox catalysis at insulating solids therefore
requires careful consideration of the surface conditions of the storage materials
and electrolyte-dependent redox potentials, which may be tuned by salt concentrations
or solvents.
acknowledgement: This work was financially supported by the National Natural Science
Foundation of China (grant nos. 51773092, 21975124, 11874254, 51802187 and U2030206).
It was further supported by Fujian science & technology innovation laboratory for
energy devices of China (21C-LAB), Key Research Project of Zhejiang Laboratory (grant
no. 2021PE0AC02) and the Cultivation Program for the Excellent Doctoral Dissertation
of Nanjing Tech University. S.A.F. is indebted to IST Austria for support.
article_processing_charge: No
article_type: original
author:
- first_name: Deqing
full_name: Cao, Deqing
last_name: Cao
- first_name: Xiaoxiao
full_name: Shen, Xiaoxiao
last_name: Shen
- first_name: Aiping
full_name: Wang, Aiping
last_name: Wang
- first_name: Fengjiao
full_name: Yu, Fengjiao
last_name: Yu
- first_name: Yuping
full_name: Wu, Yuping
last_name: Wu
- first_name: Siqi
full_name: Shi, Siqi
last_name: Shi
- first_name: Stefan Alexander
full_name: Freunberger, Stefan Alexander
id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
last_name: Freunberger
orcid: 0000-0003-2902-5319
- first_name: Yuhui
full_name: Chen, Yuhui
last_name: Chen
citation:
ama: Cao D, Shen X, Wang A, et al. Threshold potentials for fast kinetics during
mediated redox catalysis of insulators in Li–O2 and Li–S batteries. Nature
Catalysis. 2022;5:193-201. doi:10.1038/s41929-022-00752-z
apa: Cao, D., Shen, X., Wang, A., Yu, F., Wu, Y., Shi, S., … Chen, Y. (2022). Threshold
potentials for fast kinetics during mediated redox catalysis of insulators in
Li–O2 and Li–S batteries. Nature Catalysis. Springer Nature. https://doi.org/10.1038/s41929-022-00752-z
chicago: Cao, Deqing, Xiaoxiao Shen, Aiping Wang, Fengjiao Yu, Yuping Wu, Siqi Shi,
Stefan Alexander Freunberger, and Yuhui Chen. “Threshold Potentials for Fast Kinetics
during Mediated Redox Catalysis of Insulators in Li–O2 and Li–S Batteries.” Nature
Catalysis. Springer Nature, 2022. https://doi.org/10.1038/s41929-022-00752-z.
ieee: D. Cao et al., “Threshold potentials for fast kinetics during mediated
redox catalysis of insulators in Li–O2 and Li–S batteries,” Nature Catalysis,
vol. 5. Springer Nature, pp. 193–201, 2022.
ista: Cao D, Shen X, Wang A, Yu F, Wu Y, Shi S, Freunberger SA, Chen Y. 2022. Threshold
potentials for fast kinetics during mediated redox catalysis of insulators in
Li–O2 and Li–S batteries. Nature Catalysis. 5, 193–201.
mla: Cao, Deqing, et al. “Threshold Potentials for Fast Kinetics during Mediated
Redox Catalysis of Insulators in Li–O2 and Li–S Batteries.” Nature Catalysis,
vol. 5, Springer Nature, 2022, pp. 193–201, doi:10.1038/s41929-022-00752-z.
short: D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen,
Nature Catalysis 5 (2022) 193–201.
corr_author: '1'
date_created: 2022-03-04T07:50:10Z
date_published: 2022-03-03T00:00:00Z
date_updated: 2024-10-09T21:01:46Z
day: '03'
department:
- _id: StFr
doi: 10.1038/s41929-022-00752-z
external_id:
isi:
- '000763879400001'
intvolume: ' 5'
isi: 1
keyword:
- Process Chemistry and Technology
- Biochemistry
- Bioengineering
- Catalysis
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.21203/rs.3.rs-750965/v1
month: '03'
oa: 1
oa_version: Preprint
page: 193-201
publication: Nature Catalysis
publication_identifier:
issn:
- 2520-1158
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '9978'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Threshold potentials for fast kinetics during mediated redox catalysis of insulators
in Li–O2 and Li–S batteries
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 5
year: '2022'
...
---
_id: '7791'
abstract:
- lang: eng
text: Extending a result of Milena Radnovic and Serge Tabachnikov, we establish
conditionsfor two different non-symmetric norms to define the same billiard reflection
law.
acknowledgement: AA was supported by European Research Council (ERC) under the European
Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 78818
Alpha). RK was supported by the Federal professorship program Grant 1.456.2016/1.4
and the Russian Foundation for Basic Research Grants 18-01-00036 and 19-01-00169.
Open access funding provided by Institute of Science and Technology (IST Austria).
The authors thank Alexey Balitskiy, Milena Radnović, and Serge Tabachnikov for useful
discussions.
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Roman
full_name: Karasev, Roman
last_name: Karasev
citation:
ama: Akopyan A, Karasev R. When different norms lead to same billiard trajectories?
European Journal of Mathematics. 2022;8(4):1309-1312. doi:10.1007/s40879-020-00405-0
apa: Akopyan, A., & Karasev, R. (2022). When different norms lead to same billiard
trajectories? European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-020-00405-0
chicago: Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same
Billiard Trajectories?” European Journal of Mathematics. Springer Nature,
2022. https://doi.org/10.1007/s40879-020-00405-0.
ieee: A. Akopyan and R. Karasev, “When different norms lead to same billiard trajectories?,”
European Journal of Mathematics, vol. 8, no. 4. Springer Nature, pp. 1309–1312,
2022.
ista: Akopyan A, Karasev R. 2022. When different norms lead to same billiard trajectories?
European Journal of Mathematics. 8(4), 1309–1312.
mla: Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard
Trajectories?” European Journal of Mathematics, vol. 8, no. 4, Springer
Nature, 2022, pp. 1309–12, doi:10.1007/s40879-020-00405-0.
short: A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.
corr_author: '1'
date_created: 2020-05-03T22:00:48Z
date_published: 2022-12-01T00:00:00Z
date_updated: 2025-04-14T07:48:36Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1007/s40879-020-00405-0
ec_funded: 1
external_id:
arxiv:
- '1912.12685'
file:
- access_level: open_access
checksum: f53e71fd03744075adcd0b8fc1b8423d
content_type: application/pdf
creator: dernst
date_created: 2020-05-04T10:33:42Z
date_updated: 2020-07-14T12:48:03Z
file_id: '7796'
file_name: 2020_EuropMathematics_Akopyan.pdf
file_size: 263926
relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: ' 8'
issue: '4'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 1309 - 1312
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: European Journal of Mathematics
publication_identifier:
eissn:
- 2199-6768
issn:
- 2199-675X
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: When different norms lead to same billiard trajectories?
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2022'
...
---
_id: '8286'
abstract:
- lang: eng
text: "We consider the following dynamic load-balancing process: given an underlying
graph G with n nodes, in each step t≥ 0, one unit of load is created, and placed
at a randomly chosen graph node. In the same step, the chosen node picks a random
neighbor, and the two nodes balance their loads by averaging them. We are interested
in the expected gap between the minimum and maximum loads at nodes as the process
progresses, and its dependence on n and on the graph structure. Variants of the
above graphical balanced allocation process have been studied previously by Peres,
Talwar, and Wieder [Peres et al., 2015], and by Sauerwald and Sun [Sauerwald and
Sun, 2015]. These authors left as open the question of characterizing the gap
in the case of cycle graphs in the dynamic case, where weights are created during
the algorithm’s execution. For this case, the only known upper bound is of \U0001D4AA(n
log n), following from a majorization argument due to [Peres et al., 2015], which
analyzes a related graphical allocation process. In this paper, we provide an
upper bound of \U0001D4AA (√n log n) on the expected gap of the above process
for cycles of length n. We introduce a new potential analysis technique, which
enables us to bound the difference in load between k-hop neighbors on the cycle,
for any k ≤ n/2. We complement this with a \"gap covering\" argument, which bounds
the maximum value of the gap by bounding its value across all possible subsets
of a certain structure, and recursively bounding the gaps within each subset.
We provide analytical and experimental evidence that our upper bound on the gap
is tight up to a logarithmic factor. "
acknowledgement: The authors sincerely thank Thomas Sauerwald and George Giakkoupis
for insightful discussions, and Mohsen Ghaffari, Yuval Peres, and Udi Wieder for
feedback on earlier versions of this draft. We also thank the ICALP anonymous reviewers
for their very useful comments. Open access funding provided by Institute of Science
and Technology (IST Austria). Funding was provided by European Research Council
(Grant No. PR1042ERC01).
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: Giorgi
full_name: Nadiradze, Giorgi
id: 3279A00C-F248-11E8-B48F-1D18A9856A87
last_name: Nadiradze
orcid: 0000-0001-5634-0731
- first_name: Amirmojtaba
full_name: Sabour, Amirmojtaba
id: bcc145fd-e77f-11ea-ae8b-80d661dbff67
last_name: Sabour
citation:
ama: Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles.
Algorithmica. 2022;84(4):1007-1029. doi:10.1007/s00453-021-00905-9
apa: 'Alistarh, D.-A., Nadiradze, G., & Sabour, A. (2022). Dynamic averaging
load balancing on cycles. Algorithmica. Virtual, Online; Germany: Springer
Nature. https://doi.org/10.1007/s00453-021-00905-9'
chicago: Alistarh, Dan-Adrian, Giorgi Nadiradze, and Amirmojtaba Sabour. “Dynamic
Averaging Load Balancing on Cycles.” Algorithmica. Springer Nature, 2022.
https://doi.org/10.1007/s00453-021-00905-9.
ieee: D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing
on cycles,” Algorithmica, vol. 84, no. 4. Springer Nature, pp. 1007–1029,
2022.
ista: Alistarh D-A, Nadiradze G, Sabour A. 2022. Dynamic averaging load balancing
on cycles. Algorithmica. 84(4), 1007–1029.
mla: Alistarh, Dan-Adrian, et al. “Dynamic Averaging Load Balancing on Cycles.”
Algorithmica, vol. 84, no. 4, Springer Nature, 2022, pp. 1007–29, doi:10.1007/s00453-021-00905-9.
short: D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica 84 (2022) 1007–1029.
conference:
end_date: 2020-07-11
location: Virtual, Online; Germany
name: 'ICALP: Automata, Languages and Programming'
start_date: 2020-07-08
date_created: 2020-08-24T06:24:04Z
date_published: 2022-04-01T00:00:00Z
date_updated: 2025-07-10T11:55:11Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.1007/s00453-021-00905-9
ec_funded: 1
external_id:
arxiv:
- '2003.09297'
isi:
- '000734004600001'
file:
- access_level: open_access
checksum: 21169b25b0c8e17b21e12af22bff9870
content_type: application/pdf
creator: cchlebak
date_created: 2021-12-27T10:36:40Z
date_updated: 2021-12-27T10:36:40Z
file_id: '10577'
file_name: 2021_Algorithmica_Alistarh.pdf
file_size: 525950
relation: main_file
success: 1
file_date_updated: 2021-12-27T10:36:40Z
has_accepted_license: '1'
intvolume: ' 84'
isi: 1
issue: '4'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 1007-1029
project:
- _id: 268A44D6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '805223'
name: Elastic Coordination for Scalable Machine Learning
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Algorithmica
publication_identifier:
eissn:
- 1432-0541
issn:
- 0178-4617
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- relation: earlier_version
url: https://doi.org/10.4230/LIPIcs.ICALP.2020.7
record:
- id: '15077'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Dynamic averaging load balancing on cycles
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: 84
year: '2022'
...
---
_id: '8538'
abstract:
- lang: eng
text: We prove some recent experimental observations of Dan Reznik concerning periodic
billiard orbits in ellipses. For example, the sum of cosines of the angles of
a periodic billiard polygon remains constant in the 1-parameter family of such
polygons (that exist due to the Poncelet porism). In our proofs, we use geometric
and complex analytic methods.
acknowledgement: " This paper would not be written if not for Dan Reznik’s curiosity
and persistence; we are very grateful to him. We also thank R. Garcia and J. Koiller
for interesting discussions. It is a pleasure to thank the Mathematical Institute
of the University of Heidelberg for its stimulating atmosphere. ST thanks M. Bialy
for interesting discussions and the Tel Aviv\r\nUniversity for its invariable hospitality.
AA was supported by European Research Council (ERC) under the European Union’s Horizon
2020 research and innovation programme (grant agreement No 78818 Alpha). RS is supported
by NSF Grant DMS-1807320. ST was supported by NSF grant DMS-1510055 and SFB/TRR
191."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Richard
full_name: Schwartz, Richard
last_name: Schwartz
- first_name: Serge
full_name: Tabachnikov, Serge
last_name: Tabachnikov
citation:
ama: Akopyan A, Schwartz R, Tabachnikov S. Billiards in ellipses revisited. European
Journal of Mathematics. 2022;8(4):1313-1327. doi:10.1007/s40879-020-00426-9
apa: Akopyan, A., Schwartz, R., & Tabachnikov, S. (2022). Billiards in ellipses
revisited. European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-020-00426-9
chicago: Akopyan, Arseniy, Richard Schwartz, and Serge Tabachnikov. “Billiards in
Ellipses Revisited.” European Journal of Mathematics. Springer Nature,
2022. https://doi.org/10.1007/s40879-020-00426-9.
ieee: A. Akopyan, R. Schwartz, and S. Tabachnikov, “Billiards in ellipses revisited,”
European Journal of Mathematics, vol. 8, no. 4. Springer Nature, pp. 1313–1327,
2022.
ista: Akopyan A, Schwartz R, Tabachnikov S. 2022. Billiards in ellipses revisited.
European Journal of Mathematics. 8(4), 1313–1327.
mla: Akopyan, Arseniy, et al. “Billiards in Ellipses Revisited.” European Journal
of Mathematics, vol. 8, no. 4, Springer Nature, 2022, pp. 1313–27, doi:10.1007/s40879-020-00426-9.
short: A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics
8 (2022) 1313–1327.
date_created: 2020-09-20T22:01:38Z
date_published: 2022-12-01T00:00:00Z
date_updated: 2025-04-14T07:48:34Z
day: '01'
department:
- _id: HeEd
doi: 10.1007/s40879-020-00426-9
ec_funded: 1
external_id:
arxiv:
- '2001.02934'
intvolume: ' 8'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2001.02934
month: '12'
oa: 1
oa_version: Preprint
page: 1313-1327
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
publication: European Journal of Mathematics
publication_identifier:
eissn:
- 2199-6768
issn:
- 2199-675X
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Billiards in ellipses revisited
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2022'
...
---
_id: '9336'
abstract:
- lang: eng
text: Mentorship is experience and/or knowledge‐based guidance. Mentors support,
sponsor and advocate for mentees. Having one or more mentors when you seek advice
can significantly influence and improve your research endeavours, well‐being and
career development. Positive mentee–mentor relationships are vital for maintaining
work–life balance and success in careers. Early‐career researchers (ECRs), in
particular, can benefit from mentorship to navigate challenges in academic and
nonacademic life and careers. Yet, strategies for selecting mentors and maintaining
interactions with them are often underdiscussed within research environments.
In this Words of Advice, we provide recommendations for ECRs to seek and manage
mentorship interactions. Our article draws from our experiences as ECRs and published
work, to provide suggestions for mentees to proactively promote beneficial mentorship
interactions. The recommended practices highlight the importance of identifying
mentorship needs, planning and selecting multiple and diverse mentors, setting
goals, and maintaining constructive, and mutually beneficial working relationships
with mentors.
acknowledgement: The authors thank Nicholas Asby of the University of Chicago for
valuable comments on an earlier version of this work. A.P.S. was partially supported
by the NARSAD Young Investigator Grant 27705. S.J.H was supported by the National
Institutes of Health grant R35GM133732.
alternative_title:
- Words of Advice
article_processing_charge: No
article_type: original
author:
- first_name: Sarvenaz
full_name: Sarabipour, Sarvenaz
last_name: Sarabipour
- first_name: Sarah J.
full_name: Hainer, Sarah J.
last_name: Hainer
- first_name: Feyza N
full_name: Arslan, Feyza N
id: 49DA7910-F248-11E8-B48F-1D18A9856A87
last_name: Arslan
orcid: 0000-0001-5809-9566
- first_name: Charlotte M.
full_name: De Winde, Charlotte M.
last_name: De Winde
- first_name: Emily
full_name: Furlong, Emily
last_name: Furlong
- first_name: Natalia
full_name: Bielczyk, Natalia
last_name: Bielczyk
- first_name: Nafisa M.
full_name: Jadavji, Nafisa M.
last_name: Jadavji
- first_name: Aparna P.
full_name: Shah, Aparna P.
last_name: Shah
- first_name: Sejal
full_name: Davla, Sejal
last_name: Davla
citation:
ama: Sarabipour S, Hainer SJ, Arslan FN, et al. Building and sustaining mentor interactions
as a mentee. FEBS Journal. 2022;289(6):1374-1384. doi:10.1111/febs.15823
apa: Sarabipour, S., Hainer, S. J., Arslan, F. N., De Winde, C. M., Furlong, E.,
Bielczyk, N., … Davla, S. (2022). Building and sustaining mentor interactions
as a mentee. FEBS Journal. Wiley. https://doi.org/10.1111/febs.15823
chicago: Sarabipour, Sarvenaz, Sarah J. Hainer, Feyza N Arslan, Charlotte M. De
Winde, Emily Furlong, Natalia Bielczyk, Nafisa M. Jadavji, Aparna P. Shah, and
Sejal Davla. “Building and Sustaining Mentor Interactions as a Mentee.” FEBS
Journal. Wiley, 2022. https://doi.org/10.1111/febs.15823.
ieee: S. Sarabipour et al., “Building and sustaining mentor interactions
as a mentee,” FEBS Journal, vol. 289, no. 6. Wiley, pp. 1374–1384, 2022.
ista: Sarabipour S, Hainer SJ, Arslan FN, De Winde CM, Furlong E, Bielczyk N, Jadavji
NM, Shah AP, Davla S. 2022. Building and sustaining mentor interactions as a mentee.
FEBS Journal. 289(6), 1374–1384.
mla: Sarabipour, Sarvenaz, et al. “Building and Sustaining Mentor Interactions as
a Mentee.” FEBS Journal, vol. 289, no. 6, Wiley, 2022, pp. 1374–84, doi:10.1111/febs.15823.
short: S. Sarabipour, S.J. Hainer, F.N. Arslan, C.M. De Winde, E. Furlong, N. Bielczyk,
N.M. Jadavji, A.P. Shah, S. Davla, FEBS Journal 289 (2022) 1374–1384.
date_created: 2021-04-18T22:01:43Z
date_published: 2022-03-01T00:00:00Z
date_updated: 2026-06-18T19:47:28Z
day: '01'
ddc:
- '570'
department:
- _id: CaHe
doi: 10.1111/febs.15823
external_id:
isi:
- '000636678800001'
pmid:
- '33818917'
intvolume: ' 289'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/febs.15823
month: '03'
oa: 1
oa_version: Published Version
page: 1374-1384
pmid: 1
publication: FEBS Journal
publication_identifier:
eissn:
- 1742-4658
issn:
- 1742-464X
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Building and sustaining mentor interactions as a mentee
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 289
year: '2022'
...
---
_id: '9649'
abstract:
- lang: eng
text: "Isomanifolds are the generalization of isosurfaces to arbitrary dimension
and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued
smooth function f : Rd → Rd−n. A natural (and efficient) way to approximate an
isomanifold is to consider its Piecewise-Linear (PL) approximation based on a
triangulation T of the ambient space Rd. In this paper, we give conditions under
which the PL-approximation of an isomanifold is topologically equivalent to the
isomanifold. The conditions are easy to satisfy in the sense that they can always
be met by taking a sufficiently\r\nfine triangulation T . This contrasts with
previous results on the triangulation of manifolds where, in arbitrary dimensions,
delicate perturbations are needed to guarantee topological correctness, which
leads to strong limitations in practice. We further give a bound on the Fréchet
distance between the original isomanifold and its PL-approximation. Finally we
show analogous results for the PL-approximation of an isomanifold with boundary."
acknowledgement: "First and foremost, we acknowledge Siargey Kachanovich for discussions.
We thank Herbert Edelsbrunner and all members of his group, all former and current
members of the Datashape team (formerly known as Geometrica), and André Lieutier
for encouragement. We further thank the reviewers of Foundations of Computational
Mathematics and the reviewers and program committee of the Symposium on Computational
Geometry for their feedback, which improved the exposition.\r\nThis work was funded
by the European Research Council under the European Union’s ERC Grant Agreement
number 339025 GUDHI (Algorithmic Foundations of Geometric Understanding in Higher
Dimensions). This work was also supported by the French government, through the
3IA Côte d’Azur Investments in the Future project managed by the National Research
Agency (ANR) with the reference number ANR-19-P3IA-0002. Mathijs Wintraecken also
received funding from the European Union’s Horizon 2020 research and innovation
programme under the Marie Skłodowska-Curie grant agreement no. 754411."
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Jean-Daniel
full_name: Boissonnat, Jean-Daniel
last_name: Boissonnat
- first_name: Mathijs
full_name: Wintraecken, Mathijs
id: 307CFBC8-F248-11E8-B48F-1D18A9856A87
last_name: Wintraecken
orcid: 0000-0002-7472-2220
citation:
ama: Boissonnat J-D, Wintraecken M. The topological correctness of PL approximations
of isomanifolds. Foundations of Computational Mathematics . 2022;22:967-1012.
doi:10.1007/s10208-021-09520-0
apa: Boissonnat, J.-D., & Wintraecken, M. (2022). The topological correctness
of PL approximations of isomanifolds. Foundations of Computational Mathematics
. Springer Nature. https://doi.org/10.1007/s10208-021-09520-0
chicago: Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness
of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics
. Springer Nature, 2022. https://doi.org/10.1007/s10208-021-09520-0.
ieee: J.-D. Boissonnat and M. Wintraecken, “The topological correctness of PL approximations
of isomanifolds,” Foundations of Computational Mathematics , vol. 22. Springer
Nature, pp. 967–1012, 2022.
ista: Boissonnat J-D, Wintraecken M. 2022. The topological correctness of PL approximations
of isomanifolds. Foundations of Computational Mathematics . 22, 967–1012.
mla: Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness
of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics
, vol. 22, Springer Nature, 2022, pp. 967–1012, doi:10.1007/s10208-021-09520-0.
short: J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics 22
(2022) 967–1012.
corr_author: '1'
date_created: 2021-07-14T06:44:53Z
date_published: 2022-01-01T00:00:00Z
date_updated: 2025-04-22T13:45:18Z
day: '01'
ddc:
- '516'
department:
- _id: HeEd
doi: 10.1007/s10208-021-09520-0
ec_funded: 1
external_id:
isi:
- '000673039600001'
file:
- access_level: open_access
checksum: f1d372ec3c08ec22e84f8e93e1126b8c
content_type: application/pdf
creator: mwintrae
date_created: 2021-07-14T06:44:36Z
date_updated: 2021-07-14T06:44:36Z
file_id: '9650'
file_name: Boissonnat-Wintraecken2021_Article_TheTopologicalCorrectnessOfPLA.pdf
file_size: 1455699
relation: main_file
file_date_updated: 2021-07-14T06:44:36Z
has_accepted_license: '1'
intvolume: ' 22'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 967-1012
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: 'Foundations of Computational Mathematics '
publication_identifier:
eissn:
- 1615-3383
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '7952'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: The topological correctness of PL approximations of isomanifolds
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: 22
year: '2022'
...
---
_id: '9794'
abstract:
- lang: eng
text: 'Lymph nodes (LNs) comprise two main structural elements: fibroblastic reticular
cells that form dedicated niches for immune cell interaction and capsular fibroblasts
that build a shell around the organ. Immunological challenge causes LNs to increase
more than tenfold in size within a few days. Here, we characterized the biomechanics
of LN swelling on the cellular and organ scale. We identified lymphocyte trapping
by influx and proliferation as drivers of an outward pressure force, causing fibroblastic
reticular cells of the T-zone (TRCs) and their associated conduits to stretch.
After an initial phase of relaxation, TRCs sensed the resulting strain through
cell matrix adhesions, which coordinated local growth and remodeling of the stromal
network. While the expanded TRC network readopted its typical configuration, a
massive fibrotic reaction of the organ capsule set in and countered further organ
expansion. Thus, different fibroblast populations mechanically control LN swelling
in a multitier fashion.'
acknowledged_ssus:
- _id: Bio
- _id: EM-Fac
- _id: PreCl
- _id: LifeSc
acknowledgement: This research was supported by the Scientific Service Units of IST
Austria through resources provided by the Imaging and Optics, Electron Microscopy,
Preclinical and Life Science Facilities. We thank C. Moussion for providing anti-PNAd
antibody and D. Critchley for Talin1-floxed mice, and E. Papusheva for providing
a custom 3D channel alignment script. This work was supported by a European Research
Council grant ERC-CoG-72437 to M.S. M.H. was supported by Czech Sciencundation GACR
20-24603Y and Charles University PRIMUS/20/MED/013.
article_processing_charge: No
article_type: original
author:
- first_name: Frank P
full_name: Assen, Frank P
id: 3A8E7F24-F248-11E8-B48F-1D18A9856A87
last_name: Assen
orcid: 0000-0003-3470-6119
- first_name: Jun
full_name: Abe, Jun
last_name: Abe
- first_name: Miroslav
full_name: Hons, Miroslav
id: 4167FE56-F248-11E8-B48F-1D18A9856A87
last_name: Hons
orcid: 0000-0002-6625-3348
- first_name: Robert
full_name: Hauschild, Robert
id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
last_name: Hauschild
orcid: 0000-0001-9843-3522
- first_name: Shayan
full_name: Shamipour, Shayan
id: 40B34FE2-F248-11E8-B48F-1D18A9856A87
last_name: Shamipour
- first_name: Walter
full_name: Kaufmann, Walter
id: 3F99E422-F248-11E8-B48F-1D18A9856A87
last_name: Kaufmann
orcid: 0000-0001-9735-5315
- first_name: Tommaso
full_name: Costanzo, Tommaso
id: D93824F4-D9BA-11E9-BB12-F207E6697425
last_name: Costanzo
orcid: 0000-0001-9732-3815
- first_name: Gabriel
full_name: Krens, Gabriel
id: 2B819732-F248-11E8-B48F-1D18A9856A87
last_name: Krens
orcid: 0000-0003-4761-5996
- first_name: Markus
full_name: Brown, Markus
id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87
last_name: Brown
- first_name: Burkhard
full_name: Ludewig, Burkhard
last_name: Ludewig
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Wolfgang
full_name: Weninger, Wolfgang
last_name: Weninger
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Sanjiv A.
full_name: Luther, Sanjiv A.
last_name: Luther
- first_name: Jens V.
full_name: Stein, Jens V.
last_name: Stein
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-4561-241X
citation:
ama: Assen FP, Abe J, Hons M, et al. Multitier mechanics control stromal adaptations
in swelling lymph nodes. Nature Immunology. 2022;23:1246-1255. doi:10.1038/s41590-022-01257-4
apa: Assen, F. P., Abe, J., Hons, M., Hauschild, R., Shamipour, S., Kaufmann, W.,
… Sixt, M. K. (2022). Multitier mechanics control stromal adaptations in swelling
lymph nodes. Nature Immunology. Springer Nature. https://doi.org/10.1038/s41590-022-01257-4
chicago: Assen, Frank P, Jun Abe, Miroslav Hons, Robert Hauschild, Shayan Shamipour,
Walter Kaufmann, Tommaso Costanzo, et al. “Multitier Mechanics Control Stromal
Adaptations in Swelling Lymph Nodes.” Nature Immunology. Springer Nature,
2022. https://doi.org/10.1038/s41590-022-01257-4.
ieee: F. P. Assen et al., “Multitier mechanics control stromal adaptations
in swelling lymph nodes,” Nature Immunology, vol. 23. Springer Nature,
pp. 1246–1255, 2022.
ista: Assen FP, Abe J, Hons M, Hauschild R, Shamipour S, Kaufmann W, Costanzo T,
Krens G, Brown M, Ludewig B, Hippenmeyer S, Heisenberg C-PJ, Weninger W, Hannezo
EB, Luther SA, Stein JV, Sixt MK. 2022. Multitier mechanics control stromal adaptations
in swelling lymph nodes. Nature Immunology. 23, 1246–1255.
mla: Assen, Frank P., et al. “Multitier Mechanics Control Stromal Adaptations in
Swelling Lymph Nodes.” Nature Immunology, vol. 23, Springer Nature, 2022,
pp. 1246–55, doi:10.1038/s41590-022-01257-4.
short: F.P. Assen, J. Abe, M. Hons, R. Hauschild, S. Shamipour, W. Kaufmann, T.
Costanzo, G. Krens, M. Brown, B. Ludewig, S. Hippenmeyer, C.-P.J. Heisenberg,
W. Weninger, E.B. Hannezo, S.A. Luther, J.V. Stein, M.K. Sixt, Nature Immunology
23 (2022) 1246–1255.
corr_author: '1'
date_created: 2021-08-06T09:09:11Z
date_published: 2022-07-11T00:00:00Z
date_updated: 2025-06-11T13:52:43Z
day: '11'
ddc:
- '570'
department:
- _id: SiHi
- _id: CaHe
- _id: EdHa
- _id: EM-Fac
- _id: Bio
- _id: MiSi
doi: 10.1038/s41590-022-01257-4
ec_funded: 1
external_id:
isi:
- '000822975900002'
pmid:
- '35817845'
file:
- access_level: open_access
checksum: 628e7b49809f22c75b428842efe70c68
content_type: application/pdf
creator: dernst
date_created: 2022-07-25T07:11:32Z
date_updated: 2022-07-25T07:11:32Z
file_id: '11642'
file_name: 2022_NatureImmunology_Assen.pdf
file_size: 11475325
relation: main_file
success: 1
file_date_updated: 2022-07-25T07:11:32Z
has_accepted_license: '1'
intvolume: ' 23'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 1246-1255
pmid: 1
project:
- _id: 25FE9508-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '724373'
name: Cellular Navigation Along Spatial Gradients
publication: Nature Immunology
publication_identifier:
eissn:
- 1529-2916
issn:
- 1529-2908
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Multitier mechanics control stromal adaptations in swelling lymph nodes
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: 23
year: '2022'
...
---
_id: '9955'
abstract:
- lang: eng
text: Neurons can change their classical neurotransmitters during ontogeny, sometimes
going through stages of dual release. Here, we explored the development of the
neurotransmitter identity of neurons of the avian nucleus isthmi parvocellularis
(Ipc), whose axon terminals are retinotopically arranged in the optic tectum (TeO)
and exert a focal gating effect upon the ascending transmission of retinal inputs.
Although cholinergic and glutamatergic markers are both found in Ipc neurons and
terminals of adult pigeons and chicks, the mRNA expression of the vesicular acetylcholine
transporter, VAChT, is weak or absent. To explore how the Ipc neurotransmitter
identity is established during ontogeny, we analyzed the expression of mRNAs coding
for cholinergic (ChAT, VAChT, and CHT) and glutamatergic (VGluT2 and VGluT3) markers
in chick embryos at different developmental stages. We found that between E12
and E18, Ipc neurons expressed all cholinergic mRNAs and also VGluT2 mRNA; however,
from E16 through posthatch stages, VAChT mRNA expression was specifically diminished.
Our ex vivo deposits of tracer crystals and intracellular filling experiments
revealed that Ipc axons exhibit a mature paintbrush morphology late in development,
experiencing marked morphological transformations during the period of presumptive
dual vesicular transmitter release. Additionally, although ChAT protein immunoassays
increasingly label the growing Ipc axon, this labeling was consistently restricted
to sparse portions of the terminal branches. Combined, these results suggest that
the synthesis of glutamate and acetylcholine, and their vesicular release, is
complexly linked to the developmental processes of branching, growing and remodeling
of these unique axons.
acknowledgement: 'This work was supported by FONDECYT grants 1151432 and 1210169 to
Gonzalo J. Marín. FONDECYT grant 1210069 to Jorge Mpodozis. Spanish Ministry of
Science, Innovation and Universities (MCIU), State Research Agency (AEI) and European
Regional Development Fund (FEDER), PGC2018-098229-B-100 to José L Ferrán. Spanish
Ministry of Economy and Competitiveness Excellency Grant BFU2014-57516P (with European
Community FEDER support), and a Seneca Foundation (Autonomous Community of Murcia)
Excellency Research contract, ref: 19904/ GERM/15; project name: Genoarchitectonic
Brain Development and Applications to Neurodegenerative Diseases and Cancer (5672
Fundación Séneca) to Luis Puelles. The authors gratefully acknowledge the valuable
editorial help provided by Sara Fernández-Collemann. The authors also thank Elisa
Sentis and Solano Henríquez for expert technical help.'
article_processing_charge: No
article_type: original
author:
- first_name: Rosana
full_name: Reyes‐Pinto, Rosana
last_name: Reyes‐Pinto
- first_name: José L.
full_name: Ferrán, José L.
last_name: Ferrán
- first_name: Tomas A
full_name: Vega Zuniga, Tomas A
id: 2E7C4E78-F248-11E8-B48F-1D18A9856A87
last_name: Vega Zuniga
- first_name: Cristian
full_name: González‐Cabrera, Cristian
last_name: González‐Cabrera
- first_name: Harald
full_name: Luksch, Harald
last_name: Luksch
- first_name: Jorge
full_name: Mpodozis, Jorge
last_name: Mpodozis
- first_name: Luis
full_name: Puelles, Luis
last_name: Puelles
- first_name: Gonzalo J.
full_name: Marín, Gonzalo J.
last_name: Marín
citation:
ama: Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, et al. Change in the neurochemical
signature and morphological development of the parvocellular isthmic projection
to the avian tectum. Journal of Comparative Neurology. 2022;530(2):553-573.
doi:10.1002/cne.25229
apa: Reyes‐Pinto, R., Ferrán, J. L., Vega Zuniga, T. A., González‐Cabrera, C., Luksch,
H., Mpodozis, J., … Marín, G. J. (2022). Change in the neurochemical signature
and morphological development of the parvocellular isthmic projection to the avian
tectum. Journal of Comparative Neurology. Wiley. https://doi.org/10.1002/cne.25229
chicago: Reyes‐Pinto, Rosana, José L. Ferrán, Tomas A Vega Zuniga, Cristian González‐Cabrera,
Harald Luksch, Jorge Mpodozis, Luis Puelles, and Gonzalo J. Marín. “Change in
the Neurochemical Signature and Morphological Development of the Parvocellular
Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology.
Wiley, 2022. https://doi.org/10.1002/cne.25229.
ieee: R. Reyes‐Pinto et al., “Change in the neurochemical signature and morphological
development of the parvocellular isthmic projection to the avian tectum,” Journal
of Comparative Neurology, vol. 530, no. 2. Wiley, pp. 553–573, 2022.
ista: Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, González‐Cabrera C, Luksch H, Mpodozis
J, Puelles L, Marín GJ. 2022. Change in the neurochemical signature and morphological
development of the parvocellular isthmic projection to the avian tectum. Journal
of Comparative Neurology. 530(2), 553–573.
mla: Reyes‐Pinto, Rosana, et al. “Change in the Neurochemical Signature and Morphological
Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal
of Comparative Neurology, vol. 530, no. 2, Wiley, 2022, pp. 553–73, doi:10.1002/cne.25229.
short: R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch,
J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022)
553–573.
date_created: 2021-08-23T08:40:59Z
date_published: 2022-02-01T00:00:00Z
date_updated: 2023-08-11T10:58:17Z
day: '01'
department:
- _id: MaJö
doi: 10.1002/cne.25229
external_id:
isi:
- '000686420000001'
pmid:
- '34363623'
intvolume: ' 530'
isi: 1
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
page: 553-573
pmid: 1
publication: Journal of Comparative Neurology
publication_identifier:
eissn:
- 1096-9861
issn:
- 0021-9967
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Change in the neurochemical signature and morphological development of the
parvocellular isthmic projection to the avian tectum
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 530
year: '2022'
...
---
_id: '9977'
abstract:
- lang: eng
text: "For a Seifert fibered homology sphere X we show that the q-series invariant
Zˆ0(X; q) introduced by Gukov-Pei-Putrov-Vafa, is a resummation of the Ohtsuki
series Z0(X). We show that for every even k ∈ N there exists a full asymptotic
expansion of Zˆ0(X; q) for q tending to e 2πi/k, and in particular that the limit
Zˆ0(X; e 2πi/k) exists and is equal to the\r\nWRT quantum invariant τk(X). We
show that the poles of the Borel transform of Z0(X) coincide with the classical
complex Chern-Simons values, which we further show classifies the corresponding
components of the moduli space of flat SL(2, C)-connections."
acknowledgement: "We warmly thank S. Gukov for valuable discussions on the GPPV invariant
̂Z\U0001D44E(\U0001D4403; \U0001D45E). The first\r\nauthor was supported in part
by the center of excellence grant ‘Center for Quantum Geometry\r\nof Moduli Spaces’
from the Danish National Research Foundation (DNRF95) and by the ERCSynergy\r\ngrant
‘ReNewQuantum’. The second author received funding from the European Union’s Horizon
2020 research and innovation program under the Marie Skłodowska-Curie grant agreement
no. 754411."
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: William
full_name: Mistegaard, William
id: 41B03CD0-62AE-11E9-84EF-0718E6697425
last_name: Mistegaard
- first_name: Jørgen Ellegaard
full_name: Andersen, Jørgen Ellegaard
last_name: Andersen
citation:
ama: Mistegaard W, Andersen JE. Resurgence analysis of quantum invariants of Seifert
fibered homology spheres. Journal of the London Mathematical Society. 2022;105(2):709-764.
doi:10.1112/jlms.12506
apa: Mistegaard, W., & Andersen, J. E. (2022). Resurgence analysis of quantum
invariants of Seifert fibered homology spheres. Journal of the London Mathematical
Society. Wiley. https://doi.org/10.1112/jlms.12506
chicago: Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis
of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the
London Mathematical Society. Wiley, 2022. https://doi.org/10.1112/jlms.12506.
ieee: W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants
of Seifert fibered homology spheres,” Journal of the London Mathematical Society,
vol. 105, no. 2. Wiley, pp. 709–764, 2022.
ista: Mistegaard W, Andersen JE. 2022. Resurgence analysis of quantum invariants
of Seifert fibered homology spheres. Journal of the London Mathematical Society.
105(2), 709–764.
mla: Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of
Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London
Mathematical Society, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:10.1112/jlms.12506.
short: W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society
105 (2022) 709–764.
corr_author: '1'
date_created: 2021-08-31T12:51:40Z
date_published: 2022-03-01T00:00:00Z
date_updated: 2025-04-14T07:43:49Z
day: '01'
ddc:
- '510'
department:
- _id: TaHa
doi: 10.1112/jlms.12506
ec_funded: 1
external_id:
arxiv:
- '1811.05376'
isi:
- '000755205700001'
file:
- access_level: open_access
checksum: 9c72327d39f34f1a6eaa98fa4b8493f2
content_type: application/pdf
creator: dernst
date_created: 2022-03-24T11:42:25Z
date_updated: 2022-03-24T11:42:25Z
file_id: '10917'
file_name: 2022_JourLondonMathSoc_Andersen.pdf
file_size: 649130
relation: main_file
success: 1
file_date_updated: 2022-03-24T11:42:25Z
has_accepted_license: '1'
intvolume: ' 105'
isi: 1
issue: '2'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 709-764
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Journal of the London Mathematical Society
publication_identifier:
eissn:
- 1469-7750
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Resurgence analysis of quantum invariants of Seifert fibered homology spheres
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: 105
year: '2022'
...
---
_id: '17383'
abstract:
- lang: eng
text: "We present a computational inverse design framework for a new class of volumetric
deployable structures that have compact rest states and deploy into bending-active
3D target surfaces. Umbrella meshes consist of elastic beams, rigid plates, and
hinge joints that can be directly printed or assembled in a zero-energy fabrication
state. During deployment, as the elastic beams of varying heights rotate from
vertical to horizontal configurations, the entire structure transforms from a
compact block into a target curved surface. Umbrella Meshes encode both intrinsic
and extrinsic curvature of the target surface and in principle are free from the
area expansion ratio bounds of past auxetic material systems.\r\nWe build a reduced
physics-based simulation framework to accurately and efficiently model the complex
interaction between the elastically deforming components. To determine the mesh
topology and optimal shape parameters for approximating a given target surface,
we propose an inverse design optimization algorithm initialized with conformal
flattening. Our algorithm minimizes the structure's strain energy in its deployed
state and optimizes actuation forces so that the final deployed structure is in
stable equilibrium close to the desired surface with few or no external constraints.
We validate our approach by fabricating a series of physical models at various
scales using different manufacturing techniques."
article_processing_charge: No
article_type: original
author:
- first_name: Yingying
full_name: Ren, Yingying
id: 93d68d10-3540-11ef-a265-f748a50dba3d
last_name: Ren
- first_name: Uday
full_name: Kusupati, Uday
last_name: Kusupati
- first_name: Julian
full_name: Panetta, Julian
last_name: Panetta
- first_name: Florin
full_name: Isvoranu, Florin
last_name: Isvoranu
- first_name: Davide
full_name: Pellis, Davide
last_name: Pellis
- first_name: Tian
full_name: Chen, Tian
last_name: Chen
- first_name: Mark
full_name: Pauly, Mark
last_name: Pauly
citation:
ama: 'Ren Y, Kusupati U, Panetta J, et al. Umbrella meshes: Elastic mechanisms for
freeform shape deployment. ACM Transactions on Graphics. 2022;41(4):1-15.
doi:10.1145/3528223.3530089'
apa: 'Ren, Y., Kusupati, U., Panetta, J., Isvoranu, F., Pellis, D., Chen, T., &
Pauly, M. (2022). Umbrella meshes: Elastic mechanisms for freeform shape deployment.
ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3528223.3530089'
chicago: 'Ren, Yingying, Uday Kusupati, Julian Panetta, Florin Isvoranu, Davide
Pellis, Tian Chen, and Mark Pauly. “Umbrella Meshes: Elastic Mechanisms for Freeform
Shape Deployment.” ACM Transactions on Graphics. Association for Computing
Machinery, 2022. https://doi.org/10.1145/3528223.3530089.'
ieee: 'Y. Ren et al., “Umbrella meshes: Elastic mechanisms for freeform shape
deployment,” ACM Transactions on Graphics, vol. 41, no. 4. Association
for Computing Machinery, pp. 1–15, 2022.'
ista: 'Ren Y, Kusupati U, Panetta J, Isvoranu F, Pellis D, Chen T, Pauly M. 2022.
Umbrella meshes: Elastic mechanisms for freeform shape deployment. ACM Transactions
on Graphics. 41(4), 1–15.'
mla: 'Ren, Yingying, et al. “Umbrella Meshes: Elastic Mechanisms for Freeform Shape
Deployment.” ACM Transactions on Graphics, vol. 41, no. 4, Association
for Computing Machinery, 2022, pp. 1–15, doi:10.1145/3528223.3530089.'
short: Y. Ren, U. Kusupati, J. Panetta, F. Isvoranu, D. Pellis, T. Chen, M. Pauly,
ACM Transactions on Graphics 41 (2022) 1–15.
date_created: 2024-08-05T06:30:07Z
date_published: 2022-07-22T00:00:00Z
date_updated: 2024-08-12T09:40:49Z
day: '22'
doi: 10.1145/3528223.3530089
extern: '1'
intvolume: ' 41'
issue: '4'
language:
- iso: eng
month: '07'
oa_version: None
page: 1-15
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: 'Umbrella meshes: Elastic mechanisms for freeform shape deployment'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 41
year: '2022'
...
---
_id: '17501'
abstract:
- lang: eng
text: "Low-level systems code often needs to interact with data, such as page table
entries or network packet headers, in which multiple pieces of information are
packaged together as bitfield components of a single machine integer and accessed
via bitfield manipulations (e.g., shifts and masking). Most existing approaches
to verifying such code employ SMT solvers, instantiated with theories for bit
vector reasoning: these provide a powerful hammer, but also significantly increase
the trusted computing base of the verification toolchain.\r\nIn this work, we
propose an alternative approach to the verification of bitfield-manipulating systems
code, which we call BFF. Building on the RefinedC framework, BFF is not only highly
automated (as SMT-based approaches are) but also foundational---i.e., it produces
a machine-checked proof of program correctness against a formal semantics for
C programs, fully mechanized in Coq. Unlike SMT-based approaches, we do not try
to solve the general problem of arbitrary bit vector reasoning, but rather observe
that real systems code typically accesses bitfields using simple, well-understood
programming patterns: the layout of a bit vector is known up front, and its bitfields
are accessed in predictable ways through a handful of bitwise operations involving
bit masks. Correspondingly, we center our approach around the concept of a structured
bit vector---i.e., a bit vector with a known bitfield layout---which we use to
drive simple and predictable automation. We validate the BFF approach by verifying
a range of bitfield-manipulating C functions drawn from real systems code, including
page table manipulation code from the Linux kernel and the pKVM hypervisor."
article_processing_charge: No
article_type: original
author:
- first_name: Fengmin
full_name: Zhu, Fengmin
last_name: Zhu
- first_name: Michael Joachim
full_name: Sammler, Michael Joachim
id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
last_name: Sammler
- first_name: Rodolphe
full_name: Lepigre, Rodolphe
last_name: Lepigre
- first_name: Derek
full_name: Dreyer, Derek
last_name: Dreyer
- first_name: Deepak
full_name: Garg, Deepak
last_name: Garg
citation:
ama: 'Zhu F, Sammler MJ, Lepigre R, Dreyer D, Garg D. BFF: Foundational and automated
verification of bitfield-manipulating programs. Proceedings of the ACM on Programming
Languages. 2022;6(OOPSLA2):1613-1638. doi:10.1145/3563345'
apa: 'Zhu, F., Sammler, M. J., Lepigre, R., Dreyer, D., & Garg, D. (2022). BFF:
Foundational and automated verification of bitfield-manipulating programs. Proceedings
of the ACM on Programming Languages. Association for Computing Machinery.
https://doi.org/10.1145/3563345'
chicago: 'Zhu, Fengmin, Michael Joachim Sammler, Rodolphe Lepigre, Derek Dreyer,
and Deepak Garg. “BFF: Foundational and Automated Verification of Bitfield-Manipulating
Programs.” Proceedings of the ACM on Programming Languages. Association
for Computing Machinery, 2022. https://doi.org/10.1145/3563345.'
ieee: 'F. Zhu, M. J. Sammler, R. Lepigre, D. Dreyer, and D. Garg, “BFF: Foundational
and automated verification of bitfield-manipulating programs,” Proceedings
of the ACM on Programming Languages, vol. 6, no. OOPSLA2. Association for
Computing Machinery, pp. 1613–1638, 2022.'
ista: 'Zhu F, Sammler MJ, Lepigre R, Dreyer D, Garg D. 2022. BFF: Foundational and
automated verification of bitfield-manipulating programs. Proceedings of the ACM
on Programming Languages. 6(OOPSLA2), 1613–1638.'
mla: 'Zhu, Fengmin, et al. “BFF: Foundational and Automated Verification of Bitfield-Manipulating
Programs.” Proceedings of the ACM on Programming Languages, vol. 6, no.
OOPSLA2, Association for Computing Machinery, 2022, pp. 1613–38, doi:10.1145/3563345.'
short: F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the
ACM on Programming Languages 6 (2022) 1613–1638.
date_created: 2024-09-05T08:27:17Z
date_published: 2022-10-31T00:00:00Z
date_updated: 2024-09-10T09:49:18Z
day: '31'
doi: 10.1145/3563345
extern: '1'
intvolume: ' 6'
issue: OOPSLA2
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3563345
month: '10'
oa: 1
oa_version: Published Version
page: 1613-1638
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: 'BFF: Foundational and automated verification of bitfield-manipulating programs'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 6
year: '2022'
...
---
_id: '17502'
abstract:
- lang: eng
text: "Recent years have seen great advances towards verifying large-scale systems
code. However, these verifications are usually based on hand-written assembly
or machine-code semantics for the underlying architecture that only cover a small
part of the instruction set architecture (ISA). In contrast, other recent work
has used Sail to establish formal models for large real-world architectures, including
Armv8-A and RISC-V, that are comprehensive (complete enough to boot an operating
system or hypervisor) and authoritative (automatically derived from the Arm internal
model and validated against the Arm validation suite, and adopted as the official
formal specification by RISC-V International, respectively). But the scale and
complexity of these models makes them challenging to use as a basis for verification.\r\nIn
this paper, we propose Islaris, the first system to support verification of machine
code above these complete and authoritative real-world ISA specifications. Islaris
uses a novel combination of SMT-solver-based symbolic execution (the Isla symbolic
executor) and automated reasoning in a foundational program logic (a new separation
logic we derive using Iris in Coq). We show that this approach can handle Armv8-A
and RISC-V machine code exercising a wide range of systems features, including
installing and calling exception vectors, code parametric on a relocation address
offset (from the production pKVM hypervisor); unaligned access faults; memory-mapped
IO; and compiled C code using inline assembly and function pointers."
article_processing_charge: No
author:
- first_name: Michael Joachim
full_name: Sammler, Michael Joachim
id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
last_name: Sammler
- first_name: Angus
full_name: Hammond, Angus
last_name: Hammond
- first_name: Rodolphe
full_name: Lepigre, Rodolphe
last_name: Lepigre
- first_name: Brian
full_name: Campbell, Brian
last_name: Campbell
- first_name: Jean
full_name: Pichon-Pharabod, Jean
last_name: Pichon-Pharabod
- first_name: Derek
full_name: Dreyer, Derek
last_name: Dreyer
- first_name: Deepak
full_name: Garg, Deepak
last_name: Garg
- first_name: Peter
full_name: Sewell, Peter
last_name: Sewell
citation:
ama: 'Sammler MJ, Hammond A, Lepigre R, et al. Islaris: Verification of machine
code against authoritative ISA semantics. In: Proceedings of the 43rd ACM SIGPLAN
International Conference on Programming Language Design and Implementation.
Association for Computing Machinery; 2022:825-840. doi:10.1145/3519939.3523434'
apa: 'Sammler, M. J., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J.,
Dreyer, D., … Sewell, P. (2022). Islaris: Verification of machine code against
authoritative ISA semantics. In Proceedings of the 43rd ACM SIGPLAN International
Conference on Programming Language Design and Implementation (pp. 825–840).
San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3519939.3523434'
chicago: 'Sammler, Michael Joachim, Angus Hammond, Rodolphe Lepigre, Brian Campbell,
Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell. “Islaris: Verification
of Machine Code against Authoritative ISA Semantics.” In Proceedings of the
43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
825–40. Association for Computing Machinery, 2022. https://doi.org/10.1145/3519939.3523434.'
ieee: 'M. J. Sammler et al., “Islaris: Verification of machine code against
authoritative ISA semantics,” in Proceedings of the 43rd ACM SIGPLAN International
Conference on Programming Language Design and Implementation, San Diego, CA,
United States, 2022, pp. 825–840.'
ista: 'Sammler MJ, Hammond A, Lepigre R, Campbell B, Pichon-Pharabod J, Dreyer D,
Garg D, Sewell P. 2022. Islaris: Verification of machine code against authoritative
ISA semantics. Proceedings of the 43rd ACM SIGPLAN International Conference on
Programming Language Design and Implementation. PLDI: Conference on Programming
Language Design and Implementation, 825–840.'
mla: 'Sammler, Michael Joachim, et al. “Islaris: Verification of Machine Code against
Authoritative ISA Semantics.” Proceedings of the 43rd ACM SIGPLAN International
Conference on Programming Language Design and Implementation, Association
for Computing Machinery, 2022, pp. 825–40, doi:10.1145/3519939.3523434.'
short: M.J. Sammler, A. Hammond, R. Lepigre, B. Campbell, J. Pichon-Pharabod, D.
Dreyer, D. Garg, P. Sewell, in:, Proceedings of the 43rd ACM SIGPLAN International
Conference on Programming Language Design and Implementation, Association for
Computing Machinery, 2022, pp. 825–840.
conference:
end_date: 2022-06-17
location: San Diego, CA, United States
name: 'PLDI: Conference on Programming Language Design and Implementation'
start_date: 2022-06-13
date_created: 2024-09-05T08:29:08Z
date_published: 2022-06-09T00:00:00Z
date_updated: 2024-09-10T11:08:03Z
day: '09'
doi: 10.1145/3519939.3523434
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3519939.3523434
month: '06'
oa: 1
oa_version: Published Version
page: 825-840
publication: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming
Language Design and Implementation
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Islaris: Verification of machine code against authoritative ISA semantics'
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2022'
...
---
_id: '17503'
abstract:
- lang: eng
text: "Systems code often requires fine-grained control over memory layout and pointers,
expressed using low-level (e.g., bitwise) operations on pointer values. Since
these operations go beyond what basic pointer arithmetic in C allows, they are
performed with the help of integer-pointer casts. Prior work has explored increasingly
realistic memory object models for C that account for the desired semantics of
integer-pointer casts while also being sound w.r.t. compiler optimisations, culminating
in PNVI, the preferred memory object model in ongoing discussions within the ISO
WG14 C standards committee. However, its complexity makes it an unappealing target
for verification, and no tools currently exist to verify C programs under PNVI.\r\nIn
this paper, we introduce VIP, a new memory object model aimed at supporting C
verification. VIP sidesteps the complexities of PNVI with a simple but effective
idea: a new construct that lets programmers express the intended provenances of
integer-pointer casts explicitly. At the same time, we prove VIP compatible with
PNVI, thus enabling verification on top of VIP to benefit from PNVI’s validation
with respect to practice. In particular, we build a verification tool, RefinedC-VIP,
for verifying programs under VIP semantics. As the name suggests, RefinedC-VIP
extends the recently developed RefinedC tool, which is automated yet also produces
foundational proofs in Coq. We evaluate RefinedC-VIP on a range of systems-code
idioms, and validate VIP’s expressiveness via an implementation in the Cerberus
C semantics."
article_processing_charge: No
article_type: original
author:
- first_name: Rodolphe
full_name: Lepigre, Rodolphe
last_name: Lepigre
- first_name: Michael Joachim
full_name: Sammler, Michael Joachim
id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
last_name: Sammler
- first_name: Kayvan
full_name: Memarian, Kayvan
last_name: Memarian
- first_name: Robbert
full_name: Krebbers, Robbert
last_name: Krebbers
- first_name: Derek
full_name: Dreyer, Derek
last_name: Dreyer
- first_name: Peter
full_name: Sewell, Peter
last_name: Sewell
citation:
ama: 'Lepigre R, Sammler MJ, Memarian K, Krebbers R, Dreyer D, Sewell P. VIP: Verifying
real-world C idioms with integer-pointer casts. Proceedings of the ACM on Programming
Languages. 2022;6(POPL):1-32. doi:10.1145/3498681'
apa: 'Lepigre, R., Sammler, M. J., Memarian, K., Krebbers, R., Dreyer, D., &
Sewell, P. (2022). VIP: Verifying real-world C idioms with integer-pointer casts.
Proceedings of the ACM on Programming Languages. Association for Computing
Machinery. https://doi.org/10.1145/3498681'
chicago: 'Lepigre, Rodolphe, Michael Joachim Sammler, Kayvan Memarian, Robbert Krebbers,
Derek Dreyer, and Peter Sewell. “VIP: Verifying Real-World C Idioms with Integer-Pointer
Casts.” Proceedings of the ACM on Programming Languages. Association for
Computing Machinery, 2022. https://doi.org/10.1145/3498681.'
ieee: 'R. Lepigre, M. J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, and P. Sewell,
“VIP: Verifying real-world C idioms with integer-pointer casts,” Proceedings
of the ACM on Programming Languages, vol. 6, no. POPL. Association for Computing
Machinery, pp. 1–32, 2022.'
ista: 'Lepigre R, Sammler MJ, Memarian K, Krebbers R, Dreyer D, Sewell P. 2022.
VIP: Verifying real-world C idioms with integer-pointer casts. Proceedings of
the ACM on Programming Languages. 6(POPL), 1–32.'
mla: 'Lepigre, Rodolphe, et al. “VIP: Verifying Real-World C Idioms with Integer-Pointer
Casts.” Proceedings of the ACM on Programming Languages, vol. 6, no. POPL,
Association for Computing Machinery, 2022, pp. 1–32, doi:10.1145/3498681.'
short: R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell,
Proceedings of the ACM on Programming Languages 6 (2022) 1–32.
date_created: 2024-09-05T08:31:09Z
date_published: 2022-01-12T00:00:00Z
date_updated: 2024-09-10T09:48:57Z
day: '12'
doi: 10.1145/3498681
extern: '1'
intvolume: ' 6'
issue: POPL
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3498681
month: '01'
oa: 1
oa_version: Published Version
page: 1-32
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: 'VIP: Verifying real-world C idioms with integer-pointer casts'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 6
year: '2022'
...
---
_id: '17504'
abstract:
- lang: eng
text: "Today’s compilers employ a variety of non-trivial optimizations to achieve
good performance. One key trick compilers use to justify transformations of concurrent
programs is to assume that the source program has no data races: if it does, they
cause the program to have undefined behavior (UB) and give the compiler free rein.
However, verifying correctness of optimizations that exploit this assumption is
a non-trivial problem. In particular, prior work either has not proven that such
optimizations preserve program termination (particularly non-obvious when considering
optimizations that move instructions out of loop bodies), or has treated all synchronization
operations as external functions (losing the ability to reorder instructions around
them).\r\nIn this work we present Simuliris, the first simulation technique to
establish termination preservation (under a fair scheduler) for a range of concurrent
program transformations that exploit UB in the source language. Simuliris is based
on the idea of using ownership to reason modularly about the assumptions the compiler
makes about programs with well-defined behavior. This brings the benefits of concurrent
separation logics to the space of verifying program transformations: we can combine
powerful reasoning techniques such as framing and coinduction to perform thread-local
proofs of non-trivial concurrent program optimizations. Simuliris is built on
a (non-step-indexed) variant of the Coq-based Iris framework, and is thus not
tied to a particular language. In addition to demonstrating the effectiveness
of Simuliris on standard compiler optimizations involving data race UB, we also
instantiate it with Jung et al.’s Stacked Borrows semantics for Rust and generalize
their proofs of interesting type-based aliasing optimizations to account for concurrency."
article_processing_charge: No
article_type: original
author:
- first_name: Lennard
full_name: Gäher, Lennard
last_name: Gäher
- 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: Ralf
full_name: Jung, Ralf
last_name: Jung
- first_name: Hoang-Hai
full_name: Dang, Hoang-Hai
last_name: Dang
- first_name: Robbert
full_name: Krebbers, Robbert
last_name: Krebbers
- first_name: Jeehoon
full_name: Kang, Jeehoon
last_name: Kang
- first_name: Derek
full_name: Dreyer, Derek
last_name: Dreyer
citation:
ama: 'Gäher L, Sammler MJ, Spies S, et al. Simuliris: A separation logic framework
for verifying concurrent program optimizations. Proceedings of the ACM on Programming
Languages. 2022;6(POPL):1-31. doi:10.1145/3498689'
apa: 'Gäher, L., Sammler, M. J., Spies, S., Jung, R., Dang, H.-H., Krebbers, R.,
… Dreyer, D. (2022). Simuliris: A separation logic framework for verifying concurrent
program optimizations. Proceedings of the ACM on Programming Languages.
Association for Computing Machinery. https://doi.org/10.1145/3498689'
chicago: 'Gäher, Lennard, Michael Joachim Sammler, Simon Spies, Ralf Jung, Hoang-Hai
Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer. “Simuliris: A Separation
Logic Framework for Verifying Concurrent Program Optimizations.” Proceedings
of the ACM on Programming Languages. Association for Computing Machinery,
2022. https://doi.org/10.1145/3498689.'
ieee: 'L. Gäher et al., “Simuliris: A separation logic framework for verifying
concurrent program optimizations,” Proceedings of the ACM on Programming Languages,
vol. 6, no. POPL. Association for Computing Machinery, pp. 1–31, 2022.'
ista: 'Gäher L, Sammler MJ, Spies S, Jung R, Dang H-H, Krebbers R, Kang J, Dreyer
D. 2022. Simuliris: A separation logic framework for verifying concurrent program
optimizations. Proceedings of the ACM on Programming Languages. 6(POPL), 1–31.'
mla: 'Gäher, Lennard, et al. “Simuliris: A Separation Logic Framework for Verifying
Concurrent Program Optimizations.” Proceedings of the ACM on Programming Languages,
vol. 6, no. POPL, Association for Computing Machinery, 2022, pp. 1–31, doi:10.1145/3498689.'
short: L. Gäher, M.J. Sammler, S. Spies, R. Jung, H.-H. Dang, R. Krebbers, J. Kang,
D. Dreyer, Proceedings of the ACM on Programming Languages 6 (2022) 1–31.
date_created: 2024-09-05T08:32:16Z
date_published: 2022-01-12T00:00:00Z
date_updated: 2024-09-10T09:48:37Z
day: '12'
doi: 10.1145/3498689
extern: '1'
intvolume: ' 6'
issue: POPL
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3498689
month: '01'
oa: 1
oa_version: Published Version
page: 1-31
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: 'Simuliris: A separation logic framework for verifying concurrent program optimizations'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 6
year: '2022'
...
---
_id: '17526'
abstract:
- lang: eng
text: The self-lensing of a massive black hole binary (MBHB), which occurs when
the two BHs are aligned close to the line of sight, is expected to produce periodic,
short-duration flares. Here we study the shapes of self-lensing flares (SLFs)
via general-relativistic ray tracing in a superimposed binary BH metric, in which
the emission is generated by geometrically thin accretion flows around each component.
The suite of models covers eccentric binary orbits, black hole spins, unequal
mass binaries, and different emission model geometries. We explore the above parameter
space and report how the light curves change as a function of, e.g., binary separation,
inclination, and eccentricity. We also compare our light curves to those in the
microlensing approximation, and show how strong deflections, as well as time-delay
effects, change the size and shape of the SLF. If gravitational waves (GWs) from
the inspiraling MBHB are observed by LISA, SLFs can help securely identify the
source and localizing it on the sky, and to constrain the graviton mass by comparing
the phasing of the SLFs and the GWs. Additionally, when these systems are viewed
edge-on the SLF shows a distinct dip that can be directly correlated with the
BH shadow size. This opens a new way to measure BH shadow sizes in systems that
are unresolvable by current VLBI facilities.
article_number: '103010'
article_processing_charge: No
article_type: original
author:
- first_name: Jordy
full_name: Davelaar, Jordy
last_name: Davelaar
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: 'Davelaar J, Haiman Z. Self-lensing flares from black hole binaries: General-relativistic
ray tracing of black hole binaries. Physical Review D. 2022;105(10). doi:10.1103/physrevd.105.103010'
apa: 'Davelaar, J., & Haiman, Z. (2022). Self-lensing flares from black hole
binaries: General-relativistic ray tracing of black hole binaries. Physical
Review D. American Physical Society (APS). https://doi.org/10.1103/physrevd.105.103010'
chicago: 'Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole
Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” Physical
Review D. American Physical Society (APS), 2022. https://doi.org/10.1103/physrevd.105.103010.'
ieee: 'J. Davelaar and Z. Haiman, “Self-lensing flares from black hole binaries:
General-relativistic ray tracing of black hole binaries,” Physical Review D,
vol. 105, no. 10. American Physical Society (APS), 2022.'
ista: 'Davelaar J, Haiman Z. 2022. Self-lensing flares from black hole binaries:
General-relativistic ray tracing of black hole binaries. Physical Review D. 105(10),
103010.'
mla: 'Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries:
General-Relativistic Ray Tracing of Black Hole Binaries.” Physical Review D,
vol. 105, no. 10, 103010, American Physical Society (APS), 2022, doi:10.1103/physrevd.105.103010.'
short: J. Davelaar, Z. Haiman, Physical Review D 105 (2022).
date_created: 2024-09-05T09:29:24Z
date_published: 2022-05-09T00:00:00Z
date_updated: 2024-09-11T08:41:55Z
day: '09'
doi: 10.1103/physrevd.105.103010
extern: '1'
intvolume: ' 105'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1103/physrevd.105.103010
month: '05'
oa: 1
oa_version: Published Version
publication: Physical Review D
publication_identifier:
issn:
- 2470-0010
- 2470-0029
publication_status: published
publisher: American Physical Society (APS)
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Self-lensing flares from black hole binaries: General-relativistic ray tracing
of black hole binaries'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 105
year: '2022'
...
---
_id: '17536'
abstract:
- lang: eng
text: There is some weak evidence that the black hole merger named GW190521 had
a non-zero eccentricity. In addition, the component black holes' masses exceeded
the limit predicted by stellar evolution. The large masses can be explained by
successive mergers, which may be efficient in gas disks surrounding active galactic
nuclei (AGN), but it is difficult to maintain an eccentric orbit all the way to
the merger, as basic physics would argue for circularization. Here we show that
AGN-disk environments can lead to an excess of eccentric mergers, if the interactions
between single and binary black holes are frequent, and occur with mutual inclinations
of less than a few degrees. We further illustrate that this eccentric population
has a different distribution of the inclination between the spin vectors of the
black holes and their orbital angular momentum at merger, referred to as the spin-orbit
tilt, compared to the remaining circular mergers.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: J.
full_name: Samsing, J.
last_name: Samsing
- first_name: I.
full_name: Bartos, I.
last_name: Bartos
- first_name: D. J.
full_name: D’Orazio, D. J.
last_name: D’Orazio
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: B.
full_name: Kocsis, B.
last_name: Kocsis
- first_name: N. W. C.
full_name: Leigh, N. W. C.
last_name: Leigh
- first_name: B.
full_name: Liu, B.
last_name: Liu
- first_name: M. E.
full_name: Pessah, M. E.
last_name: Pessah
- first_name: H.
full_name: Tagawa, H.
last_name: Tagawa
citation:
ama: Samsing J, Bartos I, D’Orazio DJ, et al. AGN as potential factories for eccentric
black hole mergers. Nature. 2022;603(7900):237-240. doi:10.1038/s41586-021-04333-1
apa: Samsing, J., Bartos, I., D’Orazio, D. J., Haiman, Z., Kocsis, B., Leigh, N.
W. C., … Tagawa, H. (2022). AGN as potential factories for eccentric black hole
mergers. Nature. Springer Science and Business Media LLC. https://doi.org/10.1038/s41586-021-04333-1
chicago: Samsing, J., I. Bartos, D. J. D’Orazio, Zoltán Haiman, B. Kocsis, N. W.
C. Leigh, B. Liu, M. E. Pessah, and H. Tagawa. “AGN as Potential Factories for
Eccentric Black Hole Mergers.” Nature. Springer Science and Business Media
LLC, 2022. https://doi.org/10.1038/s41586-021-04333-1.
ieee: J. Samsing et al., “AGN as potential factories for eccentric black
hole mergers,” Nature, vol. 603, no. 7900. Springer Science and Business
Media LLC, pp. 237–240, 2022.
ista: Samsing J, Bartos I, D’Orazio DJ, Haiman Z, Kocsis B, Leigh NWC, Liu B, Pessah
ME, Tagawa H. 2022. AGN as potential factories for eccentric black hole mergers.
Nature. 603(7900), 237–240.
mla: Samsing, J., et al. “AGN as Potential Factories for Eccentric Black Hole Mergers.”
Nature, vol. 603, no. 7900, Springer Science and Business Media LLC, 2022,
pp. 237–40, doi:10.1038/s41586-021-04333-1.
short: J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh,
B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.
date_created: 2024-09-05T09:45:31Z
date_published: 2022-05-09T00:00:00Z
date_updated: 2024-09-12T09:24:50Z
day: '09'
doi: 10.1038/s41586-021-04333-1
extern: '1'
external_id:
arxiv:
- '2010.09765'
intvolume: ' 603'
issue: '7900'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2010.09765'
month: '05'
oa: 1
oa_version: Preprint
page: 237-240
publication: Nature
publication_identifier:
issn:
- 0028-0836
- 1476-4687
publication_status: published
publisher: Springer Science and Business Media LLC
quality_controlled: '1'
scopus_import: '1'
status: public
title: AGN as potential factories for eccentric black hole mergers
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 603
year: '2022'
...
---
_id: '17547'
abstract:
- lang: eng
text: Supermassive black hole (BH) binaries are thought to produce self-lensing
flares (SLFs) when the two BHs are aligned with the line of sight. If the binary
orbit is observed nearly edge-on, we find a distinct feature in the light curve
imprinted by the relativistic shadow around the background (“source”) BH. We study
this feature by ray tracing in a binary model and predict that 1% of the current
binary candidates could show this feature. Our BH tomography method proposed here
could make it possible to extract BH shadows that are spatially unresolvable by
high-resolution very long base line interferometry (VLBI).
article_number: '191101'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jordy
full_name: Davelaar, Jordy
last_name: Davelaar
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: 'Davelaar J, Haiman Z. Self-Lensing flares from black hole binaries: Observing
black hole shadows via light curve tomography. Physical Review Letters.
2022;128(19). doi:10.1103/physrevlett.128.191101'
apa: 'Davelaar, J., & Haiman, Z. (2022). Self-Lensing flares from black hole
binaries: Observing black hole shadows via light curve tomography. Physical
Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.128.191101'
chicago: 'Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole
Binaries: Observing Black Hole Shadows via Light Curve Tomography.” Physical
Review Letters. American Physical Society, 2022. https://doi.org/10.1103/physrevlett.128.191101.'
ieee: 'J. Davelaar and Z. Haiman, “Self-Lensing flares from black hole binaries:
Observing black hole shadows via light curve tomography,” Physical Review Letters,
vol. 128, no. 19. American Physical Society, 2022.'
ista: 'Davelaar J, Haiman Z. 2022. Self-Lensing flares from black hole binaries:
Observing black hole shadows via light curve tomography. Physical Review Letters.
128(19), 191101.'
mla: 'Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries:
Observing Black Hole Shadows via Light Curve Tomography.” Physical Review Letters,
vol. 128, no. 19, 191101, American Physical Society, 2022, doi:10.1103/physrevlett.128.191101.'
short: J. Davelaar, Z. Haiman, Physical Review Letters 128 (2022).
date_created: 2024-09-05T10:07:30Z
date_published: 2022-05-09T00:00:00Z
date_updated: 2024-09-18T09:24:54Z
day: '09'
doi: 10.1103/physrevlett.128.191101
extern: '1'
external_id:
arxiv:
- '2112.05829'
intvolume: ' 128'
issue: '19'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2112.05829'
month: '05'
oa: 1
oa_version: Preprint
publication: Physical Review Letters
publication_identifier:
issn:
- 0031-9007
- 1079-7114
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Self-Lensing flares from black hole binaries: Observing black hole shadows
via light curve tomography'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 128
year: '2022'
...
---
_id: '17553'
abstract:
- lang: eng
text: 'Linear analysis of gas flows around orbiting binaries suggests that a centrifugal
barrier ought to clear a low-density cavity around the binary and inhibit mass
transfer onto it. Modern hydrodynamics simulations have confirmed the low-density
cavity, but show that any mass flowing from large scales into the circumbinary
disk is eventually transferred onto the binary components. Even though many numerical
studies confirm this picture, it is still not understood precisely how gas parcels
overcome the centrifugal barrier and ultimately accrete. We present a detailed
analysis of the binary accretion process, using an accurate prescription for evolving
grid-based hydrodynamics with Lagrangian tracer particles that track the trajectories
of individual gas parcels. We find that binary accretion can be described in four
phases: (1) gas is viscously transported through the circumbinary disk up to the
centrifugal barrier at the cavity wall, (2) the cavity wall is tidally distorted
into accretion streams consisting of near-ballistic gas parcels on eccentric orbits,
(3) the portion of each stream moving inwards of an ``accretion horizon'''' radius
r¯≃a -- the radius beyond which no material is returned to the cavity wall --
becomes bound to a minidisk orbiting an individual binary component, and (4) the
minidisk gas accretes onto the binary component through the combined effect of
viscous and tidal stresses.'
article_number: '24'
article_processing_charge: No
article_type: original
author:
- first_name: Christopher
full_name: Tiede, Christopher
last_name: Tiede
- first_name: Jonathan
full_name: Zrake, Jonathan
last_name: Zrake
- first_name: Andrew
full_name: MacFadyen, Andrew
last_name: MacFadyen
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: 'Tiede C, Zrake J, MacFadyen A, Haiman Z. How binaries accrete: Hydrodynamic
simulations with passive tracer particles. The Astrophysical Journal. 2022;932(1).
doi:10.3847/1538-4357/ac6c2b'
apa: 'Tiede, C., Zrake, J., MacFadyen, A., & Haiman, Z. (2022). How binaries
accrete: Hydrodynamic simulations with passive tracer particles. The Astrophysical
Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ac6c2b'
chicago: 'Tiede, Christopher, Jonathan Zrake, Andrew MacFadyen, and Zoltán Haiman.
“How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.”
The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac6c2b.'
ieee: 'C. Tiede, J. Zrake, A. MacFadyen, and Z. Haiman, “How binaries accrete: Hydrodynamic
simulations with passive tracer particles,” The Astrophysical Journal,
vol. 932, no. 1. American Astronomical Society, 2022.'
ista: 'Tiede C, Zrake J, MacFadyen A, Haiman Z. 2022. How binaries accrete: Hydrodynamic
simulations with passive tracer particles. The Astrophysical Journal. 932(1),
24.'
mla: 'Tiede, Christopher, et al. “How Binaries Accrete: Hydrodynamic Simulations
with Passive Tracer Particles.” The Astrophysical Journal, vol. 932, no.
1, 24, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac6c2b.'
short: C. Tiede, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 932
(2022).
date_created: 2024-09-05T10:17:13Z
date_published: 2022-06-13T00:00:00Z
date_updated: 2024-09-18T10:18:01Z
day: '13'
doi: 10.3847/1538-4357/ac6c2b
extern: '1'
intvolume: ' 932'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/1538-4357/ac6c2b
month: '06'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
issn:
- 0004-637X
- 1538-4357
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'How binaries accrete: Hydrodynamic simulations with passive tracer particles'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 932
year: '2022'
...
---
_id: '17560'
abstract:
- lang: eng
text: Observations of the most luminous quasars at high redshifts (z>6) have revealed
that the largest supermassive black holes (SMBHs) at those epochs tend to be substantially
overmassive relative to their host galaxies compared to the local relations, suggesting
they experienced rapid early growth phases. We propose an assembly model for the
SMBHs that end up in rare massive ∼1012 M⊙ host halos at z∼6−7, applying a kinetic
feedback prescription for BHs accreting above the Eddington rate, provided by
radiation hydrodynamic simulations for the long-term evolution of the accretion-flow
structure. The large inflow rates into these halos during their assembly enable
the formation of >109 M⊙ SMBHs by z∼6, even starting from stellar-mass seeds at
z∼30, and even in the presence of outflows that reduce the BH feeding rate, especially
at early times. This mechanism also naturally yields a high BH-to-galaxy mass
ratio of >0.01 before the SMBH mass reaches MBH>109 M⊙ by z∼6. These fast-growing
SMBH progenitors are bright enough to be detected by upcoming observations with
the James Webb Space Telescope over a wide range of redshift (7The Astrophysical Journal. 2022;935(2). doi:10.3847/1538-4357/ac7daa'
apa: 'Hu, H., Inayoshi, K., Haiman, Z., Li, W., Quataert, E., & Kuiper, R. (2022).
Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution
with massive quasar hosts. The Astrophysical Journal. American Astronomical
Society. https://doi.org/10.3847/1538-4357/ac7daa'
chicago: 'Hu, Haojie, Kohei Inayoshi, Zoltán Haiman, Wenxiu Li, Eliot Quataert,
and Rolf Kuiper. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic
Dawn: Coevolution with Massive Quasar Hosts.” The Astrophysical Journal.
American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac7daa.'
ieee: 'H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, and R. Kuiper, “Supercritical
growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive
quasar hosts,” The Astrophysical Journal, vol. 935, no. 2. American Astronomical
Society, 2022.'
ista: 'Hu H, Inayoshi K, Haiman Z, Li W, Quataert E, Kuiper R. 2022. Supercritical
growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive
quasar hosts. The Astrophysical Journal. 935(2), 140.'
mla: 'Hu, Haojie, et al. “Supercritical Growth Pathway to Overmassive Black Holes
at Cosmic Dawn: Coevolution with Massive Quasar Hosts.” The Astrophysical Journal,
vol. 935, no. 2, 140, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac7daa.'
short: H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, R. Kuiper, The Astrophysical
Journal 935 (2022).
date_created: 2024-09-05T12:00:42Z
date_published: 2022-08-23T00:00:00Z
date_updated: 2024-09-18T12:31:26Z
day: '23'
doi: 10.3847/1538-4357/ac7daa
extern: '1'
intvolume: ' 935'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/1538-4357/ac7daa
month: '08'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
issn:
- 0004-637X
- 1538-4357
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution
with massive quasar hosts'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 935
year: '2022'
...
---
_id: '17561'
abstract:
- lang: eng
text: Active galactic nuclei (AGNs) can funnel stars and stellar remnants from the
vicinity of the galactic center into the inner plane of the AGN disk. Stars reaching
this inner region can be tidally disrupted by the stellar-mass black holes in
the disk. Such micro tidal disruption events (micro-TDEs) could be a useful probe
of stellar interaction with the AGN disk. We find that micro-TDEs in AGNs occur
at a rate of ∼170 Gpc−3 yr−1. Their cleanest observational probe may be the electromagnetic
detection of tidal disruption in AGNs by heavy supermassive black holes (M• ≳
108 M⊙) that cannot tidally disrupt solar-type stars. The reconstructed rate of
such events from observations, nonetheless, appears to be much lower than our
estimated micro-TDE rate. We discuss two such micro-TDE candidates observed to
date (ASASSN-15lh and ZTF19aailpwl).
article_number: L28
article_processing_charge: No
article_type: original
author:
- first_name: Y.
full_name: Yang, Y.
last_name: Yang
- first_name: I.
full_name: Bartos, I.
last_name: Bartos
- first_name: G.
full_name: Fragione, G.
last_name: Fragione
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: M.
full_name: Kowalski, M.
last_name: Kowalski
- first_name: S.
full_name: Márka, S.
last_name: Márka
- first_name: R.
full_name: Perna, R.
last_name: Perna
- first_name: H.
full_name: Tagawa, H.
last_name: Tagawa
citation:
ama: Yang Y, Bartos I, Fragione G, et al. Tidal disruption on stellar-mass black
holes in active galactic nuclei. The Astrophysical Journal Letters. 2022;933(2).
doi:10.3847/2041-8213/ac7c0b
apa: Yang, Y., Bartos, I., Fragione, G., Haiman, Z., Kowalski, M., Márka, S., …
Tagawa, H. (2022). Tidal disruption on stellar-mass black holes in active galactic
nuclei. The Astrophysical Journal Letters. American Astronomical Society.
https://doi.org/10.3847/2041-8213/ac7c0b
chicago: Yang, Y., I. Bartos, G. Fragione, Zoltán Haiman, M. Kowalski, S. Márka,
R. Perna, and H. Tagawa. “Tidal Disruption on Stellar-Mass Black Holes in Active
Galactic Nuclei.” The Astrophysical Journal Letters. American Astronomical
Society, 2022. https://doi.org/10.3847/2041-8213/ac7c0b.
ieee: Y. Yang et al., “Tidal disruption on stellar-mass black holes in active
galactic nuclei,” The Astrophysical Journal Letters, vol. 933, no. 2. American
Astronomical Society, 2022.
ista: Yang Y, Bartos I, Fragione G, Haiman Z, Kowalski M, Márka S, Perna R, Tagawa
H. 2022. Tidal disruption on stellar-mass black holes in active galactic nuclei.
The Astrophysical Journal Letters. 933(2), L28.
mla: Yang, Y., et al. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic
Nuclei.” The Astrophysical Journal Letters, vol. 933, no. 2, L28, American
Astronomical Society, 2022, doi:10.3847/2041-8213/ac7c0b.
short: Y. Yang, I. Bartos, G. Fragione, Z. Haiman, M. Kowalski, S. Márka, R. Perna,
H. Tagawa, The Astrophysical Journal Letters 933 (2022).
date_created: 2024-09-05T12:01:54Z
date_published: 2022-07-07T00:00:00Z
date_updated: 2024-09-18T12:38:14Z
day: '07'
doi: 10.3847/2041-8213/ac7c0b
extern: '1'
intvolume: ' 933'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/2041-8213/ac7c0b
month: '07'
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: Tidal disruption on stellar-mass black holes in active galactic nuclei
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 933
year: '2022'
...