12,012 research outputs found
Testing List H-Homomorphisms
Let be an undirected graph. In the List -Homomorphism Problem, given
an undirected graph with a list constraint for each
variable , the objective is to find a list -homomorphism , that is, for every and whenever .
We consider the following problem: given a map as an oracle
access, the objective is to decide with high probability whether is a list
-homomorphism or \textit{far} from any list -homomorphisms. The
efficiency of an algorithm is measured by the number of accesses to .
In this paper, we classify graphs with respect to the query complexity
for testing list -homomorphisms and show the following trichotomy holds: (i)
List -homomorphisms are testable with a constant number of queries if and
only if is a reflexive complete graph or an irreflexive complete bipartite
graph. (ii) List -homomorphisms are testable with a sublinear number of
queries if and only if is a bi-arc graph. (iii) Testing list
-homomorphisms requires a linear number of queries if is not a bi-arc
graph
Process Algebras
Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
They can be seen as models of processes, regarded as agents that act and interact continuously with other similar agents and with their common environment. The agents may be real-world objects (even people), or they may be artifacts, embodied perhaps in computer hardware or software systems.
Many different approaches (operational, denotational, algebraic) are taken for describing the meaning of processes. However, the operational approach is the reference one. By relying on the so called Structural Operational Semantics (SOS), labelled transition systems are built and composed by using the different operators of the many different process algebras. Behavioral equivalences are used to abstract from unwanted details and identify those systems that react similarly to external
experiments
Two-dimensional models as testing ground for principles and concepts of local quantum physics
In the past two-dimensional models of QFT have served as theoretical
laboratories for testing new concepts under mathematically controllable
condition. In more recent times low-dimensional models (e.g. chiral models,
factorizing models) often have been treated by special recipes in a way which
sometimes led to a loss of unity of QFT. In the present work I try to
counteract this apartheid tendency by reviewing past results within the setting
of the general principles of QFT. To this I add two new ideas: (1) a modular
interpretation of the chiral model Diff(S)-covariance with a close connection
to the recently formulated local covariance principle for QFT in curved
spacetime and (2) a derivation of the chiral model temperature duality from a
suitable operator formulation of the angular Wick rotation (in analogy to the
Nelson-Symanzik duality in the Ostertwalder-Schrader setting) for rational
chiral theories. The SL(2,Z) modular Verlinde relation is a special case of
this thermal duality and (within the family of rational models) the matrix S
appearing in the thermal duality relation becomes identified with the
statistics character matrix S. The relevant angular Euclideanization'' is done
in the setting of the Tomita-Takesaki modular formalism of operator algebras.
I find it appropriate to dedicate this work to the memory of J. A. Swieca
with whom I shared the interest in two-dimensional models as a testing ground
for QFT for more than one decade.
This is a significantly extended version of an ``Encyclopedia of Mathematical
Physics'' contribution hep-th/0502125.Comment: 55 pages, removal of some typos in section
The functional analytic foundation of Colombeau algebras
Colombeau algebras constitute a convenient framework for performing nonlinear
operations like multiplication on Schwartz distributions. Many variants and
modifications of these algebras exist for various applications. We present a
functional analytic approach placing these algebras in a unifying hierarchy,
which clarifies their structural properties as well as their relation to each
other.Comment: 31 pages; updated section on sheaf propertie
Testing isomorphism of graded algebras
We present a new algorithm to decide isomorphism between finite graded
algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it
runs in time polynomial in the order of the input algebras. We introduce
heuristics that often dramatically improve the performance of the algorithm and
report on an implementation in Magma
- ā¦