Search

Variational quantum algorithms are hybrid quantum-classical approaches extensively studied for their potential to leverage near-term quantum hardware for computational advantages. In this work, we successfully execute two variational quantum algorithms on a silicon photonic integrated circuit at room temperature: a variational quantum eigensolver for the Hydrogen molecule and a variational quantum factorization for semi-prime numbers. In our reconfigurable silicon photonic circuit, four identical spontaneous-four-wave-mixing-based integrated photon pair sources are used to prepare two path-entangled ququarts, whose correlation gives rise to the resource for generic trial states' preparation. This marks a first demonstration of variational quantum algorithms on a photonic quantum simulator with integrated photon pair sources., Comment: 42 pages, 13 figures

FAMU is an INFN-led muonic atom physics experiment based at the RIKEN-RAL muon facility at the ISIS Neutron and Muon Source (United Kingdom). The aim of FAMU is to measure the hyperfine splitting in muonic hydrogen to determine the value of the proton Zemach radius with accuracy better than 1%.The experiment has a scintillating-fibre hodoscope for beam monitoring and data normalisation. In order to carry out muon flux estimation, low-rate measurements were performed to extract the single-muon average deposited charge. Then, detector simulation in Geant4 and FLUKA allowed a thorough understanding of the single-muon response function, crucial for determining the muon flux. This work presents the design features of the FAMU beam monitor, along with the simulation and absolute calibration measurements in order to enable flux determination and enable data normalisation.

We show how to use universal multiport interferometers' schemes in order to create photonic post-selected Controlled-Z and Controlled-Controlled-Z gates, which are equivalent, modulo single-qubit gates, to Controlled-NOT and Toffoli gates, respectively. The new proposed method is based on the following ingredients: identical single photons, Mach-Zehnder interferometer networks, single-photon detectors and post-selection. In particular, by using dual-rail path encoding together with auxiliary paths and single photons, we improve the success probabilities of such gates. This result further proves the complexity and richness of Reck and Clements schemes beyond the usual notions and practices of Boson Sampling., Comment: 23 pages, 6 figures

The article gives the motivations for the measurement of the hyperfine splitting (hfs) in the ground state of muonic hydrogen to explore the properties of the proton at low momentum transfer. It summarizes these proposed measurement methods and finally describes the FAMU experiment in more detail.

Among supervised learning models, Support Vector Machine stands out as one of the most robust and efficient models for classifying data clusters. At the core of this method, a kernel function is employed to calculate the distance between different elements of the dataset, allowing for their classification. Since every kernel function can be expressed as a scalar product, we can estimate it using Quantum Mechanics, where probability amplitudes and scalar products are fundamental objects. The swap test, indeed, is a quantum algorithm capable of computing the scalar product of two arbitrary wavefunctions, potentially enabling a quantum speed-up. Here, we present an integrated photonic circuit designed to implement the swap test algorithm. Our approach relies solely on linear optical integrated components and qudits, represented by single photons from an attenuated laser beam propagating through a set of waveguides. By utilizing 2$^3$ spatial degrees of freedom for the qudits, we can configure all the necessary arrangements to set any two-qubits state and perform the swap test. This simplifies the requirements on the circuitry elements and eliminates the need for non-linearity, heralding, or post-selection to achieve multi-qubits gates. Our photonic swap test circuit successfully encodes two qubits and estimates their scalar product with a measured root mean square error smaller than 0.05. This result paves the way for the development of integrated photonic architectures capable of performing Quantum Machine Learning tasks with robust devices operating at room temperature.

Linear optical quantum computing (LOQC) offers a quantum computation paradigm based on well-established and robust technology and flexible environmental conditions following DiVincenzo's criteria. Within this framework, integrated photonics can be utilized to achieve gate-based quantum computing, defining qubits by path-encoding, quantum gates through the use of Mach-Zehnder interferometers (MZIs) as fundamental building blocks, and measurements through single-photon detectors. In particular, universal two-qubit gates can be achieved by suitable structures of MZIs together with post-selection or heralding. The most resource-efficient choice is given by the post-selected CZ gate. However, this implementation is characterized by a design which has a non-regular structure and cannot be cascaded. This limits the implementation of large-scale LOQC. Starting from these issues, we suggest an approach to move toward a universal and scalable LOQC on the integrated photonic platform. First of all, choosing the post-selected CZ as universal two-qubit gate, we extend the path-encoded dual-rail qubit to a triplet of waveguides, composed of an auxiliary waveguide and the pair of waveguides corresponding to the qubit basis states. Additionally, we introduce a swap photonic network that maps the regularly-labeled structure of the new path-encoded qubits to the structure needed for the post-selected CZ. We also discuss the optical swap gate that allows the connection of non-nearest neighbor path-encoded qubits. In this way, we can deterministically exchange the locations of the qubits and execute controlled quantum gates between any path-encoded qubits. Next, by truncating the auxiliary waveguides after any post-selected CZ, we find that it is possible to cascade this optical gate when it acts on different pairs that share only one qubit.

Silicon oxynitride (SiON) is a low-loss and versatile material for linear and nonlinear photonics applications. Controlling the oxygen-to-nitrogen (O/N) ratio in SiON provides an effective way to engineer its optical and mechanical properties, making it a great platform for the investigation of on-chip optomechanical interactions, especially the stimulated Brillouin scattering (SBS). Here we report the Brillouin nonlinearity characterization of a SiON platform with a specific O/N ratio (characterized by a refractive index of $n=1.65$). First, we introduce this particular SiON platform with fabrication details. Subsequently, we discuss various techniques for the on-chip Brillouin nonlinearity characterizations. In particular, we focus on the intensity-modulated pump-probe lock-in amplifier technique, which enables ultra-sensitive characterization. Finally, we analyze the Brillouin nonlinearities of this SiON platform and compare them with other SiON platforms. This work underscores the potential of SiON for on-chip Brillouin-based applications. Moreover, it paves the way for Brillouin nonlinearity characterization across various material platforms.

The FAMU experiment at RIKEN-RAL is a muonic atom experiment with the aim to determine the Zemach radius of the proton by measuring the 1s hyperfine splitting in muonic hydrogen. The activity of the FAMU Collaboration in the years 2015-2023 enabled the final optimisation of the detector-target setup as well as the gas working condition in terms of temperature, pressure and gas mixture composition. The experiment has started its data taking in July 2023. The status of the detector setup for the 2023 experimental runs, for the beam characterisation and muonic X-ray detection in the 100-200 keV energy range, is presented and discussed., Comment: Submitted to JINST

We analyse the renormalisation group flow of quantum gravity at sixth order in the derivative expansion within the background field approximation. Non-linear field redefinitions are used to ensure that only essential couplings flow. Working within the universality class of General Relativity, with a vanishing cosmological constant, redundant couplings are fixed to their values at the Gaussian fixed point. This reduces the theory space to two dynamical essential couplings given by Newton's and the Goroff-Sagnotti coupling. Furthermore, it implements the condition that no extra degrees of freedom are present beyond those of General Relativity, in contrast to higher derivative theories and derivative expansions in a conventional renormalisation scheme. We find a unique ultraviolet fixed point with a single relevant direction and analyse the phase diagram of the theory. Our results suggest resilience of the gravitational Reuter fixed point under the inclusion of higher order curvature invariants and show several signs of near-perturbativity. The regulator dependence of our results is investigated in detail and shows that qualitative and quantitative features are robust to a large extent.

Integrated photonics has emerged as one of the most promising platforms for quantum applications. The performances of quantum photonic integrated circuits (QPIC) necessitate a demanding optimization to achieve enhanced properties and tailored characteristics with more stringent requirements with respect to their classical counterparts. In this study, we report on the simulation, fabrication, and characterization of a series of fundamental components for photons manipulation in QPIC based on silicon nitride. These include crossing waveguides, multimode-interferometer-based integrated beam splitters (MMIs), asymmetric integrated Mach-Zehnder interferometers (MZIs) based on MMIs, and micro-ring resonators. Our investigation revolves primarily around the Visible to Near-Infrared spectral region, as these devices are meticulously designed and tailored for optimal operation within this wavelength range. By advancing the development of these elementary building blocks, we aim to pave the way for significant improvements in QPIC in a spectral region only little explored so far., Comment: 13 pages, 10 figures

Recent years witnessed a rising interest towards Datalog-based ontological reasoning systems, both in academia and industry. These systems adopt languages, often shared under the collective name of Datalog$+/-$, that extend Datalog with the essential feature of existential quantification, while introducing syntactic limitations to sustain reasoning decidability and achieve a good trade-off between expressive power and computational complexity. From an implementation perspective, modern reasoners borrow the vast experience of the database community in developing streaming-based data processing systems, such as volcano-iterator architectures, that sustain a limited memory footprint and good scalability. In this paper, we focus on two extremely promising, expressive, and tractable languages, namely, Shy and Warded Datalog$+/-$. We leverage their theoretical underpinnings to introduce novel reasoning techniques, technically, "chase variants", that are particularly fit for efficient reasoning in streaming-based architectures. We then implement them in Vadalog, our reference streaming-based engine, to efficiently solve ontological reasoning tasks over real-world settings., Comment: Accepted at PADL 2024

Large Language Models (LLMs) exploit fine-tuning as a technique to adapt to diverse goals, thanks to task-specific training data. Task specificity should go hand in hand with domain orientation, that is, the specialization of an LLM to accurately address the tasks of a given realm of interest. However, models are usually fine-tuned over publicly available data or, at most, over ground data from databases, ignoring business-level definitions and domain experience. On the other hand, Enterprise Knowledge Graphs (EKGs) are able to capture and augment such domain knowledge via ontological reasoning. With the goal of combining LLM flexibility with the domain orientation of EKGs, we propose a novel neurosymbolic architecture that leverages the power of ontological reasoning to build task- and domain-specific corpora for LLM fine-tuning., Comment: Accepted at RuleML 2023

In the same silicon photonic integrated circuit, we compare two types of integrated degenerate photon-pair sources (microring resonators or waveguides) by means of Hong-Ou-Mandel (HOM) interference experiments. Two nominally identical microring resonators are coupled to two nominally identical waveguides which form the arms of a Mach-Zehnder interferometer. This is pumped by two lasers at two different wavelengths to generate, by spontaneous four-wave mixing, degenerate photon pairs. In particular, the microring resonators can be thermally tuned in or out of resonance with the pump wavelengths, thus choosing either the microring resonators or the waveguides as photon-pair sources, respectively. In this way, an on-chip HOM visibility of 94% with microring resonators and 99% with straight waveguides is measured upon filtering. We compare our experimental results with theoretical simulations of the joint spectral intensity and the purity of the degenerate photon pairs. We verify that the visibility is connected to the sources' indistinguishability, which can be quantified by the overlap between the joint spectral amplitudes (JSA) of the photon pairs generated by the two sources. We estimate a JSAs overlap of 98% with waveguides and 89% with microring resonators.

We report the first experimental determination of the collision-energy dependence of the muon transfer rate from the ground state of muonic hydrogen to oxygen at near-thermal energies. A sharp increase by nearly an order of magnitude in the energy range 0 - 70 meV was found that is not observed in other gases. The results set a reliable reference for quantum-mechanical calculations of low-energy processes with exotic atoms, and provide firm ground for the measurement of the hyperfine splitting in muonic hydrogen and the determination of the Zemach radius of the proton by the FAMU collaboration., Comment: 30 pages, 10 figures

Datalog^E is the extension of Datalog with existential quantification. While its high expressive power, underpinned by a simple syntax and the support for full recursion, renders it particularly suitable for modern applications on knowledge graphs, query answering (QA) over such language is known to be undecidable in general. For this reason, different fragments have emerged, introducing syntactic limitations to Datalog^E that strike a balance between its expressive power and the computational complexity of QA, to achieve decidability. In this short paper, we focus on two promising tractable candidates, namely Shy and Warded Datalog+/-. Reacting to an explicit interest from the community, we shed light on the relationship between these fragments. Moreover, we carry out an experimental analysis of the systems implementing Shy and Warded, respectively DLV^E and Vadalog., Comment: Accepted to KR 2022

We discuss theories of gravity with independent metric (or frame field) and connection, from the point of view of effective field theory. We count the parity-even Lagrangian terms of dimension up to four and give explicit bases for the independent terms that contribute to the two-point function. We then give the decomposition of the linearized action on a complete basis of spin projectors and consider various subclasses of Metric-Affine Gravity theories (MAGs). We show that teleparallel theories can be dynamically equivalent to any metric theory of gravity and give the particle content of those whose Lagrangian contains only dimension-two terms. We point out the existence of a class of MAGs whose EOMs do not admit propagating degrees of freedoms. Finally, we construct simple MAGs that contain only a massless graviton and a state of spin/parity $2^-$ or $3^-$. As a side result, we write the relativistic wave equation for a spin/parity $2^-$ state., Comment: 96 pages

We introduce an approach to compute the renormalisation group flow of relational observables in quantum gravity which evolve from their microscopic expressions towards the full quantum expectation value. This is achieved by using the composite operator formalism of the functional renormalisation group. These methods can be applied to a large class of relational observables within a derivative expansion for different physical coordinate systems. As a first application we consider four scalar fields coupled to gravity to represent the physical coordinate frame from which relational observables can be constructed. At leading order of the derivative expansion the observables are the inverse relational metric and the relational scalar curvature. We evaluate their scaling dimensions at the fixed point, both in the standard renormalisation group scheme and in the essential scheme. This represents the first steps to describe running observables within asymptotic safety; this treatment can be generalised to other observables constructed from different tensors and in different physical coordinate systems., Comment: 29 pages, 2 figures; added references, corrected typos

The non-perturbative renormalisation of quantum gravity is investigated allowing for the metric to be reparameterised along the RG flow, such that only the essential couplings constants are renormalised. This allows us to identify a universality class of quantum gravity which is guaranteed to be unitary, since the physical degrees of freedom are those of general relativity without matter and with a vanishing cosmological constant. Considering all diffeomorphism invariant operators with up to four derivatives, only Newton's constant is essential at the Gaussian infrared fixed point associated to the linearised Einstein--Hilbert action. The other inessential couplings can then be fixed to the values they take at the Gaussian fixed point along the RG flow within this universality class. In the ultraviolet, the corresponding beta function for Newton's constant vanishes at the interacting Reuter fixed point. The properties of the Reuter fixed point are stable between the Einstein--Hilbert approximation and the approximation including all diffeomorphism invariant four derivative terms in the flow equation. Our results suggest that Newton's constant is the only relevant essential coupling at the Reuter fixed point. Therefore, we conjecture that quantum Einstein gravity, the ultraviolet completion of Einstein's theory of general relativity in the asymptotic safety scenario, has no free parameters in the absence of matter and in particular predicts a vanishing cosmological constant., Comment: v2: clarifying remarks on inessential couplings at Gaussian fixed points, a discussion on the inclusion of matter and additional references added. Matches published version

We propose a novel scheme for the exact renormalisation group motivated by the desire of reducing the complexity of practical computations. The key idea is to specify renormalisation conditions for all inessential couplings, leaving us with the task of computing only the flow of the essential ones. To achieve this aim, we utilise a renormalisation group equation for the effective average action which incorporates general non-linear field reparameterisations. A prominent feature of the scheme is that, apart from the renormalisation of the mass, the propagator evaluated at any constant value of the field maintains its unrenormalised form. Conceptually, the simplifications can be understood as providing a description based only on quantities that enter expressions for physical observables since the redundant, non-physical content is automatically disregarded. To exemplify the scheme's utility, we investigate the Wilson-Fisher fixed point in three dimensions at order two in the derivative expansion. In this case, the scheme removes all order $\partial^2$ operators apart from the canonical term. Further simplifications occur at higher orders in the derivative expansion. Although we concentrate on a minimal scheme that reduces the complexity of computations, we propose more general schemes where inessential couplings can be tuned to optimise a given approximation. We further discuss the applicability of the scheme to a broad range of physical theories., Comment: Version 3: Extended version, typos corrected, 41 pages

The first measurement of the temperature dependence of the muon transfer rate from muonic hydrogen to oxygen was performed by the FAMU collaboration in 2016. The results provide evidence that the transfer rate rises with the temperature in the range 104-300 K. This paper presents the results of the experiment done in 2018 to extend the measurements towards lower (70 K) and higher (336 K) temperatures. The 2018 results confirm the temperature dependence of the muon transfer rate observed in 2016 and sets firm ground for comparison with the theoretical predictions.

The non-perturbative functional renormalization group equation depends on the choice of a regulator function, whose main properties are a "coarse-graining scale" $k$ and an overall dimensionless amplitude $a$. In this paper we shall discuss the limit $a\to0$ with $k$ fixed. This limit is closely related to the pseudo-regulator that reproduces the beta functions of the $\overline{\text{MS}}\,$ scheme, that we studied in a previous paper. It is not suitable for precision calculations but it appears to be useful to eliminate the spurious breaking of symmetries by the regulator, both for nonlinear models and within the background field method., Comment: 24 pages, 5 figures, 2 tables. Updated to match the published version

Recent years have seen increasing popularity of logic-based reasoning systems, with research and industrial interest as well as many flourishing applications in the area of Knowledge Graphs. Despite that, one can observe a substantial lack of specific tools able to generate nontrivial reasoning settings and benchmark scenarios. As a consequence, evaluating, analysing and comparing reasoning systems is a complex task, especially when they embody sophisticated optimizations and execution techniques that leverage the theoretical underpinnings of the adopted logic fragment. In this paper, we aim at filling this gap by introducing iWarded, a system that can generate very large, complex, realistic reasoning settings to be used for the benchmarking of logic-based reasoning systems adopting Datalog+/-, a family of extensions of Datalog that has seen a resurgence in the last few years. In particular, iWarded generates reasoning settings for Warded Datalog+/-, a language with a very good tradeoff between computational complexity and expressive power. In the paper, we present the iWarded system and a set of novel theoretical results adopted to generate effective scenarios. As Datalog-based languages are of general interest and see increasing adoption, we believe that iWarded is a step forward in the empirical evaluation of current and future systems., Comment: 17 pages, 14 figures