All Questions

37 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. ...
40 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 ...
86 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 ...
50 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 ...
44 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 ...
52 views

135 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$.
42 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$, ...
22 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.
74 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 ...
167 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 ...
31 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 ...
247 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 ...
1k 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
206 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$ ...
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 ...
118 views

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