title: SMGO-$\Delta$: Balancing Caution and Reward in Global Optimization with Black-Box Constraints

abstract: In numerous applications across all science and engineering areas, there are optimization problems where both the objective function and the constraints have no closed-form expression or are too complex to be managed analytically, that they can only be evaluated through experiments. To address such issues, we design a global optimization technique for problems with black-box objective and constraints. Assuming Lipschitz continuity of the cost and constraint functions, a Set Membership framework is adopted to build a surrogate model of the optimization program, that is used for exploitation and exploration routines. The resulting algorithm, named Set Membership Global Optimization With Black-Box Constraints (SMGO-$\Delta$), features one tunable risk parameter, which the user can intuitively adjust to trade-off safety, exploitation, and exploration. The theoretical properties of the algorithm are derived, and the optimization performance is compared with representative techniques from the literature in several benchmarks. Lastly, it is tested and compared with constrained Bayesian optimization in a case study pertaining to model predictive control tuning for a servomechanism with disturbances and plant uncertainties, addressing practically-motivated task-level constraints.


title: On the Cahn-Hilliard-Darcy system with mass source and strongly separating potential

abstract: We study an evolutionary system of Cahn-Hilliard-Darcy type including mass source and transport effects. The system may arise in a number of physical situations related to phase separation phenomena with convection, with the main and most specific application being related to tumoral processes, where the variations of the mass may correspond to growth, or shrinking, of the tumor. We prove existence of weak solutions in the case when the configuration potential for the order parameter $\varphi$ is designed in such a way to keep $\varphi$ in between the reference interval $(-1,1)$ despite the occurrence of mass source effects. Moreover, in the two-dimensional case, we obtain existence and uniqueness of strong (i.e., more regular) solutions.


title: Reconstruction of observed mechanical motions with Artificial Intelligence tools

abstract: The goal of this paper is to determine the laws of observed trajectories assuming that there is a mechanical system in the background and using these laws to continue the observed motion in a plausible way. The laws are represented by neural networks with a limited number of parameters. The training of the networks follows the Extreme Learning Machine idea. We determine laws for different levels of embedding, thus we can represent not only the equation of motion but also the symmetries of different kinds. In the recursive numerical evolution of the system, we require the fulfillment of all the observed laws, within the determined numerical precision. In this way, we can successfully reconstruct both integrable and chaotic motions, as we demonstrate in the example of the gravity pendulum and the double pendulum.


title: Subsystem distances between quasiparticle excited states

abstract: We investigate the subsystem Schatten distance, trace distance and fidelity between the quasiparticle excited states of the free and the nearest-neighbor coupled fermionic and bosonic chains and the ferromagnetic phase of the spin-1/2 XXX chain. The results support the scenario that in the scaling limit when one excited quasiparticle has a large energy it decouples from the ground state and when two excited quasiparticles have a large momentum difference they decouple from each other. From the quasiparticle picture, we get the universal subsystem distances that are valid when both the large energy condition and the large momentum difference condition are satisfied, by which we mean each of the excited quasiparticles has a large energy and the momentum difference of each pair of the excited quasiparticles is large. In the free fermionic and bosonic chains, we use the subsystem mode method and get efficiently the subsystem distances, which are also valid in the coupled fermionic and bosonic chains if the large energy condition is satisfied. Moreover, under certain limit the subsystem distances from the subsystem mode method are even valid in the XXX chain. We expect that the results can be also generalized for other integrable models.


title: S-PLUS: Exploring wide field properties of multiple populations in galactic globular clusters at different metallicities

abstract: The presence of Multiple Stellar Populations (MSPs) in Galactic Globular Clusters (GCs) is a poorly understood phenomenon. By probing different spectral ranges that are affected by different absorption lines using the multi-band photometric survey S-PLUS, we study four GCs -- NGC 104, NGC 288, NGC 3201 and NGC 7089 -- that span a wide range in metallicities. With the combination of broad and narrow-band photometry in 12 different filters from 3485A (u) to 9114A (z), we identified MSPs along the rectified red-giant branch in colour-magnitude diagrams (CMDs) and separated them using a K-means clustering algorithm. Additionally, we take advantage of the large Field of View of the S-PLUS detector to investigate radial trends in our sample. We report on six colour combinations that can be used to successfully identify two stellar populations in all studied clusters and show that they can be characterized as Na-rich and Na-poor. For both NGC 288 and NGC 7089, their radial profiles show a clear concentration of 2P. This directly supports the formation theories that propose an enrichment of the intra-cluster medium and subsequent star formation in the more dense central regions. However, in the case of NGC 3201, the trend is reversed. The 1P is more centrally concentrated, in direct contradiction with previous literature studies. NGC 104 shows a well-mixed population. We also constructed radial profiles up to 1 half-light radius of the clusters with HST data to highlight that radial differences are lost in the inner regions of the GCs and that wide-field studies are essential when studying this.


title: Topological phases of an interacting Majorana Benalcazar-Bernevig-Hughes model

abstract: We study the effects of Coulomb repulsive interactions on a Majorana Benalcazar-Bernevig-Hughes (MBBH) model. The MBBH model belongs to the class of second--order topological superconductors ($HOTSC_2$), featuring robust Majorana corner modes. We consider an interacting strip of four chains of length $L$ and perform a DMRG numerical analysis based on a tensor--network approach. Study of the nonlocal fermionic correlations and of the degenerate entanglement spectrum indicates that the topological phases are robust in the presence of interactions, even in the strongly interacting regime.


title: Zero-shot Cross-lingual Transfer of Prompt-based Tuning with a Unified Multilingual Prompt

abstract: Prompt-based tuning has been proven effective for pretrained language models (PLMs). While most of the existing work focuses on the monolingual prompts, we study the multilingual prompts for multilingual PLMs, especially in the zero-shot cross-lingual setting. To alleviate the effort of designing different prompts for multiple languages, we propose a novel model that uses a unified prompt for all languages, called UniPrompt. Different from the discrete prompts and soft prompts, the unified prompt is model-based and language-agnostic. Specifically, the unified prompt is initialized by a multilingual PLM to produce language-independent representation, after which is fused with the text input. During inference, the prompts can be pre-computed so that no extra computation cost is needed. To collocate with the unified prompt, we propose a new initialization method for the target label word to further improve the model's transferability across languages. Extensive experiments show that our proposed methods can significantly outperform the strong baselines across different languages. We release data and code to facilitate future research.


title: Deep Learning Reproducibility and Explainable AI (XAI)

abstract: The nondeterminism of Deep Learning (DL) training algorithms and its influence on the explainability of neural network (NN) models are investigated in this work with the help of image classification examples. To discuss the issue, two convolutional neural networks (CNN) have been trained and their results compared. The comparison serves the exploration of the feasibility of creating deterministic, robust DL models and deterministic explainable artificial intelligence (XAI) in practice. Successes and limitation of all here carried out efforts are described in detail. The source code of the attained deterministic models has been listed in this work. Reproducibility is indexed as a development-phase-component of the Model Governance Framework, proposed by the EU within their excellence in AI approach. Furthermore, reproducibility is a requirement for establishing causality for the interpretation of model results and building of trust towards the overwhelming expansion of AI systems applications. Problems that have to be solved on the way to reproducibility and ways to deal with some of them, are examined in this work.


title: Bitwidth Heterogeneous Federated Learning with Progressive Weight Dequantization

abstract: In practical federated learning scenarios, the participating devices may have different bitwidths for computation and memory storage by design. However, despite the progress made in device-heterogeneous federated learning scenarios, the heterogeneity in the bitwidth specifications in the hardware has been mostly overlooked. We introduce a pragmatic FL scenario with bitwidth heterogeneity across the participating devices, dubbed as Bitwidth Heterogeneous Federated Learning (BHFL). BHFL brings in a new challenge, that the aggregation of model parameters with different bitwidths could result in severe performance degeneration, especially for high-bitwidth models. To tackle this problem, we propose ProWD framework, which has a trainable weight dequantizer at the central server that progressively reconstructs the low-bitwidth weights into higher bitwidth weights, and finally into full-precision weights. ProWD further selectively aggregates the model parameters to maximize the compatibility across bit-heterogeneous weights. We validate ProWD against relevant FL baselines on the benchmark datasets, using clients with varying bitwidths. Our ProWD largely outperforms the baseline FL algorithms as well as naive approaches (e.g. grouped averaging) under the proposed BHFL scenario.


title: On $Z_{p^r}Z_{p^r}Z_{p^s}$-Additive Cyclic Codes

abstract: In this paper, we introduce $\mathbb{Z}_{p^r}\mathbb{Z}_{p^r}\mathbb{Z}_{p^s}$-additive cyclic codes for $r\leq s$. These codes can be identified as $\mathbb{Z}_{p^s}[x]$-submodules of $\mathbb{Z}_{p^r}[x]/\langle x^{\alpha}-1\rangle \times \mathbb{Z}_{p^r}[x]/\langle x^{\beta}-1\rangle\times \mathbb{Z}_{p^s}[x]/\langle x^{\gamma}-1\rangle$. We determine the generator polynomials and minimal generating sets for this family of codes. Some previous works has been done for the case $p=2$ with $r=s=1$, $r=s=2$, and $r=1,s=2$. However, we show that in these previous works the classification of these codes were incomplete and the statements in this paper complete such classification. We also discuss the structure of separable $\mathbb{Z}_{p^r}\mathbb{Z}_{p^r}\mathbb{Z}_{p^s}$-additive cyclic codes and determine their generator polynomials. Further, we also study the duality of $\mathbb{Z}_{p^s}[x]$-submodules. As applications, we present some examples and construct some optimal binary codes.


title: On PAC-Bayesian reconstruction guarantees for VAEs

abstract: Despite its wide use and empirical successes, the theoretical understanding and study of the behaviour and performance of the variational autoencoder (VAE) have only emerged in the past few years. We contribute to this recent line of work by analysing the VAE's reconstruction ability for unseen test data, leveraging arguments from the PAC-Bayes theory. We provide generalisation bounds on the theoretical reconstruction error, and provide insights on the regularisation effect of VAE objectives. We illustrate our theoretical results with supporting experiments on classical benchmark datasets.


title: SLOGAN: Handwriting Style Synthesis for Arbitrary-Length and Out-of-Vocabulary Text

abstract: Large amounts of labeled data are urgently required for the training of robust text recognizers. However, collecting handwriting data of diverse styles, along with an immense lexicon, is considerably expensive. Although data synthesis is a promising way to relieve data hunger, two key issues of handwriting synthesis, namely, style representation and content embedding, remain unsolved. To this end, we propose a novel method that can synthesize parameterized and controllable handwriting Styles for arbitrary-Length and Out-of-vocabulary text based on a Generative Adversarial Network (GAN), termed SLOGAN. Specifically, we propose a style bank to parameterize the specific handwriting styles as latent vectors, which are input to a generator as style priors to achieve the corresponding handwritten styles. The training of the style bank requires only the writer identification of the source images, rather than attribute annotations. Moreover, we embed the text content by providing an easily obtainable printed style image, so that the diversity of the content can be flexibly achieved by changing the input printed image. Finally, the generator is guided by dual discriminators to handle both the handwriting characteristics that appear as separated characters and in a series of cursive joins. Our method can synthesize words that are not included in the training vocabulary and with various new styles. Extensive experiments have shown that high-quality text images with great style diversity and rich vocabulary can be synthesized using our method, thereby enhancing the robustness of the recognizer.


title: Duality of generalized twisted Reed-Solomon codes and Hermitian self-dual MDS or NMDS codes

abstract: Self-dual MDS and NMDS codes over finite fields are linear codes with significant combinatorial and cryptographic applications. In this paper, firstly, we investigate the duality properties of generalized twisted Reed-Solomon (abbreviated GTRS) codes in some special cases. In what follows, a new systematic approach is proposed to draw Hermitian self-dual (+)-GTRS codes. The necessary and sufficient conditions of a Hermitian self-dual (+)-GTRS code are presented.With this method, several classes of Hermitian self-dual MDS and NMDS codes are constructed.


title: Initial data on big bang singularities in symmetric settings

abstract: In a recent article, we propose a general geometric notion of initial data on big bang singularities. This notion is of interest in its own right. However, it also serves the purpose of giving a unified perspective on many of the results in the literature. In the present article, we give a partial justification of this statement by rephrasing the results concerning Bianchi class A orthogonal stiff solutions and solutions in the $\mathbb{T}^{3}$-Gowdy symmetric vacuum setting in terms of our general geometric notion of initial data on the big bang singularity.


title: Biometric security technology

abstract: This paper presents an overview of the main topics related to biometric security technology, with the main purpose to provide a primer on this subject. Biometrics can offer greater security and convenience than traditional methods for people recognition. Even if we do not want to replace a classic method (password or handheld token) by a biometric one, for sure, we are potential users of these systems, which will even be mandatory for new passport models. For this reason, to be familiarized with the possibilities of biometric security technology is useful.


title: Evacuation trials from a double-deck electric train unit: Experimental data and sensitivity analysis

abstract: Passenger trains represent a challenging environment in emergencies, with specific evacuation conditions resulting from the typical layout and interior design inherent to public transportation vehicles. This paper describes a dataset obtained in a full-scale controlled experiment emulating the emergency evacuation of a double-deck electric unit railcar carried out in Prague in 2018. 15 evacuation trials involving 91 participants were conducted under various evacuation scenarios considering different compositions of passenger crowd, exit widths, and exit types (e.g. egress to a high platform, to an open rail line using stairs, and a 750 mm jump without any supporting equipment). The study's main goals were to collect experimental data on the movement conditions in the railcar and to study the impact of various boundary conditions on evacuation process and total evacuation time. Movement characteristics (exit flows, speeds) and human behaviour (pre-movement activities, exiting behaviours) were also analysed. The data obtained was used to validate and adjust a Pathfinder model to capture important aspects of evacuation from the railcar. Furthermore, a series of simulations using this model was performed to provide sensitivity analysis of the influence of crowd composition, exit width, and exit type on total evacuation time. As a key finding, we can conclude that for the case of a standard exit path (platform or stairs) the width of the main exit had the greatest impact on total evacuation time, however, crowd composition played the prevailing role in evacuation scenarios involving a jump.


title: Exponential Tail Local Rademacher Complexity Risk Bounds Without the Bernstein Condition

abstract: The local Rademacher complexity framework is one of the most successful general-purpose toolboxes for establishing sharp excess risk bounds for statistical estimators based on the framework of empirical risk minimization. Applying this toolbox typically requires using the Bernstein condition, which often restricts applicability to convex and proper settings. Recent years have witnessed several examples of problems where optimal statistical performance is only achievable via non-convex and improper estimators originating from aggregation theory, including the fundamental problem of model selection. These examples are currently outside of the reach of the classical localization theory. In this work, we build upon the recent approach to localization via offset Rademacher complexities, for which a general high-probability theory has yet to be established. Our main result is an exponential-tail excess risk bound expressed in terms of the offset Rademacher complexity that yields results at least as sharp as those obtainable via the classical theory. However, our bound applies under an estimator-dependent geometric condition (the "offset condition") instead of the estimator-independent (but, in general, distribution-dependent) Bernstein condition on which the classical theory relies. Our results apply to improper prediction regimes not directly covered by the classical theory.


title: Thermal hand image segmentation for biometric recognition

abstract: In this paper we present a method to identify people by means of thermal (TH) and visible (VIS) hand images acquired simultaneously with a TESTO 882-3 camera. In addition, we also present a new database specially acquired for this work. The real challenge when dealing with TH images is the cold finger areas, which can be confused with the acquisition surface. This problem is solved by taking advantage of the VIS information. We have performed different tests to show how TH and VIS images work in identification problems. Experimental results reveal that TH hand image is as suitable for biometric recognition systems as VIS hand images, and better results are obtained when combining this information. A Biometric Dispersion Matcher has been used as a feature vector dimensionality reduction technique as well as a classification task. Its selection criteria helps to reduce the length of the vectors used to perform identification up to a hundred measurements. Identification rates reach a maximum value of 98.3% under these conditions, when using a database of 104 people.


title: Symmetry energy effects on the properties of hybrid stars

abstract: Symmetry energy is an important part of the equation of state of isospin asymmetry matter. However, the huge uncertainties of symmetry energy remain at suprasaturation densities, where the phase transitions of strongly interacting matter and the quark matter symmetry energy are likely to be taken into account. In this work, we investigate the properties of symmetry energy by using a hybrid star with the hadron-quark phase transition. The interaction among strange quark matter (SQM) in hybrid stars is based on a 3-flavor NJL model with different vector and isovector channels, while the equation of state (EOS) of the nuclear matter is obtained by considering the ImMDI-ST interaction by varying the parameters x, y, and z. Our results indicate that the various parameters and coupling constants of the interactions from the ImMDI-ST and NJL model can lead to widely different trends for the symmetry energy in the hadron-quark mixed phase and the different onsets of the hadron-quark phase transition. In addition, it has been found that the radii and tidal deformabilities of hybrid stars constrain mostly the density dependence of symmetry energy while the observed maximum masses of hybrid stars constrain mostly the EOS of symmetric nuclear and quark matter.


title: The Tiny-Tasks Granularity Trade-Off: Balancing overhead vs. performance in parallel systems

abstract: Models of parallel processing systems typically assume that one has $l$ workers and jobs are split into an equal number of $k=l$ tasks. Splitting jobs into $k > l$ smaller tasks, i.e. using ``tiny tasks'', can yield performance and stability improvements because it reduces the variance in the amount of work assigned to each worker, but as $k$ increases, the overhead involved in scheduling and managing the tasks begins to overtake the performance benefit. We perform extensive experiments on the effects of task granularity on an Apache Spark cluster, and based on these, developed a four-parameter model for task and job overhead that, in simulation, produces sojourn time distributions that match those of the real system. We also present analytical results which illustrate how using tiny tasks improves the stability region of split-merge systems, and analytical bounds on the sojourn and waiting time distributions of both split-merge and single-queue fork-join systems with tiny tasks. Finally we combine the overhead model with the analytical models to produce an analytical approximation to the sojourn and waiting time distributions of systems with tiny tasks which include overhead. Though no longer strict analytical bounds, these approximations matched the Spark experimental results very well in both the split-merge and fork-join cases.


title: Personalized PPG Normalization based on Subject Heartbeat in Resting State Condition

abstract: Physiological responses are nowadays widely used to recognize the affective state of subjects in real-life scenarios. However, these data are intrinsically subject-dependent, making machine learning techniques for data classification not easily applicable due to inter-subject variability. In this work, the reduction of inter-subject heterogeneity is considered in the case of PhotoPlethysmoGraphy (PPG), which is successfully used to detect stress and evaluate experienced cognitive load. To face the inter-subject heterogeneity, a novel personalized PPG normalization is here proposed. A subject-normalized discrete domain where the PPG signals are properly re-scaled is introduced, considering the subject's heartbeat frequency in resting state conditions. The effectiveness of the proposed normalization is evaluated in comparison with other normalization procedures in a binary classification task, where cognitive load and relaxing state are considered. The results obtained on two different datasets available in the literature confirm that applying the proposed normalization strategy permits to increase classification performance.


title: Magnetic moment of the $X_1(2900)$ state in the diquark-antidiquark picture

abstract: Motivated by the discovery of fully open-flavor tetraquark states $X_0(2900)$ and $X_1(2900)$ by the LHCb Collaboration, the magnetic dipole moment of the $X_1(2900)$ state with the quantum numbers $ J^{P} = 1^{-}$ is determined in the diquark-antidiquark picture using the light-cone sum rules. The numerical result is obtained as $ \mu_{X_1}=0.79^{+0.36}_{-0.39}\,\mu_N$. The magnetic moments of hadrons encompasses useful knowledge on the distributions of charge and magnetization their inside, which can be used to better understand their geometrical shapes and quark-gluon organizations. The observation of the $X_0(2900)$ and $X_1(2900)$ as the first two fully open-flavor multiquark states has opened a new window for investigation of the exotic states. The obtained results in the present study may shed light on the future experimental and theoretical searches on the properties of fully open-flavor multiquark states.


title: Effects of Mercury surface temperature on the sodium abundance in its exosphere

abstract: The link between the surface temperature of Mercury and the exosphere sodium content has been investigated. Observations show that, along the orbit of Mercury, two maxima of total Na content are present: one at aphelion and one at perihelion. Previous models, based on a simple thermal map, were not able to reproduce the aphelion peak. Here we introduce a new thermophysical model giving soil temperatures as an input for the IAPS exospheric model already used in the past with the input of a simple thermal map. By comparing the reference model output with the new one, we show that such improved surface temperature map is crucial to explain the temporal variability of Sodium along the orbit.


title: Bond Graph Modelling and Simulation of Pneumatic Soft Actuator

abstract: This paper presents the design and dynamic modelling of a soft pneumatic actuator that can be used to mimic snake or worm-like locomotion. The bond graph technique is used to derive the dynamics of the actuator. To validate the accuracy of the derived dynamic model, we conduct numerical simulations using 20-sim software. Experimental results demonstrate that the soft actuator achieves bi-directional bending and linear displacement, which is essential for mimicking snake or worm-like locomotion


title: Integrating Dark Matter, Modified Gravity, and the Humanities

abstract: Editorial of a special issue on dark matter & modified gravity, distributed across the journals Studies in History and Philosophy of Modern Physics and Studies in History and Philosophy of Science. Published version of the open access editorial (in SHPS) available here: https://doi.org/10.1016/j.shpsa.2021.08.015. The six papers are collected here: https://www.sciencedirect.com/journal/studies-in-history-and-philosophy-of-science-part-b-studies-in-history-and-philosophy-of-modern-physics/special-issue/10CR71RJLWM.

categories: physics.hist-ph astro-ph.CO astro-ph.GA gr-qc hep-th


title: Gravity-driven coatings on curved substrates: a differential geometry approach

abstract: Although the drainage and spreading processes of thin liquid films on substrates have received growing attention during the last decades, the study of three-dimensional cases is limited to a few studies on flat and axisymmetric substrates. In this work, we exploit differential geometry to study the drainage and spreading of thin films on generic curved substrates. We initially investigate the drainage and spreading processes on spheroidal and paraboloidal substrates by employing an asymptotic expansion in the vicinity of the pole and a self-similar approach, finding that the thickness distribution is set by the substrate metric and tangential gravity force components. Spheroids with a large ratio between height and equatorial radius are characterized by a growing thickness moving away from the pole, and vice versa. The non-symmetric coating on a toroidal substrate shows that larger thicknesses and a faster spreading are attained on the inner region than on the outer region of the torus. An ellipsoid with three different axes is chosen as a testing ground for three-dimensional drainage and spreading. Modulations in the drainage solution are observed, with a different variation of the thickness along the two axes. By imposing the conservation of mass, an analytical solution for the average spreading front is obtained. The analytical and numerical results are in good agreement. The resulting drainage solutions show also a good agreement with experimental measurements obtained from the coating of a curing polymer on diverse substrates.


title: Radiation hardness study on a CMOS pixel sensor for charged particle tracking

abstract: A CMOS pixel sensor, named Supix-1, is developed for a pixelated silicon tracker for the Circular Electron-Positron Collider (CEPC) project. The sensor, consisted of nine sectors varying in pixel sizes, diode sizes and geometries, is fabricated with a 180 nm CMOS Image Sensor (CIS) process to study the particle detection performance of enlarged pixels. In this work, the radiation-induced effects on the charge collection of the sensor under the fluence of 1 $\times$ 10^13 1 MeV neq/cm^2 are studied by the measurements with the radioactive source of Fe-55 and the Technology Computer Aided Design (TCAD) simulations, since the radiation hardness of 6.8 $\times$ 10^12 1 MeV neq/cm^2 per year for Non-Ionizing Energy Loss (NIEL) effects is required. In measurements, the sensor gain has been calibrated using the k-$\alpha$ peak of Fe-55 before and after irradiation. The pixel-wise equivalent noise charge (ENC), charge collection efficiency (CCE) and signal-to-noise ratio (SNR) were evaluated. The radiation-induced effects on cluster properties are studied through a self-developed reconstruction algorithm. In TCAD simulations, charge collections in 5 $\times$ 5 pixel matrixes for two typical impinging cases of incident particles were simulated with and without irradiation. Both measurements and simulations indicate that enlarged pixels with area of 21 $\mu$m $\times$ 84 $\mu$m, though suffering greater loss on sensor performance than small pixels do, still have satisfactory noise and charge collection performance after irradiation for particle tracking in the upcoming collider detectors.


title: J-PLUS: A catalogue of globular cluster candidates around the M81/M82/NGC3077 triplet of galaxies

abstract: Globular clusters (GCs) are proxies of the formation assemblies of their host galaxies. However, few studies exist targeting GC systems of spiral galaxies up to several effective radii. Through 12-band Javalambre Photometric Local Universe Survey (J-PLUS) imaging, we study the point sources around the M81/M82/NGC3077 triplet in search of new GC candidates. We develop a tailored classification scheme to search for GC candidates based on their similarity to known GCs via a principal components analysis (PCA) projection. Our method accounts for missing data and photometric errors. We report 642 new GC candidates in a region of 3.5 deg$^2$ around the triplet, ranked according to their Gaia astrometric proper motions when available. We find tantalising evidence for an overdensity of GC candidate sources forming a bridge connecting M81 and M82. Finally, the spatial distribution of the GC candidates $(g-i)$ colours is consistent with halo/intra-cluster GCs, i.e. it gets bluer as they get further from the closest galaxy in the field. We further employ a regression-tree based model to estimate the metallicity distribution of the GC candidates based on their J-PLUS bands. The metallicity distribution of the sample candidates is broad and displays a bump towards the metal-rich end. Our list increases the population of GC candidates around the triplet by 3-fold, stresses the usefulness of multi-band surveys in finding these objects, and provides a testbed for further studies analysing their spatial distribution around nearby (spirals) galaxies.


title: 2021 Update on $\varepsilon_K$ with lattice QCD inputs

abstract: We present recent updates for $\varepsilon_K$ determined directly from the standard model (SM) with lattice QCD inputs such as $\hat{B}_K$, $|V_{cb}|$, $|V_{us}|$, $\xi_0$, $\xi_2$, $\xi_\text{LD}$, $f_K$, and $m_c$. We find that the standard model with exclusive $|V_{cb}|$ and other lattice QCD inputs describes only 66\% of the experimental value of $|\varepsilon_K|$ and does not explain its remaining 34\%, which leads to a strong tension in $|\varepsilon_K|$ at the $4.5\sigma \sim 3.7\sigma$ level between the SM theory and experiment. We also find that this tension disappears when we use the inclusive value of $|V_{cb}|$ obtained using the heavy quark expansion based on the QCD sum rule approach.


title: Residual Bootstrap Exploration for Stochastic Linear Bandit

abstract: We propose a new bootstrap-based online algorithm for stochastic linear bandit problems. The key idea is to adopt residual bootstrap exploration, in which the agent estimates the next step reward by re-sampling the residuals of mean reward estimate. Our algorithm, residual bootstrap exploration for stochastic linear bandit (\texttt{LinReBoot}), estimates the linear reward from its re-sampling distribution and pulls the arm with the highest reward estimate. In particular, we contribute a theoretical framework to demystify residual bootstrap-based exploration mechanisms in stochastic linear bandit problems. The key insight is that the strength of bootstrap exploration is based on collaborated optimism between the online-learned model and the re-sampling distribution of residuals. Such observation enables us to show that the proposed \texttt{LinReBoot} secure a high-probability $\tilde{O}(d \sqrt{n})$ sub-linear regret under mild conditions. Our experiments support the easy generalizability of the \texttt{ReBoot} principle in the various formulations of linear bandit problems and show the significant computational efficiency of \texttt{LinReBoot}.


title: Wigner's approach enabled detection of multipartite nonlocality using all different bipartitions

abstract: Distinct from Bell's approach, Wigner had derived a form of local realist (LR) inequality which is quantum mechanically violated for a bipartite maximally entangled state. Subsequently, this approach was generalized to obtain a multipartite LR inequality. However, the violation of such generalised Wigner's inequality does not guarantee nonlocality between all possible different bipartitions of the multipartite system. In the present work, this limitation has been overcome by formulating a further generalisation of Wigner's approach through the derivation of a set of LR inequalities with respect to all different bipartitions of a N-partite system. Quantum mechanical violations of all individual LR inequalities belonging to such a set would rigorously certify multipartite nonlocality by also providing a finer characterisation of the nature of multipartite nonlocality in the following sense. The quantum mechanical violation of any given inequality of our complete set of LR inequalities would enable identification of the corresponding bipartition which exhibits nonlocality. This is in contrast to other multipartite LR inequalities such as the Svetlichny inequality or its generalisation that cannot be used to detect whether there is any particular bipartition which is nonlocally correlated. The efficacy of the scheme developed in this paper is illustrated for the tripartite and quadripartite states.


title: Comparing the convected level-set and the Allen-Cahn phase-field methods in AMR/C simulations of two-phase flows

abstract: The modeling and simulation of two-phase flows is still an active research area, mainly when surface tension is present. One way to model the different phases is with interface capturing methods. Two well-established interface capturing approaches are the level-set and phase-field methods. The level-set method is known for its ability to compute the surface tension accurately, and phase-field models satisfy the second law of thermodynamics. This paper reviews and compares a level-set and a phase-field approach to simulate two-phase flows. We use a modified level-set method, called convected level-set. The difference to the standard level-set method is that the re-initialization step is embedded in the convection equation, avoiding a separate step during the calculation. We also apply a global mass conservation procedure to enforce the mass balance between phases. On the other hand, the phase-field approach uses a conservative Allen-Cahn equation with a Lagrange multiplier to conserve the mass. The methods are implemented in libMesh, a parallel adaptive finite element library, using the same finite element formulations, time-marching schemes, solvers, and mesh adaptivity strategies. We present numerical solutions for the two methods considering adaptive mesh refinement and coarsening (AMR/C). Results are analyzed and discussed.


title: Integral Motivic Sheaves And Geometric Representation Theory

abstract: With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that reduced stratified Tate motives satisfy favorable properties including weight and t-structures. We also prove that reduced motives on cellular (ind-)schemes unify various approaches to mixed sheaves in representation theory, such as Soergel-Wendt's semisimplified Hodge motives, Achar-Riche's complexes of parity sheaves, as well as Ho-Li's recent category of graded $\ell$-adic sheaves.


title: MeqSilhouette v2: Spectrally-resolved polarimetric synthetic data generation for the Event Horizon Telescope

abstract: We present MeqSilhouette v2.0 (MeqSv2), a fully polarimetric, time-and frequency-resolved synthetic data generation software for simulating millimetre (mm) wavelength very long baseline interferometry (VLBI) observations with heterogeneous arrays. Synthetic data are a critical component in understanding real observations, testing calibration and imaging algorithms, and predicting performance metrics of existing or proposed sites. MeqSv2 applies physics-based instrumental and atmospheric signal corruptions constrained by empirically-derived site and station parameters to the data. The new version is capable of applying instrumental polarization effects and various other spectrally-resolved effects using the Radio Interferometry Measurement Equation (RIME) formalism and produces synthetic data compatible with calibration pipelines designed to process real data. We demonstrate the various corruption capabilities of MeqSv2 using different arrays, with a focus on the effect of complex bandpass gains on closure quantities for the EHT at 230 GHz. We validate the frequency-dependent polarization leakage implementation by performing polarization self-calibration of synthetic EHT data using PolSolve. We also note the potential applications for cm-wavelength VLBI array analysis and design and future directions.


title: Listen to Interpret: Post-hoc Interpretability for Audio Networks with NMF

abstract: This paper tackles post-hoc interpretability for audio processing networks. Our goal is to interpret decisions of a network in terms of high-level audio objects that are also listenable for the end-user. To this end, we propose a novel interpreter design that incorporates non-negative matrix factorization (NMF). In particular, a carefully regularized interpreter module is trained to take hidden layer representations of the targeted network as input and produce time activations of pre-learnt NMF components as intermediate outputs. Our methodology allows us to generate intuitive audio-based interpretations that explicitly enhance parts of the input signal most relevant for a network's decision. We demonstrate our method's applicability on popular benchmarks, including a real-world multi-label classification task.


title: A bicycle can be balanced by stochastic optimal feedback control but only with accurate speed estimates

abstract: Balancing a bicycle is typical for the balance control humans perform as a part of a whole range of behaviors (walking, running, skating, skiing, etc.). This paper presents a general model of balance control and applies it to the balancing of a bicycle. Balance control has both a physics (mechanics) and a neurobiological component. The physics component pertains to the laws that govern the movements of the rider and his bicycle, and the neurobiological component pertains to the mechanisms via which the central nervous system (CNS) uses these laws for balance control. This paper presents a computational model of this neurobiological component, based on the theory of stochastic optimal feedback control (OFC). The central concept in this model is a computational system, implemented in the CNS, that controls a mechanical system outside the CNS. This computational system uses an internal model to calculate optimal control actions as specified by the theory of stochastic optimal feedback control (OFC). For the computational model to be plausible, it must be robust to at least two inevitable inaccuracies: (1) model parameters that the CNS learns slowly from interactions with the CNS-attached body and bicycle (i.e., the internal noise covariance matrices), and (2) model parameters that depend on unreliable sensory input (i.e., movement speed). By means of simulations, I demonstrate that this model can balance a bicycle under realistic conditions and is robust to inaccuracies in the learned sensorimotor noise characteristics. However, the model is not robust to inaccuracies in the movement speed estimates. This has important implications for the plausibility of stochastic OFC as a model for balance control.


title: On the existence of infinitely many realization functions of non-global local minima in the training of artificial neural networks with ReLU activation

abstract: Gradient descent (GD) type optimization schemes are the standard instruments to train fully connected feedforward artificial neural networks (ANNs) with rectified linear unit (ReLU) activation and can be considered as temporal discretizations of solutions of gradient flow (GF) differential equations. It has recently been proved that the risk of every bounded GF trajectory converges in the training of ANNs with one hidden layer and ReLU activation to the risk of a critical point. Taking this into account it is one of the key research issues in the mathematical convergence analysis of GF trajectories and GD type optimization schemes, respectively, to study sufficient and necessary conditions for critical points of the risk function and, thereby, to obtain an understanding about the appearance of critical points in dependence of the problem parameters such as the target function. In the first main result of this work we prove in the training of ANNs with one hidden layer and ReLU activation that for every $ a, b \in \mathbb{R} $ with $ a < b $ and every arbitrarily large $ \delta > 0 $ we have that there exists a Lipschitz continuous target function $ f \colon [a,b] \to \mathbb{R} $ such that for every number $ H > 1 $ of neurons on the hidden layer we have that the risk function has uncountably many different realization functions of non-global local minimum points whose risks are strictly larger than the sum of the risk of the global minimum points and the arbitrarily large $ \delta $. In the second main result of this work we show in the training of ANNs with one hidden layer and ReLU activation in the special situation where there is only one neuron on the hidden layer and where the target function is continuous and piecewise polynomial that there exist at most finitely many different realization functions of critical points.


title: The evolution of cooperation in the public goods game on the scale-free community networks under multiple strategy updating rules

abstract: Social networks have a scale-free property and community structure, and many problems in life have the characteristic of public goods, such as resource shortage. Due to different preferences of individuals, there exist individuals who adopt heterogeneous strategies updating rules in the network. We investigate the evolution of cooperation in the scale-free community network with public goods games and the influence of multiple strategy updating rules. Here, two types of strategy updating rules are considered which are pairwise comparison rules and aspiration-driven rules. Numerical simulations are conducted and presented corresponding results. We find that community structure promotes the emergence of cooperation in public goods games. In the meantime, there is a "U" shape relationship between the frequency of cooperators and the proportion of the two strategy updating rules. With the variance in the proportion of the two strategy updating rules, pairwise comparison rules seem to be more sensitive. Compared with aspiration-driven rules, pairwise comparison rules play a more important role in promoting cooperation. Our work may be helpful to understand the evolution of cooperation in social networks.


title: High-precision Hardware Oscillators Ensemble for GNSS Attack Detection

abstract: A wide gamut of important applications rely on global navigation satellite systems (GNSS) for precise time and positioning. Attackers dictating the GNSS receiver position and time solution are a significant risk, especially due to the inherent vulnerability of GNSS systems. A first line of defense, for a large number of receivers, is to rely on additional information obtained through the rich connectivity of GNSS enabled platforms. Network time can be used for direct validation of the GNSS receiver time; but this depends on network availability. To allow attack detection even when there are prolonged network disconnections, we present a method based on on-board ensemble of reference clocks. This allows the receiver to detect sophisticated attacks affecting the GNSS time solution, independently of the specific attack methodology. Results obtained with Chip-Scale Oven Compensated Oscillators (CS-OCXO) are promising and demonstrate the potential of embedded ensembles of reference clocks, detecting attacks causing modifications of the receiver time offset as low as 0.3us, with half the detection latency compared to related literature.


title: Reconstruction Task Finds Universal Winning Tickets

abstract: Pruning well-trained neural networks is effective to achieve a promising accuracy-efficiency trade-off in computer vision regimes. However, most of existing pruning algorithms only focus on the classification task defined on the source domain. Different from the strong transferability of the original model, a pruned network is hard to transfer to complicated downstream tasks such as object detection arXiv:arch-ive/2012.04643. In this paper, we show that the image-level pretrain task is not capable of pruning models for diverse downstream tasks. To mitigate this problem, we introduce image reconstruction, a pixel-level task, into the traditional pruning framework. Concretely, an autoencoder is trained based on the original model, and then the pruning process is optimized with both autoencoder and classification losses. The empirical study on benchmark downstream tasks shows that the proposed method can outperform state-of-the-art results explicitly.


title: Learning Temporal Point Processes for Efficient Retrieval of Continuous Time Event Sequences

abstract: Recent developments in predictive modeling using marked temporal point processes (MTPP) have enabled an accurate characterization of several real-world applications involving continuous-time event sequences (CTESs). However, the retrieval problem of such sequences remains largely unaddressed in literature. To tackle this, we propose NEUROSEQRET which learns to retrieve and rank a relevant set of continuous-time event sequences for a given query sequence, from a large corpus of sequences. More specifically, NEUROSEQRET first applies a trainable unwarping function on the query sequence, which makes it comparable with corpus sequences, especially when a relevant query-corpus pair has individually different attributes. Next, it feeds the unwarped query sequence and the corpus sequence into MTPP guided neural relevance models. We develop two variants of the relevance model which offer a tradeoff between accuracy and efficiency. We also propose an optimization framework to learn binary sequence embeddings from the relevance scores, suitable for the locality-sensitive hashing leading to a significant speedup in returning top-K results for a given query sequence. Our experiments with several datasets show the significant accuracy boost of NEUROSEQRET beyond several baselines, as well as the efficacy of our hashing mechanism.


title: Augmentation based unsupervised domain adaptation

abstract: The insertion of deep learning in medical image analysis had lead to the development of state-of-the art strategies in several applications such a disease classification, as well as abnormality detection and segmentation. However, even the most advanced methods require a huge and diverse amount of data to generalize. Because in realistic clinical scenarios, data acquisition and annotation is expensive, deep learning models trained on small and unrepresentative data tend to outperform when deployed in data that differs from the one used for training (e.g data from different scanners). In this work, we proposed a domain adaptation methodology to alleviate this problem in segmentation models. Our approach takes advantage of the properties of adversarial domain adaptation and consistency training to achieve more robust adaptation. Using two datasets with white matter hyperintensities (WMH) annotations, we demonstrated that the proposed method improves model generalization even in corner cases where individual strategies tend to fail.


title: DOME: Discrete oriented muon emission in GEANT4 simulations

abstract: In this study, we exhibit a number elementary strategies that might be at disposal in diverse computational applications in the GEANT4 simulations with the purpose of hemispherical particle sources. To further detail, we initially generate random points on a spherical surface for a sphere of a practical radius by employing Gaussian distributions for the three components of the Cartesian coordinates, thereby obtaining a generating surface for the initial positions of the corresponding particles. Since we do not require the half bottom part of the produced spherical surface for our tomographic applications, we take the absolute value of the vertical component in the Cartesian coordinates by leading to a half-spherical shell, which is traditionally called a hemisphere. Last but not least, we direct the generated particles into the target material to be irradiated by favoring a selective momentum direction that is based on the vector construction between the random point on the hemispherical surface and the origin of the target material, hereby optimizing the particle loss through the source biasing. In the end, we incorporate our strategy by using G4ParticleGun in the GEANT4 code. Furthermore, we also exhibit a second scheme that is based on the coordinate transformation from the spherical coordinates to the Cartesian coordinates, thereby reducing the number of random number generators. While we plan to exert our strategy in the computational practices for muon scattering tomography, this source scheme might find its straightforward applications in different neighboring fields including but not limited to atmospheric sciences, space engineering, and astrophysics where a 3D particle source is a necessity for the modeling goals.


title: Queueing Systems with Some Versions of Limited Processor Sharing Discipline

abstract: The paper considers a queueing system with limited processor sharing. No more than n jobs may be served simultaneously. This system may be used for modeling bandwidth sharing in wireless communication systems and processes of service in computer networks. If there are n jobs in the considered queueing system and a new job arrives, then the arriving job is lost or the service of a job is interrupted and this job is lost. We study two rules to choose the job to be lost. In accordance with one of these rules, the job with the shortest remaining length is lost. Relations are obtained between the state probabilities of considered system and the state probabilities of the corresponding unlimited processor sharing system. These relations allow to compute the state probabilities for considered system if the state probabilities for the unlimited processor sharing system are known. In the case of Poisson arrival process, the probability that the server capacity is exhausted is equal to the probability that a job is lost. We have obtained an explicit formulas for the stationary state probabilities and the loss probability for this case. These probabilities are invariant under the job length distribution under the condition that the average value of the length is fixed.


title: Water Waves: Nonlinear Theory

abstract: A novel mathematical nonlinear theory of surface gravity waves in deep water is presented, in which analytical analysis of the classical nonlinear equations of fluid dynamics is performed under less restrictive assumptions than those applied by existing theories. In particular, the new theory ensures uniqueness of the solution without the need to employ the so-called radiation condition, and its solutions are such that the liquid always remains at rest at infinity, and the energy supplied to the water by a source of disturbances is finite at all times - all that in contrast with conventional approaches that operate in terms of spatially-infinite harmonic waves. The new theory accounts for the non-linearity of the problem, and yields solutions valid at all times, from zero (the time of setting initial conditions) to infinity. The author describes previously unknown patterns in wave evolution, and confirms those patterns with the experimental results by other researchers.

categories: physics.flu-dyn math-ph math.MP physics.ao-ph


title: Towards Tailored Models on Private AIoT Devices: Federated Direct Neural Architecture Search

abstract: Neural networks often encounter various stringent resource constraints while deploying on edge devices. To tackle these problems with less human efforts, automated machine learning becomes popular in finding various neural architectures that fit diverse Artificial Intelligence of Things (AIoT) scenarios. Recently, to prevent the leakage of private information while enable automated machine intelligence, there is an emerging trend to integrate federated learning and neural architecture search (NAS). Although promising as it may seem, the coupling of difficulties from both tenets makes the algorithm development quite challenging. In particular, how to efficiently search the optimal neural architecture directly from massive non-independent and identically distributed (non-IID) data among AIoT devices in a federated manner is a hard nut to crack. In this paper, to tackle this challenge, by leveraging the advances in ProxylessNAS, we propose a Federated Direct Neural Architecture Search (FDNAS) framework that allows for hardware-friendly NAS from non- IID data across devices. To further adapt to both various data distributions and different types of devices with heterogeneous embedded hardware platforms, inspired by meta-learning, a Cluster Federated Direct Neural Architecture Search (CFDNAS) framework is proposed to achieve device-aware NAS, in the sense that each device can learn a tailored deep learning model for its particular data distribution and hardware constraint. Extensive experiments on non-IID datasets have shown the state-of-the-art accuracy-efficiency trade-offs achieved by the proposed solution in the presence of both data and device heterogeneity.


title: Networked Online Learning for Control of Safety-Critical Resource-Constrained Systems based on Gaussian Processes

abstract: Safety-critical technical systems operating in unknown environments require the ability to quickly adapt their behavior, which can be achieved in control by inferring a model online from the data stream generated during operation. Gaussian process-based learning is particularly well suited for safety-critical applications as it ensures bounded prediction errors. While there exist computationally efficient approximations for online inference, these approaches lack guarantees for the prediction error and have high memory requirements, and are therefore not applicable to safety-critical systems with tight memory constraints. In this work, we propose a novel networked online learning approach based on Gaussian process regression, which addresses the issue of limited local resources by employing remote data management in the cloud. Our approach formally guarantees a bounded tracking error with high probability, which is exploited to identify the most relevant data to achieve a certain control performance. We further propose an effective data transmission scheme between the local system and the cloud taking bandwidth limitations and time delay of the transmission channel into account. The effectiveness of the proposed method is successfully demonstrated in a simulation.


title: Ab initio calculation of the magnetic Gibbs free energy of materials using magnetically constrained supercells

abstract: We present a first-principles approach for the computation of the magnetic Gibbs free energy of materials using magnetically constrained supercell calculations. Our approach is based on an adiabatic approximation of slowly varying local moment orientations, the so-called finite-temperature disordered local moment picture. It describes magnetic phase transitions and how electronic and/or magnetostructural mechanisms generate a discontinuous (first-order) character. We demonstrate that the statistical mechanics of the local moment orientations can be described by an affordable number of supercell calculations containing noncollinear magnetic configurations. The applicability of our approach is illustrated by firstly studying the ferromagnetic state in bcc Fe. We then investigate the temperature-dependent properties of a triangular antiferromagnetic state stabilizing in two antiperovskite systems Mn$_3$AN (A = Ga, Ni). Our calculations provide the negative volume expansion of these materials as well as the ab initio origin of the discontinuous character of the phase transitions, electronic and/or magnetostructural, in good agreement with experiment.


title: A Survey on Technological Trends to Enhance Spectrum Efficiency in 6G Communications

abstract: The research community has already identified that, by 2030, 5G networks will reach the capacity limits, and hence, will be inadequate to support next generation bandwidth-hungry, ubiquitous, intelligent services, and applications. Therefore, in view of sustaining the competitive edge of wireless technology and stratifying the next decade's communication requirements both, industry and research community have already begun conceptualizing the 6G technology. This article presents a detailed survey on the recent technological trends which address the capacity issues and enhance the spectrum-efficiency in 6G Communications. We present these trends in detail and then identify the challenges that need solutions before the practical deployment to realize 6G communications. Our survey article attempts to significantly contribute to initiating future research directions in the area of spectrum-efficiency in 6G communications.


title: Ultra-Hot plasma of magnetic monopoles as fifth phase of matter: Bonding dissociation conditions of N-S magnetic in a hot plasma medium and superlattices of solids

abstract: A magnetic atom has two magnetic poles of N and S, and in normal conditions, separation of magnetic poles cannot be happened, even in very small atomic dimensions. Existence of magnetic dipoles is due to a fundamental property of magnetic materials and belongs to intrinsic spin of electrons. For the electron, N and S magnetic poles are considered, similar to a current loop. The aim of this paper is theoretical calculate dissociation energy of N-S poles a quantum magnetic particle with two approaches of classical and quantum mechanics by providing a harmonic oscillator simple model to estimate dissociation energy of the N-S poles and corresponding breakdown temperature and internal pressure. The results showed that separation of magnetic poles occurs in two states: (a) in an ultra-hot plasma medium with extremely high temperatures, such as in the center of a hot star, and (b) at extremely high pressures, such as between internal plates in complex superlattices of layered solids. It will be shown that breakdown temperature is in order of {\theta} =107 to 108 Kelvin. This temperature is very high and it only happens in an ultra-hot plasma environment as fifth phase of matter. In addition, based on this model, we calculated that the possibility of dissociation of bonds between N and S magnetic poles for solid superlattices occurs at very high pressures between crystal plates. According to these results, the presence of isolated magnetic monopole in superlattices of solids under ultra-high-pressure conditions is possible. Therefore, this model suggests that the conductivity of magnetic monopole carries can be used in the manipulation of nanomaterials for applications in the production of advanced devices such as new generation of superconductors, new spin devices and magnetic-electronics advanced materials with magnetic monopoles and super-dielectrics.


title: Fully on-chip microwave photonics system

abstract: Microwave photonics (MWP), harnessing the tremendous bandwidth of light to generate, process and measure wideband microwave signals, are poised to spark a new revolution for the information and communication fields. Within the past decade, new opportunity for MWP has emerged driven by the advances of integrated photonics. However, despite significant progress made in terms of integration level, a fully on-chip MWP functional system comprising all the necessary photonic and electronic components, is yet to be demonstrated. Here, we break the status quo and provide a complete on-chip solution for MWP system, by exploiting hybrid integration of indium phosphide, silicon photonics and complementary metal-oxide-semiconductor (CMOS) electronics platforms. Applying this hybrid integration methodology, a fully chip-based MWP microwave instantaneous frequency measurement (IFM) system is experimentally demonstrated. The unprecedented integration level brings great promotion to the compactness, reliability, and performances of the overall MWP IFM system, including a wide frequency measurement range (2-34 GHz), ultralow estimation errors (10.85 MHz) and a fast response speed (0.3 ns). Furthermore, we deploy the chip-scale MWP IFM system into realistic application tasks, where diverse microwave signals with rapid-varying frequencies at X-band (8-12 GHz) are accurately identified in real-time. This demonstration marks a milestone for the development of integrated MWP, by providing the technology basis for the miniaturization and massive implementations of various MWP functional systems.


title: MITI: SLAM Benchmark for Laparoscopic Surgery

abstract: We propose a new benchmark for evaluating stereoscopic visual-inertial computer vision algorithms (SLAM/ SfM/ 3D Reconstruction/ Visual-Inertial Odometry) for minimally invasive surgical (MIS) interventions in the abdomen. Our MITI Dataset available at [https://mediatum.ub.tum.de/1621941] provides all the necessary data by a complete recording of a handheld surgical intervention at Research Hospital Rechts der Isar of TUM. It contains multimodal sensor information from IMU, stereoscopic video, and infrared (IR) tracking as ground truth for evaluation. Furthermore, calibration for the stereoscope, accelerometer, magnetometer, the rigid transformations in the sensor setup, and time-offsets are available. We wisely chose a suitable intervention that contains very few cutting and tissue deformation and shows a full scan of the abdomen with a handheld camera such that it is ideal for testing SLAM algorithms. Intending to promote the progress of visual-inertial algorithms designed for MIS application, we hope that our clinical training dataset helps and enables researchers to enhance algorithms.


title: Charge-asymmetric correlations in elastic lepton- and antilepton-proton scattering from real photon emission

abstract: Observation of charge asymmetry by comparing electron and positron, or muon and anti-muon, scattering on a hadronic target presently serves as an experimental tool to study two-photon exchange effects. In addition to two-photon exchange, real photon emission also contributes to the charge asymmetry. We present a theoretical formalism, explicit expressions, and a numerical analysis of hard photon emission for the charge asymmetry in lepton- and antilepton-proton scattering. Different kinematic conditions are considered, namely, either fixed transferred momentum squared or a fixed lepton scattering angle. The infrared divergence from real photon emission is treated by the Bardin-Shumeiko technique and canceled with the soft part of the two-photon exchange contribution extracted and calculated using Tsai approach. All final expressions are obtained beyond the ultrarelativistic approximation with respect to the lepton mass that allows to evaluate numerically of the considered effects not only for ultrarelativistic leptons (JLab) and but for moderately relativistic (MUSE) kinematics, too.


title: BYOD Security: A Study of Human Dimensions

abstract: The prevalence and maturity of Bring Your Own Device (BYOD) security along with subsequent frameworks and security mechanisms in Australian organisations is a growing phenomenon somewhat similar to other developed nations. During the COVID 19 pandemic, even organisations that were previously reluctant to embrace BYOD have been forced to accept it to facilitate remote work. The aim of this paper is to discover, through a study conducted using a survey questionnaire instrument, how employees practice and perceive the BYOD security mechanisms deployed by Australian businesses which can help guide the development of future BYOD security frameworks. Three research questions are answered by this study - What levels of awareness do Australian businesses have for BYOD security aspects? How are employees currently responding to the security mechanisms applied by their organisations for mobile devices? What are the potential weaknesses in businesses IT networks that have a direct effect on BYOD security? Overall, the aim of this research is to illuminate the findings of these research objectives so that they can be used as a basis for building new and strengthening existing BYOD security frameworks in order to enhance their effectiveness against an ever-growing list of attacks and threats targeting mobile devices in a virtually driven work force.


title: Fairness-Aware Naive Bayes Classifier for Data with Multiple Sensitive Features

abstract: Fairness-aware machine learning seeks to maximise utility in generating predictions while avoiding unfair discrimination based on sensitive attributes such as race, sex, religion, etc. An important line of work in this field is enforcing fairness during the training step of a classifier. A simple yet effective binary classification algorithm that follows this strategy is two-naive-Bayes (2NB), which enforces statistical parity - requiring that the groups comprising the dataset receive positive labels with the same likelihood. In this paper, we generalise this algorithm into N-naive-Bayes (NNB) to eliminate the simplification of assuming only two sensitive groups in the data and instead apply it to an arbitrary number of groups. We propose an extension of the original algorithm's statistical parity constraint and the post-processing routine that enforces statistical independence of the label and the single sensitive attribute. Then, we investigate its application on data with multiple sensitive features and propose a new constraint and post-processing routine to enforce differential fairness, an extension of established group-fairness constraints focused on intersectionalities. We empirically demonstrate the effectiveness of the NNB algorithm on US Census datasets and compare its accuracy and debiasing performance, as measured by disparate impact and DF-$\epsilon$ score, with similar group-fairness algorithms. Finally, we lay out important considerations users should be aware of before incorporating this algorithm into their application, and direct them to further reading on the pros, cons, and ethical implications of using statistical parity as a fairness criterion.


title: Quotient algebras of Banach operator ideals related to non-classical approximation properties

abstract: We investigate the quotient algebra $\mathfrak{A}_X^{\mathcal I}:=\mathcal I(X)/\overline{\mathcal F(X)}^{||\cdot||_{\mathcal I}}$ for Banach operator ideals $\mathcal I$ contained in the ideal of the compact operators, where $X$ is a Banach space that fails the $\mathcal I$-approximation property. The main results concern the nilpotent quotient algebras $\mathfrak A_X^{\mathcal{QN}_p}$ and $\mathfrak A_X^{\mathcal{SK}_p}$ for the quasi $p$-nuclear operators $\mathcal{QN}_p$ and the Sinha-Karn $p$-compact operators $\mathcal{SK}_p$. The results include the following: (i) if $X$ has cotype 2, then $\mathfrak A_X^{\mathcal{QN}_p}=\{0\}$ for every $p\ge 1$; (ii) if $X^*$ has cotype 2, then $\mathfrak A_X^{\mathcal{SK}_p}=\{0\}$ for every $p\ge 1$; (iii) the exact upper bound of the index of nilpotency of $\mathfrak A_X^{\mathcal{QN}_p}$ and $\mathfrak A_X^{\mathcal{SK}_p}$ for $p\neq 2$ is $\max\{2,\left \lceil p/2 \right \rceil\}$, where $\left \lceil p/2 \right \rceil$ denotes the smallest $n\in\mathbb N$ such that $n\ge p/2$; (iv) for every $p>2$ there is a closed subspace $X\subset c_0$ such that both $\mathfrak A_X^{\mathcal{QN}_p}$ and $\mathfrak A_X^{\mathcal{SK}_p}$ contain a countably infinite decreasing chain of closed ideals. In addition, our methods yield a closed subspace $X\subset c_0$ such that the compact-by-approximable algebra $\mathfrak A_X=\mathcal K(X)/\mathcal A(X)$ contains two incomparable countably infinite chains of nilpotent closed ideals.


title: A bias-adjusted estimator in quantile regression for clustered data

abstract: The manuscript discusses how to incorporate random effects for quantile regression models for clustered data with focus on settings with many but small clusters. The paper has three contributions: (i) documenting that existing methods may lead to severely biased estimators for fixed effects parameters; (ii) proposing a new two-step estimation methodology where predictions of the random effects are first computed {by a pseudo likelihood approach (the LQMM method)} and then used as offsets in standard quantile regression; (iii) proposing a novel bootstrap sampling procedure in order to reduce bias of the two-step estimator and compute confidence intervals. The proposed estimation and associated inference is assessed numerically through rigorous simulation studies and applied to an AIDS Clinical Trial Group (ACTG) study.


title: Graphs of continuous functions and fractal dimension

abstract: In this paper, we show that, for any $\beta \in [1,2]$, a given strictly positive real-valued continuous function on $[0,1]$ whose graph has upper box-counting dimension less than or equal to $\beta $ can be decomposed as a product of two real-valued continuous functions on $[0,1]$ whose graphs have upper box-counting dimension equal to $\beta$. We also obtain a formula for the upper box-counting dimension of every element of a ring of polynomials in finite number of continuous functions on $[0,1]$ over the field $\mathbb{R}.$


title: Visual-Tactile Sensing for Real-time Liquid Volume Estimation in Grasping

abstract: We propose a deep visuo-tactile model for realtime estimation of the liquid inside a deformable container in a proprioceptive way.We fuse two sensory modalities, i.e., the raw visual inputs from the RGB camera and the tactile cues from our specific tactile sensor without any extra sensor calibrations.The robotic system is well controlled and adjusted based on the estimation model in real time. The main contributions and novelties of our work are listed as follows: 1) Explore a proprioceptive way for liquid volume estimation by developing an end-to-end predictive model with multi-modal convolutional networks, which achieve a high precision with an error of around 2 ml in the experimental validation. 2) Propose a multi-task learning architecture which comprehensively considers the losses from both classification and regression tasks, and comparatively evaluate the performance of each variant on the collected data and actual robotic platform. 3) Utilize the proprioceptive robotic system to accurately serve and control the requested volume of liquid, which is continuously flowing into a deformable container in real time. 4) Adaptively adjust the grasping plan to achieve more stable grasping and manipulation according to the real-time liquid volume prediction.


title: Relativistic hydrodynamics with spin in the presence of electromagnetic fields

abstract: We extend the classical phase-space distribution function to include the spin and electromagnetic fields coupling and derive the modified constitutive relations for charge current, energy-momentum tensor, and spin tensor. Because of the coupling, the new tensors receive corrections to their perfect fluid counterparts and make the background and spin fluid equations of motion communicate with each other. We investigate special cases which are relevant in high-energy heavy-ion collisions, including baryon free matter and large mass limit. Using Bjorken symmetries, we find that spin polarization increases with increasing magnetic field for an initially positive baryon chemical potential. The corrections derived in this framework may help to explain the splitting observed in Lambda hyperons spin polarization measurements.


title: Reconfigurable topological states in arrays of bianisotropic particles

abstract: Topological photonics promotes a novel approach to resilient light manipulation by exploiting spatio-temporal symmetries of the system and dual symmetry of electromagnetic field. Various prospective device applications pose the need to flexibly control robust field localization associated with topological modes. Here we design a topological array of resonant dielectric meta-atoms with bianisotropic response induced by a spatial symmetry reduction. Mutual orientation of the designed meta-atoms encodes a staggered bianisotropy pattern capable of trapping topological states in a one-dimensional array containing a small number of particles. We show that the topological interface state can be tailored by the rotation of coaxial bianisotropic particles arranged in an equidistant lattice. Our experimental implementation based on ceramic horseshoe-shaped disks demonstrates remarkable reconfigurability of electromagnetic topological states.


title: Mechanical properties of Nucleic Acids and the non-local Twistable Wormlike Chain model

abstract: Mechanical properties of nucleic acids play an important role in many biological processes which often involve physical deformations of these molecules. At sufficiently long length scales (say above $\sim 20-30$ base pairs) the mechanics of DNA and RNA double helices is described by a homogeneous Twistable Wormlike Chain (TWLC), a semiflexible polymer model characterized by twist and bending stiffnesses. At shorter scales this model breaks down for two reasons: the elastic properties become sequence-dependent and the mechanical deformations at distal sites gets coupled. We discuss in this paper the origin of the latter effect using the framework of a non-local Twistable Wormlike Chain (nlTWLC). We show, by comparing all-atom simulations data for DNA and RNA double helices, that the non-local couplings are of very similar nature in these two molecules: couplings between distal sites are strong for tilt and twist degrees of freedom and weak for roll. We introduce and analyze a simple double-stranded polymer model which clarifies the origin of this universal distal couplings behavior. In this model, referred to as the ladder model, a nlTWLC description emerges from the coarsening of local (atomic) degrees of freedom into angular variables which describe the twist and bending of the molecule. Differently from its local counterpart, the nlTWLC is characterized by a length-scale-dependent elasticity. Our analysis predicts that nucleic acids are mechanically softer at the scale of a few base pairs and are asymptotically stiffer at longer length scales, a behavior which matches experimental data.


title: On Carbon Taxes Effectiveness to Induce a Clean Technology Transition: An Evaluation Framework Based on Optimal Strategic Capacity Planning

abstract: This paper studies carbon taxes effectiveness to induce a transition to cleaner production when a firm faces different technologies and demands. To determine carbon taxes effectiveness, we propose a framework based on a strategic capacity planning under carbon taxes model, that consider proper perfomance measures. The model, which is formulated as a mixed integer linear problem (MILP), considers issues that previous work have not studied jointly, such as machine replacement, workforce planning, and maintenance. The effectiveness measures consider levels of clean production and periods to reach a technological transition. Our computational experiments, based on a real case, have shown that carbon taxes by themselves do not necessarily induce a transition to clean production, since their effectiveness depends on the available technology relationship and the demand magnitude.


title: AI-enabled mm-Waveform Configuration for Autonomous Vehicles with Integrated Communication and Sensing

abstract: Integrated Communications and Sensing (ICS) has recently emerged as an enabling technology for ubiquitous sensing and IoT applications. For ICS application to Autonomous Vehicles (AVs), optimizing the waveform structure is one of the most challenging tasks due to strong influences between sensing and data communication functions. Specifically, the preamble of a data communication frame is typically leveraged for the sensing function. As such, the higher number of preambles in a Coherent Processing Interval (CPI) is, the greater sensing task's performance is. In contrast, communication efficiency is inversely proportional to the number of preambles. Moreover, surrounding radio environments are usually dynamic with high uncertainties due to their high mobility, making the ICS's waveform optimization problem even more challenging. To that end, this paper develops a novel ICS framework established on the Markov decision process and recent advanced techniques in deep reinforcement learning. By doing so, without requiring complete knowledge of the surrounding environment in advance, the ICS-AV can adaptively optimize its waveform structure (i.e., number of frames in the CPI) to maximize sensing and data communication performance under the surrounding environment's dynamic and uncertainty. Extensive simulations show that our proposed approach can improve the joint communication and sensing performance up to 46.26% compared with other baseline methods.


title: Quasiperiodic Oscillations, Quasinormal Modes and Shadows of Bardeen-Kiselev Black Holes

abstract: In this article, we study the particle dynamics around a static and spherically symmetric Bardeen-Kiselev black hole (BK BH) which is a solution of the Einstein-non-linear Maxwell field equations along with a quintessential field. We discuss its essential geometrical properties such as scalar invariants and size of innermost stable circular orbits. Dynamics of test particles around the BH is also studied. Moreover, we also computed the fundamental frequencies of a test particle orbiting the BH in a slightly perturbed orbit. Further, the degeneracy relations between the spin of rotating Kerr BH and magnetic charge of the BK BH at the values of the quintessential parameter $\omega_q=-1/3$ and in terms of the same values of innermost stable circular orbits (ISCOs) radius, energy efficiency, twin-peaks quasiperiodic oscillations (QPOs) frequencies and impact parameter for photon are also discussed in detail. Finally, we have investigated the relationship between the shadow radius and the real part of the quasinormal mode (QNM) frequency.


title: Diversity patterns and speciation processes in a two-island system with continuous migration

abstract: Geographic isolation is a central mechanism of speciation, but perfect isolation of populations is rare. Although speciation can be hindered if gene flow is large, intermediate levels of migration can enhance speciation by introducing genetic novelty in the semi-isolated populations or founding small communities of migrants. Here we consider a two island neutral model of speciation with continuous migration and study diversity patterns as a function of the migration probability, population size, and number of genes involved in reproductive isolation (dubbed as genome size). For small genomes, low levels of migration induce speciation on the islands that otherwise would not occur. Diversity, however, drops sharply to a single species inhabiting both islands as the migration probability increases. For large genomes, sympatric speciation occurs even when the islands are strictly isolated. Then species richness per island increases with the probability of migration, but the total number of species decreases as they become cosmopolitan. For each genome size, there is an optimal migration intensity for each population size that maximizes the number of species. We discuss the observed modes of speciation induced by migration and how they increase species richness in the insular system while promoting asymmetry between the islands and hindering endemism.


title: Increasing and Diverging Greenhouse Gas Emissions of Urban Wastewater Treatment in China

abstract: Upgrading effluent standards of wastewater treatment plants (WWTPs) and repairing sewerage systems leads to contradictions and synergies between water pollution control and climate change mitigation. This affects historical trajectories and characteristics of greenhouse gas (GHG) emissions from China's WWTPs, which stay inadequately studied. Here we establish emissions inventories of China's WWTPs using plant-level WWTP operational data. We find that removed amount of chemical oxygen demand and ammonia nitrogen increased 0.8 and 1.3 times during 2009-2019, while WWTP GHG emissions increased 1.8 times, being 6 times national GHG emissions growth rate. Increasing sludge yield and electricity intensity became primary driving factors in 2015 because of stricter effluent standards and lower influent contaminant concentration. We defined Functional Unit-Gini coefficient to quantify divergence of WWTP GHG emissions, which grew from 0.20 in 2009 to 0.29 in 2019. Diversified sludge disposal methods and energy structure increased the inequality, while upgrading effluent standards decreased it.


title: Using Deep Reinforcement Learning with Automatic Curriculum Learning for Mapless Navigation in Intralogistics

abstract: We propose a deep reinforcement learning approach for solving a mapless navigation problem in warehouse scenarios. In our approach, an automation guided vehicle is equipped with LiDAR and frontal RGB sensors and learns to perform a targeted navigation task. The challenges reside in the sparseness of positive samples for learning, multi-modal sensor perception with partial observability, the demand for accurate steering maneuvers together with long training cycles. To address these points, we propose NavACL-Q as a method for automatic curriculum learning in combination with a distributed version of the soft actor-critic algorithm. The performance of the learning algorithm is evaluated exhaustively in an unseen warehouse environment to validate both robustness and generalizability of the learned policy. Results in NVIDIA Isaac Sim demonstrates that our trained agent significantly outperforms a map-based navigation pipeline provided by NVIDIA Isaac Sim with an increased agent-goal distance of 3m and wider initial relative agent-goal rotations of 45 degree. The ablation studies also suggests that NavACL-Q greatly facilitates the learning process with a performance gain of roughly 40% compared to training with random starts and that the utilization of a pre-trained feature extractor manifestly boosts the performance by approximately 60%.


title: Powers in finite orthogonal and symplectic groups: A generating function approach

abstract: For an integer $M\geq 2$ and a finite group $G$, an element $\alpha\in G$ is called an $M$-th power if it satisfies $A^M=\alpha$ for some $A\in G$. In this article, we will deal with the case when $G$ is finite symplectic or orthogonal group over a field of order $q$. We introduce the notion of $M^*$-power SRIM polynomials. This, amalgamated with the concept of $M$-power polynomial, we provide the complete classification of the conjugacy classes of regular semisimple, semisimple, cyclic and regular elements in $G$, which are $M$-th powers, when $(M,q)=1$. The approach here is of generating functions, as worked on by Jason Fulman, Peter M. Neumann, and Cheryl Praeger in the memoir "A generating function approach to the enumeration of matrices in classical groups over finite fields". As a byproduct, we obtain the corresponding probabilities, in terms of generating functions.


title: A Comparative Study of Deep Reinforcement Learning-based Transferable Energy Management Strategies for Hybrid Electric Vehicles

abstract: The deep reinforcement learning-based energy management strategies (EMS) have become a promising solution for hybrid electric vehicles (HEVs). When driving cycles are changed, the neural network will be retrained, which is a time-consuming and laborious task. A more efficient way of choosing EMS is to combine deep reinforcement learning (DRL) with transfer learning, which can transfer knowledge of one domain to the other new domain, making the network of the new domain reach convergence values quickly. Different exploration methods of DRL, including adding action space noise and parameter space noise, are compared against each other in the transfer learning process in this work. Results indicate that the network added parameter space noise is more stable and faster convergent than the others. In conclusion, the best exploration method for transferable EMS is to add noise in the parameter space, while the combination of action space noise and parameter space noise generally performs poorly. Our code is available at https://github.com/BIT-XJY/RL-based-Transferable-EMS.git.


title: Inverse spin crossover in fluorinated Fe(1,10-phenanthroline)$_2$(NCS)$_2$ adsorbed on Cu (001) surface

abstract: Density functional theory (DFT) including van der Waals weak interaction in conjunction with the so called rotational invariant DFT+U, where $U$ is the Hubbard interaction of the iron site, is used to show that the fluorinated spin crossover Fe(phen$)_{2}$(NCS$)_{2}$ molecule whether in the gas phase or adsorbed on Cu(001) surface switches from the original low spin state to the high spin state. Using Bader electron density analysis, this inversion of the spin-crossover is explained in terms of electron doping of the Fe-octahedron cage which led to an increase of the Fe-N bond lengths. Consequently, the ligand-field splitting is drastically reduced, making the high-spin ground state more stable than the low-spin state. The calculated scanning tunneling microscopy (STM) images in the Tersoff-Hamann approximation show a clear distinction between the fluorinated and the unfluorinated molecule. This theoretical prediction is awaiting future STM experimental confirmation.


title: CHEOPS geometric albedo of the hot Jupiter HD 209458b

abstract: We report the detection of the secondary eclipse of the hot Jupiter HD 209458b in optical/visible light using the CHEOPS space telescope. Our measurement of 20.4 +/- 3.3 ppm translates into a geometric albedo of A_g = 0.096 +/- 0.016. The previously estimated dayside temperature of about 1500 K implies that our geometric albedo measurement consists predominantly of reflected starlight and is largely uncontaminated by thermal emission. This makes the present result one of the most robust measurements of A_g for any exoplanet. Our calculations of the bandpass-integrated geometric albedo demonstrate that the measured value of A_g is consistent with a cloud-free atmosphere, where starlight is reflected via Rayleigh scattering by hydrogen molecules, and the water and sodium abundances are consistent with stellar metallicity. We predict that the bandpass-integrated TESS geometric albedo is too faint to detect and that a phase curve of HD 209458b observed by CHEOPS would have a distinct shape associated with Rayleigh scattering if the atmosphere is indeed cloud free.


title: Refinements of Franks' theorem and applications in Reeb dynamics

abstract: In this article, we give two refinements of Franks' theorem: For orientation and area preserving homeomorphisms of the closed or open annulus, the existence of $k$-periodic orbits ($(k,n_0)=1$) forces the existence of infinitely many periodic orbits with periods prime to $n_0$. Moreover, if $f$ is reversible, the periodic orbits above could be symmetric. Our improvements of Franks' theorem can be applied to Reeb dynamics and celestial mechanics, for example, we give some precise information about the symmetries of periodic orbits found in Hofer, Wysocki and Zehnder's dichotomy theorem when the tight 3-sphere is equipped with some additional symmetries, and also the symmetries of periodic orbits on the energy level of H$\acute{e}$non-Heiles system in celestial mechanics.


title: Non-Volatile Memory Accelerated Geometric Multi-Scale Resolution Analysis

abstract: Dimensionality reduction algorithms are standard tools in a researcher's toolbox. Dimensionality reduction algorithms are frequently used to augment downstream tasks such as machine learning, data science, and also are exploratory methods for understanding complex phenomena. For instance, dimensionality reduction is commonly used in Biology as well as Neuroscience to understand data collected from biological subjects. However, dimensionality reduction techniques are limited by the von-Neumann architectures that they execute on. Specifically, data intensive algorithms such as dimensionality reduction techniques often require fast, high capacity, persistent memory which historically hardware has been unable to provide at the same time. In this paper, we present a re-implementation of an existing dimensionality reduction technique called Geometric Multi-Scale Resolution Analysis (GMRA) which has been accelerated via novel persistent memory technology called Memory Centric Active Storage (MCAS). Our implementation uses a specialized version of MCAS called PyMM that provides native support for Python datatypes including NumPy arrays and PyTorch tensors. We compare our PyMM implementation against a DRAM implementation, and show that when data fits in DRAM, PyMM offers competitive runtimes. When data does not fit in DRAM, our PyMM implementation is still able to process the data.


title: A micro-CT of a human skull

abstract: This is a data descriptor for an X-ray microtomography of a human skull.


title: Bounding the Frobenius norm of a q-deformed commutator

abstract: For two $n \times n$ complex matrices $A$ and $B$, we define the $q$-deformed commutator as $[ A, B ]_q := A B - q BA$ for a real parameter $q$. In this paper, we investigate a generalization of the B\"{o}ttcher-Wenzel inequality which gives the sharp upper bound of the (Frobenius) norm of the commutator. In our generalisation, we investigate sharp upper bounds on the $q$-deformed commutator. This generalization can be studied in two different scenarios: firstly bounds for general matrices, and secondly for traceless matrices. For both scenarios, partial answers and conjectures are given for positive and negative $q$. In particular, denoting the Frobenius norm by $||.||_F$, when either $A$ or $B$ is normal, we prove the following inequality to be true and sharp: $|| [ A , B ]_q||_F^2 \le \left(1+q^2 \right) ||A||_F^2 ||B||_F^2$ for positive $q$. Also, we conjecture that the same bound is true for positive $q$ when either $A$ or $B$ is traceless. For negative $q$, we conjecture other sharp upper bounds to be true for the generic scenarios and the scenario when either of $A$ or $B$ is traceless. All conjectures are supported with numerics and proved for $n=2$.


title: Monolayer Kagome Metals AV$_3$Sb$_5$

abstract: Recently, layered kagome metals AV$_3$Sb$_5$ (A = K, Rb, and Cs) have emerged as a fertile platform for exploring frustrated geometry, correlations, and topology. Here, using first-principles and mean-field calculations, we demonstrate that AV$_3$Sb$_5$ can crystallize in a mono-layered form, revealing a range of properties that render the system unique. Most importantly, the two-dimensional monolayer preserves intrinsically different symmetries from the three-dimensional layered bulk, enforced by stoichiometry. Consequently, the van Hove singularities, logarithmic divergences of electronic density of states, are enriched, leading to a variety of competing instabilities such as doublets of charge density waves and s-and d-wave superconductivity. We show that the competition between orders can be fine-tuned in the monolayer via electron-filling of the van Hove singularities. Thus, our results suggest the monolayer kagome metal AV$_3$Sb$_5$ as a promising platform for designer quantum phases.


title: Energy in the Relativistic Theory of Gravity

abstract: The more precise definition and the more fundamental understanding of the concepts of time, energy, entropy and information are building upon the new, relativistic foundation of gravity. This lecture is an attempt to explain the basic principles that underpin this progress, by focusing on the simple but subtle universal definition of energy. The principles are unearthed from Einstein's theory and Noether's theorems, beneath a century of misconceptions.


title: ReverseORC: Reverse Engineering of Resizable User Interface Layouts with OR-Constraints

abstract: Reverse engineering (RE) of user interfaces (UIs) plays an important role in software evolution. However, the large diversity of UI technologies and the need for UIs to be resizable make this challenging. We propose ReverseORC, a novel RE approach able to discover diverse layout types and their dynamic resizing behaviours independently of their implementation, and to specify them by using OR constraints. Unlike previous RE approaches, ReverseORC infers flexible layout constraint specifications by sampling UIs at different sizes and analyzing the differences between them. It can create specifications that replicate even some non-standard layout managers with complex dynamic layout behaviours. We demonstrate that ReverseORC works across different platforms with very different layout approaches, e.g., for GUIs as well as for the Web. Furthermore, it can be used to detect and fix problems in legacy UIs, extend UIs with enhanced layout behaviours, and support the creation of flexible UI layouts.


title: Weakly-supervised learning for image-based classification of primary melanomas into genomic immune subgroups

abstract: Determining early-stage prognostic markers and stratifying patients for effective treatment are two key challenges for improving outcomes for melanoma patients. Previous studies have used tumour transcriptome data to stratify patients into immune subgroups, which were associated with differential melanoma specific survival and potential treatment strategies. However, acquiring transcriptome data is a time-consuming and costly process. Moreover, it is not routinely used in the current clinical workflow. Here we attempt to overcome this by developing deep learning models to classify gigapixel H&E stained pathology slides, which are well established in clinical workflows, into these immune subgroups. Previous subtyping approaches have employed supervised learning which requires fully annotated data, or have only examined single genetic mutations in melanoma patients. We leverage a multiple-instance learning approach, which only requires slide-level labels and uses an attention mechanism to highlight regions of high importance to the classification. Moreover, we show that pathology-specific self-supervised models generate better representations compared to pathology-agnostic models for improving our model performance, achieving a mean AUC of 0.76 for classifying histopathology images as high or low immune subgroups. We anticipate that this method may allow us to find new biomarkers of high importance and could act as a tool for clinicians to infer the immune landscape of tumours and stratify patients, without needing to carry out additional expensive genetic tests.