# Tagged Questions

If it turns out that a problem is equivalent to a known open problem, then the open-problem tag is added. After that, the question essentially becomes, "What is known about this problem? What are some possible ways to approach this problem? What are some ways that people have tried to attack it ...

4k views

### Volumes of Sets of Constant Width in High Dimensions

Background The n dimensional Euclidean ball of radius 1/2 has width 1 in every direction. Namely, when you consider a pair of parallel tangent hyperplanes in any direction the distance between them ...
3k views

850 views

### Milnor's cartography problem

Let $\Omega$ be a round disc of radius $\alpha<\pi/2$ on the unit sphere $\mathbb{S}^2$. It is easy to construct a $(1,\tfrac{\alpha}{\sin\alpha})$-bi-Lipschitz map from $\Omega$ to the plane. Is ...
439 views

### Actions on ℍⁿ generated by torsion elements

Let $n$ be a large integer. I am looking for a cocompact properly discontinuous isometric action on $n$-dimensional Lobachevky space which is generated by elements of finite order. Or equivalently, ...
908 views

### Special values of Artin L-functions

This question might be naive and might carry the heuristic that we are living in the best possible world a little too far. If so, I appreciate being told so. Background: Stark's conjecture interprets ...
795 views

### Optimal Monotone Families for the Discrete Isoperimetric Inequality

Background: the Discrete Isoperimetric Inequality Start with a set X={1,2,...,n} of n elements and the family $2^X$ of all subsets of X. For a real number p between zero and one, we consider a ...
353 views

532 views

### Second duals of Grothendieck spaces

The classical example of a Grothendieck space is $\ell_\infty$. It is also known that its even duals $\ell_\infty^{**}$, $\ell_\infty^{(4)}$, $\dots$ are Grothendieck spaces. (See, e.g., this note ...
477 views

### Comparing the Kazhdan-Lusztig and Steinberg pre-orders

Both Kazhdan-Lusztig and Steinberg have defined pairs of preorders on $S_n$. Kazhdan and Lusztig's preorders come from their basis: We write $x\leq_L y$ if any left ideal spanned by K-L basis ...
1k views

### Finite Rank Commutators

My former student Detelin Dosev and I are interested in classifying the commutators in $L(X)$, the bounded linear operators on the Banach space $X$ (see our joint paper on my home page or the ArXiv ...
2k views

### How can an approach to $P$ vs $NP$ based on descriptive complexity avoid being a natural proof in the sense of Raborov-Rudich?

EDIT: This question has been modified to make it a stand-alone question. Feel free to retract your votes for the previous version. Here are Vinay Deolalikar's paper, and Richard Lipton's first post ...
1k views

### Razborov's response to Almost Natural Proofs

This post is about Natural Proofs barrier in computational complexity. There are two recent papers related to this. They are: Amplifying lower bounds by means of self-reducibility by Eric Allender ...
1k views

### MNOP conjecture

Let $X$ be a smooth, projective, Calabi-Yau 3-fold (CY makes the exposition more elegant, I don't think it is necessary). To define Gromov-Witten invariants, we consider moduli spaces of stable ...
550 views

401 views

### Graphs with graphic imbalance sequences

Let $G$ be simple undirected graph and $e=uv\in E(G)$. The imbalance of the edge $e$ is the value $imb(e)=|d(u)-d(v)|$. Let $M_{G}$ denotes the imbalance sequence (or more correctly, multiset of ...
403 views

### How many values a polynomial map misses?

Let $F$ be a field. For a uni-variate polynomial $f(x)$ over $F$,let $M_f(F)$ denote the number of values that $f$ misses, that is, the cardinality of the subset $F - f(F)$ in $F$. Assume that $f$ is ...
330 views

### Real approximation for homogeneous spaces of linear algebraic groups

Let $X$ be a smooth geometrically integral variety over $\mathbf{Q}$, having a $\mathbf{Q}$-point. We say that $X$ has the real approximation property if $X(\mathbf{Q})$ is dense in $X(\mathbf{R})$. ...
583 views

### Hilbert subspaces of indefinite inner product spaces

Let $E$ be a real linear space, endowed with a non-degenerate symmetric bilinear form $(.,.)$. Suppose that the [indefinite] inner product space $(E,(.,.))$ satisfies the following [sequential] ...
294 views

### Enumerating (generalized) de Bruijn tori

Given a cyclic word $w$ of length $N$ over a $q$-ary alphabet and $k \in \mathbb{Z}_+$, consider the directed multigraph $G_k(w) = (V,E)$ with $V \subset$ {$1,\dots,q$}$^k$ given by the $k$-lets (i.e.,...
86 views

### Does every model of $I\Delta_0$ has an end extension to a model of $I\Delta_0+\Omega_1$?

Does every model of $I\Delta_0$ has an end extension to a model of $I\Delta_0+\Omega_1$? In End extensions of models of linearly bounded arithmetic paper the author said this problem is open. I want ...
95 views

555 views

### Are there an infinite number of prime Euclid numbers?

A number defined as the product of first $n$ prime numbers $+1$ is called $n$th Euclid number. Are there any survey on the progress for answering the following question: are there an infinite number ...
151 views

### Reduction argument from a general vertex set V(G) to a prime power in Prof. Keevash's proof on the Existence of Designs

The proof flow of the paper "On the Existence of Designs" by Prof. Keevash as I understand it is the following: -- Reduction from the general case to $V = \mathbb{F}_{p^a}$ (Lemma 6.3) -- Covering ...
Let $C$ be a right circular cone, the convex hull of a unit-radius disk and a point directly above the disk center at height $h$.                 Is the ...