Newest Questions
162,010 questions
0
votes
0
answers
4
views
Trace inequality for symmetrized tensor products
Let $B=M_k(\mathbb{C})$ be the matrix algebra of $(k\times k)$ matrices, and let $B^{\otimes N}$ be the $N$-fold tensor product algebra. Consider $B_{\text{sym}}^{\otimes N}$, the symmetric subalgebra ...
- 115
-3
votes
0
answers
20
views
Self Learning but fairly basic calculus [closed]
I have a questions about all of music can be plotted on a base 7 graph where x is one note being pressed, y is 2 notes simultaneously be pressed, z is 3 notes being pressed making a chord. I ask this ...
0
votes
1
answer
16
views
How big can the cofinality of a filtered subset of the powerset of $\aleph_k$ be?
Let $X$ be a set of size $\aleph_k$, and $\mathcal{P}(X)$ be its powerset with the poset structure. Can a directed subset of $\mathcal{P}(X)$ have cofinality more than $\aleph_k$ in ZFC? Here k is a ...
- 2,408
0
votes
0
answers
30
views
Bounding cumulants for CLT via $\text{GAP}_\eta$ tuples
Let $f$ be a Steinhaus random multiplicative function and $P(x)$ an integer-valued polynomial of degree $d \ge 2$ with positive leading coefficient. Consider the Central Limit Theorem (CLT) for
$$S_N =...
2
votes
0
answers
29
views
Commuting totalizations with filtered colimits in the plus-construction for $\infty$-presheaves on a topological space
Let $\mathrm{An}$ be the $\infty$-category of anima (i.e., $\infty$-groupoids).
Let $X \colon \mathcal{O}(U)^{\mathrm{op}} \to \mathrm{An}$ be a presheaf on a topological space $U$.
Now, consider a ...
- 7,886
0
votes
0
answers
40
views
Hasse principle for rational number times a quadratic form
Motivation:
Hasse principle for rational times square
local-global principle for units
Does the Hasse norm theorem easily imply the global squares theorem?
Let $K/F$ be a quadratic extension of global ...
- 41
0
votes
0
answers
24
views
Applicability of Besicovitch Covering Theorem in different norms in $\mathbb{R}^n$
This question is probably quite simple, but I would still appreciate a straightforward answer, whether positive or negative. Thank you in advance.
I alredy know that the Besicovitch Covering Theorem ...
4
votes
0
answers
45
views
Kashiwara-Schapira Stack of microsheaves
I will assume familiarity with the notions of singular support as defined by Kashiwara and Schapira in Sheaves on Manifolds. Let $M$ be a manifold, one can define a functor :
$\mu Sh^{pre} : Op_{T^*M, ...
- 111
3
votes
2
answers
115
views
Hyperplane sections of general type surfaces
Let $X$ be a smooth projective complex surface with $K_X$ very ample. Let $D\in |K_X|$ be a general element.
Does there exist another smooth projective variety $D'$ with a finite flat morphism $D\to D'...
- 503
1
vote
0
answers
102
views
Dirichlet series of $\zeta'(s)\zeta'(1-s)$
I want to find the Dirichlet series coefficients of $\zeta'(s)\zeta'(1-s)$.
I know that $$\zeta'(s)=-\sum_{n=1}^{\infty}\frac{\log n}{n^s},$$provided $\Re(s)>1$. I would have thought it would be ...
- 11
0
votes
1
answer
53
views
Expected number of steps for a random walk to return with a single barrier
Here is the problem and a possibly noobie question I am trying to figure out.
You have a biased random walk on $\mathbb{Z}$ with jump to the left probability $p=0.7$ and jump to the right $q=1-p=0.3$. ...
- 342
1
vote
0
answers
49
views
What is known about the algebras $\mathrm{End}_{U_q(\mathfrak{sl}_2)}(L(d)^{\otimes n})$?
Let $A_{d,n}=\mathrm{End}_{U_q(\mathfrak{sl}_2)}(L(d)^{\otimes n})$. For $d=1$, this is the Temperley-Lieb algebra $A_{1,n}=TL_n(q+q^{-1})$. For $d=2$, Scrimshaw calls this the tangle algebra, first ...
- 502
0
votes
0
answers
32
views
Nonnegative submartingales: convergence to infinity in probability
Consider a nonnegative submartingale $X_n$, with uniformly bounded jumps, and jump variance uniformly bounded from below. Can we conclude that it converges to infinity in probability? Also, is it ...
- 1,907
5
votes
1
answer
150
views
Categorical structure guaranteed to exist, but not necessarily preserved
Background
I'm currently studying arithmetic universes (AUs), which are defined to be list-arithmetic pretoposes (see "Joyal's arithmetic universe as list-arithmetic pretopos" by Maietti). ...
- 335
0
votes
0
answers
56
views
Algorithm that allows to get any value of A000123 if finite number of values of A002577 are known
Let
$T(n,k)$ be an integer coefficients such that $$ T(n,k) = \begin{cases} 1 & \text{if } k = 0 \vee n = k \\ \displaystyle{ \sum\limits_{i=k-1}^{n-1} T(n-1,i) T(i,k-1) } & \text{otherwise} \...
- 5,890