Related papers: Continuous Lunches Are Not Free
In this paper we show the validity, under certain geometric conditions, of Wheeler's thin sandwich conjecture for higher dimensional theories of gravity. We extend the results shown by R. Bartnik and G. Fodor for the 3-dimensional case in…
There are Noetherian rings (in fact domains) with a free additive group, in every infinite cardinality. (This is an expanded version of [SgSh:217] which appears in the Abstracts of the American Mathematical Society 7 (1986): 369.)
In normal times, it is assumed that financial institutions operating in non-overlapping sectors have complementary and distinct outcomes, typically reflected in mostly uncorrelated outcomes and asset returns. Such is the reasoning behind…
This paper is the concise addition to the foregoing work "Inconsistency of Inaccessibility", containing the presentation of main theorem proof (in ZF) about inaccessible cardinals nonexistence. Here some refinement of this presentation is…
The Brouwer fixed point theorem says that any continuous function from disc to itself has a fixed point. By using simple geometrical technique we have generalized the result in manifold and proved that any continuous function on the…
We show the direct applicability of the Brouwer fixed point theorem for the existence of equilibrium points and periodic solutions for differential systems on general domains satisfying geometric conditions at the boundary. We develop a…
We study a matching problem between agents and public goods, in settings without monetary transfers. Since goods are public, they have no capacity constraints. There is no exogenously defined budget of goods to be provided. Rather, each…
We study a theory of asynchronous session types ensuring that well-typed processes terminate under a suitable fairness assumption. Fair termination entails starvation freedom and orphan message freedom namely that all messages, including…
In the standard sequent presentations of Girard's Linear Logic (LL), there are two "non-decreasing" rules, where the premises are not smaller than the conclusion, namely the cut and the contraction rules. It is a universal concern to…
For a large class of Lur'e systems with time-varying nonlinearities and feedthrough we consider several well-posedness issues, namely: existence, continuation, blow-up in finite-time, forward completeness and uniqueness of solutions. Lur'e…
If there is a topologically locally constant family of smooth algebraic varieties together with an admissible normal function on the total space, then the latter is constant on any fiber if this holds on some fiber. Combined with spreading…
The conclusion of the classical ham sandwich theorem of Banach and Steinhaus may be strengthened: there always exists a common bisecting hyperplane that touches each of the sets, that is, intersects the closure of each set. Hence, if the…
In this paper, we explore the problem of identifying substitute relationship between food pairs from real-world food consumption data as the first step towards the healthier food recommendation. Our method is inspired by the distributional…
This paper introduces the axiom of Negative Dominance, stating that if a lottery $f$ is strictly preferred to a lottery $g$, then some outcome in the support of $f$ is strictly preferred to some outcome in the support of $g$. It is shown…
In this paper the stable extended domain of a noncommutative rational function is introduced and it is shown that it can be completely described by a monic linear pencil from the minimal realization of the function. This result amends the…
It is shown that there exist Banach spaces $X,Y$, a $1$-net $\mathscr{N}$ of $X$ and a Lipschitz function $f:\mathscr{N}\to Y$ such that every $F:X\to Y$ that extends $f$ is not uniformly continuous.
We address the following question of neural network identifiability: Suppose we are given a function $f:\mathbb{R}^m\to\mathbb{R}^n$ and a nonlinearity $\rho$. Can we specify the architecture, weights, and biases of all feed-forward neural…
We give an entire free holomorphic function $f$ which is unbounded on the row ball. That is, we give a holomorphic free noncommutative function which is continuous in the free topology developed by Agler and McCarthy but is unbounded on the…
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…
This article extends the theorem of the absence of wandering domains from unimodal maps to infinitely period-doubling renormalizable H\'enon-like maps in the strongly dissipative (area contracting) regime. The theorem solves an open problem…