# All Questions

**0**

votes

**0**answers

20 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

129 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

84 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

**1**answer

128 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

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

**7**

votes

**0**answers

144 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$. ...

**4**

votes

**2**answers

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

**13**

votes

**4**answers

379 views

### The limit of edge-midpoint convex polyhedra

Starting with a convex polyhedron $P_1 \subset \mathbb{R}^3$,
replace that with $P_2$, the convex hull of the midpoints of the edges of $P_1$.
Continuing this process, we obtain a ...

**2**

votes

**1**answer

155 views

### A question on Gandy-Jensen system and the rudimentary functions

Let $\mathrm{R}_0,\cdots,\mathrm{R}_8$ be the following functions:
$\mathrm{R}_0(x,y)=\{x,y\}$
$\mathrm{R}_1(x,y)=x-y$
$\mathrm{R}_2(x)=\bigcup x$
$\mathrm{R}_3(x,y)=x\times y$
...

**0**

votes

**0**answers

13 views

### Dirichlet distribution: Normalization of alpha values [migrated]

I'm a programmer and currently trying to apply the Latent Dirichlet Allocation algorithm by Blei et al. on a text mining problem. I am using a library called gensim for this, which takes, among ...

**1**

vote

**1**answer

144 views

### Is every polynomial ring over any field regular?

Is every polynomial ring over any field regular?
For a field that is algebraically closed, it is true as any maximal ideal of $k[x_1,...,x_n]$corresponds to a point $(t_1,...,t_n)$ in $\mathbb{A}^n$ ...

**2**

votes

**0**answers

68 views

### quotient a scheme by a stratified vector bundle

Let $k$ be a field.
Let $X$ be a $k$-scheme of finite type, normal and integral. We consider $f,g:R\rightarrow X$ an equivalence relation, surjective and such that it is a stratified vector bundle, ...

**1**

vote

**1**answer

87 views

### hypergeometric at nearest singularity

Reference request. A prototype case:
In
$$
{}_2F_1\left(\frac{1}{12},\frac{5}{12};\frac{1}{2};x\right) =
A\log\left(\frac{1}{1-x}\right) + B + o(1),
\qquad x \to 1^-
$$
what can we say about the ...

**2**

votes

**0**answers

237 views

### A metric on $S^{2}$ [on hold]

Let $p:S^{3}\to S^{2}$ be the Hopf fibration $p(z,w)= (\parallel z\parallel^{2}-\parallel w\parallel^{2},\;2z\bar{w})$.
Define a metric on $S^{2}$ as follows:
$$d(x,y)=Hd(p^{-1}(x), ...

**2**

votes

**0**answers

60 views

### A 1-D random variable from a random distribution

I have a random variable $X$ that is drawn from the pdf
$$
f(x; \mu, \sigma, \sigma_{\mu}, \sigma_{\sigma}) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} \frac{1}{|\hat{\sigma}|\sqrt{2\pi }} ...

**5**

votes

**1**answer

127 views

### O-minimal Theories with Non-Dense Order Type

I asked this question on MSE, but I haven't received any comments or responses (also, it has a very low view count), so I thought I would also ask it here.
In this paper, Knight, Pillay, and ...

**0**

votes

**0**answers

43 views

### Existence and Uniqueness of Volterra integral equations of the first kind

$$
\int_0^t k(s,t)f(s)ds=g(t)
$$
To prove the existence and uniqueness of solutions of Volterra integral equation(VIE) of the first kind, we usually differentiate it and convert to the VIE of the ...

**2**

votes

**0**answers

124 views

### A possible generalization of the Borsuk Ulam theorem via action of symmetric groups

The symmetric group $S_{m}$ is equiped with the counting Har measure $\mu$ and the obvious sgn character. Assume that $S_{m}$ acts on $S^{n}$, $n\geq m-1$ and $f:S^{n}\to \mathbb{R}^{n}$ ...

**3**

votes

**1**answer

118 views

### The complex heat kernel on a Riemann manifold

There is a vast literature available for the heat kernel. Nevertheless, I haven't been able to find almost anything useful about the kernel of the equation $\frac{1}{\mathbb{i}} \frac{\partial ...

**1**

vote

**0**answers

116 views

### is there an analogy between fractals and automorphic forms? [on hold]

Disclaimer: this question is rather vague and thus might not be suitable for this site. Still, as I already asked a similar question on MSE and got no feedback, I finally decided to take the plunge ...

**1**

vote

**0**answers

56 views

### Homology and Exterior Square

Let $G$ be a finite group and $G \wedge G$ denote the exterior square of $G$. It is well known that the second integral homology $H_2(G,\mathbb{Z})$ is the kernel of homomorphism $x \wedge y \mapsto ...

**-4**

votes

**1**answer

96 views

### A criterion of norm null sequences in Banach space [on hold]

I would like to know if for a weak* null sequence $\left( f_{n}\right) $ in a Banach space $X$,
the following characterisation is true and what about its proof:
$\left( f_{n}\right) $ is norm null ...

**-4**

votes

**0**answers

83 views

### an question about number theory [on hold]

Let $s_i=\frac{(q^n-1)...(q^n-q^{i-1})}{(q^{i-1})...(q^i-q^{i-1})}$, where $q$ is prime and $n$ is a positive integer.
Now can anyone tell me this, $\lim_{n\mapsto \infty}\frac{\sum_{1\leq i\leq ...

**7**

votes

**2**answers

269 views

### Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...

**7**

votes

**1**answer

223 views

### On $V$-decisive and weakly homogeneous forcings

Suppose that $\Bbb P$ is a forcing in $V$, we say that $\Bbb P$ is $V$-decisive if whenever $\varphi(x_1,\ldots,x_n)$ is a statement in the language of forcing, and $u_1,\ldots,u_n\in V$ then $1_{\Bbb ...

**1**

vote

**1**answer

87 views

### Connections between loops (algebraic structure) and graphs

I would like to know whether there are known constructions which provide a bijection between loops (isomorphism classes) and (possibly directed) graphs. Any reference to a useful paper in this ...

**1**

vote

**0**answers

82 views

### Clarifications on twisted forms

Suppose $F = F(\bar{k})$ is a finite algebraic group over a number field $k$. The absolute Galois group $\Gamma_k$ of $k$ acts on $F$ by group automorphisms via a homomorphism $\rho: \Gamma_k \to ...

**-2**

votes

**0**answers

114 views

### Where can I find the classification of groups of order 8p? [on hold]

I need to classify the groups of order $8p$ up to isomorphism. We know that one of these groups is $G=\langle a,b| a^p=b^8=1, b^{-1}ab=a^{-1}\rangle$. Can I find other groups of this classification ...

**6**

votes

**0**answers

179 views

### Canonical functions in set theory and their applications

Given regular cardinal $\kappa>\omega,$ we can define the canonical functions $f_\alpha: \kappa\to \kappa,$ for $\alpha<\kappa^+.$
Some of their properties are presented in Chapter 22 of the ...

**2**

votes

**0**answers

83 views

### Is the kissing number in $n$ dimensions always divisible by $n$? And what is the base of exponential growth of the kissing number?

And why are the kissing numbers for 1, 2, 3, 4 and 8 dimensions all highly composite numbers?

**1**

vote

**1**answer

125 views

### How to extend index theorem to infinite dimensional manifolds?

I was thinking about the following "obvious" construction the other day. Let
$$
\mathbb{S}^{\infty}_{2}=\bigcup_{i=1}^{\infty}\mathbb{S}^{2i}
$$
Then because we know that $\chi(\mathbb{S}^{2i})=2$ for ...

**8**

votes

**2**answers

332 views

+50

### Separating points in the plane II

Let A be a set of $2m$ points on the plane so that no open set of diameter $2$ has more than m of them. Define $A+A+...+A$ ($k$ times) to be the multiset of $k$-sums from $A$. That is, we consider all ...

**13**

votes

**2**answers

579 views

### Parity of $\lfloor 1/(x y) \rfloor$ not equally distributed

A curious puzzle for which I would appreciate an explanation.
For $x$ and $y$ both uniformly and independently distributed in $[0,1]$,
the value of $\lfloor 1/(x y) \rfloor$ has a bias toward odd ...

**3**

votes

**1**answer

163 views

### Do the algebras for a $\infty$-monad form a stable $\infty$-category?

I'm wondering if a monad $T$ on a stable $\infty$-category $\cal C$ has a stable $\infty$-category of algebras, provided $T$ preserves finite limits/colimits.
Is this true?
Edit: Is something ...

**1**

vote

**1**answer

136 views

### Is the notation ${}^t g$ for the transpose of a linear transformation intended to be suggestive?

The notation ${}^t g$ for the transpose of a linear transformation is, in my view, quite unusual: otherwise (at least in many areas of math), one almost never sees subscripts or superscripts appearing ...

**2**

votes

**1**answer

94 views

### Which nonnegative matrices have exact nonnegative matrix factors of smaller dimensionality?

The nonnegative matrix
$V = \left( \begin{array}{cc}
1 & 1 \\
1 & 1 \end{array} \right)$
has nonnegative matrix factors $W = \left( \begin{array}{c} 1 \\ 1 \end{array} \right)$ and $H = ...

**2**

votes

**0**answers

67 views

### Actions of amenable groups on graphs with uncountably many ends

Let $G$ be a finitely generated amenable group acting transitively on an amenable Schreier graph $S$. Is it possible for $S$ to have uncountably many ends? An amenable graph with uncountably many ends ...

**9**

votes

**1**answer

169 views

### Extended TFT with coefficients in spans in any $\infty$-topos

In the TFT classification article by Jacob Lurie (arXiv:0905.0465) the (∞,n)-category of correspondences (there: $Fam_n$) plays a key role, whose $k$-morphisms are $k$-fold spans of ...

**1**

vote

**0**answers

112 views

### Simply connected pencils

Is it true/false that for every complex projective variety $V$, there is a smooth simply-connected one parameter family $\pi:X\to \mathbb{P}^1$, one of whose smooth fibers is $V$?
(i.e. we want ...

**3**

votes

**4**answers

325 views

### Representations of the two dimensional non-abelian Lie algebra

I would like to know a complete description of the indecomposable representations of the two dimensional non-abelian Lie algebra over the complex numbers. The finite dimensional representations would ...

**3**

votes

**1**answer

206 views

### “Nice” functions on infinite-dimensional space of germs of continuous functions at a point

Consider set of all germs of continuous functions at some point.
Question: What are some functions ("any/nice/constructive/whatever") from this set to R (reals) ? (Except evalution at point and made ...

**0**

votes

**0**answers

34 views

### Classification of PDEs range of influence domain of dependence [on hold]

Text books on numerical methods usually give the classic example of classification of a generic 2nd order scalar PDE (Afxx+Bfxy+Cfyy+Dfx+Efy+Ff=G) depending on the value of the discriminant B^2-4AC. ...

**0**

votes

**0**answers

17 views

### Bender's decomposition with overlapping y variables [on hold]

From my textbook, I learned bender's decomposition for 2-stage problems and the y variables is non-overlapping. Indeed, I wish to look into this decomposition further since it is very likely a ...

**7**

votes

**0**answers

366 views

### Number Theory over $\mathbb{F}_q [t]$, why is it important/interesting?

This is something I was curious about, but not really sure why. I was hoping maybe someone could give me a good explanation. I understand that there are
similarities between $\mathbb{Z}$ and ...

**-5**

votes

**0**answers

66 views

### Stronger than Gerretsen [on hold]

For all triangle prove that:
$p\leq2r-R+\sqrt{9R^2-6Rr+3r^2}$,
where $p$ is a semiperimeter, $R$ is a radius of circumcircle and $r$ is a radius of incircle of the triangle.
I found a proof of this ...

**4**

votes

**1**answer

192 views

### Normal subgroup lattice of the group $U_{6n}$

I need to find the normal subgroup lattice of the group $U_{6n} = \langle a,b | a^{2n} = b^ 3= 1, a^{-1}ba = b^{-1}\rangle$. To the best of my knowledge this group was introduced at first by GORDON ...

**0**

votes

**0**answers

30 views

### evolution PDE in comlex domaim

i have got (an example for some other theorem) an existence theorem for such a type problem
$$u_t(t,z)=-u(t,z)+a(t)z^m\frac{\partial^N u(t,z)}{\partial z^N},\quad u(0,z)=\hat u(z)\in \mathcal ...

**-3**

votes

**0**answers

38 views

### Topological conjugacy [on hold]

Prove that any two linear systems with the same eigenvalues +/-ibeta, beta not equal to 0 are conjugate. What happens if the systems have eigenvalues +/- ibeta and +/- i*gamma with beta not equal to ...

**2**

votes

**1**answer

65 views

### Unbounded convex not containing a ray - example without using a basis

I prove here that an unbounded convex in a finite dimensional space contains a ray. At the same place, I give an example of an unbounded convex not containing a ray in the case of an infinite ...

**5**

votes

**1**answer

305 views

### Can an odd map be null homotopic?

Let $G$ be a compact Lie group with invariant measure $\mu$. An odd function is a continuous function, $\phi:G\to \mathbb{C}$, such that $\int_{G} \phi d\mu=0$. An odd map is a continuous map, $f:G\to ...