1
vote
2answers
125 views
Motivation for Frankl’s conjecture?
Frankl's conjecture, open since 1979, says that if $F$ is a union-closed family of subsets of $X$, then there is some $x \in X$ such that $x$ appears in at least half the sets in $ …
2
votes
0answers
61 views
identity for number of monomials
Fix a positive integer $d \geq 2$, and let $n,k$ be natural numbers with $k \leq n$.
Let $b(n,k)$ denote the number of monomials of degree $kd-(n+1)$ in $n+1$ variables $x_0,\ldo …
0
votes
0answers
5 views
Equivariant $K$-theory, singular vectors, and flag manifolds
For a homogeneous space $M = G/B$, with $G$ a (complex) semi-simple Lie group, it is very well-known that equivariant vector bundles $E$ over $B$ correspond to representations $(V_ …
0
votes
0answers
13 views
Approximating higher dimension step function
Let $s \in R^{n}$ (meaning $s$ is $n \times 1$ vector), where $n$ is the dimension of the vector. The ideal sliding term, $\nu$ is taken to be:
\begin{equation}
\nu = \frac …
5
votes
1answer
333 views
Basic results in bounded geometry
I'm doing analysis (dynamical systems) in the context of Riemannian manifolds of bounded geometry and I find myself reproving quite a few standard results/tools from standard diffe …
0
votes
0answers
9 views
Discretizing a cosine function?
I'd like to start by noting that for some fixed natural $N$ basis functions for my system will be generated by $f(k,x)$ as defined and explained here or in numerous other sources:
…
22
votes
10answers
776 views
Why don’t more mathematicians improve Wikipedia articles?
Wikipedia is a widely used resource for mathematics. For example, there are hundreds of mathematics articles that average over 1000 page views per day. Here is a list of the 500 mo …
0
votes
0answers
6 views
Rate of growth of an explicit integral
Let $$J_1=\int_0^1\frac{1}{\sqrt{1-t_2}}dt_2,$$
$$J_2=\int_0^1 \int_0^{t_2}\frac{1}{\sqrt{1-t_2}}(\frac{1}{\sqrt{1-t_3}}+\frac{1}{\sqrt{t_2-t_3}})dt_3dt_2,$$
$J_3=\int_0^1 \int_0^{ …
8
votes
3answers
293 views
What can be said about pairs of matrices P,Q that satisfies $(P^{-1})^T \circ P = (Q^{-1})^T \circ Q$ ?
Let $P,Q$ be $n$ by $n$ invertible matrices. Suppose further that $P$ and $Q$ satisfies the following equation :
$$(P^{-1})^T \circ P = (Q^{-1})^T \circ Q$$
where $\circ$ denotes …
0
votes
0answers
58 views
8 queens puzzle
In the 8 queen puzzle, if we use the incremental approach, i.e. put the queen one by one on the board, the number of possible sequences would be 2057. How is that number calculated …
2
votes
2answers
122 views
Did Oresme know the zeroth power?
Working on a contribution for a festschrift I touched the introduction of powers. Unfortunately I have no access to the original works of Oresme who was among the first, if not the …
0
votes
0answers
35 views
Langlands product
In his 'Märchen' Langlands considers for a local field $F$ a certain abelian category $\Pi(F)$ whose objects are given by isomorphisms classes of irreducible admissible representat …
4
votes
1answer
630 views
Surjectivity of the normal exponential map
Given an isometric (in the Riemannian way) immersion $f:N\rightarrow M$ between complete, smooth riemannian manifolds, are there conditions on $M$, $N$, $f$, such that the normal e …
10
votes
2answers
260 views
In what rigorous sense are Sperner’s Lemma and the Brouwer Fixed Point Theorem equivalent?
I understand that one can give a proof of each of these propositions assuming the truth of the other. But this seems a bit squishy to me, since there is a trivial sense in which a …
1
vote
0answers
34 views
Sperner’s lemma and Tucker’s lemma
In their article "A Borsuk-Ulam Equivalent that Directly Implies Sperner's Lemma" (American Mathematical Monthly, April 2013), Nyman and Su write "[W]e are unaware of a direct proo …

