-
Modeling of Annual and Daily Electricity Demand of Retrofitted Heat Pumps based on Gas Smart Meter Data
Authors:
Daniel R. Bayer,
Marco Pruckner
Abstract:
Currently, gas furnaces are common heating systems in Europe. Due to the efforts for decarbonizing the complete energy sector, heat pumps should continuously replace existing gas furnaces. At the same time, the electrification of the heating sector represents a significant challenge for the power grids and their operators. Thus, new approaches are required to estimate the additional electricity de…
▽ More
Currently, gas furnaces are common heating systems in Europe. Due to the efforts for decarbonizing the complete energy sector, heat pumps should continuously replace existing gas furnaces. At the same time, the electrification of the heating sector represents a significant challenge for the power grids and their operators. Thus, new approaches are required to estimate the additional electricity demand to operate heat pumps. The electricity required by a heat pump to produce a given amount of heat depends on the Seasonal Performance Factor (SPF), which is hard to model in theory due to many influencing factors and hard to measure in reality as the heat produced by a heat pump is usually not measured. Therefore, we show in this paper that collected smart meter data forms an excellent data basis on building level for modeling heat demand and the SPF. We present a novel methodology to estimate the mean SPF based on an unpaired dataset of heat pump electricity and gas consumption data taken from buildings within the same city by comparing the distributions using the Jensen-Shannon Divergence (JSD). Based on a real-world dataset, we evaluate this novel method by predicting the electricity demand required if all gas furnaces in a city were replaced by heat pumps and briefly highlight possible use cases.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Enhancing the Performance of Multi-Agent Reinforcement Learning for Controlling HVAC Systems
Authors:
Daniel Bayer,
Marco Pruckner
Abstract:
Systems for heating, ventilation and air-conditioning (HVAC) of buildings are traditionally controlled by a rule-based approach. In order to reduce the energy consumption and the environmental impact of HVAC systems more advanced control methods such as reinforcement learning are promising. Reinforcement learning (RL) strategies offer a good alternative, as user feedback can be integrated more eas…
▽ More
Systems for heating, ventilation and air-conditioning (HVAC) of buildings are traditionally controlled by a rule-based approach. In order to reduce the energy consumption and the environmental impact of HVAC systems more advanced control methods such as reinforcement learning are promising. Reinforcement learning (RL) strategies offer a good alternative, as user feedback can be integrated more easily and presence can also be incorporated. Moreover, multi-agent RL approaches scale well and can be generalized. In this paper, we propose a multi-agent RL framework based on existing work that learns reducing on one hand energy consumption by optimizing HVAC control and on the other hand user feedback by occupants about uncomfortable room temperatures. Second, we show how to reduce training time required for proper RL-agent-training by using parameter sharing between the multiple agents and apply different pretraining techniques. Results show that our framework is capable of reducing the energy by around 6% when controlling a complete building or 8% for a single room zone. The occupants complaints are acceptable or even better compared to a rule-based baseline. Additionally, our performance analysis show that the training time can be drastically reduced by using parameter sharing.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Probing sub-galactic mass structure with the power spectrum of surface-brightness anomalies in high-resolution observations of galaxy-galaxy strong gravitational lenses. I. Power-spectrum measurement and feasibility study
Authors:
D. Bayer,
L. V. E. Koopmans,
J. P. McKean,
S. Vegetti,
T. Treu,
C. D. Fassnacht,
K. Glazebrook
Abstract:
While the direct detection of the dark-matter particle remains very challenging, the nature of dark matter could be possibly constrained by comparing the observed abundance and properties of small-scale sub-galactic mass structures with predictions from the phenomenological dark-matter models, such as cold, warm or hot dark matter. Galaxy-galaxy strong gravitational lensing provides a unique oppor…
▽ More
While the direct detection of the dark-matter particle remains very challenging, the nature of dark matter could be possibly constrained by comparing the observed abundance and properties of small-scale sub-galactic mass structures with predictions from the phenomenological dark-matter models, such as cold, warm or hot dark matter. Galaxy-galaxy strong gravitational lensing provides a unique opportunity to search for tiny surface-brightness anomalies in the extended lensed images (i.e. Einstein rings or gravitational arcs), induced by possible small-scale mass structures in the foreground lens galaxy. In this paper, the first in a series, we introduce and test a methodology to measure the power spectrum of such surface-brightness anomalies from high-resolution Hubble Space Telescope (HST) imaging. In particular, we focus on the observational aspects of this statistical approach, such as the most suitable observational strategy and sample selection, the choice of modelling techniques and the noise correction. We test the feasibility of the power-spectrum measurement by applying it to a sample of galaxy-galaxy strong gravitational lens systems from the Sloan Lens ACS Survey, with the most extended, bright, high-signal-to-noise-ratio lensed images, observed in the rest frame ultraviolet. In the companion paper, we present the methodology to relate the measured power spectrum to the statistical properties of the underlying small-scale mass structures in the lens galaxy and infer the first observational constraints on the sub-galactic matter power spectrum in a massive elliptical (lens) galaxy.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Confidence Intervals for Prevalence Estimates from Complex Surveys with Imperfect Assays
Authors:
Damon Bayer,
Michael Fay,
Barry Graubard
Abstract:
We present several related methods for creating confidence intervals to assess disease prevalence in variety of survey sampling settings. These include simple random samples with imperfect tests, weighted sampling with perfect tests, and weighted sampling with imperfect tests, with the first two settings considered special cases of the third. Our methods use survey results and measurements of test…
▽ More
We present several related methods for creating confidence intervals to assess disease prevalence in variety of survey sampling settings. These include simple random samples with imperfect tests, weighted sampling with perfect tests, and weighted sampling with imperfect tests, with the first two settings considered special cases of the third. Our methods use survey results and measurements of test sensitivity and specificity to construct melded confidence intervals. We demonstrate that our methods appear to guarantee coverage in simulated settings, while competing methods are shown to achieve much lower than nominal coverage. We apply our method to a seroprevalence survey of SARS-CoV-2 in undiagnosed adults in the United States between May and July 2020.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
Semi-parametric modeling of SARS-CoV-2 transmission using tests, cases, deaths, and seroprevalence data
Authors:
Damon Bayer,
Isaac Goldstein,
Jonathan Fintzi,
Keith Lumbard,
Emily Ricotta,
Sarah Warner,
Lindsay M. Busch,
Jeffrey R. Strich,
Daniel S. Chertow,
Daniel M. Parker,
Bernadette Boden-Albala,
Alissa Dratch,
Richard Chhuon,
Nichole Quick,
Matthew Zahn,
Volodymyr M. Minin
Abstract:
Mechanistic models fit to streaming surveillance data are critical to understanding the transmission dynamics of an outbreak as it unfolds in real-time. However, transmission model parameter estimation can be imprecise, and sometimes even impossible, because surveillance data are noisy and not informative about all aspects of the mechanistic model. To partially overcome this obstacle, Bayesian mod…
▽ More
Mechanistic models fit to streaming surveillance data are critical to understanding the transmission dynamics of an outbreak as it unfolds in real-time. However, transmission model parameter estimation can be imprecise, and sometimes even impossible, because surveillance data are noisy and not informative about all aspects of the mechanistic model. To partially overcome this obstacle, Bayesian models have been proposed to integrate multiple surveillance data streams. We devised a modeling framework for integrating SARS-CoV-2 diagnostics test and mortality time series data, as well as seroprevalence data from cross-sectional studies, and tested the importance of individual data streams for both inference and forecasting. Importantly, our model for incidence data accounts for changes in the total number of tests performed. We model the transmission rate, infection-to-fatality ratio, and a parameter controlling a functional relationship between the true case incidence and the fraction of positive tests as time-varying quantities and estimate changes of these parameters nonparametrically. We compare our base model against modified versions which do not use diagnostics test counts or seroprevalence data to demonstrate the utility of including these often unused data streams. We apply our Bayesian data integration method to COVID-19 surveillance data collected in Orange County, California between March 2020 and February 2021 and find that 32--72\% of the Orange County residents experienced SARS-CoV-2 infection by mid-January, 2021. Despite this high number of infections, our results suggest that the abrupt end of the winter surge in January 2021 was due to both behavioral changes and a high level of accumulated natural immunity.
△ Less
Submitted 11 March, 2023; v1 submitted 6 September, 2020;
originally announced September 2020.
-
Tjurina number of a local complete intersection curve
Authors:
Abramo Hefez,
Edison Marcavillaca Niño de Guzmán,
Marcelo Escudeiro Hernandes,
Valmecir dos Santos Bayer
Abstract:
Differently from the Milnor number, no formula relating the Tjurina number of a reducible algebroid curve to invariants of its branches was known. The aim of this work is to provide such a formula for a complete intersection algebroid curve with several branches in terms of invariants of its branches and the maximal points of the set of values of Kähler differentials on components of the curve.
Differently from the Milnor number, no formula relating the Tjurina number of a reducible algebroid curve to invariants of its branches was known. The aim of this work is to provide such a formula for a complete intersection algebroid curve with several branches in terms of invariants of its branches and the maximal points of the set of values of Kähler differentials on components of the curve.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Linear perturbations of the Wigner transform and the Weyl quantization
Authors:
Dominik Bayer,
Elena Cordero,
Karlheinz Gröchenig,
S. Ivan Trapasso
Abstract:
We study a class of quadratic time-frequency representations that, roughly speaking, are obtained by linear perturbations of the Wigner transform. They satisfy Moyal's formula by default and share many other properties with the Wigner transform, but in general they do not belong to Cohen's class. We provide a characterization of the intersection of the two classes. To any such time-frequency repre…
▽ More
We study a class of quadratic time-frequency representations that, roughly speaking, are obtained by linear perturbations of the Wigner transform. They satisfy Moyal's formula by default and share many other properties with the Wigner transform, but in general they do not belong to Cohen's class. We provide a characterization of the intersection of the two classes. To any such time-frequency representation, we associate a pseudodifferential calculus. We investigate the related quantization procedure, study the properties of the pseudodifferential operators, and compare the formalism with that of the Weyl calculus.
△ Less
Submitted 6 June, 2019;
originally announced June 2019.
-
Exploring the Daschle Collection using Text Mining
Authors:
Damon Bayer,
Semhar Michael
Abstract:
A U.S. Senator from South Dakota donated documents that were accumulated during his service as a house representative and senator to be housed at the Bridges library at South Dakota State University. This project investigated the utility of quantitative statistical methods to explore some portions of this vast document collection. The available scanned documents and emails from constituents are an…
▽ More
A U.S. Senator from South Dakota donated documents that were accumulated during his service as a house representative and senator to be housed at the Bridges library at South Dakota State University. This project investigated the utility of quantitative statistical methods to explore some portions of this vast document collection. The available scanned documents and emails from constituents are analyzed using natural language processing methods including the Latent Dirichlet Allocation (LDA) model. This model identified major topics being discussed in a given collection of documents. Important events and popular issues from the Senator Daschles career are reflected in the changing topics from the model. These quantitative statistical methods provide a summary of the massive amount of text without requiring significant human effort or time and can be applied to similar collections.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
Probing sub-galactic mass structure with the power spectrum of surface-brightness anomalies in high-resolution observations of galaxy-galaxy strong gravitational lenses. II.Observational constraints on the sub-galactic matter power spectrum
Authors:
D. Bayer,
S. Chatterjee,
L. V. E. Koopmans,
S. Vegetti,
J. P. McKean,
T. Treu,
C. D. Fassnacht,
K. Glazebrook
Abstract:
Stringent observational constraints on the sub-galactic matter power spectrum would allow one to distinguish between the concordance $Λ$CDM and the various alternative dark-matter models that predict significantly different properties of mass structure in galactic haloes. Galaxy-galaxy strong gravitational lensing provides a unique opportunity to probe the sub-galactic mass structure in lens galax…
▽ More
Stringent observational constraints on the sub-galactic matter power spectrum would allow one to distinguish between the concordance $Λ$CDM and the various alternative dark-matter models that predict significantly different properties of mass structure in galactic haloes. Galaxy-galaxy strong gravitational lensing provides a unique opportunity to probe the sub-galactic mass structure in lens galaxies beyond the Local Group. Here, we demonstrate the first application of a novel methodology to observationally constrain the sub-galactic matter power spectrum in the inner regions of massive elliptical lens galaxies on 1-10 kpc scales from the power spectrum of surface-brightness anomalies in highly magnified galaxy-scale Einstein rings and gravitational arcs. The pilot application of our approach to Hubble Space Telescope (HST/WFC3/F390W) observations of the SLACS lens system SDSS J0252+0039 allows us to place the following observational constraints (at the 99 per cent confidence level) on the dimensionless convergence power spectrum $Δ^{2}_{δκ}$ and the standard deviation in the aperture mass $σ_{\rm AM}$: $Δ^{2}_{δκ}<1$ ($σ_{\rm AM}< 0.8 \times 10^8 M_\odot$) on 0.5-kpc scale, $Δ^{2}_{δκ}<0.1$ ($σ_{\rm AM}< 1 \times 10^8 M_\odot$) on 1-kpc scale and $Δ^{2}_{δκ}<0.01$ ($σ_{\rm AM}< 3 \times 10^8 M_\odot$) on 3-kpc scale. These first upper-limit constraints still considerably exceed the estimated effect of CDM subhaloes. However, future analysis of a larger sample of galaxy-galaxy strong lens systems can substantially narrow down these limits and possibly rule out dark-matter models that predict a significantly higher level of density fluctuations on the critical sub-galactic scales.
△ Less
Submitted 1 February, 2023; v1 submitted 15 March, 2018;
originally announced March 2018.
-
Kumaraswamy autoregressive moving average models for double bounded environmental data
Authors:
Fábio Mariano Bayer,
Débora Missio Bayer,
Guilherme Pumi
Abstract:
In this paper we introduce the Kumaraswamy autoregressive moving average models (KARMA), which is a dynamic class of models for time series taking values in the double bounded interval $(a,b)$ following the Kumaraswamy distribution. The Kumaraswamy family of distribution is widely applied in many areas, especially hydrology and related fields. Classical examples are time series representing rates…
▽ More
In this paper we introduce the Kumaraswamy autoregressive moving average models (KARMA), which is a dynamic class of models for time series taking values in the double bounded interval $(a,b)$ following the Kumaraswamy distribution. The Kumaraswamy family of distribution is widely applied in many areas, especially hydrology and related fields. Classical examples are time series representing rates and proportions observed over time. In the proposed KARMA model, the median is modeled by a dynamic structure containing autoregressive and moving average terms, time-varying regressors, unknown parameters and a link function. We introduce the new class of models and discuss conditional maximum likelihood estimation, hypothesis testing inference, diagnostic analysis and forecasting. In particular, we provide closed-form expressions for the conditional score vector and conditional Fisher information matrix. An application to environmental real data is presented and discussed.
△ Less
Submitted 18 February, 2020; v1 submitted 13 October, 2017;
originally announced October 2017.
-
The $α$-Modulation Transform: Admissibility, Coorbit Theory and Frames of Compactly Supported Functions
Authors:
Michael Speckbacher,
Dominik Bayer,
Stephan Dahlke,
Peter Balazs
Abstract:
The $α$-modulation transform is a time-frequency transform generated by square-integrable representations of the affine Weyl-Heisenberg group modulo suitable subgroups. In this paper we prove new conditions that guarantee the admissibility of a given window function. We also show that the generalized coorbit theory can be applied to this setting, assuming specific regularity of the windows. This t…
▽ More
The $α$-modulation transform is a time-frequency transform generated by square-integrable representations of the affine Weyl-Heisenberg group modulo suitable subgroups. In this paper we prove new conditions that guarantee the admissibility of a given window function. We also show that the generalized coorbit theory can be applied to this setting, assuming specific regularity of the windows. This then yields canonical constructions of Banach frames and atomic decompositions in $α$-modulation spaces. In particular, we prove the existence of compactly supported (in time domain) vectors that are admissible and satisfy all conditions within the coorbit machinery, which considerably go beyond known results.
△ Less
Submitted 1 March, 2016;
originally announced March 2016.
-
Admissibility for $α$-Modulation Spaces
Authors:
Peter Balazs,
Dominik Bayer,
Michael Speckbacher
Abstract:
This paper is concerned with frame decompositions of $α$-modulation spaces. These spaces can be obtained as coorbit spaces for square-integrable representations of the affine Weyl-Heisenberg group modulo suitable subgroups. The theory yields canonical constructions for Banach frames or atomic decompositions in $α$-modulation spaces. A necessary ingredient in this abstract machinery is the existenc…
▽ More
This paper is concerned with frame decompositions of $α$-modulation spaces. These spaces can be obtained as coorbit spaces for square-integrable representations of the affine Weyl-Heisenberg group modulo suitable subgroups. The theory yields canonical constructions for Banach frames or atomic decompositions in $α$-modulation spaces. A necessary ingredient in this abstract machinery is the existence of generating functions that are admissible for the representation.
For numerical purposes, admissible atoms with compact support are necessary. We show new admissibility conditions that considerably improve upon known results. In particular, we prove the existence of admissible vectors that have compact support in time domain.
△ Less
Submitted 21 August, 2014;
originally announced August 2014.
-
Time-Frequency Localization Operators and a Berezin Transform
Authors:
Dominik Bayer,
Karlheinz Gröchenig
Abstract:
Time-frequency localization operators are a quantization procedure that maps symbols on $R^{2d}$ to operators and depends on two window functions. We study the range of this quantization and its dependence on the window functions. If the short-time Fourier transform of the windows does not have any zero, then the range is dense in the Schatten $p$-classes. The main tool is new version of the Berez…
▽ More
Time-frequency localization operators are a quantization procedure that maps symbols on $R^{2d}$ to operators and depends on two window functions. We study the range of this quantization and its dependence on the window functions. If the short-time Fourier transform of the windows does not have any zero, then the range is dense in the Schatten $p$-classes. The main tool is new version of the Berezin transform associated to operators on $L^2(R^d)$. Although some results are analogous to results about Toeplitz operators on spaces of holomorphic functions, the absence of a complex structure requires the development of new methods that are based on time-frequency analysis.
△ Less
Submitted 16 July, 2014;
originally announced July 2014.
-
Multipliers for Continuous Frames in Hilbert Spaces
Authors:
Peter Balazs,
Dominik Bayer,
Asghar Rahimi
Abstract:
In this paper we examine the general theory of continuous frame multipliers in Hilbert space. These operators are a generalization of the widely used notion of (discrete) frame multipliers. Well-known examples include Anti-Wick operators, STFT multipliers or Calderón- Toeplitz operators. Due to the possible peculiarities of the underlying measure spaces, continuous frames do not behave quite as we…
▽ More
In this paper we examine the general theory of continuous frame multipliers in Hilbert space. These operators are a generalization of the widely used notion of (discrete) frame multipliers. Well-known examples include Anti-Wick operators, STFT multipliers or Calderón- Toeplitz operators. Due to the possible peculiarities of the underlying measure spaces, continuous frames do not behave quite as well as their discrete counterparts. Nonetheless, many results similar to the discrete case are proven for continuous frame multipliers as well, for instance compactness and Schatten class properties. Furthermore, the concepts of controlled and weighted frames are transferred to the continuous setting.
△ Less
Submitted 7 February, 2012; v1 submitted 10 November, 2011;
originally announced November 2011.
-
The Pole Behaviour of the Phase Derivative of the Short-Time Fourier Transform
Authors:
Peter Balazs,
Dominik Bayer,
Florent Jaillet,
Peter Søndergaard
Abstract:
The short-time Fourier transform (STFT) is a time-frequency representation widely used in applications, for example in audio signal processing. Recently it has been shown that not only the amplitude, but also the phase of this representation can be successfully exploited for improved analysis and processing. In this paper we describe a rather peculiar pole phenomenon in the phase derivative, a rec…
▽ More
The short-time Fourier transform (STFT) is a time-frequency representation widely used in applications, for example in audio signal processing. Recently it has been shown that not only the amplitude, but also the phase of this representation can be successfully exploited for improved analysis and processing. In this paper we describe a rather peculiar pole phenomenon in the phase derivative, a recurring pattern that appears in a characteristic way in the neighborhood around any of the zeros of the STFT, a negative peak followed by a positive one. We describe this phenomenon numerically and provide a complete analytical explanation.
△ Less
Submitted 19 November, 2015; v1 submitted 2 March, 2011;
originally announced March 2011.
-
Syzygies of Unimodular Lawrence Ideals
Authors:
Dave Bayer,
Sorin Popescu,
Bernd Sturmfels
Abstract:
Infinite hyperplane arrangements whose vertices form a lattice are studied from the point of view of commutative algebra. The quotient of such an arrangement modulo the lattice action represents the minimal free resolution of the associated binomial ideal, which defines a toric subvariety in a product of projective lines. Connections to graphic arrangements and to Beilinson's spectral sequence a…
▽ More
Infinite hyperplane arrangements whose vertices form a lattice are studied from the point of view of commutative algebra. The quotient of such an arrangement modulo the lattice action represents the minimal free resolution of the associated binomial ideal, which defines a toric subvariety in a product of projective lines. Connections to graphic arrangements and to Beilinson's spectral sequence are explored.
△ Less
Submitted 31 December, 1999;
originally announced December 1999.
-
Extremal Betti Numbers and Applications to Monomial Ideals
Authors:
Dave Bayer,
Hara Charalambous,
Sorin Popescu
Abstract:
In this short note we introduce a notion of extremality for Betti numbers of a minimal free resolution, which can be seen as a refinement of the notion of Mumford-Castelnuovo regularity. We show that extremal Betti numbers of an arbitrary submodule of a free S-module are preserved when taking the generic initial module. We relate extremal multigraded Betti numbers in the minimal resolution of a…
▽ More
In this short note we introduce a notion of extremality for Betti numbers of a minimal free resolution, which can be seen as a refinement of the notion of Mumford-Castelnuovo regularity. We show that extremal Betti numbers of an arbitrary submodule of a free S-module are preserved when taking the generic initial module. We relate extremal multigraded Betti numbers in the minimal resolution of a square free monomial ideal with those of the monomial ideal corresponding to the Alexander dual simplicial complex and generalize theorems of Eagon-Reiner and Terai. As an application we give easy (alternative) proofs of classical criteria due to Hochster, Reisner, and Stanley.
△ Less
Submitted 15 October, 1998; v1 submitted 8 April, 1998;
originally announced April 1998.
-
Cellular Resolutions of Monomial Modules
Authors:
Dave Bayer,
Bernd Sturmfels
Abstract:
We construct a canonical free resolution for arbitrary monomial modules and lattice ideals. This includes monomial ideals and defining ideals of toric varieties, and it generalizes our joint results with Irena Peeva for generic ideals.
We construct a canonical free resolution for arbitrary monomial modules and lattice ideals. This includes monomial ideals and defining ideals of toric varieties, and it generalizes our joint results with Irena Peeva for generic ideals.
△ Less
Submitted 19 November, 1997;
originally announced November 1997.
-
Monomial Resolutions
Authors:
Dave Bayer,
Irena Peeva,
Bernd Sturmfels
Abstract:
Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can be made generic by deformation of its generating exponents. Thus, the above construction yields a (usually nonminimal) resolution of M for arbitrary monomial…
▽ More
Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can be made generic by deformation of its generating exponents. Thus, the above construction yields a (usually nonminimal) resolution of M for arbitrary monomial ideals, bounding the Betti numbers of M in terms of the Upper Bound Theorem for Convex Polytopes.
We show that our resolutions are DG-algebras, and consider realizability questions and irreducible decompositions.
△ Less
Submitted 11 October, 1996;
originally announced October 1996.
-
What can be computed in algebraic geometry?
Authors:
Dave Bayer,
David Mumford
Abstract:
This paper is a survey of computational issues in algebraic geometry, with particular attention to the theory of Grobner bases and the regularity of an algebraic variety.
1. A geometric introduction to Grobner bases.
2. An algebraic introduction to Grobner bases.
3. Bounds in algebraic geometry, and regularity and complexity questions.
4. Applications.
This paper is a survey of computational issues in algebraic geometry, with particular attention to the theory of Grobner bases and the regularity of an algebraic variety.
1. A geometric introduction to Grobner bases.
2. An algebraic introduction to Grobner bases.
3. Bounds in algebraic geometry, and regularity and complexity questions.
4. Applications.
△ Less
Submitted 11 April, 1993;
originally announced April 1993.
-
Grobner bases and extension of scalars
Authors:
Dave Bayer,
Andre Galligo,
Mike Stillman
Abstract:
This paper studies the behavior of Grobner bases with respect to extensions of scalars. We prove that an extension of scalars commutes with taking Grobner bases iff the extension is flat. We consider what information can be deduced about fibers of a family, from the Grobner basis of the defining ideal of the family itself. This information can be used to construct algorithms, such as to find loc…
▽ More
This paper studies the behavior of Grobner bases with respect to extensions of scalars. We prove that an extension of scalars commutes with taking Grobner bases iff the extension is flat. We consider what information can be deduced about fibers of a family, from the Grobner basis of the defining ideal of the family itself. This information can be used to construct algorithms, such as to find locii over which a map is finite, or an isomorphism.
△ Less
Submitted 20 February, 1992;
originally announced February 1992.