搜索结果：Theory

Solving a decision theory problem usually involves finding the actions, among a set of possible ones, which optimize the expected reward, possibly accounting for the uncertainty of the environment. In this paper, we introduce the possibility to encode decision theory problems with Probabilistic Answer Set Programming under the credal semantics via decision atoms and utility attributes. To solve the task we propose an algorithm based on three layers of Algebraic Model Counting, that we test on several synthetic datasets against an algorithm that adopts answer set enumeration. Empirical results show that our algorithm can manage non trivial instances of programs in a reasonable amount of time. Under consideration in Theory and Practice of Logic Programming (TPLP).

Within the context of human-robot interaction (HRI), Theory of Mind (ToM) is intended to serve as a user-friendly backend to the interface of robotic systems, enabling robots to infer and respond to human mental states. When integrated into robots, ToM allows them to adapt their internal models to users' behaviors, enhancing the interpretability and predictability of their actions. Similarly, Explainable Artificial Intelligence (XAI) aims to make AI systems transparent and interpretable, allowing humans to understand and interact with them effectively. Since ToM in HRI serves related purposes, we propose to consider ToM as a form of XAI and evaluate it through the eValuation XAI (VXAI) framework and its seven desiderata. This paper identifies a critical gap in the application of ToM within HRI, as existing methods rarely assess the extent to which explanations correspond to the robot's actual internal reasoning. To address this limitation, we propose to integrate ToM within XAI frameworks. By embedding ToM principles inside XAI, we argue for a shift in perspective, as current XAI research focuses predominantly on the AI system itself and often lacks user-centered explanations. Inco

We give an elementary description of $2$-categories $\mathbf{Cat}\left(\mathcal{E}\right)$ of internal categories, functors and natural transformations, where $\mathcal{E}$ is a category modelling Lawvere's elementary theory of the category of sets (ETCS). This extends Bourke's characterisation of $2$-categories $\mathbf{Cat}\left(\mathcal{E}\right)$ where $\mathcal{E}$ has pullbacks to take account for the extra properties in ETCS, and Lawvere's characterisation of the (one dimensional) category of small categories to take account of the two-dimensional structure. Important two-dimensional concepts which we introduce include $2$-well-pointedness, full-subobject classifiers, and the categorified axiom of choice. Along the way, we show how generating families (resp. orthogonal factorisation systems) on $\mathcal{E}$ give rise to generating families (resp. orthogonal factorisation systems) on $\mathbf{Cat}\left(\mathcal{E}\right)_{1}$, results which we believe are of independent interest.

Viscous hydrodynamics serves as a successful mesoscopic description of the Quark-Gluon Plasma produced in relativistic heavy-ion collisions. In order to investigate, how such an effective description emerges from the underlying microscopic dynamics we calculate the hydrodynamic and non-hydrodynamic modes of linear response in the sound channel from a first-principle calculation in kinetic theory. We do this with a new approach wherein we discretize the collision kernel to directly calculate eigenvalues and eigenmodes of the evolution operator. This allows us to study the Green's functions at any point in the complex frequency space. Our study focuses on scalar theory with quartic interaction and we find that the analytic structure of Green's functions in the complex plane is far more complicated than just poles or cuts which is a first step towards an equivalent study in QCD kinetic theory.

The Gersten conjecture is still an open problem of algebraic $K$-theory for mixed characteristic discrete valuation rings. In this paper, we establish non-unital algebraic $K$-theory which is modified to become an exact functor from the category of non-unital algebras to the stable $\infty$-category of spectra. We prove that for any almost unital algebra, the non-unital $K$-theory homotopically decomposes into the non-unital $K$-theory the corresponding ideal and the residue algebra, implying the Gersten property of non-unital $K$-theory of the the corresponding ideal.

The unitary representation theory of locally compact contraction groups and their semi-direct products with $\mathbb{Z}$ is studied. We put forward the problem of completely characterising such groups which are type I or CCR and this article provides a stepping stone towards a solution to this problem. In particular, we determine new examples of type I and non-type-I groups in this class, and we completely classify the irreducible unitary representations of the torsion-free groups, which are shown to be type I. When these groups are totally disconnected, they admit a faithful action by automorphisms on an infinite locally-finite regular tree; this work thus provides new examples of automorphism groups of regular trees with interesting representation theory, adding to recent work on this topic.

The point of view of these notes on the topic is to bring out the flavour that Representation Theory is an extension of the first course on Group Theory. We also emphasize the importance of the base field. These notes cover completely the theory over complex numbers which is Character Theory. A large number of worked-out examples are the main feature of these notes. The prerequisite for this note is basic group theory and linear algebra.

Let $Γ$ be a lattice in a locally compact group $G$. In earlier work, we used $KK$-theory to equip the $K$-groups of any $Γ$-$C^{*}$-algebra on which the commensurator of $Γ$ acts with Hecke operators. When $Γ$ is arithmetic, this gives Hecke operators on the $K$-theory of certain $C^{*}$-algebras that are naturally associated with $Γ$. In this paper, we first study the topological $K$-theory of the arithmetic manifold associated to $Γ$. We prove that the Chern character commutes with Hecke operators. Afterwards, we show that the Shimura product of double cosets naturally corresponds to the Kasparov product and thus that the $KK$-groups associated to an arithmetic group $Γ$ become true Hecke modules. We conclude by discussing Hecke equivariant maps in $KK$-theory in great generality and apply this to the Borel-Serre compactification as well as various noncommutative compactifications associated with $Γ$. Along the way we discuss the relation between the $K$-theory and the integral cohomology of low-dimensional manifolds as Hecke modules.

We study a relation between the Drinfeld modules and the even dimensional noncommutative tori. A non-abelian class field theory is developed based on this relation. Explicit generators of the Galois extensions are constructed.

We construct a version of Beilinson's regulator as a map of sheaves of commutative ring spectra and use it to define a multiplicative variant of differential algebraic K-theory. We use this theory to give an interpretation of Bloch's construction of K_3-classes and the relation with dilogarithms. Furthermore, we provide a relation to Arakelov theory via the arithmetic degree of metrized line bundles, and we give a proof of the formality of the algebraic K-theory of number rings.

Game dynamics theory, as a field of science, the consistency of theory and experiment is essential. In the past 10 years, important progress has been made in the merging of the theory and experiment in this field, in which dynamics cycle is the presentation. However, the merging works have not got rid of the constraints of Euclidean two-dimensional cycle so far. This paper uses a classic four-strategy game to study the dynamic structure (non-Euclidean superplane cycle). The consistency is in significant between the three ways: (1) the analytical results from evolutionary dynamics equations, (2) agent-based simulation results from learning models and (3) laboratory results from human subjects game experiments. The consistency suggests that, game dynamic structure could be quantitatively predictable, observable and controllable in general.

The current status of the recent developments of the second-order gauge-invariant cosmological perturbation theory is reviewed. To show the essence of this perturbation theory, we concentrate only on the universe filled with a single scalar field. Through this review, we point out the problems which should be clarified for the further theoretical sophistication of this perturbation theory. This review is an extension of the review paper [K.~Nakamura, "Second-Order Gauge-Invariant Cosmological Perturbation Theory: Current Status", Advances in Astronomy, vol.2010 (2010), 576273.]. We also expect that this theoretical sophistication will be also useful to discuss the future developments in cosmology as a precise science.

Shape coexistence in even-even nuclei is observed when the ground state band of a nucleus is accompanied by another K=0 band at similar energy but with radically different structure. We attempt to predict regions of shape coexistence throughout the nuclear chart using the parameter-free proxy-SU(3) symmetry and standard covariant density functional theory. Within the proxy-SU(3) symmetry the interplay of shell model magic numbers, formed by the spin-orbit interaction, and the 3-dimensional isotropic harmonic oscillator magic numbers, leads to the prediction of specific horizontal and vertical stripes on the nuclear chart in which shape coexistence should be possible. Within covariant density functional theory, specific islands on the nuclear chart are found, in which particle-hole excitations leading to shape coexistence are observed. The role played by particle-hole excitations across magic numbers as well as the collapse of magic numbers as deformation sets in is clarified.

Canonical formulation of quantum field theory on the Light Front (LF) is reviewed. The problem of constructing the LF Hamiltonian which gives the theory equivalent to original Lorentz and gauge invariant one is considered. We describe possible ways of solving this problem: (a) the limiting transition from the equal-time Hamiltonian in a fastly moving Lorentz frame to LF Hamiltonian, (b) the direct comparison of LF perturbation theory in coupling constant and usual Lorentz-covariant Feynman perturbation theory. Gauge invariant regularization of LF Hamiltonian via introducing a lattice in transverse coordinates and imposing periodic boundary conditions in LF coordinate $x^-$ for gauge fields on the interval $|x^-|< L$ is considered. We find that LF canonical formalism for this regularization avoid usual most complicated constraints connecting zero and nonzero modes of gauge fields.

An open problem in polarization theory is to determine the binary operations that always lead to polarization (in the general multilevel sense) when they are used in Arıkan style constructions. This paper, which is presented in two parts, solves this problem by providing a necessary and sufficient condition for a binary operation to be polarizing. This (first) part of the paper introduces the mathematical framework that we will use in the second part to characterize the polarizing operations. We define uniformity preserving, irreducible, ergodic and strongly ergodic operations and we study their properties. The concepts of a stable partition and the residue of a stable partition are introduced. We show that an ergodic operation is strongly ergodic if and only if all its stable partitions are their own residues. We also study the products of binary operations and the structure of their stable partitions. We show that the product of a sequence of binary operations is strongly ergodic if and only if all the operations in the sequence are strongly ergodic. In the second part of the paper, we provide a foundation of polarization theory based on the ergodic theory of binary operations th

In this article, we further the study of higher K-theory of dg categories via universal invariants, initiated by the second named author. Our main result is the co-representability of non-connective K-theory by the base ring in the universal localizing motivator. As an application, we obtain for free higher Chern characters, resp. higher trace maps, e.g. from non-connective K-theory to cyclic homology, resp. to topological Hochschild homology.

Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the existence of sets of consistent correlation functions, to demonstrate some of their properties in a model-independent manner, and to derive explicit expressions for OPE coefficients and coefficients of partition functions in terms of invariants of links in three-manifolds. We show that a Morita class of (symmetric special) Frobenius algebras $A$ in a modular tensor category $\calc$ encodes all data needed to describe the correlators. A Morita-invariant formulation is provided by module categories over $\calc$. Together with a bimodule-valued fiber functor, the system (tensor category + module category) can be described by a weak Hopf algebra. The Picard group of the category $\calc$ can be used to construct examples of symmetric special Frobenius algebras. The Picard group of the category of $A$-bimodules describes the internal symmetries of the theory and allows one to identify generalized Kramers-Wannier dualities.

An open problem in polarization theory is to determine the binary operations that always lead to polarization (in the general multilevel sense) when they are used in Arıkan style constructions. This paper, which is presented in two parts, solves this problem by providing a necessary and sufficient condition for a binary operation to be polarizing. This (second) part provides a foundation of polarization theory based on the ergodic theory of binary operations which we developed in the first part. We show that a binary operation is polarizing if and only if it is uniformity preserving and its right-inverse is strongly ergodic. The rate of polarization of single user channels is studied. It is shown that the exponent of any polarizing operation cannot exceed $\frac{1}{2}$, which is the exponent of quasigroup operations. We also study the polarization of multiple access channels (MAC). In particular, we show that a sequence of binary operations is MAC-polarizing if and only if each binary operation in the sequence is polarizing. It is shown that the exponent of any MAC-polarizing sequence cannot exceed $\frac{1}{2}$, which is the exponent of sequences of quasigroup operations.

This is the report of the NSAC Subcommittee on Nuclear Theory in response to a charge by the funding agencies to review and evaluate current NSF and DOE supported efforts in nuclear theory and identify strategic plans to ensure a strong U.S. nuclear theory program under various funding scenarios.