title: Towards Reducing Aleatoric Uncertainty for Medical Imaging Tasks

abstract: In safety-critical applications like medical diagnosis, certainty associated with a model's prediction is just as important as its accuracy. Consequently, uncertainty estimation and reduction play a crucial role. Uncertainty in predictions can be attributed to noise or randomness in data (aleatoric) and incorrect model inferences (epistemic). While model uncertainty can be reduced with more data or bigger models, aleatoric uncertainty is more intricate. This work proposes a novel approach that interprets data uncertainty estimated from a self-supervised task as noise inherent to the data and utilizes it to reduce aleatoric uncertainty in another task related to the same dataset via data augmentation. The proposed method was evaluated on a benchmark medical imaging dataset with image reconstruction as the self-supervised task and segmentation as the image analysis task. Our findings demonstrate the effectiveness of the proposed approach in significantly reducing the aleatoric uncertainty in the image segmentation task while achieving better or on-par performance compared to the standard augmentation techniques.


title: Spatial Location Constraint Prototype Loss for Open Set Recognition

abstract: One of the challenges in pattern recognition is open set recognition. Compared with closed set recognition, open set recognition needs to reduce not only the empirical risk, but also the open space risk, and the reduction of these two risks corresponds to classifying the known classes and identifying the unknown classes respectively. How to reduce the open space risk is the key of open set recognition. This paper explores the origin of the open space risk by analyzing the distribution of known and unknown classes features. On this basis, the spatial location constraint prototype loss function is proposed to reduce the two risks simultaneously. Extensive experiments on multiple benchmark datasets and many visualization results indicate that our methods is superior to most existing approaches.


title: Cosmology of the companion-axion model: dark matter, gravitational waves, and primordial black holes

abstract: The companion-axion model introduces a second QCD axion to rescue the Peccei-Quinn solution to the strong-CP problem from the effects of colored gravitational instantons. As in single-axion models, the two axions predicted by the companion-axion model are attractive candidates for dark matter. The model is defined by two free parameters, the scales of the two axions' symmetry breaking, so we can classify production scenarios in terms of the relative sizes of these two scales with respect to the scale of inflation. We study the cosmological production of companion-axion dark matter in order to predict windows of preferred axion masses, and calculate the relative abundances of the two particles. Additionally, we show that the presence of a second axion solves the cosmological domain wall problem automatically in the scenarios in which one or both of the axions are post-inflationary. We also suggest unique cosmological signatures of the companion-axion model, such as the production of a $\sim$10 nHz gravitational wave background, and $\sim 100\,M_\odot$ primordial black holes.


title: A Utility Maximization Model of Pedestrian and Driver Interactions

abstract: Many models account for the traffic flow of road users but few take the details of local interactions into consideration and how they could deteriorate into safety-critical situations. Building on the concept of sensorimotor control, we develop a modeling framework applying the principles of utility maximization, motor primitives, and intermittent action decisions to account for the details of interactive behaviors among road users. The framework connects these principles to the decision theory and is applied to determine whether such an approach can reproduce the following phenomena: When two pedestrians travel on crossing paths, (a) their interaction is sensitive to initial asymmetries, and (b) based on which, they rapidly resolve collision conflict by adapting their behaviors. When a pedestrian crosses the road while facing an approaching car, (c) either road user yields to the other to resolve their conflict, akin to the pedestrian interaction, and (d) the outcome reveals a specific situational kinematics, associated with the nature of vehicle acceleration. We show that these phenomena emerge naturally from our modeling framework when the model can evolve its parameters as a consequence of the situations. We believe that the modeling framework and phenomenon-centered analysis offer promising tools to understand road user interactions. We conclude with a discussion on how the model can be instrumental in studying the safety-critical situations when including other variables in road-user interactions.


title: Nonreciprocal phonon blockade

abstract: Quantum nonreciprocal devices have received extensive attention in recent years because they can be used to realize unidirectional quantum routing and noise isolation. In this work, we show that the shift of resonance frequencies of propagating phonons induced by spin-orbit interactions (SOI) of phonons in a rotating acoustic ring cavity can be used to realize nonreciprocal phonon blockade. When driving the cavity from different directions, nonreciprocal single-, two-phonon blockade and phonon-induced tunneling can take place by varying the parameters of the system to an appropriate value. To realize phonon blockade, the sublevels of the lower orbit branch of the ground state of silicon-vacancy (SiV) color centers in the diamond membrane are employed to induce self-interactions of phonons in the cavity. This work provides a way to achieve acoustic nonreciprocal devices, such as directional acoustic switches and quantum noise isolation, which may help acoustic information network processing.


title: Learning Time-Varying Graphs from Online Data

abstract: This work proposes an algorithmic framework to learn time-varying graphs from online data. The generality offered by the framework renders it model-independent, i.e., it can be theoretically analyzed in its abstract formulation and then instantiated under a variety of model-dependent graph learning problems. This is possible by phrasing (time-varying) graph learning as a composite optimization problem, where different functions regulate different desiderata, e.g., data fidelity, sparsity or smoothness. Instrumental for the findings is recognizing that the dependence of the majority (if not all) data-driven graph learning algorithms on the data is exerted through the empirical covariance matrix, representing a sufficient statistic for the estimation problem. Its user-defined recursive update enables the framework to work in non-stationary environments, while iterative algorithms building on novel time-varying optimization tools explicitly take into account the temporal dynamics, speeding up convergence and implicitly including a temporal-regularization of the solution. We specialize the framework to three well-known graph learning models, namely, the Gaussian graphical model (GGM), the structural equation model (SEM), and the smoothness-based model (SBM), where we also introduce ad-hoc vectorization schemes for structured matrices (symmetric, hollows, etc.) which are crucial to perform correct gradient computations, other than enabling to work in low-dimensional vector spaces and hence easing storage requirements. After discussing the theoretical guarantees of the proposed framework, we corroborate it with extensive numerical tests in synthetic and real data.


title: Newtonian Mechanics Based Transient Stability PART II: Individual Machine

abstract: The paper analyzes the mechanisms of the individual-machine and also its advantages in TSA. Based on the critical-machine monitoring of the original system trajectory, it is clarified that the individual-machine strictly follows the machine paradigms. These strict followings of the paradigms bring the two advantages of the individual-machine method in TSA: (i) the individual-machine trajectory stability is characterized precisely, and (ii) the individual-machine trajectory variance is depicted clearly at IMPP. The two advantages are fully reflected in the precise definitions of individual-machine based transient stability concepts. In particular, the critical machine swing is clearly depicted through the IDSP or IDLP of the machine, the critical stability of the system is strictly defined as the critical stability of the most-severely disturbed machine, and the individual-machine potential energy surface is also precisely modeled through the IMPE of the machine. Simulation results show the effectiveness of the individual-machine in TSA.


title: Multi-component DHOST analysis in galaxy clusters

abstract: Extended Theories of Gravity with additional scalar degrees of freedom have recently acquired increasing interest due to the presence of a screening mechanism that allows suppressing at small scales (e.g., the Solar System scale) every modification restoring General Relativity. In this work, we consider a second-order Extended Theory of Gravity belonging to the family of Degenerate High Order Scalar Tensor theories (DHOST) characterized by a partial breaking of the Vainshtein screening mechanism. We study this model in two different scenarios as a description of dark energy only and as a description of both dark matter and dark energy. Such scenarios have been tested here by analysing a sample of 16 high-mass galaxy clusters targeted by the Cluster Lensing and Supernova survey with Hubble (CLASH) program using two complementary probes, namely X-ray and strong-and-weak gravitational lensing observations. In mass modelling, we adopt a multi-component approach including hot gas and galactic stellar contributions. For the majority of the clusters in our sample, results show mild Bayesian evidence in favour of the DHOST model as a description of dark energy over General Relativity. This model also appears to alleviate the discrepancy present in General Relativity between X-ray hydrostatic and lensing mass estimates. For the second scenario where gravity acts as both dark energy and dark matter due to the partial breaking of the Vainshtein screening mechanism at cluster scales, the model is statistically disfavoured compared to General Relativity.


title: Longitudinal double-spin asymmetry for inclusive jet and dijet production in polarized proton collisions at $\sqrt{s}=510$ GeV

abstract: We report measurements of the longitudinal double-spin asymmetry, $A_{LL}$, for inclusive jet and dijet production in polarized proton-proton collisions at midrapidity and center-of-mass energy $\sqrt{s}$ = 510 GeV, using the high luminosity data sample collected by the STAR experiment in 2013. These measurements complement and improve the precision of previous STAR measurements at the same center-of-mass energy that probe the polarized gluon distribution function at partonic momentum fraction 0.015 $\lesssim x \lesssim$ 0.25. The dijet asymmetries are separated into four jet-pair topologies, which provide further constraints on the $x$ dependence of the polarized gluon distribution function. These measurements are in agreement with previous STAR measurements and with predictions from current next-to-leading order global analyses. They provide more precise data at low dijet invariant mass that will better constraint the shape of the polarized gluon distribution function of the proton.


title: Stability and performance analysis of NMPC: Detectable stage costs and general terminal costs

abstract: We provide a stability and performance analysis for nonlinear model predictive control (NMPC) schemes subject to input constraints. Given an exponential stabilizability and detectability condition w.r.t. the employed state cost, we provide a sufficiently long prediction horizon to ensure asymptotic stability and a desired performance bound w.r.t. the infinite-horizon optimal controller. Compared to existing results, the provided analysis is applicable to positive semi-definite (detectable) cost functions, provides tight bounds using a linear programming analysis, and allows for a seamless integration of general positive-definite terminal cost functions in the analysis. The practical applicability of the derived theoretical results are demonstrated with numerical examples.


title: Elliptic genus and string cobordism at dimension $24$

abstract: It is known that spin cobordism can be determined by Stiefel-Whitney numbers and index theory invariants, namely $KO$-theoretic Pontryagin numbers. In this paper, we show that string cobordism at dimension 24 can be determined by elliptic genus, a higher index theory invariant. We also compute the image of 24 dimensional string cobordism under elliptic genus. Using our results, we show that under certain curvature conditions, a compact 24 dimensional string manifold must bound a string manifold.


title: Augmenting Knowledge Distillation With Peer-To-Peer Mutual Learning For Model Compression

abstract: Knowledge distillation (KD) is an effective model compression technique where a compact student network is taught to mimic the behavior of a complex and highly trained teacher network. In contrast, Mutual Learning (ML) provides an alternative strategy where multiple simple student networks benefit from sharing knowledge, even in the absence of a powerful but static teacher network. Motivated by these findings, we propose a single-teacher, multi-student framework that leverages both KD and ML to achieve better performance. Furthermore, an online distillation strategy is utilized to train the teacher and students simultaneously. To evaluate the performance of the proposed approach, extensive experiments were conducted using three different versions of teacher-student networks on benchmark biomedical classification (MSI vs. MSS) and object detection (Polyp Detection) tasks. Ensemble of student networks trained in the proposed manner achieved better results than the ensemble of students trained using KD or ML individually, establishing the benefit of augmenting knowledge transfer from teacher to students with peer-to-peer learning between students.


title: Watermarking Graph Neural Networks based on Backdoor Attacks

abstract: Graph Neural Networks (GNNs) have achieved promising performance in various real-world applications. Building a powerful GNN model is not a trivial task, as it requires a large amount of training data, powerful computing resources, and human expertise in fine-tuning the model. Moreover, with the development of adversarial attacks, e.g., model stealing attacks, GNNs raise challenges to model authentication. To avoid copyright infringement on GNNs, verifying the ownership of the GNN models is necessary. This paper presents a watermarking framework for GNNs for both graph and node classification tasks. We 1) design two strategies to generate watermarked data for the graph classification task and one for the node classification task, 2) embed the watermark into the host model through training to obtain the watermarked GNN model, and 3) verify the ownership of the suspicious model in a black-box setting. The experiments show that our framework can verify the ownership of GNN models with a very high probability (up to $99\%$) for both tasks. Finally, we experimentally show that our watermarking approach is robust against a state-of-the-art model extraction technique and four state-of-the-art defenses against backdoor attacks.


title: Biophysics underlying the swarm to biofilm transition

abstract: Bacteria organize in a variety of collective states, from swarming, which has been attributed to rapid surface exploration, to biofilms, which are highly dense immobile communities attributed to stress resistance. It has been suggested that biofilm and swarming are oppositely controlled, making this transition particularly interesting for understanding the ability of bacterial colonies to adapt to challenging environments. Here, the swarm to biofilm transition is studied experimentally by analyzing the bacterial dynamics both on the individual and collective scales. We show that both biological and physical processes facilitate the transition - a few individual cells that initiate the biofilm program cause nucleation of large, scale-free stationary aggregates of trapped swarm cells. Around aggregates, cells continue swarming almost unobstructed, while inside, trapped cells slowly transform to biofilm. While our experimental findings rule out previously suggested purely physical effects as a trigger for biofilm formation, they show how physical processes, such as clustering and jamming, accelerate biofilm formation.


title: Noise, friction and the radial-orbit instability in anisotropic stellar systems: stochastic N-body simulations

abstract: By means of numerical simulations we study the radial-orbit instability in anisotropic self-gravitating $N-$body systems under the effect of noise. We find that the presence of additive or multiplicative noise has a different effect on the onset of the instability, depending on the initial value of the orbital anisotropy.


title: FedGEMS: Federated Learning of Larger Server Models via Selective Knowledge Fusion

abstract: Today data is often scattered among billions of resource-constrained edge devices with security and privacy constraints. Federated Learning (FL) has emerged as a viable solution to learn a global model while keeping data private, but the model complexity of FL is impeded by the computation resources of edge nodes. In this work, we investigate a novel paradigm to take advantage of a powerful server model to break through model capacity in FL. By selectively learning from multiple teacher clients and itself, a server model develops in-depth knowledge and transfers its knowledge back to clients in return to boost their respective performance. Our proposed framework achieves superior performance on both server and client models and provides several advantages in a unified framework, including flexibility for heterogeneous client architectures, robustness to poisoning attacks, and communication efficiency between clients and server on various image classification tasks.


title: Brace blocks from bilinear maps and liftings of endomorphisms

abstract: We extend two constructions of Alan Koch, exhibiting methods to construct brace blocks, that is, families of group operations on a set $G$ such that any two of them induce a skew brace structure on $G$. We construct these operations by using bilinear maps and liftings of endomorphisms of quotient groups with respect to a central subgroup. We provide several examples of the construction, showing that there are brace blocks which consist of distinct operations of any given cardinality. One of the examples we give yields an answer to a question of Cornelius Greither. This example exhibits a sequence of distinct operations on the $p$-adic Heisenberg group $(G, \cdot)$ such that any two operations give a skew brace structure on $G$ and the sequence of operations converges to the original operation "$\cdot$".


title: Data-Driven Multi-Grid Solver for Accelerated Pressure Projection

abstract: Pressure projection is the single most computationally expensive step in an unsteady incompressible fluid simulation. This work demonstrates the ability of data-driven methods to accelerate the approximate solution of the Poisson equation at the heart of pressure projection. Geometric Multi-Grid methods are identified as linear convolutional encoder-decoder networks and a data-driven smoother is developed using automatic differentiation to optimize the velocity-divergence projection. The new method is found to accelerate classic Multi-Grid methods by a factor of two to three with no loss of accuracy on eleven 2D and 3D flow cases including cases with dynamic immersed solid boundaries. The optimal parameters are found to transfer nearly 100% effectiveness as the resolution is increased, providing a robust approach for accelerated pressure projection of unsteady flows.


title: Commutators in $\mathrm{SL}_2$ and Markoff surfaces I

abstract: We show that the commutator equation over $\mathrm{SL}_2(\mathbb{Z})$ satisfies a profinite local to global principle, while it can fail with infinitely many exceptions for $ \mathrm{SL}_2(\mathbb{Z}[\frac{1}{p}])$. The source of the failure is a reciprocity obstruction to the Hasse Principle for cubic Markoff surfaces.


title: Exploring the Solar Wind from its Source on the Corona into the Inner Heliosphere during the First Solar Orbiter - Parker Solar Probe Quadrature

abstract: This Letter addresses the first Solar Orbiter (SO) -- Parker Solar Probe (PSP) quadrature, occurring on January 18, 2021, to investigate the evolution of solar wind from the extended corona to the inner heliosphere. Assuming ballistic propagation, the same plasma volume observed remotely in corona at altitudes between 3.5 and 6.3 solar radii above the solar limb with the Metis coronagraph on SO can be tracked to PSP, orbiting at 0.1 au, thus allowing the local properties of the solar wind to be linked to the coronal source region from where it originated. Thanks to the close approach of PSP to the Sun and the simultaneous Metis observation of the solar corona, the flow-aligned magnetic field and the bulk kinetic energy flux density can be empirically inferred along the coronal current sheet with an unprecedented accuracy, allowing in particular estimation of the Alfv\'en radius at 8.7 solar radii during the time of this event. This is thus the very first study of the same solar wind plasma as it expands from the sub-Alfv\'enic solar corona to just above the Alfv\'en surface.


title: Strong Szeg\H{o} theorem on a Jordan curve

abstract: We consider certain determinants with respect to a sufficiently regular Jordan curve $\gamma$ in the complex plane that generalize Toeplitz determinants which are obtained when the curve is the circle. This also corresponds to studying a planar Coulomb gas on the curve at inverse temperature $\beta=2$. Under suitable assumptions on the curve we prove a strong Szeg\H{o} type asymptotic formula as the size of the determinant grows. The resulting formula involves the Grunsky operator built from the Grunsky coefficients of the exterior mapping function for $\gamma$. As a consequence of our formula we obtain the asymptotics of the partition function for the Coulomb gas on the curve. This formula involves the Fredholm determinant of the absolute value squared of the Grunsky operator which equals, up to a multiplicative constant, the Loewner energy of the curve. Based on this we obtain a new characterization of curves with finite Loewner energy called Weil-Petersson quasicircles.


title: Fundamental Wireless Performance of a Building

abstract: Over 80% of wireless traffic already takes place in buildings. Like water, gas, and electricity, wireless communication is becoming one of the most fundamental utilities of a building. It is well known that building structures have a significant impact on in-building wireless networks. If we seek to achieve the optimal network performance indoors, the buildings should be designed with the objective of maximizing wireless performance. So far, wireless performance has not yet been considered when designing a building. In this paper, we introduce a novel and interdisciplinary concept of building wireless performance (BWP) to a wide audience in both wireless communications and building design, emphasizing its broad impacts on wireless network development and deployment, and on building layout/material design. We first give an overview of the BWP evaluation framework proposed in our state-of-the-art works and explain their interconnections. Then, we outline the potential research directions in this exciting research area to encourage further interdisciplinary research.


title: Certifying C program correctness with respect to CompCert with VeriFast

abstract: VeriFast is a powerful tool for verification of various correctness properties of C programs using symbolic execution. However, VeriFast itself has not been verified. We present a proof-of-concept extension which generates a correctness certificate for each successful verification run individually. This certificate takes the form of a Coq script containing two proofs which, when successfully checked by Coq, together remove the need for trusting in the correctness of VeriFast itself. The first proves a lemma expressing the correctness of the program with respect to a big step operational semantics developed by ourselves, intended to reflect VeriFast's interpretation of C. We have formalized this semantics in Coq as cbsem. This lemma is proven by symbolic execution in Coq, which in turn is implemented by transforming the exported AST of the program into a Coq proposition representing the symbolic execution performed by VeriFast itself. The second proves the correctness of the same C program with respect to CompCert's Clight big step semantics. This proof simply applies our proof of the soundness of cbsem with respect to CompCert Clight to the first proof.


title: Optimal First-Order Algorithms as a Function of Inequalities

abstract: In this work, we present a novel algorithm design methodology that finds the optimal algorithm as a function of inequalities. Specifically, we restrict convergence analyses of algorithms to use a prespecified subset of inequalities, rather than utilizing all true inequalities, and find the optimal algorithm subject to this restriction. This methodology allows us to design algorithms with certain desired characteristics. As concrete demonstrations of this methodology, we find new state-of-the-art accelerated first-order gradient methods using randomized coordinate updates and backtracking line searches.


title: RefRec: Pseudo-labels Refinement via Shape Reconstruction for Unsupervised 3D Domain Adaptation

abstract: Unsupervised Domain Adaptation (UDA) for point cloud classification is an emerging research problem with relevant practical motivations. Reliance on multi-task learning to align features across domains has been the standard way to tackle it. In this paper, we take a different path and propose RefRec, the first approach to investigate pseudo-labels and self-training in UDA for point clouds. We present two main innovations to make self-training effective on 3D data: i) refinement of noisy pseudo-labels by matching shape descriptors that are learned by the unsupervised task of shape reconstruction on both domains; ii) a novel self-training protocol that learns domain-specific decision boundaries and reduces the negative impact of mislabelled target samples and in-domain intra-class variability. RefRec sets the new state of the art in both standard benchmarks used to test UDA for point cloud classification, showcasing the effectiveness of self-training for this important problem.


title: "Computer Says No": Algorithmic Decision Support and Organisational Responsibility

abstract: Algorithmic decision support is increasingly used in a whole array of different contexts and structures in various areas of society, influencing many people's lives. Its use raises questions, among others, about accountability, transparency and responsibility. While there is substantial research on the issue of algorithmic systems and responsibility in general, there is little to no prior research on organisational responsibility and its attribution. Our article aims to fill that gap; we give a brief overview of the central issues connected to ADS, responsibility and decision-making in organisational contexts and identify open questions and research gaps. Furthermore, we describe a set of guidelines and a complementary digital tool to assist practitioners in mapping responsibility when introducing ADS within their organisational context.


title: Electron Captures and Stability of White Dwarfs

abstract: Electron captures by atomic nuclei in dense matter are among the most important processes governing the late evolution of stars, limiting in particular the stability of white dwarfs. Despite considerable progress in the determination of the equation of state of dense Coulomb plasmas, the threshold electron Fermi energies are still generally estimated from the corresponding $Q$ values in vacuum. Moreover, most studies have focused on nonmagnetized matter. However, some white dwarfs are endowed with magnetic fields reaching $10^9$ G. Even more extreme magnetic fields might exist in super Chandrasekhar white dwarfs, the progenitors of overluminous type Ia supernovae like SN 2006gz and SN 2009dc. The roles of the dense stellar medium and magnetic fields on the onset of electron captures and on the structure of white dwarfs are briefly reviewed. New analytical formulas are derived to evaluate the threshold density for the onset of electron captures for arbitrary magnetic fields. Their influence on the structure of white dwarfs is illustrated by simple analytical formulas and numerical calculations.


title: Automated Climate Analyses Using Knowledge Graph

abstract: The FAIR (Findable, Accessible, Interoperable, Reusable) data principles are fundamental for climate researchers and all stakeholders in the current digital ecosystem. In this paper, we demonstrate how relational climate data can be "FAIR" and modeled using RDF, in line with Semantic Web technologies and our Climate Analysis ontology. Thus, heterogeneous climate data can be stored in graph databases and offered as Linked Data on the Web. As a result, climate researchers will be able to use the standard SPARQL query language to query these sources directly on the Web. In this paper, we demonstrate the usefulness of our SPARQL endpoint for automated climate analytics. We illustrate two sample use cases that establish the advantage of representing climate data as knowledge graphs.


title: InterpolationSLAM: A Novel Robust Visual SLAM System in Rotational Motion

abstract: In recent years, visual SLAM has achieved great progress and development in different scenes, however, there are still many problems to be solved. The SLAM system is not only restricted by the external scenes but is also affected by its movement mode, such as movement speed, rotational motion, etc. As the representatives of the most excellent networks for frame interpolation, Sepconv-slomo and EDSC can predict high-quality intermediate frame between the previous frame and the current frame. Intuitively, frame interpolation technology can enrich the information of images sequences, the number of which is limited by the camera's frame rate, and thus decreasing the probability of SLAM system's failure rate. In this article, we propose an InterpolationSLAM framework. InterpolationSLAM is robust in rotational movement for Monocular and RGB-D configurations. By detecting the rotation and performing interpolation processing at the rotated position, pose of the system can be estimated more accurately, thereby improving the accuracy and robustness of the SLAM system in the rotational movement.


title: Five-body resonances in $^8$He and $^8$C using the complex scaling method

abstract: We study many-body resonances in the neuron-rich $^8$He and the mirror proton-rich $^8$C using the $^4$He+$N$+$N$+$N$+$N$ five-body model with the isospin $T=2$ system. Resonances are described with the complex energy eigenvalues as the Gamow states using the complex scaling method. In $^8$He, we obtain five states, in which four states are resonances, and in $^8$C all five states are resonances.We discuss the isospin-symmetry breaking dynamically induced by the Coulomb interaction in the energy spectra and decay widths of the resonances in two mirror nuclei. We predict the resonance energies and decay widths for the future experiments. We also investigate the configurations of valence nucleons above $^4$He in two nuclei with the $jj$ coupling scheme and all the states dominantly have the $p$-shell configurations. From the configuration mixing, $^8$He and $^8$C give the similar results, which indicates the good symmetry in two nuclei.


title: A New Robust Network Slack Based Measure Model

abstract: In real-life challenges, unforeseen and unknown occurrences commonly influence the data values, which may affect the performance of the problems. The performance of decision-making units (DMUs) is determined using the slack-based measure (SBM) model, which considers only crisp data values without uncertainty and is a black-box model. Many authors have used fuzzy SBM and stochastic SBM to deal with ambiguity and uncertainty, and many have used these approaches to deal with ambiguous and uncertain data. However, some ambiguous and uncertain data can not be taken as fuzzy logic and stochastic data due to the huge set of rules which must be given to construct a conceptual method. So, this paper tackles the uncertain data using robust optimization in which the input-output data are limited to remain within an uncertainty set, with extra constraints depending on the worst-case output for the uncertainty set and black-box is tackle with network SBM model. Thus, this paper proposes a robust network SBM model with negative, missing, and undesirable data that aims to maximize the efficiency same as traditional network SBM, and the constraint for a worst-case efficiency calculated by the uncertainty set its sustaining constraint while determining the efficiencies. Finally, the performances of Indian banks are computed, and then the results of the proposed models are compared to the crisp network SBM models and demonstrating how decision-makers can magnify the bank's performance of Indian banks.


title: Improving the Deployment of Recycling Classification through Efficient Hyper-Parameter Analysis

abstract: The paradigm of automated waste classification has recently seen a shift in the domain of interest from conventional image processing techniques to powerful computer vision algorithms known as convolutional neural networks (CNN). Historically, CNNs have demonstrated a strong dependency on powerful hardware for real-time classification, yet the need for deployment on weaker embedded devices is greater than ever. The work in this paper proposes a methodology for reconstructing and tuning conventional image classification models, using EfficientNets, to decrease their parameterisation with no trade-off in model accuracy and develops a pipeline through TensorRT for accelerating such models to run at real-time on an NVIDIA Jetson Nano embedded device. The train-deployment discrepancy, relating how poor data augmentation leads to a discrepancy in model accuracy between training and deployment, is often neglected in many papers and thus the work is extended by analysing and evaluating the impact real world perturbations had on model accuracy once deployed. The scope of the work concerns developing a more efficient variant of WasteNet, a collaborative recycling classification model. The newly developed model scores a test-set accuracy of 95.8% with a real world accuracy of 95%, a 14% increase over the original. Our acceleration pipeline boosted model throughput by 750% to 24 inferences per second on the Jetson Nano and real-time latency of the system was verified through servomotor latency analysis.


title: Bayesian Meta-Learning Through Variational Gaussian Processes

abstract: Recent advances in the field of meta-learning have tackled domains consisting of large numbers of small ("few-shot") supervised learning tasks. Meta-learning algorithms must be able to rapidly adapt to any individual few-shot task, fitting to a small support set within a task and using it to predict the labels of the task's query set. This problem setting can be extended to the Bayesian context, wherein rather than predicting a single label for each query data point, a model predicts a distribution of labels capturing its uncertainty. Successful methods in this domain include Bayesian ensembling of MAML-based models, Bayesian neural networks, and Gaussian processes with learned deep kernel and mean functions. While Gaussian processes have a robust Bayesian interpretation in the meta-learning context, they do not naturally model non-Gaussian predictive posteriors for expressing uncertainty. In this paper, we design a theoretically principled method, VMGP, extending Gaussian-process-based meta-learning to allow for high-quality, arbitrary non-Gaussian uncertainty predictions. On benchmark environments with complex non-smooth or discontinuous structure, we find our VMGP method performs significantly better than existing Bayesian meta-learning baselines.


title: Asymptotic stability of planar rarefaction wave to a 2D hyperbolic-elliptic coupled system of the radiating gas on half space

abstract: This paper studies the asymptotic stability of solution to an initial-boundary value problem for a hyperbolic-elliptic coupled system on two-dimensional half space, where the data on the boundary and at the far field are prescribed as $u_-$ and $u_+$. We show that the solution to the problem converges to the corresponding planar rarefaction wave for $0\le u_-<u_+$ as time tends to infinity under smallness assumptions on the initial perturbation and wave strength. These results are based on the analysis of div-curl decomposition, the standard $L^2$-energy method, $L^1$-estimate, and the monotonicity of profile is given by the maximum principle.


title: Including Millisecond Pulsars inside the Core of Globular Clusters in Pulsar Timing Arrays

abstract: We suggest the possibility of including millisecond pulsars inside the core of globular clusters in pulsar timing array experiments. Since they are very close to each other, their gravitational wave induced timing residuals are expected to be almost the same, because both the Earth and the pulsar terms are correlated. We simulate the expected timing residuals, due to the gravitational wave signal emitted by a uniform supermassive black-hole binary population, on the millisecond pulsars inside a globular cluster core. In this respect, Terzan 5 has been adopted as a globular cluster prototype and, in our simulations, we adopted similar distance, core radius, and number of millisecond pulsars contained in it. Our results show that the presence of a strong correlation between the timing residuals of the globular cluster core millisecond pulsars can provide a remarkable gravitational wave signature. This result can be therefore exploited for the detection of gravitational waves through pulsar timing, especially in conjunction with the standard cross-correlation search carried out by the pulsar timing array collaborations.


title: Searching for Intermediate Mass Black Holes in the Milky Way's galactic halo

abstract: Intermediate Mass Black Holes (IMBHs) are a class of black holes with masses in the range $10^2 \div 10^5$ $M_\odot$, which can not directly derive from stellar evolution. Looking for these objects and estimating their abundance is important not only for a deeper understanding of their origin but also for unveiling the nature and distribution of the dark matter in the galactic halo. Since February 2018 to January 2020, the Large and Small Magellanic Cloud have been intensively monitored by the DECAM instrument, installed on the 4m V. Blanco Telescope (CTIO, Chile) with the main objective to discover microlensing events possibly due to IMBHs. Here we outline the developed data analysis pipeline. We have tested it versus known variable sources finding many not previously known variables objects. A few sources show a light curve similar to that expected for a microlensing event, but further analysis is required to confirm the microlensing nature of these events. For these sources, and in particular for the uncatalogued variable stars, we try to determine if they are periodic or not via a periodogram analysis.


title: K-Lane: Lidar Lane Dataset and Benchmark for Urban Roads and Highways

abstract: Lane detection is a critical function for autonomous driving. With the recent development of deep learning and the publication of camera lane datasets and benchmarks, camera lane detection networks (CLDNs) have been remarkably developed. Unfortunately, CLDNs rely on camera images which are often distorted near the vanishing line and prone to poor lighting condition. This is in contrast with Lidar lane detection networks (LLDNs), which can directly extract the lane lines on the bird's eye view (BEV) for motion planning and operate robustly under various lighting conditions. However, LLDNs have not been actively studied, mostly due to the absence of large public lidar lane datasets. In this paper, we introduce KAIST-Lane (K-Lane), the world's first and the largest public urban road and highway lane dataset for Lidar. K-Lane has more than 15K frames and contains annotations of up to six lanes under various road and traffic conditions, e.g., occluded roads of multiple occlusion levels, roads at day and night times, merging (converging and diverging) and curved lanes. We also provide baseline networks we term Lidar lane detection networks utilizing global feature correlator (LLDN-GFC). LLDN-GFC exploits the spatial characteristics of lane lines on the point cloud, which are sparse, thin, and stretched along the entire ground plane of the point cloud. From experimental results, LLDN-GFC achieves the state-of-the-art performance with an F1- score of 82.1%, on the K-Lane. Moreover, LLDN-GFC shows strong performance under various lighting conditions, which is unlike CLDNs, and also robust even in the case of severe occlusions, unlike LLDNs using the conventional CNN. The K-Lane, LLDN-GFC training code, pre-trained models, and complete development kits including evaluation, visualization and annotation tools are available at https://github.com/kaist-avelab/k-lane.


title: Prestrain-induced contraction in 1D random elastic chains

abstract: Prestrained elastic networks arise in a number of biological and technological systems ranging from the cytoskeleton of cells to tensegrity structures. To understand the response of such a network as a function of the prestrain, we consider a minimal model in one dimension. We do this by considering a chain (1D network) of elastic springs upon which a random, zero mean, finite variance prestrain is imposed. Numerical simulations and analytical predictions quantify the magnitude of the contraction as a function of the variance of the prestrain, and show that the chain always shrinks. To test these predictions, we vary the topology of the chain and consider more complex connectivity and show that our results are relatively robust to these changes.


title: Large finite group actions on surfaces: Hurwitz groups, maximal reducible and maximal handlebody groups, bounding and non-bounding actions

abstract: We consider large finite group-actions on surfaces and discuss and compare various notions for such actions: Hurwitz actions and Hurwitz groups; maximal reducible and completely reducible actions; bounding and geometrically bounding actions; maximal handlebody groups and maximal bounded surface groups; in particular, we discuss small simple groups of various types. A Hurwitz group is a finite group of orientation-preserving diffeomorphisms of maximal possible order $84(g-1)$ of a closed orientable surface of genus $g>1$. A maximal handlebody group instead is a group of orientation-preserving diffeomorphisms of maximal possible order $12(g-1)$ of a 3-dimensional handlebody of genus $g>1$. Among others, we consider the question of when a Hurwitz group acting on a surface of genus $g$ contains a subgroup of maximal possible order $12(g-1)$ extending to a handlebody (or, more generally, a maximal reducible group extending to a product with handles), and show that such Hurwitz groups are closely related to the smallest Hurwitz group ${\rm PSL}_2(7)$ of order 168 acting on Klein's quartic of genus 3. We discuss simple groups of small order which are maximal handlebody groups and, more generaly, maximal reducible groups. We discuss also the problem of which Hurwitz actions bound geometrically, and in particular whether Klein's quartic bounds geometrically: does there exist a compact hyperbolic 3-manifold with totally geodesic boundary isometric to Klein's quartic? Finally, large bounding and non-bounding actions on surfaces of genus 2, 3 and 4 are discussed in section 3.


title: Almost sure local wellposedness and scattering for the energy-critical cubic nonlinear Schr\"odinger equation with supercritical data

abstract: We study the cubic defocusing nonlinear Schr\"odinger equation on $\mathbb{R}^4$ with supercritical initial data. For randomized initial data in $H^s(\mathbb{R}^4)$, we prove almost sure local wellposedness for $\frac{1}{7} < s < 1$ and almost sure scattering for $\frac{5}{7} < s < 1$. The randomization is based on a unit-scale decomposition in frequency space, a decomposition in the angular variable, and - for the almost sure scattering result - an additional unit-scale decomposition in physical space. We employ new probabilistic estimates for the linear Schr\"odinger flow with randomized data, where we effectively combine the advantages of the different decompositions.


title: WareVR: Virtual Reality Interface for Supervision of Autonomous Robotic System Aimed at Warehouse Stocktaking

abstract: WareVR is a novel human-robot interface based on a virtual reality (VR) application to interact with a heterogeneous robotic system for automated inventory management. We have created an interface to supervise an autonomous robot remotely from a secluded workstation in a warehouse that could benefit during the current pandemic COVID-19 since the stocktaking is a necessary and regular process in warehouses, which involves a group of people. The proposed interface allows regular warehouse workers without experience in robotics to control the heterogeneous robotic system consisting of an unmanned ground vehicle (UGV) and unmanned aerial vehicle (UAV). WareVR provides visualization of the robotic system in a digital twin of the warehouse, which is accompanied by a real-time video stream from the real environment through an on-board UAV camera. Using the WareVR interface, the operator can conduct different levels of stocktaking, monitor the inventory process remotely, and teleoperate the drone for a more detailed inspection. Besides, the developed interface includes remote control of the UAV for intuitive and straightforward human interaction with the autonomous robot for stocktaking. The effectiveness of the VR-based interface was evaluated through the user study in a "visual inspection" scenario.


title: $Q$-tensor gradient flow with quasi-entropy and discretizations preserving physical constraints

abstract: We propose and analyze numerical schemes for the gradient flow of $Q$-tensor with the quasi-entropy. The quasi-entropy is a strictly convex, rotationally invariant elementary function, giving a singular potential constraining the eigenvalues of $Q$ within the physical range $(-1/3,2/3)$. Compared with the potential derived from the Bingham distribution, the quasi-entropy has the same asymptotic behavior and underlying physics. Meanwhile, it is very easy to evaluate because of its simple expression. For the elastic energy, we include all the rotationally invariant terms. The numerical schemes for the gradient flow are built on the nice properties of the quasi-entropy. The first-order time discretization is uniquely solvable, keeping the physical constraints and energy dissipation, which are all independent of the time step. The second-order time discretization keeps the first two properties unconditionally, and the third with an $O(1)$ restriction on the time step. These results also hold when we further incorporate a second-order discretization in space. Error estimates are also established for time discretization and full discretization. Numerical examples about defect patterns are presented to validate the theoretical results.


title: A Geometric Approach for Computing the Kernel of a Polyhedron

abstract: We present a geometric algorithm to compute the geometric kernel of a generic polyhedron. The geometric kernel (or simply kernel) is definedas the set of points from which the whole polyhedron is visible. Whilst the computation of the kernel for a polygon has already been largely addressed in the literature, less has been done for polyhedra. Currently, the principal implementation of the kernel estimation is based on the solution of a linear programming problem. We compare against it on several examples, showing that our method is more efficient in analysing the elements of a generic tessellation. Details on the technical implementation and discussions on pros and cons of the method are also provided.


title: The fixed point iteration of positive concave mappings converges geometrically if a fixed point exists: implications to wireless systems

abstract: We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty fixed point set converges geometrically for any starting point. We also show that positivity is crucial for this result to hold, and the concept of (nonlinear) spectral radius of asymptotic mappings provides us with information about the convergence factor. As a practical implication of the results shown here, we rigorously explain why some power control and load estimation algorithms in wireless networks, which are particular instances of the fixed point iteration, have shown geometric convergence in simulations. These algorithms have been typically derived by considering fixed point iterations of the general class of standard interference mappings, so the possibility of sublinear convergence rate could not be ruled out in previous studies, except in special cases that are often more restrictive than those considered here.


title: Reconciling multi-messenger constraints with chiral symmetry restoration

abstract: We analyze the recent astrophysical constraints in the context of a hadronic equation of state (EoS), in which the baryonic matter is subject to chiral symmetry restoration. We show that with such EoS it is possible to reconcile the modern constraints on the neutron star (NS) mass, radius, and tidal deformability (TD). We find that the softening of the EoS, required by the TD constraint of a canonical $1.4~M_\odot$ NS, followed by a subsequent stiffening, required by the $2~M_\odot$ constraint, is driven by the appearance of $\Delta$ matter due to partial restoration of chiral symmetry. Consequently, a purely hadronic EoS that accounts for the fundamental properties of quantum chromodynamics linked to the dynamical emergence of parity doubling with degenerate masses of nucleons and $\Delta$ resonances can be fully consistent with multi-messenger data. Therefore, with the present constraints on the EoS, the conclusion about the existence of the quark matter in the stellar core may still be premature.


title: Refuting the claim of conformal invariance for a zero-vorticity characteristic equation in 2D turbulence

abstract: Although the current Reply by Grebenev et al. (2021a) makes their original analysis in Grebenev et al. (2017) more transparent, the actual problem remains. Their claim to have analytically proven conformal invariance in 2D turbulence for a zero-vorticity characteristic equation is not true. We refuted this claim in Frewer & Khujadze (2021a,b), which we will briefly summarize here again with respect to the presented Reply. In particular our proof on the symmetry-breaking property of the integral normalization constraint is misrepresented and misconstrued, especially in their second Reply (Grebenev et al., 2021b). Although the journal's only selected expert reviewer clearly agreed with our proof in his final conclusion, the journal nevertheless decided to publish the Replies.


title: Unprotected quadratic band crossing points and quantum anomalous Hall effect in FeB2 monolayer

abstract: Quadratic band crossing points (QBCPs) and quantum anomalous Hall effect (QAHE) have attracted the attention of both theoretical and experimental researchers in recent years. Based on first-principle calculations, we find that the FeB$_2$ monolayer is a nonmagnetic semimetal with QBCPs at $K$. Through symmetry analysis and $\mathbf{k}\cdot\mathbf{p}$ invariant theory, we find that the QBCP is not protected by rotation symmetry and consists of two Dirac points with same chirality (Berry phase of $2\pi$). Once introducing Coulomb interactions, we find that there is a spontaneous-time-reversal-breaking instability of the spinful QBCPs, which gives rise to a $C=2$ QAH insulator with orbital moment ordering.


title: Analyzing the Impact of Meteorological Parameters on Rainfall Prediction

abstract: Rainfall is a climatic factor that affects many human activities like agriculture, construction, and forestry. Rainfall is dependent on various meteorological features and its prediction is a very complex task due to the dynamic climatic nature. A detailed study of different climatic features associated with the occurrence of rainfall should be made in order to understand the influence of each parameter in the context of rainfall. In this paper, we propose a methodical approach to analyze the affect of various parameters on rainfall. Our study uses $5$ years of meteorological data from a weather station located in the United States. The correlation and interdependence among the collected meteorological features were obtained. Additionally, we identified the most important meteorological features for rainfall prediction using a machine learning-based feature selection technique.


title: Enhancing the sensitivity of amplification of rotation velocity in Sagnac's interferometer with biased weak measurement

abstract: Recently, biased weak measurement(BWM) has shown higher precision than both conventional measurement and standard weak measurement(SWM) in optical metrology. In this paper, we propose a scheme of detecting rotation velocity in Sagnac's interferometer with BWM. In particular, BWM employs an additional reduction of photons in the post-selection by introducing a pre-coupling, and the remaining photons have been shown to be extremely sensitive to the estimated parameter. In addition, our numerical results show that the scheme with BWM can obtain a higher sensitivity than the scheme with SWM.


title: Polyadic Sets and Homomorphism Counting

abstract: A classical result due to Lovasz (1967) shows that the isomorphism type of a graph is determined by homomorphism counts. That is, graphs G and H are isomorphic whenever the number of homomorphisms from K to G is the same as the number of homomorphisms from K to H for all graphs K. Variants of this result, for various classes of finite structures, have been exploited in a wide range of research fields, including graph theory and finite model theory. We provide a categorical approach to homomorphism counting based on the concept of polyadic (finite) set. The latter is a special case of the notion of polyadic space introduced by Joyal (1971) and related, via duality, to Boolean hyperdoctrines in categorical logic. We also obtain new homomorphism counting results applicable to a number of infinite structures, such as finitely branching trees and profinite algebras.


title: Transfer beyond the Field of View: Dense Panoramic Semantic Segmentation via Unsupervised Domain Adaptation

abstract: Autonomous vehicles clearly benefit from the expanded Field of View (FoV) of 360-degree sensors, but modern semantic segmentation approaches rely heavily on annotated training data which is rarely available for panoramic images. We look at this problem from the perspective of domain adaptation and bring panoramic semantic segmentation to a setting, where labelled training data originates from a different distribution of conventional pinhole camera images. To achieve this, we formalize the task of unsupervised domain adaptation for panoramic semantic segmentation and collect DensePASS - a novel densely annotated dataset for panoramic segmentation under cross-domain conditions, specifically built to study the Pinhole-to-Panoramic domain shift and accompanied with pinhole camera training examples obtained from Cityscapes. DensePASS covers both, labelled- and unlabelled 360-degree images, with the labelled data comprising 19 classes which explicitly fit the categories available in the source (i.e. pinhole) domain. Since data-driven models are especially susceptible to changes in data distribution, we introduce P2PDA - a generic framework for Pinhole-to-Panoramic semantic segmentation which addresses the challenge of domain divergence with different variants of attention-augmented domain adaptation modules, enabling the transfer in output-, feature-, and feature confidence spaces. P2PDA intertwines uncertainty-aware adaptation using confidence values regulated on-the-fly through attention heads with discrepant predictions. Our framework facilitates context exchange when learning domain correspondences and dramatically improves the adaptation performance of accuracy- and efficiency-focused models. Comprehensive experiments verify that our framework clearly surpasses unsupervised domain adaptation- and specialized panoramic segmentation approaches.


title: Uniqueness for the fractional Calder\'on problem with quasilocal perturbations

abstract: We study the fractional Schr\"odinger equation with quasilocal perturbations. These are a family of nonlocal perturbations vanishing at infinity, which include e.g. convolutions against Schwartz functions. We show that the qualitative unique continuation and Runge approximation properties hold in the assumption of sufficient decay. Quantitative versions of both results are also obtained via a propagation of smallness analysis for the Caffarelli-Silvestre extension. The results are then used to show uniqueness in the inverse problem of retrieving a quasilocal perturbation from DN data under suitable geometric assumptions. Our work generalizes recent results regarding the locally perturbed fractional Calder\'on problem.


title: Robust Edge-Direct Visual Odometry based on CNN edge detection and Shi-Tomasi corner optimization

abstract: In this paper, we propose a robust edge-direct visual odometry (VO) based on CNN edge detection and Shi-Tomasi corner optimization. Four layers of pyramids were extracted from the image in the proposed method to reduce the motion error between frames. This solution used CNN edge detection and Shi-Tomasi corner optimization to extract information from the image. Then, the pose estimation is performed using the Levenberg-Marquardt (LM) algorithm and updating the keyframes. Our method was compared with the dense direct method, the improved direct method of Canny edge detection, and ORB-SLAM2 system on the RGB-D TUM benchmark. The experimental results indicate that our method achieves better robustness and accuracy.


title: Orchard Networks are Trees with Additional Horizontal Arcs

abstract: Phylogenetic networks are used in biology to represent evolutionary histories. The class of orchard phylogenetic networks was recently introduced for their computational benefits, without any biological justification. Here, we show that orchard networks can be interpreted as trees with additional \emph{horizontal} arcs. Therefore, they are closely related to tree-based networks, where the difference is that in tree-based networks the additional arcs do not need to be horizontal. Then, we use this new characterization to show that the space of orchard networks is connected under the rNNI rearrangement move, with a diameter of at most $4kn+n\lceil \log_2(n) \rceil +2k+6n-8$.


title: On reductive subgroups of reductive groups having invariants in almost all representations

abstract: Let $G$ and $\tilde G$ be connected complex reductive Lie groups, $G$ semisimple. Let $\Lambda^+$ be the monoid of dominant weights for a positive root system $\Delta^+$, and let $l(w)$ be the length of a Weyl group element $w$. Let $V_\lambda$ denote an irreducible $G$-module of highest weight $\lambda\in\Lambda^+$. For any closed embedding $\iota:\tilde G\subset G$, we consider Property (A): $\quad\forall\lambda\in\Lambda^+,\exists q\in\mathbb{N}$ such that $V_{q\lambda}^{\tilde G}\ne0$. A necessary condition for (A) is for $G$ to have no simple factors to which $G$ projects surjectively. We show that this condition is sufficient if $\tilde G$ is of type ${\bf A}_1$ or ${\bf E}_8$. We define and study an integral invariant of a root system, $\ell_G=\min\{\ell^\lambda:\lambda\in\Lambda^+\setminus\{0\}\}$, where $\ell^\lambda=\min\{l(w):w\lambda\notin{\rm Cone}(\Delta^+)\}$. We derive the following sufficient condition for (A), independent of $\iota$: $$ \ell_G - \#\tilde\Delta^+ > 0 \;\Longrightarrow\; (A). $$ We compute $\ell_G$ and related data for all simple $G$, except ${\bf E}_8$, where we obtain lower and upper bounds. We consider a stronger property (A-$k$) defined in terms of Geometric Invariant Theory, related to extreme values of codimensions of unstable loci, and derive a sufficient condition in the form $\ell_G - \#\tilde\Delta^+ > k$. The invariant $\ell_G$ proves too week to handle $G=SL_n$ and we employ a companion $\ell_G^{\rm sd}$ to infer (A-$k$) for a larger class of subgroups. We derive corollaries on Mori-theoretic properties of GIT-quotients.


title: Generalized uncertainty principle or curved momentum space?

abstract: The concept of minimum length, widely accepted as a low-energy effect of quantum gravity, manifests itself in quantum mechanics through generalized uncertainty principles. Curved momentum space, on the other hand, is at the heart of similar applications such as doubly special relativity. We introduce a duality between theories yielding generalized uncertainty principles and quantum mechanics on nontrivial momentum space. In particular, we find canonically conjugate variables which map the former into the latter. In that vein, we explicitly derive the vielbein corresponding to a generic generalized uncertainty principle in $d$ dimensions. Assuming the predominantly used quadratic form of the modification, the curvature tensor in momentum space is proportional to the noncommutativity of the coordinates in the modified Heisenberg algebra. Yet, the metric is non-Euclidean even in the flat case corresponding to commutative space, because the resulting momentum basis is noncanonical. These insides are used to constrain the curvature and the deviation from the canonical basis.


title: Analysis of core-mantle boundary seismic waves using full\-waveform modelling and adjoint methods

abstract: Using spectral-element and adjoint methods, we investigate body waves interacting with the Earth's most dramatic interface, the core-mantle boundary (CMB). Intermediate-to-high frequency seismograms are computed incorporating topography models. We analyse the sensitivity of many seismic phases interacting with the interface. The study aims at showing effects of CMB structure on synthetics and highlights difficulties of imaging this region due to strong trade-off between velocity variations and topography. Synthetic waveforms computed at dominant periods of 6-18 seconds are used in order to observe time shifts due to topography and calculate the adjoint sensitivity kernel. We focus on diffracted, core reflected and refracted P and S waves. The sensitivity kernel depicts first Fresnel zones of these phases and others that may contribute to narrow time window, although unpredicted by ray theory. We perform comparisons between time shifts due to topography models made on full-waveform synthetics to ray theoretical predictions to assess methods usually deployed for imaging CMB. This shows that for most phases ray theory performs well enough with some accuracy loss. We propose that using relevant seismic phases simultaneously in full-waveform inversion may improve CMB topography imaging. However, it seems necessary to jointly invert for velocity variations due to D\" layer, which is so far poorly understood and presents a challenge when it comes to identifying its effects on traveltime data. In our further research, a FWI workflow is being developed and aims at addressing these issues.


title: Pacta sunt servanda: legal contracts in Stipula

abstract: There is a growing interest in running legal contracts on digital systems, at the same time, it is important to understand to what extent software contracts may capture legal content. We then undertake a foundational study of legal contracts and we distill four main features: agreement, permissions, violations and obligations. We therefore design Stipula, a domain specific language that assists lawyers in programming legal contracts through specific patterns. The language is based on a small set of abstractions that correspond to common patterns in legal contracts, and that are amenable to be executed either on centralized or on distributed systems. Stipula comes with a formal semantics and an observational equivalence, that provide for a clear account of the contracts' behaviour. The expressive power of the language is illustrated by a set of examples that correspond to template contracts that are often used in practice.


title: A Nested Weighted Tchebycheff Multi-Objective Bayesian Optimization Approach for Flexibility of Unknown Utopia Estimation in Expensive Black-box Design Problems

abstract: We propose a nested weighted Tchebycheff Multi-objective Bayesian optimization framework where we build a regression model selection procedure from an ensemble of models, towards better estimation of the uncertain parameters of the weighted-Tchebycheff expensive black-box multi-objective function. In existing work, a weighted Tchebycheff MOBO approach has been demonstrated which attempts to estimate the unknown utopia in formulating acquisition function, through calibration using a priori selected regression model. However, the existing MOBO model lacks flexibility in selecting the appropriate regression models given the guided sampled data and therefore, can under-fit or over-fit as the iterations of the MOBO progress, reducing the overall MOBO performance. As it is too complex to a priori guarantee a best model in general, this motivates us to consider a portfolio of different families of predictive models fitted with current training data, guided by the WTB MOBO; the best model is selected following a user-defined prediction root mean-square-error-based approach. The proposed approach is implemented in optimizing a multi-modal benchmark problem and a thin tube design under constant loading of temperature-pressure, with minimizing the risk of creep-fatigue failure and design cost. Finally, the nested weighted Tchebycheff MOBO model performance is compared with different MOBO frameworks with respect to accuracy in parameter estimation, Pareto-optimal solutions and function evaluation cost. This method is generalized enough to consider different families of predictive models in the portfolio for best model selection, where the overall design architecture allows for solving any high-dimensional (multiple functions) complex black-box problems and can be extended to any other global criterion multi-objective optimization methods where prior knowledge of utopia is required.


title: Alternation of Singlet and Triplet States in Carbon-Based Chain Molecules and Its Astrochemical Implications. Results of an Extensive Theoretical Study

abstract: A variety of homologous carbon chains (HCnH, HCnN, CnS, CnO, and OCnO) are found to exhibit an appealing even-odd effect. Chains containing a number of carbon atoms of a certain parity possess singlet ground states, while members of opposite parity have triplet ground states. From a general perspective, it is important that this even-odd effect confounds straightforward chemical intuition. Whether the most stable form is a triplet or a singlet is neither simply related to the fact that the species in question is a normal (closed-shell, nonradical) molecule nor a (di)radical or to the (e.g., cumulene-type) C-C bond succession across the chain. From a computational perspective, the present results are important also because they demonstrate that electron correlations in carbon-based chains are extremely strong. Whether the gold-standard CCSD(T) (coupled-cluster expansions with single and double excitations and triple excitations corrections) framework suffices to describe such strongly correlated systems remains an open question that calls for further clarification. Most importantly for astrochemistry, the present results may explain why certain members are not astronomically observed although larger members of the same homologous series are detected; the missing species are exactly those for which the present calculations predict triplet ground states.


title: Sequential Modeling with Multiple Attributes for Watchlist Recommendation in E-Commerce

abstract: In e-commerce, the watchlist enables users to track items over time and has emerged as a primary feature, playing an important role in users' shopping journey. Watchlist items typically have multiple attributes whose values may change over time (e.g., price, quantity). Since many users accumulate dozens of items on their watchlist, and since shopping intents change over time, recommending the top watchlist items in a given context can be valuable. In this work, we study the watchlist functionality in e-commerce and introduce a novel watchlist recommendation task. Our goal is to prioritize which watchlist items the user should pay attention to next by predicting the next items the user will click. We cast this task as a specialized sequential recommendation task and discuss its characteristics. Our proposed recommendation model, Trans2D, is built on top of the Transformer architecture, where we further suggest a novel extended attention mechanism (Attention2D) that allows to learn complex item-item, attribute-attribute and item-attribute patterns from sequential-data with multiple item attributes. Using a large-scale watchlist dataset from eBay, we evaluate our proposed model, where we demonstrate its superiority compared to multiple state-of-the-art baselines, many of which are adapted for this task.


title: RL4RS: A Real-World Dataset for Reinforcement Learning based Recommender System

abstract: Reinforcement learning based recommender systems (RL-based RS) aim at learning a good policy from a batch of collected data, by casting recommendations to multi-step decision-making tasks. However, current RL-based RS research commonly has a large reality gap. In this paper, we introduce the first open-source real-world dataset, RL4RS, hoping to replace the artificial datasets and semi-simulated RS datasets previous studies used due to the resource limitation of the RL-based RS domain. Unlike academic RL research, RL-based RS suffers from the difficulties of being well-validated before deployment. We attempt to propose a new systematic evaluation framework, including evaluation of environment simulation, evaluation on environments, counterfactual policy evaluation, and evaluation on environments built from test set. In summary, the RL4RS (Reinforcement Learning for Recommender Systems), a new resource with special concerns on the reality gaps, contains two real-world datasets, data understanding tools, tuned simulation environments, related advanced RL baselines, batch RL baselines, and counterfactual policy evaluation algorithms. The RL4RS suite can be found at https://github.com/fuxiAIlab/RL4RS. In addition to the RL-based recommender systems, we expect the resource to contribute to research in applied reinforcement learning.


title: Flexible Regularized Estimating Equations: Some New Perspectives

abstract: In this note, we make some observations about the equivalences between regularized estimating equations, fixed-point problems and variational inequalities. A summary of our findings is given below: (a) A regularized estimating equation is equivalent to a fixed-point problem, specified by the proximal operator of the corresponding penalty; (b) A regularized estimating equation is equivalent to a generalized variational inequality; (c) Both equivalences extend to any estimating equations and any penalty functions. To our knowledge, these observations have never been presented in the literature before. We hope our new findings can lead to further research in both computational and theoretical aspects of regularized estimating equations.


title: Enabling a Social Robot to Process Social Cues to Detect when to Help a User

abstract: It is important for socially assistive robots to be able to recognize when a user needs and wants help. Such robots need to be able to recognize human needs in a real-time manner so that they can provide timely assistance. We propose an architecture that uses social cues to determine when a robot should provide assistance. Based on a multimodal fusion approach upon eye gaze and language modalities, our architecture is trained and evaluated on data collected in a robot-assisted Lego building task. By focusing on social cues, our architecture has minimal dependencies on the specifics of a given task, enabling it to be applied in many different contexts. Enabling a social robot to recognize a user's needs through social cues can help it to adapt to user behaviors and preferences, which in turn will lead to improved user experiences.


title: Relativistic collapse of Landau levels of Kane fermions in crossed electric and magnetic fields

abstract: Using an elegant model involving only $\Gamma_{6c}$ and $\Gamma_{8v}$ bands, massless Kane fermions were defined as the particles associated with the peculiar band structure of gapless HgCdTe crystals. Although their dispersion relation resembles that of a pseudo-spin-1 Dirac semimetal, these particles were originally considered to be hybrids of pseudospin-1 and -1/2 fermions. Here we unequivocally find that by considering an additional $\Gamma_{7c}$ conduction band inherent in HgCdTe crystals, the Kane fermions are ultimately two nested Dirac particles. This observation allows the direct application of Lorentz transformations to describe the relativistic behavior of these particles in crossed electric and magnetic fields. By studying the relativistic collapse of their Landau levels at different orientations between the crossed fields and the main crystallographic axes, we demonstrate that the Kane fermions strikingly decay into two independent Dirac particles with increasing of electric field. Our results provide new insight into semi-relativistic effects in narrow-gap semiconductors in crossed electric and magnetic fields.


title: Probing dense matter physics with transiently-accreting neutron stars: the case of source MXB 1659-29

abstract: Recent observational data on transiently-accreting neutron stars has unequivocally shown fast-cooling sources, such as in the case of neutron star MXB 1659-29. Previous calculations have estimated its total neutrino luminosity and heat capacity, as well as suggested that direct Urca reactions take place in $1 \%$ of the volume of the core. In this paper, we reproduce the inferred luminosity of this source with detailed models of equations of state (EOS) and nuclear pairing gaps. We show that three superfluidity gap models are inconsistent with data for all EOS and another three are disfavoured because of fine tuning arguments. We also calculate the total heat capacity for all constructed stars and show that independent observations of mass and luminosity could set constraints on the core superfluidity of a source as well as the density slope of the symmetry energy, L. This is an important step towards defining a universal equation of state for neutron stars and therefore, towards a better understanding of the phase diagram of asymmetric matter at high densities.


title: Structure of the nearly-degenerate manifold of lattice quasiholes on a torus

abstract: We study the nearly-degenerate quasihole manifold of the bosonic Hofstadter-Hubbard model on a torus, known to host the lattice analog of the Laughlin state at filling fraction $\nu = 1/2$. Away from $\nu = 1/2$ and in the presence of both localized and delocalized quasiholes, the ratio between the numerically calculated many-body Chern number for certain groups of states and the number of states in the relevant group turns out to be constant for this manifold, which is also manifested in the density profile as the depleted charge of localized quasiholes. Inspired by a zero-mode counting formula derivable from a generalized Pauli principle, we employ a combinatorial scheme to account for the splittings in the manifold, allowing us to interpret some groups of states as the quasihole excitations corresponding to filling fractions lower than $\nu = 1/2$. In this scheme, the many-body Chern number of subgroups appears as a simple combinatorial factor.


title: Tagged Documents Co-Clustering

abstract: Tags are short sequences of words allowing to describe textual and non-texual resources such as as music, image or book. Tags could be used by machine information retrieval systems to access quickly a document. These tags can be used to build recommender systems to suggest similar items to a user. However, the number of tags per document is limited, and often distributed according to a Zipf law. In this paper, we propose a methodology to cluster tags into conceptual groups. Data are preprocessed to remove power-law effects and enhance the context of low-frequency words. Then, a hierarchical agglomerative co-clustering algorithm is proposed to group together the most related tags into clusters. The capabilities were evaluated on a sparse synthetic dataset and a real-world tag collection associated with scientific papers. The task being unsupervised, we propose some stopping criterion for selectecting an optimal partitioning.


title: Continuous Authentication Using Mouse Movements, Machine Learning, and Minecraft

abstract: Mouse dynamics has grown in popularity as a novel irreproducible behavioral biometric. Datasets which contain general unrestricted mouse movements from users are sparse in the current literature. The Balabit mouse dynamics dataset produced in 2016 was made for a data science competition and despite some of its shortcomings, is considered to be the first publicly available mouse dynamics dataset. Collecting mouse movements in a dull administrative manner as Balabit does may unintentionally homogenize data and is also not representative of realworld application scenarios. This paper presents a novel mouse dynamics dataset that has been collected while 10 users play the video game Minecraft on a desktop computer. Binary Random Forest (RF) classifiers are created for each user to detect differences between a specific users movements and an imposters movements. Two evaluation scenarios are proposed to evaluate the performance of these classifiers; one scenario outperformed previous works in all evaluation metrics, reaching average accuracy rates of 92%, while the other scenario successfully reported reduced instances of false authentications of imposters.


title: Rigid Body with Rotors and Reduction by Stages

abstract: Rigid body with rotors is a widespread mechanical system modeled after the direct product $SO(3)\times S^1\times S^1\times S^1$, which under mild assumptions is the symmetry group of the system. In this paper, the authors present and compare different Lagrangian reduction procedures: Euler-Poincar\'e reduction by the whole group and reduction by stages in different orders or using different connections. The exposition keeps track of the equivalence of equations as well as corresponding conservation laws.


title: Morphological transition of the compact radio lobe in 3C84 via the strong jet-cloud collision

abstract: We report multi-epoch Very Long Baseline Interferometric (VLBI) observations of the compact radio lobe in the radio galaxy 3C84 (NGC1275) during 2016 - 2020. The image sequence of 3C84 reveals that the hotspot in the radio lobe showed the one-year long frustration in 2017 within a compact region of about 0.07 parsec, suggesting a strong collision between the jet and a compact dense cloud with the estimated average density about $(4\-- 6)\times 10^{5}~{\rm cm^{-3}}$. Although the hotspot and the radio lobe began to move south again after its breakout, the radio lobe showed a morphological transition from FR II- to FR I-class radio lobe and its radio flux became fainter. This is the first detection of the dynamical feedback from the cloud to the jet where the cloud located on the jet axis significantly interferes with the jet propagation and evolution at the central one-parsec region in active galactic nucleus.


title: Analogue gravitational field from nonlinear fluid dynamics

abstract: The dynamics of sound in a fluid is intrinsically nonlinear. We derive the consequences of this fact for the analogue gravitational field experienced by sound waves, by first describing generally how the nonlinearity of the equation for phase fluctuations back-reacts onto the definition of the background providing the effective space-time metric. Subsequently, we use the the analytical tool of Riemann invariants in one-dimensional motion to derive source terms of the effective gravitational field stemming from nonlinearity. Finally, we show that the consequences of nonlinearity we derive can be observed with Bose-Einstein condensates in the ultracold gas laboratory.


title: Grafting Transformer on Automatically Designed Convolutional Neural Network for Hyperspectral Image Classification

abstract: Hyperspectral image (HSI) classification has been a hot topic for decides, as hyperspectral images have rich spatial and spectral information and provide strong basis for distinguishing different land-cover objects. Benefiting from the development of deep learning technologies, deep learning based HSI classification methods have achieved promising performance. Recently, several neural architecture search (NAS) algorithms have been proposed for HSI classification, which further improve the accuracy of HSI classification to a new level. In this paper, NAS and Transformer are combined for handling HSI classification task for the first time. Compared with previous work, the proposed method has two main differences. First, we revisit the search spaces designed in previous HSI classification NAS methods and propose a novel hybrid search space, consisting of the space dominated cell and the spectrum dominated cell. Compared with search spaces proposed in previous works, the proposed hybrid search space is more aligned with the characteristic of HSI data, that is, HSIs have a relatively low spatial resolution and an extremely high spectral resolution. Second, to further improve the classification accuracy, we attempt to graft the emerging transformer module on the automatically designed convolutional neural network (CNN) to add global information to local region focused features learned by CNN. Experimental results on three public HSI datasets show that the proposed method achieves much better performance than comparison approaches, including manually designed network and NAS based HSI classification methods. Especially on the most recently captured dataset Houston University, overall accuracy is improved by nearly 6 percentage points. Code is available at: https://github.com/Cecilia-xue/HyT-NAS.


title: Qubit-based momentum measurement of a particle

abstract: An early approach to include pointers representing measurement devices into quantum mechanics was given by von Neumann. Based on this idea, we model such pointers by qubits and couple them to a free particle, in analogy to a classical time-of-flight arrangement. The corresponding Heisenberg dynamics leads to pointer observables whose expectation values allow us to reconstruct the particle's momentum distribution via the characteristic function. We investigate different initial qubit states and find that such a reconstruction can be considerably simplified by initially entangled pointers.


title: WimPyDD: an object-oriented Python code for WIMP-nucleus scattering direct detection in virtually any scenario

abstract: We introduce WimPyDD, a modular, object-oriented and customisable Python code that accurately predicts the expected WIMP-nucleus scattering rates in WIMP direct-detection experiments including the response of the detector. WimPyDD utilises the framework of Galilean-invariant non-relativistic effective theory, allowing to handle an arbitrary number of effective operators, and can perform the calculation of the excepted rate in virtually any scenario, including inelastic scattering, WIMPs with an arbitrary spin, and a generic velocity distribution in the Galactic halo. The power and flexibility of WimPyDD is discussed in some explicit examples.


title: On the $\mathbb{A}^1$-invariance of $\mathrm{K}_2$ modeled on linear and even orthogonal groups

abstract: Let $k$ be an arbitrary field. In this paper we show that in the linear case ($\Phi=\mathsf{A}_\ell$, $\ell \geq 4$) and even orthogonal case ($\Phi = \mathsf{D}_\ell$, $\ell\geq 7$, $\mathrm{char}(k)\neq 2$) the unstable functor $\mathrm{K}_2(\Phi, -)$ possesses the $\mathbb{A}^1$-invariance property in the geometric case, i. e. $\mathrm{K}_2(\Phi, R[t]) = \mathrm{K}_2(\Phi, R)$ for a regular ring $R$ containing $k$. As a consequence, the unstable $\mathrm{K}_2$ groups can be represented in the unstable $\mathbb{A}^1$-homotopy category $\mathscr{H}_\bullet(k)$ as fundamental groups of the simply-connected Chevalley--Demazure group schemes $\mathrm{G}(\Phi,-)$. Our invariance result can be considered as the $\mathrm{K}_2$-analogue of the geometric case of Bass--Quillen conjecture. We also show for a semilocal regular $k$-algebra $A$ that $\mathrm{K}_2(\Phi, A)$ embeds as a subgroup into $\mathrm{K}^\mathrm{M}_2(\mathrm{Frac}\,A)$.


title: RoMA: a Method for Neural Network Robustness Measurement and Assessment

abstract: Neural network models have become the leading solution for a large variety of tasks, such as classification, language processing, protein folding, and others. However, their reliability is heavily plagued by adversarial inputs: small input perturbations that cause the model to produce erroneous outputs. Adversarial inputs can occur naturally when the system's environment behaves randomly, even in the absence of a malicious adversary, and are a severe cause for concern when attempting to deploy neural networks within critical systems. In this paper, we present a new statistical method, called Robustness Measurement and Assessment (RoMA), which can measure the expected robustness of a neural network model. Specifically, RoMA determines the probability that a random input perturbation might cause misclassification. The method allows us to provide formal guarantees regarding the expected frequency of errors that a trained model will encounter after deployment. Our approach can be applied to large-scale, black-box neural networks, which is a significant advantage compared to recently proposed verification methods. We apply our approach in two ways: comparing the robustness of different models, and measuring how a model's robustness is affected by the magnitude of input perturbation. One interesting insight obtained through this work is that, in a classification network, different output labels can exhibit very different robustness levels. We term this phenomenon categorial robustness. Our ability to perform risk and robustness assessments on a categorial basis opens the door to risk mitigation, which may prove to be a significant step towards neural network certification in safety-critical applications.


title: Self-doping and the Mott-Kondo scenario for infinite-layer nickelate superconductors

abstract: We give a brief review of the Mott-Kondo scenario and its consequence in the recently-discovered infinite-layer nickelate superconductors. We argue that the parent state is a self-doped Mott insulator and propose an effective $t$-$J$-$K$ model to account for its low-energy properties. At small doping, the model describes a low carrier density Kondo system with incoherent Kondo scattering at finite temperatures, in good agreement with experimental observation of the logarithmic temperature dependence of electric resistivity. Upon increasing Sr doping, the model predicts a breakdown of the Kondo effect, which provides a potential explanation of the non-Fermi liquid behavior of the electric resistivity with a power law scaling over a wide range of the temperature. Unconventional superconductivity is shown to undergo a transition from nodeless $(d+is)$-wave to nodal $d$-wave near the critical doping due to competition of the Kondo and Heisenberg superexchange interactions. The presence of different pairing symmetry may be supported by recent tunneling measurements.


title: Blockchain-based Result Verification for Computation Offloading

abstract: Offloading of computation, e.g., to the cloud, is today a major task in distributed systems. Usually, consumers which apply offloading have to trust that a particular functionality offered by a service provider is delivering correct results. While redundancy (i.e., offloading a task to more than one service provider) or (partial) reprocessing help to identify correct results, they also lead to significantly higher cost. Hence, within this paper, we present an approach to verify the results of offchain computations via the blockchain. For this, we apply zero-knowledge proofs to provide evidence that results are correct. Using our approach, it is possible to establish trust between a service consumer and arbitrary service providers. We evaluate our approach using a very well-known example task, i.e., the Traveling Salesman Problem.


title: E-DPNCT: An Enhanced Attack Resilient Differential Privacy Model For Smart Grids Using Split Noise Cancellation

abstract: High frequency reporting of energy consumption data in smart grids can be used to infer sensitive information regarding the consumer's life style and poses serious security and privacy threats. Differential privacy (DP) based privacy models for smart grids ensure privacy when analysing energy consumption data for billing and load monitoring. However, DP models for smart grids are vulnerable to collusion attack where an adversary colludes with malicious smart meters and un-trusted aggregator in order to get private information from other smart meters. We first show the vulnerability of DP based privacy model for smart grids against collusion attacks to establish the need of a collusion resistant model privacy model. Then, we propose an Enhanced Differential Private Noise Cancellation Model for Load Monitoring and Billing for Smart Meters (E-DPNCT) which not only provides resistance against collusion attacks but also protects the privacy of the smart grid data while providing accurate billing and load monitoring. We use differential privacy with a split noise cancellation protocol with multiple master smart meters (MSMs) to achieve colluison resistance. We did extensive comparison of our E-DPNCT model with state of the art attack resistant privacy preserving models such as EPIC for collusion attack. We simulate our E-DPNCT model with real time data which shows significant improvement in privacy attack scenarios. Further, we analyze the impact of selecting different sensitivity parameters for calibrating DP noise over the privacy of customer electricity profile and accuracy of electricity data aggregation such as load monitoring and billing.


title: Gravastars in a Non-minimally Coupled Gravity with Electromagnetism

abstract: In this paper we investigate the gravitational vacuum stars which called gravastars in the non-minimally coupled models with electromagnetic and gravitational fields. We consider two non-minimal models and find the corresponding spherically symmetric exact solutions in the interior of the star consisting of the dark energy condensate. Our models turn out to be Einstein-Maxwell model at the outside of the star and the solutions become the Reissner-Nordstr{\"o}m solution. The physical quantities of these models are continuous and non-singular in some range of parameters and the exterior geometry continuously matches with the interior geometry at the surface. We calculate the matter mass, the total gravitational mass, the electric charge and redshift of the star for the two models. We notice that these quantities except redshift are dependent of a subtle free parameter, $k$, of the model. We also remark a wide redshift range from zero to infinity depending on one free parameter, $\beta$, in the second model.


title: Berry Phase origin of the planar spin Hall effect

abstract: The Berry phase origin is elaborated for the recent-discovered planar spin Hall effect which features current-induced spin polarization within the plane of the Hall deflection. We unravel a spin-repulsion vector governing the planar spin Hall effect, providing a transparent criteria for identifying intrinsic planar spin Hall materials. Finite spin-repulsion vector is found permitted in 13 crystalline point groups, revealing a big number of unexplored planar spin Hall systems. Our result can be used for the quantitative calculation of the planar spin Hall effect, facilitating further material hunting and experimental investigation.


title: Phonon anharmonicity: a pertinent review of recent progress and perspective

abstract: Anharmonic lattice vibrations govern the thermal dynamics in materials and present how the atoms interact and how they conduct heat. An indepth understanding of the microscopic mechanism of phonon anharmonicity in condensed systems is critical for developing better functional and energy materials. In recent years, a variety of novel behaviors in condense matters are driven by phonon anharmonic effects in some way or another, such as soft mode phase transition, negative thermal expansion, multiferroicity, ultralow thermal conductivity or high thermal resistance, and high-temperature superconductivity, etc. All these properties have endowed anharmonicity with many promising applications and provided remarkable opportunities for developing anharmonicity engineering, regulating heat transport towards excellent performance in materials. In this work, we review the recent development of the study on phonon anharmonic effect and summarize its origination, influence and mechanism, research methods, and applications. Besides, the remaining challenges, future trends, and prospects of phonon anharmonicity are also put forward.


title: Dynamics of the multiferroic LiCuVO4 influenced by electric field

abstract: We present the electron spin resonance study of the influence of an electric field on the low-field multiferroic magnetic state in LiCuVO4. The shift of the magnetic resonance spectra in the electric field has been observed experimentally. Symmetry analysis has been conducted in order to describe the static properties of the magnetic system. The low-frequency dynamics of LiCuVO4 in magnetic and electric fields was considered in the framework of hydrodynamic approach. It was shown that the application of the external electric field leads to the change of the configuration of the magnetic system before and after spin-flop reorientation. Satisfactory agreement was obtained between the results of experimental studies and theoretical consideration.


title: Leptonic CP asymmetry and Light flavored scalar

abstract: We consider a situation where right-handed neutrinos couple to a light scalar which is possibly a Nambu-Goldstone boson resulting from high-energy symmetry breaking. Its coupling is typically complex-valued and flavor-dependent. In this work, we investigate the possibility of the leptonic asymmetry generation in the Universe from the right-handed neutrino decay to flavorful light scalar. Furthermore a new source of asymmetry generation from a single decay process is pointed out, which is characteristic of the present setting.


title: Prototype Open Event Reconstruction Pipeline for the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) is the next-generation gamma-ray observatory currently under construction. It will improve over the current generation of imaging atmospheric Cherenkov telescopes (IACTs) by a factor of five to ten in sensitivity and it will be able to observe the whole sky from a combination of two sites: a northern site in La Palma, Spain, and a southern one in Paranal, Chile. CTA will also be the first open gamma-ray observatory. Accordingly, the data analysis pipeline is developed as open-source software. The event reconstruction pipeline accepts raw data of the telescopes and processes it to produce suitable input for the higher-level science tools. Its primary tasks include reconstructing the physical properties of each recorded shower and providing the corresponding instrument response functions. ctapipe is a framework providing algorithms and tools to facilitate raw data calibration, image extraction, image parameterization and event reconstruction. Its main focus is currently the analysis of simulated data but it has also been successfully applied for the analysis of data obtained with the first CTA prototype telescopes, such as the Large-Sized Telescope 1 (LST-1). pyirf is a library to calculate IACT instrument response functions, needed to obtain physics results like spectra and light curves, from the reconstructed event lists. Building on these two, protopipe is a prototype for the event reconstruction pipeline for CTA. Recent developments in these software packages will be presented.


title: Index Coded - NOMA in Vehicular Ad Hoc Networks

abstract: The demand for multimedia services is growing day by day in vehicular ad-hoc networks (VANETs), resulting in high spectral usage and network congestion. Non-orthogonal multiple access (NOMA) is a promising wireless communication technique to solve the problems related to spectral efficiency effectively. The index coding (IC) is a powerful method to improve spectral utilization, where a sender aims to satisfy the needs of multiple receivers with a minimum number of transmissions. By combining these two approaches, in this work, we propose a novel technique called index coded NOMA (IC-NOMA), where we apply NOMA techniques on index coded data to reduce the number of transmissions further. This work shows that the IC-NOMA system demands a specific design for index codes to reap the advantages of NOMA. We have done the feasibility analysis of the proposed method in a general scenario and proposed an index code design to integrate IC over NOMA for the best efficiency. Through detailed analytical studies it is validated that the proposed transmission system provides improved spectral efficiency and power saving compared to conventional IC systems.