Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better.

This paper aims to outline the effectiveness of modern universal gate quantum computers when utilizing different configurations to solve the B-SAT (Boolean satisfiability) problem. The quantum computing experiments were performed using Grover's search algorithm to find a valid solution. The experiments were performed under different variations to demonstrate their effects on the results. Changing the number of shots, qubit mapping, and using a different quantum processor were all among the experimental variables. The study also branched into a dedicated experiment highlighting a peculiar behavior that IBM quantum processors exhibit when running circuits with a certain number of shots.

Hopf bifurcation in an age-structured predator-prey system with Beddington-DeAngelis functional response and constant harvesting.

In this paper, an age-structured predator-prey system with Beddington-DeAngelis (B-D) type functional response, prey refuge and harvesting is investigated, where the predator fertility function f(a) and the maturation function ß ( a ) are assumed to be piecewise functions related to their maturation period τ . Firstly, we rewrite the original system as a non-densely defined abstract Cauchy problem and show the existence of solutions. In particular, we discuss the existence and uniqueness of a positive equilibrium of the system. Secondly, we consider the maturation period τ as a bifurcation parameter and show the existence of Hopf bifurcation at the positive equilibrium by applying the integrated semigroup theory and Hopf bifurcation theorem. Moreover, the direction of Hopf bifurcation and the stability of bifurcating periodic solutions are studied by applying the center manifold theorem and normal form theory. Finally, some numerical simulations are given to illustrate of the theoretical results and a brief discussion is presented.

Allee effect-driven complexity in a spatiotemporal predator-prey system with fear factor.

In this paper, we propose a spatiotemporal prey-predator model with fear and Allee effects. We first establish the global existence of solution in time and provide some sufficient conditions for the existence of non-negative spatially homogeneous equilibria. Then, we study the stability and bifurcation for the non-negative equilibria and explore the bifurcation diagram, which revealed that the Allee effect and fear factor can induce complex bifurcation scenario. We discuss that large Allee effect-driven Turing instability and pattern transition for the considered system with the Holling-Ⅰ type functional response, and how small Allee effect stabilizes the system in nature. Finally, numerical simulations illustrate the effectiveness of theoretical results. The main contribution of this work is to discover that the Allee effect can induce both codimension-one bifurcations (transcritical, saddle-node, Hopf, Turing) and codimension-two bifurcations (cusp, Bogdanov-Takens and Turing-Hopf) in a spatiotemporal predator-prey model with a fear factor. In addition, we observe that the circular rings pattern loses its stability, and transitions to the coldspot and stripe pattern in Hopf region or the Turing-Hopf region for a special choice of initial condition.

Spatiotemporal dynamics of a diffusive predator-prey model with delay and Allee effect in predator.

It has been shown that Allee effect can change predator-prey dynamics and impact species persistence. Allee effect in the prey population has been widely investigated. However, the study on the Allee effect in the predator population is rare. In this paper, we investigate the spatiotemporal dynamics of a diffusive predator-prey model with digestion delay and Allee effect in the predator population. The conditions of stability and instability induced by diffusion for the positive equilibrium are obtained. The effect of delay on the dynamics of system has three different cases: (a) the delay doesn't change the stability of the positive equilibrium, (b) destabilizes and stabilizes the positive equilibrium and induces stability switches, or (c) destabilizes the positive equilibrium and induces Hopf bifurcation, which is revealed (numerically) to be corresponding to high, intermediate or low level of Allee effect, respectively. To figure out the joint effect of delay and diffusion, we carry out Turing-Hopf bifurcation analysis and derive its normal form, from which we can obtain the classification of dynamics near Turing-Hopf bifurcation point. Complex spatiotemporal dynamical behaviors are found, including the coexistence of two stable spatially homogeneous or inhomogeneous periodic solutions and two stable spatially inhomogeneous quasi-periodic solutions. It deepens our understanding of the effects of Allee effect in the predator population and presents new phenomena induced be delay with spatial diffusion.

Maximum Likelihood Estimation in Mixed Integer Linear Models.

We consider the maximum likelihood (ML) parameter estimation problem for mixed integer linear models with arbitrary noise covariance. This problem appears in applications such as single frequency estimation, phase contrast imaging, and direction of arrival (DoA) estimation. Parameter estimates are found by solving a closest lattice point problem, which requires a lattice basis. In this letter, we present a lattice basis construction for ML parameter estimation and conclude with simulated results from DoA estimation and phase contrast imaging.

Dynamic behavior analysis of an SVIR epidemic model with two time delays associated with the COVID-19 booster vaccination time.

Since the outbreak of COVID-19, there has been widespread concern in the community, especially on the recent heated debate about when to get the booster vaccination. In order to explore the optimal time for receiving booster shots, here we construct an SVIR model with two time delays based on temporary immunity. Second, we theoretically analyze the existence and stability of equilibrium and further study the dynamic properties of Hopf bifurcation. Then, the statistical analysis is conducted to obtain two groups of parameters based on the official data, and numerical simulations are carried out to verify the theoretical analysis. As a result, we find that the equilibrium is locally asymptotically stable when the booster vaccination time is within the critical value. Moreover, the results of the simulations also exhibit globally stable properties, which might be more beneficial for controlling the outbreak. Finally, we propose the optimal time of booster vaccination and predict when the outbreak can be effectively controlled.

Bifurcation Control on the Un-Linearizable Dynamic System via Washout Filters.

Information fusion integrates aspects of data and knowledge mostly on the basis that system information is accumulative/distributive, but a subtle case emerges for a system with bifurcations, which is always un-linearizable and exacerbates information acquisition and presents a control problem. In this paper, the problem of an un-linearizable system related to system observation and control is addressed, and Andronov-Hopf bifurcation is taken as a typical example of an un-linearizable system and detailed. Firstly, the properties of a linear/linearized system is upon commented. Then, nonlinear degeneracy for the normal form of Andronov-Hopf bifurcation is analyzed, and it is deduced that the cubic terms are an integral part of the system. Afterwards, the theoretical study on feedback stabilization is conducted between the normal-form Andronov-Hopf bifurcation and its linearized counterpart, where stabilization using washout-filter-aided feedback is compared, and it is found that by synergistic controller design, the dual-conjugate-unstable eigenvalues can be stabilized by single stable washout filter. Finally, the high-dimensional ethanol fermentation model is taken as a case study to verify the proposed bifurcation control method.

On the determination of dense coincidence site lattice planes.

The concept of coincidence site lattice (CSL) is used in descriptions of geometry of some intercrystalline boundaries. In face-centered cubic and body-centered cubic metals, atoms are located at the nodes of lattices, and results concerning lattice nodes are applicable to atomic sites. One of the criteria for special boundary configurations is that the boundary passes through a plane with a high density of coinciding atomic sites. Hence, there is an issue of identification of such planes. This paper describes a simple and reliable method for determining the planes with high densities of coinciding lattice nodes. The key elements of the procedure are the Hermite normal form of an integer matrix and Niggli reduction of the CSL basis. In its general form, the method is applicable to arbitrary three-dimensional lattices possessing a common three-dimensional sublattice. The densest and second-densest planes are determined for low-Σ CSLs of cubic lattices.

Data-driven nonlinear model reduction to spectral submanifolds in mechanical systems.

While data-driven model reduction techniques are well-established for linearizable mechanical systems, general approaches to reducing nonlinearizable systems with multiple coexisting steady states have been unavailable. In this paper, we review such a data-driven nonlinear model reduction methodology based on spectral submanifolds. As input, this approach takes observations of unforced nonlinear oscillations to construct normal forms of the dynamics reduced to very low-dimensional invariant manifolds. These normal forms capture amplitude-dependent properties and are accurate enough to provide predictions for nonlinearizable system response under the additions of external forcing. We illustrate these results on examples from structural vibrations, featuring both synthetic and experimental data. This article is part of the theme issue 'Data-driven prediction in dynamical systems'.

Mathematical modeling and stability analysis of the time-delayed SAIM model for COVID-19 vaccination and media coverage.

Since the COVID-19 outbreak began in early 2020, it has spread rapidly and threatened public health worldwide. Vaccination is an effective way to control the epidemic. In this paper, we model a SAIM equation. Our model involves vaccination and the time delay for people to change their willingness to be vaccinated, which is influenced by media coverage. Second, we theoretically analyze the existence and stability of the equilibria of our model. Then, we study the existence of Hopf bifurcation related to the two equilibria and obtain the normal form near the Hopf bifurcating critical point. Third, numerical simulations based two groups of values for model parameters are carried out to verify our theoretical analysis and assess features such as stable equilibria and periodic solutions. To ensure the appropriateness of model parameters, we conduct a mathematical analysis of official data. Next, we study the effect of the media influence rate and attenuation rate of media coverage on vaccination and epidemic control. The analysis results are consistent with real-world conditions. Finally, we present conclusions and suggestions related to the impact of media coverage on vaccination and epidemic control.

Random Integer Lattice Generation via the Hermite Normal Form.

Lattices used in cryptography are integer lattices. Defining and generating a "random integer lattice" are interesting topics. A generation algorithm for a random integer lattice can be used to serve as a random input of all the lattice algorithms. In this paper, we recall the definition of the random integer lattice given by G. Hu et al. and present an improved generation algorithm for it via the Hermite normal form. It can be proven that with probability ≥0.99, this algorithm outputs an n-dim random integer lattice within O(n2) operations.

Stability and bifurcation analysis of SIQR for the COVID-19 epidemic model with time delay.

Based on the SIQR model, we consider the influence of time delay from infection to isolation and present a delayed differential equation (DDE) according to the characteristics of the COVID-19 epidemic phenomenon. First, we consider the existence and stability of equilibria in the above delayed SIQR model. Second, we analyze the existence of Hopf bifurcations associated with two equilibria, and we verify that Hopf bifurcations occur as delays crossing some critical values. Then, we derive the normal form for Hopf bifurcation by using the multiple time scales method for determining the stability and direction of bifurcation periodic solutions. Finally, numerical simulations are carried out to verify the analytic results.

Mathematical modeling and dynamic analysis of SIQR model with delay for pandemic COVID-19.

On the basis of the SIQR epidemic model, we consider the impact of treatment time on the epidemic situation, and we present a differential equation model with time-delay according to the characteristics of COVID-19. Firstly, we analyze the existence and stability of the equilibria in the modified COVID-19 epidemic model. Secondly, we analyze the existence of Hopf bifurcation, and derive the normal form of Hopf bifurcation by using the multiple time scales method. Then, we determine the direction of Hopf bifurcation and the stability of bifurcating periodic solutions. Finally, we carry out numerical simulations to verify the correctness of theoretical analysis with actual parameters, and show conclusions associated with the critical treatment time and the effect on epidemic for treatment time.

Neural field models with transmission delays and diffusion.

A neural field models the large scale behaviour of large groups of neurons. We extend previous results for these models by including a diffusion term into the neural field, which models direct, electrical connections. We extend known and prove new sun-star calculus results for delay equations to be able to include diffusion and explicitly characterise the essential spectrum. For a certain class of connectivity functions in the neural field model, we are able to compute its spectral properties and the first Lyapunov coefficient of a Hopf bifurcation. By examining a numerical example, we find that the addition of diffusion suppresses non-synchronised steady-states while favouring synchronised oscillatory modes.

Stability analysis and Hopf bifurcation in a diffusive epidemic model with two delays.

A diffusive epidemic model with two delays subjecting to Neumann boundary conditions is considered. First we obtain the existence and the stability of the positive constant steady state. Then we investigate the existence of Hopf bifurcations by analyzing the distribution of the eigenvalues. Furthermore, we derive the normal form on the center manifold near the Hopf bifurcation singularity. Finally, some numerical simulations are carried out to illustrate the theoretical results.

Simultaneous normal form transformation and model-order reduction for systems of coupled nonlinear oscillators.

In this paper, we describe a direct normal form decomposition for systems of coupled nonlinear oscillators. We demonstrate how the order of the system can be reduced during this type of normal form transformation process. Two specific examples are considered to demonstrate particular challenges that can occur in this type of analysis. The first is a 2 d.f. system with both quadratic and cubic nonlinearities, where there is no internal resonance, but the nonlinear terms are not necessarily ε 1-order small. To obtain an accurate solution, the direct normal form expansion is extended to ε 2-order to capture the nonlinear dynamic behaviour, while simultaneously reducing the order of the system from 2 to 1 d.f. The second example is a thin plate with nonlinearities that are ε 1-order small, but with an internal resonance in the set of ordinary differential equations used to model the low-frequency vibration response of the system. In this case, we show how a direct normal form transformation can be applied to further reduce the order of the system while simultaneously obtaining the normal form, which is used as a model for the internal resonance. The results are verified by comparison with numerically computed results using a continuation software.

Improved Distance Queries and Cycle Counting by Frobenius Normal Form.

Consider an unweighted, directed graph G with the diameter D. In this paper, we introduce the framework for counting cycles and walks of given length in matrix multiplication time O ~ ( n ω ) . The framework is based on the fast decomposition into Frobenius normal form and the Hankel matrix-vector multiplication. It allows us to solve the All-Nodes Shortest Cycles, All-Pairs All Walks problems efficiently and also give some improvement upon distance queries in unweighted graphs.

The uncoupling limit of identical Hopf bifurcations with an application to perceptual bistability.

We study the dynamics arising when two identical oscillators are coupled near a Hopf bifurcation where we assume a parameter ϵ uncouples the system at [Formula: see text]. Using a normal form for [Formula: see text] identical systems undergoing Hopf bifurcation, we explore the dynamical properties. Matching the normal form coefficients to a coupled Wilson-Cowan oscillator network gives an understanding of different types of behaviour that arise in a model of perceptual bistability. Notably, we find bistability between in-phase and anti-phase solutions that demonstrates the feasibility for synchronisation to act as the mechanism by which periodic inputs can be segregated (rather than via strong inhibitory coupling, as in the existing models). Using numerical continuation we confirm our theoretical analysis for small coupling strength and explore the bifurcation diagrams for large coupling strength, where the normal form approximation breaks down.

A model of regulatory dynamics with threshold-type state-dependent delay.

We model intracellular regulatory dynamics with threshold-type state-dependent delay and investigate the effect of the state-dependent diffusion time. A general model which is an extension of the classical differential equation models with constant or zero time delays is developed to study the stability of steady state, the occurrence and stability of periodic oscillations in regulatory dynamics. Using the method of multiple time scales, we compute the normal form of the general model and show that the state-dependent diffusion time may lead to both supercritical and subcritical Hopf bifurcations. Numerical simulations of the prototype model of Hes1 regulatory dynamics are given to illustrate the general results.

Nonlinear dynamic analysis and hypernormal form of truss core sandwich plates.

INTRODUCTION: Truss core material, which is a new type of ultra-light material with comprehensive properties, is used in the aerospace industry. The aim of this paper is to investigate the dynamic behavior of three-dimensional Kagome sandwich plates with truss core under transverse and in-plane excitation in the case of 1:1 internal resonance. METHODS: Firstly, the averaged equation is obtained by means of the method of multiple scales. Then, the nonlinear system is analyzed applying the theory of normal form. Eventually, we analyze the dynamic behavior, mainly periodic motions, for the truss core sandwich panels by using numerical simulation. RESULTS: Numerical results are presented here for the nonlinear dynamic behavior of the model of truss core sandwich plates, which provides theoretical guidance to vibration control. CONCLUSIONS: Considerable insight has been gained concerning the sign of parameter of the model controlled by material property.