**1**

vote

**0**answers

52 views

### Shape-related vector fields

Assume that $M$ is a surface in $\mathbb{R}^{3}$. We denote its shape operator by $S$. A vector field $X$ is shape related to $Y$ if $S(X)=Y$.
(of course it is not an equivalent relation).
...

**3**

votes

**1**answer

257 views

### K theory long exact sequence

(1) Suppose that $Z\subset X$ is a closed embedding, $U = X\setminus Z$ is the complement. If relevant, suppose that both $X, Z$ are smooth and even (if relevant) that the normal bundle of $Z\subset ...

**17**

votes

**3**answers

812 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

**2**answers

194 views

### $p$-torsion of an abelian variety of $p$-rank $0$

Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...

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

**1**

vote

**1**answer

77 views

### Uniqueness of $\partial_t u -u\Delta u=0$ with $u(0,\cdot)=1$

Is there anything known about uniqueness of classical solutions to
$$
\partial_t u -u\Delta u=0\quad u(0,\cdot)=1
$$
on smooth domains $[0,T]\times D$ without boundary conditions? I know that ...

**7**

votes

**2**answers

106 views

### Simple question: different definitions of Bousfield localization

I am not an expert on model categories and I am getting lost with two different definitions I have found on Bousfield localizations. I don't see the link between them.
First definition: Let ...

**2**

votes

**1**answer

61 views

### Complexity of Deciding Feasibility of a system of linear inequalities over restricted variables

I am working out an interesting problem and would like some help with this particular sub problem:
Suppose we have a matrix $ M =\left\lbrace a_{ij}\right\rbrace $ of size $n\times m$ where $ ...

**6**

votes

**0**answers

102 views

### Improving Baumgartner's result?

Q1: Is it consistent with the failure of CH to have an $\aleph_1$-dense subset $A \subseteq \mathbb{R}$ such that for every $X \subseteq \mathbb{R}$ of size $\aleph_1$, there is a $C^{\infty}$ map $F: ...

**-1**

votes

**0**answers

38 views

### Alternative Geometries [migrated]

In our world, the distance between two points (in 2d) is defined as $\sqrt{(\Delta x)^2 + (\Delta y)^2}$. Suppose that in an alternative geometry, it was defined as $\sqrt[p]{|\Delta x|^p + |\Delta ...

**5**

votes

**3**answers

227 views

### family of polynomials with square discriminant

The title pretty much sums it up: do people know of nice parametrized families of polynomials (with integer coefficients) with square discriminant. I should say that one such family consists of ...

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

**4**

votes

**0**answers

142 views

### What is known about the large cardinal strength of Shelah's categoricity conjecture?

Shelah's categoricity conjecture states that for every Abstract Elementary Class $\mathcal{K}$ there is a cardinal $\mu$ depending only on $\operatorname{LS}(K)$ (i.e. the Löwenheim–Skolem number of ...

**0**

votes

**0**answers

64 views

### Brunn-Minkowski Inequality : References request or A Particular Example of a 2 dimensional set

I had this question on Mathematics StackExchange unanswered for a month or so. Hence, it came here which it seems is a more natural place.
I have an inequality - $(R_{C+D})^{2} \geqslant (R_{C})^{2} ...

**0**

votes

**0**answers

48 views

### Simplicial approximation diagram [on hold]

Let $K$ and $L$ be simplicial complexes as given, and let $\phi:|K|\to|L|$ be the continuous map, where $A=\phi(a)$, $B=\phi(b)$, and so on.
Check whether the map $\phi$ has a simplicial ...

**2**

votes

**3**answers

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

**4**

votes

**1**answer

140 views

### Does the nearby cycle functor commute with the Verdier duality?

I would be interested to know the answer to the above question for the constructible bounded derived category on complex analytic or complex algebraic manifolds (or some other context). A reference ...

**0**

votes

**0**answers

195 views

### relation between algebraic geometry and complex geometry

As a complex manifold $\mathbb{P}^n$ is locally the euclidean space $\mathbb{C}^n$, as a projective variety it is locally $\mathbb{C}^n$ with the Zariski topology, as a scheme it is locally ...

**3**

votes

**1**answer

68 views

### Horn's spectrum problem with random Hermitian matrices

An important problem in matrix analysis, completely solved in the early 2000's by A. Knutson & T. Tao (The honeycomb model of GLn(C) tensor products. I. Proof of the
saturation conjecture. J. ...

**14**

votes

**3**answers

854 views

### Number theory and physics

I was following some lectures by Edward Frenkel about Langlands correspondence. He was describing some analogies between number theory and theoretical physics (Mirror symmetry). At some point ( my ...

**29**

votes

**3**answers

1k views

### When is an erratum necessary?

A typo, a spelling error etc., in a published article, is definitely not enough for issuing an erratum.
If a mistake destroys a main result, then an erratum is definitely necessary, and the proof ...

**18**

votes

**2**answers

561 views

### Rational points on the “quintic circle” $x^5 + y^5 = 7$

I suspect that the curve $x^5 + y^5=7$ has no $\mathbb Q$ points, and a brief computer search verifies this hypothesis for denominators up to $10^4$. What techniques can be used to show that there are ...

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

**2**

votes

**0**answers

54 views

### When is $\left[\begin{smallmatrix} D_1 & B \\\\ -B^T & D_2 \end{smallmatrix} \right]$ $\mathbb{R}$-diagonalizable?

Is there some block-wise characterization of $\mathbb{R}$-diagonalizability (by similarities) of
$$\begin{bmatrix} D_1 & B \\\\ -B^T & D_2 \end{bmatrix},$$
where $D_1$ and $D_2$ are real ...

**0**

votes

**0**answers

53 views

### Prove or disprove a monotonicity property of a certain convex optimization problem

Let $R = (r_{ij})$ be an $n\times k$ real matrix with only positive entries,
and consider the convex optimization problem
$\max f(x) = \sum_{i=1}^n \log \sum_{j=1}^k r_{ij} x_j$
such that ...

**1**

vote

**0**answers

66 views

### Does $\mathfrak{P}(A)\cong\mathfrak{P}(B)$ imply $A\cong B$? [duplicate]

Does $\mathfrak{P}(A)\cong\mathfrak{P}(B)\implies A\cong B$ hold for arbitrary sets $A, B$?
Notation:
We write $\mathfrak{P}(M)$ to denote the power set of a set $M$.
$M_1\cong M_2$ is just an ...

**-1**

votes

**0**answers

67 views

### A statistical conundrum [on hold]

I have a statistical problem in a domain that I can not talk about due to a NDA. However, I have worked out how to describe an exactly analogous problem as follows.
You are in charge of record ...

**0**

votes

**0**answers

75 views

### Prove that k ≤ log2N [on hold]

I have the following problem and I don't know where to star:
Let n ≥ 2 and let n = p1p2...pk be its prime factorization, where the primes are not necessarily distinct. Prove that k ≤ log2N (hint: ...

**6**

votes

**2**answers

298 views

### Is this almost-cosimplicial object familiar?

I have a sequence $X_0,X_1,\ldots$ of Abelian groups, along with face maps $d_0,\ldots, d_n: X_{n-1}\to X_n$ which satisfy the standard cosimplicial identities EXCEPT at the very bottom, where in ...

**1**

vote

**1**answer

223 views

### rational numbers and triangular numbers

This question is an offshoot of Ratio of triangular numbers. Suppose $ka(a+1)=nb(b+1)$, where $k,n >1$ are relative prime integers, and $a,b \geq 0$ are integers. Which $k,n$ pairs have no solution ...

**4**

votes

**1**answer

50 views

### Proving moduli of uniform continuity in RCA_0

Simpson's Subsystems of Second Order Arithmetic (pp. 134ff.) uses RCA$_0$ to prove various theorems of analysis for all continuous functions with a suitable modulus of uniform continuity. And he ...

**1**

vote

**0**answers

84 views

### Equivariant form of Nagata's compactification theorem?

Given a finite group $G$ acting on an algebraic variety $X$ (let's say over $\mathbb C$, if that helps), is there always a proper variety $\bar X$ with a $G$ action such that $X \to \bar X$ is a ...

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

49 views

### expressing in terms of sum of (double) schubert polynomial

It is well known that Schubert polynomials form a basis for the polynomial ring $\mathbb{Z}[x_1,x_2,x_3,...]$.
I am interested in knowing how to express a particular polynomial into sum of Schubert ...

**5**

votes

**1**answer

187 views

### number of maximal subgroups of the symmetric group

What is the asymptotics of the number of the maximal subgroups of $S_n$ (as a function of $n$)? This must be written down somewhere...
EDIT I am actually more interested in the number of conjugacy ...

**5**

votes

**1**answer

220 views

### Which Banach spaces are realcompact?

I have a question about the topological space underlying a Banach space.
A topological space $X$ is realcompact iff it is homeomorphic to a closed subset of an infinite product of the form $\mathbb ...

**2**

votes

**2**answers

132 views

### Bound that random walk stays within with constant probability?

For one-dimensional random walk, it is well-known that if the walk goes for $n$ steps, with constant probability it ends within $\pm\sqrt{n}$.
What is the bound, in terms of $n$, such that if the ...

**3**

votes

**2**answers

278 views

### Subgroups of hyperbolic groups

Let $G$ be a finitely generated hyperbolic group, and let $H \leq G$ be a subgroup whose profinite completion is finitely generated. Must $H$ be finitely generated?
In view of Ian Agol's answer, I ...

**6**

votes

**0**answers

47 views

### Compute the index of the Dirac operator on $C_0(R^2)$ to obtain Bott element in $K_0$

I am studying the paper of Baum-Connes-Higson to understand the Connes-Kasparov conjecture. In example 4.23, they discuss the case $G=\mathbb{R}^2$. I have constructed the Dirac operator, but I’m ...

**0**

votes

**0**answers

61 views

### Why are these two gamma functions equal? [on hold]

$\gamma_{1}(s)=\pi^{\frac{1}{2}-s}\frac{\Gamma(\frac{s}{2})}{\Gamma(\frac{1}{2}(1-s))}$
$\gamma_{2}(s)=(\frac{b}{2\pi})^{\frac{1}{2}-a} e^{-2i\theta(b)}$
,where $s=a+bi$
I calculated ...

**4**

votes

**0**answers

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

**12**

votes

**2**answers

287 views

### When is the closed unit ball in a smaller Banach space closed in a larger Banach space?

Recently I saw an interesting lemma:
For any $s>0$, the closed unit ball in $H^s$ is also closed in the $L^2$ norm. That is, suppose $u_j\in H^s$ and $\|u_j\|_{H^s}\le 1$. Suppose $u_j\to u$ in ...

**1**

vote

**0**answers

23 views

### Relation between Aitchison Distance on a Simplex and Geodesic distance on the multinomial manifold [on hold]

I am trying to understand the difference/relation between the Aitchison distance on a simplex
$$\left[ \sum^D_{k=1} (\log{\frac{x_{ik}}{g(\mathbf{x}_i)}} - \log{\frac{x_{jk}}{g(\mathbf{x}_j)}})^2 ...

**0**

votes

**0**answers

17 views

### Fractal Dimension Estimate from Hurst Paramater using Higuchi's Algorithm [on hold]

I am using R Stats package to calculate the Hurst parameter of my Center of Pressure Data set. I am using Higuchi's Algorithm to calculate it. I went and read his paper and saw that "index H is ...

**1**

vote

**1**answer

74 views

### How to prove the Hölder continuity of a function $u$ by evaluating $\int_{B_{\rho}(x_0)}\frac{|Du(x)|^{2}}{|x-x_0|^{n-2}} dx$?

I'm looking at a video on thin obstacle problem given by Arshak Petrosyan.
In his lecture, he uses the following results:
Let $0<\alpha<1$, and $B_1$ be the unit ball centered at origin in ...

**0**

votes

**0**answers

19 views

### regularization and conversion of sgn(x) to difference of convex [on hold]

sgn(x) or sign function has discontinuity in 0 which make it nonconvex function.
however i have tried to represet sgn(x) as a limit for a sequence of converging function which are smooth and ...

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

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

**3**

votes

**1**answer

51 views

### Convergence of local stable manifolds

This question is a kind of local version of a previous post (MO224171).
Let $\ f_n \ $ be a sequence of Morse functions on $\mathbb{R}^d$, converging, in the $C^\infty$-topology, to a limit Morse ...

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