# All Questions

42 views

### Multisets and set cardinality [on hold]

Consider $0<\lambda<1$, and let $A$ be a multiset of positive integers. Let $A_n=\{a\in A: a\leq n\}$. Assume that for every $n\in\mathbb{N}$, the set $A_n$ contains at most $n\lambda$ numbers. ...
131 views

### about the horizontal lift in a principal bundle [on hold]

I'm currently studying Fibre Bundle by Nakahara's book, and I'm a bit confused about the following: Imagine we have a Principal Bundle $P(M,G)$ with open chart {$U_i$} and a local section ...
67 views

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

### exponential tail bound for conditional probability [on hold]

I am aware of exponential tail probabilities for unconditional probability (for ex: Normal). Are there any similar results available for conditional probability (w.r.t to a sigma field) in literature ...
132 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 ...
81 views

### Show that $G$ a group? [on hold]

Suppose that $G$ is a semigroup , and for every $a$ in $G$ there is unique $a^*$ in $G$ that $aa^*a=a$ Prove that $G$ is a group.
28 views

### Curve with Matlab [on hold]

I have posted this question: http://math.stackexchange.com/questions/1547373/curve-with-matlab but I have not answers. Can you help me?
69 views

### Simple question about notation: formulas starting with a quantification [on hold]

Let $C\subset\mathbb{R}$ and suppose that $f:C\to2^C$ is a point to set map. Suppose that $f(x)$ is a set containing only negative real numbers for every $x\in C$. Are there any problems with the ...
37 views

### Traces of fractional Sobolev spaces $W^{s,p}$ with $0<s<1/p$

I've stumbled upon a problem involving the trace of a function in a fractional Sobolev space of the form $W^{s,2}(H)$, where $H$ is a half-plane in $\mathbb{R}^2$. Would it be possible to define a ...
219 views

### Hypothesis test beyond simple hypotheses (mathematical statistics)

In mathematical statistics, the following problem (simple hypothesis test) is considered: given a data sample, test the hypothesis $H_0$ stating that all sampled values are values of a random variable ...
92 views

### Wreath product of an abelian group with a nilpotent group

By work of Coulbois, the wreath product of two finitely generated free abelian group is $LERF$; i.e, every finitely generated group of this wreath product is closed in the profinite topology. Is there ...
119 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 ...
274 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 ...
585 views

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

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

### Was “arithmetical translation” (coding in the Goedel sense) ever a part of Hilbert's Program?

Was "arithmetical translation" (that is, coding in the Goedel sense) ever a part of Hilbert's Program? I ask this question for several reasons: i) it gives the numerals |, ||, |||,.... an ersatz ...
35 views

### Convex Optimization in an Ellipsoid

Suppose we want to minimize a linear objective inside an ellipsoid that is, $\min _x l^Tx$ such that $(x - \mu)^TA(x - \mu) \leq \beta ^2$. Here, A is PSD and $\mu$ is a fixed vector. Can this be ...
46 views

82 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 ...
33 views

### conformal deformation with fixed boundaries

For a flat plane with certain boundary, e.g., a rectangular patch, is it possible to conformally displace or deform such patch to a curved bump with exact same boundary? In this thesis, Dr. Keenan ...
72 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 ...
9k views

### What are some very important papers published in non-top journals?

There has already been a question about important papers that were initially rejected. Many of the answers were very interesting. The question is here. My concern in this question is slightly ...
249 views
+100

### “The” natural double complex associated to a principal $G$-bundle?

Let $\pi: P \to M$ be a principal $G$-bundle. We have the associated adjoint bundle $ad(P)= P \times_{ad} \mathfrak g$ whose sections correspond to infinitesimal guage trasformations. Consider the ...
162 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 ...
84 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 ...
116 views

### Integrations of Ricci curvature of the Weil-Petersson metric on the moduli space of varieties of general type is a rational numbers?

It is known that the integrations of Ricci curvature of the Weil-Petersson metric on the moduli space of Calabi-Yau varieties is a rational numbers My question is on moduli space of varieties of ...
104 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 ...
51 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). ...