# All Questions

120 views

### Is the ISC kaput [on hold]

The very useful Inverse Symbolic Calculator is showing me this What's up? multiple choice (a) No, it's fine at that address: idiot Edgar did something wrong... (b) It is off-line at that ...
173 views

### Disruptive innovations in mathematical notations [on hold]

I am wondering whether there are examples of mathematical notations that, once introduced, have drastically changed or simplified the way to address a problem or a mathematical area, or that have ...
74 views

### Complexity Dick Word in Turing Machine single tape [on hold]

(I precise I don't have a good level in english so I can rewrite if you want) The probleme : I just have two symbols O(open) for "(" and C(close) for ")" The probleme consist to implement an ...
36 views

### Connectedness of the symplectic automorphism of the 2-sphere $S^2$

The 2-sphere, endowed with the round Riemann metric with constant curvature 1, is a symplectic manifolds. My question is: Is the group of symplectic automorphisms of $S^2$ with respect to this ...
99 views

176 views

### Conjecture Reference Request

If Second Hardy-Littlewood Conjecture is true then we can claim that $\pi(x)-\pi(y)\leq \pi(x-y)$. Thus the conjecture gives an upper bound for the number of primes between $x$ and $y$. I have found ...
100 views

### a question about minimal non-abelian groups

Let $G$ be a minimal non-abelian group with cyclic Sylow $p$-subgroup $P$ and normal Sylow $q$-subgroup $Q$ , see [ Huppert, Endlich Gruppen I, Aufgaben III, 5.14]. My quesion is, if there is another ...
690 views

95 views

### Does $\mathsf{fReR}_0$ prove the existence of the cartesian product of two sets

$\mathsf{fReR}_0$ is the set-theoretical system whose axioms consist of: (1) Axiom of extensionality: $\forall z\in x\ (z\in y)\wedge\forall z\in y\ (z\in x)\rightarrow x=y$ (2) Axiom of empty set: ...
101 views

### Equations over $\mathbb{Z}[[T]]$ vs. equations over $\mathbb{Z}_p$

This question might be deemed totally unanswerable, unless there is an obvious counterexample. Answers to either effect would be welcome. Question. Let $X$ be a finite-type scheme over ...
37 views

### Cohomological dimension of transcendental p-adic extensions

Let $k = \mathbb{Q}_p$ for any prime $p$ and set $L = k(t_1,..,t_n)$. The u-invariant of a field $u(k)$ is defined by $u(k):=\{ max (\mathrm{rank}(q))$ | $q$ is anisotropic over $k\}$. It is ...
169 views

### A metric associated with a continuous surjective map $f:X\to Y$

Assume that $f:(X,d_{1})\to (Y,d_{2})$ is a continuous surjective map between compact metric spaces. We define another metric $d_{f}$ on $Y$ With $$d_{f}(a,b)=Hd(f^{-1}(x), f^{-1}(y))$$ ...
235 views

### Characterizing the real analytic Eisenstein series

Consider the classical real analytic Eisenstein series $$E(z,s)=\left(\pi^{-s}\Gamma(s)\frac{1}{2}\right)\sum_{(m,n)\neq(0,0)}\frac{y^s}{|mz+n|^{2s}},$$ where $z=x+iy$. We think of $E(z,s)$ as a ...
68 views

### Zero-mean assumptions concerning r.d.'s when reading graduate-level probability texts [on hold]

I'm reading through T. Taos book on random matrices (to be found here), and it is frequent to make without-loss-of-generality certain reductions when proving theorems as for example Hoeffdings ...
56 views

### Nagakami behavoir

Is the sum of square Nagakami random variables Erlang distributed? What is the distribution of euclidean norm of complex Nagakami? Cheers!
53 views

### Help in finding distribution of the following function of random variable

Let $X_1$ and $X_2$ be independent complex Gaussian random variables, $$X_1 \sim \mathcal{CN}(0,\sigma)$$ $$X_2 \sim \mathcal{CN}(0,\sigma)$$ If $X= aX_1 + bX_2$ where $a,b$ are constants then the ...
48 views

### What is induction to n^(n-1) >= n! for n=9,10 [on hold]

Can somebody help me? How do I prove n^(n-1) >= n! for n=9,10..... by induction?
155 views

### A homological criterion for collapsibility?

On page 256 of Kirby and Siebenmann one finds the following lemma (its proof an "elementary exercise", so they only give a hint): Taking $A$ to be a point and iterating this collapsing lemma, this ...
247 views

### Parity of primes [duplicate]

While working on a completely different (combinatorial) problem, I ran a simple program to calculate the parity of the first ~50000 primes (number of 1s in their binary representation modulo 2). The ...
116 views

### Are sums of 0-1 Pareto efficient vectors Pareto efficient?

Does there exist an $m \times n$ matrix $A$ and a vector $x \in \mathbb{R}^m$ such that: The entries of $A$ are $\in \{0, 1\}$. For all pairs of columns $u, v$ of $A$ the entries of $u - v$ are ...
243 views

### Dimension of Hilbert scheme?

I have a subvariety $V \subset X$, and I want to compute the dimension of the connected component of $\textrm{Hilb}(X)$ containing $[V]$. I can give explicit deformations of $V$ showing that the ...
235 views

### Are there examples of families of objects which are canonically isomorphic, but where diagrams of canonical isomorphisms don't commute?

Specifically, are there "nice" (ie, not too obscure or contrived) examples of families of objects, where say for each objects $A,B,C$ in the family, the canonical isomorphism from $A\rightarrow C$ is ...
64 views

### Spectral sequence and HOM functor

I work with the category $A-{\rm Mod}$ of left modules over a unital ring $A$, but I could ask the same question for any abelian category with enough projectives. Let $M$ and $N$ be two $A$-modules ...
29 views

### Number of graphs with n vertices and k edges up to isomorphy [duplicate]

Is there a way to figure out the number of individual graphs with n vertices and k edges up to isomorphy? I'm particularly looking at graphs with: n = 25, k = 50 n = 50, k = 170 n = 100, k = 700
Does anyone help me in the following question? I have a sequence of probability measures $\mu_n$ and know that $\mu_n$ converges narrowly to a probability measure $\mu$. Is there any way to estimate ...