# All Questions

**6**

votes

**1**answer

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 ...

**5**

votes

**0**answers

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 ...

**6**

votes

**2**answers

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 ...

**10**

votes

**3**answers

373 views

### On the number of consecutive divisors of an integer

Define for $n \in \mathbb{N}$ the function $$\tau_1(n):=\sum_{\substack{d|n, \\ d+1|n}}1,$$ i.e. the number of consecutive divisors of an integer. The average of $\tau_1(n)$ is $1$ since $$\sum_{n\leq ...

**2**

votes

**1**answer

173 views

### Can the epsilon induction condition be presented with successor case and limit case, similar to transfinite induction?

The epsilon induction looks like this:
$\forall x \Big(\forall y (y \in x \rightarrow P(y)) \rightarrow P(x)\Big) \rightarrow \forall x P(x)$
Here, the quantifiers "run over" any sets and not only ...

**-3**

votes

**0**answers

45 views

### Computer Science/Maths Hamming Distance [on hold]

My professor told us to try and remember the equation used for an upcoming exam, however I'm struggling to fit the equation into the question:
http://i.stack.imgur.com/RoPYG.png
(need a high ...

**5**

votes

**0**answers

85 views

### Homotopy pullback preserving functor

In the paper http://arxiv.org/pdf/math/0101162.pdf, the authors claim during the proof of Prop. 4.2 that a functor $F:A \to B$ which preserves fibrations and weak equivalences preserves homotopy ...

**-4**

votes

**1**answer

53 views

### Convergence of a complex series [on hold]

I have a complex series:
$$i - 2i + 3i - 4i + 5i - \cdots$$
And I need to know if it converges and if it does, to what.
We could make:
$$(i-2i) + (3i-4i) + \cdots$$ which gives us $$-i -i - ...

**6**

votes

**1**answer

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 ...

**2**

votes

**0**answers

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 ...

**4**

votes

**0**answers

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)} $$
...

**3**

votes

**1**answer

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 ...

**1**

vote

**0**answers

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 ...

**2**

votes

**1**answer

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 ...

**4**

votes

**0**answers

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, ...

**13**

votes

**1**answer

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]
$$
...

**3**

votes

**1**answer

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 ...

**0**

votes

**0**answers

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 ...

**0**

votes

**0**answers

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 ...

**162**

votes

**8**answers

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 ...

**0**

votes

**0**answers

34 views

### Is there a better rank bound for fibered products?

Let $G$ be a profinite group of rank $d \geq 2015$, which is a fibered product of two groups of rank at most $2$. That is, there exist closed normal subgroups $N_1, N_2 \lhd_c G$ with $N_1 \cap N_2 = ...

**0**

votes

**0**answers

64 views

### How does one express a Lagrangian via differential forms? [duplicate]

I asked this question here on Physics.SE; and I accepted an answer, which thinking about it later I was dis-satisfied with; to save clicking on the link I'm reproducing the question below:
In ...

**0**

votes

**0**answers

28 views

### Automorphisms of a differential field and transcendence degree

Let $(\mathcal{F},+,\times,\partial)$ be a differential field, and let's define its automorphism group $Aut(\mathcal{F})$ as the group, under composition, consisting of all bijective maps ...

**-1**

votes

**0**answers

32 views

### Uniform space structures of different metric on the same space

I started learning about uniform spaces and I got confused with the uniform structures and its relation to metric spaces. I am not sure when different metric structures on the same space produce ...

**1**

vote

**0**answers

45 views

### Schubert Calculus for Quaternion-Kähler Manifolds

The cohomology ring of general Grassmannians have very nice presentations in terms of Young diagram and the rules of Littlewood-Richardson. This is called {\em Schubert calculus}.
The Grassmannian of ...

**0**

votes

**0**answers

31 views

### Is every $C^1$-domain which is homeomorphic to the unit ball in $\mathbb{R}^d$ Lipschitz equivalent to the unit ball?

Suppose we have a domain $\Omega\subset \mathbb{R}^n$ which is homeomorrphic to the unit ball $B(0,1)\subset \mathbb{R}^n$ and such that $\partial \Omega$ is of class $C^1$ (technically, this means ...

**-4**

votes

**0**answers

37 views

### simple calculator. [on hold]

i have this gui code on calculator. i don't know how to appear the arithmetic operation on my text field. can some one help me.tnx
import java.awt.;
import java.awt.event.;
import javax.swing.;
...

**1**

vote

**1**answer

97 views

### Are monoids with zero and partial homomorphisms related?

Context: Let $\Sigma=\{U,C,A,G\}$ and $L\subset\Sigma^*$, i.e. $L$ is a language over the alphabet $\Sigma$. Let $\Sigma'=\{0,1\}$ and define a homomorphism $f:\Sigma^*\to\Sigma'^*$ by extending $U ...

**3**

votes

**1**answer

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 ...

**0**

votes

**0**answers

159 views

### I want to know if the below sentence is true and why? [on hold]

I want to know if the below sentence is true and why?
Let $G$ be an insoluble finite group then there exists $π\subset π(G)$ such that if $K=O_{\pi}(G)$ and $\bar{G}=G/K$ it follows that $M\leq ...

**-2**

votes

**0**answers

20 views

### Circumcenter of Tetrahedron (in 4D) [migrated]

I am trying to calculate the circumcenter of a tetrahedron in 4 dimensional space. Basically what I am looking for is the center of the smallest sphere which passes through all 4 vertices of the ...

**0**

votes

**0**answers

25 views

### upper bound and a lower bound on the number of points that are uniformly distributed on a surface [migrated]

Can I calculate an upper bound and a lower bound (or max or min) on the number of points that are uniformly distributed on a surface, knowing the area of the surface ?
More precisely, I have a sector ...

**2**

votes

**0**answers

55 views

### Eigenvectors as continuous functions of matrix - diagonal perturbations

The general question has been treated here, and the response was negative. My question is about more particular perturbations. The counterexamples given in the previous question have variations not ...

**0**

votes

**0**answers

63 views

### Lifting points of étale group scheme

Consider the following setting: let $(R,\mathfrak{m})$ be a Noetherian complete discrete valuation ring (with maximal ideal $\mathfrak{m}$) and let $K$ be its field of fractions. Now take $L$ be the ...

**5**

votes

**2**answers

71 views

### Accuracy of the truncated Hausdorff moment problem

For a sequence of real numbers $s = (s_i)_{i \in n}$ let $M_s$ be the collection of functions $f:[0,1] \to [0,1]$ such that
$$(\forall i \leq n) \int_0^1 x^i f(x) dx = s_i$$
In other words, $M_s$ ...

**5**

votes

**1**answer

231 views

### Simply connected CW-complex with only finitely many nontrivial homotopy and homology groups

Let $X$ be a simply connected CW-complex such that all but finitely many of its homotopy groups and its homology groups (with $\mathbb Z$ coefficients) are 0.
Is $X$ then necessarily contractible?
I ...

**0**

votes

**0**answers

70 views

### a construction on Stiefel manifolds

Are there any references concerning the following space $V(k,N,X)$ and $U(k,N,X)$? And the cohomology of these spaces? Thanks.

**1**

vote

**1**answer

50 views

### Algorithm to generate a (pseudo-) random high-dimensional function

I don't mean a function that generates random numbers, but an algorithm to generate a random function.
"High dimension" means the function is multi-variable, e.g. a 100-dim function has 100 different ...

**7**

votes

**1**answer

159 views

### Is every proper regular relative algebraic space curve over a Dedekind domain projective?

This question is in some sense a follow up to a related question Is a normal proper relative curve over a DVR projective?
Let $R$ be a Dedekind domain, let $S := \mathrm{Spec}(R)$, and let $X ...

**11**

votes

**2**answers

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 ...

**1**

vote

**0**answers

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 ...

**35**

votes

**3**answers

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 ...

**0**

votes

**0**answers

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
...

**0**

votes

**0**answers

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 ...

**-4**

votes

**0**answers

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 ...

**-3**

votes

**0**answers

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?

**-2**

votes

**0**answers

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 ...

**2**

votes

**0**answers

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 ...

**2**

votes

**0**answers

77 views

### When an envelope of a family of lines exists?

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 ...

**-4**

votes

**0**answers

31 views

### Large Matrix problem [on hold]

I have been searching the internet for a large matrix problem but didn't find any problem.
I am searching for a problem like for example Kirchhoff's Rules Problems where you have I1, I2...etc ...