# Questions tagged [reference-request]

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

9,216 questions

**2**

votes

**0**answers

34 views

### Convergence of Eigenvalues and Eigenvectors for Uniformly Form-Bounded Operators

Suppose that $A$ is an operator on a dense domain $D(A)\subset L^2$ with compact resolvent, and with quadratic form $q(f,g):=\langle f,Ag\rangle$.
Let $(r_n)_{n\in\mathbb N}$ be a sequence of ...

**2**

votes

**0**answers

147 views

### A question of Ahlswede and Katona: known lower bounds on $\beta(d,n)$?

Given a set $S\subseteq \{0,1\}^d$ of the Boolean hypercube of dimension $d$, define the average distance of $S$ as
$$
\bar{d}(S) = \frac{1}{\lvert S\rvert^2} \sum_{x,y\in S} d_H(x,y)\tag{1}
$$
where $...

**5**

votes

**0**answers

65 views

### Laplace Beltrami eigenvalues on surface of polytopes

The recently posted arxiv paper Spectrum of the Laplacian on Regular Polyhedra
by Evan Greif, Daniel Kaplan, Robert S. Strichartz, and Samuel C. Wiese, collects numerical evidence for conjectured ...

**-1**

votes

**1**answer

96 views

### Do you know the reference for this law? [closed]

I am graduate student.
As you know, the convolution operation satisfy the below equation due to commutative law.
a(n)*b(n)*c(n) = a(n)*c(n)*b(n)
In addition, the muliplication operation also ...

**4**

votes

**2**answers

82 views

### Complexity of Random Delaunay Triangulation in 3D

My question:
Is the number of cells in a three-dimensional Poisson-Delaunay triangulation with $n$ vertices $\mathcal O(n)$ with probability one?
which is equivalent to the question
Is the ...

**4**

votes

**1**answer

75 views

### Incompressible Navier-Stokes equation with heat conduction

How does the incompressible Navier-Stokes system read with heat conduction?
Where can I find an existence result for its weak solutions?

**14**

votes

**2**answers

503 views

### Is a matrix similar to its transpose over $\mathbb{Z}_p$?

Is every $n \times n$ matrix with entries in $\mathbb{Z}_p$ (or even $\mathbb{Z}$) conjugate to its transpose via a matrix in $GL_n(\mathbb{Z}_p)$?
On the one hand, I know the analogous fact is false ...

**0**

votes

**0**answers

41 views

### Computing derivative of certain path integrals

Consider a function F (think of neural networks) with two sets of parameters: (1) model parameters $\mathbf{w}$, and (2) input data ${\bf x} \in {\mathbb R}^d$. Fix $i \in [d]$, consider the following ...

**2**

votes

**0**answers

71 views

### Nerve theorem for locally infinite covers by subcomplexes

Let $Y$ be a simplicial complex and let $\{Y_i\}_{i\in I}$ be a set of subcomplexes of $Y$ such that $\bigcup_{i\in I}Y_i=Y$. Let $\mathcal N$ be the nerve of this covering, and assume that for each ...

**5**

votes

**1**answer

135 views

### Schutzenberger's evacuation and $\mu$-coefficient of Kazhdan–Lusztig polynomials

$\def\SYT{\mathrm{SYT}}\def\RSK{\mathrm{RSK}}\DeclareMathOperator\evac{evac}$Let $\mathfrak{S}_n$ be the symmetric group, $\SYT_n$ be the set of standard young tableaux of size $n$.
For $u\in \...

**20**

votes

**2**answers

736 views

### Where's the best place for an algebraic geometer to learn some algebraic number theory?

There are lots of introductions to number theory out there, but typically they are streamlined to assume as little prerequisite knowledge as possible. I'm looking for a text which does the opposite -- ...

**6**

votes

**1**answer

222 views

### Theory of surfaces in $\mathbb{R}^3$ as level sets

Is there a book that treats the classical theory of surfaces in $\mathbb{R}^3$ from the point of view of level sets of a function? I seem to remember someone telling me that such a book exists, but I ...

**6**

votes

**0**answers

256 views

### measure of generic reals in forcing extensions

It is well-known that if $V[G]$ is a generic extension by adding a Cohen real, then
the set $\{r \in V[G]: r$ is Cohen generic over $V\}$ has measure zero.
On the other hand, if $V[G]$ is a generic ...

**13**

votes

**1**answer

315 views

### Map of Grassmannians associated with a Veronese embedding

I'm quite sure this should be classically known, however I am not an expert on the topic and I was unable to find a precise reference in the huge literature concerning Veronese embeddings and ...

**0**

votes

**0**answers

56 views

### Energy estimates involving test functions for weak solutions of PDE problems

I was reading an article on Arxiv.org about Navier-Stokes system ([Breit]) and I stumble on this sentence on the second page:
"A weak (in the PDE sense) solution satisfying the energy inequality ...

**2**

votes

**0**answers

88 views

### Invariants of the group $SO(2)$

Let $V_d$ be the complex vector space of binary forms of degree $d$ endowed with the natural
action of the special orthogonal group $SO(2).$ Consider the corresponding action of the
group $SO(2)$ on ...

**2**

votes

**1**answer

42 views

### Reference request: existence of a subgroup of $G(\mathcal O_k)$ that is “uniform” across $P \overline{N}$

Let $G$ be a connected, reductive group over a $p$-adic field $k$. Let $P_0$ be a minimal parabolic subgroup of $G$ containing a maximal split torus $A_0$. Let $K$ be a maximal compact open subgroup ...

**5**

votes

**1**answer

178 views

### Cubic surfaces and configurations of 6 points

A smooth cubic surface $X\subset \mathbb{P}^3$ is isomorphic to $\mathbb{P}^2$ blown up at six points, so there should be a rational map
${\rm Hilb}^6\mathbb{P}^2\dashrightarrow H^0(\mathbb{P}^3,\...

**1**

vote

**0**answers

82 views

### Bifurcations due to a nonlinearity parameter

Suppose we want to analyze the behavior of the system
$$\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x},t;\varepsilon),\quad \mathbf{x}\in\mathbb{R}^n,\quad t\in\mathbb{R}^+,\quad\varepsilon\in\mathbb{R}^+,
$$
...

**7**

votes

**1**answer

149 views

### Finite subgroups of $PSU(3)$

I'm looking for a reference to a classification or description of finite subgroups of $SU(3)$ that contain the center, or equivalently $PSU(3)$. Can anyone point me in the right direction?

**7**

votes

**1**answer

269 views

### Is a categorical coproduct of epimorphisms (monomorphisms) always an epimorphism (a monomorphism)?

Let $\mathbf{C}$ be a category (that does not necessary have a coproduct for every collection of objects). Suppose that we have two families of objects $(A_i)_{i\in I}$ and $(B_i)_{i\in I}$ in $\...

**11**

votes

**3**answers

273 views

### Finite groups with few conjugacy classes of maximal subgroups

Let $c$ be a positive integer, $G$ a finite group with at most $c$ conjugacy classes of maximal subgroup. What can we say about $G$?
Same question, but this time $G$ is a finite group with at most $c$...

**1**

vote

**0**answers

133 views

### Reference to a particular result of Scholl and Faltings

Let $f=\sum_{n\geq 1} a_n q^n$ be a normalized eigenform which is supersingular and crystalline at a prime $p$ and let $V_f$ be the associated crystalline representation, then it follows from the work ...

**0**

votes

**0**answers

9 views

### How to Create Point-Optimal Objective Functions

Here is a problem that has originated from some IP research i'm working on.
You are given a polyhedron $P$ in standard matrix inequality form of $Ax \le b$, $x \in \mathbb{R}^n$ as well as a point $...

**1**

vote

**0**answers

43 views

### When does a collection of sets forming a geometric lattice give the flats of a matroid?

Say we have a matroid on a finite set $X$. The collection of its flats forms a geometric lattice under $\subseteq$, where the join is given by intersection.
This question is about the converse to ...

**1**

vote

**0**answers

42 views

### Diffusion generators with gradient vector fields

Let $\mathcal{A}$ be a second order operator on an $n$-dimensional smooth manifold $M$, expressed in Hörmander form as
$$\mathcal{A}=X_0+\frac{1}{2}\sum_i^kX_i^2,$$
where $X_0,X_1,...,X_k$ are ...

**3**

votes

**0**answers

56 views

### Name of a binary matroid coming from the cycle space of a graph

In some of my recent work, I have 'discovered' a binary matroid which I will describe below.
Given a graph $G$, let $H_1(G, \mathbb{Z}/2\mathbb{Z})$ denote the cycle space. This is a vector space ...

**0**

votes

**1**answer

64 views

### Reference request: Moving source to initial condition and vice versa in PDE problem

I am trying to find references in the literature that connect solutions of two problems given bellow. They deal with deterministic conservation laws.
Inhomogeneous Cauchy problem:
$$(1) \hspace{1cm} ...

**2**

votes

**1**answer

91 views

### Reference for Minkowski functional when 0 is not in the interior

The Minkowski functional on a normed linear space $E$ is usually defined for convex (or sometimes even non convex) subsets $C$ of $E$ such that $0 \in \operatorname{int}(C)$. Is there any standard ...

**4**

votes

**3**answers

278 views

### Elliptic regularity on compact manifold without boundary

Let $(M,g)$ be a Riemannian compact manifold without boundary, and $\Delta$ is the Laplace-Beltrami operator on $M$. Is there any result on the elliptic regularity like this:
For any $u\in H^1(M)$, ...

**1**

vote

**1**answer

79 views

### Basis of cone lattice

I only want to know whether a construction that I use appears in literature and maybe has a name already.
Let $V$ be a $\mathbb Q$ vector space of dimension $d\in\mathbb N$.
A subset $C\subset V$ is ...

**0**

votes

**0**answers

16 views

### Non-asymptotic tail-bounds for Hotelling $T^2$ statistic

Let $X_1,\ldots,X_n$ be an i.i.d sample from a distribution on $\mathbb R^p$ with mean $\mu = 0 \in \mathbb R^p$ and $p$-by-$p$ covariance matrix $\Sigma$ of rank $r \le p$. Consider the centered ...

**1**

vote

**0**answers

80 views

### stochastical stable

Given dynamic $f: S^1 \to S^1$ with Lebegue measure $dm$ on $S^1$. Assume it has unique SRB probability measure $\frac{d\mu_f}{dm} dm $. Given left shift space $([-\epsilon, \epsilon]^{\otimes \...

**5**

votes

**0**answers

72 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 ...

**3**

votes

**1**answer

86 views

### Hoeffding's inequality for Hilbert space valued random elements

Suppose that $\mathbb H$ is a separable Hilbert space and $X_1,\ldots,X_n$ are independent zero mean $\mathbb H$-valued random elements such that $\|X_i\|\le s$ for each $1\le i\le n$, where $\|\cdot\|...

**8**

votes

**1**answer

281 views

### Products of Catalan numbers

Let $c(n)=\frac{1}{n+1}\binom{2n}{n}$ be the Catalan number. It seems that a product $\prod_{n\in I} c(n)$, where $I\subset\mathbb N_{>1}$, is never a Catalan number. Is this a (known) fact?

**2**

votes

**0**answers

82 views

### Function equation over general number fields

Let $\chi$ be a Hecke character on a number field $k$, where could I find a precise reference for the function equation of the $GL(1)$ L-functions
$$L(s, \chi)?$$
I only find references for the case ...

**10**

votes

**2**answers

297 views

### Can a vector-function $v:\mathbb{R}^n\to \mathbb{R}^n$ be an eigenvector of its own Jacobian matrix?

Good morning,
I've came across this question, which has been puzzling me for some days. Suppose we are given a vector-valued function $v:\mathbb{R}^n\to \mathbb{R}^n$, $v(x)=\left( v_1(x),\dots, v_n(...

**18**

votes

**1**answer

318 views

### Curves over number fields with everywhere good reduction

My question is the following:$\newcommand{\Q}{\Bbb Q}
\newcommand{\Z}{\Bbb Z}$
What is known about number fields $K$ fulfilling the condition
$C_{g,K}$ "there is a smooth projective curve of ...

**3**

votes

**0**answers

121 views

### How can I get my hands on McKay's “Finite p-Groups” lecture notes?

The notes I'm talking about are these.
I emailed Peter Cameron, but he has since moved to a different university, and has no copies himself. I also emailed the school manager at Queen Mary, but they ...

**3**

votes

**1**answer

86 views

### Is coprimality in $NC$?

Following reference https://pdfs.semanticscholar.org/e86e/8d7a267a29b9ad4ca112828109adfec55e8b.pdf claims integer coprimality is in $NC$ and it also has one citation. Is this claim valid?

**1**

vote

**0**answers

38 views

### Extension of a result about measurable, additive functionals

Let $W$ be a set, and let $v$ be a finitely additive probability measure on $2^W$.
Equip $2^W$ with the Borel sigma-algebra $\mathcal{B}$ generated by the sub-basic sets of the form $\{a: w \in a\}$ ...

**1**

vote

**0**answers

41 views

### Generating totally ordered free commutative monoids

Let’s say I have a set $A$. I build the free commutative monoid $M$ generated by $A$.
When can a well-order on $A$ be extended to $M$, in a way that is compatible with its monoid structure? I am ...

**12**

votes

**1**answer

238 views

### Tilting Objects in BGG Categories $\mathcal{O}$

Let $\mathcal{O}$ be the BGG category $\mathcal{O}$ with respect to a finite dimensional semisimple Lie algebra $\mathfrak{g}$ and its Borel subalgebra $\mathfrak{b}$ (as define in this book by ...

**7**

votes

**1**answer

135 views

### Deuring's result on elliptic curves. Any proof reference

I have heard of this result from Deuring 1941 paper: Given $\mathbb F_p$ ($p$ prime number) and any number $n$ in the Hasse interval $[p+1-2\sqrt p, p+1+2\sqrt p]$ there is an elliptic curve over $\...

**2**

votes

**1**answer

91 views

### Diophantine equation for generating computably enumerable set

By Matiyasevich's theorem, each member of computably enumerable set can be obtain from a diophantine equation system. For prime numbers, this system of diophantine equation is found. My question is:
...

**0**

votes

**0**answers

83 views

### A reference for studying special ring

A topological space $X$ is called profinite if it is compact, Hausdorff, and has a basis of open–closed sets. Also a commutative ring $R$ with 1 is called a topological ring it there is a topology on ...

**0**

votes

**0**answers

49 views

### Existence of a function satisfying some integral conditions

I need help to prove the existence of a real function $h(x) \in C^1$ with condition that near zero $h(x) \sim \ln(x)$ and near infinity $\lim h(x)_{x \to \infty} = \infty$ such that following ...

**5**

votes

**0**answers

92 views

### Reference Request: Cohomology and limits of coherent topoi. (Non-abelian case)

SGA 4 VI Discusses finiteness conditions one can impose on topoi to make limits behave correctly. I am not that familiar with SGA but it is my impression that this expose only discusses abelian ...

**1**

vote

**1**answer

78 views

### A question on a special “metric”

Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...