Related papers: The Gardner problem and cycle slipping bifurcation…
We study the enclosure method for the p-Calder\'on problem, which is a nonlinear generalization of the inverse conductivity problem due to Calder\'on that involves the p-Laplace equation. The method allows one to reconstruct the convex hull…
In the present article, using a non-commutative integration method of linear differential equations, we, considering the Klein-Gordon equation with the $L$-constant electric field with large $L$ and using the light cone variables, find new…
We study the guarded negation fragment of transitive closure logic (GNTC). We show that the satisfiability problem for GNTC is 2ExpTime-complete, by establishing the following reductions: (i) a polynomial-time reduction from the…
This article offers a study of the Calder\'on type inverse problem of determining up to second order coefficients of the higher order elliptic operator. Here we show that it is possible to determine an anisotropic second order perturbation…
In this paper, we deal with limit cycle bifurcations near a double homoclinic loop with a nilpotent saddle of order 2 by studying expansions of the first order Melnikov functions near the loop and coefficients in these expansions. More…
Interaction of waves with point and line defects are usually described by $\delta$-function potentials supported on points or lines. In two dimensions, the scattering problem for a finite collection of point defects or parallel line defects…
We present the design of an analog circuit which solves linear programming (LP) problems. In particular, the steady-state circuit voltages are the components of the LP optimal solution. The paper shows how to construct the circuit and…
Fluctuations in phase angle and frequency under large disturbances can lead to loss of synchronism (LOS) in grid-following (GFL) converters. The power angle and frequency of synchronous generators (SGs) correspond to rotor position and…
We propose a parallel adaptive constraint-tightening approach to solve a linear model predictive control problem for discrete-time systems, based on inexact numerical optimization algorithms and operator splitting methods. The underlying…
We describe how the coupling of the gluonic Polyakov loop to quarks solves different inconsistencies in the standard treatment of chiral quark models at finite temperature at the one quark loop level. Large gauge invariance is incorporated…
A model of two-leg spin-S ladder with two additional frustrating diagonal exchange couplings J_{D}, J_{D}' is studied within the framework of the nonlinear sigma model approach. The phase diagram has a rich structure and contains 2S gapless…
A square-lattice hard-core dimer model with links extending beyond nearest-neighbors is studied using a directed-loop Monte Carlo method. An arbitrarily small fraction of next-nearest-neighbor dimers is found to cause deconfinement, whereas…
We address the problem of verifying closed-loop contraction in nonlinear control systems whose controller and contraction metric are both parameterized by neural networks. By leveraging interval analysis and interval bound propagation, we…
This paper gives an analysis of the periodic solutions of a ring of $n$ oscillators coupled to their neighbors. We prove the bifurcation of branches of such solutions from a relative equilibrium, and we study their symmetries. We give…
We consider a class of nonlinear Schrodinger / Gross-Pitaveskii (NLS-GP) equations, i.e. NLS with a linear potential. We obtain conditions for a symmetry breaking bifurcation in a symmetric family of states as N, the squared L^2 norm…
We introduce a method for solving Calder\'on type inverse problems for semilinear equations with power type nonlinearities. The method is based on higher order linearizations, and it allows one to solve inverse problems for certain…
A lattice model of critical spanning webs is considered for the finite cylinder geometry. Due to the presence of cycles, the model is a generalization of the known spanning tree model which belongs to the class of logarithmic theories with…
An S=1/2 anti-ferromagnetic spin chain is mapped to the two-flavor massless Schwinger model, which admits a gapless mode. In a spin ladder system rung interactions break the chiral invariance. These systems are solved by bosonization. If…
The phase diagram of the spin-1 bond-alternating XXZ chain is studied numerically. This model is appropriate to study the VBS picture and the hidden Z_2\times Z_2 symmetry concerning to the Haldane gap problem. The possible phases are the…
The phase diagram of a frustrated S=1/2 antiferromagnetic spin ladder with additional next-nearest neighbor exchanges, both diagonal and inchain, is studied by a weak-coupling effective field theory approach combined with exact…