相关论文: Continuous Lunches Are Not Free
In this paper we analyze the problem of the geodesic connectedness of subsets of Riemannian manifolds. By using variational methods, the geodesic connectedness of open domains (whose boundaries can be not differentiable and not convex) of a…
This work is a contribution to the study of rewrite games. Positions are finite words, and the possible moves are defined by a finite number of local rewriting rules. We introduce and investigate taking-and-merging games, that is, where…
A set theory is developed based on the approximations of sets and denoted by AS. In AS the set of all sets exists but the argument for Russell's and Cantor's paradox fail. The Axioms of Separation, Replacement and Foundation are not valid.…
Let $\Omega$ be a bounded domain in $\mathbb{C}$ such that $\partial \Omega$ does not contain isolated points. Let $R(\Omega)$ be the space of uniform limits on $\overline{\Omega}$ of rational functions with poles off $\overline{\Omega}$,…
We show that the use of the fourth-root trick in lattice QCD with staggered fermions corresponds to a non-local theory at non-zero lattice spacing, but argue that the non-local behavior is likely to go away in the continuum limit. We give…
The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the…
We consider a random field, defined on an integer-valued d-dimensional lattice, with covariance function satisfying a condition more general than summability. Such condition appeared in the well-known Newman's conjecture concerning the…
Through documentary research and interviews with nutrition experts, we found that all nutrients have two thresholds, the Recommended Daily Allowance (RDA) and the Tolerable Upper Intake Level (UL). Intake less than the RDA or more than the…
Field theory and gauge theory on noncommutative spaces have been established as their own areas of research in recent years. The hope prevails that a noncommutative gauge theory will deliver testable experimental predictions and will thus…
This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the…
A relation extends another relation consistently if its symmetric, respectively its asymmetric, part contains the corresponding part of the smaller relation. It is shown that there exists no finite circular chain made from two transitive…
Justin Moore's weak club-guessing principle $\mho$ admits various possible generalizations to the second uncountable cardinal. One of them was shown to hold in ZFC by Shelah. A stronger one was shown to follow from several consequences of…
The cost and affordability of least-cost healthy diets by time and place are increasingly used as a proxy for access to nutrient-adequate diets. Recent work has focused on the nutrient requirements of individuals, although most food and…
We compare various notions of proper discontinuity for group actions. We also discuss fundamental domains and criteria for cocompactness.
We present a new proof that the statement 'every subgroup of a free group is free' implies the Axiom of Choice for finite sets.
Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…
We develop an algorithm for efficiently computing recursively defined functions on posets. We illustrate this algorithm by disproving conjectures about the game Subset Takeaway (Chomp on a hypercube) and computing the number of linear…
We revisit the phenomenon where, for certain domains $D$, if the squeezing function $s_D$ extends continuously to a point $p\in \partial{D}$ with value $1$, then $\partial{D}$ is strongly pseudoconvex around $p$. In $\mathbb{C}^2$, we…
In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non-extentable, despite the…
In this article we study the breathers of the mean curvature flow in the Euclidean space. A breather is a solution to the mean curvature flow which repeats itself up to isometry and scaling once in a while. We prove several no breather…