Related papers: Logic Operations Demonstrated with Localized Vibra…
It is well known that a moving intrinsic localized mode (ILM) in a nonlinear physical lattice looses energy because of the resonance between it and the underlying small amplitude plane wave spectrum. By exploring the Fourier transform (FT)…
The goal of this work is to lay the groundwork to construct and characterize a quantum device; which we refer to as a superfluid ring lattice; that could serve as a multi-qubit system in the future. Accordingly, a mathematical framework,…
In this paper, we present an exploration of LLMs' abilities to problem solve with physical reasoning in situated environments. We construct a simple simulated environment and demonstrate examples of where, in a zero-shot setting, both text…
Cyber-physical systems (CPS) require the joint optimization of discrete cyber actions and continuous physical parameters under stringent safety logic constraints. However, existing hierarchical approaches often compromise global optimality,…
In this work we propose a ratchet effect which provides a general means of performing clocked logic operations on discrete particles, such as single electrons or vortices. The states are propagated through the device by the use of an…
Inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for a hypothesis that generalises training examples and background knowledge. We introduce an approach that 'shrinks' the…
In this work, we investigate theoretically and demonstrate experimentally the existence of valley-Hall edge states in the in-plane dynamics of honeycomb lattices with bi-valued strut thickness. We exploit these states to achieve non-trivial…
We conduct an extensive study of nonlinear localized modes (NLMs), which are temporally periodic and spatially localized structures, in a two-dimensional array of repelling magnets. In our experiments, we arrange a lattice in a hexagonal…
Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support. In…
We prove the existence of exponentially localised and time-periodic solutions in general nonlinear Hamiltonian lattice systems. Like normal modes, these localised solutions are characterised by collective oscillations at the lattice sites…
Optical lattices formed by interfering laser beams are widely used to trap and manipulate atoms for quantum simulation, metrology, and computation. To stabilize optical lattices in experiments, it is usually challenging to implement…
The engineering of localised modes in photonic structures is one of the main targets of modern photonics. An efficient strategy to design these modes is to use the interplay of constructive and destructive interference in periodic photonic…
We study localized modes on a single Ablowitz-Ladik impurity embedded in the bulk or at the surface of a one-dimensional linear lattice. Exact expressions are obtained for the bound state profile and energy. Dynamical excitation of the…
We report on low temperature measurements performed on micro-electro-mechanical systems (MEMS) driven deeply into the non-linear regime. The materials are kept in their elastic domain, while the observed non-linearity is purely of…
Temporal logic task planning for robotic systems suffers from state explosion when specifications involve large numbers of discrete locations. We provide a novel approach, particularly suited for tasks specifications with universally…
Inference-time LLM alignment methods, particularly activation steering, offer an alternative to fine-tuning by directly modifying activations during generation. Existing methods, however, often rely on non-anticipative interventions that…
Understanding how Large Language Models (LLMs) perform logical reasoning internally remains a fundamental challenge. While prior mechanistic studies focus on identifying taskspecific circuits, they leave open the question of what…
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of continuous systems. In this paper, we propose an interval method that verifies the properties described by a bounded signal temporal logic.…
Many-body localization provides a generic mechanism of ergodicity breaking in quantum systems. In contrast to conventional ergodic systems, many-body localized (MBL) systems are characterized by extensively many local integrals of motion…
Due to their rich level structure, molecules are well-suited for probing time variation of fundamental constants, precisely measuring parity violation and time-reversal non-invariance effects, studying quantum mechanical aspects of chemical…