Non-equilibrium Relations for Spin Glasses with Gauge Symmetry

We study the applications of non-equilibrium relations such as the Jarzynski equality and fluctuation theorem to spin glasses with gauge symmetry. It is shown that the exponentiated free-energy difference appearing in the Jarzynski equality reduces to a simple analytic function written explicitly in terms of the initial and final temperatures if the temperature satisfies a certain condition related to gauge symmetry. This result is used to derive a lower bound on the work done during the non-equilibrium process of temperature change. We also prove identities relating equilibrium and non-equilibrium quantities. These identities suggest a method to evaluate equilibrium quantities from non-equilibrium computations, which may be useful to avoid the problem of slow relaxation in spin glasses.Comment: 8 pages, 2 figures, submitted to JPS

Topological Optimization of the Evaluation of Finite Element Matrices

We present a topological framework for finding low-flop algorithms for evaluating element stiffness matrices associated with multilinear forms for finite element methods posed over straight-sided affine domains. This framework relies on phrasing the computation on each element as the contraction of each collection of reference element tensors with an element-specific geometric tensor. We then present a new concept of complexity-reducing relations that serve as distance relations between these reference element tensors. This notion sets up a graph-theoretic context in which we may find an optimized algorithm by computing a minimum spanning tree. We present experimental results for some common multilinear forms showing significant reductions in operation count and also discuss some efficient algorithms for building the graph we use for the optimization

Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program

Computer programs may go wrong due to exceptional behaviors, out-of-bound array accesses, or simply coding errors. Thus, they cannot be blindly trusted. Scientific computing programs make no exception in that respect, and even bring specific accuracy issues due to their massive use of floating-point computations. Yet, it is uncommon to guarantee their correctness. Indeed, we had to extend existing methods and tools for proving the correct behavior of programs to verify an existing numerical analysis program. This C program implements the second-order centered finite difference explicit scheme for solving the 1D wave equation. In fact, we have gone much further as we have mechanically verified the convergence of the numerical scheme in order to get a complete formal proof covering all aspects from partial differential equations to actual numerical results. To the best of our knowledge, this is the first time such a comprehensive proof is achieved.Comment: N° RR-8197 (2012). arXiv admin note: text overlap with arXiv:1112.179

Transhumanism and/as Whiteness

Transhumanism is interrogated from critical race theoretical and decolonial perspectives with a view to establishing its ‘algorithmic’ relationship to historical processes of race formation (or racialization) within Euro-American historical experience. Although the Transhumanist project is overdetermined vis-à-vis its raison-d’être, it is argued that a useful way of thinking about this project is in terms of its relationship to the shifting phenomenon of ‘whiteness’. It is suggested that Transhumanism constitutes a techno-scientific response to the phenomenon of ‘White Crisis’ at least partly prompted by ‘critical’ posthumanist contestation of Eurocentrically-universal humanism