-
Buchsbaum-Rim sheaves and their multiple sections
Authors:
J. C. Migliore,
U. Nagel,
C. Peterson
Abstract:
This paper begins by introducing and characterizing Buchsbaum-Rim sheaves on $Z = \Proj R$ where $R$ is a graded Gorenstein K-algebra. They are reflexive sheaves arising as the sheafification of kernels of sufficiently general maps between free R-modules. Then we study multiple sections of a Buchsbaum-Rim sheaf $\cBf$, i.e, we consider morphisms $ψ: \cP \to \cBf$ of sheaves on $Z$ drop** rank…
▽ More
This paper begins by introducing and characterizing Buchsbaum-Rim sheaves on $Z = \Proj R$ where $R$ is a graded Gorenstein K-algebra. They are reflexive sheaves arising as the sheafification of kernels of sufficiently general maps between free R-modules. Then we study multiple sections of a Buchsbaum-Rim sheaf $\cBf$, i.e, we consider morphisms $ψ: \cP \to \cBf$ of sheaves on $Z$ drop** rank in the expected codimension, where $H^0_*(Z,\cP)$ is a free R-module. The main purpose of this paper is to study properties of schemes associated to the degeneracy locus $S$ of $ψ$. It turns out that $S$ is often not equidimensional. Let $X$ denote the top-dimensional part of $S$. In this paper we measure the ``difference'' between $X$ and $S$, compute their cohomology modules and describe ring-theoretic properties of their coordinate rings. Moreover, we produce graded free resolutions of $X$ (and $S$) which are in general minimal. Among the applications we show how one can embed a subscheme into an arithmetically Gorenstein subscheme of the same dimension and prove that zero-loci of sections of the dual of a null correlation bundle are arithmetically Buchsbaum.
△ Less
Submitted 26 August, 1997;
originally announced August 1997.
-
Determinantal schemes and Buchsbaum-Rim sheaves
Authors:
M. Kreuzer,
J. C. Migliore,
U. Nagel,
C. Peterson
Abstract:
Let $φ$ be a generically surjective morphism between direct sums of line bundles on $\proj{n}$ and assume that the degeneracy locus, $X$, of $φ$ has the expected codimension. We call $B_φ = \ker φ$ a (first) Buchsbaum-Rim sheaf and we call $X$ a standard determinantal scheme. Viewing $φ$ as a matrix (after choosing bases), we say that $X$ is good if one can delete a generalized row from $φ$ and…
▽ More
Let $φ$ be a generically surjective morphism between direct sums of line bundles on $\proj{n}$ and assume that the degeneracy locus, $X$, of $φ$ has the expected codimension. We call $B_φ = \ker φ$ a (first) Buchsbaum-Rim sheaf and we call $X$ a standard determinantal scheme. Viewing $φ$ as a matrix (after choosing bases), we say that $X$ is good if one can delete a generalized row from $φ$ and have the maximal minors of the resulting submatrix define a scheme of the expected codimension. In this paper we give several characterizations of good determinantal schemes. In particular, it is shown that being a good determinantal scheme of codimension $r+1$ is equivalent to being the zero-locus of a regular section of the dual of a first Buchsbaum-Rim sheaf of rank $r+1$. It is also equivalent to being standard determinantal and locally a complete intersection outside a subscheme $Y \subset X$ of codimension $r+2$. Furthermore, for any good determinantal subscheme $X$ of codimension $r+1$ there is a good determinantal subscheme $S$ codimension $r$ such that $X$ sits in $S$ in a nice way. This leads to several generalizations of a theorem of Kreuzer. For example, we show that for a zeroscheme $X$ in $\proj{3}$, being good determinantal is equivalent to the existence of an arithmetically Cohen-Macaulay curve $S$, which is a local complete intersection, such that $X$ is a subcanonical Cartier divisor on $S$.
△ Less
Submitted 26 August, 1997;
originally announced August 1997.
-
Statistical Properties of Unrestricted Crew Scheduling Problems
Authors:
M. Lagerholm,
C. Peterson,
B. Söderberg
Abstract:
A statistical analysis is performed for a random unrestricted local crew scheduling problem, expressed in terms of pairing arrivals with departures. The analysis is aimed at understanding the structure of similar problems with global restrictions, and estimating their difficulty. The methods developed are of a general nature and can be of use in other problems with a similar structure. For large r…
▽ More
A statistical analysis is performed for a random unrestricted local crew scheduling problem, expressed in terms of pairing arrivals with departures. The analysis is aimed at understanding the structure of similar problems with global restrictions, and estimating their difficulty. The methods developed are of a general nature and can be of use in other problems with a similar structure. For large random problems, the ground-state energy scales like \sqrt{N} and the average excitation like N, where N is the number of arrivals/departures. The average ground-state degeneracy is such that the probability of hitting an optimal pairing by chance scales like 2N2^{-N} for large N. By insisting on the local ground-state energy for a restricted problem, airports can be split into smaller parts, and the state space reduced by typically a factor ~ 2^{N_a}, with N_a the total number of airports.
△ Less
Submitted 22 December, 2020; v1 submitted 13 June, 1997;
originally announced June 1997.
-
Airline Crew Scheduling Using Potts Mean Field Techniques
Authors:
M. Lagerholm,
C. Peterson,
B. Söderberg
Abstract:
A novel method is presented and explored within the framework of Potts neural networks for solving optimization problems with a non-trivial topology, with the airline crew scheduling problem as a target application. The key ingredient to handle the topological complications is a propagator defined in terms of Potts neurons. The approach is tested on artificial problems generated with two real-wo…
▽ More
A novel method is presented and explored within the framework of Potts neural networks for solving optimization problems with a non-trivial topology, with the airline crew scheduling problem as a target application. The key ingredient to handle the topological complications is a propagator defined in terms of Potts neurons. The approach is tested on artificial problems generated with two real-world problems as templates. The results are compared against the properties of the corresponding unrestricted problems. The latter are subject to a detailed analysis in a companion paper [LU TP 97-11]. Very good results are obtained for a variety of problem sizes. The computer time demand for the approach only grows like (number of flights)^3. A realistic problem typically is solved within minutes, partly due to a prior reduction of the problem size, based on an analysis of the local arrival/departure structure at the single airports.
To facilitate the reading for audiences not familiar with Potts neurons and mean field techniques, a brief review is given of recent advances in their application to resource allocation problems.
△ Less
Submitted 13 June, 1997;
originally announced June 1997.
-
A Potts Neuron Approach to Communication Routing
Authors:
J. Häkkinen,
M. Lagerholm,
C. Peterson,
B. Söderberg
Abstract:
A feedback neural network approach to communication routing problems is developed with emphasis on Multiple Shortest Path problems, with several requests for transmissions between distinct start- and endnodes. The basic ingredients are a set of Potts neurons for each request, with interactions designed to minimize path lengths and to prevent overloading of network arcs. The topological nature of…
▽ More
A feedback neural network approach to communication routing problems is developed with emphasis on Multiple Shortest Path problems, with several requests for transmissions between distinct start- and endnodes. The basic ingredients are a set of Potts neurons for each request, with interactions designed to minimize path lengths and to prevent overloading of network arcs. The topological nature of the problem is conveniently handled using a propagator matrix approach. Although the constraints are global, the algorithmic steps are based entirely on local information, facilitating distributed implementations. In the polynomially solvable single-request case the approach reduces to a fuzzy version of the Bellman-Ford algorithm. The approach is evaluated for synthetic problems of varying sizes and load levels, by comparing with exact solutions from a branch-and-bound method. With very few exceptions, the Potts approach gives legal solutions of very high quality. The computational demand scales merely as the product of the numbers of requests, nodes, and arcs.
△ Less
Submitted 21 March, 1997;
originally announced March 1997.
-
The Electrostatic Persistence Length Calculated from Monte Carlo, Variational and Perturbation Methods
Authors:
M. Ullner,
B. Jönsson,
C. Peterson,
O. Sommelius,
B. Söderberg
Abstract:
Monte Carlo simulations and variational calculations using a Gaussian ansatz are applied to a model consisting of a flexible linear polyelectrolyte chain as well as to an intrinsically stiff chain with up to 1000 charged monomers. Addition of salt is treated implicitly through a screened Coulomb potential for the electrostatic interactions.
For the flexible model the electrostatic persistence…
▽ More
Monte Carlo simulations and variational calculations using a Gaussian ansatz are applied to a model consisting of a flexible linear polyelectrolyte chain as well as to an intrinsically stiff chain with up to 1000 charged monomers. Addition of salt is treated implicitly through a screened Coulomb potential for the electrostatic interactions.
For the flexible model the electrostatic persistence length shows roughly three regimes in its dependence on the Debye-Hückel screening length, $κ^{-1}$.As long as the salt content is low and $κ^{-1}$ is longer than the end-to-end distance, the electrostatic persistence length varies only slowly with $κ^{-1}$. Decreasing the screening length, a controversial region is entered. We find that the electrostatic persistence length scales as $sqrt{ξ_p}/κ$, in agreement with experiment on flexible polyelectrolytes, where $ξ_p$ is a strength parameter measuring the electrostatic interactions within the polyelectrolyte. For screening lengths much shorter than the bond length, the $κ^{-1}$ dependence becomes quadratic in the variational calculation. The simulations suffer from numerical problems in this regime, but seem to give a relationship half-way between linear and quadratic.
A low temperature expansion only reproduces the first regime and a high temperature expansion, which treats the electrostatic interactions as a perturbation to a Gaussian chain, gives a quadratic dependence on the Debye length.
For a sufficiently stiff chain, the persistence length varies quadratically with $κ^{-1}$ in agreement with earlier theories.
△ Less
Submitted 27 December, 1996;
originally announced December 1996.
-
Local Interactions and Protein Folding: A 3D Off-Lattice Approach
Authors:
Anders Irbäck,
Carsten Peterson,
Frank Potthast,
Ola Sommelius
Abstract:
The thermodynamic behavior of a three-dimensional off-lattice model for protein folding is probed. The model has only two types of residues, hydrophobic and hydrophilic. In absence of local interactions, native structure formation does not occur for the temperatures considered. By including sequence independent local interactions, which qualitatively reproduce local properties of functional prot…
▽ More
The thermodynamic behavior of a three-dimensional off-lattice model for protein folding is probed. The model has only two types of residues, hydrophobic and hydrophilic. In absence of local interactions, native structure formation does not occur for the temperatures considered. By including sequence independent local interactions, which qualitatively reproduce local properties of functional proteins, the dominance of a native state for many sequences is observed. As in lattice model approaches, folding takes place by gradual compactification, followed by a sequence dependent folding transition. Our results differ from lattice approaches in that bimodal energy distributions are not observed and that high folding temperatures are accompanied by relatively low temperatures for the peak of the specific heat. Also, in contrast to earlier studies using lattice models, our results convincingly demonstrate that one does not need more than two types of residues to generate sequences with good thermodynamic folding properties in three dimensions.
△ Less
Submitted 10 October, 1996;
originally announced October 1996.
-
A Variational Approach to the Structure and Thermodynamics of Linear Polyelectrolytes with Coulomb and Screened Coulomb Interactions
Authors:
B. Jönsson,
C. Peterson,
B. Söderberg
Abstract:
A variational approach, based on a discrete representation of the chain, is used to calculate free energy and conformational properties in polyelectrolytes. The true bond and Coulomb potentials are approximated by a trial isotropic harmonic energy containing force constants between {\em all}monomer-pairs as variational parameters. By a judicious choice of representation and the use of incrementa…
▽ More
A variational approach, based on a discrete representation of the chain, is used to calculate free energy and conformational properties in polyelectrolytes. The true bond and Coulomb potentials are approximated by a trial isotropic harmonic energy containing force constants between {\em all}monomer-pairs as variational parameters. By a judicious choice of representation and the use of incremental matrix inversion, an efficient and fast-convergent iterative algorithm is constructed, that optimizes the free energy. The computational demand scales as $N^3$ rather than $N^4$ as expected in a more naive approach. The method has the additional advantage that in contrast to Monte Carlo calculations the entropy is easily computed. An analysis of the high and low temperature limits is given. Also, the variational formulation is shown to respect the appropriate virial identities.The accuracy of the approximations introduced are tested against Monte Carlo simulations for problem sizes ranging from $N=20$ to 1024. Very good accuracy is obtained for chains with unscreened Coulomb interactions. The addition of salt is described through a screened Coulomb interaction, for which the accuracy in a certain parameter range turns out to be inferior to the unscreened case. The reason is that the harmonic variational Ansatz becomes less efficient with shorter range interactions.
As a by-product a very efficient Monte Carlo algorithm was developed for comparisons, providing high statistics data for very large sizes -- 2048 monomers. The Monte Carlo results are also used to examine scaling properties, based on low-$T$ approximations to end-end and monomer-monomer separations. It is argued that the former increases faster than linearly with the number of bonds.
△ Less
Submitted 9 September, 1996;
originally announced September 1996.
-
Airline Crew Scheduling with Potts Neurons
Authors:
M. Lagerholm,
C. Peterson,
B. Söderberg
Abstract:
A Potts feedback neural network approach for finding good solutions to resource allocation problems with a non-fixed topology is presented. As a target application the airline crew scheduling problem is chosen. The topological complication is handled by means of a propagator defined in terms of Potts neurons. The approach is tested on artificial random problems tuned to resemble real-world condi…
▽ More
A Potts feedback neural network approach for finding good solutions to resource allocation problems with a non-fixed topology is presented. As a target application the airline crew scheduling problem is chosen. The topological complication is handled by means of a propagator defined in terms of Potts neurons. The approach is tested on artificial random problems tuned to resemble real-world conditions. Very good results are obtained for a variety of problem sizes. The computer time demand for the approach only grows like $\mbox{(number of flights)}^3$. A realistic problem typically is solved within minutes, partly due to a prior reduction of the problem size, based on an analysis of the local arrival/departure structure at the single airports
△ Less
Submitted 11 May, 1996;
originally announced May 1996.
-
Identification of Amino Acid Sequences with Good Folding Properties in an Off-Lattice Model
Authors:
Anders Irbäck,
Carsten Peterson,
Frank Potthast
Abstract:
Folding properties of a two-dimensional toy protein model containing only two amino-acid types, hydrophobic and hydrophilic, respectively, are analyzed. An efficient Monte Carlo procedure is employed to ensure that the ground states are found. The thermodynamic properties are found to be strongly sequence dependent in contrast to the kinetic ones. Hence, criteria for good folders are defined ent…
▽ More
Folding properties of a two-dimensional toy protein model containing only two amino-acid types, hydrophobic and hydrophilic, respectively, are analyzed. An efficient Monte Carlo procedure is employed to ensure that the ground states are found. The thermodynamic properties are found to be strongly sequence dependent in contrast to the kinetic ones. Hence, criteria for good folders are defined entirely in terms of thermodynamic fluctuations. With these criteria sequence patterns that fold well are isolated. For 300 chains with 20 randomly chosen binary residues approximately 10% meet these criteria. Also, an analysis is performed by means of statistical and artificial neural network methods from which it is concluded that the folding properties can be predicted to a certain degree given the binary numbers characterizing the sequences.
△ Less
Submitted 27 March, 1997; v1 submitted 11 May, 1996;
originally announced May 1996.
-
Scaling and Scale Breaking in Polyelectrolyte
Authors:
Carsten Peterson,
Ola Sommelius,
Bo Söderberg
Abstract:
We consider the thermodynamics of a uniformly charged polyelectrolyte with harmonic bonds. For such a system there is at high temperatures an approximate scaling of global properties like the end-to-end distance and the interaction energy with the chain-length divided by the temperature. This scaling is broken at low temperatures by the ultraviolet divergence of the Coulomb potential. By introdu…
▽ More
We consider the thermodynamics of a uniformly charged polyelectrolyte with harmonic bonds. For such a system there is at high temperatures an approximate scaling of global properties like the end-to-end distance and the interaction energy with the chain-length divided by the temperature. This scaling is broken at low temperatures by the ultraviolet divergence of the Coulomb potential. By introducing a renormalization of the strength of the nearest- neighbour interaction the scaling is restored, making possible an efficient blocking method for emulating very large polyelectrolytes using small systems. The high temperature behaviour is well reproduced by the analytical high-$T$ expansions even for fairly low temperatures and system sizes. In addition, results from low-$T$ expansions, where the coefficients have been computed numerically, are presented. These results approximate well the corresponding Monte Carlo results at realistic temperatures. A corresponding analysis of screened chains is performed. The situation here is complicated by the appearance of an additional parameter, the screening length. A window is found in parameter space, where scaling holds for the end-to-end distance. This window corresponds to situations where the range of the potential interpolates between the bond length and the size of the chain. This scaling behaviour, which is verified by Monte Carlo results, is consistent with Flory scaling. Also for the screened chain a blocking approach can be devised, that performs well for low temperatures, whereas the low-$T$ expansion is inaccurate at realistic temperatures.
△ Less
Submitted 19 February, 1996;
originally announced February 1996.
-
Evidence for Non-Random Hydrophobicity Structures in Protein Chains
Authors:
Anders Irbäck,
Carsten Peterson,
Frank Potthast
Abstract:
The question of whether proteins originate from random sequences of amino acids is addressed. A statistical analysis is performed in terms of blocked and random walk values formed by binary hydrophobic assignments of the amino acids along the protein chains. Theoretical expectations of these variables from random distributions of hydrophobicities are compared with those obtained from functional…
▽ More
The question of whether proteins originate from random sequences of amino acids is addressed. A statistical analysis is performed in terms of blocked and random walk values formed by binary hydrophobic assignments of the amino acids along the protein chains. Theoretical expectations of these variables from random distributions of hydrophobicities are compared with those obtained from functional proteins. The results, which are based upon proteins in the SWISS-PROT data base, convincingly show that the amino acid sequences in proteins differ from what is expected from random sequences in a statistical significant way. By performing Fourier transforms on the random walks one obtains additional evidence for non-randomness of the distributions.
We have also analyzed results from a synthetic model containing only two amino-acid types, hydrophobic and hydrophilic. With reasonable criteria on good folding properties in terms of thermodynamical and kinetic behavior, sequences that fold well are isolated. Performing the same statistical analysis on the sequences that fold well indicates similar deviations from randomness as for the functional proteins. The deviations from randomness can be interpreted as originating from anticorrelations in terms of an Ising spin model for the hydrophobicities.
Our results, which differ from previous investigations using other methods, might have impact on how permissive with respect to sequence specificity the protein folding process is -- only sequences with non-random hydrophobicity distributions fold well. Other distributions give rise to energy landscapes with poor folding properties and hence did not survive the evolution.
△ Less
Submitted 15 October, 1996; v1 submitted 11 December, 1995;
originally announced December 1995.
-
A Blocking Technique for Emulating Very Large Polyelectrolytes
Authors:
C. Peterson,
O. Sommelius,
B. Soderberg
Abstract:
A new Monte Carlo method for computing thermodynamical properties of very large polyelectrolytes is presented. It is based on a renormalization group relating the original polymer to a smaller system, where in addition to the naively rescaled forces, a corrective nearest-neighbor interaction originating from the short distance Coulomb cutoff is introduced. The method is derived for low T but is…
▽ More
A new Monte Carlo method for computing thermodynamical properties of very large polyelectrolytes is presented. It is based on a renormalization group relating the original polymer to a smaller system, where in addition to the naively rescaled forces, a corrective nearest-neighbor interaction originating from the short distance Coulomb cutoff is introduced. The method is derived for low T but is in the unscreened case valid for all T. Large polymers with N monomers are emulated by Monte Carlo calculations on smaller systems, K=N/Q. The computational gain of the method is Q^3. It is explored with emphasis on room temperature. Results for N=10000 are presented.
△ Less
Submitted 20 October, 1995;
originally announced October 1995.
-
Titrating Polyelectrolytes - Variational Calculations and Monte Carlo Simulations
Authors:
B. Jönsson,
M. Ullner,
C. Peterson,
O. Sommelius,
B. Söderberg
Abstract:
Variational methods are used to calculate structural and thermodynamical properties of a titrating polyelectrolyte in a discrete representation. The Coulomb interactions are emulated by harmonic repulsive forces, the force constants being used as variational parameters to minimize the free energy. For the titrating charges, a mean field approach is used.
The accuracy is tested against Monte Ca…
▽ More
Variational methods are used to calculate structural and thermodynamical properties of a titrating polyelectrolyte in a discrete representation. The Coulomb interactions are emulated by harmonic repulsive forces, the force constants being used as variational parameters to minimize the free energy. For the titrating charges, a mean field approach is used.
The accuracy is tested against Monte Carlo data for up to 1000 monomers. For an unscreened chain, excellent agreement is obtained for the end-to-end distance and the apparent dissociation constant. With screening, the thermodynamical properties are invariably well described, although the structural agreement deteriorates.
A very simple rigid-rod approximation is also considered, giving surprisingly good results for certain properties.
△ Less
Submitted 15 June, 1995;
originally announced June 1995.
-
A Variational Approach for Minimizing Lennard-Jones Energies
Authors:
Carsten Peterson,
Ola Sommelius,
Bo Söderberg
Abstract:
A variational method for computing conformational properties of molecules with Lennard-Jones potentials for the monomer-monomer interactions is presented. The approach is tailored to deal with angular degrees of freedom, {\it rotors}, and consists in the iterative solution of a set of deterministic equations with annealing in temperature. The singular short-distance behaviour of the Lennard-Jones…
▽ More
A variational method for computing conformational properties of molecules with Lennard-Jones potentials for the monomer-monomer interactions is presented. The approach is tailored to deal with angular degrees of freedom, {\it rotors}, and consists in the iterative solution of a set of deterministic equations with annealing in temperature. The singular short-distance behaviour of the Lennard-Jones potential is adiabatically switched on in order to obtain stable convergence. As testbeds for the approach two distinct ensembles of molecules are used, characterized by a roughly dense-packed ore a more elongated ground state. For the latter, problems are generated from natural frequencies of occurrence of amino acids and phenomenologically determined potential parameters; they seem to represent less disorder than was previously assumed in synthetic protein studies. For the dense-packed problems in particular, the variational algorithm clearly outperforms a gradient descent method in terms of minimal energies. Although it cannot compete with a careful simulating annealing algorithm, the variational approach requires only a tiny fraction of the computer time. Issues and results when applying the method to polyelectrolytes at a finite temperature are also briefly discussed.
△ Less
Submitted 17 February, 1995;
originally announced February 1995.
-
A Variational Approach to the Structure and Thermodynamics of Linear Polyelectrolytes with Coulomb and Screened Coulomb Interactions
Authors:
B. Jönsson,
C. Peterson,
B. Söderberg
Abstract:
A variational approach is used to calculate free energy and conformational properties in polyelectrolytes. The true bond and Coulomb potentials are approximated by a trial isotropic harmonic energy containing monomer-monomer force constants as variational parameters. By a judicious choice of representation and the use of incremental matrix inversion, an efficient and fast-convergent iterative al…
▽ More
A variational approach is used to calculate free energy and conformational properties in polyelectrolytes. The true bond and Coulomb potentials are approximated by a trial isotropic harmonic energy containing monomer-monomer force constants as variational parameters. By a judicious choice of representation and the use of incremental matrix inversion, an efficient and fast-convergent iterative algorithm is constructed, that optimizes the free energy. The computational demand scales as N^3. The method has the additional advantage that the entropy is easily computed. An analysis of the high and low temperature limits is given. Also, the variational formulation is shown to respect the appropriate virial identities. The accuracy of the approximations introduced are tested against Monte Carlo simulations for problem sizes ranging from N=20 to 1024. Very good performance is obtained for chains with unscreened Coulomb interactions. The addition of salt is described through a screened Coulomb interaction, for which the accuracy in a certain parameter range turns out to be inferior to the unscreened case. The reason is that the isotropic Gaussian Ansatz becomes less efficient with shorter range interactions. As a by-product a very efficient Monte Carlo algorithm was developed for comparisons, providing high statistics data for very large sizes - 2048 monomers.
△ Less
Submitted 6 December, 1993;
originally announced December 1993.