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

learn more… | top users | synonyms

4
votes
0answers
55 views
+50

Connection between connectivity and cohesion of a graph

Tutte [1] proved that, for every $3$-connected graph $G$ and vertices $u$ and $v$, there exists a nonseparating $uv$-path. A graph $G$ is $t$-cohesive if $G$ is connected, has at least two vertices, ...
14
votes
6answers
2k views

Are there smooth bodies of constant width?

The standard Reuleaux triangle is not smooth, but the three points of tangential discontinuity can be smoothed as in the figure below (left), from the Wikipedia article. However, it is unclear (to me) ...
6
votes
1answer
203 views

Reference request: Optimal $L^p$-decay for nonhomogenous heat equation in $\mathbb R^d$

Let $u$ be a classical solution for the nonhomogeneous heat equation in $\mathbb R_+ \times\mathbb R^d$: $$ \begin{cases} \partial_tu(t,x)-\Delta u(t,x) = f(t,x), \\ u(0,x)=u_0(x). \end{cases} $$ ...
6
votes
1answer
109 views

Reference request: Riesz potential $I_\alpha : L^{d/\alpha} \to \rm{BMO}$?

Let us denote the Riesz potential in $\mathbb R^d$ by $$ I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.$$ By the classical Hardy-Littlewood-Sobolev theorem ...
-1
votes
1answer
71 views

Question about measure lemma?

"Let (u_j) be a bounded sequence from $W^{1,p}(\Omega)$ how to prove that there exists a subsequence such that $u_j\rightharpoonup u$ in $W^{1,p}_0(\Omega)$ and $|\nabla u_j|\rightharpoonup d\mu,$ ...
1
vote
3answers
203 views

Has this formula for $G_{k}:=\lim\inf_{n\to\infty}p_{n+k}-p_{n}$ been conjectured?

I give here a heuristics that suggests that the quantity $\displaystyle{G_{k}:=\liminf_{n\to\infty}p_{n+k}-p_{n}}$ should be approximately equal to $k(1+H_{k})$, where $H_{k}$ is the $k$-th harmonic ...
4
votes
0answers
110 views

Lower bound on class number of binary quadratic forms of discriminant of the form $n^2+4$

While searching for a use for the "sum invariant" of indefinite binary quadratic forms of discriminant $D = n^2 + 4$ (see https://cs.uwaterloo.ca/journals/JIS/VOL17/Smith/smith5.html), I believe I ...
1
vote
0answers
58 views

Generalization of Schur polynomials

I am making a list of generalizations of Schur polynomials and other closely related polynomials that appear in representation theory. My motivation is to eventually make a nice poster of ...
2
votes
0answers
99 views

A homomorphism in the long exact sequence of a fibration for a homogeneous space of a Lie group

Let $G$ be a connected Lie group, and let $H\subset G$ be a (closed) Lie subgroup, not necessarily connected. Set $X=G/H$. The fibration $j\colon G\to X$ with fiber $H$ induces an exact sequence $$ ...
0
votes
0answers
45 views

Generalization of a class of sets [on hold]

In topological space, we start with open set, which serves as fundamental set. We know that union of finite disjoint open sets is the smallest set amongst any kind of unions of open sets, so we have a ...
1
vote
1answer
55 views

Sobolev multiplication $\otimes$ of $H^1=W^{1,2}$ in vector bundles

Let $E\to X$ be a vector bundle with an inner product and fix a reference connection $A_0$ on $E$. Then for $1\leq p < \infty$ and $k\geq 0$ we can define the Sobolev space $W^{k,p}(E)$ as the ...
0
votes
0answers
78 views

Is it possible to find an explicit definition of the “universal” (co)tangent bundle?

Let $H_{0,1}(\mathbb{P}^2, d)$ be the space of holomorphic degree $d$ maps (that are not multiply covered) from $\mathbb{P}^1$ to $\mathbb{P}^2$ with one marked point $y \in \mathbb{P^1} $ ...
1
vote
1answer
83 views

Inner product spaces without symmetry/hermitian axiom

Consider a vector space $X$ over $\mathbb R$ and a bilinear form $ \langle \cdot, \cdot \rangle : X \times X \rightarrow \mathbb R$. We assume furthermore that for any $x \in X$ there exists $y \in ...
1
vote
1answer
135 views

compact inclusion of domains of unbounded operators

Let $L$ be a positive self-adjoint operator defined densely on $L^2(M)$ where $M$ is a compact manifold. Also, let $\mathcal{D}(L) \subset H^1(M)$. It is known that $\mathcal{D}(L) \subset ...
4
votes
0answers
94 views

Rellich's theorem from compact resolvent

On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into ...
25
votes
2answers
531 views

Volume of the unitary group

I saw a very remarkable asymptotic formula (or a conjecture?) for the volume of of the unitary group $ U(n)$ which is the following: $$\log[\mathrm{Volume}(U(n))] \sim_{n\rightarrow \infty} ...
2
votes
1answer
165 views

Explicit examples of Dehn presentations of hyperbolic groups

It is well known fact that a (f.g.) group is hyperbolic if and only if it admits a (finite) Dehn presentation. My question concerns something I'm struggling with since the first time I read the proof ...
4
votes
2answers
127 views

Accuracy of the formulas for angles between almost colinear vectors

Assume $x$ and $y$ are two vectors in $\mathbb{R}^3$ and we want to compute the acute angle $\alpha\in(0,\pi/2]$ between these two (noncolinear) vectors. There are (at least) two possibilities: In ...
5
votes
1answer
190 views

A survey for various $K$-homology theories and their relationship

The ordinary Topological $K$ theory defined by Atiyah and Hirzebruch is a generalized cohomology theory (see wikipedia).There is the Bott spectrum associated to this generalized cohomology ...
13
votes
2answers
295 views

Fair cake-cutting between groups

The cake-cutting game is usually played between individuals. What if we try to play it between groups? A certain land has to be divided between two states. ‎There are $n$ citizens in each state. ...
6
votes
7answers
640 views

Source for roots of matrix polynomials?

A matrix polynomial is a polynomial whose variables are square $n \times n$ matrices, let's say with entries in $\mathbb{C}$, and with coefficients in $\mathbb{C}$. I am seeking a source of results on ...
0
votes
0answers
69 views

What is the relation between the $K_0$ of a singular curve and its normalization?

Let $X$ be a singular curve over a field $k$. We define $K_0(X)$ to be the Grothendieck group of the category of coherent sheaves on $X$. For $X$ we have its normalization $\widetilde{X}$ and hence ...
13
votes
1answer
684 views

Where did (or will) appear: “Funktorialität in der Theorie der automorphen Formen” by Langlands?

In 2010 Langlands wrote an article with the title Funktorialität in der Theorie der automorphen Formen: Ihre Entdeckung und ihre Ziele. On the IAS website, he says that This note ... was ...
1
vote
0answers
136 views

A question on (odd) perfect numbers

I have asked this question in MSE a few weeks back, but did not receive any responses. I have cross-posted it to MO, hoping that it is appropriate for this site. Let $\sigma(x)$ be the (classical) ...
2
votes
1answer
96 views

Stochastic differential equation associated with an optimal control problem

We know how to find the stochastic differential equation (Hamilton-Jacobi-Bellman equation, HJB) of the control problem where a process $X_t$ is controlled up until it is stopped at a stopping time ...
2
votes
2answers
227 views

Is anything known about the eigenspectrum of the regular representation of the permutation group?

I am looking for information like upper bounds on how many times any eigenvalue can occur or something like how many eigenvalues can be there in some given range. Is anything like this known? The ...
6
votes
0answers
231 views

Reference for “if the set $A$ is Suslin, then every $\Sigma^1_1(A)$ set is Suslin”

Does anyone know of a reference for one or both of the following facts (in $\mathsf{ZF}$)? If the set of reals $A$ is Suslin, then every $\Sigma^1_1(A)$ set of reals is Suslin. If $T$ is a tree on ...
44
votes
7answers
13k views

Is Mac Lane still the best place to learn category theory?

For a student embarking on a study of algebraic topology, requiring a knowledge of basic category theory, with a long-term view toward higher/stable/derived category theory, ... Is Mac Lane still ...
5
votes
2answers
187 views

Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?

I recently needed to know which circles $S$ in a maximal torus $T^6$ of the compact exceptional group $E_6$ yield one-dimensional subspaces $\mathfrak s$ of the Lie algebra $\mathfrak t^6$ that are ...
0
votes
0answers
183 views

Is dimension invariant under blow-ups?

Let $X'\rightarrow X$ be a blow-up of a finitely dimensional scheme $X$ in a center $D$. Under which assumptions one has $\dim X'=\dim X$? Do you know a proof or a reference for a proof? Do you know ...
2
votes
2answers
202 views

Some general properties of arithmetic groups of simplest type

I'm working in the area of arithmetic Kleinian groups (as discrete groups of motions of hyperbolic 3-space). For the more general case of hyperbolic $n$-space, there is a particular class of ...
18
votes
2answers
1k views

An unfair marriage lemma

I am looking for a citeable reference to the following generalization of Hall's Marriage Theorem: Given a bipartite graph of boys and girls. In addition to gender difference, they are divided into ...
0
votes
0answers
112 views

Is there any computation of $K^0(X)$ and $K_0(X)$ for a singular curve $X$?

Let $X$ be a projective curve over an algebraic closed field $k$ which characteristic zero. Define $K^0(X)$ as the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ as the Grothendieck ...
1
vote
1answer
64 views

Nested convex optimization

Suppose I have a convex optimization problem of the form $$\min_x f(x) ~~s.t.\\x\in X$$. Say that $f(x)$ and its (sub)gradient are not given in a closed form, but are determined by solving a convex ...
0
votes
1answer
231 views

Stability conditions of coherent sheaves on abelian 3-folds

My work for now consists on understanding stability conditions of coherent sheaves on abelian 3-folds. I have the book by D. Huybrechts (the geometry of moduli spaces of sheaves), But I would like to ...
7
votes
0answers
100 views

Some $q-$analogues of $ \sum\limits_{j = - k}^k {{{( - 1)}^{ j}}}\binom{n}{k-j}\binom{n}{k+j}=\binom{n}{k}.$

Let ${\left( {a;q} \right)_n}=\prod\limits_{j = 0}^{n - 1} {(1-{q^j}a} )$ and let $ {{n}\brack{k}}_q$ denote a $q-$binomial coefficient. I am interested in $q-$analogues of the identity $ ...
5
votes
0answers
156 views

Universal anti-Horn classes?

Is there published work about universal anti-Horn classes? Anti-Horn formulas are also sometimes known as dual Horn. See also related question Is there any research of universal algebras ...
24
votes
4answers
1k views

Forcing as a replacement of induction and diagonal arguments

Let me give some examples motivating the question. The use of forcing instead of induction: For this consider Cantor's theorem: Theorem 1. Any two countable dense linear orders $I, J$ without end ...
15
votes
5answers
3k views

Fermat numbers and the infinitude of primes

Wonder whether any of you guys know why it is that the proof of the infinitude of primes that is based on the coprimality of any pair of (distinct) Fermat numbers is commonly attributed to Pólya. In ...
3
votes
1answer
177 views

Non-negativity of invariant polynomials

Certifying the non-negativity of a symmetric polynomial is much easier than certifying the non-negativity of an arbitrary polynomial function: for instance, in (1) is proved that the complexity of ...
9
votes
1answer
179 views

Is the analytic version of the Whitney Approximation Theorem true?

I initially asked this question on MSE but I haven't had any luck. The Whitney Approximation Theorem states that any continuous map between smooth manifolds is homotopic to a smooth map. If the ...
0
votes
2answers
141 views

étale cohomology via Cech cocycles for a quasi-projective scheme

I am looking for the explicit reference to the fact that for a quasi-projective scheme a class in the étale cohomology of a sheaf of a certain degree can by computed using Cech cocycles.
1
vote
0answers
30 views

References to study Weak and Strong Topologies and aproximations on function spaces of manifolds

I´m studing weak and strong topologies and aproximations on the function space $C^{\infty}(M,N)$ of two manifolds $M$ and $N$. I´m using the book Differential Topology of Morris Hirsch but it is a ...
1
vote
0answers
33 views

Green's function for fractional Laplacian

Consider the fractional differential equation \begin{align} D_{|x|}^\alpha u(x) +bu(x)=f(x) \end{align} with $0<\alpha<2$ on an unbounded domain. Instead of $D_{|x|}^\alpha$ one also often sees ...
4
votes
1answer
51 views

Largest regular $k$-simplex inscribed in a $d$-cube, $k < d$

The largest (by edge length) regular simplex inscribed in a unit cube is well known in $\mathbb{R}^2$ and $\mathbb{R}^3$:     Image sources: left: NMSU, right: Mathworld. A recent ...
0
votes
0answers
72 views

Help finding paper: De Concini, Kac - Quantum Groups at roots of 1

I am looking for a specific paper, that I have found very difficult to trace. C. De Concini, V. Kac - Quantum Groups at roots of 1 Specifically, the paper is cited as follows (on De Concini's ...
9
votes
4answers
391 views

Between Tietze's and Dugundji's Extension Theorems

The celebrated Tietze Extension Theorem asserts that any continuous real-valued function defined on a closed subset of a normal space, can be extended to a continuous function on the whole space. Seen ...
4
votes
2answers
146 views

Existence of a measure-preserving bijection

Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and g is radially symmetric, the function $ (0, \infty )\ni t \mapsto g ...
0
votes
0answers
53 views

Non-ergodic Dye Theorem for orbit equivalent automorphisms

The Dye Theorem states that any two free ergodic p.m.p automorphisms of a standard probability space are orbit-equivalent. Question: Is there a version of the above theorem for non-ergodic ...
25
votes
6answers
3k views

Covering a unit ball with balls half the radius

This is a direct (and obvious) generalization of the recent MO question, "Covering disks with smaller disks": How many balls of radius $\frac{1}{2}$ are needed to cover completely a ball of radius ...