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

**0**

votes

**1**answer

80 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

51 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

110 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

125 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

74 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

183 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

221 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

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

**5**

votes

**3**answers

281 views

### Poincare duality for (co)homology of Lie algebras?

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements.
In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200 it ...

**2**

votes

**1**answer

75 views

### Weight polytopes of the fundamental representations of simple Lie groups

Where can I find a description of the weight polytopes of the fundamental representations of the classical complex simple Lie groups?
Thanks in advance

**1**

vote

**1**answer

156 views

### A generalisation of Narayana-like numbers (walks on the 2D lattice)

I apologize in advance if this question has a trivial answer. I am pretty sure this kind of problem was already studied and I am mostly asking for good references.
Given integers $0 < k \le n+1,$ ...

**1**

vote

**0**answers

105 views

### Gauss's Cirlce Problem #lattice points in circle

Can someone link me the proof that $E(r)/r^{1/2}$ -> infinity when $r$->infinity?
Where #lattice points in circle = $Pi*r^2+E(r)$

**4**

votes

**0**answers

174 views

### Decompositions of a compact Lie group into “fixed point set types”

Consider a compact Lie group $G$ which acts on a closed Riemannian manifold $M$ by isometries. Then it is well-known that there are only finitely many isotropy types of the $G$-action, i.e. finitely ...

**4**

votes

**0**answers

130 views

### Moduli interpretation of Hecke operators on Shimura curves

In his book on Automorphic Forms, Shimura gives (chapter 9) definitions of the the Hecke operators for Shimura curves.
One can give definitions of the Hecke and Atkin-Lehner operators in terms of the ...

**6**

votes

**0**answers

112 views

### Face poset of a subcomplex complement

Let $P$ denote the face poset of a simplicial complex, $\Delta$ the order complex of a poset, and $\simeq$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that ...

**7**

votes

**2**answers

890 views

### Is there an English translation of Minding's 1839 paper?

Is there an English translation of "Wie sich entscheiden lässt, ob zwei gegebene
krumme Flächen auf einander abwickelbar sind oder nicht..."
by Ferdinand Minding, Journal für die reine und angewandte
...

**13**

votes

**2**answers

366 views

### What is the minimal $C_k$, such that every $f\colon \{-1,1\}^n\to \mathbb{R}$ of degree at most $k$ satisfies $\|f\|_2\le C_k\|f\|_1$

Every $f\colon\{-1,1\}^n\to \mathbb{R}$ can be repsenented as a multilinean polynomial of the form $$f(x_1,x_2,\ldots ,x_n)=\sum _{S\subseteq [n]} \hat{f}(S)\prod_{i\in S} x_i $$ The degree of the ...

**3**

votes

**1**answer

57 views

### Selecting Rays for Simulated Radon Transform

I have the task of determining approximations of a 2D function $f: (x,y)\in \mathbb{R}^2\mapsto\mathbb{R}$ from integrals along lines, i.e. from its Radon transform $R(\phi,\tau)[f(x,y)]$ and, because ...

**3**

votes

**0**answers

98 views

### An example of mean curvature flow that does not preserve embeddedness

Let $F: M^n \to \mathbb R^{n+k}$ be an embedding and $F_t$ be a families of immersions so that $F_0=F$ and
$$\frac{\partial F_t}{\partial t} = \vec H$$
It is known that in hypersurface case ...

**2**

votes

**1**answer

109 views

### books on very large scale linear optimization

Recently in my material science research, I have encountered problems of very large scale linear optimization. I read the introductory book "Introduction to Linear Optimization (Athena Scientific ...

**1**

vote

**0**answers

117 views

### current status of combinatorial optimization solvers [closed]

What is the current status of the solvers in combinatorial optimization? For example, what is the "usual feasible size" for a traveller sale's man problem, say, how many nodes and edges are "usually ...

**3**

votes

**1**answer

195 views

### How to change the successor of a singular with a Woodin?

I'm looking for references on how to change the successor of a singular cardinal from "more or less" minimal assumptions. If possible, then without adding bounded subsets to the singular either.
In ...

**1**

vote

**0**answers

63 views

### Pullback of the tautological vector bundle and the nubmer of trivializations

I've heard about the followign result: for each two natural numbers $d,n \in \mathbb{N}$ one can find a number $k \in \mathbb{N}$ with the following property: for each CW-complex $X$ with $\dim X \leq ...

**2**

votes

**1**answer

185 views

### Computing all “suboptimal” rational approximations to $\pi/2$

I have an irrational number $\alpha$ ($\alpha=\frac\pi2$), and I would like to determine all integers $n\in[1,N]$ ($N=10^{16}$) that satisfy
$$ n \epsilon(n)^2 \leq \tau $$
where $\tau$ is a known ...

**3**

votes

**1**answer

155 views

### Is there a non-compact Poulsen simplex?

A Choquet simplex is a closed, convex and metrizable subset of a locally convex Hausdorff topological vector space in which every point is a barycenter of a unique probability measure supported on the ...

**5**

votes

**1**answer

96 views

### Special Kähler normal coordinates around a point

Let $(M,\omega)$ be a compact Kähler manifold and suppose there are holomorpic vector fields vanishing at a point $p$. As a consequence we have a group $G_{p}$ of biholomorpisms fixing $p$. Let ...

**6**

votes

**1**answer

204 views

### Thinnest 2-fold coverings of the plane by congruent convex shapes

It is an unsolved problem to determine the "thinnest" $2$-fold covering of
the plane by disks.
The $2$-fold coverage problem by disks is to find the minimum number of congruent
(unit-radius) disks ...

**2**

votes

**3**answers

345 views

### Asking for an English version of a paper

I have been looking for the paper
"almost independence and secrecy capacity" by Csiszar. But all I could find was a Russian version published in Problems of Information Transmission.
I am wondering ...

**11**

votes

**1**answer

346 views

### What happens if we rotate the kernel of an integral operator?

Given an integral operator $K$ on $L^2(\mathbb R)$ with kernel $k(x, y)$, consider the integral operator $L$ on $L^2(\mathbb R)$, whose kernel has the form $k(\alpha x+\beta y, \gamma x+\delta y)$, ...

**2**

votes

**0**answers

111 views

### The Karoubi model structure on Cat

I am looking for any kind of informations about the Karoubi model structure on $\bf Cat$. I discovered the presence of this structure a few months ago on the Joyal Lab and now I would like to use it ...

**2**

votes

**1**answer

87 views

### Interpretation of riemannian geodesics in probability

Good morning everybody. My question is, as maybe already hinted in the title, rather philosopic.
We know that geometric properties of a riemannian manifold can be interpreted in terms of certain ...

**6**

votes

**1**answer

183 views

### Some polytopes in $\mathbb R^n$ whose vertices have coordinates 1, -1 or 0

Let $n$ and $k$ be positive integers with $k\leq n$.
Let $P(n,k)$ be the convex hull in $\mathbb R^n$ of the $2^k {n \choose k}$ vectors whose exactly $k$ coordinates belong to $\{\pm 1\}$ all the ...

**14**

votes

**0**answers

245 views

### Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series

Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series
$\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely.
Then there is a partition of the symmetric group ${\rm ...

**1**

vote

**0**answers

38 views

### Non-Convex Polygons with “Antipodal Visibility”

by "antipodal visibility" of planar, simple polygons I mean the following property:
if two points $p$ and $q$ on the polygon's boundary divide the polygon's boundary into two polylines of equal ...

**3**

votes

**0**answers

80 views

### Counting Problems where Labeled is Known but Unlabeled is Not

Cayley's formula states that the number of labeled trees on $n$ vertices is $n^{n-2}$. There are many nice proofs of this compact formula.
To contrast, counting unlabeled trees is considerably ...

**2**

votes

**1**answer

92 views

### A quadratic algebra with four generators and four relations

Algebra that I'm going to describe pop-up in my research, it looks completely elementary, but I don't know any appropriate references.
Let $k$ be an algebraically closed field of characteristic ...

**4**

votes

**0**answers

106 views

### On the cohomology ring of the Hilbert scheme of points on k3 or abelian surfaces

There are many results on the cohomology of the Hilbert scheme of points of a surface.
Gottsche calcaluted the Betti numbers and Nakajima got the generators of the cohomology. Also
there are results ...

**1**

vote

**1**answer

118 views

### Fourier approximation error in L^2 for piecewise continuous functions

Let $u:[0,2\pi)\to \mathbb{R}$ be the step function
$$u(x) = \begin{cases}
1 & \text{if } x \in [0,\pi), \\
0 & \text{if } x \in [\pi,2\pi)
\end{cases}$$
By a direct computation, one ...

**3**

votes

**1**answer

256 views

### Classifying space for fibrations with Eilenberg-MacLane space as fibers

The following result seems to be frequently quoted:
Consider the fibration $K(\pi,n)=\Omega K(\pi,n+1)\to PK(\pi,n+1)\to K(\pi,n+1)$. Let $B$ be any topological space (which is not too pathologic). ...

**8**

votes

**2**answers

523 views

### Are there nontrivial involutions of $S^7\times S^7$ with fixed point set homeo to $S^7$?

The group $\mathbb{Z}_2$ acts on $S^7\times S^7$ by switching the coordinates with fixed point set $\Delta(S^7\times S^7)\cong S^7$. I want to know whether there are some other $\mathbb{Z}_2$ actions ...

**2**

votes

**1**answer

63 views

### Proof for power-law tail of Poisson-Dirichlet distribution (Pitman-Yor process & Zipf's law)

I'm trying to understand the motivation of using Pitman-Yor (PY) processes in language modeling, in particular Teh's hierarchical LM based on PY processes. A motivation frequently stated in research ...

**10**

votes

**4**answers

695 views

### Soft question: beginners reference to moduli spaces

What is a geometrically intuitive yet reasonably general first introduction to the theory of Moduli spaces?
(Possibly introducing stacks also)?
I'm looking for something which really gets the pictures ...

**3**

votes

**3**answers

176 views

### Reference request for a treatment of Schwinger–Dyson equations

Is there a treatment of Schwinger–Dyson equations with no mention of Green's functions? Is there perhaps a purely algebraic analog?

**0**

votes

**0**answers

77 views

### Lyapunov stability, nonlinear system

Please, is there any reference for proposition below or does it perhaps follow from a standard fact? I've got it for some other problem but I actually do not know how to comment it in my article.
...

**1**

vote

**0**answers

109 views

### Thickness of the category of perfect complexes with finite length homology

Let $R$ be a commutative Noetherian local ring and let $D(R)$ be the derived category of $R$-modules. Recall that a chain complex $C_\bullet$ of modules over $R$ is called perfect if it is isomorphic ...

**4**

votes

**2**answers

137 views

### open question on intersecting rectangles - reference request

In the now-inactive (and very nice) "Tricki" website that describes various proof techniques, there is an article (written I think by Timothy Gowers) that describes the following Ramsey-type problem:
...

**4**

votes

**2**answers

137 views

### Weight multiplicity formulae for $(\mathfrak g,B)$-irreps

Let $G$ be a complex reductive Lie group, $B$ a Borel subgroup, with which to define "dominant weight". Let $\lambda$ be an integral weight, not necessarily dominant, but nonetheless giving a ...

**3**

votes

**0**answers

95 views

### Lyapunov stability of linear system

Consider a linear ODE system
$$\dot x_k=\sum_{j=1}^ma_{kj}(t)x_j,\qquad k=1,\ldots, m,\quad a_{kj}(t)\in C[0,\infty).\quad (1)$$
Proposition. Suppose that $$\sup_{t\ge ...

**2**

votes

**0**answers

146 views

### Dissection of a polygon into convex polygons

Problem: for a fixed integer $m\geqslant 3$ find all $n$ such that no $n$-gon can be dissected into convex $m$-gons.
I would be very grateful for any information on this problem.
Remark 1. There ...

**0**

votes

**0**answers

47 views

### Models for events where position and time are correlated

Apologies in advance if this question is not sufficiently research-level: What are the standard models that are used to describe phenomena in which events that occur at the same time are likely to be ...