English
Related papers

Related papers: The Diagonal Method and Hypercomputation

200 papers

This paper deals with a hybrid joint diagonalization (JD) problem considering both Hermitian and transpose congruences. Such problem can be encountered in certain non-circular signal analysis applications including blind source separation.…

Signal Processing · Electrical Eng. & Systems 2018-09-11 Mohamed Nait-Meziane , Karim Abed-Meraim , Abd-Krim Seghouane , Ammar Mesloub

The widely used large-scale diagonalization method using harmonic oscillator basis functions (an instance of the Rayleigh-Ritz method, also called a spectral method, configuration-interaction method, or ``exact diagonalization'' method) is…

Strongly Correlated Electrons · Physics 2009-04-14 Simen Kvaal , Morten Hjorth-Jensen , Halvor Moll Nilsen

This paper proposes a new gradient method to solve the large-scale problems. Theoretical analysis shows that the new method has finite termination property for two dimensions and converges R-linearly for any dimensions. Experimental results…

Numerical Analysis · Mathematics 2019-07-12 Qinmeng Zou , Frederic Magoules

The approximate joint diagonalization of a set of matrices consists in finding a basis in which these matrices are as diagonal as possible. This problem naturally appears in several statistical learning tasks such as blind signal…

Numerical Analysis · Computer Science 2018-12-03 Pierre Ablin , Jean-François Cardoso , Alexandre Gramfort

Functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Our main concern here is how and under what conditions algorithmic interactive devices can be more…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-10-09 Mark Burgin

In this paper, we consider a new direction of computation, which we call computation with large advice. We mainly consider constant space computation with large advice in Turing machines, and prove the following facts: (i) The class of…

Computational Complexity · Computer Science 2023-04-17 Hiroki Morizumi

Inconsistency Robustness is performance of information systems with pervasively inconsistent information. Inconsistency Robustness of the community of professional mathematicians is their performance repeatedly repairing contradictions over…

Programming Languages · Computer Science 2015-02-18 Carl Hewitt

Loop corrections induce a dependence on the momentum squared of the coefficients of the Standard Model Lagrangian, making highly non-trivial (or even impossible) the diagonalization of its quadratic part. Fortunately, the introduction of…

High Energy Physics - Phenomenology · Physics 2009-07-06 Quentin Duret , Bruno Machet , M. I. Vysotsky

We apply topological methods to the study of the set of harmonic solutions of periodically perturbed autonomous ordinary differential equations on differentiable manifolds, allowing the perturbing term to contain a fixed delay. In the…

Dynamical Systems · Mathematics 2008-10-02 Massimo Furi , Marco Spadini

Using the damped pendulum system we introduce the averaging method to study the periodic solutions of a dynamical system with small perturbation. We provide sufficient conditions for the existence of periodic solutions with small amplitude…

Dynamical Systems · Mathematics 2014-05-20 Douglas Duarte Novaes

Despite the promise that fault-tolerant quantum computers can efficiently solve classically intractable problems, it remains a major challenge to find quantum algorithms that may reach computational advantage in the present era of noisy,…

Quantum Physics · Physics 2024-11-13 Miguel Murça , Duarte Magano , Yasser Omar

The intertwining operator technique is applied to difference Schroedinger equations with operator-valued coefficients. It is shown that these equations appear naturally when a discrete basis is used for solving a multichannel Schroedinger…

Quantum Physics · Physics 2009-11-10 L. M. Nieto , B. F. Samsonov , A. A. Suzko

The unprecedented success of deep learning (DL) makes it unchallenged when it comes to classification problems. However, it is well established that the current DL methodology produces universally unstable neural networks (NNs). The…

Machine Learning · Computer Science 2025-03-27 Alexander Bastounis , Anders C Hansen , Verner Vlačić

This paper describes Turing's Halting Problem (HP), and reviews the classic proof that no function exists that can solve HP. The concept of a "Context-Dependent Function" (CDF), whose behavior varies based on seemingly irrelevant changes to…

Logic in Computer Science · Computer Science 2015-01-14 Nicholas J. Macias

Fixed point iterations are known to generate chaos, for some values in their parameter range. It is an established fact that Turing Machines are fixed point iterations. However, as these Machines operate in integer space, the standard…

Computational Complexity · Computer Science 2015-07-06 Nabarun Mondal , Partha P. Ghosh

The halting probability of a Turing machine is the probability that the machine will halt if it starts with a random stream written on its one-way input tape. When the machine is universal, this probability is referred to as Chaitin's omega…

Computational Complexity · Computer Science 2016-10-04 George Barmpalias , Andrew Lewis-Pye

How do multi-turn reasoning systems fail? The expected answer is logical contradiction, in which the system's maintained state becomes unsatisfiable. We show that the dominant mode is instead satisfiable drift, where the internal state…

Artificial Intelligence · Computer Science 2026-05-26 Sebastien Kawada

Interior point methods solve small to medium sized problems to high accuracy in a reasonable amount of time. However, for larger problems as well as stochastic problems, one needs to use first-order methods such as stochastic gradient…

Optimization and Control · Mathematics 2016-10-14 Reza Takapoui , Hamid Javadi

The benchmark for computation is typically given as Turing computability; the ability for a computation to be performed by a Turing Machine. Many languages exploit (indirect) encodings of Turing Machines to demonstrate their ability to…

Formal Languages and Automata Theory · Computer Science 2014-10-29 Thomas Given-Wilson

Duality methods are used to generate explicit solutions to nonlinear Hodge systems, demonstrate the well-posedness of boundary value problems, and reveal, via the Hodge-B\"acklund transformation, underlying symmetries among superficially…

Analysis of PDEs · Mathematics 2015-06-05 Antonella Marini , Thomas H. Otway
‹ Prev 1 8 9 10 Next ›