-
$O_M(\mathbb{R}^n)$ as locally convex Orlicz space
Authors:
Jan Kisyński
Abstract:
The original M.Valdivia proof of his theorem on representation of the space $O_M$ uses results of S.Rolewicz concerning metric linear spaces and results of A.Grothendieck from his theory of topological tensor product. We present a more direct proof.
The original M.Valdivia proof of his theorem on representation of the space $O_M$ uses results of S.Rolewicz concerning metric linear spaces and results of A.Grothendieck from his theory of topological tensor product. We present a more direct proof.
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
Nonparametric Bayesian Logic
Authors:
Peter Carbonetto,
Jacek Kisynski,
Nando de Freitas,
David L Poole
Abstract:
The Bayesian Logic (BLOG) language was recently developed for defining first-order probability models over worlds with unknown numbers of objects. It handles important problems in AI, including data association and population estimation. This paper extends BLOG by adopting generative processes over function spaces - known as nonparametrics in the Bayesian literature. We introduce syntax for reason…
▽ More
The Bayesian Logic (BLOG) language was recently developed for defining first-order probability models over worlds with unknown numbers of objects. It handles important problems in AI, including data association and population estimation. This paper extends BLOG by adopting generative processes over function spaces - known as nonparametrics in the Bayesian literature. We introduce syntax for reasoning about arbitrary collections of objects, and their properties, in an intuitive manner. By exploiting exchangeability, distributions over unknown objects and their attributes are cast as Dirichlet processes, which resolve difficulties in model selection and inference caused by varying numbers of objects. We demonstrate these concepts with application to citation matching.
△ Less
Submitted 4 July, 2012;
originally announced July 2012.
-
Constraint Processing in Lifted Probabilistic Inference
Authors:
Jacek Kisynski,
David L Poole
Abstract:
First-order probabilistic models combine representational power of first-order logic with graphical models. There is an ongoing effort to design lifted inference algorithms for first-order probabilistic models. We analyze lifted inference from the perspective of constraint processing and, through this viewpoint, we analyze and compare existing approaches and expose their advantages and limitations…
▽ More
First-order probabilistic models combine representational power of first-order logic with graphical models. There is an ongoing effort to design lifted inference algorithms for first-order probabilistic models. We analyze lifted inference from the perspective of constraint processing and, through this viewpoint, we analyze and compare existing approaches and expose their advantages and limitations. Our theoretical results show that the wrong choice of constraint processing method can lead to exponential increase in computational complexity. Our empirical tests confirm the importance of constraint processing in lifted inference. This is the first theoretical and empirical study of constraint processing in lifted inference.
△ Less
Submitted 9 May, 2012;
originally announced May 2012.
-
One-parameter convolution semigroups of rapidly decreasing distributions
Authors:
Jan Kisyński
Abstract:
Let $\Mmm$ denote the set of $\mm$ matrices with complex entries, and let $\calG(\partial_1,...,\partial_n)$ be an $\mm$ matrix whose entries are partial differential operators on $\Rn$ with constant complex coefficients. It is proved that $\calG(\partial_1,...,\partial_n)\otimes δ$ is the generating distribution of a smooth one-parameter convolution semigroup of $\Mmm$-valued rapidly decreasing d…
▽ More
Let $\Mmm$ denote the set of $\mm$ matrices with complex entries, and let $\calG(\partial_1,...,\partial_n)$ be an $\mm$ matrix whose entries are partial differential operators on $\Rn$ with constant complex coefficients. It is proved that $\calG(\partial_1,...,\partial_n)\otimes δ$ is the generating distribution of a smooth one-parameter convolution semigroup of $\Mmm$-valued rapidly decreasing distributions on $\Rn$ if and only if $$\sup_{(ξ_1,...,ξ_n)\in\Rn}\hReσ(\calG(iξ_1,...,iξ_n))<\infty.$$ Applications to systems of partial differential operators with constant coefficients are considered.
△ Less
Submitted 30 November, 2011;
originally announced November 2011.
-
Towards Completely Lifted Search-based Probabilistic Inference
Authors:
David Poole,
Fahiem Bacchus,
Jacek Kisynski
Abstract:
The promise of lifted probabilistic inference is to carry out probabilistic inference in a relational probabilistic model without needing to reason about each individual separately (grounding out the representation) by treating the undistinguished individuals as a block. Current exact methods still need to ground out in some cases, typically because the representation of the intermediate results i…
▽ More
The promise of lifted probabilistic inference is to carry out probabilistic inference in a relational probabilistic model without needing to reason about each individual separately (grounding out the representation) by treating the undistinguished individuals as a block. Current exact methods still need to ground out in some cases, typically because the representation of the intermediate results is not closed under the lifted operations. We set out to answer the question as to whether there is some fundamental reason why lifted algorithms would need to ground out undifferentiated individuals. We have two main results: (1) We completely characterize the cases where grounding is polynomial in a population size, and show how we can do lifted inference in time polynomial in the logarithm of the population size for these cases. (2) For the case of no-argument and single-argument parametrized random variables where the grounding is not polynomial in a population size, we present lifted inference which is polynomial in the population size whereas grounding is exponential. Neither of these cases requires reasoning separately about the individuals that are not explicitly mentioned.
△ Less
Submitted 21 July, 2011; v1 submitted 20 July, 2011;
originally announced July 2011.
-
Fundamental solutions of evolutionary PDOs and rapidly decreasing distributions
Authors:
Jan Kisyński
Abstract:
Let $P(\partial_0,\partial_1,...,\partial_n)$ be a PDO on $\symR^{1+n}$ with constant coefficients. It is proved that (i) the real parts of the $λ$-roots of the polynomial $P(λ,iξ_1,...,iξ_n)$ are bounded from above when $(ξ_1,...,ξ_n)$ ranges over $\symR^n$ if and only if (ii) $P$ has a fundamental solution with support in $H_+=\{(x_0,x_1,\allowbreak..., x_n)\in \symR^{1+n}:x_0\ge0\}$ having some…
▽ More
Let $P(\partial_0,\partial_1,...,\partial_n)$ be a PDO on $\symR^{1+n}$ with constant coefficients. It is proved that (i) the real parts of the $λ$-roots of the polynomial $P(λ,iξ_1,...,iξ_n)$ are bounded from above when $(ξ_1,...,ξ_n)$ ranges over $\symR^n$ if and only if (ii) $P$ has a fundamental solution with support in $H_+=\{(x_0,x_1,\allowbreak..., x_n)\in \symR^{1+n}:x_0\ge0\}$ having some special properties expressed in terms of the L. Schwartz space $\calO^{\prime}_C$ of rapidly decreasing distributions. Moreover, it is proved that the fundamental solution with support in $H_+$ having these special properties is unique.
△ Less
Submitted 4 May, 2011;
originally announced May 2011.
-
The Petrovskii correctness and semigroups of operators
Authors:
Jan Kisyński
Abstract:
Let $P(\partial/\partial x)$ be an $m\times n$ matrix whose entries are PDO on $\bbR^n$ with constant coefficients, and let $\calS(\bbR^n)$ be the space of infinitely differentiable rapidly decreasing functions on $\bbR^n$. It is proved that $P(\partial/\partial x)|_{(\calS(\bbR^n))^m}$ is the infinitesimal generator of a $(C_0)$-semigroup $(S_t)_{t\ge0}\subset L((\calS(\bbR^n))^m)$ if and only…
▽ More
Let $P(\partial/\partial x)$ be an $m\times n$ matrix whose entries are PDO on $\bbR^n$ with constant coefficients, and let $\calS(\bbR^n)$ be the space of infinitely differentiable rapidly decreasing functions on $\bbR^n$. It is proved that $P(\partial/\partial x)|_{(\calS(\bbR^n))^m}$ is the infinitesimal generator of a $(C_0)$-semigroup $(S_t)_{t\ge0}\subset L((\calS(\bbR^n))^m)$ if and only if $P(\partial/\partial x)$ satisfies the Petrovski\uıcorrectness condition. Moreover, if it is the case, then $(S_t)_{t\ge0}$ is an exponential semigroup whose characteristic exponent is equal to the stability index of $P(\partial/\partial x)$. Similar statements are also proved for some other function spaces on $\bbR^n$, and for the space of tempered distributions.
△ Less
Submitted 6 October, 2009;
originally announced October 2009.