title: A coherent differential PCF

abstract: The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential linear logic are concerned, these models feature finite non-determinism and indeed these languages are essentially non-deterministic. In a previous paper we introduced a categorical framework for differentiation which does not require additivity and is compatible with deterministic models such as coherence spaces and probabilistic models such as probabilistic coherence spaces. Based on this semantics we develop a syntax of a deterministic version of the differential lambda-calculus. One nice feature of this new approach to differentiation is that it is compatible with general fixpoints of terms, so our language is actually a differential extension of PCF for which we provide a fully deterministic operational semantics.


title: Cluster expansion for a dilute hard sphere gas dynamics

abstract: In [7], a cluster expansion method has been developed to study the fluctuations of the hard sphere dynamics around the Boltzmann equation. This method provides a precise control on the exponential moments of the empirical measure, from which the fluctuating Boltzmann equation and large deviation estimates have been deduced. The cluster expansion in [7] was implemented at the level of the BBGKY hierarchy, which is a standard tool to investigate the deterministic dynamics [11]. In this paper, we introduce an alternative approach, in which the cluster expansion is applied directly on real trajectories of the particle system. This offers a fresh perspective on the study of the hard sphere dynamics in the low density limit, allowing to recover the results obtained in [7], and also to describe the actual clustering of particle trajectories.


title: Unitless Frobenius quantales

abstract: It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define Frobenius quantales that may not have a unit. We develop the elementary theory of these structures and show, in particular, how to define nuclei whose quotients are Frobenius quantales. This yields a phase semantics and a representation theorem via phase quantales. Important examples of these structures arise from Raney's notion of tight Galois connection: tight endomaps of a complete lattice always form a Girard quantale which is unital if and only if the lattice is completely distributive. We give a characterisation and an enumeration of tight endomaps of the diamond lattices Mn and exemplify the Frobenius structure on these maps. By means of phase semantics, we exhibit analogous examples built up from trace class operators on an infinite dimensional Hilbert space. Finally, we argue that units cannot be properly added to Frobenius quantales: every possible extention to a unital quantale fails to preserve negations.


title: On Generalisability of Machine Learning-based Network Intrusion Detection Systems

abstract: Many of the proposed machine learning (ML) based network intrusion detection systems (NIDSs) achieve near perfect detection performance when evaluated on synthetic benchmark datasets. Though, there is no record of if and how these results generalise to other network scenarios, in particular to real-world networks. In this paper, we investigate the generalisability property of ML-based NIDSs by extensively evaluating seven supervised and unsupervised learning models on four recently published benchmark NIDS datasets. Our investigation indicates that none of the considered models is able to generalise over all studied datasets. Interestingly, our results also indicate that the generalisability has a high degree of asymmetry, i.e., swapping the source and target domains can significantly change the classification performance. Our investigation also indicates that overall, unsupervised learning methods generalise better than supervised learning models in our considered scenarios. Using SHAP values to explain these results indicates that the lack of generalisability is mainly due to the presence of strong correspondence between the values of one or more features and Attack/Benign classes in one dataset-model combination and its absence in other datasets that have different feature distributions.


title: Damage Maximization for Combat Network with Limited Costs

abstract: Maximizing the damage by attacking specific nodes of the combat network can efficiently disrupt enemies' defense capability, protect our critical units, and enhance the resistance to the destruction of system-of-system~(SOS). However, the modeling of the combat network damage is not practical enough. In this paper, we report a more realistic model to study the combat network damage maximization problems. By analyzing realistic situations, the cost of damage is redefined based on the network topology and the functional characteristics of nodes. The damage effect is also updated according to the combat network topology and operational capability. Hence, a cost-limited damage maximization model for the combat network is constructed. In addition, to obtain optimal solutions, an improved genetic algorithm~(IPGA) based on prior information is proposed. As a result, our method has a significant advantage in the feasibility and effectiveness compared with other algorithms in experiments. The attack pattern of the combat network and the convergence and complexity of the proposed algorithm are further explored. The improved model and algorithm, as well as the mined attack patterns, can provide support for military decisions.


title: Localized Adversarial Domain Generalization

abstract: Deep learning methods can struggle to handle domain shifts not seen in training data, which can cause them to not generalize well to unseen domains. This has led to research attention on domain generalization (DG), which aims to the model's generalization ability to out-of-distribution. Adversarial domain generalization is a popular approach to DG, but conventional approaches (1) struggle to sufficiently align features so that local neighborhoods are mixed across domains; and (2) can suffer from feature space over collapse which can threaten generalization performance. To address these limitations, we propose localized adversarial domain generalization with space compactness maintenance~(LADG) which constitutes two major contributions. First, we propose an adversarial localized classifier as the domain discriminator, along with a principled primary branch. This constructs a min-max game whereby the aim of the featurizer is to produce locally mixed domains. Second, we propose to use a coding-rate loss to alleviate feature space over collapse. We conduct comprehensive experiments on the Wilds DG benchmark to validate our approach, where LADG outperforms leading competitors on most datasets.


title: Doping and gap-size dependence of high-harmonic generation in graphene : Importance of consistent formulation of light-matter coupling

abstract: High-harmonic generation (HHG) in solids is a fundamental nonlinear phenomenon, which can be efficiently controlled by modifying system parameters such as doping-level and temperature. In order to correctly predict the dependence of HHG on these parameters, consistent theoretical formulation of the light-matter coupling is crucial. Recently, contributions to the current that are often missing in the HHG analysis based on the semiconductor Bloch equations have been pointed out [J. Wilhelm, et.al. PRB 103 125419 (2021)]. In this paper, by systematically analyzing the doping and gap-size dependence of HHG in gapped graphene, we discuss the practical impact of such terms. In particular, we focus on the role of the current $J_{\rm ra}^{(2)}$, which originates from the change of the intraband dipole via interband transition. When the gap is small and the system is close to half filling, intraband and interband currents mostly cancel, thus suppressing the HHG signal - an important property that is broken when neglecting $J_{\rm ra}^{(2)}$. Furthermore, without $J_{\rm ra}^{(2)}$, the doping and gap-size dependence of HHG becomes qualitatively different from the full evaluation. Our results demonstrate the importance of the consistent expression of the current to study the parameter dependence of HHG for the small gap systems.


title: Development of Charging, Discharging Scheduling Algorithm for Economical and Energy Efficient Operation of Multi EV Charging Station

abstract: As the number of electric vehicles (EVs) significantly increases, the excessive charging demand of parked EVs in the charging station may incur an instability problem to the electricity network during peak hours. For the charging station to take a microgrid (MG) structure, an economical and energy-efficient power management scheme is required for the power provision of EVs while considering the local load demand of the MG. For these purposes, this study presents the power management scheme of interdependent MG and EV fleets aided by a novel EV charg-ing/discharging scheduling algorithm. In this algorithm, the maximum amount of discharging power from parked EVs is determined based on the difference between local load demand and photovoltaic (PV) power production to alleviate imbalances occurred between them. For the power management of the MG with charging/discharging scheduling of parked EVs in the PV-based charging station, multi-objective optimization is performed to minimize the operating cost and grid dependency. In addition, the proposed scheme maximizes the utilization of EV charging/discharging while satisfying the charging requirements of parked EVs. Moreover, a more economical and energy-efficient PV-based charging station is established using the future trends of local load demand and PV power production predicted by a gated recurrent unit (GRU) network. With the proposed EV charging/discharging scheduling algorithm, the operating cost of PV-based charging station is decreased by 167.71% and 28.85% compared with the EV charg-ing scheduling algorithm and the conventional EV charging/discharging scheduling algorithm, respectively. It is obvious that the economical and energy-efficient operation of PV-based charging station can be accomplished by applying the power management scheme with the proposed EV charging/discharging scheduling strategy.


title: Equivariant analytic torsion for proper actions

abstract: We construct an equivariant version of Ray-Singer analytic torsion for proper, isometric actions by locally compact groups on Riemannian manifolds, with compact quotients. We obtain results on convergence, metric independence, vanishing for even-dimensional manifolds, a product formula, and a decomposition of classical Ray-Singer analytic torsion as a sum over conjugacy classes of equivariant torsion on universal covers. We do explicit computations for the circle and the line acting on themselves, and for regular elliptic elements of $\operatorname{SO}_0(3,1)$ acting on $3$-dimensional hyperbolic space. Our constructions and results generalise several earlier constructions of equivariant analytic torsion and their properties, most of which apply to finite or compact groups, or to fundamental groups of compact manifolds acting on their universal covers. These earlier versions of equivariant analytic torsion were associated to finite or compact conjugacy classes; we allow noncompact conjugacy classes, under suitable growth conditions.


title: Multiferroic materials based on transition-metal dichalcogenides: Potential platform for reversible control of Dzyaloshinskii-Moriya interaction and skyrmion via electric field

abstract: Exploring novel two-dimensional multiferroic materials that can realize electric-field control of two-dimensional magnetism has become an emerging topic in spintronics. Using first-principles calculations, we demonstrate that non-metallic bilayer transition metal dichalcogenides (TMDs) can be an ideal platform for building multiferroics by intercalated magnetic atoms. Moreover, we unveil that with Co intercalated bilayer MoS2, Co(MoS2)2, two energetic degenerate states with opposite chirality of Dzyaloshinskii-Moriya interaction (DMI) are the ground states, indicating electric-field control of the chirality of topologic magnetism such as skyrmions can be realized in this type of materials by reversing the electric polarization. These findings pave the way for electric-field control of topological magnetism in two-dimensional multiferroics with intrinsic magnetoelectric coupling.


title: $SO(3)$ quadratures in angular-momentum projection

abstract: While the angular-momentum projection is a common tool for theoretical nuclear structure studies, a large amount of computations are required particularly for triaxially deformed states. In the present work, we clarify the conditions of the exactness of quadratures in the projection method. For efficient computation, the Lebedev quadrature and spherical $t$-design are introduced to the angular-momentum projection. The accuracy of the quadratures is discussed in comparison with the conventional Gauss-Legendre and trapezoidal quadratures. We found that the Lebedev quadrature is the most efficient among them and the necessary number of sampling points for the quadrature, which is often proportional to the computation time, is reduced by a factor 3/2 in comparison with the conventional method.


title: Cross-Utterance Conditioned VAE for Non-Autoregressive Text-to-Speech

abstract: Modelling prosody variation is critical for synthesizing natural and expressive speech in end-to-end text-to-speech (TTS) systems. In this paper, a cross-utterance conditional VAE (CUC-VAE) is proposed to estimate a posterior probability distribution of the latent prosody features for each phoneme by conditioning on acoustic features, speaker information, and text features obtained from both past and future sentences. At inference time, instead of the standard Gaussian distribution used by VAE, CUC-VAE allows sampling from an utterance-specific prior distribution conditioned on cross-utterance information, which allows the prosody features generated by the TTS system to be related to the context and is more similar to how humans naturally produce prosody. The performance of CUC-VAE is evaluated via a qualitative listening test for naturalness, intelligibility and quantitative measurements, including word error rates and the standard deviation of prosody attributes. Experimental results on LJ-Speech and LibriTTS data show that the proposed CUC-VAE TTS system improves naturalness and prosody diversity with clear margins.


title: Identifying Fixation and Saccades in Virtual Reality

abstract: Gaze recognition can significantly reduce the amount of eye movement data for a better understanding of cognitive and visual processing. Gaze recognition is an essential precondition for eye-based interaction applications in virtual reality. However, the three-dimensional characteristics of virtual reality environments also pose new challenges to existing recognition algorithms. Based on seven evaluation metrics and the Overall score (the mean of the seven normalized metric values), we obtain optimal parameters of three existing recognition algorithms (Velocity-Threshold Identification, Dispersion-Threshold Identification, and Velocity & Dispersion-Threshold Identification) and our modified Velocity & Dispersion-Threshold Identification algorithm. We compare the performance of these four algorithms with optimal parameters. The results show that our modified Velocity & Dispersion-Threshold Identification performs the best. The impact of interface complexity on classification results is also preliminarily explored. The results show that the algorithms are not sensitive to interface complexity.


title: Athermal fluctuations in three dimensional disordered crystals

abstract: We study jammed near-crystalline materials composed of frictionless spheres in three dimensions. We analyze the fluctuations in positions and forces produced by small polydispersity in particle sizes. We generalize a recently developed perturbation expansion about the crystalline ordered state to three dimensional systems. This allows us to exactly predict changes in positions and forces as a response to the changes in particle radii. We show that fluctuations in forces orthogonal to the lattice directions are highly constrained as compared to the fluctuations along lattice directions. Additionally, we analyze the correlations in the displacement fields produced by the microscopic disorder, which we show displays long ranged behaviour.


title: An Efficient Architecture and High-Throughput Implementation of CCSDS-123.0-B-2 Hybrid Entropy Coder Targeting Space-Grade SRAM FPGA Technology

abstract: Nowadays, hyperspectral imaging is recognized as cornerstone remote sensing technology. The explosive growth in image data volume and instrument data rates, compete with limited on-board storage resources and downlink bandwidth, making hyperspectral image data compression a mission critical on-board processing task. The Consultative Committee for Space Data Systems (CCSDS) extended the previous issue of the CCSDS-123.0 Recommended Standard for multi- and hyperspectral image compression to provide with Near-Lossless compression functionality. A key feature of the CCSDS-123.0-B-2 is the improved Hybrid Entropy Coder, which at low bit rates, provides substantially better compression performance than the Issue 1 entropy coders. In this paper, we introduce a high-throughput hardware implementation of the CCSDS-123.0-B-2 Hybrid Entropy Coder. The introduced architecture exploits the systolic design pattern to provide modularity and latency insensitivity in a deep and elastic pipeline achieving a constant throughput of 1 sample/cycle with a small FPGA resource footprint. This architecture is described in portable VHDL RTL and is implemented, validated and demonstrated on a commercially available Xilinx KCU105 development board hosting a Xilinx Kintex Ultrascale XCKU040 SRAM FPGA, and thus, is directly transferable to Xilinx Radiation Tolerant Kintex UltraScale XQRKU060 space-grade devices for space deployments. Moreover, state-of-the-art SpaceFibre (ECSS-E-ST-50-11C) serial link interface and test equipment were used in the validation platform to emulate an on-board deployment. The introduced CCSDS-123.0-B-2 Hybrid Entropy Encoder achieves a constant throughput performance of 305 MSamples/s. To the best of our knowledge, this is the first published fully-compliant architecture and high-throughput implementation of the CCSDS-123.0-B-2 Hybrid Entropy Coder, targeting space-grade FPGA technology.


title: Cyclotron Beam Extraction by Acceleration

abstract: One of the decisive issues in the design and operation of cyclotrons is the choice of the beam extraction method. Typical methods are extraction by electrostatic extractors and by stripping. The former method requires DC high voltage electrodes which are notorious for high-voltage breakdowns. The latter method requires beams of atomic or molecular ions which are notorious for rest gas and Lorentz stripping. Here we discuss the conditions to be met such that a beam will leave the magnetic field of an isochronous cyclotron purely by fast acceleration.


title: Convergence and error analysis of compressible fluid flows with random data: Monte Carlo method

abstract: The goal of this paper is to study convergence and error estimates of the Monte Carlo method for the Navier-Stokes equations with random data. To discretize in space and time, the Monte Carlo method is combined with a suitable deterministic discretization scheme, such as a finite volume method. We assume that the initial data, force and the viscosity coefficients are random variables and study both, the statistical convergence rates as well as the approximation errors. Since the compressible Navier-Stokes equations are not known to be uniquely solvable in the class of global weak solutions, we cannot apply pathwise arguments to analyze the random Navier-Stokes equations. Instead we have to apply intrinsic stochastic compactness arguments via the Skorokhod representation theorem and the Gy\"{o}ngy-Krylov method. Assuming that the numerical solutions are bounded in probability, we prove that the Monte Carlo finite volume method converges to a statistical strong solution. The convergence rates are discussed as well. Numerical experiments illustrate theoretical results.


title: Towards 3D Face Reconstruction in Perspective Projection: Estimating 6DoF Face Pose from Monocular Image

abstract: In 3D face reconstruction, orthogonal projection has been widely employed to substitute perspective projection to simplify the fitting process. This approximation performs well when the distance between camera and face is far enough. However, in some scenarios that the face is very close to camera or moving along the camera axis, the methods suffer from the inaccurate reconstruction and unstable temporal fitting due to the distortion under the perspective projection. In this paper, we aim to address the problem of single-image 3D face reconstruction under perspective projection. Specifically, a deep neural network, Perspective Network (PerspNet), is proposed to simultaneously reconstruct 3D face shape in canonical space and learn the correspondence between 2D pixels and 3D points, by which the 6DoF (6 Degrees of Freedom) face pose can be estimated to represent perspective projection. Besides, we contribute a large ARKitFace dataset to enable the training and evaluation of 3D face reconstruction solutions under the scenarios of perspective projection, which has 902,724 2D facial images with ground-truth 3D face mesh and annotated 6DoF pose parameters. Experimental results show that our approach outperforms current state-of-the-art methods by a significant margin. The code and data are available at https://github.com/cbsropenproject/6dof_face.


title: Quantum neural network autoencoder and classifier applied to an industrial case study

abstract: Quantum computing technologies are in the process of moving from academic research to real industrial applications, with the first hints of quantum advantage demonstrated in recent months. In these early practical uses of quantum computers it is relevant to develop algorithms that are useful for actual industrial processes. In this work we propose a quantum pipeline, comprising a quantum autoencoder followed by a quantum classifier, which are used to first compress and then label classical data coming from a separator, i.e., a machine used in one of Eni's Oil Treatment Plants. This work represents one of the first attempts to integrate quantum computing procedures in a real-case scenario of an industrial pipeline, in particular using actual data coming from physical machines, rather than pedagogical data from benchmark datasets.


title: A Note on Additive Complements

abstract: Two infinite sequences A and B of non-negative integers are called additive complements, if their sum contains all sufficiently large integers. Let $A(x)$ and $B(x)$ be the counting functions of A and B. In this paper, we extend the results of Liu and Fang in 2016 and obtain some results on additive complements. For example, we prove that there exist additive complements $A$ and $B$ such that $\limsup_{x\to+\infty} A(x)B(x)/x= 2$ and $A(x)B(x) - x = 1$ for infinitely positive integers $x$.


title: Reusing Comparator Networks in Pseudo-Boolean Encodings

abstract: A Pseudo-Boolean (PB) constraint is a linear inequality constraint over Boolean literals. One of the popular, efficient ideas used to solve PB-problems (a set of PB-constraints) is to translate them to SAT instances (encodings) via, for example, sorting networks, then to process those instances using state-of-the-art SAT-solvers. In this paper we show an improvement of such technique. By using a variation of a greedy set cover algorithm, when adding constraints to our encoding, we reuse parts of the already encoded PB-instance in order to decrease the size (the number of variables and clauses) of the resulting SAT instance. The experimental evaluation shows that the proposed method increases the number of solved instances.


title: Robustness of Polynomial Stability with Respect to Sampling

abstract: We provide a partially affirmative answer to the following question on robustness of polynomial stability with respect to sampling: ``Suppose that a continuous-time state-feedback controller achieves the polynomial stability of the infinite-dimensional linear system. We apply an idealized sampler and a zero-order hold to a feedback loop around the controller. Then, is the sampled-data system strongly stable for all sufficiently small sampling periods? Furthermore, is the polynomial decay of the continuous-time system transferred to the sampled-data system under sufficiently fast sampling?'' The generator of the open-loop system is assumed to be a Riesz-spectral operator whose eigenvalues are not on the imaginary axis but may approach it asymptotically. We provide conditions for strong stability to be preserved under fast sampling. Moreover, we estimate the decay rate of the state of the sampled-data system with a smooth initial state and a sufficiently small sampling period.


title: Atomistic Modelling of Energy Dissipation in Nanoscale Gears

abstract: Molecule- and solid-state gears build the elementary constituents of nanoscale mechanical machineries. Recent experimental advances in fabrication technologies in the field have strongly contributed to better delineate the roadmap towards the ultimate goal of engineering molecular-scale mechanical devices. To complement experimental studies, computer simulations play an invaluable role, since they allow to address, with atomistic resolution, various fundamental issues such as the transmission of angular momentum in nanoscale gear trains and the mechanisms of energy dissipation at such length scales. We review in this chapter our work addressing the latter problem. Our computational approach is based on classical atom-istic Molecular Dynamics simulations. Two basic problems are discussed: (i) the dominant energy dissipation channels of a rotating solid-state nanogear adsorbed on a surface, and (ii) the transmission of rotational motion and frictional processes in a heterogeneous gear pair consisting of a graphene nanodisk and a molecular-scale gear.


title: Spontaneous CP violation

abstract: Models of spontaneous CP violation can solve the Strong CP problem without the need of an anomalous Peccei-Quinn symmetry. In this work we review the Nelson-Barr approach, quantifying a peculiar coincidence between unrelated mass scales that these models must satisfy in order to correctly reproduce the Standard Model quark masses and CP violation. We investigate the compatibility between this requirement and the induced radiative corrections to the neutron electric dipole moment, and with bounds coming from collider, electroweak and flavor observables.


title: The derived and extension dimensions of abelian categories

abstract: For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $\Lambda$, we give the upper bounds of the extension dimension of $\Lambda$ in terms of the radical layer length of $\Lambda$ and certain relative projective (or injective) dimension of some simple $\Lambda$-modules, from which some new upper bounds of the derived dimension of $\Lambda$ are induced.


title: Federated Multi-Armed Bandits Under Byzantine Attacks

abstract: Multi-armed bandits (MAB) is a sequential decision-making model in which the learner controls the trade-off between exploration and exploitation to maximize its cumulative reward. Federated multi-armed bandits (FMAB) is an emerging framework where a cohort of learners with heterogeneous local models play an MAB game and communicate their aggregated feedback to a server to learn a globally optimal arm. Two key hurdles in FMAB are communication-efficient learning and resilience to adversarial attacks. To address these issues, we study the FMAB problem in the presence of Byzantine clients who can send false model updates threatening the learning process. We analyze the sample complexity and the regret of $\beta$-optimal arm identification. We borrow tools from robust statistics and propose a median-of-means (MoM)-based online algorithm, Fed-MoM-UCB, to cope with Byzantine clients. In particular, we show that if the Byzantine clients constitute less than half of the cohort, the cumulative regret with respect to $\beta$-optimal arms is bounded over time with high probability, showcasing both communication efficiency and Byzantine resilience. We analyze the interplay between the algorithm parameters, a discernibility margin, regret, communication cost, and the arms' suboptimality gaps. We demonstrate Fed-MoM-UCB's effectiveness against the baselines in the presence of Byzantine attacks via experiments.


title: Dynamics of two central spins immersed in spin baths

abstract: In this article we derive the exact dynamics of a two qubit (spin 1/2) system interacting centrally with separate fermionic baths composed of qubits in thermal state. Further, each spin of a bath is coupled to every other spin of the same bath. The corresponding dynamical map is constructed. It is used to analyse the non-Markovian nature of the two qubit central spin dynamics. We further observe the evolution of quantum correlations like entanglement and discord under the influence of the environmental interaction. Moreover, we demonstrate the comparison between this exact two qubit dynamics and the locally acting fermionic central spin model. This work is a stepping stone towards the realization of non-Markovian heat engines and other quantum thermal devices.


title: Hierarchical Bayesian Uncertainty Quantification of Finite Element Models using Modal Statistical Information

abstract: This paper develops a Hierarchical Bayesian Modeling (HBM) framework for uncertainty quantification of Finite Element (FE) models based on modal information. This framework uses an existing Fast Fourier Transform (FFT) approach to identify experimental modal parameters from time-history data and employs a class of maximum-entropy probability distributions to account for the mismatch between the modal parameters. It also considers a parameterized probability distribution for capturing the variability of structural parameters across multiple data sets. In this framework, the computation is addressed through Expectation-Maximization (EM) strategies, empowered by Laplace approximations. As a result, a new rationale is introduced for assigning optimal weights to the modal properties when updating structural parameters. According to this framework, the modal features weights are equal to the inverse of the aggregate uncertainty, comprised of the identification and prediction uncertainties. The proposed framework is coherent in modeling the entire process of inferring structural parameters from response-only measurements and is comprehensive in accounting for different sources of uncertainty, including the variability of both modal and structural parameters over multiple data sets, as well as their identification uncertainties. Numerical and experimental examples are employed to demonstrate the HBM framework, wherein the environmental and operational conditions are almost constant. It is observed that the variability of parameters across data sets remains the dominant source of uncertainty while being much larger than the identification uncertainties.


title: Information-Robust Optimal Auctions

abstract: A single unit of a good is sold to one of two bidders. Each bidder has either a high prior valuation or a low prior valuation for the good. Their prior valuations are independently and identically distributed. Each bidder may observe an independently and identically distributed signal about her prior valuation. The seller knows the distribution of the prior valuation profile and knows that signals are independently and identically distributed, but does not know the signal distribution. In addition, the seller knows that bidders play undominated strategies. I find that a second-price auction with a random reserve maximizes the worst-case expected revenue over all possible signal distributions and all equilibria in undominated strategies.


title: Growth of Perturbations in Tsallis and Barrow Cosmology

abstract: We disclose the effects of the entropic corrections to the Friedmann equations on the growth of perturbations in the early stages of the universe. We consider two types of corrections to the area law of entropy, known as Tsallis and Barrow entropies. Using these corrections to entropy, we derive the modified Friedmann equations and explore the growth of perturbations in a flat universe filled with dark matter (DM) and cosmological constant. We employ the spherically symmetric collapse formalism and work in the linear regime for the perturbations. Interestingly enough, we find out that the profile of density contrast quite differs from the standard cosmology in Tsallis and barrow cosmology. We observe that the growth rate of matter perturbations crucially depend on the values of Tsallis and Barrow parameters. With increasing these correction parameters to the entropy, the total density contrast increases as well. This implies that perturbations grow up faster in a universe with modified entropy corrected Friedmann equations.


title: The Roles and Modes of Human Interactions with Automated Machine Learning Systems

abstract: As automated machine learning (AutoML) systems continue to progress in both sophistication and performance, it becomes important to understand the `how' and `why' of human-computer interaction (HCI) within these frameworks, both current and expected. Such a discussion is necessary for optimal system design, leveraging advanced data-processing capabilities to support decision-making involving humans, but it is also key to identifying the opportunities and risks presented by ever-increasing levels of machine autonomy. Within this context, we focus on the following questions: (i) How does HCI currently look like for state-of-the-art AutoML algorithms, especially during the stages of development, deployment, and maintenance? (ii) Do the expectations of HCI within AutoML frameworks vary for different types of users and stakeholders? (iii) How can HCI be managed so that AutoML solutions acquire human trust and broad acceptance? (iv) As AutoML systems become more autonomous and capable of learning from complex open-ended environments, will the fundamental nature of HCI evolve? To consider these questions, we project existing literature in HCI into the space of AutoML; this connection has, to date, largely been unexplored. In so doing, we review topics including user-interface design, human-bias mitigation, and trust in artificial intelligence (AI). Additionally, to rigorously gauge the future of HCI, we contemplate how AutoML may manifest in effectively open-ended environments. This discussion necessarily reviews projected developmental pathways for AutoML, such as the incorporation of reasoning, although the focus remains on how and why HCI may occur in such a framework rather than on any implementational details. Ultimately, this review serves to identify key research directions aimed at better facilitating the roles and modes of human interactions with both current and future AutoML systems.


title: Emergence of Spin Ice freezing in Dy$_2$Ti$_{1.8}$Mn$_{0.2}$O$_7$

abstract: We herein present the spin freezing dynamics of stuffed polycrystalline compound Dy$_2$Ti$_{1.8}$Mn$_{0.2}$O$_7$. In Dy$_2$Ti$_2$O$_7$, spin freezes with ice-like spin relaxations at a temperature around 3 K (T$_i$) along with another spin freezing at a temperature around 0.7 K (T\textless T$_i$). These relaxations can be observed prominently with an application of varying DC magnetic field bias and applied AC-field. We show here that with fractional inclusion of Mn at the Ti site in Dy$_2$Ti$_2$O$_7$, there is a significant shift in these temperatures. In Dy$_2$Ti$_{1.8}$Mn$_{0.2}$O$_7$ the T$_i$ shifts to a higher temperature around 5 K and freezing belonging to T\textless T$_i$ shifts to 2.5 K without any application of external DC Bias and/or AC-field. The inclusion of Mn at Ti site also enhances the ferromagnetic interaction for Dy$_2$Ti$_{1.8}$Mn$_{0.2}$O$_7$ as compared to Dy$_2$Ti$_2$O$_7$. Arrhenius fit of freezing temperature with frequency for Dy$_2$Ti$_{1.8}$Mn$_{0.2}$O$_7$ shows that these spin relaxations at T$_i$ and T\textless T$_i$ are thermally induced. Low-temperature structural change in lattice parameters and crystal field phonon coupling has been studied using synchrotron x-ray diffraction. Debye-Gruineisen analysis of temperature-dependent lattice volume shows the emergence of crystal field phonon coupling at a much higher temperature (70 K) in Dy$_2$Ti$_{1.8}$Mn$_{0.2}$O$_7$ in contrast to 40 K in Dy$_2$Ti$_2$O$_7$. These findings make Dy$_2$Ti$_{1.8}$Mn$_{0.2}$O$_7$ a suitable system to explore the application of the spin ice phenomenon at a workable temperature.


title: Exponential tractability of $L_2$-approximation with function values

abstract: We study the complexity of high-dimensional approximation in the $L_2$-norm when different classes of information are available; we compare the power of function evaluations with the power of arbitrary continuous linear measurements. Here, we discuss the situation when the number of linear measurements required to achieve an error $\varepsilon \in (0,1)$ in dimension $d\in\mathbb{N}$ depends only poly-logarithmically on $\varepsilon^{-1}$. This corresponds to an exponential order of convergence of the approximation error, which often happens in applications. However, it does not mean that the high-dimensional approximation problem is easy, the main difficulty usually lies within the dependence on the dimension $d$. We determine to which extent the required amount of information changes, if we allow only function evaluation instead of arbitrary linear information. It turns out that in this case we only lose very little, and we can even restrict to linear algorithms. In particular, several notions of tractability hold simultaneously for both types of available information.


title: Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments

abstract: Monitoring is a critical component in fog environments: it promptly provides insights about the behavior of systems, reveals Service Level Agreements (SLAs) violations, enables the autonomous orchestration of services and platforms, calls for the intervention of operators, and triggers self-healing actions. In such environments, monitoring solutions have to cope with the heterogeneity of the devices and platforms present in the Fog, the limited resources available at the edge of the network, and the high dynamism of the whole Cloud-to-Thing continuum. This paper addresses the challenge of accurately and efficiently monitoring the Fog with a self-adaptive peer-to-peer (P2P) monitoring solution that can opportunistically adjust its behavior according to the collected data exploiting a lightweight rule-based expert system. Empirical results show that adaptation can improve monitoring accuracy, while reducing network and power consumption at the cost of higher memory consumption.


title: Quadratic symmetry algebras and spectrum of the 3D nondegenerate quantum superintegrable system

abstract: In this paper, we present the quadratic associative symmetry algebra of the 3D nondegenerate maximally quantum superintegrable system. This is the complete symmetry algebra of the system. It is demonstrated that the symmetry algebra contains suitable quadratic subalgebras, each of which is generated by three generators with relevant structure constants, which may depend on central elements. We construct corresponding Casimir operators and present finite-dimensional unirreps and structure functions via the realizations of these subalgebras in the context of deformed oscillators. By imposing constraints on the structure functions, we obtain the spectrum of the 3D nondegenerate superintegrable system. We also show that this model is multiseparable and admits separation of variables in cylindrical polar and paraboloidal coordinates. We derive the physical spectrum by solving the Schr\"{o}dinger equation of the system and compare the result with those obtained from algebraic derivations.


title: Superradiant transfer of quantized orbital angular momentum between light and atoms in a ring trap

abstract: The orbital angular momentum (OAM) from a laser beam can be coherently transferred to a Bose-Einstein condensate in a ring trap, in quantized units of $\hbar$. The light-matter coupling allows for the superradiant transfer of the atoms between the discrete OAM states. Tuning the ring parameters and winding number of the pump light, specific angular momentum states can be populated. This in turn allows control of the emission to generate light with OAM different from that of the pump, as the atomic ring imprints its contribution on the scattered light.


title: Verifying Integrity of Deep Ensemble Models by Lossless Black-box Watermarking with Sensitive Samples

abstract: With the widespread use of deep neural networks (DNNs) in many areas, more and more studies focus on protecting DNN models from intellectual property (IP) infringement. Many existing methods apply digital watermarking to protect the DNN models. The majority of them either embed a watermark directly into the internal network structure/parameters or insert a zero-bit watermark by fine-tuning a model to be protected with a set of so-called trigger samples. Though these methods work very well, they were designed for individual DNN models, which cannot be directly applied to deep ensemble models (DEMs) that combine multiple DNN models to make the final decision. It motivates us to propose a novel black-box watermarking method in this paper for DEMs, which can be used for verifying the integrity of DEMs. In the proposed method, a certain number of sensitive samples are carefully selected through mimicking real-world DEM attacks and analyzing the prediction results of the sub-models of the non-attacked DEM and the attacked DEM on the carefully crafted dataset. By analyzing the prediction results of the target DEM on these carefully crafted sensitive samples, we are able to verify the integrity of the target DEM. Different from many previous methods, the proposed method does not modify the original DEM to be protected, which indicates that the proposed method is lossless. Experimental results have shown that the DEM integrity can be reliably verified even if only one sub-model was attacked, which has good potential in practice.


title: Recursively feasible Data-driven Distributionally Robust Model Predictive Control with additive disturbances

abstract: In this paper we propose a data-driven distributionally robust Model Predictive Control framework for constrained stochastic systems with unbounded additive disturbances. Recursive feasibility is ensured by optimizing over an linearly interpolated initial state constraint in combination with a simplified affine disturbance feedback policy. We consider a moment-based ambiguity set with data-driven radius for the second moment of the disturbance, where we derive a minimum number of samples in order to ensure user-given confidence bounds on the chance constraints and closed-loop performance. The paper closes with a numerical example, highlighting the performance gain and chance constraint satisfaction based on different sample sizes.


title: Volume reduction of water samples to increase sensitivity for radioassay of lead contamination

abstract: The World Health Organisation (WHO) presents an upper limit for lead in drinking water of 10 parts per billion ppb. Typically, to reach this level of sensitivity, expensive metrology is required. To increase the sensitivity of low cost devices, this paper explores the prospects of using a volume reduction technique of a boiled water sample doped with Lead-210 ($^{210}Pb$), as a means to increase the solute's concentration. $^{210}$Pb is a radioactive lead isotope and its concentration in a water sample can be measured with e.g. High Purity Germanium (HPGe) detectors at the Boulby Underground Germanium Suite. Concentrations close to the WHO limit have not been examined. This paper presents a measurement of the volume reduction technique retaining $99\pm(9)\%$ of $^{210}$Pb starting from a concentration of $1.9\times10^{-6}$ ppb before reduction and resulting in $2.63\times10^{-4}$ ppb after reduction. This work also applies the volume reduction technique to London tap water and reports the radioassay results from gamma counting in HPGe detectors. Among other radio-isotopes, $^{40}$K, $^{210}$Pb, $^{131}$I and $^{177}$Lu were identified at measured concentrations of $2.83\times10^{3}$ ppb, $2.55\times10^{-7}$ ppb, $5.06\times10^{-10}$ ppb and $5.84\times10^{-10}$ ppb in the London tap water sample. This technique retained $90\pm50\%$ of $^{40}$K. Stable lead was inferred from the same water sample at a measured concentration of 0.012 ppb, prior to reduction.


title: Productive Performance Engineering for Weather and Climate Modeling with Python

abstract: Earth system models are developed with a tight coupling to target hardware, often containing specialized code predicated on processor characteristics. This coupling stems from using imperative languages that hard-code computation schedules and layout. We present a detailed account of optimizing the Finite Volume Cubed-Sphere Dynamical Core (FV3), improving productivity and performance. By using a declarative Python-embedded stencil domain-specific language and data-centric optimization, we abstract hardware-specific details and define a semi-automated workflow for analyzing and optimizing weather and climate applications. The workflow utilizes both local and full-program optimization, as well as user-guided fine-tuning. To prune the infeasible global optimization space, we automatically utilize repeating code motifs via a novel transfer tuning approach. On the Piz Daint supercomputer, we scale to 2,400 GPUs, achieving speedups of up to 3.92x over the tuned production implementation at a fraction of the original code.


title: Identifying synthetic voices qualities for conversational agents

abstract: The present study aims to explore user acceptance and perceptions toward different quality levels of synthetical voices. To achieve this, four voices have been exploited considering two main factors: the quality of the voices (low vs high) and their gender (male and female). 186 volunteers were recruited and subsequently allocated into four groups of different ages respec-tively, adolescents, young adults, middle-aged and seniors. After having randomly listened to each voice, participants were asked to fill the Virtual Agent Voice Acceptance Questionnaire (VAVAQ). Outcomes show that the two higher quality voices of Antonio and Giulia were more appreciated than the low-quality voices of Edoardo and Clara by the whole sample in terms of pragmatic, hedonic and attractiveness qualities attributed to the voices. Concerning preferences towards differently aged voices, it clearly appeared that they varied according to participants age' ranges examined. Furthermore, in terms of suitability to perform different tasks, participants considered Antonio and Giulia equally adapt for healthcare and front office jobs. Antonio was also judged to be significantly more qualified to accomplish protection and security tasks, while Edoardo was classified as the absolute least skilled in conducting household chores.


title: High-Resolution NMR Spectroscopy at Large Fields with Nitrogen Vacancy Centers

abstract: Ensembles of nitrogen-vacancy (NV) centers are used as sensors to detect NMR signals from micron-sized samples at room temperature. In this scenario, the regime of large magnetic fields is especially interesting as it leads to a large nuclear thermal polarisation -- thus, to a strong sensor response even in low concentration samples -- while chemical shifts and J-couplings become more accessible. Nevertheless, this regime remains largely unexplored owing to the difficulties to couple NV-based sensors with high-frequency nuclear signals. In this work, we circumvent this problem with a method that maps the relevant energy shifts in the amplitude of an induced nuclear spin signal that is subsequently transferred to the sensor. This stage is interspersed with free-precession periods of the sample nuclear spins where the sensor does not participate. Thus, our method leads to high spectral resolutions ultimately limited by the coherence of the nuclear spin signal.


title: Learning effective dynamics from data-driven stochastic systems

abstract: Multiscale stochastic dynamical systems have been widely adopted to a variety of scientific and engineering problems due to their capability of depicting complex phenomena in many real world applications. This work is devoted to investigating the effective dynamics for slow-fast stochastic dynamical systems. Given observation data on a short-term period satisfying some unknown slow-fast stochastic systems, we propose a novel algorithm including a neural network called Auto-SDE to learn invariant slow manifold. Our approach captures the evolutionary nature of a series of time-dependent autoencoder neural networks with the loss constructed from a discretized stochastic differential equation. Our algorithm is also validated to be accurate, stable and effective through numerical experiments under various evaluation metrics.


title: Scaling up sign spotting through sign language dictionaries

abstract: The focus of this work is $\textit{sign spotting}$ - given a video of an isolated sign, our task is to identify $\textit{whether}$ and $\textit{where}$ it has been signed in a continuous, co-articulated sign language video. To achieve this sign spotting task, we train a model using multiple types of available supervision by: (1) $\textit{watching}$ existing footage which is sparsely labelled using mouthing cues; (2) $\textit{reading}$ associated subtitles (readily available translations of the signed content) which provide additional $\textit{weak-supervision}$; (3) $\textit{looking up}$ words (for which no co-articulated labelled examples are available) in visual sign language dictionaries to enable novel sign spotting. These three tasks are integrated into a unified learning framework using the principles of Noise Contrastive Estimation and Multiple Instance Learning. We validate the effectiveness of our approach on low-shot sign spotting benchmarks. In addition, we contribute a machine-readable British Sign Language (BSL) dictionary dataset of isolated signs, BSLDict, to facilitate study of this task. The dataset, models and code are available at our project page.


title: Linear Runlength-Limited Subcodes of Reed-Muller Codes and Coding Schemes for Input-Constrained BMS Channels

abstract: In this work, we address the question of the largest rate of linear subcodes of Reed-Muller (RM) codes, all of whose codewords respect a runlength-limited (RLL) constraint. Our interest is in the $(d,\infty)$-RLL constraint, which mandates that every pair of successive $1$s be separated by at least $d$ $0$s. Consider any sequence $\{{\mathcal{C}_m}\}_{m\geq 1}$ of RM codes with increasing blocklength, whose rates approach $R$, in the limit as the blocklength goes to infinity. We show that for any linear $(d,\infty)$-RLL subcode, $\hat{\mathcal{C}}_m$, of the code $\mathcal{C}_m$, it holds that the rate of $\hat{\mathcal{C}}_m$ is at most $\frac{R}{d+1}$, in the limit as the blocklength goes to infinity. We also consider scenarios where the coordinates of the RM codes are not ordered according to the standard lexicographic ordering, and derive rate upper bounds for linear $(d,\infty)$-RLL subcodes, in those cases as well. Next, for the setting of a $(d,\infty)$-RLL input-constrained binary memoryless symmetric (BMS) channel, we devise a new coding scheme, based on cosets of RM codes. Again, in the limit of blocklength going to infinity, this code outperforms any linear subcode of an RM code, in terms of rate, for low noise regimes of the channel.


title: Diffraction imaging of light induced dynamics in xenon-doped helium nanodroplets

abstract: We have explored the light induced dynamics in superfluid helium nanodroplets with wide-angle scattering in a pump-probe measurement scheme. The droplets are doped with xenon atoms to facilitate the ignition of a nanoplasma through irradiation with near-infrared laser pulses. After a variable time delay of up to 800 ps, we image the subsequent dynamics using intense extreme ultraviolet pulses from the FERMI free-electron laser. The recorded scattering images exhibit complex intensity fluctuations that are categorized based on their characteristic features. Systematic simulations of wide-angle diffraction patterns are performed, which can qualitatively explain the observed features by employing model shapes with both randomly distributed as well as structured, symmetric distortions. This points to a connection between the dynamics and the positions of the dopants in the droplets. In particular, the structured fluctuations might be governed by an underlying array of quantized vortices in the superfluid droplet as has been observed in previous small-angle diffraction experiments. Our results provide a basis for further investigations of dopant-droplet interactions and associated heating mechanisms.


title: Fast high-fidelity composite gates in superconducting qubits: Beating the Fourier leakage limit

abstract: We present a method for quantum control in superconducting qubits, which overcomes the Fourier limit for the gate duration imposed by leakage to upper states. The method uses composite pulses, which allow for the correction of various types of errors, which naturally arise in the system, by destructive interference of these errors. We use our approach to produce complete and partial population transfer between the qubit states, as well as the three basic single-qubit quantum gates. Our simulations show a substantial reduction of the typical errors and a gate speed-up by an order of magnitude.


title: Towards a median signal detector through the total Bregman divergence and its robustness analysis

abstract: A novel family of geometric signal detectors are proposed through medians of the total Bregman divergence (TBD), which are shown advantageous over the conventional methods and their mean counterparts. By interpreting the observation data as Hermitian positive-definite matrices, their mean or median play an essential role in signal detection. As is difficult to be solved analytically, we propose numerical solutions through Riemannian gradient descent algorithms or fixed-point algorithms. Beside detection performance, robustness of a detector to outliers is also of vital importance, which can often be analyzed via the influence functions. Introducing an orthogonal basis for Hermitian matrices, we are able to compute the corresponding influence functions analytically and exactly by solving a linear system, which is transformed from the governing matrix equation. Numerical simulations show that the TBD medians are more robust than their mean counterparts.


title: Task-specific Compression for Multi-task Language Models using Attribution-based Pruning

abstract: Multi-task language models show outstanding performance for various natural language understanding tasks with only a single model. However, these language models utilize an unnecessarily large number of model parameters, even when used only for a specific task. This paper proposes a novel training-free compression method for multi-task language models using a pruning method. Specifically, we use an attribution method to determine which neurons are essential for performing a specific task. We task-specifically prune unimportant neurons and leave only task-specific parameters. Furthermore, we extend our method to be applicable in low-resource and unsupervised settings. Since our compression method is training-free, it uses few computing resources and does not destroy the pre-trained knowledge of language models. Experimental results on the six widely-used datasets show that our proposed pruning method significantly outperforms baseline pruning methods. In addition, we demonstrate that our method preserves performance even in an unseen domain setting.


title: Double-Weak Decays of $^{124}$Xe and $^{136}$Xe in the XENON1T and XENONnT Experiments

abstract: We present results on the search for double-electron capture ($2\nu\text{ECEC}$) of $^{124}$Xe and neutrinoless double-$\beta$ decay ($0\nu\beta\beta$) of $^{136}$Xe in XENON1T. We consider captures from the K- up to the N-shell in the $2\nu\text{ECEC}$ signal model and measure a total half-life of $T_{1/2}^{2\nu\text{ECEC}}=(1.1\pm0.2_\text{stat}\pm0.1_\text{sys})\times 10^{22}\;\text{yr}$ with a $0.87\;\text{kg}\times\text{yr}$ isotope exposure. The statistical significance of the signal is $7.0\,\sigma$. We use XENON1T data with $36.16\;\text{kg}\times\text{yr}$ of $^{136}$Xe exposure to search for $0\nu\beta\beta$. We find no evidence of a signal and set a lower limit on the half-life of $T_{1/2}^{0\nu\beta\beta} > 1.2 \times 10^{24}\;\text{yr}\; \text{at}\; 90\,\%\;\text{CL}$. This is the best result from a dark matter detector without an enriched target to date. We also report projections on the sensitivity of XENONnT to $0\nu\beta\beta$. Assuming a $275\;\text{kg}\times\text{yr}$ $^{136}$Xe exposure, the expected sensitivity is $T_{1/2}^{0\nu\beta\beta} > 2.1 \times 10^{25}\;\text{yr}\; \text{at}\; 90\,\%\;\text{CL}$, corresponding to an effective Majorana mass range of $\langle m_{\beta\beta} \rangle < (0.19 - 0.59)\;\text{eV/c}^2$.


title: Symmetric Stable Processes on Amenable Groups

abstract: We show that if $G$ is a countable amenable group, then every stationary non-Gaussian symmetric $\alpha$-stable (S$\alpha$S) process indexed by $G$ is ergodic if and only if it is weakly-mixing, and it is ergodic if and only if its Rosinski minimal spectral representation is null. This extends the results for $\mathbb{Z}^d$, and answers a question of P. Roy on discrete nilpotent groups to the extent of all countable amenable groups. As a result we construct on the Heisenberg group and on many Abelian groups, for all $\alpha$ in (0,2), stationary S$\alpha$S processes that are weakly-mixing but not strongly-mixing.


title: Improved-Flow Warp Module for Remote Sensing Semantic Segmentation

abstract: Remote sensing semantic segmentation aims to assign automatically each pixel on aerial images with specific label. In this letter, we proposed a new module, called improved-flow warp module (IFWM), to adjust semantic feature maps across different scales for remote sensing semantic segmentation. The improved-flow warp module is applied along with the feature extraction process in the convolutional neural network. First, IFWM computes the offsets of pixels by a learnable way, which can alleviate the misalignment of the multi-scale features. Second, the offsets help with the low-resolution deep feature up-sampling process to improve the feature accordance, which boosts the accuracy of semantic segmentation. We validate our method on several remote sensing datasets, and the results prove the effectiveness of our method..


title: Randomized Group-Greedy Method for Large-Scale Sensor Selection Problems

abstract: The randomized group-greedy method and its customized method for large-scale sensor selection problems are proposed. The randomized greedy sensor selection algorithm is applied straightforwardly to the group-greedy method, and a customized method is also considered. In the customized method, a part of the compressed sensor candidates is selected using the common greedy method or other low-cost methods. This strategy compensates for the deterioration of the solution due to compressed sensor candidates. The proposed methods are implemented based on the D- and E-optimal design of experiments, and numerical experiments are conducted using randomly generated sensor candidate matrices with potential sensor locations of 10,000--1,000,000. The proposed method can provide better optimization results than those obtained by the original group-greedy method when a similar computational cost is spent as for the original group-greedy method. This is because the group size for the group-greedy method can be increased as a result of the compressed sensor candidates by the randomized algorithm. Similar results were also obtained in the real dataset. The proposed method is effective for the E-optimality criterion, in which the objective function that the optimization by the common greedy method is difficult due to the absence of submodularity of the objective function. The idea of the present method can improve the performance of all optimizations using a greedy algorithm.


title: Fractional Boundary Value Problems and elastic sticky Brownian motions, II: The bounded domain

abstract: Sticky diffusion processes spend finite time (and finite mean time) on a lower-dimensional boundary. Once the process hits the boundary, then it starts again after a random amount of time. While on the boundary it can stay or move according to dynamics that are different from those in the interior. Such processes may be characterized by a time-derivative appearing in the boundary condition for the governing problem. We use time changes obtained by right-inverses of suitable processes in order to describe fractional sticky conditions and the associated boundary behaviours. We obtain that fractional boundary value problems (involving fractional dynamic boundary conditions) lead to sticky diffusions spending an infinite mean time (and finite time) on a lower-dimensional boundary. Such a behaviour can be associated with a trap effect in the macroscopic point of view.


title: Homological shifts of polymatroidal ideals

abstract: We study the homological shifts of polymatroidal ideals. It is shown that the first homological shift ideal of any polymatroidal ideal is again polymatroidal, supporting a conjecture of Bandari, Bayati and Herzog that predicts that all homological shift ideals of a polymatroidal ideal are polymatroidal. We also study the "socle ideal" $\text{soc}(I)$ of a polymatroidal ideal $I$ and relate it to the highest homological shift ideal of $I$. It is shown that $\text{soc}(I)$ is polymatroidal if: (i) $I$ is a polymatroidal ideal generated in degree two, (ii) $I$ is a polymatroidal ideal in at most three variables, (iii) $I$ is matroidal, (iv) $I$ is a principal Borel ideal, (v) $I$ is a PLP-polymatroidal ideal, (vi) $I$ is a LP-polymatroidal ideal.


title: Robotic Maintenance of Road Infrastructures: The HERON Project

abstract: Of all public assets, road infrastructure tops the list. Roads are crucial for economic development and growth, providing access to education, health, and employment. The maintenance, repair, and upgrade of roads are therefore vital to road users' health and safety as well as to a well-functioning and prosperous modern economy. The EU-funded HERON project will develop an integrated automated system to adequately maintain road infrastructure. In turn, this will reduce accidents, lower maintenance costs, and increase road network capacity and efficiency. To coordinate maintenance works, the project will design an autonomous ground robotic vehicle that will be supported by autonomous drones. Sensors and scanners for 3D mapping will be used in addition to artificial intelligence toolkits to help coordinate road maintenance and upgrade workflows.


title: On the robustness of triaxial Schwarzschild modelling: The effects of correcting the orbit mirroring

abstract: In the past 15 years, the triaxial Schwarzschild orbit-superposition code by van den Bosch et al. (2008) has been widely applied to study the dynamics of galaxies. Recently, Quenneville et al. (2022) reported a bug in the orbit calculation of this code, specifically in the mirroring procedure that is used to speed up the computation. We have fixed the incorrect mirroring in DYNAMITE, which is the publicly-released successor of the triaxial Schwarzschild code by van den Bosch et al. (2008). In this study, we provide a thorough quantification of how this bug has affected the results of dynamical analyses performed with this code. We compare results obtained with the original and corrected versions of DYNAMITE, and discuss the differences in the phase-space distribution of a single orbit and in the global stellar orbit distribution, in the mass estimate of the central black hole in the highly triaxial galaxy PGC 46832, and in the measurement of intrinsic shape and enclosed mass for more than 50 galaxies. Focusing on the typical scientific applications of a Schwarzschild triaxial code, in all our tests we find that differences are negligible with respect to the statistical and systematic uncertainties. We conclude that previous results with the van den Bosch et al. (2008) triaxial Schwarzschild code are not significantly affected by the incorrect mirroring.


title: Residue-based Label Protection Mechanisms in Vertical Logistic Regression

abstract: Federated learning (FL) enables distributed participants to collaboratively learn a global model without revealing their private data to each other. Recently, vertical FL, where the participants hold the same set of samples but with different features, has received increased attention. This paper first presents one label inference attack method to investigate the potential privacy leakages of the vertical logistic regression model. Specifically, we discover that the attacker can utilize the residue variables, which are calculated by solving the system of linear equations constructed by local dataset and the received decrypted gradients, to infer the privately owned labels. To deal with this, we then propose three protection mechanisms, e.g., additive noise mechanism, multiplicative noise mechanism, and hybrid mechanism which leverages local differential privacy and homomorphic encryption techniques, to prevent the attack and improve the robustness of the vertical logistic regression. model. Experimental results show that both the additive noise mechanism and the multiplicative noise mechanism can achieve efficient label protection with only a slight drop in model testing accuracy, furthermore, the hybrid mechanism can achieve label protection without any testing accuracy degradation, which demonstrates the effectiveness and efficiency of our protection techniques


title: Performance assessment of medical and non-medical CPAP interfaces used during the COVID-19 pandemic

abstract: Background: At the beginning of 2020, a high number of COVID-19 cases affected Italy in a short period, causing a difficult supply of medical equipment. To deal with the problem, many healthcare operators readapted different masks to medical devices, but no experiment was conducted to evaluate their performance. The aims of our study were: to assess the performances of three masks and a CPAP helmet in their original configuration and after modifications, in the maintenance of mean pressure and half-amplitude variations using different PEEP valves and to analyse the impact of antibacterial (AB) or antibacterial-viral (ABV) pre-valve PEEP filters on the effective PEEP delivered to the patients. Four pressure ports were installed on each mask (three on helmet), mean values and half amplitudes of pressure were recorded. Tests were performed with any, AB, ABV filter before the PEEP valve. CPAP helmet was the most efficient interface producing more stable mean pressure and less prominent half-amplitude variations but the non-medical masks, especially after the modifications, maintained a stable mean pressure value with only a moderate increase of half-amplitude. The use of AB and ABV filters, produced respectively an increase of 2,23% and 16.5% in mean pressure, compared to no filter condition. CPAP helmet is the most reliable interface in terms of detected performance, but readapted masks can assure almost a similar performance. The use of ABV filters before the PEEP valve significantly increases the detected mean pressure while the AB filters have almost a neutral effect.


title: Visual Encoding and Debiasing for CTR Prediction

abstract: Extracting expressive visual features is crucial for accurate Click-Through-Rate (CTR) prediction in visual search advertising systems. Current commercial systems use off-the-shelf visual encoders to facilitate fast online service. However, the extracted visual features are coarse-grained and/or biased. In this paper, we present a visual encoding framework for CTR prediction to overcome these problems. The framework is based on contrastive learning which pulls positive pairs closer and pushes negative pairs apart in the visual feature space. To obtain fine-grained visual features,we present contrastive learning supervised by click through data to fine-tune the visual encoder. To reduce sample selection bias, firstly we train the visual encoder offline by leveraging both unbiased self-supervision and click supervision signals. Secondly, we incorporate a debiasing network in the online CTR predictor to adjust the visual features by contrasting high impression items with selected items with lower impressions.We deploy the framework in the visual sponsor search system at Alibaba. Offline experiments on billion-scale datasets and online experiments demonstrate that the proposed framework can make accurate and unbiased predictions.


title: Multi-Fingered In-Hand Manipulation with Various Object Properties Using Graph Convolutional Networks and Distributed Tactile Sensors

abstract: Multi-fingered hands could be used to achieve many dexterous manipulation tasks, similarly to humans, and tactile sensing could enhance the manipulation stability for a variety of objects. However, tactile sensors on multi-fingered hands have a variety of sizes and shapes. Convolutional neural networks (CNN) can be useful for processing tactile information, but the information from multi-fingered hands needs an arbitrary pre-processing, as CNNs require a rectangularly shaped input, which may lead to unstable results. Therefore, how to process such complex shaped tactile information and utilize it for achieving manipulation skills is still an open issue. This paper presents a control method based on a graph convolutional network (GCN) which extracts geodesical features from the tactile data with complicated sensor alignments. Moreover, object property labels are provided to the GCN to adjust in-hand manipulation motions. Distributed tri-axial tactile sensors are mounted on the fingertips, finger phalanges and palm of an Allegro hand, resulting in 1152 tactile measurements. Training data is collected with a data-glove to transfer human dexterous manipulation directly to the robot hand. The GCN achieved high success rates for in-hand manipulation. We also confirmed that fragile objects were deformed less when correct object labels were provided to the GCN. When visualizing the activation of the GCN with a PCA, we verified that the network acquired geodesical features. Our method achieved stable manipulation even when an experimenter pulled a grasped object and for untrained objects.


title: Long-term instability of the inner Solar System: numerical experiments

abstract: Apart from being chaotic, the inner planets in the Solar System constitute an open system, as they are forced by the regular long-term motion of the outer ones. No integrals of motion can bound a priori the stochastic wanderings in their high-dimensional phase space. Still, the probability of a dynamical instability is remarkably low over the next 5 billion years, a timescale thousand times longer than the Lyapunov time. The dynamical half-life of Mercury has indeed been estimated recently at 40 billion years. By means of the computer algebra system TRIP, we consider a set of dynamical models resulting from truncation of the forced secular dynamics recently proposed for the inner planets at different degrees in eccentricities and inclinations. Through ensembles of $10^3$ to $10^5$ numerical integrations spanning 5 to 100 Gyr, we find that the Hamiltonian truncated at degree 4 practically does not allow any instability over 5 Gyr. The destabilisation is mainly due to terms of degree 6. This surprising result suggests an analogy to the Fermi-Pasta-Ulam-Tsingou problem, in which tangency to Toda Hamiltonian explains the very long timescale of thermalisation, which Fermi unsuccessfully looked for.

categories: astro-ph.EP nlin.CD physics.class-ph physics.comp-ph


title: Aspects of the Category SKB of Skew Braces

abstract: We examine the pointed protomodular category SKB of left skew braces. We study the notion of commutator of ideals in a left skew brace. Notice that in the literature, "product" of ideals of skew braces is often considered. We show that Huq=Smith for left skew braces. Finally, we give a set of generators for the commutator of two ideals, and prove that every ideal of a left skew brace has a centralizer.


title: "The World Is Its Own Best Model": Robust Real-World Manipulation Through Online Behavior Selection

abstract: Robotic manipulation behavior should be robust to disturbances that violate high-level task-structure. Such robustness can be achieved by constantly monitoring the environment to observe the discrete high-level state of the task. This is possible because different phases of a task are characterized by different sensor patterns and by monitoring these patterns a robot can decide which controllers to execute in the moment. This relaxes assumptions about the temporal sequence of those controllers and makes behavior robust to unforeseen disturbances. We implement this idea as probabilistic filter over discrete states where each state is direcly associated with a controller. Based on this framework we present a robotic system that is able to open a drawer and grasp tennis balls from it in a surprisingly robust way.


title: Nested Zero Inflated Generalized Poisson Regression for FIFA World Cup 2022

abstract: This article is devoted to the forecast of the FIFA World Cup 2022 via nested zero-inflated generalized Poisson regression. Our regression model incorporates the Elo points of the participating teams, the location of the matches and the of team-specific skills in attack and defense as covariates. The proposed model allows predictions in terms of probabilities in order to quantify the chances for each team to reach a certain stage of the tournament. We use Monte Carlo simulations for estimating the outcome of each single match of the tournament, from which we are able to simulate the whole tournament itself. The model is fitted on all football games of the participating teams since 2016 weighted by date and importance. Validation with previous tournaments and comparison with other Poisson models are given.


title: Generalized Lieb's theorem for noninteracting non-Hermitian $n$-partite tight-binding lattices

abstract: Hermitian bipartite models are characterized by the presence of chiral symmetry and by Lieb's theorem, which derives the number of zero-energy flat bands of the model from the imbalance of sites between its two sublattices. Here, we introduce a class of non-Hermitian models with an arbitrary number of sublattices connected in a unidirectional and cyclical way and show that the number of zero-energy flat bands of these models can be found from a generalized version of Lieb's theorem, in what regards its application to noninteracting tight-binding models, involving the imbalance between each sublattice and the sublattice of lowest dimension. Furthermore, these models are also shown to obey a generalized chiral symmetry, of the type found in the context of certain clock or parafermionic systems. The main results are illustrated with a simple toy model, and possible realizations in different platforms of the models introduced here are discussed.


title: NeuralHDHair: Automatic High-fidelity Hair Modeling from a Single Image Using Implicit Neural Representations

abstract: Undoubtedly, high-fidelity 3D hair plays an indispensable role in digital humans. However, existing monocular hair modeling methods are either tricky to deploy in digital systems (e.g., due to their dependence on complex user interactions or large databases) or can produce only a coarse geometry. In this paper, we introduce NeuralHDHair, a flexible, fully automatic system for modeling high-fidelity hair from a single image. The key enablers of our system are two carefully designed neural networks: an IRHairNet (Implicit representation for hair using neural network) for inferring high-fidelity 3D hair geometric features (3D orientation field and 3D occupancy field) hierarchically and a GrowingNet(Growing hair strands using neural network) to efficiently generate 3D hair strands in parallel. Specifically, we perform a coarse-to-fine manner and propose a novel voxel-aligned implicit function (VIFu) to represent the global hair feature, which is further enhanced by the local details extracted from a hair luminance map. To improve the efficiency of a traditional hair growth algorithm, we adopt a local neural implicit function to grow strands based on the estimated 3D hair geometric features. Extensive experiments show that our method is capable of constructing a high-fidelity 3D hair model from a single image, both efficiently and effectively, and achieves the-state-of-the-art performance.


title: Hypothesis testing for varying coefficient models in tail index regression

abstract: This study examines the varying coefficient model in tail index regression. The varying coefficient model is an efficient semiparametric model that avoids the curse of dimensionality when including large covariates in the model. In fact, the varying coefficient model is useful in mean, quantile, and other regressions. The tail index regression is not an exception. However, the varying coefficient model is flexible, but leaner and simpler models are preferred for applications. Therefore, it is important to evaluate whether the estimated coefficient function varies significantly with covariates. If the effect of the non-linearity of the model is weak, the varying coefficient structure is reduced to a simpler model, such as a constant or zero. Accordingly, the hypothesis test for model assessment in the varying coefficient model has been discussed in mean and quantile regression. However, there are no results in tail index regression. In this study, we investigate the asymptotic properties of an estimator and provide a hypothesis testing method for varying coefficient models for tail index regression.


title: Strong pulse illumination hacks self-differencing avalanche photodiode detectors in a high-speed quantum key distribution system

abstract: Implementation of high-speed quantum key distribution~(QKD) has become one of the major focus in the field, which produces high key-generation rate for applications. To achieve high-speed QKD, tailored techniques are developed and employed to quickly generate and detect quantum states. However, these techniques may introduce unique loopholes to compromise the security of QKD systems. In this paper, we investigate the loopholes of self-differencing~(SD) avalanche photodiode~(APD) detector, typically used for high-speed detection in a QKD system, and demonstrate experimental testing of SD APD detector under strong pulse illumination attack. This attack presents blinding stability and helps an eavesdropper to learn the secret key without introducing extra QBER. Based on this testing, we propose a set of criteria for protecting SD APD detectors from the strong pulse illumination attack.


title: On an elastic flow for parametrized curves in $\mathbb{R}^n$ suitable for numerical purposes

abstract: In arXiv:2205.02920 a variant of the classical elastic flow for closed curves in $\mathbb{R}^{n}$ was introduced, that is more suitable for numerical purposes. Here we investigate the long-time properties of such evolution demonstrating that the flow exists globally in time.


title: High Performance Consensus without Duplication: Multi-pipeline Hotstuff

abstract: The state-of-the-art HotStuff operates an efficient pipeline in which a stable leader drives decisions with linear communication and two round-trips of message. However, the unifying proposing-voting pattern is not sufficient to improve the bandwidth and concurrency performance of the modern system. In addition, the delay corresponding to two rounds of message to produce a certified proposal in that scheme is a significant performance bottleneck. Thus, this study developed a new consensus protocol, Multi-pipeline HotStuff, for permissioned blockchain. To the best of the authors' knowledge, this is the first protocol that combines multiple HotStuff instances to propose batches in order without a concurrent proposal, such that proposals are made optimistically when a correct replica realizes that the current proposal is valid and will be certified by quorum votes in the near future. Because simultaneous proposing and voting are allowed by the proposed protocol without transaction duplication, it produced more proposals in every two rounds of messages. In addition, it further boosted the throughput at a comparable latency with that of HotStuff. The evaluation experiment conducted confirmed that the throughput of Multi-pipeline HotStuff outperformed that of the state-of-the-art protocols by approximately 60\% without significantly increasing end-to-end latency under varying system sizes. Moreover, the proposed optimization also performed better when it suffers a bad network condition.


title: EF-BV: A Unified Theory of Error Feedback and Variance Reduction Mechanisms for Biased and Unbiased Compression in Distributed Optimization

abstract: In distributed or federated optimization and learning, communication between the different computing units is often the bottleneck and gradient compression is widely used to reduce the number of bits sent within each communication round of iterative methods. There are two classes of compression operators and separate algorithms making use of them. In the case of unbiased random compressors with bounded variance (e.g., rand-k), the DIANA algorithm of Mishchenko et al. (2019), which implements a variance reduction technique for handling the variance introduced by compression, is the current state of the art. In the case of biased and contractive compressors (e.g., top-k), the EF21 algorithm of Richt\'arik et al. (2021), which instead implements an error-feedback mechanism, is the current state of the art. These two classes of compression schemes and algorithms are distinct, with different analyses and proof techniques. In this paper, we unify them into a single framework and propose a new algorithm, recovering DIANA and EF21 as particular cases. Our general approach works with a new, larger class of compressors, which has two parameters, the bias and the variance, and includes unbiased and biased compressors as particular cases. This allows us to inherit the best of the two worlds: like EF21 and unlike DIANA, biased compressors, like top-k, whose good performance in practice is recognized, can be used. And like DIANA and unlike EF21, independent randomness at the compressors allows to mitigate the effects of compression, with the convergence rate improving when the number of parallel workers is large. This is the first time that an algorithm with all these features is proposed. We prove its linear convergence under certain conditions. Our approach takes a step towards better understanding of two so-far distinct worlds of communication-efficient distributed learning.


title: Price DOES Matter! Modeling Price and Interest Preferences in Session-based Recommendation

abstract: Session-based recommendation aims to predict items that an anonymous user would like to purchase based on her short behavior sequence. The current approaches towards session-based recommendation only focus on modeling users' interest preferences, while they all ignore a key attribute of an item, i.e., the price. Many marketing studies have shown that the price factor significantly influences users' behaviors and the purchase decisions of users are determined by both price and interest preferences simultaneously. However, it is nontrivial to incorporate price preferences for session-based recommendation. Firstly, it is hard to handle heterogeneous information from various features of items to capture users' price preferences. Secondly, it is difficult to model the complex relations between price and interest preferences in determining user choices. To address the above challenges, we propose a novel method Co-guided Heterogeneous Hypergraph Network (CoHHN) for session-based recommendation. Towards the first challenge, we devise a heterogeneous hypergraph to represent heterogeneous information and rich relations among them. A dual-channel aggregating mechanism is then designed to aggregate various information in the heterogeneous hypergraph. After that, we extract users' price preferences and interest preferences via attention layers. As to the second challenge, a co-guided learning scheme is designed to model the relations between price and interest preferences and enhance the learning of each other. Finally, we predict user actions based on item features and users' price and interest preferences. Extensive experiments on three real-world datasets demonstrate the effectiveness of the proposed CoHHN. Further analysis reveals the significance of price for session-based recommendation.


title: Enhancing Cross-lingual Transfer by Manifold Mixup

abstract: Based on large-scale pre-trained multilingual representations, recent cross-lingual transfer methods have achieved impressive transfer performances. However, the performance of target languages still lags far behind the source language. In this paper, our analyses indicate such a performance gap is strongly associated with the cross-lingual representation discrepancy. To achieve better cross-lingual transfer performance, we propose the cross-lingual manifold mixup (X-Mixup) method, which adaptively calibrates the representation discrepancy and gives a compromised representation for target languages. Experiments on the XTREME benchmark show X-Mixup achieves 1.8% performance gains on multiple text understanding tasks, compared with strong baselines, and significantly reduces the cross-lingual representation discrepancy.


title: Attracting and Dispersing: A Simple Approach for Source-free Domain Adaptation

abstract: We propose a simple but effective source-free domain adaptation (SFDA) method. Treating SFDA as an unsupervised clustering problem and following the intuition that local neighbors in feature space should have more similar predictions than other features, we propose to optimize an objective of prediction consistency. This objective encourages local neighborhood features in feature space to have similar predictions while features farther away in feature space have dissimilar predictions, leading to efficient feature clustering and cluster assignment simultaneously. For efficient training, we seek to optimize an upper-bound of the objective resulting in two simple terms. Furthermore, we relate popular existing methods in domain adaptation, source-free domain adaptation and contrastive learning via the perspective of discriminability and diversity. The experimental results prove the superiority of our method, and our method can be adopted as a simple but strong baseline for future research in SFDA. Our method can be also adapted to source-free open-set and partial-set DA which further shows the generalization ability of our method. Code is available in https://github.com/Albert0147/AaD_SFDA.


title: On linear systems with multiple points on a rational normal curve

abstract: We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varieties of the rational normal curve or joins between them.


title: A Dataset and BERT-based Models for Targeted Sentiment Analysis on Turkish Texts

abstract: Targeted Sentiment Analysis aims to extract sentiment towards a particular target from a given text. It is a field that is attracting attention due to the increasing accessibility of the Internet, which leads people to generate an enormous amount of data. Sentiment analysis, which in general requires annotated data for training, is a well-researched area for widely studied languages such as English. For low-resource languages such as Turkish, there is a lack of such annotated data. We present an annotated Turkish dataset suitable for targeted sentiment analysis. We also propose BERT-based models with different architectures to accomplish the task of targeted sentiment analysis. The results demonstrate that the proposed models outperform the traditional sentiment analysis models for the targeted sentiment analysis task.


title: Paired Image-to-Image Translation Quality Assessment Using Multi-Method Fusion

abstract: How best to evaluate synthesized images has been a longstanding problem in image-to-image translation, and to date remains largely unresolved. This paper proposes a novel approach that combines signals of image quality between paired source and transformation to predict the latter's similarity with a hypothetical ground truth. We trained a Multi-Method Fusion (MMF) model via an ensemble of gradient-boosted regressors using Image Quality Assessment (IQA) metrics to predict Deep Image Structure and Texture Similarity (DISTS), enabling models to be ranked without the need for ground truth data. Analysis revealed the task to be feature-constrained, introducing a trade-off at inference between metric computation time and prediction accuracy. The MMF model we present offers an efficient way to automate the evaluation of synthesized images, and by extension the image-to-image translation models that generated them.


title: Finite-State Semi-Markov Channels for Nanopore Sequencing

abstract: Nanopore sequencing is an emerging DNA sequencing technology that has been proposed for use in DNA storage systems. We propose the noisy nanopore channel model for nanopore sequencing. This model captures duplications, inter-symbol interference, and noisy measurements by concatenating an i.i.d. duplication channel with a finite-state semi-Markov channel. Compared to previous models, this channel models the dominant distortions of the nanopore while remaining tractable. Anticipating future coding schemes, we derive MAP detection algorithms and estimate achievable rates. Given that finite-state semi-Markov channels are a subclass of channels with memory, we conjecture that the achievable rate of the noisy nanopore channel can be optimised using a variation of the generalised Blahut-Arimoto algorithm.


title: Joint learning of object graph and relation graph for visual question answering

abstract: Modeling visual question answering(VQA) through scene graphs can significantly improve the reasoning accuracy and interpretability. However, existing models answer poorly for complex reasoning questions with attributes or relations, which causes false attribute selection or missing relation in Figure 1(a). It is because these models cannot balance all kinds of information in scene graphs, neglecting relation and attribute information. In this paper, we introduce a novel Dual Message-passing enhanced Graph Neural Network (DM-GNN), which can obtain a balanced representation by properly encoding multi-scale scene graph information. Specifically, we (i)transform the scene graph into two graphs with diversified focuses on objects and relations; Then we design a dual structure to encode them, which increases the weights from relations (ii)fuse the encoder output with attribute features, which increases the weights from attributes; (iii)propose a message-passing mechanism to enhance the information transfer between objects, relations and attributes. We conduct extensive experiments on datasets including GQA, VG, motif-VG and achieve new state of the art.


title: FoReCo: a forecast-based recovery mechanism for real-time remote control of robotic manipulators

abstract: Wireless communications represent a game changer for future manufacturing plants, enabling flexible production chains as machinery and other components are not restricted to a location by the rigid wired connections on the factory floor. However, the presence of electromagnetic interference in the wireless spectrum may result in packet loss and delay, making it a challenging environment to meet the extreme reliability requirements of industrial applications. In such conditions, achieving real-time remote control, either from the Edge or Cloud, becomes complex. In this paper, we investigate a forecast-based recovery mechanism for real-time remote control of robotic manipulators (FoReCo) that uses Machine Learning (ML) to infer lost commands caused by interference in the wireless channel. FoReCo is evaluated through both simulation and experimentation in interference prone IEEE 802.11 wireless links, and using a commercial research robot that performs pick-and-place tasks. Results show that in case of interference, FoReCo trajectory error is decreased by x18 and x2 times in simulation and experimentation, and that FoReCo is sufficiently lightweight to be deployed in the hardware of already used in existing solutions.


title: The Role of Idle Waves, Desynchronization, and Bottleneck Evasion in the Performance of Parallel Programs

abstract: The performance of highly parallel applications on distributed-memory systems is influenced by many factors. Analytic performance modeling techniques aim to provide insight into performance limitations and are often the starting point of optimization efforts. However, coupling analytic models across the system hierarchy (socket, node, network) fails to encompass the intricate interplay between the program code and the hardware, especially when execution and communication bottlenecks are involved. In this paper we investigate the effect of "bottleneck evasion" and how it can lead to automatic overlap of communication overhead with computation. Bottleneck evasion leads to a gradual loss of the initial bulk-synchronous behavior of a parallel code so that its processes become desynchronized. This occurs most prominently in memory-bound programs, which is why we choose memory-bound benchmark and application codes, specifically an MPI-augmented STREAM Triad, sparse matrix-vector multiplication, and a collective-avoiding Chebyshev filter diagonalization code to demonstrate the consequences of desynchronization on two different supercomputing platforms. We investigate the role of idle waves as possible triggers for desynchronization and show the impact of automatic asynchronous communication for a spectrum of code properties and parameters, such as saturation point, matrix structures, domain decomposition, and communication concurrency. Our findings reveal how eliminating synchronization points (such as collective communication or barriers) precipitates performance improvements that go beyond what can be expected by simply subtracting the overhead of the collective from the overall runtime.


title: Interpolating functions for a family of domains related to $\mu$-synthesis

abstract: Assuming the existence of an analytic interpolant mapping a two-point data from the unit disc $\mathbb{D}$ to $\widetilde{\mathbb{G}}_n$, we describe a class of such interpolating functions where $$\widetilde{\mathbb{G}}_n := \{ (y_1,\dots, y_{n-1}, q)\in \mathbb{C}^n :\; q \in \mathbb{D},\; y_{j} = \beta_{j} + \bar{\beta}_{n-j} q,\; \beta_{j} \in \mathbb{C} \; \text{ and } \; |\beta_{j}|+ |\beta_{n-j}| < {n \choose j} \; \text{ for } \; j=1,\dots, n-1 \}.$$ We present the connection of $\widetilde{\mathbb{G}}_n$ with the $\mu$-synthesis problem.


title: Accreting White Dwarfs: Effect of WD Composition on Helium Ignition During Slow Accretion

abstract: Understanding the explosion mechanism of type Ia supernova is among the most challenging issues in astrophysics. Accretion of matter on a carbon-oxygen white dwarf from a companion star is one of the most important keys in this regard. Our aim is to study the effects of WD composition on various parameters during the accretion of helium rich matter at a slow rate. We have used the computer simulation code Modules for Experiments in Stellar Astrophysics (MESA) to understand the variations in the properties such as specific heat (\textit{$C_P$}) and degeneracy parameter (\textit{$\eta$}). The profile of specific heat shows a discontinuity and that of the degeneracy parameter shows a dip near the ignition region. As expected, the size of WD decreases and \textit{g} increases during the accretion. However, a red-giant-like expansion is observed after the rapid ignition towards the end. Our study explains the reason behind the delay in onset of helium ignition due to the difference in carbon abundance in a CO-WD. We find that white dwarfs of the lower abundance of carbon accrete slightly longer before the onset of helium ignition.