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

learn more… | top users | synonyms

5
votes
1answer
92 views

Properties of singularities that are preserved by categorical quotients

Let $G$ be a reductive group acting on an affine singular variety $X$, and let $X/G$ be the categorical quotient. I know that if $X$ has rational singularities, then so does $X/G$ ...
4
votes
1answer
141 views

Which hyperbolic tilings are Cayley graphs?

I realise the question is easy but after asking to a few people (and never getting a clear answer), I thought it could be instructive to ask it here: Given a regular tiling of the hyperbolic plane is ...
3
votes
1answer
219 views

Flow of an integer

I've stumbled across this family of flow networks, and posted the sequence of maximal flows to OEIS. It doesn't appear at this time. I can't find any reference to it either. Has anyone seen it? ...
1
vote
1answer
78 views

reference request: Riesz/Newton potential and HLS inequality in L1.logL1

Let's consider in dimension $d\geq 3$ the Newton/riesz potential $f=I_2[g]$ $$ f(x)=\int_{R^d}\frac{1}{|x-y|^{d-2}}g(y)dy, $$ which solves $-\Delta f=g$ (up to positive normalizing constants, which I ...
11
votes
0answers
137 views

Entropy in elimination theory, or a brief remark by Gelfand-Kapranov-Zelevinsky

In the introduction to their book "Discriminants, resultants and multidimensional determinant", the authors state a very intriguing observation concerning the coefficients of monomials appearing in ...
2
votes
1answer
90 views

Pullback of $L^p$ functions via exponential map

Let $M$ be a complete Riemannian manifold, endowed with its exponential map $\exp: TM \longrightarrow M$. For any $C^k$- function $u$, we get the Pullback $$ \exp^* u = u \circ \exp$$ which is in ...
16
votes
3answers
2k views

Silly me & Van der Waerden conjecture

So I walked into this very innocent-looking combinatorics problem, and quite soon I ended up with the problem to prove that any doubly stochastic $n \times n$ matrix has a non-zero permanent. Now ...
3
votes
2answers
416 views

An identity in an arbitrary commutative ring

This fact might be either trivial, wrong, or well known. Let $R$ be a commutative ring. Let $u_1,\dots,u_{s-1},u_s\in R$ and $m,M\in R$. Let us assume that $m,M$ satisfy $$(m-u_1) \dots ...
2
votes
1answer
190 views

Forcing Notions with Unknown Real/Cardinal Preserving Situations

Question. Is there any set forcing notion $\mathbb{P}$ in one of the following categories? (a) $\mathbb{P}$ preserves cardinals but it is still open whether $\mathbb{P}$ adds reals or not. (b) ...
2
votes
1answer
63 views

Extendability of $L^{p}$ harmonic functions

Let $u$ be a harmonic function on some open set $\Omega\subset\mathbb{R}^{n}$ and $u\in L^{p}\left(\Omega\right)$. Is there any reference on extending $u$ to harmonic function on a larger open set ...
4
votes
1answer
178 views

Is Van der Waerden's function elementary

Van der Waerden's function was proved to have elementary upper bound on growth rate. Is the Van der Waerden's function itself elementary in the sense of Kalmar?
3
votes
1answer
154 views

Higher dimensional analogue of Thue's equation

The classical Thue equation is $$\displaystyle F(x,y) = h,$$ for a binary form $F(x,y) \in \mathbb{Z}[x,y]$. Recall that a binary form is a polynomial in two variables which is homogeneous, and $h$ ...
3
votes
1answer
98 views

The spectral radius of a modified graph

Let $H$ be a graph and let $G=H \vee K_{1}$ be obtained by creating a new vertex and joining it to every vertex in $H$. This situation has many different names: $G$ is called the cone or the ...
5
votes
3answers
203 views

A weak-mixing, zero entropy measure on the 2-shift which gives equal weight to both symbols

I am currently sketching a paper in the general area of symbolic dynamics in which I would like to be able to use the following fact: Proposition (proposed): there exists a shift-invariant ...
3
votes
1answer
104 views

Reference to definition of matrix log with domain SO(3) which is Borel measurable

I was trying to set up an inverse to matrix exponential $\exp:\mathrm{Skew}(3\times 3)\to SO(3)$ that "covers" the biggest possible domain and is Borel measurable. I was wondering if there is a ...
9
votes
1answer
173 views

Obtaining a lightface pointclass from a boldface one

Define a pointclass to be: boldface inductive-like if it is $\mathbb{R}$-parameterized, has the scale property, and is closed under $\wedge$, $\vee$, $\forall^\mathbb{R}$, $\exists^\mathbb{R}$, and ...
5
votes
0answers
205 views

1-Wasserstein distance between two multivariate normal

The $p$-Wasserstein between two measures $\nu_1$ and $\nu_2$ on $X$ is given by ...
1
vote
0answers
63 views

Is there any study on limit sets arising from “outside” of the hyperbolic geometry?

In the projective model, hyperbolic spaces are modeled by the interior of the light cone of Lorentz spaces. Kleinian groups are isometries of the hyperbolic space, and they centainly also act on the ...
1
vote
1answer
76 views

L logL space and compactness

I think that if a sequence of L^1 functions have the integral $$ \int f_n \log (f_n)dx $$ uniformly bounded, then there is a subsequence that converges strongly in $L^1$. The questions are: 1) Is ...
3
votes
0answers
67 views

Question about a length inequality in algebraic dynamics

Let $X$ be a Noetherian scheme. Let $f\colon X\rightarrow X$ be an integral self-morphism. If $x\in X$ is a closed point, I will write $\mathcal{F}_{1}^x$ for the coherent sheaf of ...
5
votes
1answer
275 views

Integer numbers of the form $m = x^n + y^n$

First of all, I am no number theorist, so this question may be a little dummy. The two squares theorem imply that $m = x^2 + y^2$ for some (possible zero) integer numbers $x,y$ iff $m$ factors as $m ...
3
votes
3answers
321 views

Estimating a sum involving binomial coefficients [refined]

Having some work done, here is a refined version of my initial question. For integer $m>0$ and $0\le q\le m$, consider the sum $$ S(m,q) = \sum_{i=0}^{m-q} \binom{m}{i} \binom{m-i}{q}^2. $$ I ...
3
votes
1answer
176 views

Tor dimension in polynomial rings over Artin rings

I found this tricky problem in trying to understand some properties of local rings at non-smooth points of embedded curves. But this would be a very long story. So I make it short and I try to go ...
9
votes
2answers
347 views

Historical quotation search: Equations/formulae in (Latin?) prose, before modern symbolic notation

I have been trying, without success, to find a vaguely-remembered quotation: the quadratic equation (or perhaps the quadratic formula), given in (Latin?) prose, along lines like “Consider that ...
5
votes
1answer
89 views

Reference request: embedding the hyperbolic triangulation in $\mathbb{R}^3$

Let $T_d$ be the infinite valence $d$ triangulation of the hyperbolic plane, where each triangle is equilateral and $d \ge 7$. Question: Is there an isometric embedding from $T_d \to \mathbb{R}^3$? ...
2
votes
1answer
92 views

Reproducing kernels and equivalent inner products

Suppose $H$ is a reproducing kernel Hilbert space and $K_{1}\left(x,\cdot\right)$ and $K_{2}\left(x,\cdot\right)$ two reproducing kernels with respect to two equivalent inner products on this space. ...
1
vote
2answers
178 views

Double Density Theorem?

A colleague asks me the following: "I wonder if you can give me a reference - or a guidance where to look – from a fact I recall from graduate school. I’m sure it can be generalized quite a bit but ...
2
votes
1answer
63 views

Reference to complete derivation of Kossakowski–Lindblad equation and its steady solutions

Are there recommended textbook or good intro-reference to explain with complete stretch of Kossakowski–Lindblad equation especially how is the idea to derive it from ground? ...
10
votes
2answers
299 views

Reference for invariance of essential spectrum under relatively compact perturbations

I'm looking for a proof of the following statement: Let $X$ be a Banach space and $T$ be a closed map on $X$. For any relatively compact map $A$ the essential spectrum of $T$ and $T+A$ are the same. ...
-3
votes
1answer
236 views

Algebraic Geometry: Question on terminology [closed]

What is a quadric surface of balanced bi-degree? Do you know of a good reference on this topic? Thanks in advance for your replies.
4
votes
1answer
183 views

Boundaries of relatively hyperbolic groups

When the interior of an n-manifold $M$ has a pinched negative curvature metric of finite volume, then its fundamental group $\Gamma=\pi_1M$ is relatively hyperbolic relative to the parabolic groups ...
3
votes
1answer
93 views

The regularity of Levy process

There is a property for continuous Markov process that each point $y$ in its state space is hit with positive probability one starting from any interior point $x$. This property is called the ...
6
votes
1answer
149 views

What is/are the best bound/s on the sum of squares of degrees in a graph?

Let $G$ be a graph with degrees $d_{1},\ldots,d_{n}$. I am interested in upper bounds on $$ \sum_{i=1}^{n}{d_{i}^{2}}. $$ An example is de Caen's bound: $$ \sum_{i=1}^{n}{d_{i}^{2}} \leq ...
1
vote
1answer
58 views

Reflexive Besov spaces Bs,p,q

I don't know whether the Besov space $B^s_{p,q}$ with $1<p,q<\infty$ is reflexive or not? Can someone help me please?
6
votes
5answers
369 views

Reference requested: Random walk on groups

I am looking for a good reference to learn about random walks on groups (either finite groups or Lie groups). Ideally, I would like a reference for general theory of random walks on groups that is ...
5
votes
1answer
188 views

Self-adjoint operator

Assume that $B$ is a self-adjoint operator and $\alpha\in(0,1)$. I need a reference for the following equality $$B^{-\alpha}=\frac{\sin\alpha \pi}{\pi}\int_0^\infty ...
6
votes
2answers
268 views

What is the shape of large cardinal tree in implication strength order?

There are two natural orders on large cardinal axioms. (a) Consistency strength order $\sigma \leq_C \theta \Longleftrightarrow ZFC\vdash Con(ZFC+\theta)\longrightarrow Con(ZFC+\sigma)$ (b) ...
0
votes
1answer
437 views

On the foundations for large categories

There are some basic discussions on the motivations of large categories and small categories [here] (On the large cardinals foundations of categories) and [here] (Large cardinal axioms and ...
3
votes
1answer
96 views

Supercuspidal with Iwahori fixed vector

Let $F$ be a local field. Is there a reference for the following fact: No supercuspidal representation of $GL_2(F)$ has an Iwahori-fixed vector? I have a proof, by I'd prefer a reference, ...
2
votes
1answer
57 views

radius of the ball where the inverse of Lipschitz maps exists

I am aware of the inverse function theorem for Lipschitz maps, which uses the notion of generalised derivative $δ_{x_0} f$ of a Lipschitz map $f$, due to F.H.Clarke: Teorem. Let $f : U ⊂ \mathbb{R}^n ...
-2
votes
1answer
177 views

Natural constructions (not depending on parameters) [closed]

Consider graph clusterings as a prototypical example of (logical) constructions. Let a clustering of a graph $(V,E)$ be any covering of $V$, i.e. a set $C$ with $\bigcup C = V$. I am looking for a ...
2
votes
0answers
117 views

Approximation of continuous functions by Lipschitz functions in the topology of uniform convergence on compact sets

I was involved into this subject when I answered this question from MSE. Trying to generalize my answer, I am thinking about a following Question. Let $X$ and $Y$ be metric spaces. When each ...
4
votes
1answer
97 views

Connection between degree of growth and return probabilities of random walks on Lie groups

Let $G$ be a finitely generated group of polynomial growth, let $\mu$ be a non-degenerate symmetric probability measure with finite support on $G$, and let $d$ be the degree of growth of $G$. ...
3
votes
1answer
146 views

Real analytic ergodic diffeomorphisms of the two sphere

Does there exists a real analytic area preserving ergodic diffeomorphism on $S^2$? (Possibly by perturbing a rotation in the real-analytic topology?)
0
votes
1answer
75 views

Constructing measures with support in a given set

I've recently come across the Frostmann Lemma (http://en.wikipedia.org/wiki/Frostman_lemma). Its proof involves constructing a measure with certain properties on a given subset of $\mathbb{R}^n$ (I'm ...
1
vote
1answer
118 views

Entropy of Negatively pinched manifolds

Suppose $M$ is a compact negatively pinched Riemannian manifold of dimension $n$. We normalize the metric such that $-1\le K\le -a^2$ for some $0<a\le 1$. Let $G$ be the fundamental group of $M$. ...
2
votes
0answers
74 views

The number of different lattice triangles

Two convex lattice polygons are equivalent if there is a lattice-preserving affine transformation mapping one of them to the other. Equivalent polygons have the same area. Let $H(A)$ denote the number ...
1
vote
1answer
145 views

The Weyl algebra modules which are also rings

Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...
7
votes
1answer
428 views

Ramanujan's problem 754 still open?

In addition to the MO question The Ramanujan Problems. , I would like to ask the following. Problem 754 from the list of the Ramanujan's problems ( ...
4
votes
1answer
456 views

Origin of “Woodin cardinal”

Sorry if this is a completely stupid question (I'm a not a set-theorist, though I've been doing some reading in the subject), but I was wondering, specifically, about the exact provenance of the name. ...