**-2**

votes

**1**answer

17 views

### Group theory: Find an element from some group G such that order of a is 6 and c(a)=/= c(a^3), where c(a) := {xEG : xa=ax}

Find an element from some group G such that order of a is 6 and c(a)=/= c(a^3), where c(a) := {xEG : xa=ax}.

**2**

votes

**0**answers

55 views

### Is there a $q-$L'Hospital's Rule?

Let $\binom{n}{j}_q$ be a $q-$binomial coefficient and $(x;q)_n = (1-x)(1-qx)...(1-q^{n-1}x).$ I am interested in a simple proof of the limit relation
$$\lim_ {q\to1}\frac{\sum\limits_{j = 0}^{2n} ...

**0**

votes

**1**answer

32 views

### The conjugacy classes of diagonalizable $2 \times 2$ diagonalizable matrices can be identified with their eigenvalues, what about pairs?

For sake of simplicity, let's say that we live in $G = SL(2, \mathbb{C})$. Every conjugacy class of diagonalizable matrices $$[A] := \{gAg^{-1} \mid g \in G\}$$ can be identified with its set of ...

**0**

votes

**0**answers

6 views

### What results and open questions are there on the Box/Length Counting Dimensions of graph?

What's results are there on the Box/Length Counting Dimension of graphs of functions such as $\sin(1/{x^2})$ or $W(t)$, a weierstrass function, over finite regions? For instance I'd be interested in ...

**1**

vote

**1**answer

50 views

### Is a pullback along a Dold fibration a homotopy pullback?

Let $$
\begin{array}{ccc}
A & \to & B
\cr\downarrow&&\downarrow
\cr
A'& \to &B'
\end{array}
$$ be a pullback square in the category of all topological spaces (not just in a ...

**0**

votes

**0**answers

3 views

### exponential growth of an ordered structure (like a dcpo)

Here is a paper that relates hyperbolic spacetimes to a special type of Domain (dcpo) called an interval domain. Inflation is a well understood aspect of the history of our spacetime and can be ...

**1**

vote

**0**answers

6 views

### Hilbert Curve and Spatial properties

I'm trying to understand the following proposition about the Hilbert Curves:
If (x,y) are the coordinates of a point within the unit square, and d
is the distance along the curve when it ...

**1**

vote

**1**answer

73 views

### Involutive automorphisms of a finite abelian p-group

First, let $A$ be a finitely generated free abelian group, and $s$ an automorphism of order $2$ of $A$. Set $G=\{1,s\}$. Then we know that $A$ is a sum of indecomposable $G$-lattices $A_i$, where ...

**1**

vote

**0**answers

5 views

### The column generation technique on a Train Unit Assignment Problem [Linear Programming]

I am doing an assignment where I need to implement a mathematical model that I can't wrap my head around. For the technique of column generation, one would need to my understanding, a master problem ...

**2**

votes

**1**answer

62 views

### Smooth manifolds for which every metric is geodesically convex

Are there non compact smooth manifolds which have the property that every Riemannian metric is geodesically convex?
Note that a manifold for which every Riemannian metric is complete must be compact.
...

**0**

votes

**0**answers

8 views

### Automorphism of a restricted irregular graph class

Motivation:
This query is motivated by this question . It has relation to the complexity analysis of this post.
I have been informed Highly Irregular Graph has number of automorphism $\leq n ...

**2**

votes

**1**answer

24 views

### On the Lorentz sequence space $d(w,1)$

I am interested in examples of dual Banach spaces $X$ with the Schur property (weakly convergent sequences in $X$ are norm convergent) like $\ell_1$.
The Lorentz spaces $d(w,1)$ [Lindenstrauss and ...

**0**

votes

**0**answers

34 views

### Is there a space in which the $\vec a$ in $\sin(a_1\cdot x)+\sin(a_2\cdot x)$ is linear?

Suppose one has equations of the form $\sin(a_1\cdot x_i)+\sin(a_2\cdot x_i)=y_i$ for $i=1...n$ (there are also amplitudes and phase shifts, but let's ignore those for now). I want to solve for $\vec ...

**2**

votes

**1**answer

116 views

### Minimum distance between factorials and powers of 2

Let's define for a positive integer $n$: $$a(n) = \min \{|n! - 2^m| : m \in \mathbb N \}.$$ Does there exist a good asymptotic lower bound for the values $a(n)$ for large $n$? In particular, is the ...

**5**

votes

**0**answers

84 views

### Is the compositum of all quadratic extensions of the rationals an ample field?

Let $K$ be the compositum of all quadratic extensions of $\mathbb{Q}$, that is $$K = \mathbb{Q}(\sqrt{d} \ : \ d \in \mathbb{Q}).$$
Is there a (geometrically irreducible) smooth variety ...

**0**

votes

**0**answers

32 views

### The property reservation conditions in the functional iteration process

Given a integral equation:
$$K(y,p)=\int_{a}^{b}f(x,y)K(x,p)dx$$
Using the iteration method,choosing an arbitrary inition function $K^{0}(x,p)$:
$$K^{1}(y,p)=\int_{a}^{b}f(x,y)K^{0}(x,p)dx$$
...

**3**

votes

**0**answers

43 views

### An amenable group containing a wreath product of itself

Does there exist a finitely generated amenable group $G$ which contains a subgroup isomorphic to $G\wr\mathbb{Z} = \bigoplus_{n\in\mathbb{Z}} G \rtimes \mathbb{Z}$?

**-2**

votes

**0**answers

50 views

### Similar techniques to Zorn's lemma [on hold]

Is there a Similar techniques to Zorn's lemma to fine a maximal element in a set?

**2**

votes

**1**answer

58 views

### Any interesting properties of the matrix $M:=(m_{ij})$ with $m_{ij}=min(i,j)$? [on hold]

Do you know any interesting properties on the matrix $M(n):=(m_{ij})$ of size $n \times n,$ where $m_{ij}= \text{min}(i,j)$ ? The matrix $M$ enumerates certain combinatorial objects.

**2**

votes

**1**answer

55 views

### Action generated by geodesic flow is hamiltonian

I'm trying to understand why a certain action of a Lie Group is hamiltonian.
Let $(M,g)$ be a geodesically complete Riemannian manifold.
Then there exists a canonical one-form on the cotangentbundle ...

**-4**

votes

**1**answer

180 views

### Two conjectures in number theory [on hold]

Two conjectures in number theory
In this topic, I propose a conjecture of generalization of the Lander, Parkin, and Selfridge conjecture; and a conjecture of generalization of the Beal's conjecture.
...

**3**

votes

**1**answer

28 views

### Inscribed parallelotope in a $d$-simplex

The problem setup is simple: Given a $d$-simplex $\Delta_d:=\{(x_1,\cdots,x_d):x_i\geq 0,\sum_i x_i\leq 1\}$, can we find a finite sequence of parallelotope $A_i$ so that $\Delta_d=\cup_{i=1}^N A_i$, ...

**-2**

votes

**0**answers

31 views

### The set of all ideals as a directed set [on hold]

Is there any ordering, not Inclusion, on the set of all ideals of a commutative ring with identity, such that this ordering makes the set of all ideals of $R$ in to directed set?

**1**

vote

**0**answers

19 views

### Points are removable for weakly differentiable functions

If $\Omega \subseteq \mathbb{R}^N$ is an open set and $N \ge 2$, then any point $a \in \Omega$ is removable for weakly differentiable maps: for each function $u \in W^{1, 1} (\Omega \setminus \{a\})$, ...

**1**

vote

**1**answer

64 views

### A question on the name of a property

What is the name of the property that a system $T$ has if $\vdash_{T}\exists x F(x)$ only if there is a term $a$ so that $\vdash_{T} F(a)$?
If I recall correctly Heyting Arithmetics has the ...

**11**

votes

**1**answer

425 views

### Does “cardinal arithmetic is well-defined” imply axiom of choice?

Let me quickly explain what I mean with my question.
Let $(\kappa_i)_{i\in I}$ be a collection of cardinal numbers, indexed by elements of some set $I$. We can try to define $\sum\limits_{i\in ...

**2**

votes

**2**answers

448 views

### Can the projective line be provided with a ring structure?

A definition of multiplication on the projective $1$-points $(a:b)$ of $P_K^1$ with $a$ and $b$ elements of a field $K$ ( e.g. the real or rational numbers ) can be given by mimicking the ...

**0**

votes

**0**answers

44 views

### One parameter family of elliptic equations

Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi + \sum_i a_i(x, \varepsilon)\partial_i \varphi + \varphi = N(\varphi),$$
where $N$ is a smooth ...

**0**

votes

**0**answers

17 views

### Existence and uniqueness for two-dimensional time-dependent Schrödinger equation

I currently have to deal with time-dependent Schrödinger equations in two variables on bounded domains and wanted to find out about uniqueness and existence of solutions.
Unfortunately, I am a ...

**1**

vote

**0**answers

38 views

### Does a topological hypercover always have free degeneracies?

This question arises when I am reading Dugger and Isaksen's "Hypercovers in topology". According to Definition 4.1 in that paper, A hypercover of a space $X$ is an augmented simplicial space $U_*\to ...

**5**

votes

**0**answers

114 views

### Forbidden coin flips

Suppose I have a (possibly infinite) bag of coins with various weights. I select a coin and flip it $n$ times. Averaging over the choice of coins from the bag, there is some probability of seeing ...

**1**

vote

**1**answer

66 views

### Faithul map and (minimal) tensor product of $C^*$-algebras

Let $f$ be a faithful state on a $C^*$-algebra $A$, i.e. $f(a^*a)=0$ implies $a=0$. in general, call a mapping $T:A \to B$ between $C^*$-algebras faithful if $T(a^*a)=0$ implies $a=0$. How to prove ...

**5**

votes

**1**answer

238 views

### Terminology in combinatorics

I met the following two combinatorial concepts during a study outside of combinatorics. I am wondering if there are common terminologies in combinatorics.
A finite graph $G$ has the following ...

**2**

votes

**0**answers

160 views

### Possible $\mathsf{NP}$ complete problem from number theory

A candidate $\mathsf{NP}$ complete variant of factoring was posted in http://cstheory.stackexchange.com/questions/4769/an-np-complete-variant-of-factoring, where decision problem ...

**2**

votes

**2**answers

125 views

### map between $C^*$-algebras with special properties, why is $f(a^2)=f(a)^2 $ for all $a\in A$?

Let $A$ and $B$ unital $C^\ast$-algebras, $f:A\to B$ a linear, bounded map such that $f(a^*)=f(a)^*$ for all $a\in A$, $f(1_A)=1_B$ and $f(a)f(b)=0$ for all $a,b\in A_{sa}$ with $ab=0$. Follows ...

**7**

votes

**2**answers

145 views

### Random suborbits of a rotation

Let $u_n = x + n\alpha \pmod 1$ with $\alpha$ irrational. We know that $(u_n)_{n \geq 0}$ is dense in $\mathbb{R}/\mathbb{Z}$ (equivalently $(u_n)_{n \geq 0}$ visits every open interval infinitely ...

**3**

votes

**0**answers

75 views

### Proof of a Fourier pair with Bessel functions?

How can we prove that the Fourier transform of the function
$$
f(x)
=
\begin{cases}
(a^2-x^2)^{c/2} BesselJ[c,b\sqrt{a^2-x^2}] & \text{for }x^2 < a^2\\
0 & \text{otherwise}
\end{cases}
$$
...

**5**

votes

**1**answer

387 views

### Are there effective small intervals in which primes are dense?

As mentioned in Terry Tao's comment to this question, it is constructively known
that there are primes between sufficiently large cubes. $\:$ According to wikipedia,
"there exists a constant $\: ...

**0**

votes

**2**answers

41 views

### Connectivity of weighted graph and zero Laplacian eigenvalues

Given an undirected graph $G$, and let $V$ denote its set of vertices and $E$ its set of edges. Suppose that there are no edges connecting the same vertex, and no more than one edge connecting any ...

**3**

votes

**1**answer

84 views

### About a closed strucure on profunctors

Let $Prof$ the bicategory with profunctors (on small categories), arrows are like $D: \mathscr{A} \dashrightarrow \mathscr{B}$ and this means that $D: \mathscr{A}^{op} \times \mathscr{B}\to Set$.
...

**-1**

votes

**0**answers

113 views

### Virasoro-like algebras over the quaternions

The Virasoro algebra is a central extension of the Lie algebra of vector fields on $\mathbb{S}^1$.
This central extension exists and is unique because $H^2(Vect (\mathbb{S}^1))$ is one-dimensional ...

**1**

vote

**1**answer

182 views

### Is this kind of scheme integral?

Let $X\rightarrow Spec(R)$ an irreducible projective scheme over a dvr. Suppose the generic fiber $X_{\eta}$ is smooth (over the field $Frac(R)$) and irreducible. Is it true that $X$ is integral (i.e. ...

**5**

votes

**1**answer

180 views

### Isotrivial families with non-zero Kodaira spencer map

Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this ...

**3**

votes

**4**answers

422 views

### Integral points on a particular family of curves

This is a follow-up to this question (and comments thereon). Namely, it follows from Felipe Voloch's comment that for any $n>2$ there is a finite set of integral $(x, y),$ such that
$$
...

**480**

votes

**197**answers

123k views

### Examples of common false beliefs in mathematics

The first thing to say is that this is not the same as the question about interesting mathematical mistakes. I am interested about the type of false beliefs that many intelligent people have while ...

**1**

vote

**0**answers

64 views

+50

### An algebraics Hamiltonian vector field with a finite number of periodic orbits(2)

Is there a polynomial Hamiltonian $H:\mathbb{R}^{4}\to \mathbb{R}$ such that the number of nontrivial periodic orbits of the corresponding Hamiltonian vector field $X_{H}$ is finite but different ...

**130**

votes

**132**answers

29k views

### Fundamental Examples

It is not unusual that a single example or a very few shape an entire mathematical discipline. Can you give examples for such examples? (One example, or few, per post, please)
I'd love to learn about ...

**26**

votes

**3**answers

971 views

### Arranging numbers from $1$ to $n$ such that the sum of every two adjacent numbers is a perfect power

I've known that one can arrange all the numbers from $1$ to $\color{red}{15}$ in a row such that the sum of every two adjacent numbers is a perfect square.
$$8,1,15,10,6,3,13,12,4,5,11,14,2,7,9$$
...

**3**

votes

**1**answer

127 views

### questions about the proof of the theorem of completely positive order zero maps

I hope my question is ok for mathoverflow. I first asked on math.stackexchange but received no answer and then delated it.
I want to understand the proof of the theorem (which you can find in the ...

**0**

votes

**1**answer

199 views

### The injection of direct image sheaf

Let $f:X \longrightarrow Y$ be a smooth holomorphic fibration between K\"ahler manifolds and $L$ be a holomorphic line bundle on $X$. Let $m$ be a positive integer. We denote by ...