Related papers: An Example of a Right Loop Admitting Only Discrete…

We introduce an aggregation process based on \emph{templating}, where a specified number of constituent clusters must assemble on a larger aggregate, which serves as a scaffold, for a reaction to occur. A simple example is a dimer scaffold,…

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of…

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable…

We isolate a combinatorial property of capacities leading to a construction of proper forcings. Then we show that many classical capacities such as the Newtonian capacity satisfy the property.

The one-clean qubit model (or the DQC1 model) is a restricted model of quantum computing where only a single qubit of the initial state is pure and others are maximally mixed. Although the model is not universal, it can efficiently solve…

In many settings it is important for one to be able to understand why a model made a particular prediction. In NLP this often entails extracting snippets of an input text `responsible for' corresponding model output; when such a snippet…

Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular,…

In this article, we introduce symplectic reduction in the framework of nonrational toric geometry. When we specialize to the rational case, we get symplectic reduction for the action of a general, not necessarily closed, Lie subgroup of the…

In "A Hosse diagram for rational toral tanks," we see a CW complex ${\mathcal T}(X)$, which gives a rational homotopical classification of almost free toral actions on spaces in the rational homotopy type of $X$ associated with rational…

We offer a counterexample to a theorem in the literature and then repair the theorem as follows: The fundamental group of a locally path connected metric space inherits the discrete topology in a natural way if and only if the underlying…

We consider synchronous iterative voting, where voters are given the opportunity to strategically choose their ballots depending on the outcome deduced from the previous collective choices.We propose two settings for synchronous iterative…

This is an addendum to the paper "Some models of spin coherence and decoherence in storage rings" by one of the authors [1] in which spin diffusion in simple electron storage rings is studied. In particular, we illustrate in a compact way,…

We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by…

In this note we introduce a new kind of augmentation of filtrations along a sequence of stopping times. This augmentation is suitable for the construction of new probability measures associated to a positive strict local martingale as done…

Quantum corrections of certain types and relevant in certain regimes can be summarised in terms of an effective action calculable, in principle, from the underlying theory. The demands of symmetries, local form of terms and dimensional…

Tokenization, the division of input text into input tokens, is an often overlooked aspect of the large language model (LLM) pipeline and could be the source of useful or harmful inductive biases. Historically, LLMs have relied on byte pair…

We observe an unusual tunneling magnetoresistance (TMR) phenomenon in a composite of La$_{2/3}$Sr$_{1/3}$MnO$_{3}$ with CoFe$_{2}$O$_{4}$ where the TMR versus applied magnetic field loop suggests a "negative coercive field". Tracing its…

Unidirectional (chiral) emission of light from a circular dipole emitter into a waveguide is only possible at points of perfect circular polarisation (C points), with elliptical polarisations yielding a lower directional contrast. However,…

We discuss a specific entanglement distillation scheme under the constraint of finite samples of entangled qubit pairs. It is shown that an iterative process can be explicitly formulated. The average fidelity of this process can be enhanced…

We study a class of interacting particle systems in which $n$ signed particles move on the real line. At close range particles with the same sign repel and particles with opposite sign attract each other. The repulsion and attraction are…