All Questions
15,509 questions
2
votes
0
answers
109
views
Reference request: books on convex analysis / geometry
I am interested in convex geometry and analysis, especially in its connections with high dimensional probability theory.
I was reading the book by Pisier, The volume of convex bodies and Banach space ...
- 380
7
votes
1
answer
845
views
Algebraic K-theory and Witt groups
Let $S$ be a ring with involution (with 2 invertible). Suppose that the non connective algebraic K-theory $K(S)$ is 0 (i.e. $K_{n}(S)=0$, for all $n$).
Can we say something about the (higher) Witt ...
- 855
5
votes
1
answer
279
views
Is there a theorem which provides conditions under which a power series satisfies the reciprocal root sum law?
Kalman - Six ways to sum a series discusses Euler's original proof for the Basel problem $\sum\limits_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6} $:
$$\frac{\sin(\sqrt x)}{\sqrt x} = 1- \frac{x}{3!}+ \...
- 541
2
votes
0
answers
29
views
Spectral bound for sample covariance matrix without assuming $X = \Sigma^{\frac{1}{2}} Z$
Let $X$ be a random $(p \times n)$-matrix with iid centered columns and suppose the entries of $X$ all have light tails (in a strong enough sense, for example sub-Gaussian). Are there any results ...
- 1,295
9
votes
1
answer
545
views
Citation hunting: Floer on spectral sequences
I vaguely remember a YouTube talk that began with a citation from Floer regarding the existence of a spectral sequence. The idea was that given a manifold with a Morse function, we can construct a ...
- 193
1
vote
0
answers
90
views
Well-embedded type property for bounded functions
According to @Tyrone the term well-embedded set was first used in Measures on Metacompact Spaces by W. Moran.
In the article Extensions of Zero-sets and of Real-valued Functions by R. Blair and A. ...
- 1,211
1
vote
0
answers
230
views
Poincaré-Wirtinger inequality for more general "means"
Let $\Omega$ be a ball of radius $r$. It is well known that given a function $f \in W^{1,p} (\Omega)$, it holds the Poincaré-Wirtinger inequality
$$ \left(\int_\Omega |f - f_\Omega|^p dx \right)^{1/p} ...
- 749
2
votes
0
answers
93
views
Minimal injective resolution and change of rings
Let $R$ be a commutative Noetherian ring. For an $R$-module $M$, let $0\to E^0_R(M)\to E^1_R(M)\to \ldots $ denote the minimal injective resolution of $M$. I have two questions:
(1) If $I$ is an ...
- 480
3
votes
0
answers
124
views
Injective envelope of B(H)
$B(\ell^2)$ is an injective operator system by a result of Arveson. However, $B(\ell^2)$ is not an injective Banach space, since it is not linearly isomorphic to a $C(K)$ space (for instance, $C(K)$ ...
- 2,605
3
votes
0
answers
55
views
Unique weak solution of an SDE for a general initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\varepsilon}
\newcommand{\diff}{\...
- 825
2
votes
1
answer
131
views
Extending $p$-adic smooth and locally constant functions
Let $G$ be $p$-adic group and let $G \rightarrow GL(V)$ be a representation. For example, $V$ is a quadratic $\mathbb{Q}_p$-space and $G$ is the associated orthogonal group.
Take a point $v \in V$, ...
- 81
7
votes
1
answer
224
views
Generating set of permutation group such that generators do not "contain" other group elements
Let $(G, X)$ be a permutation group with domain $X$. Let $O=\{o_1,\dots,o_m\}$ be the set of orbits of $G$. I am interested in generating sets $S$ with the following property:
Let $g\in S$ be a ...
- 5,822
8
votes
2
answers
178
views
Distribution of traces and max entries of words of fixed length in $\operatorname{SL}_2(\mathbb{N})$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\tr{\mathsf{tr}}$$\SL_2(\mathbb{N})$ is a free monoid on the generators
$$
L=\begin{pmatrix}1&0\\1&1\end{pmatrix},\quad R=\begin{pmatrix}1&1\...
- 609
0
votes
0
answers
29
views
What is known about the distribution of eigenvectors for random positive semidefinite matrices?
Let $\{x_i\}_{i=1}^n \subset \mathbb{R}^d$ be iid random vectors drawn from probability measure $P$.
Define the random $d \times d$ real positive semidefinite matrix,
$$
S_n = \frac{1}{n} \sum_{i=1}^n ...
- 380
2
votes
1
answer
206
views
Localization of quasi-excellent rings are quasi-excellent?
If $R$ is a quasi-excellent ring, then is $R_{\mathfrak p}$ also quasi-excellent for every prime ideal $\mathfrak p$ of $R$ ?
I think Matsumura's commutative ring theory book says that localization of ...
- 480
9
votes
0
answers
168
views
Algebraic structures on spaces of ultrafilters
The space of ultrafilters on $\omega$ has a natural semigroup structure, and ultrafilters that are idempotent in that algebra have seen applications in combinatorics on the natural numbers, for ...
- 18.7k
5
votes
1
answer
484
views
Can you always extend an isometry of a subset of a Hilbert Space to the whole space?
I remember that I read somewhere that the following theorem is true:
Let $A\subseteq H$ be a subset of a real Hilbert space $H$ and let $f : A \to A$ be a distance-preserving bijection, i.e. a ...
- 609
0
votes
0
answers
86
views
When is a family of distributions "closed" with respect to minimal sufficient statistics?
As in the title, I am interested in understanding how to express the idea that a parametric family of distribution is "closed" with respect to minimal sufficient statistics. Before giving ...
1
vote
1
answer
236
views
Notion of $\kappa$-sifted categories?
Let $\kappa$ be a regular cardinal. It seems reasonable to introduce the following definition:
Definition. A simplicial set $K$ is $\kappa$-sifted if, for every set $E$ with $\lvert E\rvert<\kappa$...
- 2,866
2
votes
0
answers
102
views
Division based recurrence with negative coefficients, e.g. $F(n)= -F(\lfloor n/2\rfloor) - F(\lfloor n/3\rfloor)$
A famous problem of Erdos dealt with the division-based recurrence $a_n = a_{\lfloor n/2\rfloor}+a_{\lfloor n/3\rfloor}+a_{\lfloor n/6\rfloor}$ with $a_0=1$ (and was about the limit $\lim_{n\to\infty} ...
- 833
3
votes
1
answer
195
views
Double category of monads and pseudo monad-morphisms
We can construct bicategories of monads in a bicategory $B$, $Mnd_l(B)$/$Mnd_c(B)$ with lax and colax monad-morphisms respectively.
I am failing to find a good notion of pseudo monad-morphisms.
Is ...
- 1,347
2
votes
0
answers
86
views
Clarification about solvability of Dirichlet problem at infinity on a pinched negative curvature space
Let $M$ be a complete Riemannian manifold of pinched negative curvature $(-a^2 \leq K \leq -b^2 < 0)$. Let $M_\infty$ denote the ideal boundary and $\varphi \in C^0(M_\infty)$ be a prescribed "...
- 1,407
1
vote
0
answers
76
views
Shellable non-pseudomanifolds with dimension greater than 2
Shellability of simplicial balls and spheres (simplicial complexes whose geometric realizations are homeomorphic to balls and spheres) has been studied quite extensively. There are many explicit ...
0
votes
0
answers
46
views
Uniqueness results for linear first order systems of PDEs
Context: I have the following system of PDEs, for an unknown function $u:\mathbb{R}^{n+1}\to \mathbb{C}^m$ (it is a system in the components of $u$):
$$u_{x_0}=\sum_{i=1}^n A_iu_{x_i} + B(x)u\qquad u(...
- 1,205
1
vote
0
answers
98
views
Are there known effective bounds on the number of semisimple Galois representations?
In continuation to my question here, are there known effective bounds on the total number of semisimple $p$-adic Galois representations unramified outside a finite set of primes $S$, of dimension $d$, ...
- 2,907
0
votes
0
answers
39
views
Comonotone solution for Optimal Transport problems with supermodular surplus
In Alfred Galichon's book Optimal Transport Methods in Economics the foollowing result is stated for OT problems on the real line.
Theorem 4.3.(i) Assume that $\Phi$ is supermodular. Then the primal ...
14
votes
1
answer
295
views
When were Allegories first introduced?
I’m doing some bibliographic work for my PhD and I’m struggling to find the earliest resources on Allegories.
They were surely made famous by the 90s book “Categories, Allegories” by Freyd and Scedrov....
- 249
1
vote
1
answer
114
views
Source for highest weight vectors for $\text{SL}_n(\mathbb{C})$ representations
I have a list of a lot of irreducible $\text{SL}_n(\mathbb{C})$ representations and need to know what all of their highest weight vectors are. For example, using the notation from Fulton and Harris, I ...
- 181
71
votes
8
answers
12k
views
Possible new series for $\pi$
In a recent (unfortunately over-hyped) preprint by Saha and Sinha, Field theory expansions of string theory amplitudes (arXiv:2401.05733), they present the following series for $\pi$:
$$\pi = 4 + \...
- 82.7k
0
votes
1
answer
100
views
Spatially localised solution to the Schrödinger equation with potential is a combination of eigenfunctions
In this Terry Tao's blog post, he claims that if one has a solution to the Schrödinger equation
$$i\,\partial_t u +\Delta u=Vu $$
with a "reasonably smooth and localised $V$", $u$ has ...
- 94
9
votes
0
answers
205
views
Placing triangles around a central triangle: Optimal Strategy?
This question has gone for a while without an answer on MSE (despite a bounty that came and went) so I am now cross-posting it here, on MO, in the hope that someone may have an idea about how to ...
- 7,831
15
votes
2
answers
1k
views
Proof/Reference to a claim about AC and definable real numbers
I’ve read somewhere on this site (I believe from a JDH comment) that an argument in favor of AC (I believe from Asaf Karagila) is that without AC, there exists a real number which is not definable ...
- 293
0
votes
1
answer
223
views
Reference for Faltings' proof on finiteness of semisimple $d$-dimensional $p$-adic Galois representations
I'm looking for a reference to Faltings' proof concerning the finiteness of $d$-dimensional semisimple $p$-adic Galois representations. Specifically, the result states that there are only finitely ...
- 2,907
3
votes
0
answers
94
views
References for variations of Seifert–van Kampen's theorem: HNN extensions and "sensible" intersections
A basic consequence of the Seifert–van Kampen theorem is the following.
Theorem: Consider a union of topological spaces $X$, $Y$ whose intersection $X\cap Y = Z$ is open connected and $\pi_1$-...
- 1,033
1
vote
1
answer
209
views
Rate of convergence of mollified functions in $L^p$ norm
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\supp}{\operatorname{supp}}
$
Let $(\rho_n)_{n \geq 1}$ be a sequence of mollifiers on $\bR^d$, i.e., each $\rho_n$ is a ...
- 825
0
votes
1
answer
107
views
Convergence of mollified functions in weighted $L^p$ norm
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\supp}{\operatorname{supp}}
$
Let $(\rho_n)_{n \geq 1}$ be a sequence of mollifiers on $\bR^d$, i.e., each $\rho_n$ is a ...
- 825
9
votes
2
answers
456
views
Determinacy and Woodin cardinals
I am looking for a reference for the following result:
Theorem Assume $\kappa$ is a Woodin cardinal. Then after forcing with the Levy collapse $\mathbb{P}=Col(\omega, \kappa)$, the $\Sigma^1_2$-...
- 32.2k
5
votes
0
answers
141
views
Classification of visible actions for *reducible* representations?
Is there a classification of the pairs $(G,V)$ such that $G$ is reductive [and connected, if you like], and $G$ acts faithfully and visibly on $V$ - crucially, including all cases where $V$ is ...
- 3,230
8
votes
1
answer
431
views
Wishart matrices: are eigenvalues and eigenvectors independent?
Let $W = X^TX$ denote a standard Wishart matrix, i.e., where $X$ is a Gaussian random matrix with iid standard Normal entries.
In this case we can write $W = U D U^T$, where $U$ is orthogonal and $D$ ...
- 380
0
votes
0
answers
53
views
References on regularity of nonlinear elliptic PDEs in non-smooth bounded domains
I am seeking some references that deal with nonlinear elliptic PDEs with homogeneous Neumann boundary conditions in bounded domains with non-smooth boundaries (Lipschitz boundaries might be okay, ...
- 51
3
votes
1
answer
118
views
A fibration for the functor category functor
Consider the (2,1) category $Cat$ of ($1$-)categories. There is a functor
$$
Cat^{op}\times Cat\to Cat
$$
sending $(C,D)$ to the functor category $Fun(C,D)$.
This gives rise to a fibration $F\to Cat^{...
- 8,455
11
votes
1
answer
250
views
Recognising the elements of the Grigorchuk group
The Grigorchuk group $\mathfrak{G}= \langle a,b,c,d \rangle$ is a group of automorphisms of the infinite rooted binary tree $\mathcal{T}_2$. Every element of $\mathfrak{G}$ can be represented by a ...
- 8,401
3
votes
1
answer
103
views
Topology on set of "real lower bounds"
Specific question: Is there a name for the "topology of real lower bounds"? This is the order topology for the ordering $\supseteq$ on the set
$$
\mathbb{LB} = \bigl\{ [t, \infty) \mid t \...
- 398
2
votes
0
answers
240
views
What is the fundamental solution for the backward heat equation?
According to the theorem of Malgrange and Ehrenpreis a fundamental solution exists for any PDE with constant coefficients. But I didn't manage to find in the literature an explicit formula for the ...
- 2,715
2
votes
0
answers
74
views
Is it likely that gradient flow trajectories of a $G$-invariant function pass through degenerate points?
This question may be posed somewhat vaguely, but I'm interested to actually get an idea of what to expect, so I try to not target it at a specific result.
Assume that $G$ is a compact Lie group, ...
- 139
4
votes
0
answers
107
views
Reference request for a theorem of Jaworowski
Jan Jaworowski, in 2000, proved the following theorem (I came to know about it from here)
Jaworowski (2000) : Let $Y$ be a finite simplicial complex of dimension $k$ and let $n\ge 2k$. If $f:S^n\to Y$...
- 141
2
votes
0
answers
146
views
Reference for accelerated sum to compute the Meissel-Mertens constant
The Meissel-Mertens constant
$$ B_1 = \lim_{n \to \infty} \left(\sum_{p \leq n} \frac{1}{p} - \log\log n\right) $$
has the series representation
$$
\begin{equation} \tag{1}
B_1 = \gamma + \sum_{n=2}^{...
- 451
5
votes
1
answer
247
views
Does a "good" homotopy equivalence between pairs imply homotopy equivalence between quotient spaces?
If $(X,A)$ and $(Y,B)$ are (good) pairs of topological spaces, and $f:X\rightarrow Y$ is a homotopy equivalence such that the restriction $f\restriction_A$ is a homotopy equivalence between $A$ and $B$...
- 213
2
votes
1
answer
191
views
Cohomology class of fiber bundle
Suppose I have a fiber bundle $\pi: E\rightarrow B$, with fiber $F$, such that the Serre spectral sequence on cohomology is immediately degenerate. In other words, $H^*(E)=H^*(B)\otimes H^*(F)$.
I ...
- 3,103
2
votes
0
answers
123
views
If-and-only-if Linton monadicity theorem over presheaves
This is almost exactly the same question as The (co)monadicity theorem relative to a presheaf topos, but the accepted answer there does not cover the full extension of Linton's monadicity that is a ...
- 1,347