Mathematics Commons^™

Nidus Idearum. Scilogs, Ii: De Rerum Consectatione, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Welcome into my scientific lab! My lab[oratory] is a virtual facility with noncontrolled conditions in which I mostly perform scientific meditation and chats: a nest of ideas (nidus idearum, in Latin). I called the jottings herein scilogs (truncations of the words scientific, and gr. Λόγος – appealing rather to its original meanings "ground", "opinion", "expectation"), combining the welly of both science and informal (via internet) talks (in English, French, and Romanian). In this second book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, some of them already put at work, others …

Mathematics. Possible Subjects For The High School Entrance Examination And The Capacity Examination In Romania, Florentin Smarandache, Constantin Coanda, Ionuț Ivanescu

Branch Mathematics and Statistics Faculty and Staff Publications

The present book tries to offer students and teachers knowledge evaluation tools for all the chapters from the current Romanian mathematics syllabus. In the evolution of teenagers, the phase of admission in high schools mobilizes particular efforts and emotions. The present workbook aims to be a permanent advisor in the agitated period starting with the capacity examination and leading to the admittance to high school. The tests included in this workbook have a complementary character as opposed to the many materials written with the purpose to support all those who prepare for such examinations and they refer to the entire …

Complements To Classic Topics Of Circles Geometry, Florentin Smarandache, Ion Patrascu

Branch Mathematics and Statistics Faculty and Staff Publications

We approach several themes of classical geometry of the circle and complete them with some original results, showing that not everything in traditional math is revealed, and that it still has an open character. The topics were chosen according to authors’ aspiration and attraction, as a poet writes lyrics about spring according to his emotions.

The Prominence Of Affect In Creativity: Expanding The Conception Of Creativity In Mathematical Problem Solving, Eric L. Mann, Scott A. Chamberlin, Amy K. Graefe

Faculty Publications

Constructs such as fluency, flexibility, originality, and elaboration have been accepted as integral components of creativity. In this chapter, the authors discuss affect (Leder GC, Pehkonen E, Törner G (eds), Beliefs: a hidden variable in mathematics education? Kluwer Academic Publishers, Dordrecht, 2002; McLeod DB, J Res Math Educ 25:637–647, 1994; McLeod DB, Adams VM, Affect and mathematical problem solving: a new perspective. Springer, New York, 1989) as it relates to the production of creative outcomes in mathematical problem solving episodes. The saliency of affect in creativity cannot be underestimated, as problem solvers require an appropriate state of mind in order …

Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …

Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.

Mathematical Frameworks For Consciousness, Menas C. Kafatos, Ashok Narasimhan

Mathematics, Physics, and Computer Science Faculty Articles and Research

If Awareness is fundamental in the universe, mathematical frameworks are better suited to reveal its fundamental aspects than physical models. Awareness operates through three fundamental laws which apply at all levels of reality and is characterized by three universal powers. We explore and summarize in general terms mathematical formalisms that may take us as close as possible to conscious awareness, beginning with the primary relationships between the observer with the observed, using a Hilbert space approach. We also examine insights from category theory, and the calculus of indications or laws of forms. Mathematical frameworks as fundamental languages of our interaction …

The Spectral Theorem For Quaternionic Unbounded Normal Operators Based On The S-Spectrum, Daniel Alpay, Fabrizio Colombo, David P. Kimsey

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we prove the spectral theorem for quaternionic unbounded normal operators using the notion of S-spectrum. The proof technique 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 this paper we complete the foundation of spectral analysis of quaternionic operators. The S-spectrum has been introduced to define the quaternionic functional calculus but it turns out to be the correct object also for the spectral theorem for quaternionic normal operators. The fact that the correct notion of …

Characterizations Of Rectangular (Para)-Unitary Rational Functions, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

We here present three characterizations of not necessarily causal, rational functions which are (co)-isometric on the unit circle:
(i) through the realization matrix of Schur stable systems,
(ii) the Blaschke-Potapov product, which is then employed to introduce an easy-to-use description of all these functions with dimensions and McMillan degree as parameters,
(iii) through the (not necessarily reducible) Matrix Fraction Description (MFD).
In cases (ii) and (iii) the poles of the rational functions involved may be anywhere in the complex plane, but the unit circle (including both zero and infinity). A special attention is devoted to exploring the gap between the …

The H∞ Functional Calculus Based On The S-Spectrum For Quaternionic Operators And For N-Tuples Of Noncommuting Operators, Daniel Alpay, Fabrizio Colombo, Tao Qian, Irene Sabadini, Tao Qian

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we extend the H∞ functional calculus to quaternionic operators and to n-tuples of noncommuting operators using the theory of slice hyperholomorphic functions and the associated functional calculus, called S-functional calculus. The S-functional calculus has two versions one for quaternionic-valued functions and one for Clifford algebra-valued functions and can be considered the Riesz-Dunford functional calculus based on slice hyperholomorphicity because it shares with it the most important properties.

The S-functional calculus is based on the notion of S-spectrum which, in the case of quaternionic normal operators on a Hilbert space, is also the notion of spectrum that appears …

Wiener Algebra For The Quaternions, Daniel Alpay, Fabrizio Colombo, David P. Kimsey, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We define and study the counterpart of the Wiener algebra in the quaternionic setting, both for the discrete and continuous case. We prove a Wiener-Lévy type theorem and a factorization theorem. We give applications to Toeplitz and Wiener-Hopf operators.

The Spectral Theorem For Unitary Operators Based On The S-Spectrum, Daniel Alpay, Fabrizio Colombo, David P. Kimsey, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

The quaternionic spectral theorem has already been considered in the literature, see e.g. [22], [31], [32], however, except for the finite dimensional case in which the notion of spectrum is associated to an eigenvalue problem, see [21], it is not specified which notion of spectrum underlies the theorem.

In this paper we prove the quaternionic spectral theorem for unitary operators using the S-spectrum. In the case of quaternionic matrices, the S-spectrum coincides with the right-spectrum and so our result recovers the well known theorem for matrices. The notion of S-spectrum is relatively new, see [17], and has been used for …

A New Realization Of Rational Functions, With Applications To Linear Combination Interpolation, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz, Dan Volok

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce the following linear combination interpolation problem (LCI): Given N distinct numbers w1,…wN and N+1 complex numbers a1,…,aN and c, find all functions f(z) analytic in a simply connected set (depending on f) containing the points w1,…,wN such that ∑u=1Nauf(wu)=c. To this end we prove a representation theorem for such functions f in terms of an associated polynomial p(z). We first introduce the following two operations, (i) substitution of p, and (ii) multiplication by monomials zj,0≤j

The Stationary Phase Method For Real Analytic Geometry, Domenico Napoletani, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

We prove that the existence of isolated solutions of systems of equations of analytical functions on compact real domains in R^p, is equivalent to the convergence of the phase of a suitable complex valued integral I(h) for h→∞. As an application, we then use this result to prove that the problem of establishing the irrationality of the value of an analytic function F(x) at a point x₀ can be rephrased in terms of a similar phase convergence.

The Varieties Of Indispensability Arguments, Marco Panza, Andrea Sereni

MPP Published Research

The indispensability argument (IA) comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and …

In Honor And Memory Of Professor Lajos Takács, Aliakbar M. Haghighi, Sri G. Mohanty

Applications and Applied Mathematics: An International Journal (AAM)

This issue of AAM is dedicated to honoring and remembering Professor Lajos Takács. While wrapping up the manuscript of my book (co-authored by Dr. Dimitar Mishev): Delayed and Network Queues, I went back to celebrate his 1962 book, Introduction to the Theory of Queues, where he gives an example illustrating a waiting time paradox, where the waiting time of a passenger waiting for a bus at a bus stop is infinite, while, in reality, he will wait a finite unit of time before a bus arrive. I sent Professor Takács an e-mail on December 4, 2015, inquiring if he had …

Two-Dimensional 1-Meixner Random Vectors And Their Semi-Quantum Operators, Gabriela Popa, Aurel I Stan

Communications on Stochastic Analysis

No abstract provided.

A Poisson Shot-Noise Process Of Pulses And Its Scaling Limits, Mine Çaglar

Communications on Stochastic Analysis

No abstract provided.

Solving A Class Of Linear Skorokhod Stochastic Differential Equations, Karl-Heinz Fichtner, Steffen Klaere, Volkmar Liebscher

Communications on Stochastic Analysis

No abstract provided.

Large Deviations For Stochastic Tidal Dynamics Equation, Murugan Suvinthra, Sivaguru S Sritharan, Krishnan Balachandran

Communications on Stochastic Analysis

No abstract provided.

On The Lévy-Khinchin Decomposition Of Generating Functionals, Uwe Franz, Malte Gerhold, Andreas Thom

Communications on Stochastic Analysis

No abstract provided.

White Noise Analysis For The Canonical Lévy Process, Rolando D Navarro Jr., Frederi G Viens

Communications on Stochastic Analysis

No abstract provided.

Krylov-Veretennikov Formula For Functionals From The Stopped Wiener Process, Georgii V Riabov

Communications on Stochastic Analysis

No abstract provided.

Doob's Decomposition Theorem For Near-Submartingales, Hui-Hsiung Kuo, Kimiaki Saitô

Communications on Stochastic Analysis

No abstract provided.

Manzanar Murakami As Radical Mathematician, Logan Bishop-Van Horn

Scholarly Undergraduate Research Journal at Clark (SURJ)

In Karen Tei Yamashita’s Tropic of Orange, characters attempt to make meaning of the many complex structures in which they are situated. In his unique meaning-making process, Manzanar Murakami, a homeless Sansei, “conducts” the Los Angeles traffic with a silver baton from atop a highway overpass. In conducting his music, Murakami per- forms complex mathematics, finding meaning in connection by mapping the rhythmic flow of humans, machines, and goods. Through his baton, to the sounds of a beautiful orchestra, he translates precisely the relationships he sees before him. Murakami’s music and Yamashita’s fantastic images constitute a “mathematical realism,” a lens …

Some Quantum Dynamical Semi-Groups With Quantum Stochastic Dilation, Lingaraj Sahu, Preetinder Singh

Communications on Stochastic Analysis

No abstract provided.

Stochastic Dynamics Of Determinantal Processes By Integration By Parts, Laurent Decreusefond, Ian Flint, Nicolas Privault, Giovanni Luca Torrisi

Communications on Stochastic Analysis

No abstract provided.

On The Regularity Of One Parameter Transformation Groups In Barreled Locally Convex Topological Vector Spaces, Maximilian Bock

Communications on Stochastic Analysis

No abstract provided.

Hidden Markov Change Point Estimation, Robert J Elliott, Sebastian Elliott

Communications on Stochastic Analysis

No abstract provided.

Theoretical And Numerical Analysis Of An Optimal Execution Problem With Uncertain Market Impact, Kensuke Ishitani, Takashi Kato

Communications on Stochastic Analysis

No abstract provided.