title: Linearly Stabilized Schemes for the Time Integration of Stiff Nonlinear PDEs

abstract: In many applications, the governing PDE to be solved numerically contains a stiff component. When this component is linear, an implicit time stepping method that is unencumbered by stability restrictions is often preferred. On the other hand, if the stiff component is nonlinear, the complexity and cost per step of using an implicit method is heightened, and explicit methods may be preferred for their simplicity and ease of implementation. In this article, we analyze new and existing linearly stabilized schemes for the purpose of integrating stiff nonlinear PDEs in time. These schemes compute the nonlinear term explicitly and, at the cost of solving a linear system with a matrix that is fixed throughout, are unconditionally stable, thus combining the advantages of explicit and implicit methods. Applications are presented to illustrate the use of these methods.


title: GHZ-like states in the Qubit-Qudit Rabi Model

abstract: We study a Rabi type Hamiltonian system in which a qubit and a d-level quantum system (qudit) are coupled through a common resonator. In the weak and strong coupling limits the spectrum is analysed through suitable perturbative schemes. The analysis show that the presence of the multilevels of the qudit effectively enhance the qubit-qudit interaction. The ground state of the strongly coupled system is a found of Greenberger-Horne-Zeilinger (GHZ) type. Therefore, despite the qubit-qudit strong coupling, the nature of the specific tripartite entanglement of the GHZ state suppress the bipartite entanglement. We analyze the system dynamics under quenching and adiabatic switching of the qubit-resonator and qudit-resonator couplings. In the quench case, we found that the non-adiabatic generations of photons in the resonator is enhanced by the number of levels in the qudit. The adiabatic control represents a possible route for preparation of GHZ states. Our analysis provides relevant information for future studies on coherent state transfer in qubit-qudit systems.


title: A Theoretical Framework for the Electrochemical Characterization of Anisotropic Micro-Emulsions

abstract: Micro emulsions (MEs) offer an exceptionally broad spectrum of applications covering sensing, electrosynthesis, supercapacitors and redox-flow batteries. Herein, we develop the theory for a sophisticated electrochemical characterizion of MEs with a spatially and time-invariant anisotropy in the diffusion domain by means of cyclic voltammerty (CV). By introducing spatially dependent diffusion coefficients into Ficks' first law, we derive a modified diffusion equation to simulate any inherent anisotropy of the ME under investigation. Moreover, by formulating an extended second-order homogeneous six-member square scheme for a kinetically controlled two-step two-electron reaction we capture the intricate entanglement of chemical and electrochemical equilibria. Our theoretical concept is finally validated by experimental CV data for the ME based two-step redox reaction of methyl-viologen which paves the way for a quantitative electrochemical characterization MEs.


title: Transient Hydrodynamic Lattice Cooling by Picosecond Laser Irradiation of Graphite

abstract: Recent theories and experiments have suggested hydrodynamic phonon transport features in graphite at unusually high temperatures. Here, we report a pico-second pump-probe thermal reflectance measurement of heat pulse propagation in graphite. The measurement results reveal transient lattice cooling near the adiabatic center of a 15 $\mu$m diameter ring-shape pump beam at temperatures between 80 and 120 K. While such lattice cooling has not been reported in recent diffraction measurements of second sound in graphite, the observation here is consistent with both hydrodynamic phonon transport theory and prior heat pulse measurements of second sound in bulk sodium fluoride.


title: Geometric Discord for Multi-qubit Systems

abstract: Radhakrishnan \emph{et.al} [Phys. Rev. Lett. \textbf{124}, 110401 (2020)] proposed quantum discord to multipartite systems and derived explicit formulae for any states. These results are significant in capturing quantum correlations for multi-qubit systems. In this paper, we evaluate the geometric measure of multipartite quantum discord and obtain results for a large family of multi-qubit states. %Intriguingly, our results demonstrate that for the family of states, multipartite geometric discord decreases exponentially as the number of parties increases while multipartite quantum discord not,therefore, we conclude that multipartite geometric discord could not reflect multipartite quantum discord in all cases. Furthermore, we investigated the dynamic behavior of geometric discord for the family of two-, three- and four-qubit states under phase noise acting on the first qubit. And we discover that sudden change of multipartite geometric discord can appear when phase noise act only on one part of the two-, three- and four-qubit states.


title: Machine Learning-based Lie Detector applied to a Novel Annotated Game Dataset

abstract: Lie detection is considered a concern for everyone in their day to day life given its impact on human interactions. Thus, people normally pay attention to both what their interlocutors are saying and also to their visual appearances, including faces, to try to find any signs that indicate whether the person is telling the truth or not. While automatic lie detection may help us to understand this lying characteristics, current systems are still fairly limited, partly due to lack of adequate datasets to evaluate their performance in realistic scenarios. In this work, we have collected an annotated dataset of facial images, comprising both 2D and 3D information of several participants during a card game that encourages players to lie. Using our collected dataset, We evaluated several types of machine learning-based lie detectors in terms of their generalization, person-specific and cross-domain experiments. Our results show that models based on deep learning achieve the best accuracy, reaching up to 57\% for the generalization task and 63\% when dealing with a single participant. Finally, we also highlight the limitation of the deep learning based lie detector when dealing with cross-domain lie detection tasks.


title: Anticanonically balanced metrics and the Hilbert-Mumford criterion for the $\delta_m$-invariant of Fujita-Odaka

abstract: We prove that the stability condition for Fano manifolds defined by Saito-Takahashi, given in terms of the sum of the Ding invariant and the Chow weight, is equivalent to the existence of anticanonically balanced metrics. Combined with the result by Rubinstein-Tian-Zhang, we obtain the following algebro-geometric corollary: the $\delta_m$-invariant of Fujita-Odaka satisfies $\delta_m >1$ if and only if the Fano manifold is stable in the sense of Saito-Takahashi, establishing a Hilbert-Mumford type criterion for $\delta_m >1$. We also extend this result to the K\"ahler-Ricci $g$-solitons and the coupled K\"ahler-Einstein metrics, and as a by-product we obtain a formula for the asymptotic slope of the coupled Ding functional in terms of multiple test configurations.


title: Dynamic Image Restoration and Fusion Based on Dynamic Degradation

abstract: The deep-learning-based image restoration and fusion methods have achieved remarkable results. However, the existing restoration and fusion methods paid little research attention to the robustness problem caused by dynamic degradation. In this paper, we propose a novel dynamic image restoration and fusion neural network, termed as DDRF-Net, which is capable of solving two problems, i.e., static restoration and fusion, dynamic degradation. In order to solve the static fusion problem of existing methods, dynamic convolution is introduced to learn dynamic restoration and fusion weights. In addition, a dynamic degradation kernel is proposed to improve the robustness of image restoration and fusion. Our network framework can effectively combine image degradation with image fusion tasks, provide more detailed information for image fusion tasks through image restoration loss, and optimize image restoration tasks through image fusion loss. Therefore, the stumbling blocks of deep learning in image fusion, e.g., static fusion weight and specifically designed network architecture, are greatly mitigated. Extensive experiments show that our method is more superior compared with the state-of-the-art methods.


title: HERMES spectroscopy of normal A and Am stars

abstract: The nominal Kepler mission provided very high-precision photometric data. Using these data, interesting phenomena such as spots, and ``hump and spike'' features were observed in the light curves of some normal A and metallic lined A stars (Am stars). However, the connection between such phenomena and the chemical peculiarity of the Am stars is still unclear. In order to make progress on these issues, its important to collect high-resolution spectroscopic data to determine their fundamental parameters and individual chemical abundances. In this paper, we present a spectroscopic study of a sample of ``hump and spike'' stars in the nominal Kepler field. We used data collected with the High Efficiency and Resolution Mercator \'{E}chelle Spectrograph (HERMES). We determined the spectral type of these stars and obtained the atmospheric stellar parameters such as effective temperatures, surface gravities, projected rotational, microturbulent and radial velocities. We also performed a detailed individual chemical abundance analysis for each target. We confirmed KIC 3459226 and KIC 6266219 as Am stars, KIC 9349245 as a marginal Am star, while KIC 4567097, KIC 4818496, KIC 5524045, KIC 5650229, KIC 7667560, and KIC 9272082 are non-Am stars. To estimate their evolutionary phases, all the stars were placed in the Hertzsprung-Russell (HR) diagram. Based on their spectral classification and chemical abundance pattern, we reclassified KIC 6266219 (previously treated as chemically normal) as an Am star (kA3hA7mF1) and KIC 9272082 (previously treated as Am) as non-Am.


title: Revisiting the size effect in software fault prediction models

abstract: BACKGROUND: In object oriented (OO) software systems, class size has been acknowledged as having an indirect effect on the relationship between certain artifact characteristics, captured via metrics, and faultproneness, and therefore it is recommended to control for size when designing fault prediction models. AIM: To use robust statistical methods to assess whether there is evidence of any true effect of class size on fault prediction models. METHOD: We examine the potential mediation and moderation effects of class size on the relationships between OO metrics and number of faults. We employ regression analysis and bootstrapping-based methods to investigate the mediation and moderation effects in two widely-used datasets comprising seventeen systems. RESULTS: We find no strong evidence of a significant mediation or moderation effect of class size on the relationships between OO metrics and faults. In particular, size appears to have a more significant mediation effect on CBO and Fan-out than other metrics, although the evidence is not consistent in all examined systems. On the other hand, size does appear to have a significant moderation effect on WMC and CBO in most of the systems examined. Again, the evidence provided is not consistent across all examined systems CONCLUSION: We are unable to confirm if class size has a significant mediation or moderation effect on the relationships between OO metrics and the number of faults. We contend that class size does not fully explain the relationships between OO metrics and the number of faults, and it does not always affect the strength/magnitude of these relationships. We recommend that researchers consider the potential mediation and moderation effect of class size when building their prediction models, but this should be examined independently for each system.


title: A PGAS Communication Library for Heterogeneous Clusters

abstract: This work presents a heterogeneous communication library for clusters of processors and FPGAs. This library, Shoal, supports the Partitioned Global Address Space (PGAS) memory model for applications. PGAS is a shared memory model for clusters that creates a distinction between local and remote memory access. Through Shoal and its common application programming interface for hardware and software, applications can be more freely migrated to the optimal platform and deployed onto dynamic cluster topologies. The library is tested using a thorough suite of microbenchmarks to establish latency and throughput performance. We also show an implementation of the Jacobi iterative method that demonstrates the ease with which applications can be moved between platforms to yield faster run times. Through this work, we have demonstrated the feasibility of using a PGAS programming model for multi-node heterogeneous platforms.


title: Hyperfine Structure of Transition Metal Defects in SiC

abstract: Transition metal (TM) defects in silicon carbide (SiC) are a promising platform in quantum technology, especially because some TM defects emit in the telecom band. We develop a theory for the interaction of an active electron in the $D$-shell of a TM defect in SiC with the TM nuclear spin and derive the effective hyperfine tensor within the Kramers doublets formed by the spin-orbit coupling. Based on our theory we discuss the possibility to exchange the nuclear and electron states with potential applications for nuclear spin manipulation and long-lived nunclear-spin based quantum memories.


title: Graded Hilbert spaces, quantum distillation and connecting SQCD to QCD

abstract: The dimension of the Hilbert space of QFT scales exponentially with the volume of the space in which the theory lives, yet in supersymmetric theories, one can define a graded dimension (such as the supersymmetric index) that counts just the number of bosonic minus fermionic ground states. Can we make this observation useful in non-supersymmetric QFTs in four dimensions? In this work, we construct symmetry graded state sums for a variety of non-supersymmetric theories. Among the theories we consider is one that is remarkably close to QCD: Yang--Mills theory with $N_f = N_c$ fundamental Dirac fermions and one adjoint Weyl fermion, QCD(F/adj). This theory can be obtained from SQCD by decoupling scalars and carry exactly the same anomalies. Despite the existence of fundamental fermions, the theory possess an exact 0-form color-flavor center (CFC) symmetry for a particular grading/twist under which Polyakov loop is a genuine order parameters. By a two-loop analysis, we prove that CFC-symmetry remains unbroken at small $\beta $ due to grading. Chiral symmetry is spontaneously broken within the domain of validity of semi-classics on $\mathbb R^3 \times S^1$ in a pattern identical to $N_f=N_c$ SQCD on $\mathbb R^4$ and the two regimes are adiabatically connected. The vacuum structures of the theory on $\mathbb R^4$ and $\mathbb R^3 \times S^1$ are controlled by the same mixed 't Hooft anomaly condition, implying a remarkable persistent order.


title: Molecular Dynamics Study of Droplets on Flat Crystalline Surface during Cooling and Ice formation

abstract: Condensation and frost formation degrade the heat transfer performance of air-conditioners and refrigerators. Yet, the frost formation mechanism has not been fully understood. In the present study, we numerically investigated H2O droplets during cooling and ice formation by means of classical molecular dynamics simulations. The mW potential was employed for the H2O molecules. A nanoscale H2O droplet was placed on a flat solid wall consisting of Pt atoms. The fcc (110) crystal plane faced the droplet. We examined where ice nucleation was formed and how the ice formation proceeded inside the droplet, and then evaluated temporal change in interfacial thermal resistance between the H2O molecules and the solid wall. We found that the cooling and ice formation changed the interfacial thermal resistance; however, its tendency differed depending on the solid-wall wettability. It was influenced by the nearest neighbor adsorption layer consisting of H2O molecules transformed during the cooling and ice formation.


title: Theta Correspondence and Arthur packets

abstract: In spirit of Gan-Ichino's work on the Arthur's multiplicity formula for metaplectic groups, we have established the Arthur's multiplicity formula for even orthogonal or unitary groups with Witt index less than or equal to one. In that multiplicity formula, some local packets defined using the stable range theta lifts are involved. In this paper, we prove that at non-Archimedean places, the definition of the local packets involved in that multiplicity formula is independent of the choice of the dual-pairs used in their construction. Moreover, at those places where the groups are quasi-split, we prove that the local packets involved are the same as the local A-packets defined by Arthur/ Mok.


title: Dissipation enhancement of planar helical flows and applications to three-dimensional Kuramoto-Sivashinsky and Keller-Segel equations

abstract: We introduce the planar helical flows on three dimensional torus and study the dissipation enhancement of such flows. We then use such flows as transport flows to solve the three dimensional advective Kuramoto-Sivashinsky and Keller-Segel equations. The global well-posedness of the Kuramoto-Sivashinsky equation is achieved when the linearized operator does not have growing mode in the direction orthogonal to the flow. The global classical solution of the three dimensional Keller-Segel is ensured for any size of the torus with arbitrarily large initial data.


title: A tutorial on generalized eigendecomposition for denoising, contrast enhancement, and dimension reduction in multichannel electrophysiology

abstract: The goal of this paper is to present a theoretical and practical introduction to generalized eigendecomposition (GED), which is a robust and flexible framework used for dimension reduction and source separation in multichannel signal processing. In cognitive electrophysiology, GED is used to create spatial filters that maximize a researcher-specified contrast. For example, one may wish to exploit an assumption that different sources have different frequency content, or that sources vary in magnitude across experimental conditions. GED is fast and easy to compute, performs well in simulated and real data, and is easily adaptable to a variety of specific research goals. This paper introduces GED in a way that ties together myriad individual publications and applications of GED in electrophysiology, and provides sample MATLAB and Python code that can be tested and adapted. Practical considerations and issues that often arise in applications are discussed.


title: VCGAN: Video Colorization with Hybrid Generative Adversarial Network

abstract: We propose a hybrid recurrent Video Colorization with Hybrid Generative Adversarial Network (VCGAN), an improved approach to video colorization using end-to-end learning. The VCGAN addresses two prevalent issues in the video colorization domain: Temporal consistency and unification of colorization network and refinement network into a single architecture. To enhance colorization quality and spatiotemporal consistency, the mainstream of generator in VCGAN is assisted by two additional networks, i.e., global feature extractor and placeholder feature extractor, respectively. The global feature extractor encodes the global semantics of grayscale input to enhance colorization quality, whereas the placeholder feature extractor acts as a feedback connection to encode the semantics of the previous colorized frame in order to maintain spatiotemporal consistency. If changing the input for placeholder feature extractor as grayscale input, the hybrid VCGAN also has the potential to perform image colorization. To improve the consistency of far frames, we propose a dense long-term loss that smooths the temporal disparity of every two remote frames. Trained with colorization and temporal losses jointly, VCGAN strikes a good balance between color vividness and video continuity. Experimental results demonstrate that VCGAN produces higher-quality and temporally more consistent colorful videos than existing approaches.


title: Influence of device geometry and imperfections on the interpretation of transverse magnetic focusing experiments

abstract: Spatially separating electrons of different spins and efficiently generating spin currents are crucial steps towards building practical spintronics devices. Transverse magnetic focusing is a potential technique to accomplish both those tasks. In a material where there is significant Rashba spin--orbit interaction, electrons of different spins will traverse different paths in the presence of an external magnetic field. Experiments have demonstrated the viability of this technique by measuring conductance spectra that indicate the separation of spin-up and spin-down electrons. However the effect that the geometry of the leads has on these measurements is not well understood. We show that the resolution of features in the conductance spectra is affected by the shape, separation and width of the leads. Furthermore, the number of subbands occupied by the electrons in the leads affects the ratio between the amplitudes of the spin-split peaks in the spectra. We simulated devices with random onsite potentials and observed that transverse magnetic focusing devices are sensitive to disorder. Ultimately we show that careful choice and characterisation of device geometry is crucial for correctly interpreting the results of transverse magnetic focusing experiments.


title: Complex Neural Spatial Filter: Enhancing Multi-channel Target Speech Separation in Complex Domain

abstract: To date, mainstream target speech separation (TSS) approaches are formulated to estimate the complex ratio mask (cRM) of the target speech in time-frequency domain under supervised deep learning framework. However, the existing deep models for estimating cRM are designed in the way that the real and imaginary parts of the cRM are separately modeled using real-valued training data pairs. The research motivation of this study is to design a deep model that fully exploits the temporal-spectral-spatial information of multi-channel signals for estimating cRM directly and efficiently in complex domain. As a result, a novel TSS network is designed consisting of two modules, a complex neural spatial filter (cNSF) and an MVDR. Essentially, cNSF is a cRM estimation model and an MVDR module is cascaded to the cNSF module to reduce the nonlinear speech distortions introduced by neural network. Specifically, to fit the cRM target, all input features of cNSF are reformulated into complex-valued representations following the supervised learning paradigm. Then, to achieve good hierarchical feature abstraction, a complex deep neural network (cDNN) is delicately designed with U-Net structure. Experiments conducted on simulated multi-channel speech data demonstrate the proposed cNSF outperforms the baseline NSF by 12.1% scale-invariant signal-to-distortion ratio and 33.1% word error rate.


title: Sobolev embeddings for Fractional Haj{\l}asz-Sobolev spaces in the setting of rearrangement invariant spaces

abstract: We obtain symmetrization inequalities in the context of Fractional Hajlasz-Sobolev spaces in the setting of rearrangement invariant spaces and prove that for a large class of measures our symmetrization inequalities are equivalent to the lower bound of the measure.


title: Calculating the Green's function of two-site Fermionic Hubbard model in a photonic system

abstract: The Green's function has been an indispensable tool to study many-body systems that remain one of the biggest challenges in modern quantum physics for decades. The complicated calculation of Green's function impedes the research of many-body systems. The appearance of the noisy intermediate-scale quantum devices and quantum-classical hybrid algorithm inspire a new method to calculate Green's function. Here we design a programmable quantum circuit for photons with utilizing the polarization and the path degrees of freedom to construct a highly-precise variational quantum state of a photon, and first report the experimental realization for calculating the Green's function of the two-site Fermionic Hubbard model, a prototypical model for strongly-correlated materials, in photonic systems. We run the variational quantum eigensolver to obtain the ground state and excited states of the model, and then evaluate the transition amplitudes among the eigenstates. The experimental results present the spectral function of Green's function, which agrees well with the exact results. Our demonstration provides the further possibility of the photonic system in quantum simulation and applications in solving complicated problems in many-body systems, biological science, and so on.


title: Underwater Target Recognition based on Multi-Decision LOFAR Spectrum Enhancement: A Deep Learning Approach

abstract: The Low frequency analysis and recording (LOFAR) spectrum is one of the key features of the under water target, which can be used for underwater target recognition. However, the underwater environment noise is complicated and the signal-to-noise ratio of the underwater target is rather low, which introduces the breakpoints to the LOFAR spectrum and thus hinders the underwater target recognition. To overcome this issue and to further improve the recognition performance, we adopt a deep learning approach for underwater target recognition and propose a LOFAR spectrum enhancement (LSE)-based underwater target recognition scheme, which consists of preprocessing, offline training, and online testing. In preprocessing, a LOFAR spectrum enhancement based on multi-step decision algorithm is specifically designed to recover the breakpoints in LOFAR spectrum. In offline training, we then adopt the enhanced LOFAR spectrum as the input of convolutional neural network (CNN) and develop a LOFAR-based CNN (LOFAR-CNN) for online recognition. Taking advantage of the powerful capability of CNN in feature extraction, the proposed LOFAR-CNN can further improve the recognition accuracy. Finally, extensive simulation results demonstrate that the LOFAR-CNN network can achieve a recognition accuracy of $95.22\%$, which outperforms the state-of-the-art methods.


title: One-parameter family of acquisition functions for efficient global optimization

abstract: Bayesian optimization (BO) with Gaussian processes is a powerful methodology to optimize an expensive black-box function with as few function evaluations as possible. The expected improvement (EI) and probability of improvement (PI) are among the most widely used schemes for BO. There is a plethora of other schemes that outperform EI and PI, but most of them are numerically far more expensive than EI and PI. In this work, we propose a new one-parameter family of acquisition functions for BO that unifies EI and PI. The proposed method is numerically inexpensive, is easy to implement, can be easily parallelized, and on benchmark tasks shows a performance superior to EI and GP-UCB. Its generalization to BO with Student-t processes is also presented.


title: Observability for port-Hamiltonian systems

abstract: The class of port-Hamiltonian systems incorporates many physical models, such as mechanical systems in the finite-dimensional case and wave and beam equations in the infinite-dimensional case. In this paper we study a subclass of linear first order port-Hamiltonian systems. These systems are exactly observable when the energy is not dissipated internally and when sufficient observations are made at the boundary. In this article we study the observability properties for these systems when internal dissipation of energy is possible. We cannot show the exact observability, but we do show that the Hautus test is satisfied. In general, the Hautus test is weaker than exact observability, but stronger than approximate observability. Hence we conclude that these systems are approximately observable.


title: Efficient Hyperparameter Optimization for Physics-based Character Animation

abstract: Physics-based character animation has seen significant advances in recent years with the adoption of Deep Reinforcement Learning (DRL). However, DRL-based learning methods are usually computationally expensive and their performance crucially depends on the choice of hyperparameters. Tuning hyperparameters for these methods often requires repetitive training of control policies, which is even more computationally prohibitive. In this work, we propose a novel Curriculum-based Multi-Fidelity Bayesian Optimization framework (CMFBO) for efficient hyperparameter optimization of DRL-based character control systems. Using curriculum-based task difficulty as fidelity criterion, our method improves searching efficiency by gradually pruning search space through evaluation on easier motor skill tasks. We evaluate our method on two physics-based character control tasks: character morphology optimization and hyperparameter tuning of DeepMimic. Our algorithm significantly outperforms state-of-the-art hyperparameter optimization methods applicable for physics-based character animation. In particular, we show that hyperparameters optimized through our algorithm result in at least 5x efficiency gain comparing to author-released settings in DeepMimic.


title: Risk-sensitive discounted cost criterion for Continuous-time Markov decision processes on a general state space

abstract: In this paper, we consider risk-sensitive discounted control problem for continuous-time jump Markov processes taking values in general state space. The transition rates of underlying continuous-time jump Markov processes and the cost rates are allowed to be unbounded. Under certain Lyapunov condition, we establish the existence and uniqueness of the solution to the Hamilton-Jacobi-Bellman (HJB) equation. Also we prove the existence of optimal risk-sensitive control in the class of Markov control.


title: Game-Theoretic Mode Scheduling for Dynamic TDD in 5G Systems

abstract: Dynamic time-division duplexing (TDD) enables independent uplink/downlink mode scheduling at each cell, based on the local traffic. However, this creates cross-interference among cells. Thus, the joint power allocation and scheduling problem becomes mixed-integer non-convex and turns out to be NP-hard. We propose a low-complexity and decentralized solution, where power allocation and scheduling are decoupled. First, power is allocated in a decentralized fashion, and then modes are scheduled by a non-cooperative game to achieve the mixed-strategy Nash equilibrium. We consider two possible approaches to compute the payoffs in the game, according to the cross-interference power model and the entailed communication overhead among cells. Simulation results are presented for an outdoor dense small-cell scenario, showing that our approaches outperform static TDD significantly.


title: Finite sample approximations of exact and entropic Wasserstein distances between covariance operators and Gaussian processes

abstract: This work studies finite sample approximations of the exact and entropic regularized Wasserstein distances between centered Gaussian processes and, more generally, covariance operators of functional random processes. We first show that these distances/divergences are fully represented by reproducing kernel Hilbert space (RKHS) covariance and cross-covariance operators associated with the corresponding covariance functions. Using this representation, we show that the Sinkhorn divergence between two centered Gaussian processes can be consistently and efficiently estimated from the divergence between their corresponding normalized finite-dimensional covariance matrices, or alternatively, their sample covariance operators. Consequently, this leads to a consistent and efficient algorithm for estimating the Sinkhorn divergence from finite samples generated by the two processes. For a fixed regularization parameter, the convergence rates are {\it dimension-independent} and of the same order as those for the Hilbert-Schmidt distance. If at least one of the RKHS is finite-dimensional, we obtain a {\it dimension-dependent} sample complexity for the exact Wasserstein distance between the Gaussian processes.


title: PanGu-$\alpha$: Large-scale Autoregressive Pretrained Chinese Language Models with Auto-parallel Computation

abstract: Large-scale Pretrained Language Models (PLMs) have become the new paradigm for Natural Language Processing (NLP). PLMs with hundreds of billions parameters such as GPT-3 have demonstrated strong performances on natural language understanding and generation with \textit{few-shot in-context} learning. In this work, we present our practice on training large-scale autoregressive language models named PanGu-$\alpha$, with up to 200 billion parameters. PanGu-$\alpha$ is developed under the MindSpore and trained on a cluster of 2048 Ascend 910 AI processors. The training parallelism strategy is implemented based on MindSpore Auto-parallel, which composes five parallelism dimensions to scale the training task to 2048 processors efficiently, including data parallelism, op-level model parallelism, pipeline model parallelism, optimizer model parallelism and rematerialization. To enhance the generalization ability of PanGu-$\alpha$, we collect 1.1TB high-quality Chinese data from a wide range of domains to pretrain the model. We empirically test the generation ability of PanGu-$\alpha$ in various scenarios including text summarization, question answering, dialogue generation, etc. Moreover, we investigate the effect of model scales on the few-shot performances across a broad range of Chinese NLP tasks. The experimental results demonstrate the superior capabilities of PanGu-$\alpha$ in performing various tasks under few-shot or zero-shot settings.


title: Weak Instrumental Variables: Limitations of Traditional 2SLS and Exploring Alternative Instrumental Variable Estimators

abstract: Instrumental variables estimation has gained considerable traction in recent decades as a tool for causal inference, particularly amongst empirical researchers. This paper makes three contributions. First, we provide a detailed theoretical discussion on the properties of the standard two-stage least squares estimator in the presence of weak instruments and introduce and derive two alternative estimators. Second, we conduct Monte-Carlo simulations to compare the finite-sample behavior of the different estimators, particularly in the weak-instruments case. Third, we apply the estimators to a real-world context; we employ the different estimators to calculate returns to schooling.


title: Pion couplings with low-lying nucleon resonances

abstract: We have calculated coupling constants of a neutral pion with the lowest two nucleon resonances. This includes both the diagonal as well as non-diagonal coupling constants involving a nucleon resonance and a nucleon. For this, we first calculate vacuum-to-pion correlation function of the interpolating fields of two nucleons and then take its matrix elements with respect to a nucleon spinor and/or a nucleon resonance spinor(s). Using different QCD sum rules obtained from different matrix elements we eliminate unwanted coupling constants and solve for the desired ones. This is a simple extension of the projected correlation function approach used in the literature where we use multiple of states involving those of a nucleon and its resonances. We have also checked the stability of our results with respect to variation of different QCD and phenomenological input parameters.


title: Mass spectra and wave functions of $T_{QQ\bar Q\bar Q}$ tetraquarks

abstract: The compact tetraquark states with fully heavy quark contents $QQ\bar Q\bar Q$ are studied as the bound states of the diquark-antidiquark within the Bethe-Salpeter framework. The (anti)diquark masses and form factors used are the same as we calculated the doubly heavy baryons in a previous work. Under the instantaneous approximation, the three-dimensional (Bethe-)Salpeter equation of the tetraquarks is derived and solved numerically to obtain the corresponding mass spectra and wave functions of the tetraquarks with $J^{PC}=0^{++}$, $1^{+-}$, and $2^{++}$. Our results show that the three ground states of $cc\bar c\bar c$ locate in the mass range of $6.4\sim6.5$GeV, and the $bb\bar b\bar b$ states in mass range of $19.2\sim19.3$GeV. The obtained relativistic wave functions naturally include the mixing effects from the possible $D$\,(or $G$) partial waves, and then can be further used to do precise calculations of the tetraquark decays. Based on the obtained results, the LHCb's observation $X(6900)$ is less likely to be the ground states of compact $cc\bar c\bar c$ tetraquarks but might be the first or second excited states. In addition, a widely used propagator-like form factor is also investigated and discussed.


title: Detecting random sets by samplings from their values

abstract: We examine the extent to which random samplings from the values of a random set, determine the distribution of the random set itself. We also comment on how, given the statistics of the sampling, to detect the distribution. Several methods are displayed, leading to positive results, counter-examples, and open problems.


title: Multi-messenger Detection Rates and distributions of Binary Neutron Star Mergers and Their Cosmological Implications

abstract: The gravitational-wave (GW) events, produced by the coalescence of binary neutron-stars (BNS), can be treated as the standard sirens to probe the expansion history of the Universe, if their redshifts could be determined from the electromagnetic observations. For the high-redshift ($z\gtrsim 0.1$) events, the short $\gamma$-ray bursts (sGRBs) and the afterglows are always considered as the primary electromagnetic counterparts. In this paper, by investigating various models of sGRBs and afterglows, we discuss the rates and distributions of BNS mergers' multi-messenger observations with GW detectors in second-generation (2G), 2.5G, 3G era with the detectable sGRBs and the afterglows. For instance, for Cosmic Explorer GW detector, the rate is about (300-3500) per year with GECAM-like detector for $\gamma$-ray emissions and LSST/WFST detector for optical afterglows. In addition, we find these events have the redshifts $z\lesssim 2$ and the inclination angles $\iota\lesssim 20^{\circ}$. These results justify the rough estimation in previous works. Considering these events as standard sirens to constrain the equation-of-state parameters of dark energy $w_{0}$ and $w_{a}$, we obtain the potential constraints of $\Delta w_{0}\simeq 0.02-0.05$ and $\Delta w_{a}\simeq 0.1-0.4$.


title: Diffraction at the Open End of Dielectric-Lined Circular Waveguide

abstract: A rigorous approach for solving canonical circular open-ended dielectric-lined waveguide diffraction problems is presented. This is continuation of our recent paper [1] where a simpler case of uniform dielectric filling has been considered. Here we deal with the case of an open-ended circular waveguide with layered dielectric filling which is closer to potential applications. The presented method uses the solution of corresponding Wiener-Hopf-Fock equation and leads to an infinite linear system for reflection coefficients (S-parameters) of the waveguide, the latter can be efficiently solved numerically using the reducing technique. As a specific example directly applicable to beam-driven radiation sources based on dielectric-lined capillaries, diffraction of a slow TM symmetrical mode at the open end of the described waveguide is considered. A series of such modes forms the wakefield (Cherenkov radiation field) generated by a charged particle bunch during its passage along the vacuum channel axis. Calculated S-parameters were compared with those obtained from COMSOL simulation and an excellent agreement was shown. This method is expected to be very convenient for analytical investigation of various electromagnetic interactions of Terahertz (THz) waves (both free and guided) and charged particle bunches with slow-wave structures prospective in context of modern beam-driven THz emitters, THz accererators and THz-based bunch manipulation and bunch diagnostic systems.


title: Recalibration of Aleatoric and Epistemic Regression Uncertainty in Medical Imaging

abstract: The consideration of predictive uncertainty in medical imaging with deep learning is of utmost importance. We apply estimation of both aleatoric and epistemic uncertainty by variational Bayesian inference with Monte Carlo dropout to regression tasks and show that predictive uncertainty is systematically underestimated. We apply $ \sigma $ scaling with a single scalar value; a simple, yet effective calibration method for both types of uncertainty. The performance of our approach is evaluated on a variety of common medical regression data sets using different state-of-the-art convolutional network architectures. In our experiments, $ \sigma $ scaling is able to reliably recalibrate predictive uncertainty. It is easy to implement and maintains the accuracy. Well-calibrated uncertainty in regression allows robust rejection of unreliable predictions or detection of out-of-distribution samples. Our source code is available at https://github.com/mlaves/well-calibrated-regression-uncertainty


title: DADgraph: A Discourse-aware Dialogue Graph Neural Network for Multiparty Dialogue Machine Reading Comprehension

abstract: Multiparty Dialogue Machine Reading Comprehension (MRC) differs from traditional MRC as models must handle the complex dialogue discourse structure, previously unconsidered in traditional MRC. To fully exploit such discourse structure in multiparty dialogue, we present a discourse-aware dialogue graph neural network, DADgraph, which explicitly constructs the dialogue graph using discourse dependency links and discourse relations. To validate our model, we perform experiments on the Molweni corpus, a large-scale MRC dataset built over multiparty dialogue annotated with discourse structure. Experiments on Molweni show that our discourse-aware model achieves statistically significant improvements compared against strong neural network MRC baselines.


title: Delving into Data: Effectively Substitute Training for Black-box Attack

abstract: Deep models have shown their vulnerability when processing adversarial samples. As for the black-box attack, without access to the architecture and weights of the attacked model, training a substitute model for adversarial attacks has attracted wide attention. Previous substitute training approaches focus on stealing the knowledge of the target model based on real training data or synthetic data, without exploring what kind of data can further improve the transferability between the substitute and target models. In this paper, we propose a novel perspective substitute training that focuses on designing the distribution of data used in the knowledge stealing process. More specifically, a diverse data generation module is proposed to synthesize large-scale data with wide distribution. And adversarial substitute training strategy is introduced to focus on the data distributed near the decision boundary. The combination of these two modules can further boost the consistency of the substitute model and target model, which greatly improves the effectiveness of adversarial attack. Extensive experiments demonstrate the efficacy of our method against state-of-the-art competitors under non-target and target attack settings. Detailed visualization and analysis are also provided to help understand the advantage of our method.


title: Towards Visual Semantics

abstract: Lexical Semantics is concerned with how words encode mental representations of the world, i.e., concepts . We call this type of concepts, classification concepts . In this paper, we focus on Visual Semantics , namely on how humans build concepts representing what they perceive visually. We call this second type of concepts, substance concepts . As shown in the paper, these two types of concepts are different and, furthermore, the mapping between them is many-to-many. In this paper we provide a theory and an algorithm for how to build substance concepts which are in a one-to-one correspondence with classifications concepts, thus paving the way to the seamless integration between natural language descriptions and visual perception. This work builds upon three main intuitions: (i) substance concepts are modeled as visual objects , namely sequences of similar frames, as perceived in multiple encounters ; (ii) substance concepts are organized into a visual subsumption hierarchy based on the notions of Genus and Differentia ; (iii) the human feedback is exploited not to name objects, but, rather, to align the hierarchy of substance concepts with that of classification concepts. The learning algorithm is implemented for the base case of a hierarchy of depth two. The experiments, though preliminary, show that the algorithm manages to acquire the notions of Genus and Differentia with reasonable accuracy, this despite seeing a small number of examples and receiving supervision on a fraction of them.


title: International Migration in Academia and Citation Performance: An Analysis of German-Affiliated Researchers by Gender and Discipline Using Scopus Publications 1996-2020

abstract: Germany has become a major country of immigration, as well as a research powerhouse in Europe. As Germany spends a higher fraction of its GDP on research and development than most countries with advanced economies, there is an expectation that Germany should be able to attract and retain international scholars who have high citation performance. Using an exhaustive set of over eight million Scopus publications, we analyze the trends in international migration to and from Germany among published researchers over the past 24 years. We assess changes in institutional affiliations for over one million researchers who have published with a German affiliation address at some point during the 1996-2020 period. We show that while Germany has been highly integrated into the global movement of researchers, with particularly strong ties to the US, the UK, and Switzerland, the country has been sending more published researchers abroad than it has attracted. While the balance has been largely negative over time, analyses disaggregated by gender, citation performance, and field of research show that compositional differences in migrant flows may help to alleviate persistent gender inequalities in selected fields.


title: Operads of decorated cliques I: Construction and quotients

abstract: We introduce a functorial construction $\mathsf{C}$ which takes unitary magmas $\mathcal{M}$ as input and produces operads. The obtained operads involve configurations of chords labeled by elements of $\mathcal{M}$, called $\mathcal{M}$-decorated cliques and generalizing usual configurations of chords. By considering combinatorial subfamilies of $\mathcal{M}$-decorated cliques defined, for instance, by limiting the maximal number of crossing diagonals or the maximal degree of the vertices, we obtain suboperads and quotients of $\mathsf{C} \mathcal{M}$. This leads to a new hierarchy of operads containing, among others, operads on noncrossing configurations, Motzkin configurations, forests, dissections of polygons, and involutions. Besides, the construction $\mathsf{C}$ leads to alternative definitions of the operads of simple and double multi-tildes, and of the gravity operad.


title: Nonrigidity of flat ribbons

abstract: We study ribbons of vanishing Gaussian curvature, i.e., flat ribbons, constructed along a curve in $\mathbb{R}^{3}$. In particular, we first investigate to which extent the ruled structure determines a flat ribbon: in other words, we ask whether for a given curve $\gamma$ and ruling angle (angle between the ruling line and the curve's tangent) there exists a well-defined flat ribbon. It turns out that the answer is positive only up to an initial condition, expressed by a choice of normal vector at a point. We then study the set of infinitely narrow flat ribbons along a fixed curve $\gamma$ in terms of energy. By extending a well-known formula for the bending energy of the rectifying developable, introduced in the literature by Sadowsky in 1930, we obtain an upper bound for the difference between the bending energies of two solutions of the initial value problem. We finally draw further conclusions under some additional assumptions on the ruling angle and the curve $\gamma$.


title: Emergence of linear isotropic elasticity in amorphous and polycrystalline materials

abstract: We investigate the emergence of isotropic linear elasticity in amorphous and polycrystalline solids, via extensive numerical simulations. We show that the elastic properties are correlated over a finite length scale $\xi_E$, so that the central limit theorem dictates the emergence of continuum linear isotropic elasticity on increasing the specimen size. The stiffness matrix of systems of finite size $L > \xi_E$ is obtained adding to that predicted by linear isotropic elasticity a random one of spectral norm $(L/\xi_E)^{-3/2}$, in three spatial dimensions. We further demonstrate that the elastic length scale corresponds to that of structural correlations, which in polycrystals reflect the typical size of the grain boundaries and length scales characterizing correlations in the stress field. We finally demonstrate that the elastic length scale affects the decay of the anisotropic long-ranged correlations of locally defined shear modulus and shear stress.


title: Wasserstein distance estimates for the distributions of numerical approximations to ergodic stochastic differential equations

abstract: We present a framework that allows for the non-asymptotic study of the $2$-Wasserstein distance between the invariant distribution of an ergodic stochastic differential equation and the distribution of its numerical approximation in the strongly log-concave case. This allows us to study in a unified way a number of different integrators proposed in the literature for the overdamped and underdamped Langevin dynamics. In addition, we analyse a novel splitting method for the underdamped Langevin dynamics which only requires one gradient evaluation per time step. Under an additional smoothness assumption on a $d$--dimensional strongly log-concave distribution with condition number $\kappa$, the algorithm is shown to produce with an $\mathcal{O}\big(\kappa^{5/4} d^{1/4}\epsilon^{-1/2} \big)$ complexity samples from a distribution that, in Wasserstein distance, is at most $\epsilon>0$ away from the target distribution.


title: Syft 0.5: A Platform for Universally Deployable Structured Transparency

abstract: We present Syft 0.5, a general-purpose framework that combines a core group of privacy-enhancing technologies that facilitate a universal set of structured transparency systems. This framework is demonstrated through the design and implementation of a novel privacy-preserving inference information flow where we pass homomorphically encrypted activation signals through a split neural network for inference. We show that splitting the model further up the computation chain significantly reduces the computation time of inference and the payload size of activation signals at the cost of model secrecy. We evaluate our proposed flow with respect to its provision of the core structural transparency principles.


title: Relational Argumentation Semantics

abstract: In this paper, we propose a fresh perspective on argumentation semantics, to view them as a relational database. It offers encapsulation of the underlying argumentation graph, and allows us to understand argumentation semantics under a single, relational perspective, leading to the concept of relational argumentation semantics. This is a direction to understand argumentation semantics through a common formal language. We show that many existing semantics such as explanation semantics, multi-agent semantics, and more typical semantics, that have been proposed for specific purposes, are understood in the relational perspective.


title: To What Extent do Labor Market Outcomes respond to UI Extensions?

abstract: Unemployment benefits in the US were extended by up to 73 weeks during the Great Recession. Equilibrium labor market theory indicates that extensions of benefit duration impact not only search decisions by job seekers but also job vacancy creations by employers. Most of the literature focused on the former to show partial equilibrium effect that increment of unemployment benefits discourage job search and lead to a rise in unemployment. To study the total effect of UI benefit extensions on unemployment, I follow border county identification strategy, take advantage of quasi-differenced specification to control for changes in future benefit policies, apply interactive fixed effects model to deal with unobserved shocks so as to obtain unbiased and consistent estimation. I find that benefit extensions have a statistically significant positive effect on unemployment, which is consistent with the results of prevailing literature.


title: The Soliton Solutions for Some Nonlinear Fractional Differential Equations with Beta Derivative

abstract: Nonlinear fractional differential equations have gained a significant place in mathematical physics. Finding the solutions to these equations has emerged as a field of study that has attracted a lot of attention lately. In this work, semi inverse variation method of He and the ansatz method have been applied to find the soliton solutions for fractional Korteweg de Vries equation, fractional equal width equation, and fractional modified equal width equation defined by conformable derivative of Atangana (beta derivative). These two methods are effective methods employed to get the soliton solutions of these nonlinear equations. All of the calculations in this work have been obtained using the Maple program and the solutions have been replaced in the equations and their accuracy has been confirmed. In addition, graphics of some of the solutions are also included. The found solutions in this study have the potential to be useful in mathematical physics and engineering.


title: Variational Pedestrian Detection

abstract: Pedestrian detection in a crowd is a challenging task due to a high number of mutually-occluding human instances, which brings ambiguity and optimization difficulties to the current IoU-based ground truth assignment procedure in classical object detection methods. In this paper, we develop a unique perspective of pedestrian detection as a variational inference problem. We formulate a novel and efficient algorithm for pedestrian detection by modeling the dense proposals as a latent variable while proposing a customized Auto Encoding Variational Bayes (AEVB) algorithm. Through the optimization of our proposed algorithm, a classical detector can be fashioned into a variational pedestrian detector. Experiments conducted on CrowdHuman and CityPersons datasets show that the proposed algorithm serves as an efficient solution to handle the dense pedestrian detection problem for the case of single-stage detectors. Our method can also be flexibly applied to two-stage detectors, achieving notable performance enhancement.


title: Cold-Start Modeling and On-Line Optimal Control of the Three-Way Catalyst

abstract: We present a three-way catalyst (TWC) cold-start model, calibrate the model based on experimental data from multiple operating points, and use the model to generate a Pareto-optimal cold-start controller suitable for implementation in standard engine control unit hardware. The TWC model is an extension of a previously presented physics-based model that predicts carbon monoxide, hydrocarbon, and nitrogen oxides tailpipe emissions. The model axially and radially resolves the temperatures in the monolith using very few state variables, thus allowing for use with control-policy based optimal control methods. In this paper we extend the model to allow for variable axial discretization lengths, include the heat of reaction from hydrogen gas generated from the combustion engine, and reformulate the model parameters to be expressed in conventional units. We experimentally measured the temperature and emission evolution for cold-starts with ten different engine load points, which was subsequently used to tune the model parameters (e.g.~chemical reaction rates, specific heats, and thermal resistances). The simulated cumulative tailpipe emission modeling error was found to be typically -20% to +80% of the measured emissions. We have constructed and simulated the performance of a Pareto-optimal controller using this model that balances fuel efficiency and the cumulative emissions of each individual species. A benchmark of the optimal controller with a conventional cold-start strategy shows the potential for reducing the cold-start emissions.


title: Classification of three dimensional complete gradient Yamabe solitons

abstract: In this paper, we classify nontrivial 3-dimensional complete gradient Yamabe solitons. In particular, we show that any nontrivial non-flat 3-dimensional complete steady gradient Yamabe soliton is rotationally symmetric.


title: Distinguished varieties and the Nevanlinna-Pick interpolation problem on the symmetrized bidisk

abstract: Starting with a solvable Nevanlinna-Pick interpolation problem with the initial data coming from the symmetrized bidisk, this paper studies the corresponding uniqueness set, i.e., the largest set in the domain where all solutions to the problem coincide. It is shown that the uniqueness set coincides with an algebraic variety in the domain. The algebraic variety - canonically constructed from the interpolation data - is called the uniqueness variety. It was shown that the uniqueness variety contains a distinguished variety which by definition is the zero set of a two-variable polynomial that intersects the domain and exits through its distinguished boundary. A complete algebraic and geometric characterizations of distinguished varieties are obtained in this paper.


title: Contractions, inwardness, tool theorems

abstract: The paper is devoted to the fixed point theory in four aspects: of contractions, nonexpansive mappings, generalized inward mappings, and of the tool theorems. The manuscript was written about ten years ago. At first Nadler's concept of contraction for multivalued mappings is replaced here by a more general, and yet elegant condition: for some $\alpha + \epsilon <1$, and each $x \in X$ there exists a $y \in F(x)$ such that $d(F(y),y) \leq \alpha d(y,x) \leq (\alpha + \epsilon) d(F(x),x)$}. For ``nonexpansive'' mappings we apply bead spaces that are more general than uniformly convex spaces, and our requirements on mappings are weaker than nonexpansivity in the sense of the Hausdorff distance. In the last, third section the Caristi theorem is replaced by more specialized ``tools'', and we apply them to obtain stronger fixed point theorems on generalized inward mappings. In particular, if for each $x \in X$ a nearest point of $F(x)$ belongs to the generalized inward set, then the values of $F$ need not to be closed.


title: Asymptotic expansion of the eigenvalues of a Toeplitz matrix with a real symbol

abstract: Asymptotic expansion of the eigenvalues of a Toeplitz matrix with real symbol. This work provides two results obtained as a consequence of an inversion formula for Toeplitz matrices with real symbol. First we obtain an symptotic expression for the minimal eigenvalues of a Toeplitz matrix with a symbol which is periodic, even and derivable on $[0, 2\pi[$. Next we prove that a Toeplitz band matrix with a symbol without zeros on the united circle is invertible with an inverse which is essentially a band matrix. As a consequence of this last statement we give an asymptotic estimation for the entries of the inverse of a Toplitz matrix with a regular symbol.


title: Phrase break prediction with bidirectional encoder representations in Japanese text-to-speech synthesis

abstract: We propose a novel phrase break prediction method that combines implicit features extracted from a pre-trained large language model, a.k.a BERT, and explicit features extracted from BiLSTM with linguistic features. In conventional BiLSTM based methods, word representations and/or sentence representations are used as independent components. The proposed method takes account of both representations to extract the latent semantics, which cannot be captured by previous methods. The objective evaluation results show that the proposed method obtains an absolute improvement of 3.2 points for the F1 score compared with BiLSTM-based conventional methods using linguistic features. Moreover, the perceptual listening test results verify that a TTS system that applied our proposed method achieved a mean opinion score of 4.39 in prosody naturalness, which is highly competitive with the score of 4.37 for synthesized speech with ground-truth phrase breaks.


title: Hydrochemical interactions of phoretic particles: a regularized multipole framework

abstract: Chemically-active colloids modify the concentration of chemical solutes surrounding them in order to self-propel. In doing so, they generate long-ranged hydrodynamic flows and chemical gradients that modify the trajectories of other particles. As a result, the dynamics of reactive suspensions is fundamentally governed by hydro-chemical interactions. A full solution of the detailed hydro-chemical problem with many particles is challenging and computationally expensive. Most current methods rely on the Green's functions of the Laplace and Stokes operators to approximate the particle signatures in the far-field, which is only valid in the very dilute limit in simple geometries. To overcome these limitations, we propose a regularized mutipole framework, directly inspired by the Force Coupling Method (FCM), to model phoretic suspensions. Our approach, called Diffusio-phoretic FCM (DFCM), relies on grid-based volume averages of the concentration field to compute the particle surface concentration moments. These moments define the chemical multipoles of the diffusion (Laplace) problem and provide the swimming forcing of the Stokes equations. Unlike far-field models based on singularity superposition, DFCM accounts for mutually-induced dipoles. The accuracy of the method is evaluated against exact and accurate numerical solutions for a few canonical cases. We also quantify its improvements over far-field approximations for a wide range of inter-particle distances. The resulting framework can readily be implemented into efficient CFD solvers, allowing for large scale simulations of semi-dilute diffusio-phoretic suspensions.


title: On the quenched functional CLT in random sceneries

abstract: We prove a quenched functional central limit theorem (quenched FCLT) for the sums of a random field (r.f.) along a Z d-random walk in different frameworks: probabilistic (when the r.f. is i.i.d. or a moving average of i.i.d. random variables) and algebraic (when the r.f. is generated by commuting automorphisms of a torus or by commuting hyperbolic flows on homogeneous spaces).


title: Nonsymmetric operads in combinatorics

abstract: Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic topology, operads intervene now as important objects in computer science and in combinatorics. The theory of operads, together with the algebraic setting and the tools accompanying it, promises advances in these two areas. On the one hand, operads provide a useful abstraction of formal expressions, and also, provide connections with the theory of rewrite systems. On the other hand, a lot of operads involving combinatorial objects highlight some of their properties and allow to discover new ones. This book presents the theory of nonsymmetric operads under a combinatorial point of view. It portrays the main elements of this theory and the links it maintains with several areas of computer science and combinatorics. A lot of examples of operads appearing in combinatorics are studied and some constructions relating operads with known algebraic structures are presented. The modern treatment of operads consisting in considering the space of formal power series associated with an operad is developed. Enrichments of nonsymmetric operads as colored, cyclic, and symmetric operads are reviewed. This text is addressed to any computer scientist or combinatorist who looks a complete and a modern description of the theory of nonsymmetric operads. Evenly, this book is intended to an audience of algebraists who are looking for an original point of view fitting in the context of combinatorics.


title: Non-isothermal viscoelastic flows with conservation laws and relaxation

abstract: We propose a system of conservation laws with relaxation source terms (i.e. balance laws) for non-isothermal viscoelastic flows of Maxwell fluids. The system is an extension of the polyconvex elastodynamics of hyperelastic bodies using additional structure variables. It is obtained by writing the Helmholtz free energy as the sum of a volumetric energy density (function of the determinant of the deformation gradient det F and the temperature $\theta$ like the standard perfect-gas law or Noble-Abel stiffened-gas law) plus a polyconvex strain energy density function of F, $\theta$ and of symmetric positive-definite structure tensors that relax at a characteristic time scale. One feature of our model is that it unifies various ideal materials ranging from hyperelastic solids to perfect fluids, encompassing fluids with memory like Maxwell fluids. We establish a strictly convex mathematical entropy to show that the system is symmetric-hyperbolic. Another feature of the proposed model is therefore the short-time existence and uniqueness of smooth solutions, which define genuinely causal viscoelastic flows with waves propagating at finite speed. In heat-conductors, we complement the system by a Maxwell-Cattaneo equation for an energy-flux variable. The system is still symmetric-hyperbolic, and smooth evolutions with finite-speed waves remain well-defined.


title: Switching between Magnetic Bloch and N\'eel Domain Walls with Anisotropy Modulations

abstract: It has been shown previously that the presence of a Dzyaloshinskii-Moriya interaction in perpendicularly magnetized thin films stabilizes N\'eel type domain walls. We demonstrate, using micromagnetic simulations and analytical modeling, that the presence of a uniaxial in-plane magnetic anisotropy can also lead to the formation of N\'eel walls in the absence of a Dzyaloshinskii-Moriya interaction. It is possible to abruptly switch between Bloch and N\'eel walls via a small modulation of both the in-plane, but also the perpendicular magnetic anisotropy. This opens up a route towards electric field control of the domain wall type with small applied voltages through electric field controlled anisotropies.


title: Weak Measurement effects on dynamics of quantum correlations in a Two-atom System in Thermal Reservoirs

abstract: The dynamical behavior of quantum correlations captured by different forms Measurement-Induced Nonlocality (MIN) between two atoms coupled with thermal reservoirs is investigated and compared with the entanglement. It is shown that the MIN quantities are more robust, while noise causes sudden death in entanglement. Further, we quantified the quantum correlation with weak measurement, and the effect of measurement strength is observed. The role of mean photon number and weak measurement on quantum correlation is also highlighted.


title: Rotation and spots in normal A and Am/Fm stars

abstract: Frequency analysis of long-term ultra-precise photometry can lead to precise values of rotation frequencies of rotating stars with ``hump and spike'' features in their periodograms. Using these features, we computed the rotation frequencies and amplitudes. The corresponding equatorial rotational velocity ($v_{\rm rot}$) and spot size were estimated. On fitting the autocorrelation functions of the light-curves with the appropriate model, we determined the starspot decay-time scale. The $v_{\rm rot}$ agrees well with the projected rotational velocity ($v\,{\rm sin}\,i$) in the literature. Considering a single circular and black spot we estimate its radius from the amplitude of the ``spike''. No evidence for a significant difference in the average ``spike'' amplitude and spot radius was found for Am/Fm and normal A stars. Indeed, we derived an average value of $\rm \sim 21\pm2$ and $\sim 19\pm2\,{\rm ppm}$ for the photometric amplitude and of $\rm 1.01\,\pm\,0.13$ and $1.16\,\pm\,0.12\,R_{\rm E}$ for the spot radius (where $R_{\rm E}$ is the Earth radius), respectively. We do find a significant difference for the average spot decay-time scale, which amounts to $3.6\pm0.2$ and $1.5\pm0.2$ days for Am/Fm and normal A stars, respectively. In general, spots on normal A stars are similar in size to those on Am/Fm stars, and both are weaker than previously estimated. The existence of the ``spikes'' in the frequency spectra may not be strongly dependent on the appearance of starspots on the stellar surface. In comparison with G, K and M stars, spots in normal A and Am/Fm stars are weak which may indicate the presence of a weak magnetic field.


title: Determination of rotation periods for a large sample of asteroids from K2 Campaign 9

abstract: Kepler mission is a powerful tool in the study the different types of astrophysical objects or events in the distant Universe. However, the spacecraft gives also the opportunity to study Solar System objects passing in the telescope field of view. The aim of this paper is to determine for the first time the rotation periods of a number of asteroids observed by the Kepler satellite during the K2 Campaign 9. Using publicly available data from Kepler mission we have used the Modified Causal Pixel Model (MCPM) code to perform the aperture-like and PRF-like photometry of 1026 asteroids. The results allowed us to determine the rotation periods for 188 asteroids. For asteroids with rotation periods previously measured, we compared the results and found very good agreement. There are additional 20 asteroids for which we obtained lower limits on rotation periods and in all cases these limits are at least 100 h.


title: Spherical formulation of geometric motion segmentation constraints in fisheye cameras

abstract: We introduce a visual motion segmentation method employing spherical geometry for fisheye cameras and automoated driving. Three commonly used geometric constraints in pin-hole imagery (the positive height, positive depth and epipolar constraints) are reformulated to spherical coordinates, making them invariant to specific camera configurations as long as the camera calibration is known. A fourth constraint, known as the anti-parallel constraint, is added to resolve motion-parallax ambiguity, to support the detection of moving objects undergoing parallel or near-parallel motion with respect to the host vehicle. A final constraint constraint is described, known as the spherical three-view constraint, is described though not employed in our proposed algorithm. Results are presented and analyzed that demonstrate that the proposal is an effective motion segmentation approach for direct employment on fisheye imagery.


title: A dissemination workshop for introducing young Italian students to NLP

abstract: We describe and make available the game-based material developed for a laboratory run at several Italian science festivals to popularize NLP among young students.


title: Stability of 2D steady Euler flows related to least energy solutions of the Lane-Emden equation

abstract: In this paper, we investigate nonlinear stability of planar steady Euler flows related to least energy solutions of the Lane-Emden equation in a smooth bounded domain. We prove the orbital stability of these flows in terms of both the $L^s$ norm of the vorticity for any $s\in(1,+\infty)$ and the energy norm. As a consequence, nonlinear stability is obtained when the least energy solution is unique, which actually holds for a large class of domains and exponents. The proofs are based on a new variational characterization of least energy solutions in terms of the vorticity, a compactness argument, and proper use of conserved quantities of the Euler equation.


title: Predicting Depressive Symptom Severity through Individuals' Nearby Bluetooth Devices Count Data Collected by Mobile Phones: A Preliminary Longitudinal Study

abstract: The Bluetooth sensor embedded in mobile phones provides an unobtrusive, continuous, and cost-efficient means to capture individuals' proximity information, such as the nearby Bluetooth devices count (NBDC). The continuous NBDC data can partially reflect individuals' behaviors and status, such as social connections and interactions, working status, mobility, and social isolation and loneliness, which were found to be significantly associated with depression by previous survey-based studies. This paper aims to explore the NBDC data's value in predicting depressive symptom severity as measured via the 8-item Patient Health Questionnaire (PHQ-8). The data used in this paper included 2,886 bi-weekly PHQ-8 records collected from 316 participants recruited from three study sites in the Netherlands, Spain, and the UK as part of the EU RADAR-CNS study. From the NBDC data two weeks prior to each PHQ-8 score, we extracted 49 Bluetooth features, including statistical features and nonlinear features for measuring periodicity and regularity of individuals' life rhythms. Linear mixed-effect models were used to explore associations between Bluetooth features and the PHQ-8 score. We then applied hierarchical Bayesian linear regression models to predict the PHQ-8 score from the extracted Bluetooth features. A number of significant associations were found between Bluetooth features and depressive symptom severity. Compared with commonly used machine learning models, the proposed hierarchical Bayesian linear regression model achieved the best prediction metrics, R2= 0.526, and root mean squared error (RMSE) of 3.891. Bluetooth features can explain an extra 18.8% of the variance in the PHQ-8 score relative to the baseline model without Bluetooth features (R2=0.338, RMSE = 4.547).


title: Centro-Affine Differential Geometry and the Log-Minkowski Problem

abstract: We interpret the log-Brunn-Minkowski conjecture of B\"or\"oczky-Lutwak-Yang-Zhang as a spectral problem in centro-affine differential geometry. In particular, we show that the Hilbert-Brunn-Minkowski operator coincides with the centro-affine Laplacian, thus obtaining a new avenue for tackling the conjecture using insights from affine differential geometry. As every strongly convex hypersurface in $\mathbb{R}^n$ is a centro-affine unit-sphere, it has constant centro-affine Ricci curvature equal to $n-2$, in stark contrast to the standard weighted Ricci curvature of the associated metric-measure space, which will in general be negative. In particular, we may use the classical argument of Lichnerowicz and a centro-affine Bochner formula to give a new proof of the Brunn-Minkowski inequality. For origin-symmetric convex bodies enjoying fairly generous curvature pinching bounds (improving with dimension), we are able to show global uniqueness in the $L^p$- and log-Minkowski problems, as well as the corresponding global $L^p$- and log-Minkowski conjectured inequalities. As a consequence, we resolve the isomorphic version of the log-Minkowski problem: for any origin-symmetric convex body $\bar K$ in $\mathbb{R}^n$, there exists an origin-symmetric convex body $K$ with $\bar K \subset K \subset 8 \bar K$, so that $K$ satisfies the log-Minkowski conjectured inequality, and so that $K$ is uniquely determined by its cone-volume measure $V_K$. If $\bar K$ is not extremely far from a Euclidean ball to begin with, an analogous isometric result, where $8$ is replaced by $1+\epsilon$, is obtained as well.


title: Modeling Risk via Realized HYGARCH Model

abstract: In this paper, we propose the realized Hyperbolic GARCH model for the joint-dynamics of lowfrequency returns and realized measures that generalizes the realized GARCH model of Hansen et al.(2012) as well as the FLoGARCH model introduced by Vander Elst (2015). This model is sufficiently flexible to capture both long memory and asymmetries related to leverage effects. In addition, we will study the strictly and weak stationarity conditions of the model. To evaluate its performance, experimental simulations, using the Monte Carlo method, are made to forecast the Value at Risk (VaR) and the Expected Shortfall (ES). These simulation studies show that for ES and VaR forecasting, the realized Hyperbolic GARCH (RHYGARCH-GG) model with Gaussian-Gaussian errors provide more adequate estimates than the realized Hyperbolic GARCH model with student- Gaussian errors.


title: Short gamma-ray burst jet propagation in binary neutron star merger environments

abstract: The multimessenger event GW170817/GRB 170817A confirmed that binary neutron star (BNS) mergers can produce short gamma-ray burst (SGRB) jets. This evidence promoted new investigations on the mechanisms through which a BNS merger remnant can launch such a powerful relativistic outflow and on the propagation of the latter across the surrounding post-merger environment. In particular, great strides have been made in jet propagation models, establishing connections between the initial jet launching conditions, including the incipient jet launching time (with respect to merger) and the injection parameters, and the observable SGRB prompt and afterglow emission. However, present semi-analytical models and numerical simulations (with one notable exception) adopt simple hand-made prescriptions to account for the post-merger environment, lacking a direct association with any specific merging BNS system. Here, we present the first three-dimensional relativistic hydrodynamics simulations of incipient SGRB jets propagating through a post-merger environment that is directly imported from the outcome of a previous general relativistic BNS merger simulation. Our results show that the evolution and final properties of the jet can be largely affected by the anisotropies and the deviations from axisymmetry and homologous expansion characterizing more realistic BNS merger environments. In addition, we find that the inclusion of the gravitational pull from the central compact object, often overlooked, can have a major impact. Finally, we consider different jet launching times referred to the same BNS merger model and discuss the consequences for the ultimate jet properties.


title: Neutral vs Ion Linewidths in Barnard 5: Evidence for Penetration by MHD Waves

abstract: Dense cores are the final place where turbulence is dissipated. It has been proposed from theoretical arguments that the non-thermal velocity dispersion should be narrower both for molecular ions (compared to neutrals) and for transitions with higher critical densities. To test these hypotheses, we compare the velocity dispersion of N$_2$H$^+$ (1--0) (n$_{\rm crit}$ = $6\times10^4$ cm$^{-3}) and NH$_3$ (n$_{\rm crit}=2\times10^3$ cm$^{-3}), in the dense core Barnard 5. We analyse well resolved and high signal-to-noise observations of NH$_3$ (1,1) and (2,2) obtained with combining GBT and VLA data, and N$_2$H$^+$ (1--0) obtained with GBT Argus, which present a similar morphology. % Surprisingly, the non-thermal velocity dispersion of the ion is systematically higher than that of the neutral by 20\%. The derived sonic Mach number, $\mathcal{M}_s = \sigma_{\rm NT}/c_s$, has peak values $\mathcal{M}_{s, {\rm N_2H^+}} = 0.59$ and $\mathcal{M}_{s, {\rm NH}_3} = 0.48$ for N$_2$H$^+$ and NH$_3$, respectively. % This observed difference may indicate that the magnetic field even deep within the dense core is still oscillating, as it is in the turbulent region outside the core. The ions should be more strongly dynamically coupled to this oscillating field than the neutrals, thus accounting for their broader linewidth. If corroborated by further observations, this finding would shed additional light on the transition to quiescence in dense cores.


title: On the elegance of Ramanujan's series for $\pi$

abstract: Re presenting the traditional proof of Srinivasa Ramanujan's own favorite series for the reciprocal of $\pi$ :\begin{equation}\frac{1}{\pi} = \frac{\sqrt{8}}{9801} \sum_{n=0}^{+\infty} \frac{(4n)!}{(n!)^4} \frac{1103 + 26390n}{396^{4n}} \; \text{,}\end{equation}as well as several other examples of Ramanujan's infinite series. As a matter of fact, the derivation of such formulae has involved specialized knowledge of identities of classical functions and modular functions.


title: Notes on Short $\mathbb{C}^k$'s

abstract: Domains that are increasing union of balls (up to biholomorphism) and on which the Kobayashi metric vanishes identically arise inexorably in complex analysis. In this article we show that in higher dimensions these domains have infinite volume and the Bergman spaces of these domains are trivial. As a consequence they fail to be strictly pseudo-convex at each of their boundary points although these domains are pseudo-convex by definition. These domains can be of different types and one of them is Short $\mathbb{C}^k$'s. In pursuit of identifying the Runge Short $\mathbb{C}^k$'s (up to biholomorphism), we introduce a special class of Short $\mathbb{C}^k$'s, called Loewner Short $\mathbb{C}^k$'s. These are those Short $\mathbb{C}^k$'s which can be exhausted in a continuous manner by a strictly increasing parametrized family of open sets, each of which is biholomrphically equivalent to the unit ball and therefore, they are Runge up to biholomorphism. Although, the question of whether all Short $\mathbb{C}^k$'s are Runge (up to biholomorphism), or whether all Short $\mathbb{C}^k$'s are Loewner remains unsettled, we show that the typical Short $\mathbb{C}^k$'s are Loewner. In the final section, we construct a bunch of non-autonomous basins of attraction, which serve as interesting examples of Short $\mathbb{C}^2$'s.


title: The obliquity and atmosphere of the ultra-hot Jupiter TOI-1431b (MASCARA-5b): A misaligned orbit and no signs of atomic ormolecular absorptions

abstract: Ultra-hot Jupiters are defined as giant planets with equilibrium temperatures larger than 2000 K. Most of them are found orbiting bright A-F type stars, making them extremely suitable objects to study their atmospheres using high-resolution spectroscopy. Recent studies show a variety of atoms and molecules detected in the atmospheres of this type of planets. Here we present our analysis of the newly discovered ultra-hot Jupiter TOI-1431b/MASCARA-5b, using two transit observations with the HARPS-N spectrograph and one transit observation with the EXPRES spectrograph. Analysis of the Rossiter-McLaughlin effect shows that the planet is in a polar orbit, with a projected obliquity $ \lambda = -155^{+20}_{-10}$ degrees. Combining the nights and applying both cross-correlation methods and transmission spectroscopy, we find no evidences of CaI, FeI, FeII, MgI, NaI, VI, TiO, VO or H$\alpha$ in the atmosphere of the planet. Our most likely explanation for the lack of atmospheric features is the large surface gravity of the planet.


title: Dauns-Hofmann-Kumjian-Renault Duality for Fell Bundles and Structured C*-Algebras

abstract: We unify the classic Dauns-Hofmann representation with Kumjian and Renault's Weyl groupoid representation. More precisely, we use ultrafilters to represent C*-algebras with some additional structure on Fell bundles over locally compact \'etale groupoids. Our construction is even functorial and thus a fully-fledged non-commutative extension of the classic Gelfand duality.


title: Communication-Efficient Federated Learning with Dual-Side Low-Rank Compression

abstract: Federated learning (FL) is a promising and powerful approach for training deep learning models without sharing the raw data of clients. During the training process of FL, the central server and distributed clients need to exchange a vast amount of model information periodically. To address the challenge of communication-intensive training, we propose a new training method, referred to as federated learning with dual-side low-rank compression (FedDLR), where the deep learning model is compressed via low-rank approximations at both the server and client sides. The proposed FedDLR not only reduces the communication overhead during the training stage but also directly generates a compact model to speed up the inference process. We shall provide convergence analysis, investigate the influence of the key parameters, and empirically show that FedDLR outperforms the state-of-the-art solutions in terms of both the communication and computation efficiency.


title: Model Guided Road Intersection Classification

abstract: Understanding complex scenarios from in-vehicle cameras is essential for safely operating autonomous driving systems in densely populated areas. Among these, intersection areas are one of the most critical as they concentrate a considerable number of traffic accidents and fatalities. Detecting and understanding the scene configuration of these usually crowded areas is then of extreme importance for both autonomous vehicles and modern ADAS aimed at preventing road crashes and increasing the safety of vulnerable road users. This work investigates inter-section classification from RGB images using well-consolidate neural network approaches along with a method to enhance the results based on the teacher/student training paradigm. An extensive experimental activity aimed at identifying the best input configuration and evaluating different network parameters on both the well-known KITTI dataset and the new KITTI-360 sequences shows that our method outperforms current state-of-the-art approaches on a per-frame basis and prove the effectiveness of the proposed learning scheme.


title: Fast Falsification of Neural Networks using Property Directed Testing

abstract: Neural networks are now extensively used in perception, prediction and control of autonomous systems. Their deployment in safety-critical systems brings forth the need for verification techniques for such networks. As an alternative to exhaustive and costly verification algorithms, lightweight falsification algorithms have been heavily used to search for an input to the system that produces an unsafe output, i.e., a counterexample to the safety of the system. In this work, we propose a falsification algorithm for neural networks that directs the search for a counterexample, guided by a safety property specification. Our algorithm uses a derivative-free sampling-based optimization method. We evaluate our algorithm on 45 trained neural network benchmarks of the ACAS Xu system against 10 safety properties. We show that our falsification procedure detects all the unsafe instances that other verification tools also report as unsafe. Moreover, in terms of performance, our falsification procedure identifies most of the unsafe instances faster, in comparison to the state-of-the-art verification tools for feed-forward neural networks such as NNENUM and Neurify and in many instances, by orders of magnitude.


title: ECLIPSE : Envisioning CLoud Induced Perturbations in Solar Energy

abstract: Efficient integration of solar energy into the electricity mix depends on a reliable anticipation of its intermittency. A promising approach to forecast the temporal variability of solar irradiance resulting from the cloud cover dynamics is based on the analysis of sequences of ground-taken sky images or satellite observations. Despite encouraging results, a recurrent limitation of existing deep learning approaches lies in the ubiquitous tendency of reacting to past observations rather than actively anticipating future events. This leads to a frequent temporal lag and limited ability to predict sudden events. To address this challenge, we introduce ECLIPSE, a spatio-temporal neural network architecture that models cloud motion from sky images to not only predict future irradiance levels and associated uncertainties, but also segmented images, which provide richer information on the local irradiance map. We show that ECLIPSE anticipates critical events and reduces temporal delay while generating visually realistic futures. The model characteristics and properties are investigated with an ablation study and a comparative study on the benefits and different ways to integrate auxiliary data into the modelling. The model predictions are also interpreted through an analysis of the principal spatio-temporal components learned during network training.


title: Coexisting charge-ordered states with distinct driving mechanisms in monolayer VSe$_2$

abstract: Thinning crystalline materials to two dimensions (2D) creates a rich playground for electronic phases, including charge, spin, superconducting, and topological order. Bulk materials hosting charge density waves (CDWs), when reduced to ultrathin films, have shown CDW enhancement and tunability. However, charge order confined to only 2D remains elusive. Here we report a distinct charge ordered state emerging in the monolayer limit of $1T$-VSe$_2$. Systematic scanning tunneling microscopy experiments reveal that bilayer VSe$_2$ largely retains the bulk electronic structure, hosting a tri-directional CDW. However, monolayer VSe$_2$ -- consistently across distinct substrates -- exhibits a dimensional crossover, hosting two CDWs with distinct wavelengths and transition temperatures. Electronic structure calculations reveal that while one CDW is bulk-like and arises from the well-known Peierls mechanism, the other is decidedly unconventional. The observed CDW-lattice decoupling and the emergence of a flat band suggest that the new CDW could arise from enhanced electron-electron interactions in the 2D limit. These findings establish monolayer-VSe$_2$ as a host of coexisting charge orders with distinct origins, and enable the tailoring of electronic phenomena via emergent interactions in 2D materials.


title: Effective interface conditions for continuum mechanical models describing the invasion of multiple cell populations through thin membranes

abstract: We consider a continuum mechanical model for the migration of multiple cell populations through parts of tissue separated by thin membranes. In this model, cells belonging to different populations may be characterised by different proliferative abilities and mobility, which may vary from part to part of the tissue, as well as by different invasion potentials within the membranes. The original transmission problem, consisting of a set of mass balance equations for the volume fraction of cells of every population complemented with continuity of stresses and mass flux across the surfaces of the membranes, is then reduced to a limiting transmission problem whereby each thin membrane is replaced by an effective interface. In order to close the limiting problem, a set of biophysically-consistent transmission conditions is derived through a formal asymptotic method. Models based on such a limiting transmission problem may find fruitful application in a variety of research areas in the biological and medical sciences, including developmental biology, immunology and cancer growth and invasion.


title: Teaching NLP with Bracelets and Restaurant Menus: An Interactive Workshop for Italian Students

abstract: Although Natural Language Processing (NLP) is at the core of many tools young people use in their everyday life, high school curricula (in Italy) do not include any computational linguistics education. This lack of exposure makes the use of such tools less responsible than it could be and makes choosing computational linguistics as a university degree unlikely. To raise awareness, curiosity, and longer-term interest in young people, we have developed an interactive workshop designed to illustrate the basic principles of NLP and computational linguistics to high school Italian students aged between 13 and 18 years. The workshop takes the form of a game in which participants play the role of machines needing to solve some of the most common problems a computer faces in understanding language: from voice recognition to Markov chains to syntactic parsing. Participants are guided through the workshop with the help of instructors, who present the activities and explain core concepts from computational linguistics. The workshop was presented at numerous outlets in Italy between 2019 and 2021, both face-to-face and online.


title: On a Microlocal Version of Young's Product Theorem

abstract: A key result in distribution theory is Young's product theorem which states that the product between two H\"older distributions $u\in\mathcal{C}^\alpha(\mathbb{R}^d)$ and $v\in\mathcal{C}^\beta(\mathbb{R}^d)$ can be unambiguously defined if $\alpha+\beta>0$. We revisit the problem of multiplying two H\"older distributions from the viewpoint of microlocal analysis, using techniques proper of Sobolev wavefront set. This allows us to establish sufficient conditions which allow the multiplication of two H\"older distributions even when $\alpha+\beta\leq 0$.


title: Attention vs non-attention for a Shapley-based explanation method

abstract: The field of explainable AI has recently seen an explosion in the number of explanation methods for highly non-linear deep neural networks. The extent to which such methods -- that are often proposed and tested in the domain of computer vision -- are appropriate to address the explainability challenges in NLP is yet relatively unexplored. In this work, we consider Contextual Decomposition (CD) -- a Shapley-based input feature attribution method that has been shown to work well for recurrent NLP models -- and we test the extent to which it is useful for models that contain attention operations. To this end, we extend CD to cover the operations necessary for attention-based models. We then compare how long distance subject-verb relationships are processed by models with and without attention, considering a number of different syntactic structures in two different languages: English and Dutch. Our experiments confirm that CD can successfully be applied for attention-based models as well, providing an alternative Shapley-based attribution method for modern neural networks. In particular, using CD, we show that the English and Dutch models demonstrate similar processing behaviour, but that under the hood there are consistent differences between our attention and non-attention models.


title: Separating Data via Block Invalidation Time Inference for Write Amplification Reduction in Log-Structured Storage

abstract: Log-structured storage has been widely deployed in various domains of storage systems, yet its garbage collection incurs write amplification (WA) due to the rewrites of live data. We show that there exists an optimal data placement scheme that minimizes WA using the future knowledge of block invalidation time (BIT) of each written block, yet it is infeasible to realize in practice. We propose a novel data placement algorithm for reducing WA, SepBIT, that aims to infer the BITs of written blocks from storage workloads and separately place the blocks into groups with similar estimated BITs. We show via both mathematical and production trace analyses that SepBIT effectively infers the BITs by leveraging the write skewness property in practical storage workloads. Trace analysis and prototype experiments show that SepBIT reduces WA and improves I/O throughput, respectively, compared with state-of-the-art data placement schemes. SepBIT is currently deployed to support the log-structured block storage management at Alibaba Cloud.


title: Launching Adversarial Attacks against Network Intrusion Detection Systems for IoT

abstract: As the internet continues to be populated with new devices and emerging technologies, the attack surface grows exponentially. Technology is shifting towards a profit-driven Internet of Things market where security is an afterthought. Traditional defending approaches are no longer sufficient to detect both known and unknown attacks to high accuracy. Machine learning intrusion detection systems have proven their success in identifying unknown attacks with high precision. Nevertheless, machine learning models are also vulnerable to attacks. Adversarial examples can be used to evaluate the robustness of a designed model before it is deployed. Further, using adversarial examples is critical to creating a robust model designed for an adversarial environment. Our work evaluates both traditional machine learning and deep learning models' robustness using the Bot-IoT dataset. Our methodology included two main approaches. First, label poisoning, used to cause incorrect classification by the model. Second, the fast gradient sign method, used to evade detection measures. The experiments demonstrated that an attacker could manipulate or circumvent detection with significant probability.