# All Questions

**0**

votes

**0**answers

10 views

### a question on sum of Gaussian binomial coefficients

I was trying to calculate something and at some point I get the following sum:
\begin{equation}
\sum_{t=0}^{s}{s+3n \brack s-t}\sum_{i = 0}^{t/2}q^{2i^2}{t/2+2n-i \brack t/2-i}{n \brack 2i}x^t
...

**1**

vote

**1**answer

34 views

### $K$-homology of $BG$

Let $G$ be a finite group. Atiyah proved that the $K$-cohomology of $BG$ vanishes in odd degrees and in even degrees is the completion of the representation ring of $G$ at the augmentation ideal.
...

**0**

votes

**0**answers

7 views

### Degenerations and spanning monomials

Let $R = \mathbb{C}[x_1,…,x_n]$, let $J\subset R$ be a graded ideal, and consider the initial monomial ideal $\operatorname{in}(J)$ with respect to some term order. Suppose that we are given a linear ...

**-3**

votes

**0**answers

29 views

### Video Lecture for topolgy [on hold]

want to study general topology.
i find video lecture at nptel, but instructor's pronunciation is hard to understand.
so other course to study general topology?
thankyou!

**0**

votes

**0**answers

10 views

### Mutual information staying constant under composition of channels

Consider the following scenario: one has 2 communication channels $C_1$ and $C_2$. Denote by $p(x)$ the input probability distribution.
The mutual information between the input and the output of ...

**0**

votes

**0**answers

38 views

### Subset of the integers with certain properties

How would one find the maximal $n$ such that there exists an $n$-subset $S$ of $\mathbb{Z}^+$ such that $\forall a\subseteq S, \sum_{a\in A}a$ is either a perfect square or a perfect cube, or can one ...

**0**

votes

**0**answers

27 views

### How many edges are in the kth-iterated common neighborhood knight's graph?

For terminology see https://www.academia.edu/2180382/The_Common_Neighborhood_Graph_and_Its_Energy)
It has been known for quite some time by players that a vertex whose corresponding square is in the ...

**0**

votes

**0**answers

47 views

### Complex structures on Riemann surfaces

This is cross posted from math.SE: http://math.stackexchange.com/q/876432/9
Let $M$ be a Riemann surface and $[\alpha] \in H^{0,1}(M; T^{1,0} M) \simeq (H^0(M;K^2))^*$. Considering $\alpha$ as a map ...

**8**

votes

**0**answers

131 views

### The lonely molecule

Suppose $n$ air molecules (infinitesimal points) are bouncing around in
a unit $d$-dimensional cube, with perfectly elastic wall collisions.
Let $k=n^{\frac{1}{d}}$.
For example, in 3D, $d=3$, with ...

**1**

vote

**1**answer

84 views

### Milnor's exact sequence and a certain proof

Please forgive me if this is not the right forum for this question.
Let $$ X = \cdots \rightarrow X_n \rightarrow X_{n-1} \rightarrow \cdots \rightarrow X_0 = \ast$$ be a tower of fibrations of ...

**-2**

votes

**0**answers

70 views

### P != #P ? And its implications [on hold]

Is it known that p != #p ? And what would such a proof imply?
I've been reading Valiant's paper on the permanent, and this isn't clear to me.

**0**

votes

**0**answers

20 views

### Uniqueness of a quadratic time-dependent matrix equation

Let $v: [0,1] \to \mathbb R^n, t \mapsto v(t)$ continuously differentiable with the property that for any constant vector $h \in \mathbb R^n$ the fact that $v(t)^{\top} h = 0$ for all $t \in [0,1]$ ...

**-1**

votes

**0**answers

27 views

### Two-Dimensional Recurrence Solving [on hold]

Can someone help me to solve this two dimensional recurrence:
f(n,k)=f(n-k,1)+f(n-k,2)+f(n-k,3)+...+f(n-k,n-k);
f(n,1)=1;
f(n,n)=1;
Thanks

**1**

vote

**1**answer

67 views

### Brun's algorithm

Does anyone have an exact reference for the weak convergence (convergence in angle) of Brun's subtractive multi-dimensional continued fractions algorithm (in all dimensions)? I have been given ...

**3**

votes

**1**answer

73 views

### non-negative random variable

Let $X$ be a real-valued random variable with $X \geq 0$ and $\mathbb E X >0$.
I would like to bound $\mathbb P(X >0)$ from below using information about the first few moments of the variable.
...

**2**

votes

**1**answer

99 views

### When are isotrivial families split by a finite base-change?

A well-known theorem of Grauert and Fischer states that a smooth proper family of complex manifolds is a locally trivial fibration as soon as all the fibers are isomorphic. It is also easy to obtain ...

**0**

votes

**1**answer

65 views

### How do eigenvalues change if we duplicate a row and column of a symmetric matrix

Let ${\bf A}$ be a size $n \times n$ symmetric positive semidefinite matrix with the first column being ${\bf a}_1$. If we define a new matrix,
\begin{align}
{\bf B} = \left[\begin{array}{cc} a_{11} ...

**3**

votes

**1**answer

97 views

### $RO(G)$-Graded Cohomology Theories

Let $G$ be a compact Lie group with real representation ring $RO(G)$. Recently, I have been learning about some aspects of $RO(G)$-graded cohomology theories (for a precise definition, see Chapter ...

**1**

vote

**1**answer

171 views

### Example of a specific manifold

I want to find a example of a manifold that has positive scalar curvature but is not half conformally flat.
Does there exists such manifolds?
Thanks.

**0**

votes

**0**answers

13 views

### Proximal operator of modified L1 matrix norm

In literature proximal operator $prox_{\lambda f} : R^n \rightarrow R^n$ of $f$ is defined as:
$prox_{\lambda f}(V) = argmin(X) (f(X) + (1/2 \lambda)||X-V||^2_2)$
Consider now $g(X) = ...

**6**

votes

**1**answer

173 views

### The definition of < in Robinson's Q

I recently had to explain how the basic axioms in Simpson's Subsystems of Second Order Arithmetic were interpretable in Robinson's Q. Most of the axioms are actually the same, except that Simpson ...

**1**

vote

**0**answers

56 views

### A conjecture about the entropy of matrix vector products

Consider a random $n$ by $n$ circulant matrix $M$ whose entries are chosen independently and uniformly from $\{0,1\}$. Let $M'$ be the $m$ by $n$ matrix which is formed by taking the first $m$ rows of ...

**1**

vote

**0**answers

48 views

### Question about the specialization map for Etale Fundamental Groups

Let $A$ be a complete, discrete valuation ring, and let $s$ (resp $\eta$) be the special (resp. generic) point of $S=Spec(A)$. Let $\phi:X \rightarrow S$ be a proper morphism and fix geometric base ...

**3**

votes

**0**answers

103 views

### Both NP-hard but different [on hold]

What's the fundamental difference between the Knapsack problem and the travelling salesman (TSP) problem both of which are NP-hard, while the reality is that TSP could be solved much much faster?

**9**

votes

**0**answers

110 views

### The definition of Reedy category

The common definition of Reedy category seems to be this one that a Reedy category is a small category $R$ with two wide subcategories $R_+$ and $R_-$ and an ordinal-valued degree function on its ...

**7**

votes

**1**answer

106 views

### Max flow, min cut on manifolds

If a graph has some half edges marked "input" and some half edges marked "output", it is well known that the smallest number of edges which must be cut to disconnect input from output is equal to the ...

**4**

votes

**0**answers

40 views

### Set system with prescribed intersection sizes

Questions: What is the asymptotic maximal size of a $4$-uniform (every set has 4 elements) set system $\mathcal{A}$ of subsets of $[n]$ such that, no two sets have size of their intersection $2$?
In ...

**8**

votes

**7**answers

923 views

### Examples of famous 'workhorse' theorems

I use the term 'workhorse' to describe a theorem which is technically challenging to prove, perhaps very deep, but the statement is either uninteresting at first glance or too imposing to be ...

**1**

vote

**1**answer

333 views

### is cross product of 2 or 3 vectors in 4 D is possible ? why ? i'm an engineer and please kelp me in explaining in a way i can understand? [on hold]

Is cross product of 2 or 3 vectors in 4 D is possible ? why ? i'm an engineer and please kelp me in explaining in a way i can understand ? It is also not clear that why vectors depend on the dimension ...

**1**

vote

**0**answers

30 views

### A question on Gorenstein Liaisons of space curves

Let $P_1,P$ be Hilbert polynomials of curves in $\mathbb{P}^3$. Denote by $H_{P_1,P}$ the flag Hilbert scheme parametrizing pairs $(C_1 \subset C)$ where $C_1, C$ are of Hilbert polynomials $P_1$ and ...

**1**

vote

**0**answers

207 views

### Grothendieck's letter to serre

Is it the letter dated in 27/08/1965 of Grothendieck where he presents to Serre the Standard conjectures on algebraic cycles?

**-6**

votes

**0**answers

124 views

### A new set of Primes [on hold]

Considering the following do there exists a fatal error?
For infinity number of prime $\beta$, there exists $\zeta$, $\alpha$ and $\gamma$ $\mathfrak{Primes}$ such that ...

**0**

votes

**0**answers

38 views

### edge graph reconstruction conjecture : set vs multi set

Why is the edge reconstruction conjecture stated with the deck defined as the multi set of graphs formed by deleting one edge? Can someone give an example of two graphs such that the edge deleted ...

**-1**

votes

**0**answers

54 views

### Tarski's undefinability theorem and IF logic

The Tarski undefinability theorem is valid when there are several constrains on the logic on which it is applied. The most important is that the logic mus to be closed under contradictory negation. ...

**1**

vote

**0**answers

55 views

### A topological criterion for connectedness of a semi-ample divisor

I have a half page long proof of the following statement, and I would like to know if this is (a corollary of) a well known statement. Maybe there is a reference or a three lines proof?
Statement. ...

**1**

vote

**0**answers

29 views

### Parametrized cancelations in stable Morse theory

Let $B$ be a closed manifold. Let $\pi : M\to B$ be a submersion such that each fiber is a manifold without boundary. Let $f : M \to \mathbb{R}$ be a function such that the restrictions $f_x$ to each ...

**1**

vote

**1**answer

59 views

### Are there some algorithms to solve the diagonal matrix $X$ to the following matrix equation?

Suppose $X$ is an unknown $m \times m$ diagonal matrix. Given a scalar $0<c<1$, and a matrix $A$ of $m \times m$ size whose entries $0<A_{i,j}<1$. Are there some algorithms to find the ...

**2**

votes

**1**answer

133 views

### Localization of symmetric monoidal category

Let $\mathcal M$ be a symmetric monoidal category, $S\subset \mathcal M$ a collection of objects and morphisms. I would like to construct the localization $\mathcal M \mathop{\longrightarrow}^T ...

**2**

votes

**0**answers

86 views

### Does the set of automorphisms of a cyclic group exhibit some sense of randomness?

I prefer to proceed with a concrete example if I may. I appreciate that the answer might well be better explained with group theory, geometry and/or notions from probability theory, which I welcome.
...

**2**

votes

**1**answer

77 views

### Projection onto $\ell^{2,1}$ ball

Does anyone have an idea how to project onto the $\ell^{2,1}$ ball efficiently, i.e. how to solve
$$ u = \arg \min_u \|u-f \|^2 \text{such that } \left(\sum_i \big(\sum_j |u_{i,j}|\big)^2 ...

**2**

votes

**1**answer

152 views

### Number of Matrices with bounded determinant

Here's my question:
Let $k,B,C$ be positive integers such that $B<C$. Can you give an upper bound for the number of $k\times k$ integer matrices having entries bounded in modulus by $B$ having ...

**0**

votes

**0**answers

15 views

### Existence and Uniqueness of solution of volterra integral equation of the first kind

$$
\int_0^t k(s,t)f(s)ds=g(t)
$$
To know the existence and uniquness of solution of volterra integral equation(VIE) of the first kind, we differentiate it and convert to the VIE of the second kind.
...

**4**

votes

**2**answers

90 views

### What is the number of noncrossing acyclic digraphs?

A noncrossing graph on $n$ vertices is a graph drawn on $n$ points numbered from $1$ to $n$ in counter-clockwise order on a circle such that the edges lie entirely within the circle and do not cross ...

**-3**

votes

**0**answers

55 views

### What are the odds in the card game war that the game will start and finish on the first battle? [on hold]

What are the odds? My 6 year old daughter and I played war. On the first card we both played sevens and the battle bagan. We played three face down and one up and they matched again. Again, we ...

**0**

votes

**0**answers

34 views

### Embedding dimension: local finiteness & intuition for more general spaces

Can every complex analytic space be covered by Stein spaces of finite embedding dimension?
I am almost sure that ought to be true. Here the definition of embedding dimension I have in mind is
$$
...

**1**

vote

**1**answer

124 views

### Examples of nontrivial local systems in Decomposition Theorem

There is a proper map $f: X \rightarrow Y$ of projective varieties. The Decomposition Theorem of Beilinson–Bernstein–Deligne-Gabber states that
$$Rf∗IC_X \cong \oplus_a ...

**2**

votes

**3**answers

405 views

### Reference request: SGA7

I want to read SGA7. Without considering the others SGA and EGA, Which are the textbooks for monodromy theory?

**2**

votes

**1**answer

56 views

### Double quotients of Coxeter groups have the chain property?

Let $(W,S)$ be a Coxeter group with Bruhat order $\leq$ and length function $\ell(w)$.
Definition: a subset $X \subset W$ has the chain property if whenever $x,y \in X$ with $x < y$, there ...

**3**

votes

**2**answers

125 views

### A Lie algebra identity

Let $G$ be a Lie group and $\mathfrak{g}$ its Lie algebra. Fix a basis $e_1,\dots,e_n$ of $\mathfrak{g}$ and let $e^1,\dots,e^n$ be its dual basis. We also use $e^i$ to denote the left-invariant ...

**-5**

votes

**0**answers

37 views

### Precalculus Help? [on hold]

The lengths of the sides in a right triangle form three consecutive terms of a geometric sequence. Find the common ratio of the sequence. (There are two distinct answers. Enter your answers as a ...