Search

The edge DP-chromatic number of G, denoted by χ D P ′ (G) , is the minimum k such that G is edge DP-k-colorable. In 1999, Juvan, Mohar, and Thomas proved that the edge list chromatic number of K 4 -minor free graph G with Δ ≥ 3 is Δ. In this paper, we prove that if G is a K 4 -minor free graph, then χ D P ′ (G) ∈ { Δ , Δ + 1 } , and equality χ D P ′ (G) = Δ + 1 holds for some K 4 -minor free graph G with Δ = 3 . Moreover, if G is a planar graph with Δ ≥ 9 and with no intersecting triangles, then χ D P ′ (G) = Δ . [ABSTRACT FROM AUTHOR]

In this paper, we prove a discrete analog of the Selberg Trace Formula for the group GL 3 (F q). By considering a cubic extension of the finite field F q , we define an analog of the upper half-space and an action of GL 3 (F q) on it. To compute the orbital sums, we explicitly identify the double coset spaces and fundamental domains in our upper half space. To understand the spectral side of the trace formula, we decompose the induced representation ρ = Ind Γ G 1 for G = GL 3 (F q) and Γ = GL 3 (F p). [ABSTRACT FROM AUTHOR]

In this paper, we define a cohomology theory of a modified λ -differential left-symmetric algebra. Moreover, we introduce the notion of modified λ -differential left-symmetric 2-algebras, which is the categorization of a modified λ -differential left-symmetric algebra. As applications of cohomology, we classify linear deformations and abelian extensions of modified λ -differential left-symmetric algebras using the second cohomology group and classify skeletal modified λ -differential left-symmetric 2-algebra using the third cohomology group. Finally, we show that strict modified λ -differential left-symmetric 2-algebras are equivalent to crossed modules of modified λ -differential left-symmetric algebras. [ABSTRACT FROM AUTHOR]

This paper concerns with the existence of radial solutions of the biharmonic elliptic equation ▵ 2 u = f (| x | , u , | ∇ u | , ▵ u) in an annular domain Ω = { x ∈ R N : r 1 < | x | < r 2 } ( N ≥ 2 ) with the boundary conditions u | ∂ Ω = 0 and ▵ u | ∂ Ω = 0 , where f : [ r 1 , r 2 ] × R × R + × R → R is continuous. Under certain inequality conditions on f involving the principal eigenvalue λ 1 of the Laplace operator − ▵ with boundary condition u | ∂ Ω = 0 , an existence result and a uniqueness result are obtained. The inequality conditions allow for f (r , ξ , ζ , η) to be a superlinear growth on ξ , ζ , η as | (ξ , ζ , η) | → ∞ . Our discussion is based on the Leray–Schauder fixed point theorem, spectral theory of linear operators and technique of prior estimates. [ABSTRACT FROM AUTHOR]

This paper explores the computational challenges of clique transversal problems in d-degenerate graphs, which are commonly encountered across theoretical computer science and various network applications. We examine d-degenerate graphs to highlight their utility in representing sparse structures and assess several variations of clique transversal problems, including the b-fold and { b } -clique transversal problems, focusing on their computational complexities for different graph categories. Our analysis identifies that certain instances of these problems are polynomial-time solvable in specific graph classes, such as 1-degenerate or 2-degenerate graphs. However, for d-degenerate graphs where d ≥ 2 , these problems generally escalate to NP-completeness. We also explore the parameterized complexity, pinpointing specific conditions that render these problems fixed-parameter tractable. [ABSTRACT FROM AUTHOR]

This paper introduces an iterative method with a remarkable level of accuracy, namely fourth-order convergence. The method is specifically tailored to meet the optimality condition under the Kung–Traub conjecture by linear combination. This method, with an efficiency index of approximately 1.5874 , employs a blend of localized and semi-localized analysis to improve both efficiency and convergence. This study aims to investigate semi-local convergence, dynamical analysis to assess stability and convergence rate, and the use of the proposed solver for systems of nonlinear equations. The results underscore the potential of the proposed method for several applications in polynomiography and other areas of mathematical research. The improved performance of the proposed optimal method is demonstrated with mathematical models taken from many domains, such as physics, mechanics, chemistry, and combustion, to name a few. [ABSTRACT FROM AUTHOR]

Under the condition of non-classical distributed errors, the test for spatial dependence in spatial panel data models is still a problem waiting to be solved. In this paper, we apply the FDB (Fast Double Bootstrap) method to spatial panel data models to test spatial dependence. In order to research the validity of the Bootstrap LM-Error test in spatial random effect models under the condition that the error term obeys a normal distribution, heteroscedasticity, or time-series correlation, we construct Bootstrap LM-Error statistics and make use of Monte Carlo simulation from size distortion and power aspects to carry out our research. The Monte Carlo simulation results show that the asymptotic LM-Error test in the spatial random effects model has a large size of distortion when the error term disobeys classical distribution. However, the FDB LM-Error test can effectively correct the size distortion of the asymptotic test with the precondition that there is nearly no loss of power in the FDB test. Obviously, compared to the asymptotic LM-Error test, the FDB LM-Error test is a more valid method to test spatial dependence in a spatial random effects model. [ABSTRACT FROM AUTHOR]

Univalent functions with asymptotically conformal extension to the boundary form a subclass of functions with quasiconformal extension with rather special features. Such functions arise in various questions of geometric function theory and Teichmüller space theory and have important applications involving conformal and quasiconformal maps. The paper provides an approximative characterization of local conformality and its connection with univalent polynomials. Also, some other quantitative applications of this connection are given. [ABSTRACT FROM AUTHOR]

In this paper, we present a numerical investigation into elucidating the complex dynamics of Richtmyer–Meshkov (RM) phenomena initiated by the interaction of shock waves with forward-triangular light gas bubbles. The triangular bubble is filled with neon, helium, or hydrogen gas, and is surrounded by nitrogen gas. Three different shock Mach numbers are considered: M s = 1.12 , 1.21 , and 1.41. For the numerical simulations, a two-dimensional system of compressible Euler equations for two-component gas flows is solved by utilizing the high-fidelity explicit modal discontinuous Galerkin technique. For validation, the numerical results are compared with the existing experimental results and are found to be in good agreement. The numerical model explores the impact of the Atwood number on the underlying mechanisms of the shock-induced forward-triangle bubble, encompassing aspects such as flow evolution, wave characteristics, jet formation, generation of vorticity, interface features, and integral diagnostics. Furthermore, the impacts of shock strengths and positive Atwood numbers on the flow evolution are also analyzed. Insights gained from this numerical perspective enhance our understanding of RM phenomena triggered by forward-triangular light gas bubbles, with implications for diverse applications in engineering, astrophysics, and fusion research. [ABSTRACT FROM AUTHOR]

This paper continues the study of second-order signature properties—the characterization of the extreme 3-uniform hypergraph. Previously, bases were used to count extreme 3-uniform hypergraphs. However, the algorithm using this mechanism is extremely labor-intensive. The structure of the signature allows us to use it as a more efficient basis for the same problem. Here, we establish the nature of the mutual correspondence between the kind of second-order signature and extreme hypergraphs, and we present a new algorithm to find the power of the set of extreme 3-uniform hypergraphs through the set of their characteristic-signatures. New results obtained with the proposed tool are also presented. [ABSTRACT FROM AUTHOR]

In this paper, the time-independent Klein-Gordon equation in R 3 is treated with a decomposition of the operator Δ − γ 2 I by the Clifford algebra C l (V 3 , 3) . Some properties of integral operators associated the kind of equations and some Riemann-Hilbert boundary value problems for perturbed Dirac operators are investigated. [ABSTRACT FROM AUTHOR]

The growth optimizer (GO) is a novel metaheuristic algorithm designed to tackle complex optimization problems. Despite its advantages of simplicity and high efficiency, GO often encounters localized stagnation when dealing with discretized, high-dimensional, and multi-constraint problems. To address these issues, this paper proposes an enhanced version of GO called CODGBGO. This algorithm incorporates three strategies to enhance its performance. Firstly, the Circle-OBL initialization strategy is employed to enhance the quality of the initial population. Secondly, an exploration strategy is implemented to improve population diversity and the algorithm's ability to escape local optimum traps. Finally, the exploitation strategy is utilized to enhance the convergence speed and accuracy of the algorithm. To validate the performance of CODGBGO, it is applied to solve the CEC2017, CEC2020, 18 feature selection problems, and 4 real engineering optimization problems. The experiments demonstrate that the novel CODGBGO algorithm effectively addresses the challenges posed by complex optimization problems, offering a promising approach. [ABSTRACT FROM AUTHOR]

Overproduction is one of the most significant wastes of Lean that can occur in any manufacturing company. Identifying and prioritizing failures that lead to overproduction are crucial tasks for operational managers and engineers. Therefore, this paper presents a new approach for determining the priority of failures that cause overproduction, based on an intuitionistic fuzzy Multi-Criteria Optimization model and the Failure Mode and Effects Analysis framework. The existing vagueness in the relative importance of risk factors and their values is described using natural language words, which are modeled with trapezoidal intuitionistic fuzzy numbers. Determining the relative importance of risk factors is defined as a fuzzy group decision-making problem, and the weight vector is obtained by applying the proposed Analytical Hierarchy Process with trapezoidal intuitionistic fuzzy numbers. The compromise solution, as well as the stability check of the obtained compromise solution, is achieved using the proposed Multi-Criteria Optimization and Compromise Solution with trapezoidal intuitionistic fuzzy numbers. The proposed model was applied to data collected from a process manufacturing company. [ABSTRACT FROM AUTHOR]

This paper investigates the randomly stopped sums, minima and maxima of heavy- and light-tailed random variables. The conditions on the primary random variables, which are independent but generally not identically distributed, and counting random variable are given in order that the randomly stopped sum, random minimum and maximum is heavy/light tailed. The results generalize some existing ones in the literature. The examples illustrating the results are provided. [ABSTRACT FROM AUTHOR]

For a graph G = (V G , E G) , a degree-based graphical index G I d takes the general form G I d = ∑ x y ∈ E G ϕ (d x , d y) , where ϕ is a symmetric map and d i is the degree of i ∈ V G . For α ∈ R , if ϕ = (d x d y) α (resp. ϕ = (d x + d y) α ), the index is called the general product-connectivity R α (resp. general sum-connectivity S C I α ) index. In this paper, by formulating an optimization problem, we determine the value(s) of α , for which the linear/multiple correlation coefficient of R α and S C I α with physicochemical properties of benzenoid hydrocarbons is the strongest. This, in turn, fills some research gaps left by similar studies in this area. [ABSTRACT FROM AUTHOR]

Controlling infectious diseases has become an increasingly complex issue, and vaccination has become a common preventive measure to reduce infection rates. It has been thought that vaccination protects the population. However, there is no fully effective vaccine. This is based on the fact that it has long been assumed that the immune system produces corresponding antibodies after vaccination, but usually does not achieve the level of complete protection for undergoing environmental fluctuations. In this paper, we investigate a stochastic SIS epidemic model with incomplete inoculation, which is perturbed by the Ornstein–Uhlenbeck process and Brownian motion. We determine the existence of a unique global solution for the stochastic SIS epidemic model and derive control conditions for the extinction. By constructing two suitable Lyapunov functions and using the ergodicity of the Ornstein–Uhlenbeck process, we establish sufficient conditions for the existence of stationary distribution, which means the disease will prevail. Furthermore, we obtain the exact expression of the probability density function near the pseudo-equilibrium point of the stochastic model while addressing the four-dimensional Fokker–Planck equation under the same conditions. Finally, we conduct several numerical simulations to validate the theoretical results. [ABSTRACT FROM AUTHOR]

In this paper, we provide some properties of k-potent elements in algebras obtained by the Cayley–Dickson process over Z p . Moreover, we find a structure of nonunitary ring over Fibonacci quaternions over Z 3 and we present a method to encrypt plain texts, by using invertible elements in some of these algebras. [ABSTRACT FROM AUTHOR]

The concept of possibility fuzzy soft sets is a step in a new direction towards a soft set approach that can be used to solve decision-making issues. In this piece of research, an innovative and comprehensive conceptual framework for possibility multi-fuzzy soft ordered semigroups by making use of the notions that are associated with possibility multi-fuzzy soft sets as well as ordered semigroups is introduced. Possibility multi-fuzzy soft ordered semigroups mark a newly developed theoretical avenue, and the central aim of this paper is to investigate it. The focus lies on investigating this newly developed theoretical direction, with practical examples drawn from decision-making and diagnosis practices to enhance understanding and appeal to researchers' interests. We strictly build the notions of possibility multi-fuzzy soft left (right) ideals, as well as l-idealistic and r-idealistic possibility multi-fuzzy soft ordered semigroups. Furthermore, various algebraic operations, such as union, intersection, as well as AND and OR operations are derived, while also providing a comprehensive discussion of their properties. To clarify these innovative ideas, the theoretical constructs are further reinforced with a set of demonstrative examples in order to guarantee deep and improved comprehension of the proposed framework. [ABSTRACT FROM AUTHOR]

In this paper, we propose a new class of systemic risk measures, which we refer to as strong comonotonic additive systemic risk measures. First, we introduce the notion of strong comonotonic additive systemic risk measures by proposing new axioms. Second, we establish a structural decomposition for strong comonotonic additive systemic risk measures. Third, when both the single-firm risk measure and the aggregation function in the structural decomposition are convex, we also provide a dual representation for it. Last, examples are given to illustrate the proposed systemic risk measures. Comparisons with existing systemic risk measures are also provided. [ABSTRACT FROM AUTHOR]

The relationship between convexity and symmetry is widely recognized. In fuzzy theory, both concepts exhibit similar behavior. It is crucial to remember that real and interval-valued mappings are special instances of fuzzy-number-valued mappings ( F - N - V - M s ), as fuzzy theory relies on the unit interval, which is crucial to resolving problems with interval analysis and fuzzy number theory. In this paper, a new harmonic convexities class of fuzzy numbers has been introduced via up and down relation. We show several Hermite–Hadamard ( H ⋅ H ) and Fejér-type inequalities by the implementation of fuzzy Aumann integrals using the newly defined class of convexities. Some nontrivial examples are also presented to validate the main outcomes. [ABSTRACT FROM AUTHOR]

This paper presents a nonstandard numerical manifold method (NMM) for solving Burgers' equation. Employing the characteristic Galerkin method, we initially apply the Crank–Nicolson method for temporal discretization along the characteristic. Subsequently, utilizing the Taylor expansion, we transform the semi-implicit formula into a fully explicit form. For spacial discretization, we construct the NMM dual-cover system tailored to Burgers' equation. We choose constant cover functions and first-order weight functions to enhance computational efficiency and exactly import boundary constraints. Finally, the integrated computing scheme is derived by using the standard Galerkin method, along with a Thomas algorithm-based solution procedure. The proposed method is verified through six benchmark numerical examples under various initial boundary conditions. Extensive comparisons with analytical solutions and results from alternative methods are conducted, demonstrating the accuracy and stability of our approach, particularly in solving Burgers' equation at high Reynolds numbers. [ABSTRACT FROM AUTHOR]

The use of life distributions has increased over the past decade, receiving particular attention in recent years, both from a practical and theoretical point of view. Life distributions can be used in a number of applied fields, such as medicine, biology, public health, epidemiology, engineering, economics, and demography. This paper presents and investigates a new life distribution. The proposed model shows favorable characteristics in terms of reliability theory, which makes it competitive against other commonly used life distributions, such as the exponential, gamma, and Weibull distributions. The methods of maximum likelihood and moments are used to estimate the parameters of the proposed model. Additionally, real-life data drawn from different fields are used to illustrate the usefulness of the new distribution. Further, the R programming language is used to perform all computations and produce all graphs. [ABSTRACT FROM AUTHOR]

This paper is devoted to studying a type of elliptic equation that contains a varying nonlocal term. We provide a detailed analysis of the existence, non-existence, and blow-up behavior of L 2 -norm solutions for the related equation when the potential function V (x) fulfills an appropriate choice. [ABSTRACT FROM AUTHOR]

This paper concerns a fractional Kirchhoff equation with critical nonlinearities and a negative nonlocal term. In the case of high perturbations (large values of α , i.e., the parameter of a subcritical nonlinearity), existence results are obtained by the concentration compactness principle together with the mountain pass theorem and cut-off technique. The multiplicity of solutions are further considered with the help of the symmetric mountain pass theorem. Moreover, the nonexistence and asymptotic behavior of positive solutions are also investigated. [ABSTRACT FROM AUTHOR]

This paper examines the tractability of multivariate approximation problems under the normalized error criterion for a zero-mean Gaussian measure in an average-case setting. The Gaussian measure is associated with a covariance kernel, which is represented by the tensor product of one-dimensional kernels corresponding to Euler and Wiener integrated processes with non-negative and nondecreasing smoothness parameters { r d } d ∈ N . We give matching sufficient and necessary conditions for various concepts of tractability in terms of the asymptotic properties of the regularity parameters, except for (s, 0)-WT. [ABSTRACT FROM AUTHOR]

In this paper, we prove the stability of the Brunn–Minkowski inequality for multiple convex bodies in terms of the concept of relative asymmetry. Using these stability results and the relationship of the compact support of functions, we establish the stability of the Borell–Brascamp–Lieb inequality for multiple power concave functions via relative asymmetry. [ABSTRACT FROM AUTHOR]

In this paper, the authors briefly review some closed-form formulas of the Gauss hypergeometric function at specific arguments, alternatively prove four of these formulas, newly extend a closed-form formula of the Gauss hypergeometric function at some specific arguments, successfully apply a special case of the newly extended closed-form formula to derive an alternative form for the Maclaurin power series expansion of the Wilf function, and discover two novel increasing rational approximations to a quarter of the circular constant. [ABSTRACT FROM AUTHOR]

In this paper, we investigate the problem of the exponential stability of a stationary solution for a hyperbolic system with nonlocal characteristic velocities and measurement error. The formulation of the initial boundary value problem of boundary control for the specified hyperbolic system is given. A difference scheme is constructed for the numerical solution of the considered initial boundary value problem. The definition of the exponential stability of the numerical solution in ℓ 2 -norm with respect to a discrete perturbation of the equilibrium state of the initial boundary value difference problem is given. A discrete Lyapunov function for a numerical solution is constructed, and a theorem on the exponential stability of a stationary solution of the initial boundary value difference problem in ℓ 2 -norm with respect to a discrete perturbation is proved. [ABSTRACT FROM AUTHOR]

In this paper, we investigate static spherically symmetric teleparallel F (T) gravity containing a perfect isotropic fluid. We first write the field equations and proceed to find new teleparallel F (T) solutions for perfect isotropic and linear fluids. By using a power-law ansatz for the coframe components, we find several classes of new non-trivial teleparallel F (T) solutions. We also find a new class of teleparallel F (T) solutions for a matter dust fluid. After, we solve the field equations for a non-linear perfect fluid. Once again, there are several new exact teleparallel F (T) solutions and also some approximated teleparallel F (T) solutions. All these classes of new solutions may be relevant for future cosmological and astrophysical applications. [ABSTRACT FROM AUTHOR]

In this paper, we determine the variation formula for the first eigenvalue of (p , q) -biharmonic system on a closed Riemannian manifold. Several monotonic quantities are also derived. [ABSTRACT FROM AUTHOR]

Graph polynomials is one of the important research directions in mathematical chemistry. The coefficients of some graph polynomials, such as matching polynomial and permanental polynomial, are related to structural properties of graphs. The Hosoya index of a graph is the sum of the absolute value of all coefficients for the matching polynomial. And the permanental sum of a graph is the sum of the absolute value of all coefficients of the permanental polynomial. In this paper, we characterize the second to sixth minimal Hosoya indices of all bicyclic graphs. Furthermore, using the results, the second to sixth minimal permanental sums of all bicyclic graphs are also characterized. [ABSTRACT FROM AUTHOR]

In this paper, the sampling and reconstruction problems in function subspaces of L p (R n) associated with the multi-dimensional special affine Fourier transform (SAFT) are discussed. First, we give the definition of the multi-dimensional SAFT and study its properties including the Parseval's relation, the canonical convolution theorems and the chirp-modulation periodicity. Then, a kind of function spaces are defined by the canonical convolution in the multi-dimensional SAFT domain, the existence and the properties of the dual basis functions are demonstrated, and the L p -stability of the basis functions is established. Finally, based on the nonuniform samples taken on a dense set, we propose an iterative reconstruction algorithm with exponential convergence to recover the signals in a L p -subspace associated with the multi-dimensional SAFT, and the validity of the algorithm is demonstrated via simulations. [ABSTRACT FROM AUTHOR]

In this paper, an SEAI epidemic model with asymptomatic infection is studied under the background of mass transmission of COVID-19. First, we use the next-generation matrix method to obtain the basic reproductive number R 0 and calculate the equilibrium point. Secondly, when R 0 < 1 , the local asymptotic stability of the disease-free equilibrium is proved by Hurwitz criterion, and the global asymptotic stability of the disease-free equilibrium is proved by constructing the Lyapunov function. When R 0 > 1 , the system has a unique endemic equilibrium point and is locally asymptotically stable, and it is also proved that the system is uniformly persistent. Then, the application of optimal control theory is carried out, and the expression of the optimal control solution is obtained. Finally, in order to verify the correctness of the theory, the stability of the equilibrium point is numerically simulated and the sensitivity of the parameters of R 0 is analyzed. We also simulated the comparison of the number of asymptomatic infected people and symptomatic infected people before and after adopting the optimal control strategy. This shows that the infection of asymptomatic people cannot be underestimated in the spread of COVID-19 virus, and an isolation strategy should be adopted to control the spread speed of the disease. [ABSTRACT FROM AUTHOR]

This paper investigates a novel C 0 nonconforming virtual element method (VEM) for solving the Kirchhoff plate obstacle problem, which is described by a fourth-order variational inequality (VI) of the first kind. In our study, we distinguish our approach by introducing new internal degrees of freedom to the traditional lowest-order C 0 nonconforming VEM, which originally lacked such degrees. This addition not only facilitates error estimation but also enhances its intuitiveness. Importantly, our novel C 0 nonconforming VEM naturally satisfies the constraints of the obstacle problem. We then establish an a priori error estimate for our novel C 0 nonconforming VEM, with the result indicating that the lowest order of our method achieves optimal convergence. Finally, we present a numerical example to validate the theoretical result. [ABSTRACT FROM AUTHOR]

Differentiation matrices are an important tool in the implementation of the spectral collocation method to solve various types of problems involving differential operators. Fractional differentiation of Jacobi orthogonal polynomials can be expressed explicitly through Jacobi–Jacobi transformations between two indexes. In the current paper, an algorithm is presented to construct a fractional differentiation matrix with a matrix representation for Riemann–Liouville, Caputo and Riesz derivatives, which makes the computation stable and efficient. Applications of the fractional differentiation matrix with the spectral collocation method to various problems, including fractional eigenvalue problems and fractional ordinary and partial differential equations, are presented to show the effectiveness of the presented method. [ABSTRACT FROM AUTHOR]

Computational statistics is a critical skill for professionals in fields such as data science, statistics, and related disciplines. One essential aspect of computational statistics is the ability to simulate random variables from specified probability distributions. Commonly employed techniques for sampling random variables include the inverse transform method, acceptance–rejection method, and Box–Muller transformation, all of which rely on sampling from the uniform (0 , 1) distribution. A significant concept in statistics is the finite mixture model, characterized by a convex combination of multiple probability density functions. In this paper, we introduce a modified version of the composition method, a standard approach for sampling finite mixture models. Our modification offers the advantage of relying on sampling from the uniform (0 , 1) distribution, aligning with prevalent methods in computational statistics. This alignment simplifies teaching computational statistics courses, as well as having other benefits. We offer several examples to illustrate the approach. [ABSTRACT FROM AUTHOR]

The aim of this paper is to prove a theorem for holomorphic twisted quiver bundles over a special non-compact Gauduchon manifold, connecting the existence of (σ , τ) -Hermite–Yang–Mills metric in differential geometry and the analytic (σ , τ) -stability in algebraic geometry. The proof of the theorem relies on the flow method and the Uhlenbeck–Yau's continuity method. [ABSTRACT FROM AUTHOR]

In the present paper, we address the following general question in the framework of classical first-order logic. Assume that a certain mathematical principle can be formalized in a first-order language by a set E of conditional formulas of the form α (v) → β (v) . Given a base theory T, we can use the set of conditional formulas E to extend the base theory in two natural ways. Either we add to T each formula in E as a new axiom (thus obtaining a theory denoted by T + E ) or we extend T by using the formulas in E as instances of an inference rule (thus obtaining a theory denoted by T + E – Rule ). The theory T + E will be stronger than T + E – Rule , but how much stronger can T + E be? More specifically, is T + E conservative over T + E – Rule for theorems of some fixed syntactical complexity Γ ? Under very general assumptions on the set of conditional formulas E, we obtain two main conservation results in this regard. Firstly, if the formulas in E have low syntactical complexity with respect to some prescribed class of formulas Π and in the applications of E – Rule side formulas from the class Π and can be eliminated (in a certain precise sense), then T + E is ∀ B (Π) -conservative over T + E – Rule . Secondly, if, in addition, E is a finite set with m conditional sentences, then nested applications of E – Rule of a depth at most of m suffice to obtain ∀ B (Π) conservativity. These conservation results between axioms and inference rules extend well-known conservation theorems for fragments of first-order arithmetics to a general, purely logical framework. [ABSTRACT FROM AUTHOR]

In this paper, we expand the theory of semi-vector spaces and semi-algebras, both over the semi-field of nonnegative real numbers R 0 + . More precisely, we prove several new results concerning these theories. We introduce to the literature the concept of eigenvalues and eigenvectors of a semi-linear operator, describing how to compute them. The topological properties of semi-vector spaces, such as completeness and separability, are also investigated here. New families of semi-vector spaces derived from the semi-metric, semi-norm and semi-inner product, among others, are exhibited. Furthermore, we show several new results concerning semi-algebras. After this theoretical approach, we apply such a theory in fuzzy automata. More precisely, we describe the semi-algebra of A-fuzzy regular languages and we apply the theory of fuzzy automata for counting patterns in DNA sequences. [ABSTRACT FROM AUTHOR]

This paper deals with a discrete-time observer-based state feedback control design by taking into consideration bounded parameter uncertainty, actuator faults, and stochastic noise in an inner control loop which is extended in a cascaded manner by outer PI- and P-control loops for velocity and position regulation. The aim of the corresponding subdivision of the quadrotor model is the treatment of the control design in a systematic manner. In the inner loop, linear matrix inequality techniques are employed for the placement of poles into a desired area within the complex z-plane. A robustification of the design towards noise is achieved by optimizing both control and observer gains simultaneously guaranteeing stability in a predefined bounded state domain. This procedure helps to reduce the sensitivity of the inner control loop towards changes induced by the outer one. Finally, a model-based optimization process is employed to tune the parameters of the outer P/PI controllers. To allow for the validation of accurate trajectory tracking, a comparison of the novel approach with the use of a standard extended Kalman filter-based linear-quadratic regulator synthesis is presented to demonstrate the superiority of the new design. [ABSTRACT FROM AUTHOR]

With the rapid development of the economy, data have become a new production factor and strategic asset, enhancing efficiency and energy for technological innovation and industrial upgrading in enterprises. The evaluation of enterprise digital asset value (EDAV) is a typical multi-attribute decision-making (MADM) problem. Generalized hesitant fuzzy numbers (GHFNs) can better express the uncertainty and fuzziness of evaluation indexes, thus finding wide applications in MADM problems. In this paper, we first propose the Kullback–Leibler (K-L) divergence distance of GHFNs and prove its mathematical properties. Second, recognizing that decision-makers often have finite rationality in practical problems, we combine the cumulative prospect theory (CPT) with the Complex Proportional Assessment (COPRAS) method to propose the GHF-CPT-COPRAS model for solving MADM problems. Simultaneously, we extend the distance correlation-based Criteria Importance Through Intercriteria Correlation (D-CRITIC) method to the GHF environment to rationally calculate the weights of attributes in the EDAV evaluation problem. Finally, we apply the proposed GHF-CPT-COPRAS model to the EDAV evaluation problem and compare it with existing GHF decision-making methods to verify its effectiveness and feasibility. This study provides an important reference for addressing the EDAV assessment problem within an uncertain fuzzy environment and extends its application methods in the decision-making field. [ABSTRACT FROM AUTHOR]

In this paper, the tempered Ψ –Riemann–Liouville fractional derivative and the tempered Ψ –Caputo fractional derivative of order n − 1 < α < n ∈ N are introduced for C n − 1 –functions. A nonlinear version of the second Henry–Gronwall inequality for integral inequalities with the tempered Ψ –Hilfer fractional integral is derived. By using this inequality, an existence and uniqueness result and a sufficient condition for the non-existence of blow-up solutions of nonlinear tempered Ψ –Caputo fractional differential equations are proved. Illustrative examples are given. [ABSTRACT FROM AUTHOR]

In this paper, we study the following non-local problem in fractional Orlicz–Sobolev spaces: (− Δ Φ) s u + V (x) a (| u |) u = f (x , u) ,   x ∈ R N , where (− Δ Φ) s (s ∈ (0 , 1)) denotes the non-local and maybe non-homogeneous operator, the so-called fractional Φ -Laplacian. Without assuming the Ambrosetti–Rabinowitz type and the Nehari type conditions on the non-linearity f, we obtain the existence of ground state solutions for the above problem with periodic potential function V (x) . The proof is based on a variant version of the mountain pass theorem and a Lions' type result in fractional Orlicz–Sobolev spaces. [ABSTRACT FROM AUTHOR]

Recently, Milles and Hammami presented and studied the concept of a neutrosophic topology generated by a neutrosophic relation. As a continuation in the same direction, this paper studies the concepts of neutrosophic ideals and neutrosophic filters on that topology. More precisely, we offer the lattice structure of neutrosophic open sets of a neutrosophic topology generated via a neutrosophic relation and examine its different characteristics. Furthermore, we enlarge to this lattice structure the notions of ideals (respectively, filters) and characterize them with regard to the lattice operations. We end this work by studying the prime neutrosophic ideal and prime neutrosophic filter as interesting types of neutrosophic ideals and neutrosophic filters. [ABSTRACT FROM AUTHOR]

In this paper, we explore the properties of the generalized Lambert transform, the L-transform, the generalized Stieltjes transform, and the Stieltjes–Poisson transform within the framework of Lebesgue spaces. We establish Parseval-type relations for each transform, providing a comprehensive analysis of their behaviour and mathematical characteristics. [ABSTRACT FROM AUTHOR]

Several phenomena from natural sciences can be described by partial differential equations of Sobolev-type. On the other hand, it was shown that in many cases, the use of fractional derivatives provides a more realistic model than the use of standard derivatives. The goal of this paper is to study the nonexistence of weak solutions to a time-fractional differential inequality of Sobolev-type. Namely, we give sufficient conditions for the nonexistence or equivalently necessary conditions for the existence. Our method makes use of the nonlinear capacity method, which consists in making an appropriate choice of test functions in the weak formulation of the problem. This technique has been employed in previous papers for some classes of time-fractional differential inequalities of Sobolev-type posed on the whole space R N . The originality of this work is that the considered problem is posed on an annulus domain, which leads to some difficulties concerning the choice of adequate test functions. [ABSTRACT FROM AUTHOR]

This paper considers nonparametric regression estimation with errors in the variables. It is a standard assumption that the characteristic function of the covariate error does not vanish on the real line. This assumption is rather strong. In this paper, we assume the covariate error distribution is a convolution of uniform distributions, the characteristic function of which contains zeros on the real line. Our regression estimator is constructed via the Laplace transform. We prove its strong consistency and show its convergence rate. It turns out that zeros in the characteristic function have no effect on the convergence rate of our estimator. [ABSTRACT FROM AUTHOR]

Currently, two-component integrable nonlinear equations from the hierarchies of the vector nonlinear Schrodinger equation and the vector derivative nonlinear Schrödinger equation are being actively investigated. In this paper, we propose a new hierarchy of two-component integrable nonlinear equations, which have an important difference from the already known equations. To construct the hierarchical equations, we use the monodromy matrix method, as first proposed by B.A. Dubrovin. The method we use consists of solving the following sequence of problems. First, using the Lax operator, we find the monodromy matrix, which is a polynomial in the spectral parameter. More precisely, we find a sequence of monodromy matrices dependent on the degree of this polynomial. Each Lax operator has its own sequence of monodromy matrices. Then, using the terms from the decomposition of the monodromy matrix, we construct a sequence of second operators from a Lax pair. A hierarchy of evolutionary integrable nonlinear equations follows from the conditions of compatibility of the sequence of Lax pairs. Also, knowledge of the monodromy matrix allows us to find stationary equations that are analogs of the Novikov equations for the Korteweg–de Vries equation. In addition, the characteristic equation of the monodromy matrix corresponds to the spectral curve equation of the relevant multiphase solution for the integrable nonlinear equation. Since the coefficients of the spectral curve equation are integrals of the hierarchical equations, they can be utilized to find the simplest solutions of the constructed integrable nonlinear equations. In this paper, we demonstrate the operation of this method, starting with the assignment of the Lax operator and ending with the construction of the simplest solutions. [ABSTRACT FROM AUTHOR]

It is difficult to describe the hesitation and uncertainty of experts by single-valued information, and the differences in the importance of attributes are often ignored during the decision-making process. This paper introduces the probability and interval values into Fermatean hesitant fuzzy set (FHFS) and creatively proposes the probabilistic interval-valued Fermatean hesitant fuzzy set (PIVFHFS) to deal with information loss. This new fuzzy set allows decision makers to use interval-valued information with probability to express their quantitative evaluation, which broadens the range of information expression, effectively reflects the important degree of different membership degrees, and can describe uncertain information more completely and accurately. Under the probabilistic interval-valued Fermatean hesitant fuzzy environment, several new aggregation operators based on Hamacher operation are proposed, including the probabilistic interval-valued Fermatean hesitant fuzzy Hamacher weighted averaging (PIVFHFHWA) operator and geometric (PIVFHFHWG) operator, and their basic properties and particular forms are studied. Then, considering the general correlation between different attributes, this paper defines the probabilistic interval-valued Fermatean hesitant fuzzy Hamacher Choquet integral averaging (PIVFHFHCIA) operator and geometric (PIVFHFHCIG) operator and discusses related properties. Finally, a multi-attribute decision-making (MADM) method is presented and applied to the decision-making problem of reducing carbon emissions of manufacturers in the supply chain. The stability and feasibility of this method are demonstrated by sensitivity analysis and comparative analysis. The proposed new operators can not only consider the correlation between various factors but also express the preference information of decision makers more effectively by using probability, thus avoiding information loss in decision-making progress to some extent. [ABSTRACT FROM AUTHOR]

To address the complexity of daily problems, soft set theory has emerged as a valuable tool, providing innovative mathematical techniques to manage vast amounts of data and ambiguity. The study of soft topology involves the investigation of various properties of soft sets and functions, as well as the development of new mathematical models and techniques for addressing uncertainty. The main motivation of this paper is to delve deeper into the subject and devise new methodologies to address real-world challenges more effectively and unlock the full potential of soft sets in various applications. In this paper, we present a novel soft topology, which is constructed using soft single points on a nonempty set V in relation to a topology on V. We investigate and study the behaviors and properties associated with this particular type of soft topology. Furthermore, we shed light on the soft separation axioms with this type of soft topology and investigate whether these axioms are inherited from the corresponding ordinary topology or not. Our study is concerned with examining the connection between ordinary topologies and the soft topologies generated that arise from them, with the aim of identifying their interdependencies and potential implications. By studying the connection between soft topologies and their corresponding ordinary topologies, researchers are able to gain a deeper understanding of the properties and behaviors of these structures and develop new modeling approaches for dealing with uncertainty and complexity in data. [ABSTRACT FROM AUTHOR]