Search results for "Predicate logic"

Polar Sets in a Nonlinear Potential Theory

1988

In this lecture we discuss nonlinear potential theory based on “A-super-harmonic functions”; the theory can be viewed as a (nonlinear) extension of the classical study of superharmonic functions in ℝn.

Model-independent separation of structure functions over an extended kinematical region

1994

A method for the separation of structure functions in (e, e′ p) experiments is proposed, which is an extension of the traditional Rosenbluth-type techniques of [1,2]. In our approach, we use a very flexible Ansatz to describe the structure functions within an extended kinematical regionG and determine its free parameters with a x2 minimization. The procedure is tested by pseudo data (12C(e, e′p)11Bg.s.) in the quasi-free region.

Invariant approach to flavor-dependent CP-violating phases in the MSSM

2004

We use a new weak basis invariant approach to classify all the observable phases in any extension of the Standard Model (SM). We apply this formalism to determine the invariant CP phases in a simplified version of the Minimal Supersymmetric SM with only three non-trivial flavour structures. We propose four experimental measures to fix completely all the observable phases in the model. After these phases have been determined from experiment, we are able to make predictions on any other CP-violating observable in the theory, much in the same way as in the Standard Model all CP-violation observables are proportional to the Jarlskog invariant.

The Hunting of the MR Model

1994

We consider experimental signatures of the standard model's minimal supersymmetric extension with a continuous $U(1)_R$ symmetry (MR model). We focus on the ability of existing and planned electron-positron colliders to probe this model and to distinguish it from both the standard model and the standard model's minimal supersymmetric extension with a discrete $R$-parity.

A variational method from the variance of energy

2005

A variational method is studied based on the minimum of energy variance. The method is tested on exactly soluble problems in quantum mechanics, and is shown to be a useful tool whenever the properties of states are more relevant than the eigenvalues. In quantum field theory the method provides a consistent second order extension of the gaussian effective potential.

Proposal for generalised supersymmetry Les Houches Accord for see-saw models and PDG numbering scheme

2013

The SUSY Les Houches Accord (SLHA) 2 extended the first SLHA to include various generalisations of the Minimal Supersymmetric Standard Model (MSSM) as well as its simplest next-to-minimal version. Here, we propose further extensions to it, to include the most general and well-established see-saw descriptions (types I/II/III, inverse, and linear) in both an effective and a simple gauged extension of the MSSM framework. In addition, we generalise the PDG numbering scheme to reflect the properties of the particles

Pseudoscalar decays into lepton pairs from rational approximants

2016

The pseudoscalar decays into lepton pairs P! ‘‘ are analyzed with the machinery of Canterbury approximants, an extension of Pade approximants to bivariate functions. This framework provides an ideal model-independent approach to implement all our knowledge of the pseudoscalar transition form factors driving these decays, can be used for data analysis, and allows to include experimental data and theoretical constraints in an easy way, and determine a systematic error. We find that previous theoretical estimates for these branching ratios have underestimated their theoretical uncertainties. From our updated results, the existing experimental discrepancies for p 0 ! e + e and h! m + m channels…

Ωc states with an extension of the local hidden gauge approach

2020

γ‐Agregation operators and some aspects of generalized aggregation problem

2010

We explore questions related to the aggregation operators and aggregation of fuzzy sets. No preliminary knowledge of the aggregation operators theory and of the fuzzy sets theory are required, because all necessary information is given in Section 2. Later we introduce a new class of γ‐aggregation operators, which “ignore” arguments less than γ. Due to this property γ‐aggregation operators simplify the aggregation process and extend the area of possible applications. The second part of the paper is devoted to the generalized aggregation problem. We use the definition of generalized aggregation operator, introduced by A. Takaci in [7], and study the pointwise extension of a γ‐agop. First publ…

The Crane Beach Conjecture

2002

A language L over an alphabet A is said to have a neutral letter if there is a letter e/spl isin/A such that inserting or deleting e's from any word in A* does not change its membership (or non-membership) in L. The presence of a neutral letter affects the definability of a language in first-order logic. It was conjectured that it renders all numerical predicates apart from the order predicate useless, i.e., that if a language L with a neutral letter is not definable in first-order logic with linear order then it is not definable in first-order. Logic with any set /spl Nscr/ of numerical predicates. We investigate this conjecture in detail, showing that it fails already for /spl Nscr/={+, *…