Search

This study aims at understanding the role of the tools chosen throughout the processes of solving a non-routine mathematical problem and communicating its solution. In assuming that problem-solving is a synchronous activity of mathematization and expression of mathematical thinking we take our proposed Mathematical Problem Solving with Technology (MPST) model to analyze the processes of solving-and-expressing-problems. Resorting to qualitative methods for data collection and analysis, we report on the case of an 8th grader working on a covariation problem to examine the role that paper-and-pencil and digital tools play in the development of a conceptual model of the situation. We found that the resources used throughout the solving-and-expressing activity influenced the depth of the conceptual model developed, within a process of progressive mathematization. Whereas paper-and-pencil led to the emergence of a conceptual model based on exploring particular cases, the digital transformation of the solution was triggered by the process of communicating its mathematical justification and expanded the previous model. Moreover, the complexity of this activity is evidenced by its multiple sequences of processes. Finally, the integration process seems crucial as the concomitant use of technological and mathematical resources precedes major advancements in the expansion of the conceptual model.

We investigated the influence of mental imagery expertise in 15 pen and paper role-players as an expert group compared to the gender-matched control group of computer role-players in the difficult Vandenberg and Kuse mental rotation task. In this task, the participants have to decide which two of four rotated figures match the target figure. The dependent measures were performance speed and accuracy. In our exploratory investigation, we further examined midline frontal theta band activation, parietal alpha band activation, and parietal alpha band asymmetry in EEG as indicator for the chosen rotation strategy. Additionally, we explored the gender influence on performance and EEG activation, although a very small female sample section was given. The expected gender difference concerning performance accuracy was negated by expertise in pen and paper role-playing women, while the gender-specific difference in performance speed was preserved. Moreover, gender differences concerning electro-cortical measures revealed differences in rotation strategy, with women using top-down strategies compared to men, who were using top-down strategies and active inhibition of associative cortical areas. These strategy uses were further moderated by expertise, with higher expertise leading to more pronounced activation patters, especially during successful performance. However, due to the very limited sample size, the findings of this explorative study have to be interpreted cautiously.

Investigating the research trends within a scientific domain by analyzing semantic information extracted from scientific journals has been a topic of interest in the natural language processing (NLP) field. A research trend evaluation is generally based on the time evolution of the term occurrence or the term topic, but it neglects an important aspect—research publication latency. The average time lag between the research and its publication may vary from one month to more than one year, and it is a characteristic that may have significant impact when assessing research trends, mainly for rapidly evolving scientific areas. To cope with this problem, the present paper is the first work that explicitly considers research publication latency as a parameter in the trend evaluation process. Consequently, we provide a new trend detection methodology that mixes auto-ARIMA prediction with Mann–Kendall trend evaluations. The experimental results in an electronic design automation case study prove the viability of our approach.

Paper waste in the mockups design with regular, irregular, and amorphous patterns is a critical problem in digital printing presses. Paper waste reduction directly impacts production costs, generating business and environmental benefits. This problem can be mapped to the two-dimensional irregular bin-packing problem. In this paper, an iterated local search algorithm using a novel neighborhood structure to detect overlaps between amorphous shapes is introduced. This algorithm is used to solve the paper waste problem, modeled as one 2D irregular bin-packing problem. The experimental results show that this approach works efficiently and effectively to detect and correct the overlaps between regular, irregular, and amorphous figures.

Erratum to the paper [Konovalov, Alexander; Smoktunowicz, Agata; Vendramin, Leandro. On skew braces and their ideals. Exp. Math. 30 (2021), no. 1, 95–104. DOI: 10.1080/10586458.2018.1492476.].

We introduce our efforts within the project ‘The science of deep specification’ to work out the key formal underpinnings of industrial-scale formal specifications of software and hardware components, anticipating a world where large verified systems are routinely built out of smaller verified components that are also used by many other projects. We identify an important class of specification that has already been used in a few experiments that connect strong component-correctness theorems across the work of different teams. To help popularize the unique advantages of that style, we dub itdeep specification, and we say that it encompasses specifications that arerich,two-sided,formalandlive(terms that we define in the article). Our core team is developing a proof-of-concept system (based on the Coq proof assistant) whose specification and verification work is divided across largely decoupled subteams at our four institutions, encompassing hardware microarchitecture, compilers, operating systems and applications, along with cross-cutting principles and tools for effective specification. We also aim to catalyse interest in the approach, not just by basic researchers but also by users in industry.This article is part of the themed issue ‘Verified trustworthy software systems’.

The purpose of this short note is to present a correction of the proof of the main result given in the paper “Equivalence of the existence of best proximity points and best proximity pairs for cyclic and noncyclic nonexpansive mappings,” Demonstr. Math. 53 (2020), 38–43.

This paper is a corrigendum to the article ``On the ideal theorem for number fields''. The main result of this paper proves to be untrue and is replaced by an estimate of a weighted sum with an improved error term.

This comment is devoted to the paper “Lie Symmetry Analysis, Explicit Solutions, and Conservation Laws of a Spatially Two-Dimensional Burgers–Huxley Equation” (Symmery, 2020, vol.12, 170), in which several results are either incorrect, or incomplete, or misleading.

We correct a mistake in a lemma in the paper cited in the title and show that it did not affect any of the other results of the paper. To this end, we prove results on linearly disjoint field extensions that do not seem to be commonly known. We give an example to show that a separability assumption in one of these results cannot be dropped (doing so had led to the mistake). Further, we discuss recent generalizations of the original classification of defect extensions.

We give common generalizations of the Menon-type identities by Sivaramakrishnan (1969) and Li, Kim, Qiao (2019). Our general identities involve arithmetic functions of several variables, and also contain, as special cases, identities for gcd-sum type functions. We point out a new Menon-type identity concerning the lcm function. We present a simple character free approach for the proof., Comment: 14 pages

Inspired by the article “Anomalous relaxation model based on the fractional derivative with a Prabhakar-like kernel” (Z. Angew. Math. Phys. (2019) 70:42) whose authors Zhao and Sun studied the integro-differential equation with the kernel given by the Prabhakar function $$e^{-\gamma }_{\alpha , \beta }(t, \lambda )$$ , we provide the solution to this equation which is complementary to that obtained up to now. Our solution is valid for effective relaxation times whose admissible range extends the limits given in Zhao and Sun (Z Angew Math Phys 70:42, 2019, Theorem 3.1) to all positive values. For special choices of parameters entering the equation itself and/or characterizing the kernel, the solution comprises to known phenomenological relaxation patterns, e.g., to the Cole–Cole model (if $$\gamma = 1, \beta =1-\alpha $$ ) or to the standard Debye relaxation.

The aim of this paper is to study a new equivalent form of the weak maximum principle for a large class of differential operators on Riemannian manifolds. This new form has been inspired by the work of Berestycki, Hamel and Rossi for trace operators, and allows us to shed new light on it and to introduce a new sufficient bounded Khas’minskii type condition for its validity. We show its effectiveness by applying it to obtain some uniqueness results in a geometric setting.

In his paper "On a construction of semigroups", M. Kolibiar gives a construction for a semigroup $T$ (beginning from a semigroup $S$) which is said to be derived from the semigroup $S$ by a $\theta$-construction. He asserted that every semigroup $T$ can be derived from the factor semigroup $T/\theta (T)$ by a $\theta$-construction, where $\theta (T)$ is the congruence on $T$ defined by: $(a, b)\in \theta (T)$ if and only if $xa=xb$ for all $x\in T$. Unfortunately, the paper contains some incorrect part. In our present paper we give a revision of the paper., Comment: Version v5 differs from the published and the earlier versions in the following: some part of the proof of Theorem 2 are clarified, and some typing errors are corrected

A record mentioned in the paper by Moree (Abh Math Sem Univ Hamburg 77:109–127, 2007) was recently improved on by Akbary and Scholten. However, the record mentioned was not the then record. The then record, due to Gallot (2004), actually slightly improves on that obtained recently by Akbary and Scholten.

In this paper, we analyze the complexity of an eco-epidemiological model for phytoplankton–zooplankton system in presence of toxicity and time delay. Holling type II function response is incorporated to address the predation rate as well as toxic substance distribution in zooplankton. It is also presumed that infected phytoplankton does recover from the viral infection. In the absence of time delay, stability and Hopf-bifurcation conditions are investigated to explore the system dynamics around all the possible equilibrium points. Further, in the presence of time delay, conditions for local stability are derived around the interior equilibria and the properties of the periodic solution are obtained by applying normal form theory and central manifold arguments. Computational simulation is performed to illustrate our theoretical findings. It is explored that system dynamics is very sensitive corresponding to carrying capacity and toxin liberation rate and able to generate chaos. Further, it is observed that time delay in the viral infection process can destabilize the phytoplankton density whereas zooplankton density remains in its old state. Incorporation of time delay also gives the scenario of double Hopf-bifurcation. Some control parameters are discussed to stabilize system dynamics. The effect of time delay on (i) growth rate of susceptible phytoplankton shows the extinction and double Hopf-bifurcation in the zooplankton population, (ii) a sufficiently large value of carrying capacity stabilizes the chaotic dynamics or makes the whole system chaotic with further increment.

We consider the problem of optimal partisan gerrymandering: a legislator in charge of redrawing the boundaries of equal-sized congressional districts wants to ensure the best electoral outcome for his own party. The so-called gerrymanderer faces two issues: the number of districts is finite and there is uncertainty at the level of each district. Solutions to this problem consists in cracking favorable voters in as many districts as possible to get tight majorities, and in packing unfavorable voters in the remaining districts. The optimal payoff of the gerrymanderer tends to increase as the uncertainty decreases and the number of districts is large. With an infinite number of districts, this problem boils down to concavifying a function, similarly to the optimal Bayesian persuasion problem. We introduce a measure of fairness and show that optimal gerrymandering is accordingly closer to uniform districting (full cracking), which is most unfair, than to community districting (full packing), which is very fair.

We formulate a simple susceptible‐infectious‐recovery (SIR) model to describe the spread of the coronavirus under strict social restrictions. The transmission rate in this model is exponentially decreasing with time. We find a formula for basic reproduction function and estimate the maximum number of daily infected individuals. We fit the model to induced death data in Italy, United States, Germany, France, India, Spain, and China over the period from the first reported death to August 7, 2020. We notice that the model has excellent fit to the disease death data in these countries. We estimate the model's parameters in each of these countries with 95% confidence intervals. We order the strength of social restrictions in these countries using the exponential rate. We estimate the time needed to reduce the basic reproduction function to one unit and use it to order the quality of social restrictions in these countries. The social restriction in China was the strictest and the most effective and in India was the weakest and the least effective. Policy‐makers may apply the Chinese successful social restriction experiment and avoid the Indian unsuccessful one. [ FROM AUTHOR] Copyright of Mathematical Methods in the Applied Sciences is the property of John Wiley & Sons, Inc. and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full . (Copyright applies to all s.)

This short paper concerns the analysis of the M/M/k queueing system with customer abandonment. In this system, service managers provide a finite buffer space, which is a waiting area that prevents customers from abandoning the system. Abandonment of the system can occur from reneging (exiting from the queue while waiting), and/or balking (leaving the system without waiting). We derive an analytical expression to represent the impact of the buffer space capacity on the delay probability and the abandonment probability for a system with deferred abandonment. The result indicates the provision of the buffer space in a large system could only increase the delay probability while the abandonment probability remains unchanged. Despite the benevolent intentions of service managers, providing a buffer space may exacerbate the performance of larger systems.

In this paper we develop new tensor methods for unconstrained convex optimization, which solve at each iteration an auxiliary problem of minimizing convex multivariate polynomial. We analyze the simplest scheme, based on minimization of a regularized local model of the objective function, and its accelerated version obtained in the framework of estimating sequences. Their rates of convergence are compared with the worst-case lower complexity bounds for corresponding problem classes. Finally, for the third-order methods, we suggest an efficient technique for solving the auxiliary problem, which is based on the recently developed relative smoothness condition (Bauschke et al. in Math Oper Res 42:330–348, 2017; Lu et al. in SIOPT 28(1):333–354, 2018). With this elaboration, the third-order methods become implementable and very fast. The rate of convergence in terms of the function value for the accelerated third-order scheme reaches the level $$O\left( {1 \over k^4}\right) $$ O 1 k 4 , where k is the number of iterations. This is very close to the lower bound of the order $$O\left( {1 \over k^5}\right) $$ O 1 k 5 , which is also justified in this paper. At the same time, in many important cases the computational cost of one iteration of this method remains on the level typical for the second-order methods.

In the current article, we aim to study in detail a novel coronavirus (2019-nCoV or COVID-19) mathematical model for different aspects under Caputo fractional derivative. First, from analysis point of view, existence is necessary to be investigated for any applied problem. Therefore, we used fixed point theorem's due to Banach's and Schaefer's to establish some sufficient results regarding existence and uniqueness of the solution to the proposed model. On the other hand, stability is important in respect of approximate solution, so we have developed condition sufficient for the stability of Ulam-Hyers and their different types for the considered system. In addition, the model has also been considered for semianalytical solution via Laplace Adomian decomposition method (LADM). On Matlab, by taking some real data about Pakistan, we graph the obtained results. In the last of the manuscript, a detail discussion and brief conclusion are provided.

This paper introduced the use of two new adsorbents, Akrosorb soda-lime and Bentonite clay, for refinery flare flue gas capture and storage. This study also developed a novel pilot plant model with 409.7149 kg/h capacity refinery flare emission capture with a novel adsorption column configuration using Akrosorb soda-lime and Bentonite clay adsorbents. The flare flue gas adsorption unit was designed, fabricated, test run, and commissioned. The adsorption column temperature is 28 ± 10 °C and has a pressure of 131.7 kPa. The novel plant RSM optimization result shows that 93.24% of CO2 and 62.18% of CO were absorbed, while 86.14% of NOx and 55.87% of HC were absorbed. The established optimum conditions of CO2, NOx, HC, and CO removal efficiency are 22 °C, 2 atm, and 60 min. The variation in flare gas emission could impact the removal efficiency of the plant. The results show the maximum adsorption ability or capacity of 314.30 mg/g, and 68.90 mg/g was reached at 60 min for Akrosorb soda-lime and molded Bentonite adsorbents. Therefore, the developed novel technology for CO2 and other GHG capture is technically feasible and friendly. The combined usage of both adsorbents will enhance the capture of GHG at a low cost compared to using Akrosorb alone as an adsorbent.

COVID-19 pandemic has affected all aspects of people's lives and disrupted the economy. Forecasting the number of cases infected with this virus can help authorities make accurate decisions on the interventions that must be implemented to control the pandemic. Investigation of the studies on COVID-19 forecasting indicates that various techniques such as statistical, mathematical, and machine and deep learning have been utilized. Although deep learning models have shown promising results in this context, their performance can be improved using auxiliary features. Therefore, in this study, we propose two hybrid deep learning methods that utilize the statistical features as auxiliary inputs and associate them with their main input. Specifically, we design a hybrid method of the multihead attention mechanism and the statistical features (ATT_FE) and a combined method of convolutional neural network and the statistical features (CNN_FE) and apply them to COVID-19 data of 10 countries with the highest number of confirmed cases. The results of experiments indicate that the hybrid models outperform their conventional counterparts in terms of performance measures. The experiments also demonstrate the superiority of the hybrid ATT_FE method over the long short-term memory model.

The class of log-elliptical distributions is well used and studied in risk measurement and actuarial science. The reason is that risks are often skewed and positive when they describe pure risks, i.e., risks in which there is no possibility of profit. In practice, risk managers confront a system of mutually dependent risks, not only one risk. Thus, it is important to measure risks while capturing their dependence structure. In this short paper, we compute the multivariate risk measures, multivariate tail conditional expectation, and multivariate tail covariance measure for the family of log-elliptical distributions, which captures the dependence structure of the risks while focusing on the tail of their distributions, i.e., on extreme loss events. We then study our result and examine special cases, as well as the optimal portfolio selection using such measures. Finally, we show how the given multivariate tail moments can also be computed for log-skew elliptical models based on similar approaches given for the log-elliptical case.

The article deals with the analysis of the fractional COVID‐19 epidemic model (FCEM) with a convex incidence rate. Keeping in view the fading memory and crossover behavior found in many biological phenomena, we study the coronavirus disease by using the noninteger Caputo derivative (CD). Under the Caputo operator (CO), existence and uniqueness for the solutions of the FCEM have been analyzed using fixed point theorems. We study all the basic properties and results including local and global stability. We show the global stability of disease‐free equilibrium using the method of Castillo‐Chavez, while for disease endemic, we use the method of geometrical approach. Sensitivity analysis is carried out to highlight the most sensitive parameters corresponding to basic reproduction number. Simulations are performed via first‐order convergent numerical technique to determine how changes in parameters affect the dynamical behavior of the system.

Let G be an abelian group. The aim of this short paper is to describe a way to identify pure subgroups H of G by looking only at how the subgroup lattice $$\mathcal {L}(H)$$ L ( H ) embeds in $$\mathcal {L}(G)$$ L ( G ) . It is worth noticing that all results are carried out in a local nilpotent context for a general definition of purity.

Recently, various types of single valued neutrosophic (SVN) rough set models were presented based on the same inclusion relation. However, there is another SVN inclusion relation in SVN sets. In this paper, we propose a new type of SVN covering rough set model based on the new inclusion relation. Furthermore, the graph and matrix representations of the new SVN covering approximation operators are presented. Firstly, the notion of SVN β 2 -covering approximation space is proposed, which is decided by the new inclusion relation. Then, a type of SVN covering rough set model under the SVN β 2 -covering approximation space is presented. Moreover, there is a corresponding SVN relation rough set model based on a SVN relation induced by the SVN β 2 -covering, and two conditions under which the SVN β 2 -covering can induce a symmetric SVN relation are presented. Thirdly, the graph and matrix representations of the new SVN covering rough set model are investigated. Finally, we propose a novel method for decision making (DM) problems in paper defect diagnosis under the new SVN covering rough set model.

In this paper we study bipartite quantum correlations using techniques from tracial noncommutative polynomial optimization. We construct a hierarchy of semidefinite programming lower bounds on the minimal entanglement dimension of a bipartite correlation. This hierarchy converges to a new parameter: the minimal average entanglement dimension, which measures the amount of entanglement needed to reproduce a quantum correlation when access to shared randomness is free. For synchronous correlations, we show a correspondence between the minimal entanglement dimension and the completely positive semidefinite rank of an associated matrix. We then study optimization over the set of synchronous correlations by investigating quantum graph parameters. We unify existing bounds on the quantum chromatic number and the quantum stability number by placing them in the framework of tracial optimization. In particular, we show that the projective packing number, the projective rank, and the tracial rank arise naturally when considering tracial analogues of the Lasserre hierarchy for the stability and chromatic number of a graph. We also introduce semidefinite programming hierarchies converging to the commuting quantum chromatic number and commuting quantum stability number., Comment: 26 pages

Pulp washing process has the features of multivariate, time delay, nonlinearity. Considering the difficulties of modeling and optimal control in pulp washing process, a data-driven operational-pattern optimization method is proposed to model and optimize the pulp washing process in this paper. The most important quality indexes of pulp washing performance are residual soda in the washed pulp and Baume degree of extracted black liquor. Considering the difficulties of modeling, online measurement of these indexes, two-step neural networks, and multivariate logistic regression are used to establish the prediction models of residual soda and Baume degree. The mathematical model of the washing process can be identified, and the indexes can meet the production requirements. In the target of better product quality, low cost, and low energy consumption, a multiobjective problems is solved by ant colony optimization algorithm based on the optimized operational-pattern database. It shows that the theoretical analyses are correct and the practical applications are feasible, optimization control system has been designed for the pulp washing process, and the practical results show that pulp production increased by 20% and water consumption decreased by nearly 30%. This method is effective in the pulp washing process.

In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k-analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi-compact and quasi-separated formal scheme, then the \infty-category Coh^+(X^rig) of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the \infty-category Coh^+(X). Along the way, we prove several results concerning the the \infty-categories of formal models for almost perfect modules on derived k-analytic spaces., 28 pages

The possibilities of exploiting the special structure of d.c. programs, which consist of optimizing the difference of convex functions, are currently more or less limited to variants of the DCA proposed by Pham Dinh Tao and Le Thi Hoai An in 1997. These assume that either the convex or the concave part, or both, are evaluated by one of their subgradients. In this paper we propose an algorithm which allows the evaluation of both the concave and the convex part by their proximal points. Additionally, we allow a smooth part, which is evaluated via its gradient. In the spirit of primal-dual splitting algorithms, the concave part might be the composition of a concave function with a linear operator, which are, however, evaluated separately. For this algorithm we show that every cluster point is a solution of the optimization problem. Furthermore, we show the connection to the Toland dual problem and prove a descent property for the objective function values of a primal-dual formulation of the problem. Convergence of the iterates is shown if this objective function satisfies the Kurdyka--\L ojasiewicz property. In the last part, we apply the algorithm to an image processing model.

In this short paper we prove a parametric version of the Harnack inequality for \(\phi\)-Laplacian equations. In this sense, the estimates are optimal and represent an improvement of previous bounds for this kind of operators.

The "exact subgraph" approach was recently introduced as a hierarchical scheme to get increasingly tight semidefinite programming relaxations of several NP-hard graph optimization problems. Solving these relaxations is a computational challenge because of the potentially large number of violated subgraph constraints. We introduce a computational framework for these relaxations designed to cope with these difficulties. We suggest a partial Lagrangian dual, and exploit the fact that its evaluation decomposes into several independent subproblems. This opens the way to use the bundle method from non-smooth optimization to minimize the dual function. Finally computational experiments on the Max-Cut, stable set and coloring problem show the excellent quality of the bounds obtained with this approach., arXiv admin note: substantial text overlap with arXiv:1902.05345

In order to solve the Sylvester equations more efficiently, a new four parameters positive and skew-Hermitian splitting (FPPSS) iterative method is proposed in this paper based on the previous research of the positive and skew-Hermitian splitting (PSS) iterative method. We prove that when coefficient matrix A and B satisfy certain conditions, the FPPSS iterative method is convergent in the parameter&rsquo, s value region. The numerical experiment results show that compared with previous iterative method, the FPPSS iterative method is more effective in terms of iteration number IT and runtime.

We investigate the asymptotic properties of the trajectories generated by a second-order dynamical system with Hessian driven damping and a Tikhonov regularization term in connection with the minimization of a smooth convex function in Hilbert spaces. We obtain fast convergence results for the function values along the trajectories. The Tikhonov regularization term enables the derivation of strong convergence results of the trajectory to the minimizer of the objective function of minimum norm.

In this work we introduce the r-Hunter-Saxton equation, a generalisation of the Hunter-Saxton equation arising as extremals of an action principle posed in L_r. We characterise solutions to the Cauchy problem, quantifying the blow-up time and studying various symmetry reductions. We construct piecewise linear functions and show that they are weak solutions to the r-Hunter-Saxton equation., Revised after referee comments

This short paper concerns the existence of curves with low gonality on smooth hypersurfaces $$X\subset \mathbb {P}^{n+1}$$ . After reviewing a series of results on this topic, we report on a recent progress we achieved as a product of the Workshop Birational geometry of surfaces, held at University of Rome “Tor Vergata” on January 11th–15th, 2016. In particular, we obtained that if $$X\subset \mathbb {P}^{n+1}$$ is a very general hypersurface of degree $$d\geqslant 2n+2$$ , the least gonality of a curve $$C\subset X$$ passing through a general point of X is $$\mathrm {gon}(C)=d-\left\lfloor \frac{\sqrt{16n+1}-1}{2}\right\rfloor $$ , apart from some exceptions we list.

In this short paper, we construct a unipotent nearby cycle functor and show a p-adic analogue of Beilinson’s equivalence comparing two derived categories: the derived category of holonomic arithmetic $${\mathcal {D}}$$ -modules and the derived category of arithmetic $${\mathcal {D}}$$ -modules whose cohomologies are holonomic.

Understanding the structure of financial markets deals with suitably determining the functional relation between financial variables. In this respect, important variables are the trading activity, defined here as the number of trades N, the traded volume V, the asset price P, the squared volatility \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^2$$\end{document}σ2, the bid-ask spread S and the cost of trading C. Different reasonings result in simple proportionality relations (“scaling laws”) between these variables. A basic proportionality is established between the trading activity and the squared volatility, i.e., \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$N \sim \sigma ^2$$\end{document}N∼σ2. More sophisticated relations are the so called 3/2-law \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$N^{3/2} \sim \sigma P V /C$$\end{document}N3/2∼σPV/C and the intriguing scaling \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$N \sim (\sigma P/S)^2$$\end{document}N∼(σP/S)2. We prove that these “scaling laws” are the only possible relations for considered sets of variables by means of a well-known argument from physics: dimensional analysis. Moreover, we provide empirical evidence based on data from the NASDAQ stock exchange showing that the sophisticated relations hold with a certain degree of universality. Finally, we discuss the time scaling of the volatility \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}σ, which turns out to be more subtle than one might naively expect.

In this paper, we apply the calculus of variations to solve the elastica problem. We examine a more general elastica problem in which the material under consideration need not be uniformly rigid. Using, the Euler–Lagrange equations, we derive a system of nonlinear differential equations whose solutions are given by these generalized elastica curves. We consider certain simplifying cases in which we can solve the system of differential equations. Finally, we use novel numerical techniques to approach solutions to the problem in full generality.

In this short paper, we extend the classical Hoffman-Meeks Halfspace Theorem [Hoffman and Meeks, 'The strong halfspace theorem for minimal surfaces', Invent. Math. 101 (1990) 373-377] to self-shrinkers, that is: Let $P$ be a hyperplane passing through the origin. The only properly immersed self-shrinker $\Sigma $ contained in one of the closed half-space determined by $P$ is $\Sigma = P$. Our proof is geometric and uses a catenoid type hypersurface discovered by Kleene-Moller [Kleene and Moller, 'Self-shrinkers with a rotational symmetry', Trans. Amer. Math. Soc. 366 (2014) 3943-3963]. Also, using a similar geometric idea, we obtain that the only self-shrinker properly immersed in an closed cylinder $ \overline {B^{k+1} (R)} \times {\mathbb R}^{n-k}\subset {\mathbb R}^{n+1}$, for some $k\in \{1, \ldots, n\}$ and radius $R$, $R \leqslant \sqrt {2k}$, is the cylinder ${\mathbb S}^k (\sqrt {2k}) \times {\mathbb R}^{n-k}$. We also extend the above results for $\lambda $-hypersurfaces.

Recently, Zou obtained the generalized results on the bounds for Tsallis relative operator entropy. In this short paper, we give precise bounds for Tsallis relative operator entropy. We also give precise bounds of relative operator entropy., To appear in Math. Ineq. Appl., 8 pages

In 1985, Odoni showed that in characteristic 0 0 the Galois group of the n n -th iterate of the generic polynomial with degree d d is as large as possible. That is, he showed that this Galois group is the n n -th wreath power of the symmetric group S d S_d . We generalize this result to positive characteristic, as well as to the generic rational function. These results can be applied to prove certain density results in number theory, two of which are presented here. This work was partially completed by the late R.W.K. Odoni in an unpublished paper.

The objective of this research is to determinate the optimum conditions for the alcoholic fermentation process of aqueous jerivá pulp extract using the response surface methodology and simplex optimisation technique. The incomplete factorial design 3³ was applied with the yeast extract, NH4H2PO4 and yeast as the independent variables and the alcohol production yield as the response. The regression analysis indicated that the model is predictive, and the simplex optimisation generated a formulation containing 0.35 g L-1 yeast extract, 6.33 g L-1 yeast and 0.30 g L-1NH4H2PO4 for an optimum yield of 85.40% ethanol. To validate the predictive equation, the experiment was carried out in triplicate under optimum conditions, and an average yield of 87.15% was obtained. According to a t-test, no significant difference was observed (on the order of 5%) between the average value obtained and the value indicated by the simplex optimisation technique. The objective of this research is to determinate the optimum conditions for the alcoholic fermentation process of aqueous jerivá pulp extract using the response surface methodology and simplex optimisation technique. The incomplete factorial design 3³ was applied with the yeast extract, NH4H2PO4 and yeast as the independent variables and the alcohol production yield as the response. The regression analysis indicated that the model is predictive, and the simplex optimisation generated a formulation containing 0.35 g L-1 yeast extract, 6.33 g L-1 yeast and 0.30 g L-1 NH4H2PO4 for an optimum yield of 85.40% ethanol. To validate the predictive equation, the experiment was carried out in triplicate under optimum conditions, and an average yield of 87.15% was obtained. According to a t-test, no significant difference was observed (on the order of 5%) between the average value obtained and the value indicated by the simplex optimisation technique.

This study provides a systematic literature review of research in the field of teaching and learning mathematics through Content and Language Integrated Learning (CLIL), Content-Based Instruction (CBI), and English Medium Instruction (EMI). The review aims to examine the most relevant literature with a focus on mathematics and CLIL, CBI, or EMI in Scopus and Web of Science per the Preferred Reporting Items for Systematic Reviews (PRISMA) guidelines. Based on 151 sources, 52 papers were selected according to predefined selection criteria. The papers were analysed and coded according to the following categories: (1) geographical productivity, (2) diachronic productivity growth, (3) main objectives, (4) methodology, and research design, (5) variables and measurement instruments, (6) context and sample details, and (7) main findings. The results reveal that most of the research analysed has been carried out in the Asian continent, followed by Europe. The analysis of diachronic productivity shows that the study of the application of CLIL, CBI, and EMI programs in the teaching-learning process of mathematics has notably increased in recent years, especially in the last triennium (2020–2022). Regarding the objectives of the selected corpus, the majority aimed at teaching practices and learning processes, and outcomes in mathematics and language proficiency in CLIL, CBI, and/or EMI classrooms. The corpus analysed fits within one or more of the following categories: empirical, qualitative, descriptive, correlational, and cross-sectional. The samples utilized in different studies differ significantly, both in terms of quantity –ranging from one person to 700– and in the educational level being studied, which would be primary, secondary, or tertiary education. The main variables studied in the corpus focus on mathematical competence, language proficiency, teaching practices, teacher training, science competence, and teachers’ perceptions. The most widely used instruments have been objective tests, such as questionnaires, together with standardized tests to measure some aspects related to mathematical competence and language proficiency. They are followed by an analysis of documents (academic records, teaching materials, official documents...), participant or non-participant observation, interviews, and video and audio recordings. In summary, in the scientific literature analysed, a positive or neutral view predominates on the effects of the CLIL, CBI, and EMI approaches on the learning of mathematics and the L2. This can be due to methodological issues fundamentally related to the methodology, research design, sample, and measurement instruments. Thus, we must highlight that some of the results from the selected papers must be interpreted with caution. Taking this factor into consideration, further comparative studies on a wider scale are required to examine thoroughly the effects of CLIL, CBI, and EMI on the teaching and learning of mathematics in an L2. Besides, it is important to study in greater depth the different levels of language acquisition since the research analysed shows that these have not been sufficiently addressed in the mathematical field of knowledge.

In this paper, we consider parallel-machine scheduling with release times and submodular penalties (P|rj,reject|Cmax+π(R)), in which each job can be accepted and processed on one of m identical parallel machines or rejected, but a penalty must paid if a job is rejected. Each job has a release time and a processing time, and the job can not be processed before its release time. The objective of P|rj,reject|Cmax+π(R) is to minimize the makespan of the accepted jobs plus the penalty of the rejected jobs, where the penalty is determined by a submodular function. This problem generalizes a multiprocessor scheduling problem with rejection, the parallel-machine scheduling with submodular penalties, and the single machine scheduling problem with release dates and submodular rejection penalties. In this paper, inspired by the primal-dual method, we present a combinatorial 2-approximation algorithm to P|rj,reject|Cmax+π(R). This ratio coincides with the best known ratio for the parallel-machine scheduling with submodular penalties and the single machine scheduling problem with release dates and submodular rejection penalties.

Swirling has a significant effect on the main characteristics of flow and can lead to its fundamental restructuring. On the flow axis, a stagnation point with zero velocity is possible, behind which a return flow zone is formed. The apparent instability leads to the formation of secondary vortex motions and can also be the cause of vortex breakdown. In the paper, a swirling flow with a velocity profile of the Batchelor vortex type has been studied on the basis of the linear hydrodynamic stability theory. An effective numerical method for solving the spectral problem has been developed. This method includes the asymptotic solutions at artificial and irregular singular points. The stability of flows was considered for the values of the Reynolds number in the range 10≤Re≤5×106. The calculations were carried out for the value of the azimuthal wavenumber parameter n=−1. As a result of the analysis of the solutions, the existence of up to eight simultaneously occurring unstable modes has been shown. The paper presents a classification of the detected modes. The critical parameters are calculated for each mode. For fixed values of the Reynolds numbers 60≤Re≤5000, the curves of neutral stability are plotted. Branching points of unstable modes are found. The maximum growth rates for each mode are determined. A new viscous instability mode is found. The performed calculations reveal the instability of the Batchelor vortex at large values of the swirl parameter for long-wave disturbances.

This paper investigates global dynamics in fractional-order dual inertial neural networks with time lags. Firstly, according to some crucial features of Mittag-Leffler functions and Banach contracting mapping principle, the existence and uniqueness of $ S $-asymptotically $ \omega $-periodic oscillation of the model are gained. Secondly, by using the comparison principle and the stability criteria of delayed Caputo fractional-order differential equations, global asymptotical stability of the model is studied. In the end, the feasibility and effectiveness of the obtained conclusions are supported by two numerical examples. There are few papers focus on $ S $-asymptotically $ \omega $-periodic dynamics in fractional-order dual inertial neural networks with time-varying lags, apparently, the works in this paper fill some of the gaps.

Using the approach of so-called c-sequences introduced by the fifth author in his recent work, we give much simpler and shorter proofs of multivalued Perov's type results with respect to the ones presented in the recently published paper by M. Abbas et al. Our proofs improve, complement, unify and enrich the ones from the recent papers. Further, in the last section of this paper, we correct and generalize the well-known Perov's fixed point result. We show that this result is in fact equivalent to Banach's contraction principle.

There is a close analogy and similarity between topology and rough set theory. As, the leading idea of this theory is depended on two approximations, namely lower and upper approximations, which correspond to the interior and closure operators in topology, respectively. So, the joined study of this theory and topology becomes fundamental. This theory mainly propose to enlarge the lower approximations by adding new elements to it, which is an equivalent goal for canceling elements from the upper approximations. For this intention, one of the primary motivation of this paper is the desire of improving the accuracy measure and reducing the boundary region. This aim can be achieved easily by utilizing ideal in the construction of the approximations as it plays an important role in removing the vagueness of concept. The emergence of ideal in this theory leads to increase the lower approximations and decrease the upper approximations. Consequently, it minimizes the boundary and makes the accuracy higher than the previous. Therefore, this work expresses the set of approximations by using new topological notions relies on ideals namely $ \mathcal{I} $-$ {\delta_{\beta}}_{J} $-open sets and $ \mathcal{I} $-$ {\bigwedge_{\beta}}_{J} $-sets. Moreover, these notions are also utilized to extend the definitions of the rough membership relations and functions. The essential properties of the suggested approximations, relations and functions are studied. Comparisons between the current and previous studies are presented and turned out to be more precise and general. The brilliant idea of these results is increased in importance by applying it in the chemical field as it is shown in the end of this paper. Additionally, a practical example induced from an information system is introduced to elucidate that the current rough membership functions is better than the former ones in the other studies.