3,533 research outputs found
Probability around the Quantum Gravity. Part 1: Pure Planar Gravity
In this paper we study stochastic dynamics which leaves quantum gravity
equilibrium distribution invariant. We start theoretical study of this dynamics
(earlier it was only used for Monte-Carlo simulation). Main new results concern
the existence and properties of local correlation functions in the
thermodynamic limit. The study of dynamics constitutes a third part of the
series of papers where more general class of processes were studied (but it is
self-contained), those processes have some universal significance in
probability and they cover most concrete processes, also they have many
examples in computer science and biology. At the same time the paper can serve
an introduction to quantum gravity for a probabilist: we give a rigorous
exposition of quantum gravity in the planar pure gravity case. Mostly we use
combinatorial techniques, instead of more popular in physics random matrix
models, the central point is the famous exponent.Comment: 40 pages, 11 figure
Complexes of not -connected graphs
Complexes of (not) connected graphs, hypergraphs and their homology appear in
the construction of knot invariants given by V. Vassiliev. In this paper we
study the complexes of not -connected -hypergraphs on vertices. We
show that the complex of not -connected graphs has the homotopy type of a
wedge of spheres of dimension . This answers one of the
questions raised by Vassiliev in connection with knot invariants. For this case
the -action on the homology of the complex is also determined. For
complexes of not -connected -hypergraphs we provide a formula for the
generating function of the Euler characteristic, and we introduce certain
lattices of graphs that encode their topology. We also present partial results
for some other cases. In particular, we show that the complex of not
-connected graphs is Alexander dual to the complex of partial matchings
of the complete graph. For not -connected graphs we provide a formula
for the generating function of the Euler characteristic
Polynomials that Sign Represent Parity and Descartes' Rule of Signs
A real polynomial sign represents if
for every , the sign of equals
. Such sign representations are well-studied in computer
science and have applications to computational complexity and computational
learning theory. In this work, we present a systematic study of tradeoffs
between degree and sparsity of sign representations through the lens of the
parity function. We attempt to prove bounds that hold for any choice of set
. We show that sign representing parity over with the
degree in each variable at most requires sparsity at least . We show
that a tradeoff exists between sparsity and degree, by exhibiting a sign
representation that has higher degree but lower sparsity. We show a lower bound
of on the sparsity of polynomials of any degree representing
parity over . We prove exact bounds on the sparsity of such
polynomials for any two element subset . The main tool used is Descartes'
Rule of Signs, a classical result in algebra, relating the sparsity of a
polynomial to its number of real roots. As an application, we use bounds on
sparsity to derive circuit lower bounds for depth-two AND-OR-NOT circuits with
a Threshold Gate at the top. We use this to give a simple proof that such
circuits need size to compute parity, which improves the previous bound
of due to Goldmann (1997). We show a tight lower bound of
for the inner product function over .Comment: To appear in Computational Complexit
Potts models with magnetic field: arithmetic, geometry, and computation
We give a sheaf theoretic interpretation of Potts models with external
magnetic field, in terms of constructible sheaves and their Euler
characteristics. We show that the polynomial countability question for the
hypersurfaces defined by the vanishing of the partition function is affected by
changes in the magnetic field: elementary examples suffice to see
non-polynomially countable cases that become polynomially countable after a
perturbation of the magnetic field. The same recursive formula for the
Grothendieck classes, under edge-doubling operations, holds as in the case
without magnetic field, but the closed formulae for specific examples like
banana graphs differ in the presence of magnetic field. We give examples of
computation of the Euler characteristic with compact support, for the set of
real zeros, and find a similar exponential growth with the size of the graph.
This can be viewed as a measure of topological and algorithmic complexity. We
also consider the computational complexity question for evaluations of the
polynomial, and show both tractable and NP-hard examples, using dynamic
programming.Comment: 16 pages, LaTeX; v2: final version with small correction
- β¦