# All Questions

**0**

votes

**0**answers

3 views

### Any material out there on *spatially* second-order cellular automata?

My model of a problem I'm working on took me to needing a spatially second-order cellular automaton (ie, x[i][t+1] is determined by x[i][t], x[i-1][t], x[i-2][t], x[i+1][t], and x[i+2][t]) (also, this ...

**0**

votes

**0**answers

13 views

### Hodge numbers of non-commutative varieties

Let $(X, \mathcal{A})$ be a non-commutative variety, by this I mean $X$ is a (smooth) algebraic variety and $\mathcal{A}$ is a sheaf of algebra on $X$. One such example in my mind is when $X$ admits ...

**2**

votes

**1**answer

23 views

### A Polynomial With Positive Prime-Density

Let $P(x)$ be a non-constant polynomial with real coefficients.
Can natural density of
$$\{n\ |\ [P(n)] \ \text{is prime.}\}$$
be positive?

**0**

votes

**0**answers

15 views

### Determinant of a 5x5 matrix [migrated]

I have a little problem with a determinant.
Let $A = (a_{ij}) \in \mathbb{R}^{(n, n)}, n \ge 4$ with
$$a_{ij} =
\begin{cases}
x \quad \mbox{for } \,i = 2, \,\, j \ge 4,\\
d \quad \mbox{for } ...

**0**

votes

**0**answers

26 views

### Squarefree part of a mersenne number

Consider the Mersenne number; $M_p=2^p−1$.
Let $M_p=a_pb^2_p$ where $a_p$ is positive, squarefree, and $p$ is prime.
A chinese paper written by Le Maohua "“On Mersenne Numbers”" states that the ...

**0**

votes

**0**answers

20 views

### Paths on a manifold whose derivations span the tangent space and are all mapped to the same

Let $f: M \to N$ be a (surjective) holomorphic map of complex manifolds. Let $p \in M$ be a point such that the induced map $df_p$ on the tangent space is zero.
We can (of course) find ...

**1**

vote

**1**answer

27 views

### A measure on the space of probability measures

This question was originaly posted in the stackexchange https://math.stackexchange.com/questions/1226701/a-measure-on-the-space-of-probability-measures but since it only got a comment I decided to ...

**0**

votes

**0**answers

22 views

### Non-flat fibration - cohomology of fibre

I stumbled over fibrations $\pi: E\rightarrow B$ that are not flat, i.e. where the dimension of the fibre $\pi^{-1}(b)$ jumps over certain points $b \in B$. Are these still 'ordinary' fibrations in ...

**1**

vote

**0**answers

11 views

### Takahashi convex metric spaces

A Takahashi convex metric space is a metric space $(X,d)$ such that $\exists W : X \times X \times [0,1] \rightarrow X$ that satisfies :
$d (u, W(x,y; \lambda)) \leq \lambda d(u,x) + (1- \lambda) ...

**1**

vote

**0**answers

24 views

### Determinant of a checkerboard Hankel matrix with Catalan numbers

My goal is to compute
\begin{equation}
I = \det \left(\mathbf{I} + \mathbf{A}\right)
\end{equation}
where $\mathbf{A}$ is a $n \times n$ checkerboard matrix filled with Catalan numbers:
$$
\left\{
...

**0**

votes

**0**answers

14 views

### Characterizations of Wiener algebra

The Wiener algebra $\mathcal W$ is defined as
$\text{Fourier}(L^1(\mathbb R))$, i.e. the image by the Fourier transform of $L^1(\mathbb R)$. Riemann-Lebesgue's lemma ensures that
$$
\mathcal W\subset ...

**0**

votes

**0**answers

10 views

### Non-ergodic Dye Theorem for orbit equivalent automorphisms

The Dye Theorem states that any two free ergodic p.m.p automorphisms of a standard probability space are orbit-equivalent.
Question: Is there a version of the above theorem for non-ergodic ...

**3**

votes

**1**answer

27 views

### Does this infinite sum arising from separation of variables converge?

This problem came up in a PDE where I used separation of variables to formally get a solution. Now I need to know whether that formal solution is sensible.
Let $a_k >0$ be an increasing sequence ...

**-4**

votes

**0**answers

55 views

### Should an object in the category always be a formal mathematical structure? [on hold]

Today I heard during a popular lecture about the applications of category theory, than an object in the category should always be some kind of mathematical structure e.g. a set, ring, monoid, etc. So ...

**1**

vote

**1**answer

58 views

### Relative Proj and generation of sections

Let $π\colon \mathrm{Proj}_B \mathcal{A} \rightarrow B$ be a morphism constructed from a coherent graded sheaf of $\mathcal{O}_B$-algebras.
I am looking for (minimal) hypotheses for the natural ...

**0**

votes

**1**answer

34 views

### Between metacompactness and infinite Lebesgue covering dimension

A space $(X,\tau)$ is said to be metacompact if every open covering $\cal U$ has a refinement $\cal V$ such that for every $x\in X$ the set ${\cal V}_x := \{V\in \mathcal{V}: x\in V\}$ is finite.
A ...

**-1**

votes

**1**answer

102 views

### Two notions of zero-dimensionality for topological spaces

Let $(X,\tau)$ be a topological space.
We say that $(X,\tau)$ is zero-dimensional with respect to the Lebesgue covering dimension (zd1) if every open cover of the space has a refinement which is a ...

**5**

votes

**1**answer

117 views

### Functional minimization problem

Is there a smooth solution to minimize this:
$$
\int_0^1{x \over {1+k^2f'(x)^2}}dx, f(0)=1, f(1)=0, f'(x)\leq 0, k^2>0.
$$
I could "solve" it using a numeric approximation (my algorithm converged ...

**1**

vote

**0**answers

22 views

### What is known about the complexity of this covering problem?

Let $G=(V,E)$ be a graph. A vertex set $X\subseteq V$ is called critical if $X\neq\emptyset$ and no vertex in $V\setminus X$ is adjacent to exactly one vertex in $X$. The problem is to find a vertex ...

**-1**

votes

**0**answers

85 views

### Groupes fondamentaux de Tate mixte [on hold]

Have anyone ever read deligne and Goncharov's paper,Could you give me some idea why the formula(5.16.1) is true?this paper is very easy to find on the internet.So please forgive me not giving the ...

**0**

votes

**0**answers

40 views

### Canonical metric of toric Kahler manifolds

Let $X$ be non-compact toric Kahler manifold associated to a Delzant polygon $P$
and $g$ be the canonical Kahler metric constructed by Guillemin. Is it true that
the real part of $g$, as a ...

**3**

votes

**0**answers

30 views

### Numerical integration error bounds on the unit sphere

A sequence of points $x_1,x_2,\dots$ on the unit sphere $S^{D-1}$ is said to be uniformly distributed if
\begin{align}
\lim_{N \rightarrow \infty} \frac{1}{N} \sum_{j=1}^N f(x_j) = \int_{x \in ...

**-1**

votes

**0**answers

121 views

### Disprove this Piece of Jensen's Inquality “Black Magic”

Jensen's inequality states that if a real valued function $f(x)$ is concave, like $f(x)=\ln |x|,$ then $E(f(X))\le f(E(X)).$ A classic application of this is $E(X) \le \ln |E(e^{X})|.$
Now consider ...

**3**

votes

**0**answers

47 views

### Categories in which an epimorphism applied to a non-monic epimorphism can be monic

Let $\mathcal{C}$ be a category, and let $A$, $B$, and $C$ be objects.
Given $A \xrightarrow{f} B \xrightarrow{g} C$ such that:
$f$ is both epic and monic
$g$ is epic but not monic
$gf$ is epic and ...

**-3**

votes

**0**answers

44 views

### Pascals triangle [on hold]

I was out sick for a fair bit and I come back and we are doing this! Can someone explain what I'm supposed to do or show me a video??
"Use Pascal's triangle and the regularity of decreasing powers of ...

**0**

votes

**0**answers

41 views

### Will (general points + small number of arbitrary points) impose independent condtions on plane curves?

It is well known that imposing vanishing at general points of $\mathbb P^2$ gives independent conditions on curves of degree $d$. Also, it is known a small number (something like $d+1$) points always ...

**0**

votes

**0**answers

22 views

### Largest subgroup of $SU(n)$ for which the adjoint action preserves specific inner product on $\mathfrak{su}(N)$

Given $A,B \in \mathfrak{su}(n)$ such that $K(A, B)=0$, I am looking for the largest subgroup $H$ of $SU(n)$ for which:
$K \left(A, Ad_{U}(B) \right) = 0, \ \ \forall U \in H$ where $K$ is the ...

**3**

votes

**1**answer

131 views

### Real and imaginary part of an holomorphic function

I guess this could be a very elementary question. Anyway I can not find an answer in literature.
Let $f:U\rightarrow\mathbb{C}$ be an holomorphic function on an upen subset $U\subseteq\mathbb{C}$. ...

**1**

vote

**0**answers

49 views

### McDuff's classification of symplectic manifolds

According to a theorem of McDuff, if $(X,\omega)$ is a closed symplectic 4-manifold, which contains a symplectic sphere of self-intersection +1, then $X$ is symplectomorphic to $CP^2$ blown up a few ...

**5**

votes

**3**answers

202 views

### Nontrivial solutions for $\sum x_i = \sum x_i^3 = 0$

For $x_i \in \mathbb{Z}$, let $\{x_i\}$ be a fundamental solution to the equations:
$$
\sum_{i= 1}^N x_i = \sum_{i=1}^N x_i^3 = 0
$$
if $x \in \{x_i\} \Rightarrow -x \notin \{x_i\}$.
For instance, a ...

**4**

votes

**2**answers

143 views

### Charts needed for an atlas

I just read this question link and asked myself, if there is any easy way to decide how many charts you actually need to cover a given compact manifold in $\mathbb{R}^3$, maybe at least in this ...

**2**

votes

**1**answer

117 views

### Example s.t. the unbased loop-space is not $\Omega X \times X$

For a connected pointed CW-complex $X$, let us write (as usual) $\Omega X$ for the space of based loops at $X$. I am looking for an example where the space $\Omega' X$ of all (unbased) loops in $X$ is ...

**3**

votes

**0**answers

26 views

### How to show the compatibility between Duflo isomorphism and Harish-Chandra isomorphism for semi-simples Lie algebras?

I was told that the Duflo isomorphism is compatible with the Harish-Chandra isomorphism when the Lie algebra $\mathfrak{g}$ is semi-simple. However I cannot see why this is true. All I can show is ...

**3**

votes

**0**answers

28 views

### When is a formula preserved under taking factors in a reduced product or the stalk in a Boolean product?

I want to know if there is a nice characterization of when a formula is preserved under taking reduced factors.
We say that a formula $\phi$ is closed under taking reduced factors if whenever $I$ is ...

**5**

votes

**1**answer

196 views

### Must an algebraic variety with trivial tangent bundle be an abelian variety?

Suppose $X$ is an algebraic variety with trivial tangent bundle $T_X$ (not only canonical bundle $K_X$), is it true that $X$ is an abelian variety? (For the complex manifold case this is not true due ...

**1**

vote

**0**answers

18 views

### LQR solution when there are linear terms in the cost function?

I am trying to solve the following Bellman Equation:
$V(s) =\max_u \left[a'u - (u-s)'Q(u-s) + V(u)\right]$
In the equation above, $s,u,a\in \mathbb R^n$, $Q\in \mathbb R^{n\times n}$ is positive ...

**0**

votes

**0**answers

14 views

### Equivalence of Graphical model selection algorithms

Suppose, a jointly Gaussian random vector is denoted by $X \in \mathbb{R}^{p}$ and $X$ has a distribution given by $\mathcal{N}(\mu,\Sigma)$. It is known that estimating the graphical model that ...

**1**

vote

**0**answers

85 views

### Why write GRR with the relative tangent sheaf?

The first published version of the Grothendieck-Riemann-Roch theorem, GRR for short, was written in the form
$$
\operatorname{ch}(f_!\alpha).\operatorname{Td}(Y)
=
...

**3**

votes

**0**answers

124 views

### Integer solutions of $x^2=4+8y^2+13z^2$

I have been looking for integer solutions of certain Diophantine equations, one of the simplest examples being
$x^2=4+8y^2+13z^2$.
The ideal answer would be a way to parametrize all the integer ...

**0**

votes

**0**answers

70 views

### Volume of a complex manifold

Is there a theorem which states the following?
Let $\mathcal{M}$ be a $k$ -dimensional complex submanifold of $\mathbb{C}^n, \ 1 \le k \le n$. Let $V \subset M$ be open, relatively compact in $M$, so ...

**1**

vote

**0**answers

36 views

### Interpolation Operator Bounded in Sobolev Norm

Let $m\in \mathbb{N}$, $p\in [1,\infty]$, $W^{m,p}([0,1])$ the space of all functions $[0,1]\rightarrow \mathbb{R}$ which are $m$ times weakly differentiable and weak derivatives in $L^p$,
...

**1**

vote

**0**answers

35 views

### Reference request: Topological space of polygonal chains and its properties [migrated]

I'm interested in approximations of $C^1([a,b])$-functions by polygonal chains:
image File:NURBstatic.svg by User:WulfTheSaxon licensed under GNU Free Documentation License
A polygonal chain can be ...

**1**

vote

**1**answer

119 views

### A question on the cohomology of elliptic curves over local fields

Let $K$ be a number field,$\nu$ a nonarchimedian prime of $K$, $K_{\nu} $ the completion of $K $ at $\nu $ with maximal unramified extension $K_{\nu}^{unr} $. Let $E $ be an elliptic curve defined ...

**4**

votes

**1**answer

49 views

### Negatively curved metrics minimizing the length of a homotopy class of simple closed curves

Good afternoon everyone !
I have the following question of Riemannian geometry :
Let $M$ be a smooth closed orientable manifold of dimension at least $3$, and let $\mathcal{T} = \{ $ smooth ...

**0**

votes

**2**answers

58 views

### Sobolev trace map: is the fractional seminorm bounded by just the gradient?

Let $M$ be a compact Riemann manifold. Consider the trace map $T:H^1(M) \to H^{\frac 12}(\partial M)$. Is it always the case that
$$|Tu|_{H^{\frac 12}(\partial M)} \leq C\lVert \nabla u ...

**-2**

votes

**0**answers

37 views

### How do I calculate the Entropy of a vector? [on hold]

I understand the concept of entropy, I even referred to the wikipedia page but I am confused. Can anyone tell me in simple words how I could calculate the entropy of a vector, with an example please? ...

**0**

votes

**0**answers

13 views

### The mutual information rate spectrum [migrated]

Definition:
$\mathbf{X}$ denotes the random vector $({X_1},{X_2},...,{X_n})$. The mutual information between $X$ and $Y$, $I(X;Y)$, is determined by the joint law of $p(X,Y)$, Given two random ...

**-4**

votes

**0**answers

27 views

### Invariance of absolute determinant under alternating sign changes in columns [on hold]

I (experimentally) notice that for an $MN \times MN$ matrix, where $M$ is even if $N$ is odd and vice-versa, if I multiply each column $c_i$ by the elements of either
(i) $T_1 = [t_1^{(1)}, ...

**3**

votes

**1**answer

91 views

### Existence of state on a C*-algebra satisfying $|\tau(ab)|=\|ab\|$

(This is a repost of a question from math.SE, http://math.stackexchange.com/questions/1240966/existence-of-state-on-a-c-algebra-satisfying-tauab-ab)
Let $a,b$ be elements of a unital C*-algebra $A$ ...

**-4**

votes

**0**answers

68 views

### spheres are not simpletic? [migrated]

Reading some books on diferential geometry, a found that S^2n (with n>1) are not simpletic manifolds. They say it's because the de Rham cohomology of this spheres are R, but I do not understand this ...