English
Related papers

Related papers: Some Quantitative Aspects of Fractional Computabil…

200 papers

Taking partial traces for computing reduced density matrices, or related functions, is a ubiquitous procedure in the quantum mechanics of composite systems. In this article, we present a thorough description of this function and analyze the…

Quantum Physics · Physics 2016-08-25 Jonas Maziero

We present a new algorithm, Fractional Decomposition Tree (FDT) for finding a feasible solution for an integer program (IP) where all variables are binary. FDT runs in polynomial time and is guaranteed to find a feasible integer solution…

Discrete Mathematics · Computer Science 2020-08-12 Robert D. Carr , Arash Haddadan , Cynthia A. Phillips

Let $S\subset R^n$ be a compact basic semi-algebraic set defined as the real solution set of multivariate polynomial inequalities with rational coefficients. We design an algorithm which takes as input a polynomial system defining $S$ and…

Symbolic Computation · Computer Science 2023-06-12 Pierre Lairez , Marc Mezzarobba , Mohab Safey El Din

We prove that conformable ``fractional" differentiability of a function $f:[0,\infty[\,\longrightarrow \mathbb{R}$ is nothing else than the classical differentiability. More precisely, the conformable $\alpha$-derivative of $f$ at some…

Classical Analysis and ODEs · Mathematics 2024-02-12 Ahmed A. Abdelhakim , José A. Tenreiro Machado

We introduce a new complexity measure for finite strings using probabilistic finite-state automata (PFAs), in the same spirit as existing notions employing DFAs and NFAs, and explore its properties. The PFA complexity $A_P(x)$ is the least…

Formal Languages and Automata Theory · Computer Science 2024-06-04 Kenneth Gill

The theory of fractional calculus in the complex plane was not built with a specific application in mind. The main obstacle to application was the difficulty with obtaining analytic continuations of fractional derivatives and integrals. It…

Classical Analysis and ODEs · Mathematics 2015-10-01 V. P. Gurarii

Inspired from a joint work by A. Beckmann, S. Buss and S. Friedman, we propose a class of set-theoretic functions, predicatively computable functions. Each function in this class is polynomial time computable when we restrict to finite…

Logic · Mathematics 2014-11-27 Toshiyasu Arai

The existence of string functions, which are not polynomial time computable, but whose graph is checkable in polynomial time, is a basic assumption in cryptography. We prove that in the framework of algebraic complexity, there are no such…

Computational Complexity · Computer Science 2018-12-18 Peter Bürgisser

One of the elegant achievements in the history of proof theory is the characterization of the provably total recursive functions of an arithmetical theory by its proof-theoretic ordinal as a way to measure the time complexity of the…

Logic · Mathematics 2024-11-27 Amirhossein Akbar Tabatabai

In this paper, we consider the problem of partitioning a small data sample of size $n$ drawn from a mixture of $2$ sub-gaussian distributions. Our work is motivated by the application of clustering individuals according to their population…

Statistics Theory · Mathematics 2023-01-05 Shuheng Zhou

We continue the investigation of algorithmically random functions and closed sets, and in particular the connection with the notion of capacity. We study notions of random continuous functions given in terms of a family of computable…

Logic · Mathematics 2015-03-24 Douglas Cenzer , Christopher P. Porter

This study is motivated by the recent development in the fractional calculus and its applications. During last few years, several different techniques are proposed to localize the nonlocal fractional diffusion operator. They are based on…

Numerical Analysis · Mathematics 2017-06-26 Stanislav Harizanov , Svetozar Margenov

We consider the arithmetic complexity of index sets of uniformly computably enumerable families learnable under different learning criteria. We determine the exact complexity of these sets for the standard notions of finite learning,…

Logic · Mathematics 2013-03-01 Achilles Beros

We study a natural complexity measure of Boolean functions known as the rational degree. Denoted $\textrm{rdeg}(f)$, it is the minimal degree of a rational function that is equal to $f$ on the Boolean hypercube. For total functions $f$, it…

Computational Complexity · Computer Science 2025-04-16 Vishnu Iyer , Siddhartha Jain , Robin Kothari , Matt Kovacs-Deak , Vinayak M. Kumar , Luke Schaeffer , Daochen Wang , Michael Whitmeyer

Nowhere dense classes of graphs are very general classes of uniformly sparse graphs with several seemingly unrelated characterisations. From an algorithmic perspective, a characterisation of these classes in terms of uniform quasi-wideness,…

Discrete Mathematics · Computer Science 2018-09-06 Stephan Kreutzer , Roman Rabinovich , Sebastian Siebertz

Let $f$ denote length preserving function on words. A classical algorithm can be considered as $T$ iterated applications of black box representing $f$, beginning with input word $x$ of length $n$. It is proved that if $T=O(2^{n/(7+e)}), e…

Quantum Physics · Physics 2007-05-23 Yuri Ozhigov

This paper investigates a category of constrained fractional optimization problems that emerge in various practical applications. The objective function for this category is characterized by the ratio of a numerator and denominator, both…

Optimization and Control · Mathematics 2026-05-28 Yizun Lin , Jian-Feng Cai , Zhao-Rong Lai , Cheng Li

In reversible computing, the management of space is subject to two broad classes of constraints. First, as with general-purpose computation, every allocation must be paired with a matching de-allocation. Second, space can only be safely…

Programming Languages · Computer Science 2020-07-17 Chao-Hong Chen , Vikraman Choudhury , Jacques Carette , Amr Sabry

We study a certain class of arithmetic functions that appeared in Klurman's classification of $\pm 1$ multiplicative functions with bounded partial sums, c.f., Comp. Math. 153 (8), 2017, pp. 1622-1657. These functions are periodic and…

Number Theory · Mathematics 2026-01-14 Marco Aymone , Gopal Maiti , Olivier Ramaré , Priyamvad Srivastav

We define counting classes #P_R and #P_C in the Blum-Shub-Smale setting of computations over the real or complex numbers, respectively. The problems of counting the number of solutions of systems of polynomial inequalities over R, or of…

Computational Complexity · Computer Science 2011-06-17 Peter Buergisser , Felipe Cucker