In the article we formalize in the Mizar system [4] preliminary facts needed to prove the Basel problem [7, 1]. Facts that are independent from the notion of structure are included here.

We consider on a two-dimensional flat torus $T$ defined by a rectangular periodic cell the following equation $$\Delta u+\rho \left(\frac{e^u}{{\int }_T{e}^u}-\frac{1}{\left|T\right|}\right)=0,{\int }_{T}u=0.$$ It is well-known that the associated energy functional admits a minimizer for each $\rho \le 8\pi$. The present paper shows that these minimizers depend actually only on one variable. As a consequence, setting ${\lambda }_1\left(T\right)$ to be the first eigenvalue of the Laplacian on the torus, the minimizers are identically zero whenever $\rho \le min\{8\pi ,{\lambda }_1\left(T\right)|T\left|\right\}$. Our results hold more generally for solutions that...

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.

Let $G$ be a connected reductive affine algebraic group defined over the complex numbers, and $K\subset G$ be a maximal compact subgroup. Let $X$, $Y$ be irreducible smooth complex projective varieties and $f:X\to Y$ an algebraic morphism, such that ${\pi }_1\left(Y\right)$ is virtually nilpotent and the homomorphism $f_{*}:{\pi }_1\left(X\right)\to {\pi }_1\left(Y\right)$ is surjective. Define $$\begin{array}{cc}\hfill {ℛ}^f({\pi }_1\left(X\right),G)& =\{\rho \in Hom({\pi }_1\left(X\right),G)\mid A\circ \rho \text{factors}\text{through}{f}_{*}\},\hfill \\ \hfill {ℛ}^f({\pi }_1\left(X\right),K)& =\{\rho \in Hom({\pi }_1\left(X\right),K)\mid A\circ \rho \text{factors}\text{through}{f}_{*}\},\hfill \end{array}$$ where $A:G\to GL(Lie(G\left)\right)$ is the adjoint action. We prove that the geometric invariant theoretic quotient ${ℛ}^f({\pi }_1(X,x_0),G)//G$ admits a deformation retraction to ${ℛ}^f({\pi }_1(X,x_0),K)/K$. We also show that the space of conjugacy classes of $n$ almost commuting...

The aim of this work is to answer positively a more general question than the following which is due to T. Sheil-Small: Does the harmonic extension in the open unit disc of a mapping f from the unit circle into itself of the form $f\left(e^{it}\right)=e^{i\phi \left(t\right)}$, $0\le t\le 2\pi$ where $\phi$ is a continuously non-decreasing function that satisfies $\phi \left(2\pi \right)-\phi \left(0\right)=2N\pi$, assume every value finitely many times in the disc?

Si precisano alcuni risultati del lavoro accennato nel titolo.

Fiedler and Markham (1994) proved $${\left(\frac{\det \widehat{H}}{k}\right)}^k\ge \det H,$$ where $H={\left(H_{ij}\right)}_{i,j=1}^n$ is a positive semidefinite matrix partitioned into $n\times n$ blocks with each block $k\times k$ and $\widehat{H}={\left(\mathrm{tr}{H}_{ij}\right)}_{i,j=1}^n$. We revisit this inequality mainly using some terminology from quantum information theory. Analogous results are included. For example, under the same condition, we prove $$\det (I_n+\widehat{H})\ge \det {(I_{nk}+kH)}^{1/k}.$$

Acute triangles are defined by having all angles less than $\pi /2$, and are characterized as the triangles containing their circumcenter in the interior. For simplices of dimension $n\ge 3$, acuteness is defined by demanding that all dihedral angles between $(n-1)$-dimensional faces are smaller than $\pi /2$. However, there are, in a practical sense, too few acute simplices in general. This is unfortunate, since the acuteness property provides good qualitative features for finite element methods. The property...

For $\varphi$ a normalized positive definite function on a locally compact abelian group $G$, let ${\pi }_{\varphi }$ be the unitary representation associated to $\varphi$ by the GNS construction. We give necessary and sufficient conditions for the vanishing of 1-cohomology $H^1(G,{\pi }_{\varphi })$ and reduced 1-cohomology ${\overline{H}}^1(G,{\pi }_{\varphi })$. For example, ${\overline{H}}^1(G,{\pi }_{\varphi })=0$ if and only if either $\text{Hom}(G,ℂ)=0$ or ${\mu }_{\varphi }\left(1_G\right)=0$, where $1_G$ is the trivial character of $G$ and ${\mu }_{\varphi }$ is the probability measure on the Pontryagin dual $\widehat{G}$ associated to $\varphi$ by Bochner’s Theorem. This streamlines an argument of Guichardet...

Sensitivity analysis of irreducible Markov chains considers an original Markov chain with transition probability matix $P$ and modified Markov chain with transition probability matrix $P$. For their respective stationary probability vectors $\pi ,\tilde{\pi }$, some of the following charactristics are usually studied: $\parallel \pi -\tilde{\pi }{\parallel }_p$ for asymptotical stability [3], $|{\pi }_i-{\tilde{\pi }}_i|,\frac{|{\pi }_i-{\tilde{\pi }}_i|}{{\pi }_i}$ for componentwise stability or sensitivity [1]. For functional transition probabilities, $P=P\left(t\right)$ and stationary probability vector $\pi \left(t\right)$, derivatives are also used...