https://hal-univ-artois.archives-ouvertes.fr/hal-03517923de Colnet, AlexisAlexisde ColnetCRIL - Centre de Recherche en Informatique de Lens - UA - Université d'Artois - CNRS - Centre National de la Recherche ScientifiqueMengel, StefanStefanMengelCRIL - Centre de Recherche en Informatique de Lens - UA - Université d'Artois - CNRS - Centre National de la Recherche ScientifiqueA Compilation of Succinctness Results for Arithmetic CircuitsHAL CCSD2021[INFO] Computer Science [cs]de Colnet, Alexis2022-01-08 14:54:182022-01-09 03:29:282022-01-08 14:54:18enConference papers1Arithmetic circuits (AC) are circuits over the real numbers with 0/1-valued input variables whose gates compute the sum or the product of their inputs. Positive AC -- that is, AC representing non-negative functions -- subsume many interesting probabilistic models such as probabilistic sentential decision diagram (PSDD) or sum-product network (SPN) on indicator variables. Efficient algorithms for many operations useful in probabilistic reasoning on these models critically depend on imposing structural restrictions to the underlying AC. Generally, adding structural restrictions yields new tractable operations but increases the size of the AC. In this paper we study the relative succinctness of classes of AC with different combinations of common restrictions. Building on existing results for Boolean circuits, we derive an unconditional succinctness map for classes of monotone AC -- that is, AC whose constant labels are non-negative reals -- respecting relevant combinations of the restrictions we consider. We extend a small part of the map to classes of positive AC. Those are known to generally be exponentially more succinct than their monotone counterparts, but we observe here that for so-called deterministic circuits there is no difference between the monotone and the positive setting which allows us to lift some of our results. We end the paper with some insights on the relative succinctness of positive AC by showing exponential lower bounds on the representations of certain functions in positive AC respecting structured decomposability.