Questions tagged [reference-request]
This tag is used if a reference is needed in a paper or textbook on a specific result.
15,961 questions
1
vote
0
answers
37
views
Number of connected acyclic gentle tree algebras
Let $X_n$ denote the number of acyclic connected gentle tree algebras (given by quiver and admissible relations over a field) with $n$ simple modules. Those are also exactly the connected quiver ...
- 28.5k
5
votes
1
answer
262
views
Books on complex dynamics that discuss polynomial mating?
Note that I’ve asked this question on mathstackexchange last month. I am looking for book recommendations on complex dynamics that include discussion of polynomial mating.
Ideally, the book would ...
- 51
7
votes
1
answer
517
views
A basis-free formula for the determinant as a polynomial
Let $V$ be an $n$-dimensional $\mathbb{K}$-vector space. By a simple calculus trick (*) on homogeneous functions of degree $n$ the determinant is a linear map on the $n$-th symmetric power of the ...
- 1,248
3
votes
0
answers
65
views
Computing all graph homomorphisms of two graphs
Is there any software that, given two graphs $G$ and $H$, can compute all graph homomorphisms from $G$ to $H$?
I found this rather old question, but it does not seem to answer my query.
It could be ...
- 1,434
3
votes
0
answers
106
views
Optimal play in a splitting game on diamond-shaped polyominoes
When I was a child, my mother taught me a simple pencil-and-paper game. I would like to know whether this game, or an equivalent formulation of it, has already been studied.
Let the integer $n > 1$ ...
- 2,181
4
votes
1
answer
150
views
+50
What uniform Selberg–Delange estimate is needed to justify this contour shift?
In a very helpful answer by Thurmond (A weighted sum over squarefree numbers involving Bernoulli numbers), Thormund reduces the problem to controlling the integral on the shifted line $\Re z=-3/2$, ...
- 826
5
votes
1
answer
353
views
References on computability and intuitionism
I'm not sure if my question makes sense, but I'm currently studying computability theory, and intuitionistic logic is something that really interests me. My question is, are there any current research ...
- 229
10
votes
1
answer
325
views
Orientation local system of a vector bundle
Let $p:E\to X$ be a rank $k$ real vector bundle on a paracompact space. This question is about possible definitions of the orientation local system of $E$, which should be a local system of integer ...
- 37.6k
-4
votes
0
answers
118
views
Does the expression (9/2)π³ − √(2π) + 4/(9π³) appear in known mathematical literature? [closed]
I am working with a bilateral crossing geometry — two pyramids base-to-base at θ = π/8 — and the following expression arises naturally from the dimensional structure of the cascade:
α⁻¹ = (9/2)π³ − √(...
- 3
6
votes
1
answer
132
views
F.g. graphs of groups with f.g. edge groups have f.g. vertex groups
I am looking for a reference for the following result:
Let $\mathbb X$ be a graph of groups whose underlying graph $X$ is finite and whose edge groups are finitely generated. If the fundamental group $...
- 1,135
5
votes
1
answer
264
views
Infinitesimal neighbourhoods for derived schemes
I am currently reading basics of deformation theory from Hartshorne's book on Deformation theory. I understood how the n'th infinitesimal neighbourhood of diagonal is defined for classical schemes. My ...
- 1,619
-3
votes
0
answers
50
views
Has the Gram factorisation of the Donsker-Varadhan Hessian's nonequilibrium correction appeared before? [closed]
Consider an irreducible continuous-time Markov chain on $\{1,\dots,n\}$ with generator $Q$ and stationary distribution $\pi$. Pass to the Fisher-conjugated generator $L_\pi = D_\pi^{1/2} Q D_\pi^{-1/2}...
-4
votes
0
answers
54
views
What tools exist for bounding the cross-term Σ D(f)·{pf}? [closed]
While studying Farey sequences, we decomposed the L² discrepancy $W(N) = \sum (f_j - j/n)^2$ one integer at a time, examining $\Delta W(N) = W(N-1) - W(N)$. This per-step perspective appears to be new ...
7
votes
0
answers
195
views
Reference request: A formulation of Gödel's system $T$ without formulas
Crossposted from Math StackExchange
Page 2 of Dowek's "Gödel's system $T$ as a precursor of modern type theory" gives a presentation of system $T$ as a set of terms with a rewrite relation:
...
- 3,209
1
vote
0
answers
49
views
Closest standard framework for a cyclically ordered 8-set with a fixed-point-free involution?
I am studying the following finite structure.
Let
$$
R=\{2,3,4,5,6,7,8,9\}, \qquad
L=(2\,3\,4\,6\,5\,8\,7\,9), \qquad
\delta=L^4=(2\,5)(3\,8)(4\,7)(6\,9).
$$
So $R$ is equipped with a cyclic order (...
