Related papers: Are theoretical results 'Results'?
This is an informal announcement of results to be described and proved in detail in a paper to appear. We give various results on the structure of approximate subgroups in linear groups such as $\SL_n(k)$. For example, generalising a result…
We derive an interesting congruence relation motivated by an Indian Olympiad problem. We give three different proofs of the theorem and mention a few interesting related results.
Some physical results in four dimensional large N gauge theories on a periodic torus are summarized.
We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion}, according to which in order for some premises to have some…
The development and approval of new treatments generates large volumes of results, such as summaries of efficacy and safety. However, it is commonly overlooked that analyzing clinical study data also produces data in the form of results.…
After highlighting the cases in which the semantics of a language cannot be mechanically reproduced (in which case it is called inherent), the main epistemological consequences of the first incompleteness Theorem for the two fundamental…
Grothendieck's theorem asserts that every continuous linear operator from $\ell_1$ to $\ell_2$ is absolutely $(1,1)$-summing. This kind of result is commonly called coincidence result. In this paper we investigate coincidence results in the…
The authors discuss various objections and rejoinders in the collected responses [math.HO/9404229,math.HO/9404236] to their original article on the relationship between mathematics and theoretical physics [math.HO/9307227].
In this paper we deal with the convergence of sequences of positive linear maps to a (not assumed to be linear) isometry on spaces of continuous functions. We obtain generalizations of known Korovkin-type results and provide several…
From mostly a measure-theoretic consideration, we show that for every nonnegative, finite, and $L^{1}$ function on a given finite measure space there is some nontrivial sequence of real numbers such that the series, obtained from summing…
In a recent paper [1], it has been claimed that the outcomes of a quantum coin toss which is idealized as an infinite binary sequence is 1-random. We also defend the correctness of this claim and assert that the outcomes of quantum…
Consistency is the theoretical property of a meta learning algorithm that ensures that, under certain assumptions, it can adapt to any task at test time. An open question is whether and how theoretical consistency translates into practice,…
We show Lie algebra versions of some results on homological finiteness properties of subdirect products of groups, including a version of the 1-2-3 Theorem.
We prove several results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected…
We show how recent exact results in supersymmetric theories can be extended to models which include {\it explicit} soft supersymmetry breaking terms. We thus derive new exact results for non-supersymmetric models.
The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results on decision procedures for predicate logical theories that…
Theorem 1 of [14], a minimax result for functions $f:X\times Y\to {\bf R}$, where $Y$ is a real interval, was partially extended to the case where $Y$ is a convex set in a Hausdorff topological vector space ([15], Theorem 3.2). In doing…
We consider stationary autoregressive processes with coefficients restricted to an ellipsoid, which includes autoregressive processes with absolutely summable coefficients. We provide consistency results under different norms for the…
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…
Geoffrion's theorem is a fundamental result from mathematical programming assessing the quality of Lagrangian relaxation, a standard technique to get bounds for integer programs. An often implicit condition is that the set of feasible…