All Questions
23,892 questions
4
votes
1
answer
170
views
About $CW(512,16^2)$
Definitions: A weighing matrix $W = W(n,k)$ with weight $k$ is a square matrix of order $n$ and entries $w_{ij}$ in $\{0, \pm 1\}$ such that $WW^T=kI$,
where $I$ is the identity matrix. A circulant ...
- 1,021
2
votes
1
answer
217
views
Number of distinct higher dimensional integer partitions
By a distinct partition, I mean a partition into distinct parts, i.e., $10 = 5+4+1$ is one, but $10=6+2+2$ is not. The number of distinct partitions of $k$ all whose parts are at most $n$ is given by ...
- 4,589
11
votes
0
answers
342
views
The diagonal operators and unconditionality
The following is well-known:
Theorem: Let $X$ be a Banach space with an unconditional basis $(e_n)_n$.
Then the space of the diagonal operators with respect the basis $(e_n)_n$ endowed with
the ...
- 2,429
7
votes
0
answers
349
views
An open set which is not the union of a closed set and a countable set
The following fact is probably a known result:
Fact. Let $X$ be an uncountable Polish space. Then there exists an open subset of $X$ which is not the union of a closed set and a countable set.
Proof:...
- 12.9k
2
votes
1
answer
153
views
What conditions on the rate matrix $Q$ ensure unique convergence in continuous-time Markov chains?
In the study of discrete-time Markov chains, the conditions under which all initial distributions converge to a unique stationary distribution are well-understood. Specifically, if the transition ...
- 1,724
9
votes
1
answer
435
views
On the origin of a fundamental theorem of additive number theory
Given $a, b \in \mathbb Z$, set $[\![a,b]\!] := \{x \in \mathbb Z: a \le x \le b\}$. A basic result in additive number theory goes as follows:
If $A$ is a finite subset of $\mathbb N$ with $0 \in A$ ...
- 10.5k
1
vote
0
answers
87
views
Hausdorff distance and Hausdorff measure of symmetric difference
Let $X_n$ be a sequence of $k$-dimensional piecewise smooth submanifolds of $\mathbb{R}^m$, converging in Hausdorff distance to a $k$-dimensional piecewise smooth submanifold $Y \subset \mathbb{R}^m$, ...
- 11
6
votes
0
answers
159
views
Identification of Fock space and the $L^2$ space of tempered distributions
Let $\mathcal{S}'(\mathbb{R}^d)$ be the set of tempered distributions over $\mathbb{R}^d$ and $d\phi_C$ a Gaussian measure over $\mathcal{S}'(\mathbb{R}^d)$ with covariance operator $C$. Consider the ...
- 3,065
12
votes
4
answers
991
views
Reference for the proof that Möbius transformations extend to isometries of hyperbolic 3-space
Consider the group $\operatorname{PSL}(2,\mathbb C)$ acting by Möbius transformations of the Riemann sphere. It is known that this action can be extended to an action on the unit ball which is ...
2
votes
0
answers
60
views
Relative Dolbeault cohomology using currents
I need to compute the cohomology groups of some relative holomorphic $i$-forms $H^\bullet(X, \Omega^i_{X/Y})$ for a fibration of complex manifolds $X\to Y$, using a kind of distributional de Rham ...
- 356
3
votes
0
answers
58
views
Infinitesimal generators of random evolutions
Consider two state spaces $X$ and $Y$ and infinitesimal generators of Markov processes $(A_y)_{y\in Y}$ and $B$, on $X$ and $Y$ respectively. We assume that $A_y$ share the same domain $D(A)$, and ...
- 31
4
votes
1
answer
158
views
Is the image of a complemented subspace complemented?
This question has been crossposted from mathstackexchange:
Let $X, Y$ be two Banach spaces and $T:X\to Y$ a continuous surjection. Assume $Z$ is a complemented subspace of $X$ and that $T(Z)$ is ...
- 60.5k
4
votes
0
answers
168
views
Explicit bounds on gaps between zeros of $\zeta^\prime(s)$
In $\S$9.1 of "Theory of the Riemann Zeta Function", Titchmarsh uses Borel-Carathéodory and Hadamard Three Circles to show that every circle of radius 6 and center $3+iT$ contains a zeros of ...
- 328
2
votes
2
answers
163
views
References for geometric properties of optimal Euclidean traveling salesman tour
Consider a finite set of points $V \subseteq \mathbb{R}^2 $ as a TSP-instance under the standard $\| \cdot \|_2$ norm. (TSP stands for traveling salesman tour.) We know that every optimal TSP tour $T$ ...
CommunityBot
- 1
1
vote
0
answers
172
views
Isomorphism classes of finite $\mathbb{N}$-groups
Where can I find resources on isomorphism classes of finite $\mathbb{N}$-groups, i.e. groups acted on by the monoid $(\mathbb{N}, +)$?
I edited this question to be more focused on what I'm interested ...
- 63.9k
11
votes
1
answer
1k
views
Had this attempt to salvage naïve comprehension been studied before?
Is the following a possible way to overcome inconsistency with naive comprehension:
We add an $\in_n$ symbol for each natural $n$ to the signature of this theory, which is a first order theory with ...
- 236k
0
votes
2
answers
215
views
Papers related to a diophantine equations about Magic square of squares for $n=3$
The open problem of magic squares of squares explained here. Consider the following magic square of squares:
$$
\begin{aligned}
&a^2&b^2&&c^2\\\\
&d^2&e^2&&f^2\\\\
&...
- 127
0
votes
0
answers
59
views
Decomposition of a contractive representation into an orthogonal sum for the $n$-dimensional case. Has this been done yet?
I know that it has been done for the two-dimensional case. Marek Kosiek showed it in his work "Decomposition of operator representations of the algebra $R(K_1 \times K_2)$" and "...
- 63
7
votes
0
answers
144
views
Bhargava's "Higher composition laws V" - where I can find it?
TSIA. There are four papers by Bhargava on higher composition laws that are publicly available:
I: A new view on Gauss composition, and quadratic generalizations
II: On cubic analogues of Gauss ...
- 2,215
3
votes
1
answer
177
views
Compactness of set of measurable functions between compact subspaces of real numbers
Let $X$ be a compact subset of $\mathbb{R}^n$ and $Y$ be a convex and compact subset of $\mathbb{R}^p$. Consider $\mathcal{F}$ the set of all measurable functions from $X$ to $Y$. Can I find ...
- 11
2
votes
0
answers
220
views
Ultraviolet divergences of entanglement entropy in QFT
I've often read that entanglement entropy in quantum field theory is ill-defined because local algebras are generally of type III, which implies that a trace doesn't exist. For a normal state $\omega_{...
- 424
3
votes
1
answer
203
views
Cohomology of the complex of differential forms with Schwartz coefficients
Let $U$ be an open manifold (say an open subset of $\mathbb{R}^n$ for simplicity). Denote by $\mathscr{S}(U)$ the space of Schwartz functions on $U$. Schwartz functions are defined as usual to be ...
- 21.5k
1
vote
0
answers
114
views
An urn model with weighted objects and replacement
Consider the following game:
In an urn, there are $K$ balls, $x_0$ of them are blue and light (mass $m_0$), $x_1$ are blue and heavy ($m_1$), $x_2$ are red and light ($m_2$), the rest $x_3$ are red ...
- 31
3
votes
0
answers
59
views
Reference request: History of the fact that the family of probability distributions of Cauchy type is closed under l.f.t.s of random variables
Two probability distributions on (Borel subsets of) $\mathbb R$ are of the same "type" if for any random variable $X$ having one of those distributions, the other distribution is that of $\...
4
votes
0
answers
149
views
Computable subsets of non-standard models of arithmetic
By Tennenbaum's theorem, there exists no computable non-standard model of $\mathsf{PA}$. That is, for any nonstandard model $M$, we cannot define an encoding of the integers $x\in M$ such that $+_M$, $...
- 291
4
votes
1
answer
309
views
On self-duality of non-Archimedean local fields
The question to follow has already been asked by the OP at https://math.stackexchange.com/questions/3454735/on-self-duality-of-non-archimedean-local-fields. Due to a lack of feedback, the OP felt ...
CommunityBot
- 1
3
votes
0
answers
76
views
Bow lemma with angles
First, let me recall the statement of the bow lemma.
Let $\gamma_1: [a,b] \to \mathbb{R}^2$ and $\gamma_2: [a,b] \to \mathbb{R}^2$ be two smooth unit-speed curves.
Assume $\gamma_1$ and its chord ...
- 6,367
6
votes
1
answer
199
views
$L(\mathbb{R})$-absoluteness from a proper class of Woodins: source?
For a paper I'm writing I need to use (as a blackbox) the following theorem: if there is a proper class of Woodin cardinals and $G$ is set-generic, then $L(\mathbb{R})$ and $L(\mathbb{R})^{V[G]}$ are ...
- 234
2
votes
0
answers
90
views
What's known about the Steinerian map's indeterminacy locus?
Sorry if this question is asked already, a quick google search didn't yield any answers.
In Classical algebraic geometry, §1.1.6, Dolgachev defines the Steinerian hypersurface $\operatorname{St}(X)$ ...
- 12.9k
3
votes
2
answers
236
views
Lengths of closed geodesics and geodesic segments
Let $M$ be a closed Riemannian manifold of dimension $n \geq 2$. I am looking at sufficient conditions for the following two properties:
existence of closed geodesics of arbitrarily long length on $M$...
- 2,934
32
votes
2
answers
3k
views
The Erdős–Turán conjecture or the Erdős conjecture?
This has been bothering me for a while, and I can't seem to find any definitive answer. The following conjecture is well known in additive combinatorics:
Conjecture: If $A\subset \mathbb{N}$ and $$\...
CommunityBot
- 1
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
5
votes
1
answer
232
views
"Middle" partial denominator in continued fraction expansion of square roots
Suppose $d$ is a positive integer that is not a perfect square such that the negative Pell equation, $x^{2}-dy^{2}=-1$ has no solution. Then we know the minimal period of the continued fraction ...
- 91
2
votes
1
answer
113
views
Showing $\inf _{a \neq 0} \frac{\left\|a^2\right\|}{\|a\|^2}\leq \inf _{a \neq 0} \frac{\|\hat{a}\|_{\infty}}{\|a\|}$ in a commutative banach algebra
Suppose $A$ is a commutative Banach algebra, and let $u=\inf _{a \neq 0} \frac{\left\|a^2\right\|}{\|a\|^2}$, $v=\inf _{a \neq 0} \frac{r(a)}{\|a\|}$ ($r(a)$ is the spectral radius of $a$). I need to ...
- 109k
2
votes
0
answers
126
views
Identification of Maharam extension
All definitions used in this post are from Björklund, Kosloff, and Vaes - Ergodicity and type of nonsingular Bernoulli actions. This post is inspired by the beginning of Section 2.2 in the same paper, ...
- 307
10
votes
0
answers
225
views
Can the trace be computed in any Schauder basis?
I'm cross-posting this question from Math.SE, as it didn't get much attention there.
Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
- 12.9k
3
votes
0
answers
116
views
On a functional equation of Mahler?
Recently, I was trying to introduce the concept of natural boundaries to a fellow math student, and what greater way to do this than using an example? In particular, I tried to use as an illustration, ...
- 131
2
votes
0
answers
95
views
On analytic functions on the complement of a curve without jump across the curve almost everywhere
Question. Suppose $f$ is an analytic function on $\mathbb C\setminus\mathbb R$ and assume that the boundary values of $f$ from above and below the real axis (denoted $f_\pm$ respectively) exist almost ...
6
votes
1
answer
291
views
Analytic maps on Banach spaces: analyticity upgrade
Consider the following problem.
Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and
$$ f:U\to G $$
an analytic map, such ...
- 1,075
4
votes
1
answer
228
views
Continuity upgrade for nonlinear maps
Let $E,F,G$ be topological vector spaces such that $F\subset G$ with continuous embedding.
By continuity upgrade I mean the following phenomenon: In some circumstances a continuous linear map $f:E\...
- 1,075
9
votes
4
answers
1k
views
The relationship between the dilogarithm and the golden ratio
Among the values for which the dilogarithm and its argument can both be given in closed form are the following four equations:
$Li_2( \frac{3 - \sqrt{5}}{2}) = \frac{\pi^2}{15} - log^2( \frac{1 +\...
- 1,268
3
votes
2
answers
342
views
Reference Request: Beilinson-Bloch conjecture in terms of Beilinson regulator isomorphism
I'm looking for a reference that provides a concise statement of the Beilinson-Bloch conjecture, specifically formulated in terms of an isomorphism under the Beilinson regulator map.
More precisely, I'...
- 15.4k
2
votes
0
answers
179
views
A Brun-Titchmarsh type result for divisor sums; asymptotic/improved bound
In Shiu's work ('A Brun-Titchmarsh theorem for multiplicative functions') he proved that if $r\le x$ is a natural number, we have $$\sum_{r<n\le x}d(n)d(n-r)\ll x\log^2x\sum_{d|r}\frac{1}{d}.$$
I ...
CommunityBot
- 1
4
votes
1
answer
589
views
Analytic solutions to algebraic differential equation
Dear Colleagues and Friends,
Here I need to find some good reference on a subject that seems very much studied: sorry, if the rest of this question is too naive.
I believe that it's known that if a ...
- 1,268
2
votes
0
answers
142
views
A $C^*$-algebra with the bidual $B(H).$
Let $H$ be a separable Hilbert space and let $A$ be a non-unital $C^*$-subalgebra in $B(H)$ such that the second dual $A^{**} \equiv B(H).$ Does $A$ coincide with the ideal of compact operators $K(H)?$...
3
votes
0
answers
69
views
Perturbation of one-parameter groups of unitary operators
Let $H$ be a Hilbert space and let $h$ be a fixed, densely defined, possibly unbounded, self-adjoint operator on $H$. Letting $B(H)$ denote the space of all bounded operators on $H$, it is well ...
- 2,263
3
votes
0
answers
148
views
Casimir eigenvalues of p-adic automorphic representations
In the context of p-adic local Langlands correspondence:
Is it possible to define Casimir eigenvalues for p-adic automorphic representations? If a local representation arises from a global Galois ...
- 63.9k
1
vote
2
answers
156
views
Numerical evaluation of monomial divided differences
Suppose $f(x)=x^{n+1}$ for some $n\in\mathbb{N}$, and define the divided difference $$f[a,b]=\frac{a^{n+1}-b^{n+1}}{a-b}.$$
I am wondering about the best way to numerically evaluate $f[a,b]$ to high ...
- 8,271
0
votes
0
answers
29
views
On constructing the canonical boundary operator for a given differential operator
Given an $n\times n$ matrix $$X=\begin{pmatrix}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{n1}...
- 765
1
vote
2
answers
164
views
Existence of directional heat equation without uniform ellipticity
I am asking for references, or for a proof idea on how to show that weak solutions of the following problem exist: search $u$ on a bounded domain $\Omega\times (0,T]$, where $\Omega\subset\mathbb{R}^d$...
- 12.9k