Search

Funding: Peter J. Cameron acknowledges the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Groups, representations and applications: new perspectives (supported by EPSRC grant no. EP/R014604/1), where he held a Simons Fellowship. For this research, T. Kavaskar was supported by the University Grant Commissions Start-Up Grant, Government of India grant No. F. 30-464/2019 (BSR) dated 27.03. T. Tamizh Chelvam was supported by CSIR Emeritus Scientist Scheme (No. 21 (1123)/20/EMR-II) of Council of Scientific and Industrial Research, Government of India. The zero-divisor graph of a finite commutative ring with unity is the graph whose vertex set is the set of zero-divisors in the ring, with a and b adjacent if ab=0. We show that the class of zero-divisor graphs is universal, in the sense that every finite graph is isomorphic to an induced subgraph of a zero-divisor graph. This remains true for various restricted classes of rings, including boolean rings, products of fields, and local rings. But in more restricted classes, the zero-divisor graphs do not form a universal family. For example, the zero-divisor graph of a local ring whose maximal ideal is principal is a threshold graph; and every threshold graph is embeddable in the zero-divisor graph of such a ring. More generally, we give necessary and sufficient conditions on a non-local ring for which its zero-divisor graph to be a threshold graph. In addition, we show that there is a countable local ring whose zero-divisor graph embeds the Rado graph , and hence every finite or countable graph, as induced subgraph. Finally, we consider embeddings in related graphs such as the 2-dimensional dot product graph. Publisher PDF

We study the so-called frog model on ${\mathbb{Z}}$ with two types of lazy frogs, with parameters $p_1,p_2\in (0,1]$ respectively, and a finite expected number of dormant frogs per site. We show that for any such $p_1$ and $p_2$ there is positive probability that the two types coexist (i.e. that both types activate infinitely many frogs). This answers a question of Deijfen, Hirscher, and Lopes in dimension one.

Preprint de J. Araújo, W. Bentz, P.J. Cameron, M. Kinyon, J. Konieczny, “Matrix Theory for Independence Algebras”, Linear Algebra and its Applications 642 (2022), 221-250. A universal algebra A with underlying set A is said to be a matroid algebra if (A, 〈·〉), where 〈·〉 denotes the operator subalgebra generated by, is a matroid. A matroid algebra is said to be an independence algebra if every mapping α : X → A defined on a minimal generating X of A can be extended to an endomorphism of A. These algebras are particularly well-behaved generalizations of vector spaces, and hence they naturally appear in several branches of mathematics, such as model theory, group theory, and semigroup theory. It is well known that matroid algebras have a well-defined notion of dimension. Let A be any independence algebra of finite dimension n, with at least two elements. Denote by End(A) the monoid of endomorphisms of A. In the 1970s, Glazek proposed the problem of extending the matrix theory for vector spaces to a class of universal algebras which included independence algebras. In this paper, we answer that problem by developing a theory of matrices for (almost all) finite-dimensional independence algebras. In the process of solving this, we explain the relation between the classification of inde- pendence algebras obtained by Urbanik in the 1960s, and the classification of finite indepen- dence algebras up to endomorphism-equivalence obtained by Cameron and Szab ́o in 2000. (This answers another question by experts on independence algebras.) We also extend the classification of Cameron and Szab ́o to all independence algebras. The paper closes with a number of questions for experts on matrix theory, groups, semi- groups, universal algebra, set theory or model theory. This work was funded by national funds through the FCT - Fundação para a Ciência e a Tecnologia, I.P., under the scope of the projects UIDB/00297/2020, UIDP/00297/2020 (Center for Mathematics and Applications) and PTDC/MAT/PUR/31174/2017. info:eu-repo/semantics/publishedVersion

Part of the work was done while the authors were visiting the South China University of Science and Technology (SUSTech), Shenzhen, in 2018, and we are grateful (in particular to Professor Cai Heng Li) for the hospitality that we received.The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Groups, representations and applications: new perspectives (supported by EPSRC grant no.EP/R014604/1), where further work on this paper was undertaken. In particular we acknowledge a Simons Fellowship (Cameron) and a Kirk Distinguished Visiting Fellowship (Praeger) during this programme. Schneider thanks the Centre for the Mathematics of Symmetry and Computation of The University of Western Australia and Australian Research Council Discovery Grant DP160102323 for hosting his visit in 2017 and acknowledges the support of the CNPq projects Produtividade em Pesquisa (project no.: 308212/2019-3) and Universal (project no.:421624/2018-3). Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied in general. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over arbitrary groups, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our combinatorial axioms. However, for m≥3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in great profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set Ω, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions turn out to be equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group as the diagonal semilattice except in four small cases with m

In this paper we use the method of geometric flow on the problem of nonlinear spline interpolations for non-closed curves in n n -dimensional Euclidean spaces. The method applies theory of fourth-order parabolic PDEs to each piece of the curve between two successive knot points at which certain dynamic boundary conditions are imposed. We show the existence of global solutions of the elastic flow in suitable Hölder spaces. In the asymptotic limit, as time approaches infinity, solutions subconverge to a stationary solution of the problem. The method of geometric flows provides a new approach for the problem of nonlinear spline interpolations.

This paper describes a complex of related ideas, ranging from Urbanik's v*-algebras, through Deza's geometric groups and Zilber's homogeneous geometries, to Sims' bases for permutation groups and their use in defining "size" parameters on finite groups, with a brief look at Cherlin's relational complexity. It is not a complete survey of any of these topics, but aims to describe the links between them.

Publisher Copyright: © 2023 Wiley-VCH GmbH. For (Formula presented.) and variable exponents (Formula presented.) and (Formula presented.) with values in [1, ∞], let the variable exponents (Formula presented.) be defined by (Formula presented.) The Riesz–Thorin–type interpolation theorem for variable Lebesgue spaces says that if a linear operator T acts boundedly from the variable Lebesgue space (Formula presented.) to the variable Lebesgue space (Formula presented.) for (Formula presented.), then (Formula presented.) where C is an interpolation constant independent of T. We consider two different modulars (Formula presented.) and (Formula presented.) generating variable Lebesgue spaces and give upper estimates for the corresponding interpolation constants Cmax and Csum, which imply that (Formula presented.) and (Formula presented.), as well as, lead to sufficient conditions for (Formula presented.) and (Formula presented.). We also construct an example showing that, in many cases, our upper estimates are sharp and the interpolation constant is greater than one, even if one requires that (Formula presented.), (Formula presented.) are Lipschitz continuous and bounded away from one and infinity (in this case, (Formula presented.)). authorsversion published

Funding Information: For the second and third authors, this work was partially supported through the project of the Centro de Matemática e Aplicações, UID/MAT/00297/2020, financed by the Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology). The APC was by supported by Fidelidade-Companhia de Seguras, S.A. Funding Information: This work was published with financial support from Fidelidade-Companhia de Seguras, S.A. to which the authors express their warmest acknowledgment. The authors express gratitude to the three referees for their comments, corrections and questions that led to a revised and better version of this work. Publisher Copyright: © 2023 by the authors. We present an analysis on variability Bitcoin characteristics that help to quantitatively differentiate Bitcoin from the state-owned traditional currencies and the asset Gold. We provide a detailed study on returns of exchange rates—against the Swiss Franc—of several traditional currencies together with Bitcoin and Gold; for that purpose, we define a distance between currencies by means of the spectral densities of the ARMA models of the returns of the exchange rates, and we present the computed matrix of the distances between the chosen currencies. A statistical analysis of these matrix distances is further proposed, which shows that the distance between Bitcoin and any other currency or Gold is not comparable to any of the distances between currencies or between currencies and Gold and not involving Bitcoin. This result shows that Bitcoin is essentially different from the traditional currencies and from Gold, at least in what concerns the structure of its variance and auto-covariances. publishersversion published

The sextic plane curves that are invariant under the standard action of the icosahedral group on the projective plane make up a pencil of genus ten curves (spanned by a sum of six lines and a three times a conic). This pencil was first considered in a note by R.~M.~Winger in 1925 and is nowadays named after him. The second author recently gave this a modern treatment and proved among other things that it contains essentially every smooth genus ten curve with icosahedral symmetry. We here show that the Jacobian of such a curve contains the tensor product of an elliptic curve with a certain integral representation of the icosahedral group. We find that the elliptic curve comes with a distinguished point of order $3$, prove that the monodromy on this part of the homology is the full congruence subgroup $\Gamma_1(3)\subset \SL_2(\Zds)$ and subsequently identify the base of the pencil with the associated modular curve. We also observe that the Winger pencil `accounts' for the deformation of the Jacobian of Bring's curve as a principal abelian fourfold with an action of the icosahedral group., Comment: Part of the research for this paper was done when both authors were supported by the Chinese National Science Foundation To be appear on the Journal of London Mathematical Society

We generalize the greedy and lazy $\beta$-transformations for a real base $\beta$ to the setting of alternate bases $\boldsymbol{\beta}=(\beta_0,\ldots,\beta_{p-1})$, which were recently introduced by the first and second authors as a particular case of Cantor bases. As in the real base case, these new transformations, denoted $T_\boldsymbol{\beta}$ and $L_\boldsymbol{\beta}$ respectively, can be iterated in order to generate the digits of the greedy and lazy $\boldsymbol{\beta}$-expansions of real numbers. The aim of this paper is to describe the dynamical behaviors of $T_\boldsymbol{\beta}$ and $L_\boldsymbol{\beta}$. We first prove the existence of a unique absolutely continuous (with respect to an extended Lebesgue measure, called the $p$-Lebesgue measure) $T_\boldsymbol{\beta}$-invariant measure. We then show that this unique measure is in fact equivalent to the $p$-Lebesgue measure and that the corresponding dynamical system is ergodic and has entropy $\frac{1}{p}\log(\beta_{p-1}\cdots \beta_0)$. We then express the density of this measure and compute the frequencies of letters in the greedy $\boldsymbol{\beta}$-expansions. We obtain the dynamical properties of $L_\boldsymbol{\beta}$ by showing that the lazy dynamical system is isomorphic to the greedy one. We also provide an isomorphism with a suitable extension of the $\beta$-shift. Finally, we show that the $\boldsymbol{\beta}$-expansions can be seen as $(\beta_{p-1}\cdots \beta_0)$-representations over general digit sets and we compare both frameworks., Comment: 28 pages, 15 figures

The voter model is a classical interacting particle system modelling how consensus is formed across a network. We analyze the time to consensus for the voter model when the underlying graph is a subcritical scale-free random graph. Moreover, we generalize the model to include a “temperature” parameter controlling how the graph influences the speed of opinion change. The interplay between the temperature and the structure of the random graph leads to a very rich phase diagram, where in the different phases different parts of the underlying geometry dominate the time to consensus. Finally, we also consider a discursive voter model, where voters discuss their opinions with their neighbors. Our proofs rely on the well-known duality to coalescing random walks and a detailed understanding of the structure of the random graphs.

Publisher Copyright: © 2023 by the authors. Estimation based on probability-weighted moments is a well-established method and an excellent alternative to the classic method of moments or the maximum likelihood method, especially for small sample sizes. In this research, we developed a new class of estimators for the parameters of the Pareto type I distribution. A generalization of the probability-weighted moments approach is the foundation for this new class of estimators. It has the advantage of being valid in the entire parameter space of the Pareto distribution. We established the asymptotic normality of the new estimators and applied them to simulated and real datasets in order to illustrate their finite sample behavior. The results of comparisons with the most used estimation methods were also analyzed. publishersversion published

We show that every finite abelian group occurs as the group of rational points of an ordinary abelian variety over F 2, F 3 and F 5. We produce partial results for abelian varieties over a general finite field F q. In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over F q when q is large.

In March 2020, many schools worldwide were closed due to the COVID-19 pandemic. This closure confronted mathematics teachers with the challenging transition to emergency remote teaching (ERT). How did students experience ERT, and how did these experiences relate to context variables and to their teachers’ beliefs and practices? In particular, what didactic approaches and formative assessment practices did secondary mathematics students experience, and which beliefs did they hold concerning digital mathematics education? How were these student experiences and beliefs related to student context variables (gender, need to support family, personal home equipment), teacher beliefs, delivery modes, and student appreciation of mathematics? To investigate these issues, we set out online questionnaires for mathematics teachers and their students in Flanders—the Dutch-speaking part of Belgium—, Germany, and the Netherlands. Data consisted of completed questionnaires by 323 mathematics teachers and 2126 of their students. Results show that even though students preferred regular face-to-face teaching, they were content with the quality of their teachers’ distance mathematics teaching. Students reported that they were taught new topics often, but did not experience teachers initiating peer feedback. High student appreciation of mathematics, good home environment, and more synchronous delivery of ERT were related to ERT experiences and more positive beliefs concerning digital mathematics education. These findings have implications for ERT teaching strategies in future, as well as for hybrid teaching practices.

Climate response metrics are used to quantify the Earth's climate response to anthropogenic changes of atmospheric CO2. Equilibrium Climate Sensitivity (ECS) is one such metric that measures the equilibrium response to CO2 doubling. However, both in their estimation and their usage, such metrics make assumptions on the linearity of climate response, although it is known that, especially for larger forcing levels, response can be nonlinear. Such nonlinear responses may become visible immediately in response to a larger perturbation, or may only become apparent after a long transient. In this paper, we illustrate some potential problems and caveats when estimating ECS from transient simulations. We highlight ways that very slow timescales may lead to poor estimation of ECS even if there is seemingly good fit to linear response over moderate timescales. Moreover, such slow timescale might lead to late abrupt responses ("late tipping points") associated with a system's nonlinearities. We illustrate these ideas using simulations on a global energy balance model with dynamic albedo. We also discuss the implications for estimating ECS for global climate models, highlighting that it is likely to remain difficult to make definitive statements about the simulation times needed to reach an equilibrium., Comment: 27 pages, 14 figures

Funding Information: Funding. The first author acknowledges the support of FCT – Fundação para a Ciência e Tecnologia under the projects UIDP/04674/2020, UIDB/04561/2020 and the research centres Centro de Matemática, Aplicações Fundamentais e Investigação Operacional, Universidade de Lisboa and Centro de Investigação em Matemática e Aplicações (CIMA), Universidade de Évora. Funding Information: The second author was funded by a grant from FCiências.ID – Associação para a Investigação e Desenvolvimento de Ciências at the Centro de Matemática, Aplicações Fundamentais e Investigação Operacional, Faculdade de Ciências, Universidade de Lisboa under project UID/MAT/04561/2019 financed by FCT/MCTES (PIDDAC). Publisher Copyright: © 2023 Sociedade Portuguesa de Matemática We present four different approaches to prove the soundness theorem for variants with t-truth of functional interpretations. To showcase our different methods we focus on the intuitionistic nonstandard bounded functional interpretation of the nonstandard extensional Heyting arithmetic in all finite types because a version with t-truth for this interpretation has not been given before. Also, because it is a more involved interpretation than others since it includes both nonstandard principles and majorisability. This leads us to believe that if the approaches work for this more complicated functional interpretation, then they should also work for simpler functional interpretations (and realisabilities). publishersversion published

In this paper, we study a probabilistic reinforcement-learning model for ants searching for the shortest path(s) between their nest and a source of food. In this model, the nest and the source of food are two distinguished nodes $N$ and $F$ in a finite graph $\mathcal G$. The ants perform a sequence of random walks on this graph, starting from the nest and stopped when first hitting the source of food. At each step of its random walk, the $n$-th ant chooses to cross a neighbouring edge with probability proportional to the number of preceding ants that crossed that edge at least once. We say that {\it the ants find the shortest path} if, almost surely as the number of ants grow to infinity, almost all the ants go from the nest to the source of food through one of the shortest paths, without loosing time on other edges of the graph. Our contribution is three-fold: (1) We prove that, if $\mathcal G$ is a tree rooted at $N$ whose leaves have been merged into node $F$, and with one edge between $N$ and $F$, then the ants indeed find the shortest path. (2) In contrast, we provide three examples of graphs on which the ants do not find the shortest path, suggesting that in this model and in most graphs, ants do not find the shortest path. (3) In all these cases, we show that the sequence of normalised edge-weights converge to a {\it deterministic} limit, despite a linear-reinforcement mechanism, and we conjecture that this is a general fact which is valid on all finite graphs. To prove these results, we use stochastic approximation methods, and in particular the ODE method. One difficulty comes from the fact that this method relies on understanding the behaviour at large times of the solution of a non-linear, multi-dimensional ODE.

In this paper we study the existence of rational points for the family of K3 surfaces over $${{\mathbb {Q}}}$$ given by $$\begin{aligned} w^2 = A_1x_1^6 + A_2x_2^6 + A_3x_3^6. \end{aligned}$$ When the coefficients are ordered by height, we show that the Brauer group is almost always trivial, and find the exact order of magnitude of surfaces for which there is a Brauer–Manin obstruction to the Hasse principle. Our results show definitively that K3 surfaces can have a Brauer–Manin obstruction to the Hasse principle that is only explained by odd order torsion.

The COVID-19 pandemic has confronted mathematics teachers with the challenge of developing alternative teaching practices—in many cases at a distance through digital technology—because schools were closed. To investigate what distance practices in secondary mathematics education have emerged and how teachers experienced them, we set out online questionnaires in Flanders—the Dutch-speaking part of Belgium—, Germany, and the Netherlands. The questionnaire focused on teaching practices, teacher beliefs, didactics, and assessment. Data consisted of completed questionnaires by 1719 mathematics teachers. Results show that the use of video conferencing tools increased massively, while the use of mathematics-specific tools that teachers used before the lockdown reduced substantially. Further findings are that teachers' confidence in using digital technologies increased remarkably during the lockdown and that their experiences and beliefs only marginally impacted their distance learning practices. Also, we observed some differences between the three countries that might be explained by differences in educational policies and in technological facilities and support. For future research, it would be relevant to investigate long-term changes in teachers’ practices, as well as students’ views and experiences related to the teacher’s practices.

A graph is weakly perfect if its clique number and chromatic number are equal. We show that the enhanced power graph of a finite group G is weakly perfect: its clique number and chromatic number are equal to the maximum order of an element of G. The proof requires a combinatorial lemma. We give some remarks about related graphs. Publisher PDF

Funding Information: This work is supported by national funds through FCT—Foundation for Science and Technology, I. P., in the context of the project PTDC/CED-EDG/32422/2017. Publisher Copyright: © 2022 by the authors. The implementation of an integrated approach of STEM education with real-life scenarios is crucial to motivate students to learn and to better prepare them for real-world challenges, which is a big challenge for teachers. Therefore, there are implications for teaching practice and consequently the need for professional development. This paper presents an integrated approach of STEM education developed in the context of a collaborative professional development programme implemented in an exclusive online context, provoked by the COVID-19 pandemic. The programme aimed at providing teachers with knowledge and skills to develop STEM integrated tasks to be implemented in class. This study used a quantitative–qualitative approach to answer the research questions, using mixed methods to collect data. Participants are primary school teachers who participated in the programme during four months in the school year 2020/2021. Based on data collected from questionnaires, participant observation and teachers’ final reports, it was verified that teachers recognized the importance of obtaining training in STEM education and that this type of professional development was very relevant and improved their knowledge and skills to implement STEM hands-on practices in class. In addition, a case study of a science and mathematics 6th grade teacher is presented to illustrate how she implement integrated STEM tasks in class based on a real-world scenario such as the COVID-19 pandemic. Finally, teachers recognized the importance of this approach and that it increases students’ motivation to learn. publishersversion published

We investigated French primary school teachers’ assessment practice in mathematics. Using an online questionnaire on teachers’ background, teaching, and grading practice, we were able to determine assessment profiles of 604 primary school teachers. As evidenced by the teachers’ scores on the latent factors Assessment purposes, Assessment practices, and Differentiation, teachers with the profile of Enthusiastic assessors view assessment as more useful and use it more often to adapt their instruction than teachers with the profile of Unenthusiastic assessors. This can be useful for practice and sheds more light on French teachers’ assessment practices in mathematics. It is also interesting to compare the results of this survey with those from China and the Netherlands, as the differences reflect different assessment cultures and may shed light on some of the results of international large-scale assessments such as PISA.

Recently, Marian-Oprea-Pandharipande established (a generalization of) Lehn's conjecture for Segre numbers associated to Hilbert schemes of points on surfaces. Extending work of Johnson, they provided a conjectural correspondence between Segre and Verlinde numbers. For surfaces with holomorphic 2-form, we propose conjectural generalizations of their results to moduli spaces of stable sheaves of any rank. Using Mochizuki's formula, we derive a universal function which expresses virtual Segre and Verlinde numbers of surfaces with holomorphic 2-form in terms of Seiberg-Witten invariants and intersection numbers on products of Hilbert schemes of points. We prove that certain canonical virtual Segre and Verlinde numbers of general type surfaces are topological invariants and we verify our conjectures in examples. The power series in our conjectures are algebraic functions, for which we find expressions in several cases and which are permuted under certain Galois actions. Our conjectures imply an algebraic analog of the Mari\~{n}o-Moore conjecture for higher rank Donaldson invariants. For ranks $3$ and $4$, we obtain explicit expressions for Donaldson invariants in terms of Seiberg-Witten invariants., Comment: Published version. 38 pages

In this paper, a generalization of size-biased Poisson-Sujatha distribution (AGSBPSD) which includes both the size-biased Poisson-Lindley distribution (SBPLD) and the size-biased Poisson-Sujatha distribution (SBPSD) as particular cases has been proposed and studied. Its moments based measures including coefficients of variation, skewness, kurtosis, and index of dispersion have been derived and their shapes have been discussed with varying values of the parameters. The estimation of its parameters has been discussed using maximum likelihood estimation. Some applications of the proposed distribution have been explained using two count datasets.

The Whitham equation is a nonlocal shallow water-wave model which combines the quadratic nonlinearity of the KdV equation with the linear dispersion of the full water wave problem. Whitham conjectured the existence of a highest, cusped, traveling-wave solution, and his conjecture was recently verified in the periodic case by Ehrnstr\"om and Wahl\'en. In the present paper we prove it for solitary waves. Like in the periodic case, the proof is based on global bifurcation theory but with several new challenges. In particular, the small-amplitude limit is singular and cannot be handled using regular bifurcation theory. Instead we use an approach based on a nonlocal version of the center manifold theorem. In the large-amplitude theory a new challenge is a possible loss of compactness, which we rule out using qualitative properties of the equation. The highest wave is found as a limit point of the global bifurcation curve., Comment: Journal version. Mathematische Annalen, Online First. 45 pages, 3 figures

Preprint de J. Araújo, J.P. Araújo, W. Bentz, P.J. Cameron, and P. Spiga, “A Transversal Property for Permutation Groups Motivated by Partial Transformations”, Journal of Algebra 573 (2021), 741-759. In this paper we introduce the definition of the (k, l)-universal transversal property for permutation groups, which is a refinement of the definition of k-universal transversal property, which in turn is a refine- ment of the classical definition of k-homogeneity for permutation groups. In particular, a group possesses the (2, n)-universal transversal property if and only if it is primitive; it possesses the (2, 2)-universal transversal property if and only if it is 2-homogeneous. Up to a few undecided cases, we give a classification of groups satisfying the (k, l)-universal transversal property, for k ≥ 3. Then we apply this result for studying regular semigroups of partial transformations. The first and third authors were partially supported by the Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) through projects UIDB/00297/2020 (Center for Mathematics and Applications) and CEMAT-CIÊNCIAS UID/Multi/04621/2013, and also by the Fundacão para a Ciência e a Tecnologia through project PTDC/MAT-PUR/31174/2017. The second author was partially supported by Fundação Calouste Gulbenkian, Programa Talentos Inteligência Artificial. The fourth author was partially supported by Fundação para a Ciência e a Tecnologia (Portuguese Founda- tion for Science and Technology) through project CEMAT-CIÊNCIAS UID/Multi/04621/2013. info:eu-repo/semantics/publishedVersion

This work was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (No. 2020R1A2C1A01100526). Publisher Copyright: © 2022 by the authors. The Behrens–Fisher problem occurs when testing the equality of means of two normal distributions without the assumption that the two variances are equal. This paper presents approaches based on the exact and near-exact distributions for the test statistic of the Behrens–Fisher problem, depending on different combinations of even or odd sample sizes. We present the exact distribution when both sample sizes are odd and the near-exact distribution when one or both sample sizes are even. The near-exact distributions are based on a finite mixture of generalized integer gamma (GIG) distributions, used as an approximation to the exact distribution, which consists of an infinite series. The proposed tests, based on the exact and the near-exact distributions, are compared with Welch’s t-test through Monte Carlo simulations, in particular for small and unbalanced sample sizes. The results show that the proposed approaches are competent solutions to the Behrens–Fisher problem, exhibiting precise sizes and better powers than Welch’s approach for those cases. Numerical studies show that the Welch’s t-test tends to be a bit more conservative than the test statistics based on the exact or near-exact distribution, in particular when sample sizes are small and unbalanced, situations in which the proposed exact or near-exact distributions obtain higher powers than Welch’s t-test. publishersversion published

We introduce a framework to systematically investigate the resonant double Hopf bifurcation. We use the basic invariants of the ensuing T 1 -action to analyse the approximating normal form truncations in a unified manner. In this way we obtain a global description of the parameter space and thus find the organising resonance droplet, which is the present analogue of the resonant gap. The dynamics of the normal form yields a skeleton for the dynamics of the original system. In the ensuing perturbation theory both normal hyperbolicity (centre manifold theory) and kam theory are being used.

Preprint de J. Araújo, W. Bentz, and P.J. Cameron, “Primitive Permutation Groups and Strongly Factorizable Transformation Semigroups”, Journal of Algebra 565 (2021), 513-530. Let Ω be a finite set and T (Ω) be the full transformation monoid on Ω. The rank of a transformation t ∈ T (Ω) is the natural number |Ωt|. Given A ⊆ T (Ω), denote by 〈A〉 the semigroup generated by A. Let k be a fixed natural number such that 2 ≤ k ≤ |Ω|. In the first part of this paper we (almost) classify the permutation groups G on Ω such that for all rank k transformations t ∈ T (Ω), every element in St := 〈G, t〉 can be written as a product eg, where e2 = e ∈ St and g ∈ G. In the second part we prove, among other results, that if S ≤ T (Ω) and G is the normalizer of S in the symmetric group on Ω, then the semigroup SG is regular if and only if S is regular. (Recall that a semigroup S is regular if for all s ∈ S there exists s′ ∈ S such that s = ss′s.) The paper ends with a list of problems. The first author was partially supported by the Funda ̧c ̃ao para a Ciˆencia e a Tecnologia (Portuguese Foundation for Science and Technology) through the projects UIDB/00297/2020 (Centro de Matemtica e Aplicaes), PTDC/MAT-PUR/31174/2017, UIDB/04621/2020 and UIDP/04621/2020. info:eu-repo/semantics/publishedVersion

Starting from three-dimensional nonlinear elasticity under the restriction of incompressibility, we derive reduced models to capture the behavior of strings in response to external forces. Our $\Gamma$-convergence analysis of the constrained energy functionals in the limit of shrinking cross sections gives rise to explicit one-dimensional limit energies. The latter depend on the scaling of the applied forces. The effect of local volume preservation is reflected either in their energy densities through a constrained minimization over the cross-section variables or in the class of admissible deformations. Interestingly, all scaling regimes allow for compression and/or stretching of the string. The main difficulty in the proof of the $\Gamma$-limit is to establish recovery sequences that accommodate the nonlinear differential constraint imposed by the incompressibility. To this end, we modify classical constructions in the unconstrained case with the help of an inner perturbation argument tailored for $3$d-$1$d dimension reduction problems., Comment: 20 pages, 3 figures

Physiologically structured population models are typically formulated as a partial differential equation of transport type for the density, with a boundary condition describing the birth of new individuals. Here we develop numerical bifurcation methods by combining pseudospectral approximate reduction to a finite dimensional system with the use of established tools for ODE. A key preparatory step is to view the density as the derivative of the cumulative distribution. To demonstrate the potential of the approach, we consider two classes of models: a size-structured model for waterfleas (Daphnia) and a maturity-structured model for cell proliferation. Using the package MatCont, we compute numerical bifurcation diagrams, like steady-state stability regions in a two-parameter plane and parametrized branches of equilibria and periodic solutions. Our rather positive conclusion is that a rather low dimension may yield a rather accurate diagram! In addition we show numerically that, for the two models considered here, equilibria of the approximating system converge to the true equilibrium as the dimension of the approximating system increases; this last result is also proved theoretically under some regularity conditions on the model ingredients.

We consider a large class of so-called dynamical Belyi maps and study the Galois groups of iterates of such maps. From the combinatorial invariants of the maps, we construct a useful presentation of the geometric Galois groups as subgroups of automorphism groups of regular trees, in terms of iterated wreath products. Using results on the reduction of dynamical Belyi maps modulo certain primes, we obtain results on the corresponding arithmetic Galois groups of iterates. These lead to results on the behavior of the arithmetic Galois groups under specialization, with applications to dynamical sequences.

We consider the configuration space of planar $n$-gons with fixed perimeter, which is diffeomorphic to the complex projective space $\mathbb{C}P^{n-2}$. The oriented area function has the minimal number of critical points on the configuration space. We describe its critical points (these are regular stars) and compute their indices when they are Morse.

Exploiting several ℓ-factorization results for strictly singular operators, we study the strict singularity of the multiplication operator LR: T → ATB on ℒ(X) for various Banach spaces X., The second-named author acknowledges financial support from the Spanish Ministry of Economy and Competitiveness through grants MTM2016-75196-P, MTM2016-76808-P, and the “Severo Ochoa Programme for Centres of Excellence in R&D” (SEV-2015-0554). Support of an LMS Research in Pairs grant is also gratefully acknowledged.

Aim In the current study we aimed to investigate the relation between creativity and mathematical problem solving in the upper grades of elementary school. Methods To examine how student’s levels of general creativity were related to their performance on different types of geometrical problems, a geometry test with diverse problems was administered to a sample of 1665 Dutch students from third to sixth grade, as well as a creativity test. The geometry test consisted of four closed-ended routine problems, six closed-ended non-routine problems (related to a visual artwork) and four open-ended non-routine problems (multiple solutions problems). The Test of Creative Thinking—Drawing Production was used to measure students’ creativity. Multivariate multilevel analyses were conducted to take the nested structure of the data into account. Results The results showed that creativity was a significant predictor of students’ performance on all types of geometrical problems, but most strongly associated with performance on open-ended non-routine problems, suggesting that students with higher levels of creativity perform better in solving geometry problems in general, but especially in geometry problems asking for multiple solutions.

The o-minimal structure generated by the restricted Pfaffian functions, known as restricted sub-Pfaffian sets, admits a natural measure of complexity in terms of a format${{\mathcal{F}}}$, recording information like the number of variables and quantifiers involved in the definition of the set, and a degree$D$, recording the degrees of the equations involved. Khovanskii and later Gabrielov and Vorobjov have established many effective estimates for the geometric complexity of sub-Pfaffian sets in terms of these parameters. It is often important in applications that these estimates are polynomial in $D$. Despite much research done in this area, it is still not known whether cell decomposition, the foundational operation of o-minimal geometry, preserves polynomial dependence on $D$. We slightly modify the usual notions of format and degree and prove that with these revised notions, this does in fact hold. As one consequence, we also obtain the first polynomial (in $D$) upper bounds for the sum of Betti numbers of sets defined using quantified formulas in the restricted sub-Pfaffian structure.

In this paper, we consider a simplified model of turbulence for large Reynolds numbers driven by a constant power energy input on large scales. In the statistical stationary regime, the behaviour of the kinetic energy is characterised by two well defined phases: a laminar phase where the kinetic energy grows linearly for a (random) time $t_w$ followed by abrupt avalanche-like energy drops of sizes $S$ due to strong intermittent fluctuations of energy dissipation. We study the probability distribution $P[t_w]$ and $P[S]$ which both exhibit a quite well defined scaling behaviour. Although $t_w$ and $S$ are not statistically correlated, we suggest and numerically checked that their scaling properties are related based on a simple, but non trivial, scaling argument. We propose that the same approach can be used for other systems showing avalanche-like behaviour such as amorphous solids and seismic events., Comment: 12 pages, 10 figures

We prove an equilibrium stressability criterium for trivalent multidimensional tensegrities. The criterium appears in different languages: (1) in terms of stress monodromies, (2) in terms of surgeries, (3) in terms of exact discrete 1-forms, and (4) in Cayley algebra terms., Comment: 30 pages, 13 figures

Funding Information: For the first author this work was partially supported through the project of the Centro de Matemática e Aplicações, UID/MAT/00297/2020 financed by the Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology). The APC was by supported by Fidelidade-Companhia de Seguros, S.A. to which the authors express their warmest acknowledgment. Funding Information: This work was published with financial support from by the New University of Lisbon. The authors express gratitude to the comments, corrections, and questions of the referees that led to a revised and better version of this work. Publisher Copyright: © 2023 by the authors. The structure of the random matrices introduced in this work is given by deterministic matrices—the skeletons of the random matrices—built with an algorithm of matrix substitutions with entries in a finite field of integers modulo some prime number, akin to the algorithm of one dimensional automatic sequences. A random matrix has the structure of a given skeleton if to the same number of an entry of the skeleton, in the finite field, it corresponds a random variable having, at least, as its expected value the correspondent value of the number in the finite field. Affine matrix substitutions are introduced and fixed point theorems are proven that allow the consideration of steady states of the structure which are essential for an efficient observation. For some more restricted classes of structured random matrices the parameter estimation of the entries is addressed, as well as the convergence in law and also some aspects of the spectral analysis of the random operators associated with the random matrix. Finally, aiming at possible applications, it is shown that there is a procedure to associate a canonical random surface to every random structured matrix of a certain class. publishersversion published

Publisher Copyright: © 2023 by the authors. This research received no external funding. The multinomial distribution is often used in modeling categorical data because it describes the probability of a random observation being assigned to one of several mutually exclusive categories. Given a finite or numerable multinomial model (Formula presented.) whose decision is indexed by a parameter (Formula presented.) and having a cost (Formula presented.) depending on (Formula presented.) and on (Formula presented.), we show that, under general conditions, the probability of taking the least cost decision tends to 1 when n tends to ∞, i.e., we showed that the cost decision is consistent, representing a Statistical Decision Theory approach to the concept of consistency, which is not much considered in the literature. Thus, under these conditions, we have consistency in the decision making. The key result is that the estimator (Formula presented.) with components (Formula presented.), where (Formula presented.) is the number of times we obtain the ith result when we have a sample of size n, is a consistent estimator of (Formula presented.). This result holds both for finite and numerable models. By this result, we were able to incorporate a more general form for consistency for the cost function of a multinomial model. publishersversion published

We consider the random β-transformation Kβ, defined on {0,1}N×[0,⌊β⌋]β-1]], that generates all possible expansions of the form x=∑i=0∞aiβi, whereai∈ { 0 , 1 , … , ⌊ β⌋ } }. This transformation was introduced in [3–5], where two naturalinvariant ergodic measures were found. The first is the unique measure ofmaximal entropy, and the second is a measure of the form mp× μβ, with mpthe Bernoulli (p, 1 - p) product measure and μβ is a measure equivalent to theLebesgue measure. In this paper, we give an uncountable family of Kβ-invariantexact g-measures for a certain collection of algebraic β’s. The construction of theseg-measures is explicit and the corresponding potentials are not locally constant.

The SU (r) Vafa–Witten partition function, which virtually counts Higgs pairs on a projective surface S, was mathematically defined by Tanaka–Thomas. On the Langlands dual side, the first-named author recently introduced virtual counts of Higgs pairs on μ r-gerbes. In this paper, we instead use Yoshioka’s moduli spaces of twisted sheaves. Using Chern character twisted by rational B-field, we give a new mathematical definition of the SU (r) / Z r Vafa-Witten partition function when r is prime. Our definition uses the period-index theorem of de Jong. S-duality, a concept from physics, predicts that the SU (r) and SU (r) / Z r partition functions are related by a modular transformation. We turn this into a mathematical conjecture, which we prove for all K3 surfaces and prime numbers r.

A $P_4$-free graph is called a cograph. In this paper we partially characterize finite groups whose power graph is a cograph. As we will see, this problem is a generalization of the determination of groups in which every element has prime power order, first raised by Graham Higman in 1957 and fully solved very recently. First we determine all groups $G$ and $H$ for which the power graph of $G\times H$ is a cograph. We show that groups whose power graph is a cograph can be characterised by a condition only involving elements whose orders are prime or the product of two (possibly equal) primes. Some important graph classes are also taken under consideration. For finite simple groups we show that in most of the cases their power graphs are not cographs: the only ones for which the power graphs are cographs are certain groups PSL$(2,q)$ and Sz$(q)$ and the group PSL$(3,4)$. However, a complete determination of these groups involves some hard number-theoretic problems., 20 Pages

We study the inverse scattering problem for a Schrödinger operator related to a static wave operator with variable velocity, using the GLM (Gelfand–Levitan–Marchenko) integral equation. We assume to have noisy scattering data, and we derive a stability estimate for the error of the solution of the GLM integral equation by showing the invertibility of the GLM operator between suitable function spaces. To regularise the problem, we formulate a variational total least squares problem, and we show that, under certain regularity assumptions, the optimisation problem admits minimisers. Finally, we compute numerically the regularised solution of the GLM equation using the total least squares method in a discrete sense.

We study the distribution of extensions of a number field k with fixed abelian Galois group G, from which a given finite set of elements of k are norms. In particular, we show the existence of such extensions. Along the way, we show that the Hasse norm principle holds for 100% of G-extensions of k, when ordered by conductor. The appendix contains an alternative purely geometric proof of our existence result.

Given a variety over $\mathbb{Q}$, we study the distribution of the number of primes dividing the coordinates as we vary an integral point. Under suitable assumptions, we show that this has a multivariate normal distribution. We generalise this to more general Weil divisors, where we obtain a geometric interpretation of the covariance matrix. For our results we develop a version of the Erd\H{o}s-Kac theorem that applies to fairly general integer sequences and does not require a positive exponent of level of distribution., Comment: Accepted for publication by Transactions of the AMS

Publisher Copyright: © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG. There is a significant interest to evaluate the occupational exposure that manufacturing operators are subjected throughout the working day. The objective evaluation of occupational exposure with direct measurements and the need for automatic annotation of relevant events arose. The current work proposes the use of a self similarity matrix (SSM) as a tool to flag events that may be of importance to be analyzed by ergonomic teams. This way, data directly retrieved from the work environment will be summarized and segmented into sub-sequences of interest over a multi-timescale approach. The process occurs under 3 timescale levels: Active working periods, working cycles, and in-cycle activities. The novelty function was used to segment non-active and active working periods with an F1-score of 95%. while the similarity function was used to correctly segment 98% of working cycle with a duration error of 6.12%. In addition, this method was extended into examples of multi time scale segmentation with the intent of providing a summary of a time series as well as support in data labeling tasks, by means of a query-by-example process to detect all subsequences. authorsversion published

Philosophical transactions of the Royal Society of London / A 380(2216), 20210062 (2021). doi:10.1098/rsta.2021.0062, We review two algorithmic advances that bring us closer to reliable quantum simulations of model systems in high-energy physics and beyond on noisy intermediate-scale quantum (NISQ) devices. The first method is the dimensional expressivity analysis of quantum circuits, which allows for constructing minimal but maximally expressive quantum circuits. The second method is an efficient mitigation of readout errors on quantum devices. Both methods can lead to significant improvements in quantum simulations, e.g. when variational quantum eigensolvers are used.This article is part of the theme issue ‘Quantum technologies in particle physics’., Published by Royal Society, London

Funding Information: Funding: For the second author, this work was done under partial financial support of RFBR (Grant No. 19-01-00451). For the first, third and fourth authors this work was partially supported through the project of the Centro de Matemática e Aplicações, UID/MAT/00297/2020 financed by the Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology). The APC was funded by the insurance company Future Healthcare. Funding Information: Acknowledgments: This work was published with finantial support from the insurance company Future Healthcare. The authors would like to thank Future Healthcare for this generous support and for their interest in the development of models for disease and health insurance problems in Portugal. The authors wish to express their gratitude to JLS, former publisher at McGraw-Hill Book Company, for his extensive revision of the English language in this work. Funding Information: For the second author, this work was done under partial financial support of RFBR (Grant No. 19-01-00451). For the first, third and fourth authors this work was partially supported through the project of the Centro de Matem?tica e Aplica??es, UID/MAT/00297/2020 financed by the Funda??o para a Ci?ncia e a Tecnologia (Portuguese Foundation for Science and Technology). The APC was funded by the insurance company Future Healthcare. Publisher Copyright: © 2021 by the authors. Licensee MDPI, Basel, Switzerland. Made available in DSpace on 2022-02-12T23:27:16Z (GMT). No. of bitstreams: 0 Previous issue date: 2021-12-15 publishersversion published