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

Renormalization Group Theory for a Perturbed KdV Equation

We show that renormalization group(RG) theory can be used to give an analytic description of the evolution of a perturbed KdV equation. The equations describing the deformation of its shape as the effect of perturbation are RG equations. The RG approach may be simpler than inverse scattering theory(IST) and another approaches, because it dose not rely on any knowledge of IST and it is very concise and easy to understand. To the best of our knowledge, this is the first time that RG has been used in this way for the perturbed soliton dynamics.Comment: 4 pages, no figure, revte

Unidirectional Propagation of an Ultra-Short Electromagnetic Pulse in a Resonant Medium with High Frequency Stark Shift

We consider in the unidirectional approximation the propagation of an ultra short electromagnetic pulse in a resonant medium consisting of molecules characterized by a transition operator with both diagonal and non-diagonal matrix elements. We find the zero-curvature representation of the reduced Maxwell-Bloch equations in the sharp line limit. This can be used to develop the inverse scattering transform method to solve these equations. Finally we obtain two types of exact traveling pulse solutions, one with the usual exponential decay and another with an algebraic decay.Comment: Latex, 10 pages, no figure

Completely integrable models of non-linear optics

The models of the non-linear optics in which solitons were appeared are considered. These models are of paramount importance in studies of non-linear wave phenomena. The classical examples of phenomena of this kind are the self-focusing, self-induced transparency, and parametric interaction of three waves. At the present time there are a number of the theories based on completely integrable systems of equations, which are both generations of the original known models and new ones. The modified Korteweg-de Vries equation, the non- linear Schrodinger equation, the derivative non-linear Schrodinger equation, Sine-Gordon equation, the reduced Maxwell-Bloch equation, Hirota equation, the principal chiral field equations, and the equations of massive Thirring model are gradually putting together a list of soliton equations, which are usually to be found in non-linear optics theory.Comment: Latex, 17 pages, no figures, submitted to Pramana

Optical Bistability in Nonlinear Optical Coupler with Negative Index Channel

We discuss a novel kind of nonlinear coupler with one channel filled with a negative index material (NIM). The opposite directionality of the phase velocity and the energy flow in the NIM channel facilitates an effective feedback mechanism that leads to optical bistability and gap soliton formation

Second harmonic generation: Goursat problem on the semi-strip and explicit solutions

A rigorous and complete solution of the initial-boundary-value (Goursat) problem for second harmonic generation (and its matrix analog) on the semi-strip is given in terms of the Weyl functions. A wide class of the explicit solutions and their Weyl functions is obtained also.Comment: 20 page

On the (Non)-Integrability of KdV Hierarchy with Self-consistent Sources

Non-holonomic deformations of integrable equations of the KdV hierarchy are studied by using the expansions over the so-called "squared solutions" (squared eigenfunctions). Such deformations are equivalent to perturbed models with external (self-consistent) sources. In this regard, the KdV6 equation is viewed as a special perturbation of KdV equation. Applying expansions over the symplectic basis of squared eigenfunctions, the integrability properties of the KdV hierarchy with generic self-consistent sources are analyzed. This allows one to formulate a set of conditions on the perturbation terms that preserve the integrability. The perturbation corrections to the scattering data and to the corresponding action-angle variables are studied. The analysis shows that although many nontrivial solutions of KdV equations with generic self-consistent sources can be obtained by the Inverse Scattering Transform (IST), there are solutions that, in principle, can not be obtained via IST. Examples are considered showing the complete integrability of KdV6 with perturbations that preserve the eigenvalues time-independent. In another type of examples the soliton solutions of the perturbed equations are presented where the perturbed eigenvalue depends explicitly on time. Such equations, however in general, are not completely integrable.Comment: 16 pages, no figures, LaTe

Chiral Solitons in a Current Coupled Schr\"odinger Equation With Self Interaction

Recently non-topological chiral soliton solutions were obtained in a derivatively coupled non-linear Schr\"odinger model in 1+1 dimensions. We extend the analysis to include a more general self-coupling potential (which includes the previous cases) and find chiral soliton solutions. Interestingly even the magnitude of the velocity is found to be fixed. Energy and U(1) charge associated with this non-topological chiral solitons are also obtained.Comment: 8 pages, no figure, to appear in Phys. Rev.