English
Related papers

Related papers: Weihrauch Complexity in Computable Analysis

200 papers

This work builds on a rich discourse surrounding the social brain hypothesis as well as the definition and quantification of social complexity. We believe this manuscript provides a new perspective on the topic by pairing a conceptual…

Physics and Society · Physics 2025-03-25 Etienne Lein , Cécile Aprili , Jayaditya Deep , Isaac Kazuo Uyehara

The volume of data that will be produced by the next generation of astrophysical instruments represents a significant opportunity for making unplanned and unexpected discoveries. Conversely, finding unexpected objects or phenomena within…

Instrumentation and Methods for Astrophysics · Physics 2019-09-11 Gary Segal , David Parkinson , Ray P. Norris , Jesse Swan

Several approaches and corresponding definitions of complexity have been developed in different fields. Urban systems are the archetype of complex socio-technical systems concerned with these different viewpoints. We suggest in this chapter…

Computers and Society · Computer Science 2020-01-09 Juste Raimbault

Graph-based representations of images have recently acquired an important role for classification purposes within the context of machine learning approaches. The underlying idea is to consider that relevant information of an image is…

Machine Learning · Computer Science 2011-06-07 Alejandro Chinea , Elka Korutcheva

Sufficient conditions are given for the computation of accessing arcs and arcs that links boundary components of multiply connected domains. The existence of a not-computably-accessible but computable point on a computably compact arc is…

Logic · Mathematics 2012-12-04 Timothy H. McNicholl

This document is both a synthesis of current notions about complex systems, and a practical approach description. A disambiguation is proposed and exposes possible reasons for controversies related to causation and emergence. Theoretical…

Adaptation and Self-Organizing Systems · Physics 2008-03-05 Nicolas Brodu

We introduce computational causal inference as an interdisciplinary field across causal inference, algorithms design and numerical computing. The field aims to develop software specializing in causal inference that can analyze massive…

Computation · Statistics 2020-07-22 Jeffrey C. Wong

In our thesis, we try to shed more light onto the complexity of quantum complexity classes by refining the related part of the hierarchy. First, we review the basic concepts of quantum computing in general. Then, inspired by BQP, we define…

Computational Complexity · Computer Science 2007-05-23 Tereza Tusarova

I discuss computational challenges in the relativistic few-nucleon problem and the resolution of some of these challenges. I also discuss the outlook for the future.

Nuclear Theory · Physics 2013-12-13 W. N. Polyzou

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of…

Logic · Mathematics 2017-05-22 Pavel Pudlak

These notes offer a unified introduction to spectral methods for the study of complex systems. They are intended as an operative manual rather than a theorem-proof textbook: the emphasis is on tools, identities, and perspectives that can be…

Statistical Mechanics · Physics 2025-09-10 Francesco Caravelli

Leech's (co)homology groups of finite cyclic monoids are computed.

K-Theory and Homology · Mathematics 2016-02-04 María Calvo-Cervera , Antonio M. Cegarra

We treat the classical notion of convexity in the context of hard real analysis. Definitions of the concept are given in terms of defining functions and quadratic forms, and characterizations are provided of different concrete notions of…

Classical Analysis and ODEs · Mathematics 2009-09-01 Steven G. Krantz

In this paper we present parallel theories on constructing Wiener algebras in the bicomplex setting. With the appropriate symmetry condition, the bicomplex matrix valued case can be seen as a complex valued case and, in this matrix valued…

Complex Variables · Mathematics 2022-06-28 Daniel Alpay , Izchak Lewkowicz , Mihaela Vajiac

Complex Systems were identified and studied in different fields, such as physics, biology, and economics. These systems exhibit exciting properties such as self-organization, robust order, and emergence. In recent years, software systems…

Software Engineering · Computer Science 2023-06-22 Jan Žižka , Bruno Rossi , Tomáš Pitner

Compositionality is a key property for dealing with complexity, which has been studied from many points of view in diverse fields. Particularly, the composition of individual computations (or programs) has been widely studied almost since…

Logic in Computer Science · Computer Science 2022-06-06 Damian Arellanes

We present a bounded probability algorithm for the computation of the Chow forms of the equidimensional components of an algebraic variety. Its complexity is polynomial in the length and in the geometric degree of the input equation system…

Algebraic Geometry · Mathematics 2007-05-23 Gabriela Jeronimo , Teresa Krick , Juan Sabia , Martin Sombra

We discuss the complexity of completions of partial combinatory algebras, in particular of Kleene's first model. Various completions of this model exist in the literature, but all of them have high complexity. We show that although there do…

Logic · Mathematics 2023-07-25 Sebastiaan A. Terwijn

We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than what a related study by Giusto, Brown, and Simpson has…

Logic · Mathematics 2018-08-23 Vasco Brattka , Guido Gherardi , Rupert Hölzl , Arno Pauly

We report on experience with an investigation of the analytic structure of the solution of certain algebraic complex equations. In particular the behavior of their series expansions around the origin is discussed. The investigation imposes…

Computational Physics · Physics 2009-10-31 A. van Hameren , R. Kleiss