English
Related papers

Related papers: Computing the Kalman form

200 papers

A new algorithms for computing discrete logarithms on elliptic curves defined over finite fields is suggested. It is based on a new method to find zeroes of summation polynomials. In binary elliptic curves one is to solve a cubic system of…

Cryptography and Security · Computer Science 2015-04-07 Igor Semaev

We propose an algorithm for classification of linear codes over different finite fields based on canonical augmentation. We apply this algorithm to obtain classification results over fields with 2, 3 and 4 elements.

Discrete Mathematics · Computer Science 2019-07-25 Iliya Bouyukliev , Stefka Bouyuklieva

It is known that computing the permanent of the matrix $1+A$, where $A$ is a finite-rank matrix, requires a number of operations polynomial in the matrix size. Motivated by the boson-sampling proposal of restricted quantum computation, I…

Quantum Physics · Physics 2023-05-31 Dmitri A. Ivanov

In this article we consider a linearized Calder\'on problem for polyharmonic operators of order $2m\ (m\ge 2)$ in the spirit of Calder\'on's original work [Cal80]. We give a uniqueness result for determining coefficients of order $\leq…

Analysis of PDEs · Mathematics 2022-07-14 Suman Kumar Sahoo , Mikko Salo

We show that the Knill Laflamme Milburn method of quantum computation with linear optics gates can be interpreted as a one-way, measurement based quantum computation of the type introduced by Briegel and Rausendorf. We also show that the…

Quantum Physics · Physics 2013-05-29 Sandu Popescu

We reformulate a class of non-linear stochastic optimal control problems introduced by Todorov (2007) as a Kullback-Leibler (KL) minimization problem. As a result, the optimal control computation reduces to an inference computation and…

Optimization and Control · Mathematics 2012-01-19 B. Kappen , V. Gomez , M. Opper

In this paper we introduce a new quantum computation model, the linear quantum cellular automaton. Well-formedness is an essential property for any quantum computing device since it enables us to define the probability of a configuration in…

Data Structures and Algorithms · Computer Science 2007-05-23 Christoph Durr , Huong LeThanh , Miklos Santha

We consider a linearized partial data Calder\'on problem for biharmonic operators extending the analogous result for harmonic operators. We construct special solutions and utilize Segal-Bargmann transform to recover lower order…

Analysis of PDEs · Mathematics 2023-08-30 Divyansh Agrawal , Ravi Shankar Jaiswal , Suman Kumar Sahoo

Quantum computers may achieve speedups over their classical counterparts for solving linear algebra problems. However, in some cases -- such as for low-rank matrices -- dequantized algorithms demonstrate that there cannot be an exponential…

Quantum Physics · Physics 2023-05-16 Ashley Montanaro , Changpeng Shao

In this paper we propose an idea of constructing a macro--scale matrix system given a micro--scale matrix linear system. Then the macro--scale system is solved at cheaper computing costs. The method uses the idea of the generalized…

Numerical Analysis · Mathematics 2022-01-27 Kanghun Cho , Roktaek Lim , Dongwoo Sheen

In this paper, we consider the adaptive linear quadratic Gaussian control problem, where both the linear transformation matrix of the state $A$ and the control gain matrix $B$ are unknown. The proposed adaptive optimal control only assumes…

Optimization and Control · Mathematics 2024-09-17 Nian Liu , Cheng Zhao , Shaolin Tan , Jinhu Lü

The estimation of high dimensional precision matrices has been a central topic in statistical learning. However, as the number of parameters scales quadratically with the dimension $p$, many state-of-the-art methods do not scale well to…

Computation · Statistics 2019-07-10 Cheng Wang , Binyan Jiang

Two general methods for establishing the logarithmic behavior of recursively defined sequences of real numbers are presented. One is the interlacing method, and the other one is based on calculus. Both methods are used to prove logarithmic…

Combinatorics · Mathematics 2007-05-23 Tomislav Došlić , Darko Veljan

A practical version of the polynomial canonical formalism is developed for normal mesoscopic systems consisting of N independent electrons. Drastic simplification of calculations is attained by means of proper ordering excited states of the…

Mesoscale and Nanoscale Physics · Physics 2007-05-23 N. K. Kuzmenko , V. M. Mikhajlov

We propose an algorithm that calculates isogenies between elliptic curves defined over an extension $K$ of $\mathbb{Q}_2$. It consists in efficiently solving with a logarithmic loss of $2$-adic precision the first order differential…

Number Theory · Mathematics 2021-05-19 Xavier Caruso , Elie Eid , Reynald Lercier

Matrix multiplication (hereafter we use the acronym MM) is among the most fundamental operations of modern computations. The efficiency of its performance depends on various factors, in particular vectorization, data movement and arithmetic…

Data Structures and Algorithms · Computer Science 2015-02-09 Victor Y. Pan

Multiplication of polynomials is among key operations in computer algebra which plays important roles in developing techniques for other commonly used polynomial operations such as division, evaluation/interpolation, and factorization. In…

Numerical Analysis · Mathematics 2022-06-02 S. Karami , M. Ahmadnasab , M. Hadizadeh , A. Amiraslani

We give algorithms of computing bases of logarithmic cohomology groups for square-free polynomials in two variables. (Fixed typos of v1)

Algebraic Geometry · Mathematics 2008-01-20 Francisco Jesus Castro-Jimenez , Nobuki Takayama

We give two algorithms to compute linear determinantal representations of smooth plane curves of any degree over any field. As particular examples, we explicitly give representatives of all equivalence classes of linear determinantal…

Number Theory · Mathematics 2018-12-31 Yasuhiro Ishitsuka , Tetsushi Ito , Tatsuya Ohshita

Computing the determinant of a matrix with the univariate and multivariate polynomial entries arises frequently in the scientific computing and engineering fields. In this paper, an effective algorithm is presented for computing the…

Symbolic Computation · Computer Science 2015-04-14 Xiaolin Qin , Zhi Sun , Tuo Leng , Yong Feng