Related papers: An alternative proof for the constructive Asymmetr…

We prove some properties of positive polynomial mappings between Riesz spaces, using finite difference calculus. We establish the polynomial analogue of the classical result that positive, additive mappings are linear. And we prove a…

The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski…

We prove inverse-type estimates for the four classical boundary integral operators associated with the Laplace operator. These estimates are used to show convergence of an h-adaptive algorithm for the coupling of a finite element method…

In a recent landmark paper, Khoa L\^e (2020) established a stochastic sewing lemma which since has found many applications in stochastic analysis. He further conjectured that a similar result may hold in the context of the reconstruction…

In the way of proving Kneser's conjecture, L\'{a}szl\'{o} Lov\'{a}sz settled out a new lower bound for the chromatic number. He showed that if neighborhood complex $\mathcal{N}(G)$ of a graph $G$ is topologically $k$-connected, then its…

We develop a linearized boundary control method for the inverse boundary value problem of determining a density in the acoustic wave equation. The objective is to reconstruct an unknown perturbation in a known background density from the…

We establish a conjecture of Graham and Lov\'asz that the (normalized) coefficients of the distance characteristic polynomial of a tree are unimodal; we also prove they are log-concave.

Perturbations due to round-off errors in computer modeling are discontinuous and therefore one cannot use results like KAM theory about smooth perturbations of twist maps. We elaborate a special approximation scheme to construct two smooth…

In the paper, we mainly determine the structures, counting formulas, and density sets of representations for binary and ternary ADC quadratic lattices over arbitrary non-archimedean local fields. In the binary case, we show that under…

A theorem, usually attributed to Barr, yields that (A) geometric implications deduced in classical L_{\infty\omega} logic from geometric theories also have intuitionistic proofs. Barr's theorem is of a topos-theoretic nature and its proof…

A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.

This note is purely expository and is in Russian. We show how to prove interesting combinatorial results using the local Lovasz lemma. The note is accessible for students having basic knowledge of combinatorics; the notion of independence…

Assuming local one-sided units exist, I give an elementary proof of Wodzicki excision for cyclic homology. The proof is also constructive and provides an explicit inverse excision map. As far as I know, the latter is new.

We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…

We review the relation between compact asymptotic spectral measures and certain positive asymptotic morphism on locally compact spaces via asymptotic Riesz representation theorem, as introduced by Martinez and Trout [3]. Applications to…

In recent years various results about locally symmetric manifolds were proven using probabilistic approaches. One of the approaches is to consider random manifolds by associating a probability measure to the space of discrete subgroups of…

We study algebraic K-theory, syntomic cohomology, and prismatic cohomology of Cartier smooth rings. As an application, we provide an alternative proof of Kelly-Morrow's generalization of the Geisser-Levine theorem computing $p$-adic…

We prove a general lemma about partitioning the vertex set of a graph into subgraphs of bounded degree. This lemma extends a sequence of results of Lov\'asz, Catlin, Kostochka and Rabern.

We derive a systematic and recursive approach to local conservation laws and the Hamiltonian formalism for the Ablowitz-Ladik (AL) hierarchy. Our methods rely on a recursive approach to the AL hierarchy using Laurent polynomials and on…

In this paper, we give a new proof of an arithmetic analogue of the Riemann-Roch Theorem, due originally to Serge Lang. Lang's result was first proved using the lattice point geometry of Minkowski. By contrast, our proof is completely…