2
votes
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
4answers
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
2answers
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
1answer
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
1answer
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 ...

15 30 50 per page