Search

The Massimult project aims to design and implement an innovative CPU architecture based on combinator reduction with a novel combinator base and a new abstract machine. The evaluation of programs within this architecture is inherently highly parallel and localized, allowing for faster computation, reduced energy consumption, improved scalability, enhanced reliability, and increased resistance to attacks. In this paper, we introduce the machine language LambdaM, detail its compilation into KVY assembler code, and describe the abstract machine Matrima. The best part of Matrima is its ability to exploit inherent parallelism and locality in combinator reduction, leading to significantly faster computations with lower energy consumption, scalability across multiple processors, and enhanced security against various types of attacks. Matrima can be simulated as a software virtual machine and is intended for future hardware implementation.

Here we show a photonic computing accelerator utilizing a system-level thin-film lithium niobate circuit which overcomes this limitation. Leveraging the strong electro-optic (Pockels) effect and the scalability of this platform, we demonstrate photonic computation at speeds up to 1.36 TOPS while consuming 0.057 pJ/OP. Our system features more than 100 thin-film lithium niobate high-performance components working synergistically, surpassing state-of-the-art systems on this platform. We further demonstrate binary-classification, handwritten-digit classification, and image classification with remarkable accuracy, showcasing our system's capability of executing real algorithms. Finally, we investigate the opportunities offered by combining our system with a hybrid-integrated distributed feedback laser source and a heterogeneous-integrated modified uni-traveling carrier photodiode. Our results illustrate the promise of thin-film lithium niobate as a computational platform, addressing current bottlenecks in both electronic and photonic computation. Its unique properties of high-performance electro-optic weight encoding and conversion, wafer-scale scalability, and compatibility with integrated lasers and detectors, position thin-film lithium niobate photonics as a valuable complement to silicon photonics, with extensions to applications in ultrafast and power-efficient signal processing and ranging.

In the AdS/CFT correspondence, direct scattering in the bulk may not have a local boundary analog. A nonlocal implementation on the boundary requires $O(1/G_N)$ mutual information. This statement is formalized by the connected wedge theorem, which can be proven using general relativity within AdS$_3$ but also by applying quantum information theory on the boundary, suggesting that the theorem applies to any holographic duality. We examine scattering within the static patch of asymptotically dS$_3$ spacetime, which is conjectured to be described by a quantum theory on the stretched horizon in static patch holography. We prove that causality on the horizon should be induced from null infinities $\mathcal{I}^{\pm}$ to maintain consistency with the theorem. Specifically, signals propagating in the static patch are associated with local operators at $\mathcal{I}^{\pm}$. Our results suggest a novel connection between static patch holography and the dS/CFT correspondence., Comment: 45 pages, 13 figures

In this paper, we study geostrophic turbulence without external forcing or dissipation, using a Casimir-preserving numerical method. The research examines the formation of large zonal jets, common in geophysical flows, especially in giant gas planets. These jets form due to the east-west stretching of vortices, influenced by the gradient of the Coriolis parameter, leading to a critical latitude beyond which jets do not form. Using a global quasi-geostrophic model with a fully latitude-dependent Coriolis parameter, we investigate this critical latitude, which is theorized to depend only on the product of the Rossby number and the Lamb parameter. By simulating random flow fields, the critical latitude was identified through zonally averaged zonal velocity profiles. Results align with geostrophic theory, especially near typical Rossby and Lamb parameter values for Earth's atmosphere. However, in the regime of weak rotation (high Rossby numbers) and strong stratification (high Lamb values), no clear critical latitude emerges; instead, zonal jet amplitude and width decrease gradually towards the poles. This research paves the way for further study of jet dynamics under a fully latitude-dependent Coriolis parameter.

Accurate long-term predictions of large-scale flow features on planets are crucial for understanding global atmospheric and oceanic systems, necessitating the development of numerical methods that can preserve essential physical structures over extended simulation periods without excessive computational costs. Recent advancements in the study of global single-layer barotropic models have led to novel numerical methods based on Lie-Poisson discretization that preserve energy, enstrophy and higher-order moments of potential vorticity. This work extends this approach to more complex stratified quasi-geostrophic (QG) systems on the sphere. In this work, we present a formulation of the multi-layer QG equations on the full globe. This allows for extending the Lie-Poisson discretization to multi-layer QG models, ensuring consistency with the underlying structure and enabling long-term simulations without additional regularization. The numerical method is benchmarked through simulations of forced geostrophic turbulence and the long-term behaviour of unforced multi-layered systems. These results demonstrate the structure-preserving properties and robustness of the proposed numerical method, paving the way for a better understanding of the role of high-order conserved quantities in large-scale geophysical flow dynamics.

Thin-film lithium niobate (TFLN) has emerged as a promising platform for the realization of high performance chip-scale optical systems, spanning a range of applications from optical communications to microwave photonics. Such applications rely on the integration of multiple components onto a single platform. However, while many of these components have already been demonstrated on the TFLN platform, to date, a major bottleneck of the platform is the existence of a tunable, high-power, and narrow-linewidth on-chip laser. Here, we address this problem using photonic wire bonding to integrate optical amplifiers with a thin-film lithium niobate feedback circuit, and demonstrate an extended cavity diode laser yielding high on-chip power of 78 mW, side mode suppression larger than 60 dB and wide wavelength tunability over 43 nm. The laser frequency stability over short timescales shows an ultra-narrow intrinsic linewidth of 550 Hz. Long-term recordings indicate a high passive stability of the photonic wire bonded laser with 58 hours of mode-hop-free operation, with a trend in the frequency drift of only 4.4 MHz/h. This work verifies photonic wire bonding as a viable integration solution for high performance on-chip lasers, opening the path to system level upscaling and Watt-level output powers., Comment: 10 pages, 4 figures; updated long-term stability measurements with new and improved data

AuDaLa is a recently introduced programming language that follows the new data autonomous paradigm. In this paradigm, small pieces of data execute functions autonomously. Considering the paradigm and the design choices of AuDaLa, it is interesting to determine the expressiveness of the language and to create verification methods for it. In this paper, we take our first steps to such a verification method by implementing Turing machines in AuDaLa and proving that implementation correct. This also proves that AuDaLa is Turing complete., Comment: To be published in the proceedings of FORTE 2024. This version contains the appendices as referred to in the version to be published

Considering two antipodal observers in de Sitter space, we illustrate how spacetime connectivity between the holographic screens located on the (stretched) horizons emerges from holographic entanglement. To do so, we construct a covariant holographic entanglement entropy prescription in de Sitter space, including quantum corrections. While this prescription is inspired by the bilayer proposal, we argue that the monolayer proposal appears to be inconsistent. Entanglement wedge reconstruction implies an extension of static patch holography where the exterior region connecting the static patches is included, and reconstructible from the two screens. A phase transition occurs where there is an exchange of dominance between two competing quantum extremal surfaces, leading to a transfer of the encoding of the exterior region from one screen to the other. The effects in the bulk of integrating out degrees of freedom from the screens are discussed., Comment: Based on a talk given at the Corfu Summer Institute 2023 "School and Workshops on Elementary Particle Physics and Gravity'' (CORFU2023), 23 April - 6 May , and 27 August - 1 October, 2023, Corfu, Greece. 16 pages + references, 5 Figures

We present a geometric derivation of the quasi-geostrophic equations on the sphere, starting from the rotating shallow water equations. We utilise perturbation series methods in vorticity and divergence variables. The derivation employs asymptotic analysis techniques, leading to a global quasi-geostrophic potential vorticity model on the sphere without approximation of the Coriolis parameter. The resulting model forms a closed system for the evolution of potential vorticity with a rich mathematical structure, including Lagrangian and Hamiltonian descriptions. Formulated using the Lie-Poisson bracket reveals the geometric invariants of the quasi-geostrophic model. Motivated by these geometric results, simulations of quasi-geostrophic flow on the sphere are presented based on structure-preserving Lie-Poisson time-integration. We explicitly demonstrate the preservation of Casimir invariants and show that the hyperbolic quasi-geostrophic equations can be simulated in a stable manner over long time. We show the emergence of longitudonal jets, wrapped around the circumference of the sphere in a general direction that is perpendicular to the axis of rotation., Comment: 16 pages, 12 figures, first version - all comments are welcome!

A closure model is presented for large-eddy simulation (LES) based on the three-dimensional variational data assimilation algorithm. The approach aims at reconstructing high-fidelity kinetic energy spectra in coarse numerical simulations by including feedback control to represent unresolved dynamics interactions in the flow as stochastic processes. The forcing uses statistics obtained from offline high-fidelity data and requires only few parameters compared to the number of degrees of freedom of LES. This modeling strategy is applied to geostrophic turbulence on the sphere and enables simulating indefinitely at reduced costs. It proves to accurately recover the energy spectra and the zonal velocity profiles in the coarse model, for three generic situations., Comment: 18 pages, 17 figures

We prove the Strominger-Thompson quantum Bousso bound in the infinite class of conformal vacua in semiclassical JT gravity, with postive or negative cosmological constant. The Bousso-Fisher-Leichenauer-Wall quantum Bousso bound follows from an analogous derivation, requiring only initial quantum non-expansion. In this process, we show that the quantity ${2\pi k^{\mu}k^{\nu}<:T_{\mu\nu}:>-S''-\frac{6}{c}(S')^2}$ vanishes in any vacuum state, entailing a stronger version of Wall's quantum null energy condition. We derive an entropy formula in the presence of a generic class of two reflecting boundaries, in order to apply our argument to the half reduction model of de Sitter JT gravity., Comment: 46 pages, 5 figures. Published version

We extend a recent de Sitter holographic proposal and entanglement entropy prescription to generic closed FRW cosmologies in arbitrary dimensions, and propose that for large classes of bouncing and Big Bang/Big Crunch cosmologies, the full spacetime can be encoded holographically on two holographic screens, associated to two antipodal observers. In the expanding phase, the two screens lie at the apparent horizons. In the contracting phase, there is an infinite number of possible trajectories of the holographic screens, which can be grouped in equivalence classes. In each class the effective holographic theory can be derived from a pair of ``parent'' screens on the apparent horizons. A number of cases including moduli dominated cosmologies escape our discussion, and it is expected that two antipodal observers and their associated screens do not suffice to reconstruct these cosmologies. The leading contributions to the entanglement entropy between the screens arise from a minimal extremal trapped or anti-trapped surface lying in the region between them. This picture entails a time-dependent realization of the ER=EPR conjecture, where an effective geometrical bridge connecting the screens via the minimal extremal surface emerges from entanglement. For the Big Crunch contracting cases, the screens disentangle and the geometrical bridge closes off when the minimal extremal trapped sphere hits the Big Crunch singularity at a finite time before the collapse of the Universe. Semiclassical, thermal corrections are incorporated in the cases of radiation dominated cosmologies., Comment: 60 pages + 3 appendices, 20 figures. Published version

Climate change mitigation in urban mobility requires policies reconfiguring urban form to increase accessibility and facilitate low-carbon modes of transport. However, current policy research has insufficiently assessed urban form effects on car travel at three levels: (1) Causality -- Can causality be established beyond theoretical and correlation-based analyses? (2) Generalizability -- Do relationships hold across different cities and world regions? (3) Context specificity -- How do relationships vary across neighborhoods of a city? Here, we address all three gaps via causal graph discovery and explainable machine learning to detect urban form effects on intra-city car travel, based on mobility data of six cities across three continents. We find significant causal effects of urban form on trip emissions and inter-feature effects, which had been neglected in previous work. Our results demonstrate that destination accessibility matters most overall, while low density and low connectivity also sharply increase CO$_2$ emissions. These general trends are similar across cities but we find idiosyncratic effects that can lead to substantially different recommendations. In more monocentric cities, we identify spatial corridors -- about 10--50 km from the city center -- where subcenter-oriented development is more relevant than increased access to the main center. Our work demonstrates a novel application of machine learning that enables new research addressing the needs of causality, generalizability, and contextual specificity for scaling evidence-based urban climate solutions., Comment: 32 pages, 24 figures, 6 tables