Source author record

Michael Harrison

Michael Harrison appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
14topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Skew and sphere fibrations

A great sphere fibration is a sphere bundle with total space $S^n$ and fibers which are great $k$-spheres. Given a smooth great sphere fibration, the central projection to any tangent hyperplane yields a \emph{nondegenerate} fibration of $\mathbb{R}^n$ by pairwise skew, affine copies of $\mathbb{R}^k$ (though not all nondegenerate fibrations can arise in this way). Here we study the topology and geometry of nondegenerate fibrations, we show that every nondegenerate fibration satisfies a notion of Continuity at Infinity, and we prove several classification results. These results allow us to determine, in certain dimensions, precisely which nondegenerate fibrations correspond to great sphere fibrations via the central projection. We use this correspondence to reprove a number of recent results about sphere fibrations in the simpler, more explicit setting of nondegenerate fibrations. For example, we show that every germ of a nondegenerate fibration extends to a global fibration, and we study the relationship between nondegenerate line fibrations and contact structures in odd-dimensional Euclidean space. We conclude with a number of partial results, in hopes that the continued study of nondegenerate fibrations, together with their correspondence with sphere fibrations, will yield new insights towards the unsolved classification problems for sphere fibrations.

preprint2022arXiv

Tangent ray foliations and their associated outer billiards

Let $v$ be a unit vector field on a complete, umbilic (but not totally geodesic) hypersurface $N$ in a space form; for example on the unit sphere $S^{2k-1} \subset \mathbb{R}^{2k}$, or on a horosphere in hyperbolic space. We give necessary and sufficient conditions on $v$ for the rays with initial velocities $v$ (and $-v$) to foliate the exterior $U$ of $N$. We find and explore relationships among these vector fields, geodesic vector fields, and contact structures on $N$. When the rays corresponding to each of $\pm v$ foliate $U$, $v$ induces an outer billiard map whose billiard table is $U$. We describe the unit vector fields on $N$ whose associated outer billiard map is volume preserving. Also we study a particular example in detail, namely, when $N \simeq \mathbb{R}^3$ is a horosphere of the four-dimensional hyperbolic space and $v$ is the unit vector field on $N$ obtained by normalizing the stereographic projection of a Hopf vector field on $S^{3}$. In the corresponding outer billiard map we find explicit periodic orbits, unbounded orbits, and bounded nonperiodic orbits. We conclude with several questions regarding the topology and geometry of bifoliating vector fields and the dynamics of their associated outer billiards.

preprint2020arXiv

Arithmetic and geometry of a K3 surface emerging from virtual corrections to Drell--Yan scattering

We study a K3 surface, which appears in the two-loop mixed electroweak-quantum chromodynamic virtual corrections to Drell--Yan scattering. A detailed analysis of the geometric Picard lattice is presented, computing its rank and discriminant in two independent ways: first using explicit divisors on the surface and then using an explicit elliptic fibration. We also study in detail the elliptic fibrations of the surface and use them to provide an explicit Shioda--Inose structure. Moreover, we point out the physical relevance of our results.

preprint2020arXiv

Counting Periodic Trajectories of Finsler Billiards

We provide lower bounds on the number of periodic Finsler billiard trajectories inside a quadratically convex smooth closed hypersurface $M$ in a $d$-dimensional Finsler space with possibly irreversible Finsler metric. An example of such a system is a billiard in a sufficiently weak magnetic field. The $r$-periodic Finsler billiard trajectories correspond to $r$-gons inscribed in $M$ and having extremal Finsler length. The cyclic group ${\mathbb Z}_r$ acts on these extremal polygons, and one counts the ${\mathbb Z}_r$-orbits. Using Morse and Lusternik-Schnirelmann theories, we prove that if $r\ge 3$ is prime, then the number of $r$-periodic Finsler billiard trajectories is not less than $(r-1)(d-2)+1$. We also give stronger lower bounds when $M$ is in general position. The problem of estimating the number of periodic billiard trajectories from below goes back to Birkhoff. Our work extends to the Finsler setting the results previously obtained for Euclidean billiards by Babenko, Farber, Tabachnikov, and Karasev.

preprint2020arXiv

Introducing Totally Nonparallel Immersions

An immersion of a smooth $n$-dimensional manifold $M \to \mathbb{R}^q$ is called totally nonparallel if, for every distinct $x, y \in M$, the tangent spaces at $f(x)$ and $f(y)$ contain no parallel lines. Given a manifold $M$, we seek the minimum dimension $TN(M)$ such that there exists a totally nonparallel immersion $M \to \mathbb{R}^{TN(M)}$. In analogy with the totally skew embeddings studied by Ghomi and Tabachnikov, we find that totally nonparallel immersions are related to the generalized vector field problem, the immersion problem for real projective spaces, and nonsingular symmetric bilinear maps. Our study of totally nonparallel immersions follows a recent trend of studying conditions which manifest on the configuration space $F_k(M)$ of k-tuples of distinct points of $M$; for example, k-regular embeddings, k-skew embeddings, k-neighborly embeddings, etc. Typically, a map satisfying one of these configuration space conditions induces some $S_k$-equivariant map on the configuration space $F_k(M)$ (or on a bundle thereof) and obstructions can be computed using Stiefel-Whitney classes. However, the existence problem for such conditions is relatively unstudied. Our main result is a Whitney-type theorem: every $n$-manifold $M$ admits a totally nonparallel immersion into $\mathbb{R}^{4n-1}$, one dimension less than given by genericity. We begin by studying the local problem, which requires a thorough understanding of the space of nonsingular symmetric bilinear maps, after which the main theorem is established using the removal-of-singularities h-principle technique due to Gromov and Eliashberg. When combined with a recent non-immersion theorem of Davis, we obtain the exact value $TN(\mathbb{R}P^n) = 4n-1$ when $n$ is a power of 2. This is the first optimal-dimension result for any closed manifold $M \neq S^1$, for any of the recently-studied configuration space conditions.

preprint2020arXiv

Two robots moving geodesically on a tree

We study the geodesic complexity of the ordered and unordered configuration spaces of graphs in both the $\ell_1$ and $\ell_2$ metrics. We determine the geodesic complexity of the ordered two-point $\varepsilon$-configuration space of any star graph in both the $\ell_1$ and $\ell_2$ metrics and of the unordered two-point configuration space of any tree in the $\ell_1$ metric, by finding explicit geodesics from any pair to any other pair, and arranging them into a minimal number of continuously-varying families. In each case the geodesic complexity matches the known value of the topological complexity.

preprint2015arXiv

Skew flat fibrations

A fibration of ${\mathbb R}^n$ by oriented copies of ${\mathbb R}^p$ is called skew if no two fibers intersect nor contain parallel directions. Conditions on $p$ and $n$ for the existence of such a fibration were given by Ovsienko and Tabachnikov. A classification of smooth fibrations of ${\mathbb R}^3$ by skew oriented lines was given by Salvai, in analogue with the classification of oriented great circle fibrations of $S^3$ by Gluck and Warner. We show that Salvai's classification has a topological variation which generalizes to characterize all continuous fibrations of ${\mathbb R}^n$ by skew oriented copies of ${\mathbb R}^p$. We show that the space of fibrations of ${\mathbb R}^3$ by skew oriented lines deformation retracts to the subspace of Hopf fibrations, and therefore has the homotopy type of a pair of disjoint copies of $S^2$. We discuss skew fibrations in the complex and quaternionic setting and give a necessary condition for the existence of a fibration of ${\mathbb C}^n$ (${\mathbb H}^n$) by skew oriented copies of ${\mathbb C}^p$ (${\mathbb H}^p$).

preprint2015arXiv

The Archimedean Projection Property

Let $H$ be a hypersurface in $\mathbb R^n$ and let $π$ be an orthogonal projection in $\mathbb R^n$ restricted to $H$. We say that $H$ satisfies the $Archimedean$ $projection$ $property$ corresponding to $π$ if there exists a constant $C$ such that $Vol(π^{-1}(U)) = C \cdot Vol(U)$ for every measurable $U$ in the range of $π$. It is well-known that the $(n-1)$-dimensional sphere, as a hypersurface in $\mathbb R^n$, satisfies the Archimedean projection property corresponding to any codimension 2 orthogonal projection in $\mathbb R^n$, the range of any such projection being an $(n-2)$-dimensional ball. Here we construct new hypersurfaces that satisfy Archimedean projection properties. Our construction works for any projection codimension $k$, $2 \leq k \leq n - 1$, and it allows us to specify a wide variety of desired projection ranges $Ω^{n-k} \subset \mathbb R^{n-k}$. Letting $Ω^{n-k}$ be an $(n-k)$-dimensional ball for each $k$, it produces a new family of smooth, compact hypersurfaces in $\mathbb R^n$ satisfying codimension $k$ Archimedean projection properties that includes, in the special case $k = 2$, the $(n-1)$-dimensional spheres.

preprint2013arXiv

A note on the five valued conjectures of Johansen and Helleseth and zeta functions

For the complete five-valued cross-correlation distribution between two $m$-sequences ${s_t}$ and ${s_{dt}}$ of period $2^m-1$ that differ by the decimation $d={{2^{2k}+1}\over {2^k+1}}$ where $m$ is odd and $\mbox{gcd}(k,m)=1$, Johansen and Hellseth expressed it in terms of some exponential sums. And two conjectures are presented that are of interest in their own right. In this correspondence we study these conjectures for the particular case where $k=3$, and the cases $k=1,2$ can also be analyzed in a similar process. When $k>3$, the degrees of the relevant polynomials will become higher. Here the multiplicity of the biggest absolute value of the cross-correlation is no more than one-sixth of the multiplicity corresponding the smallest absolute value.

preprint2013arXiv

Benefits to the U.S. from Physicists Working at Accelerators Overseas

We illustrate benefits to the U.S. economy and technological infrastructure of U.S. participation in accelerators overseas. We discuss contributions to experimental hardware and analysis and to accelerator technology and components, and benefits stemming from the involvement of U.S. students and postdoctoral fellows in global scientific collaborations. Contributed to the proceedings of the Snowmass 2013 Community Summer Study.