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

**1**

vote

**0**answers

85 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

95 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

73 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)$ (...

**3**

votes

**1**answer

184 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

92 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

65 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

98 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

80 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

67 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

259 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

53 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 ...

**16**

votes

**3**answers

1k views

### 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

101 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

161 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

87 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 ...

**4**

votes

**0**answers

208 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

61 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

89 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

98 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

121 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

141 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

47 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

194 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/...

**1**

vote

**2**answers

120 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

284 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

359 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

106 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

170 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 ...

**5**

votes

**0**answers

156 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

135 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

180 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

55 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 ...

**0**

votes

**1**answer

89 views

### Some questions related to the unitary operators

A unitary operator is a surjective linear operator between complex inner product spaces, which preserves the inner product.
What is the name of the analogue for the real case? Orthogonal operator ...

**8**

votes

**1**answer

273 views

### When is bar-cobar duality an equivalence?

Let $A$ be an augmented differential graded algebra over a field $k$. I will write $BA$ for its bar construction (whose homology is $Tor^A(k, k)$). This is a co-augmented differential graded ...

**14**

votes

**4**answers

700 views

### Groups of matrices in which all elements have all eigenvalues equal in modulus

I am writing a research article in which I need to use the following fact: if $G$ is a subgroup of $GL_3(\mathbb{R})$ which is irreducible in the sense that no proper nontrivial subspace of $\mathbb{R}...

**4**

votes

**1**answer

1k views

### Blow-up in family

Let $\pi \colon X \to T$ be a flat projective morphism, and let $Y$ be a closed sub-scheme of $X$ which is flat over $T$. We can assume that everything is defined over the complex numbers, and $T$ is ...

**0**

votes

**0**answers

140 views

### Graph Coloring: Two adjacent vertices share same color

Consider, subgraphs $G_1, G_2,...... G_x$ of graph $G$. Each subgraph has $k$ vertices.
Now, Fix subgraph $G_1$ and consider another subgraph $G_k$ where $1 <k \le x$.
The edge set ...

**5**

votes

**0**answers

176 views

### Extension operators for topological vector space-valued smooth functions on closed sets

There are many known results about extension theorems for real-valued functions on closed sets, with varying levels of differentiability and so on, all very roughly following the Whitney approach. For ...

**5**

votes

**3**answers

528 views

### References - Voevodsky motives are the derived category of Nori motives?

First I would like to know if this has been worked out, and if the answer is affirmative I would like to know some references.

**4**

votes

**1**answer

121 views

### What is the stationary distribution for the contact process on the half line?

The contact process is a well-studied Markov process. I'm just concerned with the one-dimensional nearest-neighbor version here.
The state space is $\eta\in\{0,1\}^\mathbb Z$, and for state $\eta$ at ...

**1**

vote

**0**answers

66 views

### Reference for a simple fact in measure theory (semi-algebras)

What is the textbook where the following simple fact can be found:
A measure defined on a semi-algebra S can be extended to a sigma-algebra generated by S.
In the texbooks that I have looked into ...

**8**

votes

**0**answers

204 views

### Jets of sections of vector bundles expressed by symmetrized iterated covariant derivatives - who did it first?

The (non-unique) bundle isomorphism between the bundle $J^r E$ of $r$-th order jets of sections of a vector bundle $\pi:E\rightarrow M$ and the direct sum $$\bigoplus^r_{k=0}\vee^kT^*M\otimes E\...

**4**

votes

**0**answers

113 views

### Convex polytopes as “products” of lower dimensional polytopes of the same family

This MO answer on enumerative geometry details the sense in which an associahedron is a product of lower dimensional associahedra, and the comments in this MSE-Q indicate the same is true for ...

**4**

votes

**2**answers

229 views

### Historical reference request on Nilpotent groups

From Wikipedia:
"Abelian groups were named after Norwegian mathematician Niels Henrik Abel by Camille Jordan because Abel found that the commutativity of the group of a polynomial implies that the ...

**11**

votes

**3**answers

2k views

### Has Dedekind's proof of existence of infinite sets been analyzed by historians?

This pdf by David Joyce notes that in paragraph 66 of his famous essay, Dedekind claims to prove the existence of an infinite set.
The proof exploits the assumption that there exists a set $S$ of all ...

**2**

votes

**0**answers

45 views

### Karhunen-Loeve expansion convergence rate for Gaussian Proccess

Consider A Gaussian Procces $X(t):\mathbb{R}\times \Omega \to \mathbb{R}$ with $\Omega$ a probability space and $\mathbb{E} \left[ X_t \right] = 0$ for all $t\in \mathbb{R}$.
Consider also its KL ...

**1**

vote

**0**answers

85 views

### Internal language type of power objects

It is a basic fact that in a category with finite limits the following are equivalent
Each object $X$ has a (membership relation to a) power object $PX\times X\hookleftarrow\ni_X$ subject to the ...

**2**

votes

**0**answers

63 views

### Characters on lattices and isogenies of Abelian varieties

Let $V:=\mathbb{C}^g$ and $\Lambda \subset V$ be a lattice, i.e. a discrete subgroup of rank $2g$. Then $A:=V/ \Lambda$ is a complex torus of dimension $g$. We moreover assume that $A$ is algebraic, ...

**9**

votes

**1**answer

365 views

### Real-valued measurable cardinals

A cardinal $\kappa$ is real-valued measurable if there is a probability measure on the $\sigma$-algebra of all subsets of $\kappa$ which is zero on singletons and additive on disjoint families of ...

**2**

votes

**0**answers

64 views

### Which matroids have not unique unimodular representation?

Matroid $M$ is represented by real vectors, and we know that any base of $M$ generates the same lattice (this is called unimodular representation, I guess.) If we change the sign of any vector, we ...