# Mathematical Sciences Department Theses and Dissertations

## Permanent URI for this collection

For more information about the Mathematical Sciences graduate programs visit: www.science.iupui.edu http://www.science.iupui.edu

## Browse

### Recent Submissions

Item Values of Ramanujan's Continued Fractions Arising as Periodic Points of Algebraic Functions(2023-08) Akkarapakam, Sushmanth Jacob; Morton, Richard Patrick; Klimek, Slawomir D.; Roeder, Roland K. W.; Geller, William A.The main focus of this dissertation is to find and explain the periodic points of certain algebraic functions that are related to some modular functions, which themselves can be represented by continued fractions. Some of these continued fractions are first explored by Srinivasa Ramanujan in early 20th century. Later on, much work has been done in terms of studying the continued fractions, and proving several relations, identities, and giving different representations for them. The layout of this report is as follows. Chapter 1 has all the basic background knowledge and ingredients about algebraic number theory, class field theory, Ramanujan’s theta functions, etc. In Chapter 2, we look at the Ramanujan-Göllnitz-Gordon continued fraction that we call v(τ) and evaluate it at certain arguments in the field K = Q(√−d), with −d ≡ 1 (mod 8), in which the ideal (2) = ℘2℘′2 is a product of two prime ideals. We prove several identities related to itself and with other modular functions. Some of these are new, while some of them are known but with different proofs. These values of v(τ) are shown to generate the inertia field of ℘2 or ℘′2 in an extended ring class field over the field K. The conjugates over Q of these same values, together with 0, −1 ± √2, are shown to form the exact set of periodic points of a fixed algebraic function ˆF(x), independent of d. These are analogues of similar results for the Rogers-Ramanujan continued fraction. See [1] and [2]. This joint work with my advisor Dr. Morton, is submitted for publication to the New York Journal. In Chapters 3 and 4, we take a similar approach in studying two more continued fractions c(τ) and u(τ), the first of which is more commonly known as the Ramanujan’s cubic continued fraction. We show what fields a value of this continued fraction generates over Q, and we describe how the periodic points for described functions arise as values of these continued fractions. Then in the last chapter, we summarise all these results, give some possible directions for future research as well as mentioning some conjectures.Item Certain Aspects of Quantum and Classical Integrable Systems(2022-08) Kosmakov, Maksim; Tarasov, Vitaly; Its, Alexander; Mukhin, Evgeny; Ramras, DanielWe derive new combinatorail formulas for vector-valued weight functions for the evolution modules over the Yangians Y (gl_n). We obtain them using the Nested Algebraic Bethe ansatz method. We also describe the asymptotic behavior of the radial solutions of the negative tt* equation via the Riemann-Hilbert problem and the Deift-Zhou nonlinear steepest descent method.Item Weighted Curvatures in Finsler Geometry(2023-08) Zhao, Runzhong; Shen, Zhongmin; Buse, Olguta; Ramras, Daniel; Roeder, RolandThe curvatures in Finsler geometry can be defined in similar ways as in Riemannian geometry. However, since there are fewer restrictions on the metrics, many geometric quantities arise in Finsler geometry which vanish in the Riemannian case. These quantities are generally known as non-Riemannian quantities and interact with the curvatures in controlling the global geometrical and topological properties of Finsler manifolds. In the present work, we study general weighted Ricci curvatures which combine the Ricci curvature and the S-curvature, and define a weighted flag curvature which combines the flag curvature and the T -curvature. We characterize Randers metrics of almost isotropic weighted Ricci curvatures and show the general weighted Ricci curvatures can be divided into three types. On the other hand, we show that a proper open forward complete Finsler manifold with positive weighted flag curvature is necessarily diffeomorphic to the Euclidean space, generalizing the Gromoll-Meyer theorem in Riemannian geometry.Item Optimal Policies in Reliability Modelling of Systems Subject to Sporadic Shocks and Continuous Healing(2022-12) Chatterjee, Debolina; Sarkar, Jyotirmoy; Boukai, Benzion; Li, Fang; Wang, HonglangRecent years have seen a growth in research on system reliability and maintenance. Various studies in the scientific fields of reliability engineering, quality and productivity analyses, risk assessment, software reliability, and probabilistic machine learning are being undertaken in the present era. The dependency of human life on technology has made it more important to maintain such systems and maximize their potential. In this dissertation, some methodologies are presented that maximize certain measures of system reliability, explain the underlying stochastic behavior of certain systems, and prevent the risk of system failure. An overview of the dissertation is provided in Chapter 1, where we briefly discuss some useful definitions and concepts in probability theory and stochastic processes and present some mathematical results required in later chapters. Thereafter, we present the motivation and outline of each subsequent chapter. In Chapter 2, we compute the limiting average availability of a one-unit repairable system subject to repair facilities and spare units. Formulas for finding the limiting average availability of a repairable system exist only for some special cases: (1) either the lifetime or the repair-time is exponential; or (2) there is one spare unit and one repair facility. In contrast, we consider a more general setting involving several spare units and several repair facilities; and we allow arbitrary life- and repair-time distributions. Under periodic monitoring, which essentially discretizes the time variable, we compute the limiting average availability. The discretization approach closely approximates the existing results in the special cases; and demonstrates as anticipated that the limiting average availability increases with additional spare unit and/or repair facility. In Chapter 3, the system experiences two types of sporadic impact: valid shocks that cause damage instantaneously and positive interventions that induce partial healing. Whereas each shock inflicts a fixed magnitude of damage, the accumulated effect of k positive interventions nullifies the damaging effect of one shock. The system is said to be in Stage 1, when it can possibly heal, until the net count of impacts (valid shocks registered minus valid shocks nullified) reaches a threshold $m_1$. The system then enters Stage 2, where no further healing is possible. The system fails when the net count of valid shocks reaches another threshold $m_2 (> m_1)$. The inter-arrival times between successive valid shocks and those between successive positive interventions are independent and follow arbitrary distributions. Thus, we remove the restrictive assumption of an exponential distribution, often found in the literature. We find the distributions of the sojourn time in Stage 1 and the failure time of the system. Finally, we find the optimal values of the choice variables that minimize the expected maintenance cost per unit time for three different maintenance policies. In Chapter 4, the above defined Stage 1 is further subdivided into two parts: In the early part, called Stage 1A, healing happens faster than in the later stage, called Stage 1B. The system stays in Stage 1A until the net count of impacts reaches a predetermined threshold $m_A$; then the system enters Stage 1B and stays there until the net count reaches another predetermined threshold $m_1 (>m_A)$. Subsequently, the system enters Stage 2 where it can no longer heal. The system fails when the net count of valid shocks reaches another predetermined higher threshold $m_2 (> m_1)$. All other assumptions are the same as those in Chapter 3. We calculate the percentage improvement in the lifetime of the system due to the subdivision of Stage 1. Finally, we make optimal choices to minimize the expected maintenance cost per unit time for two maintenance policies. Next, we eliminate the restrictive assumption that all valid shocks and all positive interventions have equal magnitude, and the boundary threshold is a preset constant value. In Chapter 5, we study a system that experiences damaging external shocks of random magnitude at stochastic intervals, continuous degradation, and self-healing. The system fails if cumulative damage exceeds a time-dependent threshold. We develop a preventive maintenance policy to replace the system such that its lifetime is utilized prudently. Further, we consider three variations on the healing pattern: (1) shocks heal for a fixed finite duration $\tau$; (2) a fixed proportion of shocks are non-healable (that is, $\tau=0$); (3) there are two types of shocks---self healable shocks heal for a finite duration, and non-healable shocks. We implement a proposed preventive maintenance policy and compare the optimal replacement times in these new cases with those in the original case, where all shocks heal indefinitely. Finally, in Chapter 6, we present a summary of the dissertation with conclusions and future research potential.Item Sample Size Determination in Multivariate Parameters With Applications to Nonuniform Subsampling in Big Data High Dimensional Linear Regression(2021-12) Wang, Yu; Peng, Hanxiang; Li, Fang; Sarkar, Jyoti; Tan, FeiSubsampling is an important method in the analysis of Big Data. Subsample size determination (SSSD) plays a crucial part in extracting information from data and in breaking the challenges resulted from huge data sizes. In this thesis, (1) Sample size determination (SSD) is investigated in multivariate parameters, and sample size formulas are obtained for multivariate normal distribution. (2) Sample size formulas are obtained based on concentration inequalities. (3) Improved bounds for McDiarmid’s inequalities are obtained. (4) The obtained results are applied to nonuniform subsampling in Big Data high dimensional linear regression. (5) Numerical studies are conducted. The sample size formula in univariate normal distribution is a melody in elementary statistics. It appears that its generalization to multivariate normal (or more generally multivariate parameters) hasn’t been caught much attention to the best of our knowledge. In this thesis, we introduce a definition for SSD, and obtain explicit formulas for multivariate normal distribution, in gratifying analogy of the sample size formula in univariate normal. Commonly used concentration inequalities provide exponential rates, and sample sizes based on these inequalities are often loose. Talagrand (1995) provided the missing factor to sharpen these inequalities. We obtained the numeric values of the constants in the missing factor and slightly improved his results. Furthermore, we provided the missing factor in McDiarmid’s inequality. These improved bounds are used to give shrunken sample sizes.Item Genera of integer representations and the Lyndon-Hochschild-Serre spectral sequence(2021-08) Neuffer, Christopher; Ramras, Daniel; Ji, Ronghui; Morton, Patrick; Buse, OlgutaThere has been in the past ten to fifteen years a surge of activity concerning the cohomology of semi-direct product groups of the form $\mathbb{Z}^{n}\rtimes$G with G finite. A problem first stated by Adem-Ge-Pan-Petrosyan asks for suitable conditions for the Lyndon-Hochschild-Serre Spectral Sequence associated to this group extension to collapse at second page of the Lyndon-Hochschild-Serre spectral sequence. In this thesis we use facts from integer representation theory to reduce this problem to only considering representatives from each genus of representations, and establish techniques for constructing new examples in which the spectral sequence collapses.Item On Random Polynomials Spanned by OPUC(2020-12) Aljubran, Hanan; Yattselev, Maxim; Bleher, Pavel; Mukhin, Evgeny; Roeder, RolandWe consider the behavior of zeros of random polynomials of the from \begin{equation*} P_{n,m}(z) := \eta_0\varphi_m^{(m)}(z) + \eta_1 \varphi_{m+1}^{(m)}(z) + \cdots + \eta_n \varphi_{n+m}^{(m)}(z) \end{equation*} as \( n\to\infty \), where \( m \) is a non-negative integer (most of the work deal with the case \( m =0 \) ), \( \{\eta_n\}_{n=0}^\infty \) is a sequence of i.i.d. Gaussian random variables, and \( \{\varphi_n(z)\}_{n=0}^\infty \) is a sequence of orthonormal polynomials on the unit circle \( \mathbb T \) for some Borel measure \( \mu \) on \( \mathbb T \) with infinitely many points in its support. Most of the work is done by manipulating the density function for the expected number of zeros of a random polynomial, which we call the intensity function.Item Modeling Temporal Patterns of Neural Synchronization: Synaptic Plasticity and Stochastic Mechanisms(2020-08) Zirkle, Joel; Rubchinsky, Leonid; Kuznetsov, Alexey; Arciero, Julia; Barber, JaredNeural synchrony in the brain at rest is usually variable and intermittent, thus intervals of predominantly synchronized activity are interrupted by intervals of desynchronized activity. Prior studies suggested that this temporal structure of the weakly synchronous activity might be functionally significant: many short desynchronizations may be functionally different from few long desynchronizations, even if the average synchrony level is the same. In this thesis, we use computational neuroscience methods to investigate the effects of (i) spike-timing dependent plasticity (STDP) and (ii) noise on the temporal patterns of synchronization in a simple model. The model is composed of two conductance-based neurons connected via excitatory unidirectional synapses. In (i) these excitatory synapses are made plastic, in (ii) two different types of noise implementation to model the stochasticity of membrane ion channels is considered. The plasticity results are taken from our recently published article, while the noise results are currently being compiled into a manuscript. The dynamics of this network is subjected to the time-series analysis methods used in prior experimental studies. We provide numerical evidence that both STDP and channel noise can alter the synchronized dynamics in the network in several ways. This depends on the time scale that plasticity acts on and the intensity of the noise. However, in general, the action of STDP and noise in the simple network considered here is to promote dynamics with short desynchronizations (i.e. dynamics reminiscent of that observed in experimental studies) over dynamics with longer desynchronizations.Item On the Gaudin and XXX models associated to Lie superalgebras(2020-08) Huang, Chenliang; Mukhin, Evgeny; Bleher, Pavel; Roeder, Roland; Tarasov, VitalyWe describe a reproduction procedure which, given a solution of the gl(m|n) Gaudin Bethe ansatz equation associated to a tensor product of polynomial modules, produces a family P of other solutions called the population. To a population we associate a rational pseudodifferential operator R and a superspace W of rational functions. We show that if at least one module is typical then the population P is canonically identified with the set of minimal factorizations of R and with the space of full superflags in W. We conjecture that the singular eigenvectors (up to rescaling) of all gl(m|n) Gaudin Hamiltonians are in a bijective correspondence with certain superspaces of rational functions. We establish a duality of the non-periodic Gaudin model associated with superalgebra gl(m|n) and the non-periodic Gaudin model associated with algebra gl(k). The Hamiltonians of the Gaudin models are given by expansions of a Berezinian of an (m+n) by (m+n) matrix in the case of gl(m|n) and of a column determinant of a k by k matrix in the case of gl(k). We obtain our results by proving Capelli type identities for both cases and comparing the results. We study solutions of the Bethe ansatz equations of the non-homogeneous periodic XXX model associated to super Yangian Y(gl(m|n)). To a solution we associate a rational difference operator D and a superspace of rational functions W. We show that the set of complete factorizations of D is in canonical bijection with the variety of superflags in W and that each generic superflag defines a solution of the Bethe ansatz equation. We also give the analogous statements for the quasi-periodic supersymmetric spin chains.Item Duality of Gaudin models(2020-08) Uvarov, Filipp; Tarasov, Vitaly; Mukhin, Evgeny; Its, Alexander; Ramras, DanielWe consider actions of the current Lie algebras $\gl_{n}[t]$ and $\gl_{k}[t]$ on the space $\mathfrak{P}_{kn}$ of polynomials in $kn$ anticommuting variables. The actions depend on parameters $\bar{z}=(z_{1},\dots ,z_{k})$ and $\bar{\alpha}=(\alpha_{1},\dots ,\alpha_{n})$, respectively. We show that the images of the Bethe algebras $\mathcal{B}_{\bar{\alpha}}^{\langle n \rangle}\subset U(\gl_{n}[t])$ and $\mathcal{B}_{\bar{z}}^{\langle k \rangle}\subset U(\gl_{k}[t])$ under these actions coincide. To prove the statement, we use the Bethe ansatz description of eigenvectors of the Bethe algebras via spaces of quasi-exponentials. We establish an explicit correspondence between the spaces of quasi-exponentials describing eigenvectors of $\mathcal{B}_{\bar{\alpha}}^{\langle n \rangle}$ and the spaces of quasi-exponentials describing eigenvectors of $\mathcal{B}_{\bar{z}}^{\langle k \rangle}$. One particular aspect of the duality of the Bethe algebras is that the Gaudin Hamiltonians exchange with the Dynamical Hamiltonians. We study a similar relation between the trigonometric Gaudin and Dynamical Hamiltonians. In trigonometric Gaudin model, spaces of quasi-exponentials are replaced by spaces of quasi-polynomials. We establish an explicit correspondence between the spaces of quasi-polynomials describing eigenvectors of the trigonometric Gaudin Hamiltonians and the spaces of quasi-exponentials describing eigenvectors of the trigonometric Dynamical Hamiltonians. We also establish the $(\gl_{k},\gl_{n})$-duality for the rational, trigonometric and difference versions of Knizhnik-Zamolodchikov and Dynamical equations.