# All Questions

**1**

vote

**0**answers

18 views

### Irreducible polynomial $p_{n}(x)=\sum_{k=0}^{n}\dfrac{x^k}{k!}$ for all postive ineteger $n$

Let $n$ be a positive integer greater than $1$, and define the polynomial $$p_{n}(x)=\sum_{k=0}^{n}\dfrac{x^k}{k!}$$
Is $p_{n}(x)$ irreducible in $\mathbf{Q}[x]$?
I can show it when $n$ is a ...

**1**

vote

**0**answers

11 views

### Regular minimal model of $X_0(p^2)$

Consider the compactified modular curve $X_0(p^2)$ and the corresponding algebraic curve over $\mathbb{Q}$. My questions are the following:
Where do the cusps of $X_0(p^2)_{\mathbb{Q}}$ live? That ...

**1**

vote

**1**answer

22 views

### Basis for the Orlicz Space

Does the Orlicz space (https://en.wikipedia.org/wiki/Birnbaum-Orlicz_space) has unconditional Schauder basis? Can we find such a orthonormal basis like the Hermitian polynomials in $L^2$?

**0**

votes

**0**answers

5 views

### Elliptic Curve Problem (finding a factor of n by using elliptic curve)

Let n be a a composite integer such that q is a factor of it. Consider the elliptic curve E defined by $y^2=x^3+3x+36$. The point $P=(0,6)$ is on the curve. Suppose it is given that the order of P mod ...

**6**

votes

**0**answers

124 views

### 1-st cohomology of multiplicative group in a vector space

Let $\mathbb k$ be a field of characteristic $p$ and let $\mathbb k_n$ be a 1-dimensional representation of $\mathbb k^\times$, where the action is given by $t\circ v= t^n v$. Is it known what are the ...

**0**

votes

**1**answer

18 views

### A question about intuition of fluid limit in queuing system

This is a question about intuition in understanding the fluid limit queuing system.
Assume we have a sequence of queuing systems $\{S^N\}_{N=1}^{\infty}$ with N servers and each server has unit ...

**10**

votes

**2**answers

488 views

### Witness to a failure of Fubini/Tonelli

Is it provable in ZFC that there is a subset of the plane all of whose vertical cross sections have Lebesgue measure zero and all of whose horizontal cross sections are complements of sets of Lebesgue ...

**1**

vote

**0**answers

72 views

### exactness of induction functor

I am studying induction functor in Jantzen's book "Representations of algebraic groups". In particular, let $G$ be a reductive group scheme and $T$ a maximal torus subgroup of $G$. Let $B$ be a Borel ...

**-2**

votes

**0**answers

62 views

### Finding Bijection between Permutation Set [on hold]

$\beta$ is a subset of symmetric group $S_n$ which acts on $n$ elements of set $X$. Permutations of
$\beta$ acts on $k $ elements of $X$ only.
Set $L$ is a set of $n$ labels which labels ...

**-1**

votes

**0**answers

124 views

### the origin of the differential of Spectral Sequence? [on hold]

I'm wondering why the differential in homological Spectral Sequences $(E^*_{p,q},d^r)$ is defined as;
$d^r_{p,q}: E^{r}_{p,q} \rightarrow E^{r}_{p-r,q+r-1}$ .
From Weibel's homological algebra(p122), ...

**2**

votes

**2**answers

89 views

### Realization of irreducible $\mathfrak{S}_d$-modules and the representation theory of Lie algebra

Let $n$ be a positive integer. It is well-known that a method to realize irreducible $\mathfrak{S}_d$-modules is to construct the so-called Specht modules $S^{\mu}$ which are submodules in the ...

**1**

vote

**1**answer

376 views

### What is the best currently proven bounds on prime gaps?

I did some digging around on the internet but I found tons of different equations on both lower and upper bounds for the largest possible prime gap g(n). I was wondering what are currently the best ...

**3**

votes

**0**answers

34 views

### Lattice points in regular simplex

Suppose we are given a regular (closed) simplex $S$ in a vector space $V$ of dimension $n$, whose vertices have integer values. Then for a lattice $L$, is there a sufficient criterion, for $S$ to ...

**2**

votes

**2**answers

122 views

### Lower bound for the number of representations of integers as sum of squares

Let $k\geq 4$. As usual, let $r_k(n)$ denote the number of ways to represent $n$ as the sum of $k$ squares. Is this true that for every $\varepsilon>0$, one has $r_k(n) \gg ...

**4**

votes

**0**answers

99 views

### Categorification of covering morphisms

Given a category $\mathsf{A}$, let $\mathsf{Fam}(\mathsf{A})$ be its free coproduct cocompletion (which is always extensive). This means every object has a unique up to iso presentation as a coproduct ...

**0**

votes

**0**answers

84 views

### Existence of rational curve and semi-positivity of bisectional curvature

Let $X$ be a compact Kahler manifold with Kahler form $\omega$ such that there exists a rational curve $C\subset X$, then bisectional curvature of the Kahler metrics $\omega$ is semi-positive?. The ...

**10**

votes

**0**answers

52 views

### What is the (quasi-) classical limit of categorified quantum groups?

$\newcommand{\g}{\mathfrak g}$
Let $G$ be a reductive group and $U_q(\g)$ the associated quantum group. One can argue that the classical limit of $U_q(\g)$ is $G$ or $\g$, with some Poisson structure, ...

**3**

votes

**1**answer

259 views

### Techniques to solve a non linear differential equation related to curvature

Many years ago, I considered the following non linear differential equation:
$y=y''.(1+y'^{2})^{-3/2}$
This equation expresses the equality between the value of a given function $y\in C^{2}(R)$ and ...

**3**

votes

**2**answers

75 views

### Linear systems of equations with singular coefficient matrix [on hold]

Consider a consistent system of linear equations $Ax=b$. Let's assume for simplicity that $A$ is square $n \times n$. We are looking for an effectively computable approximate solution $\hat{x}$ in the ...

**2**

votes

**1**answer

64 views

### busby invariant of extensions of $C^*$-algebras

I have a question of an explicit example of a busby invariant of a extension, which can be found in Blackadars book "K-theory for Operator Algebras".
Let $0\to B\to E\to A\to 0$ be a short exact ...

**0**

votes

**0**answers

13 views

### Can fixed regressor linear regression be generalized to the entire population? [migrated]

If we have stochastic regressors, we are drawing random pairs $(y_i,\vec{x}_i)$ for a bunch of $i$, the so-called random sample, from a fixed but unknown probabilistic distribution $(y,\vec{x})$. ...

**4**

votes

**2**answers

198 views

### Does there exist a non-hyperelliptic Riemann surface with automorphism group $C_2\times A_4$?

Does there exist a non-hyperelliptic Riemann surface of genus 5 with automorphism group $C_2\times A_4$?

**1**

vote

**0**answers

39 views

### System of diophantine equations with restricted set of solutions [on hold]

I'm engineer, not mathematician, so excuse me for wrong terminology, but I hope you'll understand the problem.
Example situation: I have N electronic components. Each of them has reactance and ...

**6**

votes

**0**answers

76 views

### Determinants of octonionic hermitian matrices

For quaternionic hermitian matrices (i.e. quaternionic square matrices $(a_{ij})$ satisfying
$a_{ji}=\bar a_{ij}$) there is a nice notion of (Moore) determinant which can be defined as follows.
...

**1**

vote

**0**answers

16 views

### Can the extragradient method be computed only based on proximal steps?

As we know, for solving saddle point problems, the forward-backward algorithm is generally not guaranteed to converge. But the extragradient method converges Structured Prediction via the ...

**28**

votes

**2**answers

3k views

### Why is this new result such a big deal?

This popular article reports a recent result in reverse mathematics, showing that a certain theorem in Ramsey theory is provable from RCA$_0$, the base theory in SOSOA. Then there are a bunch of ...

**3**

votes

**0**answers

36 views

### Real interpolation of weighted Sobolev spaces with different weights

Let $\Omega \subseteq \mathbb{R}^n$ be open and let $w_0$ and $w_1$ be measurable and almost everywhere positive and finite functions defined on $\Omega$. Let $L^2_{w_0}(\Omega)$ be the weighted ...

**-6**

votes

**0**answers

35 views

### Newton's second law [on hold]

enter image description here
Which is the speed for x=4m? Given a mass equal to 3kg.

**-5**

votes

**0**answers

54 views

### Sine, Cosine and Tangent functions [on hold]

Is the input of a Sine, Cosine and Tangent function always an angle?

**2**

votes

**0**answers

69 views

### Nonvanishing of the dual Euler totient on boolean intervals of finite groups

The rank $n$ boolean lattice $B_n$, is the subset lattice of $\{1,2, \dotsm n \}$.
Let $[H,G]$ be a boolean interval of finite groups. Its Euler totient is defined by $$\varphi(H,G):=\sum_{K \in ...

**2**

votes

**1**answer

44 views

### Operators on Hilbert $C^*$-module and families of Fredholm operators

If $A$ is a $C^*$-algebra, there is a notion of Hilbert $A$-module (which is something like Hilbert space but the inner product takes values in $A$). The standard example is ...

**1**

vote

**0**answers

57 views

### Algorithm for checking linear independence of algebraic numbers

Is there any if and only if condition for checking $Q$-linear independence of given a set of numbers say $\alpha_i$ ? More precisely how to check linear independence of given $n$ algebraic numbers ...

**2**

votes

**0**answers

89 views

### Semistability of a sheaf on nodal curve

Suppose $X$ is a projective, connected, nodal curve (can be reducible) over an algebraically closed field $k$ of arbitrary characteristic. Let $F$ be a pure sheaf on $X$ and denote by $\pi^{*}(F)$ its ...

**1**

vote

**0**answers

37 views

### Regularization by mean curvature flow

I have a $C^{1,\alpha}$ surface defined as the graph of some function $\varphi : B \to \Bbb{R}_+$ ($B$ is a ball). This surface has positive and bounded mean curvature in the weak sense (since the ...

**2**

votes

**1**answer

120 views

### (quasi)metric on Riemannian manifolds via Brownian Motion?

Given points $a$ and $b$ on a Riemannian manifold $M$, I would like a (quasi)metric that corresponds to some property of Brownian Motion from $a$ to $b$ (or rather, to $\epsilon$-ball $B = \{ x : |x - ...

**9**

votes

**1**answer

102 views

### Does the Turaev-Viro theory for the generalized $E_6$ subfactor for $\mathbb{Z}/7$ distinguish $L(7,1)$ and $L(7,2)$?

In the paper Sato-Wakui "COMPUTATIONS OF TURAEV-VIRO-OCNEANU INVARIANTS OF 3-MANIFOLDS FROM SUBFACTORS" they compute certain Turaev-Viro-Ocneanu invariants of certain lens spaces. One of the results ...

**0**

votes

**0**answers

65 views

### Let $f:R\to S$ be a local finite monomorphism .If $M$ is an Artinian $S$-module, is it an Artinian $R$-module?

$(R,m)$ and $(S,n)$ are local rings (commutative Noetherian with 1).
Let $f:R\to S$ be a local homomorphism/monomorphism ($f(m)=n$), such that the natural induced homomorphism $R/m\to S/n$ is an ...

**0**

votes

**0**answers

21 views

### Optimal ordering in Jacobi SVD algorithm

In Jacobi SVD algorithm as given here every pair of columns of the matrix is orthogonalized until convergence. I want to know that how does the order of selection of the pair of columns affect the ...

**5**

votes

**1**answer

152 views

### Bounding the degree of an algebraic extension containing solutions to polynomials

Also posted on math.stackexchange...
Let $F$ be a field, and let $f_{1},\ldots, f_{s}$ be polynomials in $F[x_{1},\ldots, x_{t}]$. Assume that the degree of the polynomials is bounded by $d$, by ...

**4**

votes

**0**answers

47 views

### Singular reduction in infinite dimension

In 1991, Sjamaar and Lerman [1] introduced the notion of stratified symplectic spaces. Namely, if $M$ is a symplectic manifold and $G$ a Lie group acting properly (but not necessarily freely) on $M$ ...

**11**

votes

**0**answers

122 views

### What are the indecomposable $U_q\mathfrak{sl}(2)$-modules?

Let $\mathfrak g=\mathfrak{sl}(2)$.
Let $\zeta$ be a primitive root of unity of even order. Say $\zeta=e^{2\pi i/6}$, for concreteness.
Let $U_q\mathfrak g$ be Lusztig's integral form of the ...

**6**

votes

**0**answers

157 views

### Universal Property of Fontaine's Period Ring $B_{dR}^+$

In the introduction to his Asterisque Expose "Le Corps des Periodes p-Adiques",
Fontaine announces a characterization of $B_{dR}^+$ by some universal property. Unfortunatly,
at least for $B_{dR}^+$ ...

**13**

votes

**1**answer

320 views

### List of Applications of the $\partial\overline{\partial}$-lemma

Quoting from Huybrecht's book Complex Geometry on the $\partial\overline{\partial}$-lemma for Kaehler manifolds:
Although it looks like a rather innocent technical statement, it is
crucial for ...

**1**

vote

**1**answer

58 views

### IFS maps on circle

A systems $<f_0,f_1>$ is minimal if the set $\{h(x): h=f_{i_n}\circ f_{i_{n-1}}\circ...\circ f_{i_1}, i_k \in \{0,1\},n>0\}$ is dense in $S^1$, for every $x\in S^1$.
Consider $f:S^1 \to S^1, ...

**9**

votes

**0**answers

105 views

### Measuring the failure of pushforward to commute with Steenrod squares

Let $f \colon X \rightarrow Y$ be a map of topological spaces. Let's say that they are (closed) manifolds (not necessarily orientable), though to be honest I'm really interested in the more general ...

**1**

vote

**0**answers

85 views

### Is there a non-integer in the dimension spectrum for the Heisenberg group?

Let $\Gamma = \langle a,b,c \ | \ c=aba^{-1}b^{-1}, \ ac=ca, \ bc = cb \rangle$ be the discrete Heisenberg group.
Let $\ell: \Gamma \to \mathbb{N} $ be the word length on $\Gamma$. This group has a ...

**0**

votes

**0**answers

19 views

### LP or IP necessary? Network Flow Problem with no cycle-condition (unimodularity?) [on hold]

I need your help with a optimization problem.
Recap:
Normal mincost flow networks optimization problems have a constraint matrix which is total unimodular. This is a nice feature since a linear ...

**-3**

votes

**0**answers

41 views

### Find function $h$ so that $h(U,V)$ equals density of $f(a)da$ for $f(a)=\frac{1}{2}e^{-\small|a|} ,a \in \mathbb R$ [on hold]

Let $f(a)=\frac{1}{2}e^{-\small|a|}$, $a \in \mathbb R$
and let $U,V$ be two independently uniformly distributed random variables on $[0,1]$.
Now I want to find a function $h$ so that $h(U,V)$ is ...

**1**

vote

**0**answers

77 views

### Kunneth decomposition of the relative diagonal of a projective bundle

Let $\mathcal{E}$ be a projective bundle of rank $r$ over a smooth complex quasi projective variety $B$, and form its associated projective bundle $\chi :=\mathbb{P}(\mathcal{E})$. Let $\pi : \chi ...

**-5**

votes

**0**answers

38 views

### Difficult derivative of the log of a function [on hold]

Can someone help me figure out how the derivative of log p(x) wrt. theta becomes to solution below ?
$ -\frac{\delta logp(x)}{\delta \theta} = \frac{\delta F(x)}{\delta \theta } - \sum p(x) ...