---
_id: '12697'
abstract:
- lang: eng
text: Models for same-material contact electrification in granular media often rely
on a local charge-driving parameter whose spatial variations lead to a stochastic
origin for charge exchange. Measuring the charge transfer from individual granular
spheres after contacts with substrates of the same material, we find instead a
“global” charging behavior, coherent over the sample’s whole surface. Cleaning
and baking samples fully resets charging magnitude and direction, which indicates
the underlying global parameter is not intrinsic to the material, but acquired
from its history. Charging behavior is randomly and irreversibly affected by changes
in relative humidity, hinting at a mechanism where adsorbates, in particular,
water, are fundamental to the charge-transfer process.
acknowledgement: "We would like to thank Troy Shinbrot, Victor Lee and Daniele Foresti
for helpful discussions. This project has received funding from the European Research
Council Grant Agreement No. 949120 and from the the Marie Sk lodowska-Curie Grant
Agreement No. 754411 under\r\nthe European Union’s Horizon 2020 research and innovation
program."
article_number: '098202'
article_processing_charge: No
article_type: original
author:
- first_name: Galien M
full_name: Grosjean, Galien M
id: 0C5FDA4A-9CF6-11E9-8939-FF05E6697425
last_name: Grosjean
orcid: 0000-0001-5154-417X
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
citation:
ama: Grosjean GM, Waitukaitis SR. Single-collision statistics reveal a global mechanism
driven by sample history for contact electrification in granular media. Physical
Review Letters. 2023;130(9). doi:10.1103/physrevlett.130.098202
apa: Grosjean, G. M., & Waitukaitis, S. R. (2023). Single-collision statistics
reveal a global mechanism driven by sample history for contact electrification
in granular media. Physical Review Letters. American Physical Society.
https://doi.org/10.1103/physrevlett.130.098202
chicago: Grosjean, Galien M, and Scott R Waitukaitis. “Single-Collision Statistics
Reveal a Global Mechanism Driven by Sample History for Contact Electrification
in Granular Media.” Physical Review Letters. American Physical Society,
2023. https://doi.org/10.1103/physrevlett.130.098202.
ieee: G. M. Grosjean and S. R. Waitukaitis, “Single-collision statistics reveal
a global mechanism driven by sample history for contact electrification in granular
media,” Physical Review Letters, vol. 130, no. 9. American Physical Society,
2023.
ista: Grosjean GM, Waitukaitis SR. 2023. Single-collision statistics reveal a global
mechanism driven by sample history for contact electrification in granular media.
Physical Review Letters. 130(9), 098202.
mla: Grosjean, Galien M., and Scott R. Waitukaitis. “Single-Collision Statistics
Reveal a Global Mechanism Driven by Sample History for Contact Electrification
in Granular Media.” Physical Review Letters, vol. 130, no. 9, 098202, American
Physical Society, 2023, doi:10.1103/physrevlett.130.098202.
short: G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).
date_created: 2023-02-28T12:14:46Z
date_published: 2023-03-03T00:00:00Z
date_updated: 2023-08-22T08:41:32Z
day: '03'
ddc:
- '530'
- '537'
department:
- _id: ScWa
doi: 10.1103/physrevlett.130.098202
ec_funded: 1
external_id:
arxiv:
- '2211.02488'
isi:
- '000946178200008'
file:
- access_level: open_access
checksum: c4f2f6eea0408811f8f4898e15890355
content_type: application/pdf
creator: ggrosjea
date_created: 2023-02-28T12:20:27Z
date_updated: 2023-02-28T12:20:27Z
file_id: '12698'
file_name: Main_Preprint.pdf
file_size: 2301864
relation: main_file
success: 1
- access_level: open_access
checksum: 6af6ed6c97a977f923de4162294b43c4
content_type: application/pdf
creator: ggrosjea
date_created: 2023-02-28T12:20:55Z
date_updated: 2023-02-28T12:20:55Z
file_id: '12699'
file_name: Suppl_info.pdf
file_size: 1138625
relation: main_file
success: 1
- access_level: open_access
checksum: 3f20365fb9515bdba3a111d912c8d8b4
content_type: video/mp4
creator: ggrosjea
date_created: 2023-02-28T12:37:54Z
date_updated: 2023-02-28T12:37:54Z
file_id: '12700'
file_name: Suppl_vid1.mp4
file_size: 793449
relation: main_file
success: 1
- access_level: open_access
checksum: 90cecacbe0e2f9dea11f91a4ba20c32e
content_type: video/mp4
creator: ggrosjea
date_created: 2023-02-28T12:37:54Z
date_updated: 2023-02-28T12:37:54Z
file_id: '12701'
file_name: Suppl_vid2.mp4
file_size: 455925
relation: main_file
success: 1
file_date_updated: 2023-02-28T12:37:54Z
has_accepted_license: '1'
intvolume: ' 130'
isi: 1
issue: '9'
keyword:
- General Physics
- Electrostatics
- Triboelectricity
- Soft Matter
- Acoustic Levitation
- Granular Materials
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2211.02488
month: '03'
oa: 1
oa_version: Preprint
project:
- _id: 0aa60e99-070f-11eb-9043-a6de6bdc3afa
call_identifier: H2020
grant_number: '949120'
name: 'Tribocharge: a multi-scale approach to an enduring problem in physics'
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
related_material:
record:
- id: '8101'
relation: research_paper
status: public
status: public
title: Single-collision statistics reveal a global mechanism driven by sample history
for contact electrification in granular media
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: 130
year: '2023'
...
---
_id: '13175'
abstract:
- lang: eng
text: "About a 100 years ago, we discovered that our universe is inherently noisy,
that is, measuring any physical quantity with a precision beyond a certain point
is not possible because of an omnipresent inherent noise. We call this - the quantum
noise. Certain physical processes allow this quantum noise to get correlated in
conjugate physical variables. These quantum correlations can be used to go beyond
the potential of our inherently noisy universe and obtain a quantum advantage
over the classical applications. \r\n\r\nQuantum noise being inherent also means
that, at the fundamental level, the physical quantities are not well defined and
therefore, objects can stay in multiple states at the same time. For example,
the position of a particle not being well defined means that the particle is in
multiple positions at the same time. About 4 decades ago, we started exploring
the possibility of using objects which can be in multiple states at the same time
to increase the dimensionality in computation. Thus, the field of quantum computing
was born. We discovered that using quantum entanglement, a property closely related
to quantum correlations, can be used to speed up computation of certain problems,
such as factorisation of large numbers, faster than any known classical algorithm.
Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date,
we have explored quantum control over many physical systems including photons,
spins, atoms, ions and even simple circuits made up of superconducting material.
However, there persists one ubiquitous theme. The more readily a system interacts
with an external field or matter, the more easily we can control it. But this
also means that such a system can easily interact with a noisy environment and
quickly lose its coherence. Consequently, such systems like electron spins need
to be protected from the environment to ensure the longevity of their coherence.
Other systems like nuclear spins are naturally protected as they do not interact
easily with the environment. But, due to the same reason, it is harder to interact
with such systems. \r\n\r\nAfter decades of experimentation with various systems,
we are convinced that no one type of quantum system would be the best for all
the quantum applications. We would need hybrid systems which are all interconnected
- much like the current internet where all sorts of devices can all talk to each
other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons
are the best contenders to carry information for the quantum internet. They can
carry quantum information cheaply and without much loss - the same reasons which
has made them the backbone of our current internet. Following this direction,
many systems, like trapped ions, have already demonstrated successful quantum
links over a large distances using optical photons. However, some of the most
promising contenders for quantum computing which are based on microwave frequencies
have been left behind. This is because high energy optical photons can adversely
affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present
substantial progress on this missing quantum link between microwave and optics
using electrooptical nonlinearities in lithium niobate. The nonlinearities are
enhanced by using resonant cavities for all the involved modes leading to observation
of strong direct coupling between optical and microwave frequencies. With this
strong coupling we are not only able to achieve almost 100\\% internal conversion
efficiency with low added noise, thus presenting a quantum-enabled transducer,
but also we are able to observe novel effects such as cooling of a microwave mode
using optics. The strong coupling regime also leads to direct observation of dynamical
backaction effect between microwave and optical frequencies which are studied
in detail here. Finally, we also report first observation of microwave-optics
entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level.
\r\nWith this new bridge between microwave and optics, the microwave-based quantum
technologies can finally be a part of a quantum network which is based on optical
photons - putting us one step closer to a future with quantum internet. "
acknowledged_ssus:
- _id: M-Shop
- _id: SSU
- _id: NanoFab
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Rishabh
full_name: Sahu, Rishabh
id: 47D26E34-F248-11E8-B48F-1D18A9856A87
last_name: Sahu
orcid: 0000-0001-6264-2162
citation:
ama: Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175
apa: Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science
and Technology Austria. https://doi.org/10.15479/at:ista:13175
chicago: Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and
Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175.
ieee: R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology
Austria, 2023.
ista: Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology
Austria.
mla: Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and
Technology Austria, 2023, doi:10.15479/at:ista:13175.
short: R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology
Austria, 2023.
date_created: 2023-06-30T08:07:43Z
date_published: 2023-05-05T00:00:00Z
date_updated: 2023-08-24T11:16:35Z
day: '05'
ddc:
- '537'
- '535'
- '539'
degree_awarded: PhD
department:
- _id: GradSch
- _id: JoFi
doi: 10.15479/at:ista:13175
ec_funded: 1
file:
- access_level: open_access
checksum: 7d03f1a5a5258ee43dfc3323dea4e08f
content_type: application/pdf
creator: cchlebak
date_created: 2023-06-30T08:17:25Z
date_updated: 2023-06-30T08:17:25Z
file_id: '13176'
file_name: thesis_pdfa.pdf
file_size: 18688376
relation: main_file
success: 1
- access_level: closed
checksum: c3b45317ae58e0527533f98c202d81b7
content_type: application/x-zip-compressed
creator: cchlebak
date_created: 2023-07-06T11:35:15Z
date_updated: 2023-07-06T11:35:15Z
file_id: '13196'
file_name: thesis.zip
file_size: 37847025
relation: source_file
file_date_updated: 2023-07-06T11:35:15Z
has_accepted_license: '1'
keyword:
- quantum optics
- electrooptics
- quantum networks
- quantum communication
- transduction
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
month: '05'
oa: 1
oa_version: Published Version
page: '202'
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '758053'
name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 9B868D20-BA93-11EA-9121-9846C619BF3A
call_identifier: H2020
grant_number: '899354'
name: Quantum Local Area Networks with Superconducting Qubits
- _id: bdb108fd-d553-11ed-ba76-83dc74a9864f
name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration
of Superconducting Quantum Circuits
publication_identifier:
isbn:
- 978-3-99078-030-5
issn:
- 2663 - 337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '12900'
relation: old_edition
status: public
- id: '10924'
relation: part_of_dissertation
status: public
- id: '9114'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
title: Cavity quantum electrooptics
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '12900'
abstract:
- lang: eng
text: "About a 100 years ago, we discovered that our universe is inherently noisy,
that is, measuring any physical quantity with a precision beyond a certain point
is not possible because of an omnipresent inherent noise. We call this - the quantum
noise. Certain physical processes allow this quantum noise to get correlated in
conjugate physical variables. These quantum correlations can be used to go beyond
the potential of our inherently noisy universe and obtain a quantum advantage
over the classical applications. \r\n\r\nQuantum noise being inherent also means
that, at the fundamental level, the physical quantities are not well defined and
therefore, objects can stay in multiple states at the same time. For example,
the position of a particle not being well defined means that the particle is in
multiple positions at the same time. About 4 decades ago, we started exploring
the possibility of using objects which can be in multiple states at the same time
to increase the dimensionality in computation. Thus, the field of quantum computing
was born. We discovered that using quantum entanglement, a property closely related
to quantum correlations, can be used to speed up computation of certain problems,
such as factorisation of large numbers, faster than any known classical algorithm.
Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date,
we have explored quantum control over many physical systems including photons,
spins, atoms, ions and even simple circuits made up of superconducting material.
However, there persists one ubiquitous theme. The more readily a system interacts
with an external field or matter, the more easily we can control it. But this
also means that such a system can easily interact with a noisy environment and
quickly lose its coherence. Consequently, such systems like electron spins need
to be protected from the environment to ensure the longevity of their coherence.
Other systems like nuclear spins are naturally protected as they do not interact
easily with the environment. But, due to the same reason, it is harder to interact
with such systems. \r\n\r\nAfter decades of experimentation with various systems,
we are convinced that no one type of quantum system would be the best for all
the quantum applications. We would need hybrid systems which are all interconnected
- much like the current internet where all sorts of devices can all talk to each
other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons
are the best contenders to carry information for the quantum internet. They can
carry quantum information cheaply and without much loss - the same reasons which
has made them the backbone of our current internet. Following this direction,
many systems, like trapped ions, have already demonstrated successful quantum
links over a large distances using optical photons. However, some of the most
promising contenders for quantum computing which are based on microwave frequencies
have been left behind. This is because high energy optical photons can adversely
affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present
substantial progress on this missing quantum link between microwave and optics
using electrooptical nonlinearities in lithium niobate. The nonlinearities are
enhanced by using resonant cavities for all the involved modes leading to observation
of strong direct coupling between optical and microwave frequencies. With this
strong coupling we are not only able to achieve almost 100\\% internal conversion
efficiency with low added noise, thus presenting a quantum-enabled transducer,
but also we are able to observe novel effects such as cooling of a microwave mode
using optics. The strong coupling regime also leads to direct observation of dynamical
backaction effect between microwave and optical frequencies which are studied
in detail here. Finally, we also report first observation of microwave-optics
entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level.
\r\nWith this new bridge between microwave and optics, the microwave-based quantum
technologies can finally be a part of a quantum network which is based on optical
photons - putting us one step closer to a future with quantum internet. "
acknowledged_ssus:
- _id: M-Shop
- _id: SSU
- _id: NanoFab
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Rishabh
full_name: Sahu, Rishabh
id: 47D26E34-F248-11E8-B48F-1D18A9856A87
last_name: Sahu
orcid: 0000-0001-6264-2162
citation:
ama: Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900
apa: Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science
and Technology Austria. https://doi.org/10.15479/at:ista:12900
chicago: Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and
Technology Austria, 2023. https://doi.org/10.15479/at:ista:12900.
ieee: R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology
Austria, 2023.
ista: Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology
Austria.
mla: Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and
Technology Austria, 2023, doi:10.15479/at:ista:12900.
short: R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology
Austria, 2023.
date_created: 2023-05-05T11:08:50Z
date_published: 2023-05-05T00:00:00Z
date_updated: 2023-08-24T11:16:35Z
day: '05'
ddc:
- '537'
- '535'
- '539'
degree_awarded: PhD
department:
- _id: GradSch
- _id: JoFi
doi: 10.15479/at:ista:12900
ec_funded: 1
file:
- access_level: closed
checksum: 8cbdab9c37ee55e591092a6f66b272c4
content_type: application/x-zip-compressed
creator: rsahu
date_created: 2023-05-09T08:45:14Z
date_updated: 2023-06-06T22:30:03Z
embargo_to: open_access
file_id: '12928'
file_name: thesis.zip
file_size: 36767177
relation: source_file
- access_level: closed
checksum: 439659ead46618147309be39d9dd5a8c
content_type: application/pdf
creator: rsahu
date_created: 2023-05-09T08:51:17Z
date_updated: 2023-07-06T11:37:40Z
file_id: '12929'
file_name: thesis_pdfa_final.pdf
file_size: 17501990
relation: main_file
file_date_updated: 2023-07-06T11:37:40Z
has_accepted_license: '1'
keyword:
- quantum optics
- electrooptics
- quantum networks
- quantum communication
- transduction
language:
- iso: eng
month: '05'
oa_version: Published Version
page: '190'
project:
- _id: 26336814-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '758053'
name: A Fiber Optic Transceiver for Superconducting Qubits
- _id: 9B868D20-BA93-11EA-9121-9846C619BF3A
call_identifier: H2020
grant_number: '899354'
name: Quantum Local Area Networks with Superconducting Qubits
- _id: bdb108fd-d553-11ed-ba76-83dc74a9864f
name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration
of Superconducting Quantum Circuits
publication_identifier:
isbn:
- 978-3-99078-030-5
issn:
- 2663 - 337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '13175'
relation: new_edition
status: public
- id: '10924'
relation: part_of_dissertation
status: public
- id: '9114'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
title: Cavity quantum electrooptics
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2023'
...
---
_id: '14242'
abstract:
- lang: eng
text: We study the problem of training and certifying adversarially robust quantized
neural networks (QNNs). Quantization is a technique for making neural networks
more efficient by running them using low-bit integer arithmetic and is therefore
commonly adopted in industry. Recent work has shown that floating-point neural
networks that have been verified to be robust can become vulnerable to adversarial
attacks after quantization, and certification of the quantized representation
is necessary to guarantee robustness. In this work, we present quantization-aware
interval bound propagation (QA-IBP), a novel method for training robust QNNs.
Inspired by advances in robust learning of non-quantized networks, our training
algorithm computes the gradient of an abstract representation of the actual network.
Unlike existing approaches, our method can handle the discrete semantics of QNNs.
Based on QA-IBP, we also develop a complete verification procedure for verifying
the adversarial robustness of QNNs, which is guaranteed to terminate and produce
a correct answer. Compared to existing approaches, the key advantage of our verification
procedure is that it runs entirely on GPU or other accelerator devices. We demonstrate
experimentally that our approach significantly outperforms existing methods and
establish the new state-of-the-art for training and certifying the robustness
of QNNs.
acknowledgement: "This work was supported in part by the ERC-2020-AdG 101020093, ERC
CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation
programme under the Marie Skłodowska-Curie Grant Agreement No. 665385. Research
was sponsored by the United\r\nStates Air Force Research Laboratory and the United
States Air Force Artificial Intelligence Accelerator and was accomplished under
Cooperative Agreement Number FA8750-19-2-\r\n1000. The views and conclusions contained
in this document are those of the authors and should not be interpreted as representing
the official policies, either expressed or implied,\r\nof the United States Air
Force or the U.S. Government. The U.S. Government is authorized to reproduce and
distribute reprints for Government purposes notwithstanding any copyright\r\nnotation
herein. The research was also funded in part by the AI2050 program at Schmidt Futures
(Grant G-22-63172) and Capgemini SE."
article_processing_charge: No
author:
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Daniela
full_name: Rus, Daniela
last_name: Rus
citation:
ama: 'Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. Quantization-aware
interval bound propagation for training certifiably robust quantized neural networks.
In: Proceedings of the 37th AAAI Conference on Artificial Intelligence.
Vol 37. Association for the Advancement of Artificial Intelligence; 2023:14964-14973.
doi:10.1609/aaai.v37i12.26747'
apa: 'Lechner, M., Zikelic, D., Chatterjee, K., Henzinger, T. A., & Rus, D.
(2023). Quantization-aware interval bound propagation for training certifiably
robust quantized neural networks. In Proceedings of the 37th AAAI Conference
on Artificial Intelligence (Vol. 37, pp. 14964–14973). Washington, DC, United
States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i12.26747'
chicago: Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger,
and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably
Robust Quantized Neural Networks.” In Proceedings of the 37th AAAI Conference
on Artificial Intelligence, 37:14964–73. Association for the Advancement of
Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i12.26747.
ieee: M. Lechner, D. Zikelic, K. Chatterjee, T. A. Henzinger, and D. Rus, “Quantization-aware
interval bound propagation for training certifiably robust quantized neural networks,”
in Proceedings of the 37th AAAI Conference on Artificial Intelligence,
Washington, DC, United States, 2023, vol. 37, no. 12, pp. 14964–14973.
ista: 'Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. 2023. Quantization-aware
interval bound propagation for training certifiably robust quantized neural networks.
Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference
on Artificial Intelligence vol. 37, 14964–14973.'
mla: Lechner, Mathias, et al. “Quantization-Aware Interval Bound Propagation for
Training Certifiably Robust Quantized Neural Networks.” Proceedings of the
37th AAAI Conference on Artificial Intelligence, vol. 37, no. 12, Association
for the Advancement of Artificial Intelligence, 2023, pp. 14964–73, doi:10.1609/aaai.v37i12.26747.
short: M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings
of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement
of Artificial Intelligence, 2023, pp. 14964–14973.
conference:
end_date: 2023-02-14
location: Washington, DC, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2023-02-07
date_created: 2023-08-27T22:01:17Z
date_published: 2023-06-26T00:00:00Z
date_updated: 2023-09-05T07:06:14Z
day: '26'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1609/aaai.v37i12.26747
ec_funded: 1
external_id:
arxiv:
- '2211.16187'
intvolume: ' 37'
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2211.16187
month: '06'
oa: 1
oa_version: Preprint
page: 14964-14973
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Proceedings of the 37th AAAI Conference on Artificial Intelligence
publication_identifier:
isbn:
- '9781577358800'
publication_status: published
publisher: Association for the Advancement of Artificial Intelligence
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantization-aware interval bound propagation for training certifiably robust
quantized neural networks
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 37
year: '2023'
...
---
_id: '14243'
abstract:
- lang: eng
text: 'Two-player zero-sum "graph games" are central in logic, verification, and
multi-agent systems. The game proceeds by placing a token on a vertex of a graph,
and allowing the players to move it to produce an infinite path, which determines
the winner or payoff of the game. Traditionally, the players alternate turns in
moving the token. In "bidding games", however, the players have budgets and in
each turn, an auction (bidding) determines which player moves the token. So far,
bidding games have only been studied as full-information games. In this work we
initiate the study of partial-information bidding games: we study bidding games
in which a player''s initial budget is drawn from a known probability distribution.
We show that while for some bidding mechanisms and objectives, it is straightforward
to adapt the results from the full-information setting to the partial-information
setting, for others, the analysis is significantly more challenging, requires
new techniques, and gives rise to interesting results. Specifically, we study
games with "mean-payoff" objectives in combination with "poorman" bidding. We
construct optimal strategies for a partially-informed player who plays against
a fully-informed adversary. We show that, somewhat surprisingly, the "value" under
pure strategies does not necessarily exist in such games.'
acknowledgement: This research was supported in part by ISF grant no.1679/21, by the
ERC CoG 863818 (ForM-SMArt), and the European Union’s Horizon 2020 research and
innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.
article_processing_charge: No
author:
- first_name: Guy
full_name: Avni, Guy
id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
last_name: Avni
orcid: 0000-0001-5588-8287
- first_name: Ismael R
full_name: Jecker, Ismael R
id: 85D7C63E-7D5D-11E9-9C0F-98C4E5697425
last_name: Jecker
- first_name: Dorde
full_name: Zikelic, Dorde
id: 294AA7A6-F248-11E8-B48F-1D18A9856A87
last_name: Zikelic
orcid: 0000-0002-4681-1699
citation:
ama: 'Avni G, Jecker IR, Zikelic D. Bidding graph games with partially-observable
budgets. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence.
Vol 37. ; 2023:5464-5471. doi:10.1609/aaai.v37i5.25679'
apa: Avni, G., Jecker, I. R., & Zikelic, D. (2023). Bidding graph games with
partially-observable budgets. In Proceedings of the 37th AAAI Conference on
Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States.
https://doi.org/10.1609/aaai.v37i5.25679
chicago: Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with
Partially-Observable Budgets.” In Proceedings of the 37th AAAI Conference on
Artificial Intelligence, 37:5464–71, 2023. https://doi.org/10.1609/aaai.v37i5.25679.
ieee: G. Avni, I. R. Jecker, and D. Zikelic, “Bidding graph games with partially-observable
budgets,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence,
Washington, DC, United States, 2023, vol. 37, no. 5, pp. 5464–5471.
ista: 'Avni G, Jecker IR, Zikelic D. 2023. Bidding graph games with partially-observable
budgets. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI:
Conference on Artificial Intelligence vol. 37, 5464–5471.'
mla: Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.”
Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol.
37, no. 5, 2023, pp. 5464–71, doi:10.1609/aaai.v37i5.25679.
short: G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference
on Artificial Intelligence, 2023, pp. 5464–5471.
conference:
end_date: 2023-02-14
location: Washington, DC, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2023-02-07
date_created: 2023-08-27T22:01:18Z
date_published: 2023-06-27T00:00:00Z
date_updated: 2023-09-05T08:37:00Z
day: '27'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1609/aaai.v37i5.25679
ec_funded: 1
external_id:
arxiv:
- '2211.13626'
intvolume: ' 37'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1609/aaai.v37i5.25679
month: '06'
oa: 1
oa_version: Published Version
page: 5464-5471
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Proceedings of the 37th AAAI Conference on Artificial Intelligence
publication_identifier:
isbn:
- '9781577358800'
publication_status: published
quality_controlled: '1'
scopus_import: '1'
status: public
title: Bidding graph games with partially-observable budgets
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 37
year: '2023'
...