# All Questions

**0**

votes

**0**answers

8 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. ...

**0**

votes

**0**answers

23 views

### Proving inequation with ceilings in Finite Field of characteristic $p$

Take $ui = pt_i +j_i$ where $p$ is a prime number and $u(p-r) \equiv 1 $ $(\mbox{mod p})$ for positive integers $1 \le i, r, j_i\le p-1$ and $t_i \ge 0$. How can I prove that:
\begin{equation}
...

**1**

vote

**1**answer

23 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 ...

**0**

votes

**0**answers

15 views

### higher direct images of relative canonical sheaf plus a fractional divisor

For a map $f: Y \rightarrow X$ branched over simple normal crossing divisor $B=\sum_iB_i$, do we know of similar local freeness property for higher direct image of relative canonical sheaf plus a ...

**0**

votes

**0**answers

26 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

**0**answers

46 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}$ ...

**2**

votes

**0**answers

13 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 ...

**1**

vote

**0**answers

71 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 ...

**-1**

votes

**1**answer

105 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?$
...

**-1**

votes

**0**answers

35 views

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

I am looking for a way to efficiently 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 ...

**0**

votes

**0**answers

9 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

**0**answers

45 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) = ...

**6**

votes

**1**answer

181 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 ...

**3**

votes

**1**answer

82 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

**0**answers

59 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

**0**answers

35 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

**0**answers

49 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

**0**answers

30 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?

**2**

votes

**0**answers

143 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

**0**answers

45 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

**2**answers

477 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

**0**answers

33 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 ...

**1**

vote

**0**answers

37 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

**1**answer

34 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

**0**answers

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

**2**answers

142 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

**0**answers

37 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

**0**answers

47 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 ...

**9**

votes

**1**answer

188 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

**1**answer

71 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

**0**answers

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

**1**answer

204 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

**0**answers

56 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

**0**answers

29 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

**2**answers

44 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

**0**answers

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 ...

**4**

votes

**1**answer

55 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

**0**answers

53 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

**0**answers

102 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

**0**answers

110 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 ...

**6**

votes

**2**answers

484 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

**0**answers

42 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

**0**answers

43 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

**0**answers

42 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

**0**answers

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

**0**answers

28 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

**0**answers

213 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

**2**answers

520 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

**1**answer

419 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

**0**answers

94 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
$$
...