arXiv research

Rewriting theory applied to diagrammatic algebras for categorification.

New basis and Schur-Weyl duality for loop Hecke algebra defined.

Develops higher representation theory for odd Khovanov homology and rewriting theory.

System uses neural networks to prove program equivalence via rewrite rules.

Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article.

Many interesting geometric structures can be described as regular infinitesimal flag structures, which occur as the underlying structures of parabolic geometries. Among these structures we have for instance conformal structures, contact structures, certain types of generic distributions and partially integrable almost …

NIFTy.re accelerates imaging models and expands Gaussian processes and variational inference.

Rewriting history improves RL algorithms for solving multiple tasks.

We design and conduct a simple experiment to study whether neural networks can perform several steps of approximate reasoning in a fixed dimensional latent space. The set of rewrites (i.e. transformations) that can be successfully performed on a statement represents essential semantic features of the statement. We can …

In this work, we investigate the problem of finding surfaces in the Lorentz-Minkowski 3-space with prescribed skew ($S$) and mean ($H$) curvatures, which are defined through the discriminant of the characteristic polynomial of the shape operator and its trace, respectively. After showing that $H$ and $S$ can be interpr…

Extensive rewrite. Tables and proofs have been reformatted and/or rewritten for clarity.

Serenity optimizes neural network execution for edge devices by scheduling with optimal memory footprint.

This is a semi--expository update and rewrite of my 1974 AMS AMS Memoir describing Plancherel formulae and partial Dolbeault cohomology realizations for standard tempered representations for general real reductive Lie groups. Even after so many years, much of that Memoir is up to date, but of course there have been a n…

Extends Euler class formula to general connections with metric.

This is the author's Master's thesis written under the supervision of Dr. Gregor Weingart at the National Autonomous University of Mexico. The purpose of this study is to rewrite differential supergeometry in terms of classical differential geometry. This rewriting from "first principles" has two main motivations: 1 av…

Autostackability for finitely generated groups is defined via a topological property of the associated Cayley graph which can be encoded in a finite state automaton. Autostackable groups have solvable word problem and an effective inductive procedure for constructing van Kampen diagrams with respect to a canonical fini…

Paper introduces a new algorithm to detect LLM-generated text.

Moving boundary problems allow to model systems with phase transition at an inner boundary. Driven by problems in economics and finance, in particular modeling of limit order books, we consider a stochastic and non-linear extension of the classical Stefan-problem in one space dimension, where the paths of the moving in…

We reformulate ten-dimensional type II supergravity as a generalised geometrical analogue of Einstein gravity, defined by an $O(9,1)\times O(1,9)\subset O(10,10)\times\mathbb{R}^+$ structure on the generalised tangent space. Using the notion of generalised connection and torsion, we introduce the analogue of the Levi-C…

The lack of interpretability often makes black-box models difficult to be applied to many practical domains. For this reason, the current work, from the black-box model input port, proposes to incorporate data-based prior information into the black-box soft-margin SVM model to enhance its interpretability. The concept …

Search-based methods for hard combinatorial optimization are often guided by heuristics. Tuning heuristics in various conditions and situations is often time-consuming. In this paper, we propose NeuRewriter that learns a policy to pick heuristics and rewrite the local components of the current solution to iteratively i…

We model pseudo-Finsler geometries, with pseudo-Euclidean signatures of metrics, for two classes of four dimensional nonholonomic manifolds: a) tangent bundles with two dimensional base manifolds and b) pseudo-Riemannian/ Einstein manifolds. Such spacetimes are enabled with nonholonomic distributions and associated non…

We show that general relativity can be viewed as a higher gauge theory involving a categorical group, or 2-group, called the teleparallel 2-group. On any semi-Riemannian manifold M, we first construct a principal 2-bundle with the Poincare 2-group as its structure 2-group. Any flat metric-preserving connection on M giv…

Improves GANs training through game theory.

While the fundamental object in Riemannian geometry is a metric, closed string theories call for us to put a two-form gauge field and a scalar dilaton on an equal footing with the metric. Here we propose a novel differential geometry which treats the three objects in a unified manner, manifests not only diffeomorphism …

We give definition of a holonomy flag in subRiemannian geometry --- a generalization of a Riemannian holonomy algebra --- and calculate it for the 3D subRiemannian Lie groups. We rewrite and give new interpretation for the Codazzi equations for the $(2,3)$-distributions on the $SU(2)$ and the Heisenberg group.

New insights into using momentum for non-convex optimization.

For this quarter of century, differential operators in a lower dimensional submanifold embedded or immersed in real $n$-dimensional euclidean space $\EE^n$ have been studied as quantum mechanical models, which are realized as restriction of the operators in $\EE^n$ to the submanifold. For this decade, the Dirac operato…

In this paper, a type of integrable evolution equation--the generalized Landau-Lifshitz equation into $S^n$ is considered. We deal with this equation from a geometric point of view by rewriting it in a geometric form. Through the geometric energy method, we show the global well-posedness of the corresponding Cauchy pro…

We create a 3-skeleton for a symmetric group's classifying space.

Reformulated Markov's conjecture in combinatorial terms.

Improved bounds for non-linear SA with fast convergence.

Sharp Sobolev theory for scalar elliptic equations on minimal regular manifolds.

A new, simplified form of 10D supergravity action is derived up to all fermion orders.

Based on conservation laws for surface layer integrals for critical points of causal variational principles, it is shown how jet spaces can be endowed with an almost-complex structure. We analyze under which conditions the almost-complex structure can be integrated to a canonical complex structure. Combined with the sc…

We determine the Lyapunov spectrum of ball quotients arising from cyclic coverings. The computations are performed by rewriting the sum of Lyapunov exponents as ratios of intersection numbers and by the analysis of the period map near boundary divisors. As a corollary, we complete the classification of commensurability…

Unified approach for multicalibration in weakly supervised learning.

We establish numerical methods for solving the martingale optimal transport problem (MOT) - a version of the classical optimal transport with an additional martingale constraint on transport's dynamics. We prove that the MOT value can be approximated using linear programming (LP) problems which result from a discretisa…

We suggest an alternative mathematical model for the massless neutrino. Consider an elastic continuum in 3-dimensional Euclidean space and assume that points of this continuum can experience no displacements, only rotations. This framework is a special case of the so-called Cosserat theory of elasticity. Rotations of p…

Deep Neural Networks (DNNs) are finding important applications in safety-critical systems such as Autonomous Vehicles (AVs), where perceiving the environment correctly and robustly is necessary for safe operation. Raising unique challenges for assurance due to their black-box nature, DNNs pose a fundamental problem for…

While accelerators such as GPUs have limited memory, deep neural networks are becoming larger and will not fit with the memory limitation of accelerators for training. We propose an approach to tackle this problem by rewriting the computational graph of a neural network, in which swap-out and swap-in operations are ins…

We consider normal almost contact structures on a Riemannian manifold and, through their associated sections of an ad-hoc twistor bundle, study their harmonicity, as sections or as maps. We rewrite these harmonicity equations in terms of the Riemann curvature tensor and find conditions relating the harmonicity of the a…

We propose a fast general projection-free metric learning framework, where the minimization objective $\min_{\textbf{M} \in \mathcal{S}} Q(\textbf{M})$ is a convex differentiable function of the metric matrix $\textbf{M}$, and $\textbf{M}$ resides in the set $\mathcal{S}$ of generalized graph Laplacian matrices for con…

We prove an existence result for the deformed Hermitian Yang-Mills equation for the full admissible range of the phase parameter, i.e., $\hatθ \in (\fracπ{2},\frac{3π}{2})$, on compact complex three-folds conditioned on a necessary subsolution condition. Our proof hinges on a delicate analysis of a new continuity path …

Paper develops a novel approach to identify clusters of features in multivariate extremes.

We revisit the cohomological index theorem for elliptic elements in the universal enveloping algebra of a Lie groupoid previously proved by the authors. We prove a Thom isomorphism for Lie algebroids which enables us to rewrite the "topological side" of the index theorem. This results in index formulae for Lie groupoid…

In this note we study conformal Ricci flow introduced by Arthur Fischer. We use DeTurck's trick to rewrite conformal Ricci flow as a strong parabolic-elliptic partial differential equations. Then we prove short time existences for conformal Ricci flow on compact manifolds as well as on asymptotically flat manifolds. We…

On most sponsored search platforms, advertisers bid on some keywords for their advertisements (ads). Given a search request, ad retrieval module rewrites the query into bidding keywords, and uses these keywords as keys to select Top N ads through inverted indexes. In this way, an ad will not be retrieved even if querie…