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

learn more… | top users | synonyms

1
vote
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
3answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
3answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
3answers
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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 ...