# All Questions

16 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 ...
44 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 ...
12 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 ...
46 views

### Groupes fondamentaux de Tate mixte

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 ...
26 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 ...
19 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 ...
90 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 ...
32 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 ...
32 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 ...
31 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 ...
18 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 ...
104 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}$. ...
40 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 ...
175 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 ...
84 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 ...
59 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 ...
24 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 ...
18 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 ...
107 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 ...
16 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 ...
12 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 ...
73 views

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? ...
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 ...
27 views

37 views

### Pro-G_p*G_q topology, profinite topology

Let $W=G_p*G_q$, where $G_p$ and $G_q$ are pseudovarieties of all finite $p$-groups and all finite $q$-groups respectively, with $p$ and $q$ fixed prime numbers. The pro-$W$ topology on a group $G$ is ...
92 views

### Atkin-Lehner theory for nonholomorphic Eisenstein series

I am currently reading something about nonholomorphic Eisenstein series $E_\mathfrak{a}(z,1/2+it)$ for $\Gamma_0(q)$, where $\mathfrak{a}$ is a cusp (cf. Iwaniec, H. Spectral Methods of Automorphic ...
151 views

### Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...
59 views

### Polygons with centroid at origin and vertices on compact codimension one submanifold of $\mathbb{R}^{n}-\{0\}$

Let $M$ be a compact codimension one submanifold of $\mathbb{R}^{n}$ which does not contaion $0$ and the origin lies in the bounded component of$\mathbb{R}^{n}-\{0\}$. Is it true to say that: ...
671 views

### What is the mathematical structure called if we replace commutative group by commutative monoid in the definition of linear space?

Could anyone tell me what the mathematical structure is called if we replace commutative group by commutative monoid in the definition of linear space? Also, are there any names for "commutative ...
Let $R$ be a closed integral domain with its fraction field $F$. Let $K$ be a finite separable extension field of $F$, and let $A$ be the integral closure of $R$ in $K$. It is well known that the ...