# All Questions

**0**

votes

**0**answers

40 views

### Signs and value of higher order terms in the Taylor expansion of a strongly convex function

Say that I have a function $f: S \rightarrow \mathbb{R}^+$ such that:
$S \subset \mathbb{R}^n$ is a closed convex set such as $S=[-10,10]^n$
$f$ is continuous and infinitely differentiable at all ...

**0**

votes

**1**answer

196 views

### Provability of unprovability

I have three questions (without any real background, this is just something I've been wondering about recently)
Can PA prove that PA can't prove nor disprove, say, Goodstein theorem (or any natural ...

**0**

votes

**1**answer

122 views

### Chow groups of rational varieties

Let $X$ be a smooth projective rational variety over a field $k$. Let $CH^i(X)$ denote the Chow group of codimension $i$ algebraic cycles on $X$ modulo rational equivalence. What can one say about ...

**0**

votes

**0**answers

20 views

### Methods for RCPSP

I have an Resource Constrained Project Scheduling Problem (RCPSP) with and additional strict precedence graph $H$, where $(j, j') \in H$ means $j'$ should stay closely after $j$.
Can you advise any ...

**15**

votes

**3**answers

553 views

### When can a class in $H^1(M;\mathbb{Z})$ be represented by a fiber bundle over $S^1$

For a topological space M, It is known from homotopy theory that the elements of the first cohomology $H^1(M;\mathbb{Z})$ are in 1-1 correspondence with homotopy classes of maps $[M,S^1]$
In my case ...

**0**

votes

**0**answers

48 views

### Two integrals involving Legendre Functions

I have two Integrals which I want to identify with a simpler functions (if possible).
Firstly,
$$\int_{1}^{\infty} \frac{1}{\sqrt{x^2-1}}Q_{-1/2+k}\left(\frac{x\cdot a-b}{\sqrt{x^2-1}} \right)\cdot ...

**4**

votes

**1**answer

177 views

### A different Lie algebra structure on $\chi^{\infty}(\mathbb{R}^{2})$

In this question $\chi^{\infty}(\mathbb{R}^{2})$ or $\chi^{\infty}(S^{2})$ is the space of all smooth vector fields on the plane or sphere. A limit cycle for a vector field $X$ is an isolated closed ...

**7**

votes

**1**answer

250 views

### Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly.
Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...

**1**

vote

**1**answer

123 views

### From an eigenfom with $\mathbf{Q}$-coefficients to $j$-invariants

Given a cuspidal, classical eigenform $f\in S_2(\Gamma_0(N))$ of weight $2$ and with $\mathbf{Q}$-coefficients is there a way of describing the set $J_f$ of $j$-invariants of the elliptic curves lying ...

**1**

vote

**1**answer

225 views

### The existence of differential operator of the form $AB=0$

We define $\mathcal A$ is a differential operator of order $n$ with variable coefficients if
$$ \mathcal A:=\sum_{|\alpha|\leq n}A_\alpha (x) D^\alpha $$
where $\alpha$ is an muti-index and ...

**8**

votes

**1**answer

258 views

### Can there be a tree of height $\omega_2$ having all levels countable, with no cofinal branch?

For many years I had the idea that if a well-founded tree is both very tall and very narrow, then it must have a cofinal branch. For example, it is a fun exercise to show that any $\omega_1$-tree ...

**1**

vote

**2**answers

220 views

### Solutions of the equation $2^{q-1} \equiv q \pmod {4q^2+1 }$ where $q$ is an odd prime

I am interested in the solutions of the equation $2^{q-1} \equiv q \pmod {p} $ where $p=4q^2+1$ for an odd prime $q$.
So far the only solution I found by trial and error is $q=193$ but I don't know ...

**0**

votes

**0**answers

55 views

### Markov chains on a polyhedron

A modification of a question from Gerard Letac (1976): A m-sided q-adjacent-faced polyhedron has one of its faces "up." Each round, the polyhedron rolls so that any of the adjacent faces is now up. ...

**0**

votes

**0**answers

76 views

### Codimension one embeddings

For smooth knots in $S^3$ "isotopy" and "ambient isotopy" are equivalent (although this is not true in the topological category). I guess that therefore also for tori in $S^3$ "isotopy" and "ambient ...

**7**

votes

**1**answer

103 views

### Elementary proof of a triangular grid lemma

I am looking for an elementary proof of the following lemma, which concerns what Green and Tao call "triangular grids" (see arXiv:1208.4714).
Let $a_1$, $a_2$, $a_3$, $a_4$, $b_1$, $b_2$ be six ...

**0**

votes

**0**answers

61 views

### Energy Oscillations in a One Dimensional Crystal

Good day!
Can anyone help me find articles on similar topics "Energy Oscillations in a One Dimensional Crystal" (I have links to one article on this subject)?
article, that I have
Especially ...

**1**

vote

**1**answer

206 views

### Strong form of Grothendieck's algebrization theorem

Let $R$ be a Henselian discrete valuation ring with algebraically closed residue field $k$ ($R$ is not necessarily complete), $X$ a regular surface over $\mathrm{Spec}(R)$ and a sequence of locally ...

**-3**

votes

**0**answers

17 views

### Radial distribution and asset distribution [closed]

What are the classes of radial distribution that can describe asset value/returns distribution?

**2**

votes

**1**answer

51 views

### Rough path theory- Verify that $\mathbb{X}_{s,t}=\int_s^t X_{s,t} \otimes dX_r$

This is exercise 7.7 from Martin Hairer's Rough Path notes.
Verify that $\mathbb{X}_{s,t}=\int_s^t X_{s,t} \otimes dX_r$ where the integral is to be interpreted in the sense of (4.22) (I'll ...

**2**

votes

**1**answer

84 views

### Is there a systematic relation between the generating functions for the rows vs that for columns of infinite sized Carleman-matrices?

(I've asked this in MSE but nobody had an idea since dec 14...)
(Roughly related, but generalizing, of this earlier MSE question)
Background: ...

**5**

votes

**3**answers

275 views

### Hausdorff space $X$ with $X\cong [X]^2$

Let $(X,\tau)$ be a Hausdorff space. Let $[X]^2 = \big\{\{x,y\}: x,y\in X \land x\neq y\big\}$. For $U,V\in \tau$ with $U\cap V = \emptyset$ we set $[U,V] = \big\{\{x,y\} \in [X]^2: x\in U\land y\in ...

**3**

votes

**1**answer

97 views

### Generalisation of “tangent space” to not-necessarily connected sets

I vaguely recall having read somewhere a definition similar to (but probably not exactly the same as) the following.
Definition (Blob) Let $S\subset \mathbb{R}^n$ be a set, and $p \in S$. The ...

**2**

votes

**2**answers

252 views

### Is Eilenberg-Maclane $\wedge$ Moore space the spectrum of the cohomology theory $H^*(\ ,G)$?

In the web page http://www.encyclopediaofmath.org/index.php/Moore_space it can be found the following statement:
If $K(\mathbb Z,n)$ is the Eilenberg–MacLane space of the group of integers ...

**-3**

votes

**1**answer

132 views

### Finding Riemannian metric for this geodesic [closed]

In a $d$-dimensional manifold, given a geodesic equation $\gamma^i(t)=a^i\phi(tb^i),i\in 1\ldots d$, where $\phi:\mathbb{R}\rightarrow\mathbb{R}^+$ is an increasing function, $a^i>0,b^i$ are ...

**0**

votes

**2**answers

131 views

### Special type Diophantine equations with integer solutions

The following problem on Diophantine equation is still solved or not I don't know. However, I found few solutions by trail and error method.
Problem: $X^2 - X = Y^5 - Y$ has integer solutions or not? ...

**0**

votes

**0**answers

39 views

### The 2-norm of a positive circulant matrix

Define a circulant matrix $A$ for complex numbers $a_1, a_2, ..., a_n$ as follows:
$$
\text{circ}(a_1,\ldots,a_n)=
\left[ \begin{matrix}
a_1& a_2 & \cdots & a_{n-1} & a_n \\
a_n& ...

**0**

votes

**0**answers

33 views

### The use of Haar measure in the Blichfeldt-Minkowski Lemma

I'm trying to understand a proof of the following result
Theorem: Let $K$ be a number field, and $|| \cdot ||$ the idelic norm (product of the normalized absolute values at each place). There ...

**0**

votes

**0**answers

91 views

### Inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$

Consider the inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$. My question is, how can we conclude about the decay properties, support and smoothness of the inverse Fourier transform? I ...

**6**

votes

**1**answer

354 views

### Symplectic reversing diffeomorphisms on a compact symplectic manifold

I Ask this question in MSE and I received interesting comments and ideas. I repeat the question here for more discussion:
Let $(M,\omega)$ be a compact symplectic manifold.
Is there a ...

**1**

vote

**0**answers

86 views

### Vector valued Sobolev spaces

My question is in reference to this question previously asked here. As asked there, consider a function $f \in H^s_x(L^2_y) \cap L^2_x(H^s_y)$. In the notation of Lions and Magenes (Chapter 4, Vol 2), ...

**4**

votes

**0**answers

116 views

### Is $K^{ur} K^{\pi} = L$?

Let $L/K$ be a finite extension of $p$-adic fields, $\pi$ a uniformizer of $K$, $\theta = (-, L/K)$ the local Artin map $K^{\ast} \rightarrow Gal(L/K)$, $E$ be maximal unramified extension of $K$ ...

**7**

votes

**1**answer

815 views

### Boundedness of solutions of a difference equation

Is there someone who can show me how I can prove this conjecture? Or at least show me how to do the first implication ?
Conjecture: Assume $\alpha,\beta, \lambda \in [0,\infty)$. Then every ...

**3**

votes

**0**answers

125 views

### The special embedding $\mathfrak{so}(7)\subset\mathfrak{so}(8)$

It is commonly known that we have a chain of embeddings
$$SU(4)\subset Spin(7)\subset SO(8)$$
(there is more than one possible $Spin(7)$, just take one).
Which is the explicit analog for the Lie ...

**0**

votes

**1**answer

84 views

### Trying to relate the fundamental groupoid to vector bundles

Fix a topological space $X$. Now consider a functor from the fundamental groupoid of $X$ to the category $Vect$. In other words, we assign a vector space to each point of $X$, we allow ourselves to ...

**0**

votes

**0**answers

20 views

### Finding incomplete geodesics [migrated]

I have a problem with the notion of incomplete geodesics. Can someone give me a minimal example for such a geodesic?
In particular, I am trying to solve the following exercise:
Consider the upper ...

**52**

votes

**5**answers

4k views

### Are there any serious investigations of whether “mathematicians do their best work when they're young”?

There is no shortage of anecdotes and conjectures on both sides of this widespread belief, but good supporting data either way is harder to find. Can anyone provide any references for serious ...

**3**

votes

**1**answer

102 views

### What is the analytic conductor of this Hecke L-function?

Following Iwaniek and Kowalski, S5.10, page 130 we consider an angle character $\xi_k$ on the Gaussian integers $\mathbb Z[i]$ defined by
$ \xi_k(\mathfrak a) = \left(\frac{\alpha}{|\alpha|}\right)^k ...

**3**

votes

**1**answer

194 views

### Automorphisms of surfaces

Let $X$ be a projective surface with a morphism $f:X\rightarrow\mathbb{P}^1$. Assume that $f^{-1}(t)\cong\mathbb{P}^1$ for any $t\neq 0$ but $f^{-1}(0)$ is the union of two $\mathbb{P}^1$'s ...

**1**

vote

**1**answer

123 views

### Zero divisors of the form $1+x+y$ in the rational group algebra

Is there a finite non-ablelian group $G$ generated by $x$ and $y$ such that $1+x+y$ is a zero divisor in the rational group algbera $\mathbb{Q}[G]$ and also $x^2$, $y^2$ and $(x^{-1} y)^2$ are all ...

**4**

votes

**2**answers

140 views

### Can we find 3 disjoint directed Hamiltonian cycles in the cube?

Let $D$ be the digraph on $2^d$ vertices with $d2^d$ edges that we obtain by directing each edge of the $d$-dimensional hypercube in both directions.
Can we partition the edges of $D$ into $d$ ...

**4**

votes

**0**answers

170 views

### Primitive Closure Arithmetic

I am researching a system that was designed by myself and what I call PCA (Primitive Closure Arithmetic), because it looks like PRA.
The differences are:
- PRA uses recursive definition with a ...

**-1**

votes

**0**answers

77 views

### Isomorphism of tensor product

The following question is related with the definition of the homothety operators defined in algebraic $K$-theory, more specific, in the Witt-vector module structure of the Bass Nil-groups of a ring ...

**13**

votes

**2**answers

565 views

### Bit String Bijection

I am searching for a bijection between two types of bit strings (strings of 0's and 1's) both of even length (2n).
The restriction on the first type of bit string is that they must have the same ...

**1**

vote

**6**answers

280 views

### Isotropic ternary forms

It is well known that some questions about isotropic ternary forms reduces to the study of the special case $f_0(X)=xz-y^2, X=(x,y,z)$, see page 301 of Cassel's "Rational quadratic forms" (Dover, ...

**0**

votes

**1**answer

151 views

### Definition of “Expected/Unexpected Event”

Background of my question is Martin Gardner's "unexpected hanging" paradoxon, which has once again be the subject of an article in a popular-scientific magazin (this time because this year it has been ...

**6**

votes

**1**answer

115 views

### Homology class of a Lagrangian Klein bottle

Nemirovskii's 2008 paper, by the same title in this question, claims that any Lagrangian Klein bottle in a closed symplectic 4-manifold $M$ must realize a nontrivial homology class in $H_2(M; \mathbb ...

**3**

votes

**1**answer

71 views

### Gauss-Bonnet formula for 2-dimensional Alexandrov spaces

EDIT: Let $S$ be a closed orientable 2-dimensional surface equipped with a metric with curvature $\geq \kappa$ in the sense of Alexandrov.
Questions 1. Can one define a measure $K$ on $S$ (thought ...

**1**

vote

**1**answer

69 views

### Convergence of sequence of polynomials defined by boundary conditions

I'm sorry if my question sounds trivial, but analysis is not my field.
Consider the interval $[a,b]\subset \mathbb{R}$. On $[a,b]$, for every $n\in\mathbb{N}$, $n\ge 3$, I define the polynomials ...

**-1**

votes

**0**answers

33 views

### Prove in any normed space not Hilbert space [closed]

Let (X,||) be any normed space and suppose x(n) is a sequence in X. If x(n)--->x weakly then show that ||x||<= lim inf||x(n)||

**5**

votes

**1**answer

101 views

### Berkovich stalk versus rigid analytic stalk

Let $A$ be a strictly affinoid algebra. Let $X^{Ber}$ bet its Berkovich spectrum and $X^{Tate} = \operatorname{Sp} A$ its affinoid variety in the sense of rigid analytic geometry. Let $\mathfrak{m} ...