Tagged Questions

0
votes
0answers
36 views

What is the closed-form or the deterministic form of a quadratic form probability inequality

Hello, everyone, I want to resolve one optimal problem, with the following probability inequality constraint. $Pr(h^H(W_1 - W_2 -W_3 -U)h \geq \sigma^2) \leq \rho$ where $h \sim …
9
votes
1answer
170 views

In what rigorous sense are Sperner’s Lemma and the Brouwer Fixed Point Theorem equivalent?

I understand that one can give a proof of each of these propositions assuming the truth of the other. But this seems a bit squishy to me, since there is a trivial sense in which a …
7
votes
1answer
173 views

Are small knots generic?

A knot in S^3 is small if its complement does not contain a closed incompressible surface. Is it a generic property for knots, meaning that among all knots with less than $n$ cross …
11
votes
2answers
242 views

Is deciding whether a Turing machine *provably* runs forever equivalent to the halting problem?

Assume for this question that ZF set theory is sound. Now consider the language "PROVELOOP," which consists of all descriptions of Turing machines M, for which there exists a ZF p …
28
votes
4answers
3k views

Are there any “related rates” calculus problems that don’t feel contrived?

I just finished teaching a freshman calculus course (at an American state university), and one standard topic in the curriculum is related rates. I taught my students to answer que …
3
votes
1answer
399 views

Techniques for lower-bounding angle between two eigenvectors of a matrix

Are there any techniques for lower-bounding the angle between eigenvectors of a matrix? Or a lower bound on the related quantity of the condition number of the matrix of eigenvecto …
0
votes
1answer
112 views

Relation between $H^i_I(-)$ and $H^i_J(-)$ when $I\subset J$

What is the relation between $H^i_I(-)$ and $H^i_J(-)$ (cohomological functors) when $I\subset J$ are ideals of a (local) noetherian ring?
2
votes
2answers
73 views

A measure of closure under sumset?

Let $G$ be an Abelian group. Let $A \subseteq G$. In additive combinatorics, one of the primary measures of the additive structure of $A$ is its additive energy, defined as $E(A) = …
0
votes
0answers
74 views

Finite rank free modules over PIDs

I have two finite rank free modules $M,N$ over a principal ideal domain (the ring of formal complex power series to be exact) and a homomorphism between these two modules $\phi:M\r …
1
vote
1answer
163 views

About the curvature of a connection?

In "Lectures on gauge theory and integrable systems" of M.Audin, she identifies the space of conections $\mathcal{A}$ on the trivial bundle $G\times S$ ($G$ Lie group, $S$ surface …
3
votes
0answers
65 views

Iterated Tangent Category Construction

We can think of the "tangent category" of a category $\mathcal{C}$ at an object $A$ as being the abelian group objects in the overcategory $\mathcal{C}/A$ (with whatever conditions …
1
vote
1answer
262 views

When does a $W^*$-algebra have a standard Borel spectrum?

EDIT: André Henriques has commented below that the correct separability condition is not weak-* separability as I have written below, but separability of the predual. This post c …
5
votes
1answer
102 views

Constructing Polynomial Count Varieties

I have some naive questions about polynomial-count affine varieties over $\mathbb{C}$: Are all reductive algebraic groups strongly polynomial-count? Are products of strongly poly …
1
vote
0answers
43 views

identity for number of monomials

Fix a positive integer $d \geq 2$, and let $n,k$ be natural numbers with $k \leq n$. Let b(n,k) denote the number of monomials of degree kd-(n+1) in n+1 variables x_0,..x_n with …
3
votes
1answer
78 views

Equivariant versus retractive spaces: a reference request

Let $T$ be the category of compactly generated weak Hausdorff spaces with model structure given by Serre fibrations, Serre cofibrations and weak homotopy equivalences. Let $G = |G. …

prev 1 2 3 4 5 2793 next
15 30 50 per page