# All Questions

49 views

### Fourier transform of a matrix represented compact lie group

In physics, I come across this kind of integration (in the nonlinear sigma model): $$S[g] = \frac{1}{\lambda} \int d^dr\ \text{tr}[\triangledown g\triangledown g^{-1}]$$ ...
6 views

### Classify set theories whose transitive models sharing the same sets of ordinals are equal

This question is a follow-up from my recent question, Classifying set theories whose standard models sharing the same ordinals are equal Let's say that a (recursively axiomatizable) set theory $T$ ...
40 views

### Balanced binary code that “resists” local decoding?

I am looking for a construction that can be stated as the following coding problem: a binary code with good distance ($d = \Omega(n)$ where codeword length is $n$) that "resists local decoding" in the ...
99 views

For any cardinal $\kappa$, let $K_\kappa$ denote the complete graph on $\kappa$. We consider the following statements: (H) If $G$ is a graph and $\chi(G) = \kappa$ then $K_\kappa$ is a minor of $G$. ...
13 views

### “All retracts are closed” as separation axiom

The starting point of this question is the fact that any retract of a $T_2$-space is closed. Let's say a topological space $(X,\tau)$ is $T_{\textrm{rc}}$ if all retracts of $X$ are closed. All ...
113 views

### Lurie's approach to the bar-cobar adjunction

I've been trying to read Jacob Lurie's approach to the bar-cobar constructions (Higher algebra §5.2 in the 2014-09 version) but I don't recognize what I know about these constructions. I wonder if ...
2k views

### New proofs to major theorems leading to new insights and results?

I am wondering, historically, when has a new proof of an old theorem been particularly fruitful. A few examples I have in mind (all number theoretic) are: First example is classical... which is ...
246 views

### Is the space of real conics with a singular point an orientable manifold?

Consider the space of non zero real homogeneous degree $2$ polynomials in three variables upto scaling. This space is $\mathbb{R} \mathbb{P}^5$. The zero set of such a polynomial gives a real curve ...
138 views

### Question on a proof by Solonnikov,Ladyzhenskaya,Ural'tseva

I have already asked this question on Mathematics SE, because I suppose that it is not research level. But I haven't got an answer, possibly here someone can answer. Let $G(t,x)$ be the fundamental ...
85 views

### Criterion for normality of a schematic image

Consider a projective flat morphism $$f\colon X\to Y$$ between normal varieties. Let's say over the complex numbers. The geometric fibers of $f$ are all irreducible. I would like a criterion to ...
189 views

### Classifying set theories whose standard models sharing the same ordinals are equal

Let's say that a (recursively axiomatizable) set theory $T$ extending ZF is "ordinal-categorical" if, whenever $M$ and $N$ are standard models of $T$ sharing the same ordinals, one has $M = N$. For ...
60 views

### When does Skolemization require the axiom of choice?

Skolemization is often used for eliminating existential quantifiers, which is often useful for proving theorems, especially in automated resolution theorem proving. Skolemization in first order ...
45 views

### Limit involving modified Bessel Function of the second kind

I'm looking for the following limit $$\lim_{x\rightarrow 0} \frac{\sqrt{\frac{\text{BesselK}^{(2,0)}(0,x)}{\text{BesselK}(0,x)}}}{\log (x)}$$ I believe the limit is finite, and is near -0.578. ...
37 views

15k views

### Open problems with monetary rewards

Since the old days, many mathematicians have been used to attaching monetary rewards to problems they admit are difficult. Their reasons could be to draw other mathematicians' attention, to express ...
650 views

### Graduate program applications that require questionnaires and other non-letter material

In the December 2014 AMS Notices, a letter to the editor (http://www.ams.org/notices/201411/rnoti-p1311.pdf) by Deconinck and Medlock addresses the problem of (math) graduate programs requiring letter ...
82 views

### Roots in the solution

It is known that for a one-dimensional self-adjoint operator with periodic boundary conditions, the number of roots is directly related to the eigenstate this eigenfunction belongs to. Now it is ...
133 views

### Is every projective space curve a set-theoretic intersection of two surfaces? What is known about this question?

I am sorry if this question has been already asked, couldn't find anything similar myself. I have recently recalled this long standing open problem of whether every curve in $\mathbb{P}^3(\mathbb{C})$ ...
423 views

### For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that $$\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,$$ where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
In nonparametric statistics, the following space is often used H_{per}^\beta := \left\{f:[0,1]\to\mathbb{R}:\,D^{\beta-1}f\,\text{absolutely continuous and } D^\beta f\in L^2[0,1], \\D^{k}f(0) = ...