Related papers: A uniform version of a theorem by Lindstr\"om

Let $\mathcal{E}$ and $\mathcal{F}$ be symmetrically $\Delta$-normed (in particular, quasi-normed) operator spaces affiliated with semifinite von Neumann algebras $\mathcal{M}_1$ and $\mathcal{M}_2$, respectively. We establish a…

Given $n \times n$ matrices, $A_1, \dots, A_k$, consider the linear operator $L(A_1,\dots,A_k) \, \colon \; \operatorname{M}_n \to \operatorname{M}_n$ given by \[ L(A_1,\dots,A_k)(A_{k+1})= \sum_{\sigma\in S_{k+1}}…

The concept of uniform distribution in $[0,1]$ is extended for a certain strictly separated maximal (in the sense of cardinality) family $(\lambda_t)_{t \in [0,1]}$ of invariant extensions of the linear Lebesgue measure $\lambda$ in…

Erd\H{o}s showed that every set of $n$ positive integers contains a subset of size at least $n/(k+1)$ containing no solutions to $x_1 + \cdots + x_k = y$. We prove that the constant $1/(k+1)$ here is best possible by showing that if $(F_m)$…

In this article, we consider the family of functions $f$ meromorphic in the unit disk $\ID=\{z :\,|z| < 1\}$ with a pole at the point $z=p$, a Taylor expansion \[f(z)= z+\sum_{k=2}^{\infty} a_kz^k, \quad |z|<p, \] and satisfying the…

Theorem A. Let $x_1,...,x_{2k+1}$ be unit vectors in a normed plane. Then there exist signs $\epsi_1,...,\epsi_{2k+1}\in\{\pm 1\}$ such that $\norm{\sum_{i=1}^{2k+1}\epsi_i x_i}\leq 1$. We use the method of proof of the above theorem to…

We consider a polynomial $P\in \mathbb{R}[x_{1},\cdots, x_{d}]$ of degree $ \delta $ that depends non-trivially on each of $x_1,...,x_d$ with $d\geq 2$. For any integer $t$ with $2\leq t\leq d$, any natural number $n \in \mathbb{N}$, and…

In [Lu6] Lusztig defined a certain algebra $H,$ which is a direct sum of various algebras $H_{\mathfrak{o}}.$ We establish an explicit algebra isomorphism between each algebra $H_{\mathfrak{o}}$ and some matrix algebra with coefficients in…

We consider (Frobenius) difference equations over (F_q(s,t), phi) where phi fixes t and acts on F_q(s) as the Frobenius endomorphism. We prove that every semisimple, simply-connected linear algebraic group G defined over F_q can be realized…

Given $k$ sets $\mathcal{A}_i \subseteq \mathbb{F}_q^d$ and a non-degenerate bilinear form $B$ in $\mathbb{F}_q^d$. We consider the system of $l \leq \binom{k}{2}$ bilinear equations \[ B (\tmmathbf{a}_i, \tmmathbf{a}_j) = \lambda_{i j},…

Let $d\in\mathbb{N}$ and $\varphi\colon(0,1)\to[0,d]$. We prove there exists a set $F\subset\mathbb{R}^d$ whose lower spectrum $\operatorname{dim}^{\theta}_{\mathrm{L}} F$ satisfies $(1-\theta)\operatorname{dim}^{\theta}_{\mathrm{L}} F =…

We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…

We extend the main result of (G. Badia and G. Olkhovikov. A Lindstr\"om theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1): 11--30 (2020)) to the first-order intuitionistic logic (with and without…

In the paper, we use the idea of normal family to find out the possible solution of the following special case of algebraic differential equation \[P_k\big(z,f,f^{(1)},\ldots, f^{(k)}\big)=f^{(1)}(f-\mathscr{L}_k(f))-\varphi (f-a)(f-b)=0,\]…

The Bollob\'as set pairs inequality is a fundamental result in extremal set theory with many applications. In this paper, for $n \geq k \geq t \geq 2$, we consider a collection of $k$ families $\mathcal{A}_i: 1 \leq i \leq k$ where…

A family of $k$-subsets $A_1, A_2, ..., A_d$ on $[n]=\{1,2,..., n\}$ is called a $(d, c)$-cluster if the union $A_1\cup A_2 \cup ... \cup A_d$ contains at most $ck$ elements with $c<d$. Let $\mathcal{F}$ be a family of $k$-subsets of an…

Let $(\tau_n)_n$ be a sequence of real numbers in $(1,+\infty)$. Using potential theoretic methods, we prove quantitative results - Bernstein-Walsh type theorems - about uniform approximation by polynomials of the form $\sum_{k=\lfloor…

In this paper, we prove a Morse index theorem for the index form of even order linear Hamiltonian systems on the closed interval with reasonable self-adjoint boundary conditions. The highest order term is assumed to be nondegenerate.

This is a companion note to our paper 'A relative Szemer\'edi theorem', elaborating on a concluding remark. In that paper, we showed how to prove a relative Szemer\'edi theorem for $(r+1)$-term arithmetic progressions assuming a linear…

Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that uniform interpolation holds for intuitionistic…