# Tagged Questions

This tag is used if a reference is needed in a paper or textbook on a specific result.

**1**

vote

**1**answer

130 views

### Could I affirm that $f$ is not identically 0?

Consider the following situation: Let $\Omega =l^{\infty}(\mathbb{R})$ be the
space of all bounded sequences of real numbers. We will consider in $\Omega$ the metric:
$
d(x,y)=\sum_{i\geq 1}\frac{|...

**4**

votes

**2**answers

657 views

### Unreasonable application of mathematics to the other areas [on hold]

What are some papers or talks on the philosophy of mathematics which contains some statements about the unnecessary and unreasonable application of mathematics in other areas of science?
I found ...

**2**

votes

**1**answer

77 views

### Number of vectors of fixed norm

Let $P$ and $Q$ be two even, unimodular, positive definite quadratic forms of rank $n$. Let $r_{k}(P)$ be the number of vectors of norm $k$, in symbols:
$$
r_k(P)=\textrm{cardinality of }\{v\in \...

**3**

votes

**0**answers

59 views

### Turán's inequalities for Hermite functions

Given $\lambda \in \mathbb{R}$ let $H_{\lambda}(x)$ be the solution of the Hermite differential equation:
$$
\frac{d^{2}}{dx^{2}} H_{\lambda}(x)-x\frac{d}{dx}H_{\lambda}(x)+\lambda H_{\lambda}(x)=0, ...

**1**

vote

**0**answers

34 views

### Combination of certain linear-programming topics new?

Consider the combination of the following topics, aimed at a future book on Linear Programming:
Generalization of certain parts of the polyhedron theory and of the Simplex Algorithm to arbitrary ...

**8**

votes

**0**answers

93 views

### Existence of flat connections via characteristic classes, for nice groups

I have two questions about what I write below (which honestly seems pretty elementary).
Is it true (more or less)?
Is there a clean reference that I can cite.
Let $G$ be a compact Lie group, $M$ a ...

**1**

vote

**0**answers

63 views

### Law of large numbers for random functions?

Is there a version of the law of large numbers for random functions of the type: $h(X_j,\hat{\theta}_n)$, where $X_1,\dots,X_n$ are i.i.d. random variables, with distribution $F$, and $\hat{\theta}_n =...

**1**

vote

**0**answers

19 views

### Reference Request: $M_t/M_t/1/K$ queue length distributions

I am investigating functionals defined over sequences of discrete probability distributions related to dynamical/stochastic system performance. As an initial step, I am searching for references that ...

**3**

votes

**3**answers

311 views

### Jacobi's theorem on sums of two squares (reference request)

One of Jacobi's theorems states that the number of representations of a positive integer $n$ as a sum of two squares of integers equals
$$4(d_1(n)-d_3(n)),$$
where the function $d_i$ counts the number ...

**3**

votes

**0**answers

90 views

### Does anyone have Delzell's Thesis on Bad Points of Forms?

Since a number of papers (e.g. this one) treating denominators in Hilbert's 17th problem point to E.G. Strauss's unpublished letter to G. Kriesel or to Chapter 5 of Delzell's Thesis, which contains an ...

**4**

votes

**0**answers

163 views

### Homotopical interpretation of flatness?

I have read a discussion (in a less common language) which discussed a homotopical interpretation of flatness, which went something like:
A map of commutative algebras is flat if pushing it out ...

**1**

vote

**1**answer

99 views

### Gaussian bounds on Dirichlet heat kernel

Let $(M, g)$ be a compact Riemannian manifold and let $p(t, x , y)$ be the heat kernel of $M$. Then there exist constants $c, C > 0
$ such that $$\frac{c}{t^{n/2}}
e^{-\frac{1}{4t}d(x, y)^2} \leq ...

**4**

votes

**2**answers

241 views

### Critical points in $ZF$ without Choice

Recall the definition of critical point for set theory:
A critical point of an elementary embedding of one transitive class into another transitive class is the smallest ordinal not mapped to ...

**0**

votes

**1**answer

63 views

### Reference request: Existence of plurisubharmonic potential for positive (1,1)-current on Stein (affine) manifold

I am looking for a reference for the following fact, which I believe should be true.
Let $X$ be a Stein manifold (or smooth affine variety over $\mathbb{C}$).
If $\omega$ is a positive closed $(1,...

**4**

votes

**2**answers

188 views

### Invariant theory for parabolics

Let $G$ be a connected reductive group over $\mathbb{C}$ of (reductive) rank $\ell$. Let $P$ be a parabolic of $G$ and let $P=LN$ denote the Levi decomposition. Let $\mathfrak{g}, \mathfrak{p}, \...

**2**

votes

**1**answer

92 views

### $H^1$-continuity of Laplace's equation with respect to boundary data

Let $\Omega\subset \mathbb{R}^d$ be open and bounded with $C^\infty$ boundary $\partial\Omega$, $\phi\colon \partial\Omega \rightarrow \mathbb{R}$ continuous and $u^\phi$ the solution to Laplace's ...

**1**

vote

**0**answers

72 views

### Reference request: Bounding exponential sum $\sum_{x \in [0,X]} \Lambda(x) e(\beta_d x^d + \ldots + \beta_1 x )$

Let $1 \leq i \leq d$, $q \in \mathbb{N}$, and $0 \leq a_{i} < q$. Let
$$
\mathfrak{M}^{(i)}_{a_{ i}, q} (C) =\{ \beta_{i} \in [0,1) : | \beta_{i} - a_{i}/q | \leq (\log X)^{C} X^{-i} \} .
$$
We ...

**1**

vote

**1**answer

91 views

### Stability of the critical points set

Let $F:\mathbb{S}^{2}\times\lbrack0,1]\rightarrow\mathbb{R}$ be a smooth
($C^{\infty}$) function and $f_{t}(x)=F(x,t)$. Suppose that $f_{0}=f_{1\text{
}}$is the projection over $z$-axis, so point $P=(...

**0**

votes

**0**answers

68 views

### Laplace transform (or characteristic functional) of atomic random measure

A random (nonnegative Radon) measure $M$ (on $\mathbb R^n$, say) has its law characterized by the Laplace transform $\mathbb E\exp(-\int \varphi(x)\ M(dx))$, $\varphi\in C_c^+(\mathbb R^n)$ (...

**0**

votes

**0**answers

40 views

### Brownian motion hitting probability [closed]

$B_t$ is a Brownian process, starting from the origin in $\mathbb{R}^n$. Let $\theta_X(T)$ denote the probability that the particle hits the set $X \subset\mathbb{R}^n$ within time $T$. Keeping $T$ ...

**3**

votes

**1**answer

145 views

### Reference or counter-example for Closed Graph Theorem for multivalued maps in general topological spaces

Could someone be so kind to point me in the direction of a citeable proof of the following version of the Closed Graph Theorem? (i.e. assuming this is true, could someone give me a literature ...

**5**

votes

**0**answers

82 views

### Short time asymptotics for Brownian motion on a compact manifold

Consider a compact Riemannian manifold $(M, g)$. Choose a ball $B(p, r)$ inside $M$, and a quasi-isometric ball $B(q, s)$ in $\mathbb{R}^n$, in the image of a coordinate chart containing $B(p, r)$ (in ...

**3**

votes

**0**answers

60 views

### Various definitions of the odd Chern character form

I am asking this question from my possibly defected memory, so the things below may not be accurate.
I want to know how many different definitions of the odd Chern character form using differential ...

**1**

vote

**1**answer

66 views

### Results for Hausdorff Measure after Linear Transformation

For the Sierpinski Triangle, $S$, the $d$ dimensional Hausdorff measure is given by, $H^{d}(S)$. If a linear transformation, $W$ is applied to $S$, with
$$W(x,y)=\begin{bmatrix} 1/2 & 0 \\ 0 &...

**1**

vote

**0**answers

71 views

### Brownian hitting probability of a small body

Consider a Brownian motion $B(t)$ starting from the origin $0$ in $\mathbb{R}^n$. Consider the ball $B(0, r)$ and an open set $V \subset B(0, r)$. If it is known that the probability of the Brownian ...

**2**

votes

**0**answers

65 views

### Brownian motion in perturbed (asymptotically flat) metric

Let $g_{\mathbb{R}^n}$ denote the usual Euclidean metric on $\mathbb{R}^n$ and let $B_g(t)$ denote the Brownian motion associated to a complete metric $g$ on $\mathbb{R}^n$. Consider a Brownian motion ...

**6**

votes

**0**answers

239 views

### Coefficients in expansion of a classical symmetric polynomial

If we expand \begin{equation} P_3(x_1,\ldots, x_n):=\Pi_{1\leq i<j<k\leq n} (x_i+x_j+x_k), \end{equation} then \begin{equation} P_3 = \sum_\alpha \sum_{\mathcal{O}(\alpha)} c_\alpha x_1^{\...

**2**

votes

**0**answers

48 views

### automorphic forms associated with symmetries of vertices of uniform honeycombs in hyperbolic space

Is there a catalogue of automorphic forms (modular/Maass/Siegel/Hilbert...) which lists them in terms of Poincaré series associated with the symmetries of the vertices of uniform honeycombs in ...

**15**

votes

**3**answers

906 views

+300

### DG categories in algebraic geometry - guide to the literature?

Although my experience with DG categories is pretty basic I find them to be a very neat tool for organizing (co-)homological techniques in algebraic geometry. For someone who has algebro-geometric ...

**3**

votes

**1**answer

96 views

### On the spectrum of stationary Gaussian process

What is the condition for ergodicity, weakly mixing, and strongly mixing properties of Gaussian process in terms of its spectrum?
In a similar way let us consider a stationary vector valued Gaussian ...

**5**

votes

**0**answers

154 views

### Intuition: Smooth functions on Banach Spaces

On finite-dimensional vector spaces, we all have a reasonable idea of which functions are likely to be $C^1$ or smooth. When it comes to differentiation on Banach spaces, I find that my `intuition' ...

**0**

votes

**0**answers

85 views

### forgetful on ext functor : reference request

learning about ext functors I encountered the following statement (source : https://en.m.wikipedia.org/wiki/Ext_functor) :
"For $\mathbb{F}_p$ the finite field on $p$ elements, we also have ...

**0**

votes

**0**answers

45 views

### Characteristics of Polynomially Bounded Subgroup of Symmetric Group [closed]

I am looking for literature regarding polynomially bounded (in $n$) subgroup of symmetric group acting on $n$ objects. To be precise, I would like to know, necessary and sufficient condition or ...

**4**

votes

**0**answers

186 views

### Verifying a source that lacks a citation

In this German Mathematics Wikibook page, formula $0.5$ lists the following equation
$$\int_0^1 \sin(\pi x) x^x (1-x)^{1-x} \ \mathrm{d}x = \frac{\pi e}{24}$$ as supposedly attributed to Ramanujan (...

**1**

vote

**2**answers

53 views

### Reference for the monotonicity in $\alpha$ of the Rényi entropy

I'd like to have a reference for the property $0 \leq \alpha < \alpha' \leq \infty \implies R_\alpha(\mu) > R_{\alpha'}(\mu)$, where $R_\alpha(\mu)$ is the Rényi entropy of order $\alpha$ of a ...

**1**

vote

**1**answer

86 views

### Curvature of plane curves on a surface

Let $S$ be a surface and $\gamma$ a curve on $S\subseteq \mathbb{R}^3$ obtained cutting $S$ with a plane. I wuold an upper bound for the curvature of $\gamma$. Are there papers for this topic?

**4**

votes

**0**answers

97 views

### Restricted addition analogue of Freiman's $(3n-4)$-theorem

There is a well-known theorem of Freiman saying that if $A$ is a finite set of integers with $|2A| \le 3|A|-4$, then $A$ is contained in an arithmetic progression with at most $|2A|-|A|+1$ terms. Is ...

**1**

vote

**1**answer

116 views

### Effects of shortening and puncturing on codes

Given a binary block code $C=[n,k]$ of codeword length $n$, and dimension $k$.
Suppose I've determined these properties for it : $d_{min}$ (minimum distance),
$N_{dmin}$ (number of codewords at $d_{...

**1**

vote

**2**answers

137 views

### A multidimensional version of Hensel's lemma? (for more than one polynomial)

The classical Hensel's lemma is stated as follows: Let $f(x) \in \mathbb{Z}_p[x]$ and $a \in \mathbb{Z}_p$ satisfy
$$
|f(a)|_p < | f'(a) |_p^2.
$$
Then there is a unique $\alpha \in \mathbb{Z}_p$...

**0**

votes

**0**answers

44 views

### Intersection Of Valentine Convex Sets

A set X is said to be m-convex , m integer >=2, if for each set of m points at least one of the associated line segments lies in X.
A 3-convex set is sometimes also known as Valentine convex after ...

**3**

votes

**1**answer

189 views

### Local Langlands Conjecture for p-adic SO(4), reference request

In section 10 of Gan-Gross-Prasad's paper "Symplectic local root numbers, central critical L-values, and restriction problems in the representation theory of classical groups" http://arxiv.org/pdf/...

**0**

votes

**0**answers

26 views

### When does a stationary point process on group $G$ have $0$ or $\infty$ many points a.s.?

For $G=\mathbb{R}^d$ I know that a stationary point process $X$ either has 0 or infinitely many points, a.s. Daley and Vere-Jones refer to this as the 0-Infinity dichotomy. They hint that this fact is ...

**5**

votes

**3**answers

272 views

### Nonlinear ODE: $y'=(1+axy)/(1+bxy)$

Consider the first order nonlinear ODE problem:
$$
y'(x)=\frac{1+ay(x)x}{1+by(x)x}, \quad x>0
$$
where $a, b>0$ are some constants. I would like to know if these kind of equations were ...

**3**

votes

**2**answers

349 views

### An integral identity evaluating the gamma function

While reading a number theory paper I encountered the identity
$$ \int_{- \infty}^{\infty} (1 + x^2)^{ - \frac{z}{2} - 1} dx = \sqrt{\pi} \frac{ \Gamma(\frac{z + 1}{2}) }{\Gamma(\frac{z}{2} + 1)},$$
...

**1**

vote

**0**answers

105 views

### Is there a reference for boundedness of smooth canonically polarized varieties over Z (No…)

In Kollár's paper Quotient spaces modulo algebraic groups, Kollár mentions right above Theorem 1.8 that the stack $\mathcal M_P$ of smooth canonically polarized varieties over Spec $\mathbb Z$ with ...

**5**

votes

**1**answer

155 views

### Subgroup ranks of the symmetric group

It's well known that every subgroup $G$ of $S_n$ has a generating set of size at most $n-1$ and that this generating set can be found algorithmically (by Jerrum's filter)
I have heard many times a ...

**4**

votes

**0**answers

139 views

### Contact manifolds and pseudodifferential operators

By way of background, I am currently trying to understand the theory of pseudodifferential operators in the context of contact geometry. I have some knowledge of pseudodifferential operators on ...

**4**

votes

**0**answers

128 views

### Surjectivity of some evaluation map on global sections of a positive vector bundle

Let $X$ be a smooth complex projective manifold, let $E \rightarrow X$ be a Hermitian vector bundle and let $L \rightarrow X$ be a positive Hermitian line bundle. Let $H^0(X,E \otimes L^d)$ denote the ...

**5**

votes

**0**answers

172 views

### Topology on the space of Borel measures

Let $ B $ be the set of all measures $ \phi $ of $ \mathbf{R}^{n} $ such that every open set is $ \phi $-measurable (sometimes these measures are called Borel measures). Note the measures in $ B $ are ...

**0**

votes

**0**answers

54 views

### Does anyone have a reference for a proof of expansion for this construction?

http://people.seas.harvard.edu/~salil/pseudorandomness/expanders.pdf
"Construction 4.26: p-cycles with inverse chords.... The proof of expansion relies on the “Selberg 3/16 Theorem” from number ...