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

**16**

votes

**0**answers

420 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

292 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

76 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

157 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

106 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

176 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

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

**7**

votes

**1**answer

150 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 $\sim$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that ...

**7**

votes

**2**answers

896 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

374 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

73 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

102 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

121 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

120 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

198 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

67 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

186 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

163 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

218 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

350 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

350 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

115 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

257 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

41 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

86 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

94 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

119 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

124 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

262 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

534 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

66 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

735 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

182 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

115 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

139 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

146 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

152 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

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

**5**

votes

**0**answers

100 views

### Explicit generators for homotopy groups of Lie groups

I would like to know explicit formulas for generators of the infinite cyclic summands in the homotopy groups of Lie groups, in the form of continuous (or smooth if possible) maps $S^n\to G$.
It is ...

**1**

vote

**3**answers

301 views

### smooth connected affine scheme over Z has good reduction almost everywhere

Let $f(x_1,\ldots,x_n)\in\mathbf{Z}[x_1,\ldots,x_n]$ be a polynomial. Assume that the variety cut out by $f$ is smooth and connected (so irreducible) over $\overline{\mathbf{Q}}$. Where can I find a ...

**0**

votes

**1**answer

97 views

### Models of BL$\forall$

What results are known about the construction of models for a theory $T$ of the logic BL$\forall$ for languages of higher cardinality? The construction for the countable case relies on
1) The fact ...

**1**

vote

**0**answers

133 views

### Which “concrete” morphisms of varieties and motives induce bijections of their lower Chow groups?

This question is a continuation of Varieties with Chow groups supported in positive codimension: examples and properties?
What examples are known of morphisms of varieties and Chow motives (say, over ...

**5**

votes

**0**answers

77 views

### Bound on the number of lattice points in d-dimensional ball

The following paper states that the number of lattice points in a $d$-dimensional ball of radius $R$ is $V_d R^d + O(R^\alpha)$ where $\alpha = d - 2$ and $V_d$ is the volume of the unit ...

**2**

votes

**2**answers

160 views

### Standard homology result on double complexes

Suppose you have got a double complex in an abelian category with objects $(A_{rs},d_{rs})$ such that $A_{rs} = 0$ for $r < 0$ or $s < 0$. Suppose furthermore that the rows ...

**1**

vote

**0**answers

53 views

### Reference needed for Hilbert-Schmidt result regarding basis of $V \subset H$

I am seeking a reference that says:
If $V \subset H \subset V^*$ is a Gelfand triple with all spaces Hilbert spaces and if $V \subset H$ is a compact embedding, then there is a basis of $V$ which ...