English
Related papers

Related papers: Implementation of linear maps with circulant matri…

200 papers

In this paper, the author present a reliable symbolic computational algorithm for inverting a general comrade matrix by using parallel computing along with recursion. The computational cost of our algorithm is O(n^2). The algorithm is…

Symbolic Computation · Computer Science 2012-10-18 A. A. Karawia

In this paper, we present an algorithm for computing a fundamental matrix of formal solutions of completely integrable Pfaffian systems with normal crossings in several variables. This algorithm is a generalization of a method developed for…

Symbolic Computation · Computer Science 2016-10-06 Moulay A. Barkatou , Maximilian Jaroschek , Suzy S. Maddah

For each integer $n$ we present an explicit formulation of a compact linear program, with $O(n^3)$ variables and constraints, which determines the satisfiability of any 2SAT formula with $n$ boolean variables by a single linear…

Optimization and Control · Mathematics 2018-04-19 David Avis , Hans Raj Tiwary

Matrix computations have become increasingly significant in many data-driven applications. However, Moores law for digital computers has been gradually approaching its limit in recent years. Moreover, digital computers encounter substantial…

Systems and Control · Electrical Eng. & Systems 2025-06-12 Hao Li , Rizwan S. Peerla , Frank Barrows , Francesco Caravelli , Bibhu Datta Sahoo

We extend the Levi-Civita (L-C) and Kustaanheimo-Stiefel (K-S) regularization methods that maps the classical system where a particle moves under the combined influence of $\frac{1}{r}$ and $r^2$ potentials to a harmonic oscillator with…

Mathematical Physics · Physics 2022-05-11 E. Harikumar , Suman Kumar Panja , Partha Guha

The minimum number of NOT gates in a Boolean circuit computing a Boolean function is called the inversion complexity of the function. In 1957, A. A. Markov determined the inversion complexity of every Boolean function and proved that…

Discrete Mathematics · Computer Science 2015-09-01 V. V. Kochergin , A. V. Mikhailovich

We study two fundamental optimization problems: (1) scaling a symmetric positive definite matrix by a positive diagonal matrix so that the resulting matrix has row and column sums equal to 1; and (2) minimizing a quadratic function subject…

Data Structures and Algorithms · Computer Science 2025-04-30 Adrian Vladu

We demonstrate a programmable quantum Hall circuit that implements a novel iterative voltage bisection scheme and allows obtaining any binary fraction $(k/2^n)$ of the fundamental resistance quantum $R_K/2=h/2e^2$. The circuit requires a…

Mesoscale and Nanoscale Physics · Physics 2020-08-26 Zahra Sadre Momtaz , Stefan Heun , Giorgio Biasiol , Stefano Roddaro

As quantum processors grow in scale and reliability, the need for efficient quantum gate decomposition of circuits to a set of specific available gates, becomes ever more critical. The decomposition of a particular algorithm into a sequence…

Quantum Physics · Physics 2025-01-30 Jonathan Nemirovsky , Maya Chuchem , Yotam Shapira

The paper discusses the asymptotic depth of a reversible circuit consisting of NOT, CNOT and 2-CNOT gates. Reversible circuit depth function $D(n, q)$ for a circuit implementing a transformation $f\colon \mathbb Z_2^n \to \mathbb Z_2^n$ is…

Emerging Technologies · Computer Science 2016-02-16 Dmitry V. Zakablukov

We consider the problem of mapping a logical quantum circuit onto a given hardware with limited two-qubit connectivity. We model this problem as an integer linear program, using a network flow formulation with binary variables that includes…

Quantum Physics · Physics 2021-07-27 Giacomo Nannicini , Lev S Bishop , Oktay Gunluk , Petar Jurcevic

Let ${\mathcal C}$ be a proper minor-closed family of graphs. We present a randomized algorithm that given a graph $G \in {\mathcal C}$ with $n$ vertices, finds a simple cycle of size $k$ in $G$ (if exists) in $2^{O(k)}n$ time. The…

Data Structures and Algorithms · Computer Science 2020-08-10 Raphael Yuster

Electronic structure simulation is an anticipated application for quantum computers. Due to high-dimensional quantum entanglement in strongly correlated systems, the quantum resources required to perform such simulations are far beyond the…

Quantum Physics · Physics 2022-01-25 Jie Liu , Zhenyu Li , Jinlong Yang

Let {\alpha} be the maximal value such that the product of an n x n^{\alpha} matrix by an n^{\alpha} x n matrix can be computed with n^{2+o(1)} arithmetic operations. In this paper we show that \alpha>0.30298, which improves the previous…

Data Structures and Algorithms · Computer Science 2021-10-05 François Le Gall

We show that a circuit walk from a given feasible point of a given linear program to an optimal point can be computed in polynomial time using only linear algebra operations and the solution of the single given linear program. We also show…

Optimization and Control · Mathematics 2024-10-02 Shmuel Onn

We study Boolean circuits as a representation of Boolean functions and consider different equivalence, audit, and enumeration problems. For a number of restricted sets of gate types (bases) we obtain efficient algorithms, while for all…

Computational Complexity · Computer Science 2015-07-01 Elmar Böhler , Nadia Creignou , Matthias Galota , Steffen Reith , Henning Schnoor , Heribert Vollmer

Quantum nonrelativistic systems with $2\times2$ matrix potentials are investigated. Physically, they simulate charged or neutral fermions with non-trivial dipole momenta, interacting with an external electric field. Assuming rotationally…

Mathematical Physics · Physics 2015-06-15 A. G. Nikitin

For an $n \times n$ matrix $M$ with entries in $\mathbb{Z}_2$ denote by $R(M)$ the minimal rank of all the matrices obtained by changing some numbers on the main diagonal of $M$. We prove that for each non-negative integer $k$ there is a…

Combinatorics · Mathematics 2021-04-22 Eugene Kogan

We present an algorithm computing the determinant of an integer matrix A. The algorithm is introspective in the sense that it uses several distinct algorithms that run in a concurrent manner. During the course of the algorithm partial…

Symbolic Computation · Computer Science 2008-09-04 Jean-Guillaume Dumas , Anna Urbanska

Any square matrix can be transformed into a doubly stochastic matrix via Sinkhorn scaling with diagonal matrices or completing to a larger dimensional matrix. Standard Birkhoff-von Neumann and Pauli decompositions represent such matrices as…

Quantum Physics · Physics 2026-05-28 Ammar Daskin