Search

Satisfiability of Boolean circuits is among the most known and important problems in theoretical computer science. This problem is NP-complete in general but becomes polynomial time when restricted either to monotone gates or linear gates. We go outside Boolean realm and consider circuits built of any fixed set of gates on an arbitrary large finite domain. From the complexity point of view this is strictly connected with the problems of solving equations (or systems of equations) over finite algebras. The research reported in this work was motivated by a desire to know for which finite algebras $\mathbf A$ there is a polynomial time algorithm that decides if an equation over $\mathbf A$ has a solution. We are also looking for polynomial time algorithms that decide if two circuits over a finite algebra compute the same function. Although we have not managed to solve these problems in the most general setting we have obtained such a characterization for a very broad class of algebras from congruence modular varieties. This class includes most known and well-studied algebras such as groups, rings, modules (and their generalizations like quasigroups, loops, near-rings, nonassociative rings, Lie algebras), lattices (and their extensions like Boolean algebras, Heyting algebras or other algebras connected with multi-valued logics including MV-algebras). This paper seems to be the first systematic study of the computational complexity of satisfiability of non-Boolean circuits and solving equations over finite algebras. The characterization results provided by the paper is given in terms of nice structural properties of algebras for which the problems are solvable in polynomial time., 50 pages

In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue spaces, where these operators are bounded. In this paper, we study the extrapolation of compactness for bilinear operators in terms of bilinear Muckenhoupt weights. As applications, we easily recover and improve earlier results on the weighted compactness of commutators of bilinear Calder\'{o}n-Zygmund operators, bilinear fractional integrals and bilinear Fourier multipliers. More general versions of these results are recently due to Cao, Olivo and Yabuta (arXiv:2011.13191), whose approach depends on developing weighted versions of the Fr\'echet--Kolmogorov criterion of compactness, whereas we avoid this by relying on "softer" tools, which might have an independent interest in view of further extensions of the method., Comment: v3: final version, incorporated referee comments, to appear in Indagationes Mathematicae, 27 pages

Differential-algebraic equations (DAEs) are widely used for modeling of dynamical systems. In numerical analysis of DAEs, consistent initialization and index reduction are important preprocessing prior to numerical integration. Existing DAE solvers commonly adopt structural preprocessing methods based on combinatorial optimization. Unfortunately, the structural methods fail if the DAE has numerical or symbolic cancellations. For such DAEs, methods have been proposed to modify them to other DAEs to which the structural methods are applicable, based on the combinatorial relaxation technique. Existing modification methods, however, work only for a class of DAEs that are linear or close to linear. This paper presents two new modification methods for nonlinear DAEs: the substitution method and the augmentation method. Both methods are based on the combinatorial relaxation approach and are applicable to a large class of nonlinear DAEs. The substitution method symbolically solves equations for some derivatives based on the implicit function theorem and substitutes the solution back into the system. Instead of solving equations, the augmentation method modifies DAEs by appending new variables and equations. The augmentation method has advantages that the equation solving is not needed and the sparsity of DAEs is retained. It is shown in numerical experiments that both methods, especially the augmentation method, successfully modify high-index DAEs that the DAE solver in MATLAB cannot handle., Comment: A preliminary version of this paper is to appear in Proceedings of the 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing, China, July 2019

Although planar quadratic differential systems and their applications have been studied in more than one thousand papers, we still have no complete understanding of these systems. In this paper we have two objectives. First we provide a brief bibliographical survey on the main results about quadratic systems. Here we do not consider the applications of these systems to many areas as in Physics, Chemist, Economics, Biology, … Second we characterize the new class of planar separable quadratic polynomial differential systems. For such class of systems we provide the normal forms which contain one parameter, and using the Poincare compactification and the blow up technique, we prove that there exist 10 non-equivalent topological phase portraits in the Poincare disc for the separable quadratic polynomial differential systems.

The aim of this paper is to generalize results known for the symplectic involutions on K3 surfaces to the order 3 symplectic automorphisms on K3 surfaces. In particular, we will explicitly describe the action induced on the lattice $\Lambda_{K3}$, isometric to the second cohomology group of a K3 surface, by a symplectic automorphism of order 3; we exhibit the maps $\pi_*$ and $\pi^*$ induced in cohomology by the rational quotient map $\pi:X\dashrightarrow Y$, where $X$ is a K3 surface admitting an order 3 symplectic automorphism $\sigma$ and $Y$ is the minimal resolution of the quotient $X/\sigma$; we deduce the relation between the N\'eron--Severi group of $X$ and the one of $Y$. Applying these results we describe explicit geometric examples and generalize the Shioda--Inose structures, relating Abelian surfaces admitting order 3 endomorphisms with certain specific K3 surfaces admitting particular order 3 symplectic automorphisms., Comment: 28 pages. Version 2: this is the published version of the paper. The last section of the previous version (v1) was erased (the results are only stated) and it is now contained in arXiv:2209.10141

A question of Conca, Rossi, and Valla asks whether every quadratic Gorenstein ring $R$ of regularity three is Koszul. In a previous paper, we use idealization to answer their question, proving that in nine or more variables there exist quadratic Gorenstein rings of regularity three which are not Koszul. In this paper, we study the analog of the Conca-Rossi-Valla question when the regularity of $R$ is four or more. Let $R$ be a quadratic Gorenstein ring having $\mathrm{codim}\, R = c$ and $\mathrm{reg}\, R = r \ge 4$. We prove that if $c = r+1$ then $R$ is always Koszul, and for every $c \geq r+2$, we construct quadratic Gorenstein rings that are not Koszul, answering questions of Matsuda and Migliore-Nagel concerning the $h$-vectors of quadratic Gorenstein rings., Comment: v2 - Minor changes based on referee comments

Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, in a previous paper we established existence of good formal structures and a good Deligne-Malgrange lattice after suitably blowing up. In this paper, we reinterpret and refine these results by introducing some related structures. We consider the turning locus, which is the set of points at which one cannot achieve a good formal structure without blowing up. We show that when the polar divisor has normal crossings, the turning locus is of pure codimension 1 within the polar divisor, and hence of pure codimension 2 within the full space; this had been previously established by Andre in the case of a smooth polar divisor. We also construct an irregularity sheaf and its associated b-divisor, which measure irregularity along divisors on blowups of the original space; this generalizes another result of Andre on the semicontinuity of irregularity in a curve fibration. One concrete consequence of these refinements is a process for resolution of turning points which is functorial with respect to regular morphisms of excellent schemes; this allows us to transfer the result from schemes to formal schemes, complex analytic varieties, and nonarchimedean analytic varieties., 27 pages; v4: refereed version; some technical edits in 2.2

Generalizing wavelets by adding desired redundancy and flexibility, framelets (i.e., wavelet frames) are of interest and importance in many applications such as image processing and numerical algorithms. Several key properties of framelets are high vanishing moments for sparse multiscale representation, fast framelet transforms for numerical efficiency, and redundancy for robustness. However, it is a challenging problem to study and construct multivariate nonseparable framelets, mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices. Moreover, all the known multivariate tight framelets derived from spline refinable scalar functions have only one vanishing moment, and framelets derived from refinable vector functions are barely studied yet in the literature. In this paper, we circumvent the above difficulties through the approach of quasi-tight framelets, which behave almost identically to tight framelets. Employing the popular oblique extension principle (OEP), from an arbitrary compactly supported M-refinable vector function ϕ with multiplicity greater than one, we prove that we can always derive from ϕ a compactly supported multivariate quasi-tight framelet such that: (i) all the framelet generators have the highest possible order of vanishing moments; (ii) its associated fast framelet transform has the highest balancing order and is compact. For a refinable scalar function ϕ (i.e., its multiplicity is one), the above item (ii) often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP-based multivariate quasi-tight framelet derived from ϕ satisfying item (i). We point out that constructing OEP-based quasi-tight framelets is closely related to the generalized spectral factorization of Hermitian trigonometric polynomial matrices. Our proof is critically built on a newly developed result on the normal form of a matrix-valued filter, which is of interest and importance in itself for greatly facilitating the study of refinable vector functions and multiwavelets/multiframelets. This paper provides a comprehensive investigation on OEP-based multivariate quasi-tight multiframelets and their associated framelet transforms with high balancing orders. This deepens our theoretical understanding of multivariate quasi-tight multiframelets and their associated fast multiframelet transforms.

The singular value decomposition of a complex matrix is a fundamental concept in linear algebra and has proved extremely useful in many subjects. It is less clear what the situation is over a finite field. In this paper, we classify the orbits of GU m ( q ) × GU n ( q ) on M m × n ( q 2 ) (which is the analog of the singular value decomposition). The proof involves Kronecker’s theory of pencils and the Lang–Steinberg theorem for algebraic groups. Besides the motivation mentioned above, this problem came up in a recent paper of Guralnick et al. (2020) where a concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups was studied and bounds on the number of orbits was needed. A consequence of this work determines possible pairs of Jordan forms for nilpotent matrices of the form A A ∗ and A ∗ A over a finite field and A A ⊤ and A ⊤ A over arbitrary fields.

Two definitions for the rectifiability of hypersurfaces in Heisenberg groups $\mathbb{H}^n$ have been proposed: one based on ${\mathbb{H}}$-regular surfaces and the other on Lipschitz images of subsets of codimension-$1$ vertical subgroups. The equivalence between these notions remains an open problem. Recent partial results are due to Cole–Pauls, Bigolin–Vittone, and Antonelli–Le Donne. This paper makes progress in one direction: the metric Lipschitz rectifiability of ${\mathbb{H}}$-regular surfaces. We prove that ${\mathbb{H}}$-regular surfaces in $\mathbb{H}^{n}$ with $\alpha $-Hölder continuous horizontal normal, $\alpha> 0$, are metric bilipschitz rectifiable. This improves on the work by Antonelli–Le Donne, where the same conclusion was obtained for $C^{\infty }$-surfaces. In $\mathbb{H}^{1}$, we prove a slightly stronger result: every codimension-$1$ intrinsic Lipschitz graph with an $\epsilon $ of extra regularity in the vertical direction is metric bilipschitz rectifiable. All the proofs in the paper are based on a new general criterion for finding bilipschitz maps between “big pieces” of metric spaces.

In this paper, we generalize the classical Freidlin-Wentzell’s theorem for random perturbations of Hamiltonian systems. In (Probability Theory and Related Fields 128 (2004) 441–466), M.Freidlin and M.Weber generalized the original result in the sense that the coefficient for the noise term is no longer the identity matrix but a state-dependent matrix and taking the drift term into consideration. In this paper, We generalize the result by adding a state-dependent matrix that converges uniformly to 0 on any compact sets as ϵ tends to 0 to a state-dependent noise and considering the drift term which contains two parts, the state-dependent mapping and a state-dependent mapping that converges uniformly to 0 on any compact sets as ϵ tends to 0. In the proof, we adapt a new way to prove the weak convergence inside the edge by constructing an auxiliary process and modify the proof in (Probability Theory and Related Fields 128 (2004) 441–466) when proving gluing condition.

In a recent paper [JUKIĆ, D.: A necessary and sufficient criterion for the existence of the global minima of a continuous lower bounded function on a noncompact set, J. Comput. Appl. Math. 375 (2020)], a new existence level was introduced and then was used to obtain a necessary and sufficient criterion for the existence of the global minima of a continuous lower bounded function on a noncompact set. In this paper, we determined that existence level for the residual sum of squares of the power-law regression with an unknown location parameter, and so we obtained a necessary and sufficient condition which guarantee the existence of the least squares estimate.

This paper aims at producing numerical solutions of nonlinear parabolic PDEs with forcing term without any linearization. Since the linearization of nonlinear term leads to lose real features, without doing linearization, this paper focuses on capturing natural behaviour of the mechanism. Therefore we concentrate on analysis of the physical processes without losing their properties. To carry out this study, a backward differentiation formula in time and a spline method in space have been combined in leading to the discretized equation. This method leads to a very reliable alternative in solving the problem by conserving the physical properties of the nature. The efficiency of the present method are proved theoretically and illustrated by various numerical tests.

In a recent paper, Sokół et al. [Applications of k-Fibonacci numbers for the starlike analytic functions, Hacet. J. Math. Stat. 44(1) (2015), 121{127] obtained an upper bound for the Fekete-Szegö functionalϕλwhenλ 2R of functions belong to the classSLkconnected withk-Fibonacci numbers. The main purpose of this paper is to obtain sharp bounds forϕλbothλ 2R andλ 2C.

In this paper we prove that a nodal hypersurface in P^4 with defect has at least (d-1)^2 nodes, and if it has at most 2(d-2)(d-1) nodes and d>6 then it contains either a plane or a quadric surface. Furthermore, we prove that a nodal double cover of P^3 ramified along a surface of degree 2d with defect has at least d(2d-1) nodes. We construct the largest dimensional family of nodal degree d hypersurfaces in P^(2n+2) with defect for d sufficiently large., v2: A proof for the Ciliberto-Di Gennaro conjecture is added (Section 5); Some minor corrections in the other sections. v3: some minor corrections in the abstract v4: The proof for the Ciliberto-Di Gennaro conjecture has been modified; The paper is split into two parts, the complete intersection case will be discussed in a different paper

We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty $-categories) for additive $\infty $-categories, (2) define the notion of nilpotent extensions for suitable $\infty $-categories and furnish interesting examples such as categorical square-zero extensions, and (3) use (1) and (2) to extend the Dundas–Goodwillie–McCarthy theorem for stable $\infty $-categories that are not monogenically generated (such as the stable $\infty $-category of Voevodsky’s motives or the stable $\infty $-category of perfect complexes on some algebraic stacks). The key input in our paper is Bondarko’s notion of weight structures, which provides a “ring-with-many-objects” analog of a connective $\mathbb{E}_1$-ring spectrum. As applications, we prove cdh descent results for truncating invariants of stacks extending the work by Hoyois–Krishna for homotopy $K$-theory and establish new cases of Blanc’s lattice conjecture.

Starting with work of Serre, Katz, and Swinnerton-Dyer, theta operators have played a key role in the study of $p$-adic and $\bmod p$ modular forms and Galois representations. This paper achieves two main results for theta operators on automorphic forms on PEL-type Shimura varieties: 1) the analytic continuation at unramified primes $p$ to the whole Shimura variety of the $\bmod p$ reduction of $p$-adic Maass--Shimura operators {\it a priori} defined only over the $\mu$-ordinary locus, and 2) the construction of new $\bmod p$ theta operators that do not arise as the $\bmod p$ reduction of Maass--Shimura operators. While the main accomplishments of this paper concern the geometry of Shimura varieties and consequences for differential operators, we conclude with applications to Galois representations. Our approach involves a careful analysis of the behavior of Shimura varieties and enables us to obtain more general results than allowed by prior techniques, including for arbitrary signature, vector weights, and unramified primes in CM fields of arbitrary degree., Comment: Accepted for publication in IMRN. 42 pages

Diffusion equations with Riemann–Liouville fractional derivatives are Volterra integro-partial differential equations with weakly singular kernels and present fundamental challenges for numerical computation. In this paper, we make a convergence analysis of the Schwarz waveform relaxation (SWR) algorithms with Robin transmission conditions (TCs) for these problems. We focus on deriving good choice of the parameter involved in the Robin TCs, at the continuous and fully discretized level. Particularly, at the space-time continuous level, we show that the derived Robin parameter is much better than the one predicted by the well-understood equioscillation principle. At the fully discretized level, the problem of determining a good Robin parameter is studied in the convolution quadrature framework, which permits us to precisely capture the effects of different temporal discretization methods on the convergence rate of the SWR algorithms. The results obtained in this paper will be preliminary preparations for our further study of the SWR algorithms for integro-partial differential equations.

In order to solve the complicated process and low efficiency and low accuracy of solving a class of matrix equations, this paper introduces the linear saturated system model neural network architecture to solve the bisymmetric solution of a class of matrix equations. Firstly, a class of matrix equations is constructed to determine the key problems of solving the equations. Secondly, the linear saturated system model neural network structure is constructed to determine the characteristic parameters in the process of bisymmetric solution. Then, the matrix equations is solved by using backpropagation neural network topology. Finally, the class normalization is realized by using the objective function of bisymmetric solution, and the bisymmetric solution of a class of matrix equations is realized. In order to verify the solving effect of the method in this paper, three indexes (accuracy, correction accuracy, and solving time) are designed in the experiment. The experimental results show that the proposed method can effectively reduce the solving time, can improve the accuracy and correction effect of the bisymmetric solution, and has high practicability.

Recently, two of the authors of this paper constructed cyclic cocycles on Harish-Chandra's Schwartz algebra of linear reductive Lie groups that detect all information in the $K$-theory of the corresponding group $C^*$-algebra. The main result in this paper is an index formula for the pairings of these cocycles with equivariant indices of elliptic operators for proper, cocompact actions. This index formula completely determines such equivariant indices via topological expressions., 40 pages; updates based on referee comments; expanded proof of Proposition 3.3

In many applications it is desirable to consider not one random vector but a number of random vectors with the joint distribution. This paper is devoted to the integral and integral transformations connected with the joint vector Gaussian probability density function. Such integral and transformations arise in the statistical decision theory, particularly, in the dual control theory based on the statistical decision theory. One of the results represented in the paper is the integral of the joint Gaussian probability density function. The other results are the total probability formula and Bayes formula formulated in terms of the joint vector Gaussian probability density function. As an example the Bayesian estimations of the coefficients of the multiple regression function are obtained. The proposed integrals can be used as table integrals in various fields of research.

PurposeIn this paper, the authors applied the empirical likelihood method, which was originally proposed by Owen, to the copula moment based estimation methods to take advantage of its properties, effectiveness, flexibility and reliability of the nonparametric methods, which have limiting chi-square distributions and may be used to obtain tests or confidence intervals. The authors derive an asymptotically normal estimator of the empirical likelihood based on copula moment estimation methods (ELCM). Finally numerical performance with a simulation experiment of ELCM estimator is studied and compared to the CM estimator, with a good result.Design/methodology/approachIn this paper we applied the empirical likelihood method which originally proposed by Owen, to the copula moment based estimation methods.FindingsWe derive an asymptotically normal estimator of the empirical likelihood based on copula moment estimation methods (ELCM). Finally numerical performance with a simulation experiment of ELCM estimator is studied and compared to the CM estimator, with a good result.Originality/valueIn this paper we applied the empirical likelihood method which originally proposed by Owen 1988, to the copula moment based estimation methods given by Brahimi and Necir 2012. We derive an new estimator of copula parameters and the asymptotic normality of the empirical likelihood based on copula moment estimation methods.

In recent years, the problem of estimating Hankel determinants has attracted the attention of many mathematicians. Their research have been focused mainly on deriving the bounds of H 2 , 2 {H_{2,2}} or H 3 , 1 {H_{3,1}} over different subclasses of 𝒮 {\mathcal{S}} . Only in a few papers third Hankel determinants for non-univalent functions were considered. In this paper, we consider two classes of analytic functions with real coefficients. The first one is the class 𝒯 {\mathcal{T}} of typically real functions. The second object of our interest is 𝒦 ℝ ⁢ ( i ) {\mathcal{K}_{\mathbb{R}}(i)} , the class of functions with real coefficients which are convex in the direction of the imaginary axis. In both classes, we find lower and upper bounds of the third Hankel determinant. The results are sharp.

In the present paper we describe the family of all closed convex plane curves of class $$C^1$$ C 1 which have circles as their isoptics. In the first part of the paper we give a certain characterization of all ellipses based on the notion of isoptic and we give a geometric characterization of curves whose orthoptics are circles. The second part of the paper contains considerations on curves which have circles as their isoptics and we show the form of support functions of all considered curves.

In the paper, we consider the limit behavior of partial-sum random field (r.f.) $$ \left.{S}_n\left({t}_1,{t}_2;\right)X\left(b\left(\mathbf{n}\right)\right)\right)={\sum}_{k=1}^{\left[{n}_1{t}_1\right]}{\sum}_{l=1}^{\left[{n}_2{t}_2\right]}{X}_{k,l}\left(b\left(\mathbf{n}\right)\right), $$ where $$ \left\{{X}_{k,l}\left(b\left(\mathbf{n}\right)\right)={\sum}_{i=0}^{\infty }{\sum}_{j=0}^{\infty }{c}_{i,j}{\upxi}_{k-i,l-j}\left(b\left(\mathbf{n}\right)\right),k,l\in \mathrm{\mathbb{Z}}\right\},n\ge 1, $$ is a family (indexed by n = (n1, n2), ni ≥ 1) of linear r.f.s with filter ci,j = aibj and innovations ξk,l(b(n)) having heavy-tailed tapered distributions with tapering parameter b(n) growing to infinity as n → ∞. In [V. Paulauskas, Limit theorems for linear random fields with tapered innovations. I: The Gaussian case, Lith. Math. J., 61(2):261–273, 2021], we considered the so-called hard tapering as b(n) grows relatively slowly and the limit r.f.s for appropriately normalized Sn(t1, t2;X(b(n))) are Gaussian. In this paper, we consider the case of soft tapering where b(n) grows more rapidly in comparison with the case of hard tapering and stable limit r.f.s.We consider cases where the sequences {ai} and {bj} are long-range, short-range, and negatively dependent.

This is a follow-up paper of arXiv:1805.00115, where rational curves in surfaces that satisfy general positioned point and cross-ratio conditions were enumerated. A suitable correspondence theorem provided in arXiv:1509.07453 allowed us to use tropical geometry, and, in particular, a degeneration technique called floor diagrams. This correspondence theorem also holds in higher dimension. In the current paper, we introduce so-called cross-ratio floor diagrams and show that they allow us to determine the number of rational space curves that satisfy general positioned point and cross-ratio conditions. Moreover, graphical contributions are introduced which provide a novel and structured way of understanding multiplicities of floor decomposed curves in $\mathbb{R}^3$. Additionally, so-called condition flows on a tropical curve are used to reflect how conditions imposed on a tropical curve yield different types of edges. This concept is applicable in arbitrary dimension., 36 pages, 15 figures; fixed minor issues, added references

In this paper, we are interested in the dependence between lifetimes based on a joint survival model. This model is built using the bivariate Sarmanov distribution with Phase-Type marginal distributions. Capitalizing on these two classes of distributions’ mathematical properties, we drive some useful closed-form expressions of distributions and quantities of interest in the context of multiple-life insurance contracts. The dependence structure that we consider in this paper is based on a general form of kernel function for the Bivariate Sarmanov distribution. The introduction of this new kernel function allows us to improve the attainable correlation range.

In this paper, we study a problem posed by Furstenberg on intersections between × 2 , × 3 \times 2, \times 3 invariant sets. We present here a direct geometrical counting argument to revisit a theorem of Wu and Shmerkin. This argument can be used to obtain further improvements. For example, we show that if A 2 , A 3 ⊂ [ 0 , 1 ] A_2,A_3\subset [0,1] are closed and × 2 , × 3 \times 2, \times 3 invariant respectively, assuming that dim ⁡ A 2 + dim ⁡ A 3 > 1 \dim A_2+\dim A_3>1 then A 2 ∩ ( u A 3 + v ) A_2\cap (uA_3+v) is sparse (defined in this paper) and has box dimension zero uniformly with respect to the real parameters u , v u,v such that u u and u − 1 u^{-1} are both bounded away from 0 0 .

In this paper, we develop the theory of a class of casual differential equations on a time scale. An existence theorem for casual differential equations on a time scale is given under mixed Lipschitz and compactness conditions by the fixed point theorem in Banach algebra due to Dhage. Some fundamental differential inequalities on a time scale are also presented which are utilized to investigate the existence of extremal solutions. The comparison principle on casual differential equations on a time scale is established. Our results in this paper extend and improve some well-known results.

This paper is a survey of results on countable families with natural degree spectra. These results were obtained by a modification of the methodology proposed by Wechner, who first found a family of sets with the spectrum consisting precisely of nonzero Turing degrees. Based on this method, many researchers obtained examples of families with other natural spectra. In addition, in this paper we extend these results and present new examples of natural spectra. In particular, we construct a family of finite sets with the spectrum consisting of exactly non-K-trivial degrees and also we find new sufficient conditions on $$ {\Delta}_2^0 $$ -degree a, which guarantees that the class {x : x ≰ a} is the degree spectrum of some family. Finally, we give a survey of our recent results on the degree spectra of α-families, where α is an arbitrary computable ordinal.

This paper presents some new formulas and properties of the generalized fractional derivative with non-singular kernel that covers various types of fractional derivatives such as the Caputo–Fabrizio fractional derivative, the Atangana–Baleanu fractional derivative, and the weighted Atangana–Baleanu fractional derivative. These new properties extend many recent results existing in the literature. Furthermore, the paper proposes some interesting inequalities that estimate the generalized fractional derivatives of some specific functions. These inequalities can be used to construct Lyapunov functions with the aim to study the global asymptotic stability of several fractional-order systems arising from diverse fields of science and engineering.

The main work of this paper focuses on identifying the heat flux in inverse problem of two-dimensional nonhomogeneous parabolic equation, which has wide application in the industrial field such as steel-making and continuous casting. Firstly, the existence of the weak solution of the inverse problem is discussed. With the help of forward solution and dual equation, this paper proves the Lipchitz continuity of the cost function and derives the Lipchitz constant. Furthermore, in order to accelerate the convergence rate and reduce the running time, this paper presents a sufficient descent Levenberg–Marquard algorithm with adaptive parameter (SD-LMAP) to solve this inverse problem. At last, compared with other methods, the results of simulation experiment show that this algorithm can obviously reduce the running time and iterative number.

The paper focuses on the analysis of the Euler projection Galerkin finite element method (FEM) for the dynamics of magnetization in ferromagnetic materials, described by the Landau–Lifshitz equation with the point-wise constraint $|{\textbf{m}}|=1$. The method is based on a simple sphere projection that projects the numerical solution onto a unit sphere at each time step, and the method has been used in many areas in the past several decades. However, error analysis for the commonly used method has not been done since the classical energy approach cannot be applied directly. In this paper we present an optimal $\textbf{L}^2$ error analysis of the backward Euler sphere projection method by using quadratic or higher order finite elements under a time step condition $\tau =O(\epsilon _0 h)$ with some small $\epsilon _0>0$. The analysis is based on more precise estimates of the extra error caused by the sphere projection in both $\textbf{L}^2$ and $\textbf{H}^1$ norms, and the classical estimate of dual norm. Numerical experiment is provided to confirm our theoretical analysis.

In our previous paper, viewing $D^b(K(l))$ as a noncommutative curve, where $K(l)$ is the Kronecker quiver with $l$-arrows, we introduced categorical invariants via counting of noncommutative curves. Roughly, these invariants are sets of subcategories in a given category and their quotients. The noncommutative curve-counting invariants are obtained by restricting the subcategories to be equivalent to $D^b(K(l))$. The general definition, however, defines a larger class of invariants and many of them behave properly with respect to fully faithful functors. Here, after recalling the definition, we focus on the examples and extend our studies beyond counting. We enrich our invariants with the following structures: the inclusion of subcategories makes them partially ordered sets and considering semi-orthogonal pairs of subcategories as edges amounts to directed graphs. It turns out that the problem for counting $D^b(A_k)$ in $D^b(A_n)$ has a geometric combinatorial parallel - counting of maps between polygons. Estimating the numbers counting noncommutative curves in $D^b({\mathbb P}^2)$ modulo the group of autoequivalences, we prove finiteness and that the exact determining of these numbers leads to a solution of Markov problem. Via homological mirror symmetry, this gives a new approach to this problem. Regarding the structure of a partially ordered set mentioned above, we initiate intersection theory of noncommutative curves focusing on the case of noncommutative genus zero. The above-mentioned structure of a directed graph (and related simplicial complex) is a categorical analogue of the classical curve complex, introduced by Harvey and Harrer. The paper contains pictures of the graphs in many examples and also presents an approach to Markov conjecture via counting of subgraphs in a graph associated with $D^b({{\mathbb{P}}}^2)$. Some of the results proved here were announced in a previous work.

Let us fix a prime $p$. The Erd\H{o}s-Ginzburg-Ziv problem asks for the minimum integer $s$ such that any collection of $s$ points in the lattice $\mathbb{Z}^n$ contains $p$ points whose centroid is also a lattice point in $\mathbb{Z}^n$. For large $n$, this is essentially equivalent to asking for the maximum size of a subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero. In this paper, we give a new upper bound for this problem for any fixed prime $p\geq 5$ and large $n$. In particular, we prove that any subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero has size at most $C_p\cdot \left(2\sqrt{p}\right)^n$, where $C_p$ is a constant only depending on $p$. For $p$ and $n$ going to infinity, our bound is of the form $p^{(1/2)\cdot (1+o(1))n}$, whereas all previously known upper bounds were of the form $p^{(1-o(1))n}$ (with $p^n$ being a trivial bound). Our proof uses the so-called multi-colored sum-free theorem which is a consequence of the Croot-Lev-Pach polynomial method. This method and its consequences were already applied by Naslund as well as by Fox and the author to prove bounds for the problem studied in this paper. However, using some key new ideas, we significantly improve their bounds., Comment: 11 pages

In a paper from 2001 (Journal of the LMS), Diestel and Leader offered a proof that a connected graph has a normal spanning tree if and only if it does not contain a minor from two specific forbidden classes of graphs, all of cardinality $\aleph_1$. Unfortunately, their proof contains a gap, and their result is incorrect. In this paper, we construct a third type of obstruction: an $\aleph_1$-sized graph without a normal spanning tree that contains neither of the two types described by Diestel and Leader as a minor. Further, we show that any list of forbidden minors characterising the graphs with normal spanning trees must contain graphs of arbitrarily large cardinality., Comment: 9 pages. arXiv admin note: text overlap with arXiv:2005.02833

Statistics are mathematical tools applying scientific investigations, such as engineering and medical and biological analyses. However, statistical methods are often improved. Nowadays, statisticians try to find an accurate way to solve a problem. One of these problems is estimation parameters, which can be expressed as an inverse problem when independent variables are highly correlated. This paper’s significant goal is to interpret the parameter estimates of double generalized Rayleigh distribution in a regression model using a wavelet basis. It is difficult to use the standard version of the regression methods in practical terms, which is obtained using the likelihood. Since a noise level usually makes the result of estimation unstable, multicollinearity leads to various estimates. This kind of problem estimates that features of the truth are complicated. So it is reasonable to use a mixed method that combines a fully Bayesian approach and a wavelet basis. The usual rule for wavelet approaches is to choose a wavelet basis, where it helps to compute the wavelet coefficients, and then, these coefficients are used to remove Gaussian noise. Recovering data is typically calculated by inverting the wavelet coefficients. Some wavelet bases have been considered, which provide a shift-invariant wavelet transform, simultaneously providing improvements in smoothness, in recovering, and in squared-error performance. The proposed method uses combining a penalized maximum likelihood approach, a penalty term, and wavelet tools. In this paper, real data are involved and modeled using double generalized Rayleigh distributions, as they are used to estimate the wavelet coefficients of the sample using numerical tools. In practical applications, wavelet approaches are recommended. They reduce noise levels. This process may be useful since the noise level is often corrupted in real data, as a significant cause of most numerical estimation problems. A simulation investigation is studied using the MCMC tool to estimate the underlying features as an essential task statistics.

The objective of this paper is two-fold. The first objective is to complete the former work of Bensoussan and Frehse [2] . One big limitation of this paper was the fact that they are systems of PDE. on a bounded domain. One can expect solutions to be bounded, since one looks for smooth solutions. This is a very important property for the development of the method. It is true also that solutions which exist in a bounded domain may fail to exist on R n , because of the lack of bounds. We give conditions so that the results of [2] can be extended to R n . The second objective is to consider the BSDE (Backward stochastic differential equations) version of the system of PDE. This is the objective of a more recent work of Xing and Zitkovic [8] . They consider systems of BSDE with quadratic growth, which is a well-known open problem in the BSDE literature. Since the BSDE are Markovian, the problem is equivalent to the analytic one. However, because of this motivation the analytic problem is in R n and not on a bounded domain. Xing and Zitkovic developed a probabilistic approach. The connection between the analytic problem and the BSDE is not apparent. Our objective is to show that the analytic approach can be completely translated into a probabilistic one. Nevertheless probabilistic concepts are also useful, after their conversion into the analytic framework. This is in particular true for the uniqueness result.

Let $S \subset \Bbb R^n$ be a smooth compact hypersurface with a strictly positive second fundamental form, $E$ be the Fourier extension operator on $S$, and $X$ be a Lebesgue measurable subset of $\Bbb R^n$. If $X$ contains a ball of each radius, then the problem of determining the range of exponents $(p,q)$ for which the estimate $\| Ef \|_{L^q(X)} \leq C \| f \|_{L^p(S)}$ holds is equivalent to the restriction conjecture. In this paper, we study the estimate under the following assumption on the set $X$: there is a number $0 < \alpha \leq n$ such that $|X \cap B_R| \leq c \, R^\alpha$ for all balls $B_R$ in $\Bbb R^n$ of radius $R \geq 1$. On the left-hand side of this estimate, we are integrating the function $|Ef(x)|^q$ against the measure $\chi_X dx$. Our approach consists of replacing the characteristic function $\chi_X$ of $X$ by an appropriate weight function $H$, and studying the resulting estimate in three different regimes: small values of $\alpha$, intermediate values of $\alpha$, and large values of $\alpha$. In the first regime, we establish the estimate by using already available methods. In the second regime, we prove a weighted H\"{o}lder-type inequality that holds for general non-negative Lebesgue measurable functions on $\Bbb R^n$, and combine it with the result from the first regime. In the third regime, we borrow a recent fractal Fourier restriction theorem of Du and Zhang and combine it with the result from the second regime. In the opposite direction, the results of this paper improve on the Du-Zhang theorem in the range $0 < \alpha < n/2$., Comment: 31 pages. Minor revision

For a separable finite diffuse measure space $${\mathcal {M}}$$ M and an orthonormal basis $$\{\varphi _n\}$$ { φ n } of $$L^2({\mathcal {M}})$$ L 2 ( M ) consisting of bounded functions $$\varphi _n\in L^\infty ({\mathcal {M}})$$ φ n ∈ L ∞ ( M ) , we find a measurable subset $$E\subset {\mathcal {M}}$$ E ⊂ M of arbitrarily small complement $$|{\mathcal {M}}{\setminus } E| | M \ E | < ϵ , such that every measurable function $$f\in L^1({\mathcal {M}})$$ f ∈ L 1 ( M ) has an approximant $$g\in L^1({\mathcal {M}})$$ g ∈ L 1 ( M ) with $$g=f$$ g = f on E and the Fourier series of g converges to g, and a few further properties. The subset E is universal in the sense that it does not depend on the function f to be approximated. Further in the paper this result is adapted to the case of $${\mathcal {M}}=G/H$$ M = G / H being a homogeneous space of an infinite compact second countable Hausdorff group. As a useful illustration the case of n-spheres with spherical harmonics is discussed. The construction of the subset E and approximant g is sketched briefly at the end of the paper.

This paper discusses an outer-approximation guided optimization method for constrained neural network inverse problems with rectified linear units. The constrained neural network inverse problems refer to an optimization problem to find the best set of input values of a given trained neural network in order to produce a predefined desired output in presence of constraints on input values. This paper analyzes the characteristics of optimal solutions of neural network inverse problems with rectified activation units and proposes an outer-approximation algorithm by exploiting their characteristics. The proposed outer-approximation guided optimization comprises primal and dual phases. The primal phase incorporates neighbor curvatures with neighbor outer-approximations to expedite the process. The dual phase identifies and utilizes the structure of local convex regions to improve the convergence to a local optimal solution. At last, computation experiments demonstrate the superiority of the proposed algorithm compared to a projected gradient method.

This paper is concerned with the qualitative analysis of solutions to the following class of quasilinear problems $$\begin{aligned} \left\{ \begin{array}{ll} -\Delta _{\Phi }u=f(x,u) &{}\quad \text {in } \Omega ,\\ u=0 &{}\quad \text {on }\partial \Omega , \end{array} \right. \end{aligned}$$ - Δ Φ u = f ( x , u ) in Ω , u = 0 on ∂ Ω , where $$\Delta _{\Phi }u=\mathrm{div}\,(\varphi (x,|\nabla u|)\nabla u)$$ Δ Φ u = div ( φ ( x , | ∇ u | ) ∇ u ) and $$\Phi (x,t)=\int _{0}^{|t|}\varphi (x,s)s\,ds$$ Φ ( x , t ) = ∫ 0 | t | φ ( x , s ) s d s is a generalized N-function. We assume that $$\Omega \subset {\mathbb {R}}^N$$ Ω ⊂ R N is a smooth bounded domain that contains two open regions $$\Omega _N,\Omega _p$$ Ω N , Ω p with $${\overline{\Omega }}_N \cap {\overline{\Omega }}_p=\emptyset $$ Ω ¯ N ∩ Ω ¯ p = ∅ . The features of this paper are that $$-\Delta _{\Phi }u$$ - Δ Φ u behaves like $$-\Delta _N u $$ - Δ N u on $$\Omega _N$$ Ω N and $$-\Delta _p u $$ - Δ p u on $$\Omega _p$$ Ω p , and that the growth of $$f:\Omega \times {\mathbb {R}} \rightarrow {\mathbb {R}}$$ f : Ω × R → R is like that of $$e^{\alpha |t|^{\frac{N}{N-1}}}$$ e α | t | N N - 1 on $$\Omega _N$$ Ω N and as $$|t|^{p^{*}-2}t$$ | t | p ∗ - 2 t on $$\Omega _p$$ Ω p when |t| is large enough. The main result establishes the existence of solutions in a suitable Musielak–Sobolev space in the case of high perturbations with respect to the values of a positive parameter.

In this paper, we establish the global existence and uniqueness of the solution of the Cauchy problem of a one-dimensional compressible isentropic Euler system for a Chaplygin gas with large initial data in the space L loc 1 . The hypotheses on the initial data may be the least requirement to ensure the existence of a weak solution in the Lebesgue measurable sense. The novelty and also the essence of the difficulty of the problem lie in the fact that we have neither the requirement on the local boundedness of the density nor that which is bounded away from vacuum. We develop the previous results on this degenerate system. The method used is Lagrangian representation, the essence of which is characteristic analysis. The key point is to prove the existence of the Lagrangian representation and the absolute continuity of the potentials constructed with respect to the space and the time variables. We achieve this by finding a property of the fundamental theorem of calculus for Lebesgue integration, which is a sufficient and necessary condition for judging whether a monotone continuous function is absolutely continuous. The assumptions on the initial data in this paper are believed to also be necessary for ruling out the formation of Dirac singularity of density. The ideas and techniques developed here may be useful for other nonlinear problems involving similar difficulties.

This paper studies the virtual $\chi_{-y}$-genera of Grothendieck's Quot schemes on surfaces, thus refining the calculations of the virtual Euler characteristics by Oprea-Pandharipande. We first prove a structural result expressing the equivariant virtual $\chi_{-y}$-genera of Quot schemes universally in terms of the Seiberg-Witten invariants. The formula is simpler for curve classes of Seiberg-Witten length $N$, which are defined in the paper. By way of application, we give complete answers in the following cases: (i) arbitrary surfaces for the zero curve class, (ii) relatively minimal elliptic surfaces for rational multiples of the fiber class, (iii) minimal surfaces of general type with $p_g>0$ for any curve classes. Furthermore, a blow up formula is obtained for curve classes of Seiberg-Witten length $N$. As a result of these calculations, we prove that the generating series of the virtual $\chi_{-y}$-genera are given by rational functions for all surfaces with $p_g>0$, addressing a conjecture of Oprea-Pandharipande. In addition, we study the reduced $\chi_{-y}$-genera for $K3$ surfaces and primitive curve classes with connections to the Kawai-Yoshioka formula., Comment: 48 pages. Reformulation of Theorem 1 for readability. Extra explanation for the mixed terms in section 2.2.3. Reference updates

In Li et al. (J Aust Math Soc 97:383–390, 2014), the authors discussed two classes of mappings in Banach spaces, which are $$\varphi $$ -quasiisometric mappings in the distance ratio metric (briefly, $$\varphi $$ -DRQI mappings) and fully $$\varphi $$ -quasiisometric mappings in the distance ratio metric (briefly, $$\varphi $$ -FDRQI mappings), where $$\varphi :$$ $$[0,\infty )\rightarrow [0,\infty )$$ denotes a quasiisometric control function. In this paper, we continue this discussion by introducing a new class of mappings, that is, $$\varphi $$ -PDRQI mappings. The purpose of this paper is twofold. Let f be a homeomorphism between two proper domains in a Banach space. First, we prove that f being $$\varphi $$ -PDRQI is equivalent to f being $$\varphi $$ -FDRQI. Then, as an application of the obtained equivalent relation, we show that f being $$\varphi $$ -DRQI, f being $$\varphi $$ -PDRQI and f being $$\varphi $$ -FDRQI are equivalent to each other when the quasiisometric control functions have the form $$\varphi (t)=Mt$$ .

The paper is devoted to discretization of integral norms of functions from a given finite dimensional subspace. Even though this problem is extremely important in applications, its systematic study has begun only recently. In this paper we obtain a conditional theorem for all integral norms $$L_q$$ , $$1\le q

This paper investigates the asset-liability management problem for an ordinary robust insurance system between a reinsurer and an insurer under the Heston model with delay. The reinsurer, as the leader of the Stackelberg game, can price reinsurance premium and invest its wealth in a financial market that contains a risk-free asset and a risky asset whose price process is described by the Heston model. The insurer, as the follower of the Stackelberg game, can purchase proportional reinsurance from the reinsurer and invest in the same financial market. Under the consideration of the performance-related capital inflow/outflow, the wealth processes of the insurer and reinsurer are modeled by stochastic differential delay equations (SDDEs). This paper aims to find the equilibrium strategies for the reinsurer and insurer by maximizing the expected utility of the player’s terminal wealth with delay under the worst-case scenario of the alternative measures. By using the idea of backward induction and dynamic programming approach, the explicit expressions of the robust equilibrium strategies and value functions are derived. Finally, some numerical examples and sensitivity analysis to illustrate the effects of model parameters on the robust optimal reinsurance and investment strategies are performed.

A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In the present paper we extend Koksma's theorem to the pair correlation setting. More precisely, we show that for Lebesgue almost every $x>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proof is based on a martingale approximation method., Version 2: some minor changes. The paper will appear in the Israel Journal of Mathematics

Full-waveform inversion (FWI) is today a standard process for the inverse problem of seismic imaging. PDE-constrained optimization is used to determine unknown parameters in a wave equation that represent geophysical properties. The objective function measures the misfit between the observed data and the calculated synthetic data, and it has traditionally been the least-squares norm. In a sequence of papers, we introduced the Wasserstein metric from optimal transport as an alternative misfit function for mitigating the so-called cycle skipping, which is the trapping of the optimization process in local minima. In this paper, we first give a sharper theorem regarding the convexity of the Wasserstein metric as the objective function. We then focus on two new issues. One is the necessary normalization of turning seismic signals into probability measures such that the theory of optimal transport applies. The other, which is beyond cycle skipping, is the inversion for parameters below reflecting interfaces. For the first, we propose a class of normalizations and prove several favorable properties for this class. For the latter, we demonstrate that FWI using optimal transport can recover geophysical properties from domains where no seismic waves travel through. We finally illustrate these properties by the realistic application of imaging salt inclusions, which has been a significant challenge in exploration geophysics.

In this paper, the global exponential stability and periodicity are investigated for delayed neural network models with continuous coefficients and piecewise constant delay of generalized type. The sufficient condition for the existence and uniqueness of periodic solutions of the model is established by applying Banach’s fixed point theorem and the successive approximations method. By constructing suitable differential inequalities with generalized piecewise constant delay, some sufficient conditions for the global exponential stability of the model are obtained. Typical numerical examples with simulations are utilized to illustrate the validity and improvement in less conservatism of the theoretical results. This paper ends with a brief conclusion.