Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

We consider a biharmonic problem ${\Delta }^2{u}_{\omega }=f_{\omega }$ with Navier type boundary conditions $u_{\omega }=\Delta u_{\omega }=0$, on a family of truncated sectors ${\Omega }_{\omega }$ in ${ℝ}^2$ of radius $r$, $0<r<1$ and opening angle $\omega$, $\omega \in (2\pi /3,\pi ]$ when $\omega$ is close to $\pi$. The family of right-hand sides ${\left(f_{\omega }\right)}_{\omega \in (2\pi /3,\pi ]}$ is assumed to depend smoothly on $\omega$ in $L^2\left({\Omega }_{\omega }\right)$. The main result is that $u_{\omega }$ converges to $u_{\pi }$ when $\omega \to \pi$ with respect to the $H^2$-norm. We can also show that the $H^2$-topology is optimal for such a convergence result.

A nonincreasing sequence $\pi =(d_1,...,d_n)$ of nonnegative integers is a graphic sequence if it is realizable by a simple graph $G$ on $n$ vertices. In this case, $G$ is referred to as a realization of $\pi$. Given two graphs $G_1$ and $G_2$, A. Busch et al. (2014) introduced the potential-Ramsey number of $G_1$ and $G_2$, denoted by $r_{\mathrm{pot}}(G_1,G_2)$, as the smallest nonnegative integer $m$ such that for every $m$-term graphic sequence $\pi$, there is a realization $G$ of $\pi$ with $G_1\subseteq G$ or with $G_2\subseteq \overline{G}$, where $\overline{G}$ is the complement of $G$. For $t\ge 2$ and $0\le k\le \lfloor \frac{t}{2}\rfloor$, let $K_t^{-k}$ be the graph...

A $0/1$-simplex is the convex hull of $n+1$ affinely independent vertices of the unit $n$-cube $I^n$. It is nonobtuse if none of its dihedral angles is obtuse, and acute if additionally none of them is right. Acute $0/1$-simplices in $I^n$ can be represented by $0/1$-matrices $P$ of size $n\times n$ whose Gramians $G=P^{\top }P$ have an inverse that is strictly diagonally dominant, with negative off-diagonal entries. In this paper, we will prove that the positive part $D$ of the transposed inverse $P^{-\top }$ of $P$ is doubly stochastic and has the...

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

We study the presence of copies of $l_p^n$’s uniformly in the spaces ${\Pi }_2(C[0,1],X)$ and ${\Pi }_1(C[0,1],X)$. By using Dvoretzky’s theorem we deduce that if $X$ is an infinite-dimensional Banach space, then ${\Pi }_2(C[0,1],X)$ contains $\lambda \sqrt{2}$-uniformly copies of $l_{\infty }^n$’s and ${\Pi }_1(C[0,1],X)$ contains $\lambda$-uniformly copies of $l_2^n$’s for all $\lambda >1$. As an application, we show that if $X$ is an infinite-dimensional Banach space then the spaces ${\Pi }_2(C[0,1],X)$ and ${\Pi }_1(C[0,1],X)$ are distinct, extending the well-known result that the spaces ${\Pi }_2(C[0,1],X)$ and $𝒩\left(C\right[0,1],X)$ are distinct.

Suppose that $𝒢$ is a finite, connected graph and $X$ is a lazy random walk on $𝒢$. The lamplighter chain $X^{\diamond }$ associated with $X$ is the random walk on the wreath product ${𝒢}^{\diamond }={𝐙}_2\wr 𝒢$, the graph whose vertices consist of pairs $(\underline{f},x)$ where $f$ is a labeling of the vertices of $𝒢$ by elements of ${𝐙}_2=\{0,1\}$ and $x$ is a vertex in $𝒢$. There is an edge between $(\underline{f},x)$ and $(\underline{g},y)$ in ${𝒢}^{\diamond }$ if and only if $x$ is adjacent to $y$ in $𝒢$ and $f_z=g_z$ for all $z\ne x,y$. In each step, $X^{\diamond }$ moves from a configuration $(\underline{f},x)$ by updating $x$ to $y$ using the transition rule of $X$ and then...

The Golomb space ${\mathbb{N}}_{\tau }$ is the set $\mathbb{N}$ of positive integers endowed with the topology $\tau$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space ${\mathbb{N}}_{\tau }$ has continuum many continuous self-maps, contains a countable disjoint family of infinite closed connected subsets, the set $\Pi$ of prime numbers is a dense metrizable subspace of ${\mathbb{N}}_{\tau }$, and each homeomorphism $h$ of ${\mathbb{N}}_{\tau }$ has the following properties: $h\left(1\right)=1$, $h\left(\Pi \right)=\Pi$, ${\Pi }_{h\left(x\right)}=h\left({\Pi }_x\right)$, and $h\left(x^{\mathbb{N}}\right)=h{\left(x\right)}^{\mathbb{N}}$ for all $x\in \mathbb{N}$. Here $x^{\mathbb{N}}:=\{x^n:n\in \mathbb{N}\}$ and ${\Pi }_x$ denotes the set of...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

Let $H$ be a subgroup of a finite group $G$. We say that $H$ satisfies the $\Pi$-property in $G$ if for any chief factor $L/K$ of $G$, $|G/K:N_{G/K}(HK/K\cap L/K)|$ is a $\pi (HK/K\cap L/K)$-number. We obtain some criteria for the $p$-supersolubility or $p$-nilpotency of a finite group and extend some known results by concerning some subgroups that satisfy the $\Pi$-property.

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...