Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
151 views

Does this sequence of Blaschke Product have rescaling limit $z-1$?

Background: The conformal conjugacy class of parabolic isometry of upper half plane $\mathbb{H}$ consists of $f(z) = z+1$ and $g(z)=z-1$. Consider surjective proper holomorphic $F_n: \mathbb{H} \...
Ricky Simanjuntak's user avatar
3 votes
1 answer
91 views

Conditional Expectation in Diffusion Process

Consider a $d$-dimensional diffusion process $\mathbf{X}=(\mathbf{X}_t)_{t\in [0,T]}=([X^1_t,...,X^d_t])_{t\in [0,T]}$ that is the unique strong solution of the following SDE: $$\left\{\begin{matrix} ...
Mingzhou Liu's user avatar
0 votes
0 answers
57 views

Double-periodic functions with (possible) poles

Consider the set of double-periodic function $f:\mathbb C/(\mathbb Z+i \mathbb Z) \setminus \{z_0\} \to \mathbb C$, where $z_0$ is a fixed point inside $\mathbb C/(\mathbb Z+i \mathbb Z),$ that have a ...
António Borges Santos's user avatar
1 vote
1 answer
100 views

Is Nelson-Symanzik positivity compatible with fermionic statistics?

Let $\{ S_n \}_{n =0}^\infty$ be a sequence of tempered distributions where $S_n \in \mathcal{S}'(\mathbb{R}^{nd})$ where $d \in \{2,3,4\}$ is fixed. Moreover, we put three additional conditions: $...
Isaac's user avatar
  • 3,477
1 vote
0 answers
38 views

About Carleson measures on the Hardy space on the bidisc

I have been reading the paper "Carleson Measures in Hardy and Weighted Bergman Spaces of Polydiscs" by F. Jafari and there are a few things that going on that I am not entirely convinced of. ...
an_ordinary_mathematician's user avatar
2 votes
0 answers
164 views

Bounds of modular functions on the Ford circles

Assume a holomorphic function from a product of two upper half planes $Z: \mathbb{H}_+\times \mathbb{H}_+\rightarrow \mathbb{C}$ with an expansion of the form $$ Z(\tau,\tau') = \sum_{(h,h')\in S} a_{...
Yiannis T.'s user avatar
0 votes
0 answers
27 views

Conformal mapping which is $\alpha$-holder continuous for each $\alpha<1$

Recall that the Jordan curve $J\subset \mathbb{C}$ is called asymptotically conformal if $$\text{$\max_{z\in J(a,b)}\frac{|a-z|+|z-b|}{|a-b|}\to 1$ as $a,b\in J, |a-b|\to 0$}$$ where $J(a,b)$ is the ...
ljjpfx's user avatar
  • 207
2 votes
1 answer
124 views

Choice of the eigenbasis for the Dirac operator on $S^d$

This question is a simplified version of my previous one. I think that adding a gauge potential complicates the problem too much. Let us consider the Dirac operator $D$ on the $d$-sphere $S^d$ with ...
Isaac's user avatar
  • 3,477
1 vote
1 answer
129 views

Is every operator range a Baire space in the relative topology?

Let $X$ be a Banach space and let $U\subseteq X$ be a (not necessarily closed) linear subspace. One says that $U$ is an operator range if there is another Banach space $E$, and a bounded linear map $...
Black's user avatar
  • 483
7 votes
1 answer
415 views

Is there a “Closure-of-Range Theorem” for Banach spaces?

The classic Closed Range theorem states that for a linear bounded operator $T:X\to Y$ between Banach spaces, and its transpose $T^*:Y^*\to X^*$, the four conditions: $T(X)$ is $s$-closed; $T(X)$ is $...
Pietro Majer's user avatar
  • 60.5k
1 vote
0 answers
45 views

Existence of optimal entropic weights for empirical modeling

Let $\mathcal{X} = [0,1]^n$ be the input space and $\mathcal{Y} = \{1, ..., n_c\}$ be a discrete output space. Let $D = \{(x_i, y_i)\}_{i=1}^N \subset \mathcal{X} \times \mathcal{Y}$ be a training ...
Damien's user avatar
  • 111
4 votes
1 answer
162 views

Topology on $O_M$, the space of slowly increasing smooth functions?

A smooth function on $\mathbb{R}^n$ is called slowly increasing if each of its derivatives is polynomially bounded. It seems that the collection of such functions is denoted as $O_M$. Obviously, $O_M$ ...
Isaac's user avatar
  • 3,477
0 votes
0 answers
38 views

Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets? Will it also be a Henkin measure?

Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$. We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if $$\forall_{u \in A(\...
S-F's user avatar
  • 63
0 votes
0 answers
68 views

Family of separable Hilbert spaces over locally compact form a continuous field of Hilbert space?

Let $\{H_{x}\}_{x\in G^{0}}$ be a family of separable Hilbert spaces and $G^{0}$ be a locally compact second countable topological space. Let $\mathbb{B}_{x}$ be the orthonormal basis of $H_{x}$. If ...
K N SRIDHARAN NAMBOODIRI's user avatar
1 vote
1 answer
91 views

Positive definite kernels on compact interval $[0,1]$

From How to prove that a kernel is positive definite? I learned that a function $f:[0,\infty)\to\mathbb{R}$ induces a positive definite kernel $K:\mathbb{R}^2\to\mathbb{R}$, $K(x,y)=f((x-y)^2)$ if $f$ ...
SmileyCraft's user avatar
1 vote
0 answers
176 views

If $f \in L^p(\Omega)$, then $f \in L^q(\Omega)$ for some $q < p + \epsilon$?

Loosely speaking, I would like to know whether membership in some Lebesgue space $L^p$ is stable under small perturbations of the exponent $p$. Let $\Omega \subseteq \mathbb R^n$ be a bounded domain ...
AlpinistKitten's user avatar
7 votes
2 answers
841 views

Why is $\mathbb R^{\mathbb N}$ not high-dimensional enough?

In this paper [1], the authors consider the limiting distribution of $$S_{n,p}:=\frac{1}{\sqrt n}\sum_{k=1}^nX_k$$ for $p\rightarrow\infty$ as $n\rightarrow\infty$, where $X_1, X_2,\dots, X_n$ are ...
Quertiopler's user avatar
2 votes
0 answers
124 views

dimensionality reduction of Markov chains

Suppose that $M$ is a time-homogeneous (and, for simplicity, stationary) Markov chain on $d$ states, which induces the probability measure $P$ on paths of length $n$. I seek a Markov chain $M'$ on $d'&...
Aryeh Kontorovich's user avatar
5 votes
0 answers
75 views

What is the maximal advantage of randomized over deterministic algorithms for approximation in the worst-case?

Let $X\subset Y$ be Banach spaces and $B_X:=\{x\in X: \|x\|_X\le1\}$ be the unit ball of $X$. The goal is to find an approximation of every element from $B_X$ with error measured in $Y$ by using at ...
Mario Ullrich's user avatar
3 votes
1 answer
220 views

What we know about the function in Fefferman's Theorem

In Fefferman's many papers on Whitney's theorem he, amongst other things, constructs the existence of a smooth function $F$ which extends a function $f$ on a (say) finite set $E\subseteq \mathbb{R}^n$ ...
ABIM's user avatar
  • 5,405
2 votes
2 answers
154 views

Closure of $C([0,1]^2)$ via weak*-topology [closed]

Let $C([0,1]^2)$ denote the set of continuous functions on $[0,1]^2$. Let $L^1([0,1]^2)$ be the set of all Lebesgue integrable functions on $[0,1]^2$. The dual space of $C([0,1]^2)$, denoted by $C^*([...
tom jerry's user avatar
  • 349
3 votes
0 answers
129 views

A Talagrand inequality for the supremum of partial sums over function classes under dependence. (Reference request)

As a consequence to the Talagrand concentration inequality, it is well known that for a measurable space $(S,\mathcal{S})$ and an i.i.d. sample $X_1,...,X_n$ of $S$-valued random variables, if $\...
Daan's user avatar
  • 141
1 vote
0 answers
87 views

Supremum of sums of functions in $L^1$ taking random signs

Consider the Banach space $X=L^1([0,1])$, and let $n\gg1$ and $x_1, ..., x_n$ be any points in the unit sphere of $X$. Is there any reasonable lower bound for $$\sup_{(\epsilon_i)_{i=1}^n \in \{-1,+1\}...
HHN's user avatar
  • 393
2 votes
0 answers
75 views

Pullback by surjective submersion is injective?

Denote by $\mathcal{D}'_X$ the sheaf of distributions on a smooth manifold $X$. Let $M$ and $N$ be smooth manifolds and $\Phi: M \to N$ a submersion. Then $\Phi$ defines a unique morphism of sheaves $\...
psl2Z's user avatar
  • 261
-1 votes
1 answer
98 views

Spectrum of sum of positive and negative operators

Let $(\mathscr{H}, \langle \cdot, \cdot \rangle)$ be a separable complex Hilbert space, and let $\mathscr{D}$ be a dense subset of $\mathscr{H}$. Let $P: \mathscr{D} \to \mathscr{H}$ and $N: \mathscr{...
d'Alembert's user avatar
0 votes
0 answers
78 views

What properties does representing measure $\mu$ for $z\in\mathbb{D}^n$ has to satisfy so that $\nu=0$ is the only measure singular with respect to it?

Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$. We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if $$\forall_{u \in A(\...
S-F's user avatar
  • 63
0 votes
0 answers
66 views

Uniformization and constructive analytic continuation of Taylor-Maclaurin series

Context. In their paper, "Uniformization and Constructive Analytic Continuation of Taylor Series", Costin and Dunne present a constructive method to greatly increase the accuracy of a ...
butsurigakusha's user avatar
5 votes
2 answers
149 views

Showing an operator is (or not) closed on $L^2(\mathbb{R})$

I am linearizing nonlinear waves and get operators of the form below. Everything is considered in $L^2(\mathbb{R})$. Consider the operator $L_1=\frac{d}{dx}$. The domain is $H^1(\mathbb{R})$ and it is ...
Gateau au fromage's user avatar
1 vote
0 answers
98 views

Equivalence of Sobolev norms for smooth functions with compact support

Let $f\in C^\infty_c([0,1]^n)$, then we can extend it to a $1$-periodic smooth function $\tilde f$. We define the fourier transform (series) of $f$ ($\tilde f$):$$ \hat f(\xi):=\int e^{2\pi i x\cdot \...
Tian LAN's user avatar
  • 435
4 votes
0 answers
160 views

An unusual uniqueness property for entire functions

For given $q\in (0,1),$ coefficients $|c_k|\leq Cq^{k^2/3},$ and non-negative non-decreasing convergent sequences $\{a_k\}_{k=0}^\infty$ and $\{b_k\}_{k=0}^\infty$ satisfying $a_k\geqslant b_k,\;k=0,...
Deepti's user avatar
  • 783
1 vote
1 answer
157 views

Is finding the CDF from the Laplace transform well-posed?

In my study of Dynamic Light Scattering, I came across the following inverse problem. Let $F(s):[0,T]\rightarrow[0,T]$ be the Laplace transform of a probability distribution $f(t)$ on the real line ...
Riemann's user avatar
  • 654
2 votes
0 answers
189 views

Smoothing property of the heat kernel on the one-dimensional torus

Let $G=G(x,t)$ be the heat kernel on the one-dimensional torus $\mathbb{T}^1,$ with $x \in \mathbb{T}^1$ and $t \in (0,T].$ $G$ is given by \begin{equation} G(x,t) = (4 \pi t)^{-1/2} \sum_{k \in \...
kumquat's user avatar
  • 185
0 votes
1 answer
231 views

Questions on the compactness of $L_1([0,1]^2)$'s unit sphere

Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$ and $f(x,y)\geq 0: a.e. (x,y)\in [0,1]^2$. Recently in my study I need to study the compactness of $U$. By Riesz's theorem ...
tom jerry's user avatar
  • 349
1 vote
0 answers
113 views

Are there any known statistics on the sign of the Stieltjes Constants?

The Stieltjes Constants $\gamma_n$ arise from considering the laurent series of the Riemann Zeta function at $s=1$ $$ \zeta(s) = \frac{1}{s-1} + \sum_{n=0}^{\infty} (-1)^n \frac{\gamma_n}{n!} (s-1)^n $...
Sidharth Ghoshal's user avatar
0 votes
1 answer
101 views

Limit sequence of regular function in $L_1$‘s unit sphere

Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$. For any $f\in U$, we say it is regular if $\int_{x_0\times [0,1]}f=\int_{[0,1]\times y_0}f=1$ for a.e. every $x_0, y_0\in [...
tom jerry's user avatar
  • 349
4 votes
0 answers
147 views

Weakly compact sets forced to contain $0$

Let $E$ be an infinite-dimensional real normed space and let $K\subset E$ be a weakly compact set such that, for each $\varphi\in E^*\setminus \{0\}$, there exists a unique $\tilde x\in K$ such that $$...
Biagio Ricceri's user avatar
0 votes
0 answers
121 views

How to find the inverse of this linear integral operator?

Let $f(x): \mathbb{R}^d \rightarrow \mathbb{R}$ be a function that decays ``fastly enough'' at infinity. We can define the following linear operator $$L[f](x):= \int_{\mathbb{R}^d} d^d y \, \frac{f(y)}...
mnerone's user avatar
3 votes
1 answer
158 views

Upper and lower bounds for a Rademacher-type expectation

Suppose that $\varepsilon_i$ are independent Rademacher random variables (that is, $ \mathbb{P}(\varepsilon_i=-1) = \mathbb{P}(\varepsilon_i=1) =1/2 $. Fix an $a\in\mathbb{R}^n$ and define the random ...
Aryeh Kontorovich's user avatar
2 votes
0 answers
37 views

Theta series of well-rounded lattices

I've started looking into well-rounded Euclidean lattices and I was interested in learning whether their theta series have any interesting properties, but haven't found much in terms of bibliography ...
JBuck's user avatar
  • 223
5 votes
0 answers
160 views

Hartman uniform distribution of means

Background: for a discrete abelian group $G$, a character of $G$ is a homomorphism $\chi:G\to \mathbf S^1$, $\mathbf S^1$ being the circle group $\{z\in \mathbb C:|z|=1\}$ with ordinary multiplication....
John Griesmer's user avatar
-6 votes
1 answer
180 views

An analog of Anderson's result in C* algebra setting [closed]

Let $\mathcal{A}$ be a unital $C^{*}$-algebra and $S(\mathcal{A})$ denote the states space of $\mathcal{A}$. For $a\in \mathcal{A}$ , define $W(a) =\{\phi(a):\phi\in S(\mathcal{A})\}$ It's known that $...
SoG's user avatar
  • 307
2 votes
0 answers
179 views

Analytic continuation of $\int_V (f(x_1,\cdots,x_n))^s dx_i$

Let $V$ be an $n$-dimensional simplex, let $f(\boldsymbol{x}) = f(x_1,\cdots,x_n)\in \mathbb{C}[x_1,\cdots,x_n]$ be a product of linear polynomials that is non-zero in interior of $V$. Also let $E(\...
pisco's user avatar
  • 528
1 vote
1 answer
102 views

Does $C^{k,s-k}$ function with lipschitz lower order derivatives give a certain bound on the Taylor remainder?

Let $\Omega \subseteq \mathbb{R}$ be open (not necessarily an interval). Let $ s > 0$ and $k \in \mathbb{N}_0$ be such that $s \in (k, k+1]$. Suppose that $f \colon \Omega \to \mathbb{R}$ is an ...
Kacper Kurowski's user avatar
2 votes
1 answer
152 views

Co-locating slowly increasing smooth functions in two different ways

This question is subsequent from my previous one. I will write everything in detail for the sake of completeness. Let $g_1$ and $g_2$ be smooth functions on $\mathbb{R}$, whose derivatives of all ...
Isaac's user avatar
  • 3,477
5 votes
2 answers
256 views

On the closed convex hull of a weakly compact set

Let $H$ be an infinite-dimensional real Hilbert space and let $B$ be the closed unit ball of $H$. Let $K\subset B$ be a weakly compact set whose closed convex hull agrees with $B$. Question: does $K$ ...
Biagio Ricceri's user avatar
2 votes
0 answers
102 views

Semiclassical limit of spectral gap of Schrödinger operators with nonsmooth potential

Let $\Omega$ be a connected compact subset of $\mathbb{R}^d$. It is well known that for a smooth potential $V:\Omega \to \mathbb{R}$ that has a unique nondegenerate minimum $V(0) = 0$, the operator $H ...
Lwins's user avatar
  • 1,551
13 votes
2 answers
800 views

For which rationals is this exponential sum bounded?

Given $x \in [0, 1]$, we denote by $e(x)$ the complex number $e^{2 \pi i x}$. Can we characterise the set of rationals $x$ for which the sum $$A_N(x)\, :=\, \sum_{n = 0}^N e(2^n x)$$ remains bounded ...
Nate River's user avatar
  • 6,165
0 votes
0 answers
82 views

A far reaching generalization of the WPT?

I encountered the the Nullstellensatz for Germs of Holomorphic Functions in Daniel Huybrechts' Complex Geometry: An Introduction, specifically Proposition 1.1.29 If $I\subset \mathcal{O}_{\mathbb{C}^...
LuckyJollyMoments's user avatar
0 votes
0 answers
121 views

Is there a good or commonly accepted short notation for the set of differentiable, but not necessarily continuously differentiable maps?

Every once in a while I find myself in need of some short notation for the set of differentiable, but not continuously differentiable maps, say, $X \to Y$. Always having to specify "...
M.G.'s user avatar
  • 7,127
3 votes
1 answer
182 views

Tensor product of a slowly increasing smooth function and a tempered distribution converging to a co-located product

Let $T$ be a tempered distribution on $\mathbb{R}$ and $g$ be a smooth function on $\mathbb{R}$ whose derivatives of all orders are all polynomially bounded (a.k.a. slowly increasing). For any pair of ...
Isaac's user avatar
  • 3,477