Unanswered Questions

84
votes
5answers
4k views

How to evaluate $ \int_{0}^{\frac{\pi}{2}}\frac{1}{(1+x^2)(1+\tan x)}\,\mathrm dx$

$$\int_{0}^{\frac{\pi}{2}}\frac{1}{(1+x^2)(1+\tan x)}\,\mathrm dx$$ My Try: Let $$\tag1 I = \int_{0}^{\frac{\pi}{2}}\frac{1}{(1+x^2)(1+\tan x)}\,\mathrm dx.$$ Put $x=\frac{\pi}{2}-x$. Using ...
78
votes
0answers
2k views

All polynomials with no natural roots and integer coefficients such that $\phi(n)|\phi(P(n))$

Let $P(x)$ be a polynomial with integer coefficients such that the equation $P(x)=0$ has no positive integer solutions. Find all polynomials $P(x)$ such that for all positive integers $n$ we have ...
68
votes
0answers
2k views

Does a four-variable analog of the Hall-Witt identity exist?

Lately I have been thinking about commutator formulas, sparked by rereading the following paragraph in Isaacs (p.125): An amazing commutator formula is the Hall-Witt identity: ...
53
votes
0answers
995 views

Number of simple edge-disjoint paths needed to cover a planar graph

Let $G=(V,E)$ be a graph with $|E|=m$ of a graph class $\mathcal{G}$. A path-cover $\mathcal{P}=\{P_1,\ldots,P_k\}$ is a partition of $E$ into edge-disjoint simple paths. The size of the cover is ...
50
votes
0answers
1k views

A short proof for $\dim(R[T])=\dim(R)+1$?

If $R$ is a commutative ring, it is easy to prove $\dim(R[T]) \geq \dim(R)+1$. For noetherian $R$, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...
47
votes
0answers
1k views

The Ring Game on $K[x,y,z]$

I recently read about the Ring Game on Mathoverflow, and have been trying to determine winning strategies for each player on various rings. The game has two players and begins with a commutative ...
37
votes
0answers
820 views

What properties of busy beaver numbers are computable?

The busy beaver function $\text{BB}(n)$ describes the maximum number of steps that an $n$-state Turing machine can execute before it halts (assuming it halts at all). It is not a computable function ...
35
votes
1answer
1k views

Abstract nonsense proof of snake lemma

During my studies, I always wanted to see a "purely category-theoretical" proof of the Snake Lemma, i.e. a proof that constructs all morphisms (including the snake) and proves exactness via universal ...
35
votes
0answers
969 views

What is the algebraic structure of functions with fixed points?

So I just noticed that the set of functions with a fixed point $$f(x_0)=x_0,$$ are closed under composition $$(f*g)(x):=g(f(x)),$$ and with $e(x)=x$, the inverible functions even seem to form a ...
34
votes
0answers
537 views

Is there a categorical definition of submetry?

(Updated to include effective epimorphism.) This question is prompted by the recent discussion of why analysts don't use category theory. It demonstrates what happens when an analyst tries to use ...
30
votes
0answers
612 views

Identification of a curious function

During computation of some Shapley values (details below), I encountered the following function: $$ f\left(\sum_{k \geq 0} 2^{-p_k}\right) = \sum_{k \geq 0} \frac{1}{(p_k+1)\binom{p_k}{k}}, $$ where ...
30
votes
0answers
1k views

Grothendieck 's question - any update?

I was reading Barry Mazur's biography and come across this part: Grothendieck was exceptionally patient with me, for when we first met I knew next to nothing about algebra. In one of his first ...
28
votes
3answers
997 views

Ambiguous Curve: can you follow the bicycle?

Let $\alpha:[0,1]\to \mathbb R^2$ be a smooth closed curve parameterized by the arc length. We will think of $\alpha$ like a back track of the wheel of a bicycle. If we suppose that the distance ...
25
votes
0answers
253 views

Gross-Zagier formulae outside of number theory

(Edit: I have asked this question on MO.) The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer ...
24
votes
0answers
402 views

Extending the result $\int_{0}^{\infty} \left( ( 1 - 2C(x))^{2} + (1-2S(x))^{2} \right) \, dx = \frac{4}{\pi} $

While generalizing this result, I succeeded in proving that for $\alpha > 0$, $\beta < 1$ and $1 < 2\alpha + \beta < 3$, we have \begin{align*} &\int_{0}^{\infty} \left[ \left( ...

15 30 50 per page