Linear, integer separable and fuzzy programming problems: a united approach towards automatic reformulation

For mathematical programming (MP) to have greater impact as a decision tool, MP software systems must offer suitable support in terms of model communication and modelling techniques. In this paper modelling techniques that allow logical restrictions to be modelled in integer programming terms are described and their implications discussed. In addition it is demonstrated that many classes of non-linearities which are not variable separable may be after suitable algebraic manipulation put in a variable separable form. The methods of reformulating the fuzzy linear programming problem as a Max-Min problem is also introduced. It is shown that analysis of bounds plays a key role in the following four important contexts: model reduction, reformulation of logical restrictions as 0-1 mixed integer programs, reformulation of nonlinear programs as variable separable programs and reformulation of fuzzy linear programs. It is observed that as well as incorporating an interface between the modeller and the optimiser there is a need to make available to the modeller software facilities which support the model reformulation techniques described here

Formation rates of Dark Matter Haloes

We derive an estimate of the rate of formation of dark matter halos per unit volume as a function of the halo mass and redshift of formation. Analytical estimates of the number density of dark matter halos are useful in modeling several cosmological phenomena. We use the excursion set formalism for computing the formation rate of dark matter halos. We use an approach that allows us to differentiate between major and minor mergers, as this is a pertinent issue for semi-analytic models of galaxy formation. We compute the formation rate for the Press-Schechter and the Sheth-Tormen mass function. We show that the formation rate computed in this manner is positive at all scales. We comment on the Sasaki formalism where negative halo formation rates are obtained. Our estimates compare very well with N-Body simulations for a variety of models. We also discuss the halo survival probability and the formation redshift distributions using our method.Comment: 30 pages, 9 figure

Capacity Gain from Two-Transmitter and Two-Receiver Cooperation

Capacity improvement from transmitter and receiver cooperation is investigated in a two-transmitter, two-receiver network with phase fading and full channel state information available at all terminals. The transmitters cooperate by first exchanging messages over an orthogonal transmitter cooperation channel, then encoding jointly with dirty paper coding. The receivers cooperate by using Wyner-Ziv compress-and-forward over an analogous orthogonal receiver cooperation channel. To account for the cost of cooperation, the allocation of network power and bandwidth among the data and cooperation channels is studied. It is shown that transmitter cooperation outperforms receiver cooperation and improves capacity over non-cooperative transmission under most operating conditions when the cooperation channel is strong. However, a weak cooperation channel limits the transmitter cooperation rate; in this case receiver cooperation is more advantageous. Transmitter-and-receiver cooperation offers sizable additional capacity gain over transmitter-only cooperation at low SNR, whereas at high SNR transmitter cooperation alone captures most of the cooperative capacity improvement.Comment: Accepted for publication in IEEE Transactions on Information Theor

Baryon Self-Energy With QQQ Bethe-Salpeter Dynamics In The Non-Perturbative QCD Regime: n-p Mass Difference

A qqq BSE formalism based on DB{\chi}S of an input 4-fermion Lagrangian of `current' u,d quarks interacting pairwise via gluon-exchange-propagator in its {\it non-perturbative} regime, is employed for the calculation of baryon self-energy via quark-loop integrals. To that end the baryon-qqq vertex function is derived under Covariant Instantaneity Ansatz (CIA), using Green's function techniques. This is a 3-body extension of an earlier q{\bar q} (2-body) result on the exact 3D-4D interconnection for the respective BS wave functions under 3D kernel support, precalibrated to both q{\bar q} and qqq spectra plus other observables. The quark loop integrals for the neutron (n) - proton (p) mass difference receive contributions from : i) the strong SU(2) effect arising from the d-u mass difference (4 MeV); ii) the e.m. effect of the respective quark charges. The resultant n-p difference comes dominantly from d-u effect (+1.71 Mev), which is mildly offset by e.m.effect (-0.44), subject to gauge corrections. To that end, a general method for QED gauge corrections to an arbitrary momentum dependent vertex function is outlined, and on on a proportionate basis from the (two-body) kaon case, the net n-p difference works out at just above 1 MeV. A critical comparison is given with QCD sum rules results.Comment: be 27 pages, Latex file, and to be published in IJMPA, Vol 1

Simulations of charged droplet collisions in shear flow

Acknowledgments This research has been enabled by the use of computing resources provided by WestGrid, the Shared Hierarchical Academic Research Computing Network (SHARCNET: www.sharcnet.ca), and Compute/Calcul Canada. O.S. thanks NSERC for an Alexander Graham Bell Canada Graduate Scholarship.Peer reviewedPostprin