Zobrazeno 1 - 10
of 6 769
pro vyhledávání: '"A Gheorghiu"'
Autor:
Wanner, Marc, Lewis, Laura, Bhattacharyya, Chiranjib, Dubhashi, Devdatt, Gheorghiu, Alexandru
A fundamental problem in quantum many-body physics is that of finding ground states of local Hamiltonians. A number of recent works gave provably efficient machine learning (ML) algorithms for learning ground states. Specifically, [Huang et al. Scien
Externí odkaz:
http://arxiv.org/abs/2405.18489
A proof of quantumness is an efficiently verifiable interactive test that an efficient quantum computer can pass, but all efficient classical computers cannot (under some cryptographic assumption). Such protocols play a crucial role in the certificat
Externí odkaz:
http://arxiv.org/abs/2405.15736
A central concept within informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires an interpretation of logical formulae in terms of the resources and sta
Externí odkaz:
http://arxiv.org/abs/2405.06491
Autor:
Gheorghiu, Max
Viewing group cohomology as a so-called cohomological functor, G. Mislin has generalised Tate cohomology from finite groups to all discrete groups by defining a completion for cohomological functors in [24]. For any cohomological functor $T^{\bullet}
Externí odkaz:
http://arxiv.org/abs/2405.03634
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
Comment: Submitted to 'Logic and Philosophy: Historical and Contemporary Issues
Comment: Submitted to 'Logic and Philosophy: Historical and Contemporary Issues
Externí odkaz:
http://arxiv.org/abs/2403.10546
In systems modelling, a system typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour an
Externí odkaz:
http://arxiv.org/abs/2402.09217
Autor:
Gheorghiu, Adrian, Tăiatu, Iulian-Marius, Cercel, Dumitru-Clementin, Marin, Iuliana, Pop, Florin
The detection and classification of diseases in Robusta coffee leaves are essential to ensure that plants are healthy and the crop yield is kept high. However, this job requires extensive botanical knowledge and much wasted time. Therefore, this task
Externí odkaz:
http://arxiv.org/abs/2401.05768
Typically, substructural logics are used in applications because of their resource interpretations, and these interpretations often refer to the celebrated number-of-uses reading of their implications. However, despite its prominence, this reading is
Externí odkaz:
http://arxiv.org/abs/2311.16719
We have previously found experimental evidence for several quantum phenomena in oxygen-ion implanted of hydrogenated graphite: ferromagnetism, antiferromagnetism, paramagentism, triplet superconductivity, Andreev states, Little-Parks oscillations, La
Externí odkaz:
http://arxiv.org/abs/2311.13116
Autor:
Kerzner, Alex, Gheorghiu, Vlad, Mosca, Michele, Guilbaud, Thomas, Carminati, Federico, Fracas, Fabio, Dellantonio, Luca
We describe a quantum algorithm for finding the smallest eigenvalue of a Hermitian matrix. This algorithm combines Quantum Phase Estimation and Quantum Amplitude Estimation to achieve a quadratic speedup with respect to the best classical algorithm i
Externí odkaz:
http://arxiv.org/abs/2311.04379