# All Questions

2 views

### A constrained positive polynomial

Is there an example of a polynomial $Q(x)\in\Bbb Z_{\geq0}[x]$ with $Q(0)=1$ so that $Q(x)=Q_m(x)Q_+(x)$ where $Q_+(x)\in\Bbb Z_{\geq0}[x]$, $Q_1(x)\in\Bbb Z[x]$ so that $Q_m(x)$ has at least $1$ ...
36 views

### References about identities of Gauss sum

I am reading the paper. In the end of page 10, there are the following identities of Gauss sum. \begin{align} & h(b) h(a+b) = q^b h(b) h(a), \\ & h(b) g(a+b) = q^b h(b) g(a), \\ & g(a+b) ...
5 views

### growth series of groups

As I know, in the literature there are formulas for groth series of direct product, free product and free product with amalgamation and graph product of groups. Is there any formula that gives groth ...
163 views

### Are these inequalities for primes equivalent?

Let $p_n$ be the $n$th prime, let $L$ consist of the primes satisfying $p_{n+2} - 2p_{n+1} + p_{n} > 0$, and let $Q$ consist of the primes satisfying $p_{n+1}^2 < p_{n}p_{n+2}.$ Is $L=Q$? ...
18 views

### Higher-dimensional category theory on objects

I would like to know if there exists a satisfying generalization of higher-dimensional category theory on objects, that doesn't forget the inner structure of objects. Usually, what people do is to ...
55 views

### compute standard basis in local rings

Let$>'$ be the order in $k[t,x_1,\cdots,x_n]$ as follows: Each semigroup order > on monomial in the $x_i$ extends to a semigroup order >' on monomial in $t,x_1,\cdots,x_n$ in the following way. We ...
7 views

13 views

18 views

### A question and a conjecture on $USp(N)$ group

$USp(N)$ with $N$ an even integer is defined as the group of unitary matrices $M$ that satisfy $M^TJM=J$, where $M^T$ is the transpose of $M$ and $J$ is the anti-symmetric $N$-by-$N$ matrix ...
110 views

I was wondering if there exists a model structure on the category of non-negative differential graded algebras with homological grading. To be more precise: Let $Ch_{k}$ the model category of ...
49 views

### Induction and nonstandard halting times of standard machines

For a nonstandard model of enough arithmetic - say, $\mathcal{N}\models I\Sigma_1$ - we can define the set of halting times of standard machines relative to $\mathcal{N}$: ...
18 views

### Sobolev embedding on warped product

Consider the warped product $X = M \times \mathbb{R}$, with the metric $g = dr^2 + \varphi(r) g_M$, where $M$ is a compact manifold. Consider the Sobolev space $H^1(X)$ and let $H^1_{rad}(X)$ denote ...
63 views

### Real slices of Minkowski space, using a complex quadratic form

Ordinary Minkowski space is $\mathbb{R}^{3,1}:=(\mathbb{R}^4,\phi)$ where $\phi:\mathbb{R}^4\rightarrow\mathbb{R}$ is a quadratic form of signature $(3,1)$. Lying within this is a hyperboloid model ...
29 views

### Maximum entropy to fit Johnson distribution by moments [migrated]

I am trying to fit a johnson SU distribution to my data with the first 4 moments. To identify the most suitable set of johnson parameters I am trying to maximize the entropy function. However, I see ...
61 views

### Fun math puzzle [on hold]

Have had this math puzzle that I have been unable to solve for a while. Each leter is a number between 1-9. No letter uses the same number twice (aka if B is 3 D can't be 3 also). The ? mark ...
Let f be a real increasing function. Then there exists a function g such that $\frac{dx_t^y}{dt}=g(x_t^y)$ $x_0^y=y$ $x_1^y=f(y)$.