相关论文: Brouwer's fan theorem

Brouwer conjectured that the sum of the first $k$ largest Laplacian eigenvalues of an $n$-vertex graph is less than or equal to the number of its edges plus $\binom{k+1}{2}$ for each $k\in \{1,2,\cdots,n\}$, which has come to be known as…

Itzkowitz's problem asks whether every topological group $G$ has equal left and right uniform structures provided that bounded left uniformly continuous real-valued function on $G$ are right uniformly continuous. This paper provides a…

"Church's thesis" ($\mathsf{CT}$) as an axiom in constructive logic states that every total function of type $\mathbb{N} \to \mathbb{N}$ is computable, i.e. definable in a model of computation. $\mathsf{CT}$ is inconsistent in both…

We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone $\mathfrak{C}$ has a barycenter. This barycenter is unique, and the barycenter map $\beta$ is continuous, hence is the structure map…

The main result of this note is a parametrized version of the Borsuk-Ulam theorem. We show that for a continuous family of Borsuk-Ulam situations, parameterized by points of a compact manifold W, its solution set also depends continuously…

We present a constructive proof of Ky Fan's combinatorial lemma concerning labellings of triangulated spheres. Our construction works for triangulations of $S^n$ that contain a flag of hemispheres. As a consequence, we produce a…

In this paper, we present the Brouwer-Schauder-Tychonoff fixed point theorem on locally convex spaces as the following extension and improvement: Suppose that S is a compact star-shaped subset with respect to p in S with its convexity index…

Here, we give a self-contained and elementary proof of a minimax theorem due to Fan in a simplified setting that can be taught in an advanced undergraduate course. Our proof follows Nikaido's argument with some simplifications.

For graphs with non-negative Ollivier curvature, we prove the Liouville property, i.e., every bounded harmonic function is constant. Moreover, we improve Ollivier's results on concentration of the measure under positive Ollivier curvature.

The main aim of this paper is to prove a Bishop-Phelps-Bollob\'as type theorem on the unital uniform algebra A_{w^*u}(B_{X^*}) consisting of all w^*-uniformly continuous functions on the closed unit ball B_{X^*} which are holomorphic on the…

Given a matroid $M$ one can define its Orlik-Solomon algebra $OS(M)$ and the Bergman fan $\Sigma_0(M)$. On the other hand to any rational polyhedral fan $\Sigma$ one can associate its tropical homology and cohomology groups…

The non-bijective version of Wigner's theorem states that a map which is defined on the set of self-adjoint, rank-one projections (or pure states) of a complex Hilbert space and which preserves the transition probability between any two…

We prove some criteria for uniform K-stability of log Fano pairs. In particular, we show that uniform K-stability is equivalent to $\beta$-invariant having a positive lower bound. Then we study the relation between optimal destabilization…

We show that every $n$-vertex planar graph is contained in the graph obtained from a fan by blowing up each vertex by a complete graph of order $O(\sqrt{n}\log^2 n)$. Equivalently, every $n$-vertex planar graph $G$ has a set $X$ of…

W. T. Gowers proved that every Lipschitz function from the unit sphere of the Banach space $c_0$ to $\mathbb{R}$ is oscilation stable. His proof uses a result about finite partitions of the set $FIN_k$ of finitely supported functions $p$…

Let $\mathsf{TT}^2_k$ denote the combinatorial principle stating that every $k$-coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an isomorphic subtree in which all pairs of compatible nodes have…

The two- and all-terminal reliabilities of the Brecht-Colbourn ladder and the generalized fan have been calculated exactly for arbitrary size as well as arbitrary individual edge and node reliabilities, using transfer matrices of dimension…

Let X and Y be Banach spaces and F a subset of B_{Y^*}. Endow Y with the topology \tau_F of pointwise convergence on F. Let T: X^* \to Y be a bounded linear operator which is (w^*, \tau_F) continuous. Assume that every vector in the range…

Brouwer homeomorphisms are fixed-point-free, orientation-preserving homeomorphisms of the plane. In recent years, their dynamics have been mostly studied through two complementary approaches, one introduced by Handel and the other by Le…

A celebrated result of Gowers states that for every \epsilon > 0 there is a graph G so that every \epsilon-regular partition of G (in the sense of Szemeredi's regularity lemma) has order given by a tower of exponents of height polynomial in…