Search

SQL adventure builder (SQLab) is an open-source framework for creating SQL games that are embedded within the very database they query. Students' answers are evaluated using query fingerprinting, a novel technique that allows for better feedback than traditional SQL online judge systems. Fingerprints act as tokens that are used to unlock messages encrypted in an isolated auxiliary table. These messages may include hints, answer keys, examples, explanations, or narrative elements. They can also contain the problem statement of the next task, which turns them into nodes in a virtual DAG with queries as edges. This makes it possible to design a coherent adventure with a storyline of arbitrary complexity. This paper describes the theoretical underpinnings of SQLab's query fingerprinting model, its implementation challenges, and its potential to improve SQL education through game-based learning. The underlying concepts are fully cross-vendor, and support for SQLite, PostgreSQL and MySQL is already available. As a proof of concept, two games, 30 exercises and one mock exam were tested over a three-year period with about 300 students., Comment: 36 pages

Miniaturizing nonlinear optical components is essential for integrating advanced light manipulation into compact photonic devices, enabling scalable and cost-effective applications. While monocrystalline lithium niobate thin films advance nonlinear nanophotonics, their high inertness limits the design of top-down fabricated nanostructures. Here we present a versatile bottom-up fabrication method based on nanoimprint lithography for achieving polycrystalline lithium niobate nanostructures, and demonstrate its significant potential for nonlinear metasurfaces. The fabrication enables nearly vertical features and aspect ratios of up to 6, which we combine with a novel solution-derived material with high effective second-order nonlinearity of d_{eff}=5 pm/V. On this platform, we demonstrate second-harmonic focusing over a broad spectral range from near-UV to near-IR, increasing the nonlinear signal intensity by up to 34 times. Our method enables the first lithium niobate metalens and expands the field of nonlinear metasurfaces by providing a low-cost, highly scalable fabrication method for engineered nonlinear nanostructures

Nonlinear disordered media uniquely combine multiple scattering and second-harmonic generation. Here, we investigate the statistical properties of the nonlinear light generated within such media. We report super-Rayleigh statistics of the second-harmonic speckle intensity, and demonstrate that it is caused by the mesoscopic correlations arising in extreme scattering conditions. The measured conductance is the lowest ever observed in an isotropically scattering 3D medium, with applications in broadband second-harmonic generation, wavefront shaping in nonlinear disordered media, and photonic computing., Comment: 13 pages, 10 figures

Grover Search is currently one of the main quantum algorithms leading to hybrid quantum-classical methods that reduce the worst-case time complexity for some combinatorial optimization problems. Specifically, the combination of Quantum Minimum Finding (obtained from Grover Search) with dynamic programming has proved particularly efficient in improving the complexity of NP-hard problems currently solved by classical dynamic programming. For these problems, the classical dynamic programming complexity in $\mathcal{O}^*(c^n)$, where $\mathcal{O}^*$ denotes that polynomial factors are ignored, can be reduced by a hybrid algorithm to $\mathcal{O}^*(c_{quant}^n)$, with $c_{quant} < c$. In this paper, we provide a bounded-error hybrid algorithm that achieves such an improvement for a broad class of NP-hard single-machine scheduling problems for which we give a generic description. Moreover, we extend this algorithm to tackle the 3-machine flowshop problem. Our algorithm reduces the exponential-part complexity compared to the best-known classical algorithm, sometimes at the cost of an additional pseudo-polynomial factor.

Organizations across various industries are still exploring the potential of Generative Artificial Intelligence (GenAI) to enhance knowledge work. While innovation is often viewed as a product of individual creativity, it more commonly unfolds through a highly structured, collaborative process where creativity intertwines with knowledge work. However, the extent and effectiveness of GenAI in supporting this process remain open questions. Our study investigates this issue using a collaborative practice research approach focused on three GenAI-enabled innovation projects conducted over a year within three different organizations. We explored how, why, and when GenAI could be integrated into design sprints, a highly structured, collaborative, and human-centered innovation method. Our research identified challenges and opportunities in synchronizing AI capabilities with human intelligence and creativity. To translate these insights into practical strategies, we propose four recommendations for organizations eager to leverage GenAI to both streamline and bring more value to their innovation processes: (1) establish a collaborative intelligence value loop with GenAI; (2) build trust in GenAI, (3) develop robust data collection and curation workflows, and (4) cultivate a craftsmanship mindset., Comment: 28 pages, 3 figures

Optical quantum communication technologies are making the prospect of unconditionally secure and efficient information transfer a reality. The possibility of generating and reliably detecting quantum states of light, with the further need of increasing the private data-rate is where most research efforts are focusing. The physical concept of entanglement is a solution guaranteeing the highest degree of security in device-independent schemes, yet its implementation and preservation over long communication links is hard to achieve. Lithium niobate-on-insulator has emerged as a revolutionising platform for high-speed classical telecommunication and is equally suited for quantum information applications owing to the large second-order nonlinearities that can efficiently produce entangled photon pairs. In this work, we generate maximally entangled quantum states in the time-bin basis using lithium niobate-on-insulator photonics at the fibre optics telecommunication wavelength, and reconstruct the density matrix by quantum tomography on a single photonic integrated circuit. We use on-chip periodically-poled lithium niobate as source of entangled qubits with a brightness of 242 MHz/mW and perform quantum tomography with a fidelity of 91.9+-1.0 %. Our results, combined with the established large electro-optic bandwidth of lithium niobate, showcase the platform as perfect candidate to realise fibre-coupled, high-speed time-bin quantum communication modules that exploit entanglement to achieve information security.

We are interested in the following validation problem for computational reductions: for algorithmic problems $P$ and $P^\star$, is a given candidate reduction indeed a reduction from $P$ to $P^\star$? Unsurprisingly, this problem is undecidable even for very restricted classes of reductions. This leads to the question: Is there a natural, expressive class of reductions for which the validation problem can be attacked algorithmically? We answer this question positively by introducing an easy-to-use graphical specification mechanism for computational reductions, called cookbook reductions. We show that cookbook reductions are sufficiently expressive to cover many classical graph reductions and expressive enough so that SAT remains NP-complete (in the presence of a linear order). Surprisingly, the validation problem is decidable for natural and expressive subclasses of cookbook reductions., Comment: Full version of an MFCS 2024 paper

Murunskite (K$_2$FeCu$_3$S$_4$) is a bridging compound between the only two known families of high-temperature superconductors. It is a semiconductor like the parent compounds of cuprates, yet isostructural to metallic iron-pnictides. Moreover, like both families, it has an antiferromagnetic (AF)-like response with an ordered phase occurring below $\approx$ 100 K. Through comprehensive neutron, M\"ossbauer, and XPS measurements on single crystals, we unveil AF with a nearly commensurate quarter-zone wave vector. Intriguingly, the only identifiable magnetic atoms, iron, are randomly distributed over one-quarter of available crystallographic sites in 2D planes, while the remaining sites are occupied by closed-shell copper. Notably, any interpretation in terms of a spin-density wave is challenging, in contrast to the metallic iron-pnictides where Fermi-surface nesting can occur. Our findings align with a disordered-alloy picture featuring magnetic interactions up to second neighbors. Moreover, in the paramagnetic state, iron ions are either in Fe$^{3+}$ or Fe$^{2+}$ oxidation states, associated with two distinct paramagnetic sites identified by M\"ossbauer spectroscopy. Upon decreasing the temperature below the appearance of magnetic interactions, these two signals merge completely into a third, implying an orbital transition. It completes the cascade of (local) transitions that transform iron atoms from fully orbitally and magnetically disordered to homogeneously ordered in inverse space, but still randomly distributed in real space., Comment: 17 pages, 8 figure, 2 tables (9 pages, 4 figures in the main text; 8 pages, 4 figures, 2 tables in the appendix)

Polarization-entangled photon pair sources are essential for diverse quantum technologies, such as quantum communication, computation, and imaging. However, the generation of complex polarization-entangled quantum states has long been constrained by the available nonlinear susceptibility tensor of natural nonlinear crystals, necessitating a cumbersome and intricate setup for additional coherent superposition or post-selection. In this study, we introduce and experimentally demonstrate a nanoscale polarization-entangled photon pair source utilizing an artificially-engineered metamaterial platform. This platform is based on a plasmonic metasurface that is strongly coupled to an epsilon-near-zero (ENZ) material. By precisely engineering resonances at both pump and signal/idler wavelengths, and leveraging the field enhancement provided by the ENZ effect, the photon pair generation efficiency of the 68-nm-thick metasurface is significantly boosted. More notably, the ENZ metasurface platform facilitates versatile manipulation of the system's anisotropic second-order nonlinear susceptibility tensor, enabling direct control over the polarization states of the photon pairs, which leads to the generation of a polarization-entangled Bell state without the need for additional components. Our approach opens a new avenue for the simultaneous photon pair generation and quantum state engineering in a compact platform.

We study the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems are modeled by data words, and specifications are given as first-order logic formulas from a fragment we call prefix first-order logic that implements a limited kind of order. We show that this logic has nice properties that enable us to prove decidability of the synthesis problem.

Intensity modulators are fundamental components for integrated photonics. From near infrared to visible spectral ranges, they find applications in optical communication and quantum technologies. In particular, they are required for the control and manipulation of atomic systems such as atomic clocks and quantum computers. Typical integrated electro-optic modulators operating at these wavelengths show high bandwidth and low voltage operation, but their extinction ratios are moderate. Here we present an integrated thin-film lithium niobate electro-optic modulator operating in the C-band, which uses a subsequent periodically poled waveguide to convert the modulated signal from 1536 nm to 768 nm using second harmonic generation. We demonstrate that the upconverted signal retains the characteristics of the modulated input signal, reaching a measured high bandwidth of 40 GHz. Due to the nature of the nonlinear process, it exhibits, with respect to the fundamental signal, a doubled extinction ratio of 46 dB, which is the highest recorded for near-infrared light on this platform., Comment: 4 pages, 3 figures

Generating and interfering non-classical states of light is fundamental to optical quantum information science and technology. Quantum photonic integrated circuits provide one pathway towards scalability by combining nonlinear sources of non-classical light and programmable circuits in centimeter-scale devices. The key requirements for quantum applications include efficient generation of indistinguishable photon-pairs and high-visibility programmable quantum interference. Here, we demonstrate a lithium niobate-on-insulator (LNOI) integrated photonic circuit that generates a two-photon path-entangled state, and a programmable interferometer for quantum interference. We generate entangled photons with $\sim2.3\times10^8$ pairs/s/mW brightness and perform quantum interference experiments on the chip with $96.8\pm3.6\%$ visibility. LNOI is an emerging photonics technology that has revolutionized high-speed modulators and efficient frequency conversion. Our results provide a path towards large-scale integrated quantum photonics including efficient photon-pair generation and programmable circuits for applications such as boson sampling and quantum communications.

Second harmonic generation (SHG) is prohibited in centrosymmetric crystals such as silicon or germanium due to the presence of inversion symmetry. However, the structuring of such materials makes it possible to break the inversion symmetry, thus achieving generation of second-harmonic. Moreover, various symmetry properties of the resulting structure, such as chirality, also influence the SHG. In this work we investigate second harmonic generation from an array of nanohelices made of germanium. The intensity of the second harmonic displayed a remarkable enhancement of over 100 times compared to a non-structured Ge thin film, revealing the influence of interaction between nanohelices. In particular, nonlinear circular dichroism, characterized through the SHG anisotropy factor g, changed its sign not only with the helix handedness, but with its density as well. We believe that our discoveries will open up new paths for the development of nonlinear photonics based on metamaterials and metasurfaces made of centrosymmetric materials., Comment: 16 pages, 5 figures

We present details on a new measurement of the muon magnetic anomaly, $a_\mu = (g_\mu -2)/2$. The result is based on positive muon data taken at Fermilab's Muon Campus during the 2019 and 2020 accelerator runs. The measurement uses $3.1$ GeV$/c$ polarized muons stored in a $7.1$-m-radius storage ring with a $1.45$ T uniform magnetic field. The value of $ a_{\mu}$ is determined from the measured difference between the muon spin precession frequency and its cyclotron frequency. This difference is normalized to the strength of the magnetic field, measured using Nuclear Magnetic Resonance (NMR). The ratio is then corrected for small contributions from beam motion, beam dispersion, and transient magnetic fields. We measure $a_\mu = 116 592 057 (25) \times 10^{-11}$ (0.21 ppm). This is the world's most precise measurement of this quantity and represents a factor of $2.2$ improvement over our previous result based on the 2018 dataset. In combination, the two datasets yield $a_\mu(\text{FNAL}) = 116 592 055 (24) \times 10^{-11}$ (0.20 ppm). Combining this with the measurements from Brookhaven National Laboratory for both positive and negative muons, the new world average is $a_\mu$(exp) $ = 116 592 059 (22) \times 10^{-11}$ (0.19 ppm)., Comment: 48 pages, 29 figures; 4 pages of Supplement Material; version accepted for publication in Physical Review D

A non-conserving zero-range process with extensive creation, annihilation and hopping rates is subjected to local resetting. The model is formulated on a large, fully-connected network of states. The states are equipped with a (bounded) fitness level: particles are added to each state at a rate proportional to the fitness level of the state. Moreover, particles are annihilated at a constant rate, and hop at a fixed rate to a uniformly-drawn state in the network. This model has been interpreted in terms of population dynamics: the fitness is the reproductive fitness in a haploid population, and the hopping process models mutation. It has also been interpreted as a model of network growth with a fixed set of nodes (in which particles occupying a state are interpreted as links pointing to this state). In the absence of resetting, the model is known to reach a steady state, which in a certain limit may exhibit a condensate at maximum fitness. If the model is subjected to global resetting by annihilating all particles at Poisson-distributed times, there is no condensation in the steady state. If the system is subjected to local resetting, the occupation numbers of each state are reset to zero at independent random times. These times are distributed according to a Poisson process whose rate (the resetting rate) depends on the fitness. We derive the evolution equation satisfied by the probability law of the occupation numbers. We calculate the average occupation numbers in the steady state. The existence of a condensate is found to depend on the local behavior of the resetting rate at maximum fitness: if the resetting rate vanishes at least linearly at high fitness, a condensate appears at maximum fitness in the limit where the sum of the annihilation and hopping rates is equal to the maximum fitness., Comment: 26 pages, 1 figure; v2: 27 pages, some clarifications, typos corrected, references added; v3: 28 pages, some more clarifications and corrections, references added

The distributed filtering problem sequentially estimates a global state variable using observations from a network of local sensors with different measurement models. In this work, we introduce a novel methodology for distributed nonlinear filtering by combining techniques from transportation of measures, dimensionality reduction, and consensus algorithms. We illustrate our methodology on a satellite pose estimation problem from a network of direct and indirect observers. The numerical results serve as a proof of concept, offering new venues for theoretical and applied research in the domain of distributed filtering., Comment: 7 pages, 2 figures

Neural networks find widespread use in scientific and technological applications, yet their implementations in conventional computers have encountered bottlenecks due to ever-expanding computational needs. Photonic neuromorphic hardware, which manipulates information and represents data continuously in the optical domain, is one of the promising platforms with potential advantages of massive parallelism, ultralow latency, and reduced energy consumption. While linear photonic neural networks are within reach, photonic computing with large-scale optical nonlinear nodes remains largely unexplored. Here, we demonstrate a large-scale, high-performance nonlinear photonic neural system based on a disordered polycrystalline slab composed of lithium niobate nanocrystals. Mediated by random quasi-phase-matching and multiple scattering, linear and nonlinear optical speckle features are generated as the interplay between the simultaneous linear random scattering and the second-harmonic generation, defining a complex neural network in which the second-order nonlinearity acts as internal nonlinear activation functions. Benchmarked against linear random projection, such nonlinear mapping embedded with rich physical computational operations shows improved performance across a large collection of machine learning tasks in image classification, regression, and graph classification with varying complexity. Demonstrating up to 27,648 input and 3,500 nonlinear output nodes, the combination of optical nonlinearity and random scattering serves as a scalable computing engine for diverse applications.

Nonlinear optical effects are used to generate coherent light at wavelengths difficult to reach with lasers. Materials periodically poled or nanostructured in the nonlinear susceptibility in three spatial directions are called 3D nonlinear photonic crystals (NPhCs). They enable enhanced nonlinear optical conversion efficiencies, emission control, and simultaneous generation of nonlinear wavelengths. The chemical inertness of efficient second-order nonlinear materials ($\chi^{(2)}$) prohibited their nanofabrication until 2018. The current method is restricted to top-down laser-based techniques limiting the periodicity along z-axis to 10 um. We demonstrate the first bottom-up fabricated 3D NPhC in sol-gel derived barium titanate by soft-nanoimprint lithography: a woodpile with eight layers and periodicities of 1 um (xy-plane) and 300 nm (z-plane). The surface areas exceed $5.3\cdot 10^4$ um^2, which is two orders of magnitude larger than the state-of-the-art. This study is expected to initiate bottom-up fabrication of 3D NPhCs with a supremely strong and versatile nonlinear response., Comment: 11 pages, 4 figures

In this paper we extend recent developments in computational optimal transport to the setting of Riemannian manifolds. In particular, we show how to learn optimal transport maps from samples that relate probability distributions defined on manifolds. Specializing these maps for sampling conditional probability distributions provides an ensemble approach for solving nonlinear filtering problems defined on such geometries. The proposed computational methodology is illustrated with examples of transport and nonlinear filtering on Lie groups, including the circle $S^1$, the special Euclidean group $SE(2)$, and the special orthogonal group $SO(3)$., Comment: 6 pages, 7 figures

We present a new measurement of the positive muon magnetic anomaly, $a_\mu \equiv (g_\mu - 2)/2$, from the Fermilab Muon $g\!-\!2$ Experiment using data collected in 2019 and 2020. We have analyzed more than 4 times the number of positrons from muon decay than in our previous result from 2018 data. The systematic error is reduced by more than a factor of 2 due to better running conditions, a more stable beam, and improved knowledge of the magnetic field weighted by the muon distribution, $\tilde{\omega}'^{}_p$, and of the anomalous precession frequency corrected for beam dynamics effects, $\omega_a$. From the ratio $\omega_a / \tilde{\omega}'^{}_p$, together with precisely determined external parameters, we determine $a_\mu = 116\,592\,057(25) \times 10^{-11}$ (0.21 ppm). Combining this result with our previous result from the 2018 data, we obtain $a_\mu\text{(FNAL)} = 116\,592\,055(24) \times 10^{-11}$ (0.20 ppm). The new experimental world average is $a_\mu (\text{Exp}) = 116\,592\,059(22)\times 10^{-11}$ (0.19 ppm), which represents a factor of 2 improvement in precision., Comment: 8 pages, 3 figures

The quest of a nonlinear optical material that can be easily nanostructured over a large surface area is still ongoing. Here, we demonstrate a nanoimprinted nonlinear barium titanate 2D nanohole array that shows optical properties of a 2D photonic crystal and metasurface, depending on the direction of the optical axis. The challenge of nanostructuring the inert metal-oxide is resolved by direct soft nanoimprint lithography with sol-gel derived barium titanate enabling critical dimensions of 120 nm with aspect ratios of 5. The nanohole array exhibits a photonic bandgap in the infrared range when probed along the slab axis while lattice resonant states are observed in out-of-plane transmission configuration. The enhanced light-matter interaction from the resonant structure enables to increase the second-harmonic generation in the near-UV by a factor of 18 illustrating the potential in the flexible fabrication technique for barium titanate photonic devices.

We carry on the study of the synthesis problem on data words for fragments of first order logic, and delineate precisely the border between decidability and undecidability.

We present a graph-based model for multiple scattering of light in integrated lithium niobate on insulator (LNOI) networks, which describes an open network of single-mode integrated waveguides with tunable scattering at the network nodes. We first validate the model at small scale with experimental LNOI resonator devices and show consistent agreement between simulated and measured spectral data. Then, the model is used to demonstrate a novel platform for on-chip multiple scattering in large-scale optical networks up to few hundred nodes, with tunable scattering behaviour and tailored disorder. Combining our simple graph-based model with material properties of LNOI, this platform creates new opportunities to control randomness in large optical networks.

Quantum computers comprise elementary logic gates that initialize, control and measure delicate quantum states. One of the most important gates is the controlled-NOT, which is widely used to prepare two-qubit entangled states. The controlled-NOT gate for single photon qubits is normally realized as a six-mode network of individual beamsplitters. This architecture however, utilizes only a small fraction of the circuit for the quantum operation with the majority of the footprint dedicated to routing waveguides. Quantum walks are an alternative photonics platform that use arrays of coupled waveguides with a continuous interaction region instead of discrete gates. While quantum walks have been successful for investigating condensed matter physics, applying the multi-mode interference for logical quantum operations is yet to be shown. Here, we experimentally demonstrate a two-qubit controlled-NOT gate in an array of lithium niobate-on-insulator waveguides. We engineer the tight-binding Hamiltonian of the six evanescently-coupled single-mode waveguides such that the multi-mode interference corresponds to the linear optical controlled-NOT unitary. We measure the two-qubit transfer matrix with $0.938\pm0.003$ fidelity, and we use the gate to generate entangled qubits with $0.945\pm0.002$ fidelity by preparing the control photon in a superposition state. Our results highlight a new application for quantum walks that use a compact multi-mode interaction region to realize large multi-component quantum circuits.

Order-invariant first-order logic is an extension of first-order logic FO where formulae can make use of a linear order on the structures, under the proviso that they are order-invariant, i.e. that their truth value is the same for all linear orders. We continue the study of the two-variable fragment of order-invariant first-order logic initiated by Zeume and Harwath, and study its complexity and expressive power. We first establish coNExpTime-completeness for the problem of deciding if a given two-variable formula is order-invariant, which tightens and significantly simplifies the coN2ExpTime proof by Zeume and Harwath. Second, we address the question of whether every property expressible in order-invariant two-variable logic is also expressible in first-order logic without the use of a linear order. We suspect that the answer is ``no''. To justify our claim, we present a class of finite tree-like structures (of unbounded degree) in which a relaxed variant of order-invariant two-variable FO expresses properties that are not definable in plain FO. By contrast, we show that if one restricts their attention to classes of structures of bounded degree, then the expressive power of order-invariant two-variable FO is contained within FO., Comment: arXiv admin note: substantial text overlap with arXiv:2207.04986, under submission to LMCS

Quantum emitters in solid-state crystals have recently attracted a lot of attention due to their simple applicability in optical quantum technologies. The polarization of single photons generated by quantum emitters is one of the key parameters that play a crucial role in the applications, such as quantum computation that uses the indistinguishability of photons. However, the degree of single photon polarization is typically quantified using time-averaged photoluminescence intensity of single emitters, which provides limited information about the dipole properties in solids. In this work, we use single defects in hexagonal boron nitride and nanodiamond as efficient room-temperature single photon sources to reveal the origin and the temporal evolution of dipole orientation in solid-state quantum emitters. The angle of excitation and emission dipoles relative to the crystal axes are determined experimentally and then calculated using density functional theory, which results in characteristic angles for every specific defect that can be used as an efficient tool for defect identification and understanding their atomic structure. Moreover, the temporal polarization dynamics reveal a strongly modified linear polarization visibility that depends on the excited state decay time of individual excitation. This effect can be traced back potentially to the excitation of excess charges in the local crystal environment. Understanding such hidden time-dependent mechanisms can further be used to improve the performance of polarization-sensitive experiments, in particular that of quantum communication with single photon emitters.