# All Questions

**6**

votes

**1**answer

48 views

### Completely positive maps-equivalent definition

The most usual definition of the completely positive map (c.p.) between two C*-algebras (say, unital) is the following: $\sigma: A \to B$ should satisfy $\sigma(1)=1$ and for each $n \in \mathbb{N}$ ...

**3**

votes

**1**answer

189 views

### Affine hulls and base change

Let $S$ be a scheme. We consider the functor, called affine hull, from the category of quasicompact and quasiseparated $S$-schemes to the category of affine $S$-schemes, defined as a left adjoint to ...

**-2**

votes

**0**answers

14 views

### Finding Distance with Missing Coordinate Set [on hold]

I have a line that runs through the orgin with a slope of 2, with a distance of 5 from the orgin what are the coordinates and how did you solve?
I did some searching online and only found lectures on ...

**0**

votes

**0**answers

29 views

### Relation between long exact sequences and Derived functors

I know that if i have a short exact sequence of chain complexes
$$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$
then i can extend it to long exact sequence of homology groups as
...

**5**

votes

**0**answers

92 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
...

**-1**

votes

**0**answers

10 views

### impossibility and mode of convergence

I have $\mathrm{Pr}(a>b)=0$ with $b\in[0,\infty]$, then can i have $a<0$? If this is true, which type of convergence is this?

**39**

votes

**2**answers

4k views

### A question about ordinal definable real numbers

If ZFC (Zermelo-Fraenkel set theory with the Axiom of Choice) is consistent, does it remain consistent
when the following statement is added to it as a new axiom?
"There exists a denumerably ...

**-2**

votes

**0**answers

58 views

### Convergence of empirical random variable [on hold]

Let $X$ be a RV on the real line, of probability measure $P_X$, and let $\{X_n; n=1,...,N\}$ be an iid sample from $P_X$. Let $\hat X_N$ be the RV that samples from $\{X_n; n=1,...,N\}$. I.e. its ...

**1**

vote

**0**answers

122 views

### Quotes from Connes

I found the following remark by Connes HERE:
"the main quality of the homotopy type of a manifold is to satisfy Poincare duality not only in ordinary homology but in K-homology with the Fredholm ...

**3**

votes

**0**answers

87 views

### Homotopy type of a locally contractible compact

Does a locally contractible compact space have the homotopy type of a finite CW complex? (I think it probably does, but I need a reference anyway.)
EDIT: My intuition was wrong [to see why, read ...

**9**

votes

**2**answers

264 views

### Ideal classes fixed by the Galois group

Let $K$ be a number field and let $G$ be the group of automorphisms of $K$ over $\mathbf Q$. The group $G$ acts in a natural way on the ideal class group of $K$. I would like to know if there are any ...

**0**

votes

**1**answer

87 views

### Dimension of Commutator Space

For each $n\times n$ matrix $A$ with real entries the set
$$C(A)=\{X\in M_n(\mathbb{R}): AX=XA\}$$
is obviously a linear subspace of $M_n(\mathbb{R})$.
Can we recognize the dimension of this ...

**7**

votes

**1**answer

142 views

### Are the quaternions not uncountably categorical?

Boris Zilber has argued that the field of the complex numbers is "logically perfect". For one thing, the theory of an algebraically closed field of characteristic zero is uncountably categorical: it ...

**1**

vote

**1**answer

87 views

### Approximating rational values in ]0,1[ by a sum or difference of unit fractions

Let $U=\{\frac{1}{n}: n\in\mathbb{N}\} \cup \{-\frac{1}{n}: n\in\mathbb{N}\}$ be the set of positive and negative unit fractions.
Are there positive integers $m<n \in \mathbb{N}$, such that for ...

**7**

votes

**2**answers

210 views

### Elliptic curves with trace of Frobenius values always congruent to 0 modulo 2

Let $E/\mathbb{Q}$ be an elliptic curve and suppose that the trace of Frobenius values are such that $a_{p}(E) \equiv 0 \pmod{2}$ for all odd primes avoiding the conductor. Is it the case that $E$ ...

**16**

votes

**1**answer

830 views

### Numbers of distinct products obtained by permuting the factors

Let $n \in \mathbb{N}$. Is it true that for every $k \in \{1, \dots, n!\}$ there are
some group $G$ and pairwise distinct elements $g_1, \dots, g_n \in G$ such that the set
$\{g_{\sigma(1)} \cdot \ ...

**9**

votes

**1**answer

109 views

### Probing the generalization of the abc conjecture to more than 3 variables

Browkin and Brzezinski, in "Some remarks on the $abc$-conjecture", Math. Comp. 62 (1994), no. 206, 931–939, state the following generalization of the $abc$ conjecture to more than three variables:
...

**-3**

votes

**1**answer

152 views

### When are two algorithms essentially the same?

Inspired by Blass/Dershowitz/Gurevich's paper When are two algorithms the same? (which was referenced in another context here) I tried to boil down the question to the following situation:
Consider ...

**0**

votes

**0**answers

61 views

### Any result, example or conjecture about the computational complexity of transcendental number that can not be computed by linear time Turing Machine [on hold]

The Hartmanis-Stearns Conjecture is restated by Prof.Lipton as:
Suppose that a linear time Turing Machine computes the first $n$ digits of the real number $r$ in base ten. Then, the number is either a ...

**7**

votes

**1**answer

139 views

### Maximum length of a chain of topologies on $\Bbb R$

Let $\frak T$ be a totally ordered set of topologies on $\Bbb R$.
Is $|\frak T|\le |\Bbb R|$?

**5**

votes

**1**answer

117 views

### Adams e-invariant

In "On the Groups J(X) - IV", Adams introduces the $e$-invariant, which turns out to be closely connected to the image of the $J$-homomorphism, but he introduces it in a more general setting. He has ...

**14**

votes

**1**answer

303 views

### partition of infinite word onto permitted words

Consider words over binary alphabet $\{0,1\}$. Let $M$ be a set of finite words such that $M$ contains at least $c\cdot 2^n$ words of length $n$ for all large enough $n$ (for a constant $c$, ...

**0**

votes

**0**answers

46 views

### Are there any relevance between coefficients of simple continued fraction of quadradic algebraic number and algebraic number with degree $2^n$

Let $\sqrt{c}$ be quadratic algebraic number, We know that $[a_0;a_1,a_2,\dots ]$ the coefficients of simple continued fraction of $\sqrt{c}$ the quadratic algebraic number is periodical. ...

**1**

vote

**0**answers

79 views

### varieties whose canonical bundle has finite order in Pic?

Is there a structure theorem for such varieties?
If X is a smooth and proper/projective variety whose canonical bundle $\omega_X$ has finite order in the Picard group, do we know anything about X?
...

**0**

votes

**1**answer

183 views

### irreducible etale cover of a blowup

Let $X\rightarrow Y$ be a smooth morphism of schemes and consider the blowup of the fiber product along the diagonal, $W:=Bl_{\Delta}X\times_Y X$.
a.Does there exist a collection of smooth morphisms ...

**3**

votes

**2**answers

172 views

### Convergence of iterated stochastic matrices

It is well-known that for a stochastic aperiodic matrix $M$,
the sequence $(M^n)_n$ converges.
Here I would like to a have a more precise analysis. Consider now a sequence of stochastic matrices ...

**11**

votes

**1**answer

199 views

### construction of nonmeasurable sets

I have a history question for which I've had trouble finding a good answer.
The common story about nonmeasurable sets is that Vitali showed that one existed using the Axiom of Choice, and Lebesgue et ...

**2**

votes

**1**answer

71 views

### Decay rate of the convolution of two functions

Let $f(x)=e^{-\frac{x^2}{2}}$ ($x\in\mathbb{R}$), and $g\in C^{\infty}(\mathbb{R})$ with $|g(x)|=O(e^{-k|x|^{\gamma}})$ as $|x|\to\infty$, for $k>0$, $\gamma>0$. Let $h=f*g$, the convolution of ...

**-3**

votes

**0**answers

82 views

### Numbers half way between two primes [on hold]

Is every integer greater than 3 half way between two primes?

**7**

votes

**0**answers

81 views

### Cubic fields correspond to $3$-torsion ideals in quadratic fields, or to order $3$ characters of quadratic class groups?

I was watching Dick Gross's laudation for Manjul Bhargava, followed up by one of Bhargava's talks, and I realized I was confused about something.
Bhargava says (around 21 minutes) that the orbits of ...

**5**

votes

**1**answer

188 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**-4**

votes

**0**answers

29 views

### Adjoint quotient in terms of a Chevalley basis

Has anyone put the adjoint quotient (of a Lie algebra) in terms of a Chevalley basis? If so, do you have a reference?

**0**

votes

**2**answers

225 views

### Fixed point problem with a monotone vector as a fixed point?

Suppose $F : [0,1]^n \to [0,1]^n$ is continuously differentiable and $0 < \frac{\partial F_1}{\partial x_i} \leq \dots \leq \frac{\partial F_n}{\partial x_i} < \beta < 1$ for all $i ...

**3**

votes

**0**answers

170 views

### Symmetry on a sphere

Let $u$ be a smooth function on the sphere $S^2$. Suppose there exists $C>0$ such that for all $R \in SO(3)$, the area of every nonempty connected component of $\{x\in S^2: u(x)> u(Rx)\}$ is at ...

**5**

votes

**0**answers

65 views

### Can Suslin lines ever be orderings of abelian groups?

I am interested in realizing linear orders as orderings of abelian groups. In particular, can Suslin lines (and other classes of line) be realised in this way?
Let $\mathcal{C}$ be a class of ...

**0**

votes

**0**answers

59 views

### Bound for an integral in complex analysis

Define $S^1:=\{z\in \mathbb C: |z|=1\}$ and suppose $f(z)=\frac{1-\overline{\lambda} z}{\lambda-z}$ for some $\lambda \in \mathbb C, |\lambda|<1.$ Let $z_0$ be the fixed point of $f$ in $S^1$ and ...

**2**

votes

**3**answers

126 views

### How to Express Undirected Integration

Is there an agreed way of expressing undirected integration in formulas?
my idea of doing so would be to use the absolute value of the differential
$$\int_a^b f(x)|dx| = \int_b^a f(x)|dx|$$
but I ...

**-2**

votes

**0**answers

60 views

### Is there an example of an SDE that has no weak solution?

So far I couldn't find an example for an SDE for which there exists no weak solution. Do you know one?

**2**

votes

**1**answer

50 views

### Coloring graph such that the coloring classes are not maximal independent sets

Let $G$ be a (finite or infinite) simple graph. We let $\mathrm{Ind}(G)$ be the collection of independent sets. For any cardinal $\kappa$ and coloring map $\chi: G\to \kappa$ we have ...

**0**

votes

**0**answers

37 views

### Conditional probabilities in epidemic model

I was contemplating an epidemic model where infection and recovery rates are determined by links. Here node $i$ is infected first and recovers at a rate $\mu_i$. For all other nodes, the recovery is ...

**15**

votes

**4**answers

538 views

+50

### What arrangement of unit cubes minimizes surface area?

Question A. How does one arrange $n$ unit cubes to minimize surface area?
Question B. How does one arrange $n$ unit cubes to form a rectangular prism of minimal surface area?
Various curricular ...

**5**

votes

**1**answer

73 views

### Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...

**4**

votes

**0**answers

113 views

+50

### Probability of matching under cyclic permutations

In A conjecture about the entropy of matrix vector products I asked a conjecture relating to the entropy of a matrix-vector product. This conjecture is as yet unproven. domotorp then made another ...

**2**

votes

**0**answers

37 views

### Image of the typenorm contains the squares

I am having a look at the paper Explicit CM-theory for level 2-structures on abelian surfaces by Bröker, Gruenewald and Lauter, and there is an argument which I don't understand. The main reason being ...

**3**

votes

**0**answers

48 views

### Coloring summands of given n-partition with given weights of colors

Let $\lambda$ and $\sigma$ be n-partitions $\lambda_1+\lambda_2+\cdots+\lambda_l=n$ and $\sigma_1+\sigma_2+\cdots+\sigma_s=n$
Then let $M_{\lambda \sigma}$ be the number of ways to colour blocks of ...

**47**

votes

**11**answers

3k views

### Why is Set, and not Rel, so ubiquitous in mathematics?

The concept of relation in the history of mathematics, either consciously or not, has always been important: think of order relations or equivalence relations.
Why was there the necessity of singling ...

**0**

votes

**1**answer

175 views

### Limits of functions with converging zeros

What can one say about the derivatives of a smooth function of several variables that is a limit of smooth functions with converging zeros?
More precisely, suppose that $f_i: R^n \to R^m$ is a ...

**5**

votes

**2**answers

197 views

### What are TQFTs that are multiplicative under connected sums? Do bordisms with connected sum as monoidal product exist?

In general, one extracts a manifold invariant from a TQFT by interpreting the closed manifold as a bordism from the empty set to the empty set. The TQFT sends this bordism to a homomorphism of the ...

**0**

votes

**0**answers

117 views

### Applications of infinite permutations [on hold]

I was looking at approximation in the forlmula of Products of necklaces:
$n \to \infty$ we have $\prod_{p=1}^n N(p,a) \approx \frac {a^n} {n!}$ $\prod_{p=1}^n \frac {1-a^p} {1-a}$. (The number of ...

**-1**

votes

**1**answer

34 views

### Parallel transport along a reparametrized geodesic

Let $M$ denote a Riemannian manifold, $\gamma$ a geodesic of $M$ defined on $\mathbb{R}$. Let $t_{0} \in \mathbb{R}$ and $(\alpha,\beta) \in \mathbb{R}^{2}$. I define the reparametrized geodesic ...