Related papers: Some derivations among Logarithmic Space Bounded C…
Given a family of model categories $\cal E \to \cal C$, we associate to it a homotopical category of derived, or Segal, sections $DSect(\cal C,\cal E)$ that models the higher-categorical sections of the localisation $L\cal E \to \cal C$.…
We argue that it makes sense to talk about ``typical'' properties of lattices, and then show that there is, up to isomorphism, a unique countable lattice L* (the Fraisse limit of the class of finite lattices) that has all ``typical''…
We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called $(\star )$. CBLP extends the so--called Boolean Lifting…
Let i be a homomorphism of the multiplicative group into a connected reductive algebraic group over C. Let G^i be the centralizer of the image i. Let LG be the Lie algebra of G and let L_nG (n integer) be the summands in the direct sum…
We study the best approximation and distance problems in the operator space $\B(\HS)$ and in the space of trace class operators $\LS^1(\B(\HS))$. Formulations of distances are obtained in both cases. The case of finite-dimensional…
We survey some important properties of fields of generalized series and of exponential-logarithmic series, with particular emphasis on their possible differential structure, based on a joint work of the author with S. Kuhlmann [KM12b,KM11].
In this study, we classify some soliton nilpotent Lie algebras and possible candidates in dimension 8 and 9 up to isomorphy. We focus on 1 < 2 < ::: < n type of derivations where n is the dimension of the Lie algebras. We present algorithms…
We investigate necessary and sufficient conditions under which entire functions in de Branges spaces can be recovered from function values and values of derivatives. Our main focus is on spaces with a structure function whose logarithmic…
We define two notions of Logarithmic Bloch space in the polydisc for which we provide equivalent definitions in terms of symbols of bounded Hankel operators. We also provide a full characterization of the pointwise multipliers between two…
This lecture note covers topics on boundary conformal field theory, modular transformations and the Verlinde formula, and boundary logarithmic CFT. An introductory review on CFT with boundary and a discussion of its applications to…
The problem of constructing explicit functions which cannot be approximated by low degree polynomials has been extensively studied in computational complexity, motivated by applications in circuit lower bounds, pseudo-randomness,…
We extend to logarithmic class groups the results on abelian principalization of tame ray class groups of a number field obtained in a previous article.
In this paper, we study bounded and closed range multiplication and composition operators between two different Orlicz spaces.
Let $L_1,\dots,L_s$ be line bundles on a smooth variety $X\subset \mathbb{P}^r$ and let $D_1,\dots,D_s$ be divisors on $X$ such that $D_i$ represents $L_i$. We give a probabilistic algorithm for computing the degree of intersections of…
The class of minimal non-elementary Lie algebras over a field F are studied. These are classified when F is algebraically closed and of characteristic different from 2,3. The solvable algebras in this class are also characterised over any…
In this paper we establish an exponential lower bound on the size of syntactic non-deterministic read $d$-times branching programs for $d \leq \log n /10^5$ computing a class of monotone CNFs with a linear number of clauses. This result…
In this paper we derive congruences expressing Bell numbers and derangement numbers in terms of each other modulo any prime.
We construct small models of number fields and deduce a better bound for the number of number fields of given degree and bounded discriminant.
In this paper we discuss some convergence and divergence properties of subsequences of logarithmic means of Walsh-Fourier series . We give necessary and sufficient conditions for the convergence regarding logarithmic variation of numbers.
Description Logics (DLs) are used in knowledge-based systems to represent and reason about terminological knowledge of the application domain in a semantically well-defined manner. In this thesis, we establish a number of novel complexity…