English
Related papers

Related papers: Dichotomy Results for Fixed-Point Existence Proble…

200 papers

We present a combinatorial approach to rigorously show the existence of fixed points, periodic orbits, and symbolic dynamics in discrete-time dynamical systems, as well as to find numerical approximations of such objects. Our approach…

Dynamical Systems · Mathematics 2017-06-28 Marian Gidea , Yitzchak Shmalo

We study the existence and uniqueness of (locally) absolutely continuous trajectories of a dynamical system governed by a nonexpansive operator. The weak convergence of the orbits to a fixed point of the operator is investigated by relying…

Dynamical Systems · Mathematics 2014-12-16 Radu Ioan Bot , Ernö Robert Csetnek

A dynamic graph algorithm is a data structure that answers queries about a property of the current graph while supporting graph modifications such as edge insertions and deletions. Prior work has shown strong conditional lower bounds for…

Data Structures and Algorithms · Computer Science 2023-01-30 Monika Henzinger , Ami Paz , A. R. Sricharan

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point…

Materials Science · Physics 2011-06-20 Michael Ruggenthaler , Robert van Leeuwen

The present paper studies local distributed graph problems in highly dynamic networks. Communication and changes of the graph happen in synchronous rounds and our algorithms always, i.e., in every round, satisfy non-trivial guarantees, no…

Data Structures and Algorithms · Computer Science 2018-12-10 Philipp Bamberger , Fabian Kuhn , Yannic Maus

For a set F of finite tournaments, the F-free orientation problem is the problem of deciding if a given finite undirected graph can be oriented in such a way that the resulting oriented graph does not contain any member of F. Using the…

Combinatorics · Mathematics 2025-09-03 Roman Feller , Michael Pinsker

We establish a coupled fixed points theorem for a meaningful class of mixed monotone multivalued operators and then we use it to derive some results on existence of quasisolutions and solutions to first--order functional differential…

Classical Analysis and ODEs · Mathematics 2011-04-13 Rubén Figueroa , Rodrigo López Pouso

In 1981, Lubiw proved that the fixed point free automorphism problem (FPFAut) is NP-complete: given a graph G, determine whether there exists an automorphism that maps no vertex of G to itself. We revisit this problem and prove that FPFAut…

Discrete Mathematics · Computer Science 2026-03-30 Aida Abiad , Gabriel Coutinho , Emanuel Juliano , Vinicius F. dos Santos , Sjanne Zeijlemaker

A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a…

We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tarski fixed point theorem when restricted to the case of…

Logic in Computer Science · Computer Science 2015-02-10 Zoltán Ésik , Panos Rondogiannis

We study the stable behaviour of discrete dynamical systems where the map is convex and monotone with respect to the standard positive cone. The notion of tangential stability for fixed points and periodic points is introduced, which is…

Dynamical Systems · Mathematics 2011-06-20 Marianne Akian , Stephane Gaubert , Bas Lemmens

We study asymptotic stability of continuous-time systems with mode-dependent guaranteed dwell time. These systems are reformulated as special cases of a general class of mixed (discrete-continuous) linear switching systems on graphs, in…

Dynamical Systems · Mathematics 2019-12-24 Yacine Chitour , Nicola Guglielmi , Mario Sigalotti , Vladimir Protasov

The Dichotomy Conjecture for constraint satisfaction problems has been verified for conservative problems (or, equivalently, for list homomorphism problems) by Andrei Bulatov. An earlier case of this dichotomy, for list homomorphisms to…

Computational Complexity · Computer Science 2010-04-21 Pavol Hell , Arash Rafiey

We use recent developments in local entropy theory to prove that chaos in dynamical systems implies the existence of complicated structure in the underlying space. Earlier Mouron proved that if $X$ is an arc-like continuum which admits a…

Dynamical Systems · Mathematics 2015-05-01 Udayan B. Darji , Hisao Kato

In this article, a novel Finite Time Stability (FTS) analysis of Fractional-Order Time Delay Systems (FOTDSs) is proposed. By using the fixed point approach, sufficient conditions for the robust FTS of FOTDSs have been established. Two…

Systems and Control · Electrical Eng. & Systems 2020-12-02 Abdellatif Ben Makhlouf

We deal with the existence of three distinct solutions for a poly-Laplacian system with a parameter on finite graphs and a $(p,q)$-Laplacian system with a parameter on locally finite graphs.The main tool is an abstract critical points…

Analysis of PDEs · Mathematics 2023-09-19 Yan Pang , Xingyong Zhang

One of the central problems in the study of parametrized constraint satisfaction problems is the Dichotomy Conjecture by T. Feder and M. Vardi stating that the constraint satisfaction problem (CSP) over a fixed, finite constraint language…

Computational Complexity · Computer Science 2017-12-12 Dejan Delić

Fully dynamic graph is a data structure that (1) supports edge insertions and deletions and (2) answers problem specific queries. The time complexity of (1) and (2) are referred to as the update time and the query time respectively. There…

Data Structures and Algorithms · Computer Science 2014-04-30 Yoichi Iwata , Keigo Oka

This paper considers the problem of minimal control inputs to affect the system states such that the resulting system is structurally controllable. This problem and the dual problem of minimal observability are claimed to have no…

Systems and Control · Electrical Eng. & Systems 2023-07-19 Mohammadreza Doostmohammadian

Fixed-time stable dynamical systems are capable of achieving exact convergence to an equilibrium point within a fixed time that is independent of the initial conditions of the system. This property makes them highly appealing for designing…

Systems and Control · Electrical Eng. & Systems 2025-10-01 Michael Tang , Miroslav Krstic , Jorge Poveda