Verifying proofs in constant depth

In this paper we initiate the study of proof systems where verification of proofs proceeds by NC circuits. We investigate the question which languages admit proof systems in this very restricted model. Formulated alternatively, we ask which languages can be enumerated by NC functions. Our results show that the answer to this problem is not determined by the complexity of the language. On the one hand, we construct NC proof systems for a variety of languages ranging from regular to NP-complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit NC proof systems. We also present a general construction of proof systems for regular languages with strongly connected NFA's

Fractional Fokker-Planck Equations for Subdiffusion with Space-and-Time-Dependent Forces

We have derived a fractional Fokker-Planck equation for subdiffusion in a general space-and- time-dependent force field from power law waiting time continuous time random walks biased by Boltzmann weights. The governing equation is derived from a generalized master equation and is shown to be equivalent to a subordinated stochastic Langevin equation.Comment: 5 page

Delivering Long-Term Services to Ohio Elders: Good Progress, but Challenges Await

This study describes the changes in Ohio's approach to delivering long-term services that have occurred in the last 20 years

The role of the nature of the noise in the thermal conductance of mechanical systems

Focussing on a paradigmatic small system consisting of two coupled damped oscillators, we survey the role of the L\'evy-It\^o nature of the noise in the thermal conductance. For white noises, we prove that the L\'evy-It\^o composition (Lebesgue measure) of the noise is irrelevant for the thermal conductance of a non-equilibrium linearly coupled chain, which signals the independence between mechanical and thermodynamical properties. On the other hand, for the non-linearly coupled case, the two types of properties mix and the explicit definition of the noise plays a central role.Comment: 9 pages, 2 figures. To be published in Physical Review

Transition Densities and Traces for Invariant Feller Processes on Compact Symmetric Spaces

We find necessary and sufficient conditions for a finite K–bi–invariant measure on a compact Gelfand pair (G, K) to have a square–integrable density. For convolution semigroups, this is equivalent to having a continuous density in positive time. When (G, K) is a compact Riemannian symmetric pair, we study the induced transition density for G–invariant Feller processes on the symmetric space X = G/K. These are obtained as projections of K–bi–invariant L´evy processes on G, whose laws form a convolution semigroup. We obtain a Fourier series expansion for the density, in terms of spherical functions, where the spectrum is described by Gangolli’s L´evy–Khintchine formula. The density of returns to any given point on X is given by the trace of the transition semigroup, and for subordinated Brownian motion, we can calculate the short time asymptotics of this quantity using recent work of Ba˜nuelos and Baudoin. In the case of the sphere, there is an interesting connection with the Funk–Hecke theorem