# All Questions

55 views

### a dcpo seen as a category: when does a dcpo map induce a functor with an adjoint?

Take two posets $A, B$ (partially ordered sets). Now consider these posets to be categories $Cat(A), Cat(B)$ respectively. Consider a map from $A$ to $B$, $f: A \rightarrow B$. This can be seen as ...
47 views

### W^{2,∞} regularity of solutions of Poisson's equation if the right hand side is in L^{∞}

Let $u$ be solution of $-\Delta u = f$ in $\Omega$ and $\frac{\partial u}{\partial n} = 0$ on $\partial \Omega$. Is it true that if $f \in L^{\infty}(\Omega)$ then $u \in W^{2,\infty}(\Omega)$? ...
178 views

### Are there fragments of set theory which are axiomatized with only bounded (restricted) quantifiers used in axioms?

Bounded quantifiers in set theory are represented as $(\forall x \in S)$ or $(\exists x \in S)$. But since the modifier "bounded" brings up an association with "bounded variable", I prefer the term ...
219 views

### Cohen-Lenstra heuristics for totally complex fields

If a number field $K$ is a Galois extension of $\mathbb{Q}$, and $G = \operatorname{Gal}(K/\mathbb{Q})$, then the class group of $K$ is a $\mathbb{Z}[G]$-module, and since $N = \sum_{g \in G} g$ acts ...
61 views

### Symmetric spaces which are compact modulo the unipotent radical are compact

Is the following true? Let $X = G/H$ be a symmetric space of a reductive group over a p-adic field $F$. Let $X^0$ be an open orbit w.r.t. the action of the minimal parabolic $B$ of $G$. Let $U$ be ...
71 views

### Full-rank factorization of the graph Laplacian

Is there a combinatorially meaningful full-rank factorization of the Laplacian matrix of a graph? The usual factorization $L=BB^{T}$, where $B$ is an oriented incidence matrix, is full-rank if and ...
105 views

### Directed subposet of a poset containing the minimal elements

The following appears naturally in a certain context: Let $P$ be a partially ordered set which is bounded below in the sense that for each $x\in P$ there is a minimal element $m$ with $m\leq x$. Let ...
199 views

### Kernel of the character of congruence groups

Let $\Gamma$ be a congruence subgroup of $SL_2(\mathbb Z)$ and $\chi:\Gamma \to \mathbb{C}^*$ a character of $\Gamma$ with finite image. Is then $\ker(\chi)$ also a congruence group? If not, can ...
77 views

### Does the right adjoint of the category of simplices functor is “homotopicaly inverse” to the category of simplices functor?

Short Version (the question) Let $\text{Cat}$ be the category of (small) categories and $\text{sSet}$ the category of simplicial sets. There is a functor $\Gamma:\text{sSet}\to \text{Cat}$ that takes ...
99 views

### A differential equation on toric Kahler manifolds

Let $M$ be a toric Kahler manifold with $\text{dim}_{\mathbb{R}} = 4$. Let $V$ be a Killing vector field associated to the action of the two-torus $\mathbb{T}^2$ on $M$. We also assume the existence ...
56 views

### Algebraic subgroup lattices [on hold]

For which groups is the subgroup lattice algebraic? Jiří Tůma has proved every algebraic lattice is an interval in a subgroup lattice. It seems there is close relation between algebraic lattices and ...
55 views

### Highest weight spaces in arbitrary representations?

An isotypic (maybe reducible) representation V of GL(V) may be represented by its highest weight subspace HW(V). We have dim HW(V) equal to the multiplicity of the irreducible representation inside V ...
223 views

### Faster formula to compute sum over partitions

Let $f$ be a function from the positive integers to the real numbers (or some ring...). Let $$(\star) \quad F(n) = \sum_{n_1 \leq \cdots \leq n_j\atop n_1 + \cdots + n_j = n} f(n_1) \cdots f(n_j),$$ ...
122 views

### How to solve such an optimization problem

I encounter the following optimization problem, but I can't solve it. Given $N$ variables satisfying $0 <= x_1 < x_2 < x_3 < ... < x_N <= 1$ and an integer $K$ no large than $N$, ...
14 views

### Can Cavity method to analyze graph with loops that are short?

In statistical physics,Cavity method can be regarded as a generalization of the Bethe Peierls iterative method in tree-like graphs to the case of graph with loops that are not too short. And I want ...
47 views

### Unique Limits in T1 Spaces [on hold]

It's intuitive to me that limits in T2 (Hausdorff) spaces are unique, but I'm not sure about what properties of T1 spaces allows limits to be non-unique. Could someone explain this to me and perhaps ...
21 views

### Can a very bad Coefficient of determination (R squared value) not be indicative of model performance? [migrated]

Thanks in advance for the advice. I am trying to build a generalized linear model that has many predictors. The R squared value of the model is quite low (.21), but when I use the model to predict ...
295 views

### Is there an arXiv for Beamer presentations of scientific work? [on hold]

When I give a "Beamer talk" I put in a lot of effort making the slides, and trying to give an efficient presentation of my work. The end product is often around 20 pages of figures, definitions, ...
83 views

### Birkhoff Ergodic Theorem and Ergodic Decomposition Theorem for Continuous-Time Markov Processes

I have a couple of questions regarding ergodicity for Markov processes in continuous time. (In particular, the first question seems like it should be particularly basic, and yet I haven't managed to ...
142 views

### Linear dependency of real numbers with integer coefficients adding up to zero [on hold]

Let $x = (x_1, \dots, x_n)$ be a vector of real number. I was asking myself if there was an efficient way of telling whether there exists a non-zero vector of integers $z \in \mathbb Z$ such that both ...
146 views

### C*-bimodules: the mess with definitions

I used to participate in a seminar that taught students about foundations of non-commutative geometry. It isn’t very complicated to define a C*-module $\mathcal E$ (also known as C* Hilbert module) ...
104 views

### Steady state expectation of dynamic system of urns & balls

We have a large number of urns $N+1$. (Large means that the relative difference between $N$ and $N+1$ is well within the error bounds that I care about. The reason for the $+1$ will be apparent ...