Related papers: Finite Field Tarski-Maligranda Inequalities

We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property.…

Let $A$ and $ B$ be $n\times n$ positive definite complex matrices, let $\sigma$ be a matrix mean, and let $f : [0,\infty)\to [0,\infty)$ be a differentiable convex function with $f(0)=0$. We prove that $$f^{\prime}(0)(A \sigma B)\leq…

Let $(X,\mathcal{B}, \mu, T)$ be an ergodic dynamical system on a non-atomic finite measure space. We assume without loss of generality that $\mu(X)=1.$ Consider the maximal function $\dis R^*:(f, g) \in L^p\times L^q \to R^*(f, g)(x) =…

It is known that, in an asymptotically flat spacetime, null infinity cannot act as an initial-value surface for massive real scalar fields. Exploiting tools proper of harmonic analysis on hyperboloids and global norm estimates for the wave…

Using the methods developed by Fewster and colleagues, we derive a quantum inequality for the free massive spin-${3\over 2}$ Rarita-Schwinger fields in the four dimensional Minkowski spacetime. Our quantum inequality bound for the…

The aim of this short note is to give an alternative proof, which applies to functions of bounded variation in arbitrary domains, of an inequality by Maz'ya that improves Friedrichs inequality. A remarkable feature of such a proof is that…

We consider the equation $$ ab + cd = \lambda, \qquad a\in A, b \in B, c\in C, d \in D, $$ over a finite field $F_q$ of $q$ elements, with variables from arbitrary sets $ A, B, C, D \subseteq F_q$. The question of solvability of such and…

Let $\mathbb{F}$ be a field, and $n \geq r>0$ be integers, with $r$ even. Denote by $\mathrm{A}_n(\mathbb{F})$ the space of all $n$-by-$n$ alternating matrices with entries in $\mathbb{F}$. We consider the problem of determining the…

For a real-valued measurable function $f$ and a nonnegative, nondecreasing function $\phi$, we first obtain a Chebyshev type inequality which provides an upper bound for $\displaystyle \phi(\lambda_{1}) \mu(\{x \in \Omega : f(x) \geq…

We give the structure of discrete two-dimensional finite sets $A,\,B\subseteq \R^2$ which are extremal for the recently obtained inequality $|A+B|\ge (\frac{|A|}{m}+\frac{|B|}{n}-1)(m+n-1)$, where $m$ and $n$ are the minimum number of…

In this paper, we point out a very flexible scheme within which a strict minimax inequality occurs. We then show the fruitfulness of this approach presenting a series of various consequences. Here is one of them: Let $Y$ be a…

We study the best approximation problem: \[ \displaystyle \min_{\alpha\in \mathbb R^m}\max_{1\leq i\leq n}\left|y_i -\sum_{j=1}^m \alpha_j \Gamma_j ({\bf x}_i) \right|. \] Here: $\Gamma:=\left\{\Gamma_1,...,\Gamma_m\right\}$ is a list of…

The \emph{relative projection constant} $\lambda(Y, X)$ of normed spaces $Y \subset X$ is defined as $\lambda(Y, X) = \inf \{ ||P|| : P \in \mathcal{P}(X, Y) \}$, where $\mathcal{P}(X, Y)$ denotes the set of all continuous projections from…

Given $\alpha >0$, we establish the following two supercritical Moser-Trudinger inequalities \[ \sup\limits_{u \in W^{1,n}_{0,{\rm rad}}(B): \int_B |\nabla u|^n dx \leq 1} \int_B \exp\big( (\alpha_n + |x|^\alpha) |u|^{\frac{n}{n-1}} \big)…

I shall explore various senses in which ultrafinitism can be fruitfully understood as engaging with a potentialist perspective in mathematics. First, I explain that every model $M$ of the theory of finite arithmetic -- arithmetic with a…

We test a proposed mirror map at the level of correlators for linear models describing the (0,2) moduli space of superconformal field theories with a (2,2) locus associated to Calabi-Yau hypersurfaces in toric varieties. We verify in…

We present an extension of the Hardy--Littlewood inequality for multilinear forms. More precisely, let $\mathbb{K}$ be the real or complex scalar field and $m,k$ be positive integers with $m\geq k\,$ and $n_{1},\dots ,n_{k}$ be positive…

This paper is devoted to study the sharp Moser-Trudinger type inequalities in whole space $\mathbb R^N$, $N \geq 2$ in more general case. We first compute explicitly the \emph{normalized vanishing limit} and the \emph{normalized…

Given some non-Archimedean field $\mathbb{K}$ and some $\mathbb{K}$-linear space $X$, the usual way to define a norm over $X$ involves the {\em ultrametric inequality} $\|x+y\|\leq\max\{\|x\|,\|y\|\}$. In this note we will try to analyse…

Let $\mathbb{F}_p$ be a prime field of order $p,$ and $A$ be a set in $\mathbb{F}_p$ with $|A| \leq p^{1/2}.$ In this note, we show that \[\max\{|A+A|, |f(A, A)|\}\gtrsim |A|^{\frac{6}{5}+\frac{4}{305}},\] where $f(x, y)$ is a…