This tag is used if a reference is needed in a paper or textbook on a specific result.

learn more… | top users | synonyms

1
vote
2answers
200 views

Lattices in general totally disconnected locally compact groups

Besides automorphism groups of trees and buildings, I was wondering if the lattices in general totally disconnected locally compact groups have been studied in the literature? I appreciate if you ...
3
votes
1answer
267 views

A.J. Galitzer's Ph.D. thesis: On the moduli space of closed polygonal linkages on the 2-sphere

Recently I became curious about moduli spaces of linkages and so I found and began reading some papers of Kapovich and Millson. In the paper Hodge theory and the art of paper folding, the Ph.D. ...
8
votes
2answers
326 views

Covering the space by disjoint unit circles

Sierpinski has proved the following two interesting theorems. Theorem 1. The Euclidean plane $\mathbb{R}^2$ is not a union of nondegenerate disjoint circles. Theorem 2. The Euclidean space ...
5
votes
1answer
143 views

Making additive envelopes of monoidal categories monoidal

I have a monoidal category $(\mathcal{C},\otimes)$ enriched over abelian groups, for which I want to take the additive envelope $\mathcal{M}at\,\mathcal{C}$. (This is defined as the category with ...
0
votes
2answers
97 views

reference needed for sobolev type estimates

I'm reading a paper and the authors applied the following sobolev type estimates $$ ||(Dv)^{2}||_{H^{3k-2}(\Omega)}\leq C||v||_{H^{3k-1+\alpha}(\Omega)}^{2} $$ for $\alpha>\frac{1}{4}$, where $v$ ...
1
vote
1answer
92 views

Linearly ordered set arithmetic: reference request

A lot has been written about the arithmetic of ordinal numbers. However, we can also do arithmetic with linearly ordered sets. Question. Is there an article or book where I can learn the basics of ...
1
vote
0answers
55 views

the validity of a basic statement involving the Hausdorff distance

Let $\Omega_1 \supset \Omega_2 \supset \cdots$ be a sequence of nonempty, open, bounded and convex sets in $R^n.$ Define $\Omega = \operatorname{int} \Bigl( \overline{\bigcap_{k=1}^{\infty} \Omega_k ...
4
votes
1answer
120 views

Estimating the probability that $\|Av\| \ge \|v\|$

Given a diagonalizable matrix $A \in \mathbb{R}^{n \times n}$ with real eigenvalues, satisfying $1+c_1 \le \rho(A) \le 1+c_2$ $(0<c_1 \le c_2)$, obviously there exists a $v \in \mathbb{R}^{n}$ such ...
0
votes
2answers
109 views

Analyticity of Logarithmic Integrals

Assume $f\in L^2[0,1]$ and let $g(x)=\int_0^1f(y)\ln|x-y|dy$. Is it true that $g\in C^\infty(0,1)$? Is it true that $g$ is analytic in $(0,1)$? Can you refer me to a right reference to look up such ...
2
votes
2answers
160 views

Looking for a reference to a classical formula for the sum of the base-$b$ digits of an integer

Pick an integer $b \ge 2$, and for $n \in \mathbf N$ let $s_b(n)$ denote the sum of the base-$b$ digits of $n$. It is a nice exercise to prove that $$s_b(n) = (b-1) \sum_{i=1}^\infty ...
21
votes
2answers
1k views

Was Vinogradov's 1937 proof of the three-prime theorem effective?

Was Vinogradov's first proof of the three-prime theorem effective? Reasons for my question: Vinogradov presented his proof in 1937 in a monograph; the English translation by K.F. Roth and A. ...
2
votes
0answers
92 views

An equivariant Hahn Embedding Theorem?

The Hahn Embedding Theorem asserts that for any (linearly) ordered abelian group $\Lambda$, there exists a linearly ordered indexing set $\Omega$ such that $\Lambda$ admits an order-preserving group ...
0
votes
0answers
80 views

Chain-complex and Co-chain-complex valued Topological Quantum field theories

My research has led to me considering chain-complex and co-chain-complex valued topological quantum field theories. However, I am unable to find any literature that extensively studies this. Is there ...
0
votes
0answers
104 views

Third variation of area of a minimal surface

There is a formula for the third variation of area on page 96 of Nitsche's book, Lectures on Minimal Surfaces, vol. 1 (English version). He says at the bottom of the page it is good for normal ...
4
votes
2answers
349 views

Infinite dimensional Riemannian geometry

My current research has brought me into an area the requires me to learn some infinite dimensional Riemannian and Kähler geometry. Can someone recommend some good books or survey articles to help me ...
7
votes
1answer
314 views

Is this a new formula? $\Delta^d x^n/d! = \sum_k \left[ x \atop k\right]{ k+n \brace x + d}(-1)^{x+k}$

$$\frac{\Delta^d x^n}{d!} = \sum_k \left[ x \atop k\right]{ k+n \brace x + d}(-1)^{x+k}$$ Where $x$, $n$ and $d$ are non-negative integers, $\Delta^d$ is the $d$-th difference with respect to ...
3
votes
0answers
215 views

Hirzebruch's ICM talk

Is there an English translation of Hirzebruch's 1958 ICM lecture note: KOMPLEXE MANNIGFALTIGKEITEN Thank you very much!
2
votes
0answers
150 views

J-function of cotangent bundle of complete flag variety

Givental and Kim showed that the $J$-function of the complete flag variety $Fl_n=SL_{n}/B$ becomes an eigenfunction of the Toda Hamiltonian. How about the $J$-function of the cotangent bundle ...
3
votes
0answers
73 views

Geometry of ends of a finite volume negatively curved manifold

Is there a survey of the geometry of manifolds with finite volume Riemannian metrics of negative sectional curvature? More specifically, I am interested in the geometry of cusp ends of such manifolds, ...
11
votes
2answers
210 views

Subset of vectors whose sum has a large norm

In Rudin - Real & Complex Analysis we have the following Lemma 6.3. If $z_1, \ldots, z_n \in \mathbb{C}$ then there is a subset $S \subseteq \{1,\ldots,n\}$ for which $$\left|\sum_{k \in S} ...
1
vote
1answer
96 views

Convergence of a sequence of dependent binomial trials

Consider a sequence of the the following stochastic process. Let $b_0=1$, and let $n >1$. At each step $t$, let $b_t \sim Bin(n,\frac{b_{t-1}}{n})$. The process stops when either $b_t=0$ $b_t=n$. ...
5
votes
1answer
285 views

A question on generalized Einstein metrics on four-dimensional manifolds

I am thinking of a possible generalization of Einstein metrics (or a possible characterization of Einstein metrics) on four-dimensional manifolds, \begin{equation*} ...
6
votes
1answer
212 views

Is $G_{\operatorname{red}}$ normal in $G$?

Let $G$ be an affine group scheme of finite type over a field $k$. It is well known that the associated reduced subscheme $G_{\operatorname{red}}$ of $G$ is a subgroup if $k$ is perfect. So let us ...
0
votes
1answer
77 views

Fractional Laplacian on compact hypersurface/manifold via harmonic extension?

Let $M$ be a sufficiently smooth compact hypersurface of dimension $n-1$ in $\mathbb{R}^n$. In pages 10-11 of this paper, the authors define $\mathcal{M} = M \times (0,\infty)$ and consider the ...
6
votes
6answers
465 views

Furstenberg $\times 2 \times 3$ conjecture, bibliography

Furstenberg $\times 2 \times 3$ original conjecture states that the unique continuous invariant probability measure for $2x$ mod $1$ and $3x$ mod $1$ is the Lebesgue measure. I wanted to have a ...
6
votes
1answer
162 views

Does the totality of Ackermann's function prove the consistency of $\Sigma_1$-induction?

It is well known that Ackermann's function is not primitive recursive. Therefore, the theories of primitive recursive arithmetic (PRA) and of $\Sigma_1$-induction ($I\Sigma_1$) cannot prove the ...
2
votes
0answers
45 views

Local energy decay for variable-speed, divergence-form wave equation in non-trapping medium without obstacles

I'm looking for a reference in the literature describing local energy decay for solutions of a smooth-coefficient, variable-speed wave equation, in divergence form, with compactly-supported initial ...
0
votes
0answers
165 views

Game Theory - need references on analysis of particular game

My hobby AI research have led me to a thorethical game of particular design. As design is pretty simple, I was sure that such game has well-known name. But my question on math.stackexchange, where I ...
5
votes
1answer
163 views

Equivariant Formality

Let $G$ be a finite group and $\mathcal{A}$ be a $dg$-algebra. Assume $G$ acts on $\mathcal{A}$, i.e. there exists a homomorphism $G\to {\rm Aut}_{dg}(\mathcal{A})$. Assume further there exists a ...
1
vote
0answers
56 views

Periodic solution of first order ODE

There is a famous result shows that for every continuous function $f:{\mathbb R}\rightarrow {\mathbb R}$, the first order autonomous system $$ \left\{ \begin{array}{l} \dot{x}=f(x), \\ x(t_0)=x_0, ...
3
votes
0answers
93 views

Formal DG-algebras

Sorry for this question but I really have difficulties with model categories. Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...
6
votes
1answer
228 views

Continuity of l-adic cohomology: is the cohomology of the generic point isomorphic to the completion of the limit of cohomology of open subvarieties?

Let $X$ be a variety over an algebraically closed field $k$. Denote by $\eta$ its generic point; it is the inverse limit of the open subvarieties $X_i$ of $X$. It is well known that the etale ...
3
votes
2answers
171 views

equivalence of quadratic forms over finitely generated fields

Over number fields, two quadratic forms are equivalent iff they have the same dimension, signature, discriminant and Hasse invariant. How is the situation like over finitely generated fields?
3
votes
0answers
90 views

Nonexistence of Limit Cycle

Consider a planar dynamical system described in polar coordinates as $$ \left\{ \begin{array}{ll} \dot{\theta}=\Delta - r \sin \theta,\\ \dot{r} = - r + 1 + \cos \theta, \end{array} \right. $$ where ...
13
votes
2answers
751 views

Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman: A connected open subset $D$ of the plane $\mathbb C$ is simply connected if and only if its complement $\widetilde D = \mathbb C \setminus D$ ...
4
votes
2answers
332 views

Ricci curvature under rough convergence

From the work of Lott--Villani and Sturm, I know that the following fact holds: (*) Suppose that $(M_k,g_k,dvol_{g_k})$ is a sequence of compact Riemannian manifolds of non-negative Ricci ...
2
votes
1answer
78 views

Existence of parametrizations of rational orthogonal matrices

I suppose that there are formulas which parametrize all the orthogonal matrices with rational coefficients. Does anyone know anything about it? And what are some publications that discuss this? ...
1
vote
1answer
73 views

Neighborhood overlap matrix for a bipartite graph

Let $G$ be an undirected, simple, bipartite graph with parts $V$ (having $n$ vertices) and $W$ (having $m$ vertices). Define the following $n$-by-$n$ matrix: for any $i,j \in V$, $$a_{ij} = |N_i \cap ...
0
votes
1answer
84 views

Nonlocal (parabolic) PDEs in the Sobolev space setting

Can someone recommend me some literature on nonlocal parabolic problems (eg. of the form $$u_t + (-\Delta)^s u = f$$ where the nonlocal operator is the fractional Laplacian) in the setting of Sobolev ...
4
votes
2answers
172 views

Asymptotics of special square-free numbers

What is the asymptotic number of square-free numbers less than $x$ with exactly $k$ prime divisors?
4
votes
1answer
83 views

Weyl group action on complexified Iwasawa decomposition

Let $G$ be a complex, reductive, algebraic group and let $G=KB$ be the complexified Iwasawa decomposition of $G$, see also [SW02]. Let $T$ be a maximal torus of $B$, therefore a maximal torus of $G$. ...
3
votes
0answers
62 views

Quasi-isomorphisms and Subalgebras

Let $A$ and $B$ $dg$-algebras over $\mathbb{C}$. If there exists an isomorphism $f:A\to B$, then every subalgebra $A'$ of $A$ is isomorphic to the subalgebra $f(A')$ of $B$. What is if $f$ is ...
4
votes
2answers
122 views

Dimension of the nilpotent centralizer of a nilpotent matrix

Fix a natural number $n$ and an algebraically closed field $k$. Let $\mathfrak{g}=\mathfrak{gl}_n(k)$. For any partition of $n$, $\lambda=(\lambda_1,\ldots,\lambda_r)$, let $A_{\lambda}$ be the ...
1
vote
0answers
152 views

Smoothness of eigenfunctions of integral equation

Can you provide a proof or a reference, to study from, for the following problem: Assume $\Gamma$ is a real analytic closed rectifiable curve in the plane, $ds$ is the arc-length and kernel ...
4
votes
0answers
79 views

Relation between fundamental theorem of Ehrenfeucht-Fraisse games and notions of bisimulation and simulation

Vijay D alluded to the relation between the fundamental theorem of Ehrenfeucht-Fraisse games and notions of bisimulation and simulation in response to the whats-a-magical-theorem-in-logic question. ...
4
votes
2answers
248 views

What's an initial object in a poset-enriched category?

I have a functor $F:C \to D$ between poset-enriched categories, and I'd like to show that the induced map on classifying spaces is a homotopy-equivalence. To this end, I am trying to establish the ...
3
votes
1answer
46 views

Random weighted selection without replacement

I am using the following procedure to select $m$ different numbers $\{i_1,\ldots,i_m\}$ from the set $\Omega = \{1,\ldots,N\}$, with $m,N\in\mathbb{N}$ such that $m< N$. Selection procedure ...
7
votes
1answer
293 views

Raphael Douady's thesis: Applications du théorème des tores invariants

Raphael Douady's thesis, Applications du théorème des tores invariants, has been cited in numerous papers by many experts. According Wikipedia, he proves of the equivalence of KAM ...
5
votes
2answers
181 views

Probabilistic Interpretation of First Dirichlet Eigenvalue?

The first Dirichlet eigenvalue of a compact domain $\Omega\subset\mathbb{R}^n$ with smooth boundary is the smallest positive number for which there exists a non-trivial solution to $$ -\Delta\psi = ...
3
votes
1answer
285 views

A useful criterion in vector integration

I would like to know the proof of the following theorem: Consider two Banach spaces $X\hookrightarrow Y$ and $1<p,q\leq\infty$. Let $(f_n)_{n\geq 0}$ be a bounded sequence in $L^q(I,Y)$ and let ...