# All Questions

184 views

### Use a graphic tablet to write in Latex or MathML [on hold]

I have a Graphic Tablet and I am looking for a software which have the following features: Math equation recognition I want to write and solve math equations in Graphic Tablet and auto recognized to ...
76 views

### Uniformly permutation and the length of a size biased cycle

The cycle containing $1$ of a uniform permutation has length which is uniformly distributed. I was wondering if the converse is true: Suppose $\sigma$ is a permutation on $\{1,\dots,n\}$ and let ...
104 views

### q-th powers and roots of polynomials

Let $p,q,r$ be integers with $r\ge2$; let $f$ be a polynomial of the form $f(X) = g((X+1)^r)$, which is not a $q$-th power. Let $\omega$ be a $p$-th root of unity. Show that the polynomial ...
103 views

### Largest eigenvalue of the sum of hermitian matricies

Is there an expression for the largest eigenvalue of the sum of two hermitian matricies in terms of the spectrum of the same matricies?
455 views

### Vanishing eigenvalues of Jacobian

Let $f: \mathbb{R^2}\to \mathbb{R^2}$ be a Schwartz function. If the eigenvalues of $Df$ vanish everywhere, must $f$ be constant? Does an analogous result hold when we replace $2$ by $n$? Any ...
94 views

### Mathematics of volleyball [on hold]

I'm working on a mathematical model that should calculate probabilities of various things in the game of volleyball and I thought it might not be a bad idea to see if there is already some research on ...
86 views

### Are there superexponential Pfaffian functions?

This question is motivated by model theory, but it's really an analysis question (which means it may have an easy analysis answer that I just don't have the background for). Here's the main question, ...
117 views

### Rational map and diophantine sets

A subset $A$ of $\mathbb{Q}^m$ is a diophantine set over $\mathbb{Q}$ if there is $P(\vec{a},\vec{x}) \in \mathbb{Q}[a_1,...,a_m,x_1,...,x_n]$ such that $\forall \vec{a} \in \mathbb{Q}^{m}$, ...
53 views

### Repeatedly changing queue behavior

I'm not sure if this question is suited to MO. I will happily delete if not. Situation Consider a general queueing system $\mathscr{S}$, whose customer arrival times are independent, and whose ...
32 views

### Semi-simple controlling operator

I've just come across this paper by Coleman and Edixhoven called "On the semi-simplicity of the $U_p$ operator on modular forms", where (as the title says) they show that the $U_p$ operator is ...
43 views

81 views

### Free groups and varietal product [on hold]

I will be so thankful if some one help me. My knowledge in free group is not deep. Suppose $S$ is the variety of p-groups of class at most 2 and exponent p. Question one) For any $n$, is there a ...
76 views

### Internal categories in an endofunctor category

Here we see the definition of an internal category in a monoidal category. We also know that endofunctor categories support a monoidal product which is actually functor composition. It is the case ...
12 views

### 3D Vector projection on a Plane [migrated]

I want to Project a Vector on to a Plane. Assume, you have a Central Point (1,1,1) and you want to move (0,0,3) in z-direction. How can I project the end of this movement (point) on a plane with ...
120 views

### What books I have to study to get into Riemann hypothesis (from almost zero) [on hold]

Could anyone help me with my own self-learning process to get in Riemann hypothesis from the level of 1st year of technical Bsc college? What minimal number of books (and which one) I have to study to ...
63 views

### Are all complex zeros of $Li_s(i)\, + \, Li_{1-\overline{s}}\,(-i)$ equal to the $\rho$'s?

Take the well known square relationship for polylogarithms: $$Li_s(z)\, + \, Li_{s}(-z)=2^{1-s}Li_s(z^2)$$ Assume $z=i$: $$Li_s(i)\, + \, Li_{s}(-i)=2^{1-s}Li_s(-1)=-2^{1-s}\,\eta(s)$$ with ...
120 views

### excess intersection theory

Can the excess intersection theory be applied to the following problem: I have a non-singular irreducible variety $X$ of dimension $k$ and degree $d$ and $k+1$ hyperplane sections of $X$, ...
461 views

### Is fixed point property for posets preserved by products?

Recall that a Partially Ordered Set (poset) $P$ has the fixed point property (FPP) if any order preserving function $f:P\longrightarrow P$ has a fixed point. Theorm : Suppose $P$ and $Q$ are posets ...
95 views

### What are the first non-maximal non-group-subgroup simple irreducible subfactors?

Definition: For an irreducible (finite index) subfactor $(\mathcal{N} \subset \mathcal{M})$, an intermediate $(\mathcal{N} \subset \mathcal{P} \subset \mathcal{M})$ is normal if the biprojections ...
51 views

### Schur norm for self-adjoint operators

If $A$ is a $n \times n$ complex matrix then the Schur norm of $A$ is given by $$|| A||_S := \max_{||B||=1} ||A*B||,$$ where $||. ||$ is the operator norm and $*$ is the Hadamard (entry-wise) ...
45 views

### The relation on the set of functions

Let $\varphi: \mathbb{R}^{2} \to \mathbb{R}$ be a symmetric (not necessarily continuous) function (so, $\varphi(x,y)=\varphi(y,x)$ $\forall (x,y)\in \mathbb{R}^{2}$), let $\mathcal{F}$ be the set of ...
155 views

### Finite subgroups of mapping class groups

Given a closed, oriented surface $\Sigma$ of genus greater than 1, let $Mod(\Sigma)$ denote the mapping class group of orientation preserving diffeomorphisms of $\Sigma$ up to isotopy. Given any ...
73 views

### $RUCar^{V}$-semiproperness implies properness

This is a claim in Shelah's Proper and Improper Forcing, more specifically Claim 2.3(1) of Chapter X (p. 484). The proof of the claim is "Easy" but I cannot quite figure it out. There must be some ...
126 views

### Optimal lower bounds for the sum of digits in base $b$

Let $b \geq 2$ be an integer and let $s_b(n)$ be the sum of the digits of the base-$b$ representation of the nonnegative integer $n$ (e.g., $s_{10}(726)=7+2+6$). From the weak law of large numbers, it ...
120 views

### A compactification of the non-negative rationals with the discrete topology

Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...
277 views

### Paper by Mumford

In the paper of "The spectrum of difference operators and algebraic curves", by P. van Moerbeke and D. Mumford, Acta Mathematics, vol.143, 1979, (link: ...
68 views

### True lies logic [on hold]

Santa says lie on all days except one day... Once he made 3 statemnts on consequtive days : 1) I lie on monday and tuesday. 2) today is thursday, saturday or sunday. 3) I lie on wednesday and friday. ...
39 views

### Direct sum of simple modules [on hold]

I would like to ask the simplest example of a simple module M in which M \oplus M has infinite sub-modules. Thanks a lot.
106 views

### Understanding a program for computing Khovanov homology

I would like to understand how a computer program for computing Khovanov homology works. The particular program I have in mind is by John Baldwin: https://web.math.princeton.edu/~baldwinj/Kh.cpp The ...
If $E$ is an elliptic curve over $\mathbb{Q}$, and $K$ is an imaginary quadratic field. If $rank E(K)\leq 1$ and both $E$ and the quadratic twist of $E$ by $K$ satisfy the full BSD conjecture, does ...