11
votes
3answers
319 views
What fraction of n-point sets in the unit ball have diameter smaller than 1?
This question is inspired by a recent talk by Matt Kahle on random geometric complexes.
Some simple notation: let $\mathcal{B} \subset \mathbb{R}^d$ be the unit ball in $d$-dimen …
5
votes
2answers
131 views
Can we efficiently compute a third Nash Equilibrium, given two?
A finite, two-player, nondegenerate, symmetric game is defined by a nondegenerate $n \times n$ payoff matrix $A$. If player 1 plays strategy $i$ and player 2 plays strategy $j$, t …
7
votes
1answer
124 views
Discrete Morse theory and chess
There are many mathematical objects that are similar to groups and Cayley graphs of groups but lack homogeneity in some sense. Graphs of webpages with edges corresponding to links …
1
vote
1answer
23 views
Resolution of coefficient system in group homology
Let $G$ be a discrete group and let $M$ be a $G$-module. Assume that I have a resolution
$$\cdots \rightarrow M_1 \rightarrow M_0 \rightarrow M \rightarrow 0$$
of $M$ by $G$-modul …
2
votes
1answer
54 views
What new primitive recursive functions are needed to reconcile Turing time complexity with Godel time complexity?
Let me begin with an example.
Consider the computable function $f(x) = 2x$. A Turing machine can implement this function in $O(|n|)$ steps: simply walk to the end of the input st …
1
vote
1answer
38 views
Orbit structure of linear representations of complex Lie groups
Let $G$ be a semisimple complex Lie group (or perhaps a reductive algebraic group over $\mathbb{C}$) and $V$ an irreducible finite-dimensional representation of $G$, determined by …
1
vote
0answers
19 views
principal divisor in smooth projective variety of dim>1
For a smooth projective curve $C$ and $f,g \in k(C)^*$, we have $\text{div}(f)=\text{div}(g)$ iff $f=ag$ for some nonzero constant $a$. Is this still true for higher dimension smoo …
9
votes
2answers
177 views
Numbers with known finite irrationality measure greater than 2
For a real number $\alpha$, let the irrationality measure $\mu(\alpha) \in \mathbb{R}\cup {\infty}$ be defined as the supremum of all real numbers $\mu$ such that
$$ \left| \alpha …
6
votes
1answer
704 views
What is Kirillov’s method good for?
I am planing to study Kirillov's orbit method. I have seen Kirillov's method in several branch of mathematics, for instance, functional analysis, geometry, .... Why is this theory …
0
votes
0answers
23 views
Conctinuous functions $H$ satisfying $H(w,c)=H(-w,c+w)$ [closed]
Hi,
Is there a continuous function $H:\mathbb{R}\times\mathbb{R}\longrightarrow\mathbb{R}$ satisfying $H(w,c)=H(-w,c+w)$? Thanx.
2
votes
0answers
58 views
Сonvergence of the sum
This is a problem from my exam on functional analysis. I did only trivial case and now I'm just curious about another cases.
Let $T : H \rightarrow H$ is a linear continuous unit …
1
vote
1answer
33 views
Convergence to a k-dimensional Gaussian vector
Suppose I have a sequence of stochastic processes $X_{N}(t)$, $N=1,2,3,\ldots$ with mean zero and that I know for every fixed $t$, the random variable $X_{N}(t)$ converges in law t …
0
votes
1answer
53 views
for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?
Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital.
Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by …
4
votes
0answers
26 views
Existence of a regular subposet which collapses everything except the top cardinal
Suppose $\delta$ is an inaccessible cardinal, and $\mathbb{P}$ is the Levy Collapse $\text{Col}(\kappa, \delta)$ which adds a surjection from $\kappa \to \delta$ (for some regular …
19
votes
3answers
413 views
Is there an accepted definition of $(\infty,\infty)$ category?
For probably twenty years, category theorists have known of some objects in the Platonic universe called "(weak) $\infty$-categories", in which there are $k$-morphisms for all $k\i …

