arXiv research

S2KAN integrates symbolic primitives into neural network activations for improved interpretability.

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

Introduces Motion Programs for better video analysis of human motion.

EPSTE: A geometric token and deep learning approach to estimating transfer entropy in neuroimaging time series

New method calculates winding of geodesics on surfaces.

The seemingly infinite diversity of the natural world arises from a relatively small set of coherent rules, such as the laws of physics or chemistry. We conjecture that these rules give rise to regularities that can be discovered through primarily unsupervised experiences and represented as abstract concepts. If such r…

Characterizes Fredholm conditions for group-invariant pseudodifferential operators.

Generative Neuro-Symbolic model learns from raw data with rich conceptual representations.

LLMs translate natural language trading intents into correct option strategies using a domain-specific language.

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…

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.

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 any Lie groupoid we construct an analytic index morphism taking values in a modified $K-theory$ group which involves the convolution algebra of compactly supported smooth functions over the groupoid. The construction is performed by using the deformation algebra of smooth functions over the tangent groupoid constru…

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…

Intelligence emerges from stabilizing invariant cycles in memory.

Linking human whole-body motion and natural language is of great interest for the generation of semantic representations of observed human behaviors as well as for the generation of robot behaviors based on natural language input. While there has been a large body of research in this area, most approaches that exist to…

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.

VaSST uses soft symbolic trees for probabilistic symbolic regression.

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…

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 …

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 describe dimensionally constrained symbolic regression which has been developed for mass measurement in certain classes of events in high-energy physics (HEP). With symbolic regression, we can derive equations that are well known in HEP. However, in problems with large number of variables, we find that by constraini…

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…

Paper closes neural-symbolic learning loop with grammar model and back-search algorithm.

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 …

Paper reduces movement primitive dimensionality in parameter space.

Reinforcement learning and symbolic planning have both been used to build intelligent autonomous agents. Reinforcement learning relies on learning from interactions with real world, which often requires an unfeasibly large amount of experience. Symbolic planning relies on manually crafted symbolic knowledge, which may …