Positive Fragments Of Coalgebraic Logics,
2015
University Politehnica of Bucharest
Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil
Engineering Faculty Articles and Research
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn's result from Kripke frames to coalgebras for weak-pullback preserving functors. To facilitate this analysis we prove a number of category theoretic results on …
Presenting Distributive Laws,
2015
Leiden University
Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot
Engineering Faculty Articles and Research
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation …
Fundamental Mathematics Of Consciousness,
2015
Chapman University
Fundamental Mathematics Of Consciousness, Menas Kafatos
Mathematics, Physics, and Computer Science Faculty Articles and Research
We explore a mathematical formalism that ties together the observer with the observed in the view that Consciousness is primary, operating through three principles which apply at all levels, the essence of qualia of experience. The formalism is a simplified version of Hilbert space mathematics encountered in quantum mechanics. It does, however, go beyond specific interpretations of quantum mechanics and has strong philosophical foundations in Western philosophy as well as monistic systems of the East. The implications are explored and steps for the full development of this axiomatic mathematical approach to Consciousness are discussed.
Self-Mappings Of The Quaternionic Unit Ball: Multiplier Properties, Schwarz-Pick Inequality, And Nevanlinna-Pick Interpolation Problem,
2015
Chapman University
Self-Mappings Of The Quaternionic Unit Ball: Multiplier Properties, Schwarz-Pick Inequality, And Nevanlinna-Pick Interpolation Problem, Daniel Alpay, Vladimir Bolotnikov, Fabrizio Colombo, Irene Sabadini, Fabrizio Colombo
Mathematics, Physics, and Computer Science Faculty Articles and Research
We study several aspects concerning slice regular functions mapping the quaternionic open unit ball B into itself. We characterize these functions in terms of their Taylor coefficients at the origin and identify them as contractive multipliers of the Hardy space H2(B). In addition, we formulate and solve the Nevanlinna-Pick interpolation problem in the class of such functions presenting necessary and sufficient conditions for the existence and for the uniqueness of a solution. Finally, we describe all solutions to the problem in the indeterminate case.
An Extension Of Herglotz's Theorem To The Quaternions,
2015
Chapman University
An Extension Of Herglotz's Theorem To The Quaternions, Daniel Alpay, Fabrizio Colombo, David P. Kimsey, Irene Sabadini, David P. Kimsey
Mathematics, Physics, and Computer Science Faculty Articles and Research
A classical theorem of Herglotz states that a function n↦r(n) from Z into Cs×s is positive definite if and only there exists a Cs×s-valued positive measure dμ on [0,2π] such that r(n)=∫2π0eintdμ(t)for n∈Z. We prove a quaternionic analogue of this result when the function is allowed to have a number of negative squares. A key tool in the argument is the theory of slice hyperholomorphic functions, and the representation of such functions which have a positive real part in the unit ball of the quaternions. We study in great detail the case of positive definite functions.
Boundary Interpolation For Slice Hyperholomorphic Schur Functions,
2015
Ben Gurion University of the Negev
Boundary Interpolation For Slice Hyperholomorphic Schur Functions, Khaled Abu-Ghanem, Daniel Alpay, Fabrizio Colombo, David P. Kimsey, Irene Sabadini
Mathematics, Physics, and Computer Science Faculty Articles and Research
A boundary Nevanlinna-Pick interpolation problem is posed and solved in the quaternionic setting. Given nonnegative real numbers κ1,…,κN, quaternions p1,…,pN all of modulus 1, so that the 2-spheres determined by each point do not intersect and pu≠1 for u=1,…,N, and quaternions s1,…,sN, we wish to find a slice hyperholomorphic Schur function s so that
limr→1r∈(0,1)s(rpu)=suforu=1,…,N,
and
limr→1r∈(0,1)1−s(rpu)su¯¯¯¯¯1−r≤κu,foru=1,…,N.
Our arguments relies on the theory of slice hyperholomorphic functions and reproducing kernel Hilbert spaces.
A New Resolvent Equation For The S-Functional Calculus,
2015
Chapman University
A New Resolvent Equation For The S-Functional Calculus, Daniel Alpay, Fabrizio Colombo, Jonathan Gantner, Irene Sabadini
Mathematics, Physics, and Computer Science Faculty Articles and Research
The S-functional calculus is a functional calculus for (n + 1)-tuples of non necessarily commuting operators that can be considered a higher dimensional version of the classical Riesz-Dunford functional calculus for a single operator. In this last calculus, the resolvent equation plays an important role in the proof of several results. Associated with the S-functional calculus there are two resolvent operators: the left S−1 L (s, T ) and the right one S−1 R (s, T ), where s = (s0, s1, . . . , sn) ∈ Rn+1 and T = (T0, T1, . . . , Tn) is …
Infinite Product Representations For Kernels And Iteration Of Functions,
2015
Chapman University
Infinite Product Representations For Kernels And Iteration Of Functions, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz, Itzik Marziano
Mathematics, Physics, and Computer Science Faculty Articles and Research
We study infinite products of reproducing kernels with view to their use in dynamics (of iterated function systems), in harmonic analysis, and in stochastic processes. On the way, we construct a new family of representations of the Cuntz relations. Then, using these representations we associate a fixed filled Julia set with a Hilbert space. This is based on analysis and conformal geometry of a fixed rational mapping R in one complex variable, and its iterations.
Inner Product Spaces And Krein Spaces In The Quaternionic Setting,
2015
Chapman University
Inner Product Spaces And Krein Spaces In The Quaternionic Setting, Daniel Alpay, Fabrizio Colombo, Irene Sabadini
Mathematics, Physics, and Computer Science Faculty Articles and Research
In this paper we provide a study of quaternionic inner product spaces. This includes ortho-complemented subspaces, fundamental decompositions as well as a number of results of topological nature. Our main purpose is to show that a closed uniformly positive subspace in a quaternionic Krein space is ortho-complemented, and this leads to our choice of the results presented in the paper.
Spectral Theory For Gaussian Processes: Reproducing Kernels, Random Functions, Boundaries, And L2-Wavelet Generators With Fractional Scales,
2015
Chapman University
Spectral Theory For Gaussian Processes: Reproducing Kernels, Random Functions, Boundaries, And L2-Wavelet Generators With Fractional Scales, Daniel Alpay
Mathematics, Physics, and Computer Science Faculty Articles and Research
A recurrent theme in functional analysis is the interplay between the theory of positive definite functions, and their reproducing kernels, on the one hand, and Gaussian stochastic processes, on the other. This central theme is motivated by a host of applications, e.g., in mathematical physics, and in stochastic differential equations, and their use in financial models. In this paper, we show that, for three classes of cases in the correspondence, it is possible to obtain explicit formulas which are amenable to computations of the respective Gaussian stochastic processes. For achieving this, we first develop two functional analytic tools. They are: …
Improved Full-Newton-Step Infeasible Interior-Point Method For Linear Complementarity Problems,
2015
Georgia Southern University
Improved Full-Newton-Step Infeasible Interior-Point Method For Linear Complementarity Problems, Mustafa Ozen
Electronic Theses and Dissertations
In this thesis, we present an improved version of Infeasible Interior-Point Method (IIPM) for monotone Linear Complementarity Problem (LCP). One of the most important advantages of this version in compare to old version is that it only requires feasibility steps. In the earlier version, each iteration consisted of one feasibility step and some centering steps (at most three in practice). The improved version guarantees that after one feasibility step, the new iterated point is feasible and close enough to central path. Thus, the centering steps are eliminated. This improvement is based on the Lemma(Roos, 2015). Thanks to this lemma, proximity …
Partial Orders On Partial Isometries,
2015
University of Richmond
Partial Orders On Partial Isometries, William T. Ross, Stephan Ramon Garcia, Robert T. W. Martin
Department of Math & Statistics Faculty Publications
This paper studies three natural pre-orders of increasing generality on the set of all completely non-unitary partial isometries with equal defect indices. We show that the problem of determining when one partial isometry is less than another with respect to these pre-orders is equivalent to the existence of a bounded (or isometric) multiplier between two natural reproducing kernel Hilbert spaces of analytic functions. For large classes of partial isometries these spaces can be realized as the well-known model subspaces and deBranges-Rovnyak spaces. This characterization is applied to investigate properties of these pre-orders and the equivalence classes they generate.
Chebyshev Polynomials And The Frohman-Gelca Formula,
2015
University of Richmond
Chebyshev Polynomials And The Frohman-Gelca Formula, Heather M. Russell, Hoel Queffelec
Department of Math & Statistics Faculty Publications
Using Chebyshev polynomials, C. Frohman and R. Gelca introduced a basis of the Kauffman bracket skein module of the torus. This basis is especially useful because the Jones–Kauffman product can be described via a very simple Product-to-Sum formula. Presented in this work is a diagrammatic proof of this formula, which emphasizes and demystifies the role played by Chebyshev polynomials.
A Survey On Reverse Carleson Measures,
2015
University of Richmond
A Survey On Reverse Carleson Measures, Emmanuel Fricain, Andreas Hartmann, William T. Ross
Department of Math & Statistics Faculty Publications
This is a survey on reverse Carleson measures for various Hilbert spaces of analytic functions. These spaces include the Hardy, Bergman, certain harmonically weighted Dirichlet, Paley-Wiener, Fock, model (backward shift invariant), and de Branges-Rovnyak spaces. The reverse Carleson measure for backward shift invariant subspaces in the non-Hilbert situation is new.
On Algebras Which Are Inductive Limits Of Banach Spaces,
2015
Chapman University
On Algebras Which Are Inductive Limits Of Banach Spaces, Daniel Alpay, Guy Salomon
Mathematics, Physics, and Computer Science Faculty Articles and Research
We introduce algebras which are inductive limits of Banach spaces and carry inequalities which are counterparts of the inequality for the norm in a Banach algebra. We then define an associated Wiener algebra, and prove the corresponding version of the well-known Wiener theorem. Finally, we consider factorization theory in these algebra, and in particular, in the associated Wiener algebra.
Zespół Energii Odnawialnej I Zrównoważonego Rozwoju (Eozr),
2014
Wroclaw University of Technology
Zespół Energii Odnawialnej I Zrównoważonego Rozwoju (Eozr), Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
On The Indispensable Premises Of The Indispensability Argument,
2014
Institute for Advanced Studies IUSS
On The Indispensable Premises Of The Indispensability Argument, Andrea Sereni, Marco Panza
MPP Published Research
We identify four different minimal versions of the indispensability argument, falling under four different varieties: an epistemic argument for semantic realism, an epistemic argument for platonism and a non-epistemic version of both. We argue that most current formulations of the argument can be reconstructed by building upon the suggested minimal versions. Part of our discussion relies on a clarification of the notion of (in)dispensability as relational in character. We then present some substantive consequences of our inquiry for the philosophical significance of the indispensability argument, the most relevant of which being that both naturalism and confirmational holism can be dispensed …
Absolute Continuity Under Time Shift For Ornstein-Uhlenbeck Type Processes With Delay Or Anticipation,
2014
Louisiana State University
Absolute Continuity Under Time Shift For Ornstein-Uhlenbeck Type Processes With Delay Or Anticipation, Jörg-Uwe Löbus
Communications on Stochastic Analysis
No abstract provided.
An Epsilon-Nash Equilibrium For Non-Linear Markov Games Of Mean-Field-Type On Finite Spaces,
2014
Louisiana State University
An Epsilon-Nash Equilibrium For Non-Linear Markov Games Of Mean-Field-Type On Finite Spaces, Rani Basna, Astrid Hilbert, Vassili N Kolokoltsov
Communications on Stochastic Analysis
No abstract provided.
Large Deviations Estimates For Some White Noise Distributions,
2014
Louisiana State University
Large Deviations Estimates For Some White Noise Distributions, Sonia Chaari, Achref Majid, Habib Ouerdiane
Communications on Stochastic Analysis
No abstract provided.
