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

**3**

votes

**1**answer

101 views

### semi-classical Green's function

I am reading Gutzwiller's papers on the relation between Hamiltonian flows and solution to Schrodinger equations.
In the two papers, he gave a semi-classical approximation of the Green's function to ...

**2**

votes

**0**answers

106 views

### Argument againts the $abcd$ conjecture with extra gcd conditions

Got an argument and numerical support againts the $abcd$
conjecture with extra gcd conditions (observe that this
is different from the $abc$ and the $abcd$ conjectures).
This thesis p. 20 defines the ...

**2**

votes

**1**answer

97 views

### Lower regularity version of Moser's theorem on volume elements

A theorem of Moser, published in "On the Volume Elements of a Manifold" (Transactions of the Americal Mathematical Society 120, 1965), shows that if a $C^\infty$ compact manifold $M$ has two ...

**-6**

votes

**0**answers

126 views

### Mathematics Research and The Internet [on hold]

I reformulate here a question about Mathematics and The Internet. My questions are: What was the vital role of Mathematics research in the foundation of the Intranet ($\rightarrow{Internet}$) and, do ...

**4**

votes

**0**answers

190 views

### “Partition” of a smooth function in $\mathbb R^2$

This is a question asking for reference.
I have a proof of the following.
Let $f=f(x,y)$ be a smooth function in $\mathbb R^2$ which vanishes at the origin. Then there exist smooth functions ...

**2**

votes

**1**answer

119 views

### The definition of computational complexity or complexity measure of computing reals [on hold]

A real $r$ is computable,if for any $i\in \mathbb{N}$,the $i$ bits can be outputed by a Turing Machine or an algorithm. So, what is computational complexity or complexity measure of computing the ...

**1**

vote

**0**answers

48 views

### Nonlocal Stefan problems

Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality?
A search on Google and MathSciNet give me only a handful of results which greatly ...

**4**

votes

**1**answer

79 views

### Positivity of Ehrhart polynomial coefficients

Are there any results stating that a given family of convex polytopes have Ehrhart polynomials with non-negative coefficients?
What methods are available for proving such a property for some family ...

**0**

votes

**0**answers

41 views

### Do knot Floer homology detects genus of knot in rational homology sphere

My question is the following:
Do knot Floer homology detects genus of knot in rational homology sphere ?
If the answer is yes, I would like to have a reference for the statement of the result and the ...

**0**

votes

**0**answers

29 views

### Real centrally-symmetric plane algebraic curves

I am looking for a reference regarding the topology of real centrally-symmetric plane algebraic curves. By this I mean the curves defined by
$$
P(x,y)=0,
$$
where $P$ is a degree $m$ polynomial, ...

**4**

votes

**1**answer

178 views

### If $S\subset\mathbb R$ is a $G_\delta$ there is a function $\mathbb R\to\mathbb R$ continuous exactly on $S$. Reference?

Let $S\subset\mathbb R$ be a $G_\delta$ set. A variation on the construction of the Thomae function (which is discontinuous on the rationals and continuous elsewhere) shows that there is a function ...

**5**

votes

**2**answers

169 views

### Normal Covering of a Finite Group

Suppose $G$ is a finite group and $N_1, N_2, \cdots, N_k$ are proper normal subgroups of $G$. The set $\{ N_1, \cdots, N_k\}$ is called a normal cover for $G$, if $G = \cup_{i=1}^kN_i$. I need to the ...

**2**

votes

**0**answers

114 views

### Uniqueness of scalar curvature

I'm reading Gromov's notes
http://www.ihes.fr/~gromov/topics/SpacesandQuestions.pdf
and at page 7 they say that there is a unique second order differential operator $S$ from the space of Riemannian ...

**2**

votes

**2**answers

215 views

### System of boolean equations, Satisfiability

Are there any methods to "solve" large systems of boolean equations?
$$x_{i1}\vee x_{i2}\vee x_{i3} = b_i, \quad\text{for}\quad i=1,\dots,N,$$
where $x_i, b_i \in\{0, 1\}$
For example
$$x_{1}\vee ...

**6**

votes

**1**answer

127 views

### Lie group actions with only one orbit type, but not defining a principal bundle

Searched-for situation: A compact connected Lie group acts effectively on a closed Riemannian manifold by isometries, such that there is only one orbit type of dimension strictly less than that of the ...

**0**

votes

**0**answers

83 views

### Thin profinite groups - nonabelian analogues of p-adic integers

Let $p$ be a prime number, $S = C_p$ a cyclic group of order $p$, $G = \mathbb{Z}_p$ the profinite additive group of $p$-adic integers. It is well known that all the closed nontrivial subgroups of $G$ ...

**1**

vote

**2**answers

152 views

### Graphs of tensoring modules

Let $A$ be a ring, and $L,M,N$ an $A^\mathrm{op} \otimes A$-modules.
$L \otimes_A M$ is then an $A \otimes A^\mathrm{op}$ module so we can tensor it again with $N$ to get an abelian group $(L ...

**9**

votes

**3**answers

355 views

### How many isolated roots can a polynomial in $z$ and $\overline{z}$ have?

This is probably well-known by I can't find it now online. My guess is that if the degree is $n$ then it's $2n$ but it's just a hunch.
EDIT:
This is an edited version. Before I asked about roots ...

**6**

votes

**1**answer

419 views

### Does Nelson try to prove PA inconsistent directly?

Edward Nelson is known for his serious attempts to show that Peano axioms, and sometimes even weaker theories, are inconsistent. I wasn't able to find Nelson's papers anywhere, so I wanted to ask a ...

**3**

votes

**0**answers

64 views

### Number of orbits of $\mathrm{SL}_2(\mathcal O_A)$ on $\mathbf P^1(A)$ when $A$ is a quaternion algebra

This is a reference request.
Let $A$ be an anisotropic quaternion algebra over $\mathbf Q$. Let $\mathcal O_A$ be a maximal order in $A$. Then $\mathrm{SL}_2(A)$ acts transitively on the right on ...

**0**

votes

**0**answers

42 views

### What is the state of art MIQP solver

I used Gurobi with a MIQP with 26 binary variables and 26*4 interaction term without any other constraint. The speed is very slow already.... I want to ask what is the state of art of MIQP solvers. ...

**5**

votes

**0**answers

185 views

### Any counterexamples known for the Generalized Tate conjecture?

One can state the generalized Tate conjecture over arbitrary finitely generated fields; to this end one should just define Galois representation to be effective if the eignevalues of the actions of ...

**5**

votes

**2**answers

228 views

### Which groups are LERF?

A finitely generated group $G$ is called LERF if every finitely generated $H \leq G$ is closed in the profinite topology on $G$ (equivalently, there is a family of finite index subgroups of $G$ ...

**5**

votes

**2**answers

280 views

### Reference for a fact (?) on homeomorphic knot complements

Does somebody have a reference (or an argument why it should be true) for the following statement?
“Let $K$ and $K'$ be knots in $S^3$. If there is an orientation-preserving homeomorphism $h : S^3 ...

**1**

vote

**0**answers

20 views

### Central automorphisms of groups act transitively on Krull-Schmidt decompositions

(Cross posted from math.SE)
I'm looking for a modern reference to the subject line, preferably one that doesn't use Ore's generalizations to modular lattices.
To clarify terminology...
Suppose we ...

**2**

votes

**0**answers

95 views

### Reference request: functional analysis results used in Taubes paper (1980)

I'm studying Taubes paper 'Arbitrary N-vortex solutions to the first order Ginzburg-Landau equations'. I'm looking for a reference of three following theorems:
Let $f(x)$ be a convex funtional ...

**0**

votes

**0**answers

426 views

### Second Hardy-Littlewood Conjecture theme

If Second Hardy-Littlewood Conjecture is true then we can claim that $\pi(x)-\pi(y)\leq \pi(x-y)$. Thus the conjecture gives an upper bound for the number of primes between $x$ and $y$. I have found ...

**1**

vote

**0**answers

46 views

### Looking for the manuscript “Uniform polytopes” by N. Johnson

The manuscript Uniform Polytopes (1991) by Norman Johnson is cited in the wikipedia page on uniform polytopes (http://en.wikipedia.org/wiki/Uniform_polytope).
Is there an electronic copy of this ...

**9**

votes

**1**answer

1k views

### How can I have a copy of this old paper by Frobenius?

How can I have a copy of this old paper and a translation of it?
Frobenius, G. (1902). Uber primitive Gruppen des Grades n und der Klasse n - 1. S. B. Akad. Berlin 1902, 455-459.

**3**

votes

**2**answers

353 views

### Intuition behind $\zeta(2) = \frac{\pi^2}{6}$ [closed]

In literature, there are many proofs of the well-known result $$\zeta(2) = \frac{\pi^2}{6}.$$
However, as far as I know, they do not offer an intuitive explanation of why this result should be true. ...

**3**

votes

**0**answers

49 views

### Reference for existence results for 2D forced viscous Burgers equation

I am looking for results concering the following parabolic PDE
$$u\cdot\nabla u + \Delta u = F(x),$$
where $$u\colon\Omega\to\mathbb{R}^2,$$ and $\Omega\subset\mathbb{R}^2$ is a 2D domain (bounded or ...

**1**

vote

**2**answers

156 views

### Calculating Exterior Distance from Measurements of Inner Geometry

Gauss has proven in his famous Theorema Egregium, that it is possible, to calculate the gaussian curvature from measuring angles and distances on the surface, irrespective of how the surface is ...

**3**

votes

**1**answer

158 views

### A number array related to colored necklaces and the primes

I stumbled upon entry OEIS-A208535 on the enumeration of certain kinds of colored necklaces and noticed that the integers for the odd prime rows of the table there seem to be given by the Moreau ...

**4**

votes

**1**answer

139 views

### Reference request: Invariant sets of dynamical systems

(I should preface this with the disclaimer that this is a slightly elaborated version of a question that I posted onto math se recently to which I received no responses, and have since deleted the ...

**2**

votes

**0**answers

100 views

### Invariant Theory over finite adeles

Classical invariant theory, among the other things, classifies polynomial functions over a vector space $V$ endowed with a quadratic form $Q$ which are invariant under the action of $SO(V,Q)$.
I am ...

**3**

votes

**0**answers

54 views

### The 4-th generator of $K_1$ group for 3-dimensional NC tori algebra

An $n$-dimensional NC torus algebra $A_\theta^{(n)}$ is defined for any antisymmetric $n\times n$ matrix $\theta$ of real numbers as the universal $C^*$-algebra, generated by unitaries ...

**4**

votes

**2**answers

432 views

### Who first defined quantum integers?

Who first gave the defintion of quantum integers
$$ [m]_q = \frac{1 - q^m}{1 - q} $$ and addition as
$$ [m]_q \oplus_q [n]_q = [m]_q + q^m [n]_q $$ and multiplication as
$$ [m]_q \otimes_q [n]_q = ...

**5**

votes

**1**answer

134 views

### What version of the wreath product embedding theorem is actually stated in the famous paper of Kaloujnine and Krasner?

This question is inspired by Terry Tao's blog post and the comments there. I have always cited M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de ...

**1**

vote

**1**answer

92 views

### hypergeometric at nearest singularity

Reference request. A prototype case:
In
$$
{}_2F_1\left(\frac{1}{12},\frac{5}{12};\frac{1}{2};x\right) =
A\log\left(\frac{1}{1-x}\right) + B + o(1),
\qquad x \to 1^-
$$
what can we say about the ...

**5**

votes

**1**answer

138 views

### O-minimal Theories with Non-Dense Order Type

I asked this question on MSE, but I haven't received any comments or responses (also, it has a very low view count), so I thought I would also ask it here.
In this paper, Knight, Pillay, and ...

**1**

vote

**1**answer

89 views

### Connections between loops (algebraic structure) and graphs

I would like to know whether there are known constructions which provide a bijection between loops (isomorphism classes) and (possibly directed) graphs. Any reference to a useful paper in this ...

**6**

votes

**0**answers

194 views

### Canonical functions in set theory and their applications

Given regular cardinal $\kappa>\omega,$ we can define the canonical functions $f_\alpha: \kappa\to \kappa,$ for $\alpha<\kappa^+.$
Some of their properties are presented in Chapter 22 of the ...

**0**

votes

**1**answer

73 views

### About the regularity of the boundary of a set

Consider $\Omega_1, \Omega_2$ two convex, bounded domains in $R^n$ with $\Omega_1 \supset \overline{\Omega_2}$ and suppose that $\operatorname{dist}(x, \partial \Omega_2) =\min_{y \in \partial ...

**0**

votes

**1**answer

50 views

### Reference request for stably free modules

I am looking for some references on the theory of stably free modules. I will call (F) the following property for a ring $R$: every f.g. stably free module over $R$ is free.
1) Is there a standard ...

**3**

votes

**0**answers

103 views

### On a problem of Berkovich

What is the real history of the following problem proposed by Berkovich [Y. Berkovich, Z.Janko, Groups of prime power order. Volume 2, Expositions in Mathematics, 56, Walter de Gruyter, New York, ...

**4**

votes

**1**answer

91 views

### Euler characteristic of open varieties as degree of Chern class of logarithmic differentials

Let $U$ be a smooth variety over a subfield $k$ of $\mathbb{C}$. Let $X$ be a smooth projective variety containing $U$ as the complement of a normal crossings divisor $D$. Denote by $\chi(U)$ the ...

**2**

votes

**0**answers

72 views

### (Reference) Asymptotics of hitting probability by Brownian motion

The problem is: Given compact set A with positive finite volume (eg. ball,cube), what happens to $P_{x}(T_{A}>t)$ as $t\to \infty$, where $T_{A}=inf_{t>0}(B_{t}\in A)$ and x is in the "exterior" ...

**1**

vote

**1**answer

182 views

### Is the Cassels-Tate pairing defined for elliptic curves over function fields?

The Cassels-Tate pairing is typically defined for elliptic curves (or abelian varieties) over number fields, but it seems like it should be defined for elliptic curves over function fields as well. ...

**2**

votes

**2**answers

206 views

### Gauss Codes that produce classical knots as opposed to virtual knots

I have been doing some research in Gauss codes and have been reading Kauffman's paper Virtual Knot Theory. In section 3.3, Theorem 2, he states that
If $K$ is a virtual knot whose underlying Gauss ...

**16**

votes

**0**answers

389 views

### Geodesics in finite groups

It seems that I can generalize a result from compact, connected Lie groups to finite groups, but in order to do so, I need to have some kind of geodesics on finite groups.
Below is a proposition for ...