arXiv research

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.

TFLMS optimizes neural network training with larger models by rewriting graphs.

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

Graph neural networks can perform approximate reasoning in latent space for mathematical statements.

Paper proposes a visual tool for analyzing financial markets.

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…

Rewriting theory applied to diagrammatic algebras for categorification.

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

Updates and rewrites a 1974 AMS Memoir on Lie groups.

NeuRewriter learns to choose and rewrite heuristics in combinatorial problems.

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

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…

The Penrose inequality in Minkowski is a geometric inequality relating the total outer null expansion and the area of closed, connected and spacelike codimension-two surfaces S in the Minkowski spacetime, subject to an additional convexity assumption. In a recent paper, Brendle and Wang find a sufficient condition for …

A fast metric learning framework using Gershgorin disc alignment.

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

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

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

Rewriting history improves RL algorithms for solving multiple tasks.

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.

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

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…

Reformulated Markov's conjecture in combinatorial terms.

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.

Proves that emergent algebras right-distributivity implies left-distributivity.

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…

PaRoT simplifies robust training for deep neural networks.

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…

Existence proved for complex 3-folds equation on a specific phase range.

Mikhail Khovanov in math.QA/9908171 defined, for a diagram of an oriented classical link, a collection of groups numerated by pairs of integers. These groups were constructed as homology groups of certain chain complexes. The Euler characteristics of these complexes are coefficients of the Jones polynomial of the link.…

Investigates surfaces with prescribed mean and skew curvatures in Lorentz-Minkowski space.

We propose two methods to obtain exact solutions for the Almgren-Chriss model about optimal execution of portfolio transactions. In the first method we rewrite the Almgren-Chriss equation and find two exact solutions. In the second method, employing a general reparametrized time, we show that the Almgren-Chriss equatio…

Viewing Dehn's algorithm as a rewriting system, we generalise to allow an alphabet containing letters which do not necessarily represent group elements. This extends the class of groups for which the algorithm solves the word problem to include nilpotent groups, many relatively hyperbolic groups including geometrically…

Extends Euler class formula to general connections with metric.

A new framework for personalized ad retrieval in e-commerce search.

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…

We consider the Dirac equation in flat Minkowski 3-space and rewrite it as the Maxwell equation in Minkowski 4-space with torsion. The torsion tensor is defined as the dual of the electromagnetic vector potential. Our model clearly distinguishes the electron and the positron without resorting to "negative frequencies":…

Researchers extend Gamma index theorem to non-compact spacetimes.

Study harmonicity of normal almost contact structures on Riemannian manifolds.

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…

The paper solves optimal control problems for stochastic delay equations.

Many machine learning algorithms minimize a regularized risk, and stochastic optimization is widely used for this task. When working with massive data, it is desirable to perform stochastic optimization in parallel. Unfortunately, many existing stochastic optimization algorithms cannot be parallelized efficiently. In t…

Corrects errors and completes missing parts in a paper on tangent cones.

AI agents manage portfolios, improving on human oversight.

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 …

New insights into using momentum for non-convex optimization.