Tagged Questions

0
votes
1answer
26 views

How to combine correlated signals !?

Hi everybody There are 11 signals: S_main : The original signal S1 ~ S10 : 10 signals that are correlated to S_main with different correlation coefficients (coeff1 ~ coeff10) …
1
vote
2answers
307 views

Finitely generated monoids are finitely presented?

I saw in the answer of this post that any finitely generated monoids are finitely presented in the sense that there is a coequalizer diagram $P_1\rightrightarrows P_0\rightarrow M$ …
10
votes
0answers
175 views

What are the main structure theorems on finitely generated commutative monoids?

I should read J. C. Rosales and P. A. García-Sánchez's book Finitely Generated Commutative Monoids and L. Redei's book The Theory of Finitely Generated Commutative Semigroups. I h …
0
votes
0answers
19 views

Question about tetrahedron decomposition

Are there tetrahedra which can be subdivided into three parts similar to the original? I believe this would require splitting one face into three parts. I know some types of tetrah …
1
vote
0answers
21 views

Closed geodesic loops around points in compact manifolds

Since in a compact Riemannian manifold $M$ the only totally convex subset is the whole manifold itself, see http://mathoverflow.net/questions/106169/closed-manifold-has-no-nontrivi …
2
votes
0answers
13 views

Multiplicative groups in field extensions

If we let $K$ be a number field, thank to the fact that we can extend it integer ring to an UFD where the group of units is finitely generated, we can show that $K^\ast\cong K^\as …
3
votes
0answers
51 views

Lawvere’s fixed point theorem and the Recursion Theorem

Building off of Qiaochu's comment on my answer to a previous mathoverflow question, I would like to know: can the Recursion Theorem, $$\forall e\exists k[\Phi_e\text{ is total }\im …
0
votes
0answers
21 views

affine schubert cells and bruhat order

Let $G$ asimply connected group over $k=\bar{k}$, $B$ a Borel subgroup and $I$ the corresponding Iwahori in G(k[[t]]), $T$ a maximal torus and $K=G(k[[t]])$. Let $\lambda\in X_{*} …
0
votes
0answers
53 views

An integral with Gamma functions (Part 2)

I was wondering if there is a generalization of the integral discussed here to a case like, \begin{equation}\int \frac{d^dq}{q^{\nu_1}\vert \vec{q} \pm \vec{k}_1\vert ^{\nu_2}\ver …
0
votes
0answers
49 views

How do I find abelian subcategories of periodic triangulated categories?

If $T$ is a triangulated category, then the formalism of $t$-structures gives a way to find abelian subcategories inside. You're supposed to find two strictly full subcategories, …
0
votes
0answers
39 views

Question about the nullstellensatz for projective schemes

Yeasterday I asked a question on math stackexchange which simplifies to the following: Assume that $G$ is a graded ring and $A \subseteq G$ is a homogeneous radical ideal. …
2
votes
5answers
280 views

Connected groupoids and action groupoids

It is written in Wikipedia http://en.wikipedia.org/wiki/Groupoid, that any connected groupoid $A\rightrightarrows X$ is isomorphic to an action groupoid $G\ltimes X$ coming from a …
4
votes
0answers
59 views

A duality on partial permutations

A partial permutation matrix $\pi$ is one with at most one 1 in any row and column (the rest 0s). Given one, we can cross out to the East and South (but not Southeast) of each 1. S …
41
votes
6answers
8k views

How many orders of infinity are there?

Define a growth function to be a monotone increasing function $F: {\bf N} \to {\bf N}$, thus for instance $n \mapsto n^2$, $n \mapsto 2^n$, $n \mapsto 2^{2^n}$ are examples of grow …
32
votes
9answers
2k views

Why is Set, and not Rel, so ubiquitous in mathematics?

The concept of relation in the history of mathematics, either consciously or not, has always been important: think of order relations or equivalence relations. Why was there the n …
5
votes
0answers
71 views

Octonions and the Fano plane.

Does the Fano plane mnemonic for octonion multiplication have any deeper meaning? http://upload.wikimedia.org/wikipedia/commons/2/2d/FanoPlane.svg The symmetry group of the Fano …
5
votes
5answers
895 views

Groupoid actions on spaces

The action of a group $G$ on a topological space $X$ can be viewed as a functor $F: G \to \mathcal{Top}$ with $F(*)=X$. (Here I'm viewing a group as a category with one object, $ * …
2
votes
1answer
146 views

Set Theory exercise.

I find myself unable to solve question 24.1 of T. Jech's Set Theory: If $\beta<\omega_1$ and if $2^{\aleph_{\alpha}}\leq\aleph_{\alpha+\beta}$ for a stationary set of $\ …
0
votes
0answers
46 views

DAG graph and topologic order question

I need to find the maximum number of topological sorts on Direct Acyclic Graph of N-order. I've checked by running Depth first search algorithm on various Direct Acyclic graphs, an …
2
votes
1answer
117 views

Is a Cauchy principal value invariant under a “change of variables”?

Let $f \in C^{\gamma}_c(\mathbb{R}) $. Let $K:\mathbb{R}^n \backslash {\vec{0}} \rightarrow \mathbb{R}^n$ be a singular integral kernel with the following properties: 1) K smooth …
4
votes
2answers
266 views

Importance of separability vs. second-countability

For me second-countability always felt like to be the more important and fundamental concept from general topology than separability. I wonder whether there are any points which ca …
0
votes
1answer
28 views

decomposition of the injective hull of a torsion free module

Let R be any ring and let A be a torsion free R-module. when would we be able to decompose the injective hull E(A) of A, i.e. when can we write E(A) as a sum E_i, i in I?
1
vote
1answer
112 views

exceptional divisor on a smooth surface

Let $D=\sum d_iD_i$ be an exceptional divisor on a smooth projective surface $X$. i.e., the intersection matrix $(D_i.D_j)$ is negative definite. I have 2 stupid questions. Fix …
14
votes
1answer
576 views

Under exactly what (extra) conditions (if any) is a connected Hausdorff manifold with a Riemannian metric a metric space?

The setting is that manifolds are Banach manifolds, not necessarily finite dimensional. No other assumption is made about the topology of the manifold. In particular, it is not ass …
0
votes
0answers
83 views

Strong convergence in the Bochner space L^p([0,T],X)

Dear mathoverflowers, I have a question concerning the strong convergence in $L^p([0,T],X)$. Let $X_1,X$ be two Banach spaces such that $X_1\subset X$ with compact embedding. Let …
0
votes
2answers
130 views

Vector field pull back from embedding

Let $M$ and $N$ be finite dimensional smooth manifolds. A smooth map $f: M \to N$ is an embedding if and only if there is an open neighborhood $U$ of $f(M)$ in $N$ and a smooth ma …
12
votes
3answers
644 views

Good uses of Siegel zeros?

The short version of my question goes: What is known to follow from the existence of Siegel zeros? A longer version to give an idea of what I have in mind: The "expectional zeros" …
8
votes
5answers
1k views

Geodesics on a Grassmannian

Where can I find the most direct and simplest presentation of what geodesics on a (complex) Grassmannian look like? I know how to do it from scratch, but, if I want to provide a re …
1
vote
0answers
19 views

Fundamental cycle separators and crossing numbers

Hi there, Consider a planar graph $G$ of radius $r$ and order $n$. Lipton and Tarjan proved that $G$ contains a cycle $C$ of length at most $2r+1$ whose removal leaves two connect …
10
votes
0answers
154 views

How can I randomly draw an ensemble of unit vectors that sum to zero?

Inspired by this question, I would like to determine the probability that a random knot of 6 unit sticks is a trefoil. This naturally leads to the following question: Is there a …
0
votes
0answers
25 views

Gradient estimates for subsolutions of elliptic equations

Let $M$ be a Riemannian manifold. Assume $u \in C^\infty(M)$ such that $u>0$ and $\Delta u + \lambda u = 0,$ where $\lambda \geq 0$. There is a poinwise estimate for $|\nabla u|$ …
0
votes
0answers
50 views

Differential form on a compact manifold whose exterior derivative is nowhere zero? [closed]

This may be a stupid question, but I understand the proof of the theorem that states that for any differentiable $(n-1)$ form $\omega$ on a compact $n$ dimensional manifold in $R^{ …
2
votes
1answer
84 views

Is there an “accepted” jamming limit for hard spheres placed in the unit cube by random sequential adsorption?

I have a unit cube, and operating in the continuum limit (i.e. not on a lattice), I sequentially place spheres of some radius $r$ inside the cube until a filled volume "jamming lim …
11
votes
0answers
235 views

Source of a formula for tensor product multiplicities?

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (o …
-1
votes
0answers
112 views

What is the exact mathematical formulation of a claim

The motivation to this question can be found in http://mathoverflow.net/questions/103846/why-are-galois-representations-so-important-in-number-theory My question is concerned wi …
1
vote
0answers
71 views

Reference request: construction of Steenrod operations for an odd p

Where in literature can one find a construction of Steenrod reduced powers (for an odd $p$) that (1) works for the singular cohomology of arbitrary topological spaces (or, more …
5
votes
1answer
255 views

Why are affine Lie algebras called affine?

Hi. I was wondering if someone could explain why we call affine Lie algebras affine. Thanks! Oliver
2
votes
1answer
128 views

Homological characterization of smooth maps

Let $A \to B$ be a finitely generated homomorphism between two commutative noetherian rings. As far as I understand, in various generalizations of this situation, such a map is ca …
1
vote
0answers
46 views

Characterizing a certain subset of isotropic vectors

Dear all, I stumbled on this question due to an application in physics, but I find it hard to find useful references for it. I looked into literature on projective geometry and po …
0
votes
0answers
15 views

shortest path in undirected graph in LogSpace

Given an undirected graph G (can be cyclic) with the promise that all its faces have 3 sides is it possible to find the minimum distace between a source and any other vertices in L …
2
votes
1answer
205 views

Derivation of Bessel functions

I am writing a summary on a work on Fluid Dynamics that develops irrotational flow states that appear to interact amongst each other according to the equations of Electromagnetism …
1
vote
1answer
104 views

Algorithm to find exponential map of differential operators acting on function

I am trying to write a computer program which computes the action of the exponential of a differential operator on a function, for any given differential operator. Examples: $\ex …
3
votes
1answer
81 views

Volume growth of covers and growth of deck-transformation groups

It is well-known that if $\widetilde M\to M$ is a Galois cover of a compact Riemannian manifold $M$ with deck-transformation group $G$, then the growth of $G$ equals the volume gro …
0
votes
0answers
57 views

Are the d quantities log(\lambda_j.s+\mu_j) linearly independent over Q for all s>1?

This question deals with the gamma factor of a primitive function of the Selberg class. Writing the functional equation of such a function $F$ as $\Phi(s)=\overline{\Phi(\overline{ …
1
vote
1answer
106 views

Composition in the category quotient

I would like to understand the accounts of P. Gabriel (link text), pag 365, when he shows that the composition of this category is well defined. Definition: Given a Serre subcateg …
17
votes
7answers
1k views

What math institutes offer research in pairs/research in teams?

Some math institutes offer programs in which a small number of researchers are enabled to meet at the institute for a week or more. A list seemed as if it could be useful.
0
votes
0answers
28 views

Finding conditions on unspecified CDF that permit a solution to an equation

Let $F(\alpha) := \mathbb{P}(\tilde{\alpha} \leq \alpha)$ be an arbitrary, strictly increasing and twice differentiable CDF that is defined on the interval $[0, \overline{\alpha}]$ …
5
votes
1answer
157 views

Reference request: affine transforms + circle inversion?

This problem cropped up in the context of scale-insensitive methods for generating random variables. Let $X=R^n \cup \{\infty\}$. Suppose we consider a set of transforms $\cal{T} …
7
votes
1answer
172 views

Is this combination of generalized polygamma and dilogarithm actually zero? $\Im\;\psi^{(-2)}(1+i)+\frac1{4\pi}\text{Li}_2(e^{-2\pi})-\log\sqrt{2\pi}+\frac{5\pi}{24}+\frac12$

I encountered this quantity in my calculations and tried to simplify it. Approximate numeric calculations suggested it could be zero (more precisely, it is certainly less than $10^ …
0
votes
1answer
50 views

The sufficient condition of the Neumann problem

How can we prove that if $\int_U{f}=0$,then the homogeneous Neumann problem $\Delta u=f$on U,and $\frac{\partial u}{\partial n}=0$ on $\partial U$ has a weak solution in $H^1(U)$? …

1 2 3 4 5 836 next
15 30 50 per page