# All Questions

6 views

### Contraction between basis vectors and basis one-forms [migrated]

Discretion: The title may be misleading, because I am not certain whether the one-forms are actually basis one-forms. I always thought by definition, $dx^i (e_j) =\delta^i_j$. But, I am confused ...
128 views

### $\infty$-Borel Determinacy?

An $\infty$-Borel set is a set $X\subseteq\mathbb{R}$ which has an $\infty$-Borel code - a set $r$ coding the construction of $X$ via open sets, complementation, and well-ordered unions (see ...
154 views

### Semiring of vector bundles on $\mathbb{C}\mathbb{P}^1$

Consider the semiring $$\mathbb{N}[H,H^{-1}]/(H^p+H^q = H^{p+q}+1)_{p,q \in \mathbb{Z}}.$$ Is it finitely presentable? Is there any simplification of the relations (except for $p \geq q \geq 0$)? ...
75 views

### Generating function which has no singularity [closed]

We can know the growth rate of coefficients from singularities of generating functions, but if a generating function which has no singularity at all, for example, the exponential function. What ...
49 views

### Approximating Probability Distribution by Sampling

Consider a discrete probability distribution over $n$ events. Assume that the probabilistic kernel is a black box, that is, we can only sample from it without knowing anything about the type or ...
810 views

### How to prove that every polynomial in an infinite family is irreducible over Q?

Consider the bivariate polynomial $$p(X,Y) = X^5 - (2 Y + 1) X^3 - (Y^2 + 2) X^2 + Y (Y-1) X + Y^3.$$ For every integer $y \ge 4$, I conjecture that $p(X,y)$ is irreducible in $\mathbb{Q}[X]$. How can ...
53 views

### 1d random walk probability of previous n positions

I have the following question. (May be it is very simple, but I cannot find the answer). Suppose I have a 1d random walk on integer numbers with equal pobabilities of unit step in either direction ...
77 views

### Weyl algebras $A_n(k)$ as tensor product of the first Weyl algebra

In afew threads I've read that the Weyl algebra $A_{n+1}(k)$ is isomorphic to the $k$-tensor product of $A_n(k)$ with $A_1(k)$, why is this true?
89 views

### Formal definition of function: equality [closed]

Consider this formal definition of function, which does not require $A$ to be domain. \vspace{0.5cm} \textit{Let $A$, $B$ be sets, then $F\subseteq A \times B$ is said to be a function iff ...
303 views

### The moduli space of special Lagrangian submanifolds

Given a special Lagrangian fibration $f:M \rightarrow B$ of a Calabi-Yau manifold $M$, one can associate to it two affine structures (symplectic and complex) on the base space $B$. A theorem of ...
42 views

### Mathametical Proof for a series [closed]

Prove for the series given below z/((1−z)^2) =∑N≥1 N(z^N) Do i need to do this by induction?
146 views

### Explicit bound on $\sum_{N\mathfrak p \leq x}\chi(\mathfrak p)\ln(N\mathfrak p)$

I'm looking for an explicit bound for $f(x) = \sum_{N\mathfrak p \leq x}\chi(\mathfrak p)\ln(N\mathfrak p)$, where $\chi$ is a Hecke character for a number field $K$ of degree $n$, on the ideals ...
425 views

### Has this strengthening of the PNT already been conjectured?

Suppose $f:\mathbb{Z}_{\geq 0}\to\mathbb{Z}_{\geq 0}$ is an arithmetic function that grows slower than the identity map. Has it already been conjectured that, under this general hypotheses, ...
5 views

### Bipartite Graph [migrated]

Is there a bipartite graph with the following degrees: 3, 3, 3, 3, 3, 3, 3, 3, 3, 5, 6, 6? I've tried so many different combinations and I don't think there is a way to make a bipartite graph this ...
102 views

### Error term in formula for products of necklaces

Let us consider the $\lim_{n\to \infty}\prod_{p=1}^n N(p,a)$, where the number of fixed necklaces of length n composed of a types of beads $N(n,a)$ can be calculated via totient function: ...
45 views

### Hopf Lemma for strong solutions

The Hopf lemma still holds for strong solutions? Let $u\in W^{2,p}(\Omega)\cap W_0^{1,p}(\Omega)$ with $p>n$ such that $\Delta u + c(x) u\le 0$. If $u(x)>0$ for all $x\in\Omega$ and ...
151 views

### Blow-up of $\mathbb{P}^4$ along a quadric surface

Let $Q\subset\mathbb{P}^3\subset\mathbb{P}^4$ be a smooth quadric surface, and let $X = Bl_Q\mathbb{P}^4$ the blow-up of $\mathbb{P}^4$ along $Q$. Let $H$ be the pull-back of the hyperplane section of ...
50 views

### Quasi-finite morphisms of stacks

Let $f:X\to Y$ be a morphism of nice" stacks over $\mathbf C$ such that the induced morphism on coarse moduli spaces is quasi-finite. Is $f$ quasi-finite? By a "nice" stack I mean a smooth finite ...
65 views

### Do we know a lower bound for the number of critical zeros of the Riemann zeta-function with irrational imaginary part?

If I'm not mistaken, the imaginary parts of the critical zeros of the Riemann Zeta function are conjectured to be linearly independent over $\mathbb{Q}$, but I think we're very far from proving such a ...
33 views

### Single element extensions of subspace arrangement over finite field

Matroids have single element extensions found by Crapo[2] to create ground set size $n+1$ matroids from ground set size $n$ matroids. Do subspace arrangements over a finite field $\mathbb{F}_q$ have ...
100 views

### notable inductive proofs relating to fractals

what are notable/ prominent inductive proofs relating to fractals? the motivation for this question is: fractals are very difficult mathematical objects to work with, and many ...
194 views

### Can eta invariant be written in terms of topological data?

The eta invariant was introduced by Atiyah, Patodi, and Singer. It roughly measures the asymmetry of the spectrum of a self-adjoint elliptic operator with respect to the origin. In ...
16 views

### norm is invariant under scaling for subspace of wiener space

Consider the subspace H_1 of $C_0(0,\infty)$, where $\phi=\int_0^t\dot{\phi}(s)ds$ and $\int_0^{\infty}{\dot{\phi}}^2ds<\infty$. The transformation is $(T\phi)(t)=t\phi(\frac{1}{t})$. How to show ...
72 views

### Eigenvalue of (0-1) matrix [on hold]

Assume I have 2 matrices, each of size nxn with only 1 and 0 as entries in both. (n>10) The first matrix (call it A) has each row summing up to 2 (ie: on each row, it has two "1" and n-2 "0"). It is ...
95 views

### On the geometry of roots of a sum of complex linear fractions

I was wondering if there is anything known about the geometry (position) of the roots of a rational map of the form $$R(z):= \sum_{j=1}^{n} \frac{a_j}{z-p_j},$$ where the $a_j$'s are nonzero complex ...
17 views

### Gradient Estimation Using Bicubic Interpolation and Finite Differences [closed]

Suppose we know the values f(x,y) takes on in a 4x4 grid defined by all pairwise combinations of x={0,1,2,3} and y={0,1,2,3}. Bicubic interpolation using centered differences provides a way of ...
34 views

### complexe integration around a branch point [closed]

I have this complex integral to which I don't know if it's possible to assign a value: The integral is on a small circle around the origin. The function is 1/((z-1)*sqrt(z)). The fact is that z=0 is ...
150 views

### Section of the homology functor on spectra

Consider the (reduced) homology functor $H_*$ from the category of spectra to the category of graded Abelian groups. I wanted to know whether there is a "section" of this functor, i.e., a functor $F$ ...
179 views

### What is “tilting” in the context of large deviations?

I have seen references to the "tilting method" in the theory of large deviations. Is there a simple explanation of what this is, exactly?
87 views

### Bounds for the fat tail after trimming the mean?

I am interested in the quantity $$f(X,t) = \int_t^\infty\negthinspace x\ p(x)\ dx,$$ where $p$ is a probability distribution for a positive variable $X$. 1) Does this quantity $f(X,t)$ have a name? ...
96 views

### Suppose I know $\int h(t) dt = H(t)$, is there a way to find $\int h(t)^N dt$?

I am trying to find the -1 moments of sum of N geometric random variable, i.e. $E[\frac{1}{\sum_{i=1}^N X_i}]$ Suppose the probability mass function is $f_X(x) = (1 - p)^{x - 1} p$ The moment ...
106 views

### Follow up: Is continuity preserved when taking comma object?

Here, I asked wether taking lax pullback preserves continuity, but got no precise answer. However, I have found this recent article by Riehl and Verity which proves something very similar, but I ...
129 views

84 views

### Invariant measure of Euler-Maruyama Discretisation of an Ito diffusion

Let $(X_t)_{t \geq 0}$ be a diffusion process with dynamics governed by the stochastic differential equation $$dX_t = b(X_t)dt + \sigma(X_t)dW_t, ~~ X_0 = x_0,$$ where ...
82 views

### Can $T$ act trivial in a repn of SL$_2(\mathbb{Z}_N)$?
I am confronted with the following problem: If $\rho : \text{SL}_2(\mathbb{Z}) \to \text{GL}_{\mathbb{C}}(V)$ is a finite dimensional representation such that $\text{ker}(\rho)$ contains the ...
Let $G$ be a finite simple group and its Schur multiplier is 2. Is it true that if ${M\over K}\cong G$ and $|K|=2$, then $M\cong {\Bbb Z}_2\times G$ or $M\cong 2.G$, according to the symbols in the ...