Related papers: On Weil-Stark elements, II: refined Stark conjectu…
We present the status of the Farrell-Jones Conjecture for algebraic K-theory for a group G and arbitrary coefficient rings R. We add new groups for which the conjecture is known to be true and study inheritance properties. We discuss new…
We describe a conjectural construction (in the spirit of Hilbert's 12th problem) of units in abelian extensions of certain base fields which are neither totally real nor CM. These base fields are quadratic extensions with exactly one…
The purpose of this article is to shed new light on the combinatorial structure of Kazhdan-Lusztig cells in infinite Coxeter groups $W$. Our main focus is the set $\D$ of distinguished involutions in $W$, which was introduced by Lusztig in…
A series of physically motivated operations appearing in the study of composite materials are interpreted in terms of elementary continued fraction transforms of matrix valued, rational Stieltjes functions.
We define a refined topological vertex which depends in addition on a parameter, which physically corresponds to extending the self-dual graviphoton field strength to a more general configuration. Using this refined topological vertex we…
In the previous paper "Symmetric Crystals and Affine Hecke Algebras of Type B", we formulated a conjecture on the relations between certain classes of irreducible representations of affine Hecke algebras of type B and symmetric crystals for…
In this paper, we define a special class of elements in the algebras obtained by the Cayley Dickson process, called l elements. We find conditions such that these elements to be invertible. These conditions can be very useful for finding…
The assumptions needed to prove Cox's Theorem are discussed and examined. Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and, arguably, not natural.
We construct a logic-enriched type theory LTTW that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum. We formalise many results from that book in LTTW, including Weyl's definition of…
We prove the strong Atiyah conjecture for right-angled Artin groups and right-angled Coxeter groups. More generally, we prove it for groups which are certain finite extensions or elementary amenable extensions of such groups.
We formulate some refinements of Goldbach's conjectures based on heuristic arguments and numerical data. For instance, any even number greater than 4 is conjectured to be a sum of two primes with one prime being 3 mod 4. In general, for…
In this work, we define the notions of Wronskian and simplified Wronskian for Stieltjes derivatives and study some of their properties in a similar manner to the context of time scales or the usual derivative. Later, we use these tools to…
Using determinant representations for partition functions of the corresponding square ice models and the method proposed recently by one of the authors, we investigate refined enumerations of vertically symmetric alternating-sign matrices,…
In this paper we obtain sharp results for Waring's problem over general finite rings, by using a combination of Artin-Wedderburn theory and Hensel's lemma and building on new proofs of analogous results over finite fields that are achieved…
First, we shall formulate and prove Theorem of Lie-Kolchin type for a cone and derive some algebro-geometric consequences. Next, inspired by a recent result of Dinh and Sibony we pose a conjecture of Tits type for a group of automorphisms…
We show that positive elements with respect to the twisted convolutions, belonging to some ultra-test function space of certain order at origin, belong to the ultra-test function space of the same order everywhere. We apply the result to…
This paper presents the methodology for the system requirements and architecture w.r.t. their decomposition and refinement. It also introduces ideas of refinement layers and of refinement-based verification.
We define and study the counterpart of the Wiener algebra in the quaternionic setting, both for the discrete and continuous case. We prove a Wiener-L\'evy type theorem and a factorization theorem. We give applications to Toeplitz and…
A Vitali-type theorem for vector lattice-valued modulars with respect to filter convergence is proved. Some applications are given to modular convergence theorems for moment operatorsin the vector lattice setting, and also for the Brownian…
By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.