# All Questions

**1**

vote

**0**answers

71 views

### Bound on $g(n+1)/g(n)$ for Landau's function

I have read that for the Landau function $g(n)$ (http://mathworld.wolfram.com/LandausFunction.html), one knows that
$\lim_{n \rightarrow \infty} g(n+1)/g(n) = 1$
(stated, but not proved in "On ...

**-2**

votes

**0**answers

24 views

### Determining the inside and outside of planar graphs by means of ray shooting [on hold]

Consider an embedding of a circle in the plane $\mathbb{R}^2$ splitting the plane into an outside and inside region (Jordan-Brouwer). Consider next a point $p$ in the plane.
A standard procedure for ...

**-1**

votes

**0**answers

60 views

### Finite dimensional invariant subspaces of $C^\infty(S^2)$ under rotations [on hold]

Characterize all smooth functions on $S^2$ for which the space generated by their rotations are finite dimensional

**0**

votes

**0**answers

96 views

### Transversal intersection in the moving lemma

Let $X$ be a smooth projective variety over an algebraically closed field and let $A,B$ be closed irreducible subvarieties of $X$. Chow's moving lemma which is proved in the book by Eisenbud and ...

**2**

votes

**1**answer

57 views

### Convergence of weighted double sum of random variables

I'm looking for convergence results of particular weighted sum:
$$S_n=\frac{1}{n}\sum_{i=1}^{n}\sum_{j=1}^{n}a_{i,j}X_i X_j.$$
when random variables $X_i$ ar i.i.d. Are there any investigation ...

**0**

votes

**1**answer

124 views

### Non Hamiltonian vector field

Let $\Phi: G \times M \rightarrow M$ be a group action on a symplectic manifold $M$ and $G$ be a Lie group.
Furthermore, $x$ is a solution of the Hamilton equation $\dot{x}(t) = X_H(x(t))$ and for a ...

**0**

votes

**1**answer

128 views

### A conjecture on the prime counting function

I was thinking about the Second Hardy-Littlewood conjecture for quite sometime (some of my posts are related to this). In one of my earlier post I conjectured that the inequality ($\pi(x)$ denotes the ...

**2**

votes

**0**answers

83 views

### The Tensor product of algebra group

Let G is a locally compact group. Is the following true?
The tensor product of $L^1(G)$ with $L^1(G)$ is $L^1(G \times G)$.

**5**

votes

**1**answer

181 views

### Is it possible to evaluate Connect 4 positions with Combinatorial Game Theory?

The surreal numbers in Combinatorial Game Theory only work for certain classes of games (e.g. they must satisfy normal play convention). This rules out even reasonable games with fairly ...

**1**

vote

**0**answers

49 views

### Can we prove the uniqueness of the local Artin map by using mostly global class field theory?

Let $l/k$ be a finite abelian extension of $p$-adic fields. There is a well defined local Artin map $k^{\ast} \rightarrow Gal(l/k)$ with kernel $N_{l/k}(l^{\ast})$. Let's suppose that we have only ...

**6**

votes

**2**answers

276 views

### Can phase significantly concentrate a function's spectrum?

Let $F$ denote the Fourier transform over some group. What is known about the following quantity?
$$\gamma:=\inf_{x\neq 0}\frac{\|Fx\|_1}{\|F|x|\|_1}$$
Here, $|x|$ denotes the pointwise absolute ...

**5**

votes

**2**answers

210 views

### Four Dimensional Rook Domination

Let $\gamma(G)$ denote the domination number of a graph, and $G\,\square\,H$ denote the cartesian product of two graphs. Then $K_8\,\square\, K_8$ is the rook graph, whose vertices are the squares of ...

**12**

votes

**4**answers

338 views

### Maximum of the Vandermonde determinant / minimum of the logarithmic energy

The problem is to find the asymptotics (as $n\to\infty$) of the maximum (say $M_n$) of the Vandermonde determinant
$$V_n:=\prod_{0\le i<j\le n-1}(a_j-a_i)
$$
over all $a_0,\dots,a_{n-1}$ such ...

**0**

votes

**0**answers

30 views

### Explicit computation of a limit of a cosimplicial object

Let $\Delta$ be the simplex category. Let $T_{n}$ be the standard topological $n$ simplex, i.e. it is the set of points of $\mathbb{R}^{n}$ such that $0\leq t_{1}\leq \dots \leq t_{n}\leq 1$. Its ...

**1**

vote

**1**answer

112 views

### The canonical bundle of an infinitesimal deformation

Let $X_0$ be a smooth projective variety over the complex numbers and let $X$ be an infinitesimal deformation of $X_0$ over the ring of dual numbers.
If the canonical bundle of $X_0$ is ample (resp. ...

**0**

votes

**1**answer

41 views

### criterion for a differential of the third kind to be a logarithmic derivative of a function

Let $X$ be a compact Riemann surface of genus $g\geq 1$. If $f$ is a meromorphic function on $X$ then, the meromorphic differential $\omega=\frac{df}{f}$ is a differential
of the third kind with ...

**2**

votes

**1**answer

117 views

### isogeny clases of CM abelian varieties

Let $A$ be an abelian variety defined over $\overline{\mathbb{Q}}$ and with complex multiplication by a CM field $K$. Looking at the action of $K$ on $H^0(A, \Omega^1_A)$ one gets a CM type of $K$, ...

**2**

votes

**0**answers

64 views

### Is there an E8 symmetry in the zero-field Ising model?

In the paper On classification of modular tensor categories by Rowell, Stong and Wang, they list the Ising modular category $I$ as having 3 objects $1$, $\sigma$ and $\psi$, with fusion rules ...

**5**

votes

**2**answers

150 views

### PSL(2,p) as quotient of triangle groups

As a by-product of some Magma computations, I've observed that, for each prime $p$
such that ${\rm PSL}(2,\mathbb{F}_p)$ can be a quotient of the $(3,3,4)$-triangle group
(i.e. $p \equiv \pm 1 ...

**6**

votes

**0**answers

120 views

### What is the most transparent, rigorous definition of the Univalence Axiom?

I've been studying homotopy type theory and trying to grasp the Univalence Axiom. I have yet to find a concise, accessible, rigorous definition of Univalence. I have several excellent survey papers ...

**0**

votes

**1**answer

34 views

### Solving the difference equation $h(\vec x)\cdot A(\vec x)=\sum_{i=1}^m A(\vec x - \vec e_i)$

I am trying to solve the following difference equation:
$$h(x_1,x_2,x_3,x_4) \cdot A(x_1,x_2,x_3,x_4)=A(x_1-1,x_2,x_3,x_4)+A(x_1,x_2-1,x_3,x_4)+A(x_1,x_2,x_3-1,x_4)+A(x_1,x_2,x_3,x_4-1)$$
with ...

**9**

votes

**0**answers

384 views

### One-to-one correspondance between zeta zeros and the prime powers? [on hold]

This question is highly speculative, but I would really appreciate some insight into the problem. Previously asked on MSE without answer here.
I have noticed an interesting property related to the ...

**0**

votes

**0**answers

93 views

### Subgroup of Projective general linear group on complete discrete valuation ring

Let $R$ be a complete dvr and $k$ its residue field of positive characteristic.
Let $H$ be a finite subgroup of $PGL_2(k)$ such that the order of $H$ is prime with $char(k)$.
Is there some ...

**1**

vote

**0**answers

26 views

### Decomposition which is locally connected

It is possible construct a connected compact metric space $X$ and a continuous decomposition $\mathcal{G}$ of $X$ that satisfies:
1)$X/\mathcal{G}$ is locally connected.
2)If $M$ is a compact ...

**0**

votes

**1**answer

103 views

### Picard group of a quotient of a group by its maximal parabolic subgroup

Let $G$ be a connected, linear, semi-simple algebraic group over an algebraically closed field of characteristic zero and $P$ be the maximal parabolic subgroup. We know that the quotient $Z=G/P$ is a ...

**0**

votes

**0**answers

41 views

### Automorphism group of the gamma factor of a certain type of L-function [on hold]

Let $F$ be an element of the Selberg class with polynomial Euler product, $\gamma_F$ its gamma factor appearing in the functional equation of $F$, which is defined up to a multiplicative factor. Is ...

**0**

votes

**0**answers

46 views

### Obstruction to the splitness of an exact sequence of holomorphic vector bundles [migrated]

This question was asked here, but I think there will not be an answer, so let me recopy the question on Mathoverflow.
In the book of S. Kobayashi, hyperbolic complex spaces, there is the lemma ...

**3**

votes

**0**answers

47 views

### Number of unitary representations of a Kazhdan group

It was proved by de la Harpe, Robertson, and Valette that for a discrete group $\Gamma$ with Kazhdan's property (T), there is a constant $c$ so that the number of irreducible unitary representations ...

**9**

votes

**0**answers

104 views

### When is alternating sum $\sum_{i}f(a_i)-\sum_{i<j}f(a_i+a_j)+\ldots+(-1)^{n-1}f(a_1+\ldots+a_n)$ always positive?

Let $a_1,a_2,\ldots,a_n\geq 1$, and let $f:\mathbb{R}^+\rightarrow\mathbb{R}^+$. Consider the sum
...

**2**

votes

**1**answer

52 views

### Is the class of acyclic complexes deconstructible?

Let $\mathcal{C}$ be a category, then a class $\mathcal{A}\subseteq \mathcal{C}$ is deconstructible if there is a set $\mathcal{S}\subseteq\mathcal{C}$ such that $\mathcal{A}$ consists of ...

**15**

votes

**5**answers

1k views

### How to explain the concentration-of-measure phenomenon intuitively?

One way to phrase the
"concentration-of-measure"
phenomenon is that,
for a Euclidean sphere $S^d$ in $d$ dimensions, for large $d$,
"most of the mass is close to the equator, for any equator."1
...

**11**

votes

**1**answer

306 views

### Probability that random nonnegative integer matrix is singular

Q. What is the probability that an $n \times n$ matrix, whose elements
are independent uniformly random integers in $\{0,1,\ldots,k\}$, is singular?
For example, for $n=3$ and $k=2$, the first ...

**27**

votes

**2**answers

2k views

### A curious determinantal inequality

In my study, I come across the following curious inequality, which I do not know a proof yet (so I am asking it here).
Let $A, B$ be $n\times n$ (Hermitian) positive definite matrices. It is very ...

**7**

votes

**2**answers

255 views

### When is a sequence the sum of two Beatty sequences?

In other words, given a sequence $(s_n)$, how can we tell if there exist irrationals $u>1$ and $v>1$ such that
$$s_n = \lfloor un\rfloor + \lfloor vn\rfloor$$
for every positive integer $n$?
...

**3**

votes

**2**answers

160 views

### Discretizing probability measures

Consider a probability distribution on $\mathbb{R}^k$, say $\mu$. Then there is a sequence of probability measures $\mu_n$ that converge weakly to $\mu$ so that each of them is discrete (takes ...

**-3**

votes

**0**answers

75 views

### Find the joint density function? [on hold]

Assume that $X_t$ is the OU process , i.e,
$dX_t=\kappa(\theta-X_t)dt +\sigma dW_t$ where $0\leq t\leq T$ and $X_0=x_0>0$.
Let $q(x)=\frac{\kappa}{\sigma}(\theta-x)x +\frac{\sigma}{2}$.
I want ...

**-4**

votes

**0**answers

44 views

### Number of homomorphisms between finitely generated abelian group and a finite cyclic group [closed]

This is the situation:
Suppose we have a finitely generated group $G= \mathbb{Z}^r \times E$ with $E$ it's tortion subgroup and $m=$ exponent of $E$ i.e. the least natural number such that $x^m=1$ ...

**1**

vote

**1**answer

61 views

### Gradient of distance function at cut points on Alexandrov spaces

Let $M$ be an $n$-dim Alexandrov space with curvature bounded below $sec \geqslant k$, possibly non-compact. We assume that $M$ has no boundary for simplicity. For a compact subset $K \subset M$, the ...

**3**

votes

**1**answer

144 views

### higher dimensional analogue of EGZ theorem

The EGZ theorem states that any multiset of $2n-1$ integers has a subset of size $n$ the sum of whose elements is a multiple of $n$.
Kemnitz-Reiher theorem is a 2-dimensional analogue of EGZ. Here is ...

**2**

votes

**2**answers

148 views

### A conservative, non faithful functor between triangulated categories

Suppose that we have:
1) triangulated categories $C,D$, each equipped with a $t$-structure.
2) triangulated functor $F: C \to D$ which is $t$-exact.
3) $F$ reflects isomorphisms, i.e. is ...

**0**

votes

**0**answers

206 views

### Whitehead group [closed]

Whitehead group (WG) is known for some groups (e.g. free abelian group, cyclic group, Braid group etc).
For example:
The Whitehead group of the trivial group is trivial.
The Whitehead group of a ...

**1**

vote

**2**answers

106 views

### Are spherical harmonics uniformly bounded?

The spherical harmonics are given by
$$Y^m_l(\phi,\theta):=N^m_l e^{im\theta}P^m_l(\cos \phi) $$
where $P^m_l$ are the associated Legendre Polynomials and $N^m_l$ is the normalisation.
From ...

**4**

votes

**1**answer

54 views

### Can every hyperelliptic genus 3 surface be minimally immersed in flat $T^3$

Every minimally immersed genus 3 surface in flat $T^3$ must be hyperelliptic, as the Gauss map gives the degree 2 covering map. How about the converse of this problem?
The only thing I can find is ...

**0**

votes

**1**answer

268 views

### On a claim of Zagier on extending a map to cocycle

Zagier, in his paper 'Some Surprising Consequences of the Cohomology of SL$_2(\bf{ Z})$' (link, p. 6), studies the action of $\Gamma=PSL_2(\bf Z)$ on a vector space $V$, denoting the action by $v\ |\ ...

**2**

votes

**0**answers

94 views

### Gauge freedom in the tetrad

I'm reading the following paper about Petrov type D space times called "Type D vacuum metrics":
http://scitation.aip.org/content/aip/journal/jmp/10/7/10.1063/1.1664958
by Kinnersley. I have a ...

**45**

votes

**0**answers

2k views

### Complex structure on $S^6$ gets published in Journ. Math. Phys

A paper by Gabor Etesi was published that purports to solve a major outstanding problem:
Complex structure on the six dimensional sphere from a spontaneous symmetry breaking
Journ. Math. Phys. 56, ...

**4**

votes

**0**answers

86 views

### Generalization of Sprague-Grundy Theorem

In my research on Combinatorial Game Theory, I used a certain theorem that is essentially a generalization of the Sprague-Grundy theorem. Because the result hinges too much on the work of others to be ...

**1**

vote

**1**answer

132 views

### Unitary irreps of the Poincare group in dimension <4

It is well-known that long ago, Wigner classified the unitary irreducible representations of the Poincare group in dimension 4.
I am looking for a convenient reference describing all unitary ...

**1**

vote

**1**answer

89 views

### Diffeomorphism variation of the Christoffel symbol

Under an infinitesimal diffeomorphism the Riemann metric changes by the Lie derivative
$$
\delta g_{\mu\nu} = ({\mathcal L}_\xi G)_{\mu\nu}=\nabla_\mu \xi_\nu+\nabla_\nu \xi_\mu
$$
and under a change ...

**7**

votes

**7**answers

549 views

### Semicircle law universality elsewhere

Wigner's semicircle distribution is:
$$f(x)=\frac{1}{2 \pi}\sqrt{4-x^2}, \ \ -2\leq x\leq 2.$$
Under reasonable conditions, the rescaled eigenvalue density of random symmetric matrices $M_n$ follows ...