3
votes
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
3answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
3answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
2answers
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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 ...

15 30 50 per page