Related papers: Machine $B_4$

We define the Deligne Mumford orbifold axiomatically by a universal mapping property, show that this universal mapping property is equivalent to an infinitessimal universal mapping property, and use the latter to give an existence proof.

In this project, we have extended previous work on the formalization of the process algebra CCS in HOL4. We have added full supports on weak bisimulation equivalence and observation congruence (rooted weak equivalence), with related…

We investigate the question of whether or not the orbit of a point in A/Q, under the natural action of a subset S of Q, is dense in A/Q. We prove that if the set S is a multiplicative semigroup which contains at least two multiplicatively…

We express Alltop's construction of mutually unbiased bases as orbits under the Weyl-Heisenberg group in prime dimensions and find a related construction in dimensions 2 and 4. We reproduce Alltop's mutually unbiased bases using abelian…

Let $R$ be a 2-torsion free unital ring and $N_n=N_n(R)$ the ring of strictly upper triangular matrices with entries in $R$ and center $Z=Z(N_n)$. It has been previously shown that any linear map $f:N_n\rightarrow N_n$ satisfying the…

We study biharmonic hypersurfaces in a generic Riemannian manifold. We first derive an invariant equation for such hypersurfaces generalizing the biharmonic hypersurface equation in space forms studied in \cite{Ji2}, \cite{CH}, \cite{CMO1},…

Dobbs proved that the second iterate of almost every line in the complex plane under the exponential function is dense in the plane. In this paper, we prove an analogous result for the second iterate of the Zorich map in $\mathbb{R}^3$.

Let $X$ be a compact metric space. By $2^X$ we denote the hyperspace of all closed and non-empty subsets of $X$ endowed with the Hausdorff metric. Let $f:X\to X$ be a continuous function. In this paper we study some topological properties…

The orbits of the group B of upper-triangular matrices acting on 2-nilpotent complex matrices via conjugation are classified via oriented link patterns, generalizing A. Melnikov's classification of the B-orbits on upper-triangular such…

We prove that the mapping class group $\mathcal{M}(N_g)$ of a closed nonorientable surface of genus $g$ different than 4 is generated by three torsion elements. Moreover, for every even integer $k\ge 12$ and $g$ of the form $g=pk+2q(k-1)$…

To any pair of commuting n x n nilpotent matrices it is associated a pair of partitions of n. We describe a maximal nilpotent subalgebra of the centralizer of a given nilpotent n x n matrix and prove a conjecture of Polona Oblak which…

We extend Sharkovskii's theorem to the cases of $N$-dimensional maps which are close to 1D maps, with an attracting $n$-periodic orbit. We prove that, with relatively weak topological assumptions, there exist also $m$-periodic orbits for…

Let $K$ be a number field and $S$ a finite set of places of $K$ that contains all of the archimedean places. Let $\varphi: \mathbb{P}^1 \to \mathbb{P}^1$ be a rational map of degree $d \geq 2$ defined over $K$. Given $\alpha \in…

We characterize a set of positive maps in matrix algebra of 4x4 complex matrices. Equivalently, we provide a subset of entanglement witnesses parameterized by the rotation group SO(3). Interestingly, these maps/witnesses define two…

We improve previous results by exhibiting a construction that contains all known examples. A suficient condition for the existence of robustly transitive maps displaying singularities on a certain large class of compact manifolds is given.

Rotary maps (orientably regular maps) are highly symmetric graph embeddings on orientable surfaces. This paper classifies all rotary maps whose underlying graphs are Praeger-Xu graphs, denoted $\operatorname{C}(p,r,s)$, for any odd prime…

We prove that the orbit of a non-periodic point at prime values of the horocycle flow in the modular surface is dense in a set of positive measure. For some special orbits we also prove that they are dense in the whole space (assuming the…

We consider the system of $N$ ($\ge2$) elastically colliding hard balls of masses $m_1,...,m_N$ and radius $r$ on the flat unit torus $\Bbb T^\nu$, $\nu\ge2$. We prove the so called Boltzmann-Sinai Ergodic Hypothesis, i. e. the full…

We solve a long-standing problem by enumerating the number of non-degenerate Desargues configurations. We extend the result to the more difficult case involving Desargues blockline structures in Section 8. A transparent proof of Desargues…

For a graph X, let f_0(X) denote its number of vertices, d(X) its minimum degree and Z_1(X;Z/2) its cycle space in the standard graph-theoretical sense (i.e. 1-dimensional cycle group in the sense of simplicial homology theory with…