title: The Boundedness of Fractional Integral Operators in Local and Global Mixed Morrey-type Spaces

abstract: In this paper, we introduced the local and global mixed Morrey-type spaces, and some properties of these spaces are also studied. After that, the necessary conditions of the boundedness of fractional integral operators $I_{\alpha}$ are studied respectively in mixed-norm Lebesgue spaces and the local mixed Morrey-type spaces. Last but not least, the boundedness of $I_{\alpha}$ is obtained by Hardy operators' boundedness in weighted Lebesgue spaces. As corollaries, we acquire the boundedness of $I_{\alpha}$ in mixed Morrey spaces(\hyperlink{Corollary 5.6}{Corollary 5.6}) and mixed Lebesgue spaces(\hyperlink{Corollary 5.7}{Corollary 5.7}) respectively. Particularly, \hyperlink{Corollary 5.7}{Corollary 5.7} obtains a sufficient and necessary condition.


title: Investigation of flow field of clap & fling motion using immersed boundary coupled lattice Boltzmann method

abstract: This paper deals with the investigation of flow field due to clap and fling mechanism using immersed boundary coupled with lattice Boltzmann method. The lattice Boltzmann method (LBM), an alternative to Navier Stokes solver, is used because of its simplicity and computational efficiency in solving complex moving boundary problems. Benchmark problems are simulated to validate the code, which is then used for simulating flow over two elliptic wing of aspect ratio 5 performing clap and fling flapping motion for different flow parameters such as Reynolds number (Re = 75,100,150), advance ratio (J = 10E-3,10E-2,2) and frequency (f = 0.05Hz,0.25Hz). Numerical simulation is able to capture typical low Reynolds number unsteady phenomena such as, 'wake vortex wing interaction', 'Kramer effect' and 'delayed stall'. The results are both qualitatively and quantitatively consistent with experimental observation. The parametric study involving different combinations of Re, f and J depict distinctly different aerodynamic performances providing physical insights into the flow physics. It is observed that a combination of low f, low J and high Re flow results in better aerodynamic performance. Pronounced lift enhancement via leading edge vortices are obtained in unsteady regime (J<1) compared to quasi-steady regime (J>1). The role of leading edge vortices in enhancing lift are investigated by studying the size and strength of these vortices for different flow conditions. For a given Re, the magnitude of maximum lift coefficient decreases with increasing f irrespective of the value of J; while the same is enhanced with the increasing Re.


title: An Asymptotic Theory of Joint Sequential Changepoint Detection and Identification for General Stochastic Models

abstract: The paper addresses a joint sequential changepoint detection and identification/isolation problem for a general stochastic model, assuming that the observed data may be dependent and non-identically distributed, the prior distribution of the change point is arbitrary, and the post-change hypotheses are composite. The developed detection-identification theory generalizes the changepoint detection theory developed by Tartakovsky (2019) to the case of multiple composite post-change hypotheses when one has not only to detect a change as quickly as possible but also to identify (or isolate) the true post-change distribution. We propose a multi-hypothesis change detection-identification rule and show that it is nearly optimal, minimizing moments of the delay to detection as the probability of a false alarm and the probabilities of misidentification go to zero.


title: Human-Machine Collaborative Video Coding Through Cuboidal Partitioning

abstract: Video coding algorithms encode and decode an entire video frame while feature coding techniques only preserve and communicate the most critical information needed for a given application. This is because video coding targets human perception, while feature coding aims for machine vision tasks. Recently, attempts are being made to bridge the gap between these two domains. In this work, we propose a video coding framework by leveraging on to the commonality that exists between human vision and machine vision applications using cuboids. This is because cuboids, estimated rectangular regions over a video frame, are computationally efficient, has a compact representation and object centric. Such properties are already shown to add value to traditional video coding systems. Herein cuboidal feature descriptors are extracted from the current frame and then employed for accomplishing a machine vision task in the form of object detection. Experimental results show that a trained classifier yields superior average precision when equipped with cuboidal features oriented representation of the current test frame. Additionally, this representation costs $7\%$ less in bit rate if the captured frames are need be communicated to a receiver.


title: New characterizations of the Whitney spheres and the contact Whitney spheres

abstract: In this paper, based on the classical K. Yano's formula, we first establish an optimal integral inequality for compact Lagrangian submanifolds in the complex space forms, which involves the Ricci curvature in the direction $J\vec{H}$ and the norm of the covariant differentiation of the second fundamental form $h$, where $J$ is the almost complex structure and $\vec{H}$ is the mean curvature vector field. Second and analogously, for compact Legendrian submanifolds in the Sasakian space forms with Sasakian structure $(\varphi,\xi,\eta,g)$, we also establish an optimal integral inequality involving the Ricci curvature in the direction $\varphi\vec{H}$ and the norm of the modified covariant differentiation of the second fundamental form. The integral inequality is optimal in the sense that all submanifolds attaining the equality are completely classified. As direct consequences, we obtain new and global characterizations for the Whitney spheres in complex space forms as well as the contact Whitney spheres in Sasakian space forms. Finally, we show that, just as the Whitney spheres in complex space forms, the contact Whitney spheres in Sasakian space forms are locally conformally flat manifolds with sectional curvatures non-constant.


title: On the Regret Analysis of Online LQR Control with Predictions

abstract: In this paper, we study the dynamic regret of online linear quadratic regulator (LQR) control with time-varying cost functions and disturbances. We consider the case where a finite look-ahead window of cost functions and disturbances is available at each stage. The online control algorithm studied in this paper falls into the category of model predictive control (MPC) with a particular choice of terminal costs to ensure the exponential stability of MPC. It is proved that the regret of such an online algorithm decays exponentially fast with the length of predictions. The impact of inaccurate prediction on disturbances is also investigated in this paper.


title: Optimal Sequential Detection of Signals with Unknown Appearance and Disappearance Points in Time

abstract: The paper addresses a sequential changepoint detection problem, assuming that the duration of change may be finite and unknown. This problem is of importance for many applications, e.g., for signal and image processing where signals appear and disappear at unknown points in time or space. In contrast to the conventional optimality criterion in quickest change detection that requires minimization of the expected delay to detection for a given average run length to a false alarm, we focus on a reliable maximin change detection criterion of maximizing the minimal probability of detection in a given time (or space) window for a given local maximal probability of false alarm in the prescribed window. We show that the optimal detection procedure is a modified CUSUM procedure. We then compare operating characteristics of this optimal procedure with popular in engineering the Finite Moving Average (FMA) detection algorithm and the ordinary CUSUM procedure using Monte Carlo simulations, which show that typically the later algorithms have almost the same performance as the optimal one. At the same time, the FMA procedure has a substantial advantage -- independence to the intensity of the signal, which is usually unknown. Finally, the FMA algorithm is applied to detecting faint streaks of satellites in optical images.


title: Magnetic-Field-Driven Antiferromagnetic Domain Wall Motion

abstract: We theoretically study the antiferromagnetic domain wall motion actuated by an inhomogeneous external magnetic field. The Lagrangian and the equations of motion of antiferromagnetic spins under an inhomogeneous magnetic field are derived, first in terms of the N\'eel vector, and then using collective coordinates of the domain wall. A solution is found that describes the actuation of a domain wall by an inhomogeneous field, in which the motion is initiated by a paramagnetic response of wall magnetization, which is then driven by a Stern-Gerlach like force. The effects of pinning potential are also investigated. These results are in good agreement with atomistic simulations. While the present formulation contains the so-called intrinsic magnetization associated with N\'eel texture, a supplementary discussion is given to reformulate the theory in terms of physical magnetization without the intrinsic magnetization.


title: Effect of In-Plane Shear Flow on the Magnetic Island Coalescence Instability

abstract: Using a 2D Viscoresistive Reduced MagnetoHydroDynamic (VR-RMHD) model, the magnetic island coalescence problem is studied in the presence of in-plane, parallel shear flows. Extending the analytical work of Waelbroeck et al [33] and Throumoulopoulos et al [34] in the sub-Alfv\'enic flow shear regime for Fadeev equilibrium, the super-Alfv\'enic regime is studied for the first time numerically. A wide range of values of shear flow amplitudes and shear scale lengths have been considered to understand the effect of sub-Alfv\'enic and super-Alfv\'enic flows on the coalescence instability and its nonlinear fate. We find that for flow shear length scales greater than the magnetic island size, the maximum reconnection rate decreases monotonically from sub-Alfv\'enic to super- Alfv\'enic flow speeds. For scale lengths smaller than the island size, the reconnection rate decreases upto a critical value $v_{0c}$, beyond which, the shear flow is found to destabilize the islands. The value of v0c decreases with decrease in the value of shear flow length scale. Interestingly, for our range of parameters, we find suppression of the Kelvin-Helmholtz instability in super-Alfv\'enic flows even when the shear scale length is smaller than the island width. Observation of velocity streamlines shows that the plasma circulation inside the islands has a stabilizing influence in strong shear flow cases. Plasma circulation is also found to be responsible for decrease in upstream velocity, causing less pile-up of magnetic flux on both sides of the reconnection sheet.


title: Fake-image detection with Robust Hashing

abstract: In this paper, we investigate whether robust hashing has a possibility to robustly detect fake-images even when multiple manipulation techniques such as JPEG compression are applied to images for the first time. In an experiment, the proposed fake detection with robust hashing is demonstrated to outperform state-of-the-art one under the use of various datasets including fake images generated with GANs.


title: Study of the reactions $e^+e^-\to2(\pi^+\pi^-)\pi^0\pi^0\pi^0$ and $e^+e^-\to2(\pi^+\pi^-)\pi^0\pi^0\eta$ at center-of-mass energies from threshold to 4.5 GeV using initial-state radiation

abstract: We study the processes $e^+e^-\to 2(\pi^+\pi^-)\pi^0\pi^0\pi^0\gamma$ and $2(\pi^+\pi^-)\pi^0\pi^0\eta\gamma$ in which an energetic photon is radiated from the initial state. The data were collected with the \babar~ detector at SLAC. About 14\,000 and 4700 events, respectively, are selected from a data sample corresponding to an integrated luminosity of 469 fb^{-1}. The invariant mass of the hadronic final state defines the effective \epem center-of-mass energy. The center-of-mass energies range from threshold to 4.5 GeV. From the mass spectra, the first ever measurements of the $e^+e^-\to 2(\pi^+\pi^-)\pi^0\pi^0\pi^0$ and the $e^+e^-\to2(\pi^+\pi^-)\pi^0\pi^0\eta$ cross sections are performed. The contributions from $\omega\pi^+\pi^-\pi^0\pi^0$, $\eta2(\pi^+\pi^-)$, and other intermediate states are presented. We observe the $J/\psi$ and $\psi(2S)$ in most of these final states and measure the corresponding branching fractions, many of them for the first time.


title: Tooth Instance Segmentation from Cone-Beam CT Images through Point-based Detection and Gaussian Disentanglement

abstract: Individual tooth segmentation and identification from cone-beam computed tomography images are preoperative prerequisites for orthodontic treatments. Instance segmentation methods using convolutional neural networks have demonstrated ground-breaking results on individual tooth segmentation tasks, and are used in various medical imaging applications. While point-based detection networks achieve superior results on dental images, it is still a challenging task to distinguish adjacent teeth because of their similar topologies and proximate nature. In this study, we propose a point-based tooth localization network that effectively disentangles each individual tooth based on a Gaussian disentanglement objective function. The proposed network first performs heatmap regression accompanied by box regression for all the anatomical teeth. A novel Gaussian disentanglement penalty is employed by minimizing the sum of the pixel-wise multiplication of the heatmaps for all adjacent teeth pairs. Subsequently, individual tooth segmentation is performed by converting a pixel-wise labeling task to a distance map regression task to minimize false positives in adjacent regions of the teeth. Experimental results demonstrate that the proposed algorithm outperforms state-of-the-art approaches by increasing the average precision of detection by 9.1%, which results in a high performance in terms of individual tooth segmentation. The primary significance of the proposed method is two-fold: 1) the introduction of a point-based tooth detection framework that does not require additional classification and 2) the design of a novel loss function that effectively separates Gaussian distributions based on heatmap responses in the point-based detection framework.


title: When Noise meets Chaos: Stochastic Resonance in Neurochaos Learning

abstract: Chaos and Noise are ubiquitous in the Brain. Inspired by the chaotic firing of neurons and the constructive role of noise in neuronal models, we for the first time connect chaos, noise and learning. In this paper, we demonstrate Stochastic Resonance (SR) phenomenon in Neurochaos Learning (NL). SR manifests at the level of a single neuron of NL and enables efficient subthreshold signal detection. Furthermore, SR is shown to occur in single and multiple neuronal NL architecture for classification tasks - both on simulated and real-world spoken digit datasets. Intermediate levels of noise in neurochaos learning enables peak performance in classification tasks thus highlighting the role of SR in AI applications, especially in brain inspired learning architectures.


title: Vector currents of integer-spin Majorana particles

abstract: A general and comprehensive analysis for the vector currents of two massive particles, $X_2$ and $X_1$, with arbitrary integer-spin values is given. Our special focus is on the case when two particles are charge self-conjugate, i.e. Majorana bosons. The general structure of their couplings to an on-shell or off-shell vector boson $V$ is described in a manifestly covariant way and then the constraints on the triple vertex due to discrete CP symmetry and the Majorana condition of two particles being Majorana are worked out. The validity of our full analytic investigation is checked by studying the two-body decay, $X_2\to V X_1$, with an on-shell or off-shell $V$ boson in the helicity formalism complementary to the covariant formulation. Threshold effects of the two-lepton invariant-mass and polar-angle correlations in the two sequential two-body decays, $X_2\to V X_1$ and $V\to \ell^-\ell^+$ with $\ell=e$ or $\mu$, are derived analytically in a compact form by use of the Wick helicity rotation and they are investigated numerically in a few specific spin-combination scenarios for probing the spin and dynamical structure of the $X_2X_1V$ vertex.


title: Simultaneously improving multiple imaging parameters with scattering media

abstract: Traditional optical imaging systems can provide high-quality imaging with complicated and expensive optical design by eliminating aberrations. With the help of optical memory effect (ME), not independently improving single imaging parameter, but simultaneously improving several imaging parameters by adding scattering media to the imaging systems was demonstrated firstly. As an example, in a simple single-lens imaging system, except the depth-of-field (DOF) was improved greatly, spherical aberration, coma aberration and chromatic aberration were eliminated simultaneously by placing a scattering medium between the lens and the camera. The results indicate the potential applications of scattering media in many fields such as optical imaging, optical measurements and biomedical applications.


title: A Graph-Constrained Changepoint Learning Approach for Automatic QRS-Complex Detection

abstract: This study presents a new viewpoint on ECG signal analysis by applying a graph-based changepoint detection model to locate R-peak positions. This model is based on a new graph learning algorithm to learn the constraint graph given the labeled ECG data. The proposed learning algorithm starts with a simple initial graph and iteratively edits the graph so that the final graph has the maximum accuracy in R-peak detection. We evaluate the performance of the algorithm on the MIT-BIH Arrhythmia Database. The evaluation results demonstrate that the proposed method can obtain comparable results to other state-of-the-art approaches. The proposed method achieves the overall sensitivity of Sen = 99.64%, positive predictivity of PPR = 99.71%, and detection error rate of DER = 0.19.


title: Minor-closed classes of binary functions

abstract: Binary functions are a generalisation of the cocircuit spaces of binary matroids to arbitrary functions. Every rank function is assigned a binary function, and the deletion and contraction operations of binary functions generalise matroid deletion and contraction. We give the excluded minor characterisations for the classes of binary functions with well defined minors, and those with an associated rank function. Within these classes, we also characterise the classes of binary functions corresponding to polymatroids, matroids and binary matroids by their excluded minors. This gives a new proof of Tutte's excluded minor characterisation of binary matroids in the more generalised space of binary functions.


title: Superconductivity in HEA-type compounds

abstract: Since the discovery of superconductivity in a high-entropy alloy (HEA) Ti-Zr-Nb-Hf-Ta in 2014, the community of superconductor science has explored new HEA superconductors to find the merit of the HEA states on superconducting properties. Since 2018, we have developed HEA-type compounds as superconductors or thermoelectric materials. As well known, compounds like intermetallic compounds or layered compounds are composed of multi crystallographic sites. In a HEA-type compounds, one or more sites are alloyed and total mixing entropy satisfies with the criterion of HEA. Herein, we summarize the synthesis methods, the crystal structural variation and superconducting properties of the HEA-type compounds, which include NaCl-type metal tellurides, CuAl2-type transition metal zirconides, high-Tc cuprates, and BiS2-based layered superconductors. The effects of the introduction of a HEA site in various kinds of complicated compounds are discussed from the structural-dimensionality viewpoint.


title: Investigation of the Stark Effect on a Centrosymmetric Quantum Emitter in Diamond

abstract: Quantum emitters in diamond are leading optically-accessible solid-state qubits. Among these, Group IV-vacancy defect centers have attracted great interest as coherent and stable optical interfaces to long-lived spin states. Theory indicates that their inversion symmetry provides first-order insensitivity to stray electric fields, a common limitation for optical coherence in any host material. Here we experimentally quantify this electric field dependence via an external electric field applied to individual tin-vacancy (SnV) centers in diamond. These measurements reveal that the permanent electric dipole moment and polarizability are at least four orders of magnitude smaller than for the diamond nitrogen vacancy (NV) centers, representing the first direct measurement of the inversion symmetry protection of a Group IV defect in diamond. Moreover, we show that by modulating the electric-field-induced dipole we can use the SnV as a nanoscale probe of local electric field noise, and we employ this technique to highlight the effect of spectral diffusion on the SnV.


title: Analysis of Lower Hybrid Drift Waves in Kappa Distributions over Solar Atmosphere

abstract: Kappa distributions and with loss cone features have been frequently observed with flares emissions with the signatures of Lower hybrid waves. We have analysed the plasma with Kappa distributions and with loss cone features for the drift wave instabilities in perpendicular propagation for Large flare and Normal flare and Coronal condition . While analysing the growth/damping rate, we understand that the growth of propagation of EM waves increases with kappa distribution index for all the three cases. In comparing the propagation large flare shows lesser growth in compared with the normal and the coronal plasmas. When added the loss cone features to Kappa distributions, we find that the damping of EM wave propagation takes place. The damping rate EM waves is increases with perpendicular temperature and loss cone index l, in all the three cases but damping is very high for large flare and then normal in comparision with coronal condition. This shows that the lower hybrid damping may be the source of coronal heating.


title: An Elegant Inequality

abstract: A new inequality, $(x)^{p}+(1-x)^{\frac{1}{p}}\leq1$ for $p \geq 1$ and $\frac{1}{2} \geq x \geq 0$ is found and proved. The inequality looks elegant as it integrates two number pairs ($x$ and $1-x$, $p$ and $\frac{1}{p}$) whose summation and product are one. Its right hand side, $1$, is the strict upper bound of the left hand side. The equality cannot be categorized into any known type of inequalities such as H\"{o}lder, Minkowski etc. In proving it, transcendental equations have been met with, so some novel techniques have been built to get over the difficulty.


title: FLOSS != GitHub: A Case Study of Linux/BSD Perceptions from Microsoft's Acquisition of GitHub

abstract: In 2018, the software industry giants Microsoft made a move into the Open Source world by completing the acquisition of mega Open Source platform, GitHub. This acquisition was not without controversy, as it is well-known that the free software communities includes not only the ability to use software freely, but also the libre nature in Open Source Software. In this study, our aim is to explore these perceptions in FLOSS developers. We conducted a survey that covered traditional FLOSS source Linux, and BSD communities and received 246 developer responses. The results of the survey confirm that the free community did trigger some communities to move away from GitHub and raised discussions into free and open software on the GitHub platform. The study reminds us that although GitHub is influential and trendy, it does not representative all FLOSS communities.


title: Multimodal Attention Fusion for Target Speaker Extraction

abstract: Target speaker extraction, which aims at extracting a target speaker's voice from a mixture of voices using audio, visual or locational clues, has received much interest. Recently an audio-visual target speaker extraction has been proposed that extracts target speech by using complementary audio and visual clues. Although audio-visual target speaker extraction offers a more stable performance than single modality methods for simulated data, its adaptation towards realistic situations has not been fully explored as well as evaluations on real recorded mixtures. One of the major issues to handle realistic situations is how to make the system robust to clue corruption because in real recordings both clues may not be equally reliable, e.g. visual clues may be affected by occlusions. In this work, we propose a novel attention mechanism for multi-modal fusion and its training methods that enable to effectively capture the reliability of the clues and weight the more reliable ones. Our proposals improve signal to distortion ratio (SDR) by 1.0 dB over conventional fusion mechanisms on simulated data. Moreover, we also record an audio-visual dataset of simultaneous speech with realistic visual clue corruption and show that audio-visual target speaker extraction with our proposals successfully work on real data.


title: Experimental characterisation of a non-Markovian quantum process

abstract: Every quantum system is coupled to an environment. Such system-environment interaction leads to temporal correlation between quantum operations at different times, resulting in non-Markovian noise. In principle, a full characterisation of non-Markovian noise requires tomography of a multi-time processes matrix, which is both computationally and experimentally demanding. In this paper, we propose a more efficient solution. We employ machine learning models to estimate the amount of non-Markovianity, as quantified by an information-theoretic measure, with tomographically incomplete measurement. We test our model on a quantum optical experiment, and we are able to predict the non-Markovianity measure with $90\%$ accuracy. Our experiment paves the way for efficient detection of non-Markovian noise appearing in large scale quantum computers.


title: Information Energy Capacity Region for SWIPT Systems over Raylegh-Fading Channels

abstract: In this paper, we study the fundamental limits of simultaneous information and power transfer over a Rayleigh fading channel, where the channel input is constrained to peak-power constraints that vary in each channel use by taking into account high-power amplifier nonlinearities. In particular, a three-party communication system is considered, where a transmitter aims simultaneously conveying information to an information receiver and delivering energy to an energy harvesting receiver. For the special case of static PP constraints, we study the information-energy capacity region and the associated input distribution under: average-power and PP constraints at the transmitter, an HPA nonlinearity at the transmitter, and nonlinearity of the energy harvesting circuit at the energy receiver. By extending Smith \' mathematical framework, we show that the optimal input distribution under those constraints is discrete with a finite number of mass points. We show that HPA significantly reduces the information energy capacity region. In addition, we derive a closed\-form expression of the capacity achieving distribution for the low PP regime, where there is no trade-off between information and energy transfer. For the case with time-varying PP constraints, we prove that the optimal input distribution has a finite support by using Shannon\'s coding scheme. Specifically, we numerically study a particular scenario for the time-varying PP constraints, where the PP constraint probabilistically is either zero or equal to a non-zero constant.


title: Axion Quality from Superconformal Dynamics

abstract: We discuss a possibility that a superconformal dynamics induces the emergence of a global $U(1)_{\rm PQ}$ symmetry to solve the strong CP problem through the axion. Fields spontaneously breaking the $U(1)_{\rm PQ}$ symmetry couple to new quarks charged under the ordinary color $SU(3)_C$ and a new $SU(N)$ gauge group. The theory flows into an IR fixed point where the $U(1)_{\rm PQ}$ breaking fields hold a large anomalous dimension leading to the suppression of $U(1)_{\rm PQ}$-violating higher dimensional operators. The spontaneous breaking of the $U(1)_{\rm PQ}$ makes the new quarks massive. The $U(1)_{\rm PQ}$ symmetry is anomalous under the $SU(3)_C$ but not under the $SU(N)$ so that the axion couples to only the color $SU(3)_C$ and the usual axion potential is generated. We also comment on a model that the $U(1)_{\rm PQ}$ breaking fields are realized as meson superfields in a new supersymmetric QCD.


title: AI4VIS: Survey on Artificial Intelligence Approaches for Data Visualization

abstract: Visualizations themselves have become a data format. Akin to other data formats such as text and images, visualizations are increasingly created, stored, shared, and (re-)used with artificial intelligence (AI) techniques. In this survey, we probe the underlying vision of formalizing visualizations as an emerging data format and review the recent advance in applying AI techniques to visualization data (AI4VIS). We define visualization data as the digital representations of visualizations in computers and focus on data visualization (e.g., charts and infographics). We build our survey upon a corpus spanning ten different fields in computer science with an eye toward identifying important common interests. Our resulting taxonomy is organized around WHAT is visualization data and its representation, WHY and HOW to apply AI to visualization data. We highlight a set of common tasks that researchers apply to the visualization data and present a detailed discussion of AI approaches developed to accomplish those tasks. Drawing upon our literature review, we discuss several important research questions surrounding the management and exploitation of visualization data, as well as the role of AI in support of those processes. We make the list of surveyed papers and related material available online at ai4vis.github.io.


title: Anomaly Detection of Time Series with Smoothness-Inducing Sequential Variational Auto-Encoder

abstract: Deep generative models have demonstrated their effectiveness in learning latent representation and modeling complex dependencies of time series. In this paper, we present a Smoothness-Inducing Sequential Variational Auto-Encoder (SISVAE) model for robust estimation and anomaly detection of multi-dimensional time series. Our model is based on Variational Auto-Encoder (VAE), and its backbone is fulfilled by a Recurrent Neural Network to capture latent temporal structures of time series for both generative model and inference model. Specifically, our model parameterizes mean and variance for each time-stamp with flexible neural networks, resulting in a non-stationary model that can work without the assumption of constant noise as commonly made by existing Markov models. However, such a flexibility may cause the model fragile to anomalies. To achieve robust density estimation which can also benefit detection tasks, we propose a smoothness-inducing prior over possible estimations. The proposed prior works as a regularizer that places penalty at non-smooth reconstructions. Our model is learned efficiently with a novel stochastic gradient variational Bayes estimator. In particular, we study two decision criteria for anomaly detection: reconstruction probability and reconstruction error. We show the effectiveness of our model on both synthetic datasets and public real-world benchmarks.


title: Some Results on $k$-Tur\'{a}n-good Graphs

abstract: For a graph $H$ and a $k$-chromatic graph $F,$ if the Tur\'an graph $T_{k-1}(n)$ has the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs (for $n$ large enough), then $H$ is called $F$-Tur\'an-good, or $k$-Tur\'an-good for short if $F$ is $K_k.$ In this paper, we construct some new classes of $k$-Tur\'an-good graphs and prove that $P_4$ and $P_5$ are $k$-Tur\'an-good for $k\ge4.$


title: wChain: A Fast Fault-Tolerant Blockchain Protocol for Multihop Wireless Networks

abstract: This paper presents $\mathit{wChain}$, a blockchain protocol specifically designed for multihop wireless networks that deeply integrates wireless communication properties and blockchain technologies under the realistic SINR model. We adopt a hierarchical spanner as the communication backbone to address medium contention and achieve fast data aggregation within $O(\log N\log\Gamma)$ slots where $N$ is the network size and $\Gamma$ refers to the ratio of the maximum distance to the minimum distance between any two nodes. Besides, $\mathit{wChain}$ employs data aggregation and reaggregation, and node recovery mechanisms to ensure efficiency, fault tolerance, persistence, and liveness. The worst-case runtime of $\mathit{wChain}$ is upper bounded by $O(f\log N\log\Gamma)$, where $f=\lfloor \frac{N}{2} \rfloor$ is the upper bound of the number of faulty nodes. To validate our design, we conduct both theoretical analysis and simulation studies, and the results only demonstrate the nice properties of $\mathit{wChain}$, but also point to a vast new space for the exploration of blockchain protocols in wireless networks.


title: A note on the fusion product decomposition of Demazure modules

abstract: We settle the fusion product decomposition theorem for higher-level affine Demazure modules for the cases $E^{(1)}_{6, 7, 8}, F^{(1)}_4$ and $E^{(2)}_{6}$, thus completing the main theorems of Chari et al. (J. Algebra, 2016) and Kus et al. (Represent. Theory, 2016). We obtain a new combinatorial proof for the key fact, that was used in Chari et al. (op cit.), to prove this decomposition theorem. We give a case free uniform proof for this key fact.


title: Neural Data Augmentation via Example Extrapolation

abstract: In many applications of machine learning, certain categories of examples may be underrepresented in the training data, causing systems to underperform on such "few-shot" cases at test time. A common remedy is to perform data augmentation, such as by duplicating underrepresented examples, or heuristically synthesizing new examples. But these remedies often fail to cover the full diversity and complexity of real examples. We propose a data augmentation approach that performs neural Example Extrapolation (Ex2). Given a handful of exemplars sampled from some distribution, Ex2 synthesizes new examples that also belong to the same distribution. The Ex2 model is learned by simulating the example generation procedure on data-rich slices of the data, and it is applied to underrepresented, few-shot slices. We apply Ex2 to a range of language understanding tasks and significantly improve over state-of-the-art methods on multiple few-shot learning benchmarks, including for relation extraction (FewRel) and intent classification + slot filling (SNIPS).


title: Probabilistic Trust Intervals for Out of Distribution Detection

abstract: Building neural network classifiers with an ability to distinguish between in and out-of distribution inputs is an important step towards faithful deep learning systems. Some of the successful approaches for this, resort to architectural novelties, such as ensembles, with increased complexities in terms of the number of parameters and training procedures. Whereas some other approaches make use of surrogate samples, which are easy to create and work as proxies for actual out-of-distribution (OOD) samples, to train the networks for OOD detection. In this paper, we propose a very simple approach for enhancing the ability of a pretrained network to detect OOD inputs without even altering the original parameter values. We define a probabilistic trust interval for each weight parameter of the network and optimize its size according to the in-distribution (ID) inputs. It allows the network to sample additional weight values along with the original values at the time of inference and use the observed disagreement among the corresponding outputs for OOD detection. In order to capture the disagreement effectively, we also propose a measure and establish its suitability using empirical evidence. Our approach outperforms the existing state-of-the-art methods on various OOD datasets by considerable margins without using any real or surrogate OOD samples. We also analyze the performance of our approach on adversarial and corrupted inputs such as CIFAR-10-C and demonstrate its ability to clearly distinguish such inputs as well. By using fundamental theorem of calculus on neural networks, we explain why our technique doesn't need to observe OOD samples during training to achieve results better than the previous works.


title: Score sequences of bitournaments

abstract: The score of a vertex $x$ in an oriented graph is defined to be its outdegree, \emph{i.e.}, the number of arcs with initial vertex $x$. The score sequence of an oriented graph is the sequence of all scores arranged in nondecreasing order. An oriented complete bipartite graph is called a bitournament. The score sequence of a bitournament consists of two nondecreasing sequences of nonnegative integers, one for each of the two partite sets. Moon has characterized the score sequences of bitournaments. This paper introduces the concept of trimming a sequence and gives a characterization of score sequences of bitournaments utilizing this concept.


title: On the minimal degree condition of graphs implying some properties of subgraphs

abstract: Erd\H{o}s posed the problem of finding conditions on a graph $G$ that imply the largest number of edges in a triangle-free subgraph is equal to the largest number of edges in a bipartite subgraph. We generalize this problem to general cases. Let $\delta_r$ be the least number so that any graph $G$ on $n$ vertices with minimum degree $\delta_rn$ has the property $P_{r-1}(G)=K_rf(G),$ where $P_{r-1}(G)$ is the largest number of edges in an $(r-1)$-partite subgraph and $K_rf(G)$ is the largest number of edges in a $K_r$-free subgraph. We show that $\frac{3r-4}{3r-1}<\delta_r\le\frac{4(3r-7)(r-1)+1}{4(r-2)(3r-4)}$ when $r\ge4.$ In particular, $\delta_4\le 0.9415.$


title: Realization of doubly inhomogeneous waveplates for structuring of light beams

abstract: Waveplates having spatially varying fast-axis orientation and retardance provide an elegant and easy way to locally manipulate different attributes of light beams namely, polarization, amplitude and phase, leading to the generation of exotic structured light beams. The fabrication of such doubly inhomogeneous waveplates (d-plates) is more complex, compared to that of singly inhomogeneous waveplates (s-plates) having uniform retardance, which can be easily fabricated by different means such as photoalignment of liquid crystals, metasurfaces etc. Here, exploiting the SU(2) formalism, we establish analytically that any d-plate can be equivalently implemented using a pair of quarter-wave s-plates and a half-wave s-plate. An important advantage of this method is that it gives the flexibility to realize a whole family of distinct d-plates using the same triplet of s-plates. To underline the scope of this method, we propose novel d-plates for spatially tailoring the phase and complex amplitudes of light beams. Towards complex amplitude shaping, we present a generic method for carving out higher-order eigenmodes of light using a d-plate in conjugation with a polarizer. A generalized q-plate-like gadget, for imparting a polarization-dependent phase profile to a scalar light beam, is proposed as a demonstration of phase-polarization interplay. For these two illustrations, the corresponding three-s-plate gadget is constructed, and its functioning is validated with extensive numerical simulations. The main result and its illustrations are generic and agnostic to the way the s-plates are fabricated and we believe they carry the potential to push the current state of the art in interdisciplinary applications involving structured light beams.


title: Enabling energy efficient machine learning on a Ultra-Low-Power vision sensor for IoT

abstract: The Internet of Things (IoT) and smart city paradigm includes ubiquitous technology to extract context information in order to return useful services to users and citizens. An essential role in this scenario is often played by computer vision applications, requiring the acquisition of images from specific devices. The need for high-end cameras often penalizes this process since they are power-hungry and ask for high computational resources to be processed. Thus, the availability of novel low-power vision sensors, implementing advanced features like in-hardware motion detection, is crucial for computer vision in the IoT domain. Unfortunately, to be highly energy-efficient, these sensors might worsen the perception performance (e.g., resolution, frame rate, color). Therefore, domain-specific pipelines are usually delivered in order to exploit the full potential of these cameras. This paper presents the development, analysis, and embedded implementation of a realtime detection, classification and tracking pipeline able to exploit the full potential of background filtering Smart Vision Sensors (SVS). The power consumption obtained for the inference - which requires 8ms - is 7.5 mW.


title: Benchmarking Quantized Neural Networks on FPGAs with FINN

abstract: The ever-growing cost of both training and inference for state-of-the-art neural networks has brought literature to look upon ways to cut off resources used with a minimal impact on accuracy. Using lower precision comes at the cost of negligible loss in accuracy. While training neural networks may require a powerful setup, deploying a network must be possible on low-power and low-resource hardware architectures. Reconfigurable architectures have proven to be more powerful and flexible than GPUs when looking at a specific application. This article aims to assess the impact of mixed-precision when applied to neural networks deployed on FPGAs. While several frameworks exist that create tools to deploy neural networks using reduced-precision, few of them assess the importance of quantization and the framework quality. FINN and Brevitas, two frameworks from Xilinx labs, are used to assess the impact of quantization on neural networks using 2 to 8 bit precisions and weights with several parallelization configurations. Equivalent accuracy can be obtained using lower-precision representation and enough training. However, the compressed network can be better parallelized allowing the deployed network throughput to be 62 times faster. The benchmark set up in this work is available in a public repository (https://github.com/QDucasse/nn benchmark).


title: Point-Defect-Localized Bound States in the Continuum in Photonic Crystals and Structured Fibers

abstract: We show that point defects in two-dimensional photonic crystals can support bound states in the continuum (BICs). The mechanism of confinement is a symmetry mismatch between the defect mode and the Bloch modes of the photonic crystal. These BICs occur in the absence of bandgaps and therefore provide an alternative mechanism to confine light. Furthermore, we show that such BICs can propagate in a fiber geometry and exhibit arbitrarily small group velocity which could serve as a platform for enhancing non-linear effects and light-matter interactions in structured fibers.


title: Why is FPGA-GPU Heterogeneity the Best Option for Embedded Deep Neural Networks?

abstract: Graphics Processing Units (GPUs) are currently the dominating programmable architecture for Deep Learning (DL) accelerators. The adoption of Field Programmable Gate Arrays (FPGAs) in DL accelerators is however getting momentum. In this paper, we demonstrate that Direct Hardware Mapping (DHM) of a Convolutional Neural Network (CNN) on an embedded FPGA substantially outperforms a GPU implementation in terms of energy efficiency and execution time. However, DHM is highly resource intensive and cannot fully substitute the GPU when implementing a state-of-the-art CNN. We thus propose a hybrid FPGA-GPU DL acceleration method and demonstrate that heterogeneous acceleration outperforms GPU acceleration even including communication overheads. Experimental results are conducted on a heterogeneous multi-platform setup embedding an Nvidia(R) Jetson TX2 CPU-GPU board and an Intel(R) Cyclone10GX FPGA board. The SqueezeNet, MobileNetv2, and ShuffleNetv2 mobile-oriented CNNs are experimented. We show that heterogeneous FPG-AGPU acceleration outperforms GPU acceleration for classification inference task over MobileNetv2 (12%-30% energy reduction, 4% to 26% latency reduction), SqueezeNet (21%-28% energy reduction, same latency), and ShuffleNetv2 (25% energy reduction, 21% latency reduction).


title: Bit Error Tolerance Metrics for Binarized Neural Networks

abstract: To reduce the resource demand of neural network (NN) inference systems, it has been proposed to use approximate memory, in which the supply voltage and the timing parameters are tuned trading accuracy with energy consumption and performance. Tuning these parameters aggressively leads to bit errors, which can be tolerated by NNs when bit flips are injected during training. However, bit flip training, which is the state of the art for achieving bit error tolerance, does not scale well; it leads to massive overheads and cannot be applied for high bit error rates (BERs). Alternative methods to achieve bit error tolerance in NNs are needed, but the underlying principles behind the bit error tolerance of NNs have not been reported yet. With this lack of understanding, further progress in the research on NN bit error tolerance will be restrained. In this study, our objective is to investigate the internal changes in the NNs that bit flip training causes, with a focus on binarized NNs (BNNs). To this end, we quantify the properties of bit error tolerant BNNs with two metrics. First, we propose a neuron-level bit error tolerance metric, which calculates the margin between the pre-activation values and batch normalization thresholds. Secondly, to capture the effects of bit error tolerance on the interplay of neurons, we propose an inter-neuron bit error tolerance metric, which measures the importance of each neuron and computes the variance over all importance values. Our experimental results support that these two metrics are strongly related to bit error tolerance.


title: Fast Exploration of Weight Sharing Opportunities for CNN Compression

abstract: The computational workload involved in Convolutional Neural Networks (CNNs) is typically out of reach for low-power embedded devices. There are a large number of approximation techniques to address this problem. These methods have hyper-parameters that need to be optimized for each CNNs using design space exploration (DSE). The goal of this work is to demonstrate that the DSE phase time can easily explode for state of the art CNN. We thus propose the use of an optimized exploration process to drastically reduce the exploration time without sacrificing the quality of the output.


title: Long-term evolution of a merger-remnant neutron star in general relativistic magnetohydrodynamics I: Effect of magnetic winding

abstract: Long-term ideal and resistive magnetohydrodynamics (MHD) simulations in full general relativity are performed for a massive neutron star formed as a remnant of binary neutron star mergers. Neutrino radiation transport effects are taken into account as in our previous papers. The simulation is performed in axial symmetry and without considering dynamo effects as a first step. In the ideal MHD, the differential rotation of the remnant neutron star amplifies the magnetic-field strength by the winding in the presence of a seed poloidal field until the electromagnetic energy reaches $\sim 10\%$ of the rotational kinetic energy, $E_{\rm kin}$, of the neutron star. The timescale until the maximum electromagnetic energy is reached depends on the initial magnetic-field strength and it is $\sim 1$ s for the case that the initial maximum magnetic-field strength is $\sim 10^{15}$ G. After a significant amplification of the magnetic-field strength by the winding, the magnetic braking enforces the initially differentially rotating state approximately to a rigidly rotating state. In the presence of the resistivity, the amplification is continued only for the resistive timescale, and if the maximum electromagnetic energy reached is smaller than $\sim 3\%$ of $E_{\rm kin}$, the initial differential rotation state is approximately preserved. In the present context, the post-merger mass ejection is induced primarily by the neutrino irradiation/heating and the magnetic winding effect plays only a minor role for the mass ejection.


title: The effects of ionic liquids on the thermodynamics of H2 activation by frustrated Lewis pairs: a density functional theory study

abstract: Nowadays, hydrogen activation by frustrated Lewis pairs (FLPs) and their applications have been demonstrated to be one of emerge research topics in the field of catalysis. Previous studies have shown that the thermodynamics of these reaction is determined by electronic structures of FLPs and solvents. Herein, we investigated the systems consisting of typical FLPs and ionic liquids (ILs), which are well known by their large number of types and excellent solvent effects. The density functional theory (DFT) calculations were performed to study the thermodynamics for H2 activation by both inter- and intra-molecular FLPs, as well as the individual components. The results show that the computed overall Gibbs free energies in ILs are more negative than that computed in toluene. Through the thermodynamics partitioning, we find that ILs favor the H-H cleavage elemental step, while disfavored the elemental steps of proton attachment, hydride attachment and zwitterionic stabilization. Moreover, the results show that these effects are strongly dependent on the type of FLPs, where intra-molecular FLPs are more effected compared to the inter-molecular FLPs.


title: QoS-Aware Power Minimization of Distributed Many-Core Servers using Transfer Q-Learning

abstract: Web servers scaled across distributed systems necessitate complex runtime controls for providing quality of service (QoS) guarantees as well as minimizing the energy costs under dynamic workloads. This paper presents a QoS-aware runtime controller using horizontal scaling (node allocation) and vertical scaling (resource allocation within nodes) methods synergistically to provide adaptation to workloads while minimizing the power consumption under QoS constraint (i.e., response time). A horizontal scaling determines the number of active nodes based on workload demands and the required QoS according to a set of rules. Then, it is coupled with vertical scaling using transfer Q-learning, which further tunes power/performance based on workload profile using dynamic voltage/frequency scaling (DVFS). It transfers Q-values within minimally explored states reducing exploration requirements. In addition, the approach exploits a scalable architecture of the many-core server allowing to reuse available knowledge from fully or partially explored nodes. When combined, these methods allow to reduce the exploration time and QoS violations when compared to model-free Q-learning. The technique balances design-time and runtime costs to maximize the portability and operational optimality demonstrated through persistent power reductions with minimal QoS violations under different workload scenarios on heterogeneous multi-processing nodes of a server cluster.


title: Modular approach to data preprocessing in ALOHA and application to a smart industry use case

abstract: Applications in the smart industry domain, such as interaction with collaborative robots using vocal commands or machine vision systems often requires the deployment of deep learning algorithms on heterogeneous low power computing platforms. The availability of software tools and frameworks to automatize different design steps can support the effective implementation of DL algorithms on embedded systems, reducing related effort and costs. One very important aspect for the acceptance of the framework, is its extensibility, i.e. the capability to accommodate different datasets and define customized preprocessing, without requiring advanced skills. The paper addresses a modular approach, integrated into the ALOHA tool flow, to support the data preprocessing and transformation pipeline. This is realized through customizable plugins and allows the easy extension of the tool flow to encompass new use cases. To demonstrate the effectiveness of the approach, we present some experimental results related to a keyword spotting use case and we outline possible extensions to different use cases.


title: Graph Coarsening with Neural Networks

abstract: As large-scale graphs become increasingly more prevalent, it poses significant computational challenges to process, extract and analyze large graph data. Graph coarsening is one popular technique to reduce the size of a graph while maintaining essential properties. Despite rich graph coarsening literature, there is only limited exploration of data-driven methods in the field. In this work, we leverage the recent progress of deep learning on graphs for graph coarsening. We first propose a framework for measuring the quality of coarsening algorithm and show that depending on the goal, we need to carefully choose the Laplace operator on the coarse graph and associated projection/lift operators. Motivated by the observation that the current choice of edge weight for the coarse graph may be sub-optimal, we parametrize the weight assignment map with graph neural networks and train it to improve the coarsening quality in an unsupervised way. Through extensive experiments on both synthetic and real networks, we demonstrate that our method significantly improves common graph coarsening methods under various metrics, reduction ratios, graph sizes, and graph types. It generalizes to graphs of larger size ($25\times$ of training graphs), is adaptive to different losses (differentiable and non-differentiable), and scales to much larger graphs than previous work.


title: Hardware-efficient Residual Networks for FPGAs

abstract: Residual networks (ResNets) employ skip connections in their networks -- reusing activations from previous layers -- to improve training convergence, but these skip connections create challenges for hardware implementations of ResNets. The hardware must either wait for skip connections to be processed before processing more incoming data or buffer them elsewhere. Without skip connections, ResNets would be more hardware-efficient. Thus, we present the teacher-student learning method to gradually prune away all of a ResNet's skip connections, constructing a network we call NonResNet. We show that when implemented for FPGAs, NonResNet decreases ResNet's BRAM utilization by 9% and LUT utilization by 3% and increases throughput by 5%.


title: Heavy element contributions of rotating massive stars to Interstellar Medium

abstract: Employing the the stellar evolution code (Modules for Experiments in Stellar Astrophysics), we calculate yields of heavy elements from massive stars via stellar wind and core-collapse supernovae (CCSN) ejecta to interstellar medium (ISM). In our models, the initial masses ($M_{\rm ini}$) of massive stars are taken from 13 to 80 $M_\odot$, their initial rotational velocities (V) are 0, 300 and 500 km s$^{-1}$, and their metallicities are [Fe/H] = -3, -2, -1, and 0. The yields of heavy elements coming from stellar winds are mainly affected by the stellar rotation which changes the chemical abundances of stellar surfaces via chemically homogeneous evolution, and enhances mass-loss rate. We estimate that the stellar wind can produce heavy element yields of about $10^{-2}$ (for low metallicity models) to several $M_\odot$ (for low metallicity and rapid rotation models) mass. The yields of heavy element produced by CCSN ejecta also depend on the remnant mass of massive mass which is mainly determined by the mass of CO-core. Our models calculate that the yields of heavy elements produced by CCSN ejecta can get up to several $M_\odot$. Compared with stellar wind, CCSN ejecta has a greater contribution to the heavy elements in ISM. We also compare the $^{56}$Ni yields by calculated in this work with observational estimate. Our models only explain the $^{56}$Ni masses produced by faint SNe or normal SNe with progenitor mass lower than about 25 $M_\odot$, and greatly underestimate the $^{56}$Ni masses produced by stars with masses higher than about 30 $M_\odot$.


title: Subdimensional Expansion for Multi-objective Multi-agent Path Finding

abstract: Conventional multi-agent path planners typically determine a path that optimizes a single objective, such as path length. Many applications, however, may require multiple objectives, say time-to-completion and fuel use, to be simultaneously optimized in the planning process. Often, these criteria may not be readily compared and sometimes lie in competition with each other. Simply applying standard multi-objective search algorithms to multi-agent path finding may prove to be inefficient because the size of the space of possible solutions, i.e., the Pareto-optimal set, can grow exponentially with the number of agents (the dimension of the search space). This paper presents an approach that bypasses this so-called curse of dimensionality by leveraging our prior multi-agent work with a framework called subdimensional expansion. One example of subdimensional expansion, when applied to A*, is called M* and M* was limited to a single objective function. We combine principles of dominance and subdimensional expansion to create a new algorithm named multi-objective M* (MOM*), which dynamically couples agents for planning only when those agents have to "interact" with each other. MOM* computes the complete Pareto-optimal set for multiple agents efficiently and naturally trades off sub-optimal approximations of the Pareto-optimal set and computational efficiency. Our approach is able to find the complete Pareto-optimal set for problem instances with hundreds of solutions which the standard multi-objective A* algorithms could not find within a bounded time.


title: Matrix weighted Kolmogorov-Riesz's compactness theorem

abstract: In this paper, several versions of the Kolmogorov-Riesz compactness theorem in weighted Lebesgue spaces with matrix weights are obtained. In particular, when the matrix weight $W$ is in the known $A_p$ class, a characterization of totally bounded subsets in $L^p(W)$ with $p\in(1, \infty)$ is established.


title: Mining Feature Relationships in Data

abstract: When faced with a new dataset, most practitioners begin by performing exploratory data analysis to discover interesting patterns and characteristics within data. Techniques such as association rule mining are commonly applied to uncover relationships between features (attributes) of the data. However, association rules are primarily designed for use on binary or categorical data, due to their use of rule-based machine learning. A large proportion of real-world data is continuous in nature, and discretisation of such data leads to inaccurate and less informative association rules. In this paper, we propose an alternative approach called feature relationship mining (FRM), which uses a genetic programming approach to automatically discover symbolic relationships between continuous or categorical features in data. To the best of our knowledge, our proposed approach is the first such symbolic approach with the goal of explicitly discovering relationships between features. Empirical testing on a variety of real-world datasets shows the proposed method is able to find high-quality, simple feature relationships which can be easily interpreted and which provide clear and non-trivial insight into data.


title: Recent Advances in Adversarial Training for Adversarial Robustness

abstract: Adversarial training is one of the most effective approaches defending against adversarial examples for deep learning models. Unlike other defense strategies, adversarial training aims to promote the robustness of models intrinsically. During the last few years, adversarial training has been studied and discussed from various aspects. A variety of improvements and developments of adversarial training are proposed, which were, however, neglected in existing surveys. For the first time in this survey, we systematically review the recent progress on adversarial training for adversarial robustness with a novel taxonomy. Then we discuss the generalization problems in adversarial training from three perspectives. Finally, we highlight the challenges which are not fully tackled and present potential future directions.


title: Spin-state smectics in spin crossover materials

abstract: We show that a simple two dimensional model of spin crossover materials gives rise to spin-state smectic phases where the pattern of high-spin (HS) and low-spin (LS) metal centers spontaneously breaks rotational symmetry and translational symmetry in one direction only. The spin-state smectics are distinct thermodynamic phases and give rise to plateaus in the fraction of HS metal centers. Smectic order leads to lines of Bragg peaks in the x-ray and neutron scattering structure factors. We identify two smectic phases and show that both are ordered in one direction, but disordered in the other, and hence that their residual entropy scales with the linear dimension of the system. This is intermediate to spin-state ices (examples of `spin-state liquids') where the residual entropy scales with the system volume, and antiferroeleastic ordered phases (examples of `spin-state crystals') where the residual entropy is independent of the size of the system.


title: Optical read-out of Coulomb staircases in a moir\'e superlattice via trapped interlayer trions

abstract: Moir\'e patterns with a superlattice potential can be formed by vertically stacking two layered materials with a relative twist or lattice constant mismatch. The moir\'e superlattice can generate flat bands that result in new correlated insulating, superconducting, and topological states. Strong electron correlations, tunable by the fractional filling, have been observed in both graphene and transition metal dichalcogenide (TMD) based systems. In addition, in TMD based systems, the moir\'e potential landscape can trap interlayer excitons (IX) at specific atomic registries. Here we report that spatially isolated trapped IX in a molybdenum diselenide/tungsten diselenide heterobilayer device provide a sensitive optical probe of carrier filling in their immediate environment. By mapping the spatial positions of individual trapped IX, we are able to spectrally track the emitters as the moir\'e lattice is filled with excess carriers. Upon initial doping of the heterobilayer, neutral trapped IX form charged IX (IX trions) uniformly with a binding energy of ~7 meV. Upon further doping, the empty superlattice sites sequentially fill, creating a Coulomb staircase: stepwise changes in the IX trion emission energy due to Coulomb interactions with carriers at nearest neighbour moir\'e sites. This non-invasive, highly local technique can complement transport and non-local optical sensing techniques to characterise Coulomb interaction energies, visualise charge correlated states, or probe local disorder in a moir\'e superlattice.


title: Remarks on the Second Homology Groups of Queer Lie Superalgebras

abstract: The aim of this note is to completely determine the second homology group of the special queer Lie superalgebra $\mathfrak{sq}_n(R)$ coordinatized by a unital associative superalgebra $R$, which will be achieved via an isomorphism between the special linear Lie superalgebra $\mathfrak{sl}_{n}(R\otimes Q_1)$ and the special queer Lie superalgebra $\mathfrak{sq}_n(R)$.


title: Test-Time Adaptation for Out-of-distributed Image Inpainting

abstract: Deep learning-based image inpainting algorithms have shown great performance via powerful learned prior from the numerous external natural images. However, they show unpleasant results on the test image whose distribution is far from the that of training images because their models are biased toward the training images. In this paper, we propose a simple image inpainting algorithm with test-time adaptation named AdaFill. Given a single out-of-distributed test image, our goal is to complete hole region more naturally than the pre-trained inpainting models. To achieve this goal, we treat remained valid regions of the test image as another training cues because natural images have strong internal similarities. From this test-time adaptation, our network can exploit externally learned image priors from the pre-trained features as well as the internal prior of the test image explicitly. Experimental results show that AdaFill outperforms other models on the various out-of-distribution test images. Furthermore, the model named ZeroFill, that are not pre-trained also sometimes outperforms the pre-trained models.


title: On weakly and strongly popular rankings

abstract: Van Zuylen et al. [35] introduced the notion of a popular ranking in a voting context, where each voter submits a strict ranking of all candidates. A popular ranking $\pi$ of the candidates is at least as good as any other ranking $\sigma$ in the following sense: if we compare $\pi$ to $\sigma$, at least half of all voters will always weakly prefer $\pi$. Whether a voter prefers one ranking to another is calculated based on the Kendall distance. A more traditional definition of popularity -- as applied to popular matchings, a well-established topic in computational social choice -- is stricter, because it requires at least half of the voters who are not indifferent between $\pi$ and $\sigma$ to prefer $\pi$. In this paper, we derive structural and algorithmic results in both settings, also improving upon the results in [35]. We also point out connections to the famous open problem of finding a Kemeny consensus with three voters.


title: A Catalog of High-Velocity CIV Mini-BALs in the VLT-UVES and Keck-HIRES Archives

abstract: We present a catalog of high-velocity CIV $\lambda$ 1548,1551 mini-Broad Absorption Lines (mini-BALs) in the archives of the VLT-UVES and Keck-HIRES spectrographs. We identify high-velocity CIV mini-BALs based on smooth rounded BAL-like profiles with velocity blueshifts $<$ $-$4000 km/s and widths in the range 70 $\lesssim$ FWHM(1548) $\lesssim$ 2000 km/s (for $\lambda$1548 alone). We find 105 mini-BALs in 44 quasars from a total sample of 638 quasars. The fraction of quasars with at least one mini-BAL meeting our criteria is roughly $\sim9$% after correcting for incomplete velocity coverage. However, the numbers of systems rise sharply at lower velocities and narrower FWHMs, suggesting that many outflow lines are missed by our study. All of the systems are highly ionized based on the strong presence of NV and OVI and/or the absence of SiII and CII when within the wavelength coverage. Two of the mini-BAL systems in our catalog, plus three others at smaller velocity shifts, have PV $\lambda$1118,1128 absorption indicating highly saturated CIV absorption and total hydrogen column densities $\gtrsim 10^{22}$ cm$^{-3}$. Most of the mini-BALs are confirmed to have optical depths $\gtrsim$1 with partial covering of the quasar continuum source. The covering fractions are as small as 0.06 in CIV and 0.03 in SiIV , corresponding to outflow absorbing structures $<0.002$ pc across. When multiple lines are measured, the lines of less abundant ions tend to have narrower profiles and smaller covering fractions indicative of inhomogeneous absorbers where higher column densities occur in smaller clumps. This picture might extend to BAL outflows if the broader and generally deeper BALs form in either the largest clumps or collections of many mini-BAL-like clumps that blend together in observed quasar spectra.


title: The Hitachi-JHU DIHARD III System: Competitive End-to-End Neural Diarization and X-Vector Clustering Systems Combined by DOVER-Lap

abstract: This paper provides a detailed description of the Hitachi-JHU system that was submitted to the Third DIHARD Speech Diarization Challenge. The system outputs the ensemble results of the five subsystems: two x-vector-based subsystems, two end-to-end neural diarization-based subsystems, and one hybrid subsystem. We refine each system and all five subsystems become competitive and complementary. After the DOVER-Lap based system combination, it achieved diarization error rates of 11.58 % and 14.09 % in Track 1 full and core, and 16.94 % and 20.01 % in Track 2 full and core, respectively. With their results, we won second place in all the tasks of the challenge.


title: Leveraging IoT and Weather Conditions to Estimate the Riders Waiting for the Bus Transit on Campus

abstract: The communication technology revolution in this era has increased the use of smartphones in the world of transportation. In this paper, we propose to leverage IoT device data, capturing passengers' smartphones' Wi-Fi data in conjunction with weather conditions to predict the expected number of passengers waiting at a bus stop at a specific time using deep learning models. Our study collected data from the transit bus system at James Madison University (JMU) in Virginia, USA. This paper studies the correlation between the number of passengers waiting at bus stops and weather conditions. Empirically, an experiment with several bus stops in JMU, was utilized to confirm a high precision level. We compared our Deep Neural Network (DNN) model against two baseline models: Linear Regression (LR) and a Wide Neural Network (WNN). The gap between the baseline models and DNN was 35% and 14% better Mean Squared Error (MSE) scores for predictions in favor of the DNN compared to LR and WNN, respectively.


title: Cosmological Parameter Estimation from the Two-Dimensional Genus Topology -- Measuring the Expansion History using the Genus Amplitude as a Standard Ruler

abstract: We measure the genus of the galaxy distribution in two-dimensional slices of the SDSS-III BOSS catalog to constrain the cosmological parameters governing the expansion history of the Universe. The BOSS catalogs are divided into twelve concentric shells over the redshift range $0.25 < z < 0.6$ and we repeatedly measure the genus from the two-dimensional galaxy density fields, each time varying the cosmological parameters used to infer the distance-redshift relation to the shells. We also indirectly reconstruct the two-dimensional genus amplitude using the three-dimensional genus measured from SDSS Main Galaxy Sample with galaxies at low redshift $z < 0.12$. We combine the low- and high-redshift measurements, finding the cosmological model which minimizes the redshift evolution of the genus amplitude, using the fact that this quantity should be conserved. Being a distance measure, the test is sensitive to the matter density parameter ($\Omega_{\rm m}$) and equation of state of dark energy ($w_{\rm de}$). We find a constraint of $w_{\rm de} = -1.05^{+0.13}_{-0.12}$, $\Omega_{\rm m} = 0.303 \pm 0.036$ after combining the high- and low-redshift measurements and combining with Planck CMB data. Higher redshift data and combining data sets at low redshift will allow for stronger constraints.


title: Two-step multi-resolution reconstruction-based compact gas-kinetic scheme on tetrahedral mesh

abstract: In this paper, a third-order compact gas-kinetic scheme (GKS) on unstructured tetrahedral mesh is constructed for the compressible Euler and Navier-Stokes solutions. The time-dependent gas distribution function at a cell interface is used to calculate the fluxes for the updating the cell-averaged flow variables and to evaluate the time accurate cell-averaged flow variables as well for evolving the cell-averaged gradients of flow variables. With the accurate evolution model for both flow variables and their slopes, the quality of the scheme depends closely on the accuracy and reliability of the initial reconstruction of flow variables. The reconstruction scheme becomes more challenge on tetrahedral mesh, where the conventional second-order unlimited least-square reconstruction can make the scheme be linearly unstable when using cell-averaged conservative variables alone with von Neumann neighbors. Benefiting from the evolved cell-averaged slopes, on tetrahedral mesh the GKS is linearly stable from a compact third-order smooth reconstruction with a large CFL number. In order to further increase the robustness of the high-order compact GKS for capturing discontinuous solution, a new two-step multi-resolution weighted essentially non-oscillatory (WENO) reconstruction will be proposed. The novelty of the reconstruction includes the following. Firstly, it releases the stability issue from a second-order compact reconstruction through the introduction of a pre-reconstruction step. Secondly, in the third-order non-linear reconstruction, only one more large stencil is added beside those in the second-order one, which significantly simplifies the high-order reconstruction. The proposed third-order scheme shows good robustness in high speed flow computation and favorable mesh adaptability in cases with complex geometry.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: "Alexa, Can I Program You?": Student Perceptions of Conversational Artificial Intelligence Before and After Programming Alexa

abstract: Growing up in an artificial intelligence-filled world, with Siri and Amazon Alexa often within arm's - or speech's - reach, could have significant impact on children. Conversational agents could influence how students anthropomorphize computer systems or develop a theory of mind. Previous research has explored how conversational agents are used and perceived by children within and outside of learning contexts. This study investigates how middle and high school students' perceptions of Alexa change through programming their own conversational agents in week-long AI education workshops. Specifically, we investigate the workshops' influence on student perceptions of Alexa's intelligence, friendliness, aliveness, safeness, trustworthiness, human-likeness, and feelings of closeness. We found that students felt Alexa was more intelligent and felt closer to Alexa after the workshops. We also found strong correlations between students' perceptions of Alexa's friendliness and trustworthiness, and safeness and trustworthiness. Finally, we explored how students tended to more frequently use computer science-related diction and ideas after the workshops. Based on our findings, we recommend designers carefully consider personification, transparency, playfulness and utility when designing CAs for learning contexts.


title: The finite speed of propagation in the degenerate Einstein-Brownian motion model

abstract: We considered the qualitative behavior of the generalization of Einstein's model of Brownian motion when the key parameter of the time interval of \textit{free jump} degenerates. Fluids will be characterized by the number of particles per unit volume (density of fluid) at the point of observation. Degeneration of the phenomenon manifests in two scenarios: a) flow of the fluid, which is highly dispersing like a non-dense gas, and b) flow of fluid far away from the source of flow, when the velocity of the flow is incomparably smaller than the gradient of the density. First, we will show that both types of flows can be modeled using the Einstein paradigm. We will investigate the question: What features will particle flow exhibit if the time interval of the\textit{ free jump} is inverse proportional to the density and its gradient? We will show that in this scenario, the flow exhibits localization property, namely: if at some moment of time $t_0$ in the region, the gradient of the density or density itself is equal to zero, then for some time $T$ during t interval $[ t_{0}, t_0+T]$ there is no flow in the region. This directly links to Barenblatt's finite speed of propagation property for the degenerate equation. The method of the proof is very different from Barenblatt's method and based on the application of Ladyzhenskaya - De Giorgi iterative scheme and Vespri - Tedeev technique. From PDE's point of view, it assumed that solution exists in appropriate Sobolev type of space.


title: A uniqueness result for the Sine-Gordon breather

abstract: In this note we prove that the sine-Gordon breather is the only quasimonochromatic breather in the context of nonlinear wave equations in $\mathbb{R}^N$.


title: Efficient Interaction of Heralded X-ray Photons with a Beam Splitter

abstract: We report the experimental demonstration of efficient interaction of multi kilo electron Volt heralded x-ray photons with a beam splitter. The measured heralded photon rate at the outputs of the beam splitter is about 0.01 counts/s which is comparable to the rate in the absence of the beam splitter. We use this beam splitter together with photon number and photon energy resolving detectors to show directly that single x ray photons cannot split. Our experiment demonstrates the major advantage of x rays for quantum optics: the possibility to observe experimental results with high fidelity and with negligible background.


title: Spectral analysis for preconditioning of multi-dimensional Riesz fractional diffusion equations

abstract: In this paper, we analyze the spectra of the preconditioned matrices arising from discretized multi-dimensional Riesz spatial fractional diffusion equations. The finite difference method is employed to approximate the multi-dimensional Riesz fractional derivatives, which will generate symmetric positive definite ill-conditioned multi-level Toeplitz matrices. The preconditioned conjugate gradient method with a preconditioner based on the sine transform is employed to solve the resulting linear system. Theoretically, we prove that the spectra of the preconditioned matrices are uniformly bounded in the open interval (1/2,3/2) and thus the preconditioned conjugate gradient method converges linearly. The proposed method can be extended to multi-level Toeplitz matrices generated by functions with zeros of fractional order. Our theoretical results fill in a vacancy in the literature. Numerical examples are presented to demonstrate our new theoretical results in the literature and show the convergence performance of the proposed preconditioner that is better than other existing preconditioners.


title: Improved Multi-access Coded Caching Schemes from Cross Resolvable Designs

abstract: Recently multi-access coded caching schemes with number of users different from the number of caches obtained from a special case of resolvable designs called Cross Resolvable Designs (CRDs) have been reported and a new performance metric called rate-per-user has been introduced \cite{KNRarXiv}. In this paper we present a generalization of this work resulting in multi-access coded caching schemes with improved rate-per-user.


title: An Improved Baseline for Sentence-level Relation Extraction

abstract: Sentence-level relation extraction (RE) aims at identifying the relationship between two entities in a sentence. Many efforts have been devoted to this problem, while the best performing methods are still far from perfect. In this paper, we revisit two problems that affect the performance of existing RE models, namely entity representation and noisy or ill-defined labels. Our improved RE baseline, incorporated with entity representations with typed markers, achieves an F1 of 74.6% on TACRED, significantly outperforms previous SOTA methods. Furthermore, the presented new baseline achieves an F1 of 91.1% on the refined Re-TACRED dataset, demonstrating that the pretrained language models (PLMs) achieve high performance on this task. We release our code to the community for future research.


title: Efficient Concatenated Bosonic Code for Additive Gaussian Noise

abstract: Bosonic codes offer noise resilience for quantum information processing. Good performance often comes at a price of complex decoding schemes, limiting their practicality. Here, we propose using a Gottesman-Kitaev-Preskill (GKP) code to detect and discard error-prone qubits, concatenated with a quantum parity code to handle the residual errors. Our method employs a simple, linear-time decoder that nevertheless offers significant performance improvements over the standard decoder. Our work may have applications in a wide range of quantum computation and communication scenarios.


title: Applications of Federated Learning in Smart Cities: Recent Advances, Taxonomy, and Open Challenges

abstract: Federated learning plays an important role in the process of smart cities. With the development of big data and artificial intelligence, there is a problem of data privacy protection in this process. Federated learning is capable of solving this problem. This paper starts with the current developments of federated learning and its applications in various fields. We conduct a comprehensive investigation. This paper summarize the latest research on the application of federated learning in various fields of smart cities. In-depth understanding of the current development of federated learning from the Internet of Things, transportation, communications, finance, medical and other fields. Before that, we introduce the background, definition and key technologies of federated learning. Further more, we review the key technologies and the latest results. Finally, we discuss the future applications and research directions of federated learning in smart cities.


title: Some remarks on rotation theorems for complex polynomials

abstract: For any complex polynomial P having all its zeros in the unit disk, we estimate the rate of change of the argument P (z) when the point z runs through the boundary of this disk.


title: Effective Mori-Zwanzig equation for the reduced-order modeling of stochastic systems

abstract: Built upon the hypoelliptic analysis of the effective Mori-Zwanzig (EMZ) equation for observables of stochastic dynamical systems, we show that the obtained semigroup estimates for the EMZ equation can be used to drive prior estimates of the observable statistics for system in the equilibrium and non-equilibrium state. In addition, we introduce both first-principle and data-driven methods to approximate the EMZ memory kernel, and prove the convergence of the data-driven parametrization schemes using the regularity estimate of the memory kernel. The analysis results are validated numerically via the Monte-Carlo simulation of the Langevin dynamics for a Fermi-Pasta-Ulam chain model. With the same example, we also show the effectiveness of the proposed memory kernel approximation methods.

categories: math-ph cond-mat.stat-mech cs.NA math.FA math.MP math.NA math.PR


title: Multilevel Hypergraph Partitioning with Vertex Weights Revisited

abstract: The balanced hypergraph partitioning problem (HGP) is to partition the vertex set of a hypergraph into k disjoint blocks of bounded weight, while minimizing an objective function defined on the hyperedges. Whereas real-world applications often use vertex and edge weights to accurately model the underlying problem, the HGP research community commonly works with unweighted instances. In this paper, we argue that, in the presence of vertex weights, current balance constraint definitions either yield infeasible partitioning problems or allow unnecessarily large imbalances and propose a new definition that overcomes these problems. We show that state-of-the-art hypergraph partitioners often struggle considerably with weighted instances and tight balance constraints (even with our new balance definition). Thus, we present a recursive-bipartitioning technique that is able to reliably compute balanced (and hence feasible) solutions. The proposed method balances the partition by pre-assigning a small subset of the heaviest vertices to the two blocks of each bipartition (using an algorithm originally developed for the job scheduling problem) and optimizes the actual partitioning objective on the remaining vertices. We integrate our algorithm into the multilevel hypergraph partitioner KaHyPar and show that our approach is able to compute balanced partitions of high quality on a diverse set of benchmark instances.


title: Overpartitions and functions from multiplicative number theory

abstract: Let $\alpha$ and $\beta$ be two nonnegative integers such that $\beta < \alpha$. For an arbitrary sequence $\{a_n\}_{n\geqslant 1}$ of complex numbers, we consider the generalized Lambert series in order to investigate linear combinations of the form $\sum_{k\geqslant 1} S(\alpha k-\beta,n) a_k$, where $S(k,n)$ is the total number of non-overlined parts equal to $k$ in all the overpartitions of $n$. The general nature of the numbers $a_n$ allows us to provide connections between overpartitions and functions from multiplicative number theory.


title: Internal Language Model Training for Domain-Adaptive End-to-End Speech Recognition

abstract: The efficacy of external language model (LM) integration with existing end-to-end (E2E) automatic speech recognition (ASR) systems can be improved significantly using the internal language model estimation (ILME) method. In this method, the internal LM score is subtracted from the score obtained by interpolating the E2E score with the external LM score, during inference. To improve the ILME-based inference, we propose an internal LM training (ILMT) method to minimize an additional internal LM loss by updating only the E2E model components that affect the internal LM estimation. ILMT encourages the E2E model to form a standalone LM inside its existing components, without sacrificing ASR accuracy. After ILMT, the more modular E2E model with matched training and inference criteria enables a more thorough elimination of the source-domain internal LM, and therefore leads to a more effective integration of the target-domain external LM. Experimented with 30K-hour trained recurrent neural network transducer and attention-based encoder-decoder models, ILMT with ILME-based inference achieves up to 31.5% and 11.4% relative word error rate reductions from standard E2E training with Shallow Fusion on out-of-domain LibriSpeech and in-domain Microsoft production test sets, respectively.


title: Generalized Facial Manipulation Detection with Edge Region Feature Extraction

abstract: This paper presents a generalized and robust face manipulation detection method based on the edge region features appearing in images. Most contemporary face synthesis processes include color awkwardness reduction but damage the natural fingerprint in the edge region. In addition, these color correction processes do not proceed in the non-face background region. We also observe that the synthesis process does not consider the natural properties of the image appearing in the time domain. Considering these observations, we propose a facial forensic framework that utilizes pixel-level color features appearing in the edge region of the whole image. Furthermore, our framework includes a 3D-CNN classification model that interprets the extracted color features spatially and temporally. Unlike other existing studies, we conduct authenticity determination by considering all features extracted from multiple frames within one video. Through extensive experiments, including real-world scenarios to evaluate generalized detection ability, we show that our framework outperforms state-of-the-art facial manipulation detection technologies in terms of accuracy and robustness.


title: Control of particle trapping in a magnetoplasmonic nanopore

abstract: Plasmonic nanopores are extensively investigated as single molecules detectors. The main limitations in plasmonic nanopore technology are the too fast translocation velocity of the molecule through the pore and the consequent very short analysis times, as well as the possible instabilities due to local heating. The most interesting approach to control the translocation of molecules and enable longer acquisition times is represented by the ability to efficiently trap and tune the motion of nanoparticles that can be used to tag molecules. Here, we theoretically investigate the performance of a magneto-plasmonic nanopore prepared with a thin layer of cobalt sandwiched between two gold layers. A nanopore is then coupled with a translocating magnetic nanoparticle. By setting the magnetic configuration of the cobalt layer around the pore by an external magnetic field, it is possible to generate a nanoscale magnetic tweezer to trap the nanoparticle at a specific point. Considering a 10 nm magnetite nanoparticle we calculate a trapping force up to 28 pN, an order of magnitude above the force that can be obtained with standard optical or plasmonic trapping approaches. Moreover, the magnetic force pulls the nanoparticle in close contact with the plasmonic nanopore's wall, thus enabling the formation of a nanocavity enclosing a deeply sub-wavelength confined electromagnetic field with an average field intensity enhancement up to 230 at near-infrared wavelengths. The presented hybrid magneto-plasmonic system points towards a strategy to improve nanopore-based biosensors for single-molecule detection and potentially for analysis of various biomolecules.


title: Stability-Constrained Markov Decision Processes Using MPC

abstract: In this paper, we consider solving discounted Markov Decision Processes (MDPs) under the constraint that the resulting policy is stabilizing. In practice MDPs are solved based on some form of policy approximation. We will leverage recent results proposing to use Model Predictive Control (MPC) as a structured policy in the context of Reinforcement Learning to make it possible to introduce stability requirements directly inside the MPC-based policy. This will restrict the solution of the MDP to stabilizing policies by construction. The stability theory for MPC is most mature for the undiscounted MPC case. Hence, we will first show in this paper that stable discounted MDPs can be reformulated as undiscounted ones. This observation will entail that the MPC-based policy with stability requirements will produce the optimal policy for the discounted MDP if it is stable, and the best stabilizing policy otherwise.


title: Improving B1 homogeneity in abdominal imaging at 3 T with light and compact metasurface

abstract: Radiofrequency field inhomogeneity is a significant issue in imaging large fields of view in high- and ultrahigh-field MRI. Passive shimming with coupled coils or dielectric pads is the most common approach at 3 T. We introduce and test light and compact metasurface, providing the same homogeneity improvement in clinical abdominal imaging at 3 T as a conventional dielectric pad. The metasurface comprising a periodic structure of copper strips and parallel-plate capacitive elements printed on a flexible polyimide substrate supports propagation of slow electromagnetic waves similar to a high-permittivity slab. We compare the metasurface operating inside a transmit body birdcage coil to the state-of-the-art pad by numerical simulations and in vivo study on healthy volunteers. Numerical simulations with different body models show that the local minimum of B1+ causing a dark void in the abdominal domain is removed by the metasurface with comparable resulting homogeneity as for the pad without noticeable SAR change. In vivo results confirm similar homogeneity improvement and demonstrate the stability to body mass index. The light, flexible, and cheap metasurface can replace a relatively heavy and expensive pad based on the aqueous suspension of barium titanate in abdominal imaging at 3 T.


title: Roughness on liquid-infused surfaces induced by capillary waves

abstract: Liquid-infused surfaces (LIS) are a promising technique for reducing friction, fouling and icing in both laminar and turbulent flows. Previous work has demonstrated that these surfaces are susceptible to shear-driven drainage. Here, we report a different failure mode using direct numerical simulations of a turbulent channel flow with liquid-infused longitudinal grooves. When the liquid-liquid surface tension is small and/or grooves are wide, we observe traveling-wave perturbations on the interface with amplitudes larger than the viscous sublayer of the turbulent flow. These capillary waves induce a roughness effect that increases drag. The generation mechanism of these waves is explained using the theory developed by Miles for gravity waves. Energy is transferred from the turbulent flow to the LIS provided that there is a negative curvature of the mean flow at the critical layer. Given the groove width, the Weber number and an estimate of the friction Reynolds number, we provide relations to determine whether a LIS behaves as a smooth or rough surface in a turbulent flow.


title: AutoFreeze: Automatically Freezing Model Blocks to Accelerate Fine-tuning

abstract: With the rapid adoption of machine learning (ML), a number of domains now use the approach of fine tuning models which were pre-trained on a large corpus of data. However, our experiments show that even fine-tuning on models like BERT can take many hours even when using modern accelerators like GPUs. While prior work proposes limiting the number of layers that are fine-tuned, e.g., freezing all layers but the last layer, we find that such static approaches lead to reduced accuracy. We propose, AutoFreeze, a system that uses an adaptive approach to choose which layers are trained and show how this can accelerate model fine-tuning while preserving accuracy. We also develop mechanisms to enable efficient caching of intermediate activations which can reduce the forward computation time when performing fine-tuning. We extend AutoFreeze to perform distributed fine-tuning and design two execution modes that minimize cost and running time respectively. Our evaluation on ten NLP tasks shows that AutoFreeze, with caching enabled, can improve fine-tuning on a single GPU by up to 2.55x. On a 64 GPU cluster, for fine-tuning on the AG's news dataset, AutoFreeze is able to achieve up to 4.38x speedup when optimizing for end-to-end training time and 5.03x reduction in total cost when optimizing for efficiency, without affecting model accuracy.


title: The lattice Landau gauge photon propagator for 4D compact QED

abstract: In this work we report on the Landau gauge photon propagator computed for pure gauge 4D compact QED in the confined and deconfined phases and for large lattices volumes: $32^4$, $48^4$ and $96^4$. In the confined phase, compact QED develops mass scales that render the propagator finite at all momentum scales and no volume dependence is observed for the simulations performed. Furthermore, for the confined phase the propagator is compatible with a Yukawa massive type functional form. For the deconfined phase the photon propagator seems to approach a free field propagator as the lattice volume is increased. In both cases, we also investigate the static potential and the average value of the number of Dirac strings in the gauge configurations $m$. In the confined phase the mass gap translates into a linearly growing static potential, while in the deconfined phase the static potential approaches a constant at large separations. Results shows that $m$ is, at least, one order of magnitude larger in the confined phase and confirm that the appearance of a confined phase is connected with the topology of the gauge group.


title: On singular log Calabi-Yau compactifications of Landau-Ginzburg models

abstract: We consider the procedure that constructs log Calabi-Yau compactifications of weak Landau-Ginzburg models of Fano varieties. We apply it for del Pezzo surfaces and coverings of projective spaces of index one. For the coverings of degree greater then 2 the log Calabi-Yau compactification is singular; moreover, no smooth projective log Calabi-Yau compactification exists. We also prove in the cases under consideration the conjecture saying that the number of components of the fiber over infinity %and of finite fibers is equal to the dimension of an anticanonical system of the Fano variety.


title: aura-net : robust segmentation of phase-contrast microscopy images with few annotations

abstract: We present AURA-net, a convolutional neural network (CNN) for the segmentation of phase-contrast microscopy images. AURA-net uses transfer learning to accelerate training and Attention mechanisms to help the network focus on relevant image features. In this way, it can be trained efficiently with a very limited amount of annotations. Our network can thus be used to automate the segmentation of datasets that are generally considered too small for deep learning techniques. AURA-net also uses a loss inspired by active contours that is well-adapted to the specificity of phase-contrast images, further improving performance. We show that AURA-net outperforms state-of-the-art alternatives in several small (less than 100images) datasets.