Correspondence: gaoyingimu@163. com Department of Mathematics, Chongqing Normal University, Chongqing 400047, China Abstract In this paper, a pair of nondifferentiable multiobjective fractional programming problems is formulated. For a differentiable function, we introduce the definition of higher-order (F, a, r, d)-convexity, which extends some kinds of generalized convexity, such as second or...

State-of-the-art first-order automated theorem proving systems have reached considerable strength over recent years. However, in many areas of mathematics they are still a long way from reliably proving theorems that would be considered relatively simple by humans. For example, when reasoning about sets, relations, or functions, first-order systems still exhibit serious weaknesses. While it has...

Abstract Metric transformation is a tool to find new theory of gravity beyond general relativity. The action guaranteed be free from the dangerous Ostrogradsky mode as long metric regular and invertible. Various degenerate higher-order scalar–tensor theories without extra degrees freedom have been found through with scalar field its derivatives. In this work, we examine how matter coupling chan...

We present a tensor-network approach for two-dimensional strong-coupling QCD with staggered quarks at nonzero chemical potential. After integrating out the gauge fields infinite coupling, partition function can be written as full contraction of tensor network consisting coupled local numeric and Grassmann tensors. To evaluate to compute observables, we develop higher-order renormalization group...