title: Ultra Local Nonlinear Unknown Input Observers for Robust Fault Reconstruction

abstract: In this paper, we present a methodology for actuator and sensor fault estimation in nonlinear systems. The method consists in augmenting the system dynamics with an approximated ultra-local model (a finite chain of integrators) for the fault vector and constructing a Nonlinear Unknown Input Observer (NUIO) for the augmented dynamics. Then, fault reconstruction is reformulated as a robust state estimation problem in the augmented state (true state plus fault-related state). We provide sufficient conditions that guarantee the existence of the observer and stability of the estimation error dynamics (asymptotic stability of the origin in the absence of faults and ISS guarantees in the faulty case). Then, we cast the synthesis of observer gains as a semidefinite program where we minimize the L2-gain from the model mismatch induced by the approximated fault model to the fault estimation error. Finally, simulations are given to illustrate the performance of the proposed methodology.


title: Lopsided galactic disks in IllustrisTNG

abstract: A significant fraction of nearby late-type galaxies are lopsided. We study the asymmetry of the stellar component in a sample of well-resolved disky galaxies selected from the last snapshot of the Illustris TNG100 simulation based on their flatness and rotational support. Among 1912 disks, we identify 161 objects with significant asymmetry in terms of the m=1 Fourier mode of the stellar component within (1-2) stellar half-mass radii and describe their properties using three representative examples. The profiles of the m=1 mode typically increase with radius, and the corresponding phase is constant in the asymmetric region, signifying a global distortion. Following the evolution of the lopsided disks over time, we find that their history is rather uneventful and the occurrence of the asymmetry is fairly recent. Only about 1/3 of the lopsided disks experienced any strong interaction recently that could have led to the distortion of their shape: 24% were affected by a more massive object and 9% underwent a gas-rich merger. Still, a majority of lopsided disks show a significant increase in their recent star formation rate. The most frequent mechanism for the formation of lopsided disks thus seems to be asymmetric star formation probably related to gas accretion, although the distortions in the gas and stars are not strongly correlated. This picture is supported by the finding that the lopsided population on average contains more gas, has higher star formation rate, lower metallicity and bluer color than the remaining disks. These correlations are similar to those seen in real galaxies, even though the fraction of simulated lopsided disks (8%) is much lower than in observations (30%). The observed correlation between the presence of the asymmetry and a bar is not reproduced either. These discrepancies may be due to overquenching or insufficient resolution of IllustrisTNG simulations.


title: SHiFT: An Efficient, Flexible Search Engine for Transfer Learning

abstract: Transfer learning can be seen as a data- and compute-efficient alternative to training models from scratch. The emergence of rich model repositories, such as TensorFlow Hub, enables practitioners and researchers to unleash the potential of these models across a wide range of downstream tasks. As these repositories keep growing exponentially, efficiently selecting a good model for the task at hand becomes paramount. By carefully comparing various selection and search strategies, we realize that no single method outperforms the others, and hybrid or mixed strategies can be beneficial. Therefore, we propose SHiFT, the first downstream task-aware, flexible, and efficient model search engine for transfer learning. These properties are enabled by a custom query language SHiFT-QL together with a cost-based decision maker, which we empirically validate. Motivated by the iterative nature of machine learning development, we further support efficient incremental executions of our queries, which requires a careful implementation when jointly used with our optimizations.


title: Correlation Verification for Image Retrieval

abstract: Geometric verification is considered a de facto solution for the re-ranking task in image retrieval. In this study, we propose a novel image retrieval re-ranking network named Correlation Verification Networks (CVNet). Our proposed network, comprising deeply stacked 4D convolutional layers, gradually compresses dense feature correlation into image similarity while learning diverse geometric matching patterns from various image pairs. To enable cross-scale matching, it builds feature pyramids and constructs cross-scale feature correlations within a single inference, replacing costly multi-scale inferences. In addition, we use curriculum learning with the hard negative mining and Hide-and-Seek strategy to handle hard samples without losing generality. Our proposed re-ranking network shows state-of-the-art performance on several retrieval benchmarks with a significant margin (+12.6% in mAP on ROxford-Hard+1M set) over state-of-the-art methods. The source code and models are available online: https://github.com/sungonce/CVNet.


title: Towards high all-optical data writing rates in synthetic ferrimagnets

abstract: Although all-optical magnetization switching with fs laser pulses has garnered much technological interest, the ultimate data rates achievable have scarcely been investigated. Recently it has been shown that after a switching event in a GdCo alloy, a second laser pulse arriving 7 ps later can consistently switch the magnetization. However, it is as of yet unknown whether the same holds in layered ferrimagnetic systems, which hold much promise for applications. In this work we investigate the minimum time delay required between two subsequent switching events in synthetic ferrimagnetic Co/Gd bilayers using two fs laser pulses. We experimentally demonstrate that the minimum time delay needed for consistent switching can be as low as 10 ps. Moreover, we demonstrate the importance of engineering heat diffusion away from the magnetic material, as well as control over the laser pulse power. This behavior is reproduced using modelling, where we find that the second switch can occur even when the magnetization is not fully recovered. We further confirm that heat diffusion is a critical factor in reducing the time delay for the second switch, while also confirming a critical dependence on laser power.


title: Optimizing the Consumption of Spiking Neural Networks with Activity Regularization

abstract: Reducing energy consumption is a critical point for neural network models running on edge devices. In this regard, reducing the number of multiply-accumulate (MAC) operations of Deep Neural Networks (DNNs) running on edge hardware accelerators will reduce the energy consumption during inference. Spiking Neural Networks (SNNs) are an example of bio-inspired techniques that can further save energy by using binary activations, and avoid consuming energy when not spiking. The networks can be configured for equivalent accuracy on a task through DNN-to-SNN conversion frameworks but their conversion is based on rate coding therefore the synaptic operations can be high. In this work, we look into different techniques to enforce sparsity on the neural network activation maps and compare the effect of different training regularizers on the efficiency of the optimized DNNs and SNNs.


title: On a weak topology for Hadamard spaces and its applications

abstract: We investigate if an existing notion of weak sequential convergence in a Hadamard space can be induced by a topology. We provide an answer on what we call weakly proper Hadamard spaces. A notion of dual space is proposed and it is shown that our weak topology and dual space coincide with the standard ones in the case of a Hilbert space. Moreover we introduce the space of geodesic segments and a corresponding weak topology, and we show that this space is homeomorphic to its underlying Hadamard space. As an application of it we show the existence of a geodesic segment that acts as direction of steepest descent for a geodesically differentiable function whose geodesic derivative satisfies certain properties. Finally we extend several results from classical functional analysis to the setting of Hadamard spaces, and we compare our topology with other existing notions of weak topologies.


title: Demonstration of room-temperature continuous-wave operation of InGaAs/AlGaAs quantum well lasers directly grown on on-axis silicon (001)

abstract: Room-temperature continuous-wave operation of InGaAs/AlGaAs quantum well lasers directly grown on on-axis silicon (001) has been demonstrated. A 420 nm thick GaAs epilayer completely free of antiphase domains was initially grown on the silicon substrate in a metal-organic chemical vapor deposition system and the other epilayers including four sets of five-period strained-layer superlattices and the laser-structural layers were successively grown in a molecular beam epitaxy system. The lasers were prepared as broad-stripe Fabry-Perot ones with a stripe width of 21.5 um and a cavity length of 1 mm. Typically, the threshold current and the corresponding threshold current density are 186.4 mA and 867 A/cm2, respectively. The lasing wavelength is around 980 nm and the slope efficiency is 0.097 W/A with a single-facet output power of 22.5 mW at an injection current of 400 mA. This advancement makes the silicon-based monolithic optoelectronic integration relevant to quantum well lasers more promising with an enhanced feasibility.


title: Global weak solutions to the compressible Cucker-Smale-Navier-Stokes system in a bounded domain

abstract: A coupled kinetic-fluid model is investigated, which describes the dynamic behavior of an ensemble of Cucker-Smale flocking particles interacting with a viscous fluid in a three-dimensional bounded domain. This system consists of a kinetic Cucker-Smale equation and a compressible Navier-Stokes system with nonhomogeneous boundary conditions. The global existence of weak solutions to this system with adiabatic coefficient $\gamma> {3}/{2}$ is established.


title: Value Gradient weighted Model-Based Reinforcement Learning

abstract: Model-based reinforcement learning (MBRL) is a sample efficient technique to obtain control policies, yet unavoidable modeling errors often lead performance deterioration. The model in MBRL is often solely fitted to reconstruct dynamics, state observations in particular, while the impact of model error on the policy is not captured by the training objective. This leads to a mismatch between the intended goal of MBRL, enabling good policy and value learning, and the target of the loss function employed in practice, future state prediction. Naive intuition would suggest that value-aware model learning would fix this problem and, indeed, several solutions to this objective mismatch problem have been proposed based on theoretical analysis. However, they tend to be inferior in practice to commonly used maximum likelihood (MLE) based approaches. In this paper we propose the Value-gradient weighted Model Learning (VaGraM), a novel method for value-aware model learning which improves the performance of MBRL in challenging settings, such as small model capacity and the presence of distracting state dimensions. We analyze both MLE and value-aware approaches and demonstrate how they fail to account for exploration and the behavior of function approximation when learning value-aware models and highlight the additional goals that must be met to stabilize optimization in the deep learning setting. We verify our analysis by showing that our loss function is able to achieve high returns on the Mujoco benchmark suite while being more robust than maximum likelihood based approaches.


title: On the deuteron relativistic charge distributions

abstract: We study the relativistic 2D charge distributions in the case of a spin-$1$ target. These charge distributions are based on a phase-space approach allowing one to study their frame dependence, and hence to relate the familiar rest-frame picture with the light-front picture developed in the last two decades. Like in the spin-$1/2$ case, we show that relativistic kinematical effects associated with spin are responsible for the distortions of the charge distributions seen in a moving frame. Applying our results to the deuteron, we observe a mild frame dependence compared to the nucleon case.


title: A single Long Short-Term Memory network for enhancing the prediction of path-dependent plasticity with material heterogeneity and anisotropy

abstract: This study presents the applicability of conventional deep recurrent neural networks (RNN) to predict path-dependent plasticity associated with material heterogeneity and anisotropy. Although the architecture of RNN possesses inductive biases toward information over time, it is still challenging to learn the path-dependent material behavior as a function of the loading path considering the change from elastic to elastoplastic regimes. Our attempt is to develop a simple machine-learning-based model that can replicate elastoplastic behaviors considering material heterogeneity and anisotropy. The basic Long-Short Term Memory Unit (LSTM) is adopted for the modeling of plasticity in the two-dimensional space by enhancing the inductive bias toward the past information through manipulating input variables. Our results find that a single LSTM based model can capture the J2 plasticity responses under both monotonic and arbitrary loading paths provided the material heterogeneity. The proposed neural network architecture is then used to model elastoplastic responses of a two-dimensional transversely anisotropic material associated with computational homogenization (FE2). It is also found that a single LSTM model can be used to accurately and effectively capture the path-dependent responses of heterogeneous and anisotropic microstructures under arbitrary mechanical loading conditions.


title: On scientific understanding with artificial intelligence

abstract: Imagine an oracle that correctly predicts the outcome of every particle physics experiment, the products of every chemical reaction, or the function of every protein. Such an oracle would revolutionize science and technology as we know them. However, as scientists, we would not be satisfied with the oracle itself. We want more. We want to comprehend how the oracle conceived these predictions. This feat, denoted as scientific understanding, has frequently been recognized as the essential aim of science. Now, the ever-growing power of computers and artificial intelligence poses one ultimate question: How can advanced artificial systems contribute to scientific understanding or achieve it autonomously? We are convinced that this is not a mere technical question but lies at the core of science. Therefore, here we set out to answer where we are and where we can go from here. We first seek advice from the philosophy of science to understand scientific understanding. Then we review the current state of the art, both from literature and by collecting dozens of anecdotes from scientists about how they acquired new conceptual understanding with the help of computers. Those combined insights help us to define three dimensions of android-assisted scientific understanding: The android as a I) computational microscope, II) resource of inspiration and the ultimate, not yet existent III) agent of understanding. For each dimension, we explain new avenues to push beyond the status quo and unleash the full power of artificial intelligence's contribution to the central aim of science. We hope our perspective inspires and focuses research towards androids that get new scientific understanding and ultimately bring us closer to true artificial scientists.


title: Cria\c{c}\~ao e aplica\c{c}\~ao de ferramenta para auxiliar no ensino de algoritmos e programa\c{c}\~ao de computadores

abstract: Knowledge about programming is part of the knowledge matrix that will be required of the professionals of the future. Based on this, this work aims to report the development of a teaching tool developed during the monitoring program of the Algorithm and Computer Programming discipline of the University of Fortaleza. The tool combines the knowledge acquired in the books, with a language closer to the students, using video lessons and exercises proposed, with all the content available on the internet. The preliminary results were positive, with the students approving this new approach and believing that it could contribute to a better performance in the discipline.


title: Estimating the Entropy of Linguistic Distributions

abstract: Shannon entropy is often a quantity of interest to linguists studying the communicative capacity of human language. However, entropy must typically be estimated from observed data because researchers do not have access to the underlying probability distribution that gives rise to these data. While entropy estimation is a well-studied problem in other fields, there is not yet a comprehensive exploration of the efficacy of entropy estimators for use with linguistic data. In this work, we fill this void, studying the empirical effectiveness of different entropy estimators for linguistic distributions. In a replication of two recent information-theoretic linguistic studies, we find evidence that the reported effect size is over-estimated due to over-reliance on poor entropy estimators. Finally, we end our paper with concrete recommendations for entropy estimation depending on distribution type and data availability.


title: Event Log Sampling for Predictive Monitoring

abstract: Predictive process monitoring is a subfield of process mining that aims to estimate case or event features for running process instances. Such predictions are of significant interest to the process stakeholders. However, state-of-the-art methods for predictive monitoring require the training of complex machine learning models, which is often inefficient. This paper proposes an instance selection procedure that allows sampling training process instances for prediction models. We show that our sampling method allows for a significant increase of training speed for next activity prediction methods while maintaining reliable levels of prediction accuracy.


title: Effects of Dynamical Decoupling and Pulse-level Optimizations on IBM Quantum Computers

abstract: Currently available quantum computers are prone to errors. Circuit optimization and error mitigation methods are needed to design quantum circuits to achieve better fidelity when executed on NISQ hardware. Dynamical decoupling (DD) is generally used to suppress the decoherence error and different DD strategies have been proposed. Moreover, the circuit fidelity can be improved by pulse-level optimization, such as creating hardware-native pulse-efficient gates. This paper implements all the popular DD sequences and evaluates their performances on IBM quantum chips with different characteristics for various well-known quantum applications. Also, we investigate combining DD with pulse-level optimization method and apply them to QAOA to solve Max-Cut problem. Based on the experimental results, we found that DD can be a benefit for only certain types of quantum algorithms, while the combination of DD and pulse-level optimization methods always has a positive impact. Finally, we provide several guidelines for users to learn how to use these noise mitigation methods to build circuits for quantum applications with high fidelity on IBM quantum computers.


title: Distributed online estimation of biophysical neural networks

abstract: In this work, we propose a distributed adaptive observer for a class of nonlinear networked systems inspired by biophysical neural network models. Neural systems learn by adjusting intrinsic and synaptic weights in a distributed fashion, with neuronal membrane voltages carrying information from neighbouring neurons in the network. We show that this learning principle can be used to design an adaptive observer based on a decentralized learning rule that greatly reduces the number of observer states required for exponential convergence of parameter estimates. This novel design is relevant for biological, biomedical and neuromorphic applications.


title: Mock theta functions and characters of N=3 superconformal modules II

abstract: We obtain an explicit formula for the mock theta function $\Phi^{[m,s]}$ in the case when either $m$ or $s$ is a half of an odd integer by using the coroot lattice of $D(2,1;a)$. This enables us, together with the recurrence formula for $\Phi^{[m,s]}$, to know $\Phi^{[m,s]}$ for all $m$ and $s$. As its application, we deduce explicit formulas for the character and the supercharacter of N=3 modules obtained from the quantum Hamiltonian reduction of $\hat{osp}(3|2)$-modules.


title: Unit Vectors for Similar Oblate Spheroidal Coordinates and Vector Transformation

abstract: The unit vectors transformation between the Cartesian and the novel Similar Oblate Spheroidal coordinates, and vice versa, is derived. It can help to transform vector fields between these two types of orthogonal coordinates which can advantageously simplify solutions of problems exhibiting oblate spheroidal geometry. Several examples demonstrate the use of the derived relations. Generalized sine and cosine applicable in Similar Oblate Spheroidal coordinate system are introduced.


title: Unsupervised Learning of Accurate Siamese Tracking

abstract: Unsupervised learning has been popular in various computer vision tasks, including visual object tracking. However, prior unsupervised tracking approaches rely heavily on spatial supervision from template-search pairs and are still unable to track objects with strong variation over a long time span. As unlimited self-supervision signals can be obtained by tracking a video along a cycle in time, we investigate evolving a Siamese tracker by tracking videos forward-backward. We present a novel unsupervised tracking framework, in which we can learn temporal correspondence both on the classification branch and regression branch. Specifically, to propagate reliable template feature in the forward propagation process so that the tracker can be trained in the cycle, we first propose a consistency propagation transformation. We then identify an ill-posed penalty problem in conventional cycle training in backward propagation process. Thus, a differentiable region mask is proposed to select features as well as to implicitly penalize tracking errors on intermediate frames. Moreover, since noisy labels may degrade training, we propose a mask-guided loss reweighting strategy to assign dynamic weights based on the quality of pseudo labels. In extensive experiments, our tracker outperforms preceding unsupervised methods by a substantial margin, performing on par with supervised methods on large-scale datasets such as TrackingNet and LaSOT. Code is available at https://github.com/FlorinShum/ULAST.


title: $\mathbb{C}P^2$ Skyrmion Crystals in an SU(3) Magnet with a Generalized Dzyaloshinskii-Moriya Interaction

abstract: We study $\mathbb{C}P^2$ Skyrmion crystals in the ferromagnetic SU(3) Heisenberg model with a generalization of the Dzyaloshinskii-Moriya interaction and the Zeeman term. The model possesses two different types of Skyrmion crystals with unit-Skyrmions that can be interpreted as bound states of two half-Skyrmions or four quarter-Skyrmions. Our study on $\mathbb{C}P^2$ Skyrmion crystals opens up the possibility for useful future applications since $\mathbb{C}P^2$ Skyrmions have more degrees of freedom than the usual $\mathbb{C}P^1$ (magnetic) Skyrmions.


title: Time delay statistics for finite number of channels in all symmetry classes

abstract: Within a random matrix theory approach, we obtain spectral statistics of the Wigner time delay matrix $Q$, for arbitrary channels number $M$ and for all symmetry classes, in fact for general Dyson parameter $\beta$. We also put forth two conjectures: one is related to the large-$M$ expansion of joint cumulants of traces of powers of $Q$, which generalizes and implies a previous conjecture of Cunden, Mezzadri, Vivo and Simm; the other concerns the tail of the distribution of traces of powers of $Q$.


title: WEcharge: democratizing EV charging infrastructure

abstract: The sustainable growth of EVs will have to be met with proportional growth in EV charging infrastructure. With limited urban spaces to place new charging stations, shrinking profitability, privately owned charging facilities need to be shared. WEcharge will allow privately owned charging infrastructure to be shared with public EV owners using a business model. We propose a resource matching algorithm that takes into account incoming EV preferences, hard constraints for such EV, and provides the best suited resource for charging. We demonstrate the applicability of the matching model by showing a realistic case study with a Nissan Leaf 40 kW EV and 25 company and publicly owned charging stations (DC fast charger, AC rapid charger, level 1 and level 2 charger) in Hasselt, Belgium. The case study shows that consumer preferences will govern resource matching.


title: The Hadamard product, its residual, and its dual residual in the dioid of counters: algorithms and implementation in C++

abstract: This report presents the algorithms for computing the Hadamard product, its residual, and its dual residual between formal power series in the dioid of counters. The algorithms have been implemented in the C++ toolbox ETVO ((Event|Time)-Variant Operators). After proving the correctness of the algorithms, we present a user guide for the C++ implementation.


title: Life, the Metaverse and Everything: An Overview of Privacy, Ethics, and Governance in Metaverse

abstract: The metaverse is expected to be the next major evolution phase of the internet. The metaverse will have an impact on human society, production, and life. In this work, we analyze the current trends and challenges that building such a virtual environment will face. We focus on three major pillars to guide the development of the metaverse: privacy, governance, and ethical design, to guide the development of the metaverse. Finally, we propose a preliminary modular-based framework for an ethical design of the metaverse.


title: Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded Case

abstract: Mixed trigonometric-polynomials frequently occur in applications in physics, numerical analysis and engineering, the algorithm has been already proposed to determine its sign on (0,{pi}/2]. This paper proposes a procedure to extend the interval to (0, +{\inf}). Such generalization is by no means trivial, for the process depends on boundedness of roots and square-free factorization of mixed trigonometric-polynomials.


title: Feasibility of nowcasting SDG indicators: a comprehensive survey

abstract: The 2030 Agenda and accompanying Sustainable Development Goals (SDGs) are vital in guiding national and global policy. However, many of the SDG indicators used to measure progress toward those goals suffer from long publication lags. Nowcasting has the potential to address this problem and generate more timely estimates of those indicators. This paper provides resources for achieving that potential by 1) carrying out a comprehensive nowcasting feasibility survey of all SDG indicators to assess their potential to be nowcast, and 2) performing a case study of indicator 9.4.1 to illustrate and shed light on the process of performing a nowcasting exercise. There exist 231 SDG indicators, but due to only examining Tier 1 indicators and the fact that many indicators have multiple sub-indicators, 362 indicators and sub-indicators were eventually surveyed. Of those 362, 150 were found highly likely to be suitable candidates for nowcasting, 87 were found to be likely, and 125 were found to be unsuitable.


title: Assessing dengue fever risk in Costa Rica by using climate variables and machine learning techniques

abstract: Dengue fever is a vector-borne disease mostly endemic to tropical and subtropical countries that affect millions every year and is considered a significant burden for public health. Its geographic distribution makes it highly sensitive to climate conditions. Here, we explore the effect of climate variables using the Generalized Additive Model for location, scale, and shape (GAMLSS) and Random Forest (RF) machine learning algorithms. Using the reported number of dengue cases, we obtained reliable predictions. The uncertainty of the predictions was also measured. These predictions will serve as input to health officials to further improve and optimize the allocation of resources prior to dengue outbreaks.


title: Average Error of the Prime Number Theorem

abstract: In this paper, we will give some estimation for the average error of the prime number theorem.


title: Satellite Monitoring of Terrestrial Plastic Waste

abstract: Plastic waste is a significant environmental pollutant that is difficult to monitor. We created a system of neural networks to analyze spectral, spatial, and temporal components of Sentinel-2 satellite data to identify terrestrial aggregations of waste. The system works at continental scale. We evaluated performance in Indonesia and detected 374 waste aggregations, more than double the number of sites found in public databases. The same system deployed across twelve countries in Southeast Asia identifies 996 subsequently confirmed waste sites. For each detected site, we algorithmically monitor waste site footprints through time and cross-reference other datasets to generate physical and social metadata. 19% of detected waste sites are located within 200 m of a waterway. Numerous sites sit directly on riverbanks, with high risk of ocean leakage.


title: Bayesian approach for limited-aperture inverse acoustic scattering with total variation prior

abstract: In this work, we apply the Bayesian approach for the acoustic scattering problem to reconstruct the shape of a sound-soft obstacle using the limited-aperture far-field measure data. A novel total variation prior is assigned to the shape parameterization form. This prior is imposed on the Fourier coefficients of the parameterized form of the obstacle. Extensive numerical tests are provided to illustrate the numerical performance.


title: Identifying Security Risks in NFT Platforms

abstract: This paper examines the effects of inherent risks in the emerging technology of non-fungible tokens and proposes an actionable set of solutions for stakeholders in this ecosystem and observers. Web3 and NFTs are a fast-growing 300 billion dollar economy with some clear, highly publicized harms that came to light recently. We set out to explore the risks to understand their nature and scope, and if we could find ways to mitigate them. In due course of investigation, we recap the background of the evolution of the web from a client-server model to the rise of Web2.0 tech giants in the early 2000s. We contrast how the Web3 movement is trying to re-establish the independent style of the early web. In our research we discover a primary set of risks and harms relevant to the ecosystem, and classify them into a simple taxonomy while addressing their mitigations with solutions. We arrive at a set of solutions that are a combination of processes to be adopted, and technological changes or improvements to be incorporated into the ecosystem, to implement risk mitigations. By linking mitigations to individual risks, we are confident our recommendations will improve the security maturity of the growing Web3 ecosystem. We are not endorsing, or recommending specifically any particular product or service in our solution set. Nor are we compensated or influenced in any way by these companies to list these products in our research. The evaluations of products in our research have to simply be viewed as suggested improvements.


title: Training the next generation of computational scientists through a new undergraduate course

abstract: We introduce a newly designed undergraduate-level interdisciplinary course in scientific computing that aims to prepare students as the next generation of research-oriented computational scientists and engineers. The course offers students opportunities to explore a diverse set of projects and develop the necessary programming skills to implement ideas and algorithms within high performance computing environments. The training includes how to think about, formulate, organize, and implement programs in scientific computing. The emphasis of the course is on problem solving within a wide range of applications in science and engineering.


title: Towards a New Science of Disinformation

abstract: How can we best address the dangerous impact that deep learning-generated fake audios, photographs, and videos (a.k.a. deepfakes) may have in personal and societal life? We foresee that the availability of cheap deepfake technology will create a second wave of disinformation where people will receive specific, personalized disinformation through different channels, making the current approaches to fight disinformation obsolete. We argue that fake media has to be seen as an upcoming cybersecurity problem, and we have to shift from combating its spread to a prevention and cure framework where users have available ways to verify, challenge, and argue against the veracity of each piece of media they are exposed to. To create the technologies behind this framework, we propose that a new Science of Disinformation is needed, one which creates a theoretical framework both for the processes of communication and consumption of false content. Key scientific and technological challenges facing this research agenda are listed and discussed in the light of state-of-art technologies for fake media generation and detection, argument finding and construction, and how to effectively engage users in the prevention and cure processes.


title: Symmetry effects on the static and dynamic properties of coupled magnetic oscillators

abstract: The effect of symmetry on the resonance spectra of antiferromagnetically coupled oscillators has attracted new interest with the discovery of symmetry-breaking induced anti-crossings. Here, we experimentally characterise the resonance spectrum of a synthetic antiferromagnet Pt/CoFeB/Ru/CoFeB/Pt, where we are able to independently tune the effective magnetisation of the two coupled magnets. To model our results we apply the mathematical methods of group theory to the solutions of the Landau Lifshitz Gilbert equation. This general approach, usually applied to quantum mechanical systems, allows us to identify the main features of the resonance spectrum in terms of symmetry breaking and to make a direct comparison with crystal antiferromagnets.


title: Fore-aft clearance controls how three-dimensional confinement affects micropropulsion

abstract: Systems of active particles are often affected by confinement due to nearby boundaries. Recently, there has been interest in the effect of confinement by complex three dimensional geometries, as might occur in structured environments such as porous media, foams, gels, or biological tissues and ducts. The effects of confinement for particles moving along boundaries has been extensively studied, but in three dimensions active particles move not only parallel to boundaries, but also towards or away from boundaries. The consequences of this fore-aft clearance is less well understood. Swimmers that actively remodel their environment create an ideal situation to study the effect of clearance, since they maintain a steady clearance while translating. By numerically studying the locomotion of the bacterium Helicobacter pylori, which de-gels surrounding gastric mucus to make a co-moving pocket of fluid around itself, we show that the effect of three-dimensional confinement is controlled by clearance, rather than distance from a parallel boundary. Analytical calculations show that the effect of clearance can be understood in terms of flow structures, such as the generic pusher and puller flows of active particles, indicating that our results should apply to a wide range of confined active particles.


title: Rheotaxis of chiral bacteria: from single-cell behavior to a population-level description

abstract: Due to their morphology, the dynamics of bacteria suspended in media can exhibit complex behaviors. In the presence of a shear, swimming bacteria experience a drift perpendicular to the shear plane. This drift, termed rheotaxis, is studied here semi-analytically, numerically and experimentally. We find the dependency of bacterial orientation and bacterial speed on the shear rate, in the presence of rotational diffusion. This enables us to show that the drift speed of bacteria perpendicular to the shear is predominantly due to bacterial propulsion, and not rheotactic forces. Comparing the drift speed of bacteria and diffusion leads to the definition of a P\'{e}clet number. The rheotactic effect increases with the shear, reaching a plateau at very large P\'{e}clet numbers, in good agreement with experiments of rheotaxis performed in microfluidic droplets.


title: Totally disconnected subsets of chainable continua

abstract: We show that the endpoint set of a Suslinian chainable continuum must be zero-dimensional at some point. In particular, it cannot be homeomorphic to complete Erd\H{o}s space. This answers a question of Jerzy Krzempek.


title: An Inverse Optimal Control Approach for Trajectory Prediction of Autonomous Race Cars

abstract: This paper proposes an optimization-based approach to predict trajectories of autonomous race cars. We assume that the observed trajectory is the result of an optimization problem that trades off path progress against acceleration and jerk smoothness, and which is restricted by constraints. The algorithm predicts a trajectory by solving a parameterized nonlinear program (NLP) which contains path progress and smoothness in cost terms. By observing the actual motion of a vehicle, the parameters of prediction are updated by means of solving an inverse optimal control problem that contains the parameters of the predicting NLP as optimization variables. The algorithm therefore learns to predict the observed vehicle trajectory in a least-squares relation to measurement data and to the presumed structure of the predicting NLP. This work contributes with an algorithm that allows for accurate and interpretable predictions with sparse data. The algorithm is implemented on embedded hardware in an autonomous real-world race car that is competing in the challenge Roborace and analyzed with respect to recorded data.


title: Logical coherence in Bayesian simultaneous three-way hypothesis tests

abstract: This paper studies whether Bayesian simultaneous three-way hypothesis tests can be logically coherent. Two types of results are obtained. First, under the standard error-wise constant loss, only for a limited set of models can a Bayes simultaneous test be logically coherent. Second, if more general loss functions are used, then it is possible to obtain Bayes simultaneous tests that are always logically coherent. An explicit example of such a loss function is provided.


title: Higher finiteness properties of arithmetic approximate lattices: The Rank Theorem for number fields

abstract: We introduce geometric and homological finiteness properties for countable approximate groups via coarse geometry and then study these finiteness properties for S-arithmetic reductive approximate groups. For S-arithmetic approximate groups without infinite places we show that the finiteness length is finite and compute this finiteness length explicitly. In the simple case it is one less than the sum of the local ranks. This extends the Rank Theorem of Bux, K\"ohl and the second author from positive characteristic to characteristic zero. Our proof is based on a geometric version of their proof, but except for some input from reduction theory it is characteristic free. This indicates that the apparent differences between arithmetic groups in characteristic zero and positive characteristic concerning finiteness properties are entirely due to the presence of infinite places.


title: The Dumont Ansatz for the Eulerian Polynomials, Peak Polynomials and Derivative Polynomials

abstract: We observe that three context-free grammars of Dumont can be brought to a common ground, via the idea of transformations of grammars, proposed by Ma-Ma-Yeh. Then we develop a unified perspective to investigate several combinatorial objects in connection with the bivariate Eulerian polynomials. We call this approach the Dumont ansatz. As applications, we provide grammatical treatments, in the spirit of the symbolic method, of relations on the Springer numbers, the Euler numbers, the three kinds of peak polynomials, an identity of Petersen, and the two kinds of derivative polynomials, introduced by Knuth-Buckholtz and Carlitz-Scoville, and later by Hoffman in a broader context. We obtain a convolution formula on the left peak polynomials, leading to the Gessel formula. In this framework, we are led to the combinatorial interpretations of the derivative polynomials due to Josuat-Verg\`es.


title: Primary and secondary invariants of Dirac operators on $G$-proper manifolds

abstract: In this article, we survey the recent constructions of cyclic cocycles on the Harish-Chandra Schwartz algebra of a connected real reductive Lie group $G$ and their applications to higher index theory for proper cocompact $G$-actions.


title: FedRecAttack: Model Poisoning Attack to Federated Recommendation

abstract: Federated Recommendation (FR) has received considerable popularity and attention in the past few years. In FR, for each user, its feature vector and interaction data are kept locally on its own client thus are private to others. Without the access to above information, most existing poisoning attacks against recommender systems or federated learning lose validity. Benifiting from this characteristic, FR is commonly considered fairly secured. However, we argue that there is still possible and necessary security improvement could be made in FR. To prove our opinion, in this paper we present FedRecAttack, a model poisoning attack to FR aiming to raise the exposure ratio of target items. In most recommendation scenarios, apart from private user-item interactions (e.g., clicks, watches and purchases), some interactions are public (e.g., likes, follows and comments). Motivated by this point, in FedRecAttack we make use of the public interactions to approximate users' feature vectors, thereby attacker can generate poisoned gradients accordingly and control malicious users to upload the poisoned gradients in a well-designed way. To evaluate the effectiveness and side effects of FedRecAttack, we conduct extensive experiments on three real-world datasets of different sizes from two completely different scenarios. Experimental results demonstrate that our proposed FedRecAttack achieves the state-of-the-art effectiveness while its side effects are negligible. Moreover, even with small proportion (3%) of malicious users and small proportion (1%) of public interactions, FedRecAttack remains highly effective, which reveals that FR is more vulnerable to attack than people commonly considered.


title: Which Tricks Are Important for Learning to Rank?

abstract: Nowadays, state-of-the-art learning-to-rank methods are based on gradient-boosted decision trees (GBDT). The most well-known algorithm is LambdaMART which was proposed more than a decade ago. Recently, several other GBDT-based ranking algorithms were proposed. In this paper, we thoroughly analyze these methods in a unified setup. In particular, we address the following questions. Is direct optimization of a smoothed ranking loss preferable over optimizing a convex surrogate? How to properly construct and smooth surrogate ranking losses? To address these questions, we compare LambdaMART with YetiRank and StochasticRank methods and their modifications. We also propose a simple improvement of the YetiRank approach that allows for optimizing specific ranking loss functions. As a result, we gain insights into learning-to-rank techniques and obtain a new state-of-the-art algorithm.


title: X-Fault: Impact of Faults on Binary Neural Networks in Memristor-Crossbar Arrays with Logic-in-Memory Computation

abstract: Memristor-based crossbar arrays represent a promising emerging memory technology to replace conventional memories by offering a high density and enabling computing-in-memory (CIM) paradigms. While analog computing provides the best performance, non-idealities and ADC/DAC conversion limit memristor-based CIM. Logic-in-Memory (LIM) presents another flavor of CIM, in which the memristors are used in a binary manner to implement logic gates. Since binary neural networks (BNNs) use binary logic gates as the dominant operation, they can benefit from the massively parallel execution of binary operations and better resilience to variations of the memristors. Although conventional neural networks have been thoroughly investigated, the impact of faults on memristor-based BNNs remains unclear. Therefore, we analyze the impact of faults on logic gates in memristor-based crossbar arrays for BNNs. We propose a simulation framework that simulates different traditional faults to examine the accuracy loss of BNNs on memristive crossbar arrays. In addition, we compare different logic families based on the robustness and feasibility to accelerate AI applications.


title: Estimates for the Kolmogorov widths of weighted Sobolev classes with conditions on the $0$th and the greatest derivatives

abstract: In this article, we obtain the order estimates for the Kolmogorov widths of sets with conditions on the norm in the weighted Sobolev space $W^r_{p_1}$ and in the weighted space $L_{p_0}$.


title: A Method for Random Packing of Spheres with Application to Bonding Modeling in Powder Bed 3D Printing Process

abstract: A Matlab-based computational procedure is proposed to fill a given volume with spheres whose radii are randomly picked from any specified probability distribution supported by \verb|Matlab|. The general program sequence and examples of filling a unit cube, a parallelepiped, and a concave domain between two hemispherical surfaces, with spheres whose radii are drawn from the Weibull and Gamma distributions, are presented. A sample application to the numerical modeling of bond formation between particles heated by a laser beam in powder bed 3D printing process is considered.


title: Microtubule organization and cell geometry

abstract: We present a systematic study of the influence of cell geometry on the orientational distribution of microtubules (MTs) nucleated from a single microtubule organizing center (MTOC). For simplicity we consider an elliptical cell geometry, a setting appropriate to a generic non-spherical animal cell. Within this context we introduce four models of increasing complexity, in each case introducing additional mechanisms that govern the interaction of the MTs with the cell boundary. In order, we consider the cases: MTs that can bind to the boundary with a fixed mean residence time (M0), force-producing MTs that can slide on the boundary towards the cell poles (MS), MTs that interact with a generic polarity factor that is transported and deposited at the boundary, and which in turn stabilizes the MTs at the boundary (MP), and a final model in which both sliding and stabilization by polarity factors is taken into account (MSP). In the baseline model (M0), the exponential length distribution of MTs causes most of the interactions at the cell boundary to occur along the shorter transverse direction in the cell, leading to transverse biaxial order. MT sliding (MS) is able to reorient the main axis of this biaxial order along the longitudinal axis. The polarization mechanism introduced in MP and MSP overrules the geometric bias towards bipolar order observed in M0 and MS, and allows the establishment of unipolar order either along the short- (MP) or the long cell axis (MSP). The behavior of the latter two models can be qualitatively reproduced by a very simple toy model with discrete MT orientations.


title: Adaptive Network Combination for Single-Image Reflection Removal: A Domain Generalization Perspective

abstract: Recently, multiple synthetic and real-world datasets have been built to facilitate the training of deep single image reflection removal (SIRR) models. Meanwhile, diverse testing sets are also provided with different types of reflection and scenes. However, the non-negligible domain gaps between training and testing sets make it difficult to learn deep models generalizing well to testing images. The diversity of reflections and scenes further makes it a mission impossible to learn a single model being effective to all testing sets and real-world reflections. In this paper, we tackle these issues by learning SIRR models from a domain generalization perspective. Particularly, for each source set, a specific SIRR model is trained to serve as a domain expert of relevant reflection types. For a given reflection-contaminated image, we present a reflection type-aware weighting (RTAW) module to predict expert-wise weights. RTAW can then be incorporated with adaptive network combination (AdaNEC) for handling different reflection types and scenes, i.e., generalizing to unknown domains. Two representative AdaNEC methods, i.e., output fusion (OF) and network interpolation (NI), are provided by considering both adaptation levels and efficiency. For images from one source set, we train RTAW to only predict expert-wise weights of other domain experts for improving generalization ability, while the weights of all experts are predicted and employed during testing. An in-domain expert (IDE) loss is presented for training RTAW. Extensive experiments show the appealing performance gain of our AdaNEC on different state-of-the-art SIRR networks. Source code and pre-trained models will available at https://github.com/csmliu/AdaNEC.


title: Site-dependent Local Spin Susceptibility and Low-energy Excitation in a Weyl Semimetal WTe$_2$

abstract: Site-dependent local spin susceptibility is investigated with $^{125}$Te nuclear magnetic resonance in a Weyl semimetal WTe$_2$. The nuclear spin-lattice relaxation rate $1/T_1T$ shows a dependence of the square of temperature $T$ at high temperatures, followed by a constant behavior below 50 K. The temperature dependence features Weyl fermions appearing around the linearly crossing bands. The Knight shift $K$ scales to the square root of $1/T_1T$, corroborating a predominant spin contribution in low-lying excitation. The observed dependence of $K$ and $1/T_1T$ on the four Te sites shows the site-dependent electron correlation and density of states. The angular profile of the NMR spectrum gives the anisotropic hyperfine coupling tensor, consistent with $5p$ hole occupations on Te sites.


title: Space-charge-limited current density for nonplanar diodes with monoenergetic emission using Lie-point symmetries

abstract: Understanding space-charge limited current density (SCLCD) is fundamentally and practically important for characterizing many high-power and high-current vacuum devices. Despite this, no analytic equations for SCLCD with nonzero monoenergetic initial velocity have been derived for nonplanar diodes from first principles. Obtaining analytic equations for SCLCD for nonplanar geometries is often complicated by the nonlinearity of the problem and over constrained boundary conditions. In this letter, we use the canonical coordinates obtained by identifying Lie-point symmetries to linearize the governing differential equations to derive SCLCD for any orthogonal diode. Using this method, we derive exact analytic equations for SCLCD with a monoenergetic injection velocity for one-dimensional cylindrical, spherical, tip-to-tip (t-t), and tip-to-plate (t-p) diodes. We specifically demonstrate that the correction factor from zero initial velocity to monoenergetic emission depends only on the initial kinetic and electric potential energies and not on the diode geometry and that SCLCD is universal when plotted as a function of the canonical gap size. We also show that SCLCD for a t-p diode is a factor of four larger than a t-t diode independent of injection velocity. The results reduce to previously derived results for zero initial velocity using variational calculus and conformal mapping.


title: N\"other Currents, Black Hole Entropy Universality and CFT Duality in Conformal Weyl Gravity

abstract: In this paper we study black hole entropy universality within the Conformal Weyl gravity paradigm. We do this by first computing the entropy of specific vacuum and non-vacuum solutions, previously unexplored in Conformal Weyl gravity via both the N\"other current method and Wald's entropy formula. For the vacuum case, we explore the near horizon near extremal Kerr metric, which is also a vacuum solution to Conformal Weyl gravity and not previously studied in this setting. For the non-vacuum case we couple the conformal Weyl gravity field equations to a near horizon (linear) $U(1)$ gauge potential and analyze the respective found solutions. We highlight the non-universality of black hole entropy between our studied black hole solutions of varying symmetries. However despite non-universality, the respective black hole entropies are in congruence with Wald's entropy formula for the specific gravity theory. Finally and despite non-universality, we comment on the construction of a near horizon CFT dual to one of our unique non-vacuum solutions. Due to the non-universality, we must introduce a parameter (similarly to entropy calculations in LQG) which we also call $\gamma$ and relating to the Weyl anomaly coefficient. The construction follows an $AdS_2/CFT_1$ correspondence in the near horizon, which enables the computation of the full asymptotic symmetry group of the chosen non-vacuum conformal Weyl black hole and its near horizon quantum CFT dual. We conclude with a discussion and outlook for future work.


title: The Group Loss++: A deeper look into group loss for deep metric learning

abstract: Deep metric learning has yielded impressive results in tasks such as clustering and image retrieval by leveraging neural networks to obtain highly discriminative feature embeddings, which can be used to group samples into different classes. Much research has been devoted to the design of smart loss functions or data mining strategies for training such networks. Most methods consider only pairs or triplets of samples within a mini-batch to compute the loss function, which is commonly based on the distance between embeddings. We propose Group Loss, a loss function based on a differentiable label-propagation method that enforces embedding similarity across all samples of a group while promoting, at the same time, low-density regions amongst data points belonging to different groups. Guided by the smoothness assumption that "similar objects should belong to the same group", the proposed loss trains the neural network for a classification task, enforcing a consistent labelling amongst samples within a class. We design a set of inference strategies tailored towards our algorithm, named Group Loss++ that further improve the results of our model. We show state-of-the-art results on clustering and image retrieval on four retrieval datasets, and present competitive results on two person re-identification datasets, providing a unified framework for retrieval and re-identification.


title: Joint Initial Access and Localization in Millimeter Wave Vehicular Networks: a Hybrid Model/Data Driven Approach

abstract: High resolution compressive channel estimation provides information for vehicle localization when a hybrid mmWave MIMO system is considered. Complexity and memory requirements can, however, become a bottleneck when high accuracy localization is required. An additional challenge is the need of path order information to apply the appropriate geometric relationships between the channel path parameters and the vehicle, RSU and scatterers position. In this paper, we propose a low complexity channel estimation strategy of the angle of departure and time difference of arrival based on multidimensional orthogonal matching pursuit. We also design a deep neural network that predicts the order of the channel paths so only the LoS and first order reflections are used for localization. Simulation results obtained with realistic vehicular channels generated by ray tracing show that sub-meter accuracy can be achieved for 50% of the users, without resorting to perfect synchronization assumptions or unfeasible all-digital high resolution MIMO architectures.


title: Explicit examples of resonances for Anosov maps of the torus

abstract: In [23], Slipantschuk, Bandtlow and Just gave concrete examples of Anosov diffeomorphisms of the two-torus for which their resonances could be completely described. Their approach was based on composition operators acting on analytic anisotropic Hilbert spaces, and in this note we present a construction of alternative anisotropic Hilbert spaces which helps to simplify parts of their analysis and gives scope for constructing further examples.


title: LPAttack: A Feasible Annotation Scheme for Capturing Logic Pattern of Attacks in Arguments

abstract: In argumentative discourse, persuasion is often achieved by refuting or attacking others arguments. Attacking is not always straightforward and often comprise complex rhetorical moves such that arguers might agree with a logic of an argument while attacking another logic. Moreover, arguer might neither deny nor agree with any logics of an argument, instead ignore them and attack the main stance of the argument by providing new logics and presupposing that the new logics have more value or importance than the logics present in the attacked argument. However, no existing studies in the computational argumentation capture such complex rhetorical moves in attacks or the presuppositions or value judgements in them. In order to address this gap, we introduce LPAttack, a novel annotation scheme that captures the common modes and complex rhetorical moves in attacks along with the implicit presuppositions and value judgements in them. Our annotation study shows moderate inter-annotator agreement, indicating that human annotation for the proposed scheme is feasible. We publicly release our annotated corpus and the annotation guidelines.


title: Context-aware Visual Tracking with Joint Meta-updating

abstract: Visual object tracking acts as a pivotal component in various emerging video applications. Despite the numerous developments in visual tracking, existing deep trackers are still likely to fail when tracking against objects with dramatic variation. These deep trackers usually do not perform online update or update single sub-branch of the tracking model, for which they cannot adapt to the appearance variation of objects. Efficient updating methods are therefore crucial for tracking while previous meta-updater optimizes trackers directly over parameter space, which is prone to over-fit even collapse on longer sequences. To address these issues, we propose a context-aware tracking model to optimize the tracker over the representation space, which jointly meta-update both branches by exploiting information along the whole sequence, such that it can avoid the over-fitting problem. First, we note that the embedded features of the localization branch and the box-estimation branch, focusing on the local and global information of the target, are effective complements to each other. Based on this insight, we devise a context-aggregation module to fuse information in historical frames, followed by a context-aware module to learn affinity vectors for both branches of the tracker. Besides, we develop a dedicated meta-learning scheme, on account of fast and stable updating with limited training samples. The proposed tracking method achieves an EAO score of 0.514 on VOT2018 with the speed of 40FPS, demonstrating its capability of improving the accuracy and robustness of the underlying tracker with little speed drop.


title: Integer quantum Hall effect of two-component hardcore bosons in a topological triangular lattice

abstract: We study the many-body ground states of two-component hardcore bosons in topological triangular lattice models. Utilizing exact diagonalization and density-matrix renormalization group calculations, we demonstrate that at commensurate two-thirds filling per lattice site, two-component bosonic integer quantum hall (BIQH) effect emerges with the associated $\mathbf{K}=\begin{pmatrix} 0 & 1\\ 1 & 0\\ \end{pmatrix}$ matrix under strong intercomponent Hubbard repulsion. The topological nature is further elucidated by (i) a unique ground state degeneracy with a robust spectrum gap, (ii) a quantized topological Chern number matrix $\mathbf{C}=\mathbf{K}^{-1}$, and (iii) two counterpropagating edge branches. Moreover, with increasing nearest-neighbor repulsions, the ground state undergoes a first-order transition from a BIQH liquid to a commensurate solid order.


title: Modeling the GRB jet properties with 3D general relativistic simulations of magnetically arrested accretion flows

abstract: We investigate the dependence of the GRB jet structure and its evolution on the properties of the accreting torus in the central engine. Our models numerically evolve the accretion disk around a Kerr black hole using 3D general relativistic magnetohydrodynamic simulations. We use two different analytical hydrodynamical models of the accretion disk, based on the Fishbone-Moncrief and Chakrabarti solutions, as our initial states for the structure of the collapsar disk and the remnant after a binary neutron star merger, respectively. We impose poloidal magnetic fields of two different geometries upon the initial stable solutions. We study the formation and evolution of the magnetically arrested disk state and its effect on the properties of the emitted jet. The jets produced in our models are structured and have a relatively hollow core and reach higher Lorentz factors at an angle $\gtrsim 9{^\circ}$ from the axis. The jet in our short GRB model has an opening angle of up to $\sim 25^{\circ}$ while our long GRB engine produces a narrower jet, of up to $\sim 11^{\circ}$. We also study the time variability of the jets and provide an estimate of the minimum variability timescale in our models. The application of our models to the GRB jets in the binary neutron star post-merger system and to the ultra-relativistic jets launched from collapsing stars are briefly discussed.


title: SAUSAGE: Security Analysis of Unix domain Socket Usage in Android

abstract: The Android operating system is currently the most popular mobile operating system in the world. Android is based on Linux and therefore inherits its features including its Inter-Process Communication (IPC) mechanisms. These mechanisms are used by processes to communicate with one another and are extensively used in Android. While Android-specific IPC mechanisms have been studied extensively, Unix domain sockets have not been examined comprehensively, despite playing a crucial role in the IPC of highly privileged system daemons. In this paper, we propose SAUSAGE, an efficient novel static analysis framework to study the security properties of these sockets. SAUSAGE considers access control policies implemented in the Android security model, as well as authentication checks implemented by the daemon binaries. It is a fully static analysis framework, specifically designed to analyze Unix domain socket usage in Android system daemons, at scale. We use this framework to analyze 200 Android images across eight popular smartphone vendors spanning Android versions 7-9. As a result, we uncover multiple access control misconfigurations and insecure authentication checks. Our notable findings include a permission bypass in highly privileged Qualcomm system daemons and an unprotected socket that allows an untrusted app to set the scheduling priority of other processes running on the system, despite the implementation of mandatory SELinux policies. Ultimately, the results of our analysis are worrisome; all vendors except the Android Open Source Project (AOSP) have access control issues, allowing an untrusted app to communicate to highly privileged daemons through Unix domain sockets introduced by hardware manufacturer or vendor customization.


title: Exact percolation probabilities for a square lattice: Site percolation on a plane, cylinder, and torus

abstract: We have found analytical expressions (polynomials) of the percolation probability for site percolation on a square lattice of size $L \times L$ sites when considering a plane (the crossing probability in a given direction), a cylinder (spanning probability), and a torus (wrapping probability along one direction). Since some polynomials are extremely cumbersome, they are presented as separate files in Supplemental material. The system sizes for which this was feasible varied up to $L=17$ for a plane, up to $L=16$ for a cylinder, and up to $L=12$ for a torus. To obtain a percolation probability polynomial, all possible combinations of occupied and empty sites have to be taken into account. However, using dynamic programming along with some ideas related to the topology, we offer an algorithm which allows a significant reduction in the number of configurations requiring consideration. A rigorous formal description of the algorithm is presented. Divisibility properties of the polynomials have been rigorously proved. Reliability of the polynomials obtained have been confirmed by the divisibility tests. The wrapping probability polynomials on a torus provide a better estimate of the percolation threshold than that from the spanning probability polynomials. Surprisingly, even a naive finite size scaling analysis allows an estimate to be obtained of the percolation threshold $p_c = 0.59269$.


title: Artificial Intelligence: Framework of driving triggers to past, present and future applications and influencers of industry sector adoption

abstract: To gain a sense of the development of Artificial Intelligence (AI), this research analyzes what has been done in the past, presently in the last decade and what is predicted for the next several decades. The paper will highlight the biggest changes in AI and give examples of how these technologies are applied in several key industry sectors along with influencers that can affect adoption speed. Lastly, the research examines the driving triggers such as cost, speed, accuracy, diversity/inclusion and interdisciplinary research/collaboration that propel AI into an essential transformative technology.


title: On the free rotation of a polarized spinning-top as a test of the correct radiation reaction torque

abstract: The formula for dipole radiation reaction torque acting on a system of charges, and the Larmor-like formula for the angular momentum loss by this system, differ in the time derivative term which is the analogue of the Schott term in the energy loss problem. In the well-known textbooks this discrepancy is commonly avoided via neglect of the Schott term, and the Larmor-like formula is preferred. In the present paper both formulae are used to derive two different equations of motion of a polarized spinning-top. Both equations are integrable for the symmetric top and lead to quite different solutions. That one following from the Larmor-like formula is physically unplausible, in contrast to another one. This result is accorded with the reinterpretation of Larmor's formula discussed recently in the pedagogical literature. It is appeared, besides, that the Schott term is of not only academic significance, but it may determine the behavior of polarized micro- and nanoparticles in nature or future experiments.


title: Sampling Lov\'asz Local Lemma For General Constraint Satisfaction Solutions In Near-Linear Time

abstract: We give a fast algorithm for sampling uniform solutions of general constraint satisfaction problems (CSPs) in a local lemma regime. Suppose that the CSP has $n$ variables with domain size at most q, each constraint contains at most k variables, shares variables with at most $\Delta$ constraints, and is violated with probability at most $p$ by a uniform random assignment. The algorithm returns an almost uniform satisfying assignment in expected $\mathrm{poly}(q,k,\Delta)\cdot\tilde{O}(n)$ time, as long as a local lemma condition is satisfied: \[ k\cdot p\cdot q^2\cdot \Delta^5\le C_0\quad\text{for a suitably small absolute constant }C_0. \] Previously, under similar local lemma conditions, sampling algorithms with running time polynomial in both $n$ and $\Delta$ were only known for the almost atomic case, where each constraint is violated by a small number of forbidden local configurations. The key term $\Delta^5$ in our local lemma condition also improves the previously best known $\Delta^7$ for general CSPs [JPV21b] and $\Delta^{5.714}$ for atomic CSPs, including the special case of $k$-CNF [JPV21a, HSW21]. Our sampling approach departs from previous fast algorithms for sampling LLL, which were based on Markov chains. A crucial step of our algorithm is a recursive marginal sampler that is of independent interests. Within a local lemma regime, this marginal sampler can draw a random value for a variable according to its marginal distribution, at a cost independent of the size of the CSP.


title: Validations and Corrections of the SFD and Planck Reddening Maps Based on LAMOST and Gaia Data

abstract: Precise correction of dust reddening is fundamental to obtain the intrinsic parameters of celestial objects. The Schlegel et al. (SFD) and the Planck 2D extinction maps are widely used for the reddening correction. In this work, using accurate reddening determinations of about two million stars from the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) data release 5 (DR5) and Gaia DR2, we check and calibrate the SFD and Planck maps in the middle and high Galactic latitudes. The maps show similar precision in reddening correction. We find small yet significant spatially dependent biases for the four maps, which are similar between the SFD and Planck2014-R maps, and between the Planck2014-Tau and Planck2019-Tau maps. The biases show a clear dependence on the dust temperature and extinction for the SFD and Planck2014-R maps. While those of the Planck2014-Tau and Planck2019-Tau maps have a weak dependence on the dust temperature, they both strongly depend on the dust spectral index. Finally, we present corrections of the SFD and Planck extinction maps within the LAMOST footprint, along with empirical relations for corrections outside the LAMOST footprint. Our results provide important clues for the further improvement of the Galactic all-sky extinction maps and lay an significant foundation for the accurate extinction correction in the era of precision astronomy.


title: On the Suppression and Enhancement of Thermal Chemical Rates in a Cavity

abstract: The observed modification of thermal chemical rates in Fabry-Perot cavities remains a poorly understood effect theoretically. Recent breakthroughs explain some of the observations through the Grote-Hynes theory, where the cavity introduces friction with the reaction coordinate, thus reducing the transmission coefficient and the rate. The regime of rate enhancement, the observed sharp resonances at varying cavity frequencies, and the survival of these effects in the collective regime remain mostly unexplained. In this paper, we consider the \emph{cis}-\emph{trans} isomerization of HONO atomistically using an \emph{ab-initio} potential energy surface. We evaluate the transmission coefficient using the reactive flux method and identify the conditions for rate acceleration. In the underdamped, low-friction regime of the reaction coordinate, the cavity coupling enhances the rate with increasing coupling strength until reaching the Kramers turnover point. Sharp resonances in this regime are related to cavity-enabled energy redistribution channels.


title: Stable Charged Gravastar Model in ${f}(\mathfrak{R},\textbf{T}^{2})$ Gravity with Conformal Motion

abstract: This paper investigates the influence of charge on physical features of gravastars in the framework of energy-momentum squared gravity. A gravastar is an alternate model to a black hole that comprises of three distinct regions, namely the intermediate shell, inner and outer sectors. Different values of the barotropic equation of state parameter provide the mathematical formulation for these regions. We construct the structure of a gravastar admitting conformal motion for a specific model of energy-momentum squared gravity. The field equations are formulated for a spherically symmetric spacetime with charged perfect matter distribution. For the smooth matching of external and internal spacetimes, we use Israel matching criteria. Various physical attributes of gravastars such as the equation of state parameter, proper length, entropy and energy are investigated (in the presence of charge) versus thickness of the shell. The charge in the inner core of gravastars preserves the state of equilibrium by counterbalancing the inward gravitational force. It is concluded that the non-singular solutions of charged gravastar are physically viable in the background of energy-momentum squared gravity.


title: Bi-directional Loop Closure for Visual SLAM

abstract: A key functional block of visual navigation system for intelligent autonomous vehicles is Loop Closure detection and subsequent relocalisation. State-of-the-Art methods still approach the problem as uni-directional along the direction of the previous motion. As a result, most of the methods fail in the absence of a significantly similar overlap of perspectives. In this study, we propose an approach for bi-directional loop closure. This will, for the first time, provide us with the capability to relocalize to a location even when traveling in the opposite direction, thus significantly reducing long-term odometry drift in the absence of a direct loop. We present a technique to select training data from large datasets in order to make them usable for the bi-directional problem. The data is used to train and validate two different CNN architectures for loop closure detection and subsequent regression of 6-DOF camera pose between the views in an end-to-end manner. The outcome packs a considerable impact and aids significantly to real-world scenarios that do not offer direct loop closure opportunities. We provide a rigorous empirical comparison against other established approaches and evaluate our method on both outdoor and indoor data from the FinnForest dataset and PennCOSYVIO dataset.


title: Low Frequency Oscillations of Plasma Injected in Open Magnetic Trap from Independent Ultra-high Frequency Source

abstract: Methods of plasma heating by electromagnetic waves, interaction of electro-magnetic waves with magnetoactive plasma, plasma turbulence and transport processes are investigated in the trap of the linear plasma device OMT2. An ultrahigh frequency (UHF) contactless method is used to fill the open magnetic trap by plasma. We propose a new method of open magnetic trap filling with plasma whereby plasma is injected in the trap along the magnetic field from an independent stationary UHF source. The source is located outside the trap and plasma formation in it takes place in the strongly nonuniform magnetic field, in the electron cyclotron resonance (ECR) regime by means of the UHF power. In this paper we study the efficiency of open magnetic trap filling by plasma and plasma low frequency (LF) oscillations in the trap.


title: Deviation of Mercury's spin axis from an exact Cassini state induced by dissipation

abstract: We compute predictions of the deviation of Mercury's spin axis from an exact Cassini state caused by tidal dissipation, and viscous and electromagnetic (EM) friction at the core-mantle boundary (CMB) and inner core boundary (ICB). Viscous friction at the CMB generates a phase lead, viscous and EM friction at the ICB produce a phase lag; the magnitude of the deviation depends on the inner core size, kinematic viscosity and magnetic field strength, but cannot exceed an upper bound. For a small inner core, viscous friction at the CMB results in a maximum phase lead of 0.027 arcsec. For a large inner core (radius $>1000$ km), EM friction at the ICB generates the largest phase lag, but it does not exceed 0.1 arcsec. Elastic deformations induced by the misaligned fluid and solid cores play a first order role in the phase lead/lag caused by viscous and EM coupling, and contribute to a perturbation in mantle obliquity on par with that caused by tidal deformations. Tidal dissipation results in a phase lag and its magnitude (in units of arcsec) is given by the empirical relation (80/Q), where Q is the quality factor; Q=80 results in a phase lag of ~1 arcsec. A large inner core with a low viscosity of the order of 10^{17} Pa s or lower can significantly affect $Q$ and thus the resulting phase lag. The limited mantle phase lag suggested by observations (<10 arcsec) implies a lower limit on the bulk mantle viscosity of approximately 10^{17} Pa s.


title: TMD Evolution Study of the $\cos 2 \phi$ Azimuthal Asymmetry in Unpolarized $J/\psi$ Production at EIC

abstract: Semi-inclusive $J/\psi$ production in electron-proton collisions is a promising process to study gluon transverse momentum distributions (TMDs) at the future Electron-Ion Collider. In this article, we improve on previous studies of the $\cos 2 \phi$ azimuthal asymmetry that arises from the linear polarization of gluons inside unpolarized protons by including TMD evolution. We find that in the TMD regime the asymmetry grows monotonically with increasing transverse momentum of the outgoing $J/\psi$, in contrast to tree level calculations with Gaussian TMDs. Our predictions for the asymmetry at EIC can become very large at larger $x$, $Q$, and transverse momenta, even larger than the positivity bound. This problem stems from the very small $b$ region and implies a range of validity of TMD factorization that is more restricted than usually expected. We also include an estimate of the nonperturbative uncertainty from the large $b$ region and we conclude that it is smaller than the largest source of uncertainty, which stems from the choice of Color Octet Long-Distance Matrix Elements.


title: Back-to-back azimuthal correlations in Z+jet events at high transverse momentum in the TMD parton branching method at next-to-leading order

abstract: Azimuthal correlations in Z+jet production at large transverse momenta are computed by matching Parton - Branching (PB) TMD parton distributions and showers with NLO calculations via MCatNLO. The predictions are compared with those for dijet production in the same kinematic range. The azimuthal correlations $\Delta\phi$ between the Z boson and the leading jet are steeper compared to those in dijet production at transverse momenta ${\cal O}(100)$ GeV, while they become similar for very high transverse momenta ${\cal O}(1000)$ GeV. The different patterns of Z+jet and dijet azimuthal correlations can be used to search for potential {\it factorization - breaking} effects in the back-to-back region, which depend on the different color and spin structure of the final states and their interferences with the initial states. In order to investigate these effects experimentally, we propose to measure the ratio of the distributions in $\Delta\phi$ for Z+jet - and multijet production at low and at high transverse momenta, and compare the results to predictions obtained assuming factorization. We examine the role of theoretical uncertainties by performing variations of the factorization scale, renormalization scale and matching scale. In particular, we present a comparative study of matching scale uncertainties in the cases of PB-TMD and collinear parton showers.


title: Characterizing the Reproducibility of Noisy Quantum Circuits

abstract: The ability of a quantum computer to reproduce or replicate the results of a quantum circuit is a key concern for verifying and validating applications of quantum computing. Statistical variations in circuit outcomes that arise from ill-characterized fluctuations in device noise may lead to computational errors and irreproducible results. While device characterization offers a direct assessment of noise, an outstanding concern is how such metrics bound the reproducibility of a given quantum circuit. Here, we first directly assess the reproducibility of a noisy quantum circuit, in terms of the Hellinger distance between the computational results, and then we show that device characterization offers an analytic bound on the observed variability. We validate the method using an ensemble of single qubit test circuits, executed on a superconducting transmon processor with well-characterized readout and gate error rates. The resulting description for circuit reproducibility, in terms of a composite device parameter, is confirmed to define an upper bound on the observed Hellinger distance, across the variable test circuits. This predictive correlation between circuit outcomes and device characterization offers an efficient method for assessing the reproducibility of noisy quantum circuits.


title: Matrix Completion with Sparse Noisy Rows

abstract: Exact matrix completion and low rank matrix estimation problems has been studied in different underlying conditions. In this work we study exact low-rank completion under non-degenerate noise model. Non-degenerate random noise model has been previously studied by many researchers under given condition that the noise is sparse and existing in some of the columns. In this paper, we assume that each row can receive random noise instead of columns and propose an interactive algorithm that is robust to this noise. We show that we use a parametrization technique to give a condition when the underlying matrix could be recoverable and suggest an algorithm which recovers the underlying matrix.


title: Internet-of-Things Architectures for Secure Cyber-Physical Spaces: the VISOR Experience Report

abstract: Internet of things (IoT) technologies are becoming a more and more widespread part of civilian life in common urban spaces, which are rapidly turning into cyber-physical spaces. Simultaneously, the fear of terrorism and crime in such public spaces is ever-increasing. Due to the resulting increased demand for security, video-based IoT surveillance systems have become an important area for research. Considering the large number of devices involved in the illicit recognition task, we conducted a field study in a Dutch Easter music festival in a national interest project called VISOR to select the most appropriate device configuration in terms of performance and results. We iteratively architected solutions for the security of cyber-physical spaces using IoT devices. We tested the performance of multiple federated devices encompassing drones, closed-circuit television, smart phone cameras, and smart glasses to detect real-case scenarios of potentially malicious activities such as mosh-pits and pick-pocketing. Our results pave the way to select optimal IoT architecture configurations -- i.e., a mix of CCTV, drones, smart glasses, and camera phones in our case -- to make safer cyber-physical spaces' a reality.


title: Survey of Matrix Completion Algorithms

abstract: Matrix completion problem has been investigated under many different conditions since Netflix announced the Netflix Prize problem. Many research work has been done in the field once it has been discovered that many real life dataset could be estimated with a low-rank matrix. Since then compressed sensing, adaptive signal detection has gained the attention of many researchers. In this survey paper we are going to visit some of the matrix completion methods, mainly in the direction of passive and adaptive directions. First, we discuss passive matrix completion methods with convex optimization, and the second active matrix completion techniques with adaptive signal detection methods. Traditionally many machine learning problems are solved in passive environment. However, later it has been observed that adaptive sensing algorithms many times performs more efficiently than former algorithms. Hence algorithms in this setting has been extensively studied. Therefore, we are going to present some of the latest adaptive matrix completion algorithms in this paper meanwhile providing passive methods.


title: Real-world K-Anonymity Applications: the \textsc{KGen} approach and its evaluation in Fraudulent Transactions

abstract: K-Anonymity is a property for the measurement, management, and governance of the data anonymization. Many implementations of k-anonymity have been described in state of the art, but most of them are not able to work with a large number of attributes in a "Big" dataset, i.e., a dataset drawn from Big Data. To address this significant shortcoming, we introduce and evaluate \textsc{KGen} an approach to K-anonymity featuring Genetic Algorithms. \textsc{KGen} promotes such a meta-heuristic approach since it can solve the problem by finding a pseudo-optimal solution in a reasonable time over a considerable load of input. \textsc{KGen} allows the data manager to guarantee a high anonymity level while preserving the usability and preventing loss of information entropy over the data. Differently from other approaches that provide optimal global solutions catered for small datasets, \textsc{KGen} works properly also over Big datasets while still providing a good-enough solution. Evaluation results show how our approach can still work efficiently on a real world dataset, provided by Dutch Tax Authority, with 47 attributes (i.e., the columns of the dataset to be anonymized) and over 1.5K+ observations (i.e., the rows of that dataset), as well as on a dataset with 97 attributes and over 3942 observations.


title: Magnetic hot-spots generation at optical frequencies in all-dielectric mesoscale Janus particles

abstract: At optical frequencies due to the small value of the magnetic permeability of natural materials, the magnetic effects are week. To this end, the natural dielectric materials are unemployable for practical magnetic applications in optics. We have shown that it is possible to induce the intense magnetic hot spots in a Janus dielectric mesoscale particle. The basic idea of the Janus particle based on a combination of the effects of a photonic jet, whispering gallery waves and the concept of solid immersion. Simulations show that H^2/E^2 contrast maybe more 10 and maximal magnetic field intensity enhancement is more than 1000 for a wavelength-scaled particle with refractive index less than 2.


title: Retail Central Bank Digital Currencies (CBDC), Disintermediation and Financial Privacy: The Case of the Bahamian Sand Dollar

abstract: The fast-growing, market-driven demand for cryptocurrencies worries central banks, as their monetary policy could be completely undermined. Central bank digital currencies (CBDCs) could offer a solution, yet our understanding of their design and consequences is in its infancy. This non-technical paper examines how The Bahamas has designed the Sand Dollar, the first real-world instance of a retail CBDC. It contrasts the Sand Dollar with definition-based specifications. I then develop a scenario analysis to illustrate commercial bank risks. In this process, the central bank becomes a deposit monopolist, leading to high funding risks, disintermediation risks, and solvency risks for the com-mercial banking sector. I argue that restrictions and caps will be the new specifications of a regulatory framework for CBDCs if disintermediation in the banking sector is to be prevented. I identify the anonymity of CBDCs as a comparative disadvantage that will affect their adoption. These findings provide insight into governance problems facing central banks, and coherently lead to the design of the Sand Dollar. I conclude by suggesting that combating cryptocurrencies is a task that cannot be solved by a CBDC.


title: Deep Learning for Spectral Filling in Radio Frequency Applications

abstract: Due to the Internet of Things (IoT) proliferation, Radio Frequency (RF) channels are increasingly congested with new kinds of devices, which carry unique and diverse communication needs. This poses complex challenges in modern digital communications, and calls for the development of technological innovations that (i) optimize capacity (bitrate) in limited bandwidth environments, (ii) integrate cooperatively with already-deployed RF protocols, and (iii) are adaptive to the ever-changing demands in modern digital communications. In this paper we present methods for applying deep neural networks for spectral filling. Given an RF channel transmitting digital messages with a pre-established modulation scheme, we automatically learn novel modulation schemes for sending extra information, in the form of additional messages, "around" the fixed-modulation signals (i.e., without interfering with them). In so doing, we effectively increase channel capacity without increasing bandwidth. We further demonstrate the ability to generate signals that closely resemble the original modulations, such that the presence of extra messages is undetectable to third-party listeners. We present three computational experiments demonstrating the efficacy of our methods, and conclude by discussing the implications of our results for modern RF applications.


title: Helium line emissivities for nebular astrophysics

abstract: We present the results of several collisional-radiative models describing optically-thin emissivities of the main lines in neutral helium formed by recombination, for a grid of electron temperatures and densities, typical of H II regions and Planetary Nebulae. Accurate emissivities are required for example to measure the helium abundance in nebulae and as a consequence its primordial value. We compare our results with those obtained by previous models, finding significant differences, well above the target accuracy of one percent. We discuss in some detail our chosen set of atomic rates and the differences with those adopted by previous models. The main differences lie in the treatment of electron and proton collision rates and we discuss which transitions are least sensitive to the choice of these rates and therefore best suited to high precision abundance determinations. We have focused our comparisons on the case B approximation where only He and He$^+$ are considered, but also present results of full models including the bare nuclei, photo-excitation and photo-ionisation and either black-body or observed illuminating spectrum in the case of the Orion nebula, to indicate which spectral lines are affected by opacity. For those transitions, accurate radiative transfer calculations should be performed. We provide tables of emissivities for all transitions within $n \le 5$ and all those between the $n \le 5$ and $n' \le 25$ states, in the log $T_{\rm e}$ [K]=10$^{3.0(0.1)4.6}$ and log $N_{\rm e}$ [cm$^{-3}$]=10$^{2(0.5)6}$ ranges, and a FORTRAN code to interpolate to any $T_{\rm e}, N_{\rm e}$ within these ranges.


title: The Giant Spin Hall Effect at Optical Frequencies

abstract: We generalize the spin Hall angle to laser pulses of finite frequencies in the linear response regime and predict a giant optical spin Hall effect. Namely, for certain transition metal elements, at particular frequencies, the spin current can be a significant fraction of the charge current, and even exceed it for XUV frequencies. By maximizing spin current while minimizing the charge current, we thus minimize a major source of heating in spintronic devices. We employ {\it ab-initio} time-dependent density functional theory (TDDFT), and with real-time simulations calculate the conductivity and transverse spin conductivity for all $3$d, $4$d, and $5$d transition metals for frequencies up to $50$ eV. In the XUV frequency range we find values greater than $1$ for the spin Hall angle, indicating spin currents larger than the charge current can be generated.


title: An implicit symplectic solver for high-precision long term integrations of the Solar System

abstract: Compared to other symplectic integrators (the Wisdom and Holman map and its higher order generalizations) that also take advantage of the hierarchical nature of the motion of the planets around the central star, our methods require solving implicit equations at each time-step. We claim that, despite this disadvantage, FCIRK16 is more efficient than explicit symplectic integrators for high precision simulations thanks to: (i) its high order of precision, (ii) its easy parallelization, and (iii) its efficient mixed-precision implementation which reduces the effect of round-off errors. In addition, unlike typical explicit symplectic integrators for near Keplerian problems, FCIRK16 is able to integrate problems with arbitrary perturbations (non necessarily split as a sum of integrable parts). We present a novel analysis of the effect of close encounters in the leading term of the local discretization errors of our integrator. Based on that analysis, a mechanism to detect and refine integration steps that involve close encounters is incorporated in our code. That mechanism allows FCIRK16 to accurately resolve close encounters of arbitrary bodies. We illustrate our treatment of close encounters with the application of FCIRK16 to a point mass Newtonian 15-body model of the Solar System (with the Sun, the eight planets, Pluto, and five main asteroids) and a 16-body model treating the Moon as a separate body. We also present some numerical comparisons of FCIRK16 with a state-of-the-art high order explicit symplectic scheme for 16-body model that demonstrate the superiority of our integrator when very high precision is required.

categories: physics.comp-ph astro-ph.EP astro-ph.IM cs.NA math.NA


title: Teaching for large-scale Reproducibility Verification

abstract: We describe a unique environment in which undergraduate students from various STEM and social science disciplines are trained in data provenance and reproducible methods, and then apply that knowledge to real, conditionally accepted manuscripts and associated replication packages. We describe in detail the recruitment, training, and regular activities. While the activity is not part of a regular curriculum, the skills and knowledge taught through explicit training of reproducible methods and principles, and reinforced through repeated application in a real-life workflow, contribute to the education of these undergraduate students, and prepare them for post-graduation jobs and further studies.


title: Non-Hermitian laser arrays with tunable phase locking

abstract: Inspired by the idea of non-Hermitian spectral engineering and non-Hermitian skin effect, a novel design for stable emission of coupled laser arrays with tunable phase locking and strong supermode competition suppression is suggested. We consider a linear array of coupled resonators with asymmetric mode coupling displaying the non-Hermitian skin effect and show that, under suitable tailoring of complex frequencies of the two edge resonators, the laser array can stably emit in a single extended supermode with tunable phase locking and with strong suppression of all other skin supermodes. The proposed laser array design offers strong robustness against both structural imperfections of the system and dynamical instabilities typical of semiconductor laser arrays.


title: CDKT-FL: Cross-Device Knowledge Transfer using Proxy Dataset in Federated Learning

abstract: In a practical setting, how to enable robust Federated Learning (FL) systems, both in terms of generalization and personalization abilities, is one important research question. It is a challenging issue due to the consequences of non-i.i.d. properties of client's data, often referred to as statistical heterogeneity, and small local data samples from the various data distributions. Therefore, to develop robust generalized global and personalized models, conventional FL methods need to redesign the knowledge aggregation from biased local models while considering huge divergence of learning parameters due to skewed client data. In this work, we demonstrate that the knowledge transfer mechanism achieves these objectives and develop a novel knowledge distillation-based approach to study the extent of knowledge transfer between the global model and local models. Henceforth, our method considers the suitability of transferring the outcome distribution and (or) the embedding vector of representation from trained models during cross-device knowledge transfer using a small proxy dataset in heterogeneous FL. In doing so, we alternatively perform cross-device knowledge transfer following general formulations as 1) global knowledge transfer and 2) on-device knowledge transfer. Through simulations on three federated datasets, we show the proposed method achieves significant speedups and high personalized performance of local models. Furthermore, the proposed approach offers a more stable algorithm than other baselines during the training, with minimal communication data load when exchanging the trained model's outcomes and representation.


title: Causality, Causal Discovery, and Causal Inference in Structural Engineering

abstract: Much of our experiments are designed to uncover the cause(s) and effect(s) behind a data generating mechanism (i.e., phenomenon) we happen to be interested in. Uncovering such relationships allows us to identify the true working of a phenomenon and, most importantly, articulate a model that may enable us to further explore the phenomenon on hand and/or allow us to predict it accurately. Fundamentally, such models are likely to be derived via a causal approach (as opposed to an observational or empirical mean). In this approach, causal discovery is required to create a causal model, which can then be applied to infer the influence of interventions, and answer any hypothetical questions (i.e., in the form of What ifs? Etc.) that we might have. This paper builds a case for causal discovery and causal inference and contrasts that against traditional machine learning approaches; all from a civil and structural engineering perspective. More specifically, this paper outlines the key principles of causality and the most commonly used algorithms and packages for causal discovery and causal inference. Finally, this paper also presents a series of examples and case studies of how causal concepts can be adopted for our domain.