相关论文: A class of normal dilation matrices affirming the …
This note gives a new elementary proof of Poincar\'e-Miranda theorem based on Sard's theorem and the simple classification of one-dimensional manifolds.
Let $\mathcal{C}$ be a class of graphs that is closed under taking subgraphs. We prove that if for some fixed $0<\delta\le 1$, every $n$-vertex graph of $\mathcal{C}$ has a balanced separator of order $O(n^{1-\delta})$, then any depth-$k$…
We state a number of conjectures that together allow one to classify a broad class of del Pezzo surfaces with cyclic quotient singularities using mirror symmetry. We prove our conjectures in the simplest cases. The conjectures relate…
We show that the orbit closures for directing modules over tame algebras are normal and Cohen-Macaulay. The proof is based on deformations to normal toric varieties.
This note records some dilation theorems about contraction semigroups on a Hilbert space - all of which fall into the categories "known" or "probably known" - that I proved while working on my PhD in mathematics (under the supervision of…
We prove a Kotake-Narasimhan type theorem in general ultradifferentiable classes given by weight matrices. In doing so we simultaneously recover and partially generalize the known results for classes given by weight sequences and weight…
We prove the Aharoni Berger Conjecture
We establish the exact overlaps conjecture for iterated functions systems on the real line with algebraic contractions and arbitrary translations.
A normally regular digraph with parameters $(v,k,\lambda,\mu)$ is a directed graph on $v$ vertices whose adjacency matrix $A$ satisfies the equation $AA^t=k I+\lambda (A+A^t)+\mu(J-I-A-A^t)$. This means that every vertex has out-degree $k$,…
We extend Carleson's interpolation Theorem to sequences of matrices, by giving necessary and sufficient separation conditions for a sequence of matrices to be interpolating.
We prove that if the Morrison cone conjecture holds for a smooth Calabi-Yau threefold $Y$, it holds for any smooth Calabi-Yau threefold deformation-equivalent to $Y$. We use this result to prove a new case of the Morrison cone conjecture.
In this note, we study the infinitesimal forms of Deligne cycle class maps. As an application, we prove that the infinitesimal form of a conjecture by Beilinson is true.
This paper extends the trace formulas of [5] with perturbations in normed ideals of $B(H)$ to multivariate functions of commuting contractions admitting a dilation to commuting normal contractions.
Enochs' conjecture asserts that each covering class of modules (over any fixed ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full…
The article deals with isometric dilation and commutant lifting for a class of $n$-tuples $(n \geq 3)$ of commuting contractions. We show that operator tuples in the class dilate to tuples of commuting isometries of BCL type. As a…
We prove the strong normalization of full classical natural deduction (i.e. with conjunction, disjunction and permutative conversions) by using a translation into the simply typed lambda-mu-calculus. We also extend Mendler's result on…
In this paper I verify Manin's conjecture for a class of rational projective toric varieties with a large class of heights other than the usual one that comes from the standard metric on projective space.
In this article we study the (cohomological) Hodge conjecture for singular varieties. We prove the conjecture for simple normal crossing varieties that can be embedded in a family where the Mumford-Tate group remains constant. We show how…
We introduce an algorithm that conjectures the structure of a permutation class in the form of a disjoint cover of "rules"; similar to generalized grid classes. The cover is usually easily verified by a human and translated into an…
In this paper, we proved the Normal Scalar Curvature Conjecture and the Bottcher-Wenzel Conjecture. We also established some new pinching theorems for minimal submanifolds in spheres.