# All Questions

**0**

votes

**0**answers

6 views

### Question on effective Mordell conjecture

Suppose $F(x,y,z)$ is a homogeneous polynomial over $\mathbb{Q}$, where $C:F(x,y,z)=0$ is a curve of genus $g\geq 2$.
Question: Faltings proved that $C$ has finite many rational points. Is there any ...

**0**

votes

**0**answers

12 views

### almost huge embeddings and stationary correctness

Suppose $\kappa$ is an almost huge cardinal. Using the characterization of Theorem 24.11 in Kanamori's book, one can show that if $j : V \to M$ is an embedding derived from an almost-huge tower of ...

**0**

votes

**1**answer

36 views

### Centralizer of element in group PSL(2,F_p)

Is it true, that $\forall g\in PSL(2,F_p)\setminus\{e\}$, $Z(g)$ is Abelian?
I think that this is true, but i can't find simple prove.

**0**

votes

**1**answer

8 views

### Convert constraint to do convex optimization or use Lagrange multiplier method

$w_1, w_2, w_3 ... w_n$ are the weights I need to find
I have the following constraint:
$|w_1| + |w_2| + .. |w_n| <= 5$
That is the sum of the absolute values of the weights has to be less than ...

**1**

vote

**0**answers

12 views

### Estimate of the sum Taylor's coefficients

Let
$f(x) = \begin{cases}\ln\frac{x}{e^x-1}, \quad x > 0; \\ 0, \quad\qquad x=0; \\ \ln\frac{-x}{e^x-1}, \quad x < 0. \end{cases}$
Power series in 0:
$f(x) = \sum_{n=1}^{\infty} a_n x^n = ...

**0**

votes

**0**answers

10 views

### Lower bound for sum of binomial coefficients without summation

I am new here. So, I will be happy if can somebody help me to find an answer for this proof.
I want to prove this lower bound:
$$
\log {{n \choose n_1}} \leq nlog {n} - n_1log(n_1) - ...

**0**

votes

**0**answers

12 views

### Curvatures preserved under the Kahler-Ricci flow

Maybe it is a trivial question. Is there any obvious reason that non-negative holomorphic bisectional curvature is preserved by (normalized) Kahler-Ricci flow, but non-negative Ricci curvature is not ...

**1**

vote

**0**answers

16 views

### Some questions on analytic vectors and the integrability of Lie-algebra representations

I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...

**3**

votes

**0**answers

41 views

### Is there an $L$ like inner model for $\sf Z$?

Godel proved the consistency of the axiom of choice with the axioms of $\sf ZF$ by showing that given any model of $\sf ZF$, there is a definable class which satisfies $\sf ZFC$.
The proof uses a lot ...

**5**

votes

**0**answers

44 views

### Who first noticed that Stirling numbers of the second kind count partitions?

When the Stirling numbers of the second kind were introduced by James Stirling in 1730, it was not combinatorially; rather, the numbers ${n \brace k}$ were defined via the polynomial identity
$$
x^n = ...

**0**

votes

**0**answers

17 views

### The number of blocks in Szemerédi Regularity Lemma

In mathematics, the Szemerédi regularity lemma states that every large enough graph can be divided into subsets of about the same size so that the edges between different subsets behave almost ...

**1**

vote

**1**answer

49 views

### Resolving nodes of a quintic CY 3-fold

Let's consider the following quintic 3-fold $X$:
\begin{equation}
\{(x_i) \in \mathbb{P}^4 \ | \ x_1f(x)-x_2g(x)=0\}
\end{equation}
for generic homogeneous polynomials $f(x),g(x)$ of degree four. It ...

**0**

votes

**0**answers

42 views

### Understanding Prof. Keevash's proof on the “Existence of Designs” [on hold]

I have tried to read Prof. Kevvash's paper on the "Existence of designs". I am finding it very tough to read it linearly. I am comfortable with the nibble ideas and probabilistic methods in general.
...

**2**

votes

**0**answers

22 views

### the eigenvalues of a generalized circulant matrix

A $2k\times 2k$ circulant matrix $\ C$ takes the form
\begin{align}
C= \begin{bmatrix} c_0 & c_{2k-1} & \dots & c_{2} & c_{1} \\
c_{1} & c_0 & c_{2k-1} & & c_{2} ...

**1**

vote

**0**answers

22 views

### Behavior of elementary symmetric polynomials near zero sets

It is straightforward to show (see Characterizing intersection of zero sets of elementary symmetric polynomials on R^n) that the set of points $\Lambda_{k}$ in $x \in \mathbb{R}^{n}$ with ...

**-3**

votes

**0**answers

26 views

### Compare time it takes to travel a curve and a line [on hold]

First posted in Math Stack Exchange:
http://math.stackexchange.com/questions/989690/compare-time-it-takes-to-travel-a-curve-and-a-line?noredirect=1#comment2025799_989690
Suppose you have a right ...

**5**

votes

**1**answer

132 views

### Polynomial recurrence relation covering the integers (and then Gaussian integers)

Say that a polynomial recurrence relation (my terminology)
for $f_i$ is:
$k$ initial conditions setting $f_1,\ldots,f_k$ to integers ($\in \mathbb{Z})$.
A recurrence equation of the form $f_i =$ a ...

**2**

votes

**0**answers

43 views

### Number of orbits of $\mathrm{SL}_2(\mathcal O_A)$ on $\mathbf P^1(A)$ when $A$ is a quaternion algebra

This is a reference request.
Let $A$ be an anisotropic quaternion algebra over $\mathbf Q$. Let $\mathcal O_A$ be a maximal order in $A$. Then $\mathrm{SL}_2(A)$ acts transitively on the right on ...

**0**

votes

**0**answers

24 views

### What is the state of art MIQP solver

I used Gurobi with a MIQP with 26 binary variables and 26*4 interaction term without any other constraint. The speed is very slow already.... I want to ask what is the state of art of MIQP solvers. ...

**0**

votes

**0**answers

22 views

### Intersection points of closed curves inscribed in a convex polygon

Suppose that I have two distinct simple closed curves, $C_1$ & $C_2$, and each is inscribed in a convex polygon, D. By inscribed, I mean tangent to each side of D. In particular, I am most ...

**-2**

votes

**0**answers

62 views

### Arranging books into bags [on hold]

I'm trying to find an algorithm to answer the following question (informal): given a (finite) set of distinct books of different (positive integer) sizes and a (finite) set of bags of different ...

**-4**

votes

**0**answers

45 views

### In Dedekind' construction of real numbers, what's wrong with this understanding [on hold]

in this prove, every cut corresponds to a real number. and a cut is a subset of Q.and cut have these three properties.1.is not empty 2.if p belong to this cut,any qp
so in my understanding, every cut ...

**-5**

votes

**0**answers

41 views

### transitive actions of automorphism group [on hold]

Can a finite group be extended to a group whose group of automorphisms acts transitively on the first group. Or more generally, given any finite module, can we extend this module so that the group ...

**-2**

votes

**0**answers

38 views

### The space $W = \{u \in L^2(0,T;V) : u_t \in L^2(0,T:V^*)\}$ without having identified $H$ and $H^*$

Let $V \subset H \subset V^*$ be a Gelfand triple with the Hilbert space $H$ identified with its dual space and $V$ a reflexive separable Banach space.
Define $W = \{u \in L^2(0,T;V) : u_t \in ...

**4**

votes

**1**answer

61 views

### A lower bound on the $L^2$ norm of a Dirichlet polynomial

The Question. Suppose $0 < \alpha < \beta$ are fixed, and $a_n$ is an arbitrary sequence of real numbers. Is it known how to bound from below
\begin{equation*}
\int_0^{T} \Big| \sum_{\alpha T ...

**3**

votes

**1**answer

117 views

### Is the fundamental group of an open arithmetic Riemann surface contained in $\Gamma(2)$

Let $X$ be a non-compact Riemann surface with universal covering $\mathbb H$ and suppose that the fundamental group of $X$ is an arithmetic subgroup of $\mathrm{Aut}(\mathbb H) = ...

**0**

votes

**1**answer

133 views

### How to solve $e^{f(x)} + a f(x) + bx = 0$ [on hold]

How should determine solutions to equations of this form?
$$e^{-f(x)} + b f(x) = ax$$
Here $f(x)>0$ is real valued. Also $a>0$, $b>0$.

**2**

votes

**0**answers

40 views

### Finite extension of K(x) with extra structure: definable over field of invariants?

Let $K$ be an algebraically closed field, and let $\sigma$ be an automorphism on $K$. Set $k=K^\sigma$. Consider the rational function field $K(x)$ and extend $\sigma$ to $K(x)$ by $\sigma(x)=x$, ...

**-4**

votes

**0**answers

21 views

### How to solve the following integral [on hold]

Do you have any idea how to solve the following integral:
$\int\limits_0^a {{e^{ - \frac{{by}}{{c - dy}} - ey}}dy}$,
where $a$, $b$, $c$, $d$ and $e$ are constants?
Thank you very much.

**2**

votes

**2**answers

65 views

### Finite series with reciprocal factorials

I asked the question at MSE
http://math.stackexchange.com/questions/982388/simple-finite-series-with-reciprocal-factorials
but got no answer or comment (it is not a homework).
I'm trying to find the ...

**4**

votes

**0**answers

161 views

### Any counterexamples known for the Generalized Tate conjecture?

One can state the generalized Tate conjecture over arbitrary finitely generated fields; to this end one should just define Galois representation to be effective if the eignevalues of the actions of ...

**3**

votes

**1**answer

30 views

### Polynomial (non-)embedding of a simplex in euclidean space

Let $\Delta$ be a standard $k$-simplex, and let $f:\Delta\to\mathbb R^N$ be a polynomial map with known numerical coefficients. What sort of practical computational algorithms can be used to ...

**5**

votes

**2**answers

235 views

### $j$-invariants of elliptic curves over finite fields

Let $K$ be a finite field, and $\overline{K}$ its algebraic closure. It is well known that two curves are isomorphic over $\overline{K}$ if and only if they have the same $j$-invariant. If two such ...

**11**

votes

**2**answers

938 views

### Is every number the sum of two cubes modulo p where p is a prime not equal to 7?

If p is a prime other than 7, can every integer be written as sum of two cubes modulo p?
Has Waring's problem mod p for cubes been proved simply and directly?
Thanks for your proof.
Lemi

**5**

votes

**2**answers

186 views

### Which groups are LERF?

A finitely generated group $G$ is called LERF if every finitely generated $H \leq G$ is closed in the profinite topology on $G$ (equivalently, there is a family of finite index subgroups of $G$ ...

**0**

votes

**0**answers

50 views

### 2x3 = 5+1 AND 2+3 = 5x1. How many other examples of this type? [migrated]

I noticed the following:
2x3 = 5+1.
If you switch the operators, it is still true:
2+3 = 5*1.
There is another obvious/trivial example where you can swap the operators:
2x2 = 2+2.
I think these ...

**3**

votes

**1**answer

104 views

### Reference for a fact (?) on homeomorphic knot complements

Does somebody have a reference (or an argument why it should be true) for the following statement?
“Let $K$ and $K'$ be knots in $S^3$. If there is an orientation-preserving homeomorphism $h : S^3 ...

**1**

vote

**0**answers

20 views

### How to infer missing nodes from a path?

I have a first data set which is a list of train stops with coordinates (lat, lon), but not the "links" between the nodes/stops (this could thought of as a null or empty graph).
I have a second data ...

**2**

votes

**0**answers

91 views

### Marshall Hall's theorem for surface groups [on hold]

Let $\Gamma_g$ be a surface group of genus $g \geq 2$, that is we have a presentation: $$\Gamma_g = \langle x_1,y_1 \dots, x_g,y_g \vert \prod_{i = 1}^g [x_i,y_i] = 1\rangle$$
Let $H \leq \Gamma_g$ ...

**2**

votes

**1**answer

208 views

### Doing some homological algebra in triangulated categories

It's well known that chain complexes are an abelian category, and in particular we can consider chain complexes of chain complexes, i.e. double complexes. Given a double complex $A^{\bullet\bullet} ...

**0**

votes

**1**answer

34 views

### Existence of half-planes with respect to regular open sets of the Euclidean plane

I initially asked this question at math.stackexchange.com but there was no reaction, so I thought this may be a good idea to transfer it to mathoverflow.net
Let ...

**10**

votes

**0**answers

86 views

### When is a group Fibonacci sequence contained in a single conjugacy class?

First a definition: a Fibonacci sequence in a group is a sequence in which the first two elements may be arbitrary, and from there on each element is a product (using the group operation) of the ...

**4**

votes

**2**answers

192 views

### Topological characterization of injective metric spaces

Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ ...

**1**

vote

**1**answer

49 views

### Does restriction to an open subgroup preserve projective smooth representations?

Let $G$ be a locally profinite group and $K \le G$ an open subgroup. Does the restriction functor $\mathrm{Res}^G_K$ from the category of smooth $\mathbb{C}$-linear representations of $G$ to smooth ...

**1**

vote

**0**answers

17 views

### Central automorphisms of groups act transitively on Krull-Schmidt decompositions

(Cross posted from math.SE)
I'm looking for a modern reference to the subject line, preferably one that doesn't use Ore's generalizations to modular lattices.
To clarify terminology...
Suppose we ...

**8**

votes

**0**answers

109 views

### Reinhardt cardinals and iterability

Work in $ZF$. Let $j:V\to V$ be a non-trivial elementary embedding which is iterable, so that we can iterate it and form models $M_\alpha, \alpha\in ON,$ with $M_0=V,$ and elementary embeddings ...

**1**

vote

**1**answer

72 views

### Name for (function, set) pairs?

Right now I'm working on a topological graph theory problem. To prove a theorem I introduced some objects. Has anyone heard of something similar before? I would like to call them by the right name.
...

**0**

votes

**0**answers

31 views

### Nonlinear ODE system

Let $\Psi(a) = \frac{a}{2}$ if $a>0$ and $0$ if $a\le 0$.
Now we consider the following coupled system of nonlinear ODEs:
$$\begin{aligned}&\frac{1}{2}\sigma_1^2 u_1''(x) + \mu_1 u_1'(x) + ...

**-1**

votes

**0**answers

43 views

### Particular case of every sequence has a Cauchy subsequence? [on hold]

A metric space (X,d) has the following property:
Given $\epsilon >0$ and non-empty finite subset $X_\epsilon \subset X$
$$ \inf \{ d(x,p) : p \in X_\epsilon \} < \epsilon$$
I would like to ...

**2**

votes

**1**answer

86 views

### Compact induction as a tensor product

Let $G$ be a locally profinite (i.e., locally compact Hausdorff and totally disconnected) topological group, $H \le G$ a closed subgroup, and $(W, \sigma)$ a representation of $H$ over $\mathbb{C}$ ...