Related papers: Eye of the Beholder

We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the…

Given a fixed quadratic extension K of Q, we consider the distribution of elements in K of norm 1 (denoted N). When K is an imaginary quadratic extension, N is naturally embedded in the unit circle in C and we show that it is…

Let $A(k)u(k)=f(k) (1)$ be an operator equation, $X$ and $Y$ are Banach spaces, $k\in\Delta\subset\C$ is a parameter, $A(k):X\to Y$ is a map, possibly nonlinear. Sufficient conditions are given for continuity of $u(k)$ with respect to $k$.…

Finite dimensional linear spaces (both complex and real) with indefinite scalar product [.,.] are considered. Upper and lower bounds are given for the size of an indecomposable matrix that is normal with respect to this scalar product in…

Quantum field theory unifies concepts from quantum theory and from special relativity. Its mathematically rigorous description is quite intricate and is only partially understood; this is particularly true for the construction of operators…

A linear operator on a Hilbert space $\mathbb{H}$, in the classical approach of von Neumann, must be symmetric to guarantee self-adjointness. However, it can be shown that the symmetry could be ommited by using a criterion for the graph of…

An arc in $\mathbb F_q^2$ is a set $P \subset \mathbb F_q^2$ such that no three points of $P$ are collinear. We use the method of hypergraph containers to prove several counting results for arcs. Let $\mathcal A(q)$ denote the family of all…

We consider a quantum scalar field in a classical (Euclidean) De Sitter background, whose radius is fixed dynamically by Einstein's equations. In the case of a free scalar, it has been shown by Becker and Reuter that if one regulates the…

This paper argues that non-self-adjoint operators can be observables. There are only four ways for this to occur: non-self-adjoint observables can either be normal operators, or be symmetric, or have a real spectrum, or have none of these…

The relation between the spectra of operator pencils with unbounded coefficients and of associated linear relations is investigated. It turns out that various types of spectrum coincide and the same is true for the Weyr characteristics.…

Let X be a real normed vector space and dim X \ge 2. Let d>0 be a fixed real number. We prove that if x,y \in X and ||x-y||/d is a rational number then there exists a finite set {x,y} \subseteq S(x,y) \subseteq X with the following…

For locally convex vector spaces (l.c.v.s.) $E$ and $F$ and for linear and continuous operator $T: E \rightarrow F$ and for an absolutely convex neighborhood $V$ of zero in $F$, a bounded subset $B$ of $E$ is said to be $T$-V-dentable…

We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem…

Let X be a smooth projective variety. Starting with a finite set of cycles on powers X^m of X, we consider the Q-vector subspaces of the Q-linear Chow groups of the X^m obtained by iterating the algebraic operations and pullback and push…

Possible transcendental nature of Euler's constant $\gamma$ has been the focus of study for sometime now. One possible approach is to consider $\gamma$ not in isolation, but as an element of the infinite family of generalised Euler-Briggs…

The origin of this paper starts with the observation by Yang Mills that what state represents a proton in isospin space at one location does not determine what state represents a proton in isospin space at another location. This is…

Quantum Jet Theory (QJT) is a deformation of QFT where also the quantum dynamics of the observer is taken into account. This is achieved by introducing relative fields, labelled by locations measured by rods relative to the observer's…

For an arbitrary quiver Q and dimension vector d we prove that the dimension of the space of cuspidal functions on the moduli stack of representations of Q of dimension d over a finite field F_q is given by a polynomial in q with rational…

A subset $A$ of a vector space $X$ is called $\alpha$-lineable whenever $A$ contains, except for the null vector, a subspace of dimension $\alpha$. If $X$ has a topology, then $A$ is $\alpha$-spaceable if such subspace can be chosen to be…

We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an ultrametric or real archimedean absolute value has a…