Related papers: Efficient Squares and Turing Universality at Tempe…
In geometrically frustrated assemblies, equilibrium self-limitation manifests in the form of a minimum in the free energy per subunit at a finite, multi-subunit size which results from the competition between the elastic costs of…
Shape Memory Alloys (SMAs) are a unique class of intermetallic alloys that can cyclically sustain large deformations and recover a designed geometry through a solid-to-solid phase transformation. SMAs provide favorable actuation energy…
Tur\'an problems in extremal combinatorics ask to find asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful methods based on…
In existing general-purpose architectures for surface-code-based fault-tolerant quantum computers, the cost of a quantum computation is determined by the circuit volume, i.e., the number of qubits multiplied by the number of non-Clifford…
The energy efficiency and power of a three-terminal thermoelectric nanodevice are studied by considering elastic tunneling through a single quantum dot. Facilitated by the three-terminal geometry, the nanodevice is able to generate…
Athermal (i.e. zero-temperature) under-constrained systems are typically floppy, but they can be rigidified by the application of external strain. Following our recently developed analytical theory for the athermal limit, here and in the…
We prove that an effective temperature naturally emerges from the algorithmic structure of a regular universal Turing machine (UTM), without introducing any external physical parameter. In particular, the redundancy growth of the machine's…
We establish a structure theorem for the family of Ammann A2 tilings of the plane. Using that theorem we show that every Ammann A2 tiling is self-similar in the sense of [B. Solomyak, Nonperiodicity implies unique composition for…
A programmable linear resistor with a compact footprint would have profound implications for microelectronics, enabling efficient in-sensor analog signal processing and in-memory computing. Non-volatile memory offers a potential solution…
Clift and Murfet (2019) introduced a naive Bayesian smooth relaxation of Turing machines motivated by work in differential linear logic; this was subsequently used to endow spaces of program codes of bounded length with a smooth manifold…
The emerging field of passive macro-scale tile-based self-assembly (TBSA) shows promise in enabling effective manufacturing processes by harnessing TBSA's intrinsic parallelism. However, current TBSA methodologies still do not fulfill their…
In this paper we introduce new classes of gluing of complex analytic spaces germs, called weakly large, large and strongly large. We give a description of their Poincar\'e series and, as applications, we give numerical criteria to determine…
Let $\mathcal{T}$ be a locally finite tree, $\Gamma$ be a discrete subgroup of $\textrm{Aut}(\mathcal{T})$ and $\widetilde{F}$ be a $\Gamma$-invariant potential. Suppose that the length spectrum of $\Gamma$ is not arithmetic. In this case,…
The thermodynamic stability of germanium tin $\mathrm{Ge_{1-x}Sn_x}$ alloys is investigated across the composition range $0 \le x \le 1$ by applying density functional theory (DFT) together with the cluster expansion formalism (CE). It is…
In this paper, we construct a large class of new simple modules over the twisted $N=2$ superconformal algebra. These new simple modules are restricted modules based on the simple modules over certain finite-dimensional solvable Lie…
Ab initio-calculated ideal strength and toughness describe the upper limits for mechanical properties attainable in real systems and can, therefore, be used in selection criteria for materials design. We employ density-functional ab initio…
A novel algorithm for producing smooth nonlinearities on digital hardware is presented. The non-linearities are inherently quadratic and have both symmetrical and asymmetrical variants. The integer (and fixed point) implementation is highly…
It has been shown that four dimensional N=2 gauge theories, softly broken to N=1 by a superpotential term, can accommodate metastable non-supersymmetric vacua in their moduli space. We study the SU(2) theory at high temperatures in order to…
We consider a new family $(\mathcal{T}_n)_{n\geq1}$ of aperiodic sets of Wang tiles and we describe the dynamical properties of the set $\Omega_n$ of valid configurations $\mathbb{Z}^2\to\mathcal{T}_n$. The tiles can be defined as the…
The Church-Turing thesis states that any sufficiently powerful computational model which captures the notion of algorithm is computationally equivalent to the Turing machine. This equivalence usually holds both at a computability level and…