Newest Questions
159,040 questions
1
vote
1
answer
271
views
Solve permutation matrix equations of the form: $X^T A X = B_1$ and $X A X^T = B_2$
I have a hard time solving the following two matrix equations for unknown permutation matrix $X \in \mathbb{R}^{n \times n}$:
$$X^T A X = B_1$$
$$X A X^T = B_2$$
where, $A$, $B_1$ and $B_2$ are all $n ...
- 11
7
votes
0
answers
279
views
A conjecture about Hankel determinants of path generating functions
Let $a_{n,k}=a_{n,k}(x,c)$ be the generating function $\sum_P w(P),$ where $P$ runs over all paths from $(0,0)$ to $(n,k)$ consisting of horizontal steps $(1,0)$, up-steps $(1,1)$ and down-steps $(1,-...
- 5,622
3
votes
0
answers
205
views
Beilinson-Lichtenbaum conjecture for algebraic extensions of $\mathbb{Z}/m$
Let $X$ be smooth over some field $k$ and $m\in\mathbb{Z}$ so that $m$ maps to a unit in $k^{\times}$. By Beilinson-Lichtenbaum one has an isomorphism of cohomology groups
\begin{equation*}
\...
- 1,805
1
vote
1
answer
133
views
Smoothness of an equivalent norm
For an arbitrary set $\Gamma$, Day's norm on $c_0(\Gamma)$ is defined by
$$ \Vert x \Vert = \sup \bigg \{ \bigg ( \sum_{k=1}^n 4^{-k} x^2(\gamma_k) \bigg )^{\frac{1}{2}} : (\gamma_1, \cdots, \gamma_n) ...
- 85
2
votes
1
answer
270
views
Stabilizer of a Levi subgroup in the Weyl group and its quotient
(I appologize in advance if this question is too naive for experts, since I know very little about the geometry/combinatorics of Weyl/Coxeter groups.)
For simplicity, let $G$ be a connected reductive ...
- 709
1
vote
1
answer
294
views
What are the morphisms in the category of retractions?
In Michael Shulman's Framed bicategories and monoidal fibrations Example 12.10 he defines a category $\operatorname{Retr}(\mathcal{C})$ as the "category of retractions in $\mathcal{C}$". He ...
- 121
7
votes
2
answers
320
views
Uniqueness of left-invariant Borel probability measure on compact groups
On a compact topological group, consider two left-invariant probability measures $\mu$ and $\nu$ defined on the Borel sigma-algebra. Is it true that they coincide?
It is classical that the Haar ...
1
vote
1
answer
214
views
Two exact sequences for $R$-modules: does one imply the other?
Consider the following two properties for an $R$-module $M$:
For every endomorphism $f:M\rightarrow M$, there exist central endomorphisms $g, h\in \operatorname{End}_R(M)$ such that the sequence $M_{...
- 321
1
vote
1
answer
121
views
CH and the existence of a Borel partition of small cardinality
Say $\kappa$ is small if any set of cardinality $\kappa$ has outer-Lebesgue measure zero. We know that, in the Cohen model of ZFC where CH is false, there is a Borel partition of the unit interval of ...
- 231
3
votes
0
answers
67
views
The basic representation of $LU(1)$
Let $H = L^2(U(1),\mathbb{C})$. The "basic" irreducible projective level 1 representation $\mathcal{H}$ of the loop group $LU(1)$ has underlying Hilbert space isomorphic to $\smash{\hat{\...
- 181
1
vote
0
answers
109
views
Can the ideas of convex optimization be used to prove a bound?
If we define $\lambda(n)=\lfloor \log_2(n) \rfloor$ and $v(n)$ as the binary digit sum of positive integer $n$ we can make a toy example of what I think is the most important conjecture in addition ...
- 97
1
vote
2
answers
296
views
Possible refinements of the large sieve inequality
Let $a_n$, $1\leq n\leq N$, be complex numbers, and set $S(\alpha)=\sum\limits_{n=1}^{N}a_ne(n\alpha)$, where $e(\alpha)=\exp(2i\pi\alpha)$. Then, Selberg's large sieve inequality says that
$$\sum\...
- 309
3
votes
0
answers
206
views
Independence and truth in PA
By $\textbf{PA}$ I will mean the usual first-order Peano Arithmetic. I will denote an element of $\mathbb{N}$ by $n$, and by $[n]$ I will denote the corresponding term in the language of $\textbf{PA}$:...
- 3,318
43
votes
4
answers
5k
views
Lists as a foundation of mathematics
I am wondering if there is a foundation of mathematics where not sets or "set-like objects" (such as objects of a suitable topos as in ETCS) are the primitive notion, but rather lists. These ...
- 63.1k
3
votes
1
answer
134
views
Zeroth-order term in elliptic estimates
When solving an elliptic equation
$$
Lu = f \ \text{in} \ \Omega
$$
$$
u = 0 \ \text{on} \ \partial \Omega
$$
for an elliptic operator $L$ of order $m$ on a bounded open set $\Omega$, one has the a ...
- 419
0
votes
0
answers
145
views
Positive definite quadratic form algorithm
Let $f(x,y)= ax^2+bxy+cy^2$, or similarly denote it by $(a,b,c)$. This question is about the case $(1,0,p)$ where $p$ is prime. Suppose I have one solution $\bar{x}_1=(x_0,y_0)$ for $f(x,y)=m$ for ...
3
votes
1
answer
147
views
Arcular triangle inequality
Is it true that if inside a circular segment $S$, with vertices $a$ and $b$, we take two circular arcs, one from $a$ to $c$ and the other from $c$ to $b$, then the sum of the lengths of these two arcs ...
- 19.1k
36
votes
4
answers
2k
views
Determinant of the random matrix $X^2+Y^2$
$\DeclareMathOperator\Prob{Prob}$Let $X,Y\in M_n(\mathbb{R})$ be $2$ random matrices. The entries of $X,Y$ are i.i.d. variables. They follow the standard normal law $N(0,1)$.
i) When $n=2,3,4$, one ...
- 3,741
1
vote
0
answers
315
views
About "residual" scalar curvature in Einstein warped product manifold
I have an Einstein warped product manifold $M=B \times_f F$ with warped metric $g=g^B+f^2g^F$, where $F$ is Ricci flat, then its scalar curvature is $S^F=0$.
It is well known that the scalar curvature ...
- 272
13
votes
2
answers
538
views
How many automorphisms are there of the category of filtered spectra?
Dold-Kan type theorems tell us that lots of categories are Morita-equivalent to the simplex category $\Delta$. In other words, there are a lot of stable $\infty$-categories which are secretly ...
- 64k
1
vote
1
answer
120
views
estimate involving Gaussian data
Let $x\in \mathbb{R}^{d}$, $d\geq 1$ and $p>\frac{2}{d}$. For any $R>0$ and any $0<s<\frac{dp}{2}-1$
\begin{align}
&\int_{\mathbb{R}}\int_{|x|>R}\left(\frac{1}{1+t^2} \right)^{\frac{...
- 131
5
votes
0
answers
166
views
Equivalent descriptions of equivariant K-theory
I am looking at references for computing $$K_{T}(G/H)$$ where $G$ is a compact connected Lie group with maximal torus $T$, and $H\subset G$ is a corank one Lie subgroup such that $G/H\cong S^{2k-1}$ ...
- 51
1
vote
1
answer
270
views
Cohomological dimension of kernel
Let $M$ and $N$ be two connected, smooth (possibly non-compact), aspherical manifolds (that is, $\pi_k(-)=1$ for $k\geq 2$) of dimensions $n$ and $n-r$ respectively. Let $f:M\to N$ be a smooth map ...
- 585
5
votes
1
answer
209
views
Hyperfinite factors and increasing fatorization of states
If a factor $R$ contains a matrix algebra $M\subset R$ (i.e., a $M$ is a type $I_n$ factor), then $R \cong M \otimes M^c$ where $M^c=R\cap M'$ is the relative commutant.
Each state $\omega$ on $R$ ...
- 769
1
vote
1
answer
78
views
Spectrum below zero for $-\beta(x) \partial^2_x : L^2(\mathbb{R}) \to L^2(\mathbb{R})$
Let $\beta \in L^\infty(\mathbb{R} ; (0, \infty))$ be bounded from above and below by positive constants. Consider the self-adjoint operator $ -\beta^{-1} \partial^2_x : L^2(\mathbb{R}; \beta dx) \to ...
- 481
2
votes
1
answer
392
views
Estimates for linear elliptic PDE in the whole of $\mathbb{R}^n$
I am struggling to track down any literature on the topic of elliptic regularity when the domain in question is the whole space $\mathbb{R}^n$. Consider the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^n)$,...
- 73
0
votes
1
answer
335
views
Self-intersection of zero section of line bundle over elliptic base curve
Let $C$ be an elliptic curve over $k=\mathbb{C}$ and $\mathcal{L}$ a line bundle of degree $d$. It induces naturally a $\mathbb{A}^1$-fibration $L \to C$ where $L=\underline{\operatorname{Spec}} (\...
- 6,048
2
votes
2
answers
226
views
A property for maps between metric spaces
Let $X, Y$ be metric spaces with distance functions denoted by $d_X, d_Y$ respectively. Consider a map $f \colon X \rightarrow Y$. I am interested in the following property: for every $x,y,z \in X$, ...
- 327
5
votes
2
answers
543
views
What is the intuitive difference between these two simplicial subdivision functors?
$\newcommand{\sset}{\mathsf{sSet}}\newcommand{\poset}{\mathsf{Poset}}\newcommand{\p}{\mathscr{P}^{\mathsf{nd}}}\newcommand{\N}{\mathcal{N}}\newcommand{\sd}{\operatorname{sd}}$Following this paper, I ...
- 1,020
3
votes
1
answer
198
views
What is the minimum possible k-rank of a quasi-split reductive group over a field?
It is not possible for a quasi-split reductive group $G$ over a field $k$ to be anisotropic (unless it is solvable, hence its connected component is a torus). Indeed, there exists a proper $k$-...
- 605
2
votes
1
answer
264
views
Is a continuous functional on continuous functions the restriction of a continuous functional on the space of all functions?
As sets, we can consider the space $C(\mathbf{R}^n;\mathbf{R}^k)$ - of all continuous functions from $\mathbf{R}^n$ to $\mathbf{R}^k$ - to be a subset of the product space $(\mathbf{R}^k)^{\mathbf{R}^...
- 1,179
3
votes
2
answers
297
views
Domain of spectral fractional Laplacian
Let $(M,g)$ be a complete Riemannian manifold with Laplacian $\Delta:C^{\infty}_{c}(M)\to C^{\infty}_{c}(M)$ (think of $\mathbb{R}^{d}$ if you wish). This operator is essentially self-adjoint in $L^{2}...
- 1,171
3
votes
0
answers
73
views
Name for a product of actions / dynamical systems
Suppose $G \curvearrowright X, H \curvearrowright Y$ are group (or monoid) actions, or dynamical systems. Then $X \times Y$ is a $G \times H$-system of the same type in the obvious way by $(g, h) \...
- 6,652
2
votes
1
answer
405
views
Fokker Planck equation in the Stratonovich approach
I'm a physics master student and I have difficulties understanding how to derive the Fokker Planck equation from the Stratonovich SDE.
With the Ito SDE it is simple since the noise is independent of $...
- 21
8
votes
1
answer
241
views
Is there a bipartite graph with $\sqrt{2}$ as an eigenvalue with high multiplicity, specifically more than in the Heawood graph?
The Heawood graph is a $3$-regular graph on $14$ vertices. Its (adjacency) spectrum is $\{ (3)^1, (\sqrt{2})^6, (-\sqrt{2})^6, (-3)^1 \}$. So, $3/7 \approx 42.8\%$ of its eigenvalues equal $\sqrt{2}$.
...
- 1,446
5
votes
0
answers
160
views
$S$ and $T$ globally isomorphic semigroups, with $S$ (commutative and) cancellative, iff $S$ is isomorphic to $T$?
Denote by $\mathcal P(S)$ the semigroup obtained by equipping the non-empty subsets of a "ground semigroup" $S$ (written multiplicatively) with the operation of setwise multiplication ...
- 10.5k
7
votes
0
answers
184
views
Shelah’s Representation Theorem: existence of scales
Let $\lambda$ be a singular cardinal of countable cofinality. Shelah’s Representation Theorem states that there is an increasing sequence of regular cardinals $\langle\delta_n\rangle_{n<\omega}$, ...
- 533
1
vote
0
answers
138
views
What is bad when stabilizers are non-reductive in moduli stacks?
Here is J. Alper's definition of good moduli spaces.
Consider in characteristic zero. Then we see that the classifying stack of any non-reductive group $H$ does not have a good moduli space. In ...
- 930
4
votes
2
answers
194
views
Intersection of commutative factorial domains: completely integrally closed and Krull domain
Let $A=\bigcap_{t\in T}D_t$ be an integral domain such that $D_t$ is a commutative factorial domain for every $t\in T$. It is quite natural to see that $A$ is a completely integrally closed domain. ...
- 41
5
votes
1
answer
444
views
What is the k-linear structure on the derived infinity category of quasi-coherent sheaves?
Let $f : X \overset{f}{\rightarrow} Y \overset{g}{\rightarrow} \mathrm{Spec} (k)$ be morphisms of schemes (feel free to add any hypothesis necessary). Let $\mathrm{QCoh}(Y)$ denote the derived (stable)...
- 53
2
votes
1
answer
171
views
Is the collapse of a totally disconnected compact Hausdorff space still totally disconnected?
Let $S$ be a totally disconnected compact Hausdorff space and let $A\subset S$ be a closed subset. Let $S/A$ denote the space we get when collapsing $A$ to a point. Is this space still totally ...
user473423
2
votes
1
answer
312
views
Some basic facts about the Gushel-Mukai varieties?
I'm a beginner in the area of algebraic geometry and reading on the paper Arxiv:1510.05448 about Gushel-Mukai varieties. I have some easy questions:
Let $V_5$ be the vaector space of dimension $5$ and ...
- 249
2
votes
0
answers
178
views
Reference request for a modification of Bi-Intuitionistic Logic
I’ve asked this same question on math.stackexchange.com, but haven’t received any answers. I ask this question in good faith, so I hope it meets this site’s standards.
I have been spending the better ...
- 184
1
vote
0
answers
104
views
Closed collections of finite groups
Let $\mathcal{C}$ be a collection of (isomorphism classes of) finite groups with the following properties:
If $G\in\mathcal{C}$ and $H$ is a homomorphic image of $G$, then $H\in\mathcal{C}$
If $G\in\...
- 1,433
0
votes
1
answer
166
views
How common is it that the number of the shortest vectors in a lattice is exactly two?
The lattice $\Gamma$ in $\mathbf{R}^{m}$ with the lattice basis $\{ke_{k}\}_{k=1}^{m}$ has exactly two shortest vectors: $\pm e_{1}$.
My question is the following:
Among all the lattices with fixed ...
- 21
1
vote
0
answers
54
views
Controlling quantity related to Laplacian pseudo-inverse of Erdős–Rényi graph
Consider an $n$-node undirected graph $G = (V, E)$ equipped with weights $W$. Let $L$ be the weighted graph Laplacian matrix, i.e. $L_{ij} = -W_{(i,j)}$ for $(i,j)\in E$ and $L_{ii} = \sum_{j:(i,j)\in ...
- 11
5
votes
1
answer
180
views
What is the state of progress on this problem about continuous functions from spheres to Euclidean space?
In the 1954 paper Continuous Functions From Spheres to Euclidean Spaces, author Chung-Tao Yang cites the following problem:
Problem 1: Given a (continuous) map $f$ of an $(m+n-2)$-sphere $S^{m+n-2}$ ...
- 3,068
21
votes
1
answer
2k
views
Intuition behind manifolds which are homeomorphic but not diffeomorphic
Popular articles on mathematics often explain the difference between homeomorphism and diffeomorphism with statements like - "A rectangle is homeomorphic to the circle but not diffeomorphic to it&...
- 463
3
votes
0
answers
99
views
Comparing computable structures via Kleene and Skolem
Below, by "structure" I mean "computable structure in a finite language with domain $\omega$," and by "sentence" I mean "finitary first-order sentence containing no ...
- 20.5k
21
votes
0
answers
769
views
+300
Snakes on a plane
A sleeping bag for a baby snake in $d$ dimensions (no, really) is a subset of $\mathbb{R}^d$ which can cover (via translation and rotation) every (piecewise-smooth for concreteness) curve of unit ...
- 20.5k