title: Une factorisation de la cohomologie compl\'et\'ee et du syst\`eme de Beilinson-Kato

abstract: We show that the modular symbol $(0,\infty)$, considered as an element of the dual of Emerton's completed cohomology, interpolates Kato's Euler system at classical points, and we deduce from this a factorisation of Beilinson-Kato's system as a product of two symbols $(0,\infty)$ (an algebraic analog of Rankin's method). The proof uses the $p$-adic local Langlands correspondence for ${\mathbf GL}_2({\mathbf Q}_p)$ and Emerton's factorization of the completed cohomology of the tower of modular curves for which we provide a new proof resting upon the construction of a Kirillov model for the completed cohomology, and which we refine by imposing conditions at classical points; the existence of such a refinement is a manifestation of an analyticity property for $p$-adic periods of modular forms.


title: Automorphisms of nonsplit extensions of 2-groups by $PSL_2(q)$

abstract: We complete the description of automorphism groups of all nonsplit extensions of elementary abelian $2$-groups by $PSL_2(q)$, with $q$ odd, for an irreducible induced action. An application of this result to the theory of $\pi$-submaximal subgroups is given.


title: Monitoring Data Requests in Decentralized Data Storage Systems: A Case Study of IPFS

abstract: Decentralized data storage systems like the Interplanetary Filesystem (IPFS) are becoming increasingly popular, e. g., as a data layer in blockchain applications and for sharing content in a censorship-resistant manner. In IPFS, data is hosted by an open set of nodes and data requests are broadcast to connected peers in addition to being routed via a distributed hash table (DHT). In this paper, we present a passive monitoring methodology that exploits this design for obtaining data requests from a significant and upscalable portion of nodes. Using an implementation of our approach for the IPFS network and data collected over a period of fifteen months, we demonstrate how our methodology enables profound insights into, among other things: the size of the IPFS network, activity levels and structure, and content popularity distributions. We furthermore present that our methodology can be abused for attacks on users' privacy. For example, we were able to identify and successfully surveil the IPFS nodes corresponding to public IPFS/HTTP gateways.We give a detailed analysis of the mechanics and reasons behind implied privacy threats and discuss possible countermeasures.


title: Protecting the Intellectual Properties of Deep Neural Networks with an Additional Class and Steganographic Images

abstract: Recently, the research on protecting the intellectual properties (IP) of deep neural networks (DNN) has attracted serious concerns. A number of DNN copyright protection methods have been proposed. However, most of the existing watermarking methods focus on verifying the copyright of the model, which do not support the authentication and management of users' fingerprints, thus can not satisfy the requirements of commercial copyright protection. In addition, the query modification attack which was proposed recently can invalidate most of the existing backdoor-based watermarking methods. To address these challenges, in this paper, we propose a method to protect the intellectual properties of DNN models by using an additional class and steganographic images. Specifically, we use a set of watermark key samples to embed an additional class into the DNN, so that the watermarked DNN will classify the watermark key sample as the predefined additional class in the copyright verification stage. We adopt the least significant bit (LSB) image steganography to embed users' fingerprints into watermark key images. Each user will be assigned with a unique fingerprint image so that the user's identity can be authenticated later. Experimental results demonstrate that, the proposed method can protect the copyright of DNN models effectively. On Fashion-MNIST and CIFAR-10 datasets, the proposed method can obtain 100% watermark accuracy and 100% fingerprint authentication success rate. In addition, the proposed method is demonstrated to be robust to the model fine-tuning attack, model pruning attack, and the query modification attack. Compared with three existing watermarking methods (the logo-based, noise-based, and adversarial frontier stitching watermarking methods), the proposed method has better performance on watermark accuracy and robustness against the query modification attack.


title: A Survey on Millimeter-Wave Beamforming Enabled UAV Communications and Networking

abstract: Unmanned aerial vehicles (UAVs) have found widespread commercial, civilian, and military applications. Wireless communication has always been one of the core technologies for UAV. However, the communication capacity is becoming a bottleneck for UAV to support more challenging application scenarios. The heavily-occupied sub-6 GHz frequency band is not sufficient to meet the ultra high-data-traffic requirements. The utilization of the millimeter-wave (mmWave) frequency bands is a promising direction for UAV communications, where large antenna arrays can be packed in a small area on the UAV to perform three-dimensional (3D) beamforming. On the other hand, UAVs serving as aerial access points or relays can significantly enhance the coverage and quality of service of the terrestrial mmWave cellular networks. In this paper, we provide a comprehensive survey on mmWave beamforming enabled UAV communications and networking. The technical potential of and challenges for mmWave-UAV communications are presented first. Then, we provide an overview on relevant mmWave antenna structures and channel modeling. Subsequently, the technologies and solutions for UAV-connected mmWave cellular networks and mmWave-UAV ad hoc networks are reviewed, respectively. Finally, we present open issues and promising directions for future research in mmWave beamforming enabled UAV communications and networking.


title: Neutrino mass and $(g-2)_{\mu}$ with dark $U(1)_D$ symmetry

abstract: We propose an extension of the Standard Model (SM) for radiative neutrino mass by introducing a dark $U(1)_D$ gauge symmetry. The kinetic mixing between the SM gauges and the dark $U(1)_D$ gauge arises at 1-loop mediated by new inert scalar fields. We show that the tiny neutrino mass and dark matter candidates are naturally accommodated. Motivated by the recent measurement of $(g-2)_{\mu}$ indicating $4.2~ \sigma$ deviation from the SM prediction, we examine how the deviation $\Delta a_{\mu}$ can be explained in this model.


title: Network modeling methods for precision medicine

abstract: We discuss in this survey several network modeling methods and their applicability to precision medicine. We review several network centrality methods (degree centrality, closeness centrality, eccentricity centrality, betweenness centrality, and eigenvector-based prestige) and two systems controllability methods (minimum dominating sets and network structural controllability). We demonstrate their applicability to precision medicine on three multiple myeloma patient disease networks. Each network consists of protein-protein interactions built around a specific patient's mutated genes, around the targets of the drugs used in the standard of care in multiple myeloma, and around multiple myeloma-specific essential genes. For each network we demonstrate how the network methods we discuss can be used to identify personalized, targeted drug combinations uniquely suited to that patient.


title: Downfolding the Su-Schrieffer-Heeger model

abstract: Charge-density waves are responsible for symmetry-breaking displacements of atoms and concomitant changes in the electronic structure. Linear response theories, in particular density-functional perturbation theory, provide a way to study the effect of displacements on both the total energy and the electronic structure based on a single ab initio calculation. In downfolding approaches, the electronic system is reduced to a smaller number of bands, allowing for the incorporation of additional correlation and environmental effects on these bands. However, the physical contents of this downfolded model and its potential limitations are not always obvious. Here, we study the potential-energy landscape and electronic structure of the Su-Schrieffer-Heeger (SSH) model, where all relevant quantities can be evaluated analytically. We compare the exact results at arbitrary displacement with diagrammatic perturbation theory both in the full model and in a downfolded effective single-band model, which gives an instructive insight into the properties of downfolding. An exact reconstruction of the potential-energy landscape is possible in a downfolded model, which requires a dynamical electron-biphonon interaction. The dispersion of the bands upon atomic displacement is also found correctly, where the downfolded model by construction only captures spectral weight in the target space. In the SSH model, the electron-phonon coupling mechanism involves exclusively hybridization between the low- and high-energy bands and this limits the computational efficiency gain of downfolded models.


title: Microwave Optomechanically Induced Transparency and Absorption Between 250 and 450 mK

abstract: High-quality microwave amplifiers and notch-filters can be made from microwave optomechanical systems in which a mechanical resonator is coupled to a microwave cavity by radiation pressure. These amplifiers and filters rely on optomechanically induced transparency (OMIT) and absorption (OMIA), respectively. Such devices can amplify microwave signals with large, controllable gain, high dynamic range and very low noise. Furthermore, extremely narrowband filters can be constructed with this technique. We briefly review previous measurements of microwave OMIT and OMIA before reporting our own measurements of these phenomena, which cover a larger parameter space than has been explored in previous works. In particular, we vary probe frequency, pump frequency, pumping scheme (red or blue), probe power, pump power and temperature. We find excellent agreement between our measurements and the predictions of input/output theory, thereby guiding further development of microwave devices based on nanomechanics.


title: Perspectives of measuring gravitational effects of laser light and particle beams

abstract: We study possibilities of creation and detection of oscillating gravitational fields from lab-scale high energy, relativistic sources. The sources considered are high energy laser beams in an optical cavity and the ultra-relativistic proton bunches circulating in the beam of the Large Hadron Collider (LHC) at CERN. These sources allow for signal frequencies much higher and far narrower in bandwidth than what most celestial sources produce. In addition, by modulating the beams, one can adjust the source frequency over a very broad range, from Hz to GHz. The gravitational field of these sources and responses of a variety of detectors are analyzed. We optimize a mechanical oscillator such as a pendulum or torsion balance as detector and find parameter regimes such that -- combined with the planned high-luminosity upgrade of the LHC as a source -- a signal-to-noise ratio substantially larger than 1 should be achievable at least in principle, neglecting all sources of technical noise. This opens new perspectives of studying general relativistic effects and possibly quantum-gravitational effects with ultra-relativistic, well-controlled terrestrial sources.


title: A public micro pension programme in Brazil: Heterogeneity among states and setting up of benefit age adjustment

abstract: Brazil is the 5th largest country in the world, despite of having a ``High Human Development'' it is the 9th most unequal country. The existing Brazilian micro pension programme is one of the safety nets for poor people. To become eligible for this benefit, each person must have an income that is less than a quarter of the Brazilian minimum monthly wage and be either over 65 or considered disabled. That minimum income corresponds to approximately $2$ dollars per day. This paper analyses quantitatively some aspects of this programme in the Public Pension System of Brazil. We look for the impact of some particular economic variables on the number of people receiving the benefit, and seek if that impact significantly differs among the 27 Brazilian Federal Units. We search for heterogeneity. We perform regression and spatial cluster analysis for detection of geographical grouping. We use a database that includes the entire population that receives the benefit. Afterwards, we calculate the amount that the system spends with the beneficiaries, estimate values \textit{per capita} and the weight of each UF, searching for heterogeneity reflected on the amount spent \textit{per capita}. In this latter calculation we use a more comprehensive database, by individual, that includes all people that started receiving a benefit under the programme in the period from 2nd of January 2018 to 6th of April 2018. We compute the expected discounted benefit and confirm a high heterogeneity among UF's as well as gender. We propose achieving a more equitable system by introducing `age adjusting factors' to change the benefit age.


title: Einstein hypersurfaces of Damek-Ricci spaces

abstract: Einstein hypersurfaces are ``very rare" in rank-one symmetric spaces. Damek-Ricci spaces may be viewed as the closest and the most natural generalisations of noncompact rank-one symmetric spaces. We prove that no Damek-Ricci space admits an Einstein hypersurface.


title: Shapes of a filament on the surface of a bubble

abstract: The shape assumed by a slender elastic structure is a function both of the geometry of the space in which it exists and the forces it experiences. We explore by experiments and theoretical analysis, the morphological phase-space of a filament confined to the surface of a spherical bubble. The morphology is controlled by varying bending stiffness and weight of the filament, and its length relative to the bubble radius. When the dominant considerations are geometry of confinement and elastic energy, the filament lies along a geodesic and when gravitational energy becomes significant, a bifurcation occurs, with a part of the filament occupying a longitude and the rest along a curve approximated by a latitude. Far beyond the transition, when the filament is much longer than the diameter, it coils around the selected latitudinal region. A simple model with filament shape as a composite of two arcs captures the transition well and for better quantitative agreement with the subcritical nature of bifurcation, we study the morphology by numerical energy minimization. Our analysis of filament's morphological space spanned by a geometric parameter, and one that compares elastic energy with body forces, may provide guidance for packing slender structures on complex surfaces.


title: A computational proof of the existence of the Dual Isogeny

abstract: For $E$ an elliptic curve over a perfect field $K$, we present a proof of the existence of the dual isogeny $\hat{\phi}$ using computational methods linked to V\'elu's formulae instead of the standard Galois correspondence method.


title: An Unsupervised Learning-Based Approach for Symbol-Level-Precoding

abstract: This paper proposes an unsupervised learning-based precoding framework that trains deep neural networks (DNNs) with no target labels by unfolding an interior point method (IPM) proximal `log' barrier function. The proximal `log' barrier function is derived from the strict power minimization formulation subject to signal-to-interference-plus-noise ratio (SINR) constraint. The proposed scheme exploits the known interference via symbol-level precoding (SLP) to minimize the transmit power and is named strict Symbol-Level-Precoding deep network (SLP-SDNet). The results show that SLP-SDNet outperforms the conventional block-level-precoding (Conventional BLP) scheme while achieving near-optimal performance faster than the SLP optimization-based approach.


title: On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics

abstract: This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting's nested calculi naturally arise from their corresponding labelled calculi--for each of the aforementioned logics--via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic's semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic's semantics.


title: SCNet: Enhancing Few-Shot Semantic Segmentation by Self-Contrastive Background Prototypes

abstract: Few-shot semantic segmentation aims to segment novel-class objects in a query image with only a few annotated examples in support images. Most of advanced solutions exploit a metric learning framework that performs segmentation through matching each pixel to a learned foreground prototype. However, this framework suffers from biased classification due to incomplete construction of sample pairs with the foreground prototype only. To address this issue, in this paper, we introduce a complementary self-contrastive task into few-shot semantic segmentation. Our new model is able to associate the pixels in a region with the prototype of this region, no matter they are in the foreground or background. To this end, we generate self-contrastive background prototypes directly from the query image, with which we enable the construction of complete sample pairs and thus a complementary and auxiliary segmentation task to achieve the training of a better segmentation model. Extensive experiments on PASCAL-5$^i$ and COCO-20$^i$ demonstrate clearly the superiority of our proposal. At no expense of inference efficiency, our model achieves state-of-the results in both 1-shot and 5-shot settings for few-shot semantic segmentation.


title: Effect of wear particles and roughness on nanoscale friction

abstract: Frictional contacts lead to the formation of a surface layer called the third body, consisting of wear particles and structures resulting from their agglomerates. Its behavior and properties at the nanoscale control the macroscopic tribological performance. It is known that wear particles and surface topography evolve with time and mutually influence one another. However, the formation of the mature third body is largely uncharted territory and the properties of its early stages are unknown. Here we show how a third body initially consisting of particles acting as roller bearings transitions into a shear-band-like state by forming adhesive bridges between the particles. Using large-scale atomistic simulations on a brittle model material, we find that this transition is controlled by the growth and increasing disorganization of the particles with increasing sliding distance. Sliding resistance and wear rate are at first controlled by the surface roughness, but upon agglomeration wear stagnates and friction becomes solely dependent on the real contact area in accordance with the plasticity theory of contact by Bowden and Tabor.


title: Activity stabilization in a population model of working memory by sinusoidal and noisy inputs

abstract: According to mechanistic theories of working memory (WM), information is retained as persistent spiking activity of cortical neural networks. Yet, how this activity is related to changes in the oscillatory profile observed during WM tasks remains an open issue. We explore joint effects of input gamma-band oscillations and noise on the dynamics of several firing rate models of WM. The considered models have a metastable active regime, i.e. they demonstrate long-lasting transient post-stimulus firing rate elevation. We start from a single excitatory-inhibitory circuit and demonstrate that either gamma-band or noise input could stabilize the active regime, thus supporting WM retention. We then consider a system of two circuits with excitatory intercoupling. We find that fast coupling allows for better stabilization by common noise compared to independent noise and stronger amplification of this effect by in-phase gamma inputs compared to anti-phase inputs. Finally, we consider a multi-circuit system comprised of two clusters, each containing a group of circuits receiving a common noise input and a group of circuits receiving independent noise. Each cluster is associated with its own local gamma generator, so all its circuits receive gamma-band input in the same phase. We find that gamma-band input differentially stabilizes the activity of the "common-noise" groups compared to the "independent-noise" groups. If the inter-cluster connections are fast, this effect is more pronounced when the gamma-band input is delivered to the clusters in the same phase rather than in the anti-phase. Assuming that the common noise comes from a large-scale distributed WM representation, our results demonstrate that local gamma oscillations can stabilize the activity of the corresponding parts of this representation, with stronger effect for fast long-range connections and synchronized gamma oscillations.


title: Optimal control of a population dynamics model with hysteresis

abstract: This paper addresses a nonlinear partial differential control system arising in population dynamics. The system consist of three diffusion equations describing the evolutions of three biological species: prey, predator, and food for the prey or vegetation. The equation for the food density incorporates a hysteresis operator of generalized stop type accounting for underlying hysteresis effects occurring in the dynamical process. We study the problem of minimization of a given integral cost functional over solutions of the above system. The set-valued mapping defining the control constraint is state-dependent and its values are nonconvex as is the cost integrand as a function of the control variable. Some relaxation-type results for the minimization problem are obtained and the existence of a nearly optimal solution is established.


title: Overcoming Catastrophic Forgetting with Gaussian Mixture Replay

abstract: We present Gaussian Mixture Replay (GMR), a rehearsal-based approach for continual learning (CL) based on Gaussian Mixture Models (GMM). CL approaches are intended to tackle the problem of catastrophic forgetting (CF), which occurs for Deep Neural Networks (DNNs) when sequentially training them on successive sub-tasks. GMR mitigates CF by generating samples from previous tasks and merging them with current training data. GMMs serve several purposes here: sample generation, density estimation (e.g., for detecting outliers or recognizing task boundaries) and providing a high-level feature representation for classification. GMR has several conceptual advantages over existing replay-based CL approaches. First of all, GMR achieves sample generation, classification and density estimation in a single network structure with strongly reduced memory requirements. Secondly, it can be trained at constant time complexity w.r.t. the number of sub-tasks, making it particularly suitable for life-long learning. Furthermore, GMR minimizes a differentiable loss function and seems to avoid mode collapse. In addition, task boundaries can be detected by applying GMM density estimation. Lastly, GMR does not require access to sub-tasks lying in the future for hyper-parameter tuning, allowing CL under real-world constraints. We evaluate GMR on multiple image datasets, which are divided into class-disjoint sub-tasks.


title: Independent Decompositions of Chemical Reaction Networks

abstract: A chemical reaction network (CRN) is composed of reactions that can be seen as interactions among entities called species, which exist within the system. Endowed with kinetics, CRN has a corresponding set of ordinary differential equations (ODEs). In Chemical Reaction Network Theory, we are interested with connections between the structure of the CRN and qualitative properties of the corresponding ODEs. One of the results in Decomposition Theory of CRNs is that the intersection of the sets of positive steady states of the subsystems is equal to the set of positive steady states of the whole system, if the decomposition is independent. Hence, computational approach using independent decompositions can be used as an efficient tool in studying large systems. In this work, we provide a necessary and sufficient condition for the existence of a nontrivial independent decomposition of a CRN, which leads to a novel step-by-step method to obtain such decomposition, if it exists. We also illustrate these results using real-life examples. In particular, we show that a CRN of a popular model of anaerobic yeast fermentation pathway has a nontrivial independent decomposition, while a particular biological system, which is a metabolic network with one positive feedforward and a negative feedback has none. Finally, we analyze properties of steady states of reaction networks of specific influenza virus models.


title: Detrended fluctuation analysis of earthquake data

abstract: The detrended fluctuation analysis (DFA) is extensively useful in stochastic processes to unveil the long-term correlation. Here, we apply the DFA to point processes that mimick earthquake data. The point processes are synthesized by a model similar to the Epidemic-Type Aftershock Sequence model, and we apply the DFA to time series $N(t)$ of the point processes, where $N(t)$ is the cumulative number of events up to time $t$. Crossover phenomena are found in the DFA for these time series, and extensive numerical simulations suggest that the crossover phenomena are signatures of non-stationarity in the time series. We also find that the crossover time represents a characteristic time scale of the non-stationary process embedded in the time series. Therefore, the DFA for point processes is especially useful in extracting information of non-stationary processes when time series are superpositions of stationary and non-stationary signals. Furthermore, we apply the DFA to the cumulative number $N(t)$ of real earthquakes in Japan, and we find a crossover phenomenon similar to that found for the synthesized data.


title: Coarse-to-Fine Searching for Efficient Generative Adversarial Networks

abstract: This paper studies the neural architecture search (NAS) problem for developing efficient generator networks. Compared with deep models for visual recognition tasks, generative adversarial network (GAN) are usually designed to conduct various complex image generation. We first discover an intact search space of generator networks including three dimensionalities, i.e., path, operator, channel for fully excavating the network performance. To reduce the huge search cost, we explore a coarse-to-fine search strategy which divides the overall search process into three sub-optimization problems accordingly. In addition, a fair supernet training approach is utilized to ensure that all sub-networks can be updated fairly and stably. Experiments results on benchmarks show that we can provide generator networks with better image quality and lower computational costs over the state-of-the-art methods. For example, with our method, it takes only about 8 GPU hours on the entire edges-to-shoes dataset to get a 2.56 MB model with a 24.13 FID score and 10 GPU hours on the entire Urban100 dataset to get a 1.49 MB model with a 24.94 PSNR score.


title: Multi-Modal Fusion Transformer for End-to-End Autonomous Driving

abstract: How should representations from complementary sensors be integrated for autonomous driving? Geometry-based sensor fusion has shown great promise for perception tasks such as object detection and motion forecasting. However, for the actual driving task, the global context of the 3D scene is key, e.g. a change in traffic light state can affect the behavior of a vehicle geometrically distant from that traffic light. Geometry alone may therefore be insufficient for effectively fusing representations in end-to-end driving models. In this work, we demonstrate that imitation learning policies based on existing sensor fusion methods under-perform in the presence of a high density of dynamic agents and complex scenarios, which require global contextual reasoning, such as handling traffic oncoming from multiple directions at uncontrolled intersections. Therefore, we propose TransFuser, a novel Multi-Modal Fusion Transformer, to integrate image and LiDAR representations using attention. We experimentally validate the efficacy of our approach in urban settings involving complex scenarios using the CARLA urban driving simulator. Our approach achieves state-of-the-art driving performance while reducing collisions by 76% compared to geometry-based fusion.


title: Multi-context Attention Fusion Neural Network for Software Vulnerability Identification

abstract: Security issues in shipped code can lead to unforeseen device malfunction, system crashes or malicious exploitation by crackers, post-deployment. These vulnerabilities incur a cost of repair and foremost risk the credibility of the company. It is rewarding when these issues are detected and fixed well ahead of time, before release. Common Weakness Estimation (CWE) is a nomenclature describing general vulnerability patterns observed in C code. In this work, we propose a deep learning model that learns to detect some of the common categories of security vulnerabilities in source code efficiently. The AI architecture is an Attention Fusion model, that combines the effectiveness of recurrent, convolutional and self-attention networks towards decoding the vulnerability hotspots in code. Utilizing the code AST structure, our model builds an accurate understanding of code semantics with a lot less learnable parameters. Besides a novel way of efficiently detecting code vulnerability, an additional novelty in this model is to exactly point to the code sections, which were deemed vulnerable by the model. Thus helping a developer to quickly focus on the vulnerable code sections; and this becomes the "explainable" part of the vulnerability detection. The proposed AI achieves 98.40% F1-score on specific CWEs from the benchmarked NIST SARD dataset and compares well with state of the art.


title: Machine learning approach to dynamic risk modeling of mortality in COVID-19: a UK Biobank study

abstract: The COVID-19 pandemic has created an urgent need for robust, scalable monitoring tools supporting stratification of high-risk patients. This research aims to develop and validate prediction models, using the UK Biobank, to estimate COVID-19 mortality risk in confirmed cases. From the 11,245 participants testing positive for COVID-19, we develop a data-driven random forest classification model with excellent performance (AUC: 0.91), using baseline characteristics, pre-existing conditions, symptoms, and vital signs, such that the score could dynamically assess mortality risk with disease deterioration. We also identify several significant novel predictors of COVID-19 mortality with equivalent or greater predictive value than established high-risk comorbidities, such as detailed anthropometrics and prior acute kidney failure, urinary tract infection, and pneumonias. The model design and feature selection enables utility in outpatient settings. Possible applications include supporting individual-level risk profiling and monitoring disease progression across patients with COVID-19 at-scale, especially in hospital-at-home settings.


title: New formulations and branch-and-cut procedures for the longest induced path problem

abstract: Given an undirected graph $G=(V,E)$, the longest induced path problem (LIPP) consists of obtaining a maximum cardinality subset $W\subseteq V$ such that $W$ induces a simple path in $G$. In this paper, we propose two new formulations with an exponential number of constraints for the problem, together with effective branch-and-cut procedures for its solution. While the first formulation (cec) is based on constraints that explicitly eliminate cycles, the second one (cut) ensures connectivity via cutset constraints. We compare, both theoretically and experimentally, the newly proposed approaches with a state-of-the-art formulation recently proposed in the literature. More specifically, we show that the polyhedra defined by formulation cut and that of the formulation available in the literature are the same. Besides, we show that these two formulations are stronger in theory than cec. We also propose a new branch-and-cut procedure using the new formulations. Computational experiments show that the newly proposed formulation cec, although less strong from a theoretical point of view, is the best performing approach as it can solve all but one of the 1065 benchmark instances used in the literature within the given time limit. In addition, our newly proposed approaches outperform the state-of-the-art formulation when it comes to the median times to solve the instances to optimality. Furthermore, we perform extended computational experiments considering more challenging and hard-to-solve larger instances and evaluate the impacts on the results when offering initial feasible solutions (warm starts) to the formulations.


title: Curvaton and quantum gravity effect on the tensor to scalar ratio of the chaotic inflation

abstract: The expected tensor-to-scalar ratio estimate of the upcoming CMB mission probe measurements may establish a lower value of the ratio than the currently obtained value. It can be described in terms of a single field chaotic inflation model along with the curvaton or quantum gravity or their combined effect. Consequently, the role of quantum gravity or curvaton in the dynamics of the early universe may not be ruled out. The curvaton scenario and quantum gravity effect can be tested experimentally.


title: Deformation and relaxation of viscous thin films under bouncing drops

abstract: Thin, viscous liquid films subjected to impact events can deform. Here we investigate free surface oil film deformations that arise due to the air pressure buildup under the impacting and rebouncing water drops. Using Digital Holographic Microscopy, we measure the 3D surface topography of the deformed film immediately after the drop rebound, with a resolution down to 20 nm. We first discuss how the film is initially deformed during impact, as a function of film thickness, film viscosity, and drop impact speed. Subsequently, we describe the slow relaxation process of the deformed film after the rebound. Scaling laws for the broadening of the width and the decay of the amplitude of the perturbations are obtained experimentally and found to be in excellent agreement with the results from a lubrication analysis. We finally arrive at a detailed spatio-temporal description of the oil film deformations that arise during the impact and rebouncing of water drops.


title: Stein neighbourhoods of bordered complex curves attached to holomorphically convex sets

abstract: In this paper we construct open Stein neighbourhoods of compact sets of the form $A\cup K$ in a complex space, where $K$ is a compact holomorphically convex set, $A$ is a compact complex curve with boundary $bA$ of class $\mathscr C^2$ which may intersect $K$, and $A\cap K$ is $\mathscr O(A)$-convex.


title: Visual analytics of set data for knowledge discovery and member selection support

abstract: Visual analytics (VA) is a visually assisted exploratory analysis approach in which knowledge discovery is executed interactively between the user and system in a human-centered manner. The purpose of this study is to develop a method for the VA of set data aimed at supporting knowledge discovery and member selection. A typical target application is a visual support system for team analysis and member selection, by which users can analyze past teams and examine candidate lineups for new teams. Because there are several difficulties, such as the combinatorial explosion problem, developing a VA system of set data is challenging. In this study, we first define the requirements that the target system should satisfy and clarify the accompanying challenges. Then we propose a method for the VA of set data, which satisfies the requirements. The key idea is to model the generation process of sets and their outputs using a manifold network model. The proposed method visualizes the relevant factors as a set of topographic maps on which various information is visualized. Furthermore, using the topographic maps as a bidirectional interface, users can indicate their targets of interest in the system on these maps. We demonstrate the proposed method by applying it to basketball teams, and compare with a benchmark system for outcome prediction and lineup reconstruction tasks. Because the method can be adapted to individual application cases by extending the network structure, it can be a general method by which practical systems can be built.


title: TestTDO's v1.3 Terms, Properties, Relationships and Axioms -- A Top-Domain Software Testing Ontology

abstract: The present preprint specifies and defines all Terms, Properties, Relationships and Axioms of TestTDO (software Testing Top-Domain Ontology) v1.3, which is a slightly updated version of its predecessor, TestTDO v1.2. TestTDO is a top-domain ontology built in the context of a four-layered ontological architecture named FCD-OntoArch (Foundational, Core, and Domain Ontological Architecture for Sciences). This is a four-layered ontological architecture, which considers Foundational, Core, Domain and Instance levels. In turn, the domain level is split down in two sub-levels, namely: Top-domain and Low-domain ontological levels. Ontologies at the same level can be related to each other, except for the foundational level where only the ThingFO ontology is found. In addition, ontologies' terms and relationships at lower levels can be semantically enriched by ontologies' terms properties and relationships from the higher levels. Some TestTDO's terms and are extended primarily from SituationCO (Situation Core Ontology), and ProcessCO (Process Core Ontology) concepts. Stereotypes are the mechanism used for enriching TestTDO terms. Note that annotations of updates from the previous version (v1.2) to the current one (v1.3) can be found in Appendix A.


title: Comprehensive systematic review into combinations of artificial intelligence, human factors, and automation

abstract: Artificial intelligence (AI)-based models used to improve different fields including healthcare, and finance. One of the field that receive advantages of AI is automation. However, it is important to consider human factors in application of AI in automation. This paper reports on a systematic review of the published studies used to investigate the application of AI in PM. This comprehensive systematic review used ScienceDirect to identify relevant articles. Of the 422 articles found, 40 met the inclusion and exclusion criteria and were used in the review. Selected articles were classified based on categories of human factors and areas of application. The results indicated that application of AI in automation with respect to human factors could be divided into three areas of physical ergonomics, cognitive ergonomic and organizational ergonomics. The main areas of application in physical and cognitive ergonomics are including transportation, User experience, and human-machine interactions.


title: Projective models of Nikulin orbifolds

abstract: We study projective fourfolds of $K3^{[2]}$-type with a symplectic involution and the deformations of their quotients, called orbifolds of Nikulin types; they are IHS orbifolds. We compute the Riemann--Roch formula for Weil divisors on such orbifolds and describe the first complete family of orbifolds of Nikulin type with a polarization of degree $2$ as double covers of special complete intersections $(3,4)$ in $\mathbb{P}^6$.


title: Witnesses of coherence and dimension from multiphoton indistinguishability tests

abstract: Quantum coherence marks a deviation from classical physics, and has been studied as a resource for metrology and quantum computation. Finding reliable and effective methods for assessing its presence is then highly desirable. Coherence witnesses rely on measuring observables whose outcomes can guarantee that a state is not diagonal in a known reference basis. Here we experimentally measure a novel type of coherence witness that uses pairwise state comparisons to identify superpositions in a basis-independent way. Our experiment uses a single interferometric set-up to simultaneously measure the three pairwise overlaps among three single-photon states via Hong-Ou-Mandel tests. Besides coherence witnesses, we show the measurements also serve as a Hilbert-space dimension witness. Our results attest to the effectiveness of pooling many two-state comparison tests to ascertain various relational properties of a set of quantum states.


title: Stoichiometric Tuning of Lattice Flexibility and Na Diffusion in NaAlSiO4: Quasielastic Neutron Scattering Experiment and Ab-initio Molecular Dynamics Simulations

abstract: We have performed quasielastic neutron scattering (QENS) experiments up to 1243 K and ab-initio molecular dynamics (AIMD) simulations to investigate the Na diffusion in various phases of NaAlSiO4 (NASO), namely, low-carnegieite (L-NASO; trigonal), high-carnegieite (H-NASO; cubic) and nepheline (N-NASO; hexagonal) phases. The QENS measurements reveal Na ions localized diffusion behavior in L-NASO and N-NASO, but long-range diffusion behavior in H-NASO. The AIMD simulation supplemented the QENS measurements and showed that excess Na ions in H-NASO enhance the host network flexibility and activate the AlO4/SiO4 tetrahedra rotational modes. These framework modes enable the long-range diffusion of Na across a pathway of interstitial sites. The simulations also show Na diffusion in Na-deficient N-NASO through vacant Na sites along the hexagonal c-axis.


title: Inverse Bayesian Optimization: Learning Human Acquisition Functions in an Exploration vs Exploitation Search Task

abstract: This paper introduces a probabilistic framework to estimate parameters of an acquisition function given observed human behavior that can be modeled as a collection of sample paths from a Bayesian optimization procedure. The methodology involves defining a likelihood on observed human behavior from an optimization task, where the likelihood is parameterized by a Bayesian optimization subroutine governed by an unknown acquisition function. This structure enables us to make inference on a subject's acquisition function while allowing their behavior to deviate around the solution to the Bayesian optimization subroutine. To test our methods, we designed a sequential optimization task which forced subjects to balance exploration and exploitation in search of an invisible target location. Applying our proposed methods to the resulting data, we find that many subjects tend to exhibit exploration preferences beyond that of standard acquisition functions to capture. Guided by the model discrepancies, we augment the candidate acquisition functions to yield a superior fit to the human behavior in this task.


title: Down-conversion of quantum fluctuations of photonic heat current in a circuit

abstract: We discuss the non-zero frequency noise of heat current with the explicit example of energy carried by thermal photons in a circuit. Instead of the standard circuit modelling that gives a convenient way of predicting time-averaged heat current, we describe a setup composed of two resistors forming the heat baths by collections of bosonic oscillators. In terms of average heat transport this model leads to identical results with the conventional one, but besides this, it yields a convenient way of dealing with noise as well. The non-zero frequency heat current noise does not vanish in equilibrium even at zero temperature, the result that is known for, e.g., electron tunneling. We present a modulation method that can convert the difficult-to-measure high frequency quantum noise down to zero frequency.


title: Combinatorial structure of Sturmian words and continued fraction expansions of Sturmian numbers

abstract: Let $\theta = [0; a_1, a_2, \dots]$ be the continued fraction expansion of an irrational real number $\theta \in (0, 1)$. It is well-known that the characteristic Sturmian word of slope $\theta$ is the limit of a sequence of finite words $(M_k)_{k \ge 0}$, with $M_k$ of length $q_k$ (the denominator of the $k$-th convergent to $\theta$) being a suitable concatenation of $a_k$ copies of $M_{k-1}$ and one copy of $M_{k-2}$. Our first result extends this to any Sturmian word. Let $b \ge 2$ be an integer. Our second result gives the continued fraction expansion of any real number $\xi$ whose $b$-ary expansion is a Sturmian word ${\bf s}$ over the alphabet $\{0, b-1\}$. This extends a classical result of B\"ohmer who considered only the case where ${\bf s}$ is characteristic. As a consequence, we obtain a formula for the irrationality exponent of $\xi$ in terms of the slope and the intercept of ${\bf s}$.


title: Continual Learning with Fully Probabilistic Models

abstract: We present an approach for continual learning (CL) that is based on fully probabilistic (or generative) models of machine learning. In contrast to, e.g., GANs that are "generative" in the sense that they can generate samples, fully probabilistic models aim at modeling the data distribution directly. Consequently, they provide functionalities that are highly relevant for continual learning, such as density estimation (outlier detection) and sample generation. As a concrete realization of generative continual learning, we propose Gaussian Mixture Replay (GMR). GMR is a pseudo-rehearsal approach using a Gaussian Mixture Model (GMM) instance for both generator and classifier functionalities. Relying on the MNIST, FashionMNIST and Devanagari benchmarks, we first demonstrate unsupervised task boundary detection by GMM density estimation, which we also use to reject untypical generated samples. In addition, we show that GMR is capable of class-conditional sampling in the way of a cGAN. Lastly, we verify that GMR, despite its simple structure, achieves state-of-the-art performance on common class-incremental learning problems at very competitive time and memory complexity.


title: On sublinear approximations for the Petersen coloring conjecture

abstract: If $f:\mathbb{N}\rightarrow \mathbb{N}$ is a function, then let us say that $f$ is sublinear if \[\lim_{n\rightarrow +\infty}\frac{f(n)}{n}=0.\] If $G=(V,E)$ is a cubic graph and $c:E\rightarrow \{1,...,k\}$ is a proper $k$-edge-coloring of $G$, then an edge $e=uv$ of $G$ is poor (rich) in $c$, if the edges incident to $u$ and $v$ are colored with three (five) colors. An edge is abnormal if it is neither rich nor poor. The Petersen coloring conjecture of Jaeger states that any bridgeless cubic graph admits a proper 5-edge-coloring $c$, such that there is no an abnormal edge of $G$ with respect to $c$. For a proper 5-edge-coloring $c$ of $G$, let $N_G(c)$ be the set of abnormal edges of $G$ with respect to $c$. In this paper we show that (a) The Petersen coloring conjecture is equivalent to the statement that there is a sublinear function $f:\mathbb{N}\rightarrow \mathbb{N}$, such that all bridgeless cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq f(|V|)$; (b) for $k=2,3,4$, the statement that there is a sublinear function $f:\mathbb{N}\rightarrow \mathbb{N}$, such that all (cyclically) $k$-edge-connected cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq f(|V|)$ is equivalent to the statement that all (cyclically) $k$-edge-connected cubic graphs admit a proper 5-edge-coloring $c$ with $|N_G(c)|\leq 2k+1$.


title: Nonlinear coupling of whistler waves to oblique electrostatic turbulence enabled by cold plasma

abstract: Kinetic simulations and theory demonstrate that whistler waves can excite oblique, short-wavelength fluctuations through secondary drift instabilities if a population of sufficiently cold plasma is present. The excited modes lead to heating of the cold populations and damping of the primary whistler waves. The instability threshold depends on the density and temperature of the cold population and can be relatively small if the temperature of the cold population is sufficiently low. This mechanism may thus play a significant role in controlling amplitude of whistlers in the regions of the Earth's magnetosphere where cold background plasma of sufficient density is present.


title: BERTi\'c -- The Transformer Language Model for Bosnian, Croatian, Montenegrin and Serbian

abstract: In this paper we describe a transformer model pre-trained on 8 billion tokens of crawled text from the Croatian, Bosnian, Serbian and Montenegrin web domains. We evaluate the transformer model on the tasks of part-of-speech tagging, named-entity-recognition, geo-location prediction and commonsense causal reasoning, showing improvements on all tasks over state-of-the-art models. For commonsense reasoning evaluation, we introduce COPA-HR -- a translation of the Choice of Plausible Alternatives (COPA) dataset into Croatian. The BERTi\'c model is made available for free usage and further task-specific fine-tuning through HuggingFace.


title: A heuristic wave equation parameterizing BEC dark matter halos with a quantum core and an isothermal atmosphere

abstract: The Gross-Pitaevskii-Poisson equations that govern the evolution of self-gravitating Bose-Einstein condensates, possibly representing dark matter halos, experience a process of gravitational cooling and violent relaxation. We propose a heuristic parametrization of this complicated process in the spirit of Lynden-Bell's theory of violent relaxation for collisionless stellar systems. We derive a generalized wave equation (that was introduced phenomenologically in [P.H. Chavanis, Eur. Phys. J. Plus {\bf 132}, 248 (2017)]) involving a logarithmic nonlinearity associated with an effective temperature $T_{\rm eff}$ and a damping term associated with a friction $\xi$. These terms can be obtained from a maximum entropy production principle and are linked by a form of Einstein relation expressing the fluctuation-dissipation theorem. The wave equation satisfies an $H$-theorem for the Lynden-Bell entropy and relaxes towards a stable equilibrium state which is a maximum of entropy at fixed mass and energy. This equilibrium state represents the most probable state of a Bose-Einstein condensate dark matter halo. It generically has a core-halo structure. The quantum core prevents gravitational collapse and may solve the core-cusp problem. The isothermal halo leads to flat rotation curves in agreement with the observations. These results are consistent with the phenomenology of dark matter halos. Furthermore, as shown in a previous paper [P.H. Chavanis, Phys. Rev. D {\bf 100}, 123506 (2019)], the maximization of entropy with respect to the core mass at fixed total mass and total energy determines a core mass--halo mass relation which agrees with the relation obtained in direct numerical simulations. We stress the importance of using a microcanonical description instead of a canonical one. We also explain how our formalism can be applied to the case of fermionic dark matter halos.


title: An Android App for Digital Transport Cards of Smart City: Request for Suggestions

abstract: This paper provides a roadmap for designing the Global Digital Transport Cards Application (GDTCA). GDTCA is an Android Application for people to get a digital transport card online for any city and use it locally. People can top up or withdraw the transport card by using GDT Cards App. It is worth noting that such an application will have different local learning experiences based on the sparsity of the environments, which can be aggregated using federated learning and transport protocols.


title: A linear barycentric rational interpolant on starlike domains

abstract: When an approximant is accurate on the interval, it is only natural to try to extend it to several-dimensional domains. In the present article, we make use of the fact that linear rational barycentric interpolants converge rapidly toward analytic and several times differentiable functions to interpolate on two-dimensional starlike domains parametrized in polar coordinates. In radial direction, we engage interpolants at conformally shifted Chebyshev nodes, which converge exponentially toward analytic functions. In circular direction, we deploy linear rational trigonometric barycentric interpolants, which converge similarly rapidly for periodic functions, but now for conformally shifted equispaced nodes. We introduce a variant of a tensor-product interpolant of the above two schemes and prove that it converges exponentially for two-dimensional analytic functions -- up to a logarithmic factor -- and with an order limited only by the order of differentiability for real functions (provided that the boundary enjoys the same order of differentiability). Numerical examples confirm that the shifts permit to reach a much higher accuracy with significantly fewer nodes, a property which is especially important in several dimensions.


title: Online Optimal State Feedback Control of Linear Systems over Wireless MIMO Fading Channels

abstract: We consider the optimal control of linear systems over wireless MIMO fading channels, where the MIMO wireless fading and random access of the remote controller may cause intermittent controllability or uncontrollability of the closed-loop control system. We formulate the optimal control design over random access MIMO fading channels as an infinite horizon average cost Markov decision process (MDP), and we propose a novel state reduction technique such that the optimality condition is transformed into a time-invariant reduced-state Bellman optimality equation. We provide the closed-form characterizations on the existence and uniqueness of the optimal control solution via analyzing the reduced-state Bellman optimality equation. Specifically, in the case that the closed-loop system is almost surely controllable, we show that the optimal control solution always exists and is unique. In the case that MIMO fading channels and the random access of the remote controller destroy the closed-loop controllability, we propose a novel controllable and uncontrollable positive semidefinite (PSD) cone decomposition induced by the singular value decomposition (SVD) of the MIMO fading channel contaminated control input matrix. Based on the decomposed fine-grained reduced-state Bellman optimality equation, we further propose a closed-form sufficient condition for both the existence and the uniqueness of the optimal control solution. The closed-form sufficient condition reveals the fact that the optimal control action may still exist even if the closed-loop system suffers from intermittent controllability or almost sure uncontrollability.


title: LSPnet: A 2D Localization-oriented Spacecraft Pose Estimation Neural Network

abstract: Being capable of estimating the pose of uncooperative objects in space has been proposed as a key asset for enabling safe close-proximity operations such as space rendezvous, in-orbit servicing and active debris removal. Usual approaches for pose estimation involve classical computer vision-based solutions or the application of Deep Learning (DL) techniques. This work explores a novel DL-based methodology, using Convolutional Neural Networks (CNNs), for estimating the pose of uncooperative spacecrafts. Contrary to other approaches, the proposed CNN directly regresses poses without needing any prior 3D information. Moreover, bounding boxes of the spacecraft in the image are predicted in a simple, yet efficient manner. The performed experiments show how this work competes with the state-of-the-art in uncooperative spacecraft pose estimation, including works which require 3D information as well as works which predict bounding boxes through sophisticated CNNs.


title: It's Good to Relax: Fast Profit Approximation for Virtual Networks with Latency Constraints

abstract: This paper proposes a new approximation algorithm for the offline Virtual Network Embedding Problem (VNEP) with latency constraints. Given is a set of virtual networks with computational demands on nodes and bandwidth demands together with latency bounds on the edges. The VNEP's task is to feasibly embed a subset of virtual networks on a shared physical infrastructure, e.g., a data center, while maximizing the attained profit. In contrast to existing works, our approximation algorithm AFlex allows for (slight) violations of the latency constraints in order to greatly lower the runtime. To obtain this result, we use a reduction to the Restricted Shortest Path Problem (RSP) and leverage a classic result by Goel et al. We complement our formal analysis with an extensive simulation study demonstrating the computational benefits of our approach empirically. Notably, our results generalize to any other additive edge metric besides latency, including loss probability.


title: Cyber-Resilient Self-Triggered Distributed Control of Networked Microgrids Against Multi-Layer DoS Attacks

abstract: Networked microgrids with high penetration of distributed generators have ubiquitous remote information exchange, which may be exposed to various cyber security threats. This paper, for the first time, addresses a consensus problem in terms of frequency synchronisation in networked microgrids subject to multi-layer denial of service (DoS) attacks, which could simultaneously affect communication, measurement and control actuation channels. A unified notion of Persistency-of-Data-Flow (PoDF) is proposed to characterise the data unavailability in different information network links, and further quantifies the multi-layer DoS effects on the hierarchical system. With PoDF, we provide a sufficient condition of the DoS attacks under which the consensus can be preserved with the proposed edge-based self-triggered distributed control framework. In addition, to mitigate the conservativeness of offline design against the worst-case attack across all agents, an online self-adaptive scheme of the control parameters is developed to fully utilise the latest available information of all data transmission channels. Finally, the effectiveness of the proposed cyber-resilient self-triggered distributed control is verified by representative case studies.


title: An Overview of Planar Flow Casting of Thin Metallic Glasses and its Relation to Slot Coating of Liquid Films

abstract: Planar flow casting (PFC) is a method that can be used to make thin, long, and wide metallic alloy foils by extruding molten liquid through a thin and wide nozzle and immediately quenching on a moving roller. The quenching rates are high enough that amorphous metallic glasses may be formed which have many desirable properties for a wide variety of applications. This paper reviews how PFC processes were developed, examines the typical operability range of PFC, and reviews the defects that commonly form. The geometrical similarities between PFC and slot coating process are apparent, and this paper highlights differences between the operability ranges of both processes.


title: Learning on Hardware: A Tutorial on Neural Network Accelerators and Co-Processors

abstract: Deep neural networks (DNNs) have the advantage that they can take into account a large number of parameters, which enables them to solve complex tasks. In computer vision and speech recognition, they have a better accuracy than common algorithms, and in some tasks, they boast an even higher accuracy than human experts. With the progress of DNNs in recent years, many other fields of application such as diagnosis of diseases and autonomous driving are taking advantage of them. The trend at DNNs is clear: The network size is growing exponentially, which leads to an exponential increase in computational effort and required memory size. For this reason, optimized hardware accelerators are used to increase the performance of the inference of neuronal networks. However, there are various neural network hardware accelerator platforms, such as graphics processing units (GPUs), application specific integrated circuits (ASICs) and field programmable gate arrays (FPGAs). Each of these platforms offer certain advantages and disadvantages. Also, there are various methods for reducing the computational effort of DNNs, which are differently suitable for each hardware accelerator. In this article an overview of existing neural network hardware accelerators and acceleration methods is given. Their strengths and weaknesses are shown and a recommendation of suitable applications is given. In particular, we focus on acceleration of the inference of convolutional neural networks (CNNs) used for image recognition tasks. Given that there exist many different hardware architectures. FPGA-based implementations are well-suited to show the effect of DNN optimization methods on accuracy and throughput. For this reason, the focus of this work is more on FPGA-based implementations.


title: Mapping class group actions on configuration spaces and the Johnson filtration

abstract: Let $F_n(\Sigma_{g,1})$ denote the configuration space of $n$ ordered points on the surface $\Sigma_{g,1}$ and let $\Gamma_{g,1}$ denote the mapping class group of $\Sigma_{g,1}$. We prove that the action of $\Gamma_{g,1}$ on $H_i(F_n(\Sigma_{g,1});\mathbb{Z})$ is trivial when restricted to the $i^{th}$ stage of the Johnson filtration $\mathcal{J}(i)\subset \Gamma_{g,1}$. We give examples showing that $\mathcal{J}(2)$ acts nontrivially on $H_3(F_3(\Sigma_{g,1}))$ for $g\ge 2$, and provide two new conceptual reinterpretations of a certain group introduced by Moriyama.


title: Plants Don't Walk on the Street: Common-Sense Reasoning for Reliable Semantic Segmentation

abstract: Data-driven sensor interpretation in autonomous driving can lead to highly implausible predictions as can most of the time be verified with common-sense knowledge. However, learning common knowledge only from data is hard and approaches for knowledge integration are an active research area. We propose to use a partly human-designed, partly learned set of rules to describe relations between objects of a traffic scene on a high level of abstraction. In doing so, we improve and robustify existing deep neural networks consuming low-level sensor information. We present an initial study adapting the well-established Probabilistic Soft Logic (PSL) framework to validate and improve on the problem of semantic segmentation. We describe in detail how we integrate common knowledge into the segmentation pipeline using PSL and verify our approach in a set of experiments demonstrating the increase in robustness against several severe image distortions applied to the A2D2 autonomous driving data set.


abstract: With the advance of the multi-media and multi-modal data, multi-view clustering (MVC) has drawn increasing attentions recently. In this field, one of the most crucial challenges is that the characteristics and qualities of different views usually vary extensively. Therefore, it is essential for MVC methods to find an effective approach that handles the diversity of multiple views appropriately. To this end, a series of MVC methods focusing on how to integrate the loss from each view have been proposed in the past few years. Among these methods, the mainstream idea is assigning weights to each view and then combining them linearly. In this paper, inspired by the effectiveness of non-linear combination in instance learning and the auto-weighted approaches, we propose Non-Linear Fusion for Self-Paced Multi-View Clustering (NSMVC), which is totally different from the the conventional linear-weighting algorithms. In NSMVC, we directly assign different exponents to different views according to their qualities. By this way, the negative impact from the corrupt views can be significantly reduced. Meanwhile, to address the non-convex issue of the MVC model, we further define a novel regularizer-free modality of Self-Paced Learning (SPL), which fits the proposed non-linear model perfectly. Experimental results on various real-world data sets demonstrate the effectiveness of the proposed method.


title: Dynamics of groups of automorphisms of character varieties and Fatou/Julia decomposition for Painlev\'e 6

abstract: We study the dynamics of the group of holomorphic automorphisms of the affine cubic surfaces \begin{align*} S_{A,B,C,D} = \{(x,y,z) \in \mathbb{C}^3 \, : \, x^2 + y^2 + z^2 +xyz = Ax + By+Cz+D\}, \end{align*} where $A,B,C,$ and $D$ are complex parameters. We focus on a finite index subgroup $\Gamma_{A,B,C,D} < {\rm Aut}(S_{A,B,C,D})$ whose action not only describes the dynamics of Painlev\'e 6 differential equations but also arises naturally in the context of character varieties. We define the Julia and Fatou sets of this group action and prove that there is a dense orbit in the Julia set. In order to show that the Julia set is ``large'' we consider a second dichotomy, between locally discrete and locally non-discrete dynamics. For an open set in parameter space, $\mathcal{N} \subset \mathbb{C}^4$, we show that there simultaneously exists an open set in $S_{A,B,C,D}$ on which $\Gamma_{A,B,C,D}$ acts locally discretely and a second open set in $S_{A,B,C,D}$ on which $\Gamma_{A,B,C,D}$ acts locally non-discretely. After removing a countable union of real-algebraic hypersurfaces from $\mathcal{N}$ we show that $\Gamma_{A,B,C,D}$ simultaneously exhibits a non-empty Fatou set and also a Julia set having non-trivial interior. The open set $\mathcal{N}$ contains a natural family of parameters previously studied by Dubrovin-Mazzocco. The interplay between the Fatou/Julia dichotomy and the locally discrete/non-discrete dichotomy plays a major theme in this paper and seems bound to play an important role in further dynamical studies of holomorphic automorphism groups.


title: $KBc$ algebra and the gauge invariant overlap in open string field theory

abstract: We study in detail the evaluation of the gauge invariant overlap for analytic solutions constructed out of elements in the $KBc$ algebra in open string field theory. We compute this gauge invariant observable using analytical and numerical techniques based on the sliver frame $\mathcal{L}_0$ and traditional Virasoro $L_0$ level expansions of the solutions.


title: Gauge groups and bialgebroids

abstract: We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as a quantization of the gauge groupoid of a classical principal bundle. We show that the gauge group of the noncommutative bundle is isomorphic to the group of bisections of the bialgebroid, and we give a crossed module structure for the bisections and the automorphisms of the bialgebroid. Examples illustrating these constructions include: Galois objects of Taft algebras, a monopole bundle over a quantum spheres and a not faithfully flat Hopf--Galois extension of commutative algebras. The latter two examples have in fact a structure of Hopf algebroid for a suitable invertible antipode.


title: Temporal Consistency Loss for High Resolution Textured and Clothed 3DHuman Reconstruction from Monocular Video

abstract: We present a novel method to learn temporally consistent 3D reconstruction of clothed people from a monocular video. Recent methods for 3D human reconstruction from monocular video using volumetric, implicit or parametric human shape models, produce per frame reconstructions giving temporally inconsistent output and limited performance when applied to video. In this paper, we introduce an approach to learn temporally consistent features for textured reconstruction of clothed 3D human sequences from monocular video by proposing two advances: a novel temporal consistency loss function; and hybrid representation learning for implicit 3D reconstruction from 2D images and coarse 3D geometry. The proposed advances improve the temporal consistency and accuracy of both the 3D reconstruction and texture prediction from a monocular video. Comprehensive comparative performance evaluation on images of people demonstrates that the proposed method significantly outperforms the state-of-the-art learning-based single image 3D human shape estimation approaches achieving significant improvement of reconstruction accuracy, completeness, quality and temporal consistency.


title: Intermittent current interruption method for commercial lithium ion batteries aging characterization

abstract: In this article, a pioneering study is presented where the intermittent current interruption method is used to characterize the aging behavior of commercial lithium ion batteries. With a very resource-efficient implementation, this method can track the battery resistive and diffusive behaviors over the entire state of charge range and be able to determine the aging throughout the lifetime of the batteries. In addition, the incremental capacity analysis can be carried out with the same data set. This method can provide measurement results with a high repeatability and produce equivalent information as the electrochemical impedance spectroscopy method. In this study, both the resistive and diffusive parameters increase with the battery capacity fading. This method does not require advanced test equipment and even with a 0.1 Hz sampling frequency, it is possible to extract usable parameters by prolonging the interruption length. Therefore, it has the potential to be easily implemented in the charging sequence in electric vehicles or stationary storage batteries for aging diagnostics.


title: Latent-Optimized Adversarial Neural Transfer for Sarcasm Detection

abstract: The existence of multiple datasets for sarcasm detection prompts us to apply transfer learning to exploit their commonality. The adversarial neural transfer (ANT) framework utilizes multiple loss terms that encourage the source-domain and the target-domain feature distributions to be similar while optimizing for domain-specific performance. However, these objectives may be in conflict, which can lead to optimization difficulties and sometimes diminished transfer. We propose a generalized latent optimization strategy that allows different losses to accommodate each other and improves training dynamics. The proposed method outperforms transfer learning and meta-learning baselines. In particular, we achieve 10.02% absolute performance gain over the previous state of the art on the iSarcasm dataset.


title: Efficient formulation of a geometrically nonlinear beam element

abstract: The paper presents a two-dimensional geometrically nonlinear formulation of a beam element that can accommodate arbitrarily large rotations of cross sections. The formulation is based on the integrated form of equilibrium equations, which are combined with the kinematic equations and generalized material equations, leading to a set of three first-order differential equations. These equations are then discretized by finite differences and the boundary value problem is converted into an initial value problem using a technique inspired by the shooting method. Accuracy of the numerical approximation is conveniently increased by refining the integration scheme on the element level while the number of global degrees of freedom is kept constant, which leads to high computational efficiency. The element has been implemented into an open-source finite element code. Numerical examples show a favorable comparison with standard beam elements formulated in the finite-strain framework and with analytical solutions.


title: Fitbeat: COVID-19 Estimation based on Wristband Heart Rate

abstract: This study investigates the potential of deep learning methods to identify individuals with suspected COVID-19 infection using remotely collected heart-rate data. The study utilises data from the ongoing EU IMI RADAR-CNS research project that is investigating the feasibility of wearable devices and smart phones to monitor individuals with multiple sclerosis (MS), depression or epilepsy. Aspart of the project protocol, heart-rate data was collected from participants using a Fitbit wristband. The presence of COVID-19 in the cohort in this work was either confirmed through a positive swab test, or inferred through the self-reporting of a combination of symptoms including fever, respiratory symptoms, loss of smell or taste, tiredness and gastrointestinal symptoms. Experimental results indicate that our proposed contrastive convolutional auto-encoder (contrastive CAE), i. e., a combined architecture of an auto-encoder and contrastive loss, outperforms a conventional convolutional neural network (CNN), as well as a convolutional auto-encoder (CAE) without using contrastive loss. Our final contrastive CAE achieves 95.3% unweighted average recall, 86.4% precision, anF1 measure of 88.2%, a sensitivity of 100% and a specificity of 90.6% on a testset of 19 participants with MS who reported symptoms of COVID-19. Each of these participants was paired with a participant with MS with no COVID-19 symptoms.


title: Well-posedness of Hibler's dynamical sea-ice model

abstract: This paper establishes the local-in-time well-posedness of solutions to an approximating system constructed by mildly regularizing the dynamical sea-ice model of {\it W.D. Hibler, Journal of Physical Oceanography, 1979}. Our choice of regularization has been carefully designed, prompted by physical considerations, to retain the original coupled hyperbolic-parabolic character of Hibler's model. Various regularized versions of this model have been used widely for the numerical simulation of the circulation and thickness of the Arctic ice cover. However, due to the singularity in the ice rheology, the notion of solutions to the original model is unclear. Instead, an approximating system, which captures current numerical study, is proposed. The well-posedness theory of such a system provides a first-step groundwork in both numerical study and future analytical study.


title: Large-area $^{87}$Rb Bose-Einstein condensate in a clipped-Gaussian optical dipole trap

abstract: We demonstrate a production of large-area $^{87}$Rb Bose-Einstein condensates (BECs) using a non-Gaussian optical dipole trap (ODT). The ODT is formed by focusing a symmetrically truncated Gaussian laser beam and it is shown that the beam clipping causes the trap geometry elongated and flattened along the beam axis direction. In the clipped-Gaussian ODT, an elongated, highly oblate BEC of $^{87}$Rb is generated with length and width of approximately $470~\mu\textrm{m}$ and $130~\mu\textrm{m}$, respectively, where the condensate healing length is estimated to be $\xi\approx 0.25~\mu\textrm{m}$ at the trap center. The ODT is characterized to have a quartic trapping potential along the beam axis and the atom density of the condensate is uniform within 10% over $1000\xi$ in the central region. Finally, we discuss the prospect of conducting vortex shedding experiments using the elongated condensate.


title: Estimating Transit Vehicle Dwell Times at Bus Stops

abstract: This work presents a quantitative approach to estimate the total time spent in the vicinity of a bus stop including the deceleration time, the boarding and alighting time (developed in an earlier study), the acceleration time, and re-entry time (time required to merge into the adjacent lane). Different statistical models were used to compute the deceleration, acceleration and merge times. Typical deceleration and acceleration levels were computed using kinematic equations that were then used to compute both the deceleration and acceleration times. The adopted method to estimate both the deceleration time and the acceleration time was validated utilizing transit data from Blacksburg Transit (BT) using the mean absolute percentage error (MAPE) and root mean square error (RMSE). The MAPE and RMSE values were calculated to be 0.3 and 13.3 percent for the deceleration time and 0.42 and 2.72 percent for the acceleration time, respectively. The re-entry time was estimated to be a function of the adjacent roadway traffic density using both a multiple linear regression and Bayesian regression approach. Both methods showed consistency in estimating the merge-time model coefficients. The proposed models can be integrated with transit applications to estimate transit vehicle travel times.


title: The alternative fact of probable vaccine damage A typology of vaccination beliefs in 28 European countries

abstract: Background: Despite lacking scientific support, vaccine hesitancy is widespread. While vaccine damage as a scientific fact is statistically highly uncommon, emerging social and technological forces have converted probable vaccine damage into an alternative fact. Methods: Using the Eurobarometer 91.2 survey on a statistically representative EU27-UK sample interviewed in March 2019, we documented perceptions of vaccine risks and identified three belief configurations regarding vaccine effectiveness, safety, and usefulness, through exploratory cluster analysis. Results: The public beliefs in vaccine risks are frequent. Approximatively one-tenth of the EU27-UK population consider vaccines are not rigorously tested before authorization, one-third believe vaccines can overload or weaken the immune system and that they can cause the disease against which they protect, and almost one-half believe vaccines can cause serious side effects. We identified three belief configurations: the skeptical, the confident, and the trade-off clusters. The skeptical type (approx. 11 percent of EU27-UK respondents) is defined by the belief that vaccines are rather ineffective, affected by risks of probable vaccine damage, not well-tested, and useless; the confident type (approx. 59 percent) is defined by beliefs that vaccines are effective, safe, well-tested, and useful; and the trade-off type (approx. 29 percent) combines beliefs that vaccines are effective, well-tested and useful, with beliefs of probable vaccine damage. Conclusions: Probable vaccine damage presently exists as an alternative fact in the public imagination, perceptively available for wide segments of the public, including those who trust medical science.


title: Demand Response Requirements from the Cultural, Social, and Behavioral Perspectives

abstract: Demand-side response programs which also called Demand Response (DR) are interesting ways to attract consumers' participation in order to improve electric consumption patterns. DR programs motivate customers to change consumption patterns in response to price changes. This could be done by paying incentives or considering penalties either when wholesale market prices are high or when network reliability is at risk. The overall purpose of implementing DR programs is to improve reliability of the networks, while reducing the operation costs. Successful implementation of these DR programs requires prerequisites, which without them, there is no guarantee of success. Different disciplines have provided various scientific solutions for creating optimal power consumption behavior in customers (such as utilizing intelligent home appliances and big data techniques). Although each of these solutions might be efficient and effective, they could not cover all the aspects of the solutions. The results of studies conducted by many researchers show that in addition to the technical and economic issues, social, cultural, and behavioral factors are of great importance in DR implementation. Therefore, in this paper, these aspects, as one of the vital requirements for better implementation of DR, are investigated and analyzed in detail.


title: Feedback-controlled microbubble generator producing one million monodisperse bubbles per second

abstract: Monodisperse lipid-coated microbubbles are a promising route to unlock the full potential of ultrasound contrast agents for medical diagnosis and therapy. Here, we present a stand-alone lab-on-a-chip instrument that allows microbubbles to be formed with high monodispersity at high production rates. Key to maintaining a long-term stable, controlled, and safe operation of the microfluidic device with full control over the output size distribution is an optical transmission based measurement technique that provides real-time information on production rate and bubble size. We feed the data into a feedback loop and demonstrate that this system can control the on-chip bubble radius (2.5 to 20 $\mu$m) and the production rate up to $10^6$ bubbles/s. The freshly formed phospholipid-coated bubbles stabilize after their formation to a size approximately two times smaller than their initial on-chip bubble size without loss of monodispersity. The feedback control technique allows for full control over the size distribution of the agent and can aid the development of microfluidic platforms operated by non-specialist end users.


title: Quantifying changes in the British cattle movement network

abstract: The Cattle Tracing System database is an online recording system for cattle births, deaths and between--herd movements in the United Kingdom. Although it has been thoroughly examined, the most recently reported movement analysis is from 2009. This article uses the database to construct weighted directed monthly movement networks for two distinct periods of time, 2004--2006 and 2015--2017, to quantify by how much the underlying structure of the network has changed. Substantial changes in network structure may influence policy--makers directly or may influence models built upon the network data, and these in turn could impact policy--makers and their assessment of risk. Four general network measures are used (total number of nodes with movements, movements, births and deaths), in conjunction with network metrics to describe each monthly network. Two updates of the database were examined to determine by how much the movement data stored for a particular time period had been cleansed between updates. Statistical models show that there is a statistically significant effect of the time period (2004--2006 vs 2015--2017) in the values of all network measures and six of nine network metrics. Changes in the sizes of both the Giant and Weakly Strongly Connected components predict reductions in the upper and lower bounds of the maximum epidemic size. Examination of the updates of the database show that there are differences in records between updates and therefore evidence of historical data changing between updates. Accurate modelling of disease spread through a network requires representative descriptions of the network. The authors recommend that where possible the most recent available data always be used for network modelling and that methods of network prediction be examined to mitigate for the time required for data to become available.


title: Temperature Dependent Reverse Recovery Characterization of SiC MOSFETs Body Diode forSwitching Loss Estimation In a Half-Bridge

abstract: In a hard switched MOSFET based converter, turn-on energy losses is predominant in the total switching loss. At higher junction temperature the turn-on energy loss further increases due to the reverse recovery effect of the complementary MOSFETs body diode in a half-bridge configuration. Estimation of the switching loss under different operating conditions at an early design stage is essential for optimising the thermal design. Analytical switching loss models available in literature are generally used for estimating the switching losses, due to its accuracy and simplicity. In this paper, the inaccuracy in the reported loss models due to non inclusion of temperature dependent reverse recovery characteristics of body diode, is investigated. A structured method to determine the temperature-dependent switching loss of a SiC MOSFET in a half-bridge is presented. A simple methodology has been proposed to analyze the carrier lifetime's temperature dependencies of a SiC MOSFETs body diode. Device parameters from a 1.2kV/36A SiC MOSFETs datasheet are used for developing the loss model and experimental validation of the model.


title: The Impact of Hyper-Parameter Tuning for Landscape-Aware Performance Regression and Algorithm Selection

abstract: Automated algorithm selection and configuration methods that build on exploratory landscape analysis (ELA) are becoming very popular in Evolutionary Computation. However, despite a significantly growing number of applications, the underlying machine learning models are often chosen in an ad-hoc manner. We show in this work that three classical regression methods are able to achieve meaningful results for ELA-based algorithm selection. For those three models -- random forests, decision trees, and bagging decision trees -- the quality of the regression models is highly impacted by the chosen hyper-parameters. This has significant effects also on the quality of the algorithm selectors that are built on top of these regressions. By comparing a total number of 30 different models, each coupled with 2 complementary regression strategies, we derive guidelines for the tuning of the regression models and provide general recommendations for a more systematic use of classical machine learning models in landscape-aware algorithm selection. We point out that a choice of the machine learning model merits to be carefully undertaken and further investigated.


title: Asymptotic analysis of the sojourn time of a batch in an $M^{[X]}/M/1$ Processor Sharing Queue

abstract: In this paper, we exploit results obtained in an earlier study for the Laplace transform of the sojourn time $\Omega$ of an entire batch in the $M^{[X]}/M/1$ Processor Sharing (PS) queue in order to derive the asymptotic behavior of the complementary probability distribution function of this random variable, namely the behavior of $P(\Omega>x)$ when $x$ tends to infinity. We precisely show that up to a multiplying factor, the behavior of $P(\Omega>x)$ for large $x$ is of the same order of magnitude as $P(\omega>x)$, where $\omega$ is the sojourn time of an arbitrary job is the system. From a practical point of view, this means that if a system has to be dimensioned to guarantee processing time for jobs then the system can also guarantee processing times for entire batches by introducing a marginal amount of processing capacity.


title: Towards Large-Scale Scalable MAV Swarms with ROS2 and UWB-based Situated Communication

abstract: The design and development of swarms of micro-aerial vehicles (MAVs) has recently gained significant traction. Collaborative aerial swarms have potential applications in areas as diverse as surveillance and monitoring, inventory management, search and rescue, or in the entertainment industry. Swarm intelligence has, by definition, a distributed nature. Yet performing experiments in truly distributed systems is not always possible, as much of the underlying ecosystem employed requires some sort of central control. Indeed, in experimental proofs of concept, most research relies on more traditional connectivity solutions and centralized approaches. External localization solutions, such as motion capture (MOCAP) systems, visual markers, or ultra-wideband (UWB) anchors are often used. Alternatively, intra-swarm solutions are often limited in terms of, e.g., range or field-of-view. Research and development has been supported by platforms such as the e-puck, the kilobot, or the crazyflie quadrotors. We believe there is a need for inexpensive platforms such as the Crazyflie with more advanced onboard processing capabilities and sensors, while offering scalability and robust communication and localization solutions. In the following, we present a platform for research and development in aerial swarms currently under development, where we leverage Wi-Fi mesh connectivity and the distributed ROS2 middleware together with UWB ranging and communication for situated communication. We present a platform for building towards large-scale swarms of autonomous MAVs leveraging the ROS2 middleware, Wi-Fi mesh connectivity, and UWB ranging and communication. The platform is based on the Ryze Tello Drone, a Raspberry Pi Zero W as a companion computer together with a camera module, and a Decawave DWM1001 UWB module for ranging and basic communication.


title: A vehicle routing problem for biological sample transportation in healthcare: mathematical formulations and a metaheuristic approach

abstract: In this paper, a real-world transportation problem is addressed, concerning the collection and the transportation of biological sample tubes from sampling points to a main hospital. Blood and other biological samples are collected in different centers during morning hours. Then, the samples are transported to the main hospital, for their analysis, by a fleet of vehicles located in geographically distributed depots. Each sample has a limited lifetime and must arrive to the main hospital within that time. If a sample cannot arrive to the hospital within the lifetime, either is discarded or must be processed in dedicated facilities called Spoke Centers.Two Mixed Integer Linear Programming formulations and an Adaptive Large Neighborhood Search (ALNS) metaheuristic algorithm have been developed for the problem. Computational experiments on different sets of instances based on real-life data provided by the Local Healthcare Authority of Bologna, Italy, are presented. A comparison on small instances with the optimal solutions obtained by the formulations shows the effectiveness of the proposed ALNS algorithm. On real-life instances, different batching policies of the samples are evaluated. The results show that the ALNS algorithm is able to find solutions in which all the samples are delivered on time, while in the real case about the 40% [5] of the samples is delivered late.


title: SuperMeshing: A New Deep Learning Architecture for Increasing the Mesh Density of Metal Forming Stress Field with Attention Mechanism and Perceptual Features

abstract: In stress field analysis, the finite element analysis is a crucial approach, in which the mesh-density has a significant impact on the results. High mesh density usually contributes authentic to simulation results but costs more computing resources, leading to curtailing efficiency during the design process. To eliminate this drawback, we propose a new data-driven mesh-density boost model named SuperMeshingNet that strengthens the advantages of finite element analysis (FEA) with low mesh-density as inputs to the deep learning model, which consisting of Res-UNet architecture, to acquire high-density stress field instantaneously, shortening computing time and cost automatically. Moreover, the attention mechanism and the perceptual features are utilized, enhancing the performance of SuperMeshingNet. Compared to the baseline that applied the linear interpolation method, SuperMeshingNet achieves a prominent reduction in the mean squared error (MSE) and mean absolute error (MAE) on test data, which contains prior unseen cases. Based on the data set of metal forming, the comparable experiments are proceeded to demonstrate the high quality and superior precision of the reconstructed results generated by our model. The well-trained model can successfully show more excellent performance than the baseline and other methods on the multiple scaled mesh-density, including $2\times$, $4\times$, and $8\times$. With the refined result owning broaden scaling of mesh density and high precision, the FEA process can be accelerated with seldom cost on computation resources. We publicly share our work with full detail of implementation at https://github.com/zhenguonie/2021_SuperMeshing_2D_Metal_Forming


title: Machine-Learning Classification of Closed and Open Radiating Wires from Near Magnetic or Electric Field Scan Images

abstract: Sets of intelligent classifiers are applied to the near-field scan-data in order to automatically classify the shape of radiating wirings. The support vector machine, k-nearest neighbors algorithm, and Gaussian process classifications are trained using the near-field radiation pattern of diverse radiating wire configurations. Leave-one-out cross-validation is used for estimating the performance of the predictive models. The output of this research is a software package well-suited to be retrained based on any measured near-field databank to automate the identification of magnetic-type or electric-type of the radiating coupling sources.

categories: eess.IV cs.LG physics.app-ph physics.ins-det


title: Radio-Transparent Dipole Antenna Based on a Metasurface Cloak

abstract: Antenna technology is at the basis of ubiquitous wireless communication systems and sensors. Radiation is typically sustained by conduction currents flowing around resonant metallic objects that are optimized to enhance efficiency and bandwidth. However, resonant conductors are prone to large scattering of impinging waves, leading to challenges in crowded antenna environments due to blockage and distortion. Metasurface cloaks have been explored in the quest of addressing this challenge by reducing antenna scattering, but with limited performance in terms of bandwidth, footprint and overall scattering reduction. Here we introduce a different route towards radio-transparent antennas, in which the cloak itself acts as the radiating element, drastically reducing the overall footprint while enhancing scattering suppression and bandwidth, without sacrificing other relevant radiation metrics compared to conventional antennas. This technique offers a new application of cloaking technology, with promising features for crowded wireless communication platforms and noninvasive sensing.


title: KIC5950759: a high-amplitude $\delta$ Sct star with amplitude and frequency modulation near the terminal age main sequence

abstract: Amongst the intermediate mass pulsating stars known as $\delta$ Sct stars is a subset of high-amplitude and predominantly radial-mode pulsators known as high-amplitude $\delta$ Sct (HADS) stars. From more than 2000 $\delta$ Sct stars observed by the Kepler space mission, only two HADS stars were detected. We investigate the more perplexing of these two HADS stars, KIC5950759. We study its variability using ground- and space-based photometry, determine its atmospheric parameters from spectroscopy and perform asteroseismic modelling to constrain its mass and evolutionary stage. From spectroscopy, we find that KIC5950759 is a metal-poor star, which is in agreement with the inferred metallicity needed to reproduce its pulsation mode frequencies from non-adiabatic pulsation models. Furthermore, we combine ground-based WASP and Kepler space photometry, and measure a linear change in period of order $\dot{P}/P \simeq 10^{-6}$ yr$^{-1}$ for both the fundamental and first overtone radial modes across a time base of several years, which is at least two orders of magnitude larger than predicted by evolution models, and is the largest measured period change in a $\delta$ Sct star to date. Our analysis indicates that KIC5950759 is a metal-poor HADS star near the short-lived contraction phase and the terminal-age main sequence, with its sub-solar metallicity making it a candidate SX Phe star. KIC5950759 is a unique object amongst the thousands of known $\delta$ Sct stars and warrants further study to ascertain why its pulsation modes are evolving remarkably faster than predicted by stellar evolution.


title: Pareto-Optimal Domino-Tiling of Orthogonal Polygon Phased Arrays

abstract: The modular design of planar phased arrays arranged on orthogonal polygon-shaped apertures is addressed and a new method is proposed to synthesize domino-tiled arrays fitting multiple, generally conflicting, requirements. Starting from an analytic procedure to check the domino-tileability of the aperture, two multi-objective optimization techniques are derived to efficiently and effectively deal with small and medium/large arrays depending on the values of the bounds for the cardinality of the solution space of the admissible clustered solutions. A set of representative numerical examples is reported to assess the effectiveness of the proposed synthesis approach also through full-wave simulations when considering non-ideal models for the radiating elements of the array.

categories: physics.app-ph eess.SP math.CO physics.class-ph


title: Two-Group Flux Analysis of Neutrons which enter, internally scatter, and often escape a Shielding Layer of Iron -- with respective Group Settings circa one MeV and kilo-eV

abstract: It has been long recognized that radiation transport theory is the foundation for the planning and analysis of X-ray (gamma-ray) radiation therapy and for imaging. In less common but appropriate occasions as an alternative to X-rays or gammas, neutron radiation is used in oncological treatments or in imaging of patients. The following work is also potentially of interest to Radiation Safety Planners. Especially in regard to uses for neutron beams, we introduce and present a deterministic and semi-analytical method for doing transport analysis on neutrons and which are judiciously set to be distributed into two energy groups. There are advantages for doing such 2-group and higher multi-group analysis of radiative particles (i.e. neutrons and photons). These advantages are that we can more directly keep track of what percentages of radiative particles are close to the original high energy and how many are at significantly lower energy. For photons, the profile of any build-up function shows that the function is slightly larger than 1.0 at entry, then it rises to perhaps 2 or 3 within roughly one mean free path of the fast primary particles, and finally approaches the asymptote of 1.0 as the penetration depth gets progressively larger. Neutrons deserve a separate treatment. Although it is lengthier, our algorithm and formulation is much more complete than the popular formula used among radiologists where exponential decay is modified with a buildup coefficient. Moreover, a buildup function for neutron fluxes do not appear to be widely offered in radiological and radiation safety publications. This paper demonstrates a method to predict the ratio of high energy (circa 1 MeV) neutrons over low energy neutrons (in a group below 0.201 MeV) which are scattered backwards and forwards out of walls of Fe-56 at various thicknesses.