-
Spectral Transformation for the Dense Symmetric Semidefinite Generalized Eigenvalue Problem
Authors:
Michael Stewart
Abstract:
The spectral transformation Lanczos method for the sparse symmetric definite generalized eigenvalue problem for matrices $A$ and $B$ is an iterative method that addresses the case of semidefinite or ill conditioned $B$ using a shifted and inverted formulation of the problem. This paper proposes the same approach for dense problems and shows that with a shift chosen in accordance with certain const…
▽ More
The spectral transformation Lanczos method for the sparse symmetric definite generalized eigenvalue problem for matrices $A$ and $B$ is an iterative method that addresses the case of semidefinite or ill conditioned $B$ using a shifted and inverted formulation of the problem. This paper proposes the same approach for dense problems and shows that with a shift chosen in accordance with certain constraints, the algorithm can conditionally ensure that every computed shifted and inverted eigenvalue is close to the exact shifted and inverted eigenvalue of a pair of matrices close to $A$ and $B$. Under the same assumptions on the shift, the analysis of the algorithm for the shifted and inverted problem leads to useful error bounds for the original problem, including a bound that shows how a single shift that is of moderate size in a scaled sense can be chosen so that every computed generalized eigenvalue corresponds to a generalized eigenvalue of a pair of matrices close to $A$ and $B$. The computed generalized eigenvectors give a relative residual that depends on the distance between the corresponding generalized eigenvalue and the shift. If the shift is of moderate size, then relative residuals are small for generalized eigenvalues that are not much larger than the shift. Larger shifts give small relative residuals for generalized eigenvalues that are not much larger or smaller than the shift.
△ Less
Submitted 5 November, 2024;
originally announced November 2024.
-
Box-ball systems and RSK recording tableaux
Authors:
Marisa Cofie,
Olivia Fugikawa,
Emily Gunawan,
Madelyn Stewart,
David Zeng
Abstract:
A box-ball system (BBS) is a discrete dynamical system consisting of n balls in an infinite strip of boxes. During each BBS move, the balls take turns jumping to the first empty box, beginning with the smallest-numbered ball. The one-line notation of a permutation can be used to define a BBS state. This paper proves that the Robinson-Schensted (RS) recording tableau of a permutation completely det…
▽ More
A box-ball system (BBS) is a discrete dynamical system consisting of n balls in an infinite strip of boxes. During each BBS move, the balls take turns jumping to the first empty box, beginning with the smallest-numbered ball. The one-line notation of a permutation can be used to define a BBS state. This paper proves that the Robinson-Schensted (RS) recording tableau of a permutation completely determines the dynamics of the box-ball system containing the permutation.
Every box-ball system eventually reaches steady state, decomposing into solitons. We prove that the rightmost soliton is equal to the first row of the RS insertion tableau and it is formed after at most one BBS move. This fact helps us compute the number of BBS moves required to form the rest of the solitons. First, we prove that if a permutation has an L-shaped soliton decomposition then it reaches steady state after at most one BBS move. Permutations with L-shaped soliton decompositions include noncrossing involutions and column reading words. Second, we make partial progress on the conjecture that every permutation on n objects reaches steady state after at most n-3 BBS moves. Furthermore, we study the permutations whose soliton decompositions are standard; we conjecture that they are closed under consecutive pattern containment and that the RS recording tableaux belonging to such permutations are counted by the Motzkin numbers.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Asymptotics for Markov chain mixture detection
Authors:
Matthew Fitzpatrick,
Michael I. Stewart
Abstract:
Sufficient conditions are provided under which the log-likelihood ratio test statistic fails to have a limiting chi-squared distribution under the null hypothesis when testing between one and two components under a general two-component mixture model, but rather tends to infinity in probability. These conditions are verified when the component densities describe continuous-time, discrete-statespac…
▽ More
Sufficient conditions are provided under which the log-likelihood ratio test statistic fails to have a limiting chi-squared distribution under the null hypothesis when testing between one and two components under a general two-component mixture model, but rather tends to infinity in probability. These conditions are verified when the component densities describe continuous-time, discrete-statespace Markov chains and the results are illustrated via a parametric bootstrap simulation on an analysis of the migrations over time of a set of corporate bonds ratings. The precise limiting distribution is derived in a simple case with two states, one of which is absorbing which leads to a right-censored exponential scale mixture model. In that case, when centred by a function growing logarithmically in the sample size, the statistic has a limiting distribution of Gumbel extreme-value type rather than chi-squared.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
Optimal Voltage Phasor Regulation for Switching Actions in Unbalanced Distribution Systems
Authors:
Michael D. Sankur,
Roel Dobbe,
Alexandra von Meier,
Emma M. Stewart,
Daniel B. Arnold
Abstract:
The proliferation of phasor measurement units (PMUs) into electric power distribution grids presents new opportunities for utility operators to manage distribution systems more effectively. One potential application of PMU measurements is to facilitate distribution grid re-configuration. Given the increasing amount of Distributed Energy Resource (DER) penetration into distribution grids, in this w…
▽ More
The proliferation of phasor measurement units (PMUs) into electric power distribution grids presents new opportunities for utility operators to manage distribution systems more effectively. One potential application of PMU measurements is to facilitate distribution grid re-configuration. Given the increasing amount of Distributed Energy Resource (DER) penetration into distribution grids, in this work we formulate an Optimal Power Flow (OPF) approach that manages DER power injections to minimize the voltage phasor difference between two nodes on a distribution network to enable efficient network reconfiguration. In order to accomplish this, we develop a linear model that relates voltage phase angles to real and reactive power flows in unbalanced distribution systems. Used in conjunction with existing linearizations relating voltage magnitude differences to power flows, we formulate an OPF capable of minimizing voltage phasor differences across different points in the network. In simulations, we explore the use of the developed approach to minimize the phasor difference across switches to be opened or closed, thereby providing an opportunity to automate and increase the speed of reconfigurations in unbalanced distribution grids.
△ Less
Submitted 26 June, 2019; v1 submitted 5 April, 2018;
originally announced April 2018.
-
Bayesian hypothesis tests with diffuse priors: Can we have our cake and eat it too?
Authors:
John T. Ormerod,
Michael Stewart,
Weichang Yu,
Sarah E. Romanes
Abstract:
We introduce a new class of priors for Bayesian hypothesis testing, which we name "cake priors". These priors circumvent Bartlett's paradox (also called the Jeffreys-Lindley paradox); the problem associated with the use of diffuse priors leading to nonsensical statistical inferences. Cake priors allow the use of diffuse priors (having one's cake) while achieving theoretically justified inferences…
▽ More
We introduce a new class of priors for Bayesian hypothesis testing, which we name "cake priors". These priors circumvent Bartlett's paradox (also called the Jeffreys-Lindley paradox); the problem associated with the use of diffuse priors leading to nonsensical statistical inferences. Cake priors allow the use of diffuse priors (having one's cake) while achieving theoretically justified inferences (eating it too). We demonstrate this methodology for Bayesian hypotheses tests for scenarios under which the one and two sample t-tests, and linear models are typically derived. The resulting Bayesian test statistic takes the form of a penalized likelihood ratio test statistic. By considering the sampling distribution under the null and alternative hypotheses we show for independent identically distributed regular parametric models that Bayesian hypothesis tests using cake priors are Chernoff-consistent, i.e., achieve zero type I and II errors asymptotically. Lindley's paradox is also discussed. We argue that a true Lindley's paradox will only occur with small probability for large sample sizes.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
-
An adjustable-width window with good dynamic range
Authors:
I M Stewart
Abstract:
A new variable-width window is presented and compared with several other windows, both of variable and fixed widths. The comparison focuses on sensitivity and dynamic range. The equivalent noise bandwidth or ENBW (or rather, its reciprocal) is used as a proxy for the first; maximum sidelobe level and high-frequency roll-off in the Fourier transform, for the second. The new window can access any va…
▽ More
A new variable-width window is presented and compared with several other windows, both of variable and fixed widths. The comparison focuses on sensitivity and dynamic range. The equivalent noise bandwidth or ENBW (or rather, its reciprocal) is used as a proxy for the first; maximum sidelobe level and high-frequency roll-off in the Fourier transform, for the second. The new window can access any value of ENBW by appropriate choice of the width parameter. At any given value of ENBW below about 3, a setting can be found at which the sidelobes of the window are lower than those of any other in the moderate frequency regime below about 100 cycles.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
The characteristic initial value problem for plane symmetric spacetimes with weak regularity
Authors:
Philippe G. LeFloch,
John M. Stewart
Abstract:
We investigate the existence and the global causal structure of plane symmetric spacetimes with weak regularity when the matter consists of an irrotational perfect fluid with pressure equal to its mass-energy density. Our theory encompasses the class of weakly regular spacetimes whose metric coefficients have square-integrable first-order derivatives and whose curvature must be understood in the s…
▽ More
We investigate the existence and the global causal structure of plane symmetric spacetimes with weak regularity when the matter consists of an irrotational perfect fluid with pressure equal to its mass-energy density. Our theory encompasses the class of weakly regular spacetimes whose metric coefficients have square-integrable first-order derivatives and whose curvature must be understood in the sense of distributions. We formulate the characteristic initial value problem with data posed on two null hypersurfaces intersecting along a two-plane. Relying on Newman-Penrose's formalism and expressing our weak regularity conditions in terms of the Newman-Penrose scalars, we arrive at a fully geometrical formulation in which, along each initial hypersurface, two scalar fields describing the incoming radiation must be prescribed. To analyze the future boundary of such a spacetime and identify its global causal structure, we introduce a gauge that reduces the Einstein equations to a coupled system of wave equations and ordinary differential equations for well-chosen unknowns. We prove that, within the weak regularity class under consideration and for generic initial data, a true spacetime singularity forms in finite proper time. Our formulation is robust enough so that propagating discontinuities in the curvature or in the matter variables do not prevent us from constructing a spacetime whose curvature generically blows-up on the future boundary. Earlier work on the problem studied here was restricted to sufficiently regular and vacuum spacetimes.
△ Less
Submitted 1 May, 2011; v1 submitted 14 April, 2010;
originally announced April 2010.
