Mathematics Commons^™

A New Method For Multi-Bit And Qudit Transfer Based On Commensurate Waveguide Arrays, Jovan Petrovic, J. J. P. Veerman

Mathematics and Statistics Faculty Publications and Presentations

The faithful state transfer is an important requirement in the construction of classical and quantum computers. While the high-speed transfer is realized by optical-fibre interconnects, its implementation in integrated optical circuits is affected by cross-talk. The cross-talk between densely packed optical waveguides limits the transfer fidelity and distorts the signal in each channel, thus severely impeding the parallel transfer of states such as classical registers, multiple qubits and qudits. Here, we leverage on the suitably engineered cross-talk between waveguides to achieve the parallel transfer on optical chip. Waveguide coupling coefficients are designed to yield commensurate eigenvalues of the array and …

Statistical Analysis Of Network Change, Teresa D. Schmidt, Martin Zwick

Complex Systems Faculty Publications and Presentations

Networks are rarely subjected to hypothesis tests for difference, but when they are inferred from datasets of independent observations statistical testing is feasible. To demonstrate, a healthcare provider network is tested for significant change after an intervention using Medicaid claims data. First, the network is inferred for each time period with (1) partial least squares (PLS) regression and (2) reconstructability analysis (RA). Second, network distance (i.e., change between time periods) is measured as the mean absolute difference in (1) coefficient matrices for PLS and (2) calculated probability distributions for RA. Third, the network distance is compared against a reference distribution …

On The Girth And Diameter Of Generalized Johnson Graphs, Louis Anthony Agong, Carmen Amarra, John Caughman, Ari J. Herman, Taiyo S. Terada

Mathematics and Statistics Faculty Publications and Presentations

Let v > k > i be non-negative integers. The generalized Johnson graph, J(v,k,i), is the graph whose vertices are the k-subsets of a v-set, where vertices A and B are adjacent whenever |A∩B|= i. In this article, we derive general formulas for the girth and diameter of J(v,k,i). Additionally, we provide a formula for the distance between any two vertices A and B in terms of the cardinality of their intersection.

Intensity Inhomogeneity Correction Of Sd-Oct Data Using Macular Flatspace, Andrew Lang, Aaron Carass, Bruno M. Jedynak, Sharon D. Solomon, Peter A. Calabresi, Jerry L. Prince

Mathematics and Statistics Faculty Publications and Presentations

Images of the retina acquired using optical coherence tomography (OCT) often suffer from intensity inhomogeneity problems that degrade both the quality of the images and the performance of automated algorithms utilized to measure structural changes. This intensity variation has many causes, including off-axis acquisition, signal attenuation, multi-frame averaging, and vignetting, making it difficult to correct the data in a fundamental way. This paper presents a method for inhomogeneity correction by acting to reduce the variability of intensities within each layer. In particular, the N3 algorithm, which is popular in neuroimage analysis, is adapted to work for OCT data. N3 works …

High-Order Method For Evaluating Derivatives Of Harmonic Functions In Planar Domains, Jeffrey S. Ovall, Samuel E. Reynolds

Mathematics and Statistics Faculty Publications and Presentations

We propose a high-order integral equation based method for evaluating interior and boundary derivatives of harmonic functions in planar domains that are specified by their Dirichlet data.

Bootcmatch: A Software Package For Bootstrap Amg Based On Graphweighted Matching, Pasqua D'Ambra, Salvatore Filipone, Panayot S. Vassilevski

Mathematics and Statistics Faculty Publications and Presentations

This article has two main objectives: one is to describe some extensions of an adaptive Algebraic Multigrid (AMG) method of the form previously proposed by the first and third authors, and a second one is to present a new software framework, named BootCMatch, which implements all the components needed to build and apply the described adaptive AMG both as a stand-alone solver and as a preconditioner in a Krylov method. The adaptive AMG presented is meant to handle general symmetric and positive definite (SPD) sparse linear systems, without assuming any a priori information of the problem and its origin; the …

Clustering And Multifacility Location With Constraints Via Distance Function Penalty Methods And Dc Programming, Mau Nam Nguyen, Thai An Nguyen, Sam Reynolds, Tuyen Tran

Mathematics and Statistics Faculty Publications and Presentations

This paper is a continuation of our effort in using mathematical optimization involving DC programming in clustering and multifacility location. We study a penalty method based on distance functions and apply it particularly to a number of problems in clustering and multifacility location in which the centers to be found must lie in some given set constraints. We also provide different numerical examples to test our method.

Variational Geometric Approach To Generalized Differential And Conjugate Calculi In Convex Analysis, Boris S. Mordukhovich, Nguyen Mau Nam, R. Blake Rector, T. Tran

Mathematics and Statistics Faculty Publications and Presentations

This paper develops a geometric approach of variational analysis for the case of convex objects considered in locally convex topological spaces and also in Banach space settings. Besides deriving in this way new results of convex calculus, we present an overview of some known achievements with their unified and simplified proofs based on the developed geometric variational schemes. Key words. Convex and variational analysis, Fenchel conjugates, normals and subgradients, coderivatives, convex calculus, optimal value functions.

Classification Of Minimal Separating Sets In Low Genus Surfaces, J. J. P. Veerman, William Maxwell, Victor Rielly, Austin K. Williams

Mathematics and Statistics Faculty Publications and Presentations

Consider a surface S and let M ⊂ S. If S \ M is not connected, then we say M separates S, and we refer to M as a separating set of S. If M separates S, and no proper subset of M separates S, then we say M is a minimal separating set of S. In this paper we use computational methods of combinatorial topology to classify the minimal separating sets of the orientable surfaces of genus g = 2 and g = 3. The classification for genus 0 and 1 was done …

Random Walks On Digraphs, J.J.P. Veerman

Mathematics and Statistics Faculty Publications and Presentations

Let V = {1, · · · n} be a vertex set and S a non-negative row-stochastic matrix (i.e. rows sum to 1). V and S define a digraph G = G(V, S) and a directed graph Laplacian L as follows. If (S)ij > 0 (in what follows we will leave out the parentheses) there is a directed edge j → i. Thus the ith row of S identifies the edges coming into vertex i and their weights. This set of vertices are collectively the neighbors of i, and is denoted by Ni . The diagonal elements Sii are chosen such …

Formalizing The Panarchy Adaptive Cycle With The Cusp Catastrophe [Presentation], Martin Zwick, Joshua Hughes

Complex Systems Faculty Publications and Presentations

The panarchy adaptive cycle, a general model for change in natural and human systems, can be formalized by the cusp catastrophe of René Thom's topological theory. Both the adaptive cycle and the cusp catastrophe have been used to model ecological, economic, and social systems in which slow and small continuous changes in two control variables produce fast and large discontinuous changes in system behavior. The panarchy adaptive cycle, the more recent of the two models, has been used so far only for qualitative descriptions of typical dynamics of such systems. The cusp catastrophe, while also often employed qualitatively, is a …

Ideas And Graphs, Martin Zwick

Complex Systems Faculty Publications and Presentations

A graph can specify the skeletal structure of an idea, onto which meaning can be added by interpreting the structure.

This paper considers graphs (but not hypergraphs) consisting of four nodes, and suggests meanings that can be associated with several different directed and undirected graphs.

Drawing on Bennett's "systematics," specifically on the Tetrad that systematics offers as a model of 'activity,' the analysis here shows that the Tetrad is versatile model of problem-solving, regulation and control, and other processes.

Slides are available below.

Formalizing The Panarchy Adaptive Cycle With The Cusp Catastrophe, Martin Zwick, Joshua Hughes

Complex Systems Faculty Publications and Presentations

The panarchy adaptive cycle, a general model for change in natural and human systems, can be formalized by the cusp catastrophe of René Thom's topological theory. Both the adaptive cycle and the cusp catastrophe have been used to model ecological, economic, and social systems in which slow and small continuous changes in two control variables produce fast and large discontinuous changes in system behavior. The panarchy adaptive cycle, the more recent of the two models, has been used so far only for qualitative descriptions of typical dynamics of such systems. The cusp catastrophe, while also often employed qualitatively, is a …

A Weighted Möbius Function, Derek Garton

Mathematics and Statistics Faculty Publications and Presentations

Fix an odd prime ℓ and let G be the poset of isomorphism classes of finite abelian ℓ-groups, ordered by inclusion. If ξ:G→R^≥0 is a discrete probability distribution on G and A ∈ G, define the Ath moment of ξ to be . The question of determining conditions that ensure ξ is completely determined by its moments has been of recent interest in many problems of Cohen–Lenstra type. Furthermore, recovering ξ from its moments requires a new Möbius-type inversion formula on G. In this paper, we define this function, relate it to the classical Möbius …

A Finite Difference Method For Off-Fault Plasticity Throughout The Earthquake Cycle, Brittany A. Erickson, Eric M. Dunham, Arash Khosravifar

Mathematics and Statistics Faculty Publications and Presentations

We have developed an efficient computational framework for simulating multiple earthquake cycles with off-fault plasticity. The method is developed for the classical antiplane problem of a vertical strike-slip fault governed by rate-and-state friction, with inertial effects captured through the radiationdamping approximation. Both rate-independent plasticity and viscoplasticity are considered, where stresses are constrained by a Drucker-Prager yield condition. The off-fault volume is discretized using finite differences and tectonic loading is imposed by displacing the remote side boundaries at a constant rate. Time-stepping combines an adaptive Runge-Kutta method with an incremental solution process which makes use of an elastoplastic tangent stiffness tensor …

Dynamically Distinguishing Polynomials, Andrew Bridy, Derek Garton

Mathematics and Statistics Faculty Publications and Presentations

A polynomial with integer coefficients yields a family of dynamical systems indexed by primes as follows: For any prime p, reduce its coefficients mod p and consider its action on the field FpFp. We say a subset of Z[x]Z[x] is dynamically distinguishable mod p if the associated mod pdynamical systems are pairwise non-isomorphic. For any k,M∈Z>1k,M∈Z>1, we prove that there are infinitely many sets of integers MM of size M such that {xk+m∣m∈M}{xk+m∣m∈M} is dynamically distinguishable mod p for most p (in the sense of natural density). Our proof uses the Galois theory of dynatomic polynomials largely developed …

Generalized Differential Calculus And Applications To Optimization, R. Blake Rector

Dissertations and Theses

This thesis contains contributions in three areas: the theory of generalized calculus, numerical algorithms for operations research, and applications of optimization to problems in modern electric power systems. A geometric approach is used to advance the theory and tools used for studying generalized notions of derivatives for nonsmooth functions. These advances specifically pertain to methods for calculating subdifferentials and to expanding our understanding of a certain notion of derivative of set-valued maps, called the coderivative, in infinite dimensions. A strong understanding of the subdifferential is essential for numerical optimization algorithms, which are developed and applied to nonsmooth problems in operations …

Subgradients Of Minimal Time Functions Without Calmness, Nguyen Mau Nam, Dang Van Cuong

Mathematics and Statistics Faculty Publications and Presentations

In recent years there has been great interest in variational analysis of a class of nonsmooth functions called the minimal time function. In this paper we continue this line of research by providing new results on generalized differentiation of this class of functions, relaxing assumptions imposed on the functions and sets involved for the results. In particular, we focus on the singular subdifferential and the limiting subdifferential of this class of functions.

An Operational Drought Prediction Framework With Application Of Vine Copula Functions, Mahkameh Zarekarizi

Student Research Symposium

Early and accurate drought predictions can benefit water resources and emergency managers by enhancing drought preparedness. Soil moisture memory is shown to contain helpful information for prediction of future values. This study uses the soil moisture memory to predict their future states via multivariate statistical modeling. We present a drought forecasting framework which issues monthly and seasonal drought forecasts. This framework estimates droughts with different lead times and updates the forecasts when more data become available. Forecasts are generated by conditioning future soil moisture values on antecedent drought status. The statistical model is initialized by soil moisture simulations retrieved from …

Cox Processes For Visual Object Counting, Yongming Ma

Student Research Symposium

We present a model that utilizes Cox processes and CNN classifiers in order to count the number of instances of an object in an image. Poisson processes are well suited to events that occur randomly in space, like the location of objects in an image, as well as to the task of counting. Mixed Poisson processes also offer increased flexibility, however they do not easily scale with image size: they typically require O(n3) computation time and O(n2) storage, where n is the number of pixels. To mitigate this problem, we employ Kronecker algebra which takes advantage of the direct product …

Shift-Symmetric Configurations In Two-Dimensional Cellular Automata: Irreversibility, Insolvability, And Enumeration, Peter Banda, John S. Caughman Iv, Martin Cenek, Christof Teuscher

Mathematics and Statistics Faculty Publications and Presentations

The search for symmetry as an unusual yet profoundly appealing phenomenon, and the origin of regular, repeating configuration patterns have been for a long time a central focus of complexity science, and physics.

Here, we introduce group-theoretic concepts to identify and enumerate the symmetric inputs, which result in irreversible system behaviors with undesired effects on many computational tasks. The concept of so-called configuration shift-symmetry is applied on two-dimensional cellular automata as an ideal model of computation. The results show the universal insolvability of “non-symmetric” tasks regardless of the transition function. By using a compact enumeration formula and bounding the number …

Computational Algorithms For Improved Representation Of The Model Error Covariance In Weak-Constraint 4d-Var, Jeremy A. Shaw

Dissertations and Theses

Four-dimensional variational data assimilation (4D-Var) provides an estimate to the state of a dynamical system through the minimization of a cost functional that measures the distance to a prior state (background) estimate and observations over a time window. The analysis fit to each information input component is determined by the specification of the error covariance matrices in the data assimilation system (DAS). Weak-constraint 4D-Var (w4D-Var) provides a theoretical framework to account for modeling errors in the analysis scheme. In addition to the specification of the background error covariance matrix, the w4D-Var formulation requires information on the model error statistics and …

Nesterov's Smoothing Technique And Minimizing Differences Of Convex Functions For Hierarchical Clustering, Mau Nam Nguyen, Wondi Geremew, Sam Raynolds, Tuyen Tran

Mathematics and Statistics Faculty Publications and Presentations

A bilevel hierarchical clustering model is commonly used in designing optimal multicast networks. In this paper we will consider two different formulations of the bilevel hierarchical clustering problem -- a discrete optimization problem which can be shown to be NP-hard. Our approach is to reformulate the problem as a continuous optimization problem by making some relaxations on the discreteness conditions. This approach was considered by other researchers earlier, but their proposed methods depend on the square of the Euclidian norm because of its differentiability. By applying the Nesterov smoothing technique and the DCA -- a numerical algorithm for minimizing differences …

Some Remarks On Interpolation And Best Approximation, Randolph E. Bank, Jeffrey S. Ovall

Mathematics and Statistics Faculty Publications and Presentations

Sufficient conditions are provided for establishing equivalence between best approximation error and projection/interpolation error in finite-dimensional vector spaces for general (semi)norms. The results are applied to several standard finite element spaces, modes of interpolation and (semi)norms, and a numerical study of the dependence on polynomial degree of constants appearing in our estimates is provided.

Space-Time Cfosls Methods With Amge Upscaling, Martin Neumüller, Panayot Vassilevski, Umberto E. Villa

Mathematics and Statistics Faculty Publications and Presentations

This work considers the combined space-time discretization of time-dependent partial differential equations by using first order least square methods. We also impose an explicit constraint representing space-time mass conservation. To alleviate the restrictive memory demand of the method, we use dimension reduction via accurate element agglomeration AMG coarsening, referred to as AMGe upscaling. Numerical experiments demonstrating the accuracy of the studied AMGe upscaling method are provided.

Convergence Analysis Of A Proximal Point Algorithm For Minimizing Differences Of Functions, Thai An Nguyen, Mau Nam Nguyen

Mathematics and Statistics Faculty Publications and Presentations

Several optimization schemes have been known for convex optimization problems. However, numerical algorithms for solving nonconvex optimization problems are still underdeveloped. A significant progress to go beyond convexity was made by considering the class of functions representable as differences of convex functions. In this paper, we introduce a generalized proximal point algorithm to minimize the difference of a nonconvex function and a convex function. We also study convergence results of this algorithm under the main assumption that the objective function satisfies the Kurdyka– ᴌojasiewicz property.

Reorganizing Algebraic Thinking: An Introduction To Dynamic System Modeling, Diana Fisher

Mathematics and Statistics Faculty Publications and Presentations

System Dynamics (SD) modeling is a powerful analytical method used by professional scientists, academics, and governmental officials to study the behavior patterns of complex systems. Specifically through use of the Stella software, it is a method that I and others have used for over two decades with high school, and even middle school, math and science students. In this paper I describe an introduction to SD modeling intended for an algebra class (in either middle or high school). In the body of the paper, a nested sequence of simple bank account examples, increasing in complexity, is used to demonstrate a …

On The Uniformity Of (3/2)N Modulo 1, Paula Neeley, Daniel Taylor-Rodriguez, J.J.P. Veerman, Thomas Roth

Mathematics and Statistics Faculty Publications and Presentations

It has been conjectured that the sequence (3/2)n modulo 1 is uniformly distributed. The distribution of this sequence is significant in relation to unsolved problems in number theory including the Collatz conjecture. In this paper, we describe an algorithm to compute (3/2)n modulo 1 to n = 108 . We then statistically analyze its distribution. Our results strongly agree with the hypothesis that (3/2)n modulo 1 is uniformly distributed.

Equators Have At Most Countable Many Singularities With Bounded Total Angle, Pilar Herreros, Mario Ponce, J.J.P. Veerman

Mathematics and Statistics Faculty Publications and Presentations

For distinct points p and q in a two-dimensional Riemannian manifold, one defines their mediatrix Lpq as the set of equidistant points to p and q. It is known that mediatrices have a cell decomposition consisting of a finite number of branch points connected by Lipschitz curves. In the case of a topological sphere, mediatrices are called equators and it can benoticed that there are no branching points, thus an equator is a topological circle with possibly many Lipschitz singularities. This paper establishes that mediatrices have the radial …

Predicting Risk Of Adverse Outcomes In Knee Replacement Surgery With Reconstructability Analysis, Cecily Corrine Froemke, Martin Zwick

Complex Systems Faculty Publications and Presentations

Reconstructability Analysis (RA) is a data mining method that searches for relations in data, especially non-linear and higher order relations. This study shows that RA can provide useful predictions of complications in knee replacement surgery.