Related papers: Splittings and robustness for the Heine-Borel theo…
Colding and Gabai have given an effective version of Li's theorem that non-Haken hyperbolic 3-manifolds have finitely many irreducible Heegaard splittings. As a corollary of their work, we show that Haken hyperbolic 3-manifolds have a…
While there has been progress in establishing the unprovability of complexity statements in lower fragments of bounded arithmetic, understanding the limits of Je\v{r}\'abek's theory $APC_1$ (2007) and of higher levels of Buss's hierarchy…
We study complexity measures on subsets of the boolean hypercube and exhibit connections between algebra (the Hilbert function) and combinatorics (VC theory). These connections yield results in both directions. Our main complexity-theoretic…
Counting the number of answers to conjunctive queries is a fundamental problem in databases that, under standard assumptions, does not have an efficient solution. The issue is inherently #P-hard, extending even to classes of acyclic…
We classify the irreducible components of the Hilbert scheme of $n$ points on non-reduced algebraic plane curves, and give a formula for the multiplicities of the irreducible components. The irreducible components are indexed by partitions…
Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into problems involving either a set of infinitely-coupled non-linear differential equations or a class of linear Schr\"odinger…
In 2003, DiVincenzo {\it et al}. put forward the question that whether there exists an unextendible product basis (UPB) which is an uncompletable product basis (UCPB) in every bipartition…
The aim of this paper is twofold. First we prove a theorem of extension of sections of a coherent subquotient of a hermitian vector bundle on a complex analytic space with control of the norms, without any of the smoothness assumptions that…
An orthonormal basis consisting of unentangled (pure tensor) elements in a tensor product of Hilbert spaces is an Unentangled Orthogonal Basis (UOB). In general, for $n$ qubits, we prove that in its natural structure as a real variety, the…
This is a survey on known results and open problems about closed aspherical manifolds, i.e., connected closed manifolds whose universal coverings are contractible. Many examples come from certain kinds of non-positive curvature conditions.…
We establish the existence and uniqueness of finite free resolutions - and their attendant Betti numbers - for graded commuting d-tuples of Hilbert space operators. Our approach is based on the notion of free cover of a (perhaps…
The Heisenberg-Robertson uncertainty relation quantitatively expresses the impossibility of jointly sharp preparation of incompatible observables. However it does not capture the concept of incompatible observables because it can be trivial…
The unitary group $\mathrm U(\mathcal H)$ on an infinite dimensional complex Hilbert space $\mathcal H$ in its strong topology is a topological group and has some further nice properties, e.g. it is metrizable and contractible if $\mathcal…
Let $(X,T,\mu,d)$ be a metric measure-preserving system for which $3$-fold correlations decay exponentially for Lipschitz continuous observables. Suppose that $(M_k)$ is a sequence satisfying some weak decay conditions and suppose there…
In a recent paper, M. Raghupathi has extended the famous theorem of Beurling to the context of subspaces that are invariant under the class of subalgebras of $H^\infty$ of the form $IH^\infty$, where $I$ is an inner function. In this paper,…
General physical background of Peres-Horodecki positive partial transpose (ppt-) separability criterion is revealed. Especially, the physical sense of partial transpose operation is shown to be equivalent to the "local causality reversal"…
The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least $C^2$-smooth…
We prove that if a separable metrizable $X$ is a union of two disjoint 0-dimensional sets $E$, $F$, $E$ is absolutely $G_{\delta}$ and $F$ is absolutely $F_{\sigma\delta}$ then there is a closed embedding $h$ into the union of countable…
Heisenberg's uncertainty principle is formulated for a set of generalized measurements within the framework of majorization theory, resulting in a partial uncertainty order on probability vectors that is stronger than those based on…
The Hirschfeld-Gebelein-R\'enyi (HGR) correlation coefficient is an extension of Pearson's correlation that is not limited to linear correlations, with potential applications in algorithmic fairness, scientific analysis, and causal…