---
_id: '17423'
abstract:
- lang: eng
text: We introduce an algorithm to reconstruct a mesh from discrete samples of a
shape’s Signed Distance Function (SDF). A simple geometric reinterpretation of
the SDF lets us formulate the problem through a point cloud, from which a surface
can be extracted with existing techniques. We extract all possible information
from the SDF data, outperforming commonly used algorithms and imposing no topological
or geometric restrictions.
article_number: '23'
article_processing_charge: No
author:
- first_name: Silvia
full_name: Sellán, Silvia
last_name: Sellán
- first_name: Yingying
full_name: Ren, Yingying
id: 93d68d10-3540-11ef-a265-f748a50dba3d
last_name: Ren
- first_name: Christopher
full_name: Batty, Christopher
last_name: Batty
- first_name: Oded
full_name: Stein, Oded
last_name: Stein
citation:
ama: 'Sellán S, Ren Y, Batty C, Stein O. Reach for the arcs: Reconstructing surfaces
from SDFs via tangent points. In: SIGGRAPH ’24: Special Interest Group on Computer
Graphics and Interactive Techniques Conference. Association for Computing
Machinery; 2024. doi:10.1145/3641519.3657419'
apa: 'Sellán, S., Ren, Y., Batty, C., & Stein, O. (2024). Reach for the arcs:
Reconstructing surfaces from SDFs via tangent points. In SIGGRAPH ’24: Special
Interest Group on Computer Graphics and Interactive Techniques Conference.
Denver, CO, United States: Association for Computing Machinery. https://doi.org/10.1145/3641519.3657419'
chicago: 'Sellán, Silvia, Yingying Ren, Christopher Batty, and Oded Stein. “Reach
for the Arcs: Reconstructing Surfaces from SDFs via Tangent Points.” In SIGGRAPH
’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference.
Association for Computing Machinery, 2024. https://doi.org/10.1145/3641519.3657419.'
ieee: 'S. Sellán, Y. Ren, C. Batty, and O. Stein, “Reach for the arcs: Reconstructing
surfaces from SDFs via tangent points,” in SIGGRAPH ’24: Special Interest Group
on Computer Graphics and Interactive Techniques Conference, Denver, CO, United
States, 2024.'
ista: 'Sellán S, Ren Y, Batty C, Stein O. 2024. Reach for the arcs: Reconstructing
surfaces from SDFs via tangent points. SIGGRAPH ’24: Special Interest Group on
Computer Graphics and Interactive Techniques Conference. SIGGRAPH: Computer Graphics
and Interactive Techniques Conference, 23.'
mla: 'Sellán, Silvia, et al. “Reach for the Arcs: Reconstructing Surfaces from SDFs
via Tangent Points.” SIGGRAPH ’24: Special Interest Group on Computer Graphics
and Interactive Techniques Conference, 23, Association for Computing Machinery,
2024, doi:10.1145/3641519.3657419.'
short: 'S. Sellán, Y. Ren, C. Batty, O. Stein, in:, SIGGRAPH ’24: Special Interest
Group on Computer Graphics and Interactive Techniques Conference, Association
for Computing Machinery, 2024.'
conference:
end_date: 2024-08-01
location: Denver, CO, United States
name: 'SIGGRAPH: Computer Graphics and Interactive Techniques Conference'
start_date: 2024-07-27
date_created: 2024-08-12T10:02:58Z
date_published: 2024-07-13T00:00:00Z
date_updated: 2024-08-12T10:11:19Z
day: '13'
doi: 10.1145/3641519.3657419
extern: '1'
fulldoi: https://doi.org/10.1145/3641519.3657419
language:
- iso: eng
month: '07'
oa_version: None
publication: 'SIGGRAPH ''24: Special Interest Group on Computer Graphics and Interactive
Techniques Conference'
publication_identifier:
isbn:
- '9798400705250'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Reach for the arcs: Reconstructing surfaces from SDFs via tangent points'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2024'
...
---
_id: '17424'
abstract:
- lang: eng
text: "Surface-based inflatables are composed of two thin layers of nearly inextensible
sheet material joined together along carefully selected fusing curves. During
inflation, pressure forces separate the two sheets to maximize the enclosed volume.
The fusing curves restrict this expansion, leading to a spatially varying in-plane
contraction and hence metric frustration. The inflated structure settles into
a 3D equilibrium that balances pressure forces with the internal elastic forces
of the sheets.\r\nWe present a computational framework for analyzing and designing
surface-based inflatable structures with arbitrary fusing patterns. Our approach
employs numerical homogenization to characterize the behavior of parametric families
of periodic inflatable patch geometries, which can then be combined to tessellate
the sheet with smoothly varying patterns. We propose a novel parametrization of
the underlying deformation space that allows accurate, efficient, and systematical
analysis of the stretching and bending behavior of inflated patches with potentially
open boundaries.\r\nWe apply our homogenization algorithm to create a database
of geometrically diverse fusing patterns spanning a wide range of material properties
and deformation characteristics. This database is employed in an inverse design
algorithm that solves for fusing curves to best approximate a given input target
surface. Local patches are selected and blended to form a global network of curves
based on a geometric flattening algorithm. These fusing curves are then further
optimized to minimize the distance of the deployed structure to target surface.
We show that this approach offers greater flexibility to approximate given target
geometries compared to previous work while significantly improving structural
performance."
article_number: '87'
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: Julian
full_name: Panetta, Julian
last_name: Panetta
- first_name: Seiichi
full_name: Suzuki, Seiichi
last_name: Suzuki
- first_name: Uday
full_name: Kusupati, Uday
last_name: Kusupati
- first_name: Florin
full_name: Isvoranu, Florin
last_name: Isvoranu
- first_name: Mark
full_name: Pauly, Mark
last_name: Pauly
citation:
ama: Ren Y, Panetta J, Suzuki S, Kusupati U, Isvoranu F, Pauly M. Computational
homogenization for inverse design of surface-based inflatables. ACM Transactions
on Graphics. 2024;43(4). doi:10.1145/3658125
apa: Ren, Y., Panetta, J., Suzuki, S., Kusupati, U., Isvoranu, F., & Pauly,
M. (2024). Computational homogenization for inverse design of surface-based inflatables.
ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3658125
chicago: Ren, Yingying, Julian Panetta, Seiichi Suzuki, Uday Kusupati, Florin Isvoranu,
and Mark Pauly. “Computational Homogenization for Inverse Design of Surface-Based
Inflatables.” ACM Transactions on Graphics. Association for Computing Machinery,
2024. https://doi.org/10.1145/3658125.
ieee: Y. Ren, J. Panetta, S. Suzuki, U. Kusupati, F. Isvoranu, and M. Pauly, “Computational
homogenization for inverse design of surface-based inflatables,” ACM Transactions
on Graphics, vol. 43, no. 4. Association for Computing Machinery, 2024.
ista: Ren Y, Panetta J, Suzuki S, Kusupati U, Isvoranu F, Pauly M. 2024. Computational
homogenization for inverse design of surface-based inflatables. ACM Transactions
on Graphics. 43(4), 87.
mla: Ren, Yingying, et al. “Computational Homogenization for Inverse Design of Surface-Based
Inflatables.” ACM Transactions on Graphics, vol. 43, no. 4, 87, Association
for Computing Machinery, 2024, doi:10.1145/3658125.
short: Y. Ren, J. Panetta, S. Suzuki, U. Kusupati, F. Isvoranu, M. Pauly, ACM Transactions
on Graphics 43 (2024).
date_created: 2024-08-12T10:03:38Z
date_published: 2024-07-19T00:00:00Z
date_updated: 2024-08-12T10:08:13Z
day: '19'
doi: 10.1145/3658125
extern: '1'
fulldoi: https://doi.org/10.1145/3658125
intvolume: ' 43'
issue: '4'
language:
- iso: eng
month: '07'
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 homogenization for inverse design of surface-based inflatables
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 43
year: '2024'
...
---
_id: '17449'
abstract:
- lang: eng
text: We prove that the $k$-th positive integer moment of partial sums of Steinhaus
random multiplicative functions over the interval $(x, x+H]$ matches the corresponding
Gaussian moment, as long as $H\ll x/(\log x)^{2k^2+2+o(1)}$ and $H$ tends to infinity
with $x$. We show that properly normalized partial sums of typical multiplicative
functions arising from realizations of random multiplicative functions have Gaussian
limiting distribution in short moving intervals $(x, x+H]$ with $H\ll X/(\log
X)^{W(X)}$ tending to infinity with $X$, where $x$ is uniformly chosen from $\{1,2,\dots,
X\}$, and $W(X)$ tends to infinity with $X$ arbitrarily slowly. This makes some
initial progress on a recent question of Harper.
acknowledgement: "We thank Andrew Granville and the anonymous referee for many detailed
comments that led us to significantly improve the results and presentation of our
work. We thank and Adam Harper for helpful discussions and useful comments and corrections
on earlier versions. We also thank Yuqiu Fu, Larry Guth, Kannan Soundararajan, Katharine
Woo, and Liyang Yang for helpful discussions. Finally, we thank Peter Sarnak for
introducing us (the authors) to each other during the “50 Years of Number Theory
and Random Matrix Theory” Conference at IAS and making the collaboration possible.
\r\nOpen Access made possible by participating institutions via Subscribe to Open."
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Mayank
full_name: Pandey, Mayank
last_name: Pandey
- first_name: Victor
full_name: Wang, Victor
id: 76096395-aea4-11ed-a680-ab8ebbd3f1b9
last_name: Wang
orcid: 0000-0002-0704-7026
- first_name: Max Wenqiang
full_name: Xu, Max Wenqiang
last_name: Xu
citation:
ama: Pandey M, Wang V, Xu MW. Partial sums of typical multiplicative functions over
short moving intervals. Algebra & Number Theory. 2024;18(2):389-408.
doi:10.2140/ant.2024.18.389
apa: Pandey, M., Wang, V., & Xu, M. W. (2024). Partial sums of typical multiplicative
functions over short moving intervals. Algebra & Number Theory. Mathematical
Sciences Publishers. https://doi.org/10.2140/ant.2024.18.389
chicago: Pandey, Mayank, Victor Wang, and Max Wenqiang Xu. “Partial Sums of Typical
Multiplicative Functions over Short Moving Intervals.” Algebra & Number
Theory. Mathematical Sciences Publishers, 2024. https://doi.org/10.2140/ant.2024.18.389.
ieee: M. Pandey, V. Wang, and M. W. Xu, “Partial sums of typical multiplicative
functions over short moving intervals,” Algebra & Number Theory, vol.
18, no. 2. Mathematical Sciences Publishers, pp. 389–408, 2024.
ista: Pandey M, Wang V, Xu MW. 2024. Partial sums of typical multiplicative functions
over short moving intervals. Algebra & Number Theory. 18(2), 389–408.
mla: Pandey, Mayank, et al. “Partial Sums of Typical Multiplicative Functions over
Short Moving Intervals.” Algebra & Number Theory, vol. 18, no. 2, Mathematical
Sciences Publishers, 2024, pp. 389–408, doi:10.2140/ant.2024.18.389.
short: M. Pandey, V. Wang, M.W. Xu, Algebra & Number Theory 18 (2024) 389–408.
date_created: 2024-08-20T08:48:26Z
date_published: 2024-02-06T00:00:00Z
date_updated: 2024-08-21T06:58:43Z
day: '06'
ddc:
- '510'
doi: 10.2140/ant.2024.18.389
extern: '1'
external_id:
arxiv:
- '2207.11758'
file:
- access_level: open_access
checksum: 1e3467a14de754bf8d3bff03a015e1ce
content_type: application/pdf
creator: dernst
date_created: 2024-08-21T06:46:56Z
date_updated: 2024-08-21T06:46:56Z
file_id: '17455'
file_name: 2024_AlgebraNumberTheory_Pandey.pdf
file_size: 1401725
relation: main_file
success: 1
file_date_updated: 2024-08-21T06:46:56Z
fulldoi: https://doi.org/10.2140/ant.2024.18.389
has_accepted_license: '1'
intvolume: ' 18'
issue: '2'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2207.11758
month: '02'
oa: 1
oa_version: Published Version
page: 389-408
publication: Algebra & Number Theory
publication_identifier:
eissn:
- 1944-7833
issn:
- 1937-0652
publication_status: published
publisher: Mathematical Sciences Publishers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Partial sums of typical multiplicative functions over short moving intervals
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: 18
year: '2024'
...
---
OA_place: publisher
OA_type: hybrid
_id: '17480'
abstract:
- lang: eng
text: One of the most promising approaches towards large-scale quantum computation
uses devices based on many Josephson junctions. Yet, even today, open questions
regarding the single junction remain unsolved, such as the detailed understanding
of the quantum phase transitions, the coupling of the Josephson junction to the
environment or how to improve the coherence of a superconducting qubit. Here we
design and build an engineered on-chip reservoir connected to a Josephson junction
that acts as an efficient bolometer for detecting the Josephson radiation under
non-equilibrium, that is, biased conditions. The bolometer converts the a.c. Josephson
current at microwave frequencies up to about 100 GHz into a temperature rise measured
by d.c. thermometry. A circuit model based on realistic parameter values captures
both the current–voltage characteristics and the measured power quantitatively.
The present experiment demonstrates an efficient, wide-band, thermal detection
scheme of microwave photons and provides a sensitive detector of Josephson dynamics
beyond the standard conductance measurements.
acknowledgement: We thank M. Möttönen, D. Subero, V. Vadimov, A. Alizadeh, C. Strunk,
N. Roch, S. Kafanov, S. Kubatkin, A. Kerman and J. Peltonen for scientific discussions
and Z.-Y. Chen for technical assistance. B.K. and J.P.P. acknowledge funding from
the Research Council of Finland Centre of Excellence programme grant 336810 and
grant 349601 (THEPOW), G.O.S. and A.L.Y. financial support from the Spanish Ministry
of Science through grant TED2021-130292B-C43 funded by MCIN/AEI/10.13039/501100011033,
‘ERDF A way of making Europe’ and the EU through FET-Open project AndQC, A.P.H.
support from the NOMIS Foundation, and C.M.M. support from the Danish National Research
Foundation and a research grant (Project 43951) from VILLUM FONDEN. We thank the
facilities and technical support of Otaniemi Research Infrastructure for Micro and
Nanotechnologies (OtaNano). The funders had no role in study design, data collection
and analysis, decision to publish or preparation of the paper.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Bayan
full_name: Karimi, Bayan
last_name: Karimi
- first_name: Gorm Ole
full_name: Steffensen, Gorm Ole
last_name: Steffensen
- first_name: Andrew P
full_name: Higginbotham, Andrew P
id: 4AD6785A-F248-11E8-B48F-1D18A9856A87
last_name: Higginbotham
orcid: 0000-0003-2607-2363
- first_name: Charles M.
full_name: Marcus, Charles M.
last_name: Marcus
- first_name: Alfredo
full_name: Levy Yeyati, Alfredo
last_name: Levy Yeyati
- first_name: Jukka P.
full_name: Pekola, Jukka P.
last_name: Pekola
citation:
ama: Karimi B, Steffensen GO, Higginbotham AP, Marcus CM, Levy Yeyati A, Pekola
JP. Bolometric detection of Josephson radiation. Nature Nanotechnology.
2024;19:1613-1618. doi:10.1038/s41565-024-01770-7
apa: Karimi, B., Steffensen, G. O., Higginbotham, A. P., Marcus, C. M., Levy Yeyati,
A., & Pekola, J. P. (2024). Bolometric detection of Josephson radiation. Nature
Nanotechnology. Springer Nature. https://doi.org/10.1038/s41565-024-01770-7
chicago: Karimi, Bayan, Gorm Ole Steffensen, Andrew P Higginbotham, Charles M. Marcus,
Alfredo Levy Yeyati, and Jukka P. Pekola. “Bolometric Detection of Josephson Radiation.”
Nature Nanotechnology. Springer Nature, 2024. https://doi.org/10.1038/s41565-024-01770-7.
ieee: B. Karimi, G. O. Steffensen, A. P. Higginbotham, C. M. Marcus, A. Levy Yeyati,
and J. P. Pekola, “Bolometric detection of Josephson radiation,” Nature Nanotechnology,
vol. 19. Springer Nature, pp. 1613–1618, 2024.
ista: Karimi B, Steffensen GO, Higginbotham AP, Marcus CM, Levy Yeyati A, Pekola
JP. 2024. Bolometric detection of Josephson radiation. Nature Nanotechnology.
19, 1613–1618.
mla: Karimi, Bayan, et al. “Bolometric Detection of Josephson Radiation.” Nature
Nanotechnology, vol. 19, Springer Nature, 2024, pp. 1613–18, doi:10.1038/s41565-024-01770-7.
short: B. Karimi, G.O. Steffensen, A.P. Higginbotham, C.M. Marcus, A. Levy Yeyati,
J.P. Pekola, Nature Nanotechnology 19 (2024) 1613–1618.
date_created: 2024-09-01T22:01:09Z
date_published: 2024-11-01T00:00:00Z
date_updated: 2026-06-03T07:16:01Z
day: '01'
ddc:
- '530'
department:
- _id: AnHi
doi: 10.1038/s41565-024-01770-7
external_id:
arxiv:
- '2402.09314'
isi:
- '001296522000002'
file:
- access_level: open_access
checksum: 8b067ef217ddef63c539ecdfe705ab95
content_type: application/pdf
creator: dernst
date_created: 2025-01-09T13:51:12Z
date_updated: 2025-01-09T13:51:12Z
file_id: '18818'
file_name: 2024_NatureNanotechnology_Karimi.pdf
file_size: 3047567
relation: main_file
success: 1
file_date_updated: 2025-01-09T13:51:12Z
fulldoi: https://doi.org/10.1038/s41565-024-01770-7
has_accepted_license: '1'
intvolume: ' 19'
isi: 1
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 1613-1618
project:
- _id: eb9b30ac-77a9-11ec-83b8-871f581d53d2
name: Protected states of quantum matter
publication: Nature Nanotechnology
publication_identifier:
eissn:
- 1748-3395
issn:
- 1748-3387
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Bolometric detection of Josephson radiation
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 19
year: '2024'
...
---
_id: '17495'
abstract:
- lang: eng
text: Rust is a modern systems programming language whose ownership-based type system
statically guarantees memory safety, making it particularly well-suited to the
domain of safety-critical systems. In recent years, a wellspring of automated
deductive verification tools have emerged for establishing functional correctness
of Rust code. However, none of the previous tools produce foundational proofs
(machine-checkable in a general-purpose proof assistant), and all of them are
restricted to the safe fragment of Rust. This is a problem because the vast majority
of Rust programs make use of unsafe code at critical points, such as in the implementation
of widely-used APIs. We propose RefinedRust, a refinement type system—proven sound
in the Coq proof assistant—with the goal of establishing foundational semi-automated
functional correctness verification of both safe and unsafe Rust code. We have
developed a prototype verification tool implementing RefinedRust. Our tool translates
Rust code (with user annotations) into a model of Rust embedded in Coq, and then
checks its adherence to the RefinedRust type system using separation logic automation
in Coq. All proofs generated by RefinedRust are checked by the Coq proof assistant,
so the automation and type system do not have to be trusted. We evaluate the effectiveness
of RefinedRust by verifying a variant of Rust’s Vec implementation that involves
intricate reasoning about unsafe pointer-manipulating code.
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: Ralf
full_name: Jung, Ralf
last_name: Jung
- first_name: Robbert
full_name: Krebbers, Robbert
last_name: Krebbers
- first_name: Derek
full_name: Dreyer, Derek
last_name: Dreyer
citation:
ama: 'Gäher L, Sammler MJ, Jung R, Krebbers R, Dreyer D. RefinedRust: A type system
for high-assurance verification of rust programs. Proceedings of the ACM on
Programming Languages. 2024;8(PLDI):1115-1139. doi:10.1145/3656422'
apa: 'Gäher, L., Sammler, M. J., Jung, R., Krebbers, R., & Dreyer, D. (2024).
RefinedRust: A type system for high-assurance verification of rust programs. Proceedings
of the ACM on Programming Languages. Association for Computing Machinery.
https://doi.org/10.1145/3656422'
chicago: 'Gäher, Lennard, Michael Joachim Sammler, Ralf Jung, Robbert Krebbers,
and Derek Dreyer. “RefinedRust: A Type System for High-Assurance Verification
of Rust Programs.” Proceedings of the ACM on Programming Languages. Association
for Computing Machinery, 2024. https://doi.org/10.1145/3656422.'
ieee: 'L. Gäher, M. J. Sammler, R. Jung, R. Krebbers, and D. Dreyer, “RefinedRust:
A type system for high-assurance verification of rust programs,” Proceedings
of the ACM on Programming Languages, vol. 8, no. PLDI. Association for Computing
Machinery, pp. 1115–1139, 2024.'
ista: 'Gäher L, Sammler MJ, Jung R, Krebbers R, Dreyer D. 2024. RefinedRust: A type
system for high-assurance verification of rust programs. Proceedings of the ACM
on Programming Languages. 8(PLDI), 1115–1139.'
mla: 'Gäher, Lennard, et al. “RefinedRust: A Type System for High-Assurance Verification
of Rust Programs.” Proceedings of the ACM on Programming Languages, vol.
8, no. PLDI, Association for Computing Machinery, 2024, pp. 1115–39, doi:10.1145/3656422.'
short: L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the
ACM on Programming Languages 8 (2024) 1115–1139.
date_created: 2024-09-05T07:52:27Z
date_published: 2024-06-20T00:00:00Z
date_updated: 2024-09-10T07:16:49Z
day: '20'
doi: 10.1145/3656422
extern: '1'
fulldoi: https://doi.org/10.1145/3656422
intvolume: ' 8'
issue: PLDI
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3656422
month: '06'
oa: 1
oa_version: Published Version
page: 1115-1139
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: 'RefinedRust: A type system for high-assurance verification of rust programs'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 8
year: '2024'
...
---
_id: '17497'
abstract:
- lang: eng
text: 'Over the past two decades, there has been a great deal of progress on verification
of full functional correctness of programs using separation logic, sometimes even
producing “foundational” proofs in proof assistants like Coq. Unfortunately, even
though existing approaches to this problem provide significant support for automated
verification, they still incur a significant specification overhead: the user
must supply the specification against which the program is verified, and the specification
may be long, complex, or tedious to formulate. In this paper, we introduce Quiver,
the first technique for inferring functional correctness specifications in separation
logic while simultaneously verifying foundationally that they are correct. To
guide Quiver towards the final specification, we take hints from the user in the
form of a specification sketch, and then complete the sketch using inference.
To do so, Quiver introduces a new abductive deductive verification technique,
which integrates ideas from abductive inference (for specification inference)
together with deductive separation logic automation (for foundational verification).
The result is that users have to provide some guidance, but significantly less
than with traditional deductive verification techniques based on separation logic.
We have evaluated Quiver on a range of case studies, including code from popular
open-source libraries.'
article_processing_charge: No
article_type: original
author:
- first_name: Simon
full_name: Spies, Simon
last_name: Spies
- 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: Derek
full_name: Dreyer, Derek
last_name: Dreyer
citation:
ama: 'Spies S, Gäher L, Sammler MJ, Dreyer D. Quiver: Guided abductive inference
of separation logic specifications in coq. Proceedings of the ACM on Programming
Languages. 2024;8(PLDI):889-913. doi:10.1145/3656413'
apa: 'Spies, S., Gäher, L., Sammler, M. J., & Dreyer, D. (2024). Quiver: Guided
abductive inference of separation logic specifications in coq. Proceedings
of the ACM on Programming Languages. Association for Computing Machinery.
https://doi.org/10.1145/3656413'
chicago: 'Spies, Simon, Lennard Gäher, Michael Joachim Sammler, and Derek Dreyer.
“Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.”
Proceedings of the ACM on Programming Languages. Association for Computing
Machinery, 2024. https://doi.org/10.1145/3656413.'
ieee: 'S. Spies, L. Gäher, M. J. Sammler, and D. Dreyer, “Quiver: Guided abductive
inference of separation logic specifications in coq,” Proceedings of the ACM
on Programming Languages, vol. 8, no. PLDI. Association for Computing Machinery,
pp. 889–913, 2024.'
ista: 'Spies S, Gäher L, Sammler MJ, Dreyer D. 2024. Quiver: Guided abductive inference
of separation logic specifications in coq. Proceedings of the ACM on Programming
Languages. 8(PLDI), 889–913.'
mla: 'Spies, Simon, et al. “Quiver: Guided Abductive Inference of Separation Logic
Specifications in Coq.” Proceedings of the ACM on Programming Languages,
vol. 8, no. PLDI, Association for Computing Machinery, 2024, pp. 889–913, doi:10.1145/3656413.'
short: S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming
Languages 8 (2024) 889–913.
date_created: 2024-09-05T08:10:41Z
date_published: 2024-06-20T00:00:00Z
date_updated: 2024-09-10T12:00:57Z
day: '20'
doi: 10.1145/3656413
extern: '1'
fulldoi: https://doi.org/10.1145/3656413
intvolume: ' 8'
issue: PLDI
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3656413
month: '06'
oa: 1
oa_version: Published Version
page: 889-913
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: 'Quiver: Guided abductive inference of separation logic specifications in coq'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 8
year: '2024'
...
---
_id: '17517'
abstract:
- lang: eng
text: We present an analysis of NuSTAR X-ray observations of three active galactic
nuclei (AGN) that were identified as candidate subparsec binary supermassive black
hole (SMBH) systems in the Catalina Real-Time Transient Survey based on apparent
periodicity in their optical light curves. Simulations predict that close-separation
accreting SMBH binaries will have different X-ray spectra than single accreting
SMBHs. We previously observed these AGN with Chandra and found no differences
between their low-energy X-ray properties and the larger AGN population. However,
some models predict differences to be more prominent at energies higher than probed
by Chandra. We find that even at the higher energies probed by NuSTAR, the spectra
of these AGN are indistinguishable from the larger AGN population. This could
rule out models predicting large differences in the X-ray spectra in the NuSTAR
bands. Alternatively, it might mean that these three AGN are not binary SMBHs.
article_number: '104'
article_processing_charge: No
article_type: original
author:
- first_name: M. Lynne
full_name: Saade, M. Lynne
last_name: Saade
- first_name: Murray
full_name: Brightman, Murray
last_name: Brightman
- first_name: Daniel
full_name: Stern, Daniel
last_name: Stern
- first_name: Thomas
full_name: Connor, Thomas
last_name: Connor
- first_name: S. G.
full_name: Djorgovski, S. G.
last_name: Djorgovski
- first_name: Daniel J.
full_name: D’Orazio, Daniel J.
last_name: D’Orazio
- first_name: K. E. S.
full_name: Ford, K. E. S.
last_name: Ford
- first_name: Matthew J.
full_name: Graham, Matthew J.
last_name: Graham
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Hyunsung D.
full_name: Jun, Hyunsung D.
last_name: Jun
- first_name: Elias
full_name: Kammoun, Elias
last_name: Kammoun
- first_name: Ralph P.
full_name: Kraft, Ralph P.
last_name: Kraft
- first_name: Barry
full_name: McKernan, Barry
last_name: McKernan
- first_name: Alexei
full_name: Vikhlinin, Alexei
last_name: Vikhlinin
- first_name: Dominic J.
full_name: Walton, Dominic J.
last_name: Walton
citation:
ama: Saade ML, Brightman M, Stern D, et al. NuSTAR observations of candidate subparsec
binary supermassive black holes. The Astrophysical Journal. 2024;966(1).
doi:10.3847/1538-4357/ad372e
apa: Saade, M. L., Brightman, M., Stern, D., Connor, T., Djorgovski, S. G., D’Orazio,
D. J., … Walton, D. J. (2024). NuSTAR observations of candidate subparsec binary
supermassive black holes. The Astrophysical Journal. American Astronomical
Society. https://doi.org/10.3847/1538-4357/ad372e
chicago: Saade, M. Lynne, Murray Brightman, Daniel Stern, Thomas Connor, S. G. Djorgovski,
Daniel J. D’Orazio, K. E. S. Ford, et al. “NuSTAR Observations of Candidate Subparsec
Binary Supermassive Black Holes.” The Astrophysical Journal. American Astronomical
Society, 2024. https://doi.org/10.3847/1538-4357/ad372e.
ieee: M. L. Saade et al., “NuSTAR observations of candidate subparsec binary
supermassive black holes,” The Astrophysical Journal, vol. 966, no. 1.
American Astronomical Society, 2024.
ista: Saade ML, Brightman M, Stern D, Connor T, Djorgovski SG, D’Orazio DJ, Ford
KES, Graham MJ, Haiman Z, Jun HD, Kammoun E, Kraft RP, McKernan B, Vikhlinin A,
Walton DJ. 2024. NuSTAR observations of candidate subparsec binary supermassive
black holes. The Astrophysical Journal. 966(1), 104.
mla: Saade, M. Lynne, et al. “NuSTAR Observations of Candidate Subparsec Binary
Supermassive Black Holes.” The Astrophysical Journal, vol. 966, no. 1,
104, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad372e.
short: M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio,
K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan,
A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).
date_created: 2024-09-05T08:57:37Z
date_published: 2024-04-29T00:00:00Z
date_updated: 2024-09-10T14:31:31Z
day: '29'
doi: 10.3847/1538-4357/ad372e
extern: '1'
fulldoi: https://doi.org/10.3847/1538-4357/ad372e
intvolume: ' 966'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/1538-4357/ad372e
month: '04'
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: NuSTAR observations of candidate subparsec binary supermassive black holes
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 966
year: '2024'
...
---
_id: '17531'
abstract:
- lang: eng
text: The astrophysical origin of stellar-mass black hole (BH) mergers discovered
through gravitational waves (GWs) is widely debated. Mergers in the disks of active
galactic nuclei (AGNs) represent promising environments for at least a fraction
of these events, with possible observational clues in the GW data. An additional
clue to unveil AGN merger environments is provided by possible electromagnetic
emission from postmerger accreting BHs. Associated with BH mergers in AGN disks,
emission from shocks emerging around jets launched by accreting merger remnants
is expected. Here we compute the properties of the emission produced during breakout
and the subsequent adiabatic expansion phase of the shocks, and we then apply
this model to optical flares suggested to be possibly associated with GW events.
We find that the majority of the reported flares can be explained by breakout
and shock cooling emission. If the optical flares are produced by shock cooling
emission, they would display moderate color evolution, possibly color variations
among different events, and a positive correlation between delay time and flare
duration and would be preceded by breakout emission in X-rays. If the breakout
emission dominates the observed lightcurve, we predict the color to be distributed
in a narrow range in the optical band and the delay time from GW to electromagnetic
emission to be longer than ∼2 days. Hence, further explorations of delay time
distributions, flare color evolution, and associated X-ray emission will be useful
to test the proposed emission model for the observed flares.
article_number: '21'
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. Shock cooling and breakout
emission for optical flares associated with gravitational-wave events. The
Astrophysical Journal. 2024;966(1). doi:10.3847/1538-4357/ad2e0b
apa: Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., & Bartos, I. (2024).
Shock cooling and breakout emission for optical flares associated with gravitational-wave
events. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad2e0b
chicago: Tagawa, Hiromichi, Shigeo S Kimura, Zoltán Haiman, Rosalba Perna, and Imre
Bartos. “Shock Cooling and Breakout Emission for Optical Flares Associated with
Gravitational-Wave Events.” The Astrophysical Journal. American Astronomical
Society, 2024. https://doi.org/10.3847/1538-4357/ad2e0b.
ieee: H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Shock cooling
and breakout emission for optical flares associated with gravitational-wave events,”
The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society,
2024.
ista: Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2024. Shock cooling and
breakout emission for optical flares associated with gravitational-wave events.
The Astrophysical Journal. 966(1), 21.
mla: Tagawa, Hiromichi, et al. “Shock Cooling and Breakout Emission for Optical
Flares Associated with Gravitational-Wave Events.” The Astrophysical Journal,
vol. 966, no. 1, 21, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad2e0b.
short: H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical
Journal 966 (2024).
date_created: 2024-09-05T09:38:53Z
date_published: 2024-04-23T00:00:00Z
date_updated: 2024-09-11T09:15:47Z
day: '23'
doi: 10.3847/1538-4357/ad2e0b
extern: '1'
fulldoi: https://doi.org/10.3847/1538-4357/ad2e0b
intvolume: ' 966'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/1538-4357/ad2e0b
month: '04'
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: Shock cooling and breakout emission for optical flares associated with gravitational-wave
events
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 966
year: '2024'
...
---
_id: '17535'
abstract:
- lang: eng
text: Supermassive black holes (SMBHs) with masses of ∼109 M⊙ within the first billion
year of the universe challenge our conventional understanding of black hole formation
and growth. One pathway to these SMBHs proposes that supermassive stars born in
pristine atomic cooling haloes yield massive seed BHs evolving to these early
SMBHs. This scenario leads to an overly massive BH galaxy (OMBG), in which the
BH to stellar mass ratio is initially Mbh/M* ≥ 1, well in excess of the typical
values of ∼10−3 at low redshifts. Previously, we have investigated two massive
seed BH candidates from the Renaissance simulation and found that they remain
outliers on the Mbh–M* relation until the OMBG merges with a much more massive
halo at z = 8. In this work, we use Monte-Carlo merger trees to investigate the
evolution of the Mbh–M* relation for 50 000 protogalaxies hosting massive BH seeds,
across 10 000 trees that merge into a 1012 M⊙ halo at z = 6. We find that up to
60 per cent (depending on growth parameters) of these OMBGs remain strong outliers
for several 100 Myr, down to redshifts detectable with JWST and with sensitive
X-ray telescopes. This represents a way to diagnose the massive-seed formation
pathway for early SMBHs. We expect to find ∼0.1–1 of these objects per JWST Near
Infrared Camera (NIRCam) field per unit redshift at z ≳ 6. Recently detected SMBHs
with masses of ∼107 M⊙ and low-inferred stellar-mass hosts may be examples of
this population.
article_processing_charge: No
article_type: original
author:
- first_name: Matthew T
full_name: Scoggins, Matthew T
last_name: Scoggins
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
citation:
ama: 'Scoggins MT, Haiman Z. Diagnosing the massive-seed pathway to high-redshift
black holes: statistics of the evolving black hole to host galaxy mass ratio.
Monthly Notices of the Royal Astronomical Society. 2024;531(4):4584-4597.
doi:10.1093/mnras/stae1449'
apa: 'Scoggins, M. T., & Haiman, Z. (2024). Diagnosing the massive-seed pathway
to high-redshift black holes: statistics of the evolving black hole to host galaxy
mass ratio. Monthly Notices of the Royal Astronomical Society. Oxford University
Press. https://doi.org/10.1093/mnras/stae1449'
chicago: 'Scoggins, Matthew T, and Zoltán Haiman. “Diagnosing the Massive-Seed Pathway
to High-Redshift Black Holes: Statistics of the Evolving Black Hole to Host Galaxy
Mass Ratio.” Monthly Notices of the Royal Astronomical Society. Oxford
University Press, 2024. https://doi.org/10.1093/mnras/stae1449.'
ieee: 'M. T. Scoggins and Z. Haiman, “Diagnosing the massive-seed pathway to high-redshift
black holes: statistics of the evolving black hole to host galaxy mass ratio,”
Monthly Notices of the Royal Astronomical Society, vol. 531, no. 4. Oxford
University Press, pp. 4584–4597, 2024.'
ista: 'Scoggins MT, Haiman Z. 2024. Diagnosing the massive-seed pathway to high-redshift
black holes: statistics of the evolving black hole to host galaxy mass ratio.
Monthly Notices of the Royal Astronomical Society. 531(4), 4584–4597.'
mla: 'Scoggins, Matthew T., and Zoltán Haiman. “Diagnosing the Massive-Seed Pathway
to High-Redshift Black Holes: Statistics of the Evolving Black Hole to Host Galaxy
Mass Ratio.” Monthly Notices of the Royal Astronomical Society, vol. 531,
no. 4, Oxford University Press, 2024, pp. 4584–97, doi:10.1093/mnras/stae1449.'
short: M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society
531 (2024) 4584–4597.
date_created: 2024-09-05T09:43:52Z
date_published: 2024-06-13T00:00:00Z
date_updated: 2024-09-12T09:08:08Z
day: '13'
doi: 10.1093/mnras/stae1449
extern: '1'
fulldoi: https://doi.org/10.1093/mnras/stae1449
intvolume: ' 531'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/https://doi.org/10.1093/mnras/stae1449
month: '06'
oa: 1
oa_version: Published Version
page: 4584-4597
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
issn:
- 0035-8711
- 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Diagnosing the massive-seed pathway to high-redshift black holes: statistics
of the evolving black hole to host galaxy mass ratio'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 531
year: '2024'
...
---
_id: '17545'
abstract:
- lang: eng
text: Self-lensing flares (SLFs) are expected to be produced once or twice per orbit
by an accreting massive black hole binary (MBHB), if the eclipsing MBHBs are observed
close to edge-on. SLFs can provide valuable electromagnetic (EM) signatures to
accompany the gravitational waves (GWs) detectable by the upcoming Laser Interferometer
Space Antenna (LISA). EM follow-ups are crucial for, e.g., sky-localization, and
constraining the Hubble constant and the graviton mass. We use high-resolution
two-dimensional viscous hydrodynamical simulations of a circumbinary disk (CBD)
embedding a MBHB. We then use very high-cadence output of these hydrodynamical
simulation inputs for a general-relativistic ray-tracing code to produce synthetic
spectra and phase-folded light curves. Our main results show a significant periodic
amplification of the flux with the characteristic shape of a sharp flare with
a central dip, as the foreground black hole (BH) transits across the minidisk
and shadow of the background BH, respectively. These corroborate previous conclusions
based on the microlensing approximation and analytical toy models of the emission
geometry. We also find that at lower inclinations, without some occlusion of the
minidisk emission by the CBD, shocks from quasi-periodic mass-trading between
the minidisks can produce bright flares which can mimic SLFs and could hinder
their identification.
article_number: '103014'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Luke Major
full_name: Krauth, Luke Major
last_name: Krauth
- first_name: Jordy
full_name: Davelaar, Jordy
last_name: Davelaar
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: John Ryan
full_name: Westernacher-Schneider, John Ryan
last_name: Westernacher-Schneider
- first_name: Jonathan
full_name: Zrake, Jonathan
last_name: Zrake
- first_name: Andrew
full_name: MacFadyen, Andrew
last_name: MacFadyen
citation:
ama: 'Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen
A. Self-lensing flares from black hole binaries: General-relativistic ray tracing
of circumbinary accretion simulations. Physical Review D. 2024;109(10).
doi:10.1103/physrevd.109.103014'
apa: 'Krauth, L. M., Davelaar, J., Haiman, Z., Westernacher-Schneider, J. R., Zrake,
J., & MacFadyen, A. (2024). Self-lensing flares from black hole binaries:
General-relativistic ray tracing of circumbinary accretion simulations. Physical
Review D. American Physical Society (APS). https://doi.org/10.1103/physrevd.109.103014'
chicago: 'Krauth, Luke Major, Jordy Davelaar, Zoltán Haiman, John Ryan Westernacher-Schneider,
Jonathan Zrake, and Andrew MacFadyen. “Self-Lensing Flares from Black Hole Binaries:
General-Relativistic Ray Tracing of Circumbinary Accretion Simulations.” Physical
Review D. American Physical Society (APS), 2024. https://doi.org/10.1103/physrevd.109.103014.'
ieee: 'L. M. Krauth, J. Davelaar, Z. Haiman, J. R. Westernacher-Schneider, J. Zrake,
and A. MacFadyen, “Self-lensing flares from black hole binaries: General-relativistic
ray tracing of circumbinary accretion simulations,” Physical Review D,
vol. 109, no. 10. American Physical Society (APS), 2024.'
ista: 'Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen
A. 2024. Self-lensing flares from black hole binaries: General-relativistic ray
tracing of circumbinary accretion simulations. Physical Review D. 109(10), 103014.'
mla: 'Krauth, Luke Major, et al. “Self-Lensing Flares from Black Hole Binaries:
General-Relativistic Ray Tracing of Circumbinary Accretion Simulations.” Physical
Review D, vol. 109, no. 10, 103014, American Physical Society (APS), 2024,
doi:10.1103/physrevd.109.103014.'
short: L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake,
A. MacFadyen, Physical Review D 109 (2024).
date_created: 2024-09-05T10:04:45Z
date_published: 2024-05-10T00:00:00Z
date_updated: 2024-09-18T09:01:52Z
day: '10'
doi: 10.1103/physrevd.109.103014
extern: '1'
external_id:
arxiv:
- '2310.19766'
fulldoi: https://doi.org/10.1103/physrevd.109.103014
intvolume: ' 109'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2310.19766'
month: '05'
oa: 1
oa_version: Preprint
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 circumbinary accretion simulations'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 109
year: '2024'
...
---
_id: '17546'
abstract:
- lang: eng
text: We show that gas disks around the components of an orbiting binary system
(so-called minidisks) may be susceptible to a resonant instability that causes
the minidisks to become significantly eccentric. Eccentricity is injected by,
and also induces, regular impacts between the minidisks at roughly the orbital
period of the binary. Such eccentric minidisks are seen in vertically integrated,
two-dimensional simulations of a circular, equal-mass binary accreting from a
circumbinary gas disk with a Γ-law equation of state. Minidisk eccentricity is
suppressed by the use of an isothermal equation of state. However, the instability
still operates and can be revealed in a minimal disk-binary simulation by removing
the circumbinary disk and feeding the minidisks from the component positions.
Minidisk eccentricity is also suppressed when the gravitational softening length
is large (≳4% of the binary semimajor axis), suggesting that its absence could
be an artifact of widely adopted numerical approximations; a follow-up study in
three dimensions with well-resolved, geometrically thin minidisks (aspect ratios
≲0.02) may be needed to assess whether eccentric minidisks can occur in real astrophysical
environments. If they can, the electromagnetic signature may be important for
discriminating between binary and single black hole scenarios for quasiperiodic
oscillations in active galactic nuclei; in turn, this might aid in targeted searches
with pulsar timing arrays for individual supermassive black hole binary sources
of low-frequency gravitational waves.
article_number: '76'
article_processing_charge: No
article_type: original
author:
- first_name: John Ryan
full_name: Westernacher-Schneider, John Ryan
last_name: Westernacher-Schneider
- 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: Westernacher-Schneider JR, Zrake J, MacFadyen A, Haiman Z. Eccentric minidisks
in accreting binaries. The Astrophysical Journal. 2024;962(1). doi:10.3847/1538-4357/ad1a17
apa: Westernacher-Schneider, J. R., Zrake, J., MacFadyen, A., & Haiman, Z. (2024).
Eccentric minidisks in accreting binaries. The Astrophysical Journal. American
Astronomical Society. https://doi.org/10.3847/1538-4357/ad1a17
chicago: Westernacher-Schneider, John Ryan, Jonathan Zrake, Andrew MacFadyen, and
Zoltán Haiman. “Eccentric Minidisks in Accreting Binaries.” The Astrophysical
Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad1a17.
ieee: J. R. Westernacher-Schneider, J. Zrake, A. MacFadyen, and Z. Haiman, “Eccentric
minidisks in accreting binaries,” The Astrophysical Journal, vol. 962,
no. 1. American Astronomical Society, 2024.
ista: Westernacher-Schneider JR, Zrake J, MacFadyen A, Haiman Z. 2024. Eccentric
minidisks in accreting binaries. The Astrophysical Journal. 962(1), 76.
mla: Westernacher-Schneider, John Ryan, et al. “Eccentric Minidisks in Accreting
Binaries.” The Astrophysical Journal, vol. 962, no. 1, 76, American Astronomical
Society, 2024, doi:10.3847/1538-4357/ad1a17.
short: J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical
Journal 962 (2024).
date_created: 2024-09-05T10:06:09Z
date_published: 2024-02-08T00:00:00Z
date_updated: 2024-09-18T09:16:14Z
day: '08'
doi: 10.3847/1538-4357/ad1a17
extern: '1'
fulldoi: https://doi.org/10.3847/1538-4357/ad1a17
intvolume: ' 962'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/1538-4357/ad1a17
month: '02'
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: Eccentric minidisks in accreting binaries
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 962
year: '2024'
...
---
_id: '17590'
abstract:
- lang: eng
text: Close encounters between stellar-mass black holes (BHs) and stars occur frequently
in dense star clusters and in the disks of active galactic nuclei. Recent studies
have shown that in highly eccentric close encounters, the star can be tidally
disrupted by the BH in a microtidal disruption event (microTDE), resulting in
rapid mass accretion and possibly bright electromagnetic signatures. Here we consider
a scenario in which the star might approach the stellar-mass BH in a gradual,
nearly circular inspiral, under the influence of dynamical friction in a circum-binary
gas disk or three-body interactions in a star cluster. We perform hydrodynamics
simulations of this scenario using the smoothed particle hydrodynamics code PHANTOM.
We find that under certain circumstances (for initial eccentricity e0 ≳ 0.4 and
penetration factor β = 1, or e0 < 0.4 and β ≲ 0.67), the mass of the star is slowly
stripped away by the BH. We call this gradual tidal disruption a "tidal-peeling
event." Additionally, we discover that some low-eccentricity microTDEs (e0 < 0.4
and β = 1) are a new form of fast luminous transients similar to parabolic microTDEs.
Depending on the initial distance and eccentricity of the encounter, these low-eccentricity
microTDEs might exhibit significant accretion rates and orbital evolution distinct
from those of a typical (eccentric) microTDE.
article_number: '149'
article_processing_charge: No
article_type: original
author:
- first_name: Chengcheng
full_name: Xin, Chengcheng
last_name: Xin
- 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: Yihan
full_name: Wang, Yihan
last_name: Wang
- first_name: Taeho
full_name: Ryu, Taeho
last_name: Ryu
citation:
ama: 'Xin C, Haiman Z, Perna R, Wang Y, Ryu T. “Tidal Peeling Events”: Low-eccentricity
tidal disruption of a star by a stellar-mass black hole. The Astrophysical
Journal. 2024;961(2). doi:10.3847/1538-4357/ad11d3'
apa: 'Xin, C., Haiman, Z., Perna, R., Wang, Y., & Ryu, T. (2024). “Tidal Peeling
Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole.
The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad11d3'
chicago: 'Xin, Chengcheng, Zoltán Haiman, Rosalba Perna, Yihan Wang, and Taeho Ryu.
“‘Tidal Peeling Events’: Low-Eccentricity Tidal Disruption of a Star by a Stellar-Mass
Black Hole.” The Astrophysical Journal. American Astronomical Society,
2024. https://doi.org/10.3847/1538-4357/ad11d3.'
ieee: 'C. Xin, Z. Haiman, R. Perna, Y. Wang, and T. Ryu, “‘Tidal Peeling Events’:
Low-eccentricity tidal disruption of a star by a stellar-mass black hole,” The
Astrophysical Journal, vol. 961, no. 2. American Astronomical Society, 2024.'
ista: 'Xin C, Haiman Z, Perna R, Wang Y, Ryu T. 2024. “Tidal Peeling Events”: Low-eccentricity
tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal.
961(2), 149.'
mla: 'Xin, Chengcheng, et al. “‘Tidal Peeling Events’: Low-Eccentricity Tidal Disruption
of a Star by a Stellar-Mass Black Hole.” The Astrophysical Journal, vol.
961, no. 2, 149, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad11d3.'
short: C. Xin, Z. Haiman, R. Perna, Y. Wang, T. Ryu, The Astrophysical Journal 961
(2024).
date_created: 2024-09-05T12:36:41Z
date_published: 2024-01-22T00:00:00Z
date_updated: 2024-09-19T12:21:53Z
day: '22'
doi: 10.3847/1538-4357/ad11d3
extern: '1'
fulldoi: https://doi.org/10.3847/1538-4357/ad11d3
intvolume: ' 961'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.3847/1538-4357/ad11d3
month: '01'
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: '“Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass
black hole'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 961
year: '2024'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '17852'
abstract:
- lang: eng
text: Metal-metal contacts, though not yet widely realized, may provide exciting
opportunities to serve as tunable and functional interfaces in single-molecule
devices. One of the simplest components which might facilitate such binding interactions
is the ferrocene group. Notably, direct bonds between the ferrocene iron center
and metals such as Pd or Co have been demonstrated in molecular complexes comprising
coordinating ligands attached to the cyclopentadienyl rings. Here, we demonstrate
that ferrocene-based single-molecule devices with Fe-Au interfacial contact geometries
form at room temperature in the absence of supporting coordinating ligands. Applying
a photoredox reaction, we propose that ferrocene only functions effectively as
a contact group when oxidized, binding to gold through a formal Fe3+
center. This observation is further supported by a series of control measurements
and density functional theory calculations. Our findings extend the scope of junction
contact chemistries beyond those involving main group elements, lay the foundation
for light switchable ferrocene-based single-molecule devices, and highlight new
potential mechanistic function(s) of unsubstituted ferrocenium groups in synthetic
processes.
article_number: '1439'
article_processing_charge: Yes
article_type: original
author:
- first_name: Woojung
full_name: Lee, Woojung
last_name: Lee
- first_name: Liang
full_name: Li, Liang
last_name: Li
- first_name: María
full_name: Camarasa-Gómez, María
last_name: Camarasa-Gómez
- first_name: Daniel
full_name: Hernangómez-Pérez, Daniel
last_name: Hernangómez-Pérez
- first_name: Xavier
full_name: Roy, Xavier
last_name: Roy
- first_name: Ferdinand
full_name: Evers, Ferdinand
last_name: Evers
- first_name: Michael S.
full_name: Inkpen, Michael S.
last_name: Inkpen
- first_name: Latha
full_name: Venkataraman, Latha
id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
last_name: Venkataraman
orcid: 0000-0002-6957-6089
citation:
ama: Lee W, Li L, Camarasa-Gómez M, et al. Photooxidation driven formation of Fe-Au
linked ferrocene-based single-molecule junctions. Nature Communications.
2024;15. doi:10.1038/s41467-024-45707-z
apa: Lee, W., Li, L., Camarasa-Gómez, M., Hernangómez-Pérez, D., Roy, X., Evers,
F., … Venkataraman, L. (2024). Photooxidation driven formation of Fe-Au linked
ferrocene-based single-molecule junctions. Nature Communications. Springer
Nature. https://doi.org/10.1038/s41467-024-45707-z
chicago: Lee, Woojung, Liang Li, María Camarasa-Gómez, Daniel Hernangómez-Pérez,
Xavier Roy, Ferdinand Evers, Michael S. Inkpen, and Latha Venkataraman. “Photooxidation
Driven Formation of Fe-Au Linked Ferrocene-Based Single-Molecule Junctions.” Nature
Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-45707-z.
ieee: W. Lee et al., “Photooxidation driven formation of Fe-Au linked ferrocene-based
single-molecule junctions,” Nature Communications, vol. 15. Springer Nature,
2024.
ista: Lee W, Li L, Camarasa-Gómez M, Hernangómez-Pérez D, Roy X, Evers F, Inkpen
MS, Venkataraman L. 2024. Photooxidation driven formation of Fe-Au linked ferrocene-based
single-molecule junctions. Nature Communications. 15, 1439.
mla: Lee, Woojung, et al. “Photooxidation Driven Formation of Fe-Au Linked Ferrocene-Based
Single-Molecule Junctions.” Nature Communications, vol. 15, 1439, Springer
Nature, 2024, doi:10.1038/s41467-024-45707-z.
short: W. Lee, L. Li, M. Camarasa-Gómez, D. Hernangómez-Pérez, X. Roy, F. Evers,
M.S. Inkpen, L. Venkataraman, Nature Communications 15 (2024).
date_created: 2024-09-06T12:38:44Z
date_published: 2024-02-16T00:00:00Z
date_updated: 2024-11-18T10:47:10Z
day: '16'
doi: 10.1038/s41467-024-45707-z
extern: '1'
external_id:
pmid:
- '38365892'
fulldoi: https://doi.org/10.1038/s41467-024-45707-z
intvolume: ' 15'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1038/s41467-024-45707-z
month: '02'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule
junctions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2024'
...
---
OA_type: closed access
_id: '17853'
abstract:
- lang: eng
text: Single-molecule one-dimensional topological insulator (1D TI) is a class of
molecular wires that exhibit increasing conductance with wire length. This unique
trend is due to the coupling between the two low-lying topological edge states
of 1D TIs described by the Su–Schrieffer–Heeger model. In principle, this quantum
phenomenon within 1D TIs can be utilized to achieve long-range gating in molecular
conductors. Here, we study electron transport through a single-edge state of doubly
oxidized oligophenylene bis(triarylamine) to understand the effect of the edge
state coupling on conductance. We find that conductance is elevated by approximately
1 order of magnitude compared to a control molecule with the same conductance
pathway. Density function theory calculations further support that the increase
in conductance is due to the interaction between the edge states of 1D TIs. This
work demonstrates a new gating paradigm in molecular electronics, while also providing
a deeper understanding of how edge states interact and affect electron transport
within 1D TIs.
article_processing_charge: No
article_type: original
author:
- first_name: Liang
full_name: Li, Liang
last_name: Li
- first_name: Shayan
full_name: Louie, Shayan
last_name: Louie
- first_name: Nicholas M.
full_name: Orchanian, Nicholas M.
last_name: Orchanian
- first_name: Colin
full_name: Nuckolls, Colin
last_name: Nuckolls
- first_name: Latha
full_name: Venkataraman, Latha
id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
last_name: Venkataraman
orcid: 0000-0002-6957-6089
citation:
ama: Li L, Louie S, Orchanian NM, Nuckolls C, Venkataraman L. Long-range gating
in single-molecule one-dimensional topological insulators. Journal of the American
Chemical Society. 2024;146(24):16920-16925. doi:10.1021/jacs.4c05699
apa: Li, L., Louie, S., Orchanian, N. M., Nuckolls, C., & Venkataraman, L. (2024).
Long-range gating in single-molecule one-dimensional topological insulators. Journal
of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.4c05699
chicago: Li, Liang, Shayan Louie, Nicholas M. Orchanian, Colin Nuckolls, and Latha
Venkataraman. “Long-Range Gating in Single-Molecule One-Dimensional Topological
Insulators.” Journal of the American Chemical Society. American Chemical
Society, 2024. https://doi.org/10.1021/jacs.4c05699.
ieee: L. Li, S. Louie, N. M. Orchanian, C. Nuckolls, and L. Venkataraman, “Long-range
gating in single-molecule one-dimensional topological insulators,” Journal
of the American Chemical Society, vol. 146, no. 24. American Chemical Society,
pp. 16920–16925, 2024.
ista: Li L, Louie S, Orchanian NM, Nuckolls C, Venkataraman L. 2024. Long-range
gating in single-molecule one-dimensional topological insulators. Journal of the
American Chemical Society. 146(24), 16920–16925.
mla: Li, Liang, et al. “Long-Range Gating in Single-Molecule One-Dimensional Topological
Insulators.” Journal of the American Chemical Society, vol. 146, no. 24,
American Chemical Society, 2024, pp. 16920–25, doi:10.1021/jacs.4c05699.
short: L. Li, S. Louie, N.M. Orchanian, C. Nuckolls, L. Venkataraman, Journal of
the American Chemical Society 146 (2024) 16920–16925.
date_created: 2024-09-06T12:40:17Z
date_published: 2024-06-24T00:00:00Z
date_updated: 2024-11-18T10:51:21Z
day: '24'
doi: 10.1021/jacs.4c05699
extern: '1'
external_id:
pmid:
- '38832840'
fulldoi: https://doi.org/10.1021/jacs.4c05699
intvolume: ' 146'
issue: '24'
language:
- iso: eng
month: '06'
oa_version: None
page: 16920-16925
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Long-range gating in single-molecule one-dimensional topological insulators
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 146
year: '2024'
...
---
OA_type: closed access
_id: '17854'
abstract:
- lang: eng
text: As social media platforms continue to grow in popularity, there is an increasing
need for science outreach teams to bring STEM content to the virtual landscape.
Here, we highlight the use of short-form videos on our TikTok channel─@IvyLeagueScience─as
a new way to approach science outreach. Through a combination of content production
and data analytics, we were able to build an online platform with >150k followers,
3.6 million likes, and 18 million views. By bringing science to social media,
we engage with students across the world, allowing them to experience science-based
content. In this case study, we hope to encourage other scientific outreach teams
to employ social media as a means of increasing visibility of scientists and STEM
careers.
article_processing_charge: No
article_type: original
author:
- first_name: Claudia R.
full_name: Prindle, Claudia R.
last_name: Prindle
- first_name: Nicholas M.
full_name: Orchanian, Nicholas M.
last_name: Orchanian
- first_name: Latha
full_name: Venkataraman, Latha
id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
last_name: Venkataraman
orcid: 0000-0002-6957-6089
- first_name: Colin
full_name: Nuckolls, Colin
last_name: Nuckolls
citation:
ama: Prindle CR, Orchanian NM, Venkataraman L, Nuckolls C. Short-form videos as
an emerging social media tool for STEM edutainment. Journal of Chemical Education.
2024;101(3):1319-1324. doi:10.1021/acs.jchemed.3c01185
apa: Prindle, C. R., Orchanian, N. M., Venkataraman, L., & Nuckolls, C. (2024).
Short-form videos as an emerging social media tool for STEM edutainment. Journal
of Chemical Education. American Chemical Society. https://doi.org/10.1021/acs.jchemed.3c01185
chicago: Prindle, Claudia R., Nicholas M. Orchanian, Latha Venkataraman, and Colin
Nuckolls. “Short-Form Videos as an Emerging Social Media Tool for STEM Edutainment.”
Journal of Chemical Education. American Chemical Society, 2024. https://doi.org/10.1021/acs.jchemed.3c01185.
ieee: C. R. Prindle, N. M. Orchanian, L. Venkataraman, and C. Nuckolls, “Short-form
videos as an emerging social media tool for STEM edutainment,” Journal of Chemical
Education, vol. 101, no. 3. American Chemical Society, pp. 1319–1324, 2024.
ista: Prindle CR, Orchanian NM, Venkataraman L, Nuckolls C. 2024. Short-form videos
as an emerging social media tool for STEM edutainment. Journal of Chemical Education.
101(3), 1319–1324.
mla: Prindle, Claudia R., et al. “Short-Form Videos as an Emerging Social Media
Tool for STEM Edutainment.” Journal of Chemical Education, vol. 101, no.
3, American Chemical Society, 2024, pp. 1319–24, doi:10.1021/acs.jchemed.3c01185.
short: C.R. Prindle, N.M. Orchanian, L. Venkataraman, C. Nuckolls, Journal of Chemical
Education 101 (2024) 1319–1324.
date_created: 2024-09-06T12:43:20Z
date_published: 2024-02-14T00:00:00Z
date_updated: 2024-11-18T10:55:30Z
day: '14'
doi: 10.1021/acs.jchemed.3c01185
extern: '1'
fulldoi: https://doi.org/10.1021/acs.jchemed.3c01185
intvolume: ' 101'
issue: '3'
language:
- iso: eng
month: '02'
oa_version: None
page: 1319-1324
publication: Journal of Chemical Education
publication_identifier:
eissn:
- 1938-1328
issn:
- 0021-9584
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Short-form videos as an emerging social media tool for STEM edutainment
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 101
year: '2024'
...
---
_id: '17855'
abstract:
- lang: eng
text: Biased metal–molecule–metal junctions emit light through electroluminescence,
a phenomenon at the intersection of molecular electronics and nanoplasmonics.
This can occur when the junction plasmon mode is excited by inelastic electron
current fluctuations. Here, we simultaneously measure the conductance and electroluminescence
intensity from single-molecule junctions with time resolution in a solution environment
at room temperature. We use current versus bias data to determine the molecular
junction transport parameters and then relate these to the expected current shot
noise. We find that the electroluminescence signal accurately matches the theoretical
prediction of shot-noise-driven emission in a large fraction of the molecular
junctions studied. This introduces a novel experimental method for qualitatively
estimating finite-frequency shot noise in single-molecule junctions under ambient
conditions. We further demonstrate that electroluminescence can be used to obtain
the level alignment of the frontier orbital dominating transport in the molecular
junction.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Angela L.
full_name: Paoletta, Angela L.
last_name: Paoletta
- first_name: Latha
full_name: Venkataraman, Latha
id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
last_name: Venkataraman
orcid: 0000-0002-6957-6089
citation:
ama: Paoletta AL, Venkataraman L. Determining transmission characteristics from
shot-noise-driven electroluminescence in single-molecule junctions. Nano Letters.
2024;24(6):1931-1935. doi:10.1021/acs.nanolett.3c04207
apa: Paoletta, A. L., & Venkataraman, L. (2024). Determining transmission characteristics
from shot-noise-driven electroluminescence in single-molecule junctions. Nano
Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c04207
chicago: Paoletta, Angela L., and Latha Venkataraman. “Determining Transmission
Characteristics from Shot-Noise-Driven Electroluminescence in Single-Molecule
Junctions.” Nano Letters. American Chemical Society, 2024. https://doi.org/10.1021/acs.nanolett.3c04207.
ieee: A. L. Paoletta and L. Venkataraman, “Determining transmission characteristics
from shot-noise-driven electroluminescence in single-molecule junctions,” Nano
Letters, vol. 24, no. 6. American Chemical Society, pp. 1931–1935, 2024.
ista: Paoletta AL, Venkataraman L. 2024. Determining transmission characteristics
from shot-noise-driven electroluminescence in single-molecule junctions. Nano
Letters. 24(6), 1931–1935.
mla: Paoletta, Angela L., and Latha Venkataraman. “Determining Transmission Characteristics
from Shot-Noise-Driven Electroluminescence in Single-Molecule Junctions.” Nano
Letters, vol. 24, no. 6, American Chemical Society, 2024, pp. 1931–35, doi:10.1021/acs.nanolett.3c04207.
short: A.L. Paoletta, L. Venkataraman, Nano Letters 24 (2024) 1931–1935.
date_created: 2024-09-06T12:44:24Z
date_published: 2024-02-05T00:00:00Z
date_updated: 2024-11-18T10:58:19Z
day: '05'
doi: 10.1021/acs.nanolett.3c04207
extern: '1'
external_id:
pmid:
- '38315038'
fulldoi: https://doi.org/10.1021/acs.nanolett.3c04207
intvolume: ' 24'
issue: '6'
language:
- iso: eng
month: '02'
oa_version: None
page: 1931-1935
pmid: 1
publication: Nano Letters
publication_identifier:
issn:
- 1530-6984
- 1530-6992
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Determining transmission characteristics from shot-noise-driven electroluminescence
in single-molecule junctions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2024'
...
---
_id: '17856'
abstract:
- lang: eng
text: The successful incorporation of molecules as active circuit elements relies
on the ability to tune their electronic properties through chemical design. A
synthetic strategy that has been used to manipulate and gate circuit conductance
involves attaching a pendant substituent along the molecular conduction pathway.
However, such a chemical gate has not yet been shown to significantly modify conductance.
Here, we report a novel series of triarylmethylium and triangulenium carbocations
gated by different substituents coupled to the delocalized conducting orbitals
on the molecular backbone through a Fano resonance. By changing the pendant substituents
to modulate the position of the Fano resonance and its coupling to the conducting
orbitals, we can regulate the junction conductance by a remarkable factor of 450.
This work thus provides a new design principle to enable effective chemical gating
of single-molecule devices toward effective molecular transistors.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Claudia R.
full_name: Prindle, Claudia R.
last_name: Prindle
- first_name: Wanzhuo
full_name: Shi, Wanzhuo
last_name: Shi
- first_name: Liang
full_name: Li, Liang
last_name: Li
- first_name: Jesper
full_name: Dahl Jensen, Jesper
last_name: Dahl Jensen
- first_name: Bo W.
full_name: Laursen, Bo W.
last_name: Laursen
- first_name: Michael L.
full_name: Steigerwald, Michael L.
last_name: Steigerwald
- first_name: Colin
full_name: Nuckolls, Colin
last_name: Nuckolls
- first_name: Latha
full_name: Venkataraman, Latha
id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
last_name: Venkataraman
orcid: 0000-0002-6957-6089
citation:
ama: Prindle CR, Shi W, Li L, et al. Effective gating in single-molecule junctions
through fano resonances. Journal of the American Chemical Society. 2024;146(6):3646-3650.
doi:10.1021/jacs.3c14226
apa: Prindle, C. R., Shi, W., Li, L., Dahl Jensen, J., Laursen, B. W., Steigerwald,
M. L., … Venkataraman, L. (2024). Effective gating in single-molecule junctions
through fano resonances. Journal of the American Chemical Society. American
Chemical Society. https://doi.org/10.1021/jacs.3c14226
chicago: Prindle, Claudia R., Wanzhuo Shi, Liang Li, Jesper Dahl Jensen, Bo W. Laursen,
Michael L. Steigerwald, Colin Nuckolls, and Latha Venkataraman. “Effective Gating
in Single-Molecule Junctions through Fano Resonances.” Journal of the American
Chemical Society. American Chemical Society, 2024. https://doi.org/10.1021/jacs.3c14226.
ieee: C. R. Prindle et al., “Effective gating in single-molecule junctions
through fano resonances,” Journal of the American Chemical Society, vol.
146, no. 6. American Chemical Society, pp. 3646–3650, 2024.
ista: Prindle CR, Shi W, Li L, Dahl Jensen J, Laursen BW, Steigerwald ML, Nuckolls
C, Venkataraman L. 2024. Effective gating in single-molecule junctions through
fano resonances. Journal of the American Chemical Society. 146(6), 3646–3650.
mla: Prindle, Claudia R., et al. “Effective Gating in Single-Molecule Junctions
through Fano Resonances.” Journal of the American Chemical Society, vol.
146, no. 6, American Chemical Society, 2024, pp. 3646–50, doi:10.1021/jacs.3c14226.
short: C.R. Prindle, W. Shi, L. Li, J. Dahl Jensen, B.W. Laursen, M.L. Steigerwald,
C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 146 (2024)
3646–3650.
date_created: 2024-09-06T12:45:11Z
date_published: 2024-01-31T00:00:00Z
date_updated: 2024-11-18T11:02:24Z
day: '31'
doi: 10.1021/jacs.3c14226
extern: '1'
external_id:
pmid:
- '38293735'
fulldoi: https://doi.org/10.1021/jacs.3c14226
intvolume: ' 146'
issue: '6'
language:
- iso: eng
month: '01'
oa_version: None
page: 3646-3650
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Effective gating in single-molecule junctions through fano resonances
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 146
year: '2024'
...
---
OA_type: closed access
_id: '17857'
abstract:
- lang: eng
text: Gold–dithiol molecular junctions have been studied both experimentally and
theoretically. However, the nature of the gold–thiolate bond as it relates to
the solvent has seldom been investigated. It is known that solvents can impact
the electronic structure of single-molecule junctions, but the correlation between
the solvent and dithiol-linked single-molecule junction conductance is not well
understood. We study molecular junctions formed with thiol-terminated phenylenes
from both 1-chloronaphthalene and 1-bromonaphthalene solutions. We find that the
most probable conductance and the distribution of conductances are both affected
by the solvent. First-principles calculations show that junction conductance depends
on the binding configurations (adatom, atop, and bridge) of the thiolate on the
Au surface, as has been shown previously. More importantly, we find that brominated
solvents can restrict the binding of thiols to specific Au sites. This mechanism
offers new insight into the effects of the solvent environment on covalent bonding
in molecular junctions.
article_processing_charge: No
article_type: letter_note
author:
- first_name: Johnson
full_name: Dalmieda, Johnson
last_name: Dalmieda
- first_name: Wanzhuo
full_name: Shi, Wanzhuo
last_name: Shi
- first_name: Liang
full_name: Li, Liang
last_name: Li
- first_name: Latha
full_name: Venkataraman, Latha
id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
last_name: Venkataraman
orcid: 0000-0002-6957-6089
citation:
ama: Dalmieda J, Shi W, Li L, Venkataraman L. Solvent-mediated modulation of the
Au–S bond in dithiol molecular junctions. Nano Letters. 2024;24(2):703-707.
doi:10.1021/acs.nanolett.3c04058
apa: Dalmieda, J., Shi, W., Li, L., & Venkataraman, L. (2024). Solvent-mediated
modulation of the Au–S bond in dithiol molecular junctions. Nano Letters.
American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c04058
chicago: Dalmieda, Johnson, Wanzhuo Shi, Liang Li, and Latha Venkataraman. “Solvent-Mediated
Modulation of the Au–S Bond in Dithiol Molecular Junctions.” Nano Letters.
American Chemical Society, 2024. https://doi.org/10.1021/acs.nanolett.3c04058.
ieee: J. Dalmieda, W. Shi, L. Li, and L. Venkataraman, “Solvent-mediated modulation
of the Au–S bond in dithiol molecular junctions,” Nano Letters, vol. 24,
no. 2. American Chemical Society, pp. 703–707, 2024.
ista: Dalmieda J, Shi W, Li L, Venkataraman L. 2024. Solvent-mediated modulation
of the Au–S bond in dithiol molecular junctions. Nano Letters. 24(2), 703–707.
mla: Dalmieda, Johnson, et al. “Solvent-Mediated Modulation of the Au–S Bond in
Dithiol Molecular Junctions.” Nano Letters, vol. 24, no. 2, American Chemical
Society, 2024, pp. 703–07, doi:10.1021/acs.nanolett.3c04058.
short: J. Dalmieda, W. Shi, L. Li, L. Venkataraman, Nano Letters 24 (2024) 703–707.
date_created: 2024-09-06T12:46:39Z
date_published: 2024-01-04T00:00:00Z
date_updated: 2024-11-19T12:50:27Z
day: '04'
doi: 10.1021/acs.nanolett.3c04058
extern: '1'
external_id:
pmid:
- '38175934'
fulldoi: https://doi.org/10.1021/acs.nanolett.3c04058
intvolume: ' 24'
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 703-707
pmid: 1
publication: Nano Letters
publication_identifier:
eissn:
- 1530-6992
issn:
- 1530-6984
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Solvent-mediated modulation of the Au–S bond in dithiol molecular junctions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2024'
...
---
OA_type: closed access
_id: '17859'
abstract:
- lang: eng
text: The electrostatic environment around nanoscale molecular junctions modulates
charge transport; solvents alter this environment. Methods to directly probe solvent
effects require correlating measurements of the local electrostatic environment
with charge transport across the metal–molecule–metal junction. Here, we measure
the conductance and current–voltage characteristics of molecular wires using a
scanning tunneling microscope–break junction (STM-BJ) setup in two commonly used
solvents. Our results show that the solvent environment induces shifts in molecular
conductance, which we quantify, but more importantly we find that the solvent
also impacts the magnitude of current rectification in molecular junctions. By
incorporating electrochemical impedance spectroscopy into the STM-BJ setup, we
measure the capacitance of the dipole layer formed at the metal–solvent interface
and show that rectification can be correlated with solvent capacitance. These
results provide a method of quantifying the impact of the solvent environment
and a path toward improved environmental control of molecular devices.
article_processing_charge: No
article_type: original
author:
- first_name: Wanzhuo
full_name: Shi, Wanzhuo
last_name: Shi
- first_name: Julia E.
full_name: Greenwald, Julia E.
last_name: Greenwald
- first_name: Latha
full_name: Venkataraman, Latha
id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf
last_name: Venkataraman
orcid: 0000-0002-6957-6089
citation:
ama: Shi W, Greenwald JE, Venkataraman L. Impact of solvent electrostatic environment
on molecular junctions probed via electrochemical impedance spectroscopy. Nano
Letters. 2024;24(30):9283-9288. doi:10.1021/acs.nanolett.4c02103
apa: Shi, W., Greenwald, J. E., & Venkataraman, L. (2024). Impact of solvent
electrostatic environment on molecular junctions probed via electrochemical impedance
spectroscopy. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.4c02103
chicago: Shi, Wanzhuo, Julia E. Greenwald, and Latha Venkataraman. “Impact of Solvent
Electrostatic Environment on Molecular Junctions Probed via Electrochemical Impedance
Spectroscopy.” Nano Letters. American Chemical Society, 2024. https://doi.org/10.1021/acs.nanolett.4c02103.
ieee: W. Shi, J. E. Greenwald, and L. Venkataraman, “Impact of solvent electrostatic
environment on molecular junctions probed via electrochemical impedance spectroscopy,”
Nano Letters, vol. 24, no. 30. American Chemical Society, pp. 9283–9288,
2024.
ista: Shi W, Greenwald JE, Venkataraman L. 2024. Impact of solvent electrostatic
environment on molecular junctions probed via electrochemical impedance spectroscopy.
Nano Letters. 24(30), 9283–9288.
mla: Shi, Wanzhuo, et al. “Impact of Solvent Electrostatic Environment on Molecular
Junctions Probed via Electrochemical Impedance Spectroscopy.” Nano Letters,
vol. 24, no. 30, American Chemical Society, 2024, pp. 9283–88, doi:10.1021/acs.nanolett.4c02103.
short: W. Shi, J.E. Greenwald, L. Venkataraman, Nano Letters 24 (2024) 9283–9288.
date_created: 2024-09-06T12:48:34Z
date_published: 2024-07-18T00:00:00Z
date_updated: 2024-11-20T15:24:37Z
day: '18'
doi: 10.1021/acs.nanolett.4c02103
extern: '1'
external_id:
pmid:
- '39023006'
fulldoi: https://doi.org/10.1021/acs.nanolett.4c02103
intvolume: ' 24'
issue: '30'
language:
- iso: eng
month: '07'
oa_version: None
page: 9283-9288
pmid: 1
publication: Nano Letters
publication_identifier:
eissn:
- 1530-6992
issn:
- 1530-6984
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Impact of solvent electrostatic environment on molecular junctions probed via
electrochemical impedance spectroscopy
type: journal_article
user_id: 68b8ca59-c5b3-11ee-8790-cd641c68093d
volume: 24
year: '2024'
...
---
_id: '18153'
abstract:
- lang: eng
text: Attention supports decision making by selecting the features that are relevant
for decisions. Selective enhancement of the relevant features and inhibition of
distractors has been proposed as potential neural mechanisms driving this selection
process. Yet, how attention operates when relevance cannot be directly determined,
and the attention signal needs to be internally constructed is less understood.
Here we recorded from populations of neurons in the anterior cingulate cortex
(ACC) of mice in an attention-shifting task where relevance of stimulus modalities
changed across blocks of trials. In contrast with V1 recordings, decoding of the
irrelevant modality gradually declined in ACC after an initial transient. Our
analytical proof and a recurrent neural network model of the task revealed mutually
inhibiting connections that produced context-gated suppression as observed in
mice. Using this RNN model we predicted a correlation between contextual modulation
of individual neurons and their stimulus drive, which we confirmed in ACC but
not in V1.
article_number: '5559'
article_processing_charge: Yes
article_type: original
author:
- first_name: Márton Albert
full_name: Hajnal, Márton Albert
last_name: Hajnal
- first_name: Duy
full_name: Tran, Duy
last_name: Tran
- first_name: Zsombor
full_name: Szabó, Zsombor
id: 47757b1e-3f56-11ef-9908-8ddefb4d05eb
last_name: Szabó
orcid: 0009-0003-8524-4994
- first_name: Andrea
full_name: Albert, Andrea
last_name: Albert
- first_name: Karen
full_name: Safaryan, Karen
last_name: Safaryan
- first_name: Michael
full_name: Einstein, Michael
last_name: Einstein
- first_name: Mauricio
full_name: Vallejo Martelo, Mauricio
last_name: Vallejo Martelo
- first_name: Pierre-Olivier
full_name: Polack, Pierre-Olivier
last_name: Polack
- first_name: Peyman
full_name: Golshani, Peyman
last_name: Golshani
- first_name: Gergő
full_name: Orbán, Gergő
last_name: Orbán
citation:
ama: Hajnal MA, Tran D, Szabó Z, et al. Shifts in attention drive context-dependent
subspace encoding in anterior cingulate cortex in mice during decision making.
Nature Communications. 2024;15. doi:10.1038/s41467-024-49845-2
apa: Hajnal, M. A., Tran, D., Szabó, Z., Albert, A., Safaryan, K., Einstein, M.,
… Orbán, G. (2024). Shifts in attention drive context-dependent subspace encoding
in anterior cingulate cortex in mice during decision making. Nature Communications.
Springer Nature. https://doi.org/10.1038/s41467-024-49845-2
chicago: Hajnal, Márton Albert, Duy Tran, Zsombor Szabó, Andrea Albert, Karen Safaryan,
Michael Einstein, Mauricio Vallejo Martelo, Pierre-Olivier Polack, Peyman Golshani,
and Gergő Orbán. “Shifts in Attention Drive Context-Dependent Subspace Encoding
in Anterior Cingulate Cortex in Mice during Decision Making.” Nature Communications.
Springer Nature, 2024. https://doi.org/10.1038/s41467-024-49845-2.
ieee: M. A. Hajnal et al., “Shifts in attention drive context-dependent subspace
encoding in anterior cingulate cortex in mice during decision making,” Nature
Communications, vol. 15. Springer Nature, 2024.
ista: Hajnal MA, Tran D, Szabó Z, Albert A, Safaryan K, Einstein M, Vallejo Martelo
M, Polack P-O, Golshani P, Orbán G. 2024. Shifts in attention drive context-dependent
subspace encoding in anterior cingulate cortex in mice during decision making.
Nature Communications. 15, 5559.
mla: Hajnal, Márton Albert, et al. “Shifts in Attention Drive Context-Dependent
Subspace Encoding in Anterior Cingulate Cortex in Mice during Decision Making.”
Nature Communications, vol. 15, 5559, Springer Nature, 2024, doi:10.1038/s41467-024-49845-2.
short: M.A. Hajnal, D. Tran, Z. Szabó, A. Albert, K. Safaryan, M. Einstein, M. Vallejo
Martelo, P.-O. Polack, P. Golshani, G. Orbán, Nature Communications 15 (2024).
date_created: 2024-09-28T06:59:03Z
date_published: 2024-07-02T00:00:00Z
date_updated: 2024-10-01T07:14:56Z
day: '02'
ddc:
- '570'
doi: 10.1038/s41467-024-49845-2
extern: '1'
external_id:
pmid:
- '37873364'
file:
- access_level: open_access
checksum: 22caa17a6691884c66c650c61227e903
content_type: application/pdf
creator: dernst
date_created: 2024-10-01T07:13:36Z
date_updated: 2024-10-01T07:13:36Z
file_id: '18163'
file_name: 2024_NatureComm_Hajnal.pdf
file_size: 4346510
relation: main_file
success: 1
file_date_updated: 2024-10-01T07:13:36Z
fulldoi: https://doi.org/10.1038/s41467-024-49845-2
has_accepted_license: '1'
intvolume: ' 15'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Shifts in attention drive context-dependent subspace encoding in anterior cingulate
cortex in mice during decision making
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: 15
year: '2024'
...