Related papers: Syntactic Structure, Quantum Weights
When the semi-positive cosmological constant is dynamical, the naive Euclidean Einstein action is unbounded from below and the Hartle-Hawking wavefunction of the universe is not normalizable. With the inclusion of back-reaction (a crucial…
Recent progress in quantum field theory and quantum gravity relies on mixed boundary conditions involving both normal and tangential derivatives of the quantized field. In particular, the occurrence of tangential derivatives in the boundary…
We consider states of holographic conformal field theories constructed by adding sources for local operators in the Euclidean path integral, with the aim of investigating the extent to which arbitrary bulk coherent states can be represented…
In this paper, we obtain nonexistence results of positive solutions, and also the existence of an unbounded sequence of solutions that changing sign for some critical problems involving conformally invariant operators on the standard unit…
Syntactic theory has traditionally adopted a constructivist approach, in which a set of atomic elements are manipulated by combinatory operations to yield derived, complex elements. Syntactic structure is thus seen as the result or discrete…
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in a similar spirit than a set of proof trees. The main…
Quantum bits can be isolated to perform useful information-theoretic tasks, even though physical systems are fundamentally described by very high-dimensional operator algebras. This is because qubits can be consistently embedded into…
A unitary (Euclidean) representation of a quiver is given by assigning to each vertex a unitary (Euclidean) vector space and to each arrow a linear mapping of the corresponding vector spaces. We recall an algorithm for reducing the matrices…
We demonstrate in two minisuperspace models that a perturbation expansion of quasiclassical Euclidean gravity has a factorial dependence on the order of the term at large orders. This behavior indicates that the expansion is an asymptotic…
We introduce a type and effect system, for an imperative object calculus, which infers "sharing" possibly introduced by the evaluation of an expression, represented as an equivalence relation among its free variables. This direct…
Geometrical formulation of classical mechanics with forces that are not necessarily potential-generated is presented. It is shown that a natural geometrical "playground" for a mechanical system of point particles lacking Lagrangian and/or…
A simple proof of the fact that each rank-one infinite measure preserving (i.m.p.) transformation is subsequence weakly rationally ergodic is found. Some classes of funny rank-one i.m.p. actions of Abelian groups are shown to be subsequence…
We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely…
Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of…
We study the asymptotics and fine-scale behavior of quantitative combinatorial measures of infinite words and related dynamical and algebraic structures. We construct infinite recurrent words $w$ whose complexity functions $p_w(n)$ are…
Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions that assign to each infinite path the long-run average of…
We analyse the logical complexity and absoluteness of natural statements about Ulam sequences, with particular emphasis on the rigidity phenomena introduced by Hinman, Kuca, Schlesinger and Sheydvasser for the family $U(1,n)$. For each pair…
We address the problem of nonparametric estimation of characteristics for stationary and ergodic time series. We consider finite-alphabet time series and real-valued ones and the following four problems: i) estimation of the (limiting)…
We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning. As in coinductive logic…
The causal structure of a unitary transformation is the set of relations of possible influence between any input subsystem and any output subsystem. We study whether such causal structure can be understood in terms of compositional…