Axiomatic Attribution for Multilinear Functions

We study the attribution problem, that is, the problem of attributing a change in the value of a characteristic function to its independent variables. We make three contributions. First, we propose a formalization of the problem based on a standard cost sharing model. Second, we show that there is a unique attribution method that satisfies Dummy, Additivity, Conditional Nonnegativity, Affine Scale Invariance, and Anonymity for all characteristic functions that are the sum of a multilinear function and an additive function. We term this the Aumann-Shapley-Shubik method. Conversely, we show that such a uniqueness result does not hold for characteristic functions outside this class. Third, we study multilinear characteristic functions in detail; we describe a computationally efficient implementation of the Aumann-Shapley-Shubik method and discuss practical applications to pay-per-click advertising and portfolio analysis.Comment: 21 pages, 2 figures, updated version for EC '1

Axiomatization of Inconsistency Indicators for Pairwise Comparisons

This study proposes revised axioms for defining inconsistency indicators in pairwise comparisons. It is based on the new findings that "PC submatrix cannot have a worse inconsistency indicator than the PC matrix containing it" and that there must be a PC submatrix with the same inconsistency as the given PC matrix. This study also provides better reasoning for the need of normalization. It is a revision of axiomatization by Koczkodaj and Szwarc, 2014 which proposed axioms expressed informally with some deficiencies addressed in this study.Comment: This paper should have been withdrawn by the first author a long time ago. The work has been finished with another researcher, I have been pushed out the projec

A mathematical formalism for the Kondo effect in WZW branes

In this paper, we show how to adapt our rigorous mathematical formalism for closed/open conformal field theory so that it captures the known physical theory of branes in the WZW model. This includes a mathematically precise approach to the Kondo effect, which is an example of evolution of one conformally invariant boundary condition into another through boundary conditions which can break conformal invariance, and a proposed mathematical statement of the Kondo effect conjecture. We also review some of the known physical results on WZW boundary conditions from a mathematical perspective.Comment: Added explanations of the settings and main result

An Axiomatic Approach to Liveness for Differential Equations

This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques, such as loop variants, to the continuous setting. For example, ODE solutions may blow up in finite time or their progress towards the goal may converge to zero. Our approach handles these subtleties by successively refining ODE liveness properties using ODE invariance properties which have a well-understood deductive proof theory. This approach is widely applicable: we survey several liveness arguments in the literature and derive them all as special instances of our axiomatic refinement approach. We also correct several soundness errors in the surveyed arguments, which further highlights the subtlety of ODE liveness reasoning and the utility of our deductive approach. The library of common refinement steps identified through our approach enables both the sound development and justification of new ODE liveness proof rules from our axioms.Comment: FM 2019: 23rd International Symposium on Formal Methods, Porto, Portugal, October 9-11, 201