# All Questions

**1**

vote

**0**answers

67 views

### Does this integral have a closed form? [migrated]

$I=\int_0^1\frac{\ln(1-x)\,\ln(1+x)\,\ln(1+2x)}{1+2x}dx$
I saw this question here. It is really hard to find a closed form. Or is there no closed form? Please give me a hand. Thanks!

**1**

vote

**1**answer

40 views

### Near-ring localizations

Are there any known results on localization for near-rings (i.e., "rings" with non-abelian addition and only one-sided distributive law)? The books on near-rings I checked don't mention this topic at ...

**-6**

votes

**0**answers

64 views

### A p-Sylow of a group $G$ is characteristic in its normalizer $N_G(S)$? [on hold]

As stated above, the question is to show that a $p$-Sylow of a group $G$ is characteristic in its normalizer $N_G(S)$.
I would appreciate it if anyone could tell me where to start.

**2**

votes

**0**answers

75 views

### Jackiw-Pi identity

In their paper http://journals.aps.org/prd/abstract/10.1103/PhysRevD.42.3500 (Classical and quantal nonrelativistic Chern-Simons theory) Jackiw and Pi introduced an unusual identity involving ...

**2**

votes

**1**answer

119 views

### Vanishing homology of simplicial complexes with few facets

Let $K$ be a simplicial complex with $n$ vertices and $n-t$ facets, where $t \geq 3$.
Is it true that the $(n-3-j)$th reduced homology (with coefficients in a field) of $K$ vanishes for $0 \leq j ...

**5**

votes

**1**answer

267 views

### Diophantine equation

I would like to ask the broad community what is known about the solutions of diophantine equation $$\frac{u}{v} +\frac{v}{w} +\frac{w}{u} =t$$ where $t,v,u,w\in \mathbb{N}.$
I read a book of W. ...

**1**

vote

**1**answer

115 views

### An application of the Grauert's upper semi-continuity theorem

Let $X$ be a smooth projective variety, $A$ a complete discrete valuation ring, $Y=\mbox{Spec} A$ and $f:X \to Y$ a smooth, projective, surjective morphism. Denote by $y$ the closed point of $Y$. Let ...

**5**

votes

**1**answer

263 views

### Besides the tracioid are there other surfaces of revolution that have a constant negative curvature?

There is no surface in $ R^3 $ that can represent the complete hyperbolic plane (Hilberts theorem) so we always have to do with a surface that is not completely equivalent, has a cusp somewhere, but ...

**6**

votes

**0**answers

211 views

### Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end:
Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ...

**3**

votes

**1**answer

125 views

### Is it possible to construct any random variable on the Euclidean Probability space?

Let $(\Omega,\mathscr A,P)$ be an arbitrary probability space,
and let $X:\Omega\to\mathbb R$ be a random variable.
Then,
one can generate a random variable $Y$ from the probability space ...

**5**

votes

**2**answers

268 views

### Random Vornoi Diagrams (particular measures)

This is my second question about Random Voronoi diagrams, in my first question was given some excellent advice but i was not clear in explaining what i was looking for.
I'm interested to know ...

**0**

votes

**0**answers

103 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 ...

**1**

vote

**0**answers

79 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

92 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

43 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

46 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

207 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

402 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

111 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} ...

**15**

votes

**3**answers

491 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

134 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

66 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

118 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 [closed]

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

80 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

179 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 [closed]

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

110 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

64 views

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

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

707 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 + ...

**25**

votes

**25**answers

3k 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

108 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

126 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

187 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

223 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 ...

**8**

votes

**2**answers

594 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

43 views

### Derangement and inclusion -exclusion [closed]

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

79 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

227 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

318 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 [closed]

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

**3**

votes

**1**answer

101 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

103 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 [closed]

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

523 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

157 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 ...