Newest Questions
159,021 questions
3
votes
1
answer
158
views
How to maximize the variance of a subset of integers?
$\DeclareMathOperator{\Var}{Var}$Given the set of numbers $\Omega := \{1, \ldots, n\}, n \in \mathbb{Z}^+$, how can I choose a subset, $A$ of $\Omega$ , such that $\min(\Var(A), \Var(\Omega \setminus ...
- 41
-3
votes
0
answers
48
views
Do the domains of the two square roots of a positive (unbounded) operator coincide? [closed]
Let $H$ be a Hilbert space and $D:\mathrm{Dom}(D) \to H$ a densely defined operator on $H$. We further assume that $D$ is closed and self-adjoint. If we further assume that $D$ is positive, then we ...
- 415
3
votes
0
answers
28
views
Given a metric space $X$, is there a natural way to view the quasi-isometry group $QI(X)$ as a topological group?
Given a metric space $(X,d)$, we define $QI(X)$ as the set of quasi-isometries $f : X \to X$, modulo the equivalence relation
$$
f \sim g \ \ \ \ \text{ if and only if } \ \ \ \sup_{x \in X} \ d(f(x)...
- 639
1
vote
0
answers
34
views
Vertex coloring of the Rado graph
Is there a reference for the following fact about the Rado graph (the random countable graph) which came up in an answer to this question?
If the vertices of the Rado graph $G=(V,E)$ are colored with ...
- 13.4k
1
vote
0
answers
35
views
Explicit rate of decay of the positive standing wave of the subcritical nonlinear Schrödinger equation
Consider the following semilinear problem:
$$
\begin{cases}
- \Delta u + u = u |u|^{p - 2}
&\text{in} ~ \mathbb{R}^N;
\\
u (x) \to 0 &\text{as} ~ |x| \to \infty,
\end{cases}
$$
where $N \geq 2$...
- 144
4
votes
0
answers
147
views
Lemma in Roth's Theorem for Primes
I am reading Ben Green's paper Roth's Theorem in the Primes and I don't follow the proof of Lemma 6.1. I am not sure where the fact there are no more than $n^{3/4}$ elements $x\in A_0$ with $x\leq n^{...
- 271
8
votes
1
answer
230
views
Preserving non-conjugacy of loxodromic isometries in a Dehn filling
Suppose that $g$ and $h$ are non-conjugate loxodromic isometries in a cusped hyperbolic $3$-manifold $M$ of finite volume. Fix a cusp $T$ of $M$. Can I choose a hyperbolic Dehn filling of $M$ along $...
3
votes
1
answer
315
views
Which abelian varieties over a local field can be globalized?
As the title says, if $\mathcal{A}$ is an abelian variety over $\mathbb{Q}_p$, is there a criterion as to if I should expect there to exist $A$ over $\mathbb{Q}$ such that
$$\mathcal{A}\cong A\times_{\...
- 4,418
4
votes
0
answers
154
views
Are the natural powers of two conservatively embedded in $\mathbb{C}$?
This is a followup to this question.
Consider $\mathbb{C}$ as a structure - in the sense of first-order logic - with the graphs of addition and multiplication. Let $\mathcal{X}$ be the substructure ...
- 20.5k
1
vote
1
answer
49
views
Graph classes which have small edge k-cuts
I am interested in graph classes that have the following property: There exists a function $f(k)$ such that for every graph $G$ in the class, for every choice of $k$ vertices $v_1, \ldots, v_k$ in the ...
- 526
6
votes
1
answer
643
views
Is decomposability of polynomials over a field an undecidable problem?
By a decomposition of a polynomial $F(x)$ over a field $K$ we mean writing $F(x)$ as
$$
F(x)=G(H(x)) \quad(G(x), H(x) \in K[x]),
$$
which is nontrivial if $\operatorname{deg} G(x)>1$ and $\...
- 310
1
vote
0
answers
75
views
Can one decompose quasi finite morphism as a composition of an open immersion and a finite morphism?
Can one decompose quasi-finite separated morphism of schemes as a composition of an open immersion and a finite morphism?
I am willing to assume that all the involved schemes are Noetherian.
- 2,649
-3
votes
0
answers
75
views
Exercise generalizing (related to) Hölder's inequality
I came across this exercise and feel absolutely stuck:
Let $p, q, r \in (1, \infty]$ be such that $1/p + 1/q = 1 + 1/r$. Suppose that $F : \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ satisfies ...
- 1
1
vote
1
answer
85
views
Question on gamma matrices
Let $(M,g)$ be a pseudo-Riemannian spin manifold and let us denote by $S$ the spinor bundle, i.e. the associated vector bundle with respect to the spin representation. Usually, the "gamma ...
- 1,171
5
votes
0
answers
101
views
Query about extender embeddings
This seems as though it should be a result which is possible to prove but I was just wondering if I have it right and also if there is a source for it.
Suppose that $j:V_{\alpha} \rightarrow V_{\beta}$...
- 2,125
6
votes
0
answers
93
views
Generic representations of $\mathrm{GL}_n(\mathbb{R})$
Let $F$ be a local field of characteristic $0$, $G=\mathrm{GL}_n(F)$.
When $F$ is $p$-adic, Bernstein and Zelevinsky classified the irreducible generic representations. The statement is:
Let $\delta_{...
- 709
-1
votes
0
answers
26
views
Estimate the value of the PDF $P(f)$ at the minimal $f_0$ of the random-variable function $f(\mathbf{x})$
Let $f(\mathbf{x})=f(x_1,x_2,\dotsc,x_N)$ with $N>2$ be a real and continuous function and $f(\mathbf{x})\ge f_0$ for any $\mathbf{x}\in\mathbb{R}^N$. Now let $x_1,x_2,\dotsc,x_N$ be the i.i.d. ...
- 375
8
votes
1
answer
846
views
What is the smallest and "best" 27 lines configuration? And what is its symmetry group?
I was this past year working with a bright high-schooler on algebraic geometry following Reid's book Undergraduate Algebraic Geometry, and we got all the way to proving that there is at least one line ...
- 35.5k
0
votes
0
answers
40
views
Markov chain on the real line: Numerical methods for evaluating the stationary distribution
Consider a Markov chain on the real line with transition probabilities
$$
p(x_0,x)=\mathbf 1_{\{x\geq x_0+\alpha\,\cup\,x\leq x_0-\beta\}}\phi(x)+\delta(x-x_0)\left(\Phi(x_0+\alpha)-\Phi(x_0-\beta)\...
2
votes
1
answer
111
views
Second order differential equation with non constant coefficient
Is it possible to solve the differential equation for $y(t)$ the following ODE?
$$
y^{\prime \prime}(t)+ \frac{f^{\prime}(t)}{2 f(t)} y^{\prime}(t) + k^{2} y(t) = 0
$$
It can also be rewritten as
$$
\...
- 45
0
votes
0
answers
18
views
Third order estimate for linear elliptic equations
Let $\lambda < A < \Lambda$ be a constant symmetric matrix and $u$ be a $C^{\infty}$(elliptic regularity gives smooth solutions) solution of $\text{div} A \nabla u = 0$. Let $S_1$ be a sphere ...
- 455
3
votes
1
answer
76
views
Tangential Sobolev spaces
Let $Ω⊂R^n$ be a smooth domain, define $U_s=\{x∈Ω | d(x,∂Ω)<s\}$; let $f∈W^{1,p}(Ω)∩W_{\mathrm{loc}} ^{2,p}(Ω)$; let $v$ be the unit normal to $Ω$; consider $v$ to be smooth with bounded ...
-2
votes
0
answers
72
views
There is a typo in Stall's textbook on Set Theory: unable to prove the trichotomy of sets (m ∈ n or m = n, or n ∈ m) [migrated]
Here is the textbook, chapter 7, page 300. This lemma seems very of important, and I've spend about 8 hours trying to figure it out, but I'm unable to prove even the weaker version of the lemma (only ...
- 105
3
votes
1
answer
141
views
Whitney stratifications of hypersurfaces
Suppose that $X$ is a Whitney stratified algebraic variety with strata $\{S_i\}.$
Suppose that $Z$ is a hypersurface of $X$ which transversely intersects all strata of $X$, i.e. $S_i \cap Z$ is a ...
- 55
1
vote
0
answers
72
views
Hasse principle for Brauer groups of fields of transcendence degree 2
In his paper "A Hasse principle for function fields over PAC fields" (DOI link), Ido Efrat proves the following result: Let $F$ be an extension of a perfect PAC field $K$ of relative ...
- 41
2
votes
0
answers
116
views
Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support
This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction?
Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
- 20.2k
-3
votes
0
answers
64
views
Can both conditions about vertex degrees hold true in a planar graph? [closed]
I am working on a problem about planar graphs and trying to understand if two statements can both be true at the same time.
The problem states that for any planar graph with at least 3 or more ...
- 1
0
votes
0
answers
67
views
$L_1$ norm of $f\in L^1(\mathbb{R}^n)$ compactly supported and its change of variable
Let $M\in\mathbb{R}^{n\times n}$ be an invertible matrix, denote its induced linear map on $\mathbb{R}^n$ also by $M$, and let $f\in L^1(\mathbb{R}^n)$ be compactly supported.
I am wondering if we can ...
- 91
2
votes
0
answers
50
views
Convergence of finite-difference method for Cauchy-Riemann equations
Let $I\subseteq \mathbb{R}$ an open interval. Let $f:I\rightarrow \mathbb{C}$ real analytic. Suppose we want to numerically compute an analytic extension of $f$.
We will assume the following: we are ...
- 312
2
votes
0
answers
64
views
Consistency of Sigma-V-2 uniformization with AD
Is ZF + AD consistent with: For every real $r$, every true $Σ^V_2(r)$ statement has a $Δ^V_2(r)$ example?
DC is provable in ZF + every true $Σ^V_2$ statement has a $Δ^V_2$ example (i.e. witness). ...
- 7,545
3
votes
0
answers
54
views
Does there exist a multi-valued "monotone" and "compact" map from a Boolean algebra to the "free" part of $\mathcal{P}(\kappa)$?
This is a follow-up to my previous question, which has a negative answer. Here is the most general version that I'm interested:
Does there exist a Boolean algebra $A$, an infinite cardinal $\kappa$, ...
- 2,830
3
votes
1
answer
141
views
Forcing equivalence and equal generic extensions
Two forcing notions $\Bbb P$ and $\Bbb Q$ could be defined to be forcing equivalent if the associated complete Boolean algebras are isomorphic (so, the CBA's formed by considering the regular opens of ...
- 393
1
vote
1
answer
170
views
On the condition of preadditive categories being locally small
The theory of categories is more flexible when not adding the (quite common) condition of being locally small. So the general notion of a category is the following (assuming we have a suitable ...
- 63.1k
7
votes
0
answers
116
views
Langlands correspondence of coverings of $\mathrm{SL}_2(\mathbb R)$ and modular forms with fractional weights
$\DeclareMathOperator\SL{SL}$Let $G \to \SL_2(\mathbb R)$ be a finite covering of degree $d \geq 2$. Then $G$ is a connected Lie group with semisimple Lie algebra $\mathfrak{g}=\mathfrak{sl}_2$ and ...
- 6,622
3
votes
0
answers
81
views
While expanding Jack polynomials in monomial basis
Denote $\mathbf{z}=(z_1,\dots,z_n)$. Let $P_{\kappa}(\mathbf{z};\alpha)$ be the symmetric Jack polynomials and suppose they are expanded in terms of the monomial symmetric basis $m_{\rho}(\mathbf{z})$ ...
- 43.2k
1
vote
1
answer
117
views
Rational functions on elliptic curves over global fields with given support
Let $E$ be an elliptic curve over a global field $k$. Let $x_1, \dots, x_r$ be a set of generators of $E(k) / E(k)_{tor}$ (or more generally, a $\mathbb Q$-basis of $E(k)_{\mathbb Q}$), and let $x_0$ ...
- 77
1
vote
1
answer
78
views
A contradiction involving HoTT function extensionality in higher inductive types
I'm having difficulty resolving what seems to be a contradiction between two lemmas in the HoTT Book and am seeking help to determine where I'm going wrong. Below, all types may be higher inductive ...
- 13
1
vote
0
answers
41
views
Can conditional distributions with respect to a sufficient sub-$\sigma$-algebra be represented by a single Markov kernel?
Let $(\Omega, \mathcal{F})$ be a measurable space, and let $\mathcal{P}$ be a collection of probability measures on this space. A sub-$\sigma$-algebra $\mathcal{G} \subset \mathcal{F}$ is said to be ...
- 111
1
vote
0
answers
63
views
Reference request: Proof theory in $W_1^1$
Buss defined $V_2^1$ as a second-order bounded arithmetic corresponding to $\mathsf{PSPACE}$.
Later, Skelley introduced $W_1^1$, a third-order bounded arithmetic of $\mathsf{PSPACE}$.
Since the ...
- 11
3
votes
2
answers
187
views
Algorithms (or packages) to find recurrence relations for given sequence of q-polynomials?
Assume we have sequence of polynomials : $P_i(q)$ - each term is polynomial in $q$. (With integer coefficients, but hopefully it is not important).
We expect that there exists recurrence relation a ...
- 24.9k
7
votes
1
answer
80
views
A syntactic characterisation of morphisms of algebraic theories whose induced algebraic functors admit right adjoints
Let $f : S \to T$ be a morphism of algebraic theories. Such a morphism induces a monadic functor $f^* : \mathrm{Mod}(T) \to \mathrm{Mod}(S)$ (hence $f^*$ has a left adjoint). We may view $f$ ...
- 10.7k
8
votes
1
answer
318
views
Fibers of generic smooth maps between manifolds of equal dimension
I have heard that the following is a "well-known"
Claim. Let $M$ and $N$ be smooth manifolds with equal dimensions and $M$ compact. Then a generic smooth map $f\colon M\to N$ has finite ...
- 501
0
votes
0
answers
47
views
Maximize mixing in a 12 person dinner party [closed]
Is this question well posed? If not, can you improve it? If so, what is the solution?
I am holding a dinner party for 12 people. Their names are A, B,...L. The seats are numbered: 1, 2, ... 12. The ...
- 101
2
votes
0
answers
55
views
+50
Local Lipschitz continuity of signature map $S:C^{1-\text{var}}([0,T],\mathbb{R}^d) \to \mathcal{H}$
Just came across the claim that the signature map (between path space and tensor space) is locally Lipschitz continuous with respect to the $1-$variation norm (see section A.2.1).
More specifically, ...
- 161
3
votes
1
answer
178
views
Can one say that there are equal numbers of sets satisfying formulas in Second Order Arithmetic?
Is there a way of saying in second order arithmetic that the number of sets $X$ such that $\phi$ equals the number of sets $X$ such that $\psi$, where $\phi$ and $\psi$ are formulas with $X$ free, and ...
- 2,555
3
votes
1
answer
139
views
Surjectivity of pushforward on image
Let $\mathcal X\subseteq\mathbb R^m$ be a Borel measurable set. $\Phi:\mathcal X\to\mathbb R^n$ be a continuous mapping and $\mathcal Y = \Phi(\mathcal X)\subseteq\mathbb R^n$ its image. Let $\mathcal ...
- 345
2
votes
0
answers
60
views
Wieferich primes and identities for the Euler quotients of $2^n+1$ and $\frac{2^n+1}{3}$
Let $n>1$ be odd integer.
Define the Euler quotient $a(n)=\frac{2^{\varphi(n)}-1 \bmod n^2}{n}$.
Number $n$ with $a(n)=0$ is Wieferich number and if it is prime
it is Wieferich prime.
It is open ...
- 25.4k
-3
votes
0
answers
156
views
A presentation for the group $GL(n,\mathbb{Z}_p)$
Let $n\ge 2$. Let $p$ be a prime and $\mathbb{Z}_p$ denote the finite field with $p$ elements.
I want to know about the presentation for the group $GL(n,\mathbb{Z}_p)$ consisting of its generators and ...
- 103
2
votes
0
answers
124
views
Derived tensor products and regular sequences
Let $R \to A$ be a homomorphism of commutative rings, and let $x\in R$ be an element (or a sequence of elements in $R$, if you prefer) that is both $R$-regular and $A$-regular. Then we have
$$
A\...
- 125
0
votes
0
answers
78
views
Chow moving lemma with additional property
All varieties are over algebraically closed field of characteristic zero. Let $S$ be a smooth projective surface. Let $D$ be an irreducible divisor on $S$, $H$ be another divisor and $Z\subset S$ be a ...
- 219