Mathematics Commons^™

Semi De Morgan Logic Properly Displayed, Giuseppe Greco, Fei Qin, M. Andrew Moshier, Alessandra Palmigiano

Mathematics, Physics, and Computer Science Faculty Articles and Research

In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.

A General Setting For Functions Of Fueter Variables: Differentiability, Rational Functions, Fock Module And Related Topics, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

We develop some aspects of the theory of hyperholomorphic functions whose values are taken in a Banach algebra over a field—assumed to be the real or the complex numbers—and which contains the field. Notably, we consider Fueter expansions, Gleason’s problem, the theory of hyperholomorphic rational functions, modules of Fueter series, and related problems. Such a framework includes many familiar algebras as particular cases. The quaternions, the split quaternions, the Clifford algebras, the ternary algebra, and the Grassmann algebra are a few examples of them.

The Infinite Is The Chasm In Which Our Thoughts Are Lost: Reflections On Sophie Germain's Essays, Adam Glesser, Bogdan D. Suceavă, Mihaela Vajiac

Mathematics, Physics, and Computer Science Faculty Articles and Research

"Sophie Germain (1776–1831) is quite well-known to the mathematical community for her contributions to number theory [17] and elasticity theory (e.g., see [2, 5]). On the other hand, there have been few attempts to understand Sophie Germain as an intellectual of her time, as an independent thinker outside of academia, and as a female mathematician in France, facing the prejudice of the time of the First Empire and of the Bourbon Restoration, while pursuing her thoughts and interests and writing on them. Sophie Germain had to face a double challenge: the mathematical difficulty of the problems she approached and the …

Pseudo-Contractions, Rigidity, Fixed Points And Related Questions, Daniel Alpay, Vladimir Bolotnikov, David Shoikhet

Mathematics, Physics, and Computer Science Faculty Articles and Research

The class of holomorphic self-mappings of the open unit disk (which are contractions with respect to the Poincaré metric) admits a natural extension to the class of holomorphic pseudo-contractions. In this paper, we study various inequalities involving the values of derivatives of holomorphic pseudo-contractions at fixed points (particularly, at the Denjoy–Wolff fixed point).

Distributive Laws In Residuated Binars, Wesley Fussner, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

In residuated binars there are six non-obvious distributivity identities of ⋅,/,∖ over ∧,∨. We show that in residuated binars with distributive lattice reducts there are some dependencies among these identities; specifically, there are six pairs of identities that imply another one of these identities, and we provide counterexamples to show that no other dependencies exist among these.

The Fock Space As A De Branges–Rovnyak Space, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We show that de Branges–Rovnyak spaces include as special cases a number of spaces, such as the Hardy space, the Fock space, the Hardy–Sobolev space and the Dirichlet space. We present a general framework in which all these spaces can be obtained by specializing a sequence that appears in the construction. We show how to exploit this approach to solve interpolation problems in the Fock space.

A Panorama On Superoscillations, Fabrizio Colombo, Irene Sabadini, Daniele Carlo Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

Purpose of this note is to give an overview on superoscillating sequences and some of their properties. We discuss their persistence in time under Schrödinger equation, we propose various classes of superoscillating functions and we also briefly mention how they can be used to approximate some generalized functions.

Realization Of Tensor Product And Of Tensor Factorization Of Rational Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

We study the state space realization of a tensor product of a pair of rational functions. At the expense of “inflating” the dimensions, we recover the classical expressions for realization of a regular product of rational functions. Under an additional assumption that the limit at infinity of a given rational function exists and is equal to identity, we introduce an explicit formula for a tensor factorization of this function.

A More Powerful Unconditional Exact Test Of Homogeneity For 2 × C Contingency Table Analysis, Louis Ehwerhemuepha, Heng Sok, Cyril Rakovski

Mathematics, Physics, and Computer Science Faculty Articles and Research

The classical unconditional exact p-value test can be used to compare two multinomial distributions with small samples. This general hypothesis requires parameter estimation under the null which makes the test severely conservative. Similar property has been observed for Fisher's exact test with Barnard and Boschloo providing distinct adjustments that produce more powerful testing approaches. In this study, we develop a novel adjustment for the conservativeness of the unconditional multinomial exact p-value test that produces nominal type I error rate and increased power in comparison to all alternative approaches. We used a large simulation study to empirically estimate the …

Positivity, Rational Schur Functions, Blaschke Factors, And Other Related Results In The Grassmann Algebra, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

We begin a study of Schur analysis in the setting of the Grassmann algebra when the latter is completed with respect to the 1-norm. We focus on the rational case. We start with a theorem on invertibility in the completed algebra, and define a notion of positivity in this setting. We present a series of applications pertaining to Schur analysis, including a counterpart of the Schur algorithm, extension of matrices and rational functions. Other topics considered include Wiener algebra, reproducing kernels Banach modules, and Blaschke factors.

Logics For Rough Concept Analysis, Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and subformula property. These calculi modularly extend the multi-type calculi for rough algebras to a ‘nondistributive’ (i.e. general lattice-based) setting.

Positive And Generalized Positive Real Lemma For Slice Hyperholomorphic Functions, Daniel Alpay, Fabrizio Colombo, Izchak Lewkowicz, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we prove a quaternionic positive real lemma as well as its generalized version, in case the associated kernel has negative squares for slice hyperholomorphic functions. We consider the case of functions with positive real part in the half space of quaternions with positive real part, as well as the case of (generalized) Schur functions in the open unit ball.

Extending Set Functors To Generalised Metric Spaces, Adriana Balan, Alexander Kurz, Jiří Velebil

Mathematics, Physics, and Computer Science Faculty Articles and Research

For a commutative quantale V, the category V-cat can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor T (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor T_V on V-cat. The proof yields methods of explicitly calculating the extension in concrete examples, which cover well-known notions such as the Pompeiu-Hausdorff metric as well as new ones.

Conceptually, this allows us to to solve the same recursive domain equation X ≅ TX in different categories (such as sets and metric spaces) and …

Distribution Spaces And A New Construction Of Stochastic Processes Associated With The Grassmann Algebra, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

We associate with the Grassmann algebra a topological algebra of distributions, which allows the study of processes analogous to the corresponding free stochastic processes with stationary increments, as well as their derivatives.

A (Co)Algebraic Approach To Hennessy-Milner Theorems For Weakly Expressive Logics, Zeinab Bakhtiari, Helle Hvid Hansen, Alexander Kurz

Engineering Faculty Articles and Research

"Coalgebraic modal logic, as in [9, 6], is a framework in which modal logics for specifying coalgebras can be developed parametric in the signature of the modal language and the coalgebra type functor T. Given a base logic (usually classical propositional logic), modalities are interpreted via so-called predicate liftings for the functor T. These are natural transformations that turn a predicate over the state space X into a predicate over TX. Given that T-coalgebras come with general notions of T-bisimilarity [11] and behavioral equivalence [7], coalgebraic modal logics are designed to respect those. In particular, if two states are behaviourally …

Positive Subreducts In Finitely Generated Varieties Of Mv-Algebras, Leonardo M. Cabrer, Peter Jipsen, Tomáš Kroupa

Mathematics, Physics, and Computer Science Faculty Articles and Research

Positive MV-algebras are negation-free and implication-free subreducts of MV-algebras. In this contribution we show that a finite axiomatic basis exists for the quasivariety of positive MV-algebras coming from any finitely generated variety of MV-algebras.

Asymptotic Quasi-Completeness And Zfc, Mirna Džamonja, Marco Panza

MPP Published Research

The axioms ZFC of first order set theory are one of the best and most widely accepted, if not perfect, foundations used in mathematics. Just as the axioms of first order Peano Arithmetic, ZFC axioms form a recursively enumerable list of axioms, and are, then, subject to Gödel’s Incompleteness Theorems. Hence, if they are assumed to be consistent, they are necessarily incomplete. This can be witnessed by various concrete statements, including the celebrated Continuum Hypothesis CH. The independence results about the infinite cardinals are so abundant that it often appears that ZFC can basically prove very little about such cardinals. …

About A Non-Standard Interpolation Problem, Daniel Alpay, Alain Yger

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using algebraic methods, and motivated by the one variable case, we study a multipoint interpolation problem in the setting of several complex variables. The duality realized by the residue generator associated with an underlying Gorenstein algebra, using the Lagrange interpolation polynomial, plays a key role in the arguments.

The Chapman Bone Algorithm: A Diagnostic Alternative For The Evaluation Of Osteoporosis, Elise Levesque, Anton Ketterer, Wajiha Memon, Cameron James, Noah Barrett, Cyril Rakovski, Frank Frisch

Mathematics, Physics, and Computer Science Faculty Articles and Research

Osteoporosis is the most common metabolic bone disease and goes largely undiagnosed throughout the world, due to the inaccessibility of DXA machines. Multivariate analyses of serum bone turnover markers were evaluated in 226 Orange County, California, residents with the intent to determine if serum osteocalcin and serum pyridinoline cross-links could be used to detect the onset of osteoporosis as effectively as a DXA scan. Descriptive analyses of the demographic and lab characteristics of the participants were performed through frequency, means and standard deviation estimations. We implemented logistic regression modeling to find the best classification algorithm for osteoporosis. All calculations and …

Was Frege A Logicist For Arithmetic?, Marco Panza

MPP Published Research

The paper argues that Frege’s primary foundational purpose concerning arithmetic was neither that of making natural numbers logical objects, nor that of making arithmetic a part of logic, but rather that of assigning to it an appropriate place in the architectonics of mathematics and knowledge, by immersing it in a theory of numbers of concepts and making truths about natural numbers, and/or knowledge of them transparent to reason without the medium of senses and intuition.

Enthymemathical Proofs And Canonical Proofs In Euclid’S Plane Geometry, Abel Lassalle, Marco Panza

MPP Published Research

Since the application of Postulate I.2 in Euclid’s Elements is not uniform, one could wonder in what way should it be applied in Euclid’s plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.

Partially-Ordered Multi-Type Algebras, Display Calculi And The Category Of Weakening Relations, Peter Jipsen, Fei Liang, M. Andrew Moshier, Apostolos Tzimoulis

Mathematics, Physics, and Computer Science Faculty Articles and Research

"We define partially-ordered multi-type algebras and use them as algebraic semantics for multi-type display calculi that have recently been developed for several logics, including dynamic epistemic logic [7], linear logic[10], lattice logic [11], bilattice logic [9] and semi-De Morgan logic [8]."

Fast Adjustable Npn Classification Using Generalized Symmetries, Xuegong Zhou, Lingli Wang, Peiyi Zhao, Alan Mishchenko

Mathematics, Physics, and Computer Science Faculty Articles and Research

NPN classification of Boolean functions is a powerful technique used in many logic synthesis and technology mapping tools in FPGA design flows. Computing the canonical form of a function is the most common approach of Boolean function classification. In this paper, a novel algorithm for computing NPN canonical form is proposed. By exploiting symmetries under different phase assignments and higher-order symmetries of Boolean functions, the search space of NPN canonical form computation is pruned and the runtime is dramatically reduced. The algorithm can be adjusted to be a slow exact algorithm or a fast heuristic algorithm with lower quality. For …

Generalized Fock Spaces And The Stirling Numbers, Daniel Alpay, Motke Porat

Mathematics, Physics, and Computer Science Faculty Articles and Research

The Bargmann-Fock-Segal space plays an important role in mathematical physics and has been extended into a number of directions. In the present paper, we imbed this space into a Gelfand triple. The spaces forming the Fréchet part (i.e., the space of test functions) of the triple are characterized both in a geometric way and in terms of the adjoint of multiplication by the complex variable, using the Stirling numbers of the second kind. The dual of the space of test functions has a topological algebra structure, of the kind introduced and studied by the first named author and Salomon.

Herglotz Functions Of Several Quaternionic Variables, Khaled Abu-Ghanem, Daniel Alpay, Fabrizio Colombo, Izchak Lewkowicz, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We first review realizations of Herglotz functions in the unit ball of C^N and provide new insights. Then, we define the corresponding class and prove the extend the results in the case of several quaternionic variables.

Nonassociative Right Hoops, Peter Jipsen, Michael Kinyon

Mathematics, Physics, and Computer Science Faculty Articles and Research

The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of right-residuated magmas, and is shown to be a variety. These algebras generalize both right quasigroups and right hoops, and we characterize the subvarieties in which the operation x ^^ y = (x/y)y is associative and/or commutative. Narhoops with a left unit are proved to be integral if and only if ^ is commutative, and their congruences are determined by the equivalence class of the left unit. We also prove that the four identities defining narhoops are independent.

On Lattices Of Z-Ideals Of Function Rings, Themba Dube, Oghenetega Ighedo

Mathematics, Physics, and Computer Science Faculty Articles and Research

An ideal I of a ring A is a z-ideal if whenever a, b ∈ A belong to the same maximal ideals of A and a ∈ I, then b ∈ I as well. On the other hand, an ideal J of A is a d-ideal if Ann²(a) ⊆ J for every a ∈ J. It is known that the lattices Z(L) and D(L) of the ring 𝓡L of continuous real-valued functions on a frame L, consisting of z-ideals and d-ideals of 𝓡 …

Review Of G. Israel, Meccanicismo. Trionfi E Miserie Della Visione Meccanica Del Mondo, Marco Panza

MPP Published Research

"This is Giorgio's Israel last book, which appeared only a few weeks after his untimely death, in September 2015. For many reasons, it can be considered as his intellectual legacy, since it comes back, in a new and organic way, to many of the research topics to which he devoted his life and his many publications, which include several papers in Historia Mathematica. One of these papers, co-authored with M. Menghini, appeared in vol. 25/4, 1998 and was devoted to Poincaré's and Enriques's opposite views on qualitative analysis, which is a theme also dealt with in this book (pp. 117–122)."

Distributive Residuated Frames And Generalized Bunched Implication Algebras, Nikolaos Galatos, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

We show that all extensions of the (non-associative) Gentzen system for distributive full Lambek calculus by simple structural rules have the cut elimination property. Also, extensions by such rules that do not increase complexity have the finite model property, hence many subvarieties of the variety of distributive residuated lattices have decidable equational theories. For some other extensions, we prove the finite embeddability property, which implies the decidability of the universal theory, and we show that our results also apply to generalized bunched implication algebras. Our analysis is conducted in the general setting of residuated frames.

“Wrong” Side Interpolation By Positive Real Rational Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using polynomial interpolation, along with structural properties of the family of rational positive real functions, we here show that a set of m nodes in the open left half of the complex plane, can always be mapped to anywhere in the complex plane by rational positive real functions whose degree is at most m. Moreover we introduce an easy-to-find parametrization in R2m+3 of a large subset of these interpolating functions.