10
votes
2answers
249 views

Quantum Hamiltonian for an Inverse Cube Force Law

If you have a nonrelativistic quantum particle in $\mathbb{R}^3$ in an attractive inverse cube force, its Hamiltonian is $$ H = -\nabla^2 - \frac{c}{r^2} $$ where I'm keeping things simple by ...
4
votes
1answer
269 views

Asymptotic $\int_M \mathrm{exp}[\mathbf{e}\left(n -\frac{t}{2\pi i}\right)] \left( 1 + \frac{5}{6} \mathbf{e}^2 \right)^{1/2} $ on quintic Calabi-Yau

Let $M = \{ G(x) = 0 \} \subseteq \mathbb{P}^4$ be a quintic Calabi-Yau and $\mathbf{e} \in H^2(M, \mathbb{Z})$ such that $\int_M \mathbf{e}^3 = 5$. Then as $t \gg 1$: $$ \int_M e^{n \mathbf{e}} ...
1
vote
0answers
71 views

System of congruences

I have a system of $n$ congruences. the generic $m$_th congruence of the system ($m = 1,\dots,n$) is in the form: $(p_n\#)^2(\displaystyle\sum_{\substack{i=1\\i\neq ...
-4
votes
0answers
39 views

Differentiability of the function $\frac{x}{1+\|x\|}$ [on hold]

Is the function $f:\mathbb{R}^n\to\mathbb{R}$ given by $$f(x)=\frac{x}{1+\|x\|},\;\;\forall x\in \mathbb{R}^n,$$ where $\|x\|=\sqrt[]{\sum_{i=1}^n{x_i}^2}$,, for all $x=(x_1, x_2,...x_n)$ in ...
6
votes
0answers
79 views

A “universally non Hypercomplete” $\infty$-topos?

My question is : Is there a classifying $\infty$-topos for $\infty$-connected objects ? Does this $\infty$-topos has a nice description (as an $\infty$-category ) ? What I mean by $\infty$-connected ...
4
votes
0answers
85 views

Rings that are $K_0$ of finite groups

Is there a simple characterisation of all rings which appear as $K_0$ of finite groups? By $K_0$ of a finite group $G$ I mean $K_0(\mathbb C[G])$ which in the same as a ring of virtual characters of ...
9
votes
1answer
239 views

Is an irreducible ideal in $R$ also irreducible in $R[x]$?

Let $R$ be a commutative Noetherian ring and $I\subset R$ an ideal that is irreducible in the sense that if $I = J_1 \cap J_2$, then $I=J_1$ or $I=J_2$. Is (the ideal generated by) $I$ irreducible in ...
3
votes
0answers
100 views

Does the Bombieri-Lang conjecture imply severe restrictions on rational points on twists of hyperelliptic curves?

According to Silverman, the Bombieri-Lang conjecture implies that the rational points of surface on general type lie on finite set of curves, except for a finite set of points. Let $f$ be univariate ...
-4
votes
0answers
70 views

Non-standard numbers and exponential form of Zeta function

Basic idea For a long time I was looking for a numerical system that would allow to compare infinite sets. In contrast to Cantor's approach that empathizes the possibility of on-to-one correspondence ...
-4
votes
0answers
44 views

Are all derivatives of sinc function bounded on real axis? [on hold]

It seems that all derivatives of sinc function (sinc(x)=sin(x)/x) are bounded on real axis. Is it true or no? Thanks in advance.
1
vote
1answer
44 views

Does order-preserving equal continuous? [on hold]

Let $P,Q$ be posets and endow them with the interval topology $\tau_i(P)$ and $\tau_i(Q)$ respectively. Is it true that if $f: P\to Q$ is order-preserving, then it is continuous, and vice versa?
3
votes
0answers
28 views

Path-connected Hausdorff interval topologies

Let $(P,\leq)$ be a poset with more than $1$ point such that the interval topology $\tau_i(P)$ is path-connected and $T_2$. Does this imply that $[0,1]$ order-embeds into $P$? (This is a follow-up ...
1
vote
0answers
34 views

Minkowski spacetime in Newman Penrose formalism

I have a rather basic question for which (surprisingly!) I cannot find a short and clear answer anywhere: I'm currently looking at the Newman Penrose (NP) formalism (I use primarily Chandrasekhar's ...
5
votes
0answers
100 views

Indecomposable representations of a wreath product

If $G$ is a finite group, we know the irreducible representations of $G ≀ S_n$ (over $\mathbb Q$) are classified by partitions of $n$ 'decorated' by an irrep of $G$. I'm wondering to what extent the ...
4
votes
0answers
59 views

“Edge Density” of Infinite Planar Graphs

Given an infinite planar graph $G$, let's denote by $\{H_1,H_2,\dots,H_m\}$ all the labeled graphs on $n$ vertices that appear as subgraphs of $G$. Also let $$d_n=\frac{\sum_{i=1}^m \#E(H_i)}{nm}$$ ...
3
votes
0answers
89 views

Elementary examples on sheaf extension

Let $V\subset\mathbb{P}^n$ be a projective variety and $C_V$ its conormal subvariety in $T^\ast\mathbb{P}^n$. Denote by $\mathscr{O}_{C_V}$ its structure sheaf, then when will the condition ...
3
votes
0answers
68 views

Representing rational homotopy class by geometric objects

Given a smooth manifold $M$, we can study its rational homotopy type by looking at differential forms. I am wondering if there is a way to represent each $rational$ homotopy class by geometric ...
3
votes
1answer
56 views

convex hull of the set of permutations with one cycle

is there a way to describe the convex hull of the set of permutation matrices with exactly one non-trivial cycle? or maybe I should ask for the convex hull of cycle matrices : let $(i_{1},..,i_{k})$ ...
3
votes
1answer
98 views

Kernel of the natural map between group $C^*$-algebras

Let $\Gamma$ be a discrete group. We can form two $C^*$-algebras: the universal (or full) and reduced, to be denoted by $C^*_u(\Gamma)$ and $C^*_r(\Gamma)$ (respectively). Both of them are completions ...
20
votes
4answers
949 views

Why should we care about “higher infinities” outside of set theory?

Let's say you are a prospective mathematician with some addled ideas about cardinality. If you assumed that the natural numbers were finite, you'd quickly vanish in a puff of logic. :) If you ...
6
votes
2answers
352 views

Geodesics on SO(3)

I have two 3D rotations about the origin, represented as $3 \times 3$ orthogonal matrices $M_1$ and $M_2$ (specified by numerical entries), and I would like to interpolate (and compute) a continuous ...
1
vote
0answers
32 views

C^1 Sard related question

Let $X$ be a $k+1$ rectifiable set with finite $k+1$ Hausdorff measure in $\mathbb{R}^{n+1}$ and set $Z=\{x\in X;\;\ \textrm{s.t} \;\; e_{n+1}\perp T_xX \}$, where $T_xX$ is the approximate tangent ...
2
votes
0answers
37 views

Coupling Marginals of Distributions on the Sphere

Given a distribution $P_X$ on $\mathbb{R}$, when does there exist a coupling (i.e. joint distribution) $P_{X^n}$ of $X_1,...,X_n$, each distributed according to $P_X$, such that $\sum X_i^2 = n$ ...
2
votes
0answers
54 views

Listing all Lattice Points in a Box

Let $B := [-1,1]^n$ be an $n$-dimensional box. Moreover, let $v_1,\ldots,v_n \in \mathbb{R}^n$ form a basis of $\mathbb{R}^n$, where the entries of the $v_i$ are explicitly irrational. We can assume ...
1
vote
0answers
28 views

About the partial expectation polynomials in the Interlacing-I paper and perfect matchings

I am thinking of the polynomials $f_{s_1,s_2,..,s_k}$ as in the definition 4.3 in this paper http://annals.math.princeton.edu/wp-content/uploads/annals-v182-n1-p07-p.pdf In the use of these ...
-4
votes
0answers
56 views

How to rewrite square root without exponents? [on hold]

I'm trying to understand what taking the square root really is, intuitively. A number to the power of two is simply multiplying the number with itself, and I know the square root is the reversal ...
5
votes
0answers
172 views

Why do Kashiwara and Schapira require a base ring of finite global dimension?

In the book "Sheaves on Manifolds" by Kashiwara and Schapira, they work always with sheaves of $R$-modules, where $R$ is a ring of finite global dimension. Why do they do this, what care ...
1
vote
0answers
96 views

$\frac{1}{2}<\sigma<1$, is $f(n) = \Bigl| \,1+ \frac{1}{2^{\sigma + i n}} + \cdots + \frac{1}{n^{\sigma + i n}} \Bigr|$ from $O(\log n)$?

We have $\frac{1}{2} < \sigma < 1$ and $$ f(n) = \Bigl|\, 1+ \frac{1}{2^{\sigma + i n}} + \cdots + \frac{1}{n^{\sigma + i n}} \Bigr| $$ . My goal is proving this statement that $|f(n)|$ is ...
3
votes
1answer
101 views

Classifying space for homology endomorphisms supported on a graph?

Let $X$ be a reasonable topological space (say one that has the homotopy type of a finite CW complex) and consider a subset $\Gamma$ of $X \times X$ so that the projection $p:\Gamma \to X$ onto the ...
-5
votes
0answers
30 views

How to convert a row of matrix as ordered pairs in matlab? [on hold]

I have an n*3 matrix.Now i have to plot each row as a point with the elements in first, second,third columns as x,y,z coordinates in 3-d space.can anyone help me do this in matlab? Thanks in advance
1
vote
0answers
71 views

Profinite groups, directed sets and $H^1$

Usually whenever one reads the definition of profinite group, one starts with an ordered set $I$ which is directed, meaning that for every $i,j\in I$ there is some $k\in I$ such that $i\leq k$ and ...
5
votes
0answers
109 views

Tensorization of Orlicz norm?

Associated with a convex function $\phi:[0,\infty)\mapsto[0,\infty)$ satisfying $\lim_{x\to 0} \frac{\phi(x)}{x} = 0, \lim_{x\to\infty}\frac{\phi(x)}{x} = \infty,$ the Orlicz norm of a random variable ...
5
votes
0answers
130 views

Relationship between the syntomic cohomology of Kato and of Fontaine-Messing

Fix a prime $p$ and let $X$ be a $\mathbb{Z}_{p}$-scheme. Write $X_{n}:=X\otimes\mathbb{Z}/p^{n}$ and $\phi:X_{1}\rightarrow X_{1}$ for the absolute Frobenius. Let $X\hookrightarrow Z$ be a (suitable) ...
4
votes
1answer
115 views

An extension of $K$-theory to topological $^*$-algebras

What I have in mind is the following: a (sequence of) functor(s) $K_\bullet$ on the category of topological $^*$-algebras (with values in the category of commutative groups) that satisfies (among ...
-3
votes
0answers
24 views

Permutations of given length [migrated]

Given the counts of each of three letters a, b, and c. I want to find all permutations of a given length where each letter can occur at most times as the given count. I am only interested in the ...
2
votes
0answers
75 views

Convergence rate of Pearson correlation matrix

I am interested in (rather sharp if not the finest) tail/concentration bounds for the Pearson correlation matrix: let $X_1,\ldots,X_N \sim \mathcal{N}(0,1)$ be correlated random variables; let ...
4
votes
2answers
128 views

Natural examples of $\bf\Sigma^0_3$ equivalence relations

I have been reading about Borel equivalence relations and I have noticed that while $\bf\Sigma^0_3$ equivalence relations are mentioned, there is a conspicuous absence of natural examples (other than ...
1
vote
0answers
56 views

Comparing Dirichlet energy and area of a Surface-immersion

Let $(F,g)$ be a closed Surface, $(M,h)$ a Riemannian 3-Manifold and $f: F \to M$ a smooth immersion. Denote by $f^*(h)$ the pullback metric on $TF$ induced by $f$ and let $dV_g$ and $dV_{f^*(h)}$ be ...
0
votes
0answers
55 views

Singular integral equation

Investigating a control problem for heat equation I stacked on solution of this integral equation which seems to be singular: $$ \int_0^1\mathcal{K}(\tau)u(\tau)d\tau=\mathcal{M}, $$ in which ...
2
votes
1answer
72 views

Orthogonal polynomials with respect to the lognormal distribution

I am currently doing some inspection on the orthogonal polynomials with respect to the lognormal distribution. Does anyone already work on that or know some cool references? All the best, Pierre-O.
1
vote
0answers
72 views

“GraphI Individualization” referece request

Context: I am studying Weisfeiler Lehman method(WL method) and have clear idea about 1 and 2 dimensional WL method. I was wondering about the individualization process described below- Defined ...
4
votes
1answer
183 views

The “$\infty$”-column in the periodic table of n-categories

A monoid is the same as a category with a single object. A monoidal category is the same as a bi-category with a single object. A commutative monoid is the same as a bi-category with a single object ...
6
votes
0answers
72 views

Recursions which define polynomials?

Let $k$ be a positive integer and let $$h(n,k,q)=\frac{1-(1+q^{k})q^{2k(n-1)+1}+q^{2}}{1-q^{2n-1}}h(n-1,k,q)-\frac{(1-q^{k(2n-3)})(1-q^{2k(n-1)})q^2}{(1-q^{2n-1})(1-q^{2n-3})}h(n-2,k,q)$$ with ...
5
votes
1answer
68 views

Path-connected interval topologies

Let $(P,\leq)$ be a poset with more than $1$ point such that the interval topology $\tau_i(P)$ is path-connected. Does this imply that $[0,1]$ order-embeds into $P$?
1
vote
0answers
26 views

Existence of at least one positive solution for semilinear biharmonic equation with critical exponent

Let $\Omega \subset \mathbb{R}^N$, $N\geq 5$. Now assume the biharmonic problem with singular term as follow \begin{cases} ‎\Delta^2u=‎‎\lambda ‎‎\dfrac{u}{|x|^4}‎‎+u^{‎p}‎ & ...
-2
votes
0answers
30 views

GPS position transformation [on hold]

I have a GPS receiver which should ultimately give me the position of an object. I would like to get a position of an object next to it with difference in altitude and x-axis. I should be getting ...
5
votes
0answers
132 views

Congruences involving binary forms and primes of the form $x^2+y^2$

Let $a_s$ be \begin{align*} a_s=\sum_{k=0}^s{s+k\choose k}2^k, \end{align*} which is the coefficient of $x^s$ in \begin{align*} \frac{3-\sqrt{1-8x}}{2(x+1)\sqrt{1-8x}}. \end{align*} ( see ...
10
votes
2answers
378 views

Continued Fractions from Digit Streams

let $x=\sum_{i=1}^{\infty}\delta_i2^{-i},\ \delta_i\in\{0,1\}$. Is there an algorithm that converts the sequence $(\delta_0,\ \delta_1,\ ...)$ of the binary digits of $x$ to the sequence ...
2
votes
1answer
117 views

Hardy space, Lebesgue space for $p<1$,

We denote $\mathcal D'(\mathbb R^n)$ the space of distributions, and $\mathcal D(\mathbb R^n)$ the space of smooth, compactly supported functions. Let $\rho\in \mathcal D'(\mathbb R^n)$ such that ...
0
votes
1answer
68 views

How to prove that a non-linear differential equation has a solution

I want to prove that there exists $f:[0,1] \to [0,1]$ such that $f(0)=0$, $$ \frac{d w(y-f(y))}{d y} = g(y) \frac{d v(f(y))}{d y}, \forall y \in [0,1], $$ where $w:[0,1] \to [0,1]$ and $v:[0,1] \to ...

15 30 50 per page