# All Questions

**0**

votes

**0**answers

42 views

### Function Related to Jordan Curves

I am looking for a solution to the following problem:
given
a Jordan curve $c(s) = (x(s),y(s))$ with $\dot x(s)^2+\dot y(s)^2 = 1$ and $c(s+L)=c(s)\,$
an integrable function $g(s): c(s)\mapsto ...

**0**

votes

**1**answer

110 views

### Proving that the eigenvalues of a certain matrix product are positive

Let $A$ be an $m \times n$ matrix, and define:
\begin{align*}
U &= {\rm diag} \{ \frac{1}{\beta_j} \}, \beta_j = \sum_{k=1}^m |a_{kj}|, j = 1 \dots n \\
V &= {\rm diag} \{ \frac{1}{\alpha_i} ...

**2**

votes

**1**answer

75 views

### When will the mirror of a K3 surface be an elliptic K3?

Let $f:Y\rightarrow\mathbb{P}^1$ be an elliptic $K3$ surface, then the holomorphic 2-form $\Omega_Y$ vanishes when restricted to an elliptic fiber $f^{-1}(b)$ with $b\in\mathbb{P}^1$. After a ...

**4**

votes

**0**answers

67 views

### Interpolation between L^1 and Sobolev Space

Suppose $D^\alpha$ is fractional differentiation of order $\alpha$ on the real line. Is it true that
$||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ...

**5**

votes

**1**answer

217 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**-4**

votes

**0**answers

53 views

### Paritial order help? [on hold]

Let (A,≼A) and (B,≼B) be partially ordered sets. Define C = A×B and define the relation ≼' on C by (a,b)≼'(a′,b′) ⇐⇒ (a≼A a′)∧(b≼B b′).
(a) Prove that ≼' is a partial order on C.
$[(a,b) ...

**4**

votes

**2**answers

331 views

### Are linear algebraic groups rigid?

The underlying variety of a linear elgebraic group (say, over an algebraically closed field) is affine, so doesn't have nontrivial (infinitesimal) deformations. I'm curious to know whether it's ...

**0**

votes

**1**answer

184 views

### irreducible etale cover of a blowup

Let $X\rightarrow Y$ be a smooth morphism of schemes and consider the blowup of the fiber product along the diagonal, $W:=Bl_{\Delta}X\times_Y X$.
a.Does there exist a collection of smooth morphisms ...

**2**

votes

**0**answers

61 views

### second smallest eigenvalue Laplacian - submodular set function

Let $G$ be a connected unweighted undirected graph. In addition, let $\lambda_2(L(G))$ be the second smallest eigenvalue of the Laplacian matrix of graph $G$. Is $\lambda_2(L(G))$ a submodular set ...

**3**

votes

**0**answers

173 views

### Symmetry on a sphere

Let $u$ be a smooth function on the sphere $S^2$. Suppose there exists $C>0$ such that for all $R \in SO(3)$, the area of every nonempty connected component of $\{x\in S^2: u(x)> u(Rx)\}$ is at ...

**0**

votes

**1**answer

75 views

### Is a inverse limit of indecomposable again indecomposable?

In truth, I do not need in the general case.
Let $R$ be a ring (associative, with unit element) and let $\mathrm{Comp}(R)$ the category of complexes over $\mathrm{Mod}\ R$.
If $\mathbb{N}$ is the ...

**-3**

votes

**0**answers

62 views

### Euclidean geometry problems for thirs year students [on hold]

Can you suggest some books with exercises related to Euclid's Elements, or to Euclidean Geometry, as an aid to an undergraduate course on Euclidean Geometry and its history? I need exercises that ...

**0**

votes

**0**answers

27 views

### Simple monotone differential operators

Where one may find any reference to lemmas the following kind:
If x(t) is C1 in [0,T], x(0)>0, dx/dt + c(t)x(t) >0 in [0,T] then x(t) > 0 in [0,T].
There is a version with weak inequalities.
This ...

**2**

votes

**2**answers

198 views

### Reference for Skinner-Urban on the Iwasawa main conjecture for $GL_2$

Does anyone know the existence of an expository paper or a report discussing the work of Skinner-Urban
"The Iwasawa main conjecture for $GL_2$"?
I am interested in partucular in the case of elliptic ...

**-4**

votes

**0**answers

53 views

### How to compute difference between two mathematical forms? [on hold]

My apology for the unclarity of the previous version.
This question focuses on the form————
Is there any way to compute the difference between two forms (or to say, format? I'm Really sorry for my ...

**2**

votes

**0**answers

184 views

### Prime order elements in $GL(n,\mathbb{Z})$

What is known about the elements of prime order $p$ in $GL(n,\mathbb{Z})$? All I know at this point is that $GL(n,\mathbb{Z})$ has an element of prime order $p$ iff $p-1\leq n$ and that there are only ...

**-1**

votes

**2**answers

105 views

### Is real analytic function good enough (see problem)? [on hold]

Let $f \colon \mathbb{R}\to \mathbb{R}$ be real analytic and let $A\subseteq \mathbb{R}$ be such that the set $A'$ of all accomulation points od $A$ is not empty. If $f(a)=0$ for all $a \in A$ is then ...

**-4**

votes

**0**answers

77 views

### Theorem related to Goldbach's Conjecture [on hold]

Theorem. Let $x > 4$ be an even number. Let $P_x$ be the set of primes less than $\sqrt{x}$. Let $p$ be a prime less than $x$. Therefore, if $p \not\equiv x \pmod{q}$ for every $q \in P_x$, then ...

**-1**

votes

**0**answers

95 views

### Translation of the paper titled “ Quelques remarques sur les groupes de Lie algebriques reels” [on hold]

Is there any English translation of the following paper which is written in French.
http://projecteuclid.org/euclid.jmsj/1260975679

**1**

vote

**1**answer

141 views

### Quadratic Gauss sums: Explicit determinations?

Can anyone please tell me (give me a reference, preferably) if there is any explicit determination of sums of the form $g(n,\chi):=\sum_{r=1}^{q}\chi(r)e(\frac{rn+r^2}{q})$ where $\chi$ is a Dirichlet ...

**0**

votes

**0**answers

117 views

### Applications of infinite permutations [on hold]

I was looking at approximation in the forlmula of Products of necklaces:
$n \to \infty$ we have $\prod_{p=1}^n N(p,a) \approx \frac {a^n} {n!}$ $\prod_{p=1}^n \frac {1-a^p} {1-a}$. (The number of ...

**1**

vote

**2**answers

143 views

### Cubic Cayley (undirected) graphs

The generators of a cubic Cayley graph always include at least one involution, since 3 is odd. There are then two possibilties for the other two generators: either (A) they are also (distinct) ...

**7**

votes

**0**answers

107 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
...

**2**

votes

**0**answers

44 views

### On the uncountability of a subset of U-numbers of type $\leq m$

We say that $\xi\in \mathbb{R}$ is an $m$-ultra number if there exists a sequence $(\alpha_n)_n$ of $m$-degree real algebraic numbers, such that
$$
|\xi-\alpha_n|<(\exp^{[3]}(H(\alpha_n)))^{-n},\ ...

**3**

votes

**1**answer

133 views

### Existence of real modular function with specific behavior as $q\to 0$

I am looking for a real modular function $F(q,\bar{q})$ such that in the limit of small $q,\bar{q}$ it behaves as:
$F(q,\bar{q})=(a_0 + a_1 (q + \bar q)+...)\log q \bar q+ (b_0 + b_1 (q + \bar ...

**4**

votes

**0**answers

227 views

### Counterexamples to Elkik's theorem in the non-Noetherian case

Elkik in Solutions d'equations a coefficients dans un anneu Henselian, Theorem 7 proves that:
Let $A$ be a Noetherian ring that is Henselian with respect to a principal ideal $(a)$.
That is, if ...

**1**

vote

**0**answers

61 views

### “Direct” proof (without hypercontractivity) of equivalence of moments?

Let $(x_i)_{i \in \mathbb{N}}$ be a family of independent $\pm 1$ centered Bernoulli random variables, and let $p, q > 1$. There exists a constant C such that for every (finite) linear combination ...

**-1**

votes

**2**answers

86 views

### Blow up solution for a Riccati's equation

I apologize for the problem too simple, but I'm not able at solving it.
Consider the Cauchy problem
$$
\left\{
\begin{array}{l}
\dot x=x(t)^2+t\\
x(0)=0
\end{array}
\right.
$$
Show that its solution ...

**1**

vote

**1**answer

201 views

### Is it possible to sum the divergent series with prime coefficients?

It is known that the series $$ P := \sum_{n=1}^{\infty} p_{n} \qquad \text{where } p_{n} \text{ is the n'th prime} $$ cannot be summed by means of (prime) zeta function regularization. (The result was ...

**3**

votes

**2**answers

253 views

### Is a Morse function always the height function of some embedding? [on hold]

Pictures in introductory texts to Morse theory are often drawn as to interpret a Morse function as a height function. Typically, an embedding of a torus into $\mathbb{R}^3$ is drawn, and the Morse ...

**0**

votes

**1**answer

199 views

### A Problem Concerning Odd Perfect Number

Briefly, prove that every odd number having only three distinct prime factors cannot be a perfect number.
I know there are results much stronger than the one above, but I am looking for an answer ...

**-2**

votes

**0**answers

67 views

### A Iterated Function Problem, f(f(x))=x^2+x [duplicate]

Suppose f(x) is a function defined on complex plane, satisfying f(f(x))=x^2+x, does it admit a solution?
And what if f(x) is defined on R?

**0**

votes

**0**answers

25 views

### Is polynomial chaos expansion interesting to surrogate surface?

I'm currently studying polynomial chaos. I want to use it for approximate surfaces but i'm not sure it's possible ? My surface is recursively defined like this : $$ F(x,t) = \underset y \sum ...

**8**

votes

**2**answers

156 views

### What is the maximal number of distinct values of the product of n permuted ordinals

Because addition and multiplication of two order types are non-commutative operations, we have that for every integer n, given n ordinals, there are at most n! distinct possible values for the sum (or ...

**0**

votes

**0**answers

59 views

### A question on $p$-approximation property

We say that a subset $K$ of a Banach space $X$ is relatively $p$-compact($1\leq p<\infty$)if there exists a $p$-summable sequence $(x_{n})_{n=1}^{\infty}$ in $X$ such that $K$ is contained in ...

**8**

votes

**4**answers

445 views

### A metric space of geometric shapes

My research involves geometric shapes in $R^2$, and I need a metric with several properties such as:
Families of similar shapes, such as squares, are closed in this metric. Also more general ...

**1**

vote

**2**answers

66 views

### Complementary integrable vector fields

Let $(M,g)$ be a Riemannian manifold. Assume that $X$ is a non vanishing vector field tangent to $M$.(Or assume that we have a one dimensional foliation of $M$). Under what geometric ...

**0**

votes

**0**answers

25 views

### signed area between a curve and a straight line $x_1$=$x_2$ [on hold]

Prove $\int_0^1$($x_1$ d$x_2$-$x_2$d$x_1$)=$\int_0^1\int_0^1$ d$x_1$ d$x_2$.
Using the rules of differential form we can get
d($x_1$ d$x_2$-$x_2$_d$x_1$)=2 d$x_1$ d$x_2$ and thus the Question. How ...

**2**

votes

**0**answers

78 views

### What is the relation between the length of period of simple continued fraction expansion of quadratic algebraic numbers $\sqrt{A}$ and the integer $A$

What is the relation between the length of period of simple continued fraction expansion of quadratic algebraic numbers and the integer
As we know,$\sqrt{2} = [1;2,2,2,2,…]$; while $\sqrt{14}= ...

**2**

votes

**2**answers

332 views

### Exponential Sum Bound

In
http://131.220.77.52/files/preprints/diophantine/bruedern/wpminicubefinal.pdf, Bruedern and Wooley mention the following fact on the bottom of page 6:
Let
...

**1**

vote

**1**answer

91 views

### Estimating the volume of a union of balls

Let $\{ B_i \}_{i=1}^n$ be a set of $n$ ball in the unit cube $C$ of dimension $d$.
If I want to estimate
$$
\frac{ \lambda \left( \cup B_i \right) }{\lambda\left( C \right) }, \tag{1}
$$
where ...

**2**

votes

**1**answer

187 views

### Dynamics in the integers - Floor function

Let $\alpha$ be an irrational with $0<\alpha<1$. Consider the function given by \begin{align*}
f: &\mathbb{N}\longrightarrow \mathbb{N}\\ &x\longmapsto [ \alpha\cdot x]\end{align*} where ...

**2**

votes

**0**answers

25 views

### Weighted Kaplan-Meier estimator

Let two samples $(T_1, \ldots ,T_n)\sim F$ and $(C_1, \ldots ,C_n)\sim G$ are given, but not observed. Instead we observe $\tilde T_i = \min (T_i, C_i)$ and $\Delta _i = \mathbf{1}(T_i \leq C_i)$, ...

**0**

votes

**0**answers

198 views

### What does a Turing machine compute? [on hold]

I suspect that it might be necessary to define for a Turing machine how its inputs and outputs are to be interpreted in order to be able to say e.g. that a Turing machine $T$ computes an arithmetical ...

**2**

votes

**0**answers

81 views

### Focal points for the exponential map and Jacobi fields

It is known that in a Riemannian manifold $(M,g)$, if there is a closed geodesic and a non-zero, periodic, non-constant Jacobi field along it, then M has a focal point. Is the converse true? That is ...

**3**

votes

**1**answer

199 views

### Affine hulls and base change

Let $S$ be a scheme. We consider the functor, called affine hull, from the category of quasicompact and quasiseparated $S$-schemes to the category of affine $S$-schemes, defined as a left adjoint to ...

**-3**

votes

**0**answers

212 views

### PhD, vector calculus [on hold]

Are there published papers showing symmetric versions of the gradient and the Laplacian on the surface of a sphere? Let X, Y and Z be mutually perpendicular unit vectors in three space. A sphere of ...

**8**

votes

**0**answers

190 views

### An angle-doubling trick of Kirillov and Berenstein [on hold]

Kirillov and Berenstein, in their article "Groups generated by involutions, Gelfand-Tsetlin patterns and combinatorics of Young tableaux" (available at math.uoregon.edu/~arkadiy/bk1.pdf), present a ...

**4**

votes

**0**answers

116 views

+50

### Probability of matching under cyclic permutations

In A conjecture about the entropy of matrix vector products I asked a conjecture relating to the entropy of a matrix-vector product. This conjecture is as yet unproven. domotorp then made another ...

**0**

votes

**0**answers

120 views

### Does there exist this special kind of homeomorphism?

Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...