# All Questions

150,236 questions
Filter by
Sorted by
Tagged with
105 views

### When does an iteration not add functions $\eta\to V$ at the final stage?

I am interested in better understanding the following property: Let us say that an iteration of forcings $\langle\mathbb{P}_\alpha,\dot{\mathbb{Q}}_\beta\mid\alpha\leq\gamma,\beta<\gamma\rangle$ is ...
• 1,159
31 views

### Calculation problem for Fixing small box in big box [closed]

I have received 26 small boxes in big box with following dementions. Each small box: 32.5 X 25 X 6.5 Big box: 65 X 50 X 53 All small boxes are well accomudated in big box but when i do the mathemetic ...
232 views

### Simple proof for convexity of a real valued matrix function

I am looking for a simple and short proof showing that $X \to \|X X^\top\|_F^2$ is a convex function where $\|\cdot\|_F$ is the Frobenius norm. I have one proof by showing that the derivative is ...
358 views

### Inequality of inclusion-exclusion term

This question was initially posted on math.stackexchange.com but did not receive any answers for half a week. While analyzing the properties of an algorithm I am working on (I'm a computer scientist), ...
• 45
189 views

• 191
51 views

### Are two homotopic principal bundles isomorphic?

Let $E_1 \to B$ and $E_2 \to B$ be two principal $G$-bundles, where $E_1$ and $E_2$ are two simply-connected manifolds and $G$ is a compact Lie group. Suppose there exists a $G$-equivariant continuous ...
• 687
272 views

### How did Ramanujan come up with the Ramanujan summation and is it possible to extend it to higher number sets

How did Ramanujan come up with the Ramanujan summation and is it possible to extend it to higher sets (Everything circled in red is what I'm interested in (+ the Cauchy integral to make it Dedekind ...
160 views

### Does a complex-oriented $E_1$ ring spectrum (not assumed to have graded-commutative homotopy groups) receive a map from $MU$?

It's well-known that complex cobordism $MU^\ast$ is universal among complex-oriented associative, graded-commutative cohomology theories $E$. This means that if $E$ is a multiplicative cohomology ...
• 58.7k
79 views

### Self adjoint operators from energy functionals

It is known that the equation $$\Delta f = 0$$ on some bounded domain $\Omega$ on $\mathbb{R}^n$ subjected to certain boundary conditions can be derived through the minimization of the Dirichlet ...
• 101
57 views

### Meromorphic functions converging in measure

Let $f_1, f_2, \ldots$, and $g$ be measurable complex-valued functions on the open unit disk. We say that the sequence $f_1, f_2, \ldots$ converges in measure to $g$ if, for all $\epsilon, \mu >0$, ...
125 views

### Does every graph admit an embedding such that identically-colored edges do not cross?

Given a graph, is it always possible to color the edges of the graph using two colors such that there exists an embedding of the graph in the plane where only opposite-colored edges cross? Simple ...
• 133
150 views

### Does $\mathsf{ZF}$ prove $\operatorname{Col}(\lambda,\kappa)$ preserves cardinals below $\lambda$?

Let $\lambda<\kappa$ be cardinals and consider the forcing $\operatorname{Col}(\lambda,\kappa)$ adding a generic surjection $\lambda\to\kappa$. More formally, $\operatorname{Col}(\lambda,\kappa)$ ...
• 2,462
895 views

### Recognizing free groups

While I’m aware (and as it was pointed out in the comments) it is generally undecidable whether a given presentation represents a free group, I’m interested in criteria that nevertheless ensure that ...
• 1,055
42 views

### convergence of a numerical series using information about an entire series [migrated]

I'm on a problem that seems simple but turns out to be a bit twisted. Let be $\sum_{n\epsilon N }^{}{u_nz^n}$ a power series with radius of convergence ρ = 1. Which of the following statements are ...
• 1
82 views

### An example of module which is square-free, CS, NOT C3, and NOT nonsingular

Let $M$ be a right $R$-module ($R$ has unity). Recall that $M$ is called square-free if $M$ does not contain two nonzero isomorphic submodules with zero intersection. $M$ is called CS if every ...
• 175
180 views

### Expected norm of a product of Gaussian matrices

Suppose $C_n$ is a product of $n$ $d\times d$ matrices with IID entries coming from standard normal. The following appears to be true. Is there an elementary proof? $$E[\|C_n\|_F^2]=d^{n+1}$$ This ...
• 2,330
115 views

### Do the nearby cycle and Beilinson's vanishing cycle functors commute?

Let $X$ be a complex algebraic variety with a pair of regular functions $f_1,f_2$. To these functions we can associate various functors: the nearby cycles functor $\Psi_{f_i}$, the vanishing cycles ...
157 views

• 106k
324 views

### How exactly are realizability and the Curry-Howard correspondence related?

Consider, on the one hand: the Curry-Howard correspondence between, on the one hand, types and terms (programs) in various flavors of typed $\lambda$-calculus, and on the other, propositions and ...
• 28.4k
40 views

• 11
55 views

### Pfaffian elements and anomalies

If $X$ is a compact even dimensional spin manifold, then we have a family of chiral Dirac operators parametrized by $Met(X)$, the (infinite dimensional) manifold of Riemannian metrics on $X$. This is ...
• 6,679
50 views

### Measuring to exact decimal places with ruler and compass exclusively [closed]

Do you know any way to construct a segment given its length in decimals, using only a ruler and compass, in an exact way? For example: a) 0.54896753 b) 12 decimals of acos(20°)
1 vote
78 views

### Orthogonal representation of free products of two groups

Suppose $A$ and $B$ are two countable, discrete, amenable groups. One definition of amenability tells us that there is a sequence of finitely supported, positive definite functions that converges to 1 ...
• 131
134 views

### Research directions related to the Hilbert-Smith conjecture

The Hilbert-Smith Conjecture (HSC) is a famous open problem in geometric group theory stating "for every prime $p$ there are no faithful continuous action of the $p$-adic group of integers $A_p$ ...
• 121
328 views

### When are the chirp signals orthogonal?

Assume that we have two bounded-time chirp signals, \begin{align} x(t)&=\exp\Big(j\pi(\alpha t^2+\beta t+\gamma)\Big),\quad 0\leq t\leq T,\\ y(t)&=\exp\Big(j\pi(\alpha' t^2+\beta' t+\gamma')\...
• 261
130 views

43 views

• 123
33 views

### When does Morita equivalence between two Hopf-von Neumann algebras imply also equivalence of their categories of comodules?

Let $A$ and $B$ be two Hopf-von Neumann (bi)algebras. Furthermore, let us assume that we know that they are Morita equivalent as von Neumann algebras (i.e. their categories of appropriate ...
• 31
50 views

### Exponential of Liouville Numbers

By Mahler classification of Transcendental real numbers (into the sets of $S$-, $T$- and $U$-numbers), we know that Any Liouville number is a $U$-number. $\log \alpha$ is either an $S$- or a $T$-...
• 505
62 views

### Complemented C* Algebras

let $A$ and $B$ be unital separable commutative $C^*$ algebras, with $A\subset B$. Is it true that $A$ is complemented in $B$?
• 151
65 views

### How to define the Sobolev quotient space $H^s(Γ)/{\mathbb R}$

Let $\Gamma$ be the boundary of a Lipschitz domain $\Omega\subset \mathbb R^3$. Denote by $H^s(\Gamma)$ the usual scalar Sobolev space for $s\in\mathbb R$. I want to know the definition of the ...
• 63