Other Mathematics Commons^™

A Note On Interpolation In The Generalized Schur Class. I. Applications Of Realization Theory, Daniel Alpay, T. Constantinescu, A. Dijksma, J. Rovnyak, A. Dijksma

Mathematics, Physics, and Computer Science Faculty Articles and Research

Realization theory for operator colligations on Pontryagin spaces is used to study interpolation and factorization in generalized Schur classes. Several criteria are derived which imply that a given function is almost the restriction of a generalized Schur function. The role of realization theory in coefficient problems is also discussed; a solution of an indefinite Carathéodory-Fejér problem is obtained, as well as a result that relates the number of negative (positive) squares of the reproducing kernels associated with the canonical coisometric, isometric, and unitary realizations of a generalized Schur function to the number of negative (positive) eigenvalues of matrices derived from …

Some Extensions Of Loewner's Theory Of Monotone Operator Functions, Daniel Alpay, Vladimir Bolotnikov, A. Dijksma, J. Rovnyak, A. Dijksma

Mathematics, Physics, and Computer Science Faculty Articles and Research

Several extensions of Loewner’s theory of monotone operator functions are given. These include a theorem on boundary interpolation for matrix-valued functions in the generalized Nevanlinna class. The theory of monotone operator functions is generalized from scalar- to matrix-valued functions of an operator argument. A notion of -monotonicity is introduced and characterized in terms of classical Nevanlinna functions with removable singularities on a real interval. Corresponding results for Stieltjes functions are presented.

Proof With Words: 2 + 11 - 1 = 12, Arthur T. Benjamin

All HMC Faculty Publications and Research

Proof with words: 2 + 11 – 1 = 12

TWo ELeVEn

A Coin Flipping Game With Non Transitive Odds, Stacy Jurgens

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.

A Multigrid Method For Elliptic Grid Generation Using Compact Schemes, Balaji S. Iyangar

Doctoral Dissertations

Traditional iterative methods are stalling numerical processes, in which the error has relatively small changes from one iteration to the next. Multigrid methods overcome the limitations of iterative methods and are computationally efficient. Convergence of iterative methods for elliptic partial differential equations is extremely slow. In particular, the convergence of the non-linear elliptic Poisson grid generation equations used for elliptic grid generation is very slow. Multigrid methods are fast converging methods when applied to elliptic partial differential equations. In this dissertation, a non-linear multigrid algorithm is used to accelerate the convergence of the non-linear elliptic Poisson grid generation method. The …

Modal Rules Are Co-Implications, Alexander Kurz

Engineering Faculty Articles and Research

In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.

La Révolution Scientifique, Les Révolutions, Et L'Histoire Des Sciences. Comment Ernest Coumet Nous A Libérés De L'Héritage D'Alexandre Koyré, Marco Panza

MPP Published Research

Dans son intervention au colloque Koyré (Paris, 1986), Ernest Coumet a suggéré que le terme «révolution scientifique» ne désigne pas chez Koyré un événement historique, mais un idéaltype, au sens de Max Weber. L'auteur discute d'abord cette thèse de Coumet et expose les arguments que ce dermier apporte pour la soutenir. Dans la deuxième partie de l'article, il critique l'usage de la notion de révolution en histoire des sciences, en s'opposant en particulier à la possibilité de distinguer dans les productions des savants une «pensée scientifique» qui serait influencée par la «pensée philosophique» et dont les bouleversements marqueraient l'avènement d'une …

Proceedings Of The First International Conference On Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability And Statistics, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In 1960s Abraham Robinson has developed the non-standard analysis, a formalization of analysis and a branch of mathematical logic, that rigorously defines the infinitesimals. Informally, an infinitesimal is an infinitely small number. Formally, x is said to be infinitesimal if and only if for all positive integers n one has xxx < 1/n. Let &>0 be a such infinitesimal number. The hyper-real number set is an extension of the real number set, which includes classes of infinite numbers and classes of infinitesimal numbers. Let’s consider the non-standard finite numbers 1+ = 1+&, where “1” is its standard part and “&” its non-standard part, …

Dialectics And The Dao: On Both, A And Non-A In Neutrosophy And Chinese Philosophy, Feng Liu, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces readers to a new approach to dialectical logic: neutrosophy. Specifically it proposes a multi-valued logic in which the statement “both A and Non-A,” historically rejected as logically incoherent, is treated as meaningful. This unity of opposites constitutes both the objective world and the subjective world –a view with deep roots in Buddhism and Daoism, including the I-Ching. This leads in turn to the presentation of a framework for the development of a contradiction oriented learning philosophy inspired by the Later Trigrams of King Wen in the I-Ching. We show that although A and Non-A are logically inconsistent, …

Rush Hour® And Dijkstra’S Algorithm, Mark Stamp, Brad Engel, Mcintosh Ewell, Victor Morrow

Faculty Publications, Computer Science

The game of Rush Hour® includes a 6 × 6 grid and game pieces representing cars and trucks. The object of the puzzle is to move a special car out of a gridlocked “traffic jam.” In this note we apply Dijkstra’s algorithm and a breadth-first search to solve any Rush Hour configuration.

Cramer-Rao Bound And Optimal Amplitude Estimator Of Superimposed Sinusoidal Signals With Unknown Frequencies, Shaohui Jia

Doctoral Dissertations

This dissertation addresses optimally estimating the amplitudes of superimposed sinusoidal signals with unknown frequencies. The Cramer-Rao Bound of estimating the amplitudes in white Gaussian noise is given, and the maximum likelihood estimator of the amplitudes in this case is shown to be asymptotically efficient at high signal to noise ratio but finite sample size. Applying the theoretical results to signal resolutions, it is shown that the optimal resolution of multiple signals using a finite sample is given by the maximum likelihood estimator of the amplitudes of signals.

Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

Algebra În Exercijii Şi Probleme Pentru Liceu, Florentin Smarandache, Ion Goian, Raisa Grigor, Vasila Marin

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Almost Periodic Factorization Of Certain Block Triangular Matrix Functions, Ilya M. Spitkovsky, Darryl H. Yong

All HMC Faculty Publications and Research

Let

where , and . For rational such matrices are periodic, and their Wiener-Hopf factorization with respect to the real line always exists and can be constructed explicitly. For irrational , a certain modification (called an almost periodic factorization) can be considered instead. The case of invertible and commuting , was disposed of earlier-it was discovered that an almost periodic factorization of such matrices does not always exist, and a necessary and sufficient condition for its existence was found. This paper is devoted mostly to the situation when is not invertible but the commute pairwise (). The complete description is …

The Best Way To Knock 'M Down, Arthur T. Benjamin, Matthew T. Fluet '99

All HMC Faculty Publications and Research

"Knock 'm Down" is a game of dice that is so easy to learn that it is being played in classrooms around the world. Although this game has been effective at developing students' intuition about probability [Fendel et al. 1997; Hunt 1998], we will show that lurking underneath this deceptively simple game are many surprising and highly unintuitive results.

Cube Puzzles, Jeremiah Farrell

Scholarship and Professional Work - LAS

Jeremiah Farrell's contribution to "The Mathemagician and Pied Puzzler: A Collection in Tribute to Martin Gardner"

Martin Gardner = Mint! Grand! Rare!, Jeremiah Farrell

Scholarship and Professional Work - LAS

Jeremiah Farrell's contirbution to "The Mathemagician and Pied Puzzler: A Collection in Tribute to Martin Gardner"

Related works:

The puzzle from figure one is also available in Colloquy (Wordways 14,2) online at: http://digitalcommons.butler.edu/wordways/vol14/iss2/8/

Bounds On A Bug, Arthur T. Benjamin, Matthew T. Fluet '99

All HMC Faculty Publications and Research

In the game of Cootie, players race to construct a "cootie bug" by rolling a die to collect component parts. Each cootie bug is composed of a body, a head, two eyes, one nose, two antennae, and six legs. Players must first acquire the body of the bug by rolling a 1. Next, they must roll a 2 to add the head to the body. Once the body and head are both in place, the remaining body parts can be obtained in any order by rolling two 3s for the eyes, one 4 for the nose, two 5s for the …

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Smarandache Type Functions Obtained By Duality, Florentin Smarandache, C Dumitrescu, N Varlan, St Zamfir, E Radescu, N Radescu

Branch Mathematics and Statistics Faculty and Staff Publications

we extend the Smarandache function from the set N* of positive integers to the set Q of rationals

Asupra Unor Noi Functii În Teoria Numerelor, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Performantele matematicii actuale,ca si descoperirile din viitor isi au,desigur, inceputul in cea mai veche si mai aproape de filozofie ramura a matematicii, in teoria numerelor. Matematicienii din toate timpurile au fost, sunt si vor fi atrasi de frumusetea si varietatea problemelor specifice acestei ramuri a matematicii. Regina a matematicii, care la randul ei este regina a stiintelor, dupa cum spunea Gauss, teoria numerelor straluceste cu lumina si atractiile ei, fascinandu-ne si usurandu-ne drumul cunoasterii legitatilor ce guverneaza macrocosmosul si microcosmosul. De la etapa antichitatii, cand teoria numerelor era cuprinsa in aritmetica, la etapa aritmeticii superioare din perioada Renasterii, cand teoria …

Representations, Approximations, And Algorithms For Mathematical Speech Processing, Laura R. Suzuki

Theses and Dissertations

Representing speech signals such that specific characteristics of speech are included is essential in many Air Force and DoD signal processing applications. A mathematical construct called a frame is presented which captures the important time-varying characteristic of speech. Roughly speaking, frames generalize the idea of an orthogonal basis in a Hilbert space, Specific spaces applicable to speech are L₂(R) and the Hardy spaces H_p(D) for p> 1 where D is the unit disk in the complex plane. Results are given for representations in the Hardy spaces involving Carleson's inequalities (and its extensions), …

Subiecte Posibile Pentru Examenul De Admitere În Liceu Şi Examenul De Capacitate (In Romanian), Florentin Smarandache, Constantin Coanda, Gheorghe Duta

Branch Mathematics and Statistics Faculty and Staff Publications

Prezenta lucrare" încearcă să pună la dispoziţia elevilor şi profesorilor instrumente de evaluare a cunoştinţelor la toate capitolele din actuala programă de matematică. " În evoluţia adolescenţi/or din ţara noastră etapa admiterii în liceu mobilizează eforturi şi emoţii cu totul speciale. 'Actuala lucrare se doreşte a fi un sfljtuitor permanent În perioada fierbinte dintre e.;wmenul de capacitate şi admiterea În liceu. Testele cuprinse in această culegere au un caracter complementar faţă de multe materiale scrise În vederea sprijinirii celor ce se pregătesc pentru astfel de examene şi se referă la intreaga materie cuprinsă În programele analitice de aritmetică, algebră şi …

Oscillation Properties Of First Order Neutral Delay Differential Equations, Roderick B. Holmes

Theses (Pre-2016)

N/A

Random Walks On Wheels, Matthew Lee, Mark Stamp

Faculty Publications, Computer Science

Suppose two particles occupy distinct vertices of a wheel graph and at each step the two particles move independently to adjacent vertices. In this paper we find the expected number of moves until the particles land on the same vertex.

Some Applications Of Sophisticated Mathematics To Randomized Computing, Ronald I. Greenberg

Computer Science: Faculty Publications and Other Works

No abstract provided.

Bergman Spaces On Disconnected Domains, William T. Ross, Alexandru Aleman, Stefan Richter

Department of Math & Statistics Faculty Publications

For a bounded region G C C and a compact set K C G, with area measure zero, we will characterize the invariant subspaces M (under f -> zf)of the Bergman space L^p_a(G \ K), 1 ≤ p < ∞, which contain L^p_a(G) and with dim(M/(z - λ)M) = 1 for all λϵ G \ K. When G \ K is connected, we will see that di\m(M /(z — λ)M) = 1 for all λ ϵ G \ K and thus in this case we will have a complete …

Mathematical Rebuses, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Optimal Klappenspiel, Arthur T. Benjamin, Derek Stanford '93

All HMC Faculty Publications and Research

The game Klappenspiel ("flipping game") is a traditional German game of flipping tiles according to dice rolls. In this paper, we derive the optimal strategy for this game by using dynamic programming. We show that the probability of winning using the optimal strategy is 0.30%.

An Invariant Subspace Problem For P = 1 Bergman Spaces On Slit Domains, William T. Ross

Department of Math & Statistics Faculty Publications

In this paper, we characterize the z-invariant subspaces that lie between the Bergman spaces A¹(G) and A¹(G/K), where G is a bounded region in the complex plane and K is a compact subset of a simple arc of class C¹.