Physical Sciences and Mathematics Commons^™

Violation Of Magnetic Flux Conservation By Superconducting Nanorings, Iris Mowgood, Gurgen Melkonyan, Rajendra Dulal, Serafim Teknowijoyo, Sara Chahid, Armen Gulian

Mathematics, Physics, and Computer Science Faculty Articles and Research

The behavior of magnetic flux in the ring-shaped finite-gap superconductors is explored from the view-point of the flux-conservation theorem which states that under the variation of external magnetic field "the magnetic flux through the ring remains constant" (see, e.g., [L.D. Landau and E.M. Lifshitz, Electrodynamics of Continuos Media, vol. 8 (New York, Pergamon Press, 1960), Section 42]). Our results, based on the time-dependent Ginzburg-Landau equations and COMSOL modeling, made it clear that in the general case, this theorem is incorrect. While for rings of macroscopic sizes the corrections are small, for micro and nanorings they become rather substantial. The physical …

Gravitational Wave Sensors Based On Superconducting Transducers, Armen Gulian, Joe Foreman, Vahan Nikoghosyan, Louis Sica, Pablo Abramian-Barco, Jeff Tollaksen, Gurgen Melkonyan, Iris Mowgood, Chris Burdette, Rajendra Dulal, Serafim Teknowijoyo, Sara Chahid, Shmuel Nussinov

Mathematics, Physics, and Computer Science Faculty Articles and Research

Following the initial success of LIGO, new advances in gravitational wave (GW) detector systems are planned to reach fruition during the next decades. These systems are interferometric and large. Here we suggest different, more compact detectors of GW radiation with competitive sensitivity. These nonresonant detectors are not interferometric. They use superconducting Cooper pairs in a magnetic field to transform mechanical motion induced by GW into detectable magnetic flux. The detectors can be oriented relative to the source of GW, so as to maximize the signal output and help determine the direction of nontransient sources. In this design an incident GW …

Pre-Earthquake Ionospheric Perturbation Identification Using Cses Data Via Transfer Learning, Pan Xiong, Cheng Long, Huiyu Zhou, Roberto Battiston, Angelo De Santis, Dimitar Ouzounov, Xuemin Zhang, Xuhui Shen

Mathematics, Physics, and Computer Science Faculty Articles and Research

During the lithospheric buildup to an earthquake, complex physical changes occur within the earthquake hypocenter. Data pertaining to the changes in the ionosphere may be obtained by satellites, and the analysis of data anomalies can help identify earthquake precursors. In this paper, we present a deep-learning model, SeqNetQuake, that uses data from the first China Seismo-Electromagnetic Satellite (CSES) to identify ionospheric perturbations prior to earthquakes. SeqNetQuake achieves the best performance [F-measure (F1) = 0.6792 and Matthews correlation coefficient (MCC) = 0.427] when directly trained on the CSES dataset with a spatial window centered on the earthquake epicenter with the Dobrovolsky …

Assessing The Vertical Displacement Of The Grand Ethiopian Renaissance Dam During Its Filling Using Dinsar Technology And Its Potential Acute Consequences On The Downstream Countries, Hesham El-Askary, Amr Fawzy, Rejoice Thomas, Wenzhao Li, Nicholas Lahaye, Erik Linstead, Thomas Piechota, Daniele Struppa, Mohamed Abdelaty Sayed

Mathematics, Physics, and Computer Science Faculty Articles and Research

The Grand Ethiopian Renaissance Dam (GERD), formerly known as the Millennium Dam, is currently under construction and has been filling at a fast rate without sufficient known analysis on possible impacts on the body of the structure. The filling of GERD not only has an impact on the Blue Nile Basin hydrology, water storage and flow but also poses massive risks in case of collapse. Rosaries Dam located in Sudan at only 116 km downstream of GERD, along with the 20 million Sudanese benefiting from that dam, would be seriously threatened in case of the collapse of GERD. In this …

Algorithmic Correspondence For Relevance Logics, Bunched Implication Logics, And Relation Algebras Via An Implementation Of The Algorithm Pearl, Willem Conradie, Valentin Goranko, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

The non-deterministic algorithmic procedure PEARL (acronym for ‘Propositional variables Elimination Algorithm for Relevance Logic’) has been recently developed for computing first-order equivalents of formulas of the language of relevance logics LR in terms of the standard Routley-Meyer relational semantics. It succeeds on a large class of axioms of relevance logics, including all so called inductive formulas. In the present work we re-interpret PEARL from an algebraic perspective, with its rewrite rules seen as manipulating quasi-inequalities interpreted over Urquhart’s relevant algebras, and report on its recent Python implementation. We also show that all formulae on which PEARL succeeds are canonical, i.e., …

Unary-Determined Distributive ℓ -Magmas And Bunched Implication Algebras, Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Mathematics, Physics, and Computer Science Faculty Articles and Research

A distributive lattice-ordered magma (dℓ-magma) (A,∧,∨,⋅) is a distributive lattice with a binary operation ⋅ that preserves joins in both arguments, and when ⋅ is associative then (A,∨,⋅) is an idempotent semiring. A dℓ-magma with a top ⊤ is unary-determined if x⋅y=(x⋅⊤∧y)∨(x∧⊤⋅y). These algebras are term-equivalent to a subvariety of distributive lattices with ⊤ and two join-preserving unary operations p, q. We obtain simple conditions on p, q such that x⋅y=(px∧y)∨(x∧qy) is associative, commutative, idempotent and/or has an identity element. This generalizes previous results on the structure of doubly idempotent semirings and, in the case when the …

Prevention And Preparedness Of The Messina-Reggio Calabria Strait: An Earthquake Forecasting And Didactic Project, Francesco Di Stefano, Gioacchino Giampaolo Giuliani, Dimitar Ouzounov, Daniele Cataldi, Cristiano Fidani, Angelo D'Errico, Giulia Fioravanti

Mathematics, Physics, and Computer Science Faculty Articles and Research

This contribution is addressed to an introductive university course on the correlation existing between radon emission and earthquakes processes held following a flipped-class approach where students receive didactic materials prior to face-to-face lessons. This research was initially started to investigate the real correlation between Radon emission from the Earth and the occurrence of strong earthquakes by using measurements of hourly Radon flow variation. During quiet seismogenic conditions, we observe an unvarying level of Radon emission in the air. Before a strong earthquake, substantial variations of Radon (²²²Rn) concentration have been observed in the air, probably because of the …

Atomistic Simulations And In Silico Mutational Profiling Of Protein Stability And Binding In The Sars-Cov-2 Spike Protein Complexes With Nanobodies: Molecular Determinants Of Mutational Escape Mechanisms, Gennady M. Verkhivker, Steve Agajanian, Deniz Yasar Oztas, Grace Gupta

Mathematics, Physics, and Computer Science Faculty Articles and Research

Structure-functional studies have recently revealed a spectrum of diverse high-affinity nanobodies with efficient neutralizing capacity against SARS-CoV-2 virus and resilience against mutational escape. In this study, we combine atomistic simulations with the ensemble-based mutational profiling of binding for the SARS-CoV-2 S-RBD complexes with a wide range of nanobodies to identify dynamic and binding affinity fingerprints and characterize the energetic determinants of nanobody-escaping mutations. Using an in silico mutational profiling approach for probing the protein stability and binding, we examine dynamics and energetics of the SARS-CoV-2 complexes with single nanobodies Nb6 and Nb20, VHH E, a pair combination VHH E + …

Generalized Grassmann Algebras And Applications To Stochastic Processes, Daniel Alpay, Paula Cerejeiras, Uwe Kaehler

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we present the groundwork for an Itô/Malliavin stochastic calculus and Hida's white noise analysis in the context of a supersymmetry with Z₃-graded algebras. To this end, we establish a ternary Fock space and the corresponding strong algebra of stochastic distributions and present its application in the study of stochastic processes in this context.

The Structure Of Finite Commutative Idempotent Involutive Residuated Lattices, Peter Jipsen, Olim Tuyt, Diego Valota

Mathematics, Physics, and Computer Science Faculty Articles and Research

We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to build new members of this variety from other ones. In particular, all finite members can be constructed in this way from Boolean algebras. Finally, we apply our construction to prove that the fusion reduct of any finite member is a distributive semilattice, and to show that this variety is not locally finite.

Recurrent Pattern Of Extreme Fire Weather In California, Rackhun Son, S-Y Simon Wang, Seung Hee Kim, Hyungjun Kim, Jee-Hoon Jeong, Jin-Ho Yoon

Mathematics, Physics, and Computer Science Faculty Articles and Research

Historical wildfire events in California have shown a tendency to occur every five to seven years with a rapidly increasing tendency in recent decades. This oscillation is evident in multiple historical climate records, some more than a century long, and appears to be continuing. Analysis shows that this 5–7 year oscillation is linked to a sequence of anomalous large-scale climate patterns with an eastward propagation in both the ocean and atmosphere. While warmer temperature emerges from the northern central Pacific to the west coast of California, La Niña pattern develops simultaneously, implying that the lifecycle of the El Niño-Southern Oscillation …

Conjunctive Join-Semilattices, Charles N. Delzell, Oghenetega Ighedo, James J. Madden

Mathematics, Physics, and Computer Science Faculty Articles and Research

A join-semilattice L with top is said to be conjunctive if every principal ideal is an intersection of maximal ideals. (This is equivalent to a first-order condition in the language of semilattices.) In this paper, we explore the consequences of the conjunctivity hypothesis for L, and we define and study a related property, called “ideal conjunctivity,” which is applicable to join-semilattices without top. Results include the following: (a) Every conjunctive join-semilattice is isomorphic to a join-closed subbase for a compact T₁-topology on max L, the set of maximal ideals of L, and under weak hypotheses …

On The Application Of Principal Component Analysis To Classification Problems, Jianwei Zheng, Cyril Rakovski

Mathematics, Physics, and Computer Science Faculty Articles and Research

Principal Component Analysis (PCA) is a commonly used technique that uses the correlation structure of the original variables to reduce the dimensionality of the data. This reduction is achieved by considering only the first few principal components for a subsequent analysis. The usual inclusion criterion is defined by the proportion of the total variance of the principal components exceeding a predetermined threshold. We show that in certain classification problems, even extremely high inclusion threshold can negatively impact the classification accuracy. The omission of small variance principal components can severely diminish the performance of the models. We noticed this phenomenon in …

Beurling-Lax Type Theorems And Cuntz Relations, Daniel Alpay, Fabrizio Colombo, Irene Sabadini, Baruch Schneider

Mathematics, Physics, and Computer Science Faculty Articles and Research

We prove various Beurling-Lax type theorems, when the classical backward-shift operator is replaced by a general resolvent operator associated with a rational function. We also study connections to the Cuntz relations. An important tool is a new representation result for analytic functions, in terms of composition and multiplication operators associated with a given rational function. Applications to the theory of de Branges-Rovnyak spaces, also in the indefinite metric setting, are given.

A Dynamical Quantum Cheshire Cat Effect And Implications For Counterfactual Communication, Yakir Aharonov, Eliahu Cohen, Sandu Popescu

Mathematics, Physics, and Computer Science Faculty Articles and Research

Here we report a type of dynamic effect that is at the core of the so called “counterfactual computation” and especially “counterfactual communication” quantum effects that have generated a lot of interest recently. The basic feature of these counterfactual setups is the fact that particles seem to be affected by actions that take place in locations where they never (more precisely, only with infinitesimally small probability) enter. Specifically, the communication/computation takes place without the quantum particles that are supposed to be the information carriers travelling through the communication channel or entering the logic gates of the computer. Here we show …

Macroscopic Superposition States In Isolated Quantum Systems, Roman V. Buniy, Stephen D. H. Hsu

Mathematics, Physics, and Computer Science Faculty Articles and Research

For any choice of initial state and weak assumptions about the Hamiltonian, large isolated quantum systems undergoing Schrödinger evolution spend most of their time in macroscopic superposition states. The result follows from von Neumann’s 1929 Quantum Ergodic Theorem. As a specific example, we consider a box containing a solid ball and some gas molecules. Regardless of the initial state, the system will evolve into a quantum superposition of states with the ball in macroscopically different positions. Thus, despite their seeming fragility, macroscopic superposition states are ubiquitous consequences of quantum evolution. We discuss the connection to many worlds quantum mechanics.

Trilinear Smoothing Inequalities And A Variant Of The Triangular Hilbert Transform, Michael Christ, Polona Durcik, Joris Roos

Mathematics, Physics, and Computer Science Faculty Articles and Research

Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct.

The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Roth-type theorem concerning patterns in the Euclidean plane.

Holomorphic Functions, Relativistic Sum, Blaschke Products And Superoscillations, Daniel Alpay, Fabrizio Colombo, Stefano Pinton, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

Superoscillating functions are band-limited functions that can oscillate faster than their fastest Fourier component. The notion of superoscillation is a particular case of that one of supershift. In the recent years, superoscillating functions, that appear for example in weak values in quantum mechanics, have become an interesting and independent field of research in complex analysis and in the theory of infinite order differential operators. The aim of this paper is to study some infinite order differential operators acting on entire functions which naturally arise in the study of superoscillating functions. Such operators are of particular interest because they are associated …

Injective And Projective Semimodules Over Involutive Semirings, Peter Jipsen, Sara Vanucci

Mathematics, Physics, and Computer Science Faculty Articles and Research

We show that the term equivalence between MV-algebras and MV-semirings lifts to involutive residuated lattices and a class of semirings called involutive semirings. The semiring perspective leads to a necessary and sufficient condition for the interval [d,1] to be a subalgebra of an involutive residuated lattice, where d is the dualizing element. We also import some results and techniques of semimodule theory in the study of this class of semirings, generalizing results about injective and projective MV-semimodules. Indeed, we note that the involution plays a crucial role and that the results for MV-semirings are still true for …

On A Polyanalytic Approach To Noncommutative De Branges–Rovnyak Spaces And Schur Analysis, Daniel Alpay, Fabrizio Colombo, Kamal Diki, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we begin the study of Schur analysis and of de Branges–Rovnyak spaces in the framework of Fueter hyperholomorphic functions. The difference with other approaches is that we consider the class of functions spanned by Appell-like polynomials. This approach is very efficient from various points of view, for example in operator theory, and allows us to make connections with the recently developed theory of slice polyanalytic functions. We tackle a number of problems: we describe a Hardy space, Schur multipliers and related results. We also discuss Blaschke functions, Herglotz multipliers and their associated kernels and Hilbert spaces. Finally, …

A Quantitative Validation Of Multi-Modal Image Fusion And Segmentation For Object Detection And Tracking, Nicholas Lahaye, Michael J. Garay, Brian D. Bue, Hesham El-Askary, Erik Linstead

Mathematics, Physics, and Computer Science Faculty Articles and Research

In previous works, we have shown the efficacy of using Deep Belief Networks, paired with clustering, to identify distinct classes of objects within remotely sensed data via cluster analysis and qualitative analysis of the output data in comparison with reference data. In this paper, we quantitatively validate the methodology against datasets currently being generated and used within the remote sensing community, as well as show the capabilities and benefits of the data fusion methodologies used. The experiments run take the output of our unsupervised fusion and segmentation methodology and map them to various labeled datasets at different levels of global …

Landscape-Based Mutational Sensitivity Cartography And Network Community Analysis Of The Sars-Cov-2 Spike Protein Structures: Quantifying Functional Effects Of The Circulating D614g Variant, Gennady M. Verkhivker, Steve Agajanian, Deniz Yasar Oztas, Grace Gupta

Mathematics, Physics, and Computer Science Faculty Articles and Research

We developed and applied a computational approach to simulate functional effects of the global circulating mutation D614G of the SARS-CoV-2 spike protein. All-atom molecular dynamics simulations are combined with deep mutational scanning and analysis of the residue interaction networks to investigate conformational landscapes and energetics of the SARS-CoV-2 spike proteins in different functional states of the D614G mutant. The results of conformational dynamics and analysis of collective motions demonstrated that the D614 site plays a key regulatory role in governing functional transitions between open and closed states. Using mutational scanning and sensitivity analysis of protein residues, we identified the stability …

Computational Analysis Of Protein Stability And Allosteric Interaction Networks In Distinct Conformational Forms Of The Sars Cov 2 Spike D614g Mutant: Reconciling Functional Mechanisms Through Allosteric Model Of Spike Regulation, Gennady M. Verkhivker, Steve Agajanian, Deniz Oztas, Grace Gupta

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this study, we used an integrative computational approach to examine molecular mechanisms underlying functional effects of the D614G mutation by exploring atomistic modeling of the SARS-CoV-2 spike proteins as allosteric regulatory machines. We combined coarse-grained simulations, protein stability and dynamic fluctuation communication analysis with network-based community analysis to examine structures of the native and mutant SARS-CoV-2 spike proteins in different functional states. Through distance fluctuations communication analysis, we probed stability and allosteric communication propensities of protein residues in the native and mutant SARS-CoV-2 spike proteins, providing evidence that the D614G mutation can enhance long-range signaling of the allosteric spike …

A New Method To Generate Superoscillating Functions And Supershifts, Yakir Aharonov, Fabrizio Colombo, Irene Sabadini, Tomer Shushi, Daniele C. Struppa, Jeff Tollaksen

Mathematics, Physics, and Computer Science Faculty Articles and Research

Superoscillations are band-limited functions that can oscillate faster than their fastest Fourier component. These functions (or sequences) appear in weak values in quantum mechanics and in many fields of science and technology such as optics, signal processing and antenna theory. In this paper, we introduce a new method to generate superoscillatory functions that allows us to construct explicitly a very large class of superoscillatory functions.

Pitcher Effectiveness: A Step Forward For In Game Analytics And Pitcher Evaluation, Christopher Watkins, Vincent Berardi, Cyril Rakovski

Mathematics, Physics, and Computer Science Faculty Articles and Research

With the introduction of Statcast in 2015, baseball analytics have become more precise. Statcast allows every play to be accurately tracked and the data it generates is easily accessible through Baseball Savant, which opens the opportunity for improved performance statistics to be developed. In this paper we propose a new tool, Pitcher Effectiveness, that uses Statcast data to evaluate starting pitchers dynamically, based on the results of in-game outcomes after each pitch. Pitcher Effectiveness successfully predicts instances where starting pitchers give up several runs, which we believe make it a new and important tool for the in-game and post-game evaluation …

Krein Reproducing Kernel Modules In Clifford Analysis, Daniel Alpay, Paula Cerejeiras, Uwe Kähler

Mathematics, Physics, and Computer Science Faculty Articles and Research

Classic hypercomplex analysis is intimately linked with elliptic operators, such as the Laplacian or the Dirac operator, and positive quadratic forms. But there are many applications like the crystallographic X-ray transform or the ultrahyperbolic Dirac operator which are closely connected with indefinite quadratic forms. Although appearing in many papers in such cases Hilbert modules are not the right choice as function spaces since they do not reflect the induced geometry. In this paper we are going to show that Clifford-Krein modules are naturally appearing in this context. Even taking into account the difficulties, e.g., the existence of different inner products …

New Characterizations Of Reproducing Kernel Hilbert Spaces And Applications To Metric Geometry, Daniel Alpay, Palle E. T. Jorgensen

Mathematics, Physics, and Computer Science Faculty Articles and Research

We give two new global and algorithmic constructions of the reproducing kernel Hilbert space associated to a positive definite kernel. We further present a general positive definite kernel setting using bilinear forms, and we provide new examples. Our results cover the case of measurable positive definite kernels, and we give applications to both stochastic analysis and metric geometry and provide a number of examples.

Reaction Intensity Partitioning: A New Perspective Of The National Fire Danger Rating System Energy Release Component, Francis M. Fujioka, David R. Weise, Shyh-Chin Chen, Seung Hee Kim, Menas C. Kafatos

Mathematics, Physics, and Computer Science Faculty Articles and Research

The Rothermel fire spread model provides the scientific basis for the US National Fire Danger Rating System (NFDRS) and several other important fire management applications. This study proposes a new perspective of the model that partitions the reaction intensity function and Energy Release Component (ERC) equations as an alternative that simplifies calculations while providing more insight into the temporal variability of the energy release component of fire danger. We compare the theoretical maximum reaction intensities and corresponding ERCs across 1978, 1988 and 2016 NFDRS fuel models as they are currently computed and as they would be computed under the proposed …

On The Menger And Almost Menger Properties In Locales, Tilahun Bayih, Themba Dube, Oghenetega Ighedo

Mathematics, Physics, and Computer Science Faculty Articles and Research

The Menger and the almost Menger properties are extended to locales. Regarding the former, the extension is conservative (meaning that a space is Menger if and only if it is Menger as a locale), and the latter is conservative for sober T_D-spaces. Non-spatial Menger (and hence almost Menger) locales do exist, so that the extensions genuinely transcend the topological notions. We also consider projectively Menger locales, and show that, as in spaces, a locale is Menger precisely when it is Lindelöf and projectively Menger. Transference of these properties along localic maps (via direct image or pullback) is considered.

Investigating Decadal Changes Of Multiple Hydrological Products And Land-Cover Changes In The Mediterranean Region For 2009–2018, Wenzhao Li, Sachi Perera, Erik Linstead, Rejoice Thomas, Hesham El-Askary, Thomas Piechota, Daniele Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

Land-cover change is a critical concern due to its climatic, ecological, and socioeconomic consequences. In this study, we used multiple variables including precipitation, vegetation index, surface soil moisture, and evapotranspiration obtained from different satellite sources to study their association with land-cover changes in the Mediterranean region. Both observational and modeling data were used for climatology and correlation analysis. Famine Early Warning Systems Network (FEWS NET) Land Data Assimilation System (FLDAS) and Global Land Data Assimilation System (GLDAS) were used to extract surface soil moisture and evapotranspiration data. Intercomparing the results of FLDAS and GLDAS suggested that FLDAS data had better …