# All Questions

66 views

### Is there a classification of 2d extended TQFTs with defects?

Chris Schommer-Pries has classified 2d extended TQFTs (topological quantum field theories) in his PhD thesis. The result is a (not necessarily abelian) separable symmetric Frobenius algebra (possibly ...
55 views

### Does Schatten-p (quasi-)norm satisfy the norm inequality for 0<p<1?

I'm reading the paper by ANGELIKA ROHDE AND ALEXANDRE B. TSYBAKOV, ESTIMATION OF HIGH-DIMENSIONAL LOW-RANK MATRICES. And in the paper, they provide an inequation of the Schatten-p (quasi-)norm, ...
95 views

### pseudovarieties and profinite group : do * and g() commute?

Let $V$ and $W$ be pseudovarieties of finite monoids. We denote with $gV$ the pseudovariety of categories generated by $V$, and by $V*W$ the semidirect product of pseudovarieties $V$ and $W$. Does ...
116 views

### intersection of holomorphic curve with hyperplane

Let $f : \mathbb{C} \rightarrow \mathbb{C}^n$, $n>1$ be an entire function. Assume for simplicity that $f(0)=0$. Let $B$ be the closed ball of centre $O$ and radius $R$. Is there an upper bound ...
60 views

### What is the symmetry group fixing norms of elements of a unitary matrix?

Let $N\geq1$ be an integer and let us say that two matrices $U,V\in U(N)$ are related if $|U_{ij}|=|V_{ij}|$ for all indices $1\leq i,j\leq N$. When exactly are two unitary matrices related in this ...
173 views

500 views

### Question on the irrationality of $e$

I was surprised that the numbers $\pi$, $\ln{(2)}$, $\zeta{(2)}$, and $\zeta{(3)}$ can be shown to be irrational in what seems to be "three-lined proofs" (as identified here on Overflow: Establishing ...
162 views

### Difference between coherent nerve of simplical model category and simplicial category

Suppose I have a simplicial model category $M$. Then I can take the homotopy coherent nerve of $M$ to obtain a quasicategory. This, however, only depends on the fact that $M$ is a category enriched in ...
200 views

### how do automorphisms of elliptic curves act on the Tate module?

Let $E/k$ be an elliptic curve over some algebraically closed field $k$ of characteristic $p\ge 0$. It's known that $Aut(E)$ acts faithfully on the Tate module $T_\ell(E)$ ($\ell\ne p$) with ...
39 views

### Characterization of the maximizer of a function based on a parameter's value

Consider a smooth, continuously differentiable, and jointly concave function $f(x,y,z;a)$, where $x,y$ and $z$ are decision variables and $a$ is a problem parameter. I have two optimization problems. ...
55 views

47 views

### Opens of $\mathbb{C}$ ,Can be Critical Domain for Some Holomorphic Function [closed]

Consider that we have a holomorphic function on $U$ that is an open subset of $\mathbb{C}$. We say that $U$ is a critical domain for $f$ if we couldn't find an analytic extension of $f$ to an open of ...
61 views

### Topological systems of imprimitivity

Let $G$ be a group acting by homeomorphisms on a topological space $X$. $G$ is topologically transitive if every open $G$-invariant subset of $X$ is empty or dense. Here is an attempt to define ...
104 views

### Dividing a convex region to minimize average distances

Let $C$ be a convex region in the plane with area 1 that contains distinct points $p_1,\dots,p_n$. Say I'd like to divide $C$ into $n$ pieces $C_1,\dots,C_n$, each of area $1/n$, and I'd like to ...
43 views

### Petrov classification/Weyl scalars

There is one calculation in Chandrasekhar's "Mathematical Theory of Black Holes" that I cannot understand. Here is the setup: We want to show that Petrov type D (i.e. two principal null directions) ...
112 views

135 views

### Answer to “why is matrix called matrix and what does it have to do with the movie?” [closed]

In a first year linear algebra class, I was asked "why is matrix called matrix and what does it have to do with the movie?" by a student. The movie he was referring to was "The Matrix" from 1999. I ...
31 views

### Equation proof possibly by induction discrete math [closed]

The question asks: Prove that for some b belonging to the natural numbers, sqrt(2)^n > n for every n >= b. Find such a b belonging to the natural numbers.
95 views

### classifying pairs of idempotent matrices

though classifying pairs of matrices up to simultaneous conjugation is known to be wild, it seems to me a folklore that classifying pairs of idempotent matrices (up to simultaneous conjugation) is ...
### Decomposition space of $\mathbb{C}$ by concentric circles [closed]
What are the topological properties of the quotient space $X$ obtained from $\mathbb{C}$ by identifying points of the same modulus? I.e., the space $X=\mathbb{C}/E$ where $E$ is the equivalence ...