**4**

votes

**1**answer

177 views

### Goldbach for certain classes of $n$

Asked on MSE without response here.
$\#$ of ways even $n$ can be represented by prime additions is heareafter denoted $G(n)$.
The Wiki article on the Goldbach conjecture states that
In 1975, ...

**2**

votes

**3**answers

423 views

### The number of submodules of $\mathbb{Z}_q^n$

Observe $\mathbb{Z}_q^n = \mathbb{Z}_q \times \cdots \times\mathbb{Z}_q$ as a module over $\mathbb{Z}_q\equiv\mathbb{Z}/q\mathbb{Z}$, for general $q$.
I am interested in the following questions:
How ...

**1**

vote

**1**answer

70 views

### Intuition about Skorohod integral

I'm teaching myself Malliavin calculus and Skorohod integrals and with this kind of math I find myself following the logic through but lacking solid intuition about what is going on.
In particular ...

**0**

votes

**1**answer

133 views

### On the number of divisors in a given range

Given $\alpha\in\Bbb N$, can there be more than $(\log N)^4$ divisors (composites allowed) of $N$ in $\big[\frac\alpha2,\alpha\big]$ when $\sqrt N\in\big[\frac\alpha2,\alpha\big]$?
What is the ...

**0**

votes

**1**answer

54 views

### On a theorem by Mooney and Khavin on the weak sequential completeness of the predual of $H^\infty(\mathbb{D})$

There is a theorem by Mooney http://msp.org/pjm/1972/43-2/pjm-v43-n2-p.pdf#page=185 and independently proved by Havin which says that the predual of $H^{\infty}(\mathbb{D}),$
$L^{1}/H^{1}_{0}$ is ...

**8**

votes

**2**answers

501 views

### Did Bishop, Heyting or Brouwer take partial functions seriously?

The partial μ-recursive functions which may or may not be provably total seem to have some direct relation to the initial motivations for intuitionistic mathematics. (Following Kronecker, one ...

**1**

vote

**0**answers

69 views

### The normalizer problem for group rings

I recently studied about The Normalizer problem (NP) which states that given an integral group ring $\Bbb{Z}G$, $N_{\cal{U}}(G)=G\frak{z}$ where $\frak{z}$ denotes centre of $\cal{U}$ = ...

**0**

votes

**0**answers

59 views

### A PDE problem on the Heat-Like differential equations

I came across the following questions in part of my work:
Consider the Heat-Like equation of the form $\frac{\partial u}{\partial t}=\hat{H}u + f(x,t)u + g(x,t)$ where $\hat{H}$ is a Sturm-Liouville ...

**0**

votes

**0**answers

45 views

### Is there a function with a fixed point but does not satisfy the Banach contraction principle? [on hold]

This is my question
Is there a function which does not satisfy the Banach contraction principle, but has a fixed point?
thank

**4**

votes

**0**answers

109 views

+50

### Square root of a measure preserving action

Let $G \curvearrowright (X,\nu)$ be probability measure preserving action of a countable discrete group. When does there exist a probability measure preserving action $G \curvearrowright (Y,\mu)$ such ...

**1**

vote

**1**answer

115 views

### Determining conjugacy class of a subgroup from the sizes of its intersections with the conjugacy classes

Let $C_1,C_2,\ldots,C_n$ be the conjugacy classes of a finite group $G$. It is possible that there are two non-conjugate subgroups $K \leq G$ and $H \leq G$ such that $|H \cap C_i|=|K \cap C_i|$ for ...

**9**

votes

**0**answers

172 views

### Homological stability for orthogonal groups

In Vogtmann's paper "Spherical posets and homological stability for $O_{n,n}$" it is shown that for all fields different than the field $F_2$ with two elements the homology groups of the orthogonal ...

**0**

votes

**0**answers

53 views

### a question on warped product

This question is on J.Cheeger and Tobias H.Colding's paper "lower bound on Ricci curvature and the almost rigidity
of warped products".
For a warped product $M=(a,b)\times_f N^{n-1}$ with metric $g$. ...

**9**

votes

**1**answer

169 views

### A Graph-Theory Related Question

Let $n$ be a positive integer and partition a grid of $4n$ by $4n$ unit squares into $4n^2$ squares of sidelength $2$. (The squares with sidelength $2$ have all of their sides on the gridlines of the ...

**-3**

votes

**0**answers

16 views

### Test correlation between 3 variables by hand [on hold]

Do the three areas (courtside, lower deck, upper deck) differ in soda sales per hour?
Courtside Lower Deck Upper Deck
38 35 11
42 37 25
40 ...

**4**

votes

**0**answers

49 views

### General approaches to extension theorems as Caratheodory

I would like to know if there are some general studies about extension-like theorem, in the sense which i'm going to describe. This paragraph is not rigorous; I just would like the idea to be clear.
I ...

**0**

votes

**0**answers

15 views

### Is there a shelling of a (threshold)shifted complex, such that any partial shelling is still (threshold)shifted?

first the relevant definitions:
A complex $\Delta \subset 2^{[n]}$ is a family of subsets of $[n]$ that is closed downwards, i.e. if $A \subset B$ and $B \in \Delta$, then $A \in \Delta$.
A complex ...

**1**

vote

**0**answers

59 views

### Cubic, divisor of rational function $x/z$? [on hold]

Let $k$ be a field, and let $a \neq 0$, $1 \in k$. Let $C = V(y^2z - x(x-z)(x - az))$. What is the divisor of the rational function $\psi([x, y, z]) = x/z \in k(C)$?

**-1**

votes

**0**answers

87 views

### $C = V(x^3 - xz^2 - y^2z)$, linear equivalence [on hold]

Let $C = V(x^3 - xz^2 - y^2z) \subset \mathbb{P}^2(\mathbb{C})$. Let $p_0 = [0, 1, 0]$, $p_1 = [0, 0, 1]$, $p_2 = [1, 0, 1]$, $p_3 = [-1, 0, 1]$. I have two questions.
Is $2p_0$ linearly equivalent ...

**10**

votes

**0**answers

449 views

### Quaternions: ellipse effect

I would be interested in an explanation of the "six ellipse effect" produced by the pseudocode below (I also wonder how close are these to being actual ellipses). Note the code is somewhat similar to ...

**0**

votes

**0**answers

17 views

### Bayesian model to estimate the parameter of a Bernoulli law

Suppose we have iid boolean variables $X_1,...,X_T = X_{1:T}$ and the associated deterministic parameters $k_1,...,k_T=k_{1:T}$ and $c_1,...,c_T=c_{1:T}$, where for each $t \in \mathbb{N}$, $k_{t} \in ...

**3**

votes

**1**answer

131 views

### Is the localization of the maximal abelian extension still a maximal abelian extension?

Let $K$ be a number field and consider the maximal abelian extension $K^{ab}$ of $K.$ For a finite prime $p,$ letting $K_p$ be the completion of $K$ at $p,$ we have an extension $K_p \subset K_p ...

**4**

votes

**2**answers

121 views

### “Natural” action of a semidirect product of groups

Suppose we have a group $N$ acting on a set $X$, and a group $Q$ acting on $Y$. Moreover, we are given $\phi: Q \to \mathrm{Aut}(N)$.
My question is, is there a "natural" action on a set that can be ...

**7**

votes

**0**answers

123 views

### $k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set ...

**-3**

votes

**0**answers

55 views

### Closed form for Stirling numbers of second kind [on hold]

so yeah, a friend and I have been trying to find a closed form for the Stirling numbers of second kind with little success.
https://en.wikipedia.org/wiki/Stirling_numbers_of_the_second_kind
The ...

**4**

votes

**2**answers

118 views

### Extraction of Coefficients in the Exponential Function of a Series

Question: Let $f(x) \in x\mathbb{C}[[x]]$. What is the (asymptotically) fastest algorithm for calculating the coefficient of $x^n$ in $e^{f(x)}$?
Naive Solution 1: Using fast polynomial ...

**5**

votes

**0**answers

147 views

### Wild automorphisms of a free group

Let $F_X$ be a free group on a countably infinite set $X$. Let $\alpha$ be an automorphism of $F_X$ and $H$ a closed subgroup of $F_X$ in the profinite topology.
Is it possible that $\alpha(H) ...

**2**

votes

**0**answers

56 views

### what is the link between plethysm in regular representation of the symmetric group and plethysm in Schur functions.

I am trying to understand first how one can define the plethysm say $s_\lambda \circ s_\mu$ as a module in the regular representation of the symmetric group.
1)How is it connected to the plethysms ...

**3**

votes

**1**answer

171 views

### G-Correlation of Vectors

Let $\vec{a},\vec{b} \in \mathbb{R}^{n}$. Consider the function $f: S_n \to \mathbb{R}$ given by $f(\sigma):= \sum_{i=1}^{n} a_i b_{\sigma(i)}$. Let $G$ be a subgroup of $S_n$, given by generators.
...

**4**

votes

**2**answers

260 views

### A property of uncountable almost disjoint families

Let $\mathcal{A}$ be an uncountable almost disjoint family (not necessarily maximal) of infinite subsets of $\mathbb{N}$. Denote by $\mathcal{A}_{\subseteq}=\{ B\subseteq\mathbb{N}:|B|=\omega \wedge ...

**6**

votes

**0**answers

75 views

### Upper bound for a sum including Andre polynomial coefficients

Let $ c_{n,k} $ be a sequence defined by the following relations: $\displaystyle c_{n,0} = 1, \hspace{0.1cm} (n \ge 1)$;
$$ c_{n,k} = (k+1) c_{n-1,k} +(n-2k+1) c_{n-1,k-1}, \hspace{0.5cm} (1 \leq k ...

**1**

vote

**0**answers

89 views

### Expository papers for Feit–Thompson Theorem [duplicate]

Feit–Thompson theorem states that every finite group of odd order is solvable.
Its proof is near 300 pages so it is definitely not an easy paper to read without a prior knowledge about the general ...

**0**

votes

**0**answers

14 views

### Reducing the degrees of freedom in unitary columns

Let $U = diag([U_1, U_2, ..., U_N])$ be a block-diagonal $NM \times NM$ unitary matrix, where each $U_j$ is a unitary $M \times M$ matrix.
Furthermore, let $Q_e = kron(I_M, Q)$ be the Kronecker ...

**3**

votes

**1**answer

108 views

### A clarification regarding analytic perturbation of metrics and Laplacian

This question is in reference to the following Mathoverflow question and the accepted answer to it. It seems to me that it is taken for granted that if the metric $g_t$ perturbs real analytically in ...

**7**

votes

**1**answer

144 views

### Is the word problem decidable for free finitely generated self-square groups?

A self-square group is a group with extra structure, which encodes the fact that the group is isomorphic to its own direct square.
To be exact, the group $G$ has a special element $1$, a unary ...

**8**

votes

**0**answers

150 views

### An abstract zero-sum problem

I would like to know whether the problem described below has appeared in the literature and/or whether similar questions have been studied. I would be very happy to find some references or, if none ...

**1**

vote

**0**answers

89 views

### probability of a quadratic form being nonnegative at a random point

I am looking for good and explicit lower and upper bounds on the probability that $x^TGx\ge 0$, where $G$ is a symmetric matrix with zero trace and $x$ is a vector whose components are independent ...

**17**

votes

**3**answers

807 views

### Is there any pattern to the continued fraction of $\sqrt[3]{2}$?

Is there any pattern to the continued fraction of $\sqrt[3]{2}$ ? Wolfram Alpha returns for cube root of 2:
$\sqrt[3]{2}=$ [1; 3, 1, 5, 1, 1, 4, 1, 1, 8, 1, 14, 1, 10, 2, 1, 4, 12, 2, 3, 2, 1, 3, ...

**7**

votes

**1**answer

130 views

### Generalization of Stewart's theorem?

I'm curious about the generalization of Stewart's theorem to more dimensions. MathWorld mentions that there is a generalization done by Bottema, but I could not find much information on it. All I ...

**0**

votes

**0**answers

35 views

### Error in the paper “Oscillating-Decaying Solutions, Runge Approximation and its Applications to Inverse Problems”?

I am going to use simpler notation then the paper. The potential problem is not very technical.
Theorem 4.2. in the paper states the following:
a) If $t < t_0$, then $I(t,\tau) \to 0$ as $\tau ...

**1**

vote

**1**answer

108 views

### Sum of Eigenvectors Entries of an Adjacency Matrix

I have a question regarding the sums $\sum_{i=1}^{n}v_{j}\left(i\right)$ where $v_j$ are eigenvectors of adjacency matrix $A$ which have been normalized to unit length.
Ordering the eigenvectors by ...

**6**

votes

**1**answer

141 views

### Eigenvalue inequality for regular graphs

I recently proved an inequality relating some of the eigenvalues of a regular graph with each other, and I was wondering if it is already known. I was unable to find it online, and a quick skim ...

**1**

vote

**0**answers

114 views

### Local cohomology commuting with fiber

Let $A$ be a nice commutative ring (say, $A=k[t_1,\ldots , t_n]$, ring of polynomials over an algebraically closed field $k$).
Let $M$ be an $A[x]$-module, which is finitely generated as an ...

**3**

votes

**0**answers

59 views

### Lower semi-continuity of the Hellinger-Fisher-Rao distance

I am currently working on unbalanced optimal transport, where the Hellinger (or sometimes Fisher-Rao) distance
$$
...

**4**

votes

**1**answer

212 views

### Unit in cyclotomic field

Let $n \in \mathbb{N}$ and $\zeta$ be a primitive $n$-th root of unity. I want to know for which $n$ the element $1+2(\zeta+\zeta^{-1})$ is a unit in the ring of integers of $\mathbb{Q}[\zeta]$. Can ...

**4**

votes

**2**answers

374 views

### What does it mean for a differential equation “to be integrable”? [duplicate]

What does it mean for a differential equation "to be integrable"?
Are "integrable" and "solvable" synonyms?
The first thing that comes to my mind is to say: it's integrable if we can find the ...

**3**

votes

**0**answers

32 views

### Cartan integral formula for a p-adic group?

Let $G$ denote a reductive group over a local field $F$. Suppose that $G$ is split over $F$ and fix a maximal (split) torus $A$. Let $A^+$ denote a Weyl chamber in $A$ and let $K$ be a suitable ...

**1**

vote

**0**answers

44 views

### Theorem 16 , Chapter 5 of Northcott 's, Finite Free Resolutions: p.grade

Let $R$ be a commutative ring with identity. D.G. Northcott's, Finite Free Resolutions, has:
and in Theorem 16 of Chapter 5 proves that:
$p.grade(I,M) = p.grade(P,M)$ for some prime ideal $P$ ...

**5**

votes

**0**answers

156 views

### Theories introduced by a class of forcing notions

The following notion is introduced by Mohammad Golshani. Let $V$ be a model of set theory and let $\mathcal{P}$ be a class consisting of non-trivial forcing notions in $V$. Let
$$Th(V, ...

**1**

vote

**0**answers

99 views

+50

### A path optimisation problem

Consider a graph of $n$ nodes randomly located in $[0,1]^2$. Each node moves following a path randomly chosen from the set of all possible paths. Regard nodes as attackers. A policeman seeks an ...