-2
votes
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
2answers
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
4answers
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
197answers
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
0answers
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
132answers
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
3answers
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
1answer
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
1answer
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 ...

15 30 50 per page