0
votes
0answers
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
1answer
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
1answer
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
0answers
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
17 views

Radial distribution and asset distribution [closed]

What are the classes of radial distribution that can describe asset value/returns distribution?
2
votes
1answer
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
1answer
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
3answers
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
1answer
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
2answers
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
5answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
2answers
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
6answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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} ...

15 30 50 per page