# All Questions

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**5**

votes

**1**answer

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

7 views

### First integrals

Given a vector field $X\in\mathcal{X}(\Omega)$, a first integral of $X$ is a differentiable mapping $f: \Omega \longrightarrow \mathbb{R}$ such that :
$\sum_{0}^{n}X_{i}(x)\frac{\partial f}{\partial ...

**0**

votes

**0**answers

8 views

### Convergence of measures to an absolutely continuous measure

Suppose that $\{\mu_n\}$ is a sequence of Borel probability measures on a compact metric space $X$ and suppose that $\{\mu_n\}$ converges weakly to a Borel probability measure $\mu$ on $X$. If $\mu$ ...

**15**

votes

**1**answer

255 views

### Differential Topology over $\mathbb{Q}$

I have a specific question in mind, but it requires some explanation and context before it can be formally stated. To summarize it in a sentence, this is it:
Are every two rational manifolds of the ...

**0**

votes

**0**answers

31 views

### Correspondence between real forms and real structures on complex Lie groups

I asked this in MSE, but without success, so I hope, it will be suitable here.
E.B.Vinberg and A.L.Onishchik in their book give the following two definitions.
For a complex Lie group $G$ its real ...

**33**

votes

**6**answers

3k views

### Does “compact iff projections are closed” require some form of choice?

There are many equivalent ways of defining the notion of compact space, but some require some kind of choice principle to prove their equivalence. For example, a classical result is that for $X$ to be ...

**4**

votes

**0**answers

29 views

### Determinant of some covariance matrix (Gaussian kernel process)

Let $x_1,\dots,x_p$ be $p$ points in $\mathbb{R}^n$ ($n\geq 2$) with $x_1=0$. Consider the symmetric matrix $M(x)=(m_{ij}(x))_{1\leq i,j\leq p}$ where $m_{ij}(x) = \exp(-\frac{1}{2}\Vert x_i - ...

**0**

votes

**0**answers

13 views

### Writing a function as a sum of functions of bounded diameter

This problem is distilled from one arising in a study of complex random variables, but I've removed as much baggage as I can without (I hope) making it trivial.
Fix $D>0$. A function $f:\mathbb ...

**2**

votes

**0**answers

74 views

### Primitive elements in a free group

Let $F$ be a free group of rank $\aleph_0$ and let $H$ be a subgroup for which there exists some $a \in F$ such that $\langle H \cup \{a\} \rangle = F$. Must there be some free basis $B$ for $F$ and a ...

**2**

votes

**1**answer

43 views

### For $k>3$ does there exist an odd prime $q_k$ such that $p_k=2^kq_k+1$ is prime and $p_k$ divides $a_k=\dfrac{3^{2^{k-1}}+1}{2}$?

Question: For $k>3$ does there exist an odd prime $q_k$ such that $p_k=2^kq_k+1$ is prime and $p_k$ divides $a_k=\dfrac{3^{2^{k-1}}+1}{2}$?\
If $k=3$ the answer is Yes because for $q_3=5$ we ...

**3**

votes

**1**answer

57 views

### Does the Riemann-Christoffel curvature determine the connection?

I am looking for the integrability condition of the following system of pde:
...

**4**

votes

**1**answer

35 views

### Does $Add(\kappa,1)^L$ ever collapse cardinals?

In general, we know that adding a subset to a regular cardinal $\kappa$ can collapse cardinals. If, for example, there is $\gamma < \kappa$ with $2^\gamma >\kappa$, then $Add(\kappa,1)$ will ...

**0**

votes

**1**answer

68 views

### topology of setwise convergence of measures

It is well known that if $X$ is, say, compact and metric, then the set of probability measures on the Borel subsets of $X$ endowed with the usual topology of weak convergence of measures has as a ...

**3**

votes

**1**answer

233 views

### Quasi-stationary distribution for a death process

In the paper, Survival in a quasi-death process by van Doorn and Pollett, the quasi-stationary distribution of a transient CTMC is discussed and QSD for a simple death process is derived.
Consider a ...

**4**

votes

**0**answers

66 views

### Representing one diagonal of Pascal's triangle using special sums coming from a different diagonal

Let $m, n$ be any fixed natural numbers. Is it true that infinitely many elements of the sequence $\left(\begin{array}{c}
m+k \\
m \\
\end{array}\right)_{k=1,2,3,...}$ ( as well as of the sequence ...

**15**

votes

**1**answer

467 views

### Is every degree 1 self-map a homotopy equivalence?

In a rather obscure article, I found (without proof) the following statement:
If $M$ is a closed orientable manifold, every degree $1$ map $f: M \rightarrow M$ is a homotopy equivalence.
Is this ...

**5**

votes

**2**answers

198 views

### The Borel construction of equivariant cobordism

In $K$ theory, the Borel construction of equivariant cohomology is somehow not the right one. The $G$-equivaraint $K$ theory of a point should be the representation ring of $G$, but $K(BG)$ is this ...

**2**

votes

**0**answers

46 views

### On various “extension closures” and “orthogonals” in triangulated categories

A vague form of my question is the following one: for a class of objects $D$ of a triangulated category $C$ we consider the class $E$ of objects that satisfy $Mor_{C}(d,e)=\{0\}\ \forall d\in D$; ...

**6**

votes

**2**answers

150 views

### What methods do we have to understand the spectrum of matrices with restricted entries?

Consider questions of the form (or the "most probable value of" version of these questions rather than the "largest possible"),
What is the largest possible spectral radius of a $n \times n$ matrix ...

**0**

votes

**0**answers

73 views

### Is g( ) rational if it looks that way on a large rational subset?

Let $F$ be any infinite field, $U\subset F^n$ be an open, dense (in Zariski topology) subset,
$x_1,x_2,…,x_n$ be an algebraic independent system of variables over $F$ , $f,f_1,f_2,…,f_n \in ...

**0**

votes

**0**answers

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

**2**

votes

**1**answer

110 views

### Model structure on non-negative differential graded algebras with homological grading

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

**3**

votes

**1**answer

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}$: ...

**0**

votes

**0**answers

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

**2**

votes

**1**answer

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

**0**

votes

**0**answers

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

**-3**

votes

**0**answers

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

**-2**

votes

**0**answers

46 views

### Some hint or reference about this problem? [on hold]

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

**6**

votes

**0**answers

47 views

### K-groups of a permutative category - are they finite?

Let $\mathcal C$ be a permutative category, that is a symmetrical monoidal category with strict associativity. One can then define the $K$-groups of $\mathcal C$, for $n >0$ by
$$K_n(\mathcal C) = ...

**0**

votes

**0**answers

67 views

### Explicitly describing the region of the plane “outward of” a simple, open, oriented, cubic curve $c:(0,1)\to\mathbb{R}^2$

Some Context:
I'm working with some data given in the form of Bezier curves. I need to sort these (partially ordered) Bezier curves by "outwardness" (described below) and have come across an ...

**7**

votes

**1**answer

126 views

### Which domain maximizes the energy of the Lebesgue measure?

This could be asked in more generality, but let me stick to a concrete case.
Usually one considers a fixed domain $E \subset \mathbb{C}$ and attaches to it the equilibrium probability measure ...

**2**

votes

**1**answer

214 views

### Complete solution set of a Convolutional Equation?

Here is a problem that am I stuck and I appreciate any help. In essence, I am trying to show that the only solutions for the described problem are the ones provided below. Best..
Setup: In what ...

**0**

votes

**0**answers

13 views

### interpolation between Bochner spaces

If there a reference for the following interpolation result
\begin{equation}
L^2(I;W^{2,p}(\Omega)) \cap H^1(I;L^p(\Omega)) \hookrightarrow H^\delta(I;W^{2(1-\delta),p}(\Omega))
\end{equation}
for ...

**5**

votes

**0**answers

82 views

### Alexander duality for non-manifolds

Let $X$ be a CW complex and $A$ a subcomplex. I will assume that both are compact, and that $X$ is $n$-dimensional. Furthermore, assume that the local homology of $X$ is that of a manifold in a ...

**-5**

votes

**0**answers

32 views

### I cannot solve this question! HELP [on hold]

Imagine a 100 storey building. You want to find the highest floor from which an iphone, when dropped, will not break. If an iphone is dropped and does not break, it can be used again with no adverse ...

**4**

votes

**0**answers

92 views

### is there a moduli of stable infinity categories?

I know there exists a moduli (pre-)stack parameterizing (connected) triangulated dg-categories (ie the points of this moduli are not objects of a fixed dg-category, but rather dg-categories ...

**2**

votes

**1**answer

56 views

### Defining relations of mapping class group for genus 2 closed surface

We know that mapping class group (MCG) $\Gamma_1$ for genus 1 closed surface
is generated by two elements: $U$ of order 6 and $S$ of order 4.
There is a defining relation that totally fixed the MCG ...

**7**

votes

**1**answer

188 views

### Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly.
Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...

**9**

votes

**1**answer

133 views

### Searching for $C^*$ [on hold]

I am trying to search on MathSciNet for articles which contains $C^*$ in their title (as in $C^*$-algebras) however I can't figure out how to get MathSciNet not to interpret the '*' as a stand in for ...

**0**

votes

**0**answers

25 views

### Non-trivial summand in End(\rho)

Given a finite group representation $\rho:G\to GL_n(\mathbb C)$ one knows that the trivial representation $\mathbb 1$ is contained in $End(\rho)$.
Let $\rho'$ be the other summand, i.e., $\rho'$ is ...

**9**

votes

**2**answers

427 views

### Can any finite lattice be realized as an intermediate subgroups lattice?

Let $G$ be a finite group and $H$ a subgroup.
Let $\mathcal{L}(H \subset G )$ be the lattice of all the intermediate subgroups between $H$ and $G$.
Question: Can any finite lattice be realized as ...

**3**

votes

**0**answers

71 views

### Conformal map and Jordan curve

Here is my question :
Suppose you have a simple (analytic) closed curve $\gamma$ in an open simply connected domain $\Omega \neq \mathbb{C}$. Does there exist a conformal bijection $f : \Omega ...

**19**

votes

**18**answers

4k views

### Examples of conjectures that were widely believed to be true but later proved false

It seems to me that almost all conjectures (hypotheses) that were widely believed by mathematicians to be true were proved true later, if they ever got proved. Are there any notable exceptions?

**5**

votes

**0**answers

37 views

### Prime divisors of the norm of the first coefficient of an elliptic newform at width-1 cusps.

Let $E/\mathbb{Q}$ be an elliptic curve of conductor $N$ and let $f$ be its newform.
Suppose $p \geq 5$ is a prime such that $p^2 \mid N$. We assume $f$ is $p$-minimal, which is equivalent to that the ...

**8**

votes

**1**answer

181 views

### Determinant of a checkerboard Hankel matrix with Catalan numbers

My goal is to compute
\begin{equation}
I = \det \left(\mathbf{I} + \mathbf{A}\right)
\end{equation}
where $\mathbf{A}$ is a $n \times n$ checkerboard matrix filled with Catalan numbers:
$$
\left\{
...