English
Related papers

Related papers: The equations of the ideal latches

200 papers

Divisible residuated lattices are algebraic structures corresponding to a more comprehensive logic than Hajek's basic logic with an important significance in the study of fuzzy logic. The purpose of this paper is to investigate commutative…

Rings and Algebras · Mathematics 2024-11-07 Cristina Flaut , Dana Piciu

The correctness problem for reactive systems has been thoroughly explored and is well understood. Meanwhile, the efficiency problem for reactive systems has not received the same attention. Indeed, one correct system may be less fit than…

Logic in Computer Science · Computer Science 2023-09-08 Derek Egolf , Stavros Tripakis

Experimental observations of an almost symmetric electronic circuit show complicated sequences of bifurcations. These results are discussed in the light of a theory of imperfect global bifurcations. It is shown that much of the dynamics…

Chaotic Dynamics · Physics 2009-11-07 Paul Glendinning , Jan Abshagen , Tom Mullin

We deliver the realistic ab initio lattice investigations of $K \overline{K}$ scattering. In the Asqtad-improved staggered dynamical fermion formulation, we carefully measure $K\overline{K}$ four-point function in the $I=0$ channel by…

High Energy Physics - Lattice · Physics 2013-12-30 Ziwen Fu

The intermittency is investigated when the current reversal occurs in a deterministic inertia ratchet system. To determine which type the intermittency belongs to, we obtain the return map of velocities of particle using stroboscopic…

Chaotic Dynamics · Physics 2009-11-10 W. -S. Son , I. Kim , Y. -J. Park , C. -M. Kim

We study classical Ising spin-$\frac{1}{2}$ models on the 2D square lattice with ferromagnetic or antiferromagnetic nearest-neighbor interactions, under the effect of a pure imaginary magnetic field. The complex Boltzmann weights of spin…

Statistical Mechanics · Physics 2023-06-27 Roman Krčmár , Andrej Gendiar , Ladislav Šamaj

In the worldline formalism, scalar Quantum Electrodynamics on a 2-dimensional lattice is related to the areas of closed loops on this lattice. We exploit this relationship in order to determine the general structure of the moments of the…

Mathematical Physics · Physics 2017-06-23 Thomas Epelbaum , Francois Gelis , Bin Wu

To investigate the light scalar tetraquark candidate $a_0(980)$ (quantum numbers $J^P =0^+$), a correlation matrix including a variety of two- and four-quark interpolating operators has to be computed. We discuss efficient techniques to…

The dipole moment is a crucial molecular property linked to a molecular system's bond polarity and overall electronic structure. To that end, the electronic dipole moment, which results from the electron density of a system, is often used…

A new lattice method is presented in order to efficiently solve the electrokinetic equations, which describe the structure and dynamics of the charge cloud and the flow field surrounding a single charged colloidal sphere, or a fixed array…

Soft Condensed Matter · Physics 2015-06-05 R. Schmitz , B. Duenweg

In this article, we review the proofs of the first Zassenhaus Conjecture on conjugacy of torsion units in integral group rings for the alternating groups of degree 5 and 6, by Luthar-Passi and Hertweck. We describe how the study of these…

Rings and Algebras · Mathematics 2020-06-17 Andreas Bächle , Leo Margolis

The circuit-theoretic origins of maximal monotonicity are revisited using modern optimization algorithms for maximal monotone operators. We present an algorithm for computing the periodic behavior of an interconnection of maximal monotone…

Systems and Control · Electrical Eng. & Systems 2021-04-07 Thomas Chaffey , Rodolphe Sepulchre

Closed-loop positivity of feedback interconnections of positive monotone nonlinear systems is investigated. It is shown that an instantaneous gain condition on the open-loop systems which implies feedback well-posedness also guarantees…

Optimization and Control · Mathematics 2015-08-27 Sei Zhen Khong , Corentin Briat , Anders Rantzer

Cyclic lattices and ideal lattices were introduced by Micciancio in \cite{D2}, Lyubashevsky and Micciancio in \cite{L1} respectively, which play an efficient role in Ajtai's construction of a collision resistant Hash function (see \cite{M1}…

Information Theory · Computer Science 2021-12-28 Zhiyong Zheng , Fengxia Liu , Yunfan Lu , Kun Tian

For every univariate formula $\chi$ we introduce a lattices of intermediate theories: the lattice of $\chi$-logics. The key idea to define chi-logics is to interpret atomic propositions as fixpoints of the formula $\chi^2$, which can be…

Logic · Mathematics 2023-03-21 Gianluca Grilletti , Davide Emilio Quadrellaro

Time dependent Ginzburg-Landau equation is solved for type II superconductors numerically, and the dynamics of entering vortices, geometric defects and pinning effects have been investigated. A superconducting wire with ratchet defects is…

Superconductivity · Physics 2017-04-06 Dachuan Lu

The magnetization curves M(H) for ideal type-II superconductors and the maximum, minimum, and saddle point magnetic fields of the vortex lattice are calculated from Ginzburg-Landau theory for the entire ranges of applied magnetic fields Hc1…

Superconductivity · Physics 2009-11-10 Ernst Helmut Brandt

We discuss the phenomenology of neutron Electric Dipole Moment from the Standard Model and beyond, and identify the matrix elements most necessary to connect the current and forthcoming experiments with phenomenology. We then describe…

High Energy Physics - Lattice · Physics 2012-12-21 Tanmoy Bhattacharya , Vincenzo Cirigliano , Rajan Gupta

We present a perturbative study of the response of cold atoms in an optical lattice to a weak time- and space-asymmetric periodic driving signal. In the noninteracting limit, and for a finite set of resonant frequencies, we show how a…

Quantum Gases · Physics 2015-05-18 Martin Heimsoth , Charles E. Creffield , Fernando Sols

Many real-world systems are governed by the time-dependent, nonlinear differential equations. Dynamics of an electrical system are also best described using the very equations. Being one of the preferred machines when using advanced control…

Systems and Control · Computer Science 2017-12-05 Srikanth Peetha , Michael L. McIntyre