On Accuracy and Coherence with Infinite Opinion Sets

There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Pettigrew 2016). However, this equivalence has been established only when the set of propositions on which credence functions are defined is finite. In this paper, I establish connections between accuracy dominance and coherence when credence functions are defined on an infinite set of propositions. In particular, I establish the necessary results to extend the classic accuracy argument for probabilism to certain classes of infinite sets of propositions including countably infinite partitions.

WEAK and CO-WEAK BAER MODULES: موديلات بيير الضعيفة والضعيفة المرافقة

The object of this paper is study the notions of weak Baer and weak Rickart rings and modules. We obtained many characterizations of weak Rickart rings and provide their properties. Relations ship between a weak Rickart (weak Baer) module and its endomorphism ring are studied. We proved that a weak Baer module with no infinite set of nonzero orthogonal idempotent elements in its endomorphism ring is precisely a Baer module. In addition, the endomorphism ring of a semi-projective weak Rickart module is semi-potent and the endomorphism ring of a semi-injective coweak Rickart module is semi-potent. Furthermore, we show that a free module is weak Baer if and only if its endomorphism ring is left weak Baer.

Rosenthal L∞-theorem revisited

A remarkable Rosenthal L∞-theorem is extended to operators T : L∞(Γ, E) → F , where Γ is an infinite set, E a locally bounded (for instance, normed or p-normed) space, and F any topological vector space.

Algebras, traces, and boundary correlators in $$ \mathcal{N} $$ = 4 SYM

We study supersymmetric sectors at half-BPS boundaries and interfaces in the 4d $$ \mathcal{N} $$ N = 4 super Yang-Mills with the gauge group G, which are described by associative algebras equipped with twisted traces. Such data are in one-to-one correspondence with an infinite set of defect correlation functions. We identify algebras and traces for known boundary conditions. Ward identities expressing the (twisted) periodicity of the trace highly constrain its structure, in many cases allowing for the complete solution. Our main examples in this paper are: the universal enveloping algebra $$ U\left(\mathfrak{g}\right) $$ U g with the trace describing the Dirichlet boundary conditions; and the finite W-algebra $$ \mathcal{W}\left(\mathfrak{g},{t}_{+}\right) $$ W g t + with the trace describing the Nahm pole boundary conditions.

Categorical Functional Data Analysis. The cfda R Package

Categorical functional data represented by paths of a stochastic jump process with continuous time and a finite set of states are considered. As an extension of the multiple correspondence analysis to an infinite set of variables, optimal encodings of states over time are approximated using an arbitrary finite basis of functions. This allows dimension reduction, optimal representation, and visualisation of data in lower dimensional spaces. The methodology is implemented in the cfda R package and is illustrated using a real data set in the clustering framework.

Functional Form of Nonmanipulable Social Choice Functions with Two Alternatives

We propose a new functional form characterization of binary nonmanipulable social choice functions on a universal domain and an arbitrary, possibly infinite, set of agents. In order to achieve this, we considered the more general case of two-valued social choice functions and describe the structure of the family consisting of groups of agents having no power to determine the values of a nonmanipulable social choice function. With the help of such a structure, we introduce a class of functions that we call powerless revealing social choice functions and show that the binary nonmanipulable social choice functions are the powerless revealing ones.

Phase transitions in the logarithmic Maxwell O(3)-sigma model

We investigate the presence of topological structures and multiple phase transitions in the O(3)-sigma model with the gauge field governed by Maxwell’s term and subject to a so-called Gausson’s self-dual potential. To carry out this study, it is numerically shown that this model supports topological solutions in 3-dimensional spacetime. In fact, to obtain the topological solutions, we assume a spherically symmetrical ansatz to find the solutions, as well as some physical behaviors of the vortex, as energy and magnetic field. It is presented a planar view of the magnetic field as an interesting configuration of a ring-like profile. To calculate the differential configurational complexity (DCC) of structures, the spatial energy density of the vortex is used. In fact, the DCC is important because it provides us with information about the possible phase transitions associated with the structures located in the Maxwell–Gausson model in 3D. Finally, we note from the DCC profile an infinite set of kink-like solutions associated with the parameter that controls the vacuum expectation value.

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems

Predictive monitoring—making predictions about future states and monitoring if the predicted states satisfy requirements—offers a promising paradigm in supporting the decision making of Cyber-Physical Systems (CPS). Existing works of predictive monitoring mostly focus on monitoring individual predictions rather than sequential predictions. We develop a novel approach for monitoring sequential predictions generated from Bayesian Recurrent Neural Networks (RNNs) that can capture the inherent uncertainty in CPS, drawing on insights from our study of real-world CPS datasets. We propose a new logic named Signal Temporal Logic with Uncertainty (STL-U) to monitor a flowpipe containing an infinite set of uncertain sequences predicted by Bayesian RNNs. We define STL-U strong and weak satisfaction semantics based on whether all or some sequences contained in a flowpipe satisfy the requirement. We also develop methods to compute the range of confidence levels under which a flowpipe is guaranteed to strongly (weakly) satisfy an STL-U formula. Furthermore, we develop novel criteria that leverage STL-U monitoring results to calibrate the uncertainty estimation in Bayesian RNNs. Finally, we evaluate the proposed approach via experiments with real-world CPS datasets and a simulated smart city case study, which show very encouraging results of STL-U based predictive monitoring approach outperforming baselines.

Infinite pseudo-conformal symmetries of classical $T \bar T$, $J \bar T $ and $J T_a$ - deformed CFTs

We show that T\bar{T}, J\bar{T}TT‾,JT‾ and JT_aJTa - deformed classical CFTs posses an infinite set of symmetries that take the form of a field-dependent generalization of two-dimensional conformal transformations. If, in addition, the seed CFTs possess an affine U(1)U(1) symmetry, we show that it also survives in the deformed theories, again in a field-dependent form. These symmetries can be understood as the infinitely-extended conformal and U(1)U(1) symmetries of the underlying two-dimensional CFT, seen through the prism of the ``dynamical coordinates’’ that characterise each of these deformations. We also compute the Poisson bracket algebra of the associated conserved charges, using the Hamiltonian formalism. In the case of the J\bar{T}JT‾ and JT_{a}JTa deformations, we find two copies of a functional Witt - Kac-Moody algebra. In the case of the T\bar{T}TT‾ deformation, we show that it is also possible to obtain two commuting copies of the Witt algebra.

Mellin amplitudes for 1d CFT

We define a Mellin amplitude for CFT1 four-point functions. Its analytical properties are inferred from physical requirements on the correlator. We discuss the analytic continuation that is necessary for a fully nonperturbative definition of the Mellin transform. The resulting bounded, meromorphic function of a single complex variable is used to derive an infinite set of nonperturbative sum rules for CFT data of exchanged operators, which we test on known examples. We then consider the perturbative setup produced by quartic interactions with an arbitrary number of derivatives in a bulk AdS2 field theory. With our formalism, we obtain a closed-form expression for the Mellin transform of tree-level contact interactions and for the first correction to the scaling dimension of “two-particle” operators exchanged in the generalized free field theory correlator.