Researcher profile

Gabriel Katz

Gabriel Katz contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
5topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

preprint2022arXiv

Detecting intrinsic global geometry of an obstacle via layered scattering

Given a closed $k$-dimensional submanifold $K$, incapsulated in a compact domain $M \subset \mathbb E^n$, $k \leq n-2$, we consider the problem of determining the intrinsic geometry of the obstacle $K$ (like volume, integral curvature) from the scattering data, produced by the reflections of geodesic trajectories from the boundary of a tubular $ε$-neighborhood $\mathsf T(K, ε)$ of $K$ in $M$. The geodesics that participate in this scattering emanate from the boundary $\partial M$ and terminate there after a few reflections from the boundary $\partial \mathsf T(K, ε)$. However, the major problem in this setting is that a ray (a billiard trajectory) may get stuck in the vicinity of $K$ by entering some trap there so that this ray will have infinitely many reflections from $\partial \mathsf T(K, ε)$. To rule out such a possibility, we modify the geometry of a tube $\mathsf T(K, ε)$ by building it from spherical bubbles. We need to use $\lceil \dim(K)/2\rceil$ many bubbling tubes $\{\mathsf T(K, ε_j)\}_j$ for detecting certain global invariants of $K$, invariants which reflect its intrinsic geometry. Thus the words "layered scattering" in the title. These invariants were studied by Hermann Weyl in his classical theory of tubes $\mathsf T(K, ε)$ and their volumes.

preprint2022arXiv

Detecting intrinsic global geometry of an obstacle via the layered scattering

Given a compact $k$-dimensional submanifold $K \subset \mathbf R^n$, incapsulated in a compact domain $M \subset \mathbf R^n$, we consider the problem of determining the inner geometry of the obstacle $K$ from the scattering data, produced by the reflections of geodesic trajectories from the boundary of a tubular $ε$-neighborhood $\mathsf T(K, ε)$ of $K$ in $M$. The geodesics emanate from $\partial M$ and terminate there, after a number of reflections from the boundary $\partial \mathsf T(K, ε)$. We use $\lceil \dim(K)/2\rceil$ many tubes $\{\mathsf T(K, ε_j)\}_j$ for detecting certain global intrinsic geometry invariants of $K$, thus the words "layered scattering" in the title. These invariants were studied by Hermann Weyl in his theory of tubes.

preprint2022arXiv

Holography of geodesic flows, harmonizing metrics, and billiards' dynamics

Let $(M, g)$ be a Riemannian manifold with boundary, where $g$ is a non-trapping metric. Let $SM$ be the space of the spherical tangent to $M$ bundle, and $v^g$ the geodesic vector field on $SM$. We study the scattering maps $C_{v^g}: \partial^+_1SM \to \partial^-_1SM$, generated by the $v^g$-flow, and the dynamics of the billiard maps $B_{v^g, τ}: \partial^+_1SM \to \partial^+_1SM$, where $τ$ denotes an involution, mimicking the elastic reflection from the the boundary $\partial M$. We getting a variety of holography theorems that tackle the inverse scattering problems for $C_{v^g}$ and theorems that describe the dynamics of $B_{v^g, τ}$. Our main tools are a Lyapunov function $F: SM \to \mathbb R$ for $v^g$ and a special harmonizing Riemannian metrics $g^\bullet$ on $SM$, a metric in which $dF$ is harmonic. For such metrics $g^\bullet$, we get a family of isoperimetric inequalities of the type $vol_{g^\bullet}(SM) \leq vol_{g^\bullet |}(\partial(SM))$ and formulas for the average volume of the minimal hypesufaces $\{F^{-1}(c)\}_{c \in F(SM)}$. We investigate the interplay between the harmonizing metrics $g^\bullet$ and the classical Sasaki metric $gg$ on $SM$. Assuming ergodicity of $B_{v^g, τ}$, we also get Santaló-Chernov type formulas for the average length of free geodesic segments in $M$ and for the average variation of the Lyapunov function $F$ along the $v^g$-trajectories.

preprint2022arXiv

Spaces of polynomials as Grassmanians for immersions and embeddings

Let $Y$ be a smooth compact $n$-manifold. We study smooth embeddings and immersions $β: M \to \mathbb R \times Y$ of compact $n$-manifolds $M$ such that $β(M)$ avoids some a priory chosen closed poset $Θ$ of {\sf tangent patterns} to the fibers of the obvious projection $π: \mathbb R \times Y \to Y$. Then, for a fixed $Y$, we introduce an equivalence relation between such $β$'s; it is a crossover between pseudo-isotopies and bordisms. We call this relation {\sf quasitopy}. In the study of quasitopies, the spaces $\mathcal P_d^{\mathbf cΘ}$ of real univariate polynomials of degree $d$ with real divisors, whose combinatorial patterns avoid a given closed poset $Θ$, play the classical role of Grassmanians. We compute the quasitopy classes $\mathcal{QT}_d^{\mathsf{emb}}(Y, \mathbf cΘ)$ of $Θ$-constrained embeddings $β$ in terms of homotopy/homology theory of spaces $Y$ and $\mathcal P_d^{\mathbf cΘ}$. We prove also that the quasitopies of emeddings stabilize, as $d \to \infty$.

preprint2022arXiv

Spaces of polynomials with constrained divisors as Grassmanians for traversing flows

We study {\sf traversing} vector flows $v$ on smooth compact manifolds $X$ with boundary. For a given compact manifold $\hat X$, equipped with a traversing vector field $\hat v$ which is {\sf convex} with respect to $\partial\hat X$, we consider submersions/embeddings $α: X \to \hat X$ such that $\dim X = \dim \hat X$ and $α(\partial X)$ avoids a priory chosen tangency patterns $Θ$ to the $\hat v$-trajectories. In particular, for each $\hat v$-trajectory $\hatγ$, we restrict the cardinality of $\hatγ\cap α(\partial X)$ by an even number $d$. We call $(\hat X, \hat v)$ a {\sf convex pseudo-envelop/envelop} of the pair $(X, v)$. Here the vector field $v = α^\dagger(\hat v)$ is the $α$-transfer of $\hat v$ to $X$. For a fixed $(\hat X, \hat v)$, we introduce an equivalence relation among convex pseudo-envelops/ envelops $α: (X, v) \to (\hat X, \hat v)$, which we call a {\sf quasitopy}. The notion of quasitopy is a crossover between bordisms of pseudo-envelops and their pseudo-isotopies. In the study of quasitopies $\mathcal{QT}_d(Y, \mathbf cΘ)$, the spaces $\mathcal P_d^{\mathbf cΘ}$ of real univariate polynomials of degree $d$ with real divisors whose combinatorial types avoid the closed poset $Θ$ play the classical role of Grassmanians. We compute, in the homotopy-theoretical terms that involve $(\hat X, \hat v)$ and $\mathcal P_d^{\mathbf cΘ}$, the quasitopies of convex envelops which avoid the $Θ$-tangency patterns. We introduce characteristic classes of pseudo-envelops and show that they are invariants of their quasitopy classes. Then we prove that the quasitopies $\mathcal{QT}_d(Y, \mathbf cΘ)$ often stabilize, as $d \to \infty$.

preprint2021arXiv

Spaces of polynomials with constrained real divisors, II. (Co)homology & stabilization

In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree which have no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces P^{cΘ}_d of real monic univariate polynomials of degree d whose real divisors avoid given sequences of root multiplicities. These forbidden sequences are taken from an arbitrary poset Θof compositions that are closed under certain natural combinatorial operations. We reduce the computation of the homology H_*(P^{cΘ}_d) to the computation of the homology of a differential complex, defined purely combinatorially in terms of the given closed poset Θ. We also obtain the stabilization results about H^\ast(P^{c Θ}_d), as d goes to infinity. These results are deduced from our description of the homology of spaces B^{c Θ}_d whose points are binary real homogeneous forms, considered up to projective equivalence, with similarly Θ-constrained real divisors. In particular, we exhibit differential complexes that calculate the homology of these spaces and obtain some stabilization results for H^*(B^{c Θ}_d), as d goes to infinity. In particular, we compute the homology of the discriminants of projectivized binary real forms for which there is at least one line on which the form vanishes with multiplicity >= 2 and of their complements in \cB_d \cong RP^d.

preprint2020arXiv

Causal Holography of Traversing Flows

We study smooth {\sf traversing} vector fields $v$ on compact manifolds $X$ with boundary. A traversing $v$ admits a Lyapunov function $f: X \to \Bbb R$ such that $df(v) > 0$. We show that the trajectory spaces $\mathcal T(v)$ of {\sf traversally generic} $v$-flows are {\sf Whitney stratified spaces}, and thus admit triangulations amenable to their natural stratifications. Despite being spaces with singularities, $\mathcal T(v)$ retain some residual smooth structure of $X$. Let $\mathcal F(v)$ denote the oriented $1$-dimensional foliation on $X$, produced by a traversing $v$-flow. With the help of a {\sf boundary generic} $v$, we divide the boundary $\partial X$ of $X$ into two complementary compact manifolds, $\partial^+X(v)$ and $\partial^-X(v)$. Then, for a traversing $v$, we introduce the {\sf causality map} $C_v: \partial^+X(v) \to \partial^-X(v)$. Our main result claims that, for boundary generic traversing vector fields $v$, the causality map $C_v$ is allows for a reconstruction of the pair $(X, \mathcal F(v))$, up to a homeomorphism $Φ: X \to X$ such that $Φ|_{\partial X} = id_{\partial X}$. In other words, for a massive class of ODEs, we show that the topology of their solutions, satisfying a given boundary value problem, is {\sf rigid}. We call these results ``{\sf holographic}" since the $(n+1)$-dimensional $X$ and the un-parameterized dynamics of the $v$-flow are captured by a single map $C_v$ between two $n$-dimensional screens, $\partial^+X(v)$ and $\partial^-X(v)$. This holography of traversing flows has numerous applications to the dynamics of general flows. Some of them are described in the paper. Others, are just outlined.