arXiv research

Motivated by the results of Scott and Patel about "untangling" closed geodesics in finite covers of hyperbolic surfaces, we introduce and study primitivity, simplicity and non-filling index functions for finitely generated free groups. We obtain lower bounds for these functions and relate these free group results back …

Deep learning identifies functional primitives in stroke rehabilitation.

We prove that on a Riemannian manifold, a smooth differential form has a primitive with a given (functional) upper bound provided the necessary weighted isoperimetric inequalities implied by Stokes are satisfied. We apply this to prove a comparison predicted by Gromov between the cofilling function and the filling area…

Unbounded primitivity index in free groups linked to Chebyshev function.

Berge introduced knots that are primitive/primitive with respect to the genus 2 Heegaard surface, $F$, in $S^3$; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are primitive/Seifert with respect to $F$; surgery on these knots at the surface slope yield…

We compute the genus one family Gromov-Witten invariants of K3 surfaces for non-primitive classes. These calculations verify Gottsche-Yau-Zaslow formula for non-primitive classes with index two. Our approach is to use the genus two topological recursion formula and the symplectic sum formula to establish relationships …

The twisted torus knots lie on the standard genus 2 Heegaard surface for $S^3$, as do the primitive/primitive and primitive/Seifert knots. It is known that primitive/primitive knots are fibered, and that not all primitive/Seifert knots are fibered. Since there is a wealth of primitive/Seifert knots that are twisted tor…

Primitive curves in handlebodies form a connected complex.

A framework for generating 3D shapes by sequentially assembling primitives.

Note on connectedness of primitive disk complex.

Study primitive cohomology in symplectic manifolds.

No primitive Teichmüller curves found in Prym(2,2).

A symplectic form has a primitive with nowhere vanishing $β$.

We show that lens space surgeries on knots in $S^3$ which arise from the primitive/Seifert type construction also arise from the primitive/primitive construction. This is the first step of a three step program to prove the Berge conjecture for tunnel number one knots.

For a genus two Heegaard splitting of a lens space, the primitive disk complex is defined to be the full subcomplex of the disk complex for one of the handlebodies of the splitting spanned by all vertices of primitive disks. In this work, we describe the complete combinatorial structure of the primitive disk complex fo…

We show that the exterior derivative operator on a symplectic manifold has a natural decomposition into two linear differential operators, analogous to the Dolbeault operators in complex geometry. These operators map primitive forms into primitive forms and therefore lead directly to the construction of primitive cohom…

Study primitive decompositions for harmonic forms on almost Kähler manifolds.

In this article, we prove that every arithmetic locally symmetric orbifold of classical type without Euclidean or compact factors has arbitrarily long arithmetic progressions in its primitive length spectrum. Moreover, we show the stronger property that every primitive length occurs in arbitrarily long arithmetic progr…

A twisted torus knot is a knot obtained from a torus knot by twisting adjacent strands by full twists. The twisted torus knots lie in $F$, the genus 2 Heegaard surface for $S^3$. Primitive/primitive and primitive/Seifert knots lie in $F$ in a particular way. Dean gives sufficient conditions for the parameters of the tw…

Given a genus-$g$ Heegaard splitting of the $3$-sphere with $g \ge 3$, we show that the primitive disk complex for the splitting is not weakly closed under disk surgery operation. That is, there exist two primitive disks in one of the handlebodies of the splitting such that any disk surgery on one along the other one y…

We prove that the dimension of the space of primitive Vassiliev invariants of degree n grows - as n tends to infinity - faster than Exp(c Sqrt(n)) for any c < Pi Sqrt (2/3). The proof relies on the use of the weight systems coming from the Lie algebra gl(N). In fact, we show that our bound is - up to multiplication wit…

Semantically understanding complex drivers' encountering behavior, wherein two or multiple vehicles are spatially close to each other, does potentially benefit autonomous car's decision-making design. This paper presents a framework of analyzing various encountering behaviors through decomposing driving encounter data …

In this paper, we give a complete criterion for a discrete faithful representation $ρ:F_n \ra \pslc$ to be primitive stable. This will answer Minsky's conjectures about geometric conditions on $\H^3/ρ(F_n)$ regarding the primitive stability of $ρ$.

We call a pair (K, m) of a knot K in the 3-sphere S^3 and an integer m a Seifert fibered surgery if m-surgery on K yields a Seifert fiber space. For most known Seifert fibered surgeries (K, m), K can be embedded in a genus 2 Heegaard surface of S^3 in a primitive/Seifert position, the concept introduced by Dean as a na…

We give a formula for Alexander polynomials of doubly primitive knots.

Two trees in the boundary of outer space are said to be \emph{primitive-equivalent} whenever their translation length functions are equal in restriction to the set of primitive elements of $F_N$. We give an explicit description of this equivalence relation, showing in particular that it is nontrivial. This question is …

Paper proposes an algorithm to reconstruct optimal model structure from graph adjacency matrix.

Considering the driving habits which are learned from the naturalistic driving data in the path-tracking system can significantly improve the acceptance of intelligent vehicles. Therefore, the goal of this paper is to generate the prediction results of lateral commands with confidence regions according to the reference…

Proves a vanishing property for symplectic manifold cohomology.

Two Riemannian manifolds are called eigenvalue equivalent when their sets of eigenvalues of the Laplace-Beltrami operator are equal (ignoring multiplicities). They are (primitive) length equivalent when the sets of lengths of their (primitive) closed geodesics are equal. We give a general construction of eigenvalue equ…

Reinforcement learning agents that operate in diverse and complex environments can benefit from the structured decomposition of their behavior. Often, this is addressed in the context of hierarchical reinforcement learning, where the aim is to decompose a policy into lower-level primitives or options, and a higher-leve…

TODS automates time series outlier detection with customizable pipelines.

We show that closed 3-manifolds with high Heegaard distance and bounded subsurface Heegaard distance are primitive stable when they are regarded as representations from the free group corresponding to the handlebody. This implies that any point on the boundary of Schottky space can be approximated by primitive stable r…

In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsific…

We introduce new boundary conditions for differential forms on symplectic manifolds with boundary. These boundary conditions, dependent on the symplectic structure, allows us to write down elliptic boundary value problems for both second-order and fourth-order symplectic Laplacians and establish Hodge theories for the …

This paper designs a new on-chain option that amortizes perpetual options for blockchain environments.

A transitive smooth action of a connected Lie group G on a manifold M is called almost primitive (resp. primitive) if G doesn't contain any proper subgroup (resp. any proper normal subgroup) whose induced action on M is transitive as well. The aim of the present work is to investigate some combinatory properties of sym…

We construct a sequence of primitive-stable representations of free groups into PSL(2,C) whose ranks go to infinity, but whose images are discrete with quotient manifolds that converge geometrically to a knot complement. In particular this implies that the rank and geometry of the image of a primitive-stable representa…

We construct two infinite families of knots each of which admits a Seifert fibered surgery with none of these surgeries coming from Dean's primitive/Seifert-fibered construction. This disproves a conjecture that all Seifert fibered surgeries arise from Dean's primitive/Seifert-fibered construction. The (-3,3,5)-pretzel…

For random elements in free groups, we find a rank and set of subgroups.

We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology defined purely on the space of primitive forms. We identify the dual currents of lagr…

The goal of this paper is to offer a comprehensive exposition of the current knowledge about Heegaard splittings of exteriors of knots in the 3-sphere. The exposition is done with a historical perspective as to how ideas developed and by whom. Several new notions are introduced and some facts about them are proved. In …

Simplifies efficient estimation via automatic differentiation and probabilistic programming.

Paper reduces movement primitive dimensionality in parameter space.

Embeddings of pairs of disjoint nonparallel primitive simple closed curves in the boundary of a genus two handlebody are classified. Briefly, two disjoint primitives either lie on opposite ends of a product $F \boldsymbol{\times} I$, or they lie on opposite ends of a kind of "twisted" product $F \widetilde{\boldsymbol{…

We prove the equivalence of two conditions on the primitive elements in an $SL(2,\mathbb C)$ representation of the free group $F_2$ on two generators, which may hold even when the image of $F_2$ is not discrete. One is Minsky's condition of primitive stability and the other is the $BQ$-condition introduced by Bowditch …

This paper classifies curves in genus two handlebodies.

The abstract conjectures a link between knot homologies and quiver partition functions.