---
_id: '10598'
abstract:
- lang: eng
text: ' We consider the problem of estimating a signal from measurements obtained
via a generalized linear model. We focus on estimators based on approximate message
passing (AMP), a family of iterative algorithms with many appealing features:
the performance of AMP in the high-dimensional limit can be succinctly characterized
under suitable model assumptions; AMP can also be tailored to the empirical distribution
of the signal entries, and for a wide class of estimation problems, AMP is conjectured
to be optimal among all polynomial-time algorithms. However, a major issue of
AMP is that in many models (such as phase retrieval), it requires an initialization
correlated with the ground-truth signal and independent from the measurement matrix.
Assuming that such an initialization is available is typically not realistic.
In this paper, we solve this problem by proposing an AMP algorithm initialized
with a spectral estimator. With such an initialization, the standard AMP analysis
fails since the spectral estimator depends in a complicated way on the design
matrix. Our main contribution is a rigorous characterization of the performance
of AMP with spectral initialization in the high-dimensional limit. The key technical
idea is to define and analyze a two-phase artificial AMP algorithm that first
produces the spectral estimator, and then closely approximates the iterates of
the true AMP. We also provide numerical results that demonstrate the validity
of the proposed approach. '
acknowledgement: The authors would like to thank Andrea Montanari for helpful discussions.
M. Mondelli was partially supported by the 2019 Lopez-Loreta Prize. R. Venkataramanan
was partially supported by the Alan Turing Institute under the EPSRC grant EP/N510129/1.
alternative_title:
- Proceedings of Machine Learning Research
article_processing_charge: Yes (via OA deal)
arxiv: 1
author:
- first_name: Marco
full_name: Mondelli, Marco
id: 27EB676C-8706-11E9-9510-7717E6697425
last_name: Mondelli
orcid: 0000-0002-3242-7020
- first_name: Ramji
full_name: Venkataramanan, Ramji
last_name: Venkataramanan
citation:
ama: 'Mondelli M, Venkataramanan R. Approximate message passing with spectral initialization
for generalized linear models. In: Banerjee A, Fukumizu K, eds. Proceedings
of The 24th International Conference on Artificial Intelligence and Statistics.
Vol 130. ML Research Press; 2021:397-405.'
apa: 'Mondelli, M., & Venkataramanan, R. (2021). Approximate message passing
with spectral initialization for generalized linear models. In A. Banerjee &
K. Fukumizu (Eds.), Proceedings of The 24th International Conference on Artificial
Intelligence and Statistics (Vol. 130, pp. 397–405). Virtual, San Diego, CA,
United States: ML Research Press.'
chicago: Mondelli, Marco, and Ramji Venkataramanan. “Approximate Message Passing
with Spectral Initialization for Generalized Linear Models.” In Proceedings
of The 24th International Conference on Artificial Intelligence and Statistics,
edited by Arindam Banerjee and Kenji Fukumizu, 130:397–405. ML Research Press,
2021.
ieee: M. Mondelli and R. Venkataramanan, “Approximate message passing with spectral
initialization for generalized linear models,” in Proceedings of The 24th International
Conference on Artificial Intelligence and Statistics, Virtual, San Diego,
CA, United States, 2021, vol. 130, pp. 397–405.
ista: 'Mondelli M, Venkataramanan R. 2021. Approximate message passing with spectral
initialization for generalized linear models. Proceedings of The 24th International
Conference on Artificial Intelligence and Statistics. AISTATS: Artificial Intelligence
and Statistics, Proceedings of Machine Learning Research, vol. 130, 397–405.'
mla: Mondelli, Marco, and Ramji Venkataramanan. “Approximate Message Passing with
Spectral Initialization for Generalized Linear Models.” Proceedings of The
24th International Conference on Artificial Intelligence and Statistics, edited
by Arindam Banerjee and Kenji Fukumizu, vol. 130, ML Research Press, 2021, pp.
397–405.
short: M. Mondelli, R. Venkataramanan, in:, A. Banerjee, K. Fukumizu (Eds.), Proceedings
of The 24th International Conference on Artificial Intelligence and Statistics,
ML Research Press, 2021, pp. 397–405.
conference:
end_date: 2021-04-15
location: Virtual, San Diego, CA, United States
name: 'AISTATS: Artificial Intelligence and Statistics'
start_date: 2021-04-13
date_created: 2022-01-03T11:34:22Z
date_published: 2021-04-01T00:00:00Z
date_updated: 2024-03-07T10:36:53Z
day: '01'
department:
- _id: MaMo
editor:
- first_name: Arindam
full_name: Banerjee, Arindam
last_name: Banerjee
- first_name: Kenji
full_name: Fukumizu, Kenji
last_name: Fukumizu
external_id:
arxiv:
- '2010.03460'
intvolume: ' 130'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://proceedings.mlr.press/v130/mondelli21a.html
month: '04'
oa: 1
oa_version: Preprint
page: 397-405
project:
- _id: 059876FA-7A3F-11EA-A408-12923DDC885E
name: Prix Lopez-Loretta 2019 - Marco Mondelli
publication: Proceedings of The 24th International Conference on Artificial Intelligence
and Statistics
publication_identifier:
issn:
- 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
related_material:
record:
- id: '12480'
relation: later_version
status: public
scopus_import: '1'
status: public
title: Approximate message passing with spectral initialization for generalized linear
models
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 130
year: '2021'
...
---
_id: '10599'
abstract:
- lang: eng
text: A two-part successive syndrome-check decoding of polar codes is proposed with
the first part successively refining the received codeword and the second part
checking its syndrome. A new formulation of the successive-cancellation (SC) decoding
algorithm is presented that allows for successively refining the received codeword
by comparing the log-likelihood ratio value of a frozen bit with its predefined
value. The syndrome of the refined received codeword is then checked for possible
errors. In case there are no errors, the decoding process is terminated. Otherwise,
the decoder continues to refine the received codeword. The proposed method is
extended to the case of SC list (SCL) decoding by terminating the decoding process
when the syndrome of the best candidate in the list indicates no errors. Simulation
results show that the proposed method reduces the time-complexity of SC and SCL
decoders and their fast variants, especially at high signal-to-noise ratios.
acknowledgement: This work is supported in part by ONR grant N00014-18-1-2191. S.
A. Hashemi was supported by a Postdoctoral Fellowship from the Natural Sciences
and Engineering Research Council of Canada (NSERC) and by Huawei. M. Mondelli was
partially supported by the 2019 Lopez-Loreta Prize.
article_processing_charge: No
arxiv: 1
author:
- first_name: Seyyed Ali
full_name: Hashemi, Seyyed Ali
last_name: Hashemi
- first_name: Marco
full_name: Mondelli, Marco
id: 27EB676C-8706-11E9-9510-7717E6697425
last_name: Mondelli
orcid: 0000-0002-3242-7020
- first_name: John
full_name: Cioffi, John
last_name: Cioffi
- first_name: Andrea
full_name: Goldsmith, Andrea
last_name: Goldsmith
citation:
ama: 'Hashemi SA, Mondelli M, Cioffi J, Goldsmith A. Successive syndrome-check decoding
of polar codes. In: Proceedings of the 55th Asilomar Conference on Signals,
Systems, and Computers. Vol 2021-October. Institute of Electrical and Electronics
Engineers; 2021:943-947. doi:10.1109/IEEECONF53345.2021.9723394'
apa: 'Hashemi, S. A., Mondelli, M., Cioffi, J., & Goldsmith, A. (2021). Successive
syndrome-check decoding of polar codes. In Proceedings of the 55th Asilomar
Conference on Signals, Systems, and Computers (Vol. 2021–October, pp. 943–947).
Virtual, Pacific Grove, CA, United States: Institute of Electrical and Electronics
Engineers. https://doi.org/10.1109/IEEECONF53345.2021.9723394'
chicago: Hashemi, Seyyed Ali, Marco Mondelli, John Cioffi, and Andrea Goldsmith.
“Successive Syndrome-Check Decoding of Polar Codes.” In Proceedings of the
55th Asilomar Conference on Signals, Systems, and Computers, 2021–October:943–47.
Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/IEEECONF53345.2021.9723394.
ieee: S. A. Hashemi, M. Mondelli, J. Cioffi, and A. Goldsmith, “Successive syndrome-check
decoding of polar codes,” in Proceedings of the 55th Asilomar Conference on
Signals, Systems, and Computers, Virtual, Pacific Grove, CA, United States,
2021, vol. 2021–October, pp. 943–947.
ista: 'Hashemi SA, Mondelli M, Cioffi J, Goldsmith A. 2021. Successive syndrome-check
decoding of polar codes. Proceedings of the 55th Asilomar Conference on Signals,
Systems, and Computers. ACSSC: Asilomar Conference on Signals, Systems, and Computers
vol. 2021–October, 943–947.'
mla: Hashemi, Seyyed Ali, et al. “Successive Syndrome-Check Decoding of Polar Codes.”
Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers,
vol. 2021–October, Institute of Electrical and Electronics Engineers, 2021, pp.
943–47, doi:10.1109/IEEECONF53345.2021.9723394.
short: S.A. Hashemi, M. Mondelli, J. Cioffi, A. Goldsmith, in:, Proceedings of the
55th Asilomar Conference on Signals, Systems, and Computers, Institute of Electrical
and Electronics Engineers, 2021, pp. 943–947.
conference:
end_date: 2021-11-03
location: Virtual, Pacific Grove, CA, United States
name: 'ACSSC: Asilomar Conference on Signals, Systems, and Computers'
start_date: 2021-10-31
date_created: 2022-01-03T11:39:51Z
date_published: 2021-11-01T00:00:00Z
date_updated: 2024-09-10T13:03:17Z
day: '01'
department:
- _id: MaMo
doi: 10.1109/IEEECONF53345.2021.9723394
external_id:
arxiv:
- '2112.00057'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.48550/arXiv.2112.00057'
month: '11'
oa: 1
oa_version: Preprint
page: 943-947
project:
- _id: 059876FA-7A3F-11EA-A408-12923DDC885E
name: Prix Lopez-Loretta 2019 - Marco Mondelli
publication: Proceedings of the 55th Asilomar Conference on Signals, Systems, and
Computers
publication_identifier:
isbn:
- '9781665458283'
issn:
- 1058-6393
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Successive syndrome-check decoding of polar codes
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2021-October
year: '2021'
...
---
_id: '10606'
abstract:
- lang: eng
text: Cell division orientation is thought to result from a competition between
cell geometry and polarity domains controlling the position of the mitotic spindle
during mitosis. Depending on the level of cell shape anisotropy or the strength
of the polarity domain, one dominates the other and determines the orientation
of the spindle. Whether and how such competition is also at work to determine
unequal cell division (UCD), producing daughter cells of different size, remains
unclear. Here, we show that cell geometry and polarity domains cooperate, rather
than compete, in positioning the cleavage plane during UCDs in early ascidian
embryos. We found that the UCDs and their orientation at the ascidian third cleavage
rely on the spindle tilting in an anisotropic cell shape, and cortical polarity
domains exerting different effects on spindle astral microtubules. By systematically
varying mitotic cell shape, we could modulate the effect of attractive and repulsive
polarity domains and consequently generate predicted daughter cell size asymmetries
and position. We therefore propose that the spindle position during UCD is set
by the combined activities of cell geometry and polarity domains, where cell geometry
modulates the effect of cortical polarity domain(s).
acknowledged_ssus:
- _id: NanoFab
- _id: Bio
acknowledgement: 'We thank members of the Heisenberg and McDougall groups for technical
advice and discussion. We are grateful to the Bioimaging and Nanofabrication facilities
of IST Austria and the Imaging Platform (PIM) and animal facility (CRB) of Institut
de la Mer de Villefranche (IMEV), which is supported by EMBRC-France, whose French
state funds are managed by the ANR within the Investments of the Future program
under reference ANR-10-INBS-0, for continuous support. This work was supported by
a collaborative grant from the French Government funding agency Agence National
de la Recherche to McDougall (ANR ''MorCell'': ANR-17-CE 13-0028) and the Austrian
Science Fund to Heisenberg (FWF: I 3601-B27).'
article_number: e75639
article_processing_charge: No
article_type: original
author:
- first_name: Benoit G
full_name: Godard, Benoit G
id: 33280250-F248-11E8-B48F-1D18A9856A87
last_name: Godard
- first_name: Remi
full_name: Dumollard, Remi
last_name: Dumollard
- 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: Alex
full_name: Mcdougall, Alex
last_name: Mcdougall
citation:
ama: Godard BG, Dumollard R, Heisenberg C-PJ, Mcdougall A. Combined effect of cell
geometry and polarity domains determines the orientation of unequal division.
eLife. 2021;10. doi:10.7554/eLife.75639
apa: Godard, B. G., Dumollard, R., Heisenberg, C.-P. J., & Mcdougall, A. (2021).
Combined effect of cell geometry and polarity domains determines the orientation
of unequal division. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.75639
chicago: Godard, Benoit G, Remi Dumollard, Carl-Philipp J Heisenberg, and Alex Mcdougall.
“Combined Effect of Cell Geometry and Polarity Domains Determines the Orientation
of Unequal Division.” ELife. eLife Sciences Publications, 2021. https://doi.org/10.7554/eLife.75639.
ieee: B. G. Godard, R. Dumollard, C.-P. J. Heisenberg, and A. Mcdougall, “Combined
effect of cell geometry and polarity domains determines the orientation of unequal
division,” eLife, vol. 10. eLife Sciences Publications, 2021.
ista: Godard BG, Dumollard R, Heisenberg C-PJ, Mcdougall A. 2021. Combined effect
of cell geometry and polarity domains determines the orientation of unequal division.
eLife. 10, e75639.
mla: Godard, Benoit G., et al. “Combined Effect of Cell Geometry and Polarity Domains
Determines the Orientation of Unequal Division.” ELife, vol. 10, e75639,
eLife Sciences Publications, 2021, doi:10.7554/eLife.75639.
short: B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
date_created: 2022-01-09T23:01:26Z
date_published: 2021-12-21T00:00:00Z
date_updated: 2023-08-17T06:32:44Z
day: '21'
ddc:
- '570'
department:
- _id: CaHe
doi: 10.7554/eLife.75639
external_id:
isi:
- '000733610100001'
file:
- access_level: open_access
checksum: 759c7a873d554c48a6639e6350746ca6
content_type: application/pdf
creator: alisjak
date_created: 2022-01-10T09:40:37Z
date_updated: 2022-01-10T09:40:37Z
file_id: '10611'
file_name: 2021_eLife_Godard.pdf
file_size: 7769934
relation: main_file
success: 1
file_date_updated: 2022-01-10T09:40:37Z
has_accepted_license: '1'
intvolume: ' 10'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 2646861A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I03601
name: Control of embryonic cleavage pattern
publication: eLife
publication_identifier:
eissn:
- 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: Combined effect of cell geometry and polarity domains determines the orientation
of unequal division
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: 10
year: '2021'
...
---
_id: '10607'
abstract:
- lang: eng
text: The evidence linking innate immunity mechanisms and neurodegenerative diseases
is growing, but the specific mechanisms are incompletely understood. Experimental
data suggest that microglial TLR4 mediates the uptake and clearance of α-synuclein
also termed synucleinophagy. The accumulation of misfolded α-synuclein throughout
the brain is central to Parkinson's disease (PD). The distribution and progression
of the pathology is often attributed to the propagation of α-synuclein. Here,
we apply a classical α-synuclein propagation model of prodromal PD in wild type
and TLR4 deficient mice to study the role of TLR4 in the progression of the disease.
Our data suggest that TLR4 deficiency facilitates the α-synuclein seed spreading
associated with reduced lysosomal activity of microglia. Three months after seed
inoculation, more pronounced proteinase K-resistant α-synuclein inclusion pathology
is observed in mice with TLR4 deficiency. The facilitated propagation of α-synuclein
is associated with early loss of dopamine transporter (DAT) signal in the striatum
and loss of dopaminergic neurons in substantia nigra pars compacta of TLR4 deficient
mice. These new results support TLR4 signaling as a putative target for disease
modification to slow the progression of PD and related disorders.
acknowledgement: This study was supported by grants of the Austrian Science Fund (FWF)
F4414 and W1206-08. Electron microscopy was performed at the Scientific Service
Units (SSU) of IST-Austria through resources provided by the Electron Microscopy
Facility.
article_processing_charge: No
article_type: original
author:
- first_name: Serena
full_name: Venezia, Serena
last_name: Venezia
- first_name: Walter
full_name: Kaufmann, Walter
id: 3F99E422-F248-11E8-B48F-1D18A9856A87
last_name: Kaufmann
orcid: 0000-0001-9735-5315
- first_name: Gregor K.
full_name: Wenning, Gregor K.
last_name: Wenning
- first_name: Nadia
full_name: Stefanova, Nadia
last_name: Stefanova
citation:
ama: Venezia S, Kaufmann W, Wenning GK, Stefanova N. Toll-like receptor 4 deficiency
facilitates α-synuclein propagation and neurodegeneration in a mouse model of
prodromal Parkinson’s disease. Parkinsonism & Related Disorders. 2021;91:59-65.
doi:10.1016/j.parkreldis.2021.09.007
apa: Venezia, S., Kaufmann, W., Wenning, G. K., & Stefanova, N. (2021). Toll-like
receptor 4 deficiency facilitates α-synuclein propagation and neurodegeneration
in a mouse model of prodromal Parkinson’s disease. Parkinsonism & Related
Disorders. Elsevier. https://doi.org/10.1016/j.parkreldis.2021.09.007
chicago: Venezia, Serena, Walter Kaufmann, Gregor K. Wenning, and Nadia Stefanova.
“Toll-like Receptor 4 Deficiency Facilitates α-Synuclein Propagation and Neurodegeneration
in a Mouse Model of Prodromal Parkinson’s Disease.” Parkinsonism & Related
Disorders. Elsevier, 2021. https://doi.org/10.1016/j.parkreldis.2021.09.007.
ieee: S. Venezia, W. Kaufmann, G. K. Wenning, and N. Stefanova, “Toll-like receptor
4 deficiency facilitates α-synuclein propagation and neurodegeneration in a mouse
model of prodromal Parkinson’s disease,” Parkinsonism & Related Disorders,
vol. 91. Elsevier, pp. 59–65, 2021.
ista: Venezia S, Kaufmann W, Wenning GK, Stefanova N. 2021. Toll-like receptor 4
deficiency facilitates α-synuclein propagation and neurodegeneration in a mouse
model of prodromal Parkinson’s disease. Parkinsonism & Related Disorders.
91, 59–65.
mla: Venezia, Serena, et al. “Toll-like Receptor 4 Deficiency Facilitates α-Synuclein
Propagation and Neurodegeneration in a Mouse Model of Prodromal Parkinson’s Disease.”
Parkinsonism & Related Disorders, vol. 91, Elsevier, 2021, pp. 59–65,
doi:10.1016/j.parkreldis.2021.09.007.
short: S. Venezia, W. Kaufmann, G.K. Wenning, N. Stefanova, Parkinsonism & Related
Disorders 91 (2021) 59–65.
date_created: 2022-01-09T23:01:26Z
date_published: 2021-10-01T00:00:00Z
date_updated: 2023-08-17T06:36:01Z
day: '01'
ddc:
- '610'
department:
- _id: EM-Fac
doi: 10.1016/j.parkreldis.2021.09.007
external_id:
isi:
- '000701142900012'
pmid:
- '34530328'
file:
- access_level: open_access
checksum: 360681585acb51e80d17c6b213c56b55
content_type: application/pdf
creator: alisjak
date_created: 2022-01-10T13:41:40Z
date_updated: 2022-01-10T13:41:40Z
file_id: '10612'
file_name: 2021_Parkinsonism_Venezia.pdf
file_size: 6848513
relation: main_file
success: 1
file_date_updated: 2022-01-10T13:41:40Z
has_accepted_license: '1'
intvolume: ' 91'
isi: 1
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 59-65
pmid: 1
publication: Parkinsonism & Related Disorders
publication_identifier:
eissn:
- 1873-5126
issn:
- 1353-8020
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Toll-like receptor 4 deficiency facilitates α-synuclein propagation and neurodegeneration
in a mouse model of prodromal Parkinson's disease
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: 91
year: '2021'
...
---
_id: '10608'
abstract:
- lang: eng
text: We consider infinite-dimensional properties in coarse geometry for hyperspaces
consisting of finite subsets of metric spaces with the Hausdorff metric. We see
that several infinite-dimensional properties are preserved by taking the hyperspace
of subsets with at most n points. On the other hand, we prove that, if a metric
space contains a sequence of long intervals coarsely, then its hyperspace of finite
subsets is not coarsely embeddable into any uniformly convex Banach space. As
a corollary, the hyperspace of finite subsets of the real line is not coarsely
embeddable into any uniformly convex Banach space. It is also shown that every
(not necessarily bounded geometry) metric space with straight finite decomposition
complexity has metric sparsification property.
acknowledgement: We would like to thank the referees for their careful reading and
the comments that improved our work. The third named author would like to thank
the Division of Mathematics, Physics and Earth Sciences of the Graduate School of
Science and Engineering of Ehime University and the second named author for hosting
his visit in June 2018. Open access funding provided by Institute of Science and
Technology (IST Austria).
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Thomas
full_name: Weighill, Thomas
last_name: Weighill
- first_name: Takamitsu
full_name: Yamauchi, Takamitsu
last_name: Yamauchi
- first_name: Nicolò
full_name: Zava, Nicolò
id: c8b3499c-7a77-11eb-b046-aa368cbbf2ad
last_name: Zava
citation:
ama: Weighill T, Yamauchi T, Zava N. Coarse infinite-dimensionality of hyperspaces
of finite subsets. European Journal of Mathematics. 2021. doi:10.1007/s40879-021-00515-3
apa: Weighill, T., Yamauchi, T., & Zava, N. (2021). Coarse infinite-dimensionality
of hyperspaces of finite subsets. European Journal of Mathematics. Springer
Nature. https://doi.org/10.1007/s40879-021-00515-3
chicago: Weighill, Thomas, Takamitsu Yamauchi, and Nicolò Zava. “Coarse Infinite-Dimensionality
of Hyperspaces of Finite Subsets.” European Journal of Mathematics. Springer
Nature, 2021. https://doi.org/10.1007/s40879-021-00515-3.
ieee: T. Weighill, T. Yamauchi, and N. Zava, “Coarse infinite-dimensionality of
hyperspaces of finite subsets,” European Journal of Mathematics. Springer
Nature, 2021.
ista: Weighill T, Yamauchi T, Zava N. 2021. Coarse infinite-dimensionality of hyperspaces
of finite subsets. European Journal of Mathematics.
mla: Weighill, Thomas, et al. “Coarse Infinite-Dimensionality of Hyperspaces of
Finite Subsets.” European Journal of Mathematics, Springer Nature, 2021,
doi:10.1007/s40879-021-00515-3.
short: T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
date_created: 2022-01-09T23:01:27Z
date_published: 2021-12-30T00:00:00Z
date_updated: 2022-01-10T08:36:55Z
day: '30'
ddc:
- '500'
department:
- _id: HeEd
doi: 10.1007/s40879-021-00515-3
file:
- access_level: open_access
checksum: c435dcfa1ad3aadc5cdd7366bc7f4e98
content_type: application/pdf
creator: cchlebak
date_created: 2022-01-10T08:33:22Z
date_updated: 2022-01-10T08:33:22Z
file_id: '10610'
file_name: 2021_EuJournalMath_Weighill.pdf
file_size: 384908
relation: main_file
success: 1
file_date_updated: 2022-01-10T08:33:22Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
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: Coarse infinite-dimensionality of hyperspaces of finite subsets
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '10609'
abstract:
- lang: eng
text: "We study Multi-party computation (MPC) in the setting of subversion, where
the adversary tampers with the machines of honest parties. Our goal is to construct
actively secure MPC protocols where parties are corrupted adaptively by an adversary
(as in the standard adaptive security setting), and in addition, honest parties’
machines are compromised.\r\nThe idea of reverse firewalls (RF) was introduced
at EUROCRYPT’15 by Mironov and Stephens-Davidowitz as an approach to protecting
protocols against corruption of honest parties’ devices. Intuitively, an RF for
a party P is an external entity that sits between P and the outside world
and whose scope is to sanitize P ’s incoming and outgoing messages in the face
of subversion of their computer. Mironov and Stephens-Davidowitz constructed a
protocol for passively-secure two-party computation. At CRYPTO’20, Chakraborty,
Dziembowski and Nielsen constructed a protocol for secure computation with firewalls
that improved on this result, both by extending it to multi-party computation
protocol, and considering active security in the presence of static corruptions.
In this paper, we initiate the study of RF for MPC in the adaptive setting. We
put forward a definition for adaptively secure MPC in the reverse firewall setting,
explore relationships among the security notions, and then construct reverse firewalls
for MPC in this stronger setting of adaptive security. We also resolve the open
question of Chakraborty, Dziembowski and Nielsen by removing the need for a trusted
setup in constructing RF for MPC. Towards this end, we construct reverse firewalls
for adaptively secure augmented coin tossing and adaptively secure zero-knowledge
protocols and obtain a constant round adaptively secure MPC protocol in the reverse
firewall setting without setup. Along the way, we propose a new multi-party adaptively
secure coin tossing protocol in the plain model, that is of independent interest."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Suvradip
full_name: Chakraborty, Suvradip
id: B9CD0494-D033-11E9-B219-A439E6697425
last_name: Chakraborty
- first_name: Chaya
full_name: Ganesh, Chaya
last_name: Ganesh
- first_name: Mahak
full_name: Pancholi, Mahak
last_name: Pancholi
- first_name: Pratik
full_name: Sarkar, Pratik
last_name: Sarkar
citation:
ama: 'Chakraborty S, Ganesh C, Pancholi M, Sarkar P. Reverse firewalls for adaptively
secure MPC without setup. In: 27th International Conference on the Theory and
Application of Cryptology and Information Security. Vol 13091. Springer Nature;
2021:335-364. doi:10.1007/978-3-030-92075-3_12'
apa: 'Chakraborty, S., Ganesh, C., Pancholi, M., & Sarkar, P. (2021). Reverse
firewalls for adaptively secure MPC without setup. In 27th International Conference
on the Theory and Application of Cryptology and Information Security (Vol.
13091, pp. 335–364). Virtual, Singapore: Springer Nature. https://doi.org/10.1007/978-3-030-92075-3_12'
chicago: Chakraborty, Suvradip, Chaya Ganesh, Mahak Pancholi, and Pratik Sarkar.
“Reverse Firewalls for Adaptively Secure MPC without Setup.” In 27th International
Conference on the Theory and Application of Cryptology and Information Security,
13091:335–64. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-92075-3_12.
ieee: S. Chakraborty, C. Ganesh, M. Pancholi, and P. Sarkar, “Reverse firewalls
for adaptively secure MPC without setup,” in 27th International Conference
on the Theory and Application of Cryptology and Information Security, Virtual,
Singapore, 2021, vol. 13091, pp. 335–364.
ista: 'Chakraborty S, Ganesh C, Pancholi M, Sarkar P. 2021. Reverse firewalls for
adaptively secure MPC without setup. 27th International Conference on the Theory
and Application of Cryptology and Information Security. ASIACRYPT: International
Conference on Cryptology in Asia, LNCS, vol. 13091, 335–364.'
mla: Chakraborty, Suvradip, et al. “Reverse Firewalls for Adaptively Secure MPC
without Setup.” 27th International Conference on the Theory and Application
of Cryptology and Information Security, vol. 13091, Springer Nature, 2021,
pp. 335–64, doi:10.1007/978-3-030-92075-3_12.
short: S. Chakraborty, C. Ganesh, M. Pancholi, P. Sarkar, in:, 27th International
Conference on the Theory and Application of Cryptology and Information Security,
Springer Nature, 2021, pp. 335–364.
conference:
end_date: 2021-12-10
location: Virtual, Singapore
name: 'ASIACRYPT: International Conference on Cryptology in Asia'
start_date: 2021-12-06
date_created: 2022-01-09T23:01:27Z
date_published: 2021-12-01T00:00:00Z
date_updated: 2023-08-17T06:34:41Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-030-92075-3_12
ec_funded: 1
external_id:
isi:
- '000927876200012'
intvolume: ' 13091'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2021/1262
month: '12'
oa: 1
oa_version: Preprint
page: 335-364
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: 27th International Conference on the Theory and Application of Cryptology
and Information Security
publication_identifier:
eisbn:
- 978-3-030-92075-3
eissn:
- 1611-3349
isbn:
- 978-3-030-92074-6
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Reverse firewalls for adaptively secure MPC without setup
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 13091
year: '2021'
...
---
_id: '10613'
abstract:
- lang: eng
text: Motivated by the recent preprint [\emph{arXiv:2004.08412}] by Ayala, Carinci,
and Redig, we first provide a general framework for the study of scaling limits
of higher-order fields. Then, by considering the same class of infinite interacting
particle systems as in [\emph{arXiv:2004.08412}], namely symmetric simple exclusion
and inclusion processes in the d-dimensional Euclidean lattice, we prove the hydrodynamic
limit, and convergence for the equilibrium fluctuations, of higher-order fields.
In particular, the limit fields exhibit a tensor structure. Our fluctuation result
differs from that in [\emph{arXiv:2004.08412}], since we considered-dimensional
Euclidean lattice, we prove the hydrodynamic limit, and convergence for the equilibrium
fluctuations, of higher-order fields. In particular, the limit fields exhibit
a tensor structure. Our fluctuation result differs from that in [\emph{arXiv:2004.08412}],
since we consider a different notion of higher-order fluctuation fields.
acknowledgement: "F.S. would like to thank Mario Ayala and Frank Redig for useful
discussions. J.P.C. acknowledges partial financial support from the US National
Science Foundation (DMS-1855604). F.S. was financially supported by the European
Union’s Horizon 2020 research and innovation programme under the Marie-Skłodowska-Curie
grant agreement No. 754411.\r\n"
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Joe P.
full_name: Chen, Joe P.
last_name: Chen
- first_name: Federico
full_name: Sau, Federico
id: E1836206-9F16-11E9-8814-AEFDE5697425
last_name: Sau
citation:
ama: Chen JP, Sau F. Higher-order hydrodynamics and equilibrium fluctuations of
interacting particle systems. Markov Processes And Related Fields. 2021;27(3):339-380.
apa: Chen, J. P., & Sau, F. (2021). Higher-order hydrodynamics and equilibrium
fluctuations of interacting particle systems. Markov Processes And Related
Fields. Polymat Publishing.
chicago: Chen, Joe P., and Federico Sau. “Higher-Order Hydrodynamics and Equilibrium
Fluctuations of Interacting Particle Systems.” Markov Processes And Related
Fields. Polymat Publishing, 2021.
ieee: J. P. Chen and F. Sau, “Higher-order hydrodynamics and equilibrium fluctuations
of interacting particle systems,” Markov Processes And Related Fields,
vol. 27, no. 3. Polymat Publishing, pp. 339–380, 2021.
ista: Chen JP, Sau F. 2021. Higher-order hydrodynamics and equilibrium fluctuations
of interacting particle systems. Markov Processes And Related Fields. 27(3), 339–380.
mla: Chen, Joe P., and Federico Sau. “Higher-Order Hydrodynamics and Equilibrium
Fluctuations of Interacting Particle Systems.” Markov Processes And Related
Fields, vol. 27, no. 3, Polymat Publishing, 2021, pp. 339–80.
short: J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
date_created: 2022-01-10T14:02:31Z
date_published: 2021-03-16T00:00:00Z
date_updated: 2022-01-10T15:29:08Z
day: '16'
department:
- _id: JaMa
ec_funded: 1
external_id:
arxiv:
- '2008.13403'
intvolume: ' 27'
issue: '3'
keyword:
- interacting particle systems
- higher-order fields
- hydrodynamic limit
- equilibrium fluctuations
- duality
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2008.13403
month: '03'
oa: 1
oa_version: Preprint
page: 339-380
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Markov Processes And Related Fields
publication_identifier:
issn:
- 1024-2953
publication_status: published
publisher: Polymat Publishing
quality_controlled: '1'
related_material:
link:
- description: Link to Abstract on publisher's website
relation: other
url: http://math-mprf.org/journal/articles/id1614/
- description: Referred to in Abstract
relation: used_for_analysis_in
url: https://arxiv.org/abs/2004.08412
status: public
title: Higher-order hydrodynamics and equilibrium fluctuations of interacting particle
systems
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 27
year: '2021'
...
---
_id: '10628'
abstract:
- lang: eng
text: The surface states of 3D topological insulators in general have negligible
quantum oscillations (QOs) when the chemical potential is tuned to the Dirac points.
In contrast, we find that topological Kondo insulators (TKIs) can support surface
states with an arbitrarily large Fermi surface (FS) when the chemical potential
is pinned to the Dirac point. We illustrate that these FSs give rise to finite-frequency
QOs, which can become comparable to the extremal area of the unhybridized bulk
bands. We show that this occurs when the crystal symmetry is lowered from cubic
to tetragonal in a minimal two-orbital model. We label such surface modes as 'shadow
surface states'. Moreover, we show that the sufficient next-nearest neighbor out-of-plane
hybridization leading to shadow surface states can be self-consistently stabilized
for tetragonal TKIs. Consequently, shadow surface states provide an important
example of high-frequency QOs beyond the context of cubic TKIs.
acknowledgement: PG acknowledges support from National Science Foundation Awards No.
DMR-1824265 for this work. AG acknowledges support from the European Union's Horizon
2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement
No. 754411. EMN is supported by ASU startup grant. OE is in part supported by NSF-DMR-1904716.
article_number: '123042'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Areg
full_name: Ghazaryan, Areg
id: 4AF46FD6-F248-11E8-B48F-1D18A9856A87
last_name: Ghazaryan
orcid: 0000-0001-9666-3543
- first_name: Emilian M.
full_name: Nica, Emilian M.
last_name: Nica
- first_name: Onur
full_name: Erten, Onur
last_name: Erten
- first_name: Pouyan
full_name: Ghaemi, Pouyan
last_name: Ghaemi
citation:
ama: Ghazaryan A, Nica EM, Erten O, Ghaemi P. Shadow surface states in topological
Kondo insulators. New Journal of Physics. 2021;23(12). doi:10.1088/1367-2630/ac4124
apa: Ghazaryan, A., Nica, E. M., Erten, O., & Ghaemi, P. (2021). Shadow surface
states in topological Kondo insulators. New Journal of Physics. IOP Publishing.
https://doi.org/10.1088/1367-2630/ac4124
chicago: Ghazaryan, Areg, Emilian M. Nica, Onur Erten, and Pouyan Ghaemi. “Shadow
Surface States in Topological Kondo Insulators.” New Journal of Physics.
IOP Publishing, 2021. https://doi.org/10.1088/1367-2630/ac4124.
ieee: A. Ghazaryan, E. M. Nica, O. Erten, and P. Ghaemi, “Shadow surface states
in topological Kondo insulators,” New Journal of Physics, vol. 23, no.
12. IOP Publishing, 2021.
ista: Ghazaryan A, Nica EM, Erten O, Ghaemi P. 2021. Shadow surface states in topological
Kondo insulators. New Journal of Physics. 23(12), 123042.
mla: Ghazaryan, Areg, et al. “Shadow Surface States in Topological Kondo Insulators.”
New Journal of Physics, vol. 23, no. 12, 123042, IOP Publishing, 2021,
doi:10.1088/1367-2630/ac4124.
short: A. Ghazaryan, E.M. Nica, O. Erten, P. Ghaemi, New Journal of Physics 23 (2021).
date_created: 2022-01-16T23:01:28Z
date_published: 2021-12-23T00:00:00Z
date_updated: 2023-08-17T06:54:54Z
day: '23'
ddc:
- '530'
department:
- _id: MiLe
doi: 10.1088/1367-2630/ac4124
ec_funded: 1
external_id:
arxiv:
- '2012.11625'
isi:
- '000734063700001'
file:
- access_level: open_access
checksum: 0c3cb6816242fa8afd1cc87a5fe77821
content_type: application/pdf
creator: cchlebak
date_created: 2022-01-17T10:01:58Z
date_updated: 2022-01-17T10:01:58Z
file_id: '10632'
file_name: 2021_NewJourPhys_Ghazaryan.pdf
file_size: 2533102
relation: main_file
success: 1
file_date_updated: 2022-01-17T10:01:58Z
has_accepted_license: '1'
intvolume: ' 23'
isi: 1
issue: '12'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: New Journal of Physics
publication_identifier:
issn:
- 1367-2630
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Shadow surface states in topological Kondo insulators
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: 23
year: '2021'
...
---
_id: '10629'
abstract:
- lang: eng
text: "Product graphs arise naturally in formal verification and program analysis.
For example, the analysis of two concurrent threads requires the product of two
component control-flow graphs, and for language inclusion of deterministic automata
the product of two automata is constructed. In many cases, the component graphs
have constant treewidth, e.g., when the input contains control-flow graphs of
programs. We consider the algorithmic analysis of products of two constant-treewidth
graphs with respect to three classic specification languages, namely, (a) algebraic
properties, (b) mean-payoff properties, and (c) initial credit for energy properties.\r\nOur
main contributions are as follows. Consider a graph G that is the product of two
constant-treewidth graphs of size n each. First, given an idempotent semiring,
we present an algorithm that computes the semiring transitive closure of G in
time Õ(n⁴). Since the output has size Θ(n⁴), our algorithm is optimal (up to
polylog factors). Second, given a mean-payoff objective, we present an O(n³)-time
algorithm for deciding whether the value of a starting state is non-negative,
improving the previously known O(n⁴) bound. Third, given an initial credit for
energy objective, we present an O(n⁵)-time algorithm for computing the minimum
initial credit for all nodes of G, improving the previously known O(n⁸) bound.
At the heart of our approach lies an algorithm for the efficient construction
of strongly-balanced tree decompositions of constant-treewidth graphs. Given a
constant-treewidth graph G' of n nodes and a positive integer λ, our algorithm
constructs a binary tree decomposition of G' of width O(λ) with the property that
the size of each subtree decreases geometrically with rate (1/2 + 2^{-λ})."
alternative_title:
- LIPIcs
article_number: '42'
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Rasmus
full_name: Ibsen-Jensen, Rasmus
id: 3B699956-F248-11E8-B48F-1D18A9856A87
last_name: Ibsen-Jensen
orcid: 0000-0003-4783-0389
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: 'Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Quantitative verification on
product graphs of small treewidth. In: 41st IARCS Annual Conference on Foundations
of Software Technology and Theoretical Computer Science. Vol 213. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.FSTTCS.2021.42'
apa: 'Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Quantitative
verification on product graphs of small treewidth. In 41st IARCS Annual Conference
on Foundations of Software Technology and Theoretical Computer Science (Vol.
213). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42'
chicago: Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis.
“Quantitative Verification on Product Graphs of Small Treewidth.” In 41st IARCS
Annual Conference on Foundations of Software Technology and Theoretical Computer
Science, Vol. 213. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42.
ieee: K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Quantitative verification
on product graphs of small treewidth,” in 41st IARCS Annual Conference on Foundations
of Software Technology and Theoretical Computer Science, Virtual, 2021, vol.
213.
ista: 'Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2021. Quantitative verification
on product graphs of small treewidth. 41st IARCS Annual Conference on Foundations
of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of
Software Technology and Theoretical Computer Science, LIPIcs, vol. 213, 42.'
mla: Chatterjee, Krishnendu, et al. “Quantitative Verification on Product Graphs
of Small Treewidth.” 41st IARCS Annual Conference on Foundations of Software
Technology and Theoretical Computer Science, vol. 213, 42, Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.FSTTCS.2021.42.
short: K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference
on Foundations of Software Technology and Theoretical Computer Science, Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
conference:
end_date: 2021-12-17
location: Virtual
name: 'FSTTCS: Foundations of Software Technology and Theoretical Computer Science'
start_date: 2021-12-15
date_created: 2022-01-16T23:01:28Z
date_published: 2021-11-29T00:00:00Z
date_updated: 2022-01-17T10:39:40Z
day: '29'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.FSTTCS.2021.42
file:
- access_level: open_access
checksum: 71141acdeffa9056f24d6dbef952d254
content_type: application/pdf
creator: cchlebak
date_created: 2022-01-17T10:36:08Z
date_updated: 2022-01-17T10:36:08Z
file_id: '10633'
file_name: 2021_LIPIcs_Chatterjee.pdf
file_size: 891566
relation: main_file
success: 1
file_date_updated: 2022-01-17T10:36:08Z
has_accepted_license: '1'
intvolume: ' 213'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
publication: 41st IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science
publication_identifier:
isbn:
- 978-3-9597-7215-0
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative verification on product graphs of small treewidth
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 213
year: '2021'
...
---
_id: '10630'
abstract:
- lang: eng
text: In the Intersection Non-emptiness problem, we are given a list of finite automata
A_1, A_2,… , A_m over a common alphabet Σ as input, and the goal is to determine
whether some string w ∈ Σ^* lies in the intersection of the languages accepted
by the automata in the list. We analyze the complexity of the Intersection Non-emptiness
problem under the promise that all input automata accept a language in some level
of the dot-depth hierarchy, or some level of the Straubing-Thérien hierarchy.
Automata accepting languages from the lowest levels of these hierarchies arise
naturally in the context of model checking. We identify a dichotomy in the dot-depth
hierarchy by showing that the problem is already NP-complete when all input automata
accept languages of the levels B_0 or B_{1/2} and already PSPACE-hard when all
automata accept a language from the level B_1. Conversely, we identify a tetrachotomy
in the Straubing-Thérien hierarchy. More precisely, we show that the problem is
in AC^0 when restricted to level L_0; complete for L or NL, depending on the input
representation, when restricted to languages in the level L_{1/2}; NP-complete
when the input is given as DFAs accepting a language in L_1 or L_{3/2}; and finally,
PSPACE-complete when the input automata accept languages in level L_2 or higher.
Moreover, we show that the proof technique used to show containment in NP for
DFAs accepting languages in L_1 or L_{3/2} does not generalize to the context
of NFAs. To prove this, we identify a family of languages that provide an exponential
separation between the state complexity of general NFAs and that of partially
ordered NFAs. To the best of our knowledge, this is the first superpolynomial
separation between these two models of computation.
acknowledgement: "We like to thank Lukas Fleischer and Michael Wehar for our discussions.
This work started at the Schloss Dagstuhl Event 20483 Moderne Aspekte der Komplexitätstheorie
in der Automatentheorie https://www.dagstuhl.de/20483.\r\n"
alternative_title:
- LIPIcs
article_number: '34'
article_processing_charge: No
arxiv: 1
author:
- first_name: Emmanuel
full_name: Arrighi, Emmanuel
last_name: Arrighi
- first_name: Henning
full_name: Fernau, Henning
last_name: Fernau
- first_name: Stefan
full_name: Hoffmann, Stefan
last_name: Hoffmann
- first_name: Markus
full_name: Holzer, Markus
last_name: Holzer
- first_name: Ismael R
full_name: Jecker, Ismael R
id: 85D7C63E-7D5D-11E9-9C0F-98C4E5697425
last_name: Jecker
- first_name: Mateus
full_name: De Oliveira Oliveira, Mateus
last_name: De Oliveira Oliveira
- first_name: Petra
full_name: Wolf, Petra
last_name: Wolf
citation:
ama: 'Arrighi E, Fernau H, Hoffmann S, et al. On the complexity of intersection
non-emptiness for star-free language classes. In: 41st IARCS Annual Conference
on Foundations of Software Technology and Theoretical Computer Science. Vol
213. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.FSTTCS.2021.34'
apa: 'Arrighi, E., Fernau, H., Hoffmann, S., Holzer, M., Jecker, I. R., De Oliveira
Oliveira, M., & Wolf, P. (2021). On the complexity of intersection non-emptiness
for star-free language classes. In 41st IARCS Annual Conference on Foundations
of Software Technology and Theoretical Computer Science (Vol. 213). Virtual:
Schloss Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34'
chicago: Arrighi, Emmanuel, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismael
R Jecker, Mateus De Oliveira Oliveira, and Petra Wolf. “On the Complexity of Intersection
Non-Emptiness for Star-Free Language Classes.” In 41st IARCS Annual Conference
on Foundations of Software Technology and Theoretical Computer Science, Vol.
213. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34.
ieee: E. Arrighi et al., “On the complexity of intersection non-emptiness
for star-free language classes,” in 41st IARCS Annual Conference on Foundations
of Software Technology and Theoretical Computer Science, Virtual, 2021, vol.
213.
ista: 'Arrighi E, Fernau H, Hoffmann S, Holzer M, Jecker IR, De Oliveira Oliveira
M, Wolf P. 2021. On the complexity of intersection non-emptiness for star-free
language classes. 41st IARCS Annual Conference on Foundations of Software Technology
and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and
Theoretical Computer Science, LIPIcs, vol. 213, 34.'
mla: Arrighi, Emmanuel, et al. “On the Complexity of Intersection Non-Emptiness
for Star-Free Language Classes.” 41st IARCS Annual Conference on Foundations
of Software Technology and Theoretical Computer Science, vol. 213, 34, Schloss
Dagstuhl - Leibniz Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.FSTTCS.2021.34.
short: E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira
Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software
Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum
für Informatik, 2021.
conference:
end_date: 2021-12-17
location: Virtual
name: 'FSTTCS: Foundations of Software Technology and Theoretical Computer Science'
start_date: 2021-12-15
date_created: 2022-01-16T23:01:29Z
date_published: 2021-11-29T00:00:00Z
date_updated: 2022-01-17T10:56:19Z
day: '29'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.FSTTCS.2021.34
ec_funded: 1
external_id:
arxiv:
- '2110.01279'
file:
- access_level: open_access
checksum: d5a82ba893c3bc5da5914edbb3efb92b
content_type: application/pdf
creator: cchlebak
date_created: 2022-01-17T10:49:03Z
date_updated: 2022-01-17T10:49:03Z
file_id: '10634'
file_name: 2021_LIPIcs_Arrighi.pdf
file_size: 844224
relation: main_file
success: 1
file_date_updated: 2022-01-17T10:49:03Z
has_accepted_license: '1'
intvolume: ' 213'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: 41st IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science
publication_identifier:
isbn:
- 978-3-9597-7215-0
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the complexity of intersection non-emptiness for star-free language classes
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 213
year: '2021'
...
---
_id: '10631'
abstract:
- lang: eng
text: We combine experimental and theoretical approaches to explore excited rotational
states of molecules embedded in helium nanodroplets using CS2 and I2 as examples.
Laser-induced nonadiabatic molecular alignment is employed to measure spectral
lines for rotational states extending beyond those initially populated at the
0.37 K droplet temperature. We construct a simple quantum-mechanical model, based
on a linear rotor coupled to a single-mode bosonic bath, to determine the rotational
energy structure in its entirety. The calculated and measured spectral lines are
in good agreement. We show that the effect of the surrounding superfluid on molecular
rotation can be rationalized by a single quantity, the angular momentum, transferred
from the molecule to the droplet.
acknowledgement: I.C. acknowledges the support by the European Union’s Horizon 2020
research and innovation programme under the Marie Sklodowska-Curie Grant Agreement
No. 665385. G.B. acknowledges support from the Austrian Science Fund (FWF), under
project No. M2461-N27. M.L. acknowledges support by the Austrian Science Fund (FWF),
under project No. P29902-N27, and by the European Research Council (ERC) Starting
Grant No. 801770 (ANGULON). H.S acknowledges support from the European Research
Council-AdG (Project No. 320459, DropletControl) and from The Villum Foundation
through a Villum Investigator grant no. 25886.
article_number: L061303
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Igor
full_name: Cherepanov, Igor
id: 339C7E5A-F248-11E8-B48F-1D18A9856A87
last_name: Cherepanov
- first_name: Giacomo
full_name: Bighin, Giacomo
id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
last_name: Bighin
orcid: 0000-0001-8823-9777
- first_name: Constant A.
full_name: Schouder, Constant A.
last_name: Schouder
- first_name: Adam S.
full_name: Chatterley, Adam S.
last_name: Chatterley
- first_name: Simon H.
full_name: Albrechtsen, Simon H.
last_name: Albrechtsen
- first_name: Alberto Viñas
full_name: Muñoz, Alberto Viñas
last_name: Muñoz
- first_name: Lars
full_name: Christiansen, Lars
last_name: Christiansen
- first_name: Henrik
full_name: Stapelfeldt, Henrik
last_name: Stapelfeldt
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
citation:
ama: Cherepanov I, Bighin G, Schouder CA, et al. Excited rotational states of molecules
in a superfluid. Physical Review A. 2021;104(6). doi:10.1103/PhysRevA.104.L061303
apa: Cherepanov, I., Bighin, G., Schouder, C. A., Chatterley, A. S., Albrechtsen,
S. H., Muñoz, A. V., … Lemeshko, M. (2021). Excited rotational states of molecules
in a superfluid. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.104.L061303
chicago: Cherepanov, Igor, Giacomo Bighin, Constant A. Schouder, Adam S. Chatterley,
Simon H. Albrechtsen, Alberto Viñas Muñoz, Lars Christiansen, Henrik Stapelfeldt,
and Mikhail Lemeshko. “Excited Rotational States of Molecules in a Superfluid.”
Physical Review A. American Physical Society, 2021. https://doi.org/10.1103/PhysRevA.104.L061303.
ieee: I. Cherepanov et al., “Excited rotational states of molecules in a
superfluid,” Physical Review A, vol. 104, no. 6. American Physical Society,
2021.
ista: Cherepanov I, Bighin G, Schouder CA, Chatterley AS, Albrechtsen SH, Muñoz
AV, Christiansen L, Stapelfeldt H, Lemeshko M. 2021. Excited rotational states
of molecules in a superfluid. Physical Review A. 104(6), L061303.
mla: Cherepanov, Igor, et al. “Excited Rotational States of Molecules in a Superfluid.”
Physical Review A, vol. 104, no. 6, L061303, American Physical Society,
2021, doi:10.1103/PhysRevA.104.L061303.
short: I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, S.H. Albrechtsen,
A.V. Muñoz, L. Christiansen, H. Stapelfeldt, M. Lemeshko, Physical Review A 104
(2021).
date_created: 2022-01-16T23:01:29Z
date_published: 2021-12-30T00:00:00Z
date_updated: 2024-08-07T07:16:52Z
day: '30'
department:
- _id: MiLe
doi: 10.1103/PhysRevA.104.L061303
ec_funded: 1
external_id:
arxiv:
- '2107.00468'
isi:
- '000739618300001'
intvolume: ' 104'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://128.84.4.18/abs/2107.00468
month: '12'
oa: 1
oa_version: Preprint
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29902
name: Quantum rotations in the presence of a many-body environment
- _id: 2688CF98-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '801770'
name: 'Angulon: physics and applications of a new quasiparticle'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: 26986C82-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02641
name: A path-integral approach to composite impurities
publication: Physical Review A
publication_identifier:
eissn:
- 2469-9934
issn:
- 2469-9926
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Excited rotational states of molecules in a superfluid
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 104
year: '2021'
...
---
_id: '10635'
abstract:
- lang: eng
text: The brain efficiently performs nonlinear computations through its intricate
networks of spiking neurons, but how this is done remains elusive. While nonlinear
computations can be implemented successfully in spiking neural networks, this
requires supervised training and the resulting connectivity can be hard to interpret.
In contrast, the required connectivity for any computation in the form of a linear
dynamical system can be directly derived and understood with the spike coding
network (SCN) framework. These networks also have biologically realistic activity
patterns and are highly robust to cell death. Here we extend the SCN framework
to directly implement any polynomial dynamical system, without the need for training.
This results in networks requiring a mix of synapse types (fast, slow, and multiplicative),
which we term multiplicative spike coding networks (mSCNs). Using mSCNs, we demonstrate
how to directly derive the required connectivity for several nonlinear dynamical
systems. We also show how to carry out higher-order polynomials with coupled networks
that use only pair-wise multiplicative synapses, and provide expected numbers
of connections for each synapse type. Overall, our work demonstrates a novel method
for implementing nonlinear computations in spiking neural networks, while keeping
the attractive features of standard SCNs (robustness, realistic activity patterns,
and interpretable connectivity). Finally, we discuss the biological plausibility
of our approach, and how the high accuracy and robustness of the approach may
be of interest for neuromorphic computing.
acknowledgement: "A preprint version of this article has been peer-reviewed and recommended
by Peer Community In Neuroscience (DOI link to the recommendation: https://doi.org/10.24072/pci.cneuro.100003).\r\nWe
thank Christian Machens and Nuno Calaim for useful discussions on the project. This
report\r\ncame out of a collaboration started at the CAJAL Advanced Neuroscience
Training Programme in\r\nComputational Neuroscience in Lisbon, Portugal, during
the 2019 summer. The authors would\r\nlike to thank the participants, TAs, lecturers,
and organizers of the summer school. SWK was\r\nsupported by the Simons Collaboration
on the Global Brain (543009). WFP was supported by\r\nFCT (032077). MN was supported
by European Union Horizon 2020 (665385).\r\n"
article_number: e68
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Michele
full_name: Nardin, Michele
id: 30BD0376-F248-11E8-B48F-1D18A9856A87
last_name: Nardin
orcid: 0000-0001-8849-6570
- first_name: James W.
full_name: Phillips, James W.
last_name: Phillips
- first_name: William F.
full_name: Podlaski, William F.
last_name: Podlaski
- first_name: Sander W.
full_name: Keemink, Sander W.
last_name: Keemink
citation:
ama: Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking
neural networks through multiplicative synapses. Peer Community Journal.
2021;1. doi:10.24072/pcjournal.69
apa: Nardin, M., Phillips, J. W., Podlaski, W. F., & Keemink, S. W. (2021).
Nonlinear computations in spiking neural networks through multiplicative synapses.
Peer Community Journal. Centre Mersenne ; Peer Community In. https://doi.org/10.24072/pcjournal.69
chicago: Nardin, Michele, James W. Phillips, William F. Podlaski, and Sander W.
Keemink. “Nonlinear Computations in Spiking Neural Networks through Multiplicative
Synapses.” Peer Community Journal. Centre Mersenne ; Peer Community In,
2021. https://doi.org/10.24072/pcjournal.69.
ieee: M. Nardin, J. W. Phillips, W. F. Podlaski, and S. W. Keemink, “Nonlinear computations
in spiking neural networks through multiplicative synapses,” Peer Community
Journal, vol. 1. Centre Mersenne ; Peer Community In, 2021.
ista: Nardin M, Phillips JW, Podlaski WF, Keemink SW. 2021. Nonlinear computations
in spiking neural networks through multiplicative synapses. Peer Community Journal.
1, e68.
mla: Nardin, Michele, et al. “Nonlinear Computations in Spiking Neural Networks
through Multiplicative Synapses.” Peer Community Journal, vol. 1, e68,
Centre Mersenne ; Peer Community In, 2021, doi:10.24072/pcjournal.69.
short: M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal
1 (2021).
date_created: 2022-01-17T11:12:40Z
date_published: 2021-12-15T00:00:00Z
date_updated: 2022-01-17T13:30:01Z
day: '15'
ddc:
- '519'
department:
- _id: GradSch
- _id: JoCs
doi: 10.24072/pcjournal.69
ec_funded: 1
external_id:
arxiv:
- '2009.03857'
file:
- access_level: open_access
checksum: cd9af6b331918608f2e3d1c7940cbf4f
content_type: application/pdf
creator: mnardin
date_created: 2022-01-17T11:15:26Z
date_updated: 2022-01-17T11:15:26Z
file_id: '10636'
file_name: 10_24072_pcjournal_69.pdf
file_size: 3311494
relation: main_file
success: 1
file_date_updated: 2022-01-17T11:15:26Z
has_accepted_license: '1'
intvolume: ' 1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Peer Community Journal
publication_identifier:
eissn:
- 2804-3871
publication_status: published
publisher: Centre Mersenne ; Peer Community In
quality_controlled: '1'
status: public
title: Nonlinear computations in spiking neural networks through multiplicative synapses
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 1
year: '2021'
...
---
_id: '10644'
abstract:
- lang: eng
text: The purpose of this application note is to demonstrate a working example of
a superconducting qubit measurement in a Bluefors cryostat using the Keysight
quantum control hardware. Our motivation is twofold. First, we provide pre-qualification
data that the Bluefors cryostat, including filtering and wiring, can support long-lived
qubits. Second, we demonstrate that the Keysight system (controlled using Labber)
provides a straightforward solution to perform these characterization measurements.
This document is intended as a brief guide for starting an experimental platform
for testing superconducting qubits. The setup described here is an immediate jumping
off point for a suite of applications including testing quantum logical gates,
quantum optics with microwaves, or even using the qubit itself as a sensitive
probe of local electromagnetic fields. Qubit measurements rely on high performance
of both the physical sample environment and the measurement electronics. An overview
of the cryogenic system is shown in Figure 1, and an overview of the integration
between the electronics and cryostat (including wiring details) is shown in Figure
2.
alternative_title:
- Bluefors Blog
article_processing_charge: No
author:
- first_name: Russell
full_name: Lake, Russell
last_name: Lake
- first_name: Slawomir
full_name: Simbierowicz, Slawomir
last_name: Simbierowicz
- first_name: Philip
full_name: Krantz, Philip
last_name: Krantz
- first_name: Farid
full_name: Hassani, Farid
id: 2AED110C-F248-11E8-B48F-1D18A9856A87
last_name: Hassani
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
citation:
ama: 'Lake R, Simbierowicz S, Krantz P, Hassani F, Fink JM. The Bluefors Dilution
Refrigerator as an Integrated Quantum Measurement System. Helsinki, Finland:
Bluefors Oy; 2021.'
apa: 'Lake, R., Simbierowicz, S., Krantz, P., Hassani, F., & Fink, J. M. (2021).
The Bluefors dilution refrigerator as an integrated quantum measurement system.
Helsinki, Finland: Bluefors Oy.'
chicago: 'Lake, Russell, Slawomir Simbierowicz, Philip Krantz, Farid Hassani, and
Johannes M Fink. The Bluefors Dilution Refrigerator as an Integrated Quantum
Measurement System. Helsinki, Finland: Bluefors Oy, 2021.'
ieee: 'R. Lake, S. Simbierowicz, P. Krantz, F. Hassani, and J. M. Fink, The Bluefors
dilution refrigerator as an integrated quantum measurement system. Helsinki,
Finland: Bluefors Oy, 2021.'
ista: 'Lake R, Simbierowicz S, Krantz P, Hassani F, Fink JM. 2021. The Bluefors
dilution refrigerator as an integrated quantum measurement system, Helsinki, Finland:
Bluefors Oy, 9p.'
mla: Lake, Russell, et al. The Bluefors Dilution Refrigerator as an Integrated
Quantum Measurement System. Bluefors Oy, 2021.
short: R. Lake, S. Simbierowicz, P. Krantz, F. Hassani, J.M. Fink, The Bluefors
Dilution Refrigerator as an Integrated Quantum Measurement System, Bluefors Oy,
Helsinki, Finland, 2021.
date_created: 2022-01-19T08:29:57Z
date_published: 2021-04-20T00:00:00Z
date_updated: 2022-01-19T09:11:33Z
day: '20'
department:
- _id: JoFi
keyword:
- Application note
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://bluefors.com/blog/integrated-quantum-measurement-system/
month: '04'
oa: 1
oa_version: Published Version
page: '9'
place: Helsinki, Finland
publication_status: published
publisher: Bluefors Oy
quality_controlled: '1'
status: public
title: The Bluefors dilution refrigerator as an integrated quantum measurement system
type: other_academic_publication
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '10645'
abstract:
- lang: eng
text: "Superconducting qubits have emerged as a highly versatile and useful platform
for quantum technological applications [1]. Bluefors and Zurich Instruments have
supported the growth of this field from the 2010s onwards by providing well-engineered
and reliable measurement infrastructure [2]– [6]. Having a long and stable qubit
lifetime is a critical system property. Therefore, considerable effort has already
gone into measuring qubit energy-relaxation timescales and their fluctuations,
see Refs. [7]–[10] among others. Accurately extracting the statistics of a quantum
device requires users to perform time consuming measurements. One measurement
challenge is that the detection of the state-dependent\r\nresponse of a superconducting
resonator due to a dispersively-coupled qubit requires an inherently low signal
level. Consequently, measurements must be performed using a microwave probe that
contains only a few microwave photons. Improving the signal-to-noise ratio (SNR)
by using near-quantum limited parametric amplifiers as well as the use of optimized
signal processing enabled by efficient room temperature instrumentation help to
reduce measurement time. An empirical observation for fixed frequency transmons
from recent literature is that as the energy-relaxation time \U0001D447\U0001D4471
increases, so do its natural temporal fluctuations [7], [10]. This necessitates
many repeated measurements to understand the statistics (see for example, Ref.
[10]). In addition, as state-of-the-art qubits increase in lifetime, longer\r\nmeasurement
times are expected to obtain accurate statistics. As described below, the scaling
of the widths of the qubit energy-relaxation distributions also reveal clues about
the origin of the energy-relaxation."
alternative_title:
- Bluefors Blog
article_processing_charge: No
author:
- first_name: Slawomir
full_name: Simbierowicz, Slawomir
last_name: Simbierowicz
- first_name: Chunyan
full_name: Shi, Chunyan
last_name: Shi
- first_name: Michele
full_name: Collodo, Michele
last_name: Collodo
- first_name: Moritz
full_name: Kirste, Moritz
last_name: Kirste
- first_name: Farid
full_name: Hassani, Farid
id: 2AED110C-F248-11E8-B48F-1D18A9856A87
last_name: Hassani
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
- first_name: Jonas
full_name: Bylander, Jonas
last_name: Bylander
- first_name: Daniel
full_name: Perez Lozano, Daniel
last_name: Perez Lozano
- first_name: Russell
full_name: Lake, Russell
last_name: Lake
citation:
ama: 'Simbierowicz S, Shi C, Collodo M, et al. Qubit Energy-Relaxation Statistics
in the Bluefors Quantum Measurement System. Helsinki, Finland: Bluefors Oy;
2021.'
apa: 'Simbierowicz, S., Shi, C., Collodo, M., Kirste, M., Hassani, F., Fink, J.
M., … Lake, R. (2021). Qubit energy-relaxation statistics in the Bluefors quantum
measurement system. Helsinki, Finland: Bluefors Oy.'
chicago: 'Simbierowicz, Slawomir, Chunyan Shi, Michele Collodo, Moritz Kirste, Farid
Hassani, Johannes M Fink, Jonas Bylander, Daniel Perez Lozano, and Russell Lake.
Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System.
Helsinki, Finland: Bluefors Oy, 2021.'
ieee: 'S. Simbierowicz et al., Qubit energy-relaxation statistics in the
Bluefors quantum measurement system. Helsinki, Finland: Bluefors Oy, 2021.'
ista: 'Simbierowicz S, Shi C, Collodo M, Kirste M, Hassani F, Fink JM, Bylander
J, Perez Lozano D, Lake R. 2021. Qubit energy-relaxation statistics in the Bluefors
quantum measurement system, Helsinki, Finland: Bluefors Oy, 8p.'
mla: Simbierowicz, Slawomir, et al. Qubit Energy-Relaxation Statistics in the
Bluefors Quantum Measurement System. Bluefors Oy, 2021.
short: S. Simbierowicz, C. Shi, M. Collodo, M. Kirste, F. Hassani, J.M. Fink, J.
Bylander, D. Perez Lozano, R. Lake, Qubit Energy-Relaxation Statistics in the
Bluefors Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
date_created: 2022-01-19T08:41:14Z
date_published: 2021-06-03T00:00:00Z
date_updated: 2022-01-19T09:11:39Z
day: '03'
department:
- _id: JoFi
keyword:
- Application note
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://bluefors.com/blog/application-note-qubit-energy-relaxation-statistics-bluefors-quantum-measurement-system/
month: '06'
oa: 1
oa_version: Published Version
page: '8'
place: Helsinki, Finland
publication_status: published
publisher: Bluefors Oy
quality_controlled: '1'
status: public
title: Qubit energy-relaxation statistics in the Bluefors quantum measurement system
type: other_academic_publication
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2021'
...
---
_id: '10655'
abstract:
- lang: eng
text: "Adeno-associated viruses (AAVs) are widely used to deliver genetic material
in vivo to distinct cell types such as neurons or glial cells, allowing for targeted
manipulation. Transduction of microglia is mostly excluded from this strategy,
likely due to the cells’ heterogeneous state upon environmental changes, which
makes AAV design challenging. Here, we established the retina as a model system
for microglial AAV validation and optimization. First, we show that AAV2/6 transduced
microglia in both synaptic layers, where layer preference corresponds to the intravitreal
or subretinal delivery method. Surprisingly, we observed significantly enhanced
microglial transduction during photoreceptor degeneration. Thus, we modified the
AAV6 capsid to reduce heparin binding by introducing four point mutations (K531E,
R576Q, K493S, and K459S), resulting in increased microglial transduction in the
outer plexiform layer. Finally, to improve microglial-specific transduction, we
validated a Cre-dependent transgene delivery cassette for use in combination with
the Cx3cr1CreERT2 mouse line. Together, our results provide a foundation for future
studies optimizing AAV-mediated microglia transduction and highlight that environmental
conditions influence microglial transduction efficiency.\r\n"
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
- _id: PreCl
acknowledgement: This project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation programme
(grant agreement no. 715571). The research was supported by the Scientific Service
Units (SSU) of IST Austria through resources provided by the Bioimaging Facility,
the Life Science Facility, and the Pre-Clinical Facility, namely Sonja Haslinger
and Michael Schunn for their animal colony management and support. We would also
like to thank Chakrabarty Lab for sharing the plasmids for AAV2/6 production. Finally,
we would like to thank the Siegert team members for discussion about the manuscript.
article_processing_charge: Yes
article_type: original
author:
- first_name: Margaret E
full_name: Maes, Margaret E
id: 3838F452-F248-11E8-B48F-1D18A9856A87
last_name: Maes
orcid: 0000-0001-9642-1085
- first_name: Gabriele M.
full_name: Wögenstein, Gabriele M.
last_name: Wögenstein
- first_name: Gloria
full_name: Colombo, Gloria
id: 3483CF6C-F248-11E8-B48F-1D18A9856A87
last_name: Colombo
orcid: 0000-0001-9434-8902
- first_name: Raquel
full_name: Casado Polanco, Raquel
id: 15240fc1-dbcd-11ea-9d1d-ac5a786425fd
last_name: Casado Polanco
orcid: 0000-0001-8293-4568
- first_name: Sandra
full_name: Siegert, Sandra
id: 36ACD32E-F248-11E8-B48F-1D18A9856A87
last_name: Siegert
orcid: 0000-0001-8635-0877
citation:
ama: Maes ME, Wögenstein GM, Colombo G, Casado Polanco R, Siegert S. Optimizing
AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor
degenerative environment. Molecular Therapy - Methods and Clinical Development.
2021;23:210-224. doi:10.1016/j.omtm.2021.09.006
apa: Maes, M. E., Wögenstein, G. M., Colombo, G., Casado Polanco, R., & Siegert,
S. (2021). Optimizing AAV2/6 microglial targeting identified enhanced efficiency
in the photoreceptor degenerative environment. Molecular Therapy - Methods
and Clinical Development. Elsevier. https://doi.org/10.1016/j.omtm.2021.09.006
chicago: Maes, Margaret E, Gabriele M. Wögenstein, Gloria Colombo, Raquel Casado
Polanco, and Sandra Siegert. “Optimizing AAV2/6 Microglial Targeting Identified
Enhanced Efficiency in the Photoreceptor Degenerative Environment.” Molecular
Therapy - Methods and Clinical Development. Elsevier, 2021. https://doi.org/10.1016/j.omtm.2021.09.006.
ieee: M. E. Maes, G. M. Wögenstein, G. Colombo, R. Casado Polanco, and S. Siegert,
“Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the
photoreceptor degenerative environment,” Molecular Therapy - Methods and Clinical
Development, vol. 23. Elsevier, pp. 210–224, 2021.
ista: Maes ME, Wögenstein GM, Colombo G, Casado Polanco R, Siegert S. 2021. Optimizing
AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor
degenerative environment. Molecular Therapy - Methods and Clinical Development.
23, 210–224.
mla: Maes, Margaret E., et al. “Optimizing AAV2/6 Microglial Targeting Identified
Enhanced Efficiency in the Photoreceptor Degenerative Environment.” Molecular
Therapy - Methods and Clinical Development, vol. 23, Elsevier, 2021, pp. 210–24,
doi:10.1016/j.omtm.2021.09.006.
short: M.E. Maes, G.M. Wögenstein, G. Colombo, R. Casado Polanco, S. Siegert, Molecular
Therapy - Methods and Clinical Development 23 (2021) 210–224.
date_created: 2022-01-23T23:01:28Z
date_published: 2021-12-10T00:00:00Z
date_updated: 2023-11-16T13:12:03Z
day: '10'
ddc:
- '570'
department:
- _id: SaSi
- _id: SiHi
doi: 10.1016/j.omtm.2021.09.006
ec_funded: 1
external_id:
isi:
- '000748748500019'
file:
- access_level: open_access
checksum: 77dc540e8011c5475031bdf6ccef20a6
content_type: application/pdf
creator: cchlebak
date_created: 2022-01-24T07:43:09Z
date_updated: 2022-01-24T07:43:09Z
file_id: '10657'
file_name: 2021_MolTherMethodsClinDev_Maes.pdf
file_size: 4794147
relation: main_file
success: 1
file_date_updated: 2022-01-24T07:43:09Z
has_accepted_license: '1'
intvolume: ' 23'
isi: 1
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 210-224
project:
- _id: 25D4A630-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715571'
name: Microglia action towards neuronal circuit formation and function in health
and disease
publication: Molecular Therapy - Methods and Clinical Development
publication_identifier:
eissn:
- 2329-0501
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the
photoreceptor degenerative environment
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: 23
year: '2021'
...
---
_id: '12076'
abstract:
- lang: eng
text: We find an asymptotic formula for the number of primitive vectors $(z_1,\ldots,z_4)\in
(\mathbb{Z}_{\neq 0})^4$ such that $z_1,\ldots, z_4$ are all squareful and bounded
by $B$, and $z_1+\cdots + z_4 = 0$. Our result agrees in the power of $B$ and
$\log B$ with the Campana-Manin conjecture of Pieropan, Smeets, Tanimoto and V\'{a}rilly-Alvarado.
article_number: '2104.06966'
article_processing_charge: No
arxiv: 1
author:
- first_name: Alec L
full_name: Shute, Alec L
id: 440EB050-F248-11E8-B48F-1D18A9856A87
last_name: Shute
orcid: 0000-0002-1812-2810
citation:
ama: Shute AL. Sums of four squareful numbers. arXiv. doi:10.48550/arXiv.2104.06966
apa: Shute, A. L. (n.d.). Sums of four squareful numbers. arXiv. https://doi.org/10.48550/arXiv.2104.06966
chicago: Shute, Alec L. “Sums of Four Squareful Numbers.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.06966.
ieee: A. L. Shute, “Sums of four squareful numbers,” arXiv. .
ista: Shute AL. Sums of four squareful numbers. arXiv, 2104.06966.
mla: Shute, Alec L. “Sums of Four Squareful Numbers.” ArXiv, 2104.06966,
doi:10.48550/arXiv.2104.06966.
short: A.L. Shute, ArXiv (n.d.).
date_created: 2022-09-09T10:42:51Z
date_published: 2021-04-15T00:00:00Z
date_updated: 2023-02-21T16:37:30Z
day: '15'
department:
- _id: TiBr
doi: 10.48550/arXiv.2104.06966
external_id:
arxiv:
- '2104.06966'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2104.06966
month: '04'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
related_material:
record:
- id: '12072'
relation: dissertation_contains
status: public
status: public
title: Sums of four squareful numbers
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '12077'
abstract:
- lang: eng
text: "We compare the Manin-type conjecture for Campana points recently formulated\r\nby
Pieropan, Smeets, Tanimoto and V\\'{a}rilly-Alvarado with an alternative\r\nprediction
of Browning and Van Valckenborgh in the special case of the orbifold\r\n$(\\mathbb{P}^1,D)$,
where $D =\\frac{1}{2}[0]+\\frac{1}{2}[1]+\\frac{1}{2}[\\infty]$. We find that
the two predicted leading constants do not agree, and we discuss whether thin
sets\r\ncould explain this discrepancy. Motivated by this, we provide a counterexample\r\nto
the Manin-type conjecture for Campana points, by considering orbifolds\r\ncorresponding
to squareful values of binary quadratic forms."
acknowledgement: The author would like to thank Damaris Schindler and Florian Wilsch
for their helpful comments on the heights and Tamagawa measures used in Section
3, together with Marta Pieropan, Sho Tanimoto and Sam Streeter for providing valuable
feedback on an earlier version of this paper, and Tim Browning for many useful comments
and discussions during the development of this work. The author is also grateful
to the anonymous referee for providing many valuable comments and suggestions that
improved the quality of the paper.
article_number: '2104.14946'
article_processing_charge: No
arxiv: 1
author:
- first_name: Alec L
full_name: Shute, Alec L
id: 440EB050-F248-11E8-B48F-1D18A9856A87
last_name: Shute
orcid: 0000-0002-1812-2810
citation:
ama: Shute AL. On the leading constant in the Manin-type conjecture for Campana
points. arXiv. doi:10.48550/arXiv.2104.14946
apa: Shute, A. L. (n.d.). On the leading constant in the Manin-type conjecture for
Campana points. arXiv. https://doi.org/10.48550/arXiv.2104.14946
chicago: Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for
Campana Points.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.14946.
ieee: A. L. Shute, “On the leading constant in the Manin-type conjecture for Campana
points,” arXiv. .
ista: Shute AL. On the leading constant in the Manin-type conjecture for Campana
points. arXiv, 2104.14946.
mla: Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana
Points.” ArXiv, 2104.14946, doi:10.48550/arXiv.2104.14946.
short: A.L. Shute, ArXiv (n.d.).
date_created: 2022-09-09T10:43:17Z
date_published: 2021-04-30T00:00:00Z
date_updated: 2023-02-21T16:37:30Z
day: '30'
department:
- _id: TiBr
doi: 10.48550/arXiv.2104.14946
external_id:
arxiv:
- '2104.14946'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2104.14946
month: '04'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
related_material:
record:
- id: '12072'
relation: dissertation_contains
status: public
status: public
title: On the leading constant in the Manin-type conjecture for Campana points
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2021'
...
---
_id: '12186'
abstract:
- lang: eng
text: Activation of cell-surface and intracellular receptor-mediated immunity results
in rapid transcriptional reprogramming that underpins disease resistance. However,
the mechanisms by which co-activation of both immune systems lead to transcriptional
changes are not clear. Here, we combine RNA-seq and ATAC-seq to define changes
in gene expression and chromatin accessibility. Activation of cell-surface or
intracellular receptor-mediated immunity, or both, increases chromatin accessibility
at induced defence genes. Analysis of ATAC-seq and RNA-seq data combined with
publicly available information on transcription factor DNA-binding motifs enabled
comparison of individual gene regulatory networks activated by cell-surface or
intracellular receptor-mediated immunity, or by both. These results and analyses
reveal overlapping and conserved transcriptional regulatory mechanisms between
the two immune systems.
acknowledgement: "We thank the Gatsby Foundation (UK) for funding to the JDGJ laboratory.
PD acknowledges support from the European Union’s Horizon 2020 Research and Innovation
Program under Marie Skłodowska Curie Actions (grant agreement: 656243) and a Future
Leader Fellowship from the Biotechnology and Biological Sciences Research Council
(BBSRC) (grant agreement: BB/R012172/1). TS, RKS, DM, and JDGJ were supported by
the Gatsby Foundation funding to the\r\nSainsbury Laboratory. NMP and KV were supported
by a BOF grant from Ghent University (grant agreement: BOF24Y2019001901). WG and
RZ were supported by the Scottish Government Rural and Environment Science and Analytical
Services division (RESAS), and RZ also acknowledges the support from a BBSRC Bioinformatics
and Biological Resources Fund (grant agreement: BB/S020160/1).BPMN was supported
by the Norwich Research Park (NRP) Biosciences Doctoral Training Partnership (DTP)
funded by the BBSRC (grant agreement: BB/M011216/1). SH and XF were supported by
a BBSRC Responsive Mode grant (grant agreement: BB/S009620/1) and a European Research
Council Starting grant ‘SexMeth’ (grant agreement: 804981). CL was supported by
Deutsche Forschungsgemeinschaft (grant agreement: LI 2862/4). "
article_processing_charge: No
article_type: original
author:
- first_name: Pingtao
full_name: Ding, Pingtao
last_name: Ding
- first_name: Toshiyuki
full_name: Sakai, Toshiyuki
last_name: Sakai
- first_name: Ram
full_name: Krishna Shrestha, Ram
last_name: Krishna Shrestha
- first_name: Nicolas
full_name: Manosalva Perez, Nicolas
last_name: Manosalva Perez
- first_name: Wenbin
full_name: Guo, Wenbin
last_name: Guo
- first_name: Bruno Pok Man
full_name: Ngou, Bruno Pok Man
last_name: Ngou
- first_name: Shengbo
full_name: He, Shengbo
last_name: He
- first_name: Chang
full_name: Liu, Chang
last_name: Liu
- first_name: Xiaoqi
full_name: Feng, Xiaoqi
id: e0164712-22ee-11ed-b12a-d80fcdf35958
last_name: Feng
orcid: 0000-0002-4008-1234
- first_name: Runxuan
full_name: Zhang, Runxuan
last_name: Zhang
- first_name: Klaas
full_name: Vandepoele, Klaas
last_name: Vandepoele
- first_name: Dan
full_name: MacLean, Dan
last_name: MacLean
- first_name: Jonathan D G
full_name: Jones, Jonathan D G
last_name: Jones
citation:
ama: Ding P, Sakai T, Krishna Shrestha R, et al. Chromatin accessibility landscapes
activated by cell-surface and intracellular immune receptors. Journal of Experimental
Botany. 2021;72(22):7927-7941. doi:10.1093/jxb/erab373
apa: Ding, P., Sakai, T., Krishna Shrestha, R., Manosalva Perez, N., Guo, W., Ngou,
B. P. M., … Jones, J. D. G. (2021). Chromatin accessibility landscapes activated
by cell-surface and intracellular immune receptors. Journal of Experimental
Botany. Oxford University Press. https://doi.org/10.1093/jxb/erab373
chicago: Ding, Pingtao, Toshiyuki Sakai, Ram Krishna Shrestha, Nicolas Manosalva
Perez, Wenbin Guo, Bruno Pok Man Ngou, Shengbo He, et al. “Chromatin Accessibility
Landscapes Activated by Cell-Surface and Intracellular Immune Receptors.” Journal
of Experimental Botany. Oxford University Press, 2021. https://doi.org/10.1093/jxb/erab373.
ieee: P. Ding et al., “Chromatin accessibility landscapes activated by cell-surface
and intracellular immune receptors,” Journal of Experimental Botany, vol.
72, no. 22. Oxford University Press, pp. 7927–7941, 2021.
ista: Ding P, Sakai T, Krishna Shrestha R, Manosalva Perez N, Guo W, Ngou BPM, He
S, Liu C, Feng X, Zhang R, Vandepoele K, MacLean D, Jones JDG. 2021. Chromatin
accessibility landscapes activated by cell-surface and intracellular immune receptors.
Journal of Experimental Botany. 72(22), 7927–7941.
mla: Ding, Pingtao, et al. “Chromatin Accessibility Landscapes Activated by Cell-Surface
and Intracellular Immune Receptors.” Journal of Experimental Botany, vol.
72, no. 22, Oxford University Press, 2021, pp. 7927–41, doi:10.1093/jxb/erab373.
short: P. Ding, T. Sakai, R. Krishna Shrestha, N. Manosalva Perez, W. Guo, B.P.M.
Ngou, S. He, C. Liu, X. Feng, R. Zhang, K. Vandepoele, D. MacLean, J.D.G. Jones,
Journal of Experimental Botany 72 (2021) 7927–7941.
date_created: 2023-01-16T09:14:35Z
date_published: 2021-08-13T00:00:00Z
date_updated: 2023-05-08T11:01:18Z
day: '13'
department:
- _id: XiFe
doi: 10.1093/jxb/erab373
extern: '1'
external_id:
pmid:
- '34387350'
intvolume: ' 72'
issue: '22'
keyword:
- Plant Science
- Physiology
language:
- iso: eng
month: '08'
oa_version: None
page: 7927-7941
pmid: 1
publication: Journal of Experimental Botany
publication_identifier:
issn:
- 0022-0957
- 1460-2431
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Chromatin accessibility landscapes activated by cell-surface and intracellular
immune receptors
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 72
year: '2021'
...
---
_id: '12187'
abstract:
- lang: eng
text: Genomes of germ cells present an existential vulnerability to organisms because
germ cell mutations will propagate to future generations. Transposable elements
are one source of such mutations. In the small flowering plant Arabidopsis, Long
et al. found that genome methylation in the male germline is directed by small
interfering RNAs (siRNAs) imperfectly transcribed from transposons (see the Perspective
by Mosher). These germline siRNAs silence germline transposons and establish inherited
methylation patterns in sperm, thus maintaining the integrity of the plant genome
across generations.
acknowledgement: 'We thank the John Innes Centre Bioimaging Facility (S. Lopez, E.
Wegel, and K. Findlay) for their assistance with microscopy and the Norwich BioScience
Institute Partnership Computing Infrastructure for Science Group for high-performance
computing resources. Funding: This work was funded by a European Research Council
Starting Grant (“SexMeth” 804981; J.L., J.W., and X.F.), a Sainsbury Charitable
Foundation studentship (J.W.), two Biotechnology and Biological Sciences Research
Council (BBSRC) grants (BBS0096201 and BBP0135111; W.S., M.V., and X.F.), two John
Innes Foundation studentships (B.A. and S.D.), and a BBSRC David Phillips Fellowship
(BBL0250431; H.G. and X.F.). Author contributions: J.L., J.W., and X.F. designed
the study and wrote the manuscript; J.L., W.S., B.A., H.G., and S.D. performed the
experiments; and J.L., J.W., B.A., H.G., S.D., M.V., and X.F. analyzed the data.
Competing interests: The authors declare no competing interests. Data and material
availability: All sequencing data have been deposited in the Gene Expression Omnibus
(GEO) under accession no. GSE161625. Accession nos. of published datasets used in
this study are listed in table S6. Published software used in this study include
Bowtie v1.2.2 (https://doi.org/10.1002/0471250953.bi1107s32), Bismark v0.22.2 (https://doi.org/10.1093/bioinformatics/btr167),
Kallisto v0.43.0 (https://doi.org/10.1038/nbt0816-888d), Shortstack v3.8.5 (https://doi.org/10.1534/g3.116.030452),
and Cutadapt v1.15 (https://doi.org/10.1089/cmb.2017.0096). TrimGalore v0.4.1 and
MarkDuplicates v1.141 are available from https://github.com/FelixKrueger/TrimGalore
and https://github.com/broadinstitute/picard, respectively. All remaining data are
in the main paper or the supplementary materials.'
article_processing_charge: No
article_type: original
author:
- first_name: Jincheng
full_name: Long, Jincheng
last_name: Long
- first_name: James
full_name: Walker, James
last_name: Walker
- first_name: Wenjing
full_name: She, Wenjing
last_name: She
- first_name: Billy
full_name: Aldridge, Billy
last_name: Aldridge
- first_name: Hongbo
full_name: Gao, Hongbo
last_name: Gao
- first_name: Samuel
full_name: Deans, Samuel
last_name: Deans
- first_name: Martin
full_name: Vickers, Martin
last_name: Vickers
- first_name: Xiaoqi
full_name: Feng, Xiaoqi
id: e0164712-22ee-11ed-b12a-d80fcdf35958
last_name: Feng
orcid: 0000-0002-4008-1234
citation:
ama: Long J, Walker J, She W, et al. Nurse cell--derived small RNAs define paternal
epigenetic inheritance in Arabidopsis. Science. 2021;373(6550). doi:10.1126/science.abh0556
apa: Long, J., Walker, J., She, W., Aldridge, B., Gao, H., Deans, S., … Feng, X.
(2021). Nurse cell--derived small RNAs define paternal epigenetic inheritance
in Arabidopsis. Science. American Association for the Advancement of Science
(AAAS). https://doi.org/10.1126/science.abh0556
chicago: Long, Jincheng, James Walker, Wenjing She, Billy Aldridge, Hongbo Gao,
Samuel Deans, Martin Vickers, and Xiaoqi Feng. “Nurse Cell--Derived Small RNAs
Define Paternal Epigenetic Inheritance in Arabidopsis.” Science. American
Association for the Advancement of Science (AAAS), 2021. https://doi.org/10.1126/science.abh0556.
ieee: J. Long et al., “Nurse cell--derived small RNAs define paternal epigenetic
inheritance in Arabidopsis,” Science, vol. 373, no. 6550. American Association
for the Advancement of Science (AAAS), 2021.
ista: Long J, Walker J, She W, Aldridge B, Gao H, Deans S, Vickers M, Feng X. 2021.
Nurse cell--derived small RNAs define paternal epigenetic inheritance in Arabidopsis.
Science. 373(6550).
mla: Long, Jincheng, et al. “Nurse Cell--Derived Small RNAs Define Paternal Epigenetic
Inheritance in Arabidopsis.” Science, vol. 373, no. 6550, American Association
for the Advancement of Science (AAAS), 2021, doi:10.1126/science.abh0556.
short: J. Long, J. Walker, W. She, B. Aldridge, H. Gao, S. Deans, M. Vickers, X.
Feng, Science 373 (2021).
date_created: 2023-01-16T09:15:14Z
date_published: 2021-07-02T00:00:00Z
date_updated: 2023-05-08T10:56:39Z
day: '02'
department:
- _id: XiFe
doi: 10.1126/science.abh0556
extern: '1'
external_id:
pmid:
- '34210850'
intvolume: ' 373'
issue: '6550'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '07'
oa_version: None
pmid: 1
publication: Science
publication_identifier:
issn:
- 0036-8075
- 1095-9203
publication_status: published
publisher: American Association for the Advancement of Science (AAAS)
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nurse cell--derived small RNAs define paternal epigenetic inheritance in Arabidopsis
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 373
year: '2021'
...
---
_id: '12767'
abstract:
- lang: eng
text: "Several problems in planning and reactive synthesis can be reduced to the
analysis of two-player quantitative graph games. Optimization is one form of analysis.
We argue that in many cases it may be better to replace the optimization problem
with the satisficing problem, where instead of searching for optimal solutions,
the goal is to search for solutions that adhere to a given threshold bound.\r\nThis
work defines and investigates the satisficing problem on a two-player graph game
with the discounted-sum cost model. We show that while the satisficing problem
can be solved using numerical methods just like the optimization problem, this
approach does not render compelling benefits over optimization. When the discount
factor is, however, an integer, we present another approach to satisficing, which
is purely based on automata methods. We show that this approach is algorithmically
more performant – both theoretically and empirically – and demonstrates the broader
applicability of satisficing over optimization."
acknowledgement: We thank anonymous reviewers for valuable inputs. This work is supported
in part by NSF grant 2030859 to the CRA for the CIFellows Project, NSF grants IIS-1527668,
CCF-1704883, IIS-1830549, the ERC CoG 863818 (ForM-SMArt), and an award from the
Maryland Procurement Office.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Suguman
full_name: Bansal, Suguman
last_name: Bansal
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Moshe Y.
full_name: Vardi, Moshe Y.
last_name: Vardi
citation:
ama: 'Bansal S, Chatterjee K, Vardi MY. On satisficing in quantitative games. In:
27th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems. Vol 12651. Springer Nature; 2021:20-37. doi:10.1007/978-3-030-72016-2'
apa: 'Bansal, S., Chatterjee, K., & Vardi, M. Y. (2021). On satisficing in quantitative
games. In 27th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems (Vol. 12651, pp. 20–37). Luxembourg City, Luxembourg:
Springer Nature. https://doi.org/10.1007/978-3-030-72016-2'
chicago: Bansal, Suguman, Krishnendu Chatterjee, and Moshe Y. Vardi. “On Satisficing
in Quantitative Games.” In 27th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems, 12651:20–37. Springer Nature,
2021. https://doi.org/10.1007/978-3-030-72016-2.
ieee: S. Bansal, K. Chatterjee, and M. Y. Vardi, “On satisficing in quantitative
games,” in 27th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems, Luxembourg City, Luxembourg, 2021, vol. 12651, pp.
20–37.
ista: 'Bansal S, Chatterjee K, Vardi MY. 2021. On satisficing in quantitative games.
27th International Conference on Tools and Algorithms for the Construction and
Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis
of Systems, LNCS, vol. 12651, 20–37.'
mla: Bansal, Suguman, et al. “On Satisficing in Quantitative Games.” 27th International
Conference on Tools and Algorithms for the Construction and Analysis of Systems,
vol. 12651, Springer Nature, 2021, pp. 20–37, doi:10.1007/978-3-030-72016-2.
short: S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference
on Tools and Algorithms for the Construction and Analysis of Systems, Springer
Nature, 2021, pp. 20–37.
conference:
end_date: 2021-04-01
location: Luxembourg City, Luxembourg
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2021-03-27
date_created: 2023-03-26T22:01:09Z
date_published: 2021-03-21T00:00:00Z
date_updated: 2025-07-14T09:09:51Z
day: '21'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-72016-2
ec_funded: 1
external_id:
arxiv:
- '2101.02594'
file:
- access_level: open_access
checksum: b020b78b23587ce7610b1aafb4e63438
content_type: application/pdf
creator: dernst
date_created: 2023-03-28T11:00:33Z
date_updated: 2023-03-28T11:00:33Z
file_id: '12777'
file_name: 2021_LNCS_Bansal.pdf
file_size: 747418
relation: main_file
success: 1
file_date_updated: 2023-03-28T11:00:33Z
has_accepted_license: '1'
intvolume: ' 12651'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 20-37
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: 27th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030720155'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: On satisficing in quantitative games
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12651
year: '2021'
...