All Questions

114,971 questions
Filter by
Sorted by
Tagged with
111 views

49 views

n-dimensional polyhedron with special properties

I'd like to know if there exists a convex face transitive n-dimensional polyhedron with all dihedral angles equal to $\frac{2\pi}{3}$. For n = 2,3,4 an example can be a regular hexagon, a rhombic ...
42 views

Uniform position for multiple components

(Modified from https://math.stackexchange.com/questions/3730261/uniform-position-theorem-for-reducible-varieties/3730457#3730457) The uniform position theorem states (roughly) that a general ...
85 views

How can construct three circles in a given triangle such that three internal tangent form an equilateral triangle

How can construct three circles in a given triangle such that three internal tangent form an equilateral triangle? See also: Malfatti circles
607 views

Why can't we embed Tarski's truth in PA?

I recently learned that ZFC can prove $Con(PA)$ because it can give a model of PA, but I'm not given the technical details. (My teacher thinks it is too obvious to even mention.) What plagues me is ...
66 views

Braided category inside braided 2-category

Let $\mathcal{C}$ be a semistrict braided monoidal $2$-category in the sense of [BN] (so in particular a strict $2$-category). Let $\mathcal{C}_1$ be the category of $1$-morphisms (objects) and $2$-...
96 views

80 views

Properties of the total variation norm on space of totally finite measure (from Bogachev)

Let $(X,d)$ be a metric space, $\mathcal{B}$ the Borel $\sigma$-algebra on $X$, and $\mathcal{M}(X)$ the space of totally finite measures on $\mathcal{B}$. Let $\|\mu\|_{TV}$ be the total variation ...
148 views

Infinitely many $n$ such that $\gcd(\lfloor n\sqrt{2}\rfloor, \lfloor n\sqrt{3}\rfloor)=m$

Is it true that for any positive integer $m$ there are infinitely many positive integers $n$ such that $\gcd(\lfloor n\sqrt{2}\rfloor, \lfloor n\sqrt{3}\rfloor)=m$? $\lfloor x \rfloor$ is the floor ...
173 views

49 views

Fast way to generate random points in 2D according to a density function

I'm looking for a fast way to generate random points in 2D according to a given 2D density function. For instance something like this: Right now I'm using a modified version of "Poisson disc&...
40 views

Invertible bimodule for hereditary algebras

Let $A=kQ$ be a path algebra over a field $k$ for a finite acyclic quiver with enveloping algebra $A^e$. Question: When is it true that $\tau_{A^e}(A) \cong A$ as a left and as a right $A$-modules? (...
69 views

Permutation and combination [closed]

Problem Statement : Given input x,y,a,b where x is the number of 0's a binary string has , y is the number of 1's, a is the number of possible sub-sequence "01" while b the number of ...
70 views

Fourier transform of a function of bounded variation

I know if $f\in L^2(\mathbb R)$ is two times continuously differentiable, then we must have that the Fourier transform is integrable. Is there any more relaxed condition than this? For example if $f$ ...
37 views

27 views

Conjugate point to spacelike hypersurface

Suppose you have a smooth spacelike hypersurface $\Sigma$ in some spacetime (four-dimensional Lorentzian manifold). Let $\gamma$ be a timelike geodesic meeting $\Sigma$ orthogonally and let $p$ be a ...
478 views

“Well-known fact” that every irreducible 3-manifold with non-empty boundary has an incompressible surface

I have seen in several sources that this results holds, however none of them included the proof. Does anyone know where I can find one? Also, it would be great if someone could provide me with a ...
53 views

why can't i integration and differentiation? [closed]

Please kindly help solve this question for me. I need it quite urgent
162 views
+100

805 views

Are “large enough” finite etale covers arithmetic?

Let $X$ be a variety over a number field $K$. Then it is known that for any topological covering $X' \to X(\mathbb{C})$, the topological space $X'$ can be given the structure of a $\overline{K}$-...
154 views

Dense generator whose closure under finite colimits takes several steps to form?

Let $\mathcal C$ be a locally finitely presentable category, and let $\mathcal C_0 \subseteq \mathcal C$ be a dense generator of finitely-presentable objects. Then Every object $C \in \mathcal C$ is ...
133 views

If a Markov semigroup is eventually contractive, can we conclude that it admits a unique invariant measure?

Let $E$ be a separable $\mathbb R$-Banach space, $\rho$ be a complete separable metric on $E$, $\operatorname W_\rho$ denote the Wasserstein metric of order $1$ associated to $\rho$, $\mathcal M_1(E)$ ...
73 views

60 views

Rings or algebras with many nilpotent elements and efficient computation

Crossposted from quantum.SE where comment appears to suggest that solving modulo 2 might be possible. Searching the web for '"quantum computer" nilpotent' returns many results, so maybe the ...
Is it consistent with $ZF$ to have a set $S$ and a function $F: P(S) \to S$ such that: $\forall X,Y \in P(S): X \subsetneq Y \implies F(X) \neq F(Y)$