English
Related papers

Related papers: Local negative circuits and fixed points in Boolea…

200 papers

Let $G=(V,E)$ be a locally finite graph, whose measure $\mu(x)$ have positive lower bound, and $\Delta$ be the usual graph Laplacian. Applying the mountain-pass theorem due to Ambrosetti-Rabinowitz, we establish existence results for some…

Analysis of PDEs · Mathematics 2017-08-02 Alexander Grigor'yan , Yong Lin , Yunyan Yang

In this note we answer negatively to our conjecture concerning the deficiency indices. More precisely, given any non-negative integer $n$, there is locally finite graph on which the adjacency matrix has deficiency indices $(n,n)$.

Spectral Theory · Mathematics 2015-06-05 Sylvain Golenia , Christoph Schumacher

Does every one-ended $CAT(0)$ group have semistable fundamental group at infinity? As we write, this is an open question. Let $G$ be such a group acting geometrically on the proper $CAT(0)$ space $X$. In this paper we show that in order to…

Group Theory · Mathematics 2020-10-14 Ross Geoghegan , Eric Swenson

If A is a nonnegative matrix whose associated directed graph is strongly connected, the Perron-Frobenius theorem asserts that A has an eigenvector in the positive cone, (R^+)^n. We associate a directed graph to any homogeneous, monotone…

Functional Analysis · Mathematics 2007-05-23 Stephane Gaubert , Jeremy Gunawardena

One of the conclusions of Browder (1960) is a parametric version of Brouwer's Fixed Point Theorem, stating that for every continuous function $f : ([0,1] \times X) \to X$, where $X$ is a simplex in a Euclidean space, the set of fixed points…

General Topology · Mathematics 2021-07-07 Eilon Solan , Omri N. Solan

We show that a continuous map or a continuous flow on $\R^{n}$ with a certain recurrence relation must have a fixed point. Specifically, if there is a compact set W with the property that the forward orbit of every point in $\R^{n}$…

Dynamical Systems · Mathematics 2007-05-23 David Richeson , Jim Wiseman

We characterize the power of constant-depth Boolean circuits in generating uniform symmetric distributions. Let $f\colon\{0,1\}^m\to\{0,1\}^n$ be a Boolean function where each output bit of $f$ depends only on $O(1)$ input bits. Assume the…

Computational Complexity · Computer Science 2025-02-27 Daniel M. Kane , Anthony Ostuni , Kewen Wu

If $f:[a,b]\to \mathbb{R}$, with $a<b$, is continuous and such that $a$ and $b$ are mapped in opposite directions by $f$, then $f$ has a fixed point in $I$. Suppose that $f:\mathbb{C}\to\mathbb{C}$ is map and $X$ is a continuum. We extend…

General Topology · Mathematics 2016-01-25 Alexander Blokh , Lex Oversteegen

To simplify the analysis of Boolean networks, a reduction in the number of components is often considered. A popular reduction method consists in eliminating components that are not autoregulated, using variable substitution. In this work,…

Discrete Mathematics · Computer Science 2024-03-27 Robert Schwieger , Elisa Tonello

In this paper, we examine some properties of the fixed point set of a digitally continuous function. The digital setting requires new methods that are not analogous to those of classical topological fixed point theory, and we obtain results…

General Topology · Mathematics 2019-02-01 Laurence Boxer , P. Christopher Staecker

We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty fixed point set converges geometrically for any starting point. We also show that positivity is crucial for this result to hold, and the concept of…

Optimization and Control · Mathematics 2022-10-19 Tomasz Piotrowski , Renato L. G. Cavalcante

We consider straight line drawings of a planar graph $G$ with possible edge crossings. The \emph{untangling problem} is to eliminate all edge crossings by moving as few vertices as possible to new positions. Let $fix(G)$ denote the maximum…

Computational Geometry · Computer Science 2011-11-14 Alexander Ravsky , Oleg Verbitsky

For a real c \geq 1 and an integer n, let f(n,c) denote the maximum integer f so that every graph on n vertices contains an induced subgraph on at least f vertices in which the maximum degree is at most c times the minimum degree. Thus, in…

Combinatorics · Mathematics 2008-02-25 Noga Alon , Michael Krivelevich , Benny Sudakov

A parametric version of Brouwer's Fixed Point Theorem, which is proven using the fixed-point index, states that for every continuous mapping $f : (X \times Y) \to Y$, where $X$ is nonempty, compact, and connected subset of a Hausdorff…

General Topology · Mathematics 2022-11-01 Eilon Solan , Omri Nisan Solan

Suppose that $G=(V, E)$ be a locally finite and connected graph with symmetric weight and uniformly positive measure, where $V$ denotes the vertex set and $E$ denotes the edge set. We are concered with the following problem $$…

Functional Analysis · Mathematics 2023-10-12 Ziliang Yang , Jiabao Su , Mingzheng Sun

It is shown, for a given graph group $G$, that the fixed point subgroup Fix$\,\varphi$ is finitely generated for every endomorphism $\varphi$ of $G$ if and only if $G$ is a free product of free abelian groups. The same conditions hold for…

Group Theory · Mathematics 2013-10-29 Emanuele Rodaro , Pedro V. Silva , Mihalis Sykiotis

The asynchronous dynamics associated with a Boolean network $f : \{0,1\}^n \to \{0,1\}^n$ is a finite deterministic automaton considered in many applications. The set of states is $\{0,1\}^n$, the alphabet is $[n]$, and the action of letter…

Combinatorics · Mathematics 2018-04-06 Maximilien Gadouleau , Adrien Richard

AND-OR networks are Boolean networks where each coordinate function is either the AND or OR logical operator. We study the number of fixed points of these Boolean networks in the case that they have a wiring diagram with chain topology. We…

Combinatorics · Mathematics 2016-09-09 Alan Veliz-Cuba , Lauren Geiser

Boolean circuit is a computational graph that consists of the dynamic directed graph structure and static functionality. The commonly used logic optimization and Boolean matching-based transformation can change the behavior of the Boolean…

Machine Learning · Computer Science 2024-11-19 Liwei Ni , Xinquan Li , Biwei Xie , Huawei Li

Automata networks, and in particular Boolean networks, are used to model diverse networks of interacting entities. The interaction graph of an automata network is its most important parameter, as it represents the overall architecture of…

Formal Languages and Automata Theory · Computer Science 2023-09-21 Maximilien Gadouleau