-
Adaptive time step control for multirate infinitesimal methods
Authors:
Alex C. Fish,
Daniel R. Reynolds
Abstract:
Multirate methods have been used for decades to temporally evolve initial-value problems in which different components evolve on distinct time scales, and thus use of different step sizes for these components can result in increased computational efficiency. Generally, such methods select these different step sizes based on experimentation or stability considerations. For problems that evolve on a…
▽ More
Multirate methods have been used for decades to temporally evolve initial-value problems in which different components evolve on distinct time scales, and thus use of different step sizes for these components can result in increased computational efficiency. Generally, such methods select these different step sizes based on experimentation or stability considerations. For problems that evolve on a single time scale, adaptivity approaches that strive to control local temporal error are widely used to achieve numerical results of a desired accuracy with minimal computational effort, while alleviating the need for manual experimentation with different time step sizes. However, there is a notable gap in the publication record on the development of adaptive time-step controllers for multirate methods. In this paper, we extend the single-rate controller work of Gustafsson (1994) to the multirate method setting. Specifically, we develop controllers based on polynomial approximations to the principal error functions for both the "fast" and "slow" time scales within multirate infinitesimal (MRI) methods. We additionally investigate a variety of approaches for estimating the errors arising from each time scale within MRI methods. We then numerically evaluate the proposed multirate controllers and error estimation strategies on a range of multirate test problems, comparing their performance against an estimated optimal performance. Through this work, we combine the most performant of these approaches to arrive at a set of multirate adaptive time step controllers that robustly achieve desired solution accuracy with minimal computational effort.
△ Less
Submitted 25 August, 2022; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Delocalisation of one-dimensional marginals of product measures and the capacity of LTI discrete channels
Authors:
Maxime Bombar,
Alexander Fish
Abstract:
We consider discrete linear time invariant (LTI) channels satisfying the phase independence (PI) assumption. We show that under the PI assumption the capacity of LTI channels is positive. The main technical tool that we use to establish the positivity of the capacity is the delocalisation theorem for one-dimensional marginals of the product measure due to Ball and Nazarov. We also prove two deloca…
▽ More
We consider discrete linear time invariant (LTI) channels satisfying the phase independence (PI) assumption. We show that under the PI assumption the capacity of LTI channels is positive. The main technical tool that we use to establish the positivity of the capacity is the delocalisation theorem for one-dimensional marginals of the product measure due to Ball and Nazarov. We also prove two delocalisation results that can be seen as extensions of Ball-Nazarov Theorem.
△ Less
Submitted 3 September, 2018;
originally announced September 2018.
-
Type Annotation for Adaptive Systems
Authors:
Paolo Bottoni,
Andrew Fish,
Francesco Parisi Presicce
Abstract:
We introduce type annotations as a flexible ty** mechanism for graph systems and discuss their advantages with respect to classical ty** based on graph morphisms. In this approach the type system is incorporated with the graph and elements can adapt to changes in context by changing their type annotations. We discuss some case studies in which this mechanism is relevant.
We introduce type annotations as a flexible ty** mechanism for graph systems and discuss their advantages with respect to classical ty** based on graph morphisms. In this approach the type system is incorporated with the graph and elements can adapt to changes in context by changing their type annotations. We discuss some case studies in which this mechanism is relevant.
△ Less
Submitted 5 December, 2016;
originally announced December 2016.
-
A combinatorial approach to knot recognition
Authors:
Andrew Fish,
Alexei Lisitsa,
David Stanovský
Abstract:
This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and prop…
▽ More
This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. The computational complexity of the problem, both in theory and in our implementation, is discussed. In the last part, we explain how coloring can be utilized in knot recognition.
△ Less
Submitted 25 May, 2015;
originally announced May 2015.
-
Detecting unknots via equational reasoning, I: Exploration
Authors:
Andrew Fish,
Alexei Lisitsa
Abstract:
We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using a theorem prover to try to establish a positive result (i.e. that a knot is the unknot), whilst simultaneously using a model finder to try to establish a negative result (i.e. that the knot is not the unknot). The theor…
▽ More
We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using a theorem prover to try to establish a positive result (i.e. that a knot is the unknot), whilst simultaneously using a model finder to try to establish a negative result (i.e. that the knot is not the unknot). The theorem proving approach utilises equational reasoning, whilst the model finder searches for a minimal size counter-model. We present and compare experimental data using the involutary quandle of the knot, as well as comparing with alternative approaches, highlighting instances of interest. Furthermore, we present theoretical connections of the minimal countermodels obtained with existing knot invariants, for all prime knots of up to 10 crossings: this may be useful for develo** advanced search strategies.
△ Less
Submitted 16 May, 2014;
originally announced May 2014.
-
Performance Estimates of the Pseudo-Random Method for Radar Detection
Authors:
Alexander Fish,
Shamgar Gurevich
Abstract:
A performance of the pseudo-random method for the radar detection is analyzed. The radar sends a pseudo-random sequence of length $N$, and receives echo from $r$ targets. We assume the natural assumptions of uniformity on the channel and of the square root cancellation on the noise. Then for $r \leq N^{1-δ}$, where $δ> 0$, the following holds: (i) the probability of detection goes to one, and (ii)…
▽ More
A performance of the pseudo-random method for the radar detection is analyzed. The radar sends a pseudo-random sequence of length $N$, and receives echo from $r$ targets. We assume the natural assumptions of uniformity on the channel and of the square root cancellation on the noise. Then for $r \leq N^{1-δ}$, where $δ> 0$, the following holds: (i) the probability of detection goes to one, and (ii) the expected number of false targets goes to zero, as $N$ goes to infinity.
△ Less
Submitted 27 April, 2014;
originally announced April 2014.
-
Almost Linear Complexity Methods for Delay-Doppler Channel Estimation
Authors:
Alexander Fish,
Shamgar Gurevich
Abstract:
A fundamental task in wireless communication is channel estimation: Compute the channel parameters a signal undergoes while traveling from a transmitter to a receiver. In the case of delay-Doppler channel, i.e., a signal undergoes only delay and Doppler shifts, a widely used method to compute delay-Doppler parameters is the pseudo-random method. It uses a pseudo-random sequence of length N; and, i…
▽ More
A fundamental task in wireless communication is channel estimation: Compute the channel parameters a signal undergoes while traveling from a transmitter to a receiver. In the case of delay-Doppler channel, i.e., a signal undergoes only delay and Doppler shifts, a widely used method to compute delay-Doppler parameters is the pseudo-random method. It uses a pseudo-random sequence of length N; and, in case of non-trivial relative velocity between transmitter and receiver, its computational complexity is O(N^2logN) arithmetic operations. In [1] the flag method was introduced to provide a faster algorithm for delay-Doppler channel estimation. It uses specially designed flag sequences and its complexity is O(rNlogN) for channels of sparsity r. In these notes, we introduce the incidence and cross methods for channel estimation. They use triple-chirp and double-chirp sequences of length N, correspondingly. These sequences are closely related to chirp sequences widely used in radar systems. The arithmetic complexity of the incidence and cross methods is O(NlogN + r^3), and O(NlogN + r^2), respectively.
△ Less
Submitted 23 September, 2013;
originally announced September 2013.
-
The Incidence and Cross Methods for Efficient Radar Detection
Authors:
Alexander Fish,
Shamgar Gurevich
Abstract:
The designation of the radar system is to detect the position and velocity of targets around us. The radar transmits a waveform, which is reflected back from the targets, and echo waveform is received. In a commonly used model, the echo is a sum of a superposition of several delay-Doppler shifts of the transmitted waveform, and a noise component. The delay and Doppler parameters encode, respective…
▽ More
The designation of the radar system is to detect the position and velocity of targets around us. The radar transmits a waveform, which is reflected back from the targets, and echo waveform is received. In a commonly used model, the echo is a sum of a superposition of several delay-Doppler shifts of the transmitted waveform, and a noise component. The delay and Doppler parameters encode, respectively, the distances, and relative velocities, between the targets and the radar. Using standard digital-to-analog and sampling techniques, the estimation task of the delay-Doppler parameters, which involves waveforms, is reduced to a problem for complex sequences of finite length N. In these notes we introduce the Incidence and Cross methods for radar detection. One of their advantages, is robustness to inhomogeneous radar scene, i.e., for sensing small targets in the vicinity of large objects. The arithmetic complexity of the incidence and cross methods is O(NlogN + r^3) and O(NlogN + r^2), for r targets, respectively. In the case of noisy environment, these are the fastest radar detection techniques. Both methods employ chirp sequences, which are commonly used by radar systems, and hence are attractive for real world applications.
△ Less
Submitted 14 September, 2013;
originally announced September 2013.
-
Delay-Doppler Channel Estimation with Almost Linear Complexity
Authors:
Alexander Fish,
Shamgar Gurevich,
Ronny Hadani,
Akbar Sayeed,
Oded Schwartz
Abstract:
A fundamental task in wireless communication is Channel Estimation: Compute the channel parameters a signal undergoes while traveling from a transmitter to a receiver. In the case of delay-Doppler channel, a widely used method is the Matched Filter algorithm. It uses a pseudo-random sequence of length N, and, in case of non-trivial relative velocity between transmitter and receiver, its computatio…
▽ More
A fundamental task in wireless communication is Channel Estimation: Compute the channel parameters a signal undergoes while traveling from a transmitter to a receiver. In the case of delay-Doppler channel, a widely used method is the Matched Filter algorithm. It uses a pseudo-random sequence of length N, and, in case of non-trivial relative velocity between transmitter and receiver, its computational complexity is O(N^{2}log(N)). In this paper we introduce a novel approach of designing sequences that allow faster channel estimation. Using group representation techniques we construct sequences, which enable us to introduce a new algorithm, called the flag method, that significantly improves the matched filter algorithm. The flag method finds the channel parameters in O(mNlog(N)) operations, for channel of sparsity m. We discuss applications of the flag method to GPS, radar system, and mobile communication as well.
△ Less
Submitted 23 August, 2012; v1 submitted 21 August, 2012;
originally announced August 2012.
-
Computing the Matched Filter in Linear Time
Authors:
Alexander Fish,
Shamgar Gurevich,
Ronny Hadani,
Akbar Sayeed,
Oded Schwartz
Abstract:
A fundamental problem in wireless communication is the time-frequency shift (TFS) problem: Find the time-frequency shift of a signal in a noisy environment. The shift is the result of time asynchronization of a sender with a receiver, and of non-zero speed of a sender with respect to a receiver. A classical solution of a discrete analog of the TFS problem is called the matched filter algorithm. It…
▽ More
A fundamental problem in wireless communication is the time-frequency shift (TFS) problem: Find the time-frequency shift of a signal in a noisy environment. The shift is the result of time asynchronization of a sender with a receiver, and of non-zero speed of a sender with respect to a receiver. A classical solution of a discrete analog of the TFS problem is called the matched filter algorithm. It uses a pseudo-random waveform S(t) of the length p, and its arithmetic complexity is O(p^{2} \cdot log (p)), using fast Fourier transform. In these notes we introduce a novel approach of designing new waveforms that allow faster matched filter algorithm. We use techniques from group representation theory to design waveforms S(t), which enable us to introduce two fast matched filter (FMF) algorithms, called the flag algorithm, and the cross algorithm. These methods solve the TFS problem in O(p\cdot log (p)) operations. We discuss applications of the algorithms to mobile communication, GPS, and radar.
△ Less
Submitted 20 December, 2011;
originally announced December 2011.