Related papers: On scalable $K$-frames and a version of Lax-Milgra…
For a finite subgroup $\Gamma\subset \mathrm{SL}(2,\mathbb{C})$ and $n\geq 1$, we construct the (reduced scheme underlying the) Hilbert scheme of $n$ points on the Kleinian singularity $\mathbb{C}^2/\Gamma$ as a Nakajima quiver variety for…
Spectral morphisms between Banach algebras are useful for comparing their K-theory and their "noncommutative dimensions" as expressed by various notions of stable ranks. In practice, one often encounters situations where the spectral…
We give a combinatorial characterization of generic minimal rigidity for planar periodic frameworks. The characterization is a true analogue of the Maxwell-Laman Theorem from rigidity theory: it is stated in terms of a finite combinatorial…
We generalize overpartitions to (k,j)-colored partitions: k-colored partitions in which each part size may have at most j colors. We find numerous congruences and other symmetries. We use a wide array of tools to prove our theorems:…
We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we…
Let K be a complete discretely valued field with perfect residue field k. Assuming upper bounds on the relation between period and index for WC-groups over k, we deduce corresponding upper bounds on the relation between period and index for…
Motivated by problems of uncertainty propagation and robust estimation we are interested in computing a polynomial sublevel set of fixed degree and minimum volume that contains a given semialgebraic set K. At this level of generality this…
We prove the semistable reduction theorem for $\mathcal{E}^{\dag}_K$-valued and $K$-valued overconvergent $F$-isocrystals over $k((t))$-varieties which were introduced by Lazda and P\'{a}l. As an application, we prove the finite…
We show that the complexity of the Markov bases of multidimensional tables stabilizes eventually if a single table dimension is allowed to vary. In particular, if this table dimension is beyond a computable bound, the Markov bases consist…
A continuous map from R^m to R^N or from C^m to C^N is called k-regular if the images of any $k$ points are linearly independent. Given integers m and k a problem going back to Chebyshev and Borsuk is to determine the minimal value of N for…
Let \({\mathbb K}\) be any field, let \(X\subset {\mathbb P}^{k-1}\) be a set of \(n\) distinct \({\mathbb K}\)-rational points, and let \(a\geq 1\) be an integer. In this paper we find lower bounds for the minimum distance \(d(X)_a\) of…
In the present paper, we introduce the notion of controlled $E$-frames. Then we investigate and study some properties of them and characterize all controlled $E$-duals associated with a given controlled $E$-frame.
The sliding window model of computation captures scenarios in which data is arriving continuously, but only the latest $w$ elements should be used for analysis. The goal is to design algorithms that update the solution efficiently with each…
We compute the algebraic $K$-theory of some classes of surfaces defined over finite fields. We achieve this by first calculating the motivic cohomology groups and then studying the motivic Atiyah-Hirzebruch spectral sequence. In an…
To obtain new integrable nonlinear differential equations there are some well-known methods such as Lax equations with different Lax representations. There are also some other methods which are based on integrable scalar nonlinear partial…
A topological version of Levinson's theorem is presented. Its proof relies on a C*-algebraic framework which is introduced in detail. Various scattering systems are considered in this framework, and more coherent explanations for the…
Building on earlier work, we further develop a formalism based on the mathematical theory of frames that defines a set of possible phase-space or quasi-probability representations of finite-dimensional quantum systems. We prove that an…
A step-by-step presentation of the code for a small theorem prover introduces theorem-proving techniques. The programming language used is Standard ML. The prover operates on a sequent calculus formulation of first-order logic, which is…
We discuss the determination of the Lam\'e parameters of an elastic material by the means of boundary measurements. We will combine previous results of Eskin-Ralston and Isakov to prove inverse results in the case of bounded domains with…
We introduce a parametrized version of scissors congruence $K$-theory of manifolds with tangential structure, which includes a topologized version of the scissors congruence $K$-theory of oriented manifolds as a special case. We examine the…