title: Timestamp-Supervised Action Segmentation from the Perspective of Clustering

abstract: Video action segmentation under timestamp supervision has recently received much attention due to lower annotation costs. Most existing methods generate pseudo-labels for all frames in each video to train the segmentation model. However, these methods suffer from incorrect pseudo-labels, especially for the semantically unclear frames in the transition region between two consecutive actions, which we call ambiguous intervals. To address this issue, we propose a novel framework from the perspective of clustering, which includes the following two parts. First, pseudo-label ensembling generates incomplete but high-quality pseudo-label sequences, where the frames in ambiguous intervals have no pseudo-labels. Second, iterative clustering iteratively propagates the pseudo-labels to the ambiguous intervals by clustering, and thus updates the pseudo-label sequences to train the model. We further introduce a clustering loss, which encourages the features of frames within the same action segment more compact. Extensive experiments show the effectiveness of our method.


title: Determination of the Cosmic-Ray Chemical Composition: Open Issues and Prospects

abstract: Cosmic rays are relativistic particles that come to the Earth from outer space. Despite a great effort made in both experimental and theoretical research, their origin is still unknown. One of the main keys to understand their nature is the determination of its chemical composition as a function of primary energy. In this paper, we review the measurements of the mass composition above $10^{15}$ eV. We first summarize the main aspects of air shower physics that are relevant in composition analyses. We discuss the composition measurements made by using optical, radio, and surface detectors and the limitations imposed by current high-energy hadronic interaction models that are used to interpret the experimental data. We also review the photons and neutrinos searches conducted in different experiments, which, in addition to being important to understand the nature of cosmic rays, can provide relevant information related to the abundance of heavy or light elements in the flux at the highest energies. Finally, we summarize the future composition measurements that are currently being planned or under development.


title: Reversible Column Networks

abstract: We propose a new neural network design paradigm Reversible Column Network (RevCol). The main body of RevCol is composed of multiple copies of subnetworks, named columns respectively, between which multi-level reversible connections are employed. Such architectural scheme attributes RevCol very different behavior from conventional networks: during forward propagation, features in RevCol are learned to be gradually disentangled when passing through each column, whose total information is maintained rather than compressed or discarded as other network does. Our experiments suggest that CNN-style RevCol models can achieve very competitive performances on multiple computer vision tasks such as image classification, object detection and semantic segmentation, especially with large parameter budget and large dataset. For example, after ImageNet-22K pre-training, RevCol-XL obtains 88.2% ImageNet-1K accuracy. Given more pre-training data, our largest model RevCol-H reaches 90.0% on ImageNet-1K, 63.8% APbox on COCO detection minival set, 61.0% mIoU on ADE20k segmentation. To our knowledge, it is the best COCO detection and ADE20k segmentation result among pure (static) CNN models. Moreover, as a general macro architecture fashion, RevCol can also be introduced into transformers or other neural networks, which is demonstrated to improve the performances in both computer vision and NLP tasks. We release code and models at https://github.com/megvii-research/RevCol


title: Censoring heavy-tail count distributions for parameter estimation with an application to stable distributions

abstract: A new approach based on censoring and moment criterion is introduced for parameter estimation of count distributions when the probability generating function is available even though a closed form of the probability mass function and/or finite moments do not exist.


title: Tunneling anisotropic spin galvanic effect

abstract: We show that pure spin injection from a magnetic electrode into an inversion symmetry-broken system composed of a tunnel barrier and a metallic region generates a transverse charge current. Such a tunnelling spin galvanic conversion is robust to disorder and non-local, i.e. injection and detection contacts do not coincide, and is strongly anisotropic whenever the internal spin-orbit field has a non-trivial angular dependence. The anisotropy shows up in linear response, contrary to what happens in bulk conversion setups lacking tunnelling elements. This is particularly relevant for spin-charge conversion at oxide interfaces, where both the tunnel barrier and the receiving low-dimensional metallic system host effective spin-orbit fields with complex angular symmetries.


title: Perfect State Transfer in Arbitrary Distance

abstract: Quantum Perfect State Transfer (PST) is a fundamental tool of quantum communication in a network. It is considered a rare phenomenon. The original idea of PST depends on the fundamentals of the continuous-time quantum walk. A path graph with at most three vertices allows PST. Based on the Markovian quantum walk, we introduce a significantly powerful method for PST in this article. We establish PST between the extreme vertices of a path graph of arbitrary length. Moreover, any pair of vertices $j$ and $n - j - 1$ in a path graph with $n$ vertices allow PST for $0 \leq j < \frac{n - 1}{2}$. Also, no cycle graph with more than $4$ vertices does not allow PST based on the continuous-time quantum walk. In contrast, we establish PSTs based on Markovian quantum walk between the pair of vertices $j$ and $j + m$ for $j = 0, 1, \dots (m - 1)$ in a cycle graph with $2m$ vertices.


title: Blockchain Scalability and Security: Communications Among Fast-Changing Committees Made Simple

abstract: For permissionless blockchains, scalability is paramount. While current technologies still fail to address this problem fully, many research works propose sharding or other techniques that extensively adopt parallel processing of transactions. In these approaches, a potentially large number of committees of nodes independently perform consensus and process new transactions. Hence, in addition to regular intra-committee communication, (1) new transactions have to be delivered to the right committee, (2) committees need to communicate to process inter-shard transactions or (3) to exchange intermediate results. To contrast slowly adaptive adversaries, committees should be frequently changed. However, efficient communication to frequently-changing committees is hard. We propose a simple approach that allows us to implicitly select committee members and effectively deliver messages to all members of a specific committee, even when committees are changed frequently. The aim of our design is to provide a committee selection procedure and a committee-targeted communication primitive to be applied in most of the scalable blockchain architectures that are currently proposed in literature. We provide a theoretical proof of the security of our approach and first experimental results that shows that our approach might be feasible in practice.


title: Efficient wave type fingerprinting and filtering by six-component polarization analysis

abstract: We present a technique to automatically classify the wave type of seismic phases that are recorded on a single six-component recording station (measuring both three components of translational and rotational ground motion) at the earth's surface. We make use of the fact that each wave type leaves a unique 'fingerprint' in the six-component motion of the sensor. This fingerprint can be extracted by performing an eigenanalysis of the data covariance matrix, similar to conventional three-component polarization analysis. To assign a wave type to the fingerprint extracted from the data, we compare it to analytically derived six-component polarization models that are valid for pure-state plane wave arrivals. For efficient classification, we make use of the supervised machine learning method of support vector machines that is trained using data-independent, analytically-derived six-component polarization models. This enables the rapid classification of seismic phases in a fully automated fashion, even for large data volumes, such as encountered in land-seismic exploration or ambient noise seismology. Once the wave-type is known, additional wave parameters (velocity, directionality, and ellipticity) can be directly extracted from the six-component polarization states without the need to resort to expensive optimization algorithms. We illustrate the benefits of our approach on various real and synthetic data examples for applications such as automated phase picking, aliased ground-roll suppression in land-seismic exploration, and the rapid close-to real time extraction of surface wave dispersion curves from single-station recordings of ambient noise. Additionally, we argue that an initial step of wave type classification is necessary in order to successfully apply the common technique of extracting phase velocities from combined measurements of rotational and translational motion.


title: Robust Meta-Representation Learning via Global Label Inference and Classification

abstract: Few-shot learning (FSL) is a central problem in meta-learning, where learners must efficiently learn from few labeled examples. Within FSL, feature pre-training has recently become an increasingly popular strategy to significantly improve generalization performance. However, the contribution of pre-training is often overlooked and understudied, with limited theoretical understanding of its impact on meta-learning performance. Further, pre-training requires a consistent set of global labels shared across training tasks, which may be unavailable in practice. In this work, we address the above issues by first showing the connection between pre-training and meta-learning. We discuss why pre-training yields more robust meta-representation and connect the theoretical analysis to existing works and empirical results. Secondly, we introduce Meta Label Learning (MeLa), a novel meta-learning algorithm that learns task relations by inferring global labels across tasks. This allows us to exploit pre-training for FSL even when global labels are unavailable or ill-defined. Lastly, we introduce an augmented pre-training procedure that further improves the learned meta-representation. Empirically, MeLa outperforms existing methods across a diverse range of benchmarks, in particular under a more challenging setting where the number of training tasks is limited and labels are task-specific. We also provide extensive ablation study to highlight its key properties.


title: Compactness for a class of integral functionals with interacting local and non-local terms

abstract: We prove a compactness result with respect to $\Gamma$-convergence for a class of integral functionals which are expressed as a sum of a local and a non-local term. The main feature is that, under our hypotheses, the local part of the $\Gamma$-limit depends on the interaction between the local and non-local terms of the converging subsequence. The result is applied to concentration and homogenization problems.


title: Measure equivalence embeddings of free groups and free group factors

abstract: We give a simple and explicit proof that the free group $\mathbb{F}_2$ admits a measure equivalence embedding into any nonamenable locally compact second countable (lcsc) group $G$. We use this to prove that every nonamenable lcsc group $G$ admits strongly ergodic actions of any possible Krieger type and admits nonamenable, weakly mixing actions with any prescribed flow of weights. We also introduce concepts of measure equivalence and measure equivalence embeddings for $II_1$ factors. We prove that a $II_1$ factor $M$ is nonamenable if and only if the free group factor $L(\mathbb{F}_2)$ admits a measure equivalence embedding into $M$. We prove stability of property (T) and the Haagerup property under measure equivalence of $II_1$ factors.


title: Spin-phonon decoherence in solid-state paramagnetic defects from first principles

abstract: Paramagnetic defects in diamond and hexagonal boron nitride possess a unique combination of spin and optical properties that make them prototypical solid-state qubits. Despite the coherence of these spin qubits being critically limited by spin-phonon relaxation, a full understanding of this process is not yet available. Here we apply ab initio spin dynamics simulations to this problem and quantitatively reproduce the experimental temperature dependence of spin relaxation time and spin coherence time. We demonstrate that low-frequency two-phonon modulations of the zero-field splitting are responsible for spin relaxation and decoherence, and point to the nature of vibrations in 2-dimensional materials as the culprit for their shorter coherence time. These results provide a novel interpretation to spin-phonon decoherence in solid-state paramagnetic defects, offer a new strategy to correctly interpret experimental results, and pave the way for the accelerated design of new spin qubits.


title: Multivariate Polynomial Regression of Euclidean Degree Extends the Stability for Fast Approximations of Trefethen Functions

abstract: We address classic multivariate polynomial regression tasks from a novel perspective resting on the notion of general polynomial $l_p$-degree, with total, Euclidean, and maximum degree being the centre of considerations. While ensuring stability is a theoretically known and empirically observable limitation of any computational scheme seeking for fast function approximation, we show that choosing Euclidean degree resists the instability phenomenon best. Especially, for a class of analytic functions, we termed Trefethen functions, we extend recent argumentations that suggest this result to be genuine. We complement the novel regression scheme, presented herein, by an adaptive domain decomposition approach that extends the stability for fast function approximation even further.


title: Sub-structure characteristic mode analysis of microstrip antennas using a global multi-trace formulation

abstract: A characteristic mode (CM) method that relies on a global multi-trace formulation (MTF) of surface integral equations is proposed to compute the modes and the resonance frequencies of microstrip patch antennas with finite dielectric substrates and ground planes. Compared to the coupled formulation of electric field and Poggio-Miller-Chang-Harrington-Wu-Tsai integral equations, global MTF allows for more direct implementation of a sub-structure CM method. This is achieved by representing the coupling of the electromagnetic fields on the substrate and ground plane in the form of a numerical Green function matrix, which yields a more compact generalized eigenvalue equation. The resulting sub-structure CM method avoids the cumbersome computation of the multilayered medium Green function (unlike the CM methods that rely on mixed-potential integral equations) and the volumetric discretization of the substrate (unlike the CM methods that rely on volume-surface integral equations), and numerical results show that it is a reliable and accurate approach to predicting the modal behavior of electromagnetic fields on practical microstrip antennas.


title: Energy requirement for implementing unitary gates on energy-unbounded systems

abstract: The processing of quantum information always has a cost in terms of physical resources such as energy or time. Determining the resource requirements is not only an indispensable step in the design of practical devices - the resources need to be actually provided - but may also yield fundamental constraints on the class of processes that are physically possible. Here we study how much energy is required to implement a desired unitary gate on a quantum system with a non-trivial energy spectrum. We derive a general lower bound on the energy requirement, extending the main result of Ref. [1] from finite dimensional systems to systems with unbounded Hamiltonians. Such an extension has immediate applications in quantum information processing with optical systems, and allows us to provide bounds on the energy requirement of continuous variable quantum gates, such as displacement and squeezing gates.


title: Reinforcement Learning Based Approaches to Adaptive Context Caching in Distributed Context Management Systems

abstract: Performance metrics-driven context caching has a profound impact on throughput and response time in distributed context management systems for real-time context queries. This paper proposes a reinforcement learning based approach to adaptively cache context with the objective of minimizing the cost incurred by context management systems in responding to context queries. Our novel algorithms enable context queries and sub-queries to reuse and repurpose cached context in an efficient manner. This approach is distinctive to traditional data caching approaches by three main features. First, we make selective context cache admissions using no prior knowledge of the context, or the context query load. Secondly, we develop and incorporate innovative heuristic models to calculate expected performance of caching an item when making the decisions. Thirdly, our strategy defines a time-aware continuous cache action space. We present two reinforcement learning agents, a value function estimating actor-critic agent and a policy search agent using deep deterministic policy gradient method. The paper also proposes adaptive policies such as eviction and cache memory scaling to complement our objective. Our method is evaluated using a synthetically generated load of context sub-queries and a synthetic data set inspired from real world data and query samples. We further investigate optimal adaptive caching configurations under different settings. This paper presents, compares, and discusses our findings that the proposed selective caching methods reach short- and long-term cost- and performance-efficiency. The paper demonstrates that the proposed methods outperform other modes of context management such as redirector mode, and database mode, and cache all policy by up to 60% in cost efficiency.


title: Smallest drop of QGP: Thermodynamic properties in p-Pb collisions

abstract: The extreme conditions of temperature and density produced in ultrarelativistic collisions of heavy nuclei facilitate the formation of the most fundamental fluid in the universe, the deconfined phase of Quantum Chromodynamics called quark-gluon plasma. Despite the extensive experimental evidence collected over the past decade of its production in colliding systems such as Au-Au and Pb-Pb, establishing quark-gluon plasma formation in the collision of smaller systems, such as p-Pb, remains an open question. In this study, we describe the evolution of matter formed in p-Pb collisions at 5.02 TeV using a state-of-the-art hybrid model based on viscous relativistic hydrodynamics. We investigate the thermodynamic properties of the medium and final state observables. Our findings are compared with experimental data and first-principles calculations derived from lattice quantum chromodynamics. The results support the formation of a collective phase of strongly interacting matter in high-multiplicity p-Pb collisions.


title: Toward a Classification of Conformal Hypersurface Invariants

abstract: Hypersurfaces embedded in conformal manifolds appear frequently as boundary data in boundary-value problems in cosmology and string theory. Viewed as the non-null conformal infinity of a spacetime, we consider hypersurfaces embedded in a Riemannian (or Lorentzian) conformal manifold. We construct a finite and minimal family of hypersurface tensors -- the curvatures intrinsic to the hypersurface and the so-called ``conformal fundamental forms'' -- that can be used to construct natural conformal invariants of the hypersurface embedding up to a fixed order in hypersurface-orthogonal derivatives of the bulk metric. We thus show that these conformal fundamental forms capture the extrinsic embedding data of a conformal infinity in a spacetime.


title: Scalar product and distance in barycentric coordinates

abstract: We give a formula for scalar product and distance in generalized barycentric coordinates for Euclidean and Pseudo-Euclidean spaces.


title: A useful ethics framework for mathematics teachers

abstract: An argument is presented that mathematics teachers would benefit from an ethics framework that allows them to reflect upon their position regarding the teaching of ethics within mathematics. We present such a framework, adapted from Chiodo and Bursill-Hall's (2018) levels of ethical engagement for mathematicians, with discussion of its applications and implications. Awareness of ethical and social responsibility amongst mathematicians and mathematics educators is a newly established field, and yet it is crucially important, if we are to use mathematics for good and the avoidance of harm - in other words to use mathematics for justice, belonging, peace, care, education, lawmaking, building, creativity, equity, connection, fairness, rulemaking and order. Here, we present a way to extend ideas from ethics in the field of mathematics for mathematicians to the field of mathematics education for mathematics teachers, aiming to contribute to this transdisciplinary work and to advance the field further. We also explore links to ideas of equity, and silence and voice, drawing on the consequences of a deeper examination of the entanglements of mathematical-ethical dilemmas for mathematics teachers both inside and outside the classroom.


title: Weak error analysis for a nonlinear SPDE approximation of the Dean-Kawasaki equation

abstract: We consider a nonlinear SPDE approximation of the Dean-Kawasaki equation for independent particles. Our approximation satisfies the physical constraints of the particle system, i.e. its solution is a probability measure for all times (preservation of positivity and mass conservation). Using a duality argument, we prove that the weak error between particle system and nonlinear SPDE is of the order $N^{-1-1/(d/2+1)}\log (N)$. Along the way we show well-posedness, a comparison principle and an entropy estimate for a class of nonlinear regularized Dean-Kawasaki equations with It\^o noise. Keywords: Dean-Kawasaki equation, weak error analysis, Laplace duality


title: GeoCode: Interpretable Shape Programs

abstract: Mapping high-fidelity 3D geometry to a representation that allows for intuitive edits remains an elusive goal in computer vision and graphics. The key challenge is the need to model both continuous and discrete shape variations. Current approaches, such as implicit shape representation, lack straightforward interpretable encoding, while others that employ procedural methods output coarse geometry. We present GeoCode, a technique for 3D shape synthesis using an intuitively editable parameter space. We build a novel program that enforces a complex set of rules and enables users to perform intuitive and controlled high-level edits that procedurally propagate at a low level to the entire shape. Our program produces high-quality mesh outputs by construction. We use a neural network to map a given point cloud or sketch to our interpretable parameter space. Once produced by our procedural program, shapes can be easily modified. Empirically, we show that GeoCode can infer and recover 3D shapes more accurately compared to existing techniques and we demonstrate its ability to perform controlled local and global shape manipulations.


title: SVD-closed subgroups of the unitary group: generalized principal logarithms and minimizing geodesics

abstract: We study the set of generalized principal $\mathfrak{g}$-logarithms of any matrix belonging to a connected SVD-closed subgroup $G$ of $U_n$, with Lie algebra $\mathfrak{g}$. This set is a non-empty disjoint union of a finite number of subsets diffeomorphic to homogeneous spaces, and it is related to a suitable set of minimizing geodesics. Many particular cases for the group $G$ are explicitly analysed.


title: Some recent advances in reasoning based on analogical proportions

abstract: Analogical proportions compare pairs of items (a, b) and (c, d) in terms of their differences and similarities. They play a key role in the formalization of analogical inference. The paper first discusses how to improve analogical inference in terms of accuracy and in terms of computational cost. Then it indicates the potential of analogical proportions for explanation. Finally, it highlights the close relationship between analogical proportions and multi-valued dependencies, which reveals an unsuspected aspect of the former.


title: On the REM approximation of TAP free energies

abstract: The free energy of TAP-solutions for the SK-model of mean field spin glasses can be expressed as a nonlinear functional of local terms: we exploit this feature in order to contrive abstract REM-like models which we then solve by a classical large deviations treatment. This allows to identify the origin of the physically unsettling quadratic (in the inverse of temperature) correction to the Parisi free energy for the SK-model, and formalizes the $\textit{true}$ cavity dynamics which acts on TAP-space, i.e. on the space of TAP-solutions. From a non-spin glass point of view, this work is the first in a series of refinements which addresses the stability of hierarchical structures in models of evolving populations.


title: Markov Categories and Entropy

abstract: Markov categories are a novel framework to describe and treat problems in probability and information theory. In this work we combine the categorical formalism with the traditional quantitative notions of entropy, mutual information, and data processing inequalities. We show that several quantitative aspects of information theory can be captured by an enriched version of Markov categories, where the spaces of morphisms are equipped with a divergence or even a metric. As it is customary in information theory, mutual information can be defined as a measure of how far a joint source is from displaying independence of its components. More strikingly, Markov categories give a notion of determinism for sources and channels, and we can define entropy exactly by measuring how far a source or channel is from being deterministic. This recovers Shannon and R\'enyi entropies, as well as the Gini-Simpson index used in ecology to quantify diversity, and it can be used to give a conceptual definition of generalized entropy.

categories: cs.IT cs.LO math.CT math.IT math.PR math.ST stat.TH


title: GOOD: Exploring Geometric Cues for Detecting Objects in an Open World

abstract: We address the task of open-world class-agnostic object detection, i.e., detecting every object in an image by learning from a limited number of base object classes. State-of-the-art RGB-based models suffer from overfitting the training classes and often fail at detecting novel-looking objects. This is because RGB-based models primarily rely on appearance similarity to detect novel objects and are also prone to overfitting short-cut cues such as textures and discriminative parts. To address these shortcomings of RGB-based object detectors, we propose incorporating geometric cues such as depth and normals, predicted by general-purpose monocular estimators. Specifically, we use the geometric cues to train an object proposal network for pseudo-labeling unannotated novel objects in the training set. Our resulting Geometry-guided Open-world Object Detector (GOOD) significantly improves detection recall for novel object categories and already performs well with only a few training classes. Using a single "person" class for training on the COCO dataset, GOOD surpasses SOTA methods by 5.0% AR@100, a relative improvement of 24%.


title: In situ stimulation of self-assembly tunes the elastic properties of interpenetrated glycolipid-biopolymer biobased hydrogels

abstract: Hydrogels are widespread soft materials, which can serve a wide range of applications. The control over the viscoelastic properties of the gel is of paramount importance. Ongoing environmental issues have raised the consumer's concern towards the use of more sustainable materials, including hydrogels. However, are greener materials compatible with high functionality? In a safe-by-design approach, this work demonstrates that functional hydrogels with in situ responsivity of their elastic properties by external stimuli can be developed from entirely ``sustainable'' components, a biobased amphiphile and biopolymers (gelatin, chitosan and alginate). The bioamphiphile is a stimuli-responsive glycolipid obtained by microbial fermentation, which can self-assemble into fibers, but also micelles or vesicles, in water under high dilution and by a rapid variation of the stimuli. The elastic properties of the bioamphiphile/biopolymer interpenetrated hydrogels can be modulated by selectively triggering the phase transition of the glycolipid and/or the biopolymer inside the gel by mean of temperature or pH.


title: Anchored heat kernel upper bounds on graphs with unbounded geometry and anti-trees

abstract: We derive Gaussian heat kernel bounds on graphs with respect to a fixed origin for large times under the assumption of a Sobolev inequality and volume doubling on large balls. The upper bound from our previous work [KR22] is affected by a new correction term measuring the distance to the origin. The main result is then applied to anti-trees with unbounded vertex degree, yielding Gaussian upper bounds for this class of graphs for the first time. In order to prove this, we show that isoperimetric estimates with respect to intrinsic metrics yield Sobolev inequalities. Finally, we prove that anti-trees are Ahlfors regular and that they satisfy an isoperimetric inequality of a larger dimension.


title: Weak friezes and frieze pattern determinants

abstract: Frieze patterns have been introduced by Coxeter in the 1970's and have recently attracted renewed interest due to their close connection with Fomin-Zelevinsky's cluster algebras. Frieze patterns can be interpreted as assignments of values to the diagonals of a triangulated polygon satisfying certain conditions for crossing diagonals (Ptolemy relations). Weak friezes, as introduced by Canakci and Jorgensen, are generalizing this concept by allowing to glue dissected polygons so that the Ptolemy relations only have to be satisfied for crossings involving one of the gluing diagonals. To any frieze pattern one can associate a symmetric matrix using a triangular fundamental domain of the frieze pattern in the upper and lower half of the matrix and putting zeroes on the diagonal. Broline, Crowe and Isaacs have found a formula for the determinants of these matrices and their work has later been generalized in various directions by other authors. These frieze pattern determinants are the main focus of our paper. As our main result we show that this determinant behaves well with respect to gluing weak friezes: the determinant is the product of the determinants for the pieces glued, up to a scalar factor coming from the gluing diagonal. Then we give several applications of this result, showing that formulas from the literature, obtained by Broline-Crowe-Isaacs, Baur-Marsh, Bessenrodt-Holm-Jorgensen and Maldonado can all be obtained as consequences of our result.


title: ECM And The Elliott-Halberstam Conjecture For Quadratic Fields

abstract: The complexity of the elliptic curve method of factorization (ECM) is proven under the celebrated conjecture of existence of smooth numbers in short intervals. In this work we tackle a different version of ECM which is actually much more studied and implemented, especially because it allows us to use ECM-friendly curves. In the case of curves with complex multiplication (CM) we replace the heuristics by rigorous results conditional to the Elliott-Halberstam (EH) conjecture. The proven results mirror recent theorems concerning the number of primes p such thar p -- 1 is smooth. To each CM elliptic curve we associate a value which measures how ECM-friendly it is. In the general case we explore consequences of a statement which translated EH in the case of elliptic curves.


title: Model Based Co-clustering of Mixed Numerical and Binary Data

abstract: Co-clustering is a data mining technique used to extract the underlying block structure between the rows and columns of a data matrix. Many approaches have been studied and have shown their capacity to extract such structures in continuous, binary or contingency tables. However, very little work has been done to perform co-clustering on mixed type data. In this article, we extend the latent block models based co-clustering to the case of mixed data (continuous and binary variables). We then evaluate the effectiveness of the proposed approach on simulated data and we discuss its advantages and potential limits.


title: Reusable Options through Gradient-based Meta Learning

abstract: Hierarchical methods in reinforcement learning have the potential to reduce the amount of decisions that the agent needs to perform when learning new tasks. However, finding reusable useful temporal abstractions that facilitate fast learning remains a challenging problem. Recently, several deep learning approaches were proposed to learn such temporal abstractions in the form of options in an end-to-end manner. In this work, we point out several shortcomings of these methods and discuss their potential negative consequences. Subsequently, we formulate the desiderata for reusable options and use these to frame the problem of learning options as a gradient-based meta-learning problem. This allows us to formulate an objective that explicitly incentivizes options which allow a higher-level decision maker to adjust in few steps to different tasks. Experimentally, we show that our method is able to learn transferable components which accelerate learning and performs better than existing prior methods developed for this setting. Additionally, we perform ablations to quantify the impact of using gradient-based meta-learning as well as other proposed changes.


title: A topological analysis of cointegrated data: a Z24 Bridge case study

abstract: The paper studies the topological changes from before and after cointegration, for the natural frequencies of the Z24 Bridge. The second natural frequency is known to be nonlinear in temperature, and this will serve as the main focal point of this work. Cointegration is a method of normalising time series data with respect to one another - often strongly-correlated time series. Cointegration is used in this paper to remove effects from Environmental and Operational Variations, by cointegrating the first four natural frequencies for the Z24 Bridge data. The temperature effects on the natural frequency data are clearly visible within the data, and it is desirable, for the purposes of structural health monitoring, that these effects are removed. The univariate time series are embedded in higher-dimensional space, such that interesting topologies are formed. Topological data analysis is used to analyse the raw time series, and the cointegrated equivalents. A standard topological data analysis pipeline is enacted, where simplicial complexes are constructed from the embedded point clouds. Topological properties are then calculated from the simplicial complexes; such as the persistent homology. The persistent homology is then analysed, to determine the topological structure of all the time series.


title: Co-clustering based exploratory analysis of mixed-type data tables

abstract: Co-clustering is a class of unsupervised data analysis techniques that extract the existing underlying dependency structure between the instances and variables of a data table as homogeneous blocks. Most of those techniques are limited to variables of the same type. In this paper, we propose a mixed data co-clustering method based on a two-step methodology. In the first step, all the variables are binarized according to a number of bins chosen by the analyst, by equal frequency discretization in the numerical case, or keeping the most frequent values in the categorical case. The second step applies a co-clustering to the instances and the binary variables, leading to groups of instances and groups of variable parts. We apply this methodology on several data sets and compare with the results of a Multiple Correspondence Analysis applied to the same data.


title: Federated Learning -- Methods, Applications and beyond

abstract: In recent years the applications of machine learning models have increased rapidly, due to the large amount of available data and technological progress.While some domains like web analysis can benefit from this with only minor restrictions, other fields like in medicine with patient data are strongerregulated. In particular \emph{data privacy} plays an important role as recently highlighted by the trustworthy AI initiative of the EU or general privacy regulations in legislation. Another major challenge is, that the required training \emph{data is} often \emph{distributed} in terms of features or samples and unavailable for classicalbatch learning approaches. In 2016 Google came up with a framework, called \emph{Federated Learning} to solve both of these problems. We provide a brief overview on existing Methods and Applications in the field of vertical and horizontal \emph{Federated Learning}, as well as \emph{Fderated Transfer Learning}.


title: TransPath: Learning Heuristics For Grid-Based Pathfinding via Transformers

abstract: Heuristic search algorithms, e.g. A*, are the commonly used tools for pathfinding on grids, i.e. graphs of regular structure that are widely employed to represent environments in robotics, video games etc. Instance-independent heuristics for grid graphs, e.g. Manhattan distance, do not take the obstacles into account and, thus, the search led by such heuristics performs poorly in the obstacle-rich environments. To this end, we suggest learning the instance-dependent heuristic proxies that are supposed to notably increase the efficiency of the search. The first heuristic proxy we suggest to learn is the correction factor, i.e. the ratio between the instance independent cost-to-go estimate and the perfect one (computed offline at the training phase). Unlike learning the absolute values of the cost-to-go heuristic function, which was known before, when learning the correction factor the knowledge of the instance-independent heuristic is utilized. The second heuristic proxy is the path probability, which indicates how likely the grid cell is lying on the shortest path. This heuristic can be utilized in the Focal Search framework as the secondary heuristic, allowing us to preserve the guarantees on the bounded sub-optimality of the solution. We learn both suggested heuristics in a supervised fashion with the state-of-the-art neural networks containing attention blocks (transformers). We conduct a thorough empirical evaluation on a comprehensive dataset of planning tasks, showing that the suggested techniques i) reduce the computational effort of the A* up to a factor of $4$x while producing the solutions, which costs exceed the costs of the optimal solutions by less than $0.3$% on average; ii) outperform the competitors, which include the conventional techniques from the heuristic search, i.e. weighted A*, as well as the state-of-the-art learnable planners.


title: Stability for $ \Phi_{S, F,H} $ harmonic map and $ \Phi_{T, F,H} $ harmonic map

abstract: In this paper, we mainly consider the stability of $ \Phi_{S, F,H} $ harmonic map and $ \Phi_{T,F,H} $ harmonic map from or into $ \Phi $-SSU manifold. We mainly consider the stability of $ \Phi_{S, F,H} $ harmonic map and $ \Phi_{T,F,H} $ harmonic map from or into compact convex hypersurface. We also give some Theorems to know when a manifold is $ \Phi_{S, F,H} $ -stable or $ \Phi_{S, F,H} $ -unstable.


title: Epitaxial growth of atomically thin Ga2Se2 films on c-plane sapphire substrates

abstract: Broadening the variety of two-dimensional (2D) materials and improving the synthesis of ultrathin films are crucial to the development of the semiconductor industry. As a state-of-the-art 2D material, Ga2Se2 has attractive optoelectronic properties when it reaches the atomically-thin regime. However, its van der Waals epitaxial growth, especially for the atomically-thin films, has seldom been studied. In this paper, we used molecular beam epitaxy to synthesize Ga2Se2 single-crystal films with a surface roughness down to 1.82 nm on c-plane sapphire substrates by optimizing substrate temperature, Se:Ga flux ratio, and growth rate. Then we used a 3-step mode to grow Ga2Se2 films with a thickness as low as 3 tetralayers and a surface roughness as low as 0.61 nm, far exceeding the performance of direct growth. Finally, we found that the surface morphology strongly depends on the Se:Ga flux ratio, and higher growth rates widened the suitable flux ratio window for growing Ga2Se2. Overall, this work advances the understanding of the vdW epitaxy growth mechanism for post-transition metal monochalcogenides on sapphire substrates.


title: Time to Market Reduction for Hydrogen Fuel Cell Stacks using Generative Adversarial Networks

abstract: To face the dependency on fossil fuels and limit carbon emissions, fuel cells are a very promising technology and appear to be a key candidate to tackle the increase of the energy demand and promote the energy transition. To meet future needs for both transport and stationary applications, the time to market of fuel cell stacks must be drastically reduced. Here, a new concept to shorten their development time by introducing a disruptive and highefficiency data augmentation approach based on artificial intelligence is presented. Our results allow reducing the testing time before introducing a product on the market from a thousand to a few hours. The innovative concept proposed here can support engineering and research tasks during the fuel cell development process to achieve decreased development costs alongside a reduced time to market.


title: An introduction to variational quantum algorithms on gate-based quantum computing for combinatorial optimization problems

abstract: Noisy intermediate-scale quantum computers (NISQ computers) are now readily available, motivating many researchers to experiment with Variational Quantum Algorithms (VQAs). Among them, the Quantum Approximate Optimization Algorithm (QAOA) is one of the most popular one studied by the combinatorial optimization community. In this tutorial, we provide a mathematical description of the class of Variational Quantum Algorithms, assuming no previous knowledge of quantum physics from the readers. We introduce precisely the key aspects of these hybrid algorithms on the quantum side (parametrized quantum circuit) and the classical side (guiding function, optimizer). We devote a particular attention to QAOA, detailing the quantum circuits involved in that algorithm, as well as the properties satisfied by its possible guiding functions. Finally, we discuss the recent literature on QAOA, highlighting several research trends.


title: Response to Moffat's Comment on "Towards Meaningful Statements in IR Evaluation: Mapping Evaluation Measures to Interval Scales"

abstract: Moffat recently commented on our previous work. Our work focused on how laying the foundations of our evaluation methodology into the theory of measurement can improve our knowledge and understanding of the evaluation measures we use in IR and how it can shed light on the different types of scales adopted by our evaluation measures; we also provided evidence, through extensive experimentation, on the impact of the different types of scales on the statistical analyses, as well as on the impact of departing from their assumptions. Moreover, we investigated, for the first time in IR, the concept of meaningfulness, i.e. the invariance of the experimental statements and inferences you draw, and proposed it as a way to ensure more valid and generalizabile results. Moffat's comments build on: (i) misconceptions about the representational theory of measurement, such as what an interval scale actually is and what axioms it has to comply with; (ii) they totally miss the central concept of meaningfulness. Therefore, we reply to Moffat's comments by properly framing them in the representational theory of measurement and in the concept of meaningfulness. All in all, we can only reiterate what we said several times: the goal of this research line is to theoretically ground our evaluation methodology - and IR is a field where it is extremely challenging to perform any theoretical advances - in order to aim for more robust and generalizable inferences - something we currently lack in the field. Possibly there are other and better ways to achieve this objective and these proposals could emerge from an open discussion in the field and from the work of others. On the other hand, reducing everything to a contrast on what is (or pretend to be) an interval scale or whether all or none evaluation measures are interval scales may be more a barrier from than a help in progressing towards this goal.


title: Adsorption-controlled plasma-assisted molecular beam epitaxy of LaInO3 on DyScO3(110): Growth window, strain relaxation, and domain pattern

abstract: We report the growth of epitaxial LaInO3 on DyScO3(110) substrates by adsorption-controlled plasma-assisted molecular beam epitaxy (PA-MBE). The adsorption-controlled growth was monitored using line-of-sight quadrupole mass spectrometry. In a thermodynamics of MBE (TOMBE) diagram, the experimental growth window was found to be significantly narrower than the predicted one. We found the critical thickness for strain relaxation of the LaInO3 layer (lattice mismatch $\approx$ -4$\%$) to be of 1 nm using in-situ RHEED analysis. Substrate and film possess an orthorhombic crystal structure which can be approximated by a pseudo-cubic lattice. X-ray-diffraction (XRD) analysis revealed the pseudo-cube-on-pseudo-cube epitaxial relationship ofthe LaInO3 films to the DyScO3 substrates. This relation was confirmed by transmission electron microscopy (TEM), which further resolved the presence of rotational orthorhombic domains - the majority of which have coinciding c-axis with that of the substrate. Raman spectroscopy further confirmed the presence of a LaInO3 layer. Our findings open up the possibility for 2-dimensional electron gases at the MBE-grown heterointerface with BaSnO3.


title: The State of the Art in Enhancing Trust in Machine Learning Models with the Use of Visualizations

abstract: Machine learning (ML) models are nowadays used in complex applications in various domains, such as medicine, bioinformatics, and other sciences. Due to their black box nature, however, it may sometimes be hard to understand and trust the results they provide. This has increased the demand for reliable visualization tools related to enhancing trust in ML models, which has become a prominent topic of research in the visualization community over the past decades. To provide an overview and present the frontiers of current research on the topic, we present a State-of-the-Art Report (STAR) on enhancing trust in ML models with the use of interactive visualization. We define and describe the background of the topic, introduce a categorization for visualization techniques that aim to accomplish this goal, and discuss insights and opportunities for future research directions. Among our contributions is a categorization of trust against different facets of interactive ML, expanded and improved from previous research. Our results are investigated from different analytical perspectives: (a) providing a statistical overview, (b) summarizing key findings, (c) performing topic analyses, and (d) exploring the data sets used in the individual papers, all with the support of an interactive web-based survey browser. We intend this survey to be beneficial for visualization researchers whose interests involve making ML models more trustworthy, as well as researchers and practitioners from other disciplines in their search for effective visualization techniques suitable for solving their tasks with confidence and conveying meaning to their data.


title: Towards Sustainable Artificial Intelligence: An Overview of Environmental Protection Uses and Issues

abstract: Artificial Intelligence (AI) is used to create more sustainable production methods and model climate change, making it a valuable tool in the fight against environmental degradation. This paper describes the paradox of an energy-consuming technology serving the ecological challenges of tomorrow. The study provides an overview of the sectors that use AI-based solutions for environmental protection. It draws on numerous examples from AI for Green players to present use cases and concrete examples. In the second part of the study, the negative impacts of AI on the environment and the emerging technological solutions to support Green AI are examined. It is also shown that the research on less energy-consuming AI is motivated more by cost and energy autonomy constraints than by environmental considerations. This leads to a rebound effect that favors an increase in the complexity of models. Finally, the need to integrate environmental indicators into algorithms is discussed. The environmental dimension is part of the broader ethical problem of AI, and addressing it is crucial for ensuring the sustainability of AI in the long term.


title: Light Higgs boson in the NMSSM confronted with the CMS diphoton and ditau excesses

abstract: In 2018, the CMS collaboration reported a di-photon excess around 95.3 GeV with a local significance of 2.8 $\sigma$. Interestingly, the CMS collaboration also reported a di-tau excess recently at 95 $\sim$ 100 GeV with a local significance of 2.6 $\sim$ 3.1 $\sigma$. Besides, a $b\bar{b}$ excess at 98 GeV with a 2.3 $\sigma$ local significance was reported with LEP data about twenty years ago. In this work, we consider interpreting these excesses together with a light Higgs boson in the next-to-minimal supersymmetric standard model (NMSSM). We conclude that in NMSSM the 95 $\sim$ 100 GeV excesses are difficult to be satisfied simultaneously (not possible globally at $1\sigma$ level, or simultaneously at $2\sigma$ level), and we analyze two partial-satisfied scenarios: the globally $2\sigma$ scenario and small di-photon scenario. An approximate equation of global fit to the three excesses is derived, and two representative types of surviving samples are analyzed in detail. Since the mass regions of these excesses are near the Z boson, we also consider checking the light Higgs boson in the $t\bar{t}$-associated channels. The detailed results may be useful for further checking the low-mass-region excesses in the future.


title: Separability and entanglement of resonating valence-bond states

abstract: We investigate separability and entanglement of Rokhsar-Kivelson (RK) states and resonating valence-bond (RVB) states. These states play a prominent role in condensed matter physics, as they can describe quantum spin liquids and quantum critical states of matter, depending on their underlying lattices. For dimer RK states on arbitrary tileable graphs, we prove the exact separability of the reduced density matrix of $k$ disconnected subsystems, implying the absence of bipartite and multipartite entanglement between the subsystems. For more general RK states with local constraints, we argue separability in the thermodynamic limit, and show that any local RK state has zero logarithmic negativity, even if the density matrix is not exactly separable. In the case of adjacent subsystems, we find an exact expression for the logarithmic negativity in terms of partition functions of the underlying statistical model. For RVB states, we show separability for disconnected subsystems up to exponentially small terms in the distance $d$ between the subsystems, and that the logarithmic negativity is exponentially suppressed with $d$. We argue that separability does hold in the scaling limit, even for arbitrarily small ratio $d/L$, where $L$ is the characteristic size of the subsystems. Our results hold for arbitrary lattices, and encompass a large class of RK and RVB states, which include certain gapped quantum spin liquids and gapless quantum critical systems.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Depth Estimation maps of lidar and stereo images

abstract: This paper as technology report is focusing on evaluation and performance about depth estimations based on lidar data and stereo images(front left and front right). The lidar 3d cloud data and stereo images are provided by ford. In addition, this paper also will explain some details about optimization for depth estimation performance. And some reasons why not use machine learning to do depth estimation, replaced by pure mathmatics to do stereo depth estimation. The structure of this paper is made of by following:(1) Performance: to discuss and evaluate about depth maps created from stereo images and 3D cloud points, and relationships analysis for alignment and errors;(2) Depth estimation by stereo images: to explain the methods about how to use stereo images to estimate depth;(3)Depth estimation by lidar: to explain the methods about how to use 3d cloud datas to estimate depth;In summary, this report is mainly to show the performance of depth maps and their approaches, analysis for them.


title: Computing error bounds for asymptotic expansions of regular P-recursive sequences

abstract: Over the last several decades, improvements in the fields of analytic combinatorics and computer algebra have made determining the asymptotic behaviour of sequences satisfying linear recurrence relations with polynomial coefficients largely a matter of routine, under assumptions that hold often in practice. The algorithms involved typically take a sequence, encoded by a recurrence relation and initial terms, and return the leading terms in an asymptotic expansion up to a big-O error term. Less studied, however, are effective techniques giving an explicit bound on asymptotic error terms. Among other things, such explicit bounds typically allow the user to automatically prove sequence positivity (an active area of enumerative and algebraic combinatorics) by exhibiting an index when positive leading asymptotic behaviour dominates any error terms. In this article, we present a practical algorithm for computing such asymptotic approximations with rigorous error bounds, under the assumption that the generating series of the sequence is a solution of a differential equation with regular (Fuchsian) dominant singularities. Our algorithm approximately follows the singularity analysis method of Flajolet and Odlyzko, except that all big-O terms involved in the derivation of the asymptotic expansion are replaced by explicit error terms. The computation of the error terms combines analytic bounds from the literature with effective techniques from rigorous numerics and computer algebra. We implement our algorithm in the SageMath computer algebra system and exhibit its use on a variety of applications (including our original motivating example, solution uniqueness in the Canham model for the shape of genus one biomembranes).


title: Amoeba Formulation of Non-Bloch Band Theory in Arbitrary Dimensions

abstract: The non-Hermitian skin effect dramatically reshapes the energy bands of non-Hermitian systems, meaning that the usual Bloch band theory is fundamentally inadequate as their characterization. The non-Bloch band theory, in which the concept of Brillouin zone is generalized, has been widely applied to investigate non-Hermitian systems in one spatial dimension. However, its generalization to higher dimensions has been challenging. Here, we develop a formulation of the non-Hermitian skin effect and non-Bloch band theory in arbitrary spatial dimensions, which is based on a natural geometrical object known as the amoeba. Our theory provides a general framework for studying non-Hermitian bands beyond one dimension. Key quantities of non-Hermitian bands, including the energy spectrum, eigenstates profiles, and the generalized Brillouin zone, can be efficiently obtained from this approach.

categories: cond-mat.mes-hall cond-mat.quant-gas math-ph math.MP physics.optics quant-ph


title: Temporal Parallelisation of the HJB Equation and Continuous-Time Linear Quadratic Control

abstract: This paper presents a mathematical formulation to perform temporal parallelisation of continuous-time optimal control problems, which are solved via the Hamilton--Jacobi--Bellman (HJB) equation. We divide the time interval of the control problem into sub-intervals, and define a control problem in each sub-interval, conditioned on the start and end states, leading to conditional value functions for the sub-intervals. By defining an associative operator as the minimisation of the sum of conditional value functions, we obtain the elements and associative operators for a parallel associative scan operation. This allows for solving the optimal control problem on the whole time interval in parallel in logarithmic time complexity in the number of sub-intervals. We derive the HJB-type of backward and forward equations for the conditional value functions and solve them in closed form for linear quadratic problems. We also discuss other numerical methods for computing the conditional value functions and present closed form solutions for selected special cases. The computational advantages of the proposed parallel methods are demonstrated via simulations run on a multi-core central processing unit and a graphics processing unit.


title: Satellite-derived solar radiation for intra-hour and intra-day applications: Biases and uncertainties by season and altitude

abstract: Accurate estimates of the surface solar radiation (SSR) are a prerequisite for intra-day forecasts of solar resources and photovoltaic power generation. Intra-day SSR forecasts are of interest to power traders and to operators of solar plants and power grids who seek to optimize their revenues and maintain the grid stability by matching power supply and demand. Our study analyzes systematic biases and the uncertainty of SSR estimates derived from Meteosat with the SARAH-2 and HelioMont algorithms at intra-hour and intra-day time scales. The satellite SSR estimates are analyzed based on 136 ground stations across altitudes from 200 m to 3570 m Switzerland in 2018. We find major biases and uncertainties in the instantaneous, hourly and daily-mean SSR. In peak daytime periods, the instantaneous satellite SSR deviates from the ground-measured SSR by a mean absolute deviation (MAD) of 110.4 and 99.6 W/m2 for SARAH-2 and HelioMont, respectively. For the daytime SSR, the instantaneous, hourly and daily-mean MADs amount to 91.7, 81.1, 50.8 and 82.5, 66.7, 42.9 W/m2 for SARAH-2 and HelioMont, respectively. Further, the SARAH-2 instantaneous SSR drastically underestimates the solar resources at altitudes above 1000 m in the winter half year. A possible explanation in line with the seasonality of the bias is that snow cover may be misinterpreted as clouds at higher altitudes.


title: Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning

abstract: Cooperative multi-agent reinforcement learning (c-MARL) is widely applied in safety-critical scenarios, thus the analysis of robustness for c-MARL models is profoundly important. However, robustness certification for c-MARLs has not yet been explored in the community. In this paper, we propose a novel certification method, which is the first work to leverage a scalable approach for c-MARLs to determine actions with guaranteed certified bounds. c-MARL certification poses two key challenges compared with single-agent systems: (i) the accumulated uncertainty as the number of agents increases; (ii) the potential lack of impact when changing the action of a single agent into a global team reward. These challenges prevent us from directly using existing algorithms. Hence, we employ the false discovery rate (FDR) controlling procedure considering the importance of each agent to certify per-state robustness and propose a tree-search-based algorithm to find a lower bound of the global reward under the minimal certified perturbation. As our method is general, it can also be applied in single-agent environments. We empirically show that our certification bounds are much tighter than state-of-the-art RL certification solutions. We also run experiments on two popular c-MARL algorithms: QMIX and VDN, in two different environments, with two and four agents. The experimental results show that our method produces meaningful guaranteed robustness for all models and environments. Our tool CertifyCMARL is available at https://github.com/TrustAI/CertifyCMA


title: Deep Simplex Classifier for Maximizing the Margin in Both Euclidean and Angular Spaces

abstract: The classification loss functions used in deep neural network classifiers can be grouped into two categories based on maximizing the margin in either Euclidean or angular spaces. Euclidean distances between sample vectors are used during classification for the methods maximizing the margin in Euclidean spaces whereas the Cosine similarity distance is used during the testing stage for the methods maximizing margin in the angular spaces. This paper introduces a novel classification loss that maximizes the margin in both the Euclidean and angular spaces at the same time. This way, the Euclidean and Cosine distances will produce similar and consistent results and complement each other, which will in turn improve the accuracies. The proposed loss function enforces the samples of classes to cluster around the centers that represent them. The centers approximating classes are chosen from the boundary of a hypersphere, and the pairwise distances between class centers are always equivalent. This restriction corresponds to choosing centers from the vertices of a regular simplex. There is not any hyperparameter that must be set by the user in the proposed loss function, therefore the use of the proposed method is extremely easy for classical classification problems. Moreover, since the class samples are compactly clustered around their corresponding means, the proposed classifier is also very suitable for open set recognition problems where test samples can come from the unknown classes that are not seen in the training phase. Experimental studies show that the proposed method achieves the state-of-the-art accuracies on open set recognition despite its simplicity.


title: Nonconforming finite element methods of order two and order three for the Stokes flow in three dimensions

abstract: In this study, the nonconforming finite elements of order two and order three are constructed and exploited for the Stokes problem. The moments of order up to $k-1$ ($k=2,3$) on all the facets of the tetrahedron are used for DoFs (degrees of freedom) to construct the unisolvent $k$-order nonconforming finite element with the bubble function space of $P_{k+1}$ explicitly represented. The pair of the $k$-order element and the discontinuous piecewise $P_{k}$ is proved to be stable for solving the Stokes problem with the element-wise divergence-free condition preserved. The main difficulty in establishing the discrete inf-sup condition comes from the fact that the usual Fortin operator can not be constructed. Thanks to the explicit representation of the bubble functions, its divergence space is proved to be identical to the orthogonal complement space of constants with respect to $P_k$ on the tetrahedron, which plays an important role to overcome the aforementioned difficulty and leads to the desirable well-posedness of the discrete problem. Furthermore, a reduced $k$-order nonconforming finite element with a discontinuous piecewise $P_{k-1}$ is designed and proved to be stable for solving the Stokes problem. The lack of the Fortin operator causes difficulty in analyzing the discrete inf-sup condition for the reduced third-order element pair. To deal with this problem, the so-called macro-element technique is adopted with a crucial algebraic result concerning the property of functions in the orthogonal complement space of the divergence of the discrete velocity space with respect to the discrete pressure space on the macro-element. Numerical experiments are provided to validate the theoretical results.


title: Dynamics of quarks and gauge fields in the lowest-energy states in QCD and QED

abstract: The dynamics of quarks and gauge fields in the lowest energy states in QCD and QED interactions is studied by compactifying the (3+1)D space-time to the (1+1)D space-time with cylindrical symmetry and by combining Schwinger's longitudinal confinement in (1+1)D with Polyakov's transverse confinement in (2+1)D. Using the action integral, we separate out the transverse and longitudinal degrees of freedom. By solving the derived transverse and longitudinal equations, we study the QCD and QED collective excitations. In addition to the well known QCD low-energy states, we find stable collective QED excitations showing up as massive QED-confined mesons, in support of previous studies. In particular, the masses of the recently observed X17 particle at about 17 MeV and the E38 particle at about 38 MeV are calculated in the developed approach, in good agreement with experimental results.


title: A general approach to noncommutative spaces from Poisson homogeneous spaces: Applications to (A)dS and Poincar\'e

abstract: In this contribution we present a general procedure that allows the construction of noncommutative spaces with quantum group invariance as the quantization of their associated coisotropic Poisson homogeneous spaces coming from a coboundary Lie bialgebra structure. The approach is illustrated by obtaining in an explicit form several noncommutative spaces from (3+1)D (A)dS and Poincar\'e coisotropic Lie bialgebras. In particular, we review the construction of the $\kappa$-Minkowski and $\kappa$-(A)dS spacetimes in terms of the cosmological constant $\Lambda$. Furthermore, we present all noncommutative Minkowski and (A)dS spacetimes that preserved a quantum Lorentz subgroup. Finally, it is also shown that the same setting can be used to construct the three possible 6D $\kappa$-Poincar\'e spaces of time-like. Some open problems are also addressed.


title: Mind Your Heart: Stealthy Backdoor Attack on Dynamic Deep Neural Network in Edge Computing

abstract: Transforming off-the-shelf deep neural network (DNN) models into dynamic multi-exit architectures can achieve inference and transmission efficiency by fragmenting and distributing a large DNN model in edge computing scenarios (e.g., edge devices and cloud servers). In this paper, we propose a novel backdoor attack specifically on the dynamic multi-exit DNN models. Particularly, we inject a backdoor by poisoning one DNN model's shallow hidden layers targeting not this vanilla DNN model but only its dynamically deployed multi-exit architectures. Our backdoored vanilla model behaves normally on performance and cannot be activated even with the correct trigger. However, the backdoor will be activated when the victims acquire this model and transform it into a dynamic multi-exit architecture at their deployment. We conduct extensive experiments to prove the effectiveness of our attack on three structures (ResNet-56, VGG-16, and MobileNet) with four datasets (CIFAR-10, SVHN, GTSRB, and Tiny-ImageNet) and our backdoor is stealthy to evade multiple state-of-the-art backdoor detection or removal methods.


title: Risk Sharing with Deep Neural Networks

abstract: We consider the problem of optimally sharing a financial position among agents with potentially different reference risk measures. The problem is equivalent to computing the infimal convolution of the risk metrics and finding the so-called optimal allocations. We propose a neural network-based framework to solve the problem and we prove the convergence of the approximated inf-convolution, as well as the approximated optimal allocations, to the corresponding theoretical values. We support our findings with several numerical experiments.


title: A self-contained theory of truth

abstract: Tarski's undefinability theorem states that a formal system based on conventional predicate logic (PL) cannot talk about its own truth predicate. PL is, however, not the only formal language imaginable. In this paper, it will be shown that it is possible to construct a formal system, based not on PL but a more restrictive formal language, which is self-contained in the sense that within this system, we can both talk about and even define the system's own truth predicate. This hints at new ways of understanding Russell's, G\"odel's, and Tarski's discoveries, and new ways of tackling the vicious circles that give rise to these problems. This new system presents an interesting alternative foundational mathematical framework.


title: The S$^+$($^4$S) + SiH$_{2}$($^1$A$_1$) Reaction: Toward the Synthesis of Interstellar SiS

abstract: We have performed a theoretical investigation of the S$^+$($^4$S) + SiH$_{2}$($^1$A$_1$) reaction, a possible formation route of the HSiS$^+$ and SiSH$^+$ cations that are alleged to be precursors of interstellar silicon sulfide, SiS. Electronic structure calculations allowed us to identify the main reaction pathways for the systems. The reaction has two exothermic channels leading to the isomeric species $^3$HSiS$^{+}$ and $^3$SiSH$^{+}$ formed in conjunction with H atoms. The reaction is not characterized by an entrance barrier and, therefore, it is believed to be fast also under the very low temperature conditions of interstellar clouds. The two ions are formed in their first electronically excited state because of the spin multiplicity of the overall potential energy surface. In addition, following the suggestion that neutral species are formed by proton transfer of protonated cations to ammonia, we have derived the potential energy surface for the reactions $^3$HSiS$^{+}$/$^3$SiSH$^{+}$ + NH$_{3}$($^{1}$A$_1$).


title: Towards Quantum-Enabled 6G Slicing

abstract: The quantum machine learning (QML) paradigms and their synergies with network slicing can be envisioned to be a disruptive technology on the cusp of entering to era of sixth-generation (6G), where the mobile communication systems are underpinned in the form of advanced tenancy-based digital use-cases to meet different service requirements. To overcome the challenges of massive slices such as handling the increased dynamism, heterogeneity, amount of data, extended training time, and variety of security levels for slice instances, the power of quantum computing pursuing a distributed computation and learning can be deemed as a promising prerequisite. In this intent, we propose a cloud-native federated learning framework based on quantum deep reinforcement learning (QDRL) where distributed decision agents deployed as micro-services at the edge and cloud through Kubernetes infrastructure then are connected dynamically to the radio access network (RAN). Specifically, the decision agents leverage the remold of classical deep reinforcement learning (DRL) algorithm into variational quantum circuits (VQCs) to obtain the optimal cooperative control on slice resources. The initial numerical results show that the proposed federated QDRL (FQDRL) scheme provides comparable performance than benchmark solutions and reveals the quantum advantage in parameter reduction. To the best of our knowledge, this is the first exploratory study considering an FQDRL approach for 6G communication network.


title: DSS-o-SAGE: Direction-Scan Sounding-Oriented SAGE Algorithm for Channel Parameter Estimation in mmWave and THz Bands

abstract: Investigation of millimeter (mmWave) and Terahertz (THz) channels relies on channel measurements and estimation of multi-path component (MPC) parameters. As a common measurement technique in the mmWave and THz bands, direction-scan sounding (DSS) resolves angular information and increases the measurable distance. Through mechanical rotation, the DSS creates a virtual multi-antenna sounding system, which however incurs signal phase instability and large data sizes, which are not fully considered in existing estimation algorithms and thus make them ineffective. To tackle this research gap, in this paper, a DSS-oriented space-alternating generalized expectation-maximization (DSS-o-SAGE) algorithm is proposed for channel parameter estimation in mmWave and THz bands. To appropriately capture the measured data in mmWave and THz DSS, the phase instability is modeled by the scanning-direction-dependent signal phases. Furthermore, based on the signal model, the DSS-o-SAGE algorithm is developed, which not only addresses the problems brought by phase instability, but also achieves ultra-low computational complexity by exploiting the narrow antenna beam property of DSS. Simulations in synthetic channels are conducted to demonstrate the efficacy of the proposed algorithm and explore the applicable region of the far-field approximation in DSS-o-SAGE. Last but not least, the proposed DSS-o-SAGE algorithm is applied in real measurements in an indoor corridor scenario at 300~GHz. Compared with results using the baseline noise-elimination method, the channel is characterized more correctly and reasonably based on the DSS-o-SAGE.


title: Fractional transconductance via non-adiabatic topological Cooper pair pumping

abstract: Many robust physical phenomena in quantum physics are based on topological invariants arising due to intriguing geometrical properties of quantum states. Prime examples are the integer and fractional quantum Hall effects that demonstrate quantized Hall conductances, associated with topology both in the single particle and the strongly correlated many-body limit. Interestingly, the topology of the integer effect can be realized in superconducting multiterminal systems, but a proposal for the more complex fractional counterpart is lacking. In this work, we theoretically demonstrate how to achieve fractional quantized transconductance in an engineered chain of Josephson junctions. Crucially, similar to the stabilization of the conductance plateaus in Hall systems by disorder, we obtain stable transconductance plateaus as a result of non-adiabatic Landau-Zener transitions. We furthermore show that the fractional plateaus are robust to disorder and study the optimal operation regime to observe these effects. Our proposal paves the way for quantum simulation of exotic many-body out-of-equilibrium states in Josephson junction systems.


title: RescureService: A Benchmark Microservice System for the Research of Mobile Edge and Cloud Computing

abstract: The dramatic development of cloud and edge computing allows for better Quality of Service (QoS) in many scenarios by deploying services on cloud and edge servers. Microservice technology is also adopted in these scenarios to decompose complex business logic into many small independent services. Meanwhile, as microservice systems continue to grow, providing stable QoS in these systems becomes a challenge, and many different approaches have been proposed for stable QoS. However, the microservice systems used in the experiments of these work have problems such as the low number of services and a single type of service. Therefore, we developed the open-source benchmark microservice system RescureService with 20+ services, including database, front-end, business logic, data processing, and artificial intelligence services in the disaster relief scenario. Measuring tools are provided to measure the service properties to help researchers prepare experimental data, and the service properties pre-measured are also presented. Meanwhile, the fulfillment of benchmark requirements is detailed, and the results show that our RescureService meets the requirements of a benchmark system in research. Moreover, instructions are given to describe adopting our system in service computing as examples.


title: State-and-rate friction in contact-line dynamics

abstract: In order to probe the dynamics of contact-line motion, we study the macroscopic properties of sessile drops deposited on and then aspirated from carefully prepared horizontal surfaces. By measuring the contact angle and drop width simultaneously during droplet removal, we determine the changes in the shape of the drop as it depins and recedes. Our data indicate that there is a force which opposes the motion of the contact line that depends both on the amount of time that the drop has been in contact with the surface and on the withdrawal rate. For water on silanized glass, we capture the experimentally observed behavior with an overdamped dynamical model of contact-line motion in which the phenomenological drag coefficient and the assumed equilibrium contact angle are the only inputs. For other liquid/substrate pairs, the observed contact-line motion suggests that a maximum static friction force is important in addition to damping. The dependence on time of contact and withdrawal rate, reminiscent of rate-and-state friction between solid surfaces, is qualitatively consistent across three substrate-liquid pairs.


title: Aliasing is a Driver of Adversarial Attacks

abstract: Aliasing is a highly important concept in signal processing, as careful consideration of resolution changes is essential in ensuring transmission and processing quality of audio, image, and video. Despite this, up until recently aliasing has received very little consideration in Deep Learning, with all common architectures carelessly sub-sampling without considering aliasing effects. In this work, we investigate the hypothesis that the existence of adversarial perturbations is due in part to aliasing in neural networks. Our ultimate goal is to increase robustness against adversarial attacks using explainable, non-trained, structural changes only, derived from aliasing first principles. Our contributions are the following. First, we establish a sufficient condition for no aliasing for general image transformations. Next, we study sources of aliasing in common neural network layers, and derive simple modifications from first principles to eliminate or reduce it. Lastly, our experimental results show a solid link between anti-aliasing and adversarial attacks. Simply reducing aliasing already results in more robust classifiers, and combining anti-aliasing with robust training out-performs solo robust training on $L_2$ attacks with none or minimal losses in performance on $L_{\infty}$ attacks.


title: Optical Bar Code for Internet Access Application based on Optical camera communication and Bluetooth Control

abstract: We demonstrate an internet access application based on optical camera communication and bluetooth. The app will access the website while the camera in the phone receives the optical signal. \c{opyright} 2022 The Author(s)


title: Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants

abstract: Mutation testing has been demonstrated to be one of the most powerful fault-revealing tools in the tester's tool kit. Much previous work implicitly assumed it to be sufficient to re-compute mutant suites per release. Sadly, this makes mutation results inconsistent; mutant scores from each release cannot be directly compared, making it harder to measure test improvement. Furthermore, regular code change means that a mutant suite's relevance will naturally degrade over time. We measure this degradation in relevance for 143,500 mutants in 4 non-trivial systems finding that, on overage, 52% degrade. We introduce a mutant brittleness measure and use it to audit software systems and their mutation suites. We also demonstrate how consistent-by-construction long-standing mutant suites can be identified with a 10x improvement in mutant relevance over an arbitrary test suite. Our results indicate that the research community should avoid the re-computation of mutant suites and focus, instead, on long-standing mutants, thereby improving the consistency and relevance of mutation testing.


title: Towards an Ontology-Driven Approach for Process-Aware Risk Propagation

abstract: The rapid development of cyber-physical systems creates an increasing demand for a general approach to risk, especially considering how physical and digital components affect the processes of the system itself. In risk analytics and management, risk propagation is a central technique, which allows the calculation of the cascading effect of risk within a system and supports risk mitigation activities. However, one open challenge is to devise a process-aware risk propagation solution that can be used to assess the impact of risk at different levels of abstraction, accounting for actors, processes, physical-digital objects, and their interrelations. To address this challenge, we propose a process-aware risk propagation approach that builds on two main components: i. an ontology, which supports functionalities typical of Semantic Web technologies (SWT), and semantics-based intelligent systems, representing a system with processes and objects having different levels of abstraction, and ii. a method to calculate the propagation of risk within the given system. We implemented our approach in a proof-of-concept tool, which was validated and demonstrated in the cybersecurity domain.


title: Normalization and coherence for $\infty$-type theories

abstract: We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies interpreting an ordinary type theory in $(\infty, 1)$-categorical structures.


title: Predicting Companies' ESG Ratings from News Articles Using Multivariate Timeseries Analysis

abstract: Environmental, social and governance (ESG) engagement of companies moved into the focus of public attention over recent years. With the requirements of compulsory reporting being implemented and investors incorporating sustainability in their investment decisions, the demand for transparent and reliable ESG ratings is increasing. However, automatic approaches for forecasting ESG ratings have been quite scarce despite the increasing importance of the topic. In this paper, we build a model to predict ESG ratings from news articles using the combination of multivariate timeseries construction and deep learning techniques. A news dataset for about 3,000 US companies together with their ratings is also created and released for training. Through the experimental evaluation we find out that our approach provides accurate results outperforming the state-of-the-art, and can be used in practice to support a manual determination or analysis of ESG ratings.


title: Long bet will lose: demystifying seemingly fair gambling via two-armed Futurity bandit

abstract: No matter how much some gamblers occasionally win, as long as they continue to gamble, sooner or later they will lose more to the casino, which is the so-called long bet will lose. Our results demonstrate the counter-intuitive phenomenon, that gamblers involved in long bets will lose but casinos always advertise their unprofitable circumstances. Here we expose the law of inevitability behind long bet will loss by theoretically and experimentally demystifying the profitable mystery behind casinos under two-armed antique Mills Futurity slot machine. The main results straightforwardly elucidate that all casino projects are seemingly a fair gamble but essentially unfair, i.e., the casino's win rate is greater than 50%. We anticipate our assay to be a starting point for studying the fairness of more sophisticated multi-armed Futurity bandits based on the mathematical tool. In application, a fairness study of the Futurity bandits not only exposes the fraud of casinos for gamblers but also discloses discount marketing, bundled sales, or other induced consumption tactics.


title: Analysis of rescattering effects in $3\pi$ final states

abstract: Decays into three particles are often described in terms of two-body resonances and a non-interacting spectator particle. To go beyond this simplest isobar model, crossed-channel rescattering effects need to be accounted for. We quantify the importance of these rescattering effects in three-pion systems for different decay masses and angular-momentum quantum numbers. We provide the amplitude decompositions for four decay processes with total $J^{PC} = 0^{--}$, $1^{--}$, $1^{-+}$, and $2^{++}$, all of which decay predominantly as $\rho\pi$ states. Two-pion rescattering is described in terms of an Omn\`es function, which incorporates the $\rho$ resonance. Inclusion of crossed-channel effects is achieved by solving the Khuri-Treiman integral equations. The unbinned log-likelihood estimator is used to determine the significance of the rescattering effects beyond two-body resonances; we compute the minimum number of events necessary to unambiguously find these in future Dalitz-plot analyses. Kinematic effects that enhance or dilute the rescattering are identified for the selected set of quantum numbers and various masses.


title: Occupant Privacy Perception, Awareness, and Preferences in Smart Office Environments

abstract: Building management systems tout numerous benefits, such as energy efficiency and occupant comfort but rely on vast amounts of data from various sensors. Advancements in machine learning algorithms make it possible to extract personal information about occupants and their activities beyond the intended design of a non-intrusive sensor. However, occupants are not informed of data collection and possess different privacy preferences and thresholds for privacy loss. While privacy perceptions and preferences are most understood in smart homes, limited studies have evaluated these factors in smart office buildings, where there are more users and different privacy risks. To better understand occupants' perceptions and privacy preferences, we conducted twenty-four semi-structured interviews between April 2022 and May 2022 on occupants of a smart office building. We found that data modality features and personal features contribute to people's privacy preferences. The features of the collected modality define data modality features -- spatial, security, and temporal context. In contrast, personal features consist of one's awareness of data modality features and data inferences, definitions of privacy and security, and the available rewards and utility. Our proposed model of people's privacy preferences in smart office buildings helps design more effective measures to improve people's privacy.


title: Investigating the agreement between methods of different precision

abstract: Agreement between measurement methods is commonly investigated by a so-called Bland-Altman plot showing if the difference is independent of the size of the measurement. However, such analysis assumes that both methods have the same precision. If not, the plot may show a false trend caused by the difference in precision and not by an actual dependence on the size of the measurement. We suggest a modification of the Bland-Altman plot such that the differences are plotted against an inverse-variance weighted average of the measurements rather than their mean. This study shows that such modification removes the dependence on difference in precision.


title: S-Graphs+: Real-time Localization and Mapping leveraging Hierarchical Representations

abstract: In this paper, we present an evolved version of Situational Graphs, which jointly models in a single optimizable factor graph (1) a pose graph, as a set of robot keyframes comprising associated measurements and robot poses, and (2) a 3D scene graph, as a high-level representation of the environment that encodes its different geometric elements with semantic attributes and the relational information between them. Specifically, our S-Graphs+ is a novel four-layered factor graph that includes: (1) a keyframes layer with robot pose estimates, (2) a walls layer representing wall surfaces, (3) a rooms layer encompassing sets of wall planes, and (4) a floors layer gathering the rooms within a given floor level. The above graph is optimized in real-time to obtain a robust and accurate estimate of the robots pose and its map, simultaneously constructing and leveraging high-level information of the environment. To extract this high-level information, we present novel room and floor segmentation algorithms utilizing the mapped wall planes and free-space clusters. We tested S-Graphs+ on multiple datasets, including simulated and real data of indoor environments from varying construction sites, and on a real public dataset of several indoor office areas. On average over our datasets, S-Graphs+ outperforms the accuracy of the second-best method by a margin of 10.67%, while extending the robot situational awareness by a richer scene model. Moreover, we make the software available as a docker file.


title: Few-shot human motion prediction for heterogeneous sensors

abstract: Human motion prediction is a complex task as it involves forecasting variables over time on a graph of connected sensors. This is especially true in the case of few-shot learning, where we strive to forecast motion sequences for previously unseen actions based on only a few examples. Despite this, almost all related approaches for few-shot motion prediction do not incorporate the underlying graph, while it is a common component in classical motion prediction. Furthermore, state-of-the-art methods for few-shot motion prediction are restricted to motion tasks with a fixed output space meaning these tasks are all limited to the same sensor graph. In this work, we propose to extend recent works on few-shot time-series forecasting with heterogeneous attributes with graph neural networks to introduce the first few-shot motion approach that explicitly incorporates the spatial graph while also generalizing across motion tasks with heterogeneous sensors. In our experiments on motion tasks with heterogeneous sensors, we demonstrate significant performance improvements with lifts from 10.4% up to 39.3% compared to best state-of-the-art models. Moreover, we show that our model can perform on par with the best approach so far when evaluating on tasks with a fixed output space while maintaining two magnitudes fewer parameters.


title: A Self-Adjusting Fusion Representation Learning Model for Unaligned Text-Audio Sequences

abstract: Inter-modal interaction plays an indispensable role in multimodal sentiment analysis. Due to different modalities sequences are usually non-alignment, how to integrate relevant information of each modality to learn fusion representations has been one of the central challenges in multimodal learning. In this paper, a Self-Adjusting Fusion Representation Learning Model (SA-FRLM) is proposed to learn robust crossmodal fusion representations directly from the unaligned text and audio sequences. Different from previous works, our model not only makes full use of the interaction between different modalities but also maximizes the protection of the unimodal characteristics. Specifically, we first employ a crossmodal alignment module to project different modalities features to the same dimension. The crossmodal collaboration attention is then adopted to model the inter-modal interaction between text and audio sequences and initialize the fusion representations. After that, as the core unit of the SA-FRLM, the crossmodal adjustment transformer is proposed to protect original unimodal characteristics. It can dynamically adapt the fusion representations by using single modal streams. We evaluate our approach on the public multimodal sentiment analysis datasets CMU-MOSI and CMU-MOSEI. The experiment results show that our model has significantly improved the performance of all the metrics on the unaligned text-audio sequences.


title: A mapping approach to surface hopping

abstract: We present a nonadiabatic classical-trajectory approach that offers the best of both worlds between fewest-switches surface hopping (FSSH) and quasiclassical mapping dynamics. This mapping approach to surface hopping (MASH) propagates the nuclei on the active adiabatic potential-energy surface, like in FSSH. However, unlike in FSSH, transitions between active surfaces are deterministic and occur when the electronic mapping variables evolve between specified regions of the electronic phase space. This guarantees internal consistency between the active surface and the electronic degrees of freedom throughout the dynamics. MASH is rigorously derivable from exact quantum mechanics, as a limit of the quantum-classical Liouville equation (QCLE), leading to a unique prescription for momentum rescaling and frustrated hops. Hence, a quantum-jump procedure can in principle be used to systematically converge the accuracy of the results to that of the QCLE. This jump procedure also provides a rigorous framework for deriving approximate decoherence corrections similar to those proposed for FSSH. We apply MASH to simulate the nonadiabatic dynamics in various model systems and show that it consistently produces more accurate results than FSSH, at a comparable computational cost.


title: A literature review on different types of empirically evaluated bug localization approaches

abstract: Today, software systems have a significant role in various domains among which are healthcare, entertainment, transport and logistics, and many more. It is only natural that with this increasing dependency on software, the number of software systems increases. Additionally, these systems become more and more complex. All this leads to a rise in the number of software faults also known as bugs. As a result, the ability to locate the source of a bug (e.g. a file or a commit) is vital for the development and maintenance of efficient software solutions. Bug localization refers to the automated process of discovering files that contain bugs, based on a bug report. This research project aims to make a literature review on different techniques for bug localization. This study distinguishes itself from other surveys and literature reviews [1] in one significant way. The focus of the work is on identifying, categorizing and analyzing existing bug localization methods and tools which were evaluated in an industrial setting. To the best of my knowledge, there are no other works that prioritise this aspect. Unfortunately, such literature is scarce, therefore, bug localization techniques evaluated on open source software are also included.


title: An efficient peridynamics-based statistical multiscale method for fracture in composite structure with randomly distributed particles

abstract: The fracture simulation of random particle reinforced composite structures remains a challenge. Current techniques either assumed a homogeneous model, ignoring the microstructure characteristics of composite structures, or considered a micro-mechanical model, involving intractable computational costs. This paper proposes a peridynamics-based statistical multiscale (PSM) framework to simulate the macroscopic structure fracture with high efficiency. The heterogeneities of composites, including the shape, spatial distribution and volume fraction of particles, are characterized within the representative volume elements (RVEs), and their impact on structure failure are extracted as two types of peridynamic parameters, namely, statistical critical stretch and equivalent micromodulus. At the microscale level, a bond-based peridynamic (BPD) model with energy-based micromodulus correction technique is introduced to simulate the fracture in RVEs, and then the computational model of statistical critical stretch is established through micromechanical analysis. Moreover, based on the statistical homogenization approach, the computational model of effective elastic tensor is also established. Then, the equivalent micromodulus can be derived from the effective elastic tensor, according to the energy density equivalence between classical continuum mechanics (CCM) and BPD models. At the macroscale level, a macroscale BPD model with the statistical critical stretch and the equivalent micromodulus is constructed to simulate the fracture in the macroscopic homogenized structures. The algorithm framework of the PSM method is also described. Two- and three-dimensional numerical examples illustrate the validity, accuracy and efficiency of the proposed method.


title: Fixed-budget online adaptive learning for physics-informed neural networks. Towards parameterized problem inference

abstract: Physics-Informed Neural Networks (PINNs) have gained much attention in various fields of engineering thanks to their capability of incorporating physical laws into the models. PINNs integrate the physical constraints by minimizing the partial differential equations (PDEs) residuals on a set of collocation points. The distribution of these collocation points appears to have a huge impact on the performance of PINNs and the assessment of the sampling methods for these points is still an active topic. In this paper, we propose a Fixed-Budget Online Adaptive Learning (FBOAL) method, which decomposes the domain into sub-domains, for training collocation points based on local maxima and local minima of the PDEs residuals. The effectiveness of FBOAL is demonstrated for non-parameterized and parameterized problems. The comparison with other adaptive sampling methods is also illustrated. The numerical results demonstrate important gains in terms of the accuracy and computational cost of PINNs with FBOAL over the classical PINNs with non-adaptive collocation points. We also apply FBOAL in a complex industrial application involving coupling between mechanical and thermal fields. We show that FBOAL is able to identify the high-gradient locations and even give better predictions for some physical fields than the classical PINNs with collocation points sampled on a pre-adapted finite element mesh built thanks to numerical expert knowledge. From the present study, it is expected that the use of FBOAL will help to improve the conventional numerical solver in the construction of the mesh.