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

15 30 50 per page