English
Related papers

Related papers: A criterion for the inductive Alperin weight condi…

200 papers

Lifted inference algorithms exploit symmetries in probabilistic models to speed up inference. They show impressive performance when calculating unconditional probabilities in relational models, but often resort to non-lifted inference when…

Artificial Intelligence · Computer Science 2013-11-27 Guy Van den Broeck , Adnan Darwiche

We prove that under certain mild assumptions a Lie bialgebroid integrates to a Poisson groupoid. This includes, in particular, a new proof of the existence of local symplectic groupoids for any Poisson manifold, a theorem of Karasev and of…

dg-ga · Mathematics 2007-05-23 Kirill C. H. Mackenzie , Ping Xu

Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic…

Algebraic Geometry · Mathematics 2017-02-07 Tomoyuki Abe , Daniel Caro

We present a transplantation theorem for Jacobi coefficients in weighted spaces. In fact, by using a discrete vector-valued local Calder\'{o}n-Zygmund theory, which has recently been furnished, we prove the boundedness of transplantation…

Classical Analysis and ODEs · Mathematics 2018-12-21 Alberto Arenas , Óscar Ciaurri , Edgar Labarga

We introduce Poisson double algebroids, and the equivalent concept of double Lie bialgebroid, which arise as second-order infinitesimal counterparts of Poisson double groupoids. We develop their underlying Lie theory, showing how these…

Symplectic Geometry · Mathematics 2022-07-14 Henrique Bursztyn , Alejandro Cabrera , Matias del Hoyo

A descent conjecture of Wittenberg [Wit24, Conjecture 3.7.4] predicts that if all the twists of a rationally connected torsor over a smooth base satisfy weak approximation with Brauer-Manin obstruction, then so does the base. We give an…

Algebraic Geometry · Mathematics 2026-04-14 Yisheng Tian

In this paper we present a general theory of $\Pi_{2}$-rules for systems of intuitionistic and modal logic. We introduce the notions of $\Pi_{2}$-rule system and of an Inductive Class, and provide model-theoretic and algebraic completeness…

Logic · Mathematics 2024-11-15 Rodrigo Nicolau Almeida

In our paper we consider the notion of determinant of Clifford algebra elements. We present some new formulas for determinant of Clifford algebra elements for the cases of dimension 4 and 5. Also we consider the notion of trace of Clifford…

Mathematical Physics · Physics 2016-08-29 Dmitry Shirokov

We complete our theory of weighted $L^p(w_1) \times L^q(w_2) \to L^r(w_1^{r/p} w_2^{r/q})$ estimates for bilinear bi-parameter Calder\'on--Zygmund operators under the assumption that $w_1 \in A_p$ and $w_2 \in A_q$ are bi-parameter weights.…

Classical Analysis and ODEs · Mathematics 2020-04-21 Emil Airta , Kangwei Li , Henri Martikainen , Emil Vuorinen

In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we introduce the Frobenius P-categories giving two quite different definitions of them. In this paper, we exhibit a third equivalent definition based on the form of the…

Group Theory · Mathematics 2010-04-12 Lluis Puig

We introduce quantum weighted entropy in analogy to an earlier notion of (classical) weighted entropy and derive many of its properties. These include the subadditivity, concavity and strong subadditivity property of quantum weighted…

Quantum Physics · Physics 2014-11-05 Y. Suhov , S. Zohren

We give a simple proof of a general theorem of Kotake-Narasimhan for elliptic operators in the setting of ultradifferentiable functions in the sense of Braun, Meise and Taylor. We follow the ideas of Komatsu. Based on an example of…

Analysis of PDEs · Mathematics 2022-08-19 Chiara Boiti , David Jornet

We describe algorithms for computing the induced nilpotent orbits in semisimple Lie algebras. We use them to obtain the induction tables for the Lie algebras of exceptional type. This also yields the classification of the rigid nilpotent…

Representation Theory · Mathematics 2009-07-09 W. A. de Graaf , A. G. Elashvili

We provide a careful analysis of the structure theorem for the $n$-qudit projective Clifford group and various encoding schemes for its elements. In particular, we derive formulas for evaluation, composition, and inversion. Our results…

Quantum Physics · Physics 2025-07-08 Sam Winnick , Jennifer Paykin

We give new criteria for the irreducibility of parabolic induction on the general linear group and its inner forms over a local non-archimedean field. In particular, we give a necessary and sufficient condition when the inducing data is of…

Number Theory · Mathematics 2017-01-12 Erez Lapid , Alberto Mínguez

A version of Paley-Wiener like theorem for connected, simply connected nilpotent Lie groups is proven.

funct-an · Mathematics 2008-02-03 Vladimir V. Kisil

For an arbitrary simple Lie algebra $\g$ and an arbitrary root of unity $q,$ the closed subsets of the Weyl alcove of the quantum group $U_q(\g)$ are classified. Here a closed subset is a set such that if any two weights in the Weyl alcove…

Quantum Algebra · Mathematics 2007-05-23 Stephen F. Sawin

In the present work, new classes of wavelet functions are presented in the framework of Clifford analysis. Firstly, some classes of new monogenic polynomials are provided based on 2-parameters weight functions. Such classes extend the well…

Classical Analysis and ODEs · Mathematics 2017-06-06 Sabrine Arfaoui , Anouar Ben Mabrouk

This article establishes a bilinear embedding for second-order divergence-form operators with complex coefficients, characterized by the simultaneous presence of first-order terms and negative potentials. This work provides a further…

Analysis of PDEs · Mathematics 2026-05-15 Lorenzo Luciano Morelato , Andrea Poggio

We present a new inductive rule for verifying lower bounds on expected values of random variables after execution of probabilistic loops as well as on their expected runtimes. Our rule is simple in the sense that loop body semantics need to…

Logic in Computer Science · Computer Science 2021-08-12 Marcel Hark , Benjamin Lucien Kaminski , Jürgen Giesl , Joost-Pieter Katoen