title: Strongly First Order, Domain Independent Dependencies: the Union-Closed Case

abstract: Team Semantics generalizes Tarski's Semantics by defining satisfaction with respect to sets of assignments rather than with respect to single assignments. Because of this, it is possible to use Team Semantics to extend First Order Logic via new kinds of connectives or atoms - most importantly, via dependency atoms that express dependencies between different assignments. Some of these extensions are more expressive than First Order Logic proper, while others are reducible to it. In this work, I provide necessary and sufficient conditions for a dependency atom that is domain independent (in the sense that its truth or falsity in a relation does not depend on the existence in the model of elements that do not occur in the relation) and union closed (in the sense that whenever it is satisfied by all members of a family of relations it is also satisfied by their union) to be strongly first order, in the sense that the logic obtained by adding them to First Order Logic is no more expressive than First Order Logic itself.


title: Extinction of multiple shocks in the modular Burgers equation

abstract: We consider multiple shock waves in the Burgers' equation with a modular advection term. It was previously shown that the modular Burgers' equation admits a traveling viscous shock with a single interface, which is stable against smooth and exponentially localized perturbations. In contrast, we suggest in the present work with the help of energy estimates and numerical simulations that the evolution of shock waves with multiple interfaces leads to finite-time coalescence of two consecutive interfaces. We formulate a precise scaling law of the finite-time extinction supported by the interface equations and by numerical simulations.


title: Monocular Human Digitization via Implicit Re-projection Networks

abstract: We present an approach to generating 3D human models from images. The key to our framework is that we predict double-sided orthographic depth maps and color images from a single perspective projected image. Our framework consists of three networks. The first network predicts normal maps to recover geometric details such as wrinkles in the clothes and facial regions. The second network predicts shade-removed images for the front and back views by utilizing the predicted normal maps. The last multi-headed network takes both normal maps and shade-free images and predicts depth maps while selectively fusing photometric and geometric information through multi-headed attention gates. Experimental results demonstrate that our method shows visually plausible results and competitive performance in terms of various evaluation metrics over state-of-the-art methods.


title: l-Leaks: Membership Inference Attacks with Logits

abstract: Machine Learning (ML) has made unprecedented progress in the past several decades. However, due to the memorability of the training data, ML is susceptible to various attacks, especially Membership Inference Attacks (MIAs), the objective of which is to infer the model's training data. So far, most of the membership inference attacks against ML classifiers leverage the shadow model with the same structure as the target model. However, empirical results show that these attacks can be easily mitigated if the shadow model is not clear about the network structure of the target model. In this paper, We present attacks based on black-box access to the target model. We name our attack \textbf{l-Leaks}. The l-Leaks follows the intuition that if an established shadow model is similar enough to the target model, then the adversary can leverage the shadow model's information to predict a target sample's membership.The logits of the trained target model contain valuable sample knowledge. We build the shadow model by learning the logits of the target model and making the shadow model more similar to the target model. Then shadow model will have sufficient confidence in the member samples of the target model. We also discuss the effect of the shadow model's different network structures to attack results. Experiments over different networks and datasets demonstrate that both of our attacks achieve strong performance.


title: A class of few-Lee weight $\mathbb{Z}_2[u]$-linear codes using simplicial complexes and minimal codes via Gray map

abstract: Recently some mixed alphabet rings are involved in constructing few-Lee weight additive codes with optimal or minimal Gray images using suitable defining sets or down-sets. Inspired by these works, we choose the mixed alphabet ring $\mathbb{Z}_2\mathbb{Z}_2[u]$ to construct a special class of linear code $C_L$ over $\mathbb{Z}_2[u]$ with $u^2=0$ by employing simplicial complexes generated by a single maximal element. We show that $C_L$ has few-Lee weights by determining the Lee weight distribution of $C_L$. Theoretically, this shows that we may employ simplicial complexes to obatin few-weight codes even in the case of mixed alphabet rings. We show that the Gray image of $C_L$ is self-orthogonal and we have an infinite family of minimal codes over $\mathbb{Z}_2$ via Gray map, which can be used to secret sharing schemes.


title: Data-Driven Estimation of Capacity Upper Bounds

abstract: We consider the problem of estimating an upper bound on the capacity of a memoryless channel with unknown channel law and continuous output alphabet. A novel data-driven algorithm is proposed that exploits the dual representation of capacity where the maximization over the input distribution is replaced with a minimization over a reference distribution on the channel output. To efficiently compute the required divergence maximization between the conditional channel and the reference distribution, we use a modified mutual information neural estimator that takes the channel input as an additional parameter. We numerically evaluate our approach on different memoryless channels and show empirically that the estimated upper bounds closely converge either to the channel capacity or to best-known lower bounds.


title: Novel Feature of Liquid Dynamics via Improvements in meV-Resolution Inelastic X-Ray Scattering

abstract: We describe how improvements in methodology and instrumentation for meV-resolved inelastic x-ray scattering (IXS), coupled with a fresh examination of older theory, allow identification of interaction between the quasi-elastic and acoustic dynamical modes in liquid water. This helps explain a decades old controversy about the appearance of additional modes in water spectra, and provides a strong base from which to discuss new phenomena in liquids on the mesoscale.


title: Joint Acoustic Echo Cancellation and Blind Source Extraction based on Independent Vector Extraction

abstract: We describe a joint acoustic echo cancellation (AEC) and blind source extraction (BSE) approach for multi-microphone acoustic frontends. The proposed algorithm blindly estimates AEC and beamforming filters by maximizing the statistical independence of a non-Gaussian source of interest and a stationary Gaussian background modeling interfering signals and residual echo. Double talk-robust and fast-converging parameter updates are derived from a global maximum-likelihood objective function resulting in a computationally efficient Newton-type update rule. Evaluation with simulated acoustic data confirms the benefit of the proposed joint AEC and beamforming filter estimation in comparison to updating both filters individually.


title: Shocking interactions of supernova remnants with atomic and molecular clouds -- the interplay between shocks, thermal instability and gravity in the large cloud regime

abstract: Using the adaptive mesh refinement code MG, we perform 3D hydrodynamic simulations of a supernova-cloud interaction in the "large cloud regime". The cloud is initially atomic and evolving due to the thermal instability (TI) and gravity. We study interactions in a "pre-TI" and "post-TI" stage when cold and dense clumps are present, and compare these results to idealised shock-cloud scenarios in the "small cloud regime", and a scenario without shocks. On aggregate, the supernova disruption is significantly weaker than that from an idealised shock due to the supernova impact being instantaneous, and not continuous. In both supernova-cloud interactions, we observe two shocks impact the cloud, followed by the development of a weak 10 km s$^{-1}$ upstream flow on the cloud interface, and a global ambient pressure drop. When the cloud is still atomic, it expands due to this drop. Additionally, the TI is triggered at the front of the cloud, causing the formation of a cap-like structure with clumps embedded inside. The upstream flow converges in this region, resulting in a lobe-like cloud morphology. When the cloud is molecular, the transmitted shock disrupts the inter-clump material and causes the clumps' outer envelopes to expand slightly and form tail-like morphologies. These effects are less pronounced than those in our shock-cloud scenarios, and more pronounced that those in our un-shocked scenario. After 3.5 Myrs, the effects from the supernova decay and the cloud returns to an almost indistinguishable state from an un-shocked cloud, in spite of the global ambient pressure drop. In neither supernova-cloud scenario do we see any local gravitational collapse.


title: Inflation and primordial gravitational waves in scale-invariant quadratic gravity with Higgs

abstract: In scale-invariant models of fundamental physics all mass scales are generated via spontaneous symmetry breaking. In this work, we study inflation in scale-invariant quadratic gravity, in which the Planck mass is generated classically by a scalar field, which evolves from an unstable fixed point to a stable one thus breaking scale-invariance. We investigate the dynamics by means of dynamical system standard techniques. By computing the spectral indices and comparing them with data, we put some constraints on the three dimensionless parameters of the theory. We show that certain regions of the parameter space will be within the range of future CMB missions like CMB-S4, LiteBIRD and STPol. The second half of the paper is dedicated to the analysis of inflationary first-order tensor perturbations and the calculation of the power spectrum of the gravitational waves. We comment on our results and compare them with the ones of mixed Starobinsky-Higgs inflation.


title: Monomial reduction of knot polynomials

abstract: For all natural numbers $N$ and prime numbers $p$, we find a knot $K$ whose skein polynomial $P_K(a,z)$ evaluated at $z=N$ has trivial reduction modulo $p$. An interesting consequence of our construction is that all polynomials $P_K(a,N)$ (mod~$p$) with bounded $a$-span are realised by knots with bounded braid index. As an application, we classify all polynomials of the form $P_K(a,1)$ (mod $2$) with $a$-span $\leq 10$.


title: Entropic Accord: A new measure in the quantum correlation hierarchy

abstract: Quantum correlation often refers to correlations exhibited by two or more local subsystems under a suitable measurement. These correlations are beyond the framework of classical statistics and the associated classical probability distribution. Quantum entanglement is the most well known of such correlations and plays an important role in quantum information theory. However, there exist non-entangled states that still possess quantum correlations which cannot be described by classical statistics. One such measure that captures these nonclassical correlations is discord. Here we introduce a new measure of quantum correlations which we call entropic accord that fits between entanglement and discord. It is defined as the optimised minimax mutual information of the outcome of the projective measurements between two parties. We show a strict hierarchy exists between entanglement, entropic accord and discord for two-qubit states. We study two-qubit states which shows the relationship between the three entropic quantities. In addition to revealing a class of correlations that are distinct from discord and entanglement, the entropic accord measure can be inherently more intuitive in certain contexts.


title: Existence and weak-strong uniqueness for Maxwell-Stefan-Cahn-Hilliard systems

abstract: A Maxwell-Stefan system for fluid mixtures with driving forces depending on Cahn-Hilliard-type chemical potentials is analyzed. The corresponding parabolic cross-diffusion equations contain fourth-order derivatives and are considered in a bounded domain with no-flux boundary conditions. The main difficulty of the analysis is the degeneracy of the diffusion matrix, which is overcome by proving the positive definiteness of the matrix on a subspace and using the Bott--Duffin matrix inverse. The global existence of weak solutions and a weak-strong uniqueness property are shown by a careful combination of (relative) energy and entropy estimates, yielding $H^2(\Omega)$ bounds for the densities, which cannot be obtained from the energy or entropy inequalities alone.


title: Frame set for Gabor systems with Haar window

abstract: We show the full structure of the frame set for the Gabor system $\mathcal{G}(g;\alpha,\beta):=\{e^{-2\pi i m\beta\cdot}g(\cdot-n\alpha):m,n\in\Bbb Z\}$ with the window being the Haar function $g=-\chi_{[-1/2,0)}+\chi_{[0,1/2)}$. The strategy of this paper is to introduce the piecewise linear transformation $\mathcal{M}$ on the unit circle, and to provide a complete characterization of structures for its (symmetric) maximal invariant sets. This transformation is related to the famous three gap theorem of Steinhaus which may be of independent interest. Furthermore, a classical criterion on Gabor frames is improved, which allows us to establish {a} necessary and sufficient condition for the Gabor system $\mathcal{G}(g;\alpha,\beta)$ to be a frame, i.e., the symmetric invariant set of the transformation $\mathcal{M}$ is empty. Compared with the previous studies, the present paper provides a self-contained environment to study Gabor frames by a new perspective, which includes that the techniques developed here are new and all the proofs could be understood thoroughly by the readers without reference to the known results in the previous literature.


title: Exponential Integral Solutions for Fixation Time in Wright-Fisher Model With Selection

abstract: In this work we derive new analytic expressions for fixation time in Wright-Fisher model with selection. The three standard cases for fixation are considered: fixation to zero, to one or both. Second order differential equations for fixation time are obtained by a simplified approach using only the law of total probability and Taylor expansions. The obtained solutions are given by a combination of exponential integral functions with elementary functions. We then state approximate formulas involving only elementary functions valid for small selection effects. The quality of our results are explored throughout an extensive simulation study. We show that our results approximate the discrete problem very accurately even for small population size (a few hundreds) and large selection coefficients.


title: Experimental measurement of respiratory particles dispersed by wind instruments and analysis of the associated risk of infection transmission

abstract: Activities such as singing or playing a wind instrument release respiratory particles into the air that may contain pathogens and thus pose a risk for infection transmission. Here we report measurements of the size distribution, number, and volume concentration of exhaled particles from 31 healthy musicians playing 20 types of wind instruments using aerosol spectrometry and in-line holography in a strictly controlled cleanroom environment. We find that playing wind instruments carries a lower risk of airborne disease transmission than speaking or singing. We attribute this to the fact that the resonators of wind instruments act as filters for particles >10 $\mu$m in diameter. We have also measured the size-dependent filtering properties of different types of filters that can be used as instrument masks. Based on these measurements, we calculated the risk of airborne transmission of SARS-CoV-2 in different near- and far-field scenarios with and without masking and/or distancing. We conclude that in all cases where there is a possibility that the musician is infectious, the only safe measure to prevent airborne transmission of the disease is the use of well-fitting and well-filtering masks for the instrument and the susceptible person.


title: Opportunistic Routing Aided Cooperative Communication Network with Energy-Harvesting

abstract: In this paper, a cooperative communication network based on energy-harvesting (EH) decode-and-forward (DF) relays that harvest energy from the ambience using buffers with harvest-store-use (HSU) architecture is considered. An opportunistic routing (OR) protocol, which selects the transmission path of packet based on the node transmission priority, is proposed to improve data delivery in this network. Additionally, an algorithm based on state transition matrix (STM) is proposed to obtain the probability distribution of the candidate broadcast node set. Based on the probability distribution, the existence conditions and the theoretical expressions for the limiting distribution of energy in energy buffers using discrete-time continuous-state space Markov chain (DCSMC) model are derived. Furthermore, the closed-form expressions for network outage probability and throughput are obtained with the help of the limiting distributions of energy stored in buffers. Numerous experiments have been performed to validate the derived theoretical expressions.


title: Modeling Human Behavior Part II -- Cognitive approaches and Uncertainty

abstract: As we discussed in Part I of this topic, there is a clear desire to model and comprehend human behavior. Given the popular presupposition of human reasoning as the standard for learning and decision-making, there have been significant efforts and a growing trend in research to replicate these innate human abilities in artificial systems. In Part I, we discussed learning methods which generate a model of behavior from exploration of the system and feedback based on the exhibited behavior as well as topics relating to the use of or accounting for beliefs with respect to applicable skills or mental states of others. In this work, we will continue the discussion from the perspective of methods which focus on the assumed cognitive abilities, limitations, and biases demonstrated in human reasoning. We will arrange these topics as follows (i) methods such as cognitive architectures, cognitive heuristics, and related which demonstrate assumptions of limitations on cognitive resources and how that impacts decisions and (ii) methods which generate and utilize representations of bias or uncertainty to model human decision-making or the future outcomes of decisions.


title: SENS: Semantic Synthetic Benchmarking Model for integrated supply chain simulation and analysis

abstract: Supply Chain (SC) modeling is essential to understand and influence SC behavior, especially for increasingly globalized and complex SCs. Existing models address various SC notions, e.g., processes, tiers and production, in an isolated manner limiting enriched analysis granted by integrated information systems. Moreover, the scarcity of real-world data prevents the benchmarking of the overall SC performance in different circumstances, especially wrt. resilience during disruption. We present SENS, an ontology-based Knowlegde-Graph (KG) equipped with SPARQL implementations of KPIs to incorporate an end-to-end perspective of the SC including standardized SCOR processes and metrics. Further, we propose SENS-GEN, a highly configurable data generator that leverages SENS to create synthetic semantic SC data under multiple scenario configurations for comprehensive analysis and benchmarking applications. The evaluation shows that the significantly improved simulation and analysis capabilities, enabled by SENS, facilitate grasping, controlling and ultimately enhancing SC behavior and increasing resilience in disruptive scenarios.


title: Modeling Human Behavior Part I -- Learning and Belief Approaches

abstract: There is a clear desire to model and comprehend human behavior. Trends in research covering this topic show a clear assumption that many view human reasoning as the presupposed standard in artificial reasoning. As such, topics such as game theory, theory of mind, machine learning, etc. all integrate concepts which are assumed components of human reasoning. These serve as techniques to attempt to both replicate and understand the behaviors of humans. In addition, next generation autonomous and adaptive systems will largely include AI agents and humans working together as teams. To make this possible, autonomous agents will require the ability to embed practical models of human behavior, which allow them not only to replicate human models as a technique to "learn", but to to understand the actions of users and anticipate their behavior, so as to truly operate in symbiosis with them. The main objective of this paper it to provide a succinct yet systematic review of the most important approaches in two areas dealing with quantitative models of human behaviors. Specifically, we focus on (i) techniques which learn a model or policy of behavior through exploration and feedback, such as Reinforcement Learning, and (ii) directly model mechanisms of human reasoning, such as beliefs and bias, without going necessarily learning via trial-and-error.


title: A Survey of Left Atrial Appendage Segmentation and Analysis in 3D and 4D Medical Images

abstract: Atrial fibrillation (AF) is a cardiovascular disease identified as one of the main risk factors for stroke. The majority of strokes due to AF are caused by clots originating in the left atrial appendage (LAA). LAA occlusion is an effective procedure for reducing stroke risk. Planning the procedure using pre-procedural imaging and analysis has shown benefits. The analysis is commonly done by manually segmenting the appendage on 2D slices. Automatic LAA segmentation methods could save an expert's time and provide insightful 3D visualizations and accurate automatic measurements to aid in medical procedures. Several semi- and fully-automatic methods for segmenting the appendage have been proposed. This paper provides a review of automatic LAA segmentation methods on 3D and 4D medical images, including CT, MRI, and echocardiogram images. We classify methods into heuristic and model-based methods, as well as into semi- and fully-automatic methods. We summarize and compare the proposed methods, evaluate their effectiveness, and present current challenges in the field and approaches to overcome them.


title: Asymptotics for connected graphs and irreducible tournaments

abstract: We compute the whole asymptotic expansion of the probability that a large uniform labeled graph is connected, and of the probability that a large uniform labeled tournament is irreducible. In both cases, we provide a combinatorial interpretation of the involved coefficients.


title: R-matrix analysis of elastic scattering, phase shift and radiative capture reaction cross sections in the $\alpha + \alpha$ system

abstract: The unstable nucleus $^8$Be, with its two $\alpha$-cluster configuration, is the doorway to the formation of heavier $\alpha$-cluster nuclei. Most importantly, its the precursor of the production of $^{12}$C through the Hoyle state, a resonance state of three $\alpha$ clusters, in the helium burning phase of a massive star. The nucleus exhibits a ground state band of rotational states established through $\alpha-\alpha$ scattering experiments. A subsequent precision particle-$\gamma$ coincidence measurement of the electromagnetic transition between the 4$^+\rightarrow$ 2$^+$ excited states also corroborated the evidence for a highly deformed dumb-bell shaped structure of $^8$Be. A simultaneous phenomenological R-matrix analysis of the measured capture reaction cross sections along with the elastic excitation function and phase shift data has been performed. The resulting reduced transition strength of 21.96$\pm$3.86 $e^2 fm^4$ compares well with the estimated experimental value of 21.0$\pm$2.3 e$^2$ fm$^4$. The R-matrix yield of the B($E2$) value is closer to the prediction of cluster model but about 19$\%$ less than the {\it ab initio} result.


title: Joint Power Allocation and Beamformer for mmW-NOMA Downlink Systems by Deep Reinforcement Learning

abstract: The high demand for data rate in the next generation of wireless communication could be ensured by Non-Orthogonal Multiple Access (NOMA) approach in the millimetre-wave (mmW) frequency band. Joint power allocation and beamforming of mmW-NOMA systems is mandatory which could be met by optimization approaches. To this end, we have exploited Deep Reinforcement Learning (DRL) approach due to policy generation leading to an optimized sum-rate of users. Actor-critic phenomena are utilized to measure the immediate reward and provide the new action to maximize the overall Q-value of the network. The immediate reward has been defined based on the summation of the rate of two users regarding the minimum guaranteed rate for each user and the sum of consumed power as the constraints. The simulation results represent the superiority of the proposed approach rather than the Time-Division Multiple Access (TDMA) and another NOMA optimized strategy in terms of sum-rate of users.


title: On ordered sequences for link diagrams with respect to Reidemeister moves I and III

abstract: We first prove that, infinitely many pairs of trivial knot diagrams that are transformed into each other by applying Reidemeister moves I and III are NOT transformed into each other by a sequence of the Reidemeister moves I that increase the number of crossings, followed by a sequence of Reidemeister moves III, followed by a sequence of the Reidemeister moves I that decrease the number of crossings. To create a simple sequence between link diagrams that are transformed into each other by applying finitely many Reidemeister moves I and III, we prove that the link diagrams are always transformed into each other by applying an I-generalized ordered sequence.


title: Tighter Regret Analysis and Optimization of Online Federated Learning

abstract: In federated learning (FL), it is commonly assumed that all data are placed at clients in the beginning of machine learning (ML) optimization (i.e., offline learning). However, in many real-world applications, it is expected to proceed in an online fashion. To this end, online FL (OFL) has been introduced, which aims at learning a sequence of global models from decentralized streaming data such that the so-called cumulative regret is minimized. Combining online gradient descent and model averaging, in this framework, FedOGD is constructed as the counterpart of FedSGD in FL. While it can enjoy an optimal sublinear regret, FedOGD suffers from heavy communication costs. In this paper, we present a communication-efficient method (named OFedIQ) by means of intermittent transmission (enabled by client subsampling and periodic transmission) and quantization. For the first time, we derive the regret bound that captures the impact of data-heterogeneity and the communication-efficient techniques. Through this, we efficiently optimize the parameters of OFedIQ such as sampling rate, transmission period, and quantization levels. Also, it is proved that the optimized OFedIQ can asymptotically achieve the performance of FedOGD while reducing the communication costs by 99%. Via experiments with real datasets, we demonstrate the effectiveness of the optimized OFedIQ.


title: Thermalization of interacting quasi-one-dimensional systems

abstract: Many experimentally relevant systems are quasi-one-dimensional, consisting of nearly decoupled chains. In these systems, there is a natural separation of scales between the strong intra-chain interactions and the weak interchain coupling. When the intra-chain interactions are integrable, weak interchain couplings play a crucial part in thermalizing the system. Here, we develop a Boltzmann-equation formalism involving a collision integral that is asymptotically exact for any interacting integrable system, and apply it to develop a quantitative theory of relaxation in coupled Bose gases in the experimentally relevant Newton's cradle setup. We find that relaxation involves a broad spectrum of timescales. We provide evidence that the Markov process governing relaxation at late times is gapless; thus, the approach to equilibrium is generally non-exponential, even for spatially uniform perturbations.


title: Regularization Theory of the Analytic Deep Prior Approach

abstract: The analytic deep prior (ADP) approach was recently introduced for the theoretical analysis of deep image prior (DIP) methods with special network architectures. In this paper, we prove that ADP is in fact equivalent to classical variational Ivanov methods for solving ill-posed inverse problems. Besides, we propose a new variant which incorporates the strategy of early stopping into the ADP model. For both variants, we show how classical regularization properties (existence, stability, convergence) can be obtained under common assumptions.


title: A hybrid data driven-physics constrained Gaussian process regression framework with deep kernel for uncertainty quantification

abstract: Gaussian process regression (GPR) has been a well-known machine learning method for various applications such as uncertainty quantifications (UQ). However, GPR is inherently a data-driven method, which requires sufficiently large dataset. If appropriate physics constraints (e.g. expressed in partial differential equations) can be incorporated, the amount of data can be greatly reduced and the accuracy further improved. In this work, we propose a hybrid data driven-physics constrained Gaussian process regression framework. We encode the physics knowledge with Boltzmann-Gibbs distribution and derive our model through maximum likelihood (ML) approach. We apply deep kernel learning method. The proposed model learns from both data and physics constraints through the training of a deep neural network, which serves as part of the covariance function in GPR. The proposed model achieves good results in high-dimensional problem, and correctly propagate the uncertainty, with very limited labelled data provided.


title: Coded Caching at the Edge of Satellite Networks

abstract: Caching multimedia contents at the network edge is a key solution to decongest the amount of traffic in the backhaul link. In this paper, we extend and analyze the coded caching technique [1] in an unexplored scenario, i.e. at the edge of two-tier heterogeneous networks with an arbitrary number of users. We characterize the performance of such scheme by deriving a closed-form expression of the average backhaul load and reveal a significant gain compared to other benchmark caching schemes proposed in the literature.


title: Application of NOMA in Vehicular Visible Light Communication Systems

abstract: In the context of an increasing interest toward reducing the number of traffic accidents and of associated victims, communication-based vehicle safety applications have emerged as one of the best solutions to enhance road safety. In this area, visible light communications (VLC) have a great potential for applications due to their relatively simple design for basic functioning, efficiency, and large geographical distribution. Vehicular Visible Light Communication (VVLC) is preferred as a vehicle to everything (V2X) communications scheme. Due to its highly secure, low complexity, and radio frequency (RF) interference-free characteristics, exploiting the line of sight (LoS) propagation of visible light and usage of already existing vehicle light-emitting diodes (LEDs). This research is addressing the application of the Non-Orthogonal Multiple Access (NOMA) technique in VLC based Vehicle-to- Vehicle (V2V) communication. The proposed system is simulated in almost realistic conditions and the performance of the system is analyzed under different scenarios.


title: RTMaps-based Local Dynamic Map for multi-ADAS data fusion

abstract: Work on Local Dynamic Maps (LDM) implementation is still in its early stages, as the LDM standards only define how information shall be structured in databases, while the mechanism to fuse or link information across different layers is left undefined. A working LDM component, as a real-time database inside the vehicle is an attractive solution to multi-ADAS systems, which may feed a real-time LDM database that serves as a central point of information inside the vehicle, exposing fused and structured information to other components (e.g., decision-making systems). In this paper we describe our approach implementing a real-time LDM component using the RTMaps middleware, as a database deployed in a vehicle, but also at road-side units (RSU), making use of the three pillars that guide a successful fusion strategy: utilisation of standards (with conversions between domains), middlewares to unify multiple ADAS sources, and linkage of data via semantic concepts.


title: On Fekete Points for a Real Simplex

abstract: We survey what is known about Fekete points/optimal designs for a simplex in $\R^d.$ Several new results are included. The notion of Fej\'er exponenet for a set of interpolation points is introduced.


title: MARE: Semantic Supply Chain Disruption Management and Resilience Evaluation Framework

abstract: Supply Chains (SCs) are subject to disruptive events that potentially hinder the operational performance. Disruption Management Process (DMP) relies on the analysis of integrated heterogeneous data sources such as production scheduling, order management and logistics to evaluate the impact of disruptions on the SC. Existing approaches are limited as they address DMP process steps and corresponding data sources in a rather isolated manner which hurdles the systematic handling of a disruption originating anywhere in the SC. Thus, we propose MARE a semantic disruption management and resilience evaluation framework for integration of data sources included in all DMP steps, i.e. Monitor/Model, Assess, Recover and Evaluate. MARE, leverages semantic technologies i.e. ontologies, knowledge graphs and SPARQL queries to model and reproduce SC behavior under disruptive scenarios. Also, MARE includes an evaluation framework to examine the restoration performance of a SC applying various recovery strategies. Semantic SC DMP, put forward by MARE, allows stakeholders to potentially identify the measures to enhance SC integration, increase the resilience of supply networks and ultimately facilitate digitalization.


title: Superconducting and structural properties of non-centrosymmetric Re6Hf superconductor under high pressure

abstract: We report the effect of high pressure on the superconducting, vortex pinning, and structural properties of a polycrystalline non-centrosymmetric superconductor Re6Hf. The superconducting transition temperature, Tc, reveals a modest decrease as pressure P increases with a slope -0.046 K/GPa (-0.065 K/GPa) estimated from resistivity measurements up to 8 GPa (magnetization measurement ~ 1.1 GPa). Structural analysis up to ~18 GPa reveals monotonic decreases of lattice constant without undergoing any structural transition and a high value of bulk modulus B0= 333.63 GPa, indicating the stability of the structure. Furthermore, the upper critical field and lower critical field at absolute temperature (Hc2(0) & Hc1(0)) decreases slightly from the ambient pressure value as pressure increases up to 2.5 GPa. In addition, up to P ~ 2.5 GPa using thermally activated flux flow of vortices revealed a double linearity field dependence of activation energy of vortices, confirming the coexistence of single and collective pinning vortex states. Moreover, analysis of critical current density using the collective pinning theory showed the transformation of {\delta}Tc to {\delta}l pinning as pressure increases, possibly due to migration of grain boundaries. Besides, the band structure calculations using density functional theory show that density of states decreases modestly with pressure, which may be a possible reason for such a small decrease in Tc by pressure.


title: Robust Deep Neural Object Detection and Segmentation for Automotive Driving Scenario with Compressed Image Data

abstract: Deep neural object detection or segmentation networks are commonly trained with pristine, uncompressed data. However, in practical applications the input images are usually deteriorated by compression that is applied to efficiently transmit the data. Thus, we propose to add deteriorated images to the training process in order to increase the robustness of the two state-of-the-art networks Faster and Mask R-CNN. Throughout our paper, we investigate an autonomous driving scenario by evaluating the newly trained models on the Cityscapes dataset that has been compressed with the upcoming video coding standard Versatile Video Coding (VVC). When employing the models that have been trained with the proposed method, the weighted average precision of the R-CNNs can be increased by up to 3.68 percentage points for compressed input images, which corresponds to bitrate savings of nearly 48 %.


title: Deep Reinforcement Learning for Computational Fluid Dynamics on HPC Systems

abstract: Reinforcement learning (RL) is highly suitable for devising control strategies in the context of dynamical systems. A prominent instance of such a dynamical system is the system of equations governing fluid dynamics. Recent research results indicate that RL-augmented computational fluid dynamics (CFD) solvers can exceed the current state of the art, for example in the field of turbulence modeling. However, while in supervised learning, the training data can be generated a priori in an offline manner, RL requires constant run-time interaction and data exchange with the CFD solver during training. In order to leverage the potential of RL-enhanced CFD, the interaction between the CFD solver and the RL algorithm thus have to be implemented efficiently on high-performance computing (HPC) hardware. To this end, we present Relexi as a scalable RL framework that bridges the gap between machine learning workflows and modern CFD solvers on HPC systems providing both components with its specialized hardware. Relexi is built with modularity in mind and allows easy integration of various HPC solvers by means of the in-memory data transfer provided by the SmartSim library. Here, we demonstrate that the Relexi framework can scale up to hundreds of parallel environment on thousands of cores. This allows to leverage modern HPC resources to either enable larger problems or faster turnaround times. Finally, we demonstrate the potential of an RL-augmented CFD solver by finding a control strategy for optimal eddy viscosity selection in large eddy simulations.


title: The Prime Number Theorem and Pair Correlation of Zeros of the Riemann Zeta-Function

abstract: We prove that the error in the prime number theorem can be quantitatively improved beyond the Riemann Hypothesis bound by using versions of Montgomery's conjecture for the pair correlation of zeros of the Riemann zeta-function which are uniform in long ranges and with suitable error terms.


title: DualCF: Efficient Model Extraction Attack from Counterfactual Explanations

abstract: Cloud service providers have launched Machine-Learning-as-a-Service (MLaaS) platforms to allow users to access large-scale cloudbased models via APIs. In addition to prediction outputs, these APIs can also provide other information in a more human-understandable way, such as counterfactual explanations (CF). However, such extra information inevitably causes the cloud models to be more vulnerable to extraction attacks which aim to steal the internal functionality of models in the cloud. Due to the black-box nature of cloud models, however, a vast number of queries are inevitably required by existing attack strategies before the substitute model achieves high fidelity. In this paper, we propose a novel simple yet efficient querying strategy to greatly enhance the querying efficiency to steal a classification model. This is motivated by our observation that current querying strategies suffer from decision boundary shift issue induced by taking far-distant queries and close-to-boundary CFs into substitute model training. We then propose DualCF strategy to circumvent the above issues, which is achieved by taking not only CF but also counterfactual explanation of CF (CCF) as pairs of training samples for the substitute model. Extensive and comprehensive experimental evaluations are conducted on both synthetic and real-world datasets. The experimental results favorably illustrate that DualCF can produce a high-fidelity model with fewer queries efficiently and effectively.


title: Characters and projective characters of alternating and symmetric groups determined by values on $l'$-classes

abstract: This paper identifies all pairs of ordinary irreducible characters of the alternating group which agree on conjugacy classes of elements of order not divisible by a fixed integer $l$, for $l \neq 3$. We do the same for the double covers of the symmetric and alternating groups. The only such characters are the conjugate or associate pairs labelled by partitions with a certain parameter divisible by $l$. When $l$ is prime, this implies that the rows of the $l$-modular decomposition matrix are distinct except for the rows labelled by these pairs. When $l=3$ we exhibit many additional examples of such pairs of characters.


title: Collaborative Drug Discovery: Inference-level Data Protection Perspective

abstract: Pharmaceutical industry can better leverage its data assets to virtualize drug discovery through a collaborative machine learning platform. On the other hand, there are non-negligible risks stemming from the unintended leakage of participants' training data, hence, it is essential for such a platform to be secure and privacy-preserving. This paper describes a privacy risk assessment for collaborative modeling in the preclinical phase of drug discovery to accelerate the selection of promising drug candidates. After a short taxonomy of state-of-the-art inference attacks we adopt and customize several to the underlying scenario. Finally we describe and experiments with a handful of relevant privacy protection techniques to mitigate such attacks.


title: Precise Change Point Detection using Spectral Drift Detection

abstract: The notion of concept drift refers to the phenomenon that the data generating distribution changes over time; as a consequence machine learning models may become inaccurate and need adjustment. In this paper we consider the problem of detecting those change points in unsupervised learning. Many unsupervised approaches rely on the discrepancy between the sample distributions of two time windows. This procedure is noisy for small windows, hence prone to induce false positives and not able to deal with more than one drift event in a window. In this paper we rely on structural properties of drift induced signals, which use spectral properties of kernel embedding of distributions. Based thereon we derive a new unsupervised drift detection algorithm, investigate its mathematical properties, and demonstrate its usefulness in several experiments.


title: When all Permutations are Combinatorial Similarities

abstract: Let $(X, d)$ be a semimetric space. A permutation $\Phi$ of the set $X$ is a combinatorial self similarity of $(X, d)$ if there is a bijective function $f \colon d(X^2) \to d(X^2)$ such that $$ d(x, y) = f(d(\Phi(x), \Phi(y))) $$ for all $x$, $y \in X$. We describe the set of all semimetrics $\rho$ on an arbitrary nonempty set $Y$ for which every permutation of $Y$ is a combinatorial self similarity of $(Y, \rho)$.


title: An affine Birkhoff--Kellogg type result in cones with applications to functional differential equations

abstract: In this short note we prove, by means of classical fixed point index, an affine version of a Birkhoff--Kellogg type theorem in cones. We apply our result to discuss the solvability of a class of boundary value problems for functional differential equations subject to functional boundary conditions. We illustrate our theoretical results in an example.


title: Representations of the Kottwitz gerbes

abstract: Let $F$ be a local or global field and let $G$ be a linear algebraic group over $F$. We study Tannakian categories of representations of the Kottwitz gerbes $\text{Rep}(\text{Kt}_{F})$ and the functor $G\mapsto B(F, G)$ defined by Kottwitz in [28]. In particular, we show that if $F$ is a function field of a curve over $\mathbb{F}_q$, then $\text{Rep}(\text{Kt}_F)$ is equivalent to the category of Drinfeld isoshtukas. In the case of number fields, we establish the existence of various fiber functors on $\text{Rep}(\text{Kt}_{\mathbb{Q}})$ and its subcategories and show that Scholze's conjecture [41, Conjecture 9.5] follows from the full Tate conjecture over finite fields [47].


title: Analysis of Neural Image Compression Networks for Machine-to-Machine Communication

abstract: Video and image coding for machines (VCM) is an emerging field that aims to develop compression methods resulting in optimal bitstreams when the decoded frames are analyzed by a neural network. Several approaches already exist improving classic hybrid codecs for this task. However, neural compression networks (NCNs) have made an enormous progress in coding images over the last years. Thus, it is reasonable to consider such NCNs, when the information sink at the decoder side is a neural network as well. Therefore, we build-up an evaluation framework analyzing the performance of four state-of-the-art NCNs, when a Mask R-CNN is segmenting objects from the decoded image. The compression performance is measured by the weighted average precision for the Cityscapes dataset. Based on that analysis, we find that networks with leaky ReLU as non-linearity and training with SSIM as distortion criteria results in the highest coding gains for the VCM task. Furthermore, it is shown that the GAN-based NCN architecture achieves the best coding performance and even out-performs the recently standardized Versatile Video Coding (VVC) for the given scenario.


title: FontNet: Closing the gap to font designer performance in font synthesis

abstract: Font synthesis has been a very active topic in recent years because manual font design requires domain expertise and is a labor-intensive and time-consuming job. While remarkably successful, existing methods for font synthesis have major shortcomings; they require finetuning for unobserved font style with large reference images, the recent few-shot font synthesis methods are either designed for specific language systems or they operate on low-resolution images which limits their use. In this paper, we tackle this font synthesis problem by learning the font style in the embedding space. To this end, we propose a model, called FontNet, that simultaneously learns to separate font styles in the embedding space where distances directly correspond to a measure of font similarity, and translates input images into the given observed or unobserved font style. Additionally, we design the network architecture and training procedure that can be adopted for any language system and can produce high-resolution font images. Thanks to this approach, our proposed method outperforms the existing state-of-the-art font generation methods on both qualitative and quantitative experiments.


title: SchenQL: A query language for bibliographic data with aggregations and domain-specific functions

abstract: Current search interfaces of digital libraries are not suitable to satisfy complex or convoluted information needs directly, when it comes to cases such as "Find authors who only recently started working on a topic". They might offer possibilities to obtain this information only by requiring vast user interaction. We present SchenQL, a web interface of a domain-specific query language on bibliographic metadata, which offers information search and exploration by query formulation and navigation in the system. Our system focuses on supporting aggregation of data and providing specialised domain dependent functions while being suitable for domain experts as well as casual users of digital libraries.


title: Toward A Formalized Approach for Spike Sorting Algorithms and Hardware Evaluation

abstract: Spike sorting algorithms are used to separate extracellular recordings of neuronal populations into single-unit spike activities. The development of customized hardware implementing spike sorting algorithms is burgeoning. However, there is a lack of a systematic approach and a set of standardized evaluation criteria to facilitate direct comparison of both software and hardware implementations. In this paper, we formalize a set of standardized criteria and a publicly available synthetic dataset entitled Synthetic Simulations Of Extracellular Recordings (SSOER), which was constructed by aggregating existing synthetic datasets with varying Signal-To-Noise Ratios (SNRs). Furthermore, we present a benchmark for future comparison, and use our criteria to evaluate a simulated Resistive Random-Access Memory (RRAM) In-Memory Computing (IMC) system using the Discrete Wavelet Transform (DWT) for feature extraction. Our system consumes approximately (per channel) 10.72mW and occupies an area of 0.66mm$^2$ in a 22nm FDSOI Complementary Metal-Oxide-Semiconductor (CMOS) process.


title: An Information-theoretic Method for Collaborative Distributed Learning with Limited Communication

abstract: In this paper, we study the information transmission problem under the distributed learning framework, where each worker node is merely permitted to transmit a $m$-dimensional statistic to improve learning results of the target node. Specifically, we evaluate the corresponding expected population risk (EPR) under the regime of large sample sizes. We prove that the performance can be enhanced since the transmitted statistics contribute to estimating the underlying distribution under the mean square error measured by the EPR norm matrix. Accordingly, the transmitted statistics correspond to the eigenvectors of this matrix, and the desired transmission allocates these eigenvectors among the statistics such that the EPR is minimal. Moreover, we provide the analytical solution of the desired statistics for single-node and two-node transmission, where a geometrical interpretation is given to explain the eigenvector selection. For the general case, an efficient algorithm that can output the allocation solution is developed based on the node partitions.


title: Electric monopole transition from the superdeformed band in $^{40}$Ca

abstract: The electric monopole ($E0$) transition strength $\rho^2$ for the transition connecting the third 0$^+$ level, a "superdeformed" band head, to the "spherical" 0$^+$ ground state in doubly magic $^{40}$Ca has been determined via $e^+e^-$ pair-conversion spectroscopy. The measured value, $\rho^2(E0; 0^+_3 \to 0^+_1)~=~2.3(5)\times10^{-3}$, is the smallest $\rho^2(E0; 0^+ \to 0^+)$ found in $A<50$ nuclei. In contrast, the $E0$ transition strength to the ground state observed from the second 0$^+$ state, a band head of "normal" deformation, is an order of magnitude larger, $\rho^2(E0; 0^+_2 \to 0^+_1)~=~25.9(16)\times~10^{-3}$, which shows significant mixing between these two states. Large-Scale Shell Model (LSSM) calculations were performed to understand the microscopic structure of the excited states, and the configuration mixing between them; experimental $\rho^2$ values in $^{40}$Ca and neighboring isotopes were well reproduced by the LSSM calculations. The unusually small $\rho^2(E0; 0^+_3 \to 0^+_1)$ value is due to destructive interference in the mixing of shape-coexisting structures, which are based on several different multiparticle-multihole excitations. This observation goes beyond the usual treatment of $E0$ strengths, where two-state shape mixing cannot result in destructive interference.


title: Simulations of astrometric planet detection in Alpha Centauri by intensity interferometry

abstract: Recent dynamical studies indicate that the possibility of an Earth-like planet around $\alpha\;$Cen A or B should be taken seriously. Such a planet, if it exists, would perturb the orbital astrometry by $<10 \ {\mu}\rm as$, which is $10^{-6}$ of the separation between the two stars. We assess the feasibility of detecting such perturbations using ground-based intensity interferometry. We simulate a dedicated setup consisting of four 40-cm telescopes equipped with photon counters and correlators with time resolution $0.1\,\rm ns$, and a sort of matched filter implemented through an aperture mask. The astrometric error from one night of observing $\alpha\;$Cen AB is $\approx0.5\,\rm mas$. The error decreases if longer observing times and multiple spectral channels are used, as $(\hbox{channels}\times\hbox{nights})^{-1/2}$.


title: Transmission operators for the non-overlapping Schwarz method for solving Helmholtz problems in rectangular cavities

abstract: In this paper we discuss different transmission operators for the non-overlapping Schwarz method which are suited for solving the time-harmonic Helmholtz equation in cavities (i.e. closed domains which do not feature an outgoing wave condition). Such problems are heavily impacted by back-propagating waves which are often neglected when devising optimized transmission operators for the Schwarz method. This work explores new operators taking into account those back-propagating waves and compares them with well-established operators neglecting these contributions. Notably, this paper focuses on the case of rectangular cavities, as the optimal (non-local) transmission operator can be easily determined. Nonetheless, deviations from this ideal geometry are considered as well. In particular, computations of the acoustic noise in a three-dimensional model of the helium vessel of a beamline cryostat with optimized Schwarz schemes are discussed. Those computations show a reduction of 46% in the iteration count, when comparing an operator optimized for cavities with those optimized for unbounded problems.


title: Evaluation of Video Coding for Machines without Ground Truth

abstract: In the emerging field of video coding for machines, video datasets with pristine video quality and high-quality annotations are required for a comprehensive evaluation. However, existing video datasets with detailed annotations are severely limited in size and video quality. Thus, current methods have to either evaluate their codecs on still images or on already compressed data. To mitigate this problem, we propose an evaluation method based on pseudo ground-truth data from the field of semantic segmentation to the evaluation of video coding for machines. Through extensive evaluation, this paper shows that the proposed ground-truth-agnostic evaluation method results in an acceptable absolute measurement error below 0.7 percentage points on the Bjontegaard Delta Rate compared to using the true ground truth for mid-range bitrates. We evaluate on the three tasks of semantic segmentation, instance segmentation, and object detection. Lastly, we utilize the ground-truth-agnostic method to measure the coding performances of the VVC compared against HEVC on the Cityscapes sequences. This reveals that the coding position has a significant influence on the task performance.


title: Simplex Closing Probabilities in Directed Graphs

abstract: Recent work in mathematical neuroscience has calculated the directed graph homology of the directed simplicial complex given by the brains sparse adjacency graph, the so called connectome. These biological connectomes show an abundance of both high-dimensional directed simplices and Betti-numbers in all viable dimensions - in contrast to Erd\H{o}s-R\'enyi-graphs of comparable size and density. An analysis of synthetically trained connectomes reveals similar findings, raising questions about the graphs comparability and the nature of origin of the simplices. We present a new method capable of delivering insight into the emergence of simplices and thus simplicial abundance. Our approach allows to easily distinguish simplex-rich connectomes of different origin. The method relies on the novel concept of an almost-d-simplex, that is, a simplex missing exactly one edge, and consequently the almost-d-simplex closing probability by dimension. We also describe a fast algorithm to identify almost-d-simplices in a given graph. Applying this method to biological and artificial data allows us to identify a mechanism responsible for simplex emergence, and suggests this mechanism is responsible for the simplex signature of the excitatory subnetwork of a statistical reconstruction of the mouse primary visual cortex. Our highly optimised code for this new method is publicly available.


title: Reconstructing Non-Markovian Open Quantum Evolution From Multi-time Measurements

abstract: For a quantum system undergoing non-Markovian open quantum dynamics, we demonstrate a tomography algorithm based on multi-time measurements of the system, which reconstructs a minimal environment coupled to the system, such that the system plus environment undergoes unitary evolution and that the reduced dynamics of the system is identical to the observed dynamics of it. The reconstructed open quantum evolution model can be used to predict any future dynamics of the system when it is further assumed to be time-independent. We define the memory size and memory complexity for the non-Markovian open quantum dynamics which characterize the complexity of the reconstruction.


title: Joint Generation of Captions and Subtitles with Dual Decoding

abstract: As the amount of audio-visual content increases, the need to develop automatic captioning and subtitling solutions to match the expectations of a growing international audience appears as the only viable way to boost throughput and lower the related post-production costs. Automatic captioning and subtitling often need to be tightly intertwined to achieve an appropriate level of consistency and synchronization with each other and with the video signal. In this work, we assess a dual decoding scheme to achieve a strong coupling between these two tasks and show how adequacy and consistency are increased, with virtually no additional cost in terms of model size and training complexity.


title: Deterministic Identification over Channels without CSI

abstract: Identification capacities of randomized and deterministic identification were proved to exceed channel capacity for Gaussian channels \emph{with} channel side information (CSI). In this work, we extend deterministic identification to the block fading channels without CSI by applying identification codes for both channel estimation and user identification. We prove that identification capacity is asymptotically higher than transmission capacity even in the absence of CSI. And we also analyze the finite-length performance theoretically and numerically. The simulation results verify the feasibility of the proposed blind deterministic identification in finite blocklength regime.


title: Quantum and temperature effects on crystal structure of superhydride: A path integral molecular dynamics study

abstract: By classical and path-integral molecular dynamics simulations, we study the pressure-temperature ($P$-$T$) phase diagram of LaH$_{10}$ to clarify the impact of temperature and atomic zero-point motions. We calculate the XRD pattern and analyze the space group of the crystal structures. For 125 GPa $\leq P\leq$ 150 GPa and $T=300$ K, we show that a highly symmetric $Fm\bar{3}m$ structure, for which superconductivity is particularly favored, is stabilized only by the temperature effect. On the other hand, for $T=200$ K, the interplay between the temperature and quantum effects is crucial to realize the $Fm\bar{3}m$ structure. For $P=$100 GPa and $T=$300 K, we find that the system is close to the critical point of the structural phase transition between the $Fm\bar{3}m$ structure and those with lower symmetries.


title: Image and graph convolution networks improve microbiome-based machine learning accuracy

abstract: The human gut microbiome is associated with a large number of disease etiologies. As such, it is a natural candidate for machine learning based biomarker development for multiple diseases and conditions. The microbiome is often analyzed using 16S rRNA gene sequencing. However, several properties of microbial 16S rRNA gene sequencing hinder machine learning, including non-uniform representation, a small number of samples compared with the dimension of each sample, and sparsity of the data, with the majority of bacteria present in a small subset of samples. We suggest two novel methods to combine information from different bacteria and improve data representation for machine learning using bacterial taxonomy. iMic and gMic translate the microbiome to images and graphs respectively, and convolutional neural networks are then applied to the graph or image. We show that both algorithms improve performance of static 16S rRNA gene sequence-based machine learning compared to the best state-of-the-art methods. Furthermore, these methods ease the interpretation of the classifiers. iMic is then extended to dynamic microbiome samples, and an iMic explainable AI algorithm is proposed to detect bacteria relevant to each condition.


title: WoLF: the Whole-body Locomotion Framework for Quadruped Robots

abstract: The Whole-Body Locomotion Framework (WoLF) is an end-to-end software suite devoted to the loco-manipulation of quadruped robots. WoLF abstracts the complexity of planning and control of quadrupedal robot hardware into a simple to use and robust software that can be connected through multiple tele-operation devices to different quadruped robot models. Furthermore, WoLF allows controlling mounted devices, such as arms or pan-tilt cameras, jointly with the quadrupedal platform. In this short paper, we introduce the main features of WoLF and its overall software architecture.


title: Valuatuions and orderings on the real Weyl algebra

abstract: $\newcommand{\R}{\mathbb R} \newcommand{\rweyl}{\mathcal{A}_1(\R)}$ The first Weyl algebra $\mathcal{A}_1(k)$ over a field $k$ is the $k$-algebra with two generators $x, y$ subject to $[y, x] = 1$ and was first introduced during the development of quantum mechanics. In this article, we classify all valuations on the real Weyl algebra $\mathcal{A}_1(\mathbb{R})$ whose residue field is $\mathbb{R}$. We then use a noncommutative version of the Baer-Krull theorem from real algebraic geometry to classify all orderings on $\mathcal{A}_1(\mathbb{R})$. As a byproduct of our studies, we settle two open problems in noncommutative valuation theory. First, we show that not all valuations on $\mathcal{A}_1(\mathbb{R})$ with residue field $\R$ extend to a valuation on a larger ring $R[y ; \delta]$, where $R$ is the ring of Puiseux series, introduced by Marshall and Zhang, with the same residue field, and characterize the valuations that do have such an extension. Second, we show that for valuations on noncommutative division rings, Kaplansky's theorem that extensions by limits of pseudo-Cauchy sequences are immediate fails in general.


title: Scalable Mediated Semi-quantum Key Distribution

abstract: Mediated semi-quantum key distribution (M-SQKD) permits two limited "semi-quantum" or "classical" users to establish a secret key with the help of a third party (TP), in which TP has fully quantum power and may be untrusted. Several protocols have been studied recently for two-party scenarios, but no one has considered M-SQKD for multi-party scenarios. In this paper, we design a circular M-SQKD protocol based on Bell states, which offers an approach to realizing multiple "classical" users' key distribution. Then, we prove the protocol is unconditional security in the asymptotic scenario. The protocol's key rate and noise tolerance can be derived by utilizing the parameters observed in the channel. The results show that our protocol may hold similar security to a fully quantum one. We also compare the proposed protocol with similar protocols in terms of noise tolerance, qubit efficiency, communication cost, and scalability. Finally, the security proof method of this paper may contribute to studying the security of other circular semi-quantum cryptography protocols.


title: Characterization of Lipschitz Functions via the Commutators of Maximal Function on Stratified Lie Groups

abstract: In this paper, the main aim is to consider the boundedness of the Hardy-Littlewood maximal commutator $M_{b}$ and the nonlinear commutator $[b, M]$ on the Lebesgue spaces and Morrey spaces over some stratified Lie group $\mathbb{G}$ when $b$ belongs to the Lipschitz space, by which some new characterizations of the Lipschitz spaces on Lie group are given.


title: Modeling Semantic Composition with Syntactic Hypergraph for Video Question Answering

abstract: A key challenge in video question answering is how to realize the cross-modal semantic alignment between textual concepts and corresponding visual objects. Existing methods mostly seek to align the word representations with the video regions. However, word representations are often not able to convey a complete description of textual concepts, which are in general described by the compositions of certain words. To address this issue, we propose to first build a syntactic dependency tree for each question with an off-the-shelf tool and use it to guide the extraction of meaningful word compositions. Based on the extracted compositions, a hypergraph is further built by viewing the words as nodes and the compositions as hyperedges. Hypergraph convolutional networks (HCN) are then employed to learn the initial representations of word compositions. Afterwards, an optimal transport based method is proposed to perform cross-modal semantic alignment for the textual and visual semantic space. To reflect the cross-modal influences, the cross-modal information is incorporated into the initial representations, leading to a model named cross-modality-aware syntactic HCN. Experimental results on three benchmarks show that our method outperforms all strong baselines. Further analyses demonstrate the effectiveness of each component, and show that our model is good at modeling different levels of semantic compositions and filtering out irrelevant information.


title: Task Allocation for Energy Optimization in Fog Computing Networks with Latency Constraints

abstract: Fog networks offer computing resources with varying capacities at different distances from end users. A Fog Node (FN) closer to the network edge may have less powerful computing resources compared to the cloud, but processing of computational tasks in an FN limits long-distance transmission. How should the tasks be distributed between fog and cloud nodes? We formulate a universal non-convex Mixed-Integer Nonlinear Programming (MINLP) problem minimizing task transmission- and processing-related energy with delay constraints to answer this question. It is transformed with Successive Convex Approximation (SCA) and decomposed using the primal and dual decomposition techniques. Two practical algorithms called Energy-EFFicient Resource Allocation (EEFFRA) and Low-Complexity (LC)-EEFFRA are proposed. They allow for successful distribution of network requests between FNs and the cloud in various scenarios significantly reducing the average energy cost and decreasing the number of computational requests with unmet delay requirements.


title: Addressing Confounding Feature Issue for Causal Recommendation

abstract: In recommender system, some feature directly affects whether an interaction would happen, making the happened interactions not necessarily indicate user preference. For instance, short videos are objectively easier to be finished even though the user does not like the video. We term such feature as confounding feature, and video length is a confounding feature in video recommendation. If we fit a model on such interaction data, just as done by most data-driven recommender systems, the model will be biased to recommend short videos more, and deviate from user actual requirement. This work formulates and addresses the problem from the causal perspective. Assuming there are some factors affecting both the confounding feature and other item features, e.g., the video creator, we find the confounding feature opens a backdoor path behind user item matching and introduces spurious correlation. To remove the effect of backdoor path, we propose a framework named Deconfounding Causal Recommendation (DCR), which performs intervened inference with do-calculus. Nevertheless, evaluating do calculus requires to sum over the prediction on all possible values of confounding feature, significantly increasing the time cost. To address the efficiency challenge, we further propose a mixture-of experts (MoE) model architecture, modeling each value of confounding feature with a separate expert module. Through this way, we retain the model expressiveness with few additional costs. We demonstrate DCR on the backbone model of neural factorization machine (NFM), showing that DCR leads to more accurate prediction of user preference with small inference time cost.


title: Assessing the Linguistic Quality of REST APIs for IoT Applications

abstract: Internet of Things (IoT) is a growing technology that relies on connected 'things' that gather data from peer devices and send data to servers via APIs (Application Programming Interfaces). The design quality of those APIs has a direct impact on their understandability and reusability. This study focuses on the linguistic design quality of REST APIs for IoT applications and assesses their linguistic quality by performing the detection of linguistic patterns and antipatterns in REST APIs for IoT applications. Linguistic antipatterns are considered poor practices in the naming, documentation, and choice of identifiers. In contrast, linguistic patterns represent best practices to APIs design. The linguistic patterns and their corresponding antipatterns are hence contrasting pairs. We propose the SARAv2 (Semantic Analysis of REST APIs version two) approach to perform syntactic and semantic analyses of REST APIs for IoT applications. Based on the SARAv2 approach, we develop the REST-Ling tool and empirically validate the detection results of nine linguistic antipatterns. We analyse 19 REST APIs for IoT applications. Our detection results show that the linguistic antipatterns are prevalent and the REST-Ling tool can detect linguistic patterns and antipatterns in REST APIs for IoT applications with an average accuracy of over 80%. Moreover, the tool performs the detection of linguistic antipatterns on average in the order of seconds, i.e., 8.396 seconds. We found that APIs generally follow good linguistic practices, although the prevalence of poor practices exists.


title: Weyl locally integrable conformal gravity, rotation curves and cosmic filaments

abstract: Weyl's conformal theory of gravity is an extension of Einstein's theory of general relativity which associates metrics with 1-forms . In the case of locally integrable (closed non-exact) 1-forms the spacetime manifolds are no more simply connected. The Weil connections yield curvature tensors which satisfy the basic properties of Riemann curvature tensors. The Ricci tensors are symmetric, conformally invariant, and the Einstein tensors computed with the Weyl connections implicate a cosmological term replacing the cosmological constant by a function of spacetime, and a shear stress tensor. A toy model based on the Schwarzschild metric is presented where the associated 1-form is proportional to $d\varphi$ in Schwarzschild coordinates. This implies a singularity on the whole z-axis and it generates a torque effect on geodesics. According to initial conditions planar geodesics show almost constant velocities independently of r. In the free case spin effects occur in the neighbourhood of the singularity which are comparable to recent observations concerning cosmic filaments.


title: Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version

abstract: Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication patterns from a global specification of the desired system behaviour. In this paper we extend the theory of choreography automata, a choreographic model based on finite-state automata, with two key features. First, we allow participants to act only in some of the scenarios described by the choreography automaton. While this seems natural, many choreographic approaches in the literature, and choreography automata in particular, forbid this behaviour. Second, we equip communications with assertions constraining the values that can be communicated, enabling a design-by-contract approach. We provide a toolchain allowing to exploit the theory above to generate APIs for TypeScript web programming. Programs communicating via the generated APIs follow, by construction, the prescribed communication pattern and are free from communication errors such as deadlocks.


title: Topological Interface-State Lasing in a Polymer-Cholesteric Liquid Crystal Superlattice

abstract: The advance of topological photonics has heralded a revolution for manipulating light as well as for the development of novel photonic devices such as topological insulator lasers. Here, we demonstrate topological lasing of circular polarization in a polymer-cholesteric liquid crystal (P-CLC) superlattice, tunable in the visible wavelength regime. By use of the femtosecond-laser direct-writing and self-assembling techniques, we establish the P-CLC superlattice with a controlled mini-band structure and a topological interface defect, thereby achieving a low threshold for robust topological lasing at about 0.4 uJ. Thanks to the chiral liquid crystal, not only the emission wavelength is thermally tuned, but the circularly polarized lasing is readily achieved. Our results bring about the possibility to realize compact and integrated topological photonic devices at low cost, as well as to engineer an ideal platform for exploring topological physics that involves light-matter interaction in soft-matter environments.


title: Productivity Assessment of Neural Code Completion

abstract: Neural code synthesis has reached a point where snippet generation is accurate enough to be considered for integration into human software development workflows. Commercial products aim to increase programmers' productivity, without being able to measure it directly. In this case study, we asked users of GitHub Copilot about its impact on their productivity, and sought to find a reflection of their perception in directly measurable user data. We find that the rate with which shown suggestions are accepted, rather than more specific metrics regarding the persistence of completions in the code over time, drives developers' perception of productivity.


title: Neuropunk Revolution. Hacking Cognitive Systems towards Cyborgs 3.0

abstract: This work is dedicated to the review and perspective of the new direction that we call "Neuropunk revolution" resembling the cultural phenomenon of cyberpunk. This new phenomenon has its foundations in advances in neuromorphic technologies including memristive and bio-plausible simulations, BCI, and neurointerfaces as well as unconventional approaches to AI and computing in general. We present the review of the current state-of-the-art and our vision of near future development of scientific approaches and future technologies. We call the "Neuropunk revolution" the set of trends that in our view provide the necessary background for the new generation of approaches technologies to integrate the cybernetic objects with biological tissues in close loop system as well as robotic systems inspired by the biological processes again integrated with biological objects. We see bio-plausible simulations implemented by digital computers or spiking networks memristive hardware as promising bridge or middleware between digital and (neuro)biological domains.


title: Reduced modelling and optimal control of epidemiological individual-based models with contact heterogeneity

abstract: Modelling epidemics via classical population-based models suffers from shortcomings that so-called individual-based models are able to overcome, as they are able to take heterogeneity features into account, such as super-spreaders, and describe the dynamics involved in small clusters. In return, such models often involve large graphs which are expensive to simulate and difficult to optimize, both in theory and in practice. By combining the reinforcement learning philosophy with reduced models, we propose a numerical approach to determine optimal health policies for a stochastic epidemiological graph-model taking into account super-spreaders. More precisely, we introduce a deterministic reduced population-based model involving a neural network, and use it to derive optimal health policies through an optimal control approach. It is meant to faithfully mimic the local dynamics of the original, more complex, graph-model. Roughly speaking, this is achieved by sequentially training the network until an optimal control strategy for the corresponding reduced model manages to equally well contain the epidemic when simulated on the graph-model. After describing the practical implementation of this approach, we will discuss the range of applicability of the reduced model and to what extent the estimated control strategies could provide useful qualitative information to health authorities.


title: Accelerometry-based classification of circulatory states during out-of-hospital cardiac arrest

abstract: Objective: Exploit accelerometry data for an automatic, reliable, and prompt detection of spontaneous circulation during cardiac arrest, as this is both vital for patient survival and practically challenging. Methods: We developed a machine learning algorithm to automatically predict the circulatory state during cardiopulmonary resuscitation from 4-second-long snippets of accelerometry and electrocardiogram (ECG) data from pauses of chest compressions of real-world defibrillator records. The algorithm was trained based on 422 cases from the German Resuscitation Registry, for which ground truth labels were created by a manual annotation of physicians. It uses a kernelized Support Vector Machine classifier based on 49 features, which partially reflect the correlation between accelerometry and electrocardiogram data. Results: Evaluating 50 different test-training data splits, the proposed algorithm exhibits a balanced accuracy of 81.2%, a sensitivity of 80.6%, and a specificity of 81.8%, whereas using only ECG leads to a balanced accuracy of 76.5%, a sensitivity of 80.2%, and a specificity of 72.8%. Conclusion: The first method employing accelerometry for pulse/no-pulse decision yields a significant increase in performance compared to single ECG-signal usage. Significance: This shows that accelerometry provides relevant information for pulse/no-pulse decisions. In application, such an algorithm may be used to simplify retrospective annotation for quality management and, moreover, to support clinicians to assess circulatory state during cardiac arrest treatment.


title: Phase-field approximation of a vectorial, geometrically nonlinear cohesive fracture energy

abstract: We consider a family of vectorial models for cohesive fracture, which may incorporate $\mathrm{SO}(n)$-invariance. The deformation belongs to the space of generalized functions of bounded variation and the energy contains an (elastic) volume energy, an opening-dependent jump energy concentrated on the fractured surface, and a Cantor part representing diffuse damage. We show that this type of functional can be naturally obtained as $\Gamma$-limit of an appropriate phase-field model. The energy densities entering the limiting functional can be expressed, in a partially implicit way, in terms of those appearing in the phase-field approximation.


title: Transparent Josephson Junctions in Higher-Order Topological Insulator WTe2 via Pd Diffusion

abstract: Highly transparent superconducting contacts to a topological insulator (TI) remain a persistent challenge on the route to engineer topological superconductivity. Recently, the higher-order TI WTe$_2$ was shown to turn superconducting when placed on palladium (Pd) bottom contacts, demonstrating a promising material system in pursuing this goal. Here, we report the diffusion of Pd into WTe$_2$ and the formation of superconducting PdTe$_x$ as the origin of observed superconductivity. We find an atomically sharp interface in vertical direction to the van der Waals layers between the diffusion crystal and its host crystal, forming state-of-the-art superconducting contacts to a TI. The diffusion is discovered to be non-uniform along the width of the WTe$_2$ crystal, with a greater extend along the edges compared to the bulk. The potential of this contacting method is highlighted in transport measurements on Josephson junctions by employing external superconducting leads.


title: Extension Operators for Trimmed Spline Spaces

abstract: We develop a discrete extension operator for trimmed spline spaces consisting of piecewise polynomial functions of degree $p$ with $k$ continuous derivatives. The construction is based on polynomial extension from neighboring elements together with projection back into the spline space. We prove stability and approximation results for the extension operator. Finally, we illustrate how we can use the extension operator to construct a stable cut isogeometric method for an elliptic model problem.


title: Uncertainty-aware Personal Assistant for Making Personalized Privacy Decisions

abstract: Many software systems, such as online social networks enable users to share information about themselves. While the action of sharing is simple, it requires an elaborate thought process on privacy: what to share, with whom to share, and for what purposes. Thinking about these for each piece of content to be shared is tedious. Recent approaches to tackle this problem build personal assistants that can help users by learning what is private over time and recommending privacy labels such as private or public to individual content that a user considers sharing. However, privacy is inherently ambiguous and highly personal. Existing approaches to recommend privacy decisions do not address these aspects of privacy sufficiently. Ideally, a personal assistant should be able to adjust its recommendation based on a given user, considering that user's privacy understanding. Moreover, the personal assistant should be able to assess when its recommendation would be uncertain and let the user make the decision on her own. Accordingly, this paper proposes a personal assistant that uses evidential deep learning to classify content based on its privacy label. An important characteristic of the personal assistant is that it can model its uncertainty in its decisions explicitly, determine that it does not know the answer, and delegate from making a recommendation when its uncertainty is high. By factoring in the user's own understanding of privacy, such as risk factors or own labels, the personal assistant can personalize its recommendations per user. We evaluate our proposed personal assistant using a well-known data set. Our results show that our personal assistant can accurately identify uncertain cases, personalize them to its user's needs, and thus helps users preserve their privacy well.


title: On Minimal realization of Topological Lorentz Structures with one-loop Seesaw extensions in A$_4$ Modular Symmetry

abstract: The topological classification of one-loop Weinberg operator at dimension-5 leads to systematic categorization of one-loop neutrino mass models. All one-loop neutrino mass models must fall in one of these categories. Among these topological categories, loop extension of canonical seesaw scenarios is interesting in light of the current LHC run. Apart from one-loop contribution, these extensions result in dominant tree-level contribution to neutrino masses. The immediate remedy to obtain dominant one-loop contribution requires combination of flavor symmetries and enlarged field content. Alternatively, in this work, we propose a minimal way of realizing the topological structures with dominant one-loop contribution using modular variant of the permutation symmetries. In such a realization, no new fields are needed apart from those permitted by the topology itself. For the first time, we have realized one such topological Lorentz structure(T4-2-$i$) pertaining to one-loop extension of Type-II seesaw using modular A$_4$ symmetry. Here, modular weights play an important role in suppressing tree-level terms and stabilizing the particles running in the loop($N_i$, $\rho$ and $\phi$), thus, making them suitable dark matter candidates. In this work, we have explored the possibility of fermionic dark matter candidate where right-handed neutrino ($N_1$) is assumed to be lightest. We have, also, analyzed the compatibility of the model with neutrino oscillation data and obtained model predictions for effective Majorana mass $M_{ee}$ and $CP$ violation. Furthermore, the predictions on relic density of dark matter and its direct detection considering bound on lepton flavor violating process, $\mu\rightarrow e\gamma$ have, also, been investigated.


title: Comparison of attention models and post-hoc explanation methods for embryo stage identification: a case study

abstract: An important limitation to the development of AI-based solutions for In Vitro Fertilization (IVF) is the black-box nature of most state-of-the-art models, due to the complexity of deep learning architectures, which raises potential bias and fairness issues. The need for interpretable AI has risen not only in the IVF field but also in the deep learning community in general. This has started a trend in literature where authors focus on designing objective metrics to evaluate generic explanation methods. In this paper, we study the behavior of recently proposed objective faithfulness metrics applied to the problem of embryo stage identification. We benchmark attention models and post-hoc methods using metrics and further show empirically that (1) the metrics produce low overall agreement on the model ranking and (2) depending on the metric approach, either post-hoc methods or attention models are favored. We conclude with general remarks about the difficulty of defining faithfulness and the necessity of understanding its relationship with the type of approach that is favored.


title: Uninorm-like parametric activation functions for human-understandable neural models

abstract: We present a deep learning model for finding human-understandable connections between input features. Our approach uses a parameterized, differentiable activation function, based on the theoretical background of nilpotent fuzzy logic and multi-criteria decision-making (MCDM). The learnable parameter has a semantic meaning indicating the level of compensation between input features. The neural network determines the parameters using gradient descent to find human-understandable relationships between input features. We demonstrate the utility and effectiveness of the model by successfully applying it to classification problems from the UCI Machine Learning Repository.


title: Meta Balanced Network for Fair Face Recognition

abstract: Although deep face recognition has achieved impressive progress in recent years, controversy has arisen regarding discrimination based on skin tone, questioning their deployment into real-world scenarios. In this paper, we aim to systematically and scientifically study this bias from both data and algorithm aspects. First, using the dermatologist approved Fitzpatrick Skin Type classification system and Individual Typology Angle, we contribute a benchmark called Identity Shades (IDS) database, which effectively quantifies the degree of the bias with respect to skin tone in existing face recognition algorithms and commercial APIs. Further, we provide two skin-tone aware training datasets, called BUPT-Globalface dataset and BUPT-Balancedface dataset, to remove bias in training data. Finally, to mitigate the algorithmic bias, we propose a novel meta-learning algorithm, called Meta Balanced Network (MBN), which learns adaptive margins in large margin loss such that the model optimized by this loss can perform fairly across people with different skin tones. To determine the margins, our method optimizes a meta skewness loss on a clean and unbiased meta set and utilizes backward-on-backward automatic differentiation to perform a second order gradient descent step on the current margins. Extensive experiments show that MBN successfully mitigates bias and learns more balanced performance for people with different skin tones in face recognition. The proposed datasets are available at http://www.whdeng.cn/RFW/index.html.


title: Unsupervised Structure-Texture Separation Network for Oracle Character Recognition

abstract: Oracle bone script is the earliest-known Chinese writing system of the Shang dynasty and is precious to archeology and philology. However, real-world scanned oracle data are rare and few experts are available for annotation which make the automatic recognition of scanned oracle characters become a challenging task. Therefore, we aim to explore unsupervised domain adaptation to transfer knowledge from handprinted oracle data, which are easy to acquire, to scanned domain. We propose a structure-texture separation network (STSN), which is an end-to-end learning framework for joint disentanglement, transformation, adaptation and recognition. First, STSN disentangles features into structure (glyph) and texture (noise) components by generative models, and then aligns handprinted and scanned data in structure feature space such that the negative influence caused by serious noises can be avoided when adapting. Second, transformation is achieved via swapping the learned textures across domains and a classifier for final classification is trained to predict the labels of the transformed scanned characters. This not only guarantees the absolute separation, but also enhances the discriminative ability of the learned features. Extensive experiments on Oracle-241 dataset show that STSN outperforms other adaptation methods and successfully improves recognition performance on scanned data even when they are contaminated by long burial and careless excavation.


title: Body Diagonal Diffusion Couple Method for Estimation of Tracer Diffusion Coefficients in a Multi-Principal Element Alloy

abstract: The estimation of (n-1)2 interdiffusion coefficients in an n component system requires (n-1) diffusion paths to intersect or pass closely in the (n-1) dimensional space according to the body diagonal diffusion couple method. These interdiffusion coefficients are related to n(n-1) intrinsic (or n tracer diffusion coefficients), which cannot be estimated easily following the Kirkendall marker experiment in a multicomponent system despite their importance for understanding the atomic mechanism of diffusion and the physico-mechanical properties of materials. In this study, the estimation of tracer diffusion coefficients from only two diffusion profiles following the concept of the body diagonal diffusion couple method in a multicomponent system is demonstrated. Subsequently, one can estimate the intrinsic and interdiffusion coefficients. This reduces the overall effort up to a great extent since it needs only two instead of (n-1) diffusion profiles irrespective of the number of components, with an additional benefit of enabling the estimation of all types of diffusion coefficients. The available tracer diffusion coefficients estimated following the radiotracer method are compared to the data estimated in this study following this method. This method can also be extended to the systems in which the radiotracer method is not feasible.


title: Contrastive Domain Disentanglement for Generalizable Medical Image Segmentation

abstract: Efficiently utilizing discriminative features is crucial for convolutional neural networks to achieve remarkable performance in medical image segmentation and is also important for model generalization across multiple domains, where letting model recognize domain-specific and domain-invariant information among multi-site datasets is a reasonable strategy for domain generalization. Unfortunately, most of the recent disentangle networks are not directly adaptable to unseen-domain datasets because of the limitations of offered data distribution. To tackle this deficiency, we propose Contrastive Domain Disentangle (CDD) network for generalizable medical image segmentation. We first introduce a disentangle network to decompose medical images into an anatomical representation factor and a modality representation factor. Then, a style contrastive loss is proposed to encourage the modality representations from the same domain to distribute as close as possible while different domains are estranged from each other. Finally, we propose a domain augmentation strategy that can randomly generate new domains for model generalization training. Experimental results on multi-site fundus image datasets for optic cup and disc segmentation show that the CDD has good model generalization. Our proposed CDD outperforms several state-of-the-art methods in domain generalizable segmentation.


title: The cooling of the Central Compact Object in Cas A from 2006 to 2020

abstract: We report on the study of six Chandra observations (four epochs) of the Central Compact Object (CCO) in the Cassiopeia A supernova remnant with the ACIS instrument in the subarray mode. This mode minimizes spectrum-distorting instrumental effects such as pileup. The data were taken over a time span ~ 14 years. If a non-magnetic carbon atmosphere is assumed for this youngest known CCO, then the temperature change is constrained to be $\dot{T}=-2900\pm 600$ K yr$^{-1}$ or $\dot{T}=-4500\pm 800 $ K yr$^{-1}$ ($1\sigma$ uncertainties) for constant or varying absorbing hydrogen column density. These values correspond to cooling rates of $-1.5 \pm 0.3$% per 10yr and $-2.3 \pm 0.4$% per 10yr, respectively. We discuss an apparent increase in the cooling rate in the last five years and the variations of the inferred absorbing hydrogen column densities between epochs. Considered together, these changes could indicate systematic effects such as caused by, e.g., an imperfect calibration of the increasing contamination of the ACIS filter.


title: On sets with sum and difference structure

abstract: For nonempty sets $A,B$ of nonnegative integers and an integer $n$, let $r_{A,B}(n)$ be the number of representations of $n$ as $a+b$ and $d_{A,B}(n)$ be the number of representations of $n$ as $a-b$, where $a\in A, b\in B$. In this paper, we determine the sets $A,B$ such that $r_{A,B}(n)=1$ for every nonnegative integer $n$. We also consider the \emph{difference} structure and prove that: there exist sets $A$ and $B$ of nonnegative integers such that $r_{A,B}(n)\ge 1$ for all large $n$, $A(x)B(x)=(1+o(1))x$ and for any given nonnegative integer $c$, we have $d_{A,B}(n)=c$ for infinitely many positive integers $n$. Other related results are also contained.


title: Non-linear response of interacting bosons in a quasiperiodic potential

abstract: We theoretically study the electric pulse-driven non-linear response of interacting bosons loaded in an optical lattice in the presence of an incommensurate superlattice potential. In the non-interacting limit $(U=0)$, the model admits both localized and delocalized phases depending on the strength of the incommensurate potential $V_0$. We show that the particle current contains only odd harmonics in the delocalized phase in contrast to the localised phase where both even and odd harmonics are identified. The relative magnitudes of these even and odd harmonics and sharpness of the peaks can be tuned by varying frequency and the number of cycles of the applied pulse, respectively. In the presence of repulsive interactions, the amplitudes of the even and odd harmonics further depend on the relative strengths of the interaction $U$ and the potential $V_0$. We illustrate that the disorder and interaction-induced phases can be distinguished and characterized through the particle current. Finally, we discuss the dynamics of field induced excitation responsible for exhibiting higher harmonics in the current spectrum.


title: Quantum control of tunable-coupling transmons using dynamical invariants of motion

abstract: We analyse the implementation of a fast nonadiabatic CZ gate between two transmon qubits with tuneable coupling. The gate control method is based on a theory of dynamical invariants which leads to reduced leakage and robustness against decoherence. The gate is based on a description of the resonance between the $|11\rangle$ and $|20\rangle$ using an effective Hamiltonian with the 6 lowest energy states. A modification of the invariants method allows us to take into account the higher-order perturbative corrections of this effective model. This enables a gate fidelity several orders of magnitude higher than other quasiadiabatic protocols, with gate times that approach the theoretical limit.


title: Virtual passengers for real car solutions: synthetic datasets

abstract: Strategies that include the generation of synthetic data are beginning to be viable as obtaining real data can be logistically complicated, very expensive or slow. Not only the capture of the data can lead to complications, but also its annotation. To achieve high-fidelity data for training intelligent systems, we have built a 3D scenario and set-up to resemble reality as closely as possible. With our approach, it is possible to configure and vary parameters to add randomness to the scene and, in this way, allow variation in data, which is so important in the construction of a dataset. Besides, the annotation task is already included in the data generation exercise, rather than being a post-capture task, which can save a lot of resources. We present the process and concept of synthetic data generation in an automotive context, specifically for driver and passenger monitoring purposes, as an alternative to real data capturing.