Related papers: On the equational complexity of RRA
Logarithmic representations of the conformal Galilean algebra (CGA) and the Exotic Conformal Galilean algebra ({\sc ecga}) are constructed. This can be achieved by non-decomposable representations of the scaling dimensions or the rapidity…
We show that a particular subfunctor of the relative logarithmic Picard functor for families of aligned, log semistable curves over a regular base scheme and smooth over an open dense subscheme of the base is representable by a smooth…
A polarized version of Girard, Scedrov and Scott's Bounded Linear Logic is introduced and its normalization properties studied. Following Laurent, the logic naturally gives rise to a type system for the lambda-mu-calculus, whose derivations…
We discuss the action of a subgroup on small nilpotent orbits, and prove a bounded multiplicity property for the restriction of minimal representations of real reductive Lie groups with respect to arbitrary reductive symmetric pairs.
Several open problems in algebraic logic are solved.
In this paper we classify irreducible integrable representations of loop toroidal Lie algebras with finite dimensional weight spaces. In both the cases we classify modules, when a part of center acts non-trivially and trivially on modules.
We develop representations for bicomplex-valued functions in Hardy classes that generalize the complex holomorphic Hardy spaces. Using these representations, we show these functions have boundary values in the sense of distributions that…
In this article, we determine the complexity function (configurational entropy) of jammed configurations of Rydberg atoms on a one-dimensional lattice. Our method consists of providing asymptotics for the number of jammed configurations…
We call the \emph{$p$-fundamental string} of a complex simple Lie algebra to the sequence of irreducible representations having highest weights of the form $k\omega_1+\omega_p$ for $k\geq0$, where $\omega_j$ denotes the $j$-th fundamental…
A complex-analytic structure within the unit disk of the complex plane is presented. It can be used to represent and analyze a large class of real functions. It is shown that any integrable real function can be obtained by means of the…
An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it…
For the computational model where only additions are allowed, the $\Omega(n^2\log n)$ lower bound on operations count with respect to image size $n\times n$ is obtained for two types of the discrete Radon transform implementations: the fast…
The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…
We give examples and counterexamples concerning varieties in which every tolerance is representable as $R \circ R^-$, for some reflexive and admissible relation $R$.
A standard tool for classifying the complexity of equivalence relations on $\omega$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce…
Extending the work of Freese and Cook, which develop the basic theory of calculus and power series over real associative algebras, we examine what can be said about the logarithmic functions over an algebra. In particular, we find that for…
The properties of the Wilson rational functions ${}_{10}\phi_9$ with three different normalizations are described. For one normalization, it satisfies an $R_{II}$ recurrence relation, whereas for the two other ones, they satisfy a…
We consider the problem of representation of a bivariate function by sums of ridge functions. We show that if a function of a certain smoothness class is represented by a sum of finitely many, arbitrarily behaved ridge functions, then it…
We show that certain spaces of log-integrable functions and operators are complete topological *-algebras with respect to a natural metric space structure. We explore connections with the Nevanlinna class of holomorphic functions.
In this paper we present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a long standing issue. We derive from the semantics a set of…