Related papers: On the Russo-Dye Theorem for positive linear maps
We prove that for any homogeneous structure $\mathbf{K}$ in a language with finitely many relation symbols of arity at most two satisfying SDAP$^+$ (or LSDAP$^+$), there are spaces of subcopies of $\mathbf{K}$, forming subspaces of the…
We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our…
L\"uroth's theorem describes the dominant maps from rational curves over a field. In this note we study those dominant rational maps from cartesian powers $X^{\Psi}$ of geometrically irreducible varieties $X$ over a field $k$ for infinite…
We prove the existence of infinite dense free sets (in the usual topology) for set mappings on the reals, under reasonable assumptions.
In this paper we show that for a vector space $V_d$ of dimension $d$ there exists a linear map $det^{S^2}:V_d^{\otimes d(2d-1)}\to k$ with the property that $det^{S^2}(\otimes_{1\leq i<j\leq 2d}(v_{i,j}))=0$ if there exists $1\leq x<y<z\leq…
In this paper, the results of part I regarding a special case of Feynman identity are extended. The sign rule for a path in terms of data encoded by its word and formulas for the numbers of distinct equivalence classes of nonperiodic paths…
Let $L$ be a Lie algebra over a field of characteristic different from $2$. If $L$ is perfect and centerless, then every skew-symmetric biderivation $\delta:L\times L\to L$ is of the form $\delta(x,y)=\gamma([x,y])$ for all $x,y\in L$,…
In this paper, we introduce a three-point analogue of \'Ciri\'c-Reich-Rus type mappings, termed as generalized \'Ciri\'c-Reich-Rus type mappings. We demonstrate that these mappings generally exhibit discontinuity within their domain of…
In this paper, we study the dynamical uniform boundedness principle over a family of rational maps with certain nontrivial automorphisms. Specifically, we consider a family of rational maps of an arbitrary degree $d\ge 2$ whose automorphism…
The classical Ramsey theorem, states that every graph contains either a large clique or a large independent set. Here we investigate similar dichotomic phenomena in the context of finite metric spaces. Namely, we prove statements of the…
Rado's Theorem characterizes the systems of homogenous linear equations having the property that for any finite partition of the positive integers one cell contains a solution to these equations. Furstenberg and Weiss proved that solutions…
Given a hypergraph $F$ and a number of colours $r$, there exists a hypergraph $H$ of the same girth satisfying $H\longrightarrow (F)_r$. Moreover, for every linear hypergraph $F$ there exists a Ramsey hypergraph $H$ that locally looks like…
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
We discuss a theorem of Rado: Every r-coloring of the pairs of natural numbers has a path decomposition.
For a triangle $\Delta$, let (P) denote the problem of the existence of points in the plane of $\Delta$, that are at rational distance to the 3 vertices of $\Delta$. Answer to (P) is known to be positive in the following situation: $\Delta$…
It is shown that each positive map between matrix algebras is the sum of a maximal decomposable map and an atomic map which is both optimal and co-optimal. The result is analyzed in detail for the positive projection onto a spin factor.
We say that the set of $y$-smooth numbers $\mathcal{S}(N,y)$ up to $N$ is super smooth if $y=\log^KN$ for a large fixed constant $K$. We show that the Roth's theorem on arithmetic progressions is true in super smooth numbers case. This…
In this paper, we present several density-type theorems which show how to find a copy of a sparse bipartite graph in a graph of positive density. Our results imply several new bounds for classical problems in graph Ramsey theory and improve…
Let $L_n$ be a line graph with $n$ vertices and let $I$ be its $t$-path ideal. It is shown that $I^s$ has a linear resolution for some $s\geq 1$ (or equivalently for all $s\geq 1$) if and only if $I^s$ has linear quotients for some $s\geq…
Given a countable dense subset $S$ of a finite-dimensional normed space $X$, and $0<p<1$, we form a random graph on $S$ by joining, independently and with probability $p$, each pair of points at distance less than $1$. We say that $S$ is…