Related papers: Deterministic 2-Dimensional Temperature-1 Tile Ass…
Thermal-Aware Scheduling (TAS) provides methods to manage the thermal dissipation of a computing chip during task execution. These methods aim to avoid issues such as accelerated aging of the device, premature failure and degraded chip…
A binary liquid near its consolute point exhibits critical fluctuations of the local composition; the diverging correlation length has always challenged simulations. The method of choice for the calculation of critical points in the phase…
We prove that at all positive temperatures in the bulk of a classical two-dimensional one-component plasma (also called Coulomb or log-gas, or jellium) the variance of the number of particles in large disks grows (strictly) more slowly than…
We propose the concept of global temperature for spatially non-uniform heat conduction systems. With this novel quantity, we present an extended framework of thermodynamics for the whole system such that the fundamental relation of…
Although the physical properties of the 2D and 1D Ising models are quite different, we point out an interesting connection between their complex-temperature phase diagrams. We carry out an exact determination of the complex-temperature…
The enthalpy method for the thermodynamics of polythermal glaciers and ice sheets is tested and verified by a one-dimensional problem (parallel-sided slab). The enthalpy method alone does not include explicitly the transition conditions at…
This study develops a novel multiscale computational method for heat conduction problems of composite structures with diverse periodic configurations in different subdomains. Firstly, the second-order two-scale (SOTS) solutions for these…
We design a Quasi-Polynomial time deterministic approximation algorithm for computing the integral of a multi-dimensional separable function, supported by some underlying hyper-graph structure, appropriately defined. Equivalently, our…
This study proposes a high-order multi-scale method tailored for time-dependent nonlinear thermo-electro-mechanical coupling problems of composite structures with highly spatial heterogeneity, which incorporate temperature-dependent…
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical…
We investigate the theory of thermodynamic formalism from the perspective of computable analysis, with a special focus on the computability of equilibrium states. Specifically, we develop two complementary general approaches to verify the…
We present a series of results related to mathematical models of self-assembling tiles and the impacts that three diverse properties have on their dynamics. We expand upon a series of prior results which showed that (1) the abstract Tile…
Given a periodic placement of copies of a tromino (either L or I), we prove co-RE-completeness (and hence undecidability) of deciding whether it can be completed to a plane tiling. By contrast, the problem becomes decidable if the initial…
We study thermodynamics of strongly coupled lattice QCD with $two$ colors of staggered fermions in $(2+1)$ dimensions. The partition function of this model can be written elegantly as a statistical mechanics of dimers and baryonloops. The…
The phase diagram of a material is of central importance to describe the properties and behaviour of a condensed matter system. We prove that the general task of determining the quantum phase diagram of a many-body Hamiltonian is…
Optimally doped ceramic superconductors (cuprates, pnictides, ...) exhibit transition temperatures Tc much larger than strongly coupled metallic superconductors like Pb (Tc= 7.2K, Eg/kTc = 4.5), and exhibit many universal features that…
We show that coupled autonomous thermal machines, in the presence of three heat reservoirs and following a global linear-irreversible description, provide a unified framework to accommodate the variety of expressions for the efficiency at…
If a map has k transitivity classes of vertices that are subject to the action of the automorphism group, it is said to be k-uniform. The classification of 1-uniform maps on the torus is known. In this article, we classify 2-uniform maps on…
We construct a 2+1 dimensional model that sustains superconductivity at all temperatures. This is achieved by introducing a Chern Simons mixing term between two Abelian gauge fields A and Z. The superfluid is described by a complex scalar…
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…