Related papers: Effective closed subshifts in 1D can be implemente…

All finite sets of equiangular lines spanning finite-dimensional unitary spaces are determined for which the action on the lines of the set-stabilizer in the unitary group is 2-transitive with a regular normal subgroup.

This paper presents bilateral control laws for one-dimensional(1-D) linear 2x2 hyperbolic first-order systems (with spatially varying coefficients). Bilateral control means there are two actuators at each end of the domain. This situation…

We prove that every 2-local automorphism of the unitary group or the general linear group on a complex infinite-dimensional separable Hilbert space is an automorphism. Thus these types of transformations are completely determined by their…

In this paper, we propose a novel lower dimensional representation of a shape sequence. The proposed dimension reduction is invertible and computationally more efficient in comparison to other related works. Theoretically, the differential…

A consistent formulation of a fully supersymmetric theory on the lattice has been a long standing challenge. In recent years there has been a renewed interest on this problem with different approaches. At the basis of the formulation we…

We propose a lattice action for two dimensional super Yang-Mills theory with a twisted N=2 supersymmetry. The extended supersymmetry is fully and exactly realized on the lattice. The method employed is quite general and its extension to the…

We show that local correlators in a wide class of kicked chains can be calculated exactly at light cone edges. Extending previous works on dual-unitary systems, the correlators between local operators are expressed through the expectation…

In this paper, we investigate the Douglas-Rachford method for two closed (possibly nonconvex) sets in Euclidean spaces. We show that under certain regularity conditions, the Douglas-Rachford method converges locally with R-linear rate. In…

Inspired by the modelization of 2D materials systems, we characterize arrangements of identical nonflat squares in 3D. We prove that the fine geometry of such arrangements is completely characterized in terms of patterns of mutual…

The method of alternating projections involves orthogonally projecting an element of a Hilbert space onto a collection of closed subspaces. It is known that the resulting sequence always converges in norm if the projections are taken…

We prove that solutions to elliptic equations in two variables in divergence form, possibly non-selfadjoint and with lower order terms, satisfy the strong unique continuation property.

This short survey of recent work in tile self-assembly discusses the use of simulation to classify and separate the computational and expressive power of self-assembly models. The journey begins with the result that there is a single…

In this paper we study one-dimensional conformal field theory at finite temperature dual to the two-dimensional anti-de Sitter spacetime in the Rindler coordinates. We show that conformal symmetry for thermal two-point functions manifests…

For a fixed topological Markov shift, we consider measure-preserving dynamical systems of Gibbs measures for 2-locally constant functions on the shift. We also consider isomorphisms between two such systems. We study the set of all…

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…

We prove that every locally constant constructive function on an interval is in fact a constant function. This answers a question formulated by Andrej Bauer. As a related result we show that an interval consisting of constructive real…

In this paper, we extend a Ma\~n\'e's famous result on expansive homeomorphisms, originally presented in [17], to the setting of flows. Specifically, we provide a complete characterization of minimal expansive flows without fixed points on…

We establish some new common fixed point theorems of single-valued and multivalued mappings operating between complete ordered locally convex spaces under weaker assumptions. As an application, we prove a new minimax theorem of existence of…

We investigate uniform ergodic type theorems for additive and subadditive functions on a subshift over a finite alphabet. We show that every strictly ergodic subshift admits a uniform ergodic theorem for Banach-space-valued additive…

One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is…