566 research outputs found
Algebraic approach to time-delay data analysis for LISA
Cancellation of laser frequency noise in interferometers is crucial for
attaining the requisite sensitivity of the triangular 3-spacecraft LISA
configuration. Raw laser noise is several orders of magnitude above the other
noises and thus it is essential to bring it down to the level of other noises
such as shot, acceleration, etc. Since it is impossible to maintain equal
distances between spacecrafts, laser noise cancellation must be achieved by
appropriately combining the six beams with appropriate time-delays. It has been
shown in several recent papers that such combinations are possible. In this
paper, we present a rigorous and systematic formalism based on algebraic
geometrical methods involving computational commutative algebra, which
generates in principle {\it all} the data combinations cancelling the laser
frequency noise. The relevant data combinations form the first module of
syzygies, as it is called in the literature of algebraic geometry. The module
is over a polynomial ring in three variables, the three variables corresponding
to the three time-delays around the LISA triangle. Specifically, we list
several sets of generators for the module whose linear combinations with
polynomial coefficients generate the entire module. We find that this formalism
can also be extended in a straight forward way to cancel Doppler shifts due to
optical bench motions. The two modules are infact isomorphic.
We use our formalism to obtain the transfer functions for the six beams and
for the generators. We specifically investigate monochromatic gravitational
wave sources in the LISA band and carry out the maximisiation over linear
combinations of the generators of the signal-to-noise ratios with the frequency
and source direction angles as parameters.Comment: 27 Pages, 6 figure
Causal inference via algebraic geometry: feasibility tests for functional causal structures with two binary observed variables
We provide a scheme for inferring causal relations from uncontrolled
statistical data based on tools from computational algebraic geometry, in
particular, the computation of Groebner bases. We focus on causal structures
containing just two observed variables, each of which is binary. We consider
the consequences of imposing different restrictions on the number and
cardinality of latent variables and of assuming different functional
dependences of the observed variables on the latent ones (in particular, the
noise need not be additive). We provide an inductive scheme for classifying
functional causal structures into distinct observational equivalence classes.
For each observational equivalence class, we provide a procedure for deriving
constraints on the joint distribution that are necessary and sufficient
conditions for it to arise from a model in that class. We also demonstrate how
this sort of approach provides a means of determining which causal parameters
are identifiable and how to solve for these. Prospects for expanding the scope
of our scheme, in particular to the problem of quantum causal inference, are
also discussed.Comment: Accepted for publication in Journal of Causal Inference. Revised and
updated in response to referee feedback. 16+5 pages, 26+2 figures. Comments
welcom
Obstructions to Genericity in Study of Parametric Problems in Control Theory
We investigate systems of equations, involving parameters from the point of
view of both control theory and computer algebra. The equations might involve
linear operators such as partial (q-)differentiation, (q-)shift, (q-)difference
as well as more complicated ones, which act trivially on the parameters. Such a
system can be identified algebraically with a certain left module over a
non-commutative algebra, where the operators commute with the parameters. We
develop, implement and use in practice the algorithm for revealing all the
expressions in parameters, for which e.g. homological properties of a system
differ from the generic properties. We use Groebner bases and Groebner basics
in rings of solvable type as main tools. In particular, we demonstrate an
optimized algorithm for computing the left inverse of a matrix over a ring of
solvable type. We illustrate the article with interesting examples. In
particular, we provide a complete solution to the "two pendula, mounted on a
cart" problem from the classical book of Polderman and Willems, including the
case, where the friction at the joints is essential . To the best of our
knowledge, the latter example has not been solved before in a complete way.Comment: 20 page
Groebner Basis Methods for Multichannel Sampling with Unknown Offsets
In multichannel sampling, several sets of sub-Nyquist sampled signal values are acquired. The offsets between the sets are unknown, and have to be resolved, just like the parameters of the signal itself. This problem is nonlinear in the offsets, but linear in the signal parameters. We show that when the basis functions for the signal space are related to polynomials, we can express the joint offset and signal parameter estimation as a set of polynomial equations. This is the case for example with polynomial signals or Fourier series. The unknown offsets and signal parameters can be computed exactly from such a set of polynomials using Gröbner bases and Buchberger’s algorithm. This solution method is developed in detail after a short and tutorial overview of Gröbner basis methods. We then address the case of noisy samples, and consider the computational complexity, exploring simplifications due to the special structure of the problem
- …