**0**

votes

**0**answers

9 views

### Algebraic independence criterion

Is there any criterion for checking algebraic independence of a set of polynomials in $n$ variables in terms of the leading monomials with respect to some monomial order ? The Jacobian criterion is ...

**0**

votes

**0**answers

16 views

### Tight binomial left tail bound

Let $X \sim \text{Bin}(n,p)$. Wikipedia claims
$$\mathbf P[X \leq (p-\epsilon)n ] \leq e^{ - 2 \epsilon^2 n}.$$
This follows from Hoeffding's inequality ...

**1**

vote

**0**answers

39 views

### Is the positive existential theory undecidable?

Could you tell if the positive existential theory of $\mathbb{C}[e^{\mu x} \mid \mu \in \mathbb{C}]$ is undecidable in the language $\{+, \cdot , \frac{d}{dx} , 0, 1, e^x\}$ ?
How can we prove the ...

**5**

votes

**0**answers

57 views

### If $k$ is an algebraically closed field of any characteristic, then the fundamental group of $A$ is abelian

This is a followup to my earlier question, see here.
I am curious as to whether or not we can, in a similar way, show that if $k$ is an algebraically closed field (of any characteristic) then the ...

**0**

votes

**0**answers

22 views

### Simplicial approximation diagram

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

**5**

votes

**1**answer

82 views

### all subsets borel

Assume Martin's axiom plus $\neg CH$. It is well known, via almost disjoint forcing, that every set of reals of size less than continuum is an example of a metric space whose subsets are all ...

**0**

votes

**0**answers

13 views

### F-points of product of closed subgroups vs. product of F-points, F a local field, reference?

Let $F$ be a finite extension of $\mathbb Q_p$, where p is an odd prime. Let $G$ be a connected reductive group defined over $F$. Let $M, H$ be closed $F$-subgroups of $G$ (in particular, I'm ...

**4**

votes

**2**answers

65 views

### What characterizations of relative information are known?

Given two probability distributions $p,q$ on a finite set $X$, the quantity variously known as relative information, relative entropy, information gain or Kullback–Leibler divergence is defined ...

**5**

votes

**0**answers

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

**3**

votes

**2**answers

132 views

### Can all the sporadic groups be expressed as permutation groups based on a single big cycle?

Working on M11, I came up with that it can be generated using the following permutations:
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
[[2, 0, 1, 7], [3, 4, 5, 6]]
[[4, 0, 6, 7], [2, 3, 1, 5]]
[[0, 7], [4, 6], ...

**7**

votes

**2**answers

84 views

### Factorization of a matrix as a product of a symmetric and a skew-symmetric matrix

When can an $n\times n$ matrix $M$ be written as a product $M=AB$, where $A^T=A$ and $B^T=-B$?
For example, a necessary condition is that the trace of $M$ vanishes. In this case, it is easy ...

**-1**

votes

**0**answers

93 views

### The difference between Hilbert Scheme and Chow Scheme

I am confused by Hilbert Scheme and Chow Scheme. Whenever you have a point in hilbert scheme, take its fiber in the universal family and take its fumdamental class, we get a point in Chow Scheme; and ...

**0**

votes

**1**answer

60 views

### Time Hierarchy Theorem and P vs NP

One obvious strategy for proving P not equal to NP would be to show that there is some problem in NP which is hard for a time class strictly containing P (the origin of this question is the recent ...

**5**

votes

**0**answers

100 views

### Grothendieck's paper on principal bundles, reduction to a torus step

In Grothendieck's paper "Sur la Classification des Fibres Holomorphes sur la Sphere de Riemann", there is a step I don't understand in section 4, where he proves reduction to a torus. He states (lemma ...

**1**

vote

**0**answers

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

**4**

votes

**0**answers

35 views

### Equalizing Geometric means of Graph Cycles

Consider a strongly connected directed graph $G$. I have been stuck on the following question: can you assign real numbers in $[0,1]$ to each edge of $G$ so that the geometric mean of all cycles are ...

**0**

votes

**0**answers

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

**3**

votes

**0**answers

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

**-1**

votes

**0**answers

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

**1**

vote

**0**answers

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

**0**

votes

**0**answers

9 views

### Proofing Analytic continuation and stationary increments of an exponential Family

In U.Küchler "Exponential Families of Stochastic Processes" 1997 Theorem 4.2.1 we have the following setup.
Let $(\Omega,\mathcal{F},(\mathcal{F}_{t})_{t\geq0})$ be a filtered measurable space. Let ...

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**2**

votes

**1**answer

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

**1**

vote

**0**answers

17 views

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

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

**4**

votes

**1**answer

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

**4**

votes

**0**answers

50 views

### Strongly real elements of odd order in sporadic finite simple groups

Recall that an element of a finite group is said to be real if it is conjugate to its inverse, and strongly real if the conjugating element can be chosen to be an involution.
Question: Is it true ...

**-2**

votes

**0**answers

98 views

### Linear forms that avoid numbers with lot of factors

Is following true?
For every given $c>0$ there is an $n_c>0$ such that for every $n>n_c$ there are integers $n<a,b<2n$ such that there are two positive integers $\frac{n}{2(\log ...

**3**

votes

**1**answer

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

**0**

votes

**0**answers

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

**5**

votes

**0**answers

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

**5**

votes

**1**answer

221 views

### P.G.Goerss, J.F.Jardine, “Simplicial Homotopy Theory” prerequisites

I know that such questions may be better suited for math.stackexchange, but I believe that that the topic of simplicial homotopy theory is advanced enough for mathoverflow.
Besides, I know that there ...

**1**

vote

**1**answer

102 views

### Jensen formula in $\mathbb{C}^n$?

Let $f:\mathbb{C}\to\mathbb{C}$ be an entire function with zero set $X\subset \mathbb{C}$. Jensen's formula reads
$$
\log(|f(0)|)+\int_0^R\frac{|X\cap B_t(0)|}{t}dt = ...

**1**

vote

**0**answers

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

**6**

votes

**2**answers

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

**0**

votes

**1**answer

33 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

37 views

### Has every Lusin vector space a stronger Polish vector space topology?

Let $X$ be a topological vector space or even a locally convex space such that its (vector space) topology is Lusin, i.e. there is some stronger Polish topology. Does there also exist a stronger ...

**0**

votes

**0**answers

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

**13**

votes

**1**answer

264 views

### Okounkov-Vershik approach to representation theory of $S_n$

This is a rather soft question. I was wondering if someone could explain on a fundamental and intuitive level, what the Okounkov-Vershik approach to representation theory of $S_n$ is all about. It's ...

**0**

votes

**0**answers

27 views

### Implicit feature space of Power Kernel

For the polynomial kernel, $K(x,y) = (x^Ty+c)^d$, the implicit feature space $\phi$ for which $K(x,y) = \phi(x)^T \phi(y)$ is of finite dimension and well known [1][2].
It is also well known that the ...

**8**

votes

**2**answers

503 views

### A new result on the Diophantine equation $x^3 + y^3 +z^3 = 3$

The above Diophantine equation is unknown to have any further integer solutions other than $(x, y, z) = (1, 1, 1)$ and $(4, 4, -5)$.
I am a prospective undergraduate mathematics student in Zimbabwe ...

**3**

votes

**1**answer

122 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

10 views

### Monotonicity per dimension of multivariate scattered data

For my thesis, I am working on interpolation using the RBF method (Radial Basis Functions). Before interpolating, I want some a priori insight into the data, for example check in which dimensions it ...

**0**

votes

**1**answer

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

**0**

votes

**0**answers

36 views

### Brunn-Minkowski Inequality : A Partucular 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

22 views

### The non-singular controls always in neighbourhood of singular controls?

Consider the case of a right invariant affine distribution: $D_{U} = \{ aU + \lambda bU | a,b \in \mathfrak{su}(n), \lambda \in \mathbb{R} \}$ on $SU(4)$.
Consider the equations:
...

**3**

votes

**1**answer

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

**-5**

votes

**0**answers

33 views

### find a formula for a vector using a cartesian equation of a sphere [on hold]

I've this exercise and i'm stuck, I'l appreciate any help.
...

**3**

votes

**0**answers

57 views

### Reference on the classification of (low rank) Gorenstein rings over $\mathbb{C}$

I am interested in the question of the classification of (low rank) Gorenstein rings over $\mathbb{C}$. The socle of a local algebra is the annihilator of its maximal ideal. A commutative local ring ...

**0**

votes

**0**answers

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