{'fraction_non_alphanumeric': 0.03832829660204909, 'fraction_numerical': 0.00589666101569986, 'mean_word_length': 4.014042867701404, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 1, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 3, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Variance Inequality for Meromorphic Measurement Functions under Exterior Probability

The problem of measuring an unbounded system attribute near a singularity has been discussed. Lenses have been introduced as formal objects to study increasingly precise measurements around the singularity and a specific family of lenses called Exterior probabilities have been investigated. It has been shown that under such probabilities, measurement variance of a measurable function around a 1st order pole on a complex manifold, consists of two separable parts - one that decreases with diminishing scale of the lenses, and the other that increases. It has been discussed how this framework can lend mathematical support to ideas of non-deterministic uncertainty prevalent at a quantum scale. In fact, the aforementioned variance decomposition allows for a minimum possible variance for such a system irrespective of how close the measurements are. This inequality is structurally similar to Heisenberg uncertainty relationship if one considers energy/momentum to be a meromorphic function of a complex spacetime.


Introduction
Emergence of discrete outcome choices upon measurement of a continuously evolving intrinsic system has been a longstanding topic of interest. It is particularly of interest in the context of quantum uncertainty which appears to be fundamental to reality and is most often characterised by the continuous wave function. However, upon measurement such a continuous system collapses to discrete outcome choices.
There has been substantial amount of work on developing a mathematical foundation for such fundamental uncertainties and evolution/collapse of continuous systems onto discrete 'pure states'. Almost all of it treats measurements as operators on a Hilbert space. Born rule, put forward by Max Born in 1926 [1], proposed an interpretation of the wave function wherein the square of its amplitude represents the probability of measurement outcome in a quantum experiment.
This became a core part of famous Copenhagen Interpretation of Quantum Mechanics. While it has been deemed the most satisfactory and certainly most popular interpretation for a long time, it poses a serious mathematical challenge as it remains at crossroads with classical framework of Probability Measures.
One of the most significant mathematical groundwork towards addressing this challenge was conducted by Gleason [2]. Subsequent generalisations led to the formation of Quantum probability via non-commutative *-algebras [3][4] [5]. However, the approach merely calls to focus how probabilities work differently at quantum scale, but doesn't reconcile the classical and quantum probabilities under a general framework that applies at all scales. In that sense, it harbours much of the same concerns around non-emergent nature of quantum mechanics in general. Some of the more recent works in the area [6] [7] focuses on measurement as an 'averaging' operation, albeit in the operator space.
In contrast to that, our primary concern in this paper is to investigate the possibility of a classical probability measure reproducing some of the known quantum effects. Also the approach can be described as a geometric one as opposed to the standard Operator theoretic approach.
Motivationally it can be compared with the work of Fuch [8] on Quantum Bayesianism.
Particularly within the scope of this paper, we would focus on the nature of the underlying uncertainty as described by Heisenberg Uncertainty principle, and how such a relation can emerge from a classical probability measure. Heisenberg Uncertainty principle, despite multiple different representations, fundamentally is a probabilistic statement around the limits on accuracy of measurement of certain attributes at a quantum scale [9]. For example, if we allow ∆x and ∆µ to be the standard error in measurement of position and momentum of a point in spacetime, then A similar relation exists between other conjugate pairs e.g. time and Energy etc.
To rigorously define these relationships, we would need to introduce the concept of 'lenses'. We'd refer these probabilities as Exterior Probability.
In the next few sections we would build a system of lenses on a complex manifold and study standard deviation of a detectable function f under Exterior probabilities.

Exterior Probability
We'll start with a simple disc of arbitrary length on C, D λ = {w ∈ C | |w| ≤ λ}. It's easy to check that both Slices and Arcs can be seen as distributive operators on the semiring of intervals.
Proof. Proof follows trivially from the fact that the space of all intervals I, forms a semi-ring on Let Γ λ (I 1 ) and Γ λ (I 2 ) be two Slices. It's easy to see that, Of course then we can extend it to the σ-algebra it generates.
Now we can start to build the measure, first on the semi-ring.
I k is an interval. That would allow us to write µ λ as, Corollary. µ λ can be uniquely extended as a complex probability on E λ .
Let (E n λ , µ n λ ) denote the product probability space on D n λ where µ n We'd refer to µ n λ as the Exterior Probability on the poly-disc D n λ . We'd define a Unit Lens as the filtration of probability spaces L = {(D n λ , E n λ , µ n λ )} λ↓0 .
Definition 2.5. A Convergent Lens on C n around 0, is a filtration of probability spaces {D n λ , E n λ , τ λ )} λ↓0 such that τ λ is absolutely continuous with respect to µ n λ , ∀λ.
For the rest of this paper we'd focus on Unit Lenses. However, similar results can be recovered for a more general convergent lenses.

Variance Inequality for Meromorphic Functions
Let F be the vector space of all meromorphic function f : C n → C k which has a potential pole of order at most 1 at 0 and is µ n λ -measurable over D n λ . Remark. µ n λ induces an Expectation E(·) and an inner product ·, · on F as We can write f as a sum of its core, principal and analytical components. residues. • and P α is a power series of degree at least 2 Remark. For f ∈ F , let η be the residue matrix and f 0 be the core. Then Additionally we can characterise the higher order terms in f A Proposition 3.1. Let f ∈ F and let f A be the analytic component of f . Also let f α A (w) = D αβ w β + P α (w), ∀α where P α is a power series of degree at least 2. Then the following statements are true 1.
where P α is a power series of lowest degree at least 2, convergent within the radius R, that means P α (w) = P α i (w) where ∀α, ∀i either of these two possibilities are true- with r i ≥ 2 where Q α i is a convergent power series on w (β i ) = (w 1 , ..., w β i −1 , w β i +1 , ..., w n ).

(a) In that case,
because P α is analytic at 0.

(a)
Working with the power series components P α i , we know that, where s i = I(β i δ) and r i ≥ 1 (b) Same would apply for the conjugate with a slightly different calculation.
Unless β i = δ and r i = 1, we could simply write this, For the case when β i = δ and r i = 1, we could invoke Case II and assume without loss of generality that β i|1 δ. That would allow us to write, This of course leads to 3. Also it's easy to check that,

Lemma 3.2. Let f ∈ F and let f 0 , f P and f A be the core, principal and analytic components of f . If D λ
is equipped with an exterior probability ν λ , then it has following properties Proof. We can look to prove the desired results utilising Proposition 3.1.

(a) We'll start by showing the principal component has vanishing expectation
.
and the same is true for its conjugate. (d) And the same holds for its conjugate again.
(a) Now we would turn our attention to the inner product between analytic and principal components.
Change of order, doesn't make a difference to the outcome, of course.
3. Finally we'll concentrate on the self interaction terms.
(a) First for the principal component.
And then for the analytic one.
With these results, we can now embark on proving the desired relation between the variance of a meromorphic function over a poly-disc around its singular pole.
For a meromorphic function f ∈ F such that there is a single pole at 0 of order at most 1, the variance of f over the Unit Lens L using exterior probability µ n λ is given by, Proof. Self interaction of f can be written as This would imply Corollary. If σ λ is the standard error of f under the exterior probability, then λσ λ ≥ T r(η * η)

Generalisation on a Complex manifold
Let K = M , A be a complex manifold of dimension n where A is a holomorphic structure.
Definition 4.1. For p 0 ∈ M and λ > 0, Let S = S λ = z −1 (D λ ) for some (z, U ) ∈ A and Z (S λ ) = {z ′ = g • z | g is holomorphism on z(U )}. We'd refer to S λ , Z (S λ ) as a poly-disc on M around p 0 Remark. For a poly-disc S λ under a morph z, let S λ = z −1 (E n λ ). Since E n λ is a σ-algebra and z is bijective, we can conclude that S λ is a σ-algebra ∀z ∈ Z (S λ ).
Proposition 4.1. If ν λ : S λ → C is defined as ν λ (A) = µ n λ (z(A)), ∀A ∈ S λ , under a morph z, then ν λ is σ-additive and hence a complex measure on (S λ , S λ ) be.a sequence of pairwise disjoint sets in S λ . Since the underlying morph z is bijective, that would mean that Let's fix a poly-disc S λ and a particular morph z. Let p 0 = z −1 (0) ∈ S λ . Let P be the vector space of all meromorphic function ψ : M → C k which has a pole of at most order 1 at p 0 i.e ψ z = ψ • z −1 : C n → C k is analytic everywhere except for a (potential) pole at z(p 0 ) = 0.
Remark. ν λ induces an Expectation E(·) and an inner product ·, · on P as Remark. We can write ψ z = ψ • z −1 as a sum of its core(ψ 0 ), principal(ψ P ) and analytic(ψ A ) components. Let η z denote the corresponding matrix of residues and D z be the Jacobian of the analytic component at z = 0.
For any given ψ ∈ P , if D and D ′ denote the Jacobian matrix under two different morphs z, z ′ ∈ Z (S λ ) respectively, then ∀α, In other words, D αβ transforms co-variantly on β.
Proof. Since both z and z ′ are morphs for S λ , we can define g = z ′ • z −1 : D λ → D λ , holomorphic with g(0) = 0.  Proof. (a) Let z ∈ Z λ and ψ z = ψ • z −1 . Proof follows as consequence of corollary to Theorem 3.3 as applied on ψ z and the fact that η and D transforms as tensors under different choice of z ∈ Z λ (b) By virtue of Theorem 3.3 applied on ψ z , we can write, Clearly, this would allow the variance to be minimised for * λ 2 = T r(η * η) T r(D * D ) . That leads to * λ = T r(η * η) T r(D * D )

Discussion and Conclusion
In the preceding sections we have been able to formalise the concept of a Lenses around a point of potential singularity with respect to a particular detectable function, equipped with a specific type of probability measure called Exterior Probability. Under this structure we've seen that the variance of the function, instead of freely dropping to 0 with increasingly closer measurement, has a global lower bound. In other words, too close to the point of singularity, the standard deviation tends to increase in proportion with reducing distance.
This result was reproduced for a system of lenses over a generic complex manifold, and it was shown that the variance characterisation can be described through tensors in a coordinate free way. The set of results produced in the paper is most relatable from the perspective of describing quantum scale effects in the backdrop of a generic space-time curved by gravity. The decomposition of variance into parts involving η and D are also significant in that regard, as η represents the quantum effects near a singularity, while D is tied with the generic smooth curvature of the manifold. They can also be thought of representing matter and force fields respectively.
If we consider the special case where η is negligible or zero, then we can recover fully the classical measurement set up with the lower bound on standard error converging on zero. On the other hand, if D is zero, then we have a pure quantum system on a flat space-time. The results show that the standard error for an unbounded measurement attribute in such a system is in accordance with Heisenberg uncertainty principle.
The other connection that the present work shares with efforts towards understanding quantum gravity, is obviously in the structural similarity between the Lenses and the Strings. While both are posited as sub-structures of space-time and works as a substitution of the concept of classical point mass [10], they differ in a fundamental way as well. Strings are inter-dimensional structures that spans across a sub-space of a higher dimensional space-time. Lenses constructed as they've been in this paper, are intra-dimensional objects plumbing the depth available in each complex dimension for additional structure. Hence Lenses, as opposed to Strings do not require extra large dimensions to produce results consistent with quantum uncertainty.
There are several different directions in which the current results can be progressed or improved further. The results so far are based on the simplest, Unit Lens and associated Exterior probabilities. However, one might be interested to look into more generic lenses and exterior probability structures. Any such probability measures, by definition, would have to be absolutely continuous with the unit lens, and hence would allow a density to be incorporated in the results presented thus far.
Another area of potential interest could be to expand the the set up to attributes with multiple poles instead of just one, poles with higher orders. In physical terms they would be instrumental to understand many-body interactions at quantum scale with strong gravitational backdrop.