Related papers: Efficient Squares and Turing Universality at Tempe…
Wolfram [2, p. 707] and Cook [1, p. 3] claim to prove that a (2,5) Turing machine (2 states, 5 symbols) is universal, via a universal cellular automaton known as Rule 110. The first part of this paper points out a critical gap in their…
Let $\Lambda$ be a radical square zero Nakayama algebra with $n$ simple modules and let $\Gamma$ be the Auslander algebra of $\Lambda$. Then every indecomposable direct summand of a tilting $\Gamma$-module is either simple or projective.…
Algorithmic self-assembly, a generalization of crystal growth processes, has been proposed as a mechanism for autonomous DNA computation and for bottom-up fabrication of complex nanostructures. A `program' for growing a desired structure…
We consider generalized quantum Ising models, including those which could describe disordered materials or quantum annealers, and we prove that for all temperatures above a system-size independent threshold the path integral Monte Carlo…
Additively manufactured (AM) aluminum alloys with high strength and thermal stability have broad applications in turbine engines, vacuum pumps, heat exchangers, and many other industrial systems. Employing precipitates with an L1$_2$…
We consider the statistical mechanical ensemble of bit string histories that are computed by a universal Turing machine. The role of the energy is played by the program size. We show that this ensemble has a first-order phase transition at…
Previous experiments and numerical simulations have revealed that a limited number of two- and three-dimensional particle systems contract in volume upon heating isobarically. This anomalous phenomenon is known as negative thermal expansion…
Analytical framework for predicting General Matrix Multiplication (GEMM) performance on modern GPUs, focusing on runtime, power consumption, and energy efficiency. Our study employs two approaches: a custom-implemented tiled matrix…
We derive a universal thermal effective potential, which describes all possible high-temperature instabilities of the known N=4 superstrings, using the properties of gauged N=4 supergravity. These instabilities are due to three…
We consider a model of algorithmic self-assembly of geometric shapes out of square Wang tiles studied in SODA 2010, in which there are two types of tiles (e.g., constructed out of DNA and RNA material) and one operation that destroys all…
We formulate a mixed-state analog of the NLTS conjecture [FH14] by asking whether there exist topologically-ordered systems for which the thermal Gibbs state for constant temperature is globally-entangled in the sense that it cannot even be…
We consider a quantum system of fixed size consisting of a regular chain of $n$-level subsystems, where $n$ is finite. Forming groups of $N$ subsystems each, we show that the strength of interaction between the groups scales with $N^{-…
In this paper, we analyze the problem of finding the minimum dimension $n$ such that a closed-form analytic map/ordinary differential equation can simulate a Turing machine over $\mathbb{R}^{n}$ in a way that is robust to perturbations. We…
We thoroughly investigate nonanalytic terms in the finite-temperature effective potential in one-loop approximation on a $D$-dimensional spacetime, $S_{\tau}\times R^{D-(p+1)}\times \prod_{i=1}^p S_i^1$, using a mode recombination formula.…
We consider tiles (dimers) each of which covers two vertices of a rectangular lattice. There is a normalized translation invariant weighting on the shape of the tiles. We study the pressure, p, or entropy, (one over the volume times the…
Recent advances in the understanding and control of quantum technologies, such as those based on cold atoms, have resulted in devices with extraordinary metrological sensitivities. To realise this potential outside of a lab environment the…
Generic computability has been studied in group theory and we now study it in the context of classical computability theory. A set A of natural numbers is generically computable if there is a partial computable function f whose domain has…
The design of irregular planar phased arrays (PAs) characterized by a highly-modular architecture is addressed. By exploiting the property of self-replicating tile shapes, also known as rep-tiles, the arising array layouts consist of tiles…
We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union…
Accurate understanding and control of interfacial adhesion between Cu and Ta$_x$N diffusion barriers are essential for ensuring the mechanical reliability and integrity of Cu interconnect systems in semiconductor devices. Amorphous tantalum…