0
votes
0answers
23 views

Separating Two Groups of Data using Fisher's Linear Discriminant

I found an article (starting on page 8) that gives a neat method for finding the line/plane/hyperplane that maximizes the separation between two groups of data points in n-dimensions. It uses Fisher's ...
7
votes
1answer
136 views

Orders in Central Simple Algebras. Applications

It is known that orders in quaternion algebras (over a number field) are used for constructing geometric objects like hyperbolic orbifolds and Shimura curves. Moreover, if one knows embedding ...
0
votes
0answers
51 views

Extending natural transformations of triangulated functors on $D^b(\mathbb P^1)$

Let $\mathcal T = D^b(\mathbb P^1)$, the bounded derived category of $\mathbb P^1$ over a field $k$. It is well known that $\mathcal T$ admits a strong and full exceptional sequence $\{\mathcal O, ...
0
votes
1answer
60 views

Genus of Covering Space of 3-Manifold

Let $M_g$ and $M_h$ be closed orientable 3-manifolds of genus $g$ and $h$ respectively and suppose that $M_g$ is an $n$-sheeted cover of $M_h$. Is there a formula that would allow us to compute $g$ if ...
6
votes
1answer
212 views

A question on compact sets

Let $K\subset \mathbb{R}^N$ be a compact set. We say $K$ is "good" if the following property holds: Given a set of open neighborhoods $\{x\in U_x\subset \mathbb{R}^N\}_{x\in K}$ there exists a finite ...
0
votes
0answers
43 views

Completeness of spaces $\Lambda(\varphi, p)$

Definition 1. Let $f$ be measurable function on a mesurable subset $E\subset \mathbb R^n$. Non-increasing rearrangement of $f$ is a function $f^\ast(x)=\inf\{s>0: \operatorname{mes} E[|f| > s] ...
4
votes
0answers
62 views

Is a finitely generated subgroup of a free profinite group virtually a retract?

Let $F$ be a nonabelian finitely generated free profinite group, and let $H \leq F$ be a finitely generated closed subgroup. Must there be some open subgroup $H \leq U \leq F$, and a closed normal ...
8
votes
0answers
85 views

Closed geodesics avoiding points in hyperbolic surfaces

Let $\Sigma$ be a closed hyperbolic surface. Is it true that for any finite collection of points $x_1,\ldots,x_n\in\Sigma$ there exists a closed geodesic $\gamma$ containing none of them? Remark: It ...
2
votes
2answers
86 views

Limiting Ratio of Solutions to Ordinary Differential Equations

I'm trying to find the limit of the ratio of two functions $ \lim_{t \rightarrow \infty} \frac{f(t)}{g(t)} $ but only have the initial conditions and the differential equations they solve, but the ...
6
votes
0answers
125 views

Have heat kernels for generalized Laplacians on non-compact manifolds been constructed?

Let $M$ be a non-compact Riemannian manifold which is "nice enough", and $D$ a generalized Laplacian on it. The construction of the heat kernel for the Laplace-Beltrami operator on $M$ seems to be ...
5
votes
1answer
211 views

Examples of Symplectic Questions Solved by ``Mirror Symmetry Translation'' to Complex Questions

According to the proponents of homological mirror symmetry, when a complex and symplectic manifold are mirror symmetric, we can take difficult questions about the symplectic space and transfer them ...
1
vote
0answers
18 views

Density of restrictions of $p$-harmonic functions on a hypersurface

Let $\omega,\Omega\subset\mathbb R^n$, $n\geq2$, be bounded smooth domains so that $\bar\omega\subset\Omega$. Let $1<p<\infty$. Define the boundary space $B=W^{1,p}(\omega)/W^{1,p}_0(\omega)$; ...
0
votes
0answers
31 views

BPP with expected polynomial time [on hold]

Suppose we change the definition of BPP to require the TM to run in expected polynomial time (such as in ZPP). Will the resulting class be equal to BPP, or larger? Thanks.
1
vote
0answers
24 views

Optimization of a multilinear function over a product of hypersimplices

Let $P = \Delta_1 \times \cdots \times \Delta_N$ be the Cartesian product of $N$ hypersimplices. Let $f : P \to \mathbb{R}$ be a multilinear function of $N$ variables, ie $x_i \mapsto f(x_1, \ldots, ...
3
votes
1answer
192 views

Is an anticanonical Weil divisor in $\mathbb{Q}$-Gorenstein variety Calabi-Yau?

Let $P$ be a normal, $\mathbb{Q}$-Gorestein variety with terminal singularities. Let $X \subseteq P$ be a normal, irreducible Weil divisor such that $X \sim_{\mathbb{Q}} - K_P$, that is ...
4
votes
0answers
218 views

Is there a hidden symmetry in the prime numbers distribution?

Under Goldbach's conjecture, let's consider once again the map $r_0\colon n\mapsto r_{0}(n)$ such that $r_{0}(n)$ is the smallest non negative integer $r$ such that both $n-r$ and $n+r$ are prime. ...
3
votes
0answers
53 views

Geometric automorphism of free group respect to nonorientable suface

An outer automorphism $[ϕ]\in Out(F_n)$ is geometric if it is induced by a surface homeomorphism h:M→M, where M is a compact surface with nonempty boundary. I am wondering is it enough we only ...
9
votes
1answer
264 views

singularize the least inaccessible?

Is it consistent that there is some partial order $\mathbb P$ and some inaccessible cardinal $\kappa$, which is the least inaccessible, such that $\mathbb P$ forces $\kappa$ to be singular while ...
4
votes
3answers
88 views

Linear intersection number and vertex covering number

A linear hypergraph is a pair $\pi=(X, L)$ where $X\neq \emptyset$ is a set and $L\subseteq {\cal P}(X)$ has the following properties: for $e\in L$ we have $|e|\geq 2$; if $e_1\neq e_2 \in L$ then ...
0
votes
0answers
13 views

Algebra textbook recommandation for person already familiar with algebra [migrated]

Can you guys please recommend me a good textbook on algebra, given that I am already familiar with lots of algebra stuff and I want to revisit, and deepen my knowledge? (Little backstory: I started ...
-1
votes
0answers
45 views

smallest (sub-) sigma algebra containing a null set [on hold]

Given a probability space ($\Omega,\mathcal{A} ,P$) and $N \in \mathcal{A}, N \ne \emptyset$ with $P(N) = 0$ What is the smallest sub-sigma algebra of $\mathcal{A}$ containing $N$. I'm kind of ...
1
vote
0answers
54 views

pushforward of universal objects along canonical morphisms of stacks

The kind of question I'm interested in has the following flavor: having two moduli stacks with one being an enhanced (i.e more data) version of the other with the natural "forgetting" map between them ...
6
votes
0answers
100 views

An Interesting Markov Chain Mixing time question (coupling of random variables)

Consider a simple markov chain called reproduction process. Let $N>0$ be fixed. At each time $t$, there are $N$ balls, in which $x$ balls are colored white, and $N-x$ balls are colored black. We ...
2
votes
0answers
119 views

How many points does 'the-most-point-contained-circle' contain at least?

Question : Given any $n$ distinct points $S$, consider the $\binom n2$ discs $D_{pq}$ formed by picking a pair of points $p,q$ from $S$ and using them as a diameter. For each disc $D_{pq}$, let ...
0
votes
0answers
127 views

A relation that commutes with logical equivalence? [on hold]

I would like help with proving or disproving a conjecture concerning logical equivalence. Say that a set $S$ of occurrences of formulas within a formula $\varphi$ is simplifiable (with respect to ...
6
votes
1answer
88 views

What is the original reference for disorientations on tangle diagrams?

There are several invariants whose "natural" domain is a category of disoriented tangles, that is tangles which are piecewise-oriented, but which contain points called `disorientations' at which the ...
3
votes
0answers
77 views

Maximal compact subgroup of SL(2,|H)

The exceptional isomorphism $Spin(5,1)\simeq SL(2,\mathbb{H})$ is well-known, and I can find references that say the maximal compact of $Spin(5,1)$ is $Spin(5) \simeq Sp(2)$. So I know the answer to ...
4
votes
0answers
172 views

An integral with respect to the Haar measure on a unitary group

Let $A,D\in \mathbb{C}^{n \times n}$ be diagonal matrices. I need to calculate $$\int_{U(n)}\det{(A-HDH^\dagger)}\,\mathrm{d}H$$ where $dH$ is the unit invariant Haar measure on the group of unitary ...
-2
votes
2answers
98 views

Equality of two conditional expectations

I would like to show that for any random variable $X$ and $Z$ such that $X$ and $Z$ are independent and for any measurable functions $f$ and $g$, $$ \mathbb E \left[ f(g(X),Z) | g(X) \right] = ...
0
votes
0answers
32 views

Extension of canonical surjection to a place of fraction field

Let $R$ be an integrally closed domain, $K$ its field of fractions, and $m$ a maximal ideal of $R$. By Chevalley theorem, the canonical surjection $R\to R/m$ extends in at least one way to a place ...
1
vote
0answers
85 views

Dividing a n- cochain by a 1-cochain

Assume that $X$ is a path connected hausdorff topological space. Let $\alpha\in C^{1}(X,\mathbb{R})$ and $\beta\in C^{n}(X,\mathbb{R})$ be cochains in real singular cohomology. Asume that $\alpha ...
4
votes
0answers
70 views

Can we replace 2-fold cover by n rectangles with 1-fold cover by n rectangles?

Suppose that $n$ rectangles cover every point of their union exactly twice (except for points on their boundaries). Can we partition this union into at most $n$ rectangles? I think it's pretty ...
0
votes
0answers
88 views

How do I prove this statement about the operator norm? [on hold]

I stumbled across this equation in a paper, but I can't find the paper any more and I'm not sure if I remember it correctly. By definition of an operator norm, $$\left[(D^*D)^{-1} - ...
-1
votes
0answers
75 views

What role does the quantum torus play in Noncommutative geometry [on hold]

Quantum torus is the associative algebra generated over a field by quasi-commuting variables $x_i$ satisfying $x_ix_j = q_{ij}x_jx_i$ for suitable nonzero scalars $q_{ij}$. What is the role played ...
8
votes
1answer
160 views

Papers about decentralized search and cluster

I just start an independent study about small world network and clusters and I try to find papers about decentralized search and clusters. Can anyone give me some references? Thanks! EDIT (David ...
0
votes
0answers
43 views

Is each multiplicative linear functional on $L^1(SL(2,R):SO(2,R))$ is triviall?

We know that if $G=SL(2,R)$ and $H=SO(2,R)$ as a compact subgroup of $G$, then $\{\xi \in \hat{G}; \xi|_H=1\}$is triviall. Can we conclude that each multiplicative linear functional on $\{f\in ...
0
votes
0answers
28 views

About adjacency matrices of $k-$shift lifts of graphs

I am finding the notation of cyclic lifts of graphs to be very confusing. Lets say one is looking at a cyclic $k-$lift of a $\vert V \vert$ sized graph. I would like to understand what is the ...
3
votes
1answer
92 views

Is there a standard notation for off-diagonal transpose?

Given a matrix $A=\begin{pmatrix}a&b\\c&d\end{pmatrix}$, its transpose, obviously, is $A^T=\begin{pmatrix}a&c\\b&d\end{pmatrix}$. But is there a conventional way of notating the matrix ...
1
vote
1answer
119 views

Example of torsion in orientable manifolds?

An orientable manifold can have torsion in its integer homology. But I believe by Poincare duality the manifold must be at least 4-dimensional -- isn't that right? Anyway are there simple examples ...
1
vote
0answers
86 views

Generating the sigma algebras on the set of probability measures

I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and ...
4
votes
1answer
186 views

Bar Construction Model of Ring Spectrum Quotient

Suppose I am given a morphism $f:BG\to BGL_1(R)$ for $R$ some at least $E_1$-ring spectrum and $G$ a loop space. Then This corresponds, I believe, to an action of $G$ on $R$, coming from a morphism ...
0
votes
0answers
147 views

For a mathematician that English is not the native language, does he/she think in english or graph or native language? [on hold]

For example, if you are a mathematician with Chinese the native language. During your research you find most of the books or papers are in English, of course when you read them, you probably will ...
0
votes
0answers
44 views

Continuous self-information

Let $I(X,Y)$ be the mutual information between two continuous random variables $X$ and $Y$. We have $I(X,Y) = H(X)-H(X|Y)$, and setting $X=Y$ leads to $I(X,X) = H(X)-H(X|X)$. If $X$ was discrete, ...
0
votes
1answer
105 views

Intersection Matrix of a resolution

Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that $$K_X = f^{*}K_S+\sum_ia_iE_i$$ with $a_i>0$. By Grauert-Mumford theorem the ...
2
votes
1answer
114 views

A Krull-Schmidt Theorem for Lie groups?

I wondered whether there is an analogue of the Krull-Schmidt theorem for real Lie-groups. More precisely, what conditions do you have to impose on a connected finite dimensional Lie group $G$ so that ...
19
votes
4answers
973 views

Categorical proof subgroups of free groups are free?

This is a crossport of this question from MSE. Is there a categorical proof that subgroups of free groups are free? How about the result that subgroups of free abelian groups are free abelian? ...
-1
votes
0answers
31 views

Iterative Calculation? [on hold]

Apologies, as I do not know how to phrase this question in the correct terms; however, I will try my best. I have an equation that looks like this: D = A - B - C However, C = ( [A - B] * X ) Is ...
13
votes
2answers
384 views

Why is “The Higman Rope Trick” thus named?

I'm studiyng Higman's Embedding Theorem, and a fundamental part of the proof is the following lemma: If R is a benign normal subgroup of finitely generated group F, then F/R can be embedded in a ...
2
votes
0answers
78 views

Besse p134 Riemann tensor in dimension 4

Does someone have a reference for the proof of 4.72 page 134 of Einstein Manifolds? It is said that $$\check{R}-\vert R\vert^2g/4=S/3 (Ric-S/4) +2\mathring{W}(Ric -S/4) $$ because we are in dimension ...
-1
votes
0answers
39 views

Improper integral calculation - limit at infinity [on hold]

Will you please help me prove the following limit is zero ? $ lim_{x \to \infty} \int_0^{\infty} \frac{1-e^{-u^4}}{u^2} cos(x\cdot u) du $ Thanks in advance

15 30 50 per page