arXiv subjects

Phil Howlett

Publications and source records attributed to Phil Howlett.

11 recordsLinked to original sources

arXiv2026

Optimal driving strategies for a fleet of trains

In order to manage electricity transmission and distribution it is now common practice for system operators to offer financial incentives that encourage large consumers to reduce energy usage during designated peak demand periods. For train operators on large rail networks it may be profitable -- with selected individual journeys -- to reduce energy usage during peak times and increase energy usage at other times rather than simply minimizing overall energy consumption. We will use classical methods of constrained optimization to find optimal driving strategies for a fleet of trains subject to limits on total energy consumption during specified intermediate time intervals but with no change to individual journey times. The proposed strategies can be used by a large rail organisation to reduce overall operating costs with only minimal disruption to existing schedules and with no changes to important departure and arrival times.

math.OC↗

arXiv2024

Optimal approximation of a large matrix by a sum of projected linear mappings on prescribed subspaces

We propose and justify a matrix reduction method for calculating the optimal approximation of an observed matrix $A \in {\mathbb C}^{m \times n}$ by a sum $\sum_{i=1}^p \sum_{j=1}^q B_iX_{ij}C_j$ of matrix products where each $B_i \in {\mathbb C}^{m \times g_i}$ and $C_j \in {\mathbb C}^{h_j \times n}$ is known and where the unknown matrix kernels $X_{ij}$ are determined by minimizing the Frobenius norm of the error. The sum can be represented as a bounded linear mapping $BXC$ with unknown kernel $X$ from a prescribed subspace ${\mathcal T} \subseteq {\mathbb C}^n$ onto a prescribed subspace ${\mathcal S} \subseteq {\mathbb C}^m$ defined respectively by the collective domains and ranges of the given matrices $C_1,\ldots,C_q$ and $B_1,\ldots,B_p$. We show that the optimal kernel is $X = B^{\dag}AC^{\dag}$ and that the optimal approximation $BB^{\dag}AC^{\dag}C$ is the projection of the observed mapping $A$ onto a mapping from ${\mathcal T}$ to ${\mathcal S}$. If $A$ is large $B$ and $C$ may also be large and direct calculation of $B^{\dag}$ and $C^{\dag}$ becomes unwieldy and inefficient. { The proposed method avoids} this difficulty by reducing the solution process to finding the pseudo-inverses of a collection of much smaller matrices. This significantly reduces the computational burden.

math.NA↗

arXiv2024

The general solution to an autoregressive law of motion

We provide a complete description of the set of all solutions to a vector autoregressive law of motion. Every solution is shown to be the sum of three components, each corresponding to a directed flow of time. One component flows forward from the arbitrarily distant past; one flows backward from the arbitrarily distant future; and one flows outward from time zero. The three components are obtained by applying three complementary spectral projections to the solution, these corresponding to a separation of the eigenvalues of the autoregressive coefficient matrix according to whether they are inside, outside or on the unit circle. We establish a one-to-one correspondence between the set of all solutions and a finite-dimensional space of initial conditions.

econ.EM↗

arXiv2022

The fundamental equations for inversion of operator pencils on Banach space

We prove that the resolvent of a linear operator pencil is analytic on an open annulus if and only if the coefficients of the Laurent series satisfy a system of fundamental equations and are geometrically bounded. Our analysis extends earlier work on the fundamental equations to include the case where the resolvent has an isolated essential singularity. We find a closed form for the resolvent and use the fundamental equations to establish key spectral separation properties when the resolvent has only a finite number of isolated singularities. Finally we show that our results can also be applied to polynomial pencils.

math.FA↗

arXiv2021

The Granger-Johansen representation theorem for integrated time series on Banach space

We prove an extended Granger-Johansen representation theorem (GJRT) for finite or infinite order integrated autoregressive time series on Banach space. We assume only that the resolvent of the autoregressive polynomial for the series is analytic on and inside the unit circle except for an isolated singularity at unity. If the singularity is a pole of finite order the time series is integrated of the same order. If the singularity is an essential singularity the time series is integrated of order infinity. When there is no deterministic forcing the value of the series at each time is the sum of an almost surely convergent stochastic trend, a deterministic term depending on the initial conditions and a finite sum of embedded white noise terms in the prior observations. This is the extended GJRT. In each case the original series is the sum of two separate autoregressive time series on complementary subspaces--a singular component which is integrated of the same order as the original series and a regular component which is not integrated. The extended GJRT applies to all integrated autoregressive processes irrespective of the spatial dimension, the number of stochastic trends and cointegrating relations in the system, and the order of integration.

math.FA↗

arXiv2021

An explicit Maclaurin series solution to a classic non-autonomous abstract evolution equation

It is well known that the non-autonomous scalar differential equation of evolution has a unique solution given by an elementary exponential function. In general there is no such analogous solution to the corresponding non-autonomous evolution equation for square matrices. In this paper we propose and justify an explicit Maclaurin series solution to a classic non-autonomous abstract evolution equation for bounded linear operators on Banach space.

math.DS↗

arXiv2021

Optimal driving strategies for a fleet of trains on level track with prescribed intermediate signal times and safe separation

We propose an analytic solution to the problem of finding optimal driving strategies that minimize total tractive energy consumption for a fleet of trains travelling on the same track in the same direction subject to clearance-time equality constraints that ensure safe separation and compress the line-occupancy timespan. We assume the track is divided into sections by a set of trackside signals at fixed locations. For each intermediate signal there is a signal-location segment consisting of the two adjacent sections. Successive trains are safely separated only if the leading train leaves each signal-location segment before the following train enters. The fleet can be safely separated by a complete set of clearance times and associated clearance-time inequality constraints. The problem of finding optimal schedules with safe separation has been solved for two trains but for larger fleets the problem rapidly becomes intractable as the number of trains and signals increases. The main difficulty is in distinguishing between active equality constraints and inactive inequality constraints. The curse of dimensionality means it is not feasible to check every different combination of active constraints, optimize the corresponding prescribed times and calculate the cost. Nevertheless we can formulate and solve an alternative problem with active clearance-time equality constraints for successive trains on every signal-location segment. We show that this problem can be formulated as an unconstrained convex optimization and we propose a viable solution algorithm that finds the optimal schedule and the associated optimal strategies for each train. Finally we use our solution to find optimal schedules for a busy inter-city shuttle service.

math.OC↗

arXiv2020

An optimal linear filter for estimation of random functions in Hilbert space

Let ${\mbox{$\mbox{\boldmath $f$}$}}$ be a square-integrable, zero-mean, random vector with observable realizations in a Hilbert space $H$, and let ${\mbox{$\mbox{\boldmath $g$}$}}$ be an associated square-integrable, zero-mean, random vector with realizations, which are not observable, in a Hilbert space $K$. We seek an optimal filter in the form of a closed linear operator $X$ acting on the observable realizations of a proximate vector ${\mbox{$\mbox{\boldmath $f$}$}}_{\epsilon} \approx {\mbox{$\mbox{\boldmath $f$}$}}$ that provides the best estimate $\widehat{{\mbox{$\mbox{\boldmath $g$}$}}}_{\epsilon} = X {\mbox{$\mbox{\boldmath $f$}$}}_{\epsilon}$ of the vector ${\mbox{$\mbox{\boldmath $f$}$}}$. We assume the required covariance operators are known. The results are illustrated with a typical example.

math.ST↗

arXiv2020

Optimal splitting of Parseval frames using Walsh matrices

In 2014 Adam Marcus, Daniel Spielman and Nikhil Srivastava used random vectors to prove a key discrepancy theorem and in so doing gave a positive answer to the long-standing Kadison-Singer Problem. In this paper we use Walsh matrices to construct a class of natural frames in Euclidean space and discuss how these frames relate to the key discrepancy theorem.

math.FA↗

arXiv2020

Inversion of operator pencils on Banach space using Jordan chains when the generalized resolvent has an isolated essential singularity

We assume that the generalized resolvent for a bounded linear operator pencil mapping one Banach space onto another has an isolated essential singularity at the origin and is analytic on some annular region of the complex plane centred at the origin. In such cases the resolvent operator can be represented on the annulus by a convergent Laurent series and the spectral set has two components---a bounded component inside the inner boundary of the annulus and an unbounded component outside the outer boundary. In this paper we prove that the complementary spectral separation projections on the domain space are uniquely determined by the respective generating subspaces for the associated infinite-length generalized Jordan chains of vectors and that the domain space is the direct sum of these two subspaces. We show that the images of the generating subspaces under the mapping defined by the pencil provide a corresponding direct sum decomposition for the range space and that this is simply the decomposition defined by the complementary spectral separation projections on the range space. If the domain space has a Schauder basis we show that the separated systems of fundamental equations are reduced to two semi-infinite systems of matrix equations which can be solved recursively to obtain a basic solution and thereby determine the Laurent series coefficients for the resolvent operator on the given annular region.

math.FA↗

arXiv2006

Combined Reduced-Rank Transform

We propose and justify a new approach to constructing optimal nonlinear transforms of random vectors. We show that the proposed transform improves such characteristics of rank-reduced transforms as compression ratio, accuracy of decompression and reduces required computational work. The proposed transform ${\mathcal T}_p$ is presented in the form of a sum with $p$ terms where each term is interpreted as a particular rank-reduced transform. Moreover, terms in ${\mathcal T}_p$ are represented as a combination of three operations ${\mathcal F}_k$, ${\mathcal Q}_k$ and ${\boldsymbol{\phi}}_k$ with $k=1,...,p$. The prime idea is to determine ${\mathcal F}_k$ separately, for each $k=1,...,p$, from an associated rank-constrained minimization problem similar to that used in the Karhunen--Lo\`{e}ve transform. The operations ${\mathcal Q}_k$ and ${\boldsymbol{\phi}}_k$ are auxiliary for finding ${\mathcal F}_k$. The contribution of each term in ${\mathcal T}_p$ improves the entire transform performance. A corresponding unconstrained nonlinear optimal transform is also considered. Such a transform is important in its own right because it is treated as an optimal filter without signal compression. A rigorous analysis of errors associated with the proposed transforms is given.

math.OC↗