# All Questions

**1**

vote

**2**answers

12 views

### Calculating Exterior Distance from Measurements of Inner Geometry

Gauss has proven in his famous Theorema Egregium, that it is possible, to calculate the gaussian curvature from measuring angles and distances on the surface, irrespective of how the surface is ...

**0**

votes

**0**answers

11 views

### Integrals involving trigonometric functions and polynomes

Let $P(x)$ be a real polynome. Specify all such $P(x)$ that one of the next integrals converge:
$$
\int_0^{\infty} sin(P(x))dx, \int_0^{\infty} cos(P(x))dx ?
$$
Among special cases are such ...

**0**

votes

**0**answers

15 views

### On the Saito Kurokawa representation

I know Saito-Kurokawa(SK) representation is the famous non-tempered representation of $SO(5)$. But since the tempered or non-tempered terms are concerned with local phenomenon, I am wondering that ...

**0**

votes

**0**answers

29 views

### A number array related to colored necklaces and the primes

I stumbled upon entry OEIS-A208535 on the enumeration of certain kinds of colored necklaces and noticed that the integers for the odd prime rows of the table there seem to be given by the Moreau ...

**0**

votes

**0**answers

20 views

### Reference request: Invariant sets of dynamical systems

(I should preface this with the disclaimer that this is a slightly elaborated version of a question that I posted onto math se recently to which I received no responses, and have since deleted the ...

**-1**

votes

**1**answer

21 views

### differential Proper Maps

If $K$ is a subset of $M$ we write $M_{K}(M,M)$ for the set of diffferential maps of $M$ into $M$ with support in $K$.If $K$ is compact,then $M_{K}(M,M)$ consists of maps for which is proper. that is ...

**0**

votes

**0**answers

12 views

### Questions about some special tensor transformation

Suppose tensor $U_{i\alpha\beta}$ with dimension $M*N*N$ satisfy following condition:
$$U_{i\beta\alpha}=W^1_{\alpha\alpha'}W^2_{\beta\beta'}U_{i\alpha'\beta'}$$
where $W^1$ and $W^2$ are $N*N$ ...

**-4**

votes

**0**answers

41 views

### Lemma on Polish Spaces [on hold]

I asked the following question on StackExchange earlier, but received no replies yet.
Let $(X_1,\Sigma_1,\mu_1)$ and $(X_2,\Sigma_2,\mu_2)$ be probability spaces. Suppose the following conditions ...

**1**

vote

**0**answers

16 views

### Anti-Invariant Polynomials of the Dihedral group

I'm interested in the one-dimensional irreducible representations of $D_{2n}$ acting on $\mathbb{R}[x,y]$. I have found that the trivial representations for an algebra freely generated by $x^2+y^2$ ...

**0**

votes

**0**answers

41 views

### How to prove $\lim _{ \delta\rightarrow {0}^{+}}\int_{a}^{b} F_{\delta}(x)dx=0 ? $ [on hold]

This question comes from http://math.stackexchange.com/questions/982231/a-function-fx-that-riemann-integrable-on-a-b
Define a function $f(x)$ that Riemann integrable on $[a,b]$.
Let
...

**0**

votes

**0**answers

30 views

### Numerical Evaluation of a Double-Integral

After investigating performance of a wireless communication system, I got the following form:
$\int\limits_0^\infty {\int\limits_0^t {{y^{{\alpha _1} - 1}}{e^{ - \frac{y}{{{\beta _1}}}}}\gamma \left( ...

**1**

vote

**0**answers

30 views

### Invariant Theory over finite adeles

Classical invariant theory, among the other things, classifies polynomial functions over a vector space $V$ endowed with a quadratic form $Q$ which are invariant under the action of $SO(V,Q)$.
I am ...

**-2**

votes

**0**answers

28 views

### estimate angle between two lines y = 1000x and y = 999x [on hold]

How to estimate the angle between line y = 1000 x and y = 999 x?
I use the calculator and get 10^(-6) but how to approximate it by hand. Does it relate to Taylor Expansion?

**15**

votes

**2**answers

415 views

### Why is it so hard to compute $\pi_n(S^n)$?

Of course it isn't really that hard - nowhere near as hard as $\pi_k(S^n)$ for $k>n$, for instance. The hardness that I'm referring to is based on the observation that apparently nobody knows how ...

**2**

votes

**0**answers

27 views

### The 4-th generator of $K_1$ group for 3-dimensional NC tori algebra

An $n$-dimensional NC torus algebra $A_\theta^{(n)}$ is defined for any antisymmetric $n\times n$ matrix $\theta$ of real numbers as the universal $C^*$-algebra, generated by unitaries ...

**0**

votes

**0**answers

38 views

### The behavior of series involving special subsets of the prime numbers

It is well known that the series $\sum_{p\in \mathbb{P}} \frac{1}{p}$ diverges where $\mathbb{P}$ denotes the set of primes. Brun proved that $\sum_{p\in \mathbb{P_2}} \frac{1}{p}$ converges where $ ...

**6**

votes

**0**answers

93 views

### A curious Gauss-Sum type identity

Let $q=e^{2\pi i/m}$, $a\in\mathbb{R}$ and $1\leq j\leq m-1$. I would like to prove that:
$$(a-1)\sum_{n=0}^{m-1} q^n\frac{\prod_{k=0}^{j-2} (q^{n+k+1}-a)}{\prod_{k=0}^{j} (aq^{n+k}-1)}=0.$$
For ...

**-8**

votes

**0**answers

79 views

### Is there a site where I should post questions about mathematics for which I seek a solution? [on hold]

Is there a site where I should post questions about mathematics for which I seek a solution, without risk that it will be closed for not being "research level"?

**0**

votes

**0**answers

13 views

### Is there effective algorithm for finding “minimal discovery time” for large graphs?

Consider a large, probably sparse graph with Markovian random walkers on it. Define discovery time as time to first
reach a vertex by random walk
from uniform start. Are there effective ways to find ...

**0**

votes

**0**answers

20 views

### Isotropic correlation function for a vector valued random field

I'm having trouble with some of the implications of the following theorem.
Let $\mathbf{T} (\mathbf{x})$ be a mean-square continuous vector valued random field on $\mathbb{R}^3$ satisfying conditions ...

**4**

votes

**0**answers

58 views

### What is known about the chromatic number for minimum-distance graphs in higher dimensions?

For a set of points in $\mathbb{R}^d$ with minimum distance $a$, the minimum-distance graph connect two points iff they are at distance $a$. We can also view it as the tangency graph for a set of ...

**-5**

votes

**0**answers

71 views

### Which univariate function satisfies $e^{g(x)} + e^{-g(x)} = \alpha x$ for $x>0$ and some constant $\alpha>0$? [on hold]

Which univariate function $x \mapsto g(x)$ satisfies $$e^{g(x)} + e^{-g(x)} = \alpha x$$ for $x>0$ and some constant $\alpha>0$?
How can it be computed? What does it look like? How can it be ...

**-2**

votes

**0**answers

61 views

### toledo's lecture on cartwirght-steger surface [on hold]

I am interested in Toledo's lecture given in IAS workshop. I want to find some related reference about his lecture. While actually i am not able to find much. Is someone also interested in this and ...

**0**

votes

**0**answers

68 views

### A probability application question

Suppose there are two possible states $H$ and $L$, with prior probability $p$ and
$1-p$ respectively. There are infinite rounds with a discount factor $ d$. In
round 1, you could choose a value ...

**1**

vote

**0**answers

23 views

### About the $C^{1,1} $regularity of the boundary of a set

I am studying a paper that uses the following property :
Consider $U$ and $V$ open, bounded and convex domains in $R^n$ with $U \supset \overline{V}$ and suppose that $min_{y \in V} |x - y| = \lambda ...

**2**

votes

**1**answer

102 views

### Quantitative stability: Hausdorff distance between subdifferentials

Suppose I have two convex functions $f$ and $g$ mapping $\mathbb{R}^{n}\to\mathbb{R}$ (so they are 'more' than proper). Suppose $\|f-g\|_{\infty}<\epsilon$, the sup-norm. In particular, the ...

**0**

votes

**1**answer

97 views

### Which $\frak{sl}_2$-Representations Arise From Hermitian Metrics

Recal that $\frak{sl}_2$ is the Lie algebra with basis elements $e,f,h$, and bracket
$$
[e,f] = h, ~~~ [h,e] = 2e, ~~~ [h,f] = -2f.
$$
For $M$ a $2n$-complex manifold, the Lefschetz identities tell us ...

**3**

votes

**0**answers

112 views

### Monte Carlo variant of Hilbert's Tenth Problem

Let $k \in \mathbb{N}$. Given an algorithm $\mathcal{A}$ which takes
as argument a polynomial $P \in \mathbb{Z}[x_1,\dots,x_k]$ and either
returns true or false, we say that $\mathcal{A}$ works for ...

**0**

votes

**0**answers

63 views

### Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1].
Germs of analytic functions can be distinguished by derivatives at a point.
So in both cases we see ...

**-2**

votes

**0**answers

40 views

### identity of equation [on hold]

We have the equation ($\partial_{\mu}\partial_{\nu}$-$\eta_{\mu\nu}\Box$)$\phi=0$, where $\phi$ is a scalar field, $\Box=\partial_{\mu}\partial^{\mu}$ is a standart Dalamber operator, $\eta_{\mu\nu}$ ...

**-3**

votes

**0**answers

197 views

### College - Ecuation to solve in 3 variables (p,q,r) in [1,2] [on hold]

This is the image containing the ecuation

**1**

vote

**1**answer

37 views

### orthonormal basis or Parseval frame for Sobolev spaces

Consider the uni-variate Sobolev space of order $m$:
$$ \mathcal{W}_2^m=\{ f:[0,1] \rightarrow \mathbb{R}|f,f^{(1)},\dots ,f^{(m-1)}\, \text{are absolutely continuous and}\, f^{(m)}\in L^2\}.$$
It is ...

**0**

votes

**0**answers

64 views

### Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17)
\begin{eqnarray*}
...

**6**

votes

**0**answers

108 views

### scheme of commuting matrices

Let $k$ be any field. Let $r$ and $n$ be two positive integers.
Consider the functor $F$ from the category of $k$-schemes to the category of sets which sends a $k$-scheme $T$ to the set of matrices ...

**1**

vote

**0**answers

23 views

### Properties of solutions of Parabolic type equations

Assume $u\in C([0,1],L^{2})$ satisfies the following Schrodinger equation
$$
\partial_t u=i(\Delta u+Vu), \text{in} ~\mathbb{R}^n\times[0,1],\\
u(0)=u_{0}.
$$
with $V=V_1(x)+V_2(x,t)$, where $V_{1}$ ...

**0**

votes

**2**answers

65 views

### Motivation for weak solution of a PDE (initial condition)

The following question came to me when reading the famous paper of ALT and LUCKHAUS: "Quasilinear elliptic-parabolic differential equations"
When looking at a (nonlinear degenerate) PDE like
$$ ...

**1**

vote

**0**answers

126 views

### Mellin transform on $\mathbb{Z}[\omega]$ [on hold]

I'm eager to ensure some facts which are elementary for many experts here.
Let $\omega=\frac{-1+i\sqrt{3}}{2}$ be a complex cube root of unity. The Eisenstein integers $\mathbb{Z}[\omega]$ (a unique ...

**4**

votes

**2**answers

413 views

### Who first defined quantum integers?

Who first gave the defintion of quantum integers
$$ [m]_q = \frac{1 - q^m}{1 - q} $$ and addition as
$$ [m]_q \oplus_q [n]_q = [m]_q + q^m [n]_q $$ and multiplication as
$$ [m]_q \otimes_q [n]_q = ...

**0**

votes

**1**answer

86 views

### In a finite field with characteristic 2, how can I check if a given polynomial is divisible by (x^2+1)? [on hold]

Given the 0 or 1 coefficients of a very high degree polynomial $P(x)$ over GF(2), where x is an element of $GF(1024)$, is there a simple algorithmic way to find out if this polynomial is divisible ...

**6**

votes

**1**answer

112 views

### cohomology of classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$.
Let $r: \Sigma_k\to GL(k)$ be the regular representation by permuting the order of the standard basis of $\mathbb{R}^n$.
Let $\rho: ...

**1**

vote

**1**answer

168 views

### A proof from Lang's undergraduate analysis

This is from P.580 of Serge Lang's undergraduate analysis (2nd edition).
$\textbf {Proposition 2.3.}$ Let $A$ be an admissible set in $\mathbb R^n$ and assume that its closure $\bar{A}$ is contained ...

**0**

votes

**0**answers

30 views

### Projection formula for smooth representations of locally profinite groups

Let $G$ be a locally profinite (i.e., locally compact, Hausdorff, and totally disconnected) topological group, $H \le G$ a closed subgroup, $(\pi, V)$ a smooth representation of $G$, and $(\sigma, W)$ ...

**1**

vote

**0**answers

48 views

### Fundamental invariants for root subsystems

Let $\Phi$ be an irreducible root system of rank $\ell$. The fundamental invariants of $\Phi$ is a set of $\ell$ integers $d_1, \cdots, d_\ell$ canonically attached to $\Phi$.
Now suppose $\Psi$ is ...

**0**

votes

**0**answers

18 views

### How can the Cayley-table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$ and $e_1=i$ and $e_2=j$ and so on. I'm looking for an ...

**5**

votes

**1**answer

119 views

### What version of the wreath product embedding theorem is actually stated in the famous paper of Kaloujnine and Krasner?

This question is inspired by Terry Tao's blog post and the comments there. I have always cited M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de ...

**3**

votes

**1**answer

68 views

### Lower bound of first moment of $L$-function on $\mathrm{GL}(3)$

Let $\pi$ be an automorphic form on $\mathrm{GL}(3,\mathbb{A}_{\mathbb{Q}})$.
Do we know any case that
\[\int_0^{T} \left|L(\frac{1}{2} + it, \pi)\right| dt \gg T\]
holds unconditionally?
I know the ...

**3**

votes

**0**answers

63 views

### Weinstein's local classification of Lagrangian foliations

In the paper "Symplectic manifolds and their Lagrangian submanifolds", Weinstein showed that locally all the Lagrangian foliations are symplectomorhic to the fiber foliation of a cotangent bundle.
I ...

**0**

votes

**1**answer

155 views

### Probability of the maximum of a throw of an infinite number of $n$-sided dice being $k$ [on hold]

Let $X$ be the random variable obtained as the maximum of a throw of $m$ dice (each of which is $n$-sided). In other words, $X = \max\{l_1,\cdots, l_m\}$ where $l_i$ can take any value between $1$ and ...

**5**

votes

**0**answers

87 views

### On the ratio of Gilbreath sequences

Definitions: let $n \in \mathbb{N}_{>0} \cup \{ \infty \}$ and let $E_n$ be the set of sequences $(d_i)_{i=1}^n$ such that $d_1=1$, $d_i$ is an even integer (for $i > 1$) and $0<d_i \le i$. ...

**3**

votes

**2**answers

134 views

### Map between stacks and automorphism groups

I know that the Torelli morphism $t_g:\mathcal{M}_g\rightarrow \mathcal{A}_g$ between the stacks of smooth curves of genus $g$ and principally polarized abelian varieties of dimension $g$ is of order ...