English
Related papers

Related papers: Reverse derivative categories

200 papers

Reversible algorithms play a crucial role both in classical and quantum computation. While for a classical bit the only nontrivial reversible operation is the bit-flip, nature is far more versatile in what it allows to do to a quantum bit.…

Quantum Physics · Physics 2022-11-14 Anandamay Das Bhowmik , Preeti Parashar

While backpropagation--reverse-mode automatic differentiation--has been extraordinarily successful in deep learning, it requires two passes (forward and backward) through the neural network and the storage of intermediate activations.…

Machine Learning · Computer Science 2025-11-06 Daniel Wang , Evan Markou , Dylan Campbell

Reinforcement learning (RL) offers significant promise for machinery fault detection (MFD). However, most existing RL-based MFD approaches do not fully exploit RL's sequential decision-making strengths, often treating MFD as a simple…

Machine Learning · Computer Science 2026-02-27 Dhiraj Neupane , Richard Dazeley , Mohamed Reda Bouadjenek , Sunil Aryal

The conformable derivative has been promoted in numerous publications as a new fractional derivative operator. This article provides a critical reassessment of this claim. We demonstrate that the conformable derivative is not a fractional…

Analysis of PDEs · Mathematics 2025-12-30 Aziz El Ghazouani , Fouad Ibrahim Abdou Amir , Khoulane Mohamed , M'hamed Elomari

We view a conic optimization problem that has a unique solution as a map from its data to its solution. If sufficient regularity conditions hold at a solution point, namely that the implicit function theorem applies to the normalized…

Optimization and Control · Mathematics 2019-03-28 Enzo Busseti

Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…

Category Theory · Mathematics 2024-02-23 Jiri Adamek

A novel class of derivative-free optimization algorithms is developed. The main idea is to utilize certain non-commutative maps in order to approximate the gradient of the objective function. Convergence properties of the novel algorithms…

Optimization and Control · Mathematics 2018-05-21 Jan Feiling , Amelie Zeller , Christian Ebenbauer

We discuss the functional lazy techniques in generation and handling of arbitrarily long sequences of derivatives of numerical expressions in one ``variable''; the domain to which the paper belongs is usually nicknamed ``Automatic…

Programming Languages · Computer Science 2025-01-24 Jerzy Karczmarczuk

Cartesian reverse derivative categories (CRDCs) provide an axiomatic generalization of the reverse derivative, which allows generalized analogues of classic optimization algorithms such as gradient descent to be applied to a broad class of…

Category Theory · Mathematics 2025-09-26 Tyler Hanks , James Fairbanks , Matthew Klawonn

A relational structure is called reversible iff every bijective endomorphism of that structure is an automorphism. We give several equivalents of that property in the class of disconnected binary structures and some its subclasses. For…

Logic · Mathematics 2017-11-07 Miloš S. Kurilić , Nenad Morača

This is a mostly expository paper, intended to explain a very natural relationship between two a priori distinct notions appearing in the literature: Generic Vanishing in the context of vanishing theorems and birational geometry, and…

Algebraic Geometry · Mathematics 2009-11-23 Mihnea Popa

In this paper we prove that local fractional derivatives of differentiable functions are integer-order derivative or zero operator. We demonstrate that the local fractional derivatives are limits of the left-sided Caputo fractional…

Classical Analysis and ODEs · Mathematics 2018-01-26 Vasily E. Tarasov

The pseudoinverse of a matrix, a generalized notion of the inverse, is of fundamental importance in linear algebra and, thereby, in many different fields. Despite its proven existence, an algorithmic approach is typically necessary to…

Numerical Analysis · Mathematics 2026-01-21 Holger Boche , Adalbert Fono , Gitta Kutyniok

Deep learning has seen tremendous success over the past decade in computer vision, machine translation, and gameplay. This success rests in crucial ways on gradient-descent optimization and the ability to learn parameters of a neural…

Machine Learning · Computer Science 2019-08-30 Fei Wang , Daniel Zheng , James Decker , Xilun Wu , Grégory M. Essertel , Tiark Rompf

The inverse problem of special geometry (Seiberg-Witten geometry of 4d N=2 SCFT) asks for a recursive construction of all such geometries in rank $r$ by assembling together known lower-rank ``strata''. This leads to a program to…

High Energy Physics - Theory · Physics 2023-12-06 Sergio Cecotti

Backward simulation is an approximate inference technique for Bayesian belief networks. It differs from existing simulation methods in that it starts simulation from the known evidence and works backward (i.e., contrary to the direction of…

Artificial Intelligence · Computer Science 2013-02-28 Robert Fung , Brendan del Favero

The paper presents derivation and interpretation of one type of variable order derivative definitions. For mathematical modelling of considering definition the switching and numerical scheme is given. The paper also introduces a numerical…

Dynamical Systems · Mathematics 2013-04-19 Dominik Sierociuk , Wiktor Malesza , Michal Macias

A derived operation is a bilinear operation on a commutative associative algebra $A$ defined intrinsically out of its product and several derivations of the product. We show that operators of left (or right) multiplications of a derived…

Rings and Algebras · Mathematics 2025-11-25 Vladimir Dotsenko

Function regression/approximation is a fundamental application of machine learning. Neural networks (NNs) can be easily trained for function regression using a sufficient number of neurons and epochs. The forward-forward learning algorithm…

Machine Learning · Computer Science 2025-10-16 Shivam Padmani , Akshay Joshi

We present Sparse Backdoor, a supply-chain attack that plants a \emph{provably undetectable} backdoor in pre-trained image classifiers, including convolutional networks and Vision Transformers. The attack injects a structured sparse…

Cryptography and Security · Computer Science 2026-05-07 Sarthak Choudhary , Atharv Singh Patlan , Nils Palumbo , Ashish Hooda , Kassem Fawaz , Somesh Jha