0
votes
0answers
14 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}$ ...
1
vote
0answers
5 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
37 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 ...
0
votes
1answer
64 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?$ ...
-2
votes
0answers
20 views

How to obtain a permutation of a tensor product? [on hold]

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 ...
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
30 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) = ...
5
votes
1answer
77 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 ...
2
votes
1answer
50 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
38 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 ...
0
votes
0answers
24 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
29 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 ...
2
votes
0answers
25 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?
1
vote
0answers
114 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
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 ...
1
vote
1answer
353 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$ ...
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 ...
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 ...
8
votes
2answers
119 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 ...
-4
votes
0answers
33 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
vote
0answers
44 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 ...
8
votes
0answers
121 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 ...
2
votes
1answer
62 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 ...
0
votes
0answers
75 views

Two questions about sections of ruled surfaces

The following questions maybe elementary, but I can't find them in the literature. Assume now everything I will write is defined over some algebraically closed field. Let $S$ be a (geometrically) ...
9
votes
1answer
162 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 ...
0
votes
0answers
53 views

Bound of Chebyshev function and zeros of zeta function

It is an elementary argument (such as in Multiplicative Number Theory, section 18) that, if the Chebyshev's function $f(x) = \sum_{n \le x} \Lambda(x) = x + O(x^\alpha)$ for some $\alpha < 1$, then ...
0
votes
0answers
28 views

Column Inner Products vs. Row Inner Products

Given two matrices $A,B\in\mathbb{R}^{n\times r}$ where $A$ has orthogonal columns and $A^TB$ is symmetric, are there any non-trivial interesting relationships / inequalities between the following ...
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 $$ ...
-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 ...
3
votes
0answers
51 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 ...
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 ...
5
votes
0answers
98 views

Distribution of trivial subset sums

Suppose I have a set $S$ of $n$ integers picked independently, uniformly at random from $[-L, L].$ Let $z(S)$ be the number of subsets of $S$ which sum to zero. The question is: what is the ...
-4
votes
0answers
107 views

Must a proof of the asymptotic Goldbach conjecture be effective to imply GRH?

It was shown by Hardy and Littlewood that GRH (i.e. the Generalized Riemann Hypothesis for Dirichlet L-functions) implies that every large enough odd number is the sum of three primes. Later on (circa ...
-5
votes
0answers
25 views

Proof of probabilistic model of “normal” [on hold]

In A New Look at Anomaly Detection there is a claim for the proof of probabilistic definition of normal is as follows, a guess of the probability for event i is $\pi_i$, the true probability is ...
6
votes
2answers
467 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 ...
1
vote
0answers
41 views

Semigroup solution via Lumer-Phillips

Let $a$ be a coercive, bounded bilinear form on $H^1(\Omega)$, where $\Omega$ is some sufficiently "nice" region. I defined an operator $A:H^1(\Omega)\mapsto H^1(\Omega)^*$ by: $$ ...
-1
votes
0answers
41 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 ...
-2
votes
0answers
40 views

Distance between point and plane [on hold]

So according to this, the signed distance between a point will be the dot product of the plane's normal vector (does it have to be a unit vector?) and the point-in-plane minus the point vector. I ...
0
votes
0answers
27 views

Construction of a path of quadratic variation

This question has been posted to Stack Exchange earlier, and no answer is available yet. Consider a path $x: [0,1] \to \mathbb R$. it's $p$-variation on an interval is defined by $$V_{p}(x, [a, b]) ...
0
votes
0answers
27 views

schatten 1-norm of rank $k$ matrix

I am looking for a high-probability lower bound for the following rank-$k$ matrix $$ X = u_1 v_1^T + u_2 v_2^T + \cdots + u_k v_k^T, $$ where $u_1,\dots,u_k,v_1,\dots,v_k$ are independent $N(0,I_n)$ ...
9
votes
0answers
210 views

Geometric generic fibre

This is a pretty elementary question about schemes, but it came up in the course of research, so let's try it here rather than MSE. Question 1: Are the fibres of a family of complex varieties ...
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$, ...
10
votes
1answer
409 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. ...
1
vote
0answers
91 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 $$ ...
1
vote
0answers
77 views

What are constructions for induced $C_5$-free graphs?

During a recent workshop, the question came up whether there are some constructions for graphs that are induced $C_5$-free, but they contain "everything else," so we don't want to forbid $C_5$'s, ...
0
votes
1answer
173 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 ...
4
votes
0answers
109 views

Does the following $ C^{*} $-algebraic result have a purely algebraic proof?

While studying the proof of Bott periodicity for operator $ K $-theory in this set of notes, I learned this fact: Theorem. Let $ A $ and $ B $ be $ C^{*} $-algebras. Let $ f,g: A \to B $ be $ * ...
1
vote
1answer
40 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 ...

15 30 50 per page