# All Questions

188 views

### understanding of rough path

A rough path is defined as an ordered pair $(X, \mathbb X)$, where $X$ is a path mapping from $[0,T]$ to some Banach space $V$ and $\mathbb X:[0,T]^2 \mapsto V^2$ is another mapping for additional ...
47 views

### Concavity of mixed volumes and mixed discriminants

For $n\times n$ symmetric matrices $A_1, \ldots, A_n$, the mixed discriminant $D(A_1, \ldots, A_n)$ can be defined as $1/n!$ times the coefficient of $t_1\ldots t_n$ in the homogeneous polynomial ...
142 views

### Pseudodifferential operators on spaces with boundary

Consider the upper half space $\mathbb{R}^n_{+} = \{x = (x_1,..,x_n) \in \mathbb{R}^n : x_n \geq 0\}$. Consider the Laplacian on this space with either the Dirichlet boundary condition or the Neumann ...
373 views

217 views

### Combinatorial formula for the number of different words

I originally posted this question here: http://math.stackexchange.com/questions/1296199/combinatorial-formula-for-the-number-of-different-words : I am interested in the asymptotic behaviour of the ...
34 views

### Associative convolution on p-adic distribution

Let $\mathcal{D}(\mathbb{Q}_p)$ be the space of the locally constant functions with compact support and let $\mathcal{D}'$ be the space of distributions: linear functionals on $\mathcal{D}$. In the ...
72 views

### Specific type of Carleman Estimate

Suppose that in a compact Riemannian manifold with boundary one has the following type of carleman estimate: $$\| e^{\tau \phi} \triangle_g e^{-\tau \phi} u\|_{L^2(M)}\ge C \tau \|u\|_{L^2(M)}$$ ...
53 views

### Spectral theorem from Jordan decomposition in infinite dimensions

The finite-dimensional spectral theorem is a simple special case of the finite-dimensional Jordan decomposition. We also have various infinite-dimensional generalizations of the spectral theorem; can ...
14 views

### Counting variables to look for invariances/range conditions

A while back, I asked this question on m.se. I wasn't terribly happy with the answer, and when someone asked a very similar question which isn't getting any action, it got me thinking again. Let me ...
355 views

### How I can proof this conjecture if it's not open?

Is there someone show me how I can proof this conjecture at least show me how i can doing the first implication ? conjecture :Assume $\alpha,\beta , \lambda \in [0,\infty)$ Then every positive ...
119 views
+100

### Is there a reasoned derivation of the coherence conditions for symmetric rig categories?

I know what the coherence conditions are, I can look them up in M. Laplaza, Coherence for distributivity, Lecture Notes in Mathematics 281, Springer Verlag, Berlin, 1972, pp. 29-72. In theory, ...
497 views

### Algorithmic (un-)solvability of diophantine equations of given degree with given number of variables

Question: For which $d, k \in \mathbb{N}$ is there an algorithm to determine whether a polynomial diophantine equation $$P(x_1, \dots, x_k) = 0, \ \ \ P \in \mathbb{Z}[x_1, \dots, x_k]$$ ...
112 views

### Enriques classification of algebraic surfaces in characteristic zero

I am searching for a reference about the classification of algebraic surfaces over an arbitrary algebraically closed field of characteristic zero. In the 1949 book "le superficie algebriche" by ...
64 views

### Are the elliptic curve discrete log problem and the elliptic curve Diffie-Hellman problem equivalent?

Suppose that $G=\langle g\rangle$ is a general group of order $p$. Maurer has introduced an algorithm to reduce the discrete log problem to the Diffie-Hellman problem under a conjecture about smooth ...
46 views

### Hexagonal lattice in a disk when the distance between points is $R_l$ [on hold]

Consider a hexagonal tiling of a 2D plane where hexagons are of identical size and of radius $R_l$. I assume we can say that the vertices together with the center of each hexagon form an integer ...
10k views

### John Nash's Mathematical Legacy

It would seem that John Nash and his wife Alicia died tragically in a car accident on May 23, 2015 (reference). My condolences to his family and friends. Maybe this is an appropriate time to ask a ...
34 views

188 views

### Earliest source for a Lie algebra construction

I am looking for the earliest reference to the fact that any associative algebra becomes a Lie algebra with bracket $AXB-BXA$, where $X$ is a fixed element of the algebra. This is observed in the ...
159 views

272 views

### The most number of points that realize only $k$ distinct distances

For $k \ge 1$, let $f_d(k)$ be the largest possible number of points $p_i$ in $\mathbb{R}^d$ that determine at most $k$ distinct (Euclidean) distances, $\|p_i-p_j\|$. Example. For points in the plane ...
91 views

### Spherical cap is the only compact constant mean curvature surface bounded by a circle

I would like to see that the only compact rotationally invariant constant mean curvature surfaces with boundary a planar circle, are either a planar disk or a spherical cap. This is stated in the ...
1k views

### On sentences true in all finite groups

Let $w$ be a group word with two variables $x$ and $y$. Is the sentence $(\forall x)(\exists y)w=1$ true in every group if it is true in every finite group? The same question about the sentence ...
31 views

### Growth of average first derivative of orthogonal polynomials

Let $L_k(t)$ be the Legendre polynomials normalized so that $$\int_{-1}^1 L_k(t)^2\,\frac{1}{2}\,dt = 1.$$ With a few identities (http://en.wikipedia.org/wiki/Legendre_polynomials), one can show that ...
33 views

### Does anyone know how to describe the zero set of the Jacobian of injective harmonic maps in space?

For example consider the following question: Let $\mathbb{B}^m$ be hyperbolic space and let $f : \mathbb{B}^m \rightarrow \mathbb{B}^m$ be harmonic $K$-qc map. Whether $f$ has critical points on ...
78 views

### Is it possible to compare Sobolev space and Polish space? [on hold]

This question was asked in math.stackexchange.com http://math.stackexchange.com/questions/1274873/is-it-possible-to-compare-sobolev-space-and-polish-space I did not get any comment or reply so I am ...
49 views

### What do the equations of straight line graphs have in common? [on hold]

What do the equations representing straight line graphs have in common?
139 views

### Is this set possibly compact?

Given $\epsilon\in(0,1)$, suppose we have collection $\mathscr{C}(\epsilon)$ of multilinear polynomials in $\Bbb R[x_1,\dots,x_n]$ that on $\{0,1\}^n$ is in range $[-\epsilon,\epsilon]$ on $S_0$ while ...
54 views

### What are “minimal lines” in complex geometry?

Schwarz reflection across a real analytic arc $C$ in $\mathbb{R}^2$ is usually defined analytically. Thinking of the arc as the image of an interval in $\mathbb{R}$ under an invertible holomorphic map ...
Given a family of lines $(\gamma_t): a(t)x+b(t)y+c(t)=0,\ t\in I$ (interval in $\mathbb{R}$), where $a,b,c:I\to\mathbb{R},\ a^2(t)+b^2(t)\neq 0,\ \forall t\in I$ , what conditions should we impose ...