Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
toad.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server operated by David Troy, a tech pioneer and investigative journalist addressing threats to democracy. Thoughtful participation and discussion welcome.

Administered by:

Server stats:

334
active users

toad.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#mean

1 post1 participant0 posts today
Public
Bharath Krishnan

In a magazine article [1] on problems and progress in quantum field theory, Wood writes of Feynman path integrals, “No known mathematical procedure can meaningfully average an infinite number of objects covering an infinite expanse of space in general. The path integral is more of a physics philosophy than an exact mathematical recipe.”

This article [2] provides a method for averaging an arbitrary collection of objects; however, the average can be any number in the extension of the range of these objects. (Note, an arbitrary collection of these objects is a function.)

Question: Suppose anything meaningful has applications in quantum field theory. Is there a way to meaningfully choose a unique, finite average of a function whose graph matches the description in Wood's quote?

For more info, see this post [3].

[1]: quantamagazine.org/mathematici

[2]: arxiv.org/pdf/2004.09103

[3]: math.stackexchange.com/q/50520

Quanta Magazine · Mathematicians Prove 2D Version of Quantum Gravity Really Works | Quanta MagazineIn three towering papers, a team of mathematicians has worked out the details of Liouville quantum field theory, a two-dimensional model of quantum gravity.
#PathIntegral#quantum#FeynmanPathIntegral
Continued thread
Public *
Bharath Krishnan

Question 1. was solved here [1]. The answer isn't perfect but it's better than nothing.

I don't know if the function in the answer to this post [1] has a finite expected value using section 3.2 and 6.1 of this paper [2].

[1]: mathoverflow.net/questions/476

[2]: researchgate.net/publication/3

MathOverflowIs there an explicit, everywhere surjective $f:\mathbb{R}\to\mathbb{R}$ whose graph has zero Hausdorff measure in its dimension?Suppose $f:\mathbb{R}\to\mathbb{R}$ is Borel. Let $\text{dim}_{\text{H}}(\cdot)$ be the Hausdorff dimension, where $\mathcal{H}^{\text{dim}_{\text{H}}(\cdot)}(\cdot)$ is the Hausdorff measure in its
#Answer#PathalogicalFunctions#EverywhereSurjectiveFunctions
Public *
Bharath Krishnan

Suppose \(A\subseteq\mathbb{R}^{2}\) is Borel and \(B\) is a rectangle of \(\mathbb{R}^2\). In addition, suppose the Lebesgue measure on the Borel \(\sigma\)-algebra is \(\lambda(\cdot)\):

Question: How do we define an explicit \(A\), such that:
1. \(\lambda(A\cap B)>0\) for all \(B\)
2. \(\lambda(A\cap B)\neq\lambda(B)\) for all \(B\)?

For a potential answer, see this reddit post [1]. (It seems the answer is correct; however, I wonder if there's a simpler version that is less annoying to prove.)

Moreover, we meaningfully average \(A\) with the following approach:

Approach: We want an unique, satisfying extension of the expected value of \(A\), w.r.t the Hausdorff measure in its dimension, on bounded sets to \(A\), which takes finite values only

Question 2: How do we define "satisfying" in this approach?

(Optional: See section 3.2, & 6 of this paper [2].)

[1]: reddit.com/r/mathematics/comme

[2]: researchgate.net/publication/3

#UnboundedSets#Sets#LebesgueMeasure
Public *
Bharath Krishnan

Suppose \(f:\mathbb{R}\to\mathbb{R}\) is Borel. Let \(\text{dim}_{\text{H}}(\cdot)\) be the Hausdorff dimension and \(\mathcal{H}^{\text{dim}_{\text{H}}(\cdot)}(\cdot)\) be the Hausdorff measure in its dimension on the Borel \(\sigma\)-algebra.

Question: If \(G\) is the graph of \(f\), is there an explicit \(f\) such that:
1. The function \(f\) is everywhere surjective (i.e., \(f[(a,b)]=\mathbb{R}\) for all non-empty open interval \((a,b)\))
2. \(\mathcal{H}^{\text{dim}_{\text{H}}(G)}(G)=0\)

If such \(f\) exists, we denote this special case of \(f\) as \(F\).

Note, not all everywhere surjective \(f\) satisfy criteria 2. of the question. For example, consider the Conway base-13 function [1]. Since it's zero almost everywhere, \(\text{dim}_{\text{H}}(G)=1\), and \(\mathcal{H}^{\text{dim}_{\text{H}}(G)}(G)=+\infty\).

Question 2: For any real \(\mathbf{A},\mathbf{B}\) is the expected value of \(\left.f\right|_{[\mathbf{A},\mathbf{B}]}\), w.r.t the Hausdorff measure in its dimension, defined and finite?

If not, see this paper [2] for a partial solution.

Optional: Is there other interesting properties of \(F\)?

[1]: en.wikipedia.org/wiki/Conway_b

[2]: researchgate.net/publication/3

en.wikipedia.orgConway base 13 function - Wikipedia
#PathalogicalFunctions#EverywhereSurjectiveFunctions#Mean
ExploreLive feeds
About