6
votes
1answer
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
0answers
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
2answers
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
3answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
8answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
3answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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 ...

15 30 50 per page