title: Image Embedding for Denoising Generative Models

abstract: Denoising Diffusion models are gaining increasing popularity in the field of generative modeling for several reasons, including the simple and stable training, the excellent generative quality, and the solid probabilistic foundation. In this article, we address the problem of {\em embedding} an image into the latent space of Denoising Diffusion Models, that is finding a suitable ``noisy'' image whose denoising results in the original image. We particularly focus on Denoising Diffusion Implicit Models due to the deterministic nature of their reverse diffusion process. As a side result of our investigation, we gain a deeper insight into the structure of the latent space of diffusion models, opening interesting perspectives on its exploration, the definition of semantic trajectories, and the manipulation/conditioning of encodings for editing purposes. A particularly interesting property highlighted by our research, which is also characteristic of this class of generative models, is the independence of the latent representation from the networks implementing the reverse diffusion process. In other words, a common seed passed to different networks (each trained on the same dataset), eventually results in identical images.


title: CINM (Cinnamon): A Compilation Infrastructure for Heterogeneous Compute In-Memory and Compute Near-Memory Paradigms

abstract: The rise of data-intensive applications exposed the limitations of conventional processor-centric von-Neumann architectures that struggle to meet the off-chip memory bandwidth demand. Therefore, recent innovations in computer architecture advocate compute-in-memory (CIM) and compute-near-memory (CNM), non-von- Neumann paradigms achieving orders-of-magnitude improvements in performance and energy consumption. Despite significant technological breakthroughs in the last few years, the programmability of these systems is still a serious challenge. Their programming models are too low-level and specific to particular system implementations. Since such future architectures are predicted to be highly heterogenous, developing novel compiler abstractions and frameworks become necessary. To this end, we present CINM (Cinnamon), a first end-to-end compilation flow that leverages the hierarchal abstractions to generalize over different CIM and CNM devices and enable device-agnostic and device-aware optimizations. Cinnamon progressively lowers input programs and performs optimizations at each level in the lowering pipeline. To show its efficacy, we evaluate CINM on a set of benchmarks for the well-known UPMEM CNM system and the memristors-based CIM accelerators. We show that Cinnamon, supporting multiple hardware targets, generates high-performance code comparable to or better than state-of-the-art implementations.


title: Adversarial Robust Deep Reinforcement Learning Requires Redefining Robustness

abstract: Learning from raw high dimensional data via interaction with a given environment has been effectively achieved through the utilization of deep neural networks. Yet the observed degradation in policy performance caused by imperceptible worst-case policy dependent translations along high sensitivity directions (i.e. adversarial perturbations) raises concerns on the robustness of deep reinforcement learning policies. In our paper, we show that these high sensitivity directions do not lie only along particular worst-case directions, but rather are more abundant in the deep neural policy landscape and can be found via more natural means in a black-box setting. Furthermore, we show that vanilla training techniques intriguingly result in learning more robust policies compared to the policies learnt via the state-of-the-art adversarial training techniques. We believe our work lays out intriguing properties of the deep reinforcement learning policy manifold and our results can help to build robust and generalizable deep reinforcement learning policies.


title: Synthesizing $2h/e^2$ resistance plateau at the first Landau level confined in a quantum point contact

abstract: A comprehensive understanding of quantum Hall edge transmission, especially the hole-conjugate of a Laughlin state such as a $2/3$ state, is critical for advancing fundamental quantum Hall physics and enhancing the design of quantum Hall edge interferometry. In this study, we report a robust intermediate $2h/e^2$ resistance quantization in a quantum point contact (QPC) when the bulk is set at the fractional filling $2/3$ quantum Hall state. Our results suggest the occurrence of two equilibration processes. First, the co-propagating $1/3$ edges moving along a soft QPC arm confining potential fully equilibrate and act as a single $2/3$ edge mode. Second, the $2/3$ edge mode is further equilibrated with an integer $1$ edge mode formed in the QPC. The complete mixing between them results in a diagonal resistance value quantized at $2h/e^2$. Similar processes occur for a bulk filling $5/3$, leading to an intermediate $(2/3)h/e^2$ resistance quantization.


title: A monolithic interferometer for high-sensitive strictly-local detection of orbital angular momentum states of light

abstract: We propose an innovative monolithic interferometer to distinguish the topological charge of radiation carrying orbital angular momentum. Remarkably, our method requires to access only a small portion of the entire wavefront. The proposed scheme relies on a monolithic birefringent crystal, and as such it is intrinsically stable and does not require any feedback or thermal drift compensation. An experimental setup has been realized to prove the effectiveness of the proposed method down to the photon counting regime.


title: Effects of weak measurements on sudden change of quantum discord

abstract: We study the peculiar dynamics of two qubits quantum discord with a sudden change in behavior. It is widely agreed in the literature nowadays that environment induce sudden change behavior of quantum discord. We explore the sudden change phenomenon under the action of local-independent environments, considering the discord of two-qubit which is obtained by means of the weak measurements on one of the two-qubit. It is shown that the sudden change phenomenon does not appear under weak measurements. We find that the quantum discord with weak measurements decays in a monotonic fashion, and show that quantum discord might exhibit a sudden change only for the strong (projective) measurement. We believe that environment is not the main role of the sudden change, but the quantum correlation itself is.


title: The Newsbridge -Telecom SudParis VoxCeleb Speaker Recognition Challenge 2022 System Description

abstract: We describe the system used by our team for the VoxCeleb Speaker Recognition Challenge 2022 (VoxSRC 2022) in the speaker diarization track. Our solution was designed around a new combination of voice activity detection algorithms that uses the strengths of several systems. We introduce a novel multi stream approach with a decision protocol based on classifiers entropy. We called this method a multi-stream voice activity detection and used it with standard baseline diarization embeddings, clustering and resegmentation. With this work, we successfully demonstrated that using a strong baseline and working only on voice activity detection, one can achieved close to state-of-theart results.


title: Failure Tolerant Training with Persistent Memory Disaggregation over CXL

abstract: This paper proposes TRAININGCXL that can efficiently process large-scale recommendation datasets in the pool of disaggregated memory while making training fault tolerant with low overhead. To this end, i) we integrate persistent memory (PMEM) and GPU into a cache-coherent domain as Type-2. Enabling CXL allows PMEM to be directly placed in GPU's memory hierarchy, such that GPU can access PMEM without software intervention. TRAININGCXL introduces computing and checkpointing logic near the CXL controller, thereby training data and managing persistency in an active manner. Considering PMEM's vulnerability, ii) we utilize the unique characteristics of recommendation models and take the checkpointing overhead off the critical path of their training. Lastly, iii) TRAININGCXL employs an advanced checkpointing technique that relaxes the updating sequence of model parameters and embeddings across training batches. The evaluation shows that TRAININGCXL achieves 5.2x training performance improvement and 76% energy savings, compared to the modern PMEM-based recommendation systems.


title: The Parametric Generalized Fractional Nikiforov-Uvarov Method and Its Applications

abstract: By using generalized fractional derivative, the parametric generalized fractional Nikiforov-Uvarov (NU) method is introduced. The second-order parametric generalized differential equation is exactly solved in the fractional form. The obtained results are applied on the extended Cornell potential, the pesudoharmonic potential, the Mie potential, the Kratzer-Fues potential, the harmonic oscillator potential, the Morse potential, the Woods-Saxon potential, the Hulthen potential, the deformed Rosen-Morse potential and the Poschl-Teller potential which play an important role in the fields of molecular and hadron physics. The special classical cases are obtained from the fractional cases at ELFA = BETA =1 which are agreements with recent works.


title: Beyond Binary: Hypermatrix Algebra and Irreducible Arity in Higher-Order Systems

abstract: Theoretical and computational frameworks of modern science are dominated by binary structures. This binary bias, seen in the ubiquity of pair-wise networks and formal operations of two arguments in mathematical models, limits our capacity to faithfully capture irreducible polyadic interactions in higher-order systems. A paradigmatic example of a higher-order interaction is the Borromean link of three interlocking rings. In this paper we propose a mathematical framework via hypergraphs and hypermatrix algebras that allows to formalize such forms of higher-order bonding and connectivity in a parsimonious way. Our framework builds on and extends current techniques in higher-order networks -- still mostly rooted in binary structures such as adjacency matrices -- and incorporates recent developments in higher-arity structures to articulate the compositional behavior of adjacency hypermatrices. Irreducible higher-order interactions turn out to be a widespread occurrence across natural sciences and socio-cultural knowledge representation. We demonstrate this by reviewing recent results in computer science, physics, chemistry, biology, ecology, social science, and cultural analysis through the conceptual lens of irreducible higher-order interactions. We further speculate that the general phenomenon of emergence in complex systems may be characterized by spatio-temporal discrepancies of interaction arity.


title: Imaging faint sources with the extended solar gravitational lens

abstract: We consider resolved imaging of faint sources with the solar gravitational lens (SGL) while treating the Sun as an extended gravitating body. We use our new diffraction integral that describes how a spherical electromagnetic wave is modified by the static gravitational field of an extended body, represented by series of multipole moments characterizing its interior mass distribution. Dominated by the solar quadrupole moment, these deviations from spherical symmetry significantly perturb the image that is projected by the Sun into its focal region, especially at solar equatorial latitudes. To study the optical properties of the quadrupole SGL, we develop an approximate solution for the point spread function of such an extended lens. We also derive semi-analytical expressions to estimate signal levels from extended targets. With these tools, we study the impact of solar oblateness on imaging with the SGL. Given the small value of the solar quadrupole moment, the majority of the signal photons arriving from an extended target still appear within the image area projected by the monopole lens. However, these photons are scrambled, thus reducing the achievable signal-to-noise ratio during image recovery process (i.e., deconvolution). We also evaluate the spectral sensitivity for high-resolution remote sensing of exoplanets with the extended SGL. We assess the impact on image quality and demonstrate that despite the adverse effects of the quadrupole moment, the SGL remains uniquely capable of delivering high-resolution imaging and spectroscopy of faint, small and distant targets, notably terrestrial exoplanets within ~30--100 parsec from us.

categories: astro-ph.IM astro-ph.EP astro-ph.SR gr-qc


title: Machine learning techniques for the Schizophrenia diagnosis: A comprehensive review and future research directions

abstract: Schizophrenia (SCZ) is a brain disorder where different people experience different symptoms, such as hallucination, delusion, flat-talk, disorganized thinking, etc. In the long term, this can cause severe effects and diminish life expectancy by more than ten years. Therefore, early and accurate diagnosis of SCZ is prevalent, and modalities like structural magnetic resonance imaging (sMRI), functional MRI (fMRI), diffusion tensor imaging (DTI), and electroencephalogram (EEG) assist in witnessing the brain abnormalities of the patients. Moreover, for accurate diagnosis of SCZ, researchers have used machine learning (ML) algorithms for the past decade to distinguish the brain patterns of healthy and SCZ brains using MRI and fMRI images. This paper seeks to acquaint SCZ researchers with ML and to discuss its recent applications to the field of SCZ study. This paper comprehensively reviews state-of-the-art techniques such as ML classifiers, artificial neural network (ANN), deep learning (DL) models, methodological fundamentals, and applications with previous studies. The motivation of this paper is to benefit from finding the research gaps that may lead to the development of a new model for accurate SCZ diagnosis. The paper concludes with the research finding, followed by the future scope that directly contributes to new research directions.


title: Many-body interaction on near-field radiative heat transfer between two nanoparticles caused by proximate particle ensembles

abstract: Near-field radiative heat transfer (NFRHT) has received growing attention because of its high intensity far beyond the Planck's black-body limit. Insertion of a third object in proximity of the two articles can significantly influence and manipulate its NFRHT. However, for the system composed of many particles, the effect of many-body interaction (MBI) on NFRHT between arbitrary two particles is still not well understood. In this work, the MBI is studied for two particles with three typical proximate ensembles: particle chain, plane and grating. With the increasing of proximate particle size, the MBI on NFRHT will experience a radical change from inhibition to enhancement. The polarizability of the proximate particle increases with particle radius, which enhances the interaction between the proximate particles and the main particle, and then results in enhancement of NFRHT between the main particles. When twisting the proximate particle ensemble, the proximate MBI accounts for a smooth and non-oscillated twisting angle dependence of NFRHT, different from the oscillation phenomenon of NFRHT for particle gratings. This work deepens the understanding of NFRHT in dense particulate systems.


title: A Robust Classification Framework for Byzantine-Resilient Stochastic Gradient Descent

abstract: This paper proposes a Robust Gradient Classification Framework (RGCF) for Byzantine fault tolerance in distributed stochastic gradient descent. The framework consists of a pattern recognition filter which we train to be able to classify individual gradients as Byzantine by using their direction alone. This filter is robust to an arbitrary number of Byzantine workers for convex as well as non-convex optimisation settings, which is a significant improvement on the prior work that is robust to Byzantine faults only when up to 50% of the workers are Byzantine. This solution does not require an estimate of the number of Byzantine workers; its running time is not dependent on the number of workers and can scale up to training instances with a large number of workers without a loss in performance. We validate our solution by training convolutional neural networks on the MNIST dataset in the presence of Byzantine workers.


title: A Comprehensive Review of Modern Object Segmentation Approaches

abstract: Image segmentation is the task of associating pixels in an image with their respective object class labels. It has a wide range of applications in many industries including healthcare, transportation, robotics, fashion, home improvement, and tourism. Many deep learning-based approaches have been developed for image-level object recognition and pixel-level scene understanding-with the latter requiring a much denser annotation of scenes with a large set of objects. Extensions of image segmentation tasks include 3D and video segmentation, where units of voxels, point clouds, and video frames are classified into different objects. We use "Object Segmentation" to refer to the union of these segmentation tasks. In this monograph, we investigate both traditional and modern object segmentation approaches, comparing their strengths, weaknesses, and utilities. We examine in detail the wide range of deep learning-based segmentation techniques developed in recent years, provide a review of the widely used datasets and evaluation metrics, and discuss potential future research directions.


title: Multi-objective Software Architecture Refactoring driven by Quality Attributes

abstract: Architecture optimization is the process of automatically generating design options, typically to enhance software's quantifiable quality attributes, such as performance and reliability. Multi-objective optimization approaches have been used in this situation to assist the designer in selecting appropriate trade-offs between a number of non-functional features. Through automated refactoring, design alternatives can be produced in this process, and assessed using non-functional models. This type of optimization tasks are hard and time- and resource-intensive, which frequently hampers their use in software engineering procedures. In this paper, we present our optimization framework where we examined the performance of various genetic algorithms. We also exercised our framework with two case studies with various levels of size, complexity, and domain served as our test subjects.


title: The steady behavior of the supercritical carbon dioxide natural circulation loop

abstract: The steady state behavior of thermodynamically supercritical natural circulation loops (NCLs) is investigated in this work. Experimental steady state results with supercritical carbon dioxide are presented for reduced pressures in the range of 1.1-1.5, and temperatures in the range of 20-65 {\deg}C. Distinct thermodynamic states are reached by traversing a set of isochors. A generalized equation for the prediction of the steady state is presented, and its performance is assessed using empirical data. Changes of mass flow rate as a result of changes of thermodynamic state, heating- and driving height are shown to be accurately captured by the proposed predictive equation. However, the enhanced viscous losses in the instrumentation of the loop and in the proximity of heat transfer equipment are shown to significantly limit the steady state flow rate. Subsequently, the findings are put forward in aid of the development of safe, novel supercritical natural circulation facilities.


title: Multimodal Side-Tuning for Document Classification

abstract: In this paper, we propose to exploit the side-tuning framework for multimodal document classification. Side-tuning is a methodology for network adaptation recently introduced to solve some of the problems related to previous approaches. Thanks to this technique it is actually possible to overcome model rigidity and catastrophic forgetting of transfer learning by fine-tuning. The proposed solution uses off-the-shelf deep learning architectures leveraging the side-tuning framework to combine a base model with a tandem of two side networks. We show that side-tuning can be successfully employed also when different data sources are considered, e.g. text and images in document classification. The experimental results show that this approach pushes further the limit for document classification accuracy with respect to the state of the art.


title: Model-agnostic machine learning of conservation laws from data

abstract: We present a machine learning based method for learning first integrals of systems of ordinary differential equations from given trajectory data. The method is model-agnostic in that it does not require explicit knowledge of the underlying system of differential equations that generated the trajectories. As a by-product, once the first integrals have been learned, also the system of differential equations will be known. We illustrate our method by considering several classical problems from the mathematical sciences.


title: Ameliorating transport system focusing on sustainability and inclusiveness through a mixed-method research (A case study in Tehran, Iran)

abstract: Numerous studies have examined issues such as sustainable transport and urban inclusion; yet there is a gap about disadvantaged people and the hindrances they encounter in terms of public transportation. This study assesses sustainability of transport system in the context of district 8 of Tehran, Iran, focusing on needs of disadvantaged groups, and giving suggestions to ameliorate the condition of transport planning using a mixed method research consist of face-to-face focus groups with elderlies, children, women and disabled people, questionnaire, map analysis (network analysis using ArcGIS) and key informant interview. The results reveal that there are various burdens for disadvantaged people including lack of enthusiasm toward active modes of transport because of safety problems, cost-ineffectiveness and inefficacy of public transportation for some disabled individuals. The recommendations for the area regarding the problems are dividing the district into smaller sub-districts, designing a complete street and location allocation of a park and ride system.


title: Redox evolution of the crystallizing terrestrial magma ocean and its influence on atmosphere outgassing

abstract: Magma oceans are episodes of large-scale melting of the mantle of terrestrial planets. The energy delivered by the Moon-forming impact induced a deep magma ocean on the young Earth, corresponding to the last episode of core-mantle equilibration. The crystallization of this magma ocean led to the outgassing of volatiles initially present in the Earth's mantle, resulting in the formation of a secondary atmosphere. During outgassing, the magma ocean acts as a chemical buffer for the atmosphere via the oxygen fugacity, set by the equilibrium between ferrous- and ferric-iron oxides in the silicate melts. By tracking the evolution of the oxygen fugacity during magma ocean solidification, we model the evolving composition of a C-O-H atmosphere. We use the atmosphere composition to calculate its thermal structure and radiative flux. This allows us to calculate the lifetime of the terrestrial magma ocean. We find that, upon crystallizing, the magma ocean evolves from a mildly reducing to a highly oxidized redox state, thereby transiting from a CO- and H2-dominated atmosphere to a CO2- and H2O-dominated one. We find the overall duration of the magma ocean crystallization to depend mostly on the bulk H content of the mantle, and to remain below 1.5 millions years for up to 9 Earth's water oceans' worth of H. Our model also suggests that reduced atmospheres emit lower infrared radiation than oxidized ones, despite of the lower greenhouse effect of reduced species, resulting in a longer magma ocean lifetime in the former case. Although developed for a deep magma ocean on Earth, the framework applies to all terrestrial planet and exoplanet magma oceans, depending on their volatile budgets.


title: Exploring the Temporal Variation of the Solar Quadrupole Moment J2

abstract: Recently, Rozelot & Eren pointed out that the first solar gravitational moment (J2) might exhibit a temporal variation. The suggested explanation is through the temporal variation of the solar rotation with latitude. This issue is deeper developed due to an accurate knowledge of the long-term variations in solar differential rotation regarding solar activity. Here we analyze solar cycles 12-24, investigating the long-term temporal variations in solar differential rotation. It is shown that J2 exhibits a net modulation over the 13 studied cycles of approximately (89.6 +- 0.1) yr, with a peak-to-peak amplitude of approximately 0.1 x 10-7 for a reference value of 2.07 x 10-7). Moreover, J2 exhibits a positive linear trend in the period of minima solar activity (sunspot number up to around 40) and a marked declining trend in the period of maxima (sunspot number above 50). In absolute magnitude, the mean value of J2 is more significant during periods of minimum than in periods of maximum. These findings are based on observational results that are not free of errors and can be refined further by considering torsional oscillations for example. They are comforted by identifying a periodic variation of the J2 term evidenced through the analysis of the perihelion precession of planetary orbits either deduced from ephemerides or computed in the solar equatorial coordinate system instead of the ecliptic coordinate one usually used.


title: Graphix-T5: Mixing Pre-Trained Transformers with Graph-Aware Layers for Text-to-SQL Parsing

abstract: The task of text-to-SQL parsing, which aims at converting natural language questions into executable SQL queries, has garnered increasing attention in recent years, as it can assist end users in efficiently extracting vital information from databases without the need for technical background. One of the major challenges in text-to-SQL parsing is domain generalization, i.e., how to generalize well to unseen databases. Recently, the pre-trained text-to-text transformer model, namely T5, though not specialized for text-to-SQL parsing, has achieved state-of-the-art performance on standard benchmarks targeting domain generalization. In this work, we explore ways to further augment the pre-trained T5 model with specialized components for text-to-SQL parsing. Such components are expected to introduce structural inductive bias into text-to-SQL parsers thus improving model's capacity on (potentially multi-hop) reasoning, which is critical for generating structure-rich SQLs. To this end, we propose a new architecture GRAPHIX-T5, a mixed model with the standard pre-trained transformer model augmented by some specially-designed graph-aware layers. Extensive experiments and analysis demonstrate the effectiveness of GRAPHIX-T5 across four text-to-SQL benchmarks: SPIDER, SYN, REALISTIC and DK. GRAPHIX-T5 surpass all other T5-based parsers with a significant margin, achieving new state-of-the-art performance. Notably, GRAPHIX-T5-large reach performance superior to the original T5-large by 5.7% on exact match (EM) accuracy and 6.6% on execution accuracy (EX). This even outperforms the T5-3B by 1.2% on EM and 1.5% on EX.


title: The Cosmological Arrow of Time and the Retarded Potentials

abstract: We demonstrate that the cosmological arrow of time is the cause for the arrow of time associated with the retarded radiation. This implies that the proposed mathematical model serves to confirm the hypothesis of Gold and Wheeler that the stars radiate light instead of consuming it only because the universe is expanding -- just like the darkness of the night sky is a side-effect of the global cosmological expansion.


title: Coverage of Course Topics in Learnersourced SQL Exercises

abstract: Learnersourcing is a common task in modern computing classrooms, where it is used, for example, for the creation of educational resources such as multiple-choice questions and programming exercises. One less studied type of learnersourced artefact is SQL exercises. In this work, we explore how well different SQL topics are covered by learnersourced SQL exercises. Covering most course topics would allow students to practice the full content of the course by completing learnersourced exercises. Our results suggest that learnersourcing can be used to create a large pool of SQL exercises that cover most of the topics of the course.


title: PEZY-SC3: A MIMD Many-core Processor for Energy-efficient Computing

abstract: PEZY-SC3 is a highly energy- and area-efficient processor for supercomputers developed using TSMC 7nm process technology. It is the third generation of the PEZY-SCx series developed by PEZY Computing, K.K. Supercomputers equipped with the PEZY-SCx series have been deployed at several research centers and are used for large scale scientific calculations. PEZY-SC3 outperforms previous PEZY-SCx and other processors in terms of energy and area efficiency. To achieve high efficiency, PEZY-SC3 employs a MIMD many-core, fine-grained multithreading, and non-coherent cache, focusing on applications involving high thread-level parallelism. Our MIMD many-core-based architecture achieves high efficiency while providing higher programmability than existing architectures based on specialized tensor units with limited functionality or wide-SIMD. Another key point of this architecture is to achieve both high efficiency and high throughput without using complex and expensive units such as out-of-order schedulers. Moreover, our novel non-coherent and hierarchical cache system enables high scalability on many-core without compromising programmability. The energy efficiency of a system equipped with PEZY-SC3 is approximately 24.6 GFlops/W, and it ranked 12th in the Green500 (November 2021), which measures the energy efficiency of supercomputers. In terms of processor architecture, all the systems ranked higher than the PEZY-SC3 system are equipped with NVIDIA A100 or Preferred Networks MN-Core, and thus PEZY-SC3 is the third-ranked processor after them. While A100 and MN-Core achieve high energy efficiency with tensor units specialized for specific functions, PEZY-SC3 does not have such specialized tensor units and thus has higher programmability.


title: A Survey on Han's Conjecture

abstract: In 1989, D. Happel pointed out for a possible connection between the global dimension of a finite-dimensional algebra and its Hochschild cohomology: is it true that the vanishing of Hochschild cohomology higher groups is sufficient to deduce that the global dimension is finite? After the discovery of a counterexample, Y. Han proposed, in 2006, to reformulate this question to homology. In this survey, after introducing the concepts and results involved, I present the efforts made until now towards the comprehension of Han's conjecture; which includes: examples of algebras that have been proven to satisfy it and extensions that preserve it.


title: Optimization Algorithms in Smart Grids: A Systematic Literature Review

abstract: Electrical smart grids are units that supply electricity from power plants to the users to yield reduced costs, power failures/loss, and maximized energy management. Smart grids (SGs) are well-known devices due to their exceptional benefits such as bi-directional communication, stability, detection of power failures, and inter-connectivity with appliances for monitoring purposes. SGs are the outcome of different modern applications that are used for managing data and security, i.e., modeling, monitoring, optimization, and/or Artificial Intelligence. Hence, the importance of SGs as a research field is increasing with every passing year. This paper focuses on novel features and applications of smart grids in domestic and industrial sectors. Specifically, we focused on Genetic algorithm, Particle Swarm Optimization, and Grey Wolf Optimization to study the efforts made up till date for maximized energy management and cost minimization in SGs. Therefore, we collected 145 research works (2011 to 2022) in this systematic literature review. This research work aims to figure out different features and applications of SGs proposed in the last decade and investigate the trends in popularity of SGs for different regions of world. Our finding is that the most popular optimization algorithm being used by researchers to bring forward new solutions for energy management and cost effectiveness in SGs is Particle Swarm Optimization. We also provide a brief overview of objective functions and parameters used in the solutions for energy and cost effectiveness as well as discuss different open research challenges for future research works.


title: A Bayesian Nonparametric Stochastic Block Model for Directed Acyclic Graphs

abstract: Directed acyclic graphs (DAGs) are commonly used in statistics as models, such as Bayesian networks. In this article, we propose a stochastic block model for data that are DAGs. Two main features of this model are the incorporation of the topological ordering of nodes as a parameter, and the use of the Pitman-Yor process as the prior for the allocation vector. In the resultant Markov chain Monte Carlo sampler, not only are the topological ordering and the number of groups inferred, but a model selection step is also included to select between the two regimes of the Pitman-Yor process. The model and the sampler are applied to two citation networks.


title: Error Field and Correction Coils in DTT: a preliminary analysis

abstract: The Divertor Tokamak Test (DTT) facility, construction starting at Frascati, Italy, is designed to test different solutions for divertor in view of DEMO. A preliminary analysis of the error fields (EFs) assumed a simplified model of rigid and independent displacements and rotations. A methodology based on the first order truncated Taylor expansion has been applied, linking the displacement parameters and the EFs within the required accuracies. A system of in-vessel copper coils has been designed to counteract EFs and the ampere-turns necessary to force them back within the request limits has been calculated. Here, the details of the analysis have been provided.


title: Towards the development of Dynamic Networked Psychology Hypotheses

abstract: Individual and community psychology plays an important role in disaster management as human behavior exhibit diverse risk perceptions, recognition of the threats that exists, positive and negative emotions, panic, anger, rumor, stress and learned helplessness. These psychological factors are important as lack of attention to these can lead to detrimental outcome of disaster management effort. Disaster psychology has been seen as an emerging area of research and practice which deals with understanding of the psychological impact of individuals and community aftermath of the disasters. The aim of this paper is to put forward the conceptualization and development of dynamic networked psychology as a theoretical framework and its implications in exploring emotional contagion during disasters. We advocate theories of structural network dynamics can be used to construct DNP for exploring individuals as well as community coping mechanisms for improving preparedness, response and recovery of disasters. The advent of computational social science promotes the empirical modelling and analysis of massive volume of user data by inferring meaningful patterns for finding answers to important social and behavioral science research questions dealing with individual and community coping ability. In presenting a theoretical framework, we suggest that the underlying assumptions and integration of theories of social influence can be used to explore networks of emotional contagion for disasters.


title: Quality Attributes Optimization of Software Architecture: Research Challenges and Directions

abstract: The estimation and improvement of quality attributes in software architectures is a challenging and time-consuming activity. On modern software applications, a model-based representation is crucial to face the complexity of such activity. One main challenge is that the improvement of distinctive quality attributes may require contrasting refactoring actions on the architecture, for instance when looking for trade-off between performance and reliability (or other non-functional quality attributes). In such cases, multi-objective optimization can provide the designer with a more complete view on these trade-offs and, consequently, can lead to identify suitable refactoring actions that take into account independent or even competing objectives. In this paper, we present open challenges and research directions to fill current gaps in the context of multi-objective software architecture optimization.


title: Hairer's multilevel Schauder estimates without Regularity Structures

abstract: We investigate the regularising properties of singular kernels at the level of germs, i.e. families of distributions indexed by points in $\mathbb{R}^d$. First we construct a suitable integration map which acts on general coherent germs. Then we focus on germs that can be decomposed along a basis (corresponding to the so-called modelled distributions in Regularity Structures) and we prove a version of Hairer's multilevel Schauder estimates in this setting, with minimal assumptions.


title: Alignment of air showers produced by ultra-high energy cosmic rays at the Pierre Auger Observatory

abstract: We show that the energy-weighted angular (zenith, azimuth) distribution of extensive air showers (EAS), produced by Ultra High Energy (UHE) cosmic rays at the Pierre Auger Observatory (PAO), has a thrust axis almost transverse to the interplanetary magnetic field (IMF), with a thrust value $Tp \geq 0.64$ ( where 1.0 means a perfect alignment and 0.5 isotropy). This behavior strongly suggests an effect of the IMF on the charged shower particles, producing additional lateral scattering. We discuss the weakening of the Earth's magnetic field during geomagnetic storms (30\% of observational time) when the IMF becomes preponderant, strengthening the alignment.

categories: astro-ph.HE astro-ph.EP astro-ph.GA physics.space-ph


title: Site-specific weed management in corn using UAS imagery analysis and computer vision techniques

abstract: Currently, weed control in commercial corn production is performed without considering weed distribution information in the field. This kind of weed management practice leads to excessive amounts of chemical herbicides being applied in a given field. The objective of this study was to perform site-specific weed control (SSWC) in a corn field by 1) using an unmanned aerial system (UAS) to map the spatial distribution information of weeds in the field; 2) creating a prescription map based on the weed distribution map, and 3) spraying the field using the prescription map and a commercial size sprayer. In this study, we are proposing a Crop Row Identification (CRI) algorithm, a computer vision algorithm that identifies corn rows on UAS imagery. After being identified, the corn rows were then removed from the imagery and the remaining vegetation fraction was classified as weeds. Based on that information, a grid-based weed prescription map was created and the weed control application was implemented through a commercial-size sprayer. The decision of spraying herbicides on a particular grid was based on the presence of weeds in that grid cell. All the grids that contained at least one weed were sprayed, while the grids free of weeds were not. Using our SSWC approach, we were able to save 26.23\% of the land (1.97 acres) from being sprayed with chemical herbicides compared to the existing method. This study presents a full workflow from UAS image collection to field weed control implementation using a commercial-size sprayer, and it shows that some level of savings can potentially be obtained even in a situation with high weed infestation, which might provide an opportunity to reduce chemical usage in corn production systems.


title: Adversarial AI in Insurance: Pervasiveness and Resilience

abstract: The rapid and dynamic pace of Artificial Intelligence (AI) and Machine Learning (ML) is revolutionizing the insurance sector. AI offers significant, very much welcome advantages to insurance companies, and is fundamental to their customer-centricity strategy. It also poses challenges, in the project and implementation phase. Among those, we study Adversarial Attacks, which consist of the creation of modified input data to deceive an AI system and produce false outputs. We provide examples of attacks on insurance AI applications, categorize them, and argue on defence methods and precautionary systems, considering that they can involve few-shot and zero-shot multilabelling. A related topic, with growing interest, is the validation and verification of systems incorporating AI and ML components. These topics are discussed in various sections of this paper.


title: Detection of Illegal Kiln Activity During SMOG Period

abstract: Brick Kilns are known to be a leading cause of air pollution. The toxins and gaseous emissions from brick kilns leads to SMOG. It is a mixture of invisible toxic gases such as carbon monoxide (CO), ozone (O$_3$), sulphur dioxide (SO$_2$) and particulate matter like soot and carcinogens. We propose how low spatial resolution remote sensing data can be used to identify illegal industrial activity i.e. kiln operation particularly during winter SMOG period through heat signature values and the concentration of gases like CO, NO$_2$, SO$_2$ and O$_3$ in the atmosphere.


title: LIGO-India: A Decadal Assessment on Its Scope, Relevance, Progress, and Future

abstract: The LIGO-India project to build and operate an advanced LIGO (aLIGO) gravitational wave (GW) detector in India in collaboration with LIGO-USA was considered and initiated as an Indian national megascience project in 2011. Procedural formalities and site selection efforts progressed since then and the provisional approval for the Indian national project was obtained in 2016, immediately following the first direct detection of gravitational waves with the aLIGO detectors. With KAGRA GW detector in Japan being tuned to be part of the GW detector network, it is now the occasion to assess the progress of LIGO-India project, and evaluate its relevance and scope for gravitational wave science and astronomy. Various key factors like human-power, management, funding, schedule etc., in the implementation of the project are reassessed in the backdrop of the evolution of the global GW detector sensitivity. In what I consider as a realistic estimate, it will take more than a decade, beyond 2032, to commission the detector even with a fraction of the projected design sensitivity. I estimate that the budget for implementation will be more than doubled, to about Rs. 35 billion (> $430 million). The detrimental consequences for the project are discussed, from my personal point of view. However, a revamped action plan with urgency and the right leadership can make LIGO-India a late but significant success for multi-messenger astronomy for several years after 2032, because of its design similitude to the operational aLIGO detectors. For achieving this, it is imperative that the LIGO-India detector is replanned and launched in the post-O5 upgraded A# version, similar to the projected LIGO-USA detectors.


title: Potts Model with Invisible States: A Review

abstract: The Potts model with invisible states was introduced to explain discrepancies between theoretical predictions and experimental observations of phase transitions in some systems where $Z_q$ symmetry is spontaneously broken. It differs from the ordinary $q$-state Potts model in that each spin, besides the usual $q$ visible states, can be also in any of $r$ so-called invisible states. Spins in an invisible state do not interact with their neighbours but they do contribute to the entropy of the system. As a consequence, an increase in $r$ may cause a phase transition to change from second to first order. Potts models with invisible states describe a number of systems of interest in physics and beyond and have been treated by various tools of statistical and mathematical physics. In this paper we aim to give a review of this fundamental topic.


title: Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions

abstract: There is abundant observational data in the software engineering domain, whereas running large-scale controlled experiments is often practically impossible. Thus, most empirical studies can only report statistical correlations -- instead of potentially more insightful and robust causal relations. To support analyzing purely observational data for causal relations, and to assess any differences between purely predictive and causal models of the same data, this paper discusses some novel techniques based on structural causal models (such as directed acyclic graphs of causal Bayesian networks). Using these techniques, one can rigorously express, and partially validate, causal hypotheses; and then use the causal information to guide the construction of a statistical model that captures genuine causal relations -- such that correlation does imply causation. We apply these ideas to analyzing public data about programmer performance in Code Jam, a large world-wide coding contest organized by Google every year. Specifically, we look at the impact of different programming languages on a participant's performance in the contest. While the overall effect associated with programming languages is weak compared to other variables -- regardless of whether we consider correlational or causal links -- we found considerable differences between a purely associational and a causal analysis of the very same data. The takeaway message is that even an imperfect causal analysis of observational data can help answer the salient research questions more precisely and more robustly than with just purely predictive techniques -- where genuine causal effects may be confounded.


title: OmniObject3D: Large-Vocabulary 3D Object Dataset for Realistic Perception, Reconstruction and Generation

abstract: Recent advances in modeling 3D objects mostly rely on synthetic datasets due to the lack of large-scale realscanned 3D databases. To facilitate the development of 3D perception, reconstruction, and generation in the real world, we propose OmniObject3D, a large vocabulary 3D object dataset with massive high-quality real-scanned 3D objects. OmniObject3D has several appealing properties: 1) Large Vocabulary: It comprises 6,000 scanned objects in 190 daily categories, sharing common classes with popular 2D datasets (e.g., ImageNet and LVIS), benefiting the pursuit of generalizable 3D representations. 2) Rich Annotations: Each 3D object is captured with both 2D and 3D sensors, providing textured meshes, point clouds, multiview rendered images, and multiple real-captured videos. 3) Realistic Scans: The professional scanners support highquality object scans with precise shapes and realistic appearances. With the vast exploration space offered by OmniObject3D, we carefully set up four evaluation tracks: a) robust 3D perception, b) novel-view synthesis, c) neural surface reconstruction, and d) 3D object generation. Extensive studies are performed on these four benchmarks, revealing new observations, challenges, and opportunities for future research in realistic 3D vision.


title: AutoFraudNet: A Multimodal Network to Detect Fraud in the Auto Insurance Industry

abstract: In the insurance industry detecting fraudulent claims is a critical task with a significant financial impact. A common strategy to identify fraudulent claims is looking for inconsistencies in the supporting evidence. However, this is a laborious and cognitively heavy task for human experts as insurance claims typically come with a plethora of data from different modalities (e.g. images, text and metadata). To overcome this challenge, the research community has focused on multimodal machine learning frameworks that can efficiently reason through multiple data sources. Despite recent advances in multimodal learning, these frameworks still suffer from (i) challenges of joint-training caused by the different characteristics of different modalities and (ii) overfitting tendencies due to high model complexity. In this work, we address these challenges by introducing a multimodal reasoning framework, AutoFraudNet (Automobile Insurance Fraud Detection Network), for detecting fraudulent auto-insurance claims. AutoFraudNet utilizes a cascaded slow fusion framework and state-of-the-art fusion block, BLOCK Tucker, to alleviate the challenges of joint-training. Furthermore, it incorporates a light-weight architectural design along with additional losses to prevent overfitting. Through extensive experiments conducted on a real-world dataset, we demonstrate: (i) the merits of multimodal approaches, when compared to unimodal and bimodal methods, and (ii) the effectiveness of AutoFraudNet in fusing various modalities to boost performance (over 3\% in PR AUC).


title: Evaluating Permissioned Blockchain Using Stochastic Modeling and Chaos Engineering

abstract: Blockchain and distributed ledger technologies rely on distributed consensus algorithms. In recent years many consensus algorithms and protocols have been proposed; most of them are for permissioned blockchain networks. However, the performance of these algorithms is not well understood. This paper introduces an approach to evaluating consensus algorithms and blockchain platforms in a hostile network environment with the presence of byzantine and other network failures. The approach starts by using stochastic modeling to model the behaviors of consensus algorithms under different typical and faulty operational scenarios. Next, we implemented a blockchain application using different consensus protocols and tested their performance using chaos engineering techniques. To demonstrate our generic evaluation approach, we analyze the performance of four permissioned blockchain platforms and their consensus protocols. Our results showed that stochastic modeling is an inexpensive and efficient technique for analyzing consensus protocols. But they do not represent the actual performance of the consensus protocols in a production environment. Moreover, an experiment with chaos engineering indicates that if two different blockchain platforms use the same blockchain algorithm or protocol, we should not assume they will have similar performance. Therefore, It is also essential to consider the role of platform architecture and how the protocols are engineered in a given platform.


title: Quantum-inspired tensor network for Earth science

abstract: Deep Learning (DL) is one of many successful methodologies to extract informative patterns and insights from ever increasing noisy large-scale datasets (in our case, satellite images). However, DL models consist of a few thousand to millions of training parameters, and these training parameters require tremendous amount of electrical power for extracting informative patterns from noisy large-scale datasets (e.g., computationally expensive). Hence, we employ a quantum-inspired tensor network for compressing trainable parameters of physics-informed neural networks (PINNs) in Earth science. PINNs are DL models penalized by enforcing the law of physics; in particular, the law of physics is embedded in DL models. In addition, we apply tensor decomposition to HyperSpectral Images (HSIs) to improve their spectral resolution. A quantum-inspired tensor network is also the native formulation to efficiently represent and train quantum machine learning models on big datasets on GPU tensor cores. Furthermore, the key contribution of this paper is twofold: (I) we reduced a number of trainable parameters of PINNs by using a quantum-inspired tensor network, and (II) we improved the spectral resolution of remotely-sensed images by employing tensor decomposition. As a benchmark PDE, we solved Burger's equation. As practical satellite data, we employed HSIs of Indian Pine, USA and of Pavia University, Italy.


title: Measurement of Differential Distributions of $B \to D^* \ell \bar \nu_\ell$ and Implications on $|V_{cb}|$

abstract: We present a measurement of the differential shapes of exclusive $B\to D^* \ell \bar{\nu}_\ell$ ($B = B^-, \bar{B}^0 $ and $\ell = e, \mu$) decays with hadronic tag-side reconstruction for the full Belle data set of $711\,\mathrm{fb}^{-1}$ integrated luminosity. We extract the Caprini-Lellouch-Neubert (CLN) and Boyd-Grinstein-Lebed (BGL) form factor parameters and use an external input for the absolute branching fractions to determine the Cabibbo-Kobayashi-Maskawa matrix element and find $|V_{cb}|_\mathrm{CLN} = (40.1\pm0.9)\times 10^{-3}$ and $|V_{cb}|_\mathrm{BGL} = (40.6\pm 0.9)\times 10^{-3}$ with the zero-recoil lattice QCD point $\mathcal{F}(1) = 0.906 \pm 0.013$. We also perform a study of the impact of preliminary beyond zero-recoil lattice QCD calculations on the $|V_{cb}|$ determinations. Additionally, we present the lepton flavor universality ratio $R_{e\mu} = \mathcal{B}(B \to D^* e \bar{\nu}_e) / \mathcal{B}(B \to D^* \mu \bar{\nu}_\mu) = 0.990 \pm 0.021 \pm 0.023$, the electron and muon forward-backward asymmetry and their difference $\Delta A_{FB}=0.022\pm0.026\pm 0.007$, and the electron and muon $D^*$ longitudinal polarization fraction and their difference $\Delta F_L^{D^*} = 0.034 \pm 0.024 \pm 0.007$. The uncertainties quoted correspond to the statistical and systematic uncertainties, respectively.


title: Optimistically Tempered Online Learning

abstract: Optimistic Online Learning algorithms have been developed to exploit expert advices, assumed optimistically to be always useful. However, it is legitimate to question the relevance of such advices \emph{w.r.t.} the learning information provided by gradient-based online algorithms. In this work, we challenge the confidence assumption on the expert and develop the \emph{optimistically tempered} (OT) online learning framework as well as OT adaptations of online algorithms. Our algorithms come with sound theoretical guarantees in the form of dynamic regret bounds, and we eventually provide experimental validation of the usefulness of the OT approach.


title: Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction

abstract: This paper aims to enhance the computational efficiency of safety verification of neural network control systems by developing a guaranteed neural network model reduction method. First, a concept of model reduction precision is proposed to describe the guaranteed distance between the outputs of a neural network and its reduced-size version. A reachability-based algorithm is proposed to accurately compute the model reduction precision. Then, by substituting a reduced-size neural network controller into the closed-loop system, an algorithm to compute the reachable set of the original system is developed, which is able to support much more computationally efficient safety verification processes. Finally, the developed methods are applied to a case study of the Adaptive Cruise Control system with a neural network controller, which is shown to significantly reduce the computational time of safety verification and thus validate the effectiveness of the method.


title: Everett interpretation and Convivial Solipsism

abstract: I show how the quantum paradoxes occurring when we adopt a standard realist framework (or a framework in which the collapse implies a physical change of the state of the system) vanish if we abandon the idea that a measurement is related (directly or indirectly) to a physical change of state. In Convivial Solipsism, similarly to Everett interpretation, there is no collapse of the wave function. But contrary to Everett interpretation, there is only one world. This allows also to get rid of any non-locality and to provide a solution to the Wigner friend problem and its more recent versions.


title: A Multi-Scale Framework for Out-of-Distribution Detection in Dermoscopic Images

abstract: The automatic detection of skin diseases via dermoscopic images can improve the efficiency in diagnosis and help doctors make more accurate judgments. However, conventional skin disease recognition systems may produce high confidence for out-of-distribution (OOD) data, which may become a major security vulnerability in practical applications. In this paper, we propose a multi-scale detection framework to detect out-of-distribution skin disease image data to ensure the robustness of the system. Our framework extracts features from different layers of the neural network. In the early layers, rectified activation is used to make the output features closer to the well-behaved distribution, and then an one-class SVM is trained to detect OOD data; in the penultimate layer, an adapted Gram matrix is used to calculate the features after rectified activation, and finally the layer with the best performance is chosen to compute a normality score. Experiments show that the proposed framework achieves superior performance when compared with other state-of-the-art methods in the task of skin disease recognition.


title: Characterizations of compactness of fuzzy set space with endograph metric

abstract: In this paper, we present the characterizations of total boundedness, relative compactness and compactness in fuzzy set spaces equipped with the endograph metric. The conclusions in this paper significantly improve the corresponding conclusions given in our previous paper [H. Huang, Characterizations of endograph metric and $\Gamma$-convergence on fuzzy sets, Fuzzy Sets and Systems 350 (2018), 55-84]. The results in this paper are applicable to fuzzy sets in a general metric space. The results in our previous paper are applicable to fuzzy sets in the $m$-dimensional Euclidean space $\mathbb{R}^m$, which is a special type of metric space. Furthermore, based on the above results, we give the characterizations of relative compactness, total boundedness and compactness in a kind of common subspaces of general fuzzy sets according to the endograph metric. As an application, we investigate some relationship between the endograph metric and the $\Gamma$-convergence on fuzzy sets.


title: News and Load: A Quantitative Exploration of Natural Language Processing Applications for Forecasting Day-ahead Electricity System Demand

abstract: The relationship between electricity demand and weather is well established in power systems, along with the importance of behavioral and social aspects such as holidays and significant events. This study explores the link between electricity demand and more nuanced information about social events. This is done using mature Natural Language Processing (NLP) and demand forecasting techniques. The results indicate that day-ahead forecasts are improved by textual features such as word frequencies, public sentiments, topic distributions, and word embeddings. The social events contained in these features include global pandemics, politics, international conflicts, transportation, etc. Causality effects and correlations are discussed to propose explanations for the mechanisms behind the links highlighted. This study is believed to bring a new perspective to traditional electricity demand analysis. It confirms the feasibility of improving forecasts from unstructured text, with potential consequences for sociology and economics.


title: Hexapartite steering based on a four-wave-mixing process with a spatially structured pump

abstract: Multipartite Einstein-Podolsky-Rosen (EPR) steering has been widely studied, for realizing safer quantum communication. The steering properties of six spatially separated beams from the four-wave-mixing process with a spatially structured pump are investigated. Behaviors of all (1+i)/(i+1)-mode (i=1,2,3) steerings are understandable, if the role of the corresponding relative interaction strengths are taken into account. Moreover, stronger collective multipartite steerings including five modes also can be obtained in our scheme, which has potential applications in ultra-secure multiuser quantum networks when the issue of trust is critical. By further discussing about all monogamy relations, it is noticed that the type-IV monogamy relations, which are naturally included in our model, are conditionally satisfied. Matrix representation is used to express the steerings for the first time, which is very useful to understand the monogomy relations intuitively. Different steering properties obtained in this compact phase-insensitive scheme have potential applications for different kinds of quantum communication tasks.


title: An Improved Approximation for Maximum Weighted $k$-Set Packing

abstract: We consider the weighted $k$-set packing problem, in which we are given a collection of weighted sets, each with at most $k$ elements and must return a collection of pairwise disjoint sets with maximum total weight. For $k = 3$, this problem generalizes the classical 3-dimensional matching problem listed as one of the Karp's original 21 NP-complete problems. We give an algorithm attaining an approximation factor of $1.786$ for weighted 3-set packing, improving on the recent best result of $2-\frac{1}{63,700,992}$ due to Neuwohner. Our algorithm is based on the local search procedure of Berman that attempts to improve the sum of squared weights rather than the problem's objective. When using exchanges of size at most $k$, this algorithm attains an approximation factor of $\frac{k+1}{2}$. Using exchanges of size $k^2(k-1) + k$, we provide a relatively simple analysis to obtain an approximation factor of 1.811 when $k = 3$. We then show that the tools we develop can be adapted to larger exchanges of size $2k^2(k-1) + k$ to give an approximation factor of 1.786. Although our primary focus is on the case $k = 3$, our approach in fact gives slightly stronger improvements on the factor $\frac{k+1}{2}$ for all $k > 3$. As in previous works, our guarantees hold also for the more general problem of finding a maximum weight independent set in a $(k+1)$-claw free graph.


title: Computing the Coefficients for Non-Periodic Highly Oscillatory Orthonormal Functions

abstract: A three term recurrence relation is derived for a basis consisting of polynomials multiplied by sines and cosines with large, but fixed frequencies. A numerical method for computing the coefficients of the three term recurrence relation is derived.


title: Grouping promotes both partnership and rivalry with long memory in direct reciprocity

abstract: Biological and social scientists have long been interested in understanding how to reconcile individual and collective interests in iterated Prisoner's Dilemma. Many effective strategies have been proposed, and they are often categorized into one of two classes, `partners' and `rivals.' More recently, another class, `friendly rivals,' has been identified in longer-memory strategy spaces. Friendly rivals qualify as both partners and rivals: They fully cooperate with themselves, like partners, but never allow their co-players to earn higher payoffs, like rivals. Although they have appealing theoretical properties, it is unclear whether they would emerge in evolving population because most previous works focus on memory-one strategy space, where no friendly rival strategy exists. To investigate this issue, we have conducted large-scale evolutionary simulations in well-mixed and group-structured populations and compared the evolutionary dynamics between memory-one and memory-three strategy spaces. In a well-mixed population, the memory length does not make a major difference, and the key factors are the population size and the benefit of cooperation. Friendly rivals play a minor role because being a partner or a rival is often good enough in a given environment. It is in a group-structured population that memory length makes a stark difference: When memory-three strategies are available, friendly rivals become dominant, and the cooperation level nearly reaches a maximum, even when the benefit of cooperation is so low that cooperation would not be achieved in a well-mixed population. This result highlights the important interaction between group structure and memory lengths that drive the evolution of cooperation.


title: Inverse problems for a model of biofilm growth

abstract: A bacterial biofilm is an aggregate of micro-organisms growing fixed onto a solid surface, rather than floating freely in a liquid. Biofilms play a major role in various practical situations such as surgical infections and water treatment. We consider a non-linear PDE model of biofilm growth subject to initial and Dirichlet boundary conditions, and the inverse coefficient problem of recovering the unknown parameters in the model from extra measurements of quantities related to the biofilm and substrate. By addressing and analysing this inverse problem we provide reliable and robust reconstructions of the primary physical quantities of interest represented by the diffusion coefficients of substrate and biofilm, the biomass spreading parameters, the maximum specific consumption and growth rates, the biofilm decay rate and the half saturation constant. We give particular attention to the constant coefficients involved in the leading-part non-linearity, and present a uniqueness proof and some numerical results. In the course of the numerical investigation, we have identified extra data information that enables improving the reconstruction of the eight-parameter set of physical quantities associated to the model of biofilm growth.


title: Generative Adversarial Networks to infer velocity components in rotating turbulent flows

abstract: Inference problems for two-dimensional snapshots of rotating turbulent flows are studied. We perform a systematic quantitative benchmark of point-wise and statistical reconstruction capabilities of the linear Extended Proper Orthogonal Decomposition (EPOD) method, a non-linear Convolutional Neural Network (CNN) and a Generative Adversarial Network (GAN). We attack the important task of inferring one velocity component out of the measurement of a second one, and two cases are studied: (I) both components lay in the plane orthogonal to the rotation axis and (II) one of the two is parallel to the rotation axis. We show that EPOD method works well only for the former case where both components are strongly correlated, while CNN and GAN always outperform EPOD both concerning point-wise and statistical reconstructions. For case (II), when the input and output data are weakly correlated, all methods fail to reconstruct faithfully the point-wise information. In this case, only GAN is able to reconstruct the field in a statistical sense. The analysis is performed using both standard validation tools based on $L_2$ spatial distance between the prediction and the ground truth and more sophisticated multi-scale analysis using wavelet decomposition. Statistical validation is based on standard Jensen-Shannon divergence between the probability density functions, spectral properties and multi-scale flatness.

categories: physics.flu-dyn cs.CV cs.LG nlin.CD physics.data-an


title: Quantum Neural Network Inspired Hardware Adaptable Ansatz for Efficient Quantum Simulation of Chemical Systems

abstract: The variational quantum eigensolver is a promising way to solve the Schr\"odinger equation on a noisy intermediate-scale quantum (NISQ) computer, while its success relies on a well-designed wavefunction ansatz. Compared to physically motivated ansatzes, hardware heuristic ansatzes usually lead to a shallower circuit, but it may still be too deep for an NISQ device. Inspired by the quantum neural network, we propose a new hardware heuristic ansatz where the circuit depth can be significantly reduced by introducing ancilla qubits, which makes a practical simulation of a chemical reaction with more than 20 atoms feasible on a currently available quantum computer. More importantly, the expressibility of this new ansatz can be improved by increasing either the depth or the width of the circuit, which makes it adaptable to different hardware environments. These results open a new avenue to develop practical applications of quantum computation in the NISQ era.


title: Large Language Models as Simulated Economic Agents: What Can We Learn from Homo Silicus?

abstract: Newly-developed large language models (LLM) -- because of how they are trained and designed -- are implicit computational models of humans -- a homo silicus. These models can be used the same way economists use homo economicus: they can be given endowments, information, preferences, and so on and then their behavior can be explored in scenarios via simulation. I demonstrate this approach using OpenAI's GPT3 with experiments derived from Charness and Rabin (2002), Kahneman, Knetsch and Thaler (1986) and Samuelson and Zeckhauser (1988). The findings are qualitatively similar to the original results, but it is also trivially easy to try variations that offer fresh insights. Departing from the traditional laboratory paradigm, I also create a hiring scenario where an employer faces applicants that differ in experience and wage ask and then analyze how a minimum wage affects realized wages and the extent of labor-labor substitution.


title: From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems

abstract: We consider cyclic proof systems in which derivations are graphs rather than trees. Such systems typically come with a condition that isolates which derivations are admitted as 'proofs', known as a the soundness condition. This soundness condition frequently takes the form of either a global trace condition, a property dependent on all infinite paths in the proof-graph, or a reset condition, a 'local' condition depending on the simple cycles only which, as a result, is typically stable under more proof transformations. In this article we present a general method for constructing cyclic proof systems with reset condition from cyclic proof with global trace conditions. In contrast to previous approaches, this method of generation is entirely independent of logic's semantics, only relying on combinatorial aspects of the notion of 'trace' and 'progress'. We apply this method to present reset proof systems for three cyclic proof systems from the literature: cyclic arithmetic, cyclic G\"odel's T and cyclic tableaux for the modal {\mu}-calculus.


title: Violation of Lorentz symmetries and thermal effects in Compton scattering

abstract: In this paper, the differential cross section for the Compton scattering process is calculated. Two types of corrections are investigated: corrections due to violation of Lorentz symmetry and thermal effects. An extended QED is considered to introduce the parameter that leads to the breaking of symmetry. While temperature effects are introduced using Thermofield Dynamics formalism. It is shown that the differential cross section changes with both corrections. These corrections are dominant at appropriate limits. These special cases are analyzed and compared with other results from the literature.


title: Relaxation dynamics and finite-size effects in a simple model of condensation

abstract: We consider a simple, purely stochastic model characterized by two conserved quantities (mass density $a$ and energy density $h$) which is known to display a condensation transition when $h > 2a^2$: in the localized phase a single site hosts a finite fraction of the whole energy. Its equilibrium properties in the thermodynamic limit are known and in a recent paper (Gabriele Gotti, Stefano Iubini, Paolo Politi, Phys. Rev. E 103, 052133 (2021)) we studied the transition for finite systems. Here we analyze finite-size effects on the energy distribution and on the relaxation dynamics, showing that extremely large systems should be studied in order to observe the asymptotic distribution and even larger systems should be simulated in order to observe the expected relaxation dynamics.


title: Quad-cascade picture of turbulence

abstract: Although its ubiquitous emergence in nature and variety of systems, turbulence possesses spatio-temporal chaotic, intermittent fluctuations, and makes it impossible to be precisely predicted. Persistent attempts for almost a century have been devoted to capture the invariant laws and hidden deeply universality out of the vast disorder and chaotic nature of turbulence. The celebrated Kolmogorov -5/3 law is robust, but not comprehensive to describe the diverse turbulences, especially in the turbulence driven by external volume forces, e.g. thermal convection, electrokinetic turbulence and etc. Here, we reveal that the fluxes of kinetic energy and scalar variance must be highly coupled to establish a universal conservation law and consequently we successfully unify a much diversity of scaling laws. As an example, in a microfluidic electrokinetic turbulence, additional scaling of -5/3, -9/5 and -7/3 are experimentally found in the power spectra of concentration. With this proposed model, a full quad-cascade picture is eventually complete to unify the various scaling laws for the most complicated physical problem of turbulence.


title: MultiCalib4DEB: A toolbox exploiting multimodal optimisation in Dynamic Energy Budget parameters calibration

abstract: Calibration is a crucial step for the validation of computational models and a challenging task to accomplish. Dynamic Energy Budget (DEB) theory has experienced an exponential rise in the number of published papers, which in large part has been made possible by the DEBtool toolbox. Multimodal evolutionary optimisation could provide DEBtool with new capabilities, particularly relevant on the provisioning of equally optimal and diverse solutions. In this paper we present MultiCalib4DEB, a MATLAB toolbox directly integrated into the existing DEBtool toolbox, which uses multimodal evolutionary optimisation algorithms to find multiple global and local optimal and diverse calibration solutions for DEB models. MultiCalib4DEB adds powerful calibration mechanisms, statistical analysis, and visualisation methods to the DEBtool toolbox and provides a wide range of outputs, different calibration alternatives, and specific tools to strengthen the DEBtool calibration module and to aid DEBtool users to evaluate the performance of the calibration results.


title: Quasi Strongly $E$-preinvexity and its Relationships with Nonlinear Programming

abstract: In this paper, we extend the class of strongly $E$-preinvex and strongly $E$-invex functions to quasi strongly $E$-preinvex, quasi strongly $E$-invex and pseudo strongly $E$-invex functions. Some nontrivial suitable examples have been constructed in support of our definitions. Several interesting properties and relationships of these functions are discussed. Furthermore, to show the application of our results, we consider a nonlinear programming problem and show that the local minimum point is also a strictly global minimum.


title: Logic programming for deliberative robotic task planning

abstract: Over the last decade, the use of robots in production and daily life has increased. With increasingly complex tasks and interaction in different environments including humans, robots are required a higher level of autonomy for efficient deliberation. Task planning is a key element of deliberation. It combines elementary operations into a structured plan to satisfy a prescribed goal, given specifications on the robot and the environment. In this manuscript, we present a survey on recent advances in the application of logic programming to the problem of task planning. Logic programming offers several advantages compared to other approaches, including greater expressivity and interpretability which may aid in the development of safe and reliable robots. We analyze different planners and their suitability for specific robotic applications, based on expressivity in domain representation, computational efficiency and software implementation. In this way, we support the robotic designer in choosing the best tool for his application.


title: Synthetic Hyperspectral Array Video Database with Applications to Cross-Spectral Reconstruction and Hyperspectral Video Coding

abstract: In this paper, a synthetic hyperspectral video database is introduced. Since it is impossible to record ground truth hyperspectral videos, this database offers the possibility to leverage the evaluation of algorithms in diverse applications. For all scenes, depth maps are provided as well to yield the position of a pixel in all spatial dimensions as well as the reflectance in spectral dimension. Two novel algorithms for two different applications are proposed to prove the diversity of applications that can be addressed by this novel database. First, a cross-spectral image reconstruction algorithm is extended to exploit the temporal correlation between two consecutive frames. The evaluation using this hyperspectral database shows an increase in PSNR of up to 5.6 dB dependent on the scene. Second, a hyperspectral video coder is introduced which extends an existing hyperspectral image coder by exploiting temporal correlation. The evaluation shows rate savings of up to 10% depending on the scene. The novel hyperspectral video database and source code is available at https:// github.com/ FAU-LMS/ HyViD for use by the research community.


title: Correcting Stellar Flare Frequency Distributions Detected by TESS and Kepler

abstract: The habitability of planets is closely connected with the stellar activity, mainly the frequency of flares and the distribution of flare energy. Kepler and TESS find many flaring stars are detected via precise time-domain photometric data, and the frequency and energy distribution of stellar flares on different types of stars are studied statistically. However, the completeness and observational bias of detected flare events from different missions (e.g. Kepler and TESS) vary a lot. We use a unified data processing and detection method for flares events based on the light curve from Kepler and TESS. Then we perform injection and recovery tests in the original light curve of each star for each flare event to correct the completeness and energy of flares. Three samples of flaring stars are selected from Kepler and TESS, with rotating periods from 1 to $\sim$ 5 days. Adopting a hot-blackbody assumption, our results show that the cumulative flare frequency distributions (FFDs) of the same stars in Kepler and TESS bands tend to be consistent after correction, revealing a more natural flaring frequency and energy distribution. Our results also extend the low-energy limit in cumulative FFD fitting to $10^{31.5-33}$ erg on different types of stars. For solar-type stars, the average power-law index of cumulative FFD ($\alpha_{\rm cum}$) is $-0.84$, which indicates that low-energy flares contribute less to the total flare energy. With a piecewise correlation between $\alpha_{\rm cum}$ and $T_{\rm eff}$, $\alpha_{\rm cum}$ first rises with $T_{\rm eff}$ from M2 to K1 stars, then slightly decreases for stars hotter than K1.


title: Making Chiral Topological Superconductivities from Non-topological Superconductivities Through the Twist

abstract: In this paper, we propose a general scheme to realize chiral TSCs through the "twistronics". Suppose we have a $D_n$-symmetric monolayer superconductor, which carries non-topological SC with pairing angular momentum $L=n/2$. Here we propose that we can obtain chiral TSC with the same $L$, by stacking two such monolayers with the largest twist angle $\pi/n$, forming a Moireless quasi-crystal (QC) structure, dubbed as the twist-bilayer QC (TB-QC) here. The chiral TSC in the TB-QC is driven by the interlay Josephson coupling between the pairing order parameters of the two layers. An argument based on the universal Ginzburg-Landau theory is provided to understand this proposal. One known example which fits our proposal is the $d+id$-chiral TSC in the 45$^\circ$-twisted bilayer cuprates. Here, based on the microscopic framework developed previously to treat with the electron-electron interactions in the TB-QC, we demonstrate the application of our proposal to a new example, i.e., the $f+if$-chiral TSC obtained by twisting two properly-doped honeycomb-Hubbard-model monolayers by the angle 30$^\circ$. This example is related to the newly synthesized 30$^\circ$-twisted bilayer graphene.


title: A quantum-classical decomposition of Gaussian quantum environments: a stochastic pseudomode model

abstract: We show that the effect of a Gaussian Bosonic environment linearly coupled to a quantum system can be simulated by a stochastic Lindblad master equation characterized by a set of ancillary Bosonic modes initially at zero temperature and classical stochastic fields. We test the method for Ohmic environments with exponential and polynomial cut-offs against, respectively, the Hierarchical Equations of Motion and the deterministic pseudomode model with respect to which the number of ancillary quantum degrees of freedom is reduced. For a subset of rational spectral densities, all parameters are explicitly specified without the need of any fitting procedure, thereby simplifying the modeling strategy. Interestingly, the classical fields in this decomposition must sometimes be imaginary-valued, which can have counter-intuitive effects on the system properties which we demonstrate by showing that they can decrease the entropy of the system, in contrast to real-valued fields.


title: Grid is Good: Adaptive Refinement Algorithms for Off-the-Grid Total Variation Minimization

abstract: We propose an adaptive refinement algorithm to solve total variation regularized measure optimization problems. The method iteratively constructs dyadic partitions of the unit cube based on i) the resolution of discretized dual problems and ii) on the detection of cells containing points that violate the dual constraints. The detection is based on upper-bounds on the dual certificate, in the spirit of branch-and-bound methods. The interest of this approach is that it avoids the use of heuristic approaches to find the maximizers of dual certificates. We prove the convergence of this approach under mild hypotheses and a linear convergence rate under additional non-degeneracy assumptions. These results are confirmed by simple numerical experiments.


title: Non-linear programming problem for semi strongly $E$-preinvexity

abstract: In this article, we present semi strongly $E$-preinvexity and semi strongly $E$-invexity. To demonstrate the existence of these functions, certain nontrivial examples have been developed. Several significant relationships and characterizations of these functions on strongly $E$-invex sets are discussed. Furthermore, we consider a non-linear programming problem for semi strongly $E$-preinvex functions and investigate relationships between the set of optimal solutions and these functions.


title: Targeted Image Reconstruction by Sampling Pre-trained Diffusion Model

abstract: A trained neural network model contains information on the training data. Given such a model, malicious parties can leverage the "knowledge" in this model and design ways to print out any usable information (known as model inversion attack). Therefore, it is valuable to explore the ways to conduct a such attack and demonstrate its severity. In this work, we proposed ways to generate a data point of the target class without prior knowledge of the exact target distribution by using a pre-trained diffusion model.


title: Towards a Holistic Understanding of Mathematical Questions with Contrastive Pre-training

abstract: Understanding mathematical questions effectively is a crucial task, which can benefit many applications, such as difficulty estimation. Researchers have drawn much attention to designing pre-training models for question representations due to the scarcity of human annotations (e.g., labeling difficulty). However, unlike general free-format texts (e.g., user comments), mathematical questions are generally designed with explicit purposes and mathematical logic, and usually consist of more complex content, such as formulas, and related mathematical knowledge (e.g., Function). Therefore, the problem of holistically representing mathematical questions remains underexplored. To this end, in this paper, we propose a novel contrastive pre-training approach for mathematical question representations, namely QuesCo, which attempts to bring questions with more similar purposes closer. Specifically, we first design two-level question augmentations, including content-level and structure-level, which generate literally diverse question pairs with similar purposes. Then, to fully exploit hierarchical information of knowledge concepts, we propose a knowledge hierarchy-aware rank strategy (KHAR), which ranks the similarities between questions in a fine-grained manner. Next, we adopt a ranking contrastive learning task to optimize our model based on the augmented and ranked questions. We conduct extensive experiments on two real-world mathematical datasets. The experimental results demonstrate the effectiveness of our model.


title: Experimental Evidence for the Spiral Spin Liquid in LiYbO$_2$

abstract: Spiral spin liquids are an exotic class of correlated paramagnets with an enigmatic magnetic ground state composed of a degenerate manifold of fluctuating spin spirals. Experimental realisations of the spiral spin liquid are scarce, mainly due to the prominence of structural distortions in candidate materials that can trigger order-by-disorder transitions to more conventionally ordered magnetic ground states. Expanding the pool of candidate materials that may host a spiral spin liquid is therefore crucial to realising this novel magnetic ground state and understanding its robustness against perturbations that arise in real materials. Here, we show that the material LiYbO$_2$ is the first experimental realisation of a spiral spin liquid predicted to emerge from the $J_1$-$J_2$ Heisenberg model on an elongated diamond lattice. Through a complementary combination of high-resolution and diffuse neutron magnetic scattering studies on a polycrystalline sample, we demonstrate that LiYbO$_2$ fulfils the requirements for the experimental realisation of the spiral spin liquid and reconstruct single-crystal diffuse neutron magnetic scattering maps that reveal continuous spiral spin contours -- a characteristic experimental hallmark of this exotic magnetic phase.


title: Extended FastSLAM Using Cellular Multipath Component Delays and Angular Information

abstract: Opportunistic navigation using cellular signals is appealing for scenarios where other navigation technologies face challenges. In this paper, long-term evolution (LTE) downlink signals from two neighboring commercial base stations (BS) are received by a massive antenna array mounted on a passenger vehicle. Multipath component (MPC) delays and angle-of-arrival (AOA) extracted from the received signals are used to jointly estimate the positions of the vehicle, transmitters, and virtual transmitters (VT) with an extended fast simultaneous localization and mapping (FastSLAM) algorithm. The results show that the algorithm can accurately estimate the positions of the vehicle and the transmitters (and virtual transmitters). The vehicle's horizontal position error of SLAM fused with proprioception is less than 6 meters after a traversed distance of 530 meters, whereas un-aided proprioception results in a horizontal error of 15 meters.


title: On the Generalization of Radamacher's Proof to $\vartheta_1(z,\tau)$

abstract: In this paper, we generalize Rademacher's proof of the transformation law of the eta function to the Jacobi theta function using Residue calculus.


title: Global Well-Posedness and Asymptotic Behavior for a Reaction-Diffusion System of Competition Type

abstract: We analyze a reaction-diffusion system describing the growth of microbial species in a model of flocculation type that arises in biology. Existence of global classical positive solutions is proved under general growth assumptions, with flocculation and deflocculation rates polynomially bounded above, that guarantee uniform sup norm bounds for all time t obtained by an $L^{p}-$energy functional estimate. We also show finite time blow up can occur when the yield coefficients are large enough. Also, using arguments relying on the spectral and fixed theory, we show persistence and existence of nonhomogenous population steady-states. Finally, we present some numerical simulations to show the combined effects of motility coefficients and the flocculation-deflocculation rates on the coexistence of species.


title: Computing Adequately Permissive Assumptions for Synthesis

abstract: We solve the problem of automatically computing a new class of environment assumptions in two-player turn-based finite graph games which characterize an ``adequate cooperation'' needed from the environment to allow the system player to win. Given an $\omega$-regular winning condition $\Phi$ for the system player, we compute an $\omega$-regular assumption $\Psi$ for the environment player, such that (i) every environment strategy compliant with $\Psi$ allows the system to fulfill $\Phi$ (sufficiency), (ii) $\Psi$ can be fulfilled by the environment for every strategy of the system (implementability), and (iii) $\Psi$ does not prevent any cooperative strategy choice (permissiveness). For parity games, which are canonical representations of $\omega$-regular games, we present a polynomial-time algorithm for the symbolic computation of adequately permissive assumptions and show that our algorithm runs faster and produces better assumptions than existing approaches -- both theoretically and empirically. To the best of our knowledge, for $\omega$-regular games, we provide the first algorithm to compute sufficient and implementable environment assumptions that are also permissive.


title: Realization of Scalable Cirac-Zoller Multi-Qubit Gates

abstract: The universality theorem in quantum computing states that any quantum computational task can be decomposed into a finite set of logic gates operating on one and two qubits. However, the process of such decomposition is generally inefficient, often leading to exponentially many gates to realize an arbitrary computational task. Practical processor designs benefit greatly from availability of multi-qubit gates that operate on more than two qubits to implement the desired circuit. In 1995, Cirac and Zoller proposed a method to realize native multi-qubit controlled-$Z$ gates in trapped ion systems, which has a stringent requirement on ground-state cooling of the motional modes utilized by the gate. An alternative approach, the M\o lmer-S\o rensen gate, is robust against residual motional excitation and has been a foundation for many high-fidelity gate demonstrations. This gate does not scale well beyond two qubits, incurring additional overhead when used to construct many target algorithms. Here, we take advantage of novel performance benefits of long ion chains to realize fully programmable and scalable high-fidelity Cirac-Zoller gates.


title: Gated-ViGAT: Efficient Bottom-Up Event Recognition and Explanation Using a New Frame Selection Policy and Gating Mechanism

abstract: In this paper, Gated-ViGAT, an efficient approach for video event recognition, utilizing bottom-up (object) information, a new frame sampling policy and a gating mechanism is proposed. Specifically, the frame sampling policy uses weighted in-degrees (WiDs), derived from the adjacency matrices of graph attention networks (GATs), and a dissimilarity measure to select the most salient and at the same time diverse frames representing the event in the video. Additionally, the proposed gating mechanism fetches the selected frames sequentially, and commits early-exiting when an adequately confident decision is achieved. In this way, only a few frames are processed by the computationally expensive branch of our network that is responsible for the bottom-up information extraction. The experimental evaluation on two large, publicly available video datasets (MiniKinetics, ActivityNet) demonstrates that Gated-ViGAT provides a large computational complexity reduction in comparison to our previous approach (ViGAT), while maintaining the excellent event recognition and explainability performance. Gated-ViGAT source code is made publicly available at https://github.com/bmezaris/Gated-ViGAT


title: Distributed Video Coding Based on Polar Codes

abstract: In this letter we present an improved distributed video coding (DVC) scheme based on polar coding techniques. Firstly, we adapt log-likelihood ratios (LLRs) for DVC with integer implementation of a discrete cosine transform (DCT). We propose a computationally efficient and numerically stable modification of these LLRs based on the simplified methods of polar codes decoding. We show that on average this approach provides 0.3 dB PSNR gain for DVC with LDPC accumulated (LDPCA) codes. Secondly, we introduce the nested shortened polar codes construction algorithm. We demonstrate that replacement of LDPCA by polar codes improves PSNR by 0.1 dB on average, whereas, for videos with relatively high motion level, the gain reaches up to 0.23, 0.39 and 0.55 dB for Group of Pictures (GOP) lengths 2, 4 and 8 frames, respectively. Finally, experimental results demonstrate that DVC with polar codes and Tal-Vardy list decoder operates up to two times faster than DVC with LDPCA code and belief propagation (BP) decoder.


title: Mean Stress Tensor of Discrete Particle Systems in Submerged Conditions

abstract: The mean stress tensor is essential to investigate the dynamics of granular material. In this paper, we use Hamilton's principle of least action to derive the averaged stress tensor of discrete granular assemblies subjected to hydraulic force fields, as well as rigorous conditions for a proper definition of the Representative Volume Element (RVE). The main goal behind our efforts is to upscale particle physics into a sound stress tensor for systems involving the complex interaction between grains and water. We identify the contributions from the unbalanced forces, hydraulic forces, gravity, external forces, and particle fluctuation to the mean stress tensor. In doing so, it is convenient to separate the influence of different force fields when the granular system is subjected to complex environments, e.g., subaqueous conditions. The obtained formula is then validated by triaxial test simulations of dry and saturated granular systems using the Discrete Element Method (DEM) and the Lattice-Boltzmann Method (LBM). The results show that the deduced formula can accurately calculate the stress tensor of discrete assemblies with various body-force fields. We used validated DEM-LBM simulations of submerged granular column collapses to explore the physics happening at the grain scale with this mathematical formalism and showcase its potential. We provide a new perspective based on the granular assembly scale to pursue the fluid-solid interaction. Due to the importance of stress analysis in the constitutive modelling of granular materials, this work could help to better obtain the stress-strain relationship of saturated or submerged granular systems.


title: Beating the Best: Improving on AlphaFold2 at Protein Structure Prediction

abstract: The goal of Protein Structure Prediction (PSP) problem is to predict a protein's 3D structure (confirmation) from its amino acid sequence. The problem has been a 'holy grail' of science since the Noble prize-winning work of Anfinsen demonstrated that protein conformation was determined by sequence. A recent and important step towards this goal was the development of AlphaFold2, currently the best PSP method. AlphaFold2 is probably the highest profile application of AI to science. Both AlphaFold2 and RoseTTAFold (another impressive PSP method) have been published and placed in the public domain (code & models). Stacking is a form of ensemble machine learning ML in which multiple baseline models are first learnt, then a meta-model is learnt using the outputs of the baseline level model to form a model that outperforms the base models. Stacking has been successful in many applications. We developed the ARStack PSP method by stacking AlphaFold2 and RoseTTAFold. ARStack significantly outperforms AlphaFold2. We rigorously demonstrate this using two sets of non-homologous proteins, and a test set of protein structures published after that of AlphaFold2 and RoseTTAFold. As more high quality prediction methods are published it is likely that ensemble methods will increasingly outperform any single method.


title: Multiscale statistical quantum transport in porous media and random alloys with vacancies

abstract: We have developed a multi-scale self-consistent method to study the charge conductivity of a porous system or a metallic matrix alloyed by randomly distributed nonmetallic grains and vacancies by incorporating Schr\"{o}dinger's equation and Poisson's equation. To account for the random distribution of the nonmetallic grains and clusters within the alloy system, we have used an uncorrelated white-noise Monte-Carlo sampling to generate numerous random alloys and statistically evaluate the charge conductance. We have performed a parametric study and investigated various electrical aspects of random porous and alloy systems as a function of the inherent parameters and density of the random grains. Our results find that the charge conductance within the low-voltage regime shows a highly nonlinear behavior against voltage variations in stark contrast to the high-voltage regime where the charge conductance is constant. The former finding is a direct consequence of the quantum scattering processes. The results reveal the threshold to the experimentally observable quantities, e.g., voltage difference, so that the charge current is activated for values larger than the threshold. The numerical study determines the threshold of one quantity as a function of the remaining quantities. Our method and results can serve to guide future experiments in designing circuital elements, involving this type of random alloy system.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech quant-ph