Related papers: Machine $B_4$
In this note, we show that for any $m \in \{1,2, \dots , q +1 \}$, if $G$ is a polarity graph of a projective plane of order $q$ that has an oval, then $G$ contains a subgraph on $m + \binom{m}{2}$ vertices with $m^2+\frac{m^4}{8q} - O (…
We give a unified proof of the existence of turbulence for some classes of continuous interval maps which include, among other things, maps with periodic points of odd periods > 1, some maps with dense chain recurrent points and densely…
This article contains a characterization of operator systems $\cS$ with the property that every positive map $\phi:\cS \rightarrow M_n$ is decomposable, as well as an alternate and a more direct proof of a characterization of decomposable…
We prove that infinite mapping class group orbits are dense in the character variety of Deroin-Tholozan representations. In other words, the action is minimal except for finite orbits. Our arguments rely on the symplectic structure of the…
We introduce orbital graphs and discuss some of their basic properties. Then we focus on their usefulness for search algorithms for permutation groups, including finding the intersection of groups and the stabilizer of sets in a group.
We give a characterization of hypercyclic using (locally hypercyclic) of semigroup G of affine maps of C^n. We prove the existence of a G-invariant open subset of C^n in which any locally hypercyclic orbit is dense in C^n.
Given an Archimedean order unit space (V,V^+,e), we construct a minimal operator system OMIN(V) and a maximal operator system OMAX(V), which are the analogues of the minimal and maximal operator spaces of a normed space. We develop some of…
We prove that compact topological 4-manifolds can be effectively presented by a finite amount of data.
We investigate the iterative behaviour of continuous order preserving subhomogeneous maps that map a polyhedral cone into itself. For these maps we show that every bounded orbit converges to a periodic orbit and, moreover, that there exists…
Let $S_{g}$ denote the closed orientable surface of genus $g$. In joint work with Huang, the first author constructed exponentially-many (in $g$) mapping class group orbits of pairs of simple closed curves whose complement is a single…
We consider a class of smooth mixing flows $T^{\alpha,\gamma}$ on $\mathbb{T}^2$ with one degenerated fixed point $x_0\in \mathbb{T}^2$ of power type $\gamma\in (-1,0)$. We prove that for a $G_\delta$ dense set of $\alpha\in \mathbb{T}$, a…
In this note, we consider matrices similar to $X$-form matrices, which are the matrices for which only the diagonal and the anti-diagonal elements can be different from zero. First, we give a characterization of these matrices using the…
We present an elementary inductive argument proving that a certain subring of the Cox ring of the moduli space $\overline{M}_{0,n}$ of stable rational curves with $n$ marked points is finitely generated for every $n \ge 3$.
We show that, for two commuting automorphisms of the torus and for two elements of the Cartan action on compact higher rank homogeneous spaces, many points have drastically different orbit structures for the two maps. Specifically, using…
We study a family of piecewise expanding maps on the plane, generated by composition of a rotation and an expansive similitude of expansion constant $\beta$. We give two constants $B_1$ and $B_2$ depending only on the fundamental domain…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
We prove that any bijective fidelity preserving transformation on the set of all density operators on a Hilbert space is implemented by an either unitary or antiunitary operator on the underlying Hilbert space.
The aim of this article is to show the existence, and also give an explicit construction, of infinite sets of orthogonal exponentials for certain families of convex polytopes which include simple-rational polytopes and also non simple…
In this paper we investigate the distribution of the set of values of a linear map at integer points on a quadratic surface. In particular we show that this set is dense in the range of the linear map subject to certain algebraic conditions…
We provide a precise coupling of the finite circular beta ensembles and their limit process via their operator representations. We prove explicit bounds on the distance of the operators and the corresponding point processes. We also prove…