English
Related papers

Related papers: Computing a Solution of Feigenbaum's Functional Eq…

200 papers

In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed {\em n-fold integer programming problems} are polynomial time solvable. Our proof involves two heavy ingredients…

Optimization and Control · Mathematics 2008-07-24 Jesús A. De Loera , Raymond Hemmecke , Shmuel Onn , Robert Weismantel

We introduce a new notion of computable function on $\R^N$ and prove some basic properties. We give two applications, first a short proof of Yoshinaga's theorem that periods are \el (they are actually low). We also show that the low complex…

Logic · Mathematics 2010-09-28 Katrin Tent , Martin Ziegler

We show that polynomial-time randomness (p-randomness) is preserved under a variety of familiar operations, including addition and multiplication by a nonzero polynomial-time computable real number. These results follow from a general…

Computational Complexity · Computer Science 2012-03-01 Stephen A. Fenner

We consider regularity for solutions of a class of de Rham's functional equations. Under some smoothness conditions of functions consisting the equation, we improve some results in Hata (Japan J. Appl. Math. 1985). Our results are…

Classical Analysis and ODEs · Mathematics 2016-11-29 Kazuki Okamura

Necessary and sufficient conditions are obtained under which the numerator of the partial derivative of a rational function holomorphic in open upper poly-halfplane is the sum of squares of polynomials.

Complex Variables · Mathematics 2021-07-01 M. F. Bessmertnyi

A problem based on the Extended Euclidean Algorithm applied to a class of polynomials with many factors is presented and believed to be hard. If so, it is a one-way function well suited for applications in digital signicatures.

Cryptography and Security · Computer Science 2008-01-16 Ephraim Feig , Vivian Feig

We prove a complexity dichotomy theorem for a class of Holant problems on 3-regular bipartite graphs. Given an arbitrary nonnegative weighted symmetric constraint function $f = [x_0, x_1, x_2, x_3]$, we prove that the bipartite Holant…

Computational Complexity · Computer Science 2020-11-19 Austen Z. Fan , Jin-Yi Cai

We propose an approach to determine the continual progression of algorithmic efficiency, as an alternative to standard calculations of time complexity, likely, but not exclusively, when dealing with data structures with unknown maximum…

Computational Complexity · Computer Science 2020-12-04 Ananth Goyal

The determination of the computational complexity of multi-agent pathfinding on directed graphs has been an open problem for many years. For undirected graphs, solvability can be decided in polynomial time, as has been shown already in the…

Artificial Intelligence · Computer Science 2022-09-20 Bernhard Nebel

This paper argues that the requirement of applicableness of quantum linearity to any physical level from molecules and atoms to the level of macroscopic extensional world, which leads to a main foundational problem in quantum theory…

Quantum Physics · Physics 2014-06-25 Arkady Bolotin

Quantum computation by adiabatic evolution, as described in quant-ph/0001106, will solve satisfiability problems if the running time is long enough. In certain special cases (that are classically easy) we know that the quantum algorithm…

Quantum Physics · Physics 2007-05-23 Edward Farhi , Jeffrey Goldstone , Sam Gutmann

We give a complexity dichotomy for the problem of computing the partition function of a weighted Boolean constraint satisfaction problem. Such a problem is parameterized by a set of rational-valued functions, which generalize constraints.…

Computational Complexity · Computer Science 2009-06-03 Andrei Bulatov , Martin Dyer , Leslie Ann Goldberg , Markus Jalsenius , David Richerby

Linear differential equations of arbitrary order with polynomial coefficients are considered. Specifically, necessary and sufficient conditions for the existence of polynomial solutions of a given degree are obtained for these equations. An…

Mathematical Physics · Physics 2011-09-27 H. Azad , A. Laradji , M. T. Mustafa

We prove a complexity dichotomy for Holant problems on the boolean domain with arbitrary sets of real-valued constraint functions. These constraint functions need not be symmetric nor do we assume any auxiliary functions as in previous…

Computational Complexity · Computer Science 2020-05-19 Shuai Shao , Jin-Yi Cai

A numerical method is developed for calculating the real time Green's functions of very large sparse Hamiltonian matrices, which exploits the numerical solution of the inhomogeneous time-dependent Schroedinger equation. The method has a…

Computational Physics · Physics 2007-05-23 Toshiaki Iitaka

Computer algebra systems are really good at factoring polynomials, i.e. writing f as a product of irreducible factors. It is relatively easy to verify that we have a factorisation, but verifying that these factors are irreducible is a much…

Symbolic Computation · Computer Science 2024-09-17 James H. Davenport

We study function-valued solutions of a class of stochastic partial differential equations, involving operators with polynomially bounded coefficients. We consider semilinear equations under suitable parabolicity hypotheses. We provide…

Probability · Mathematics 2022-06-16 Alessia Ascanelli , Sandro Coriasco , André Suß

In this paper, we study the convergence of the Euler-Maruyama numerical solutions for pantograph stochastic functional differential equations which was proposed in [11]. We also show that the numerical solutions have the properties of…

Probability · Mathematics 2021-08-04 Hao Wu , Junhao Hu , Chenggui Yuan

computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…

Logic in Computer Science · Computer Science 2007-05-23 J. V. Tucker , J. I. Zucker

The Feigenbaum-Cvitanovic equation -lambda * g(x)= g(g(lambda * x)) is solved over the interval 0 <= x <= 1 with a Chebyshev series representation of g(x). Accurate expansion coefficients are tabulated for solutions g(x) = 1+O(x^z) with…

Dynamical Systems · Mathematics 2010-08-30 Richard J. Mathar