21
votes
5answers
2k views

Nonstandard analysis in probability theory

I am quite new at nonstandard analysis, and recently I became aware of its use in probability theory mainly through the following two books: Nelson (1987). Radically Elementary Probability Theory ...
5
votes
1answer
73 views

What is descent data (of higher categories), conceptually?

First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a ...
0
votes
1answer
54 views

On Cantor sets every map is $C^{\infty}$

For a fixed Cantor set $K\subset [0,1]$ and a continuous function $g:[0,1]\to \mathbb R.$ Is it always possible to find a $C^{\infty}$ map $f:[0,1]\to \mathbb R$ such that $g$ and $f$ coincide in $K?$ ...
8
votes
1answer
152 views

What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

Over the years, advances in machine learning has allowed us to communicate and interact, using the same natural language, more and more semantically with computers, e.g. Google, Siri, Watson, etc. On ...
1
vote
1answer
39 views

Tomita Takesaki theory and boundeness of $S$

Let $M$ be a von Neumann algebra, $\xi$-separating and cyclic vector for $M$. Let $S$ be antilinear operator acting as $x \xi \mapsto x^* \xi$ where $x \in M$. Then one can show that $S$ is closable ...
1
vote
0answers
3 views

Nemytskii/superposition operator without separability of Banach space?

Let $T:[0,1] \times X \to \mathbb{R}$ be a nonlinear map where $X$ is a Banach space. Suppose that $T$ is a Caratheodory map, so that $t \mapsto F(t,x)$ is measurable and $x \mapsto F(t,x)$ is ...
0
votes
0answers
10 views

Higher algebra and terminology about 2-objects

It is well known that one way to build higher category theory is to use some induction process, where an $n$-category has as $0$-cells some $n-1$ categories, such that for two $0$-cells $\mathcal{A}$ ...
0
votes
0answers
30 views

Riemann-Roch formula for nodal curves

Let $X$ be an irreducible, reduced, projective curve over an algebraically closed field, with at worst nodes as singularities. Let $\mathcal{F}$ be a trivial vector bundle on $X$ of rank $r$. Consider ...
5
votes
2answers
44 views

Uniform Sampling Subject to Linear Equalities and Non-Negativity Constraint

I'm trying to sample uniformly on the intersections of faces of several simplicies, with all coordinates being non-negative. That is, given constraints $$A\vec{w}=\vec{b} \ \ and \ \ \vec{w} \geq ...
-2
votes
0answers
19 views

How to obtain a permutation of a tensor product?

I would like to be able to compute a re-ordered kronecker product from the result of another kronecker product. For example, consider $$F=A\otimes B\otimes C\otimes D\otimes E$$ from the result F and ...
1
vote
1answer
46 views

Number of non-isomorphic models

I had this question up on Math stackexchange: http://math.stackexchange.com/questions/1349247/number-of-non-isomorphic-models/1350763#1350763 . While it was answered partially there, I'm posting here ...
0
votes
0answers
7 views

Asymptotic behavior of the minimum eigenvalue of a certain Gram matrix with linear independence

Consider the density matrices with the following spectral decompositions: $$\rho=\lambda_1|\nu_1\rangle+\lambda_{2}|\nu_2\rangle$$ and $$\sigma=\gamma_1|\omega_1\rangle+\gamma_2|\omega_2\rangle$$ such ...
1
vote
0answers
28 views

Are these two $q$-continued fractions equivalent?

In this MSE post, Nicco Mnisi defined a particular $q$-continued fraction of order $12$. More generally, define the cfrac found in Ramanujan's Notebooks, Vol III, Chap. 16, page 24, $$U(q) = ...
8
votes
0answers
119 views

Equivalence of “Weyl Algebra” and “Crystalline” definitions of rings of differential operators between modules?

Let $B$ be a commutative $A$-algebra, and let $M$, $N$ be two $B$-modules. We can talk about the set of $A$-linear module homomorphisms $M \to N$, i.e. the set $\text{Hom}_A(M, N)$. Differential ...
1
vote
0answers
111 views

Does knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ sometimes offer a significant advantage in finding $r$?

Is there a cyclic group $\mathcal G$ with generator $g$ for which the discrete log problem is assumed to be hard, but knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ for random $r$ makes finding $r$ easy? ...
0
votes
0answers
35 views

How to solve $\sqrt{-1}\partial\bar{\partial}u=\omega$

I'm looking for references on the study of the equation $\sqrt{-1}\partial\bar{\partial}u=\omega$,especially when $\omega$ is a k\"ahler metric on $\Omega\setminus S$,where $\Omega\subset ...
1
vote
1answer
127 views

Existence and uniqueness of solutions for a nonlinear elliptic PDE

The following nonlinear elliptic PDE arose in my research: $$\Delta f - e^f \partial_s f = E(s,t)\,,$$ where $f : \mathbb R(s) \times \mathbb R/\mathbb Z(t) \to \mathbb R$, $f = f(s,t)$, is the ...
0
votes
0answers
23 views

Variational Properties of the Perelman Functional

After reading a bit more about Perelman's entropy and gradient solitons, I came up with a hunch, which I must test. Non-singular solitons can be regarded as critical points of Perelman's entropy, or ...
0
votes
0answers
28 views

What is the significance of the eigendecomposition of a Cayley table?

Treating the Cayley table of a group $G$ as a matrix $M_g$, one notices interesting things about its eigendecomposition. For instance, for the symmetric groups $\{S_n\}$, the rank of the Cayley table ...
1
vote
1answer
333 views

About Abhyankar's conjecture

I just came to this conjecture (proved by M.Raynaud and D.Harbater in 1994) last weekend, in Fresnel and v.d.Put's book Rigid Geometry and Its Applications. It claims that all quasi $p$-group $G$ ...
2
votes
0answers
24 views

Expected absolute value of the determinant of an $n$ by $n$ Toeplitz $(0,1)$ matrix

If $A$ is chosen uniformly over all $n$ by $n$ $(0,1)$-Toeplitz matrices, what is the expected absolute value of the determinant?
6
votes
1answer
130 views

How small can the Mumford-Tate group of hypersurface be?

Is there some way of giving a lower bound on the dimension of the Mumford-Tate group of a hypersurface? Let's say it's of general type, say, of degree $10$ inside $ \mathbb{P}^3$. (Edited from here ...
2
votes
2answers
342 views
+50

Elliptic operators corresponds to non vanishing vector fields

Let $X$ be a non vanishing vector field on a compact manifold $M$. The only differential operator associated with $X$ which I am aware of, is the derivational operator $D(g)=X.g$. Unfortunately ...
0
votes
0answers
39 views

Correlation between two distance measures on bitstrings

I have an infinite collection of $0/1$ random strings of length $n$ (i.e., say 010001110101), where each digit is an independent Bernoulli RV, with parameter $p_i$, $i:1...n$. Define the "trait ...
3
votes
3answers
105 views

Integrals involving the Tricomi hypergeometric function

I am looking for a reference for the two following equalities involving the Tricomi function $U$ and the Meijer function $G$. I have found these formulas on the website http://functions.wolfram.com/, ...
1
vote
0answers
90 views

The representation theory for the fake Heisenberg groups over non-perfect local field

Let $K$ be a local field of characteristic $p$, where $p$ is a prime number greater than 2. In particular, $(x+y)^p=x^p+y^p$ for $x,y\in K$. The fake Heisenberg group is defined to be $$ ...
3
votes
0answers
30 views

Does hypoellipticity imply the existence of a parametrix?

Let $M$ be a smooth manifold, like $\mathbb{R}^n$ for instance. The existence of a parametrix for an operator $P$ on $C^\infty(M)$ in any reasonable pseudodifferential calculus implies that $P$ is ...
4
votes
1answer
297 views

Is $f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}$ essentially bounded?

Let $$f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)} $$ Is it true that $\|f\|_{L^{\infty}(\mathbb{R}^2)}<\infty$? i.e. is $f$ essentially bounded?
8
votes
2answers
113 views

Coarsest admissible topology on $\text{Cont}(X,Y)$

Let $X, Y$ be topological spaces and let $\text{Cont}(X,Y)$ be the collection of continuous functions $f:X\to Y$. We say that a topology $\tau$ on $\text{Cont}(X,Y)$ is admissible if the evaluation ...
7
votes
1answer
946 views
+50

Eliminating Gibb's phenomenon, and approximating with jumping functions in Fourier Analysis : An attempt and a question in this regard

Physical Motivation : Hear to these audio files S_f and P_f. S_f is Fourier partial sum and P_f is the new reconstruction, both use spectrum only in the region (0,4KHz) for reconstructing the ...
4
votes
1answer
149 views

Prove that the Log-Euclidean distance is negative-definite

Let $\Bbb{S}_{++}^n$ be the $\frac{n(n+1)}{2}$-dimensional Riemannian manifold of the symmetric positive definite (SPD) $n\times n$ real matrices. The Log-Euclidean distance between two points of ...
1
vote
1answer
393 views

Existence of $n$-connected topological groups with $m$-dimensional action extending that of $GL(m)$ on $\mathbb{R}^m$

I'll first state the question as concisely as I can and then provide some motivation. Consider two positive integers $m$ and $n$ such that $m < n+2$. Does there exist a topological group $G$ ...
1
vote
1answer
71 views

Minimal generating sets of free algebras of varieties

Let $V$ be a variety and $F$ be a relatively free algebra in $V$. Suppose $X$ is a minimal generating set for $F$. Under what conditions we can deduce that $X$ is a free basis of $F$?
19
votes
1answer
415 views

Group with finite outer automorphism group and large center

Does there exist a finitely generated group $G$ with outer automorphism group $\mathrm{Out}(G)$ finite, whose center contains infinitely many elements of order $p$ for some prime $p$? A motivation is ...
-1
votes
0answers
26 views

Continuity of Induced Functional Structures [on hold]

Bredon's Topology and Geometry gives definition of Induced Functional Structure as follows: Suppose $F_x$ is a functional structure on space $X$ and let $f:X\to Y$ be a map. Then the induced ...
13
votes
2answers
498 views

Counter examples for strengthening Whitehead's theorem?

Let $f:X\to Y$ be a pointed map of pointed connected $n$-dimensional CW complexes. Whitehead's theorem says that if $f_*:\pi_qX\to \pi_qY$ is an isomorphism for $q\le n$ and a surjection for $q=n+1$, ...
0
votes
0answers
31 views

Elementary bound on operator norm on symmetric tensors: reference request

My education didn't really cover Tensors very well, so I'm getting stumped by a quite elementary question. Let $T_k$ be a type k symmetric tensor. We can define the "operator norm" (or the induced ...
0
votes
1answer
30 views

distance distribution in Poisson point process

Consider a homogeneous Poisson point process in 2D space with density $\lambda$ per unit area. Let $\mathcal{B}(o,R)$ denote a disk centered at origin with radius $R$. Let $n$ be the number of points ...
0
votes
0answers
14 views

The effect of a single Markov transition on fidelity

Let $p$ and $q$ be two probability vectors of length $n$. The fidelity (or Bhattacharyya coefficient) of $p$ and $q$, is $$ F(p,q) \ := \ \sum_{i=1}^n \sqrt{p_i \cdot q_i}. $$ Let $A$ be a ...
1
vote
0answers
46 views

Irreducible unitary representations of semidirect groups of a discrete abelian group by a discrete group

Recently in a paper we get the following result: Let a discrete group $\Gamma$ act on a discrete abelian group $G$ by group automorphisms. Every irreducible unitary representation $\pi$ of ...
2
votes
1answer
49 views

Dualities between varieties and quasivarieties at the finite level

Suppose one has two locally finite quasivarieties $\mathcal{V}$ and $\mathcal{W}$. Further suppose that: $\mathcal{V}$ is a variety. The finite algebras $\mathcal{V}_f$ are dually equivalent to ...
62
votes
64answers
9k views

Old books still used

It's a commonplace to state that while other sciences (like biology) may always need the newest books, we mathematicians also use to use older books. While this is a qualitative remark, I would like ...
6
votes
1answer
258 views

Uniformly small sums of roots of unity

I have considerable numerical evidence that for all $0\leq k\leq{{n-1}\over 2}$ ($n$ odd) there exists a subset $ S_k$ of {1,2,...,n} of cardinality $k$ such that the modulus square of ...
2
votes
1answer
61 views

Commutative von Neumann algebras and localizable measure spaces

This is not my subject so I apologize if my question is too obvious or understood from other pages. I read some pages such as Reference for the Gelfand-Neumark theorem for commutative von Neumann ...
1
vote
0answers
40 views

Spectral densities of stationary Feller processes with no diffusion, constant positive drift and negative jumps

For a (real valued, finite variance, centered) stationary process $X_t$ on $\mathbb R$, the auto-correlation function $k(\tau) = \mathbb E(X_{t+\tau}-X_t)^2$ and its inverse Fourier transform $\rho$, ...
6
votes
2answers
465 views

Which journals publish research announcements?

Perhaps, somebody asked this already, excuse me in this case. Can anybody advise mathematical journals that publish research announcements? (I mean little papers without proofs.) It sometimes ...
0
votes
2answers
39 views

Maximum principle for the heat equation with Dirichlet conditions

Let us consider the Laplacian operator in a domain $\Omega\subset \mathbb{R}^n$, with Dirichlet boundary conditions. For all $f\in L^2(\Omega)$, we denote by $S(t)f$ the solution of the equation $$ ...
-4
votes
0answers
31 views

linear algebra, existense of polynomials [on hold]

True or False? How to prove it? There do not exist polynomials p(t) and q(t), and scalars a, b, c, d, e, f , for which the following equations hold for all t: (Hint: use Theorem 9.) ap(t) + bq(t) = 1 ...
-1
votes
0answers
40 views

void probability for Poisson point process with distance-dependent density

Assume we have a Poisson point process (PPP) on 2D space with density $\lambda$. Let $d_i$ be the distance of each node $i$ respect to the origin. Assume that we mark each point $i$, independent of ...
27
votes
23answers
7k views

Titles composed entirely of math symbols

I apologize for burdening MO with such a vapid, nonresearch question, but I have been curious ever since Suvrit's popular October 2010 Most memorable titles MO question if there were any ...

15 30 50 per page