Related papers: A combinatorial DGA for Legendrian knots from gene…
Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so far on reasoning frameworks for path expressions where node…
Let $G$ be a group, $\mathcal{P}_G$ be the family of all subsets of $G$. For a subset $A\subseteq G$, we put $\Delta(A)=\{g\in G:|gA\cap A|=\infty\}$. The mapping $\Delta:\mathcal{P}_G\rightarrow\mathcal{P}_G$, $A\mapsto\Delta(A)$, is…
We introduce a novel integrability-preserving discretization for a broad class of differential equations with variable coefficients, encompassing both linear and nonlinear cases. The construction is achieved via a categorical approach that…
Two types of connected chord diagrams with chord endpoints lying in a collection of ordered and oriented real segments are considered here: the real segments may contain additional bivalent vertices in one model but not in the other. In the…
Cartesian differential categories come equipped with a differential combinator that formalizes the derivative from multi-variable differential calculus, and also provide the categorical semantics of the differential $\lambda$-calculus. An…
In the symplectization of standard contact $3$-space, $\mathbb R \times \mathbb R^3$, it is known that an orientable Lagrangian cobordism between a Legendrian knot and itself, also known as an orientable Lagrangian endocobordism for the…
We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional…
Associated to every generalized complex structure is a differential Gerstenhaber algebra (DGA). When the generalized complex structure deforms, so does the associated DGA. In this paper, we identify the infinitesimal conditions when the DGA…
We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combinatorics of the negative corner (or branching) homology of a globular…
For a given $g>0$, we construct a family of non-decomposable Lagrangian cobordisms of genus $g$ between (stabilized) Legendrian knots in the standard contact three-sphere. The main technique we use to obstruct decomposability is based on…
Directed acyclic graphs (DAGs) are a class of graphs commonly used in practice, with examples that include electronic circuits, Bayesian networks, and neural architectures. While many effective encoders exist for DAGs, it remains…
We consider knot invariants in the context of large $N$ transitions of topological strings. In particular we consider aspects of Lagrangian cycles associated to knots in the conifold geometry. We show how these can be explicity constructed…
Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so far on frameworks for reasoning about path expressions…
A rationally dynamically algebraic (RDA) power series is one that arises as (a component of) the solution of a system of differential equations of the form $\boldsymbol{y}' = F(\boldsymbol{y})$, where $F$ is a vector of rational functions…
This is the second in a sequence of papers in which we construct Chekanov-Eliashberg algebras for Legendrians in circle-fibered contact manifolds and study the associated augmentation varieties. In this part, we first define the…
This article addresses the Generalized Additive Decomposition (GAD) of symmetric tensors, that is, degree-$d$ forms $f \in \mathcal{S}_d$. From a geometric perspective, a GAD corresponds to representing a point on a secant of osculating…
A connection between holomorphic and generating family invariants of Legendrian knots is established; namely, that the existence of a ruling (or decomposition) of a Legendrian knot is equivalent to the existence of an augmentation of its…
Distributional and neural approaches to natural language semantics have been built almost exclusively on conventional linear algebra: vectors, matrices, tensors, and the operations that accompany them. These methods have achieved remarkable…
A quasi-isomorphism of differential graded algebras (DGA) is a multiplicative map inducing an isomorphism on cohomology. A DGA is called formal if it can be connected by a chain of quasi-isomorphisms to its cohomology algebra. We prove that…
Graph structures offer a versatile framework for representing diverse patterns in nature and complex systems, applicable across domains like molecular chemistry, social networks, and transportation systems. While diffusion models have…