Related papers: Extensional Uniformity for Boolean Circuits
Most work on the verification of concurrent objects for shared memory assumes sequential consistency, but most multicore processors support only weak memory models that do not provide sequential consistency. Furthermore, most verification…
Distinguishability takes a crucial rule in studying observability of hybrid system such as switched system. Recently, for two linear systems, Lou and Si gave a condition not only necessary but also sufficient to the distinguishability of…
Contextuality was originally defined only for consistently connected systems of random variables (those without disturbance/signaling). Contextuality-by-Default theory (CbD) offers an extension of the notion of contextuality to…
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…
There has been recent interest in conformal twisted boundary conditions and their realisations in solvable lattice models. For the Ising and Potts quantum chains, these amount to boundary terms that are related to duality, which is a proper…
This was submitted as a final project for CS254B, taught by Li Yang Tan and Tom Knowles. The field of Circuit Complexity utilises careful analysis of Boolean Circuit Functions in order to extract meaningful information about a range of…
The conditionality principle $C$ plays a key role in attempts to characterize the concept of statistical evidence. The standard version of $C$ considers a model and a derived conditional model, formed by conditioning on an ancillary…
We study the complexity of the model checking problem, for fixed model A, over certain fragments L of first-order logic. These are sometimes known as the expression complexities of L. We obtain various complexity classification theorems for…
We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the…
Our main contributions can be divided in three parts: (1) Fixpoint extensions of first-order logic: we give a precise syntactic and semantic characterization of the relationship between $\mathrm{FO(TC^1)}$ and $\mathrm{FO(LFP)}$; (2)…
In this article, after recalling and discussing the conventional extremality, local extremality, stationarity and approximate stationarity properties of collections of sets and the corresponding (extended) extremal principle, we focus on…
This paper suggests a [email protected] of composable specification of concurrent programs that permits: (1) verification of program code for a given specification, and (2) composition of the specifications of the components to yield…
We construct a conformally invariant vector bundle connection such that its equation of parallel transport is a first order system that gives a prolongation of the conformal Killing equation on differential forms. Parallel sections of this…
We give some classes of power maps with low $c$-differential uniformity over finite fields of odd characteristic, {for $c=-1$}. Moreover, we give a necessary and sufficient condition for a linearized polynomial to be a perfect $c$-nonlinear…
We give a survey of the known connections between regularity conditions and amenability conditions in the setting of uniform algebras. For a uniform algebra $A$ we consider the set, $A_{lc}$, of functions in $A$ which are locally constant…
The effects of a boundary on the circuit complexity are studied in two dimensional theories. The analysis is performed in the holographic realization of a conformal field theory with a boundary by employing different proposals for the dual…
We note that for each k \in {0,1,2, ...} the following holds: NE has (nonuniform) ACC^k circuits if and only if NE has P^{NE}-uniform ACC^k circuits. And we mention how to get analogous results for other circuit and complexity classes.
Nonclassical properties of correlations-- like unpredictability, no-cloning and uncertainty-- are known to follow from two assumptions: nonlocality and no-signaling. For two-input-two-output correlations, we derive these properties from a…
The notion of (non)contextuality pertains to sets of properties measured one subset (context) at a time. We extend this notion to include so-called inconsistently connected systems, in which the measurements of a given property in different…
In this paper, we investigate some characterizations of dual continuous frames and give some results about them. Also, we refer to the method of constructing a family of duals through a fixed dual and show there exists a one-to-one…