**2**

votes

**0**answers

8 views

### Catenarity of monoid algebras

Let $R$ be a commutative ring, let $M$ be a commutative monoid, and let $R[M]$ denote the corresponding monoid algebra. Suppose further that $R$ is universally catenary. One may ask for conditions on ...

**1**

vote

**1**answer

3 views

### Reducing join-incomplete lattice homomorphisms to homomorphisms with co-domain ${\bf 2}$

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) > \bigvee_L f(S).$
Is it true ...

**2**

votes

**0**answers

54 views

### Minimum number of people such that 2 can be expected to sit next to each other

We are given a large, round table with $n$ seats. It is easy to see that whenever $p\geq \text{int}(\frac{n}{2}) + 1$ people are seated, at least $2$ people will sit next to each other (here ...

**0**

votes

**0**answers

2 views

### integrability of Brownian motion stopped at some stopping time

Let $B=(B_t)_{t\ge 0}$ be a standard Brownian motion starting at zero and denote by $S=(S_t)_{t\ge 0}$ its running maximum, i.e. $S_t=\sup_{0\le s\le t}B_s$. Given a fixed number $p>1$, define the ...

**0**

votes

**1**answer

23 views

### Bounded metric spaces with non-surjective self-isometry

A metric space $(X,d)$ is said to be bounded if there is $r\in\mathbb{R}$ such that for all $x,y\in X$ we have $d(x,y) \leq r$.
A self-isometry is a map $\iota:X\to X$ such that for all $x,y\in X$ we ...

**0**

votes

**0**answers

24 views

### How to find PDF of ordered random variables?

Assumpion: Let $X_1, X_2, \ldots, X_L$ be $L$ independent and identical random variables (RVs). Let $F_{X_i}(x_i)$ and $f_{X_i}(x_i)$ be CDF and PDF of $X_i$. Suppose that $F_{X_i}(x_i) = F_X(x_i)$ ...

**0**

votes

**0**answers

15 views

### probability of reaching a point in a 2d grid in a certain number of steps [on hold]

I have a random walk process in a 2d grid with N steps where N is small. How can I calculate the probability that any given cell was reached in N, N-1, N-2 ... 1 steps. That is, I would like to be ...

**1**

vote

**1**answer

110 views

### Are there infinitely many $k$ for which $\sigma(k)/k $ is a square?

I would like to know if there are infinitely many $k$ for which
$$\sigma(k)/k=n^2$$ such that: $m=kn$ with $m,n>0 $ ?
Note: $\sigma(\frac{m}{ n})$ is the sum of divisors function of ...

**2**

votes

**1**answer

75 views

### Is there a way to find an efficient set of relations for presenting the subgroup generated by two matrices in $SL(2, q)$?

Given two elements $a, b \in SL(2, \mathbb{F}_q)$, is there a way to find an efficient presentation $$\langle x, y \mid \text{relations}\rangle$$ of the subgroup $\langle a, b \rangle$?
My intention ...

**2**

votes

**0**answers

52 views

### What am I missing in this highly oscillatory integral?

I want to numerically integrate this equation (in python):
$\int_{0}^{\infty}{\rm d}k f(k) J_v(r k)J_v(s k) $,
where f(k) is a non-smooth function, and $J_v$ are the Bessel function of the fist ...

**4**

votes

**0**answers

78 views

### Bundles over Grassmanian with given top Chern class

So, I have been working on Chern classes for my master thesis and apparently (My proofs could be wrong and a few things are still vague) I was able to give a construction method and exhibit, via ...

**1**

vote

**0**answers

18 views

### Partitioning graph for Graph Isomorphism

Motivation: I am studying graph isomorphism problem. I am trying to construct a partitioning method to reduce search cases required to get solution of graph isomorphism.
Construction:
$G$ is a $r$ ...

**1**

vote

**1**answer

194 views

### Weierstrass form of genus one $y^{10} z^{30} - 8000 y^{4} z^{20} + 12800000 z^{20} + 1600 y^{2} z^{10} - 64=0$

Related to the n-conjecture.
We are looking for Weierstrass form and map from it of the genus one curve:
$$ y^{10} z^{30} - 8000 y^{4} z^{20} + 12800000 z^{20} + 1600 y^{2} z^{10} - 64=0 $$
It is ...

**2**

votes

**0**answers

23 views

### Asymptotics of a Bivariate Generating Function

I have the following generating function,
$$G(x,y)=\sum_{n,k \geq 0}a(n,k)x^ny^k = \frac{(y^2-y)x+1}{(y-y^3)x^2-(y+1)x+1}$$
and I am interested in obtaining an asymptotic for the sequence $a(n,k)$ ...

**2**

votes

**1**answer

98 views

### Fibrations on blow-ups of $\mathbb{P}^2$

Let $X_n = Bl_{p_1,...,p_n}\mathbb{P}^2$ be the blow-up of $\mathbb{P}^2$ in $n$ general points $p_1,...,p_n\in\mathbb{P}^2$.
Let $f_i:\mathbb{P}^{2}\dashrightarrow\mathbb{P}^1$ be the linear ...

**1**

vote

**0**answers

54 views

### binomial coefficients and irrationals

The following, probably either currently impossible to deal with, or
having a negative solution, arose from an ergodic theory question,
presumably itself currently intractible. I am not a number ...

**3**

votes

**1**answer

88 views

### Polynomials with Unique Critical Value

My question is extremely simple to state: I am looking for a characterization of multivariate complex polynomials $f$ such that $f(Sing(f))=\{0\}$. My motivation is that I recently read somewhere that ...

**8**

votes

**1**answer

211 views

### Witten's proof of Morse inequalities, question on eigenvalues?

See here. I present Theorem 6 and Corollary 7 as follows.
Theorem 6. For large $s$, $\Delta_s$ and $H$ have the same number of eigenvalues in the interval $[0, s^{-2/5}]$.
Corollary 7. $\dim ...

**0**

votes

**0**answers

29 views

### An equality for the trace of the join of a non-degenerate indecomposable system of projections in a finite factor

Let $M \subset B(H)$ be a finite factor (see for example here p2, or there) with a trace $tr$.
The subset of projections of $M$ is naturally a lattice, noted $(\mathcal{P}(M), \wedge, \vee)$.
A ...

**1**

vote

**0**answers

83 views

### Probability of correlated residues

Given $N,c\in\Bbb N$, where $c\ll(\log N)^{1/b}$ for any $b>1$ is fixed, what is the probability that given $A_1,A_2,A_3\in\Bbb N$ with ...

**2**

votes

**0**answers

45 views

### Set of smooth curves on the Hilbert scheme is open. H

Let $H = Hilb_{d,g,r}$ be the Hilbert scheme of genus $g$ curves of degree $d$ in proyective space $\mathbb{P}^r$.
Is it true that the set of points of $H$ consisting of smooth curves is open in ...

**0**

votes

**0**answers

19 views

### Rearrangement of summation expression

Referring to the spherical harmonics expansion in this article:
Méléard, P., Pott, T., Bouvrais, H., & Ipsen, J. H. (2011). Advantages of statistical analysis of giant vesicle flickering for ...

**6**

votes

**2**answers

290 views

### Collapsing the cardinals between two singular cardinals

Question 1: Is it consistent that there is a forcing notion collapsing $\aleph_{\omega\cdot 2}$ to $\aleph_\omega$ without collapsing $\aleph_\omega$ or $\aleph_{\omega\cdot 2 + 1}$?
If the ...

**-1**

votes

**0**answers

108 views

### Good books on differential geometry [on hold]

I am looking for good books on differential geometry that teach intuition and more than just introductory

**1**

vote

**2**answers

104 views

### How do powers affect asymptotics in generating functions?

Let $a_n$ be a sequence of non-negative real numbers, and $A(x) = \sum_{n=0}^{\infty} a_n \frac{x^n}{n!}$ its exponential generating function. Also, suppose $B(x) = \sum_{n=0}^{\infty} b_n ...

**1**

vote

**0**answers

23 views

### Uniqueness of Riemann Constant Vector Solution

Let $X$ be a compact, genus $g$ Riemann surface (given as the desingularization and compactification of a plane algebraic curve), $J(X)$ its Jacobian, and $A : X \to J(X)$ the Abel map
$$A(P) = ...

**0**

votes

**0**answers

130 views

### arithmetic progressions with few primes

Is this true ?
Let $\beta_0$ be a positive number. One may find $\beta>\beta_0$, $0<\lambda<1$, and infinitely many $q>1$ so that there exists an arithmetic progression of step $q$, $a_1, ...

**1**

vote

**1**answer

77 views

### Decomposition of a regular graph and connected subgraphs

I have asked almost same question earlier. I have been told that my question was poorly written, so I am trying to write it more clearly in this post. Also, this time I would be a little different in ...

**0**

votes

**0**answers

37 views

### Probability of correlated quadratic residues

Given $N,a,c\in\Bbb N$, where $a\in(0,1)$ is fixed, $c\ll(\log N)^{1/b}$ for any $b>1$ is fixed, what is the probability that given $A,B\in\Bbb N$ such that $N^{a/2}(\log N)\leq A,B\leq ...

**9**

votes

**0**answers

130 views

### Separating pure states on the $2\times 2$ matrix algebra

I have an idea for a possible counterexample to the noncommutative Stone-Weierstrass problem. A good answer to the following question would really help.
Let $\mathcal{A}$ be the C*-algebra of ...

**1**

vote

**0**answers

44 views

### An equality for the dimension of the sum of subspaces (in the non-degenerate case) [migrated]

This post is a sequel of An inequality for the dimension of the sum of subspaces, inspired by this famous answer on $\dim(U+V+W)$.
The inequality $$\dim(\sum_{i = 1}^{n} U_i) \le \sum_{r=1}^{n} ...

**0**

votes

**0**answers

83 views

### A question about tensor product [on hold]

For every $f, g$ in $L^1(G)$, we know the function $[(x,y)↦f(x)g(y)]$ belongs to $L^1(G\times G)$ where here $\times$ means cartesian product. Why are these functions dense in $L^1(G\times G)$?

**0**

votes

**0**answers

22 views

### Statistical test for the independence of components in a N-dimension Gaussian random variable

Assuming that there is a N-dimenson Gaussian randon variable $\mathbf{X}=\left[\mathbf{x}_1,\mathbf{x}_2,...,\mathbf{x}_N\right]^T$ and we have K observations ($K\ll N$) of $\mathbf{X}$(i.e., we have ...

**4**

votes

**0**answers

59 views

### Reference for the Banach Manifold structure of $C^k(M,N)$

I'm completely new to the subject of banach manifolds and I'm looking for a reference of the following:
Let $M$,$N$ be smooth (=$C^\infty$) finite-dimensional compact manifolds. Consider the set ...

**1**

vote

**1**answer

45 views

### Runge-Kutta convergence [on hold]

I am facing a problem solving a ODE with a Runge-Kutta 4th order method:
The expression in order to solve is :
\begin{equation}
Ay^{''}+By^{'}+Cy= Cu
\end{equation}
\begin{equation}
y =OUTPUT
...

**4**

votes

**1**answer

125 views

### Derivative in terms of finite differences

Consider expanding the differentiation operator in terms of the forward difference operator as $f' = \log(1 + \Delta)f = \displaystyle \sum_{n = 1}^{\infty} \frac{(-1)^{n + 1}\Delta^n f}{n}$. For some ...

**9**

votes

**1**answer

339 views

### Intuition behind the Morse inequalities?

Forgive me if this is sort of a vague question, but can someone supply me with their intuition behind the Morse inequalities?

**8**

votes

**1**answer

125 views

### Does every Lawvere theory arise in this way?

By a Lawvere theory, I mean a finite-product category $\mathsf{T}$ equipped with a distinguished object, such that every object of $\mathsf{T}$ can be expressed as a finite product of the ...

**6**

votes

**1**answer

270 views

### Relation between moduli spaces and classifying spaces

I hope this question is suitable to be posted here on MO.
I wonder if there is a systematic relation between the notation of a classifying space, and the notion of a moduli space. I don't consider ...

**15**

votes

**1**answer

409 views

### Is there a generalization of homotopy groups to fractional dimensions

Does there exist a reasonable candidate for such an object as $\pi_{\frac12}(X)$?

**2**

votes

**0**answers

68 views

### Permutation equivalence classes with kendall-tau distance

I asked this question on Stack Exchange a few days ago with no help. I am not sure if the question seems too trivial or of not enough general interest to get any attention. Anyway, any sort of ...

**2**

votes

**1**answer

57 views

### Elaboration of a certain section of a paper by Thanigasalam

In section 11 of this paper by Thanigasalam, it says "... we get $G(10)\le 105$, and this implies that $H(10) \le 107$". However, it is very unclear how this follows. Why is it the case that $G(10)\le ...

**0**

votes

**0**answers

101 views

### Non-finitely generated, non-projective flat module, over a polynomial ring [migrated]

Let $R=k[x_1,\ldots,x_n]$. According to the first answer, every finitely generated flat module over an integral domain is necessarily projective.
Therefore, the only hope to find a flat ...

**0**

votes

**2**answers

247 views

### Recent progress on the busy beaver problem? [on hold]

Has there been any progress on the Busy beaver problem in the last few years? It seems like there hasn't been much work done on the problem since 2010. Is there anything amateurs can do to solve the ...

**0**

votes

**0**answers

14 views

### Decompose a multivariate polynomial into a permutation on $F_{2^n}$ and an affine transformation

Let $S(x_1,...,x_n)=(y_1,...,y_n)$ be a secret permutation on $F_{2^n}$. $L$ is a secret $F_{2^n}\rightarrow R^{m}$ affine tranformation. $m$ can be smaller than $n$, while $n$ is ususally less than ...

**6**

votes

**1**answer

358 views

### Pure motives and compatible systems of $\ell$-adic representations

I am trying to understand the statement of the conjectures of Deligne on special values of certain $L$-functions, from his article titled, "Valuers de Fonctions L et periodes d'integrales" which ...

**26**

votes

**4**answers

2k views

### Computer calculations in a paper

I think I can improve the current upper bound concerning an open problem. The ideas are purely combinatorial, but in the end I have to calculate the maximum of a really ugly, non elementary function ...

**4**

votes

**2**answers

195 views

### Baire Category Theorem for complete uniform spaces

The version of the Baire Category Theorem I have in mind is the statement that a countable intersection of dense open subsets of a complete metric space is dense. The question is: is it likewise ...

**2**

votes

**1**answer

179 views

### Counting function for prime pair with bounded gaps between them [duplicate]

I'll start by noting that I am not at all an expert on number theory. However I do use it in a proof and would like your assistance if possible.
Yitang Zhang breakthrough result established that ...

**13**

votes

**1**answer

499 views

### Elementary Proof of Infinitely many primes $\mathfrak{p} \in \mathbb{Z}[i]$ in the sector $\theta < \arg \mathfrak{p} <\phi $

A quick look at the primes in $\mathbb{Z}[i]$ suggests they might be evenly distributed by angle if we zoom out on a coarse enough scale.
I would like ask about the much weaker statement forgetting ...