SearcharxivSearch

arXiv subjects

Christopher Thron

Publications and source records attributed to Christopher Thron.

At least 19 recordsLinked to original sources

Detecting and Correcting Sample-by-Sample Scale Distortion in RNA Sequencing Data

RNA sequencing (RNA-seq) is the conventional genome-scale approach used to capture the expression levels of all detectable genes in a biological sample. This is now regularly used for population-based studies designed to identify genetic determinants of various diseases. Naturally, the accuracy of these tests should be verified and improved if possible. In this study, we aimed to detect and correct for expression level-dependent errors which vary from sample to sample, and are not corrected by conventional normalization techniques . We examined several RNA-seq datasets from the Cancer Genome Atlas (TCGA), Stand Up 2 Cancer (SU2C), and GTEx databases with various types of preprocessing. By applying local averaging, we found sample by sample expression-level dependent biases in all datasets studied. Using simulations, we show that these biases corrupt gene-gene correlation estimations and $t$ tests between subpopulations. To mitigate these biases, we introduce two different nonlinear transforms based on statistical considerations that correct these observed biases. We demonstrate that that these transforms effectively remove the observed per-sample biases, reduce sample-to-sample variance, and improve the characteristics of gene-gene correlation distributions. Using a novel simulation methodology that creates controlled differences between subpopulations, we show that these transforms reduce variability and increase sensitivity of two population tests. The improvements in sensitivity and specificity were of the order of 3-5\% in most instances after the data was corrected for bias. Altogether, these results improve our capacity to understand gene-gene relationships, and may lead to novel ways to utilize the information derived from clinical tests.

q-bio.GN

Two Pareto Optimum-based Heuristic Algorithms for Minimizing Tardiness and Late Jobs in the Single Machine Flowshop Problem

Flowshop problems play a prominent role in operations research, and have considerable practical significance. The single-machine flowshop problem is of particular theoretical interest. Until now the problem of minimizing late jobs or job tardiness can only be solved exactly by computationally-intensive methods such as dynamic programming or linear programming. In this paper we introduce, test, and optimize two new heuristic algorithms for mixed tardiness and late job minimization in single-machine flowshops. The two algorithms both build partial schedules iteratively. Both also retain Pareto optimal solutions at intermediate stages, to take into account both tardiness and late jobs within the partial schedule, as well as the effect of partial completion time on not-yet scheduled jobs. Both algorithms can be applied to scenarios with hundreds of jobs, with execution times running from less than a second to a few minutes. Although they are slower than dispatch rule-based heuristics, the solutions obtained are far better. We also compare a neural-network solution, which performs poorly.

cs.DC

A Non-Causal Reconceptualization of Quantum Field Theory

Quantum field theory currently has a single standard mathematical characterization (the Standard Model), but no single accepted conceptual framework to interpret the mathematics. Many of these conceptualizations rely on intuitive concepts carried over from classical physics (such as "particle" and "causality"). In this paper, instead of relying on classical concepts we attempt to infer a conceptualization directly from the mathematics. This reconceptualization leads to a physical reinterpretation of the paths involved in the Standard Model's action integral as traces of an accumulative process that occurs within an "extraverse", of which our observable spacetime is a single "slice". We briefly outline a rigorous mathematical model which validates the physical reinterpretation, and leads to predictions that are potentially verifiable by experiment. We contrast our model with other popular interpretations of quantum mechanics. We describe some of the metaphysical consequences of our proposed perspective. Finally we present some speculations about an alternative approach that could possibly lead to a more satisfying, intuitively-graspable theory.

physics.gen-ph

Optimal Real Time Drone Path Planning for Harvesting Information from a Wireless Sensor Network

We consider a remote sensing system in which fixed sensors are placed in a region, and a drone flies over the region to collect information from cluster heads. We assume that the drone has a fixed maximum range, and that the energy consumption for information transmission from the cluster heads increases with distance according to a power law. Given these assumptions, we derive local optimum conditions for a drone path that either minimizes the total energy or the maximum energy required by the cluster heads to transmit information to the drone. We show how a homotopy approach can produce a family of solutions for different drone path lengths, so that a locally optimal solution can be found for any drone range. We implement the homotopy solution in python, and demonstrate the tradeoff between drone range and cluster head power consumption for several geometries. Execution time is sufficiently rapid for the computation to be performed real time, so the drone path can be recalculated on the fly. The solution is shown to be globally optimal for sufficiently long drone path lengths. For future work, we indicate how the solution can be modified to accommodate moving sensors.

math.OC

Proving Taylor's Theorem from the Fundamental Theorem of Calculus by Fixed-point Iteration

Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most general form can be proved simply as an immediate consequence of the Fundamental Theorem of Calculus (FTOC). The proof shows the deep connection between the Taylor expansion and fixed-point iteration, which is a foundational concept in numerical and functional analysis. One elegant variant of the proof also demonstrates the use of combinatorics and symmetry in proofs in mathematical analysis. Since the proof emphasizes concepts and techniques that are widely used in current science and industry, it can be a valuable addition to the undergraduate mathematics curriculum.

math.GM

Sliced, not Splitted: a Better Alternative to Many-Worlds?

The many-worlds interpretation (MWI) of quantum mechanics is currently experiencing a popular resurgence, propelled by such prominent and articulate physicists as Sean Carroll, David Deutsch, Max Tegmark, and Lev Vaidman. The consequences of MWI are mind-boggling: the spacetime universe of our experience is only one branch of an unimaginably fast-multiplying plethora of alternative universes held incommunicado. In this paper, we propose that the mass of Medusa's hair served up by MWI is due to a failure to embed the spacetime universe in the right space: spacetime is a slice of bread, not a splitting strand of pasta. By way of motivation, we first give a very simple presentation of Bell's inequality by comparing it to a ``quantum game show'', followed by a simple description of Aspect's 1985 experiment involving entangled photons which confirms the inequality. We interpret the paradoxical correlation between measurements as resulting from a process outside of spacetime that produces both the original entanglement and the measurements. This is followed by a brief presentation of MWI, and then by a pictorial comparison of the proposed process model and MWI. The final section lists a number of potential consequences of the model related to causality, determinism, free will, and consciousness, and points to further references that give a more in-depth and rigorous presentation of the process dimension model. The entire article is non-technical and requires no mathematical background other than high school mathematics and an understanding of basic concepts in probability. The physics involved in Aspect's experiment is also explained.

physics.gen-ph

Cost Effective Reproduction Number Based Strategies for Reducing Deaths from COVID-19

In epidemiology, the effective reproduction number $R_e$ is used to characterize the growth rate of an epidemic outbreak. In this paper, we investigate properties of $R_e$ for a modified SEIR model of COVID-19 in the city of Houston, TX USA, in which the population is divided into low-risk and high-risk subpopulations. The response of $R_e$ to two types of control measures (testing and distancing) applied to the two different subpopulations is characterized. A nonlinear cost model is used for control measures, to include the effects of diminishing returns. We propose three types of heuristic strategies for mitigating COVID-19 that are targeted at reducing $R_e$, and we exhibit the tradeoffs between strategy implementation costs and number of deaths. We also consider two variants of each type of strategy: basic strategies, which consider only the effects of controls on $R_e$, without regard to subpopulation; and high-risk prioritizing strategies, which maximize control of the high-risk subpopulation. Results showed that of the three heuristic strategy types, the most cost-effective involved setting a target value for $R_e$ and applying sufficient controls to attain that target value. This heuristic led to strategies that begin with strict distancing of the entire population, later followed by increased testing. Strategies that maximize control on high-risk individuals were less cost-effective than basic strategies that emphasize reduction of the rate of spreading of the disease. The model shows that delaying the start of control measures past a certain point greatly worsens strategy outcomes. We conclude that the effective reproduction can be a valuable real-time indicator in determining cost-effective control strategies.

q-bio.PE

Iterative Designs with Similar Triangles

One of the best things about geometry is that it's cool! Geometry enables us to create incredible designs and astounding patterns. This article shows how to use a simple technique (iteration) to create designs that are both cool and introduce important mathematical concepts. We give examples using one of the most common of geometrical constructions, namely, the similar triangle. In the final section, we suggest other possibilities that could be used for guided exploration or for student projects.

math.GM

Lifetime Optimization of Dense Wireless Sensor Networks Using Continuous Ring-sector Model

Wireless sensor networks (WSNs) are becoming increasingly utilized in applications that require remote collection of data on environmental conditions. In particular dense WSNs are emerging as an important sensing platforms for the Internet of Things (IoT). WSNs are able to generate huge volumes of raw data, which require network structuring and efficient collaboration between nodes to ensure efficient transmission. In order to reduce the amount of data carried in the network, data aggregation is used in WSNs to define a policy of data fusion and compression. In this paper, we investigate a model for data aggregation in a dense {WSN} with a single sink. The model divides a circular coverage region centered at the sink into patches which are intersections of sectors of concentric rings, and data in each patch is aggregated at a single node before transmission. Nodes only communicate with other nodes in the same sector. Based on these assumptions, we formulate a linear programming problem to maximize system lifetime by minimizing the maximum proportionate energy consumption over all nodes. Under a wide variety of conditions, the optimal solution employs two transmissions mechanisms: direct transmission, in which nodes send information directly to the sink; and stepwise transmission, in which nodes transmit information to adjacent nodes. An exact formula is given for the proportionate energy consumption rate of the network. Asymptotic forms of this exact solution are also derived, and are verified to agree with the linear programming solution. We investigate three strategies for improving system lifetime: nonuniform energy and information density; iterated compression; and modifications of rings. We conclude that iterated compression has the biggest effect in increasing system lifetime.

eess.SP

Math That Matters: Enhancing Academic Mathematics' Impact on Society

Most if not all of today's revolutionary technologies have a common foundation, namely the intelligent use of information. It is clear that computers play a central role: but the contribution of mathematics, though less visible, is no less critical. The conceptual tools and insights provided by mathematics are the keys to unlocking the full information-processing potential of computers. Academic mathematicians now have an unparalleled opportunity to make a huge impact on modern society: but to take advantage of this opportunity, mathematicians must prioritize making these tools and concepts accessible to a wider audience. In this paper we present three examples of mathematics with significant social benefit: Dmitri Bertsimas' study of diabetes using k-nearest-neighbor methodology; Development of mathematical software (MATLAB and Sage); and ongoing development of data representation and visualization software to facilitate analysis of survey data. We also suggest steps to be taken by academic mathematicians in Nigeria towards enhancing the positive impact of mathematics on society.

math.GM

High Performance Low Complexity Multitarget Tracking Filter for a Array of Non-directional Sensors

This paper develops an accurate, efficient filter (called the `TT filter') for tracking multiple targets using a spatially-distributed network of amplitude sensors that estimate distance but not direction. Several innovations are included in the algorithm that increase accuracy and reduce complexity. For initial target acquisition once tracking begins, a constrained Hessian search is used to find the maximum likelihood (ML) target vector, based on the measurement model and a Gaussian approximation of the prior. The Hessian at the ML vector is used to give an initial approximation of the negative log likelihood for the target vector distribution: corrections are applied if the Hessian is not positive definite due to the near-far problem. Further corrections are made by applying a transformation that matches the known nonlinearity introduced by distance-only sensors. A set of integration points is constructed using this information, which are used to estimate the mean and moments of the target vector distribution. Results show that the TT filter gives superior accuracy and lower complexity than previous alternatives such as Kalman-based or particle filters.

eess.SY

Regional Rainfall Prediction Using Support Vector Machine Classification of Large-Scale Precipitation Maps

Rainfall prediction helps planners anticipate potential social and economic impacts produced by too much or too little rain. This research investigates a class-based approach to rainfall prediction from 1-30 days in advance. The study made regional predictions based on sequences of daily rainfall maps of the continental US, with rainfall quantized at 3 levels: light or no rain; moderate; and heavy rain. Three regions were selected, corresponding to three squares from a $5\times5$ grid covering the map area. Rainfall predictions up to 30 days ahead for these three regions were based on a support vector machine (SVM) applied to consecutive sequences of prior daily rainfall map images. The results show that predictions for corner squares in the grid were less accurate than predictions obtained by a simple untrained classifier. However, SVM predictions for a central region outperformed the other two regions, as well as the untrained classifier. We conclude that there is some evidence that SVMs applied to large-scale precipitation maps can under some conditions give useful information for predicting regional rainfall, but care must be taken to avoid pitfall

cs.LG

A Visualizable, Constructive Proof of the Fundamental Theorem of Algebra, and a Parallel Polynomial Root Estimation Algorithm

This paper presents an alternative proof of the Fundamental Theorem of Algebra that has several distinct advantages. The proof is based on simple ideas involving continuity and differentiation. Visual software demonstrations can be used to convey the gist of the proof. A rigorous version of the proof can be developed using only single-variable calculus and basic properties of complex numbers, but the technical details are somewhat involved. In order to facilitate the reader's intuitive grasp of the proof, we first present the main points of the argument, which can be illustrated by computer experiments. Next we fill in some of the details, using single-variable calculus. Finally, we give a numerical procedure for finding all roots of an n'th degree polynomial by solving 2n differential equations in parallel.

math.GM

Analysis of Malaria Control Measures Effectiveness Using Multi-Stage Vector Model

We analyze an epidemiological model to evaluate the effectiveness of multiple means of control in malaria-endemic areas. The mathematical model consists of a system of several ordinary differential equations, and is based on a multicompartment representation of the system. The model takes into account the mutliple resting-questing stages undergone by adult female mosquitos during the period in which they function as disease vectors. We compute the basic reproduction number $\mathcal R_0$, and show that that if $\mathcal R_0<1$, the disease free equilibrium (DFE) is globally asymptotically stable (GAS) on the non-negative orthant. If $\mathcal R_0>1$, the system admits a unique endemic equilibrium (EE) that is GAS. We perform a sensitivity analysis of the dependence of $\mathcal R_0$ and the EE on parameters related to control measures, such as killing effectiveness and bite prevention. Finally, we discuss the implications for a comprehensive, cost-effective strategy for malaria control.

q-bio.PE

Affinity and Hostility in Divided Communities: a Mathematical Model

We propose, develop, and analyze a mathematical model of intergroup attitudes in a community that is divided between two distinct social groups (which may be distinguished by religion, ethnicity, or some other socially distinguishing factor). The model is based on very simple premises that are both intuitive and justified by sociological research. We investigate the behavior of the model in various special cases, for various model configurations. We discuss the stability of the model, and the continuous or discontinuous dependence of model behavior on various parameters. Finally, we discuss possible implications for strategies to improve intergroup affinity, and to defuse tension and prevent deterioration of intergroup relationships.

physics.soc-ph

Algebraic Solution for Beamforming in Two-Way Relay Systems with Analog Network Coding

We reduce the problem of optimal beamforming for two-way relay (TWR) systems with perfect channel state infomation (CSI) that use analog network coding (ANC) to a pair of algebraic equations in two variables that can be solved inexpensively using numerical methods. The solution has greatly reduced complexity compared to previous exact solutions via semidefinite programming (SDP). Together with the linearized robust solution described in (Aziz and Thron, 2014), it provides a high-performance, low-complexity robust beamforming solution for 2-way relays.

cs.IT

An Accumulative Model for Quantum Theories

For a general quantum theory that is describable by a path integral formalism, we construct a mathematical model of the universe as a sample point of an accumulative stochastic process. The model give predictions that are nearly identical to the given quantum theory. The model is neither local nor causal in spacetime, but is both local and causal is in a non-observable path space. The probabilistic nature of the squared wavefunction is a natural consequence of the model. We verify the model with simulations, and we discuss possible discrepancies from conventional quantum theory that might be detectable via experiment. Finally, we briefly discuss the physical implications of the model.

physics.gen-ph

Mesh Router Nodes placement in Rural Wireless Mesh Networks

The problem of placement of mesh router nodes in Wireless Mesh Networks is known to be a NP hard problem. In this paper, the problem is addressed under a constraint of network model tied to rural regions where we usually observe low density and sparse population. We consider the area to cover as decomposed into a set of elementary areas which can be required or optional in terms of coverage and where a node can be placed or not. We propose an effective algorithm to ensure the coverage. This algorithm is based on metropolis approach. We evaluated the proposed algorithm on an instance network. A close to 100 percent coverage with an optimal number of routers showed the efficiency of our approach for the mesh router node placement problem

cs.NI