Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)

CONTENTS

 

Section 1

 

Fonda Alessandro, Mezzetti Emilia, Omari Pierpaolo

Foreword

Talamo Rodolfo

1. The roundness-measure of a natural number

Scomparin Mattia

2. Nonlocal constants of motion and first integrals in higher-order Lagrangian Dynamics

Farooq Asma, Maset Stefano

3. Propagation of perturbations in the initial value along solutions of linear ODEs: a componentwise relative error analysis

Ho Kwok-pun

4. Fractional integral operators on Borel-Morrey spaces with q ≤ p

Alzer Horst, Kwong Man Kam

5. Some inequalities for the Riemann zeta function

Appell Jürgen, López Brito Belén, Reinwand Simon, Schöller Kilian

6. Some remarks on substitution and composition operators

Bush Kaliaj Sokol

7. Indefinite Pettis integral of multifunctions in locally convex spaces

Appell Jürgen, López Brito Belén, Reinwand Simon, Schöller Kilian

8. Corrigendum to ""Some remarks on substitution and composition operators""

Artigiani Mauro

9. Octagonal continued fraction and diagonal changes

Ciccoli Nicola

10. Quantum orbit method for the Connes-Landi-Matsumoto 3-sphere

Ooi Keng Hao

11. Vector-valued Sobolev multiplier spaces and their preduals

Morassi Antonino, Rosset Edi, Sincich Eva, Vessella Sergio

12. Doubling inequality at the boundary for the Kirchhoff-Love plate's equation with supported conditions

Marušić-paloka Eduardo, Prša Marija

13. A remark on the derivation of an effective model describing the flow of fluid in a reservoir with small holes

Freitas Mirelson M., Ramos J. A. Anderson, Santos Mauro L., Rodrigues Helen C. M.

14. Blow-up and uniform decay rates of solutions for ternary mixtures with interplay between nonlinear damping and source terms

Zimmermann Bruno P.

15. A note on the Nielsen realization problem for connected sums of S² X S¹

Villari Gabriele, Zanolin Fabio

16.Remarks on a class of generalized Liénard planar systems

Galuppi Francesco, Stanojkovski Mima

17. Toric varieties from cyclic matrix semigroups

Bhoi Khisan, Ray Prasanta Kumar

18. Perrin numbers expressible as sums of two base b repdigits

Gori Anna, Vlacci Fabio

19. A note on the Bieberbach conjecture for some classes of slice regular functions

 

Section 2

 

Preface

Düntsch Ivo, Orłowska Ewa

20. Discrete dualities for groupoids

Sgarro Andrea, Franzoi Laura

21. Possibility distribution calculus and the arithmetic of fuzzy numbers

Rizzi Romeu, Tomescu Alexandru I.

22. Random generation of essential directed acyclic graphs

Cristiá Massimiliano, Rossi Gianfranco

23. {log}: Set formulas as programs

Dovier Agostino, Formisano Andrea, Pontelli Enrico, Tardivo Fabio

24. {CUDA}: Set constraints on GPUs

Costantini Stefania

25. Epistemic logics for modeling group dynamics of cooperative agents, and aspects of Theory of Mind

Cantone Domenico, Policriti Alberto

26. Squeezing multisets into real numbers

Doberkat Ernst-erich

27. Congruences for stochastic automata

Cantone Domenico, Omodeo Eugenio G.

28. “One equation to rule them all”, revisited

Benci Vieri

29. The Euclidean Universe

 

Browse

Recent Submissions

Now showing 1 - 5 of 24
  • Publication
    Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)
    (EUT Edizioni Università di Trieste, 2021)
    Università degli Studi di Trieste, Dipartimento di Matematica e Informatica
    The journal Rendiconti dell’Istituto di Matematica dell’Università di Trieste was founded in 1969 by Arno Predonzan, with the aim of publishing original research articles in all fields of mathematics. Rendiconti dell’Istituto di Matematica dell’Universit`a di Trieste has been the first Italian mathematical journal to be published also on-line. The access to the electronic version of the journal is free. All published articles are available on-line. In 2008 the Dipartimento di Matematica e Informatica, the owner of the journal, decided to renew it. The name of the journal however remained unchanged, but the subtitle An International Journal of Mathematics was added. The journal can be obtained by subscription, or by reciprocity with other similar journals. Currently more than 100 exchange agreements with mathematics departments and institutes around the world have been entered in. The articles published by Rendiconti dell’Istituto di Matematica dell’Universit`a di Trieste are reviewed/indexed by MathSciNet, Zentralblatt Math, Scopus, OpenStarTs.
      99  1501
  • Publication
    The Euclidean Universe
    (EUT Edizioni Università di Trieste, 2021)
    Benci, Vieri
    We introduce a mathematical structure called Euclidean Universe. This structure provides a basic framework for Non- Archimedean Mathematics and Nonstandard Analysis.
      110  61
  • Publication
    “One equation to rule them all”, revisited
    (EUT Edizioni Università di Trieste, 2021)
    Cantone, Domenico
    ;
    Omodeo, Eugenio G.
    If the quaternary quartic equation 9 · (u² + 7v²)² − 7 · (r² + 7s²)² = 2 (*) which M. Davis put forward in 1968 has only finitely many solutions in integers, then — it was observed by M. Davis, Yu. V. Matiyasevich, and J. Robinson in 1976 — every listable set would turn out to admit a single-fold Diophantine representation. In 1995, D. Shanks and S. S. Wagstaff conjectured that (*) has infinitely many solutions; while in doubt, it seemed wise to us to single out new candidates for the role of “rule-them-all equation”. We offer three new quaternary quartic equations, each obtained by much the same recipe which led to (*). The significance of those can be supported by arguments analogous to the ones found in Davis’s original paper; moreover, they might play a key role in settling the conjecture that every listable set has a single-fold (or, at least, a finite-fold) representation. Directly from the unproven assertion that any of the novel equations has only finitely many solutions in integers, one can construct a Diophantine relation of exponential growth, as we show in detail for one, namely 3 · (r² + 3s²)² − (u² + 3v²)² = 2, of the new candidate rule-them-all equations. An account of Julia Robinson’s earliest Diophantine reduction of exponentiation to any relation of exponential growth is also included, for the sake of self-containedness.
      108  59
  • Publication
    Congruences for stochastic automata
    (EUT Edizioni Università di Trieste, 2021)
    Doberkat, Ernst-Erich
    Congruences for stochastic automata are defined, the corresponding factor automata are constructed and investigated for automata over analytic spaces. We study the behavior under finite and infinite streams. Congruences consist of multiple parts, it is shown that factoring can be undertaken in multiple steps, guided by these parts.
      88  65
  • Publication
    Epistemic logics for modeling group dynamics of cooperative agents, and aspects of Theory of Mind
    (EUT Edizioni Università di Trieste, 2021)
    Costantini, Stefania
    Logic has been proved useful to model various aspects of the reasoning process of agents and Multi-Agent Systems (MAS). In this paper, we report about a line of work carried on in cooperation with Andrea Formisano (former Eugenio’s Ph.D. student) and Valentina Pitoni, to explore some social aspects of such systems. The aim is to formally model (aspects of ) the group dynamics of cooperative agents. We have proposed a particular logical framework (the Logic of “Inferable” L-DINF), where a group of cooperative agents can jointly perform actions. I.e., at least one agent of the group can perform the action, either with the approval of the group or on behalf of the group. We have been able to take into consideration actions’ cost, and the preferences that each agent may have for what concerns performing each action. Our focus is on: (i) explainability, i.e., the syntax of our logic is especially devised to make it possible to transpose a proof into a natural language explanation, in the perspective of trustworthy Artificial Intelligence (AI); (ii) the capability to construct and execute joint plans within a group of agents; (iii) the formalization of aspects of the Theory of Mind, which is an important social-cognitive skill that involves the ability to attribute mental states, including emotions, desires, beliefs, and knowledge both one’s own and those of others, and to reason about the practical consequences of such mental states; this capability is very relevant when agents have to interact with humans, and in particular in robotic applications; (iv) connection between theory and practice, so as to make our logic actually usable by systems’ designers. In this paper, we summarize our past work and propose some discussions, possible extensions and considerations.
      128  70