相关论文: Towards a general theory of unprojection

In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…

Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g simultaneous from sequential reduction. Proof terms for finitary, first-order,…

This is an exposition of some basic ideas in the realm of Global Inverse Function theorems. We address ourselves mainly to readers who are interested in the applications to Differential Equations. But we do not deal with those applications…

For various Hilbert spaces of analytic functions on the unit disk, we characterize when a function $f$ has optimal polynomial approximants given by truncations of a single power series. We also introduce a generalized notion of optimal…

An asymmetric operator of generalised translation is introduced in this paper. Using this operator, we define a generalised modulus of smoothness and prove direct and inverse theorems of approximation theory for it.

Let $k$ and $i_1,\ldots,i_n$ be natural numbers. Place $k$ balls into a multidimensional box of $i_1\times\cdots \times i_n$ cells, no more than one ball to each cell, such that the projections to each of the coordinate axes have…

Consider a finite dimensional (generally reducible) polynomial representation \rho of GL_n. A projective compactification of GL_n is the closure of \rho(GL_n) in the space of all operators defined up to a factor (this class of spaces can be…

We prove the existence of entire functions that achieve universal approximations on certain countable sequences of translation operators .

A Generalized Kinetic Theory was proposed in order to have the possibility to treat particles which obey a very general statistics. By adopting the same approach, we generalize here the Kinetic Theory of electrons and phonons. Equilibrium…

In this paper, we first propose a natural generalization of the well-known compare-and-swap object, one that replaces the equality comparison with an arbitrary comparator. We then present a simple wait-free universal construction using this…

In this note I present the main ideas of my proposal about the theoretical framework that could underlie, and therefore "unify", Quantum Mechanics and Relativity, and I briefly summarize the implications and predictions.

A discussion of the meaning of a physical concept cannot be separated from discussion of the conditions for its ideal measurement. We assert that quantization is no more than the invocation of the quantum of action in the explanation of…

We describe elementary transformations between minimal models of rational surfaces in terms of unprojections. These do not fit into the framework of Kustin-Miller unprojections as introduced by Papadakis and Reid, since we have to leave the…

A new approach to disintegration of measures is presented, allowing one to drop the usually taken separability assumption. The main tool is a result on fibers in the spectrum of algebra of essentially bounded functions established recently…

After a review on the development of deformation theory of abelian complex structures from both the classical and generalized sense, we propose the concept of semi-abelian generalized complex structure. We present some observations on such…

In this lecture, we review some of the concepts of generalized geometry, as introduced by Hitchin and developed in the speaker's thesis. We also prove a Hodge decomposition for the twisted cohomology of a compact generalized K\"ahler…

We give a systematic, abstract formulation of the image normalization method as applied to a general group of image transformations, and then illustrate the abstract analysis by applying it to the hierarchy of viewing transformations of a…

We obtain similar types of conclusions as that of Br\"{u}ck [1] for two differential polynomials which in turn radically improve and generalize several existing results. Moreover, a number of examples have been exhibited to justify the…

In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth notions introduced in complexity theory so far. We review most…

We generalize Bourgain's discretized projection theorem to higher rank situations. Like Bourgain's theorem, our result yields an estimate for the Hausdorff dimension of the exceptional sets in projection theorems formulated in terms of…