All Questions
23,894 questions
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
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 \...
- 18.6k
2
votes
0
answers
239
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 ...
- 63.9k
6
votes
1
answer
2k
views
Sum of square roots of natural numbers
Recently, I've encountered the following question:
Assume that $n_{1}, \ldots, n_{k}$ are (not necessary distinct) natural numbers. If
$$ (\sum_{i = 1}^{k}\sqrt{n_{i}}) \in \mathbb{N},$$ can we ...
- 105k
15
votes
1
answer
484
views
Looking for a paper on transfinite diameter by David Cantor
I have been reading about transfinite diameter and its applications to number theory and have been hunting for the following paper for quite a while:
Cantor D.: On an extension of the definition of ...
- 7,831
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$...
- 11.1k
0
votes
0
answers
107
views
Does the sequence of bounded symmetric square integrable holomorphic functions have a convergent subsequence?
Let $f$ be a bounded holomorphic function on $\mathbb D^2$ and $s : \mathbb C^2 \longrightarrow \mathbb C^2$ be the symmetrization map given by $s(z) = (z_1 + z_2, z_1 z_2),$ for $z = (z_1, z_2) \in \...
- 41
95
votes
14
answers
14k
views
Deep learning / Deep neural nets for mathematician
I am interested in finding out the math ideas behind the technologies that are under the umbrella of "Deep Learning" or "Deep neural nets".
Most of the papers/books that are often quoted in papers/...
- 3,599
2
votes
0
answers
119
views
gcrd and associates of an element of the quaternion algebra over a totally real number field $K$
Let $K$ be a totally real number field of class number 1, and $Q$ the quaternion algebra over the ring of integers of $K$ with basis
$\{1,i,j,k\}$ such that $i^2 = j^2 = k^2 = -1$ and $ij = -ji, ik = ...
0
votes
0
answers
45
views
Mean value property for fractional laplacian
I just started reading about fractional Laplacian. I am curious on the following questions
Does fractional laplacian i.e., $(-\Delta)^su=0$ in $\mathbb{R}^n$ this equation satisfies any mean value ...
- 41
8
votes
0
answers
156
views
Square root of an Anosov diffeomorphism
Let $T\colon \mathbb T^d\to\mathbb T^d$ be an Anosov diffeomorphism (that is, the tangent bundle splits into invariant stable and unstable bundles; the restriction of $DT$ to the unstable bundle is ...
- 23.2k
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
2
answers
151
views
Upper bound $\int_{\mathbb{R}^d \times \mathbb{R}^d} |fx)-f(y)| (1+|y|) \ell (x) p_t (x-y) \, \mathrm d x \, \mathrm d y$ in $t$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $f : \bR^d \to \bR$ and $\ell : \bR^d \to \bR_+$ be measurable such that $\ell$ ...
- 825
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 ...
- 39.3k
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
2
votes
1
answer
197
views
Seeking articles on closed-form formulas for specific partial fraction expansions
I'm currently researching a general closed-form formula, in terms of elementary functions, for functions that have the following type of partial fraction expansion:
$$\frac{1}{x^{p}}+\sum_{n=1}^{+\...
- 188k
2
votes
0
answers
101
views
Majorization theory on $\sigma$-finite measure spaces
I want to learn about majorization and submajorization theory on $\sigma$-finite measure spaces. I know things get a bit more complicated compared with the case of a finite measure spaces but I'm ...
- 769
2
votes
1
answer
170
views
Law of large numbers for a continuum of Bernoullis
Suppose I have a family of $n$ independent Bernoulli random variables described by a vector of parameters $(p_i)_{i=1}^n$. As it is well known, the number of successes within this family is a random ...
- 63.9k
12
votes
2
answers
836
views
Restriction of $\mathrm{GL}(n)$ representation to $S_n$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\O{O}$I'm looking for a reference to cite for the following observation. Given an irreducible representation of $\GL(n)$ labelled by the Young diagram ...
- 21.5k
9
votes
2
answers
494
views
On the $\phi^4$-model on infinite lattice
It is mentioned in this answer Is there a program to solve The Yang–Mills Existence and Mass Gap problem similar to the Hamilton's program to solve Poincaré Conjecture?
that it is an open ...
- 10.3k
4
votes
2
answers
730
views
Looking for paper: Weil's original 1952 "Sur les formules explicites de la théorie des nombres premiers"
I am looking for a source (preferably online) for Weil's original 1952 paper on the explicit formula. I am aware of an english translation available here, but would like to have access to the original ...
- 5,407
1
vote
0
answers
29
views
Most general filtered algebras with Hilbert polynomials and multiplicities
Let $k$ be any base field and $A$ an affine infinite dimensional $k$-algebra.
Let $\mathcal{F}= \{ A_i \}_{i \geq 0}$ be a finite dimensional filtration for $A$: that is, $k \subset A_0$ and each $A_i$...
- 3,318
3
votes
0
answers
152
views
My category is rigid: what this implies for representation theory?
I am studying a subcategory $\mathcal{C}$ of modules for an associative noncommutative algebra $A$ (which is in fact also a Hopf algebra).
It is clear from our definition of $\mathcal{C}$ that it is ...
- 3,318
10
votes
6
answers
880
views
Countable chain condition in topology
A topological space $X$ is said to have the countable chain condition (ccc) if every collection of open and disjoint subsets of $X$ is at most countable. This definition can be found in L. Steen, J. ...
- 467
5
votes
1
answer
375
views
Looking for a counterexample: Conditioning increases regularity?
Let $p(x,y,z)$ be a joint density (over $\mathbb{R}^3$) under no smoothness or regularity assumptions, besides its existence. I am looking for a (counter)example where $p(y|x)$ is less regular than $p(...
- 6,223
4
votes
0
answers
333
views
Book recommendation in functional analysis and probability
I am interested by functional analysis and probability. I would like to know if you have any books that deal with these two subjects (at a graduate level) to recommend?
I'm looking for a book that has ...
- 4,713
3
votes
0
answers
208
views
Reference request: Carathéodory-type theorem for convex hulls of closed sets
I'm looking for a reference for the following theorem.
Theorem Let $X$ be a closed subset of $\mathbb{R}^N$, and let $a$ be a point of its convex hull $\operatorname{conv}(X)$. Then there exist ...
- 27.7k
1
vote
0
answers
49
views
Boundary-condition-changing Operators for Free Boson BCFT with Dirichlet Boundary Conditions (or more general BCFTs)?
(NOTE: This is a crosspost from this Physics.SE post)
Is there any literature about boundary-condition-changing (b.c.c.) operators for the Free Boson with Dirichlet Boundary Conditions? The b.c.c. ...
- 545
0
votes
1
answer
151
views
Super-reflexivity is separately determined
I've found this result that states that super-reflexivity is separably determined, i.e., if every separable subspace $Y\subset X$ of a Banach space is superreflexive then $X$ itself is superreflexive. ...
- 2,830
1
vote
1
answer
121
views
Question on complemented subspaces of a product space
Assume that we have closed subspaces $Y_1$ and $Y_2$ of Banach spaces $X_1$ and $X_2$, respectively. If the product $Y_1\times Y_2$ is complemented in $X_1\times X_2$, does it follow that $Y_i$ is ...
- 1,848
2
votes
0
answers
674
views
Roadmap for p-adic geometry
I think some questions asked in similar fashion with this one. I am a master student in mathematics. I have knowledge in algebraic geometry(both in Shafarevich's and Vakil's books), algebraic topology ...
- 21
0
votes
0
answers
72
views
Domain of a Jacobi operator with unbounded coefficients
Is it possible to describe the domain of a Jacobi operator explicitly?
Let $J$ be the linear operator acting on a real sequence $(u_{n})_{n\in\mathbb{N}}$ by
$$
J(u_{n}) = a_{n+1} u_{n+1} + a_{n} u_{n-...
- 23
2
votes
1
answer
90
views
Heat kernel convergence when expanding domains
Let $\Omega$ be an arbitrary domain in $\mathbb{R}^n$. There exists a positive $C^{\infty}$ function $G_{\Omega} : \Omega \times \Omega \times (0, \infty) \rightarrow \mathbb{R}$ (Dirichlet heat ...
- 2,703
16
votes
1
answer
357
views
Galois cohomology for non-Galois extensions
If $L/K$ is a Galois extension with group $G$ then we can consider $H^*(G;L^\times)$. This is useful in algebraic number theory, and there are many results about it.
Now let $L/K$ be a finite ...
- 35.2k
3
votes
1
answer
209
views
Pathwise Hölder continuity of Ito diffusions - is this result written anywhere?
Let $X$ be the solution to the multidimensional SDE
$$dX_t = \mu(X_t) \, dt + \sigma(X_t) \, dW_t,$$
with $W$ a Brownian motion, and $\mu, \sigma$ Lipschitz continuous with $\sigma$ nowhere zero. I'm ...
- 6,223
2
votes
0
answers
111
views
Everywhere-defined unbounded operators between Banach spaces
In this post, it is said that there are no constructive examples of everywhere-defined unbounded operators between Banach spaces; every example furnished must use the axiom of choice. This seems like ...
- 151
8
votes
1
answer
4k
views
Covering number of Lipschitz functions
What do we know about the covering number of $L$-Lipschitz functions mapping say, $\mathbb{R}^n \rightarrow \mathbb{R}$ for some $L >0$?
Only 2 results I have found so far are,
That the $\infty$-...
- 1
3
votes
0
answers
319
views
The curse of dimensionality of the Kolmogorov–Arnold neural network
The Kolmogorov–Arnold neural networks (KAN), Ziming Liu et al., KAN: Kolmogorov–Arnold Networks is inspired by the Kolmogorov–Arnold representation theorem (KA theorem). Though it is not proved in the ...
- 2,239
6
votes
0
answers
184
views
Reference request: fusion rules for unitary dual of SL(3,R)?
By the fusion rules, I mean: given two unitary irreps of the group, what unitary irreps occur in their tensor product and with what "multiplicity"? (I am guessing that direct integrals ...
- 25.8k
2
votes
0
answers
88
views
Dependence and $L^2$ projections of functions
tl;dr: Is it possible that the best approximation to a nonnegative function of three variables with a bivariate function is no better than the best univariate function?
Let $w$ be a density on $\...
- 21
19
votes
6
answers
2k
views
Book recommendation introduction to model theory
Next semester I will be teaching model theory to master students. The course is designed to be "soft", with no ambition of getting to the very hardcore stuff. Currently, this is the syllabus....
- 5,031
4
votes
1
answer
172
views
Viscosity solutions of eikonal equation on Riemannian manifolds
It is well known that given a bounded open region $\Omega \subset \mathbb{R}^n$, the Dirichlet problem $$\lVert \nabla u \rVert = 1, \quad u|_{\partial \Omega} = 0$$
admits the unique viscosity ...
- 2,703
3
votes
0
answers
219
views
Schwartz's theorem without English language reference
I'm reading the paper "Spectral Synthesis And The Pompeiu Problem" by Leon Brown, Bertram M. Schreiber and B. Alan Taylor,
Annales de l’Institut Fourier 23, No. 3, 125-154 (1973), MR352492, ...
- 869
3
votes
1
answer
210
views
A few points of clarification on the Martin boundary
Let $\Gamma$ be a finitely generated group, and let $M$ be the Martin boundary of $\Gamma$. I was reading the article on Martin boundary on Encyclopedia of Math, and I have a few questions about what ...
- 2,090
0
votes
0
answers
49
views
Existence of sequence of regular projections
Reading the book :Krasnosel'skii, M.A.; Pustylnik, E.I.; Sobolevskii, P.E.; Zabreiko, P.P. (1976), Integral Operators in Spaces of Summable Functions, Leyden: Noordhoff International Publishing, 520 p....
- 869
6
votes
4
answers
1k
views
Convex set with no interior contained in hyperplane?
Let $K$ be a convex set in a normed space $X$. Assume that $int(K)=\emptyset$ (norm topology). Must $K$ be contained in some (affine) hyperplane?
It's fairly easy to see that this is true in $ℝ^n$, ...
- 11
3
votes
0
answers
171
views
Nice blowups are universal algebraic fiber spaces?
We say that a proper (maybe projective) morphism $f:X \to Y$ is a universal algebraic fiber space if $f_* O_X = O_Y$ holds universally. (This means: for any morphism $Y' \to Y$, if $X' = Y' \times_Y X$...
- 339
13
votes
0
answers
2k
views
Is there any correspondence between Gödel and Kreisel that supports Kreisel's observation that Gödel changed his mind about his 1938 set theory note?
At a conference in 1965 there were some interesting comments made by Kreisel and Mostowski asserting that Gödel later changed his mind regarding his1938 note on his set theory results (see Problems in ...
- 481
8
votes
0
answers
337
views
Has the notion of a unipotent group scheme been studied?
The concept of a unipotent algebraic group over a field has been extensively studied and is fundamental in algebraic geometry. However, has the notion of a unipotent group scheme over a general base ...
- 4,829
2
votes
1
answer
148
views
Is projection of a closed subspace Borel?
Specifically, letting $E$ be a separable infinite-dimensional real Banach space, and $D_2$ in $E\times E$ a closed linear subspace, is then $\{\,x:\exists\,y\,;(x,y)\in D_2\}$ a Borel set in $E\,$? ...
- 3,584