# MathCS Seminar

This is the homepage of the Chapman University Mathematics, Physics, and Computation Seminar

*Seminar Organizers:* Mihaela Vajiac and Justin Dressel

## Spring 2017

The seminar talks are in Von Neumann Hall VN 116 (545 W Palm Ave corner of W Palm Ave and railroad, Orange, CA 92866).

See [http://www.chapman.edu/discover/maps-directions/index.aspx Maps and directions], Von Neumann Hall is Building 38 on the [http://www.chapman.edu/discover/_files/CU_CampusMap2012-13-2.pdf Campus map]

### Wednesday, February 15th at noon (tea and cookies at 11:30am)

#### *Speaker:* **Gerhard Heinzmann, Université de Lorraine/CNRS & Archives Henri-Poincaré (UMR 7117), Nancy, France**

*Title:* **The Structuralist Roots of Mathematical Understanding Reconsidered: Poincaré’s heritage**

*Abstract: * This paper proposes a reconsideration of mathematical structuralism. It adopts the "practical turn" that owes much to Henri Poincare. By reconsstructing his group theoretic approach of geometry, it seems possible to explain the main difficulty of modern structuralism, inaugurated by the French collective Bourbaki around the middle of the XXth century: the unclear ontological status of ‘structures’ and ‘places’.
For Poincaré, the formation of the group concept - a 'universal' - is suggested by a specific system of stipulated sensations and, read as a relational set, the general group concept constitutes a model of the group axioms, which are exemplified (in the Goodmanien sense) by the sensation system. In other words, the shape created in the mind leads to a particular type of platonistic universals, which is a model (in the model theoretical sens) of the mathematical axiom system of the displacement group. The elements of the displacement group are independent and complet entities with respect to the axiom system of the group. But, by analysing the subgroups of the displacement group (common to geometries with constant curvature) one transformes the variables of the axiom system in ‘places’ whose ‘objects’ lack any ontological commitment except with respect to the specified axioms.
In general, a structure R is interpreted as a second order relation which is exemplified by (axiomatic) systems according to the pragmatic maxim of Charles Sanders Peirce.

### Friday, February 10th at 2pm (tea and cookies at 1:30pm)

#### *Speaker:* **Natalie Paquette, Burke Fellow, Walter Burke Institute of Theoretical Physics at CalTech**

*Title:* **Moonshine: Old and New**

*Abstract: * The whimsically-named Monstrous Moonshine is a mathematical story born in the late 1970's, which provided startling connections between two fundamental objects in mathematics. It eventually found an explanatory framework in the physics of an exotic solution of string theory. Starting in 2010, moonshine phenomena reemerged in the context of a more conceptually and physically central corner of string theory. In this talk, I will survey both old and new developments in moonshine with an emphasis on their physical meanings, and highlight the as-yet mysterious connections between the many beautiful mathematical and physical objects at play. I will summarize recent work clarifying these moonshine structures in string theory.

### Monday, February 6th to Saturday, February 11

#### *Speaker:* **9th ANNUAL CECAT WORKSHOP IN POINTFREE MATHEMATICS**

*Title:* **9th ANNUAL CECAT WORKSHOP IN POINTFREE MATHEMATICS**

*Abstract: * Talks in Von Neumann Hall throughout the week.

### Friday, February 3rd at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Dr. Alberto Fernandez-Nieves, Professor of soft condensed matter physics at Georgia Tech**

*Title:* **Active nematics on tori**

*Abstract: * We will discuss our recent results with active nematics on toroidal surfaces. We will first
briefly describe how we generate and stabilize an otherwise unstable toroidal drop. We
use these droplets to study the interplay between nematic order, geometry and
topology. We find defect unbinding and defect-curvature coupling, consistent with
theoretical expectations for inactive ordered materials arranged on the surface a torus.
In our experiments, however, the number of defects is far larger than what one would
expect for inactive nematics. This brings about interesting analogies with what we could
call the high-temperature limit of inactive nematic liquid crystals.

### Monday, January 9th at 4pm (tea and cookies at 2:30pm)

#### *Speaker:* **Professor Uwe Kahler, Universidade de Aveiro, Portugal**

*Title:* **Riemann-Hilbert problems in Clifford analysis**

*Abstract: * One of the classic topics in Complex Analysis is the question of boundary value problems for holomorphic functions, so-called Riemann-Hilbert problems. This is not only for pure inner mathematical reasons, but also for its many applications, ranging from Materials with Memory, Inverse Scattering problems, to Statistical Physics. Due to its easy applicability since the beginning the question of Riemann-Hilbert problems in higher dimensions has caught the interest of many mathematicians. But there are essential differences between the two-dimensional case and the higher-dimensional case. In this talk we will present the general framework and highlight the difference between the two cases. Several open problems in the framework of hypercomplex analysis are being discussed.

### Monday, January 9th at 3pm (tea and cookies at 2:30pm)

#### *Speaker:* **Professor Paula Cerejeiras, Universidade de Aveiro, Portugal**

*Title:* **Applications of Monogenic Wavelets to Image Processing **

*Abstract: * We present an overview of applications of Clifford analysis to problems in image processing. As Clifford analysis techniques are strongly linked to the geometry of the underlying space it has generate an increasing interest in its applications to analytic signals in the last decade. Motivated by the problem of edge detection we introduce the concept of monogenic signal and discuss appropriate wavelet frames for it. We will finalize with a discussion on the group theoretical approach.

## Fall 2016

The seminar talks are in Von Neumann Hall VN 116 (545 W Palm Ave corner of W Palm Ave and railroad, Orange, CA 92866).

See [http://www.chapman.edu/discover/maps-directions/index.aspx Maps and directions], Von Neumann Hall is Building 38 on the [http://www.chapman.edu/about/_files/maps-and-directions/current-maps/campus-map.pdf Campus Map]

### Thursday, December 15th at 4:00pm (tea and cookies at 3:30pm)

#### *Speaker:* **Alexander Kurz, University of Leicester**

*Title:* **Reasoning in Applied Logics**

*Abstract: * Reasoning is a fundamental challenge in many areas of Computer Science such as databases (query-answering), semantic web (ontologies), artifical ingelligence (planning), and software engineering (formal methods, verification). But reasoning in general purpose logics such as first-order predicate logic does not lend itself well to automatisation. Over the decades, this lead to the succesful development of a multitude of bespoke logics, each tailored to a specific application (time, knowledge, obligations, probabilities, dynamics, …).
With the growing success of these logics applications are getting more ambitious and require reasoning methods for combinations of such logics. In this talk, we present an approach that aims at designing good proof systems for a wide variety of logics based on so-called multi-type display calculi. We will also report on our work of building tools that support reasoning about and in such calculi.

### Thursday, December 8th at 4:00pm (tea and cookies at 3:30pm)

#### *Speaker:* **Dr. Michael Campbell, CSUF**

*Title:* **The Statistical Mechanics of Bounded-Rational Potential Games with Applications**

*Abstract: * Frequently, real economic agents do not follow purely rational strategies. These individual non-rational behaviors (due to errors in judgment, incomplete information, emotional bias, etc.) can result in some fascinating organized large-scale structures, which depend on the degree of non-rational behavior.

We look at two such models for Potential Games [Shapley and Monderer]: a dynamical drift-diffusion model, and a static large deviation theory model based on Shannon information entropy and arbitrage. The equilibrium measure in both cases is the Gibbs measure found in statistical mechanics. We show that the variables that gauge non-rational behavior in both models are related to “temperature” by a fluctuation-dissipation relation.

A type of localized discrete Cournot oligopoly has a rich phase diagram with an "antiferromagnetic" checkerboard state, striped states and maze-like states with varying widths, and finally a "paramagnetic" unordered state. Such phases have economic implications as to how agents compete given various restrictions on how goods are distributed.

The theory is also applied to a Speculative and Hedging Model in Oil and U.S. Dollar Markets [Carfi and Musolino] for a single multinational “airline” and many “bank” players. Based on results for the Nash equilibrium (zero temperature) and preliminary results, there is a phase transition for which a single equilibrium exists at higher non-rational behavior (high temperature), and two equilibria at lower non-rational behavior (low temperature), when the “airline” makes no purchase of oil. The low temperature phase is in the spirit of the Sonnenschein–Mantel–Debreu theorem, with the extra insight of symmetry-breaking to explain multiple equilibria. Likewise, Huw Dixon’s result on the “inevitability of collusion” is shown to hold for a Cournot oligopoly with a Veblen good. Purely rational neoclassical theory (i.e., Nash equilibrium analysis) alone does not predict this, even though it is observed to occur in more general cases.

### Tuesday, December 6th at 4:00pm (tea and cookies at 3:30pm)

#### *Speaker:* **Professor Alain Yger, IMB, Universit ́e de Bordeaux, Talence, France**

*Title:* **An arithmetic elimination theorem and bounds for multivariate residues**

*Abstract: * I will present an elimination theorem inspired by a classical theorem of Oskar Perron, combined with the approach proposed in 2005 by Zbigniew Jelonek towards the sharp geometric effectiveness of Hilbert’s Nullstellensatz. I will show next how it can be used in order to get precise estimates (in terms of the geometric and arithmetic complexity of all the data, fitting with both geometric and arithmetic B ́ezout theorems) for total sums of multivariate residues related to polynomials maps defined over Q over an algebraic variety also defined over Q. Methods start with revisiting Euclid’s algorithm, together with Bergman-Weil developments. This is very recent joint work with Mart ́ın Sombra (ICREA and University of Barcelona).

### Thursday, December 1st at 4:00pm (tea and cookies at 3:30pm)

#### *Speaker:* **Prof. Herbert W. Hamber, University of California at Irvine**

*Title:* **The Problem with Quantum Gravitation**

*Abstract: * Of the four fundamental forces, Gravity is the one that has been studied the longest. Besides being an immediate fact of everyday life, it still presents us today with some of the deepest challenges in contemporary physics. Einstein’s (classical) relativistic Gravity is unique, in the sense that it influences both the very largest and the very smallest length scales. These include black holes, pulsars, quasars, the Big Bang, and the Universe as a whole, at one end of the spectrum, and the microscopic structure of space-time and unified theories at the other end. Moreover, one of its most basic predictions (gravitational waves) has recently been detected on earth.
Recent attempts at a quantum theory of Gravity have tried to combine, in a consistent framework, what some have regarded as the two greatest achievements of 20-th century physics: General Relativity and Quantum Mechanics. A major challenge has been to develop specific predictions that might be tested by observation. The aim of my talk will be to give a very broad brush (and hopefully elementary) survey of our understanding of Gravity and its Quantum extension.

### Thursday, November 17th at 4:15pm (tea and cookies at 3:45pm)

#### *Speaker:* **Prof. Daniel Alpay, Chapman University**

*Title:* **Linear stochastic systems, commutative and non commutative: a white noise space approach**

*Abstract: * The Gelfand triple consisting of the Schwartz functions the Lebesgue space and tempered distributions play a key role in analysis, and in particular in the theory of partial differential equations. We describe related triples, where the Lebesgue space is replaced by the symmetric (resp. full) Fock space associated to the Lebesgue space. The term "white noise space" in the title refers to Hida's white noise space, which is a construction of the symmetric Fock space associated to the Lebesgue space using the Bochner-Minlos theorem. The tempered distributions are now replaced by spaces of stochastic distributions. These are instances of a new family of topological algebras, which generalizes the notion of Banach algebra.
As applications we study stationary increments stochastic processes and their derivatives, stochastic calculus, and linear stochastic systems, where randomness is also in the parameters of the system.

The talk is based on joint works with Haim Attia, Palle Jorgensen, Alon Kipnis, David Levanony, Ariel Pinhas, and Guy Salomon.

### Thursday, November 10th at 4:15pm (tea and cookies at 3:45pm)

#### *Speaker:* **Prof. Matthew Leifer, Chapman University**

*Title:* **Plausibility Measures on Test Spaces**

*Abstract: * Plausibility measures are structures for reasoning in the face of uncertainty that generalize probabilities, unifying them with weaker structures like possibility measures and comparative probability relations. So far, the theory of plausibility measures has only been developed for classical sample spaces, but there are various reasons for
wanting to apply them to quantum theory, as I shall explain. In this talk, I will generalize the theory to test spaces, so that plausibility
measures can be applied to general operational theories, and to quantum theory in particular. Our main results are on when a plausibility
measure agrees with a probability measure, i.e. when its comparative relations coincide with those of a probability measure. For strictly
finite test spaces we obtain a precise analogue of the classical result that the Archimedean condition is necessary and sufficient for agreement
between a plausibility and a probability measure. In the locally finite case, the Archimedean condition implies the weaker condition of almost
agreement, and one needs a stronger version of the Archimedean condition to get agreement. This is the same as the condition needed in the
classical measure-theoretic case, even though we are only dealing with tests with a finite number of outcomes.

This talk is based on joint work with Tobias Fritz (preprint available at: https://arxiv.org/abs/1505.01151 )

### CECHA Conference: Friday to Monday, November 4th to November 7th in Sandhu Conference Center

#### *Speaker:* **CECHA: Celebrating Daniel Alpay’s 60th birthday**

*Title:* **International Conference on Complex Analysis and Operator Theory**

*Abstract: * For directions, schedule, and book of abstracts, see CECHA Webpage: CECHA Webpage,

### Thursday, October 27th at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Prof. Roman Buniy, Chapman University**

*Title:* **Geometric invariants associated with linear transformations**

*Abstract: * Invariant operators associated with linear transformations naturally lead to invariant differential forms and related geometric invariants.
Complex analytic properties of transformations provide an efficient way to generate and compute the invariants.

### Thursday, October 20th at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Christopher Cantwell, USC**

*Title:* **Quantum Chess, Making Quantum Phenomena Accessible**

*Abstract: * Quantum phenomena have remained largely inaccessible to the general public. There tends to be a scare factor associated with the word “Quantum”, with the usual responses being along the lines of “too complicated for me.” This is in large part due to the alien nature of phenomena such as superposition and entanglement. However, Quantum Computing is a very active area of research and one day we will have games that run on those quantum computers. Quantum phenomena such as superposition and entanglement will seem as normal as gravity. Is it possible to create such games today? Can we make games that are built on top of a realistic quantum simulation and introduce players of any background to quantum concepts in a fun and mentally stimulating way?

On of the difficulties with any quantum simulation run on a classical computer is that the Hilbert space grows exponentially, making simulations of an appreciable size physically impossible due largely to memory restrictions. Here we will discuss the conception and development of Quantum Chess, and how to overcome some of the difficulties faced. We can then ask the question, “What’s next?” What are some of the difficulties Quantum Chess still faces, and what is the future of quantum games?

### Thursday, October 13th at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **N.D. Hari Dass, Tata Centre for Interdisciplinary Sciences, Tata Inst. for Fundamental Research (TIFR-TCIS), Hyderabad, India**

*Title:* **Three results on weak measurements**

*Abstract: * I shall present three important results on weak measurements.
They are:
i) repeated weak measurements on a single copy can not provide any information on it and further that in the limit of very large such mea- surements, weak measurements have exactly the same characterstics as strong measurements.However, a number of interesting results can be obtained for joint probabilities for the random walks in the quantum state space under such repeated weak measurements,
ii) the apparent non-invasiveness of weak measurements is no more advantageous than strong measurements in the spe- cific context of Leggett-Garg measurements when errors are properly taken into account and finally, iii) weak value measurements are optimal, in the precise sense of Wootters and Fields, when the post-selected states are mu- tually unbiased with respect to the eigenstates of the observable whose weak values are being measured. Furthermore, notion of weak value coordinates for state spaces are introduced and elaborated.
It is shown that the metric on the state space in these coordinates is conformal.

### Thursday, October 6th at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Prof. Ahmed Sebbar, Bordeaux University **

*Title:* **Differentially algebraic functions **

*Abstract: * We call an analytic function f(z), defined on some open subset Differentially Algebraic (DA) if it satisfies some differential equation of the form Q(z, f(z), f'(z),\cdots, f^{(n)}(z)) = 0 for all z in its domain, where Q is a nonzero polynomial of n+2 variables, with complex coefficients.The four functions: The exponential functions e^z, the Euler Gamma function Gamma(z), the Riemann Zeta function zeta(s) and the Jacobi theta function theta(tau) are all related by Mellin transformations.

We explain briefly why Gamma and zeta are not DA but the function theta verifies a nonlinear differential equation of the third order. We give various reasons (Geometry, Arithmetics, Dynamical Systems… ) as to why this equation must exist.

### Thursday, September 22nd at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Dr. Josh Mutus from Google, Santa Barbara **

*Title:* **What we do at the Google Quantum Hardware team**

*Abstract: * We’re trying to build a quantum computer capable of serving Google’s billions of users worldwide. I’ll introduce why Google wants to build a quantum computer and outline our two major thrusts: quantum annealing and error-corrected universal quantum computation. I’ll describe how we’re building our quantum computer from the ground up, starting with the microfabrication techniques used to engineer our superconducting qubits. Also, I’ll share overview of our new Quantum Hardware lab, including specialized high-capacilty cryostats, custom built high-frequency electronics and a our stack of open-source experimental control software.

Josh works with the team of Dr. John Martinis, who heads a cutting-edge experimental program for realizing a quantum computer with superconducting quantum bits. You can read about some of their recent accomplishments here: http://web.physics.ucsb.edu/~martinisgroup/

### Thursday, September 15th at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Prof. Ali Nayeri, Chapman University **

*Title:* **Truly quantum Gibbs: Thermal state of a system whose charges don’t commute **

*Abstract: * I present a detailed analysis for the classical stability of $4$
dimensional Anti-de Sitter spacetime (AdS$_4$) by decomposing the
first-order perturbations of a spherical symmetric gravitational
field into so called tensor harmonics which transform as
irreducible representative of the rotation group (Regge-Wheeler
decomposition). It is shown that there is no nontrivial
stationary perturbation for the angular momentum $l < 2$. The
stability analysis forces the frequency of the gravitational modes
to be constrained in a way that the frequency of scalar modes are
constrained.

### CECHA Workshop: Monday to Monday, August 22nd to August 29th at 9am (tea and cookies at 8:30am)

#### *Speaker:* **Professor Takashi Aoki, Kindai University**

*Title:* **Operators of infinite order and exact WKB analysis**

*Abstract: * Contents and Description:
Part I Differential operators, microdifferential operators and pseudodifferential operators of infinite order
1. Introduction
2. Algebraic definitions of pseudodifferential operators in complex analytic category
3. Kernel functions
4. Symbols of pseudodifferential operators and symbolic calculus
5. Exponential calculus
6. Applications

Part II Exact WKB analysis 1. Introduction 2. WKB solutions of ODE of second order with a large parameter 3. Borel sums of WKB solutions and connection formulas 4. WKB solutions and microdifferential operators 5. Higher-order equations and infinite-order equations 6. Applications to special functions

Prerequisites for this lecture are complex function theory and ordinary differential equations in the complex domain.

### Friday, August 26th at 11am (tea and cookies at 10:30am)

#### *Speaker:* **Nicole Yunger Halpern (Institute for Quantum Information and Matter, California **

*Title:* **Truly quantum Gibbs: Thermal state of a system whose charges don’t commute **

*Abstract: * The grand canonical ensemble lies at the core of statistical mechanics. A small system thermalizes to this state while exchanging heat and particles with a bath. A quantum system may exchange quantities, or “charges,” represented by operators that fail to commute. Whether such a system thermalizes, and what form the thermal state has, concerns truly quantum thermodynamics. I characterize this state in three ways: First, I generalize the system-and-bath microcanonical ensemble. Tracing out the bath yields the system’s thermal state. Second, this thermal state is expected to be the fixed point of typical dynamics. Finally, the thermal state is completely passive (unable to output thermodynamic work) in a resource-theory model for thermodynamics. This study opens new avenues into equilibrium in the presence of quantum noncommutation.
References:
Yunger Halpern et al. Nature Communications 7, 12051 (2016). Yunger Halpern arXiv:1409.7845 (2014).
This work was conducted with Philippe Faist, Jonathan Oppenheim, and Andreas Winter.

### Tuesday, August 23rd at 11am (tea and cookies at 10:30am)

#### *Speaker:* **Professor Howard Wiseman of Griffith University, and the Centre for Quantum Computation and Communication Technology**

*Title:* **Quantum State Smoothing - what does an open quantum system do when it is only partly observed? (by Howard Wiseman and Ivonne Guevara)**

*Abstract: * Under noisy observations, estimation theory allows one to infer the state of the measured system, if its a priori statistics are given. In the continuous time situation, three different types of estimation can be distinguished: filtering, which is estimating of the state at time t from earlier records; retro-filtering, which is estimating the state at time t from later records; and smoothing, which is estimating the state at time t from both earlier and later records. Of the three, smoothing allows the greatest precision. This theory has been well developed in classical systems, but its application to quantum systems has only recently begun to be explored. Previous works have used the term “quantum smoothing” to mean estimating classical parameters, [Tsang, Phys. Rev. Lett. 102, 250403 (2009)], which is essentially classical smoothing in which the noisy observation of the classical parameters is mediated by a quantum system. Here we introduce quantum state smoothing, where the state of a partially observed open quantum system itself is smoothed [Guevara and Wiseman, Phys. Rev. Lett. 115, 180407 (2015).]. We achieve this by applying classical smoothing to a hypothetical unobserved noisy measurement record correlated with the stochastic dynamics ("quantum trajectories") of the system, induced by that hypothetical measurement. Using the formalism of linear quantum trajectories, we simulate quantum state smoothing for a qubit, and quantify how well the unobserved results can be estimated. Our investigations shed new light on the nature of the quantum state.

### Thursday, August 18th at 4:00pm (tea and cookies at 3:30pm)

#### *Speaker:* **Professor Fabrizio Colombo, Politecnico di Milano**

*Title:* **Quaternionic spectral theory**

*Abstract:* In this talk we give an overview of the quaternionic spectral theory based on the notion of S-spectrum. We present the state of the art of the quaternionic version of the various functional calculi associated with slice hyperholomorphic functions. Moreover we discuss the spectral theorem for quaternionic (unbounded) normal operators using the notion of S-spectrum. The proof consists of first establishing a spectral theorem for quaternionic bounded normal operators and then using a transformation which maps a quaternionic unbounded normal operator to a quaternionic bounded normal operator. With the spectral theorem we complete the foundation of spectral analysis of quaternionic operators. An important motivation for studying the spectral theorem for quaternionic unbounded normal operators is given by the subclass of unbounded anti-self adjoint quaternionic operators which plays a crucial role in the quaternionic quantum mechanics.

## Spring 2016

The seminar talks are in Von Neumann Hall VN 116 (545 W Palm Ave corner of W Palm Ave and railroad, Orange, CA 92866).

See [http://www.chapman.edu/discover/maps-directions/index.aspx Maps and directions], Von Neumann Hall is Building 38 on the [http://www.chapman.edu/discover/_files/CU_CampusMap2012-13-2.pdf Campus map]

### Thursday, May 19th at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Professor Marco Panza, Professor of Philosophy at Universite Paris 1 (Sorbonne)**

*Title:* **Platonisms (in Philosophy of Mathematics) **

Abstract: Platonism is a very often mentioned option in the discussion about the foundation and methodology of mathematics, but it encompasses quite different conceptions. In my talk, I will try to present an overview of different platonist views in contemporary (and less contemporary) philosophy of mathematics.

### Wednesday, April 27th at 12noon (tea and cookies at 11:30am)

#### *Speaker:* **Alessandra Palmigiano, TU Delft, The Netherlands**

*Title:* **Algorithmic correspondence and canonicity for non-distributive logics**

*Abstract:* Since the 1970s, correspondence theory has been one of the most important items in the toolkit of modal logicians. Unified correspondence [6] is a very recent approach, which has imported techniques from duality, algebra and formal topology [10] and exported the state of the art of correspondence theory well beyond normal modal logic, to a wide range of logics including, among others, intuitionistic and distributive lattice-based (normal modal) logics [8], non-normal (regular) modal logics [17], substructural logics [9, 7, 5], hybrid logics [13], and mu-calculus [2, 4, 3].

The breadth of this work has stimulated many and varied applications. Some are closely related to the core concerns of the theory itself, such as the understanding of the relationship between different methodologies for obtaining canonicity results [16, 7], or of the phenomenon of pseudo-correspondence [11]. Other, possibly surprising applications include the dual characterizations of classes of finite lattices [14], the identification of the syntactic shape of axioms which can be translated into analytic rules of a proper display calculus [15], and the design of display-type calculi for the logics of capabilities and resources, and their applications to the logical modelling of business organizations [1]. Finally, the insights of unified correspondence theory have made it possible to determine the extent to which the Sahlqvist theory of classes of normal DLEs can be reduced to the Sahlqvist theory of normal Boolean expansions, by means of Gödel-type translations [12]. It is interesting to observe that, through the development of applications such as [16, 15, 11], the algorithm ALBA acquires novel conceptual significance, which cannot be reduced exclusively to its original purpose as a computational tool for correspondence theory.

The most important technical tools in unified correspondence are: (a) a very general syntactic definition of the class of Sahlqvist formulas, which applies uniformly to each logical signature and is given purely in terms of the order-theoretic properties of the algebraic interpretations of the logical connectives; (b) the algorithm ALBA, which effectively computes first-order correspondents of input term-inequalities, and is guaranteed to succeed on a wide class of inequalities (the so-called inductive inequalities) which, like the Sahlqvist class, can be defined uniformly in each mentioned signature, and which properly and significantly extends the Sahlqvist class.

In this talk, these technical tools will be illustrated in the setting of normal lattice expansions [9]. Time permitting, constructive canonicity will be also discussed [7, 3], as well as the epistemic interpretation of modalities on RS-frames [5].

References

[1] M. Bilkova, G. Greco, A. Palmigiano, A. Tzimoulis, and N. Wijnberg. The logic of resources and capabilities. In preparation, 2016. [2] W. Conradie and A. Craig. Canonicity results for mu-calculi: an algorithmic approach. Journal of Logic and Computation, forthcoming. ArXiv preprint 1408.6367. [3] W. Conradie, A. Craig, A. Palmigiano, and Z. Zhao. Constructive canonicity for lattice- based fixed point logics. Submitted. ArXiv preprint 1603.06547. [4] W. Conradie, Y. Fomatati, A. Palmigiano, and S. Sourabh. Algorithmic correspondence for intuitionistic modal mu-calculus. Theoretical Computer Science, 564:30–62, 2015. [5] W. Conradie, S. Frittella, A. Palmigiano, M. Piazzai, A. Tzimoulis, and N. Wijnberg. Categories: How I Learned to Stop Worrying and Love Two Sorts. Submitted. ArXiv preprint 1604.00777. [6] W. Conradie, S. Ghilardi, and A. Palmigiano. Unified Correspondence. In A. Baltag and S. Smets, editors, Johan van Benthem on Logic and Information Dynamics, volume 5 of Outstanding Contributions to Logic, pages 933–975. Springer International Publishing, 2014. [7] W. Conradie and A. Palmigiano. Constructive canonicity of inductive inequalities. Submitted. ArXiv preprint 1603.08341. [8] W. Conradie and A. Palmigiano. Algorithmic correspondence and canonicity for distributive modal logic. Annals of Pure and Applied Logic, 163(3):338 – 376, 2012. [9] W. Conradie and A. Palmigiano. Algorithmic correspondence and canonicity for non- distributive logics. Journal of Logic and Computation, forthcoming. ArXiv preprint 1603.08515. [10] W. Conradie, A. Palmigiano, and S. Sourabh. Algebraic modal correspondence: Sahlqvist and beyond. Submitted. [11] W. Conradie, A. Palmigiano, S. Sourabh, and Z. Zhao. Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA. Submitted. Arxiv preprint 1511.04271. [12] W. Conradie, A. Palmigiano, and Z. Zhao. Sahlqvist via translation. Submitted. ArXiv preprint 1603.08220. [13] W. Conradie and C. Robinson. On Sahlqvist theory for hybrid logic. Journal of Logic and Computation, DOI: 10.1093/logcom/exv045. [14] S. Frittella, A. Palmigiano, and L. Santocanale. Dual characterizations for finite lattices via correspondence theory for monotone modal logic. Journal of Logic and Computation, forthcoming. ArXiv preprint 1408.1843. [15] G. Greco, M. Ma, A. Palmigiano, A. Tzimoulis, and Z. Zhao. Unified correspondence as a proof-theoretic tool. Journal of Logic and Computation, forthcoming. ArXiv preprint 1603.08204. [16] A. Palmigiano, S. Sourabh, and Z. Zhao. J ́onsson-style canonicity for ALBA-inequalities. Journal of Logic and Computation, DOI:10.1093/logcom/exv041. [17] A. Palmigiano, S. Sourabh, and Z. Zhao. Sahlqvist theory for impossible worlds. Journal of Logic and Computation, forthcoming. ArXiv preprint 1603.08202.

### Monday, April 18th at 2:30pm (tea and cookies at 2:00pm)

#### *Speaker:* **Isabel M. Serrano (CSUF)**

*Title:* **Geometry in the Dark Ages**

*Abstract:* Isidore's Etymologies enjoyed a wide audience during the
medieval period. We examine the structure of mathematics, as it is
described in the Etymologies, and we discuss the sources on which
Isidore relied when he collected his etymological definitions. We
remark that for Isidore, mathematics is described as ``the science of
learning*, and among his sources there have been the classical Greek*
authors, most likely available in Boethius' and Cassiodorus' Latin
translations performed in the early 6th century. These translations
are today lost. That's why the authors writing in the middle ages had
to start from scratch in many of their investigations. We will
illustrate this idea with one example, namely the discovery of
curvature. In a paper published in 1952, J. L. Coolidge points out
that ``the first writer to give a hint of the definition of curvature
was the fourteenth century writer Nicolas Oresme". Coolidge writes
further: ``Oresme conceived the curvature of a circle as inversely
proportional to the radius; how did he find this out?" Tractatus de
configurationibus qualitatum et motuum, written by Orseme sometime
between 1351 and 1355, contains the key.

### Wednesday, April 13th at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Matt Pusey (Perimeter Institute)**

*Title:* **From the Kochen-Specker theorem to robust noncontextuality inequalities**

*Abstract:* Published in 1967, the Kochen-Specker theorem shows that quantum
measurements do not simply reveal pre-existing values (satisfying a
natural requirement). A different result along these lines, Bell's
theorem, has had a much larger impact on quantum information. I will
argue that this is because Bell's theorem has a clear operational
meaning, independent of the quantum formalism and directly relevant to
experiment. This is the motivation for various attempts to
"operationalize" the Kochen-Specker theorem, and I will describe the
approach to this I find most compelling. To the extent that this
operationalization has succeeded, the audience should not require any
knowledge of quantum theory to understand it!

### Wednesday, April 13th at 11am (tea and cookies at 10:30am)

#### *Speaker:* **Luca Spada, University of Salerno, Italy**

*Title:* **A general algebraic approach to dualities**

*Abstract:* In this talk I will show how several dualities in mathematics e.g., the ones of Gelfand, Pontryagin, Stone, etc. can be seen as the manifestation of a general framework in which one develops the algebraic geometry of structures different from fields. This is a joint work with O. Caramello (University Paris Diderot) and V. Marra (University of Milan).

### Monday, February 15th at 4:00pm (tea and cookies at 3:30pm)

#### *Speaker:* **Mircea Pitici, Ph.D. in Mathematics Education, Cornell University**

*Title:* **Interpreting Mathematics, Counterfactuals, and the Paradox of Reward**

*Abstract:* I will describe how he uses the vast literature on mathematics in my Writing in Mathematics seminar, how it relates to The Best Writing on Mathematics series I edit for Princeton, and how it matters to my teaching of mathematics and worldview.

### Saturday, February 6th, 2014 in Von Neumann Hall

#### 8th Annual CECAT Workshop in Pointfree Mathematics

**Hosted by the Center of Excellence in Computation, Algebra and Topology (CECAT)**

Held at Chapman University, Von Neumann Hall (545 W. Palm Ave, Orange, CA 92866)

**Program**

10.00am-10.50am **Andrew Moshier (Chapman University)**

"Contexts that determine locales"

11:00 - 11:50am **Ales Pultr (Charles University, Prague)**

"An aspect of scatteredness in frames"

12:00 - 12:50pm **Papiya Bhattacharjee (Pennsylvania State University, Erie)**

"Complemented frames"

2:00 - 2:50pm **Peter Jipsen (Chapman University)**

"Duality for (residuated) lattices and correspondence theory"

3:00 - 3:50pm **Joanne Walters-Wayland (CECAT)**

"Smallest dense C and C*-quotients"

### Friday, January 8th at 10:00am (tea and cookies at 9:30am)

#### *Speaker:* **Professor Paula Cerejeiras, Departamento de Matematica, Universidade de Aveiro, Portugal**

*Title:* **Applications of the monogenic signal processing to radiological images**

*Abstract:* Medical ultrasonography imaging for nodule detection is a
non-invasive diagnostic test, which combines low cost, short
acquisition time, and sensitivity to the number and size of abnormal
nodules. However, a chief problem is that ultrasound images have low
contrast, making it hard for the experts to interpret and classify the
nodules detected. In this talk we discuss techniques based on the
concepts of monogenic signal which aims to enhance the edges of
abnormalities. Hereby, we use a combination of Riesz transforms and
monogenic curvelets in order to determine the phase and phase angle of
a given image. Riesz transforms have remarkable properties: they are
shift- and scale-invariant, preserve $L^2$ inner-product, and are
steerable. Based on this approach, one is able to determine size and
position of abnormalities present in images.

### Thursday, January 7th at 4pm (tea and cookies at 3:30pm)

#### *Speaker:* **Professor Uwe Kahler, Departamento de Matematica, Universidade de Aveiro, Portugal**

*Title:* **Compressed sensing for quaternionic representation of color images**

*Abstract:* In the last decade a new paradigm has taken hold in
signal and image processing: compressed sensing. The possibility of
reconstructing a signal by only a few measurements under the condition
that the representation in a given basis or frame is sparse has
allowed to look at new methods and algorithms. Although sparsity
constraints are directly connected only with non-convex optimization
the uniqueness property shown by Candes, Rhomberg, and Tao allows the
application of simple convex algorithms, such as linear
programming. In parallel, during the last 15 years quaternion-valued
functions have been used to represent color images, in particular RGB
images. Hereby, representations using the discrete and continuous
quaternionic Fourier transforms play a particular important role. In
this talk we will show that it is possible to combine both approaches,
i.e. to use sparse sampling methods in the quaternionic representation
of color images. This is a priori not so evident due to the
non-commutative structure of the quaternions. For instance, it is not
clear that quaternionic sampling matrices will fulfil the RIP
condition as the traditional condition for compressed
sensing. Therefore, we intend to go back to the origins of compressed
sensing and follow the original approach by Rauhut to show that
quaternionic color images allow sparse reconstruction by means of an
$l_1$-minimization with high probability.