# All Questions

**3**

votes

**1**answer

56 views

### Effects of many degree-2 variable nodes in the Tanner graph during the decoding of LDPC codes

Suppose that we have a LDPC code $C$ with a $(n -k )\times n $ parity check matrix $H$, and there exist approximately $ \sqrt n$ numbers of degree-2 columns. It means that there are approximately ...

**0**

votes

**0**answers

32 views

### sum of fractional functions optimization problem

Consider the following sum of fractional functions optimization problem
$$
\begin{array}{l}
\mathop {\min }\limits_{\bf{x}} \,\,\,\sum\limits_{i = 1}^p {\frac{1}{{{\bf{a}}_i^T{\bf{x}} + {b_i}}}} \\
...

**-2**

votes

**0**answers

33 views

### embbeing torus into compact lie group or inclusion torus into compact lie group [on hold]

I want to know about examples embedding torus into a compact lie group or inclusion into compact lie group.Dimension of those compact lie group is under 4.

**-2**

votes

**0**answers

76 views

### A chinese remaindering problem [on hold]

Given integers $0<c<d,e<a,b<cd,ce$, supposing we know only $$a\mbox{ and }b\mbox{ and that }(a,b)=1$$$$cd\bmod a\mbox{ and }ce\bmod b$$ is there a technique to find $c$?
Techinically if ...

**-1**

votes

**1**answer

88 views

### Proof that expression is integer [closed]

can you help me with this
Proof that expression is integer
$$\frac{(2n)!}{2^nn!}$$

**1**

vote

**0**answers

62 views

### Is the elementary transformation along a curve decomposable?

Let $S$ be a surface. Let $L$ be an ample line bundle on $S$. Let $C\in |L|$ be a curve on $S$, and let $A$ be a globally generated line bundle on $C$ of degree $d$ and with 2 sections.
Then we get ...

**9**

votes

**2**answers

189 views

### A generalization of Chebyshev polynomials

What is the monic polynomial $p(x)$ of degree $n$ which minimizes $\max_{x \in [-1,1]} |p(x)|$? The answer is the Chebyshev polynomial, and its largest value on $[-1,1]$ is $1/2^{n-1}$.
Now suppose ...

**4**

votes

**3**answers

183 views

### Parameterizing rotations of a cube [on hold]

For $g\in\mathrm{SO}(3),S\subseteq \mathbb{R}^3,$ define $g\cdot S:=\{g\cdot p : p\in S\}.$ In words, if $g$ is a rotation of $\mathbb{R}^3$, $g\cdot S$ is the set of elements of $S$ rotated by $g$. ...

**1**

vote

**0**answers

29 views

### Proving injectivity of a multivariable function

Let $I$ denote the interval $(0,\infty)$, we define the function $f:I^2\to I^2$ by,
$$f(x,y)=\left({\Gamma(4x+y)\Gamma(y)\over {\Gamma(2x+y)}^2},{\Gamma(4x+y)\Gamma(2x+y)\over ...

**4**

votes

**1**answer

263 views

### What are key $\Sigma^0_2$ or $\Pi^0_3$ theorems?

I am researching a logical system that is limited to $\Pi^0_2$ sentences and I am busy to prove that FOL + PA is a conservative extension of that system. Meaning that with $\Sigma^0_n$ sentences (that ...

**3**

votes

**1**answer

91 views

### Practical bounds for the Wasserstein distance in 2 dimensions

Let $X_1,\dots,X_n$ be a set of independent samples of a distribution $\mu$ on the unit square, let $\hat\mu_n$ be the empirical distribution on the points $X_1,\dots,X_n$, and let ...

**4**

votes

**0**answers

91 views

### No irreducible parallelizable manifold of given dimension

What is an example of a closed 4-manifold $M$ such that $M$ is parallelizable and $M$ is topologically (or at least smoothly) irreducible?
Topological irreducible: it is not homemorphic to ...

**5**

votes

**1**answer

157 views

### Consistency of the nonrigidity of $P(\omega_1)/NS$

Is it consistent with ZFC that there exists an automorphism of $P(\omega_1)/\mathrm{NS}_{\omega_1}$ which is not the identity?

**0**

votes

**0**answers

95 views

### Defining Global Choice in terms of strong limit cardinals over $ZF$

In his answer to user33038's mathoverflow question "What axioms are stronger than the Axiom of choice?", Prof. Hamkins writes:
"What's more, the axiom of choice is equivalent over $ZF$ to the ...

**1**

vote

**0**answers

91 views

### When is a conformal class equal to a conformal orbit?

Let $(M,g)$ be a Riemannian manifold of dimension $n$. Let $\text{conf}(M,g)$ denote the conformal group, i.e. the subgroup of diffeomorphisms of $M$ that acts by conformal transformations relative to ...

**6**

votes

**1**answer

211 views

### Differential geometry without the Hausdorff condition or the second axiom of countability

I would like to know how the standard differential geometry of manifolds would change if we didn't assume the Hausdorff condition and/or the second axiom of countability. There are some simple things ...

**-2**

votes

**0**answers

35 views

### Global minimization. How? [closed]

I know it's impossible to have an algorithm that finds the global minimum (without a brute force approach), for a general problem.
I also understand that the efficacy of the flavour of minimization ...

**3**

votes

**0**answers

81 views

### Does this notion of “$\mathcal{F}$-digraph” appear in the literature?

By a digraph, I mean a quiver with no multiple edges. So in particular:
Loops are okay.
An infinite set of vertexes is okay.
Furthermore, I will tend to identify each digraph with its underlying ...

**0**

votes

**0**answers

29 views

### Positive-definite and positive semi-definite matrixes sum [closed]

I'm doing an exercise of numerical analysis that ask me to demonstrate a particular sum of matrixes. From Wikipedia, I know that:
M and N are two matrixes:
if M is positive definite and r > 0 is ...

**0**

votes

**1**answer

111 views

### perfect modules over polynomial algebra

This may be obvious. My question is short:
$R$ is the polynomial algebra $\mathbb{k}[X_{1},\dots , X_{n}]$. Is the $R$-module $\mathbb{k}$ perfect in the sense that $\mathbb{k}$ is a compact object ...

**14**

votes

**2**answers

464 views

### Matrix equation $XAXBXC=I$

Let $A,B,C$ be unitary matrices. Does there always exist a unitary matrix $X$ such that $$(XA)(XB)(XC)=I,$$ where $I$ is the identity matrix? The quadratic equation $(XA)(XB)=I$ has the solution ...

**1**

vote

**0**answers

35 views

### Can Mumford-Shah functional be adapted to lower $L^1$ space?

The well know Mumford-Shah functional functional
$$
F(u)=\int_\Omega|\nabla u|^2+\mathcal H^{N-1}(S_u) \tag 1
$$
where $u\in SBV(\Omega)$ and $\nabla u$ is the absolutely continuous part of ...

**1**

vote

**1**answer

67 views

### Sum of two surjective operators

It is well-known that the sum of two surjective operators isn't (in general) a surjective operator (for example consider $A+(-A)$). When it happens that the sum of two surjective operators is still ...

**9**

votes

**3**answers

340 views

### Minimum size of the union of sets

I came accross this combinatorial problem in my computer science research.
You are given a collection of k sets $S_1,...,S_k$ such that for any $i \neq j$, $ \vert S_i \setminus S_j \vert \geq p$ ...

**4**

votes

**1**answer

131 views

### Large Cardinal Principles that Imply $\Sigma_3^1$-Generic Absoluteness

It is known that (light-face) $\Sigma_3^1$ generic absoluteness is consistent with $\mathsf{ZFC}$: Friedman and Bagaria showed that it holds in the $\text{Coll}(\omega, < \kappa)$ extension of $V$ ...

**1**

vote

**1**answer

108 views

### Question about mean square estimate for sums of Dirichlet coefficients of Symmetric Power $L$-functions

I have a question related to Coefficients of Symmetric power $L$-functions and I would be grateful if you could answer it.
Let $\lambda_{Sym^rf}(n)$ be the $n$th Dirichlet coefficient of ...

**2**

votes

**0**answers

80 views

### Possible argument against Height bound hypothesis

From this paper.
$f(x,y)$ is polynomial with integer coefficients.
$s(f)$ is its size, the sum of the logarithms of the absolute
values of the nonzero coefficients, defined on p. 6. From p. 7.
...

**1**

vote

**0**answers

67 views

### Construct a PDE solution from a net of approximations

Consider $P$ a linear partial differential operator in $\Bbb R ^n$. Consider some boundary condition given in the generic form $C(u) = 0$, that guarantees a unique solution (if any) of $Pu = 0$.
Let ...

**2**

votes

**1**answer

179 views

### Trace of a Product of Finitely Many Matrices with Cosine Entry

Can someone help me prove the following identity?
$$
\mathop{\mathrm{Tr}}\left(\prod_{j=0}^{n-1}\begin{pmatrix}
2\cos\frac{2j\pi}{n} & -m \\
1 & 0
\end{pmatrix}\right)=
\begin{cases}
2 & ...

**3**

votes

**0**answers

82 views

### Cardinality based results in Topological Vector Spaces?

Given a topological vector space $V$, let its density be the smallest cardinal $A$ such that a set of cardinality $A$ is dense in $V$. Naively, it seems one of two things happen:
TVS's $V$ of ...

**6**

votes

**1**answer

94 views

### Closed leaves of a foliation

Let $M$ be a differentiable manifold of dimension $n + k$, let $\Delta$ be an $n$-dimensional integrable distribution (à la Frobenius), let $N$ be an $n$-dimensional connected integral manifold of ...

**3**

votes

**0**answers

216 views

### Existence of a block design

Let $\ell$ be an integer parameter. I want to ask the existence of the following design: There is a universal constant $\beta < 1$ such that for all sufficiently large $\ell$, the following holds:
...

**2**

votes

**0**answers

104 views

### Euler's totient function relative function

For the $\sigma$ function, the ratio $\sigma(m)/m$ is known as the abundancy index. Is there any special name for $\phi(m)/m$ with $\phi$ the Euler's totient function ?

**-4**

votes

**0**answers

40 views

### Commutator of a matrix as matrix multiplication [closed]

I want to find whether two square matrix A and B are commmutative as a multiplication either A is a contant multiplication of the identity matrix or the matrix B can be expressed as p(A) where p(x) is ...

**2**

votes

**1**answer

154 views

### Schubert calculus and Pieri's formula

In the lecture notes Grassmannians: the first example of a moduli space. MIT Open Course Ware. page 7:
Are there any formal publications (books/papers) where I can find the formula?

**3**

votes

**0**answers

129 views

### C$^*$-algebras isomorphic after tensoring

If $\mathfrak S$ denotes the set of all non-zero C$^*$-algebras (up to $*$-isomorphism) of some bounded cardinality, for instance separable, then $(\mathfrak S, \otimes_\textrm{min})$ and $(\mathfrak ...

**1**

vote

**2**answers

111 views

### Is there a version of the Titchmarsh Convolution theorem to find singular support?

Okay, some terminology, correct me if I'm wrong.
Singular support - the set on which a distribution fails to be smooth. In this case a piecewise function.
Is there a name for $f*f*f$? The ...

**9**

votes

**2**answers

618 views

### How should a mathematician approach the physics literature concerning percolation?

I would like to read some of the physics literature on two-dimensional percolation, however in attempting this I have run into two problems. (1) Physics papers on percolation are (relatively) hard ...

**-2**

votes

**0**answers

32 views

### Taking a 3d to 2d point [closed]

I'm trying to create a billboard type effect (orienting an object in 1/2 axis' excluding the other) using this code.
...

**2**

votes

**0**answers

36 views

### Fractional Sobolev spaces and extension by zero

The all-wise Wikipedia suggest (https://en.wikipedia.org/wiki/Sobolev_space#Extension_by_zero) that for $s > 1/2$ any function from $H^s_0(\Omega)$ can be extended by zero
to whole $\mathbb{R}^n$ ...

**7**

votes

**0**answers

114 views

+50

### Counting the size of the largest sets of independent strings

This question derives from a PPCG coding challenge I posed previously but despite asking on math.se and offering a bounty, no progress has been made.
For a given positive integer $n$, consider all ...

**3**

votes

**2**answers

132 views

### Vanishing of sheaf cohomology with compact support

Let $X$ be a smooth manifold. Let $F$ be a sheaf of $\mathbb{R}$-vector spaces on $X$. I have three closely related questions.
1) Under what sufficient conditions on $F$ for any compact subset ...

**3**

votes

**2**answers

79 views

### Has anyone developed a technique to generate a polytope given (possibly redundant) inequality constraints? [closed]

I've found a few papers that deal with removing redundant inequality constraints for linear programs, but I'm just trying to find the vertices for a feasible region, given a set of inequality ...

**12**

votes

**1**answer

253 views

### Applications of Lubotzky's linearity theorem?

Lubotzky's theorem is a necessary and sufficient set of conditions for a finitely generated discrete group to be linear, i.e. isomorphic to a subgroup of $GL_n(K)$, where $K$ is a field of ...

**0**

votes

**0**answers

45 views

### Hermitian Matrices over Quaternions with Rank at most k [migrated]

The set of Hermitian matrices of the form: $X+iY+jW+kZ$ with $X,Y,Z,W \in \mathbb{C}^{M x M}$. $X$ symmetric, and $Y,Z,W$ skew-symmetric, with $rank(X+iY+jW+kZ)\leq{k}$, has what dimension as a ...

**1**

vote

**0**answers

227 views

### Which mathematics journal can I submit an article which is short? [closed]

My situation is as follows: I have found a new proof for a theorem related to root system and Weyl arrangements. The theorem was proved in my teacher's paper published at J. Eur. Math. Soc.. Recently ...

**5**

votes

**1**answer

153 views

### group completion theorem of homology as Hopf algebras

Let $M$ be a topological monoid with product $\mu$. Then $H_*(M)$ is a Hopf algebra with product $\mu_*$ and coproduct $\Delta_*$. The group-completion theorem by McDuff-Segal, 1976 gives that as a ...

**4**

votes

**2**answers

241 views

### Algebras for probability monad

What is the Eilenberg-Moore category for the non-finitary probability distribution monad is, that is, the monad $D \colon \mathbf{Set} \to \mathbf{Set}$ defined by
$$
DX = \left\{ p \in [0,1]^X \ ...

**-4**

votes

**1**answer

148 views

### What's the name of this theorem? [closed]

I would like to know the name of a theorem that states that if a continuous variable (I.E. y) takes a positive (negative) value for x(i) and a negative (positive) value for x(j), it is sure that y has ...

**0**

votes

**0**answers

35 views

### Quotient of cumulative binomial distribution functions

Given to integers $n < m \in \mathbb{N}_0$ and a probability $p$, I'm struggling to calculate (or at least get an upper bound for) the quotient
$$Q = \frac{F(n+1;m,p)}{F(n;m,p)}$$
where $F$ denotes ...