2
votes
0answers
48 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? Alternatively, what if anything is known about the determinant of ...
2
votes
1answer
55 views

A quasicompact space with a net that contains no convergent strict subnet

If $x:\Lambda \rightarrow X$ is a net in a topological space $X$ and $\Lambda '\subseteq \Lambda$ is a cofinal subset of the directed set $\Lambda$, then $x|_{\Lambda '}$ is a subnet of $x$. We call ...
-3
votes
0answers
79 views

Non-flat $R \subseteq S$, which is integral, separable, $R$ is a noetherian (not integrally closed) integral domain

On ramification theory in noetherian rings, of Auslander and Buchsbaum say: "Chapter 4 is devoted to showing that under various conditions if $S$ is unramified over $R$, then $S$ is $R$-projective. ...
2
votes
0answers
91 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
2answers
164 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 ...
3
votes
0answers
95 views

Thom Class of tensor bundles

Suppose $\xi$ and $\eta$ are oriented vector bundles over a CW-complex $B$. Is it possible to express the Thom class (with ${\mathbb Z}$ coefficients) of $\xi\otimes \eta$ or even ${\rm Sym}^2(\xi)$ ...
0
votes
0answers
68 views

What is the significance of the eigendecomposition of a Cayley table? [on hold]

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 ...
4
votes
1answer
90 views

Distribution of infinity-norm over the unit sphere

I need to compute probabilities of the form $P( \Vert X \Vert_\infty < r ),$ where $X$ is a random variable of dimension $n$, drawn with a uniform distribution on the unit sphere ...
3
votes
4answers
153 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/, ...
0
votes
0answers
57 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 ...
0
votes
1answer
201 views

Worst case difference in rank by column-row swapping

Given a matrix $m\in\{-1,+1\}^{n\times n}$. Consider $m^\sigma$ to be collection of all matrices obtained from $m$ by permuting rows and columns. Consider $\mathscr{M}[m^\sigma]$ to be collection of ...
10
votes
1answer
460 views

A question of Erdos on entire functions

At the end of the following paper, Erdos asked if there is a family $F$ of entire functions of size continuum such that for every $z \in \mathbb{C}$, $\{f(z) : f \in F\}$ has size less than continuum. ...
6
votes
3answers
223 views

Probability a random matrix contains a short integer vector in its kernel

Consider a random $m$ by $n$ matrix $M$ with $m \leq n$, chosen uniformly over all those whose elements are in $\{0,1\}$ (or $\{-1,1\}$ if it is any easier). Is there any mathematical theory that ...
7
votes
2answers
321 views
+50

Upper bound for number of prime numbers in a range

Theorem 3.2 in http://arxiv.org/pdf/1405.2593.pdf shows that for any $x$ there are $\gg x\exp(-\sqrt{\log x})$ integers $x_0 \in [x; 2x]$ such that $\pi(x_0 + \log x) - \pi(x_0) \gg \log\log x$. Is ...
6
votes
1answer
271 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
0answers
57 views

Bochner-Weitzenbock formula for flat bundle Laplacian

Suppose $(M,g)$ is a compact Riemannian manifold and $(E, \nabla, \lambda, B)$ is the following data: 1) $E$ is a complex vector bundle over $M.$ 2) $\nabla$ is a flat connection. 3) $B$ is a ...
19
votes
2answers
896 views

History of Geometric Analogies in Number Theory

My question, put simply, is: When did mathematicians/number theorists begin viewing questions in number theory through a geometric lens? For example, was it before Grothendieck introduced schemes to ...
1
vote
0answers
109 views

Orientation form on the blow up of a Kaehler manifold

Let $(X,\omega)$ be a complex Kaehler manifold of (complex) dimension $d$, and let $Y\subset X$ a complex submanifold of dimension $k$. Evidently $[\omega]^d\in H^{2d}(X,{\mathbb{R}})$ is always ...
6
votes
4answers
75 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 ...
5
votes
0answers
163 views

Log smooth models for abelian varieties

Let $K$ be a field which is complete for a discrete valuation. Assume that the residue field has characteristic $p > 0$. Let $A$ be an abelian variety over $K$ having the property that (for some ...
5
votes
0answers
112 views

Radical of a polynomial values

It has been observed by Langevin and Elkies that the following holds: Assume that the $ABC$- conjecture is true. Suppose that $f(x)\in\mathbb{Z}[x]$ has no repeated roots. Fix $\varepsilon >0.$ ...
1
vote
0answers
55 views

a topos without an underlying boolean topos

I remember an example of a topos that does not have an underlying Boolean topos. My problem is, I cannot find where I saw it. The solution is supposed to have Setf and Set, and the objects of the ...
12
votes
3answers
558 views

How to write an abstract for a math paper? [closed]

How would you go about writing an abstract for a Math paper? I know that an abstract is supposed to "advertise" the paper. However, I do not really know how to get started. Could someone tell me how ...
-2
votes
0answers
139 views

What is the symmetry of SU(3) - when seen as a group / algebra? [on hold]

Simply asked: is it more correct to state that the symmetry of the SU(3) manifold is $Z_3$ or $S_3$? Or neither of the two? SU(3) has a kind of threefold symmetry; but which one exactly? When ...
12
votes
0answers
634 views
+100

How is an $S^1$-equivariant elliptic cohomology theory affected as we continuously vary the underlying elliptic curve?

Grojnowski constructs a $S^1$-equivariant cohomology theory over a complex elliptic curve $E$, designed to trivially satisfy: $$E^*_{S^1}(pt) = E$$ The functor $E^*_{S^1}(-)$ takes in a space $X$ ...
3
votes
2answers
99 views

Identities involving sums of Catalan numbers

The $n$-th Catalan number is defined as $C_n:=\frac{1}{n+1}\binom{2n}{n}=\frac{1}{n}\binom{2n}{n+1}$. I have found the following two identities involving Catalan numbers, and my question is if ...
5
votes
1answer
77 views

On an automatic translation of typed lambda calculus in untyped lambda calculus

I have a question regarding the "compilation" of typed lambda calculus in untyped lambda calculus. Take for example the inductive definition of lists, with introduction rules: and: We can ...
1
vote
0answers
45 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$, ...
4
votes
0answers
69 views

Prove or disprove a claim about covering a polytope by convex polytopes in a certain way

Here is the claim: Given a polytope $K$ in a unit ball in $\mathbb{R}^d$, there exists a universal constant $C(d)>0$ depending only on $d$ and a countable collection of convex polytopes ...
8
votes
0answers
226 views

preserving saturated ideals

A reliable source made the following claim: Suppose CH there is an $\omega_2$-saturated ideal on $\omega_1$. Then this is preserved by $\mathrm{Add}(\omega_1,\omega_2)$. Question 1: How do you ...
8
votes
2answers
535 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?
47
votes
3answers
4k views

Is this differential identity known?

Recently I discovered the differential identity $$ \frac{d^{k+1}}{dx^{k+1}} (1+x^2)^{k/2} = \frac{(1 \times 3 \times \dots \times k)^2}{(1+x^2)^{(k+2)/2}}$$ valid for any odd natural number $k$; for ...
1
vote
1answer
71 views

Gradient of distance function at cut points on Alexandrov spaces

Let $M$ be an $n$-dim Alexandrov space with curvature bounded below $sec \geqslant k$, possibly non-compact. We assume that $M$ has no boundary for simplicity. For a compact subset $K \subset M$, the ...
8
votes
1answer
379 views

Deformations of Ext rings

Let $k$ be a base ring and $k[x]$ the ring of polynomials in an indeterminate $x$ over $k$. Consider a (not necessarily commutative) algebra $A$ over $k[x]$ and two $A$-modules $M$ and $N$. Then for ...
46
votes
0answers
2k views

Complex structure on $S^6$ gets published in Journ. Math. Phys

A paper by Gabor Etesi was published that purports to solve a major outstanding problem: Complex structure on the six dimensional sphere from a spontaneous symmetry breaking Journ. Math. Phys. 56, ...
0
votes
0answers
55 views

tessellation of an arbitrary shape [on hold]

Is there any shapes that we can tessellate any plane shapes (with arbitrary shapes) by them? i.e. if I generate a random shape, how can I tessellate by some shapes?
5
votes
0answers
162 views

How to get a polygon from a translation surface $(X,\omega)$

Let $S_g$ be a compact topological surface of genus $g$. I know there is the correspondence $\{$Abelian differentials on compact Riemann surfaces of genus g$\}\leftrightarrow\{$ Translation surfaces ...
13
votes
1answer
384 views

Avoiding countable subgroups of a group homeomorphic to the Cantor space

The following question is motivated by the paper [Brian, Mislove, Every compact group can have a non-measurable subgroup]. A positive solution to a variation of the following problem implies a ...
5
votes
1answer
146 views
+50

Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities. Assume that both the singularities in $x_1$ and in $x_2$ admit a ...
2
votes
2answers
106 views

A question about “large” indecomposable injectives over commutative rings

Here is my question: Does there exist an infinite commutative ring $R$ with identity with an indecomposable injective (unitary) $R$-module $M$ of larger cardinality than $R$ with the additional ...
2
votes
1answer
220 views

Building $(\infty,2)$-categories from $\infty$-categories

Let $Y$ be a marked simplicial set, whose underlying simplicial set is also denoted by $Y$. Let $X$ be a scaled simplicial set such that the decalage of its underlying simplicial set is $Y$. $X$ is ...
46
votes
17answers
10k views

Parodies of abstruse mathematical writing

Perhaps under the influence of a recent question on perverse sheaves, in conjunction with the impending $\pi$-day (3/14/15 at 9:26:53), I recalled a long-ago parody of abstruse mathematical language ...
42
votes
4answers
1k views

How did Cole factor $2^{67}-1$ in 1903

I just heard a This American Life episode which recounted the famous anecdote about Frank Nelson Cole factoring $N:=2^{67}-1$ as $193707721 \times 761838257287$. There doesn't seem to be a historical ...
6
votes
2answers
112 views

Geodesics on convex hypersufaces

Let $M^n$ be the boundary of a convex compact set in $\mathbb{R}^{n+1}$ with non-empty interior. Question 1. Is $M$ geodesically complete, i.e. is it true that every geodesic (= locally shortest ...
19
votes
1answer
429 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 ...
4
votes
1answer
183 views

Do discrete groups with property $(T)$ have “modest” subgroup growth?

I saw it conjectured at http://www.mathunion.org/ICM/ICM1994.1/Main/icm1994.1.0309.0317.ocr.pdf that "discrete subgroups with property $(T)$ may have modest subgroup growth." (Page 5, directly above ...
3
votes
0answers
95 views

Swan conductor, representation Weil group

Let $F$ be a non-archimedean local field and $\mathcal W_F$ its Weil group. We consider a linear representation $\sigma$ of $\mathcal W_F$. Could someone explain to me the definition of the Swan ...
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 ...
3
votes
1answer
592 views

Is the integral always nonzero?

Let $$I_{n,p,a}:=\int_0^{\infty-} \frac{g_{n,a}(t)}{t^{p+1}} \, dt,$$ where $$(*)\qquad\qquad\qquad n\in\mathbb N,\quad -\infty<a<\infty,\quad p_{n,a} < p < ...
219
votes
72answers
86k views

Video lectures of mathematics courses available online for free

It can be difficult to learn mathematics on your own from textbooks, and I often wish universities videotaped their mathematics courses and distributed them for free online. Fortunately, some ...

15 30 50 per page