English
Related papers

Related papers: An algorithm to compute a presentation of pushforw…

200 papers

With the emergence of Artificial Intelligence, numerical algorithms are moving towards more approximate approaches. For methods such as PCA or diffusion maps, it is necessary to compute eigenvalues of a large matrix, which may also be dense…

Numerical Analysis · Mathematics 2023-11-17 Keerthi Gaddameedi , Severin Reiz , Tobias Neckel , Hans-Joachim Bungartz

Verifying properties of object-oriented software requires a method for handling references in a simple and intuitive way, closely related to how O-O programmers reason about their programs. The method presented here, a Calculus of Object…

Software Engineering · Computer Science 2011-07-19 Bertrand Meyer

We study the notions of nuclearity and exactness for module maps on $C^{*}$-algebras which are $C^*$-module over another $C^*$-algebra with compatible actions and examine finite approximation properties of such $C^*$-modules. We prove…

Operator Algebras · Mathematics 2022-06-15 Massoud Amini

We investigate the convergence properties of exact and inexact forward-backward algorithms to minimise the sum of two weakly convex functions defined on a Hilbert space, where one has a Lipschitz-continuous gradient. We show that the exact…

Optimization and Control · Mathematics 2024-06-24 Ewa Bednarczuk , Giovanni Bruccola , Gabriele Scrivanti , The Hung Tran

A finite expansion of the exponential map for a $N\times N$ matrix is presented. The method uses the Cayley-Hamilton theorem for writing the higher matrix powers in terms of the first N-1 ones. The resulting sums over the corresponding…

High Energy Physics - Theory · Physics 2008-11-26 Alexander Laufer

We present an algorithm for explicitly computing the categorical (Drinfeld) center of a pivotal fusion category. Our approach is based on decomposing the images of simple objects under the induction functor from the category to its center.…

Representation Theory · Mathematics 2025-11-10 Fabian Mäurer , Ulrich Thiel

Finite mixture models are used in statistics and other disciplines, but inference for mixture models is challenging due, in part, to the multimodality of the likelihood function and the so-called label switching problem. We propose…

Methodology · Statistics 2020-11-03 Umberto Simola , Jessi Cisewski-Kehe , Robert L. Wolpert

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

Logic · Mathematics 2023-04-17 Alec Fox

This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of…

Algebraic Geometry · Mathematics 2026-01-28 Matthew R. Ballard , Srikanth B. Iyengar , Pat Lank , Alapan Mukhopadhyay , Josh Pollitz

In this paper, we propose a reflected forward-backward splitting algorithic framework for finding a zero of the sum of finitely many monotone op-erators, including maximally monotone operators, cocoercive operators, and monotone and…

Optimization and Control · Mathematics 2026-05-19 Haowen Zheng , Yongyu Fu , Qiao-Li Dong , Shuangbao Li

We observe structure in the sequences of quotients and remainders of the Euclidean algorithm with two families of inputs. Analyzing the remainders, we obtain new algorithms for computing modular inverses and representating prime numbers by…

Number Theory · Mathematics 2017-04-05 Christina Doran , Shen Lu , Barry R. Smith

We present an algorithm for computing the integral closure of a reduced ring that is finitely generated over a finite field.

Commutative Algebra · Mathematics 2009-01-08 Anurag K. Singh , Irena Swanson

Fast algorithms for integer and polynomial multiplication play an important role in scientific computing as well as in other disciplines. In 1971, Sch{\"o}nhage and Strassen designed an algorithm that improved the multiplication time for…

Symbolic Computation · Computer Science 2018-11-06 Sviatoslav Covanov , Davood Mohajerani , Marc Moreno-Maza , Lin-Xiao Wang

Fishburn developed an algorithm to solve a system of $m$ difference constraints whose $n$ unknowns must take values from a set with $k$ real numbers [Solving a system of difference constraints with variables restricted to a finite set,…

Discrete Mathematics · Computer Science 2022-11-11 Santiago Cifuentes , Francisco J. Soulignac , Pablo Terlisky

Let $p$ be a prime number, $p=2^nq+1$, where $q$ is odd. D. Shanks described an algorithm to compute square roots $\pmod{p}$ which needs $O(\log q + n^2)$ modular multiplications. In this note we describe two modifications of this…

Number Theory · Mathematics 2011-05-10 Jan-Christoph Schlage-Puchta

We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…

K-Theory and Homology · Mathematics 2017-10-31 Oliver Braunling

We exhibit a method to numerically compute power series expansions of modular forms on a cocompact Fuchsian group, using the explicit computation a fundamental domain and linear algebra.

Number Theory · Mathematics 2012-10-02 John Voight , John Willis

We present a simple and fast algorithm for computing the $N$-th term of a given linearly recurrent sequence. Our new algorithm uses $O(\mathsf{M}(d) \log N)$ arithmetic operations, where $d$ is the order of the recurrence, and…

Symbolic Computation · Computer Science 2020-08-21 Alin Bostan , Ryuhei Mori

Consider the following generalized hidden shift problem: given a function f on {0,...,M-1} x Z_N satisfying f(b,x)=f(b+1,x+s) for b=0,1,...,M-2, find the unknown shift s in Z_N. For M=N, this problem is an instance of the abelian hidden…

Quantum Physics · Physics 2018-08-02 Andrew M. Childs , Wim van Dam

The classical persistence algorithm computes the unique decomposition of a persistence module implicitly given by an input simplicial filtration. Based on matrix reduction, this algorithm is a cornerstone of the emergent area of topological…

Algebraic Topology · Mathematics 2021-12-07 Tamal K. Dey , Cheng Xin