Related papers: Some remarks on polarized partition relations

If $f$ is a symmetric complex-valued function on the $m$-fold Cartesian product of the set of non-negative reals and $A$ is a positive semi-definite $m\times m$ matrix with eigenvalues $\lambda_j$, we set…

Let $\alpha$ and $\beta$ be two nonnegative integers such that $\beta < \alpha$. For an arbitrary sequence $\{a_n\}_{n\geqslant 1}$ of complex numbers, we consider the generalized Lambert series in order to investigate linear combinations…

Given a non-necessarily commutative unital ring $R$ and a unital partial representation $\Theta $ of a group $G$ into the Picard semigroup $\mathbf{PicS} (R)$ of the isomorphism classes of partially invertible $R$-bimodules, we construct an…

In 1982 Macdonald published his now famous constant term conjectures for classical root systems. This paper begins with the almost trivial observation that Macdonald's constant term identities admit an extra set of free parameters, thereby…

The paper presents a construction of the crossed product of a C*-algebra by a commutative semigroup of bounded positive linear maps generated by partial isometries. In particular, it generalizes Antonevich, Bakhtin, Lebedev's crossed…

We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…

Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…

This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…

We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable…

For a cardinal lambda<lambda_{omega_1} we give a ccc forcing notion P which forces that for some Borel subset B of the Cantor space (1) there a sequence (eta_alpha:alpha<lambda) of distinct elements such that |(eta_alpha+B) cap…

Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others…

We implement recent results of pseudo-Hermitian quantum mechanics to description of relativistic massive particle with spin-one. We derive a one-parameter family of Lorentz invariant positive-definite scalar products on the space of…

The first part of the paper centers in the study of embeddability between partially commutative groups. In [KK], for a finite simplicial graph $\Gamma$, the authors introduce an infinite, locally infinite graph $\Gamma^e$, called the…

We list some open problems, concerning the polarized partition relation. We solve a couple of them by showing that for every singular cardinal $\mu$ one can force the strong polarized relation with respect to the pair $\mu^+,\mu$.

For encompassing the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, Ehrhard and al. introduced a model of probabilistic higher order…

Classical Gon\v{c}arov polynomials arose in numerical analysis as a basis for the solutions of the Gon\v{c}arov interpolation problem. These polynomials provide a natural algebraic tool in the enumerative theory of parking functions. By…

The weak tensor product was introduced by Snevily as a way to construct new graphs that admit $\alpha$-labelings from a pair of known $\alpha$-graphs. In this article, we show that this product and the application to $\alpha$-labelings can…

We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type…

We first show that the convex effect algebras (CEA) approach to quantum mechanics is more general than the general probabilistic theories approach. We then restrict our attention to finite-dimension CEA's. After an introductory Section~1,…

Let $0 < \beta \leq \alpha < 1$ and $\kappa > 0$. I prove that there exists $\eta > 0$ such that the following holds for every pair of Borel sets $A,B \subset \mathbb{R}$ with $\dim_{\mathrm{H}} A = \alpha$ and $\dim_{\mathrm{H}} B =…