1
vote
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
54 views

Sine, Cosine and Tangent functions [on hold]

Is the input of a Sine, Cosine and Tangent function always an angle?
2
votes
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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) ...

15 30 50 per page