Related papers: Direct Splitting Method for the Baum-Connes Conjec…

We present a geometric approach to the Baum-Connes conjecture with coefficients for Gromov monster groups via a theorem of Khoskham and Skandalis. Secondly, we use recent results concerning the a-T-menability at infinity of large girth…

We present a subdivision method to solve systems of congruence equations. This method is inspired in a subdivision method, based on Bernstein forms, to solve systems of polynomial inequalities in several variables and arbitrary degrees. The…

Let X be the quotient of a smooth projective variety over a field by a finite group action (in which case we say X is pseudo-smooth), such that the singularities of X are isolated k-rational points. Let Y be obtained by blowing up these…

This article proposes a unified analytical approach leading to a partial resolution of the Erdos-Straus, Sierpinski conjectures, and their generalization. We introduce an equivalent reformulation of these conjectures while constructing two…

Dawid, Kjaerulff and Lauritzen (1994) provided a preliminary description of a hybrid between Monte-Carlo sampling methods and exact local computations in junction trees. Utilizing the strengths of both methods, such hybrid inference methods…

We prove new results on splitting Brauer classes by genus 1 curves, settling in particular the case of degree 7 classes over global fields. Though our method is cohomological in nature, and proceeds by considering the more difficult problem…

We discuss Ray Heitmann's recent proof of the Direct Summand Conjecture in dimension 3 in mixed characteristic. This paper contains a discussion of his methods, a proof of the theorem, and a direct proof of the Canonical Element Conjecture…

We describe a simple method that produces automatically closed forms for the coefficients of continued fractions expansions of a large number of special functions. The function is specified by a non-linear differential equation and initial…

In this note we set a configuration space description of the equivariant connective K-homology groups with coefficients in a unital C*-algebra for proper actions. Over this model we define a connective assembly map and prove that in this…

In this technical note a general procedure is described to construct internally consistent splitting methods for the numerical solution of differential equations, starting from matching pairs of explicit and diagonally implicit Runge-Kutta…

In this paper we give a short, elementary proof of the following too extreme cases of the Leopoldt conjecture: the case when $\K/\Q$ is a solvable extension and the case when it is a totally real extension in which $p$ splits completely.…

We propose to study proof search from a coinductive point of view. In this paper, we consider intuitionistic logic and a focused system based on Herbelin's LJT for the implicational fragment. We introduce a variant of lambda calculus with…

The direct or algorithmic approach for the Jacobian problem, consisting of the direct construction of the inverse polynomials is proposed. The so called principle and derived Jacobi conditions are proposed and discussed. The algorithmic…

We develop a finite KKG-theory of C*-algebras following Arlettaz- H.Inassaridze's approach to finite algebraic K-theory. The Browder- Karoubi-Lambre's theorem on the orders of the elements for finite algebraic K-theory is extended to finite…

We prove the splitting of the Kummer exact sequence and related exact sequences in arithmetic geometry.

In this paper, we use a new method to prove cut-elimination of weak intuitionistic tense logic. This method focuses on splitting the contraction rule and cut rules. Further general theories and applications of this method shall be developed…

We propose a new method, probabilistic divide-and-conquer, for improving the success probability in rejection sampling. For the example of integer partitions, there is an ideal recursive scheme which improves the rejection cost from…

A new method based on the rejection sampling for finding statistical tests is proposed. This method is conceptually intuitive, easy to implement, and applicable for arbitrary dimension. To illustrate its potential applicability, three…

We develop differential calculus and gauge theory on a finite set G. An elegant formulation is obtained when G is supplied with a group structure and in particular for a cyclic group. Connes' two-point model (which is an essential…

We deal with various splitting methods in algebraic logic. The word `splitting' refers to splitting some of the atoms in a given relation or cylindric algebra each into one or more subatoms obtaining a bigger algebra, where the number of…