English
Related papers

Related papers: Differentiation of Kaltofen's division-free determ…

200 papers

First-order optimization algorithms, often preferred for large problems, require the gradient of the differentiable terms in the objective function. These gradients often involve linear operators and their adjoints, which must be applied…

Optimization and Control · Mathematics 2017-07-10 James Folberth , Stephen Becker

We present a very simple algorithm for computing Pfaffians which uses no division operations. Essentially, it amounts to iterating matrix multiplication and truncation. Its complexity, for a $2n\times 2n$ matrix, is $O(nM(n))$, where $M(n)$…

Data Structures and Algorithms · Computer Science 2023-02-24 Adam J. Przezdziecki

Fast exact algorithms are known for Hamiltonian paths in undirected and directed bipartite graphs through elegant though involved algorithms that are quite different from each other. We devise algorithms that are simple and similar to each…

Data Structures and Algorithms · Computer Science 2025-12-10 V. Arvind , Srijan Chakraborty , Samir Datta , Asif Khan

In this paper we study the relaxed primal-dual algorithm for solving composite monotone inclusions in real Hilbert spaces with critical preconditioners. Our approach is based in new results on the asymptotic behaviour of…

Optimization and Control · Mathematics 2021-08-12 Luis Briceño-Arias , Fernando Roldán

We present an algorithm for marginalising changepoints in time-series models that assume a fixed number of unknown changepoints. Our algorithm is differentiable with respect to its inputs, which are the values of latent random variables…

Machine Learning · Computer Science 2019-11-25 Hyoungjin Lim , Gwonsoo Che , Wonyeol Lee , Hongseok Yang

Matrix determinants play an important role in data analysis, in particular when Gaussian processes are involved. Due to currently exploding data volumes, linear operations - matrices - acting on the data are often not accessible directly…

Data Analysis, Statistics and Probability · Physics 2015-07-08 Sebastian Dorn , Torsten A. Enßlin

The sparse difference resultant introduced in \citep{gao-2015} is a basic concept in difference elimination theory. In this paper, we show that the sparse difference resultant of a generic Laurent transformally essential system can be…

Symbolic Computation · Computer Science 2021-04-21 Chun-Ming Yuan , Zhi-Yong Zhang

We propose a very simple preprocessing algorithm for semidefinite programming. Our algorithm inspects the constraints of the problem, deletes redundant rows and columns in the constraints, and reduces the size of the variable matrix. It…

Optimization and Control · Mathematics 2016-08-09 Preston Faulk , Gabor Pataki , Quoc Tran-Dinh

For every constant $d$, we design a subexponential time deterministic algorithm that takes as input a multivariate polynomial $f$ given as a constant depth algebraic circuit over the field of rational numbers, and outputs all irreducible…

Computational Complexity · Computer Science 2023-09-19 Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi

In this paper, we study the complexity of computing the determinant of a matrix over a non-commutative algebra. In particular, we ask the question, "over which algebras, is the determinant easier to compute than the permanent?" Towards…

Computational Complexity · Computer Science 2018-10-09 Steve Chien , Prahladh Harsha , Alistair Sinclair , Srikanth Srinivasan

High dimensional and/or nonconvex optimization remains a challenging and important problem across a wide range of fields, such as machine learning, data assimilation, and partial differential equation (PDE) constrained optimization. Here we…

Optimization and Control · Mathematics 2025-08-29 Brian K. Tran , Ben S. Southworth , David B. Cavender , Sam Olivier , Syed A. Shah , Tommaso Buvoli

Automatic differentiation---the mechanical transformation of numeric computer programs to calculate derivatives efficiently and accurately---dates to the origin of the computer age. Reverse mode automatic differentiation both antedates and…

Machine Learning · Computer Science 2014-04-30 Atilim Gunes Baydin , Barak A. Pearlmutter

This article aims to demonstrate and discuss the applications of automatic differentiation (AD) for finding derivatives in PDE-constrained optimization problems and Jacobians in non-linear finite element analysis. The main idea is to…

Numerical Analysis · Mathematics 2025-06-03 Julian Andrej , Tzanio Kolev , Boyan Lazarov

We propose quantum algorithms, purely quantum in nature, for calculating the determinant and inverse of an $(N-1)\times (N-1)$ matrix (depth is $O(N^2\log N)$) which is a simple modification of the algorithm for calculating the determinant…

Quantum Physics · Physics 2025-06-02 Alexander I. Zenchuk , Georgii A. Bochkin , Wentao Qi , Asutosh Kumar , Junde Wu

The deterministic recursive pivot-free algorithms for the computation of generalized Bruhat decomposition of the matrix in the field and for the computation of the inverse matrix are presented. This method has the same complexity as…

Symbolic Computation · Computer Science 2017-02-24 Gennadi Malaschonok

We develop a new algorithm to compute determinants of all possible Hankel matrices made up from a given finite length sequence over a finite field. Our algorithm fits within the dynamic programming paradigm by exploiting new recursive…

Cryptography and Security · Computer Science 2022-01-04 Claude Gravel , Daniel Panario , Bastien Rigault

Varchenko introduced in 1993 a distance function on the chambers of a hyperplane arrangement that gave rise to a determinant whose entry in position $(C, D)$ is the distance between the chambers $C$ and $D$, and computed that determinant.…

Combinatorics · Mathematics 2021-03-02 Hery Randriamaro

We present a general and automated approach for computing model gradients for PDE solvers built on sparse spectral methods, and implement this capability in the widely used open-source Dedalus framework. We apply reverse-mode automatic…

Numerical Analysis · Mathematics 2026-04-15 Calum S. Skene , Keaton J. Burns

The subdivision algorithm by Dellnitz and Hohmann for the computation of invariant sets of dynamical systems decomposes the relevant region of the state space into boxes and analyzes the induced box dynamics. Its convergence is proved in an…

Numerical Analysis · Mathematics 2017-08-15 Janosch Rieger

We present an algorithm for computing a holonomic system for a definite integral of a holonomic function over a domain defined by polynomial inequalities. If the integrand satisfies a holonomic difference-differential system including…

Symbolic Computation · Computer Science 2016-04-05 Toshinori Oaku