English
Related papers

Related papers: Complexity of deep computations via topology of fu…

200 papers

The rapid evolution of network services demands new paradigms for studying and designing networks. In order to understand the underlying mechanisms that provide network functions, we propose a framework which enables the functional analysis…

Social and Information Networks · Computer Science 2017-10-09 Merim Dzaferagic , Nicholas Kaminski , Neal McBride , Irene Macaluso , Nicola Marchetti

We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussion of the relation to other approaches.

Logic · Mathematics 2021-09-28 Vasco Brattka , Guido Gherardi , Arno Pauly

We answer the following question posed by Lechuga: Given a simply-connected space $X$ with both $H_*(X,\qq)$ and $\pi_*(X)\otimes \qq$ being finite-dimensional, what is the computational complexity of an algorithm computing the cup-length…

Algebraic Topology · Mathematics 2011-12-06 Manuel Amann

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

Geometric Topology · Mathematics 2025-02-17 Alexandr Prishlyak

We characterize the compactness properties of the product of \lambda\ copies of the space \omega\ with the discrete topology, dealing in particular with the case \lambda\ singular, using regular and uniform ultrafilters, infinitary…

General Topology · Mathematics 2016-08-30 Paolo Lipparini

The $\kappa$-topologies on the spaces $\mathscr{D}_{L^p}$, $L^p$ and $\mathscr{M}^1$ are defined by a neighbourhood basis consisting of polars of absolutely convex and compact subsets of their (pre-)dual spaces. In many cases it is more…

Functional Analysis · Mathematics 2020-10-09 Christian Bargetz , Eduard A. Nigsch , Norbert Ortner

What is computable with limited resources? How can we verify the correctness of computations? How to measure computational power with precision? Despite the immense scientific and engineering progress in computing, we still have only…

Other Computer Science · Computer Science 2016-10-20 Attila Egri-Nagy

We propose a new way to measure the balance between freedom and coherence in a dynamical system and a new measure of its internal variability. Based on the concept of entropy and ideas from neuroscience and information theory, we define…

Dynamical Systems · Mathematics 2016-11-21 Karl Petersen , Benjamin Wilson

We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…

Chaotic Dynamics · Physics 2016-11-17 Marat Akhmet , Mehmet Onur Fen

A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…

Logic · Mathematics 2023-07-10 Djamel Eddine Amir , Mathieu Hoyrup

In this paper, we introduce the n-th discrete topological complexity and study its properties such as its relation with simplicial Lusternik-Schnirelmann category and how the higher dimensions of discrete topological complexity relate with…

Algebraic Topology · Mathematics 2024-04-17 Hilal Alabay , Ayse Borat , Esra Cihangirli , Esma Dirican Erdal

The past century has seen a steady increase in the need of estimating and predicting complex systems and making (possibly critical) decisions with limited information. Although computers have made possible the numerical evaluation of…

Statistics Theory · Mathematics 2017-01-13 Houman Owhadi , Clint Scovel

Complex prediction models such as deep learning are the output from fitting machine learning, neural networks, or AI models to a set of training data. These are now standard tools in science. A key challenge with the current generation of…

Machine Learning · Computer Science 2022-10-21 Meng Liu , Tamal K. Dey , David F. Gleich

We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…

Complex Variables · Mathematics 2007-07-23 Steven G. Krantz

The \emph{index set} of a computable structure $\mathcal{A}$ is the set of indices for computable copies of $\mathcal{A}$. We determine the complexity of the index sets of various mathematically interesting structures, including arbitrary…

Logic · Mathematics 2008-03-25 Wesley Calvert , Valentina S. Harizanov , Julia F. Knight , Sara Miller

Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn…

Computational Geometry · Computer Science 2017-09-06 Éric Colin de Verdière

We present recent developments of the NTChem program for performing large scale hybrid Density Functional Theory calculations on the supercomputer Fugaku. We combine these developments with our recently proposed Complexity Reduction…

In this study, we delve into the discrete TC of surjective simplicial fibrations, aiming to unravel the interplay between topological complexity, discrete geometric structures, and computational efficiency. Moreover, we examine the…

Algebraic Topology · Mathematics 2024-03-12 Melih İs , İsmet Karaca

In this paper, we introduce a new method for compactification of a topological space by order topology and through ordinal numbers. The idea behind our approach originates from the definition of a limit point, and then we try to find an…

General Topology · Mathematics 2019-08-27 Kaveh Mohammadi , Assad Rashidi

Kawamura and Cook have developed a framework for studying the computability and complexity theoretic problems over "large" topological spaces. This framework has been applied to study the complexity of the differential operator and the…

Logic in Computer Science · Computer Science 2014-05-09 Walid Gomaa
‹ Prev 1 4 5 6 7 8 10 Next ›