« first day (3067 days earlier)      last day (329 days later) » 

12:34 AM
5
Q: Real zeroes of the determinant of a tridiagonal matrix

Julien MarchéLet $\epsilon_1,\ldots,\epsilon_n$ be a sequence of signs and $M(t)$ be the tridiagonal matrix whose diagonal entries are $\epsilon_1 t,\ldots, \epsilon_n t$ and off-diagonal entries equal to $1$. Is it true that the number of real zeroes of $P(t)=\det M(t)$ is equal to the absolute value of $\ep...

 
 
3 hours later…
3:46 AM
1
Q: (When) do filtered colimits exist in the effective topos?

Gro-Tsen(My apologies if this is well-known: I feel that I'm missing something very obvious here.) Basic question: Do filtered colimits exist in the effective topos? The reason I feel I'm missing something very obvious is that Jaap van Oosten wrote en entire paper titled “Filtered colimits in the effecti...

 
 
2 hours later…
5:58 AM
2
Q: An inequality for certain positive-semidefinite matrices

Iosif PinelisSuppose that $G=(G_{ij})$ is a positive-semidefinite symmetric matrix with the diagonal entries all equal $1$ and all off-diagonal entries $\le0$. Does it then necessarily follow that $$\sum_{i,j}(G^5)_{ij}\le\sum_{i,j}(G^3)_{ij}\,?$$ This is true if it is additionally assumed that all off-diagon...

 
 
1 hour later…
7:28 AM
-1
Q: Using OPENJSON() and getting data from key fields

Russell TorlageI have this JSON data: { "next": null, "previous": null, "results": [ { "order_id": 6853556, "original_transaction_date": "2023-02-11T01:50:32.702336+08:00", "order_lines": [], "shipping_address": {}, "is_editable": false, "status": "fulfilled", ...

 
 
10 hours later…
5:04 PM
1
Q: Are all constructible from below sets parameter free definable?

Zuhair Al-JoharLets take the intersection of the theory of $L_{\omega_1^{CK}}$ and $\sf ZF + [V=L]$, this is equivalent to the theory of constructability from below + limit stages. Can this theory prove the following definability $\omega$-rule? $\textbf{Definability: }$ if $\phi_1,\phi_2, \phi_3,...$ are all ...

 
 
2 hours later…
7:04 PM
2
Q: Extreme amenability of topological groups and invariant means

MuduriRecently I'm reading the paper Ramsey–Milman phenomenon, Urysohn metric spaces, and extremely amenable groups by Pestov. When it comes to the definition of an extremely amenable topological group, it claims (without proof) that (the extreme amenability) is equivalent to the existence of a left i...

 
 
2 hours later…
9:28 PM
This room shall not freeze!
 
1
Q: Extending IC sheaves across smooth normal crossing divisors

Allen LeeI am trying to understand paragraph 1.6 of Lusztig's paper "Character Sheaves I". The basic setup is that $X$ is a smooth irreducible variety over a field $k=\overline{k}$, $D_i, i=1,...,r$ are smooth normal crossing divisors and $\mathcal{L}$ is $\overline{\mathbb{Q}}_l$-local system of rank one...

 
 
2 hours later…
11:58 PM
2
Q: Diagonalizing selfadjoint operator on core domain

CuriousLet $A$ be a densely-defined, positive, self-adjoint operator with compact resolvent on a Hilbert space $H$. Then, $\text{Range}(1+A)=H$ and there is a basis for $H$ consisting of eigenvectors of $1+A$. Assume also that $D\subset H$ is a core domain for $A$; that is, $D$ is dense in $\text{Dom(A)...

 

« first day (3067 days earlier)      last day (329 days later) »