Showing 1–9 of 9 results for author: Baia, M

Synchronization of branching chain of coupled maps: application to the logistic map

Authors: Franco Bagnoli, Michele Baia, Tommaso Matteuzzi, Arkady Pikovsky

Abstract: We investigate the synchronization dynamics in a chain of coupled chaotic maps organized in a single-parent family tree, whose properties can be captured considering each parent node connected to two children, one of which also serves as the parent for the subsequent node. Our analysis focuses on two distinct synchronization behaviors: parent-child synchronization, defined by the vanishing distanc… ▽ More We investigate the synchronization dynamics in a chain of coupled chaotic maps organized in a single-parent family tree, whose properties can be captured considering each parent node connected to two children, one of which also serves as the parent for the subsequent node. Our analysis focuses on two distinct synchronization behaviors: parent-child synchronization, defined by the vanishing distance between successive nodes along the chain, and sibling synchronization, corresponding to the convergence of the states of two child nodes. Our findings reveal significant differences in these two type of synchronization mechanisms, which are closely associated with the probability distribution of the state of parent node. Theoretical analysis and simulations with the logistic map support our findings. We further investigate numerical aspects of the implementation corresponding to cases for which the simulated regimes differ from the theoretically predicted one due to computational finite accuracy. We perform a detailed study on how instabilities are numerically suppressed or amplified along the chain. In some cases, a properly adjusted computational scheme can solve this problem. △ Less

Submitted 7 January, 2025; originally announced January 2025.

Comments: 22 pages, 18 figures

Internal reliability and anti-reliability in dynamical networks

Authors: Tommaso Matteuzzi, Franco Bagnoli, Michele Baia, Stefano Iubini, Arkady Pikovsky

Abstract: We consider finite dynamical networks and define internal reliability according to the synchronization properties of a replicated unit or a set of units. If the states of the replicated units coincide with their prototypes, they are reliable; otherwise, if their states differ, they are anti-reliable. Quantification of reliability with the transversal Lyapunov exponent allows for a straightforward… ▽ More We consider finite dynamical networks and define internal reliability according to the synchronization properties of a replicated unit or a set of units. If the states of the replicated units coincide with their prototypes, they are reliable; otherwise, if their states differ, they are anti-reliable. Quantification of reliability with the transversal Lyapunov exponent allows for a straightforward analysis of different models. For a Kuramoto model of globally coupled phase oscillators with a distribution of natural frequencies, we show that prior to the onset of synchronization, peripheral in frequency units are anti-reliable, while central are reliable. For this model, reliability can be expressed via phase correlations in a sort of a fluctuation-dissipation relation. Sufficiently large sub-networks in the Kuramoto model are always anti-reliable; the same holds for a recurrent neural network, where individual units are always reliable. △ Less

Submitted 30 December, 2024; originally announced January 2025.

On the Effectiveness of LLMs for Manual Test Verifications

Authors: Myron David Lucena Campos Peixoto, Davy de Medeiros Baia, Nathalia Nascimento, Paulo Alencar, Baldoino Fonseca, Márcio Ribeiro

Abstract: Background: Manual testing is vital for detecting issues missed by automated tests, but specifying accurate verifications is challenging. Aims: This study aims to explore the use of Large Language Models (LLMs) to produce verifications for manual tests. Method: We conducted two independent and complementary exploratory studies. The first study involved using 2 closed-source and 6 open-source LLMs… ▽ More Background: Manual testing is vital for detecting issues missed by automated tests, but specifying accurate verifications is challenging. Aims: This study aims to explore the use of Large Language Models (LLMs) to produce verifications for manual tests. Method: We conducted two independent and complementary exploratory studies. The first study involved using 2 closed-source and 6 open-source LLMs to generate verifications for manual test steps and evaluate their similarity to original verifications. The second study involved recruiting software testing professionals to assess their perception and agreement with the generated verifications compared to the original ones. Results: The open-source models Mistral-7B and Phi-3-mini-4k demonstrated effectiveness and consistency comparable to closed-source models like Gemini-1.5-flash and GPT-3.5-turbo in generating manual test verifications. However, the agreement level among professional testers was slightly above 40%, indicating both promise and room for improvement. While some LLM-generated verifications were considered better than the originals, there were also concerns about AI hallucinations, where verifications significantly deviated from expectations. Conclusion: We contributed by generating a dataset of 37,040 test verifications using 8 different LLMs. Although the models show potential, the relatively modest 40% agreement level highlights the need for further refinement. Enhancing the accuracy, relevance, and clarity of the generated verifications is crucial to ensure greater reliability in real-world testing scenarios. △ Less

Submitted 18 September, 2024; originally announced September 2024.

Comments: 9 pages

Effects of a Vanishing Noise on Elementary Cellular Automata Phase-Space Structure

Authors: Franco Bagnoli, Michele Baia, Tommaso Matteuzzi

Abstract: We investigate elementary cellular automata (ECA) from the point of view of (discrete) dynamical systems. By studying small lattice sizes, we obtain the complete phase space of all minimal ECA, and, starting from a maximal entropy distribution (all configurations equiprobable), we show how the dynamics affects this distribution. We then investigate how a vanishing noise alters this phase space, co… ▽ More We investigate elementary cellular automata (ECA) from the point of view of (discrete) dynamical systems. By studying small lattice sizes, we obtain the complete phase space of all minimal ECA, and, starting from a maximal entropy distribution (all configurations equiprobable), we show how the dynamics affects this distribution. We then investigate how a vanishing noise alters this phase space, connecting attractors and modifying the asymptotic probability distribution. What is interesting is that this modification not always goes in the sense of decreasing the entropy. △ Less

Submitted 30 April, 2025; v1 submitted 12 May, 2024; originally announced June 2024.

Comments: This is a rather different paper with respect to the first version (which appeared in the proceeding of ACRI 2024): it includes results about the Hopfield model and should be a different preprint, but arxiv policies forbade it

A degenerate elliptic-parabolic system arising in competitive contaminant transport

Authors: Margarida Baía, Farid Bozorgnia, Léonard Monsaingeon, Juha Videman

Abstract: In this work we investigate a coupled system of degenerate and nonlinear partial differential equations governing the transport of reactive solutes in groundwater. We show that the system admits a unique weak solution provided the nonlinear adsorption isotherm associated with the reaction process satisfies certain physically reasonable structural conditions. We conclude, moreover, that the solute… ▽ More In this work we investigate a coupled system of degenerate and nonlinear partial differential equations governing the transport of reactive solutes in groundwater. We show that the system admits a unique weak solution provided the nonlinear adsorption isotherm associated with the reaction process satisfies certain physically reasonable structural conditions. We conclude, moreover, that the solute concentrations stay non-negative if the source term is componentwise non-negative and investigate numerically the finite speed of propagation of compactly supported initial concentrations, in a two-component test case. △ Less

Submitted 14 January, 2021; originally announced January 2021.

Comments: old paper accepted in 2017 but not uploaded to arxiv

Journal ref: Journal of Mathematical Analysis and Applications, 457 (2018), pp. 77-103

Generalized $\mathbf{W^{1,1}}$-Young measures and relaxation of problems with linear growth

Authors: Margarida Baia, Stefan Krömer, Martin Kružík

Abstract: We completely characterize generalized Young measures generated by sequences of gradients of maps from $W^{1,1}(Ω;\R^M)$ where $Ω\subset\R^N$. This extends and completes previous analysis by Kristensen and Rindler where concentrations of the sequence of gradients at the boundary of $Ω$ were excluded. We apply our results to relaxation of non-quasiconvex variational problems with linear growth at i… ▽ More We completely characterize generalized Young measures generated by sequences of gradients of maps from $W^{1,1}(Ω;\R^M)$ where $Ω\subset\R^N$. This extends and completes previous analysis by Kristensen and Rindler where concentrations of the sequence of gradients at the boundary of $Ω$ were excluded. We apply our results to relaxation of non-quasiconvex variational problems with linear growth at infinity. We also link our characterization to Souček spaces \cite{soucek}, an extension of $W^{1,1}(Ω;\R^M)$ where gradients are considered as measures on $\barΩ$. △ Less

Submitted 13 November, 2016; originally announced November 2016.

MSC Class: 49J45; 26B30; 52A99

Characterization of two-scale gradient Young measures and application to homogenization

Authors: Jean-Francois Babadjian, Margarida Baia, Pedro M. Santos

Abstract: This work is devoted to the study of two-scale gradient Young measures naturally arising in nonlinear elasticity homogenization problems. Precisely, a characterization of this class of measures is derived and an integral representation formula for homogenized energies, whose integrands satisfy very weak regularity assumptions, is obtained in terms of two-scale gradient Young measures. This work is devoted to the study of two-scale gradient Young measures naturally arising in nonlinear elasticity homogenization problems. Precisely, a characterization of this class of measures is derived and an integral representation formula for homogenized energies, whose integrands satisfy very weak regularity assumptions, is obtained in terms of two-scale gradient Young measures. △ Less

Submitted 1 February, 2007; v1 submitted 10 November, 2006; originally announced November 2006.

Comments: 23 pages

Report number: SISSA 66/2006/M MSC Class: 74Q05; 49J45; 28A33; 46E27

Journal ref: Applied Mathematics and Optimization, 57, no. 1 (2008), 69-97

Multiscale nonconvex relaxation and application to thin films

Authors: Jean-Francois Babadjian, Margarida Baia

Abstract: $Γ$-convergence techniques are used to give a characterization of the behavior of a family of heterogeneous multiple scale integral functionals. Periodicity, standard growth conditions and nonconvexity are assumed whereas a stronger uniform continuity with respect to the macroscopic variable, normally required in the existing literature, is avoided. An application to dimension reduction problems… ▽ More $Γ$-convergence techniques are used to give a characterization of the behavior of a family of heterogeneous multiple scale integral functionals. Periodicity, standard growth conditions and nonconvexity are assumed whereas a stronger uniform continuity with respect to the macroscopic variable, normally required in the existing literature, is avoided. An application to dimension reduction problems in reiterated homogenization of thin films is presented. △ Less

Submitted 26 April, 2006; originally announced April 2006.

Comments: 40 pages, 5 figures

Report number: Scientific report (Center for Nonlinear Analysis) 05-CNA-015 MSC Class: 35E99; 35M10; 49J45; 74B20; 74G65; 74Q05; ; 74K35

Journal ref: Asymptotic Analysis, 48, no. 3 (2006), 173--218

3D-2D analysis of a thin film with periodic microstructure

Authors: Jean-Francois Babadjian, Margarida Baia

Abstract: The purpose of this article is to study the behavior of a heterogeneous thin film whose microstructure oscillates on a scale that is comparable to that of the thickness of the domain. The argument is based on a 3D-2D dimensional reduction through a $Γ$-convergence analysis, techniques of two-scale convergence and a decoupling procedure between the oscillating variable and the in-plane variable. The purpose of this article is to study the behavior of a heterogeneous thin film whose microstructure oscillates on a scale that is comparable to that of the thickness of the domain. The argument is based on a 3D-2D dimensional reduction through a $Γ$-convergence analysis, techniques of two-scale convergence and a decoupling procedure between the oscillating variable and the in-plane variable. △ Less

Submitted 26 April, 2006; originally announced April 2006.

Comments: 19 pages

Report number: Scientific report (Center for Nonlinear Analysis) 04-CNA-015 MSC Class: 35E99; 35M10; 49J45; 74B20; 74K35; 74G65; 74Q05

Journal ref: Proc. Roy. Soc. Ed. Sect. A, 136 (2006) 223-243