Showing 1–4 of 4 results for author: Kucik, A S

Premise selection with neural networks and distributed representation of features

Authors: Andrzej Stanisław Kucik, Konstantin Korovin

Abstract: We present the problem of selecting relevant premises for a proof of a given statement. When stated as a binary classification task for pairs (conjecture, axiom), it can be efficiently solved using artificial neural networks. The key difference between our advance to solve this problem and previous approaches is the use of just functional signatures of premises. To further improve the performance… ▽ More We present the problem of selecting relevant premises for a proof of a given statement. When stated as a binary classification task for pairs (conjecture, axiom), it can be efficiently solved using artificial neural networks. The key difference between our advance to solve this problem and previous approaches is the use of just functional signatures of premises. To further improve the performance of the model, we use dimensionality reduction technique, to replace long and sparse signature vectors with their compact and dense embedded versions. These are obtained by firstly defining the concept of a context for each functor symbol, and then training a simple neural network to predict the distribution of other functor symbols in the context of this functor. After training the network, the output of its hidden layer is used to construct a lower dimensional embedding of a functional signature (for each premise) with a distributed representation of features. This allows us to use 512-dimensional embeddings for conjecture-axiom pairs, containing enough information about the original statements to reach the accuracy of 76.45% in premise selection task, only with simple two-layer densely connected neural networks. △ Less

Submitted 26 July, 2018; originally announced July 2018.

MSC Class: 03B35; 68T05; 68T15

Weighted composition operators on spaces of analytic functions on the complex half-plane

Authors: Andrzej S. Kucik

Abstract: In this paper we will show how the boundedness condition for the weighted composition operators on a class of spaces of analytic functions on the open right complex half-plane called Zen spaces (which include the Hardy spaces and weighted Bergman spaces) can be stated in terms of Carleson measures and Bergman kernels. In Hilbertian setting we will also show how the norms of \emph{causal} weighted… ▽ More In this paper we will show how the boundedness condition for the weighted composition operators on a class of spaces of analytic functions on the open right complex half-plane called Zen spaces (which include the Hardy spaces and weighted Bergman spaces) can be stated in terms of Carleson measures and Bergman kernels. In Hilbertian setting we will also show how the norms of \emph{causal} weighted composition operators on these spaces are related to each other and use it to show that an \emph{(unweighted) composition operator} $C_\varphi$ is bounded on a Zen space if and only if $\varphi$ has a finite angular derivative at infinity. Finally, we will show that there is no compact composition operator on Zen spaces. △ Less

Submitted 8 February, 2017; v1 submitted 3 October, 2016; originally announced October 2016.

MSC Class: 47B32; 47B33; 47B38; 30D05; 30H10; 30H20

Carleson measures for Hilbert spaces of analytic functions on the complex half-plane

Authors: Andrzej S. Kucik

Abstract: The notion of a Carleson measure was introduced by Lennart Carleson in his proof of the Corona Theorem for $H^\infty(\mathbb{D})$. In this paper we will define it for certain type of reproducing kernel Hilbert spaces of analytic functions of the complex half-plane, $\mathbb{C}_+$, which will include Hardy, Bergman and Dirichlet spaces. We will obtain several necessary or sufficient conditions for… ▽ More The notion of a Carleson measure was introduced by Lennart Carleson in his proof of the Corona Theorem for $H^\infty(\mathbb{D})$. In this paper we will define it for certain type of reproducing kernel Hilbert spaces of analytic functions of the complex half-plane, $\mathbb{C}_+$, which will include Hardy, Bergman and Dirichlet spaces. We will obtain several necessary or sufficient conditions for a positive Borel measure to be Carleson by preforming tests on reproducing kernels, weighted Bergman kernels, and studying the tree model obtained from a decomposition of the complex half-plane. The Dirichlet space will be investigated in detail as a special case. Finally, we will present a control theory application of Carleson measures in determining admissibility of controls in well-posed linear evolution equations. △ Less

Submitted 6 August, 2016; v1 submitted 20 April, 2016; originally announced April 2016.

Comments: Keywords: Carleson measures, reproducing kernel Hilbert spaces, Dirichlet space, control operators, admissibility, Laplace transform

MSC Class: 30H25; 93B28; 28E99; 30H10; 30H20; 46C15; 93B05

Multipliers of Hilbert Spaces of Analytic Functions on the Complex Half-Plane

Authors: Andrzej S. Kucik

Abstract: It follows, from a generalised version of Paley-Wiener theorem, that the Laplace transform is an isometry between certain spaces of weighted $L^2$ functions defined on $(0, \infty)$ and (Hilbert) spaces of analytic functions on the right complex half-plane (for example Hardy, Bergman or Dirichlet spaces). We can use this fact to investigate properties of multipliers and multiplication operators on… ▽ More It follows, from a generalised version of Paley-Wiener theorem, that the Laplace transform is an isometry between certain spaces of weighted $L^2$ functions defined on $(0, \infty)$ and (Hilbert) spaces of analytic functions on the right complex half-plane (for example Hardy, Bergman or Dirichlet spaces). We can use this fact to investigate properties of multipliers and multiplication operators on the latter type of spaces. In this paper we present a full characterisation of multipliers in terms of a generalised concept of a Carleson measure. Under certain conditions, these spaces of analytic functions are not only Hilbert spaces but also Banach algebras, and are therefore contained within their spaces of multipliers. We provide some necessary as well as sufficient conditions for this to happen and look at its consequences. △ Less

Submitted 20 April, 2016; v1 submitted 13 April, 2016; originally announced April 2016.

Comments: Keywords: Banach algebras, Banach spaces, Bergman spaces, Carleson measures, Dirichlet spaces, Hardy spaces, Hardy-Sobolev spaces, Hilbert spaces, Laplace transform, maximal ideal spaces, multiplication operators, multipliers, reproducing kernels, spaces of analytic functions, weighted $L^2$ spaces, Zen spaces

MSC Class: 30H50; 46J15; 47B99; 46E22; 46J20