# All Questions

**0**

votes

**0**answers

95 views

### Does exterior product commute functor Hom?

Let $M$ be an module over the commutative ring $R$. I'd like to ask do we have the following isomorphism?
$$Hom_R(\wedge^n_RM,R)\simeq \wedge^n_R Hom_R(M,R)$$
We can obviously see it's true for the ...

**0**

votes

**0**answers

59 views

### A linear operator equation (PDE) with non-monotone term

I'm interested in the existence and/or uniqueness to the following problem. Let $V$ and $H$ be Hilbert spaces and $V \subset H \subset V^*$ form a Gelfand triple.
There is a linear operator $L:{D}(L) ...

**-4**

votes

**0**answers

87 views

### On the Picard group of a product of projective varieties [on hold]

Let $K$ be a field of characteristic zero, $X$ a smooth projective curve on $K$ and $Y$ a Fano variety over $K$. Consider the natural projection morphism $\mbox{pr}_1$ (resp. $\mbox{pr}_2$) from $X ...

**2**

votes

**0**answers

42 views

### Solve a PDE related to free boundary problem

I would like to solve the following system for my problem:
$$\max\Big(\frac{1}{2}u_{ss}+u_l\delta(s-s_0), F(l)-\lambda(s)-u(s,l)\Big)=0.$$
where $u=u(s,l): R\times R_+\to R$ is the unknown function ...

**0**

votes

**1**answer

43 views

### A function with one partial derivative Hölder continuos is Hölder continuos?

I'm having trouble finding a function of two variables, say $u(t,x)$, such that for some $\alpha\in ]0,1]$
1. $(t,x)\mapsto \partial_x^2 u(t,x)$ is $C^{0,\alpha}$;
2. $(t,x)\mapsto \partial_x ...

**6**

votes

**1**answer

166 views

### Groups and pregeometries

Definition.
For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say
that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous ...

**-5**

votes

**0**answers

17 views

### based on statistics- related to median,mean and mode of a grouped data [on hold]

In a frequency distribution , the mode and mean are 26.6 and 28 respectively ,find out the median.

**-4**

votes

**0**answers

19 views

### Number of Different Combination Possible? [migrated]

You are given number of places as m and number of digits as n.You have to fill those m places in such a way that each digit appears atleast one time.
For Example
Given m as 4 and n as 3
so you have ...

**9**

votes

**1**answer

381 views

### Is it easy to prove that $\sum_n |X(\mathbb{F}_{q^n})| t^n$ is rational?

Background: Let $X$ be an algebraic variety over a finite field $\mathbb{F}_q$. One of the successes of Etale cohomology - previously achieved by Dwork- was proving the rationality of the Zeta ...

**0**

votes

**1**answer

109 views

### Is the span of those vectors dense in $\ell_2$?

For all $x \in \mathbb{R}^n$ and $\alpha \in \mathbb{Z}_{\geq 0}^n$ let $x^\alpha=x_1^{\alpha_1} \cdots x_n^{\alpha_n}$. Let $$\ell^2=\{z=(z_\alpha)_{\alpha \in \mathbb{Z}_{\geq 0}^n}:\, z_{\alpha} ...

**7**

votes

**3**answers

293 views

### Representing a number close to 1 with a sum of reciprocals of natural numbers

For positive integers $n_1, \ldots, n_k$, let $H(n_1, \ldots, n_k)$ denote $1/n_1 + \ldots + 1/n_k$. Let $V(N)$ be the largest possible value of $H(n_1, \ldots, n_k)$ that is less than 1, subject to ...

**2**

votes

**1**answer

126 views

### Growth of $r_k(n)$

What is the best known growth bound of $r_k(n)$, where $$r_k(n)=\#\{(a_1,\dots,a_k\in\mathbb{Z}^k:\sum_{i=1}^ka_i^2=n\}?$$ Please provide some reference if known. Thanks.

**3**

votes

**1**answer

65 views

### How to approximate volumes of m-dimensional manifolds with m-dimensional polyhedra

The areas of a sequence of polyhedra approaching a surface need not approach the area of the surface, but there are theorems guaranteeing that this be so. (T. Rado, On the Problem of Plateau, Chapter ...

**0**

votes

**0**answers

115 views

### When is there a polynomial transformation? [on hold]

First part: given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}=\frac{P_3(f(x_1,x_2,\dots,x_n))}{P_4(f(x_1,x_2,\dots,x_n))}|\det (J(f(x_1,x_2,\dots,x_n)))|$$ where $P_i$ is polynomial ( that ...

**-2**

votes

**0**answers

45 views

### Construct a triangle given a side, an angle and the reason between two sides [on hold]

I'm clueless :/ .
Given a side, the angle opposite to the side and the reason between the other two sides, construct a triangle.

**2**

votes

**1**answer

79 views

### Multiplicative gradient descent?

The normal gradient descent is additive: $w_{t+1}=w_t-\lambda_t\nabla f(w_t)$, but is there a multiplicative gradient descent that looks something like $w_{t+1}=w_t[-\lambda_t\nabla f(w_t)]$?
I know ...

**1**

vote

**0**answers

173 views

### Are these two “FUNCTORS” adjoint?

I am considering the following correspondence:
Let $X$ be quasi compact quasi separated schemes.Consider a pseudo functor \begin{equation}Sch\rightarrow CAT :U\mapsto Qcoh(U),f:U\rightarrow V\mapsto ...

**0**

votes

**0**answers

35 views

### First order partial differential equations in complex domain [on hold]

Try to solve a first order linear partial differential equation $P(x,\partial)u(x)=f(x)$ in complex domain, while the operator is of the following form:
$$
...

**2**

votes

**0**answers

101 views

### If the direct image of f preserves coherent sheaves on notherian schemes,how to show f is proper?

The other direction is well known
I think it is true and I was told by several other guys doing algebraic geometry that it is indeed true but they did not know how to prove.I am also wondering whether ...

**-3**

votes

**0**answers

62 views

### How do I calculate adjoint functors to forgetful functors? [on hold]

Repost of question from mathstackexchange, because I thought it would be more appropriate here:
Suppose I have a forgetful functor $F:Ab\hookrightarrow Grp$ where we forget that we have ...

**13**

votes

**1**answer

686 views

### Wrong asymptotics of OEIS A000607?

Sequence A000607 in the Online Encyclopedia of Integer Sequences is the number of partitions of $n$ into prime parts. For example, there are $5$ partitions of $10$ into prime parts: $10 = 2 + 2 + 2 + ...

**23**

votes

**25**answers

2k views

### Results true in a dimension and false for higher dimensions

Some theorems are true in vector spaces for a given dimension $n$ but become false in higher dimensions.
Here are two examples:
A positive polynomial not reaching its minimum. Impossible in ...

**2**

votes

**0**answers

102 views

### Almost periodic sequence

Say that a real sequence ${(x_k)}_{k \in \mathbb{Z}}$ is almost periodic if the set of all its shifted sequences ${\left\{{(x_k)}_{k+n \in \mathbb{Z}}\right\}}_{n \in \mathbb{Z}}$ is relatively ...

**3**

votes

**0**answers

121 views

### Getting a Postnikov Tower from the Tot-tower?

I have had a problem I've been thinking of recently but can't seem to make anything of it.
Let $X$ be a simplicial set. It is well known that one can construct a Postnikov tower
$$P_nX \rightarrow ...

**1**

vote

**1**answer

178 views

### Blow-ups and cohomology

I'm trying to understand how to compute the Chow ring of a blow-up.
Let $W\subset \mathbb P^4$ be a smooth surface and let $X$ be the blow-up of $\mathbb P^4$ along $W$ with exceptional divisor $E$. ...

**6**

votes

**1**answer

213 views

### Software for computing Thurston's unit ball

Is there any software which can be used for computing Thurston's unit ball(for second homology of 3-manifolds) of link complements? In particular can I do that with SnapPy?
PS: even a table for ...

**-1**

votes

**0**answers

5 views

### hi, I have a question about probability density function [migrated]

I've just read about probability density function from wiki( http://en.wikipedia.org/wiki/Probability_density_function ).
In that article, there is some wired concept that I can't understand, please ...

**7**

votes

**2**answers

582 views

### Random Voronoi Diagrams

I'm interested in what research has already been done with regards to the statistics of random voronoi diagrams. I have had a look on google scholar and results are a little inconclusive. I'm ...

**-2**

votes

**0**answers

42 views

### Derangement and inclusion -exclusion [on hold]

I understand the recursive formula for derangement but don't understand how and why inclusion-exclusion principle is used for the proof of derangement formula.I want to know the intuitive explanation ...

**1**

vote

**1**answer

81 views

### Total conditional complexity

By $C(|)$ denote conditional complexity.
By $CT(|)$ denote total conditional complexity.
For every n there exist two strings $x$ and $y$ of length $n$ such that $C(x|y) = O(1)$
but $CT(x|y) \ge n $.
...

**4**

votes

**1**answer

50 views

### Continuity of the stationary distribution of $M/G/1$ queue w.r.t. the input rate

Let $(\lambda_n)_{n\geq0}$ be a sequence of positive numbers such that $\lambda_n\rightarrow \lambda$ as $n\rightarrow +\infty$. These $\lambda_n$ are the parameters of a sequence of Poisson Processes ...

**7**

votes

**1**answer

216 views

### What are the exact holomorphic Lagrangians in complex 2-space?

In an exact symplectic manifold, i.e. where the symplectic form can be written $\omega = d \lambda$, it's natural to look for exact Lagrangians, i.e. $L$ on which $\lambda_L = df$. One reason is ...

**5**

votes

**1**answer

287 views

### Can $V\neq\text{HOD}$ if every $\Sigma_2$-definable set has an ordinal-definable element?

This question arises from an issue arising in user38200's recent question concerning models of set theory in which every definable set has a definable element. In my answer to that question, with ...

**-2**

votes

**0**answers

34 views

### What is the uper bound of PAC Learning algorithms [on hold]

What is Leslie Valiant's Probably Approximately Correct learning algorithm and how is it applicable to evolution.

**3**

votes

**1**answer

94 views

### Non-bijective conformal maps between annuli

I need to answer the following question, hopefully in the negative.
Question: Does there exist a conformal map $f$ of degree $1$ from the annulus $\{1<|z|<R\}$ to the punctured disk ...

**2**

votes

**1**answer

102 views

### Distance from constant width bodies

EDIT As @David has observed, my conjecture was clearly wrong for $\ n:=2.\ $ Let me still give it a chance for $\ n\ge 3$.
I'll call a family $\ F\ $ of bound closed convex subsets of $\ \mathbb ...

**-2**

votes

**0**answers

32 views

### problem solving logarithmic equation and reaching an equivalence [on hold]

ok so i've had a problem trying to simplify the ln[ sqrt(1+(u^2/a^2)) + u/a ] and this is supposed to be equal to : ...

**15**

votes

**1**answer

483 views

### Solving a non linear equation

I've been trying to prove that the following equation has a unique solution in interval 0 < x < 1 :
$$ x = \Big(\frac{1 - (1-x^2)^K}{1 - (1-x)^K}\Big)^2 $$
Where K is a number (integer, if it ...

**4**

votes

**0**answers

153 views

### Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple.
Pro-reductive groups make sense over any scheme.
Is there an extension of the theory ...

**3**

votes

**1**answer

111 views

### Categorical characterization of closed imbeddings

Let $f\colon X\to Y$ be a morphism of schemes.
Let $F_X$ and $F_Y$ be the contravariant functors from the category $Sch$ of schemes to the category of sets defined via the Yoneda construction, i.e. ...

**3**

votes

**0**answers

85 views

### Universal covering space of a Zariski open subset of projective space

Let $U$ be a Zariski open subset of $\mathbb P^n_{\mathbb C}$. Assume $U$ is the complement of some divisors.
Have the possible universal covering spaces of $U$ been classified?
Do we know when the ...

**0**

votes

**0**answers

57 views

### Nonpositive curvature of Stein manifolds

It is a theorem of Greene and Wu that a complete, simply-connected Kaehler manifold of everywhere nonpositive sectional curvature is a Stein manifold. I am curious about what kinds of additional ...

**0**

votes

**0**answers

41 views

### Basis for Witt algebra in general format

The Witt algebra $W(n,m)$ is defined as the set of element ${∑f_jD_j such that f_j∈A(n,m)}$ with usual Lie bracket. I am a bit confused about basis for $W(n,m)$? What is the meaning of $"f_jD_j"$ ? I ...

**1**

vote

**0**answers

104 views

### Is there such thing as the Gorensteinification of a one-dimensional local ring?

That is, given $A$ local, reduced and one-dimensional, is there a finite extension $A\to B$ where $B$ is Gorenstein?

**1**

vote

**0**answers

53 views

### When localizing a category at a multiplicative system, is there a lemma utilizing Ore Condition/Cancellation once for all roof-independence proofs?

For example, given an additive category $\mathcal{C}$ with a (both sided) multiplicative system S, the localization $S^{-1}\mathcal{C}$ is also additive. Yet to prove that the addition of morphisms in ...

**1**

vote

**0**answers

69 views

### Reference request on operator matrices [on hold]

I'm looking for a reference on linear, bounded, self-adjoint operators defined on the product space, $T:E\times F\to E\times F$ such that
$$Tx = \begin{pmatrix}A & B \\
C & D
...

**6**

votes

**1**answer

128 views

### Minimizing deep holes in sphere packings

What's the current state of knowledge regarding packings of spheres in $n$-space that minimize the supremum of the sizes of the holes? This notion of tightness is more rigid than asymptotic density. I ...

**0**

votes

**0**answers

19 views

### Optimize the distribution if it is left unsmoothed

I have a question about distribution. Let see my problem
The paper said that the distributions p and q are left unsmoothed, so we can ignore Kernel density. But I don't understand what is left ...

**2**

votes

**1**answer

170 views

### On the maximum number of $t$-subset of $\{1,\ldots, n\}$ having pairwise singleton or empty intersections

Let $n$, $t \in \mathbb N$ two natural numbers such that $0<t<n$, and let $A$ be a set of $n$ elements.
We call a quasi-partition or q-p of $A$ a subset $W \subset \mathcal P(A)$ such that we ...

**1**

vote

**0**answers

63 views

### Are irreducible matrix algebra neccesarily simple? [migrated]

In more detail, let $F$ be any field and $A$ a set of matrices, $F\cdot Id_n \subseteq A\subseteq GL_n(F)$, closed under addition and product, which is irreducible: If $\{0\}\subsetneq V \subsetneq ...