Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems

B{\'e}zout 's theorem states that dense generic systems of n multivariate quadratic equations in n variables have 2 n solutions over algebraically closed fields. When only a small subset M of monomials appear in the equations (fewnomial systems), the number of solutions may decrease dramatically. We focus in this work on subsets of quadratic monomials M such that generic systems with support M do not admit any solution at all. For these systems, Hilbert's Nullstellensatz ensures the existence of algebraic certificates of inconsistency. However, up to our knowledge all known bounds on the sizes of such certificates -including those which take into account the Newton polytopes of the polynomials- are exponential in n. Our main results show that if the inequality 2|M| -- 2n $\le$ \sqrt 1 + 8{\nu} -- 1 holds for a quadratic fewnomial system -- where {\nu} is the matching number of a graph associated with M, and |M| is the cardinality of M -- then there exists generically a certificate of inconsistency of linear size (measured as the number of coefficients in the ground field K). Moreover this certificate can be computed within a polynomial number of arithmetic operations. Next, we evaluate how often this inequality holds, and we give evidence that the probability that the inequality is satisfied depends strongly on the number of squares. More precisely, we show that if M is picked uniformly at random among the subsets of n + k + 1 quadratic monomials containing at least $\Omega$(n 1/2+$\epsilon$) squares, then the probability that the inequality holds tends to 1 as n grows. Interestingly, this phenomenon is related with the matching number of random graphs in the Erd{\"o}s-Renyi model. Finally, we provide experimental results showing that certificates in inconsistency can be computed for systems with more than 10000 variables and equations.Comment: ISSAC 2016, Jul 2016, Waterloo, Canada. Proceedings of ISSAC 201

Performance characteristics of the 12 GHz, 200 watt transmitter experiment package for CTS

The experiment package consists of a 200 W output stage tube (OST) powered by a power processing system (PPS). Descriptions of both the PPS and OST are given. The PPS provides the necessary voltages with a measured dc/dc conversion efficiency of 89 percent. The OST, a traveling wave tube with multiple collectors, has a saturated rf output power of 224 W and operates at an overall efficiency exceeding 40 percent over an 85 MHz bandwidth at 12 GHz. OST performance given includes frequency response, saturation characteristics, group delay, AM to PM conversion, inter-modulation distortion, and two channel gain suppression. Single and dual channel FM video performance is presented. It was determined that for 12 MHz peak to peak frequency deviation on each channel, dual channel FM television signals can be transmitted through the TEP at 60 W, each channel, with 40 MHz channel spacing (center to center)

Large N Expansion and Softly Broken Supersymmetry

We examine the supersymmetric non-linear O(N) sigma model with a soft breaking term. In two dimensions, we found that the mass difference between supersymmetric partner fields vanishes accidentally. In three dimensions, the mass difference is observed but O(N) symmetry is always broken also in the strong coupling region.Comment: Plain Latex(8pages), No Figur

The Mercury-Redstone project

Mercury-Redstone project development history, and contributions to future manned spacecraft design and operatio

The Energy-dependent X-ray Timing Characteristics of the Narrow Line Seyfert 1 Mkn 766

We present the energy-dependent power spectral density (PSD) and cross-spectral properties of Mkn 766, obtained from combining data obtained during an XMM-Newton observation spanning six revolutions in 2005 with data obtained from an XMM-Newton long-look in 2001. The PSD shapes and rms-flux relations are found to be consistent between the 2001 and 2005 observations, suggesting the 2005 observation is simply a low-flux extension of the 2001 observation and permitting us to combine the two data sets. The resulting PSD has the highest temporal frequency resolution for any AGN PSD measured to date. Applying a broken power-law model yields break frequencies which increase in temporal frequency with photon energy. Obtaining a good fit when assuming energy-independent break frequencies requires the presence of a Lorentzian at 4.6+/-0.4 * 10^-4 Hz whose strength increases with photon energy, a behavior seen in black hole X-ray binaries. The cross-spectral properties are measured; temporal frequency-dependent soft-to-hard time lags are detected in this object for the first time. Cross-spectral results are consistent with those for other accreting black hole systems. The results are discussed in the context of several variability models, including those based on inwardly-propagating viscosity variations in the accretion disk.Comment: Accepted for publication in The Astrophysical Journal. 18 pages, 9 figures. Uses emulateapj5.st

Self-consistent approach for the quantum confined Stark effect in shallow quantum wells

A computationally efficient, self-consistent complex scaling approach to calculating characteristics of excitons in an external electric field in quantum wells is introduced. The method allows one to extract the resonance position as well as the field-induced broadening for the exciton resonance. For the case of strong confinement the trial function is represented in factorized form. The corresponding coupled self-consistent equations, which include the effective complex potentials, are obtained. The method is applied to the shallow quantum well. It is shown that in this case the real part of the effective exciton potential is insensitive to changes of external electric field up to the ionization threshold, while the imaginary part has non-analytical field dependence and small for moderate electric fields. This allows one to express the exciton quasi-energy at some field through the renormalized expression for the zero-field bound state.Comment: 13 pages, RevTeX4, 6 figure

Basic studies of baroclinic flows

A fully nonlinear 3-dimensional numerical model (GEOSIM), previously developed and validated for several cases of geophysical fluid flow, has been used to investigate the dynamical behavior of laboratory experiments of fluid flows similar to those of the Earth's atmosphere. The phenomena investigated are amplitude vacillation, and the response of the fluid system to uneven heating and cooling. The previous year's work included hysteresis in the transition between axisymmetric and wave flow. Investigation is also continuing of the flows in the Geophysical Fluid Flow Cell (GFFC), a low-gravity Spacelab experiment. Much of the effort in the past year has been spent in validation of the model under a wide range of external parameters including nonlinear flow regimes. With the implementation of a 3-dimensional upwind differencing scheme, higher spectral resolution, and a shorter time step, the model has been found capable of predicting the majority of flow regimes observed in one complete series of baroclinic annulus experiments of Pfeffer and co-workers. Detailed analysis of amplitude vacillation has revealed that the phase splitting described in the laboratory experiments occurs in some but not all cases. Through the use of animation of the models output, a vivid 3-dimensional view of the phase splitting was shown to the audience of the Southeastern Geophysical Fluid Dynamics Conference in March of this year. A study on interannual variability was made using GEOSIM with periodic variations in the thermal forcing. Thus far, the model has not predicted a chaotic behavior as observed in the experiments, although there is a sensitivity in the wavenumber selection to the initial conditions. Work on this subject, and on annulus experiments with non-axisymmetric thermal heating, will continue. The comparison of GEOSIM's predictions will result from the Spacelab 3 GFFC experiments continued over the past year, on a 'back-burner' basis. At this point, the study (in the form of a draft of a journal article) is nearly completed. The results from GEOSIM compared very well with the experiments, and the use of the model allows the demonstration of flow mechanics that were not possible with the experimental data. For example, animation of the model output shows that the forking of the spiral bands is a transient phenomenon, due to the differential east-west propagation of convection bands from different latitudes