title: An exact solution to dispersion of a passive scalar by a periodic shear flow

abstract: We present an exact analytical solution to the problem of shear dispersion given a general initial condition. The solution is expressed as an infinite series expansion involving Mathieu functions and their eigenvalues. The eigenvalue system depends on the imaginary parameter $q=2ik$Pe, with $k$ the wavenumber that determines the tracer scale in the initial condition and Pe the P\'{e}clet number. Solutions are valid for all Pe, $t>0$, and $k>0$ except at specific values of $q=q_{\ell}^{EP}$ called Exceptional Points (EPs), the first occurring at $q_{0}^{EP}\approx1.468i$. For values of $q \lessapprox 1.468i$, all the eigenvalues are real, different and eigenfunctions decay with time, thus shear dispersion can be represented as a diffusive process. For values of $q \gtrapprox 1.468i$, pairs of eigenvalues coalesce at EPs becoming complex conjugates, the eigenfunctions propagate and decay with time, and so shear dispersion is no longer a purely diffusive process. The limit $q\rightarrow0$ is approached by the small P\'{e}clet number limit for all finite $k>0$, or equally by the large P\'{e}clet number limit as long as $2k \ll 1/$Pe. The latter implies $k\rightarrow0$, strong separation of scales between the tracer and flow. The limit $q\rightarrow\infty$ results from large P\'{e}clet number for any $k>0$, or from large $k$ and non-vanishing Pe. We derive an exact closure that is continuous in wavenumber space. At small $q$, the closure approaches a diffusion operator with an effective diffusivity proportional to $U_0^2/\kappa$, for flow speed $U_0$ and diffusivity $\kappa$. At large $q$, the closure approaches the sum of an advection operator plus a half-derivative operator (differential operator of fractional order), the latter with coefficient proportional to $\sqrt{\kappa U_0}$.


title: Superconducting microstrip single-photon detector with system detection efficiency over 90% at 1550 nm

abstract: Generally, a superconducting nanowire single-photon detector (SNSPD) is composed of wires with a typical width of ~100 nm. Recent studies have found that superconducting strips with a micrometer-scale width can also detect single photons. Compared with the SNSPD, the superconducting microstrip single-photon detector (SMSPD) has smaller kinetic inductance, higher working current, and lower requirement in fabrication accuracy, providing potential applications in the development of ultra-large active area detectors. However, the study on SMSPD is still in its infancy, and the realization of its high-performance and practical use remains an opening question. This study demonstrates a NbN SMSPD with a saturated system detection efficiency (SDE) of ~92.2% at a dark count rate of ~200 cps, a polarization sensitivity of ~1.03, and a minimum timing jitter of ~48 ps, at the telecom wavelength of 1550 nm when coupled with a single mode fiber and operated at 0.84 K. Furthermore, the detector's SDE is over 70% when operated at a 2.1-K closed-cycle cryocooler.


title: The full approximation storage multigrid scheme: A 1D finite element example

abstract: This note describes the full approximation storage (FAS) multigrid scheme for an easy one-dimensional nonlinear boundary value problem. The problem is discretized by a simple finite element (FE) scheme. We apply both FAS V-cycles and F-cycles, with a nonlinear Gauss-Seidel smoother, to solve the resulting finite-dimensional problem. The mathematics of the FAS restriction and prolongation operators, in the FE case, are explained. A self-contained Python program implements the scheme. Optimal performance, i.e. work proportional to the number of unknowns, is demonstrated for both kinds of cycles, including convergence nearly to discretization error in a single F-cycle.


title: Varieties of minimal rational tangents of unbendable rational curves subordinate to contact structures

abstract: A nonsingular rational curve $C$ in a complex manifold $X$ whose normal bundle is isomorphic to $${\mathcal O}_{{\mathbb P}^1}(1)^{\oplus p} \oplus {\mathcal O}_{{\mathbb P}^1}^{\oplus q}$$ for some nonnegative integers $p$ and $q$ is called an unbendable rational curve on $X$. Associated with it is the variety of minimal rational tangents (VMRT) at a point $x \in C,$ which is the germ of submanifolds ${\mathcal C}^C_x \subset {\mathbb P} T_x X$ consisting of tangent directions of small deformations of $C$ fixing $x$. Assuming that there exists a distribution $D \subset TX$ such that all small deformations of $C$ are tangent to $D$, one asks what kind of submanifolds of projective space can be realized as the VMRT ${\mathcal C}^C_x \subset {\mathbb P} D_x$. When $D \subset TX$ is a contact distribution, a well-known necessary condition is that ${\mathcal C}_x^C$ should be Legendrian with respect to the induced contact structure on ${\mathbb P} D_x$. We prove that this is also a sufficient condition: we construct a complex manifold $X$ with a contact structure $D \subset TX$ and an unbendable rational curve $C \subset X$ such that all small deformations of $C$ are tangent to $D$ and the VMRT ${\mathcal C}^C_x \subset {\mathbb P} D_x$ at some point $x\in C$ is projectively isomorphic to an arbitrarily given Legendrian submanifold. Our construction uses the geometry of contact lines on the Heisenberg group and a technical ingredient is the symplectic geometry of distributions the study of which has originated from geometric control theory.


title: A Multi-Stage Attentive Transfer Learning Framework for Improving COVID-19 Diagnosis

abstract: Computed tomography (CT) imaging is a promising approach to diagnosing the COVID-19. Machine learning methods can be employed to train models from labeled CT images and predict whether a case is positive or negative. However, there exists no publicly-available and large-scale CT data to train accurate models. In this work, we propose a multi-stage attentive transfer learning framework for improving COVID-19 diagnosis. Our proposed framework consists of three stages to train accurate diagnosis models through learning knowledge from multiple source tasks and data of different domains. Importantly, we propose a novel self-supervised learning method to learn multi-scale representations for lung CT images. Our method captures semantic information from the whole lung and highlights the functionality of each lung region for better representation learning. The method is then integrated to the last stage of the proposed transfer learning framework to reuse the complex patterns learned from the same CT images. We use a base model integrating self-attention (ATTNs) and convolutional operations. Experimental results show that networks with ATTNs induce greater performance improvement through transfer learning than networks without ATTNs. This indicates attention exhibits higher transferability than convolution. Our results also show that the proposed self-supervised learning method outperforms several baseline methods.


title: Non-uniqueness in law for Boussinesq system forced by random noise

abstract: Non-uniqueness in law for three-dimensional Navier-Stokes equations forced by random noise was established recently in Hofmanov$\acute{\mathrm{a}}$ et al. (2019, arXiv:1912.11841 [math.PR]). The purpose of this work is to prove non-uniqueness in law for the Boussinesq system forced by random noise. Diffusion within the equation of its temperature scalar field has a full Laplacian and the temperature scalar field can be initially smooth.


title: Interval centred form for proving stability of non-linear discrete-time systems

abstract: In this paper, we propose a new approach to prove stability of non-linear discrete-time systems. After introducing the new concept of stability contractor, we show that the interval centred form plays a fundamental role in this context and makes it possible to easily prove asymptotic stability of a discrete system. Then, we illustrate the principle of our approach through theoretical examples. Finally, we provide two practical examples using our method : proving stability of a localisation system and that of the trajectory of a robot.


title: Equivariant 4-genera of strongly invertible and periodic knots

abstract: We study the equivariant genera of strongly invertible and periodic knots. Our techniques include some new strongly invertible concordance group invariants, Donaldson's theorem, and the g-signature. We find many new examples where the equivariant 4-genus is larger than the 4-genus.


title: Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis

abstract: Interval approaches for the reachability analysis of initial value problems for sets of classical ordinary differential equations have been investigated and implemented by many researchers during the last decades. However, there exist numerous applications in computational science and engineering, where continuous-time system dynamics cannot be described adequately by integer-order differential equations. Especially in cases in which long-term memory effects are observed, fractional-order system representations are promising to describe the dynamics, on the one hand, with sufficient accuracy and, on the other hand, to limit the number of required state variables and parameters to a reasonable amount. Real-life applications for such fractional-order models can, among others, be found in the field of electrochemistry, where methods for impedance spectroscopy are typically used to identify fractional-order models for the charging/discharging behavior of batteries or for the dynamic relation between voltage and current in fuel cell systems if operated in a non-stationary state. This paper aims at presenting an iterative method for reachability analysis of fractional-order systems that is based on an interval arithmetic extension of Mittag-Leffler functions. An illustrating example, inspired by a low-order model of battery systems concludes this contribution.


title: Analysis of E-commerce Ranking Signals via Signal Temporal Logic

abstract: The timed position of documents retrieved by learning to rank models can be seen as signals. Signals carry useful information such as drop or rise of documents over time or user behaviors. In this work, we propose to use the logic formalism called Signal Temporal Logic (STL) to characterize document behaviors in ranking accordingly to the specified formulas. Our analysis shows that interesting document behaviors can be easily formalized and detected thanks to STL formulas. We validate our idea on a dataset of 100K product signals. Through the presented framework, we uncover interesting patterns, such as cold start, warm start, spikes, and inspect how they affect our learning to ranks models.


title: Strong polygamy of multi-party $q$-expected quantum correlations

abstract: We show that the polygamous nature of multi-party quantum correlations can be characterized in a {\em stronger} form based on Tsallis $q$-entropy and $q$-expectation value. By considering the amount of entanglement that can be distributed in multi-party systems, we establish a class of strong polygamy inequalities of multi-party entanglement in terms of Tsallis $q$-entropy and $q$-expectation for $q \geq 1$. Our new class of inequalities is in fact tighter than the usual polygamy inequalities of multi-party entanglement, and the tightness is explicitly illustrated by an example. Moreover, our new class of inequalities is concerned with the $q$-expected entanglement distributed between a single party and any possible subsets of the rest parties whereas the usual polygamy inequality only considers the entanglement between a single party and another. We further establish the equivalence between strong polygamy inequalities of quantum entanglement and quantum discord distributed in multi-party quantum systems.


title: High-order FDTD schemes for Maxwell's interface problems with discontinuous coefficients and complex interfaces based on the Correction Function Method

abstract: We propose high-order FDTD schemes based on the Correction Function Method (CFM) for Maxwell's interface problems with discontinuous coefficients and complex interfaces. The key idea of the CFM is to model the correction function near an interface to retain the order of a finite difference approximation. For this, we solve a system of PDEs based on the original problem by minimizing an energy functional. The CFM is applied to the standard Yee scheme and a fourth-order FDTD scheme. The proposed CFM-FDTD schemes are verified in 2-D using the transverse magnetic mode (TM$_z$). Numerical examples include scattering of magnetic and non-magnetic dielectric cylinders, and problems with manufactured solutions using various complex interfaces and discontinuous piecewise varying coefficients. Long-time simulations are also performed to provide numerical evidences of the stability of the proposed numerical approach. The proposed CFM-FDTD schemes achieve up to fourth-order convergence in $L^2$-norm and provide approximations devoid of spurious oscillations.


title: Enclosing the Sliding Surfaces of a Controlled Swing

abstract: When implementing a non-continuous controller for a cyber-physical system, it may happen that the evolution of the closed-loop system is not anymore piecewise differentiable along the trajectory, mainly due to conditional statements inside the controller. This may lead to some unwanted chattering effects than may damage the system. This behavior is difficult to observe even in simulation. In this paper, we propose an interval approach to characterize the sliding surface which corresponds to the set of all states such that the state trajectory may jump indefinitely between two distinct behaviors. We show that the recent notion of thick sets will allows us to compute efficiently an outer approximation of the sliding surface of a given class of hybrid system taking into account all set-membership uncertainties. An application to the verification of the controller of a child swing is considered to illustrate the principle of the approach.


title: DAIL: Dataset-Aware and Invariant Learning for Face Recognition

abstract: To achieve good performance in face recognition, a large scale training dataset is usually required. A simple yet effective way to improve recognition performance is to use a dataset as large as possible by combining multiple datasets in the training. However, it is problematic and troublesome to naively combine different datasets due to two major issues. First, the same person can possibly appear in different datasets, leading to an identity overlapping issue between different datasets. Naively treating the same person as different classes in different datasets during training will affect back-propagation and generate non-representative embeddings. On the other hand, manually cleaning labels may take formidable human efforts, especially when there are millions of images and thousands of identities. Second, different datasets are collected in different situations and thus will lead to different domain distributions. Naively combining datasets will make it difficult to learn domain invariant embeddings across different datasets. In this paper, we propose DAIL: Dataset-Aware and Invariant Learning to resolve the above-mentioned issues. To solve the first issue of identity overlapping, we propose a dataset-aware loss for multi-dataset training by reducing the penalty when the same person appears in multiple datasets. This can be readily achieved with a modified softmax loss with a dataset-aware term. To solve the second issue, domain adaptation with gradient reversal layers is employed for dataset invariant learning. The proposed approach not only achieves state-of-the-art results on several commonly used face recognition validation sets, including LFW, CFP-FP, and AgeDB-30, but also shows great benefit for practical use.


title: The Determinant of $\{\pm 1\}$-Matrices and Oriented Hypergraphs

abstract: The determinants of $\{\pm 1\}$-matrices are calculated by via the oriented hypergraphic Laplacian and summing over an incidence generalization of vertex cycle-covers. These cycle-covers are signed and partitioned into families based on their hyperedge containment. Every non-edge-monic family is shown to contribute a net value of $0$ to the Laplacian, while each edge-monic family is shown to sum to the absolute value of the determinant of the original incidence matrix. Simple symmetries are identified as well as their relationship to Hadamard's maximum determinant problem. Finally, the entries of the incidence matrix are reclaimed using only the signs of an adjacency-minimal set of cycle-covers from an edge-monic family.


title: Asynchronous Gathering in a Torus

abstract: We consider the gathering problem for asynchronous and oblivious robots that cannot communicate explicitly with each other, but are endowed with visibility sensors that allow them to see the positions of the other robots. Most of the investigations on the gathering problem on the discrete universe are done on ring shaped networks due to the number of symmetric configuration. We extend in this paper the study of the gathering problem on torus shaped networks assuming robots endowed with local weak multiplicity detection. That is, robots cannot make the difference between nodes occupied by only one robot from those occupied by more than one robots unless it is their current node. As a consequence, solutions based on creating a single multiplicity node as a landmark for the gathering cannot be used. We present in this paper a deterministic algorithm that solves the gathering problem starting from any rigid configuration on an asymmetric unoriented torus shaped network.


title: Search for the elusive jet-induced diffusion wake in $Z/\gamma$-jets with 2D jet tomography in high-energy heavy-ion collisions

abstract: Diffusion wake is an unambiguous part of the jet-induced medium response in high-energy heavy-ion collisions that leads to a depletion of soft hadrons in the opposite direction of the jet propagation. New experimental data on $Z$-hadron correlation in Pb+Pb collisions at the Large Hadron Collider show, however, an enhancement of soft hadrons in the direction of both the $Z$ and the jet. Using a coupled linear Boltzmann transport and hydro model, we demonstrate that medium modification of partons from the initial multiple parton interaction (MPI) gives rise to a soft hadron enhancement that is uniform in azimuthal angle while jet-induced medium response and soft gluon radiation dominate the enhancement in the jet direction. After subtraction of the contributions from MPI with a mixed-event procedure, the diffusion wake becomes visible in the near-side $Z$-hadron correlation. We further employ the longitudinal and transverse gradient jet tomography for the first time to localize the initial jet production positions in $Z/\gamma$-jet events in which the effect of the diffusion wake is apparent in $Z/\gamma$-hadron correlation even without the subtraction of MPI.


title: Non-Parametric Quickest Detection of a Change in the Mean of an Observation Sequence

abstract: We study the problem of quickest detection of a change in the mean of an observation sequence, under the assumption that both the pre- and post-change distributions have bounded support. We first study the case where the pre-change distribution is known, and then study the extension where only the mean and variance of the pre-change distribution are known. In both cases, no knowledge of the post-change distribution is assumed other than that it has bounded support. For the case where the pre-change distribution is known, we derive a test that asymptotically minimizes the worst-case detection delay over all post-change distributions, as the false alarm rate goes to zero. We then study the limiting form of the optimal test as the gap between the pre- and post-change means goes to zero, which we call the Mean-Change Test (MCT). We show that the MCT can be designed with only knowledge of the mean and variance of the pre-change distribution. We validate our analysis through numerical results for detecting a change in the mean of a beta distribution. We also demonstrate the use of the MCT for pandemic monitoring.


title: SN 2013ai: a link between hydrogen-rich and hydrogen-poor core-collapse supernovae

abstract: We present a study of optical and near-infrared (NIR) spectra along with the light curves of SN 2013ai. These data range from discovery until 380 days after explosion. SN 2013ai is a fast declining type II supernova (SN II) with an unusually long rise time; $18.9\pm2.7$d in $V$ band and a bright $V$ band peak absolute magnitude of $-18.7\pm0.06$ mag. The spectra are dominated by hydrogen features in the optical and NIR. The spectral features of SN 2013ai are unique in their expansion velocities, which when compared to large samples of SNe II are more than 1,000 kms faster at 50 days past explosion. In addition, the long rise time of the light curve more closely resembles SNe IIb rather than SNe II. If SN 2013ai is coeval with a nearby compact cluster we infer a progenitor ZAMS mass of $\sim$17 M$_\odot$. After performing light curve modeling we find that SN 2013ai could be the result of the explosion of a star with little hydrogen mass, a large amount of synthesized $^{56}$Ni, 0.3-0.4 M$_\odot$, and an explosion energy of $2.5-3.0\times10^{51}$ ergs. The density structure and expansion velocities of SN 2013ai are similar to that of the prototypical SN IIb, SN 1993J. However, SN 2013ai shows no strong helium features in the optical, likely due to the presence of a dense core that prevents the majority of $\gamma$-rays from escaping to excite helium. Our analysis suggests that SN 2013ai could be a link between SNe II and stripped envelope SNe.


title: A Perspective-Based Understanding of Project Success

abstract: Answering the call for alternative approaches to researching project management, we explore the evaluation of project success from a subjectivist perspective. An in-depth, longitudinal case study of information systems development in a large manufacturing company was used to investigate how various project stakeholders subjectively perceived the project outcome and what evaluation criteria they drew on in doing so. A conceptual framework is developed for understanding and analyzing evaluations of project success, both formal and informal. The framework highlights how different stakeholder perspectives influence the perceived outcome(s) of a project, and how project evaluations may differ between stakeholders and across time.


title: Evaluating prediction systems in software project estimation

abstract: Context: Software engineering has a problem in that when we empirically evaluate competing prediction systems we obtain conflicting results. Objective: To reduce the inconsistency amongst validation study results and provide a more formal foundation to interpret results with a particular focus on continuous prediction systems. Method: A new framework is proposed for evaluating competing prediction systems based upon (1) an unbiased statistic, Standardised Accuracy, (2) testing the result likelihood relative to the baseline technique of random 'predictions', that is guessing, and (3) calculation of effect sizes. Results: Previously published empirical evaluations of prediction systems are re-examined and the original conclusions shown to be unsafe. Additionally, even the strongest results are shown to have no more than a medium effect size relative to random guessing. Conclusions: Biased accuracy statistics such as MMRE are deprecated. By contrast this new empirical validation framework leads to meaningful results. Such steps will assist in performing future meta-analyses and in providing more robust and usable recommendations to practitioners.


title: Topological Euler insulators

abstract: The Euler number is a new topological number recently debuted in the topological physics. Unlike the Chern number defined for a band, it is defined for interbands. We propose a simple model realizing the topological Euler insulator for the first time. We utilize the fact that the Euler number in a three-band model in two dimensions is reduced to the Pontryagin number. A skyrmion structure appears in momentum phase, yielding a nontrivial Euler number. Topological edge states emerge when the Euler number is nonzero. We discuss how to realize this model in electric circuits. We show that topological edge states are well signaled by impedance resonances.


title: Federated Learning: Opportunities and Challenges

abstract: Federated Learning (FL) is a concept first introduced by Google in 2016, in which multiple devices collaboratively learn a machine learning model without sharing their private data under the supervision of a central server. This offers ample opportunities in critical domains such as healthcare, finance etc, where it is risky to share private user information to other organisations or devices. While FL appears to be a promising Machine Learning (ML) technique to keep the local data private, it is also vulnerable to attacks like other ML models. Given the growing interest in the FL domain, this report discusses the opportunities and challenges in federated learning.


title: Some new symmetric Hadamard matrices

abstract: First examples of symmetric Hadamard matrices of orders 508 and 764 are constructed. The method used is known as the propus construction. A conjecture regarding this method is formally proposed but it appears implicitly in three previous joint papers with N. A. Balonin et alias. The conjecture has been verified for Hadamard matrices of order 4v with odd v<54. In this note the conjecture is verified for v=55,57,59,61,63.


title: Efficient quantum circuit synthesis for SAT-oracle with limited ancillary qubit

abstract: How to implement quantum oracle with limited resources raises concerns these days. We design two ancilla-adjustable and efficient algorithms to synthesize SAT-oracle, the key component in solving SAT problems. The previous work takes 2m-1 ancillary qubits and O(m) elementary gates to synthesize an m clauses oracle. The first algorithm reduces the number of ancillary qubits to 2\sqrt{m}, with at most an eightfold increase in circuit size. The number of ancillary qubits can be further reduced to 3 with a quadratic increase in circuit size. The second algorithm aims to reduce the circuit depth. By leveraging of the second algorithm, the circuit depth can be reduced to O(log m) with m ancillary qubits.


title: The Bose-Einstein Condensate of G-wave Molecules and Its Intrinsic Angular Momentum

abstract: The recent report on the realization of a Bose-Einstein condensate of G-wave molecule made up of bound pairs of Cesium bosons is a surprise. These molecules are created at the G-wave resonance at 19.87G, where the severe three-body loss usually associated with these resonance are found to be reduced significantly when the density of the gas is reduced in a quasi 2D setting. The G-wave molecules produced through this resonance have non-zero angular momentum projections, resulting in the first BEC with a macroscopic intrinsic angular momentum. Here, we show that this intrinsic angular momentum will lead to many new quantum effects. They include a splitting of collective modes in the absence of vortices, an orientation dependent energy shift due to the moment of inertia of the molecules, and a contribution to angular momentum in non-uniform magnetic fields different from that of the Berry phase current. The intrinsic angular momentum also provides a way to probe the half vortices, excitations that are unique to molecular condensates of bosons. The wavefunction giving rise to the intrinsic angular momentum can also be mapped out from the noise correlation.


title: Exact Symmetries and Threshold States in Two-Dimensional Models for QCD

abstract: Two-dimensional SU$(N)$ gauge theory coupled to a Majorana fermion in the adjoint representation is a nice toy model for higher-dimensional gauge dynamics. It possesses a multitude of "gluinoball" bound states whose spectrum has been studied using numerical diagonalizations of the light-cone Hamiltonian. We extend this model by coupling it to $N_f$ flavors of fundamental Dirac fermions (quarks). The extended model also contains meson-like bound states, both bosonic and fermionic, which in the large-$N$ limit decouple from the gluinoballs. We study the large-$N$ meson spectrum using the Discretized Light-Cone Quantization (DLCQ). When all the fermions are massless, we exhibit an exact $\mathfrak{osp}(1|4)$ symmetry algebra that leads to an infinite number of degeneracies in the DLCQ approach. More generally, we show that many single-trace states in the theory are threshold bound states that are degenerate with multi-trace states. These exact degeneracies can be explained using the Kac-Moody algebra of the SU$(N)$ current. We also present strong numerical evidence that additional threshold states appear in the continuum limit. Finally, we make the quarks massive while keeping the adjoint fermion massless. In this case too, we observe some exact degeneracies that show that the spectrum of mesons becomes continuous above a certain threshold. This demonstrates quantitatively that the fundamental string tension vanishes in the massless adjoint QCD$_2$.


title: Eclipsing the X-ray emitting region in the active galaxy NGC 6814

abstract: We report the detection of a rapid occultation event in the nearby Seyfert galaxy NGC 6814, simultaneously captured in a transient light curve and spectral variability. The intensity and hardness ratio curves capture distinct ingress and egress periods that are symmetric in duration. Independent of the selected continuum model, the changes can be simply described by varying the fraction of the central engine that is covered by transiting obscuring gas. Together, the spectral and timing analyses self-consistently reveal the properties of the obscuring gas, its location to be in the broad line region (BLR), and the size of the X-ray source to be ~25 rg . Our results demonstrate that obscuration close to massive black holes can shape their appearance, and can be harnessed to measure the active region that surrounds the event horizon.


title: A Unified Conditional Disentanglement Framework for Multimodal Brain MR Image Translation

abstract: Multimodal MRI provides complementary and clinically relevant information to probe tissue condition and to characterize various diseases. However, it is often difficult to acquire sufficiently many modalities from the same subject due to limitations in study plans, while quantitative analysis is still demanded. In this work, we propose a unified conditional disentanglement framework to synthesize any arbitrary modality from an input modality. Our framework hinges on a cycle-constrained conditional adversarial training approach, where it can extract a modality-invariant anatomical feature with a modality-agnostic encoder and generate a target modality with a conditioned decoder. We validate our framework on four MRI modalities, including T1-weighted, T1 contrast enhanced, T2-weighted, and FLAIR MRI, from the BraTS'18 database, showing superior performance on synthesis quality over the comparison methods. In addition, we report results from experiments on a tumor segmentation task carried out with synthesized data.


title: A Critical Look at Coulomb Counting Towards Improving the Kalman Filter Based State of Charge Tracking Algorithms in Rechargeable Batteries

abstract: In this paper, we consider the problem of state of charge estimation for rechargeable batteries. Coulomb counting is one of the traditional approaches to state of charge estimation and it is considered reliable as long as the battery capacity and initial state of charge are known. However, the Coulomb counting method is susceptible to errors from several sources and the extent of these errors are not studied in the literature. In this paper, we formally derive and quantify the state of charge estimation error during Coulomb counting due to the following four types of error sources: (i) current measurement error; (ii) current integration approximation error; (iii) battery capacity uncertainty; and (iv) the timing oscillator error/drift. It is shown that the resulting state of charge error can either be of the time-cumulative or of state-of-charge-proportional type. Time-cumulative errors increase with time and has the potential to completely invalidate the state of charge estimation in the long run. State-of-charge-proportional errors increase with the accumulated state of charge and reach its worst value within one charge/discharge cycle. Simulation analyses are presented to demonstrate the extent of these errors under several realistic scenarios and the paper discusses approaches to reduce the time-cumulative and state of charge-proportional errors.


title: Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates

abstract: We study the multi-agent safe control problem where agents should avoid collisions to static obstacles and collisions with each other while reaching their goals. Our core idea is to learn the multi-agent control policy jointly with learning the control barrier functions as safety certificates. We propose a novel joint-learning framework that can be implemented in a decentralized fashion, with generalization guarantees for certain function classes. Such a decentralized framework can adapt to an arbitrarily large number of agents. Building upon this framework, we further improve the scalability by incorporating neural network architectures that are invariant to the quantity and permutation of neighboring agents. In addition, we propose a new spontaneous policy refinement method to further enforce the certificate condition during testing. We provide extensive experiments to demonstrate that our method significantly outperforms other leading multi-agent control approaches in terms of maintaining safety and completing original tasks. Our approach also shows exceptional generalization capability in that the control policy can be trained with 8 agents in one scenario, while being used on other scenarios with up to 1024 agents in complex multi-agent environments and dynamics.


title: Monolayer H-Si-P Semiconductors: Structural stability, electronic structure, optical properties, and Prospects for photocatalytic water splitting

abstract: Group IV and V monolayers are the promising state-of-the-art 2D materials owing to their high carrier mobility, tunable bandgaps, and optical linear dichroism along with outstanding electronic and thermoelectric properties. Furthermore, recent studies reveal the stability of free-standing 2D monolayers by hydrogenation. Inspired by this, we systematically predict and investigate the structure and properties of various hydrogen saturated silicon phosphide (H-Si-P) monolayers, based on first-principles calculations. According to the results, H-Si-P monolayers belong to indirect bandgap semiconductors with a highly stable structure. Their bandgaps and band edge positions assessed using accurate hybrid functional are shown to be effectively adjusted by applying a biaxial strain. Furthermore, the absorption spectra of these monolayers, simulated in the context of time-dependent density functional theory, exhibit their excellent potential for solar energy conversion and visible-light-driven photocatalytic water splitting. In this respect, this work provides valuable guidance for finding more 2D semiconductors and nanostructures for nanoelectronic and optoelectronic applications, as well as for photocatalytic water splitting.


title: A General Method for Generating Discrete Orthogonal Matrices

abstract: Discrete orthogonal matrices have several applications in information technology, such as in coding and cryptography. It is often challenging to generate discrete orthogonal matrices. A common approach widely in use is to discretize continuous orthogonal functions that have been discovered. The need of certain continuous functions is restrictive. To simplify the process while improving the efficiency and flexibility, we present a general method for generating orthogonal matrices directly through the construction of certain even and odd polynomials from a set of distinct positive values, bypassing the need of continuous orthogonal functions. We provide a constructive proof by induction that not only asserts the existence of such polynomials, but also tells how to iteratively construct them. Besides the derivation of the method as simple as a few nested loops, we discuss two well-known discrete transforms, the Discrete Cosine Transform and the Discrete Tchebichef Transform. How they can be achieved using our method with the specific values, and show how to embed them into the transform module of video coding. By the same token, we also show some examples of how to generate new orthogonal matrices from arbitrarily chosen values.


title: Dual-cycle Constrained Bijective VAE-GAN For Tagged-to-Cine Magnetic Resonance Image Synthesis

abstract: Tagged magnetic resonance imaging (MRI) is a widely used imaging technique for measuring tissue deformation in moving organs. Due to tagged MRI's intrinsic low anatomical resolution, another matching set of cine MRI with higher resolution is sometimes acquired in the same scanning session to facilitate tissue segmentation, thus adding extra time and cost. To mitigate this, in this work, we propose a novel dual-cycle constrained bijective VAE-GAN approach to carry out tagged-to-cine MR image synthesis. Our method is based on a variational autoencoder backbone with cycle reconstruction constrained adversarial training to yield accurate and realistic cine MR images given tagged MR images. Our framework has been trained, validated, and tested using 1,768, 416, and 1,560 subject-independent paired slices of tagged and cine MRI from twenty healthy subjects, respectively, demonstrating superior performance over the comparison methods. Our method can potentially be used to reduce the extra acquisition time and cost, while maintaining the same workflow for further motion analyses.


title: Alternative possibility of GW190521: Gravitational waves from high-mass black hole-disk systems

abstract: We evolve high-mass disks of mass $15$-$50M_\odot$ orbiting a $50M_\odot$ spinning black hole in the framework of numerical relativity. Such high-mass systems could be an outcome during the collapse of rapidly-rotating very-massive stars. The massive disks are dynamically unstable to the so-called one-armed spiral-shape deformation with the maximum fractional density-perturbation of $\delta \rho/\rho \gtrsim 0.1$, and hence, high-amplitude gravitational waves are emitted. The waveforms are characterized by an initial high-amplitude burst with the frequency of $\sim 40$-$50$ Hz and the maximum amplitude of $(1$-$10)\times 10^{-22}$ at the hypothetical distance of 100 Mpc and by a subsequent low-amplitude quasi-periodic oscillation. We illustrate that the waveforms in our models with a wide range of the disk mass resemble that of GW190521. We also point out that gravitational waves from rapidly-rotating very-massive stars can be the source for 3rd-generation gravitational-wave detectors for exploring the formation process of rapidly-spinning high-mass black holes of mass $\sim 50$-$100M_\odot$ in an early universe.


title: Length-factoriality in commutative monoids and integral domains

abstract: An atomic monoid $M$ is called a length-factorial monoid (or an other-half-factorial monoid) if for each non-invertible element $x \in M$ no two distinct factorizations of $x$ have the same length. The notion of length-factoriality was introduced by Coykendall and Smith in 2011 as a dual of the well-studied notion of half-factoriality. They proved that in the setting of integral domains, length-factoriality can be taken as an alternative definition of a unique factorization domain. However, being a length-factorial monoid is in general weaker than being a factorial monoid (i.e., a unique factorization monoid). Here we further investigate length-factoriality. First, we offer two characterizations of a length-factorial monoid $M$, and we use such characterizations to describe the set of Betti elements and obtain a formula for the catenary degree of $M$. Then we study the connection between length-factoriality and purely long (resp., purely short) irreducibles, which are irreducible elements that appear in the longer (resp., shorter) part of any unbalanced factorization relation. Finally, we prove that an integral domain cannot contain purely short and a purely long irreducibles simultaneously, and we construct a Dedekind domain containing purely long (resp., purely short) irreducibles but not purely short (resp., purely long) irreducibles.


title: Automated Model Design and Benchmarking of 3D Deep Learning Models for COVID-19 Detection with Chest CT Scans

abstract: The COVID-19 pandemic has spread globally for several months. Because its transmissibility and high pathogenicity seriously threaten people's lives, it is crucial to accurately and quickly detect COVID-19 infection. Many recent studies have shown that deep learning (DL) based solutions can help detect COVID-19 based on chest CT scans. However, most existing work focuses on 2D datasets, which may result in low quality models as the real CT scans are 3D images. Besides, the reported results span a broad spectrum on different datasets with a relatively unfair comparison. In this paper, we first use three state-of-the-art 3D models (ResNet3D101, DenseNet3D121, and MC3\_18) to establish the baseline performance on the three publicly available chest CT scan datasets. Then we propose a differentiable neural architecture search (DNAS) framework to automatically search for the 3D DL models for 3D chest CT scans classification with the Gumbel Softmax technique to improve the searching efficiency. We further exploit the Class Activation Mapping (CAM) technique on our models to provide the interpretability of the results. The experimental results show that our automatically searched models (CovidNet3D) outperform the baseline human-designed models on the three datasets with tens of times smaller model size and higher accuracy. Furthermore, the results also verify that CAM can be well applied in CovidNet3D for COVID-19 datasets to provide interpretability for medical diagnosis.


title: Unsupervised heart abnormality detection based on phonocardiogram analysis with Beta Variational Auto-Encoders

abstract: Heart Sound (also known as phonocardiogram (PCG)) analysis is a popular way that detects cardiovascular diseases (CVDs). Most PCG analysis uses supervised way, which demands both normal and abnormal samples. This paper proposes a method of unsupervised PCG analysis that uses beta variational auto-encoder ($\beta-\text{VAE}$) to model the normal PCG signals. The best performed model reaches an AUC (Area Under Curve) value of 0.91 in ROC (Receiver Operating Characteristic) test for PCG signals collected from the same source. Unlike majority of $\beta-\text{VAE}$s that are used as generative models, the best-performed $\beta-\text{VAE}$ has a $\beta$ value smaller than 1. Further experiments then find that the introduction of a light weighted KL divergence between distribution of latent space and normal distribution improves the performance of anomaly PCG detection based on anomaly scores resulted by reconstruction loss. The fact suggests that anomaly score based on reconstruction loss may be better than anomaly scores based on latent vectors of samples


title: Application of Failure Modes and Effects Analysis in the Engineering Design Process

abstract: Failure modes and effects analysis (FMEA) is one of the most practical design tools implemented in the product design to analyze the possible failures and to improve the design. The use of FMEA is diversified, and different approaches are proposed by various organizations and researchers from one application to another. The question is how to use the features of FMEA along with the design process. This research focuses on different types of FMEA in the design process, which is considered as the mapping between customer requirements, design components, and product functions. These three elements of design are the foundation of the integration model proposed in this research. The objective of this research is to understand an integrated approach of FMEA in the design process. Significantly, an integration framework is developed to integrate the design process and FMEA. Then, a step-by-step FMEA-facilitated design process is proposed to apply FMEA along with the design process.


title: Direct wavefront sensing from extended objects: a general sensor

abstract: Wavefront sensing from an extended object is a challenging task since the phase to be sensed is disturbed by the phase generated from the structure of the extended object. To address this problem, a general wavefront sensor was proposed. The hardware of the sensor consists of a field lens, a collimating lens, a lenslet array, and a camera. The idea for its algorithm is to eliminate the phase caused by the extended object and reconstruct the point spread function through each lenslet. As a result, the scenario of wavefront sensing from an extended object has been converted to the conventional one from a point source. Numerical simulations and experiments both verify the feasibility and the accuracy of the proposed sensor.


title: Non-destructive Characterization of Anti-Reflective Coatings on PV Modules

abstract: Anti-reflective coatings (ARCs) are used on the vast majority of solar photovoltaic (PV) modules to increase power production. However, ARC longevity can vary from less than 1 year to over 15 years depending on coating quality and deployment conditions. A technique that can quantify ARC degradation non-destructively on commercial modules would be useful both for in-field diagnostics and accelerated aging tests. In this paper, we demonstrate that accurate measurements of ARC spectral reflectance can be performed using a modified commercially-available integrating-sphere probe. The measurement is fast, accurate, non-destructive and can be performed outdoors in full-sun conditions. We develop an interferometric model that estimates coating porosity, thickness and fractional area coverage from the measured reflectance spectrum for a uniform single-layer coating. We demonstrate the measurement outdoors on an active PV installation, identify the presence of an ARC and estimate the properties of the coating.


title: A stability result for translating space-like graphs in Lorentz manifolds

abstract: In this paper, we investigate space-like graphs defined over a domain $\Omega\subset M^{n}$ in the Lorentz manifold $M^{n}\times\mathbb{R}$ with the metric $-ds^{2}+\sigma$, where $M^{n}$ is a complete Riemannian $n$-manifold with the metric $\sigma$, $\Omega$ has piecewise smooth boundary, and $\mathbb{R}$ denotes the Euclidean $1$-space. We can prove an interesting stability result for translating space-like graphs in $M^{n}\times\mathbb{R}$ under a conformal transformation.


title: Realization of supersymmetry and its spontaneous breaking in quantum Hall edges

abstract: Supersymmetry (SUSY) relating bosons and fermions plays an important role in unifying different fundamental interactions in particle physics. Since no superpartners of elementary particles have been observed, SUSY, if present, must be broken at low-energy. This makes it important to understand how SUSY is realized and broken, and study their consequences. We show that an $\mathcal{N}=(1,0)$ SUSY, arguably the simplest type, can be realized at the edge of the Moore-Read quantum Hall state. Depending on the absence or presence of edge reconstruction, both SUSY-preserving and SUSY broken phases can be realized in the same system, allowing for their unified description. The significance of the gapless fermionic Goldstino mode in the SUSY broken phase is discussed.


title: When is every non central-unit a sum of two nilpotents?

abstract: A ring is said to satisfy the $2$-nil-sum property if every non central-unit is the sum of two nilpotents. We prove that a ring satisfies the $2$-nil-sum property iff it is either a simple ring with the $2$-nil-sum property or a commutative local ring with nil Jacobson radical, and we provide an example of a simple ring with the $2$-nil-sum property that is not commutative. Moreover, a simple right Goldie ring has the $2$-nil-sum property iff it is a field.


title: Data Engagement Reconsidered: A Study of Automatic Stress Tracking Technology in Use

abstract: In today's fast-paced world, stress has become a growing health concern. While more automatic stress tracking technologies have recently become available on wearable or mobile devices, there is still a limited understanding of how they are actually used in everyday life. This paper presents an empirical study of automatic stress-tracking technologies in use in China, based on semi-structured interviews with 17 users. The study highlights three challenges of stress-tracking data engagement that prevent effective technology usage: the lack of immediate awareness, the lack of pre-required knowledge, and the lack of corresponding communal support. Drawing on the stress-tracking practices uncovered in the study, we bring these issues to the fore, and unpack assumptions embedded in related works on self-tracking and how data engagement is approached. We end by calling for a reconsideration of data engagement as part of self-tracking practices with technologies rather than simply looking at the user interface.


title: Finding faults: A scoping study of fault diagnostics for Industrial Cyber-Physical Systems

abstract: Context: As Industrial Cyber-Physical Systems (ICPS) become more connected and widely-distributed, often operating in safety-critical environments, we require innovative approaches to detect and diagnose the faults that occur in them. Objective: We profile fault identification and diagnosis techniques employed in the aerospace, automotive, and industrial control domains. By examining both theoretical presentations as well as case studies from production environments, we present a profile of the current approaches being employed and identify gaps. Methodology: A scoping study was used to identify and compare fault detection and diagnosis methodologies that are presented in the current literature. Results: Fault identification and analysis studies from 127 papers published from 2004 to 2019 reveal a wide diversity of promising techniques, both emerging and in-use. These range from traditional Physics-based Models to Data-Driven Artificial Intelligence (AI) and Knowledge-Based approaches. Predictive diagnostics or prognostics featured prominently across all sectors, along with discussions of techniques including Fault trees, Petri nets and Markov approaches. We also profile some of the techniques that have reached the highest Technology Readiness Levels, showing how those methods are being applied in real-world environments beyond the laboratory. Conclusions: Our results suggest that the continuing wide use of both Model-Based and Data-Driven AI techniques across all domains, especially when they are used together in hybrid configuration, reflects the complexity of the current ICPS application space. While creating sufficiently-complete models is labor intensive, Model-free AI techniques were evidenced as a viable way of addressing aspects of this challenge, demonstrating the increasing sophistication of current machine learning systems.(Abridged)


title: Interpreting and Predicting Tactile Signals for the SynTouch BioTac

abstract: In the human hand, high-density contact information provided by afferent neurons is essential for many human grasping and manipulation capabilities. In contrast, robotic tactile sensors, including the state-of-the-art SynTouch BioTac, are typically used to provide low-density contact information, such as contact location, center of pressure, and net force. Although useful, these data do not convey or leverage the rich information content that some tactile sensors naturally measure. This research extends robotic tactile sensing beyond reduced-order models through 1) the automated creation of a precise experimental tactile dataset for the BioTac over a diverse range of physical interactions, 2) a 3D finite element (FE) model of the BioTac, which complements the experimental dataset with high-density, distributed contact data, 3) neural-network-based mappings from raw BioTac signals to not only low-dimensional experimental data, but also high-density FE deformation fields, and 4) mappings from the FE deformation fields to the raw signals themselves. The high-density data streams can provide a far greater quantity of interpretable information for grasping and manipulation algorithms than previously accessible.


title: On the quantization of recurrent neural networks

abstract: Integer quantization of neural networks can be defined as the approximation of the high precision computation of the canonical neural network formulation, using reduced integer precision. It plays a significant role in the efficient deployment and execution of machine learning (ML) systems, reducing memory consumption and leveraging typically faster computations. In this work, we present an integer-only quantization strategy for Long Short-Term Memory (LSTM) neural network topologies, which themselves are the foundation of many production ML systems. Our quantization strategy is accurate (e.g. works well with quantization post-training), efficient and fast to execute (utilizing 8 bit integer weights and mostly 8 bit activations), and is able to target a variety of hardware (by leveraging instructions sets available in common CPU architectures, as well as available neural accelerators).


title: Tunable quantum two-photon interference with reconfigurable metasurfaces using phase-change materials

abstract: The ability of phase-change materials to reversibly and rapidly switch between two stable phases has driven their use in a number of applications such as data storage and optical modulators. Incorporating such materials into metasurfaces enables new approaches to the control of optical fields. In this article we present the design of novel switchable metasurfaces that enable the control of the nonclassical two-photon quantum interference. These structures require no static power consumption, operate at room temperature, and have high switching speed. For the first adaptive metasurface presented in this article, tunable nonclassical two-photon interference from -97.7% (anti-coalescence) to 75.48% (coalescence) is predicted. For the second adaptive geometry, the quantum interference switches from -59.42% (anti-coalescence) to 86.09% (coalescence) upon a thermally driven crystallographic phase transition. The development of compact and rapidly controllable quantum devices is opening up promising paths to brand-new quantum applications as well as the possibility of improving free space quantum logic gates, linear-optics bell experiments, and quantum phase estimation systems.


title: Morpho-kinematics of the circumstellar envelope of the AGB star R Dor: a global view

abstract: We analyse new ALMA observations of the $^{29}$SiO ($\nu$=0, $J$=8$-$7) and SO$_2$($\nu$=0, $34_{3,31}$$-$$34_{2,32}$) line emissions of the circumstellar envelope (CSE) of the oxygen-rich AGB star R Dor. With a spatial resolution of $\sim$2.3 au, they cover distances below $\sim$30 au from the star providing a link between earlier observations and clarifying some open issues. The main conclusions are: 1) Rotation is confined below $\sim$15 au from the star, with velocity reaching a maximum below 10 au and morphology showing no significant disc-like flattening. 2) In the south-eastern quadrant, a large Doppler velocity gas stream is studied in more detail than previously possible and its possible association with an evaporating planetary companion is questioned. 3) A crude evaluation of the respective contributions of rotation, expansion and turbulence to the morpho-kinematics is presented. Significant line broadening occurs below $\sim$12 au from the star and causes the presence of high Doppler velocity components near the line of sight pointing to the centre of the star. 4) Strong absorption of the continuum emission of the stellar disc and its immediate dusty environment is observed to extend beyond the disc in the form of self-absorption. The presence of a cold SiO layer extending up to some 60 au from the star is shown to be the cause. 5) Line emissions from SO, $^{28}$SiO, CO and HCN molecules are used to probe the CSE up to some 100 au from the star and reveal the presence of two broad back-to-back outflows, the morphology of which is studied in finer detail than in earlier work.


title: Self-Supervised Learning for Segmentation

abstract: Self-supervised learning is emerging as an effective substitute for transfer learning from large datasets. In this work, we use kidney segmentation to explore this idea. The anatomical asymmetry of kidneys is leveraged to define an effective proxy task for kidney segmentation via self-supervised learning. A siamese convolutional neural network (CNN) is used to classify a given pair of kidney sections from CT volumes as being kidneys of the same or different sides. This knowledge is then transferred for the segmentation of kidneys using another deep CNN using one branch of the siamese CNN as the encoder for the segmentation network. Evaluation results on a publicly available dataset containing computed tomography (CT) scans of the abdominal region shows that a boost in performance and fast convergence can be had relative to a network trained conventionally from scratch. This is notable given that no additional data/expensive annotations or augmentation were used in training.


title: A Multiple Classifier Approach for Concatenate-Designed Neural Networks

abstract: This article introduces a multiple classifier method to improve the performance of concatenate-designed neural networks, such as ResNet and DenseNet, with the purpose to alleviate the pressure on the final classifier. We give the design of the classifiers, which collects the features produced between the network sets, and present the constituent layers and the activation function for the classifiers, to calculate the classification score of each classifier. We use the L2 normalization method to obtain the classifier score instead of the Softmax normalization. We also determine the conditions that can enhance convergence. As a result, the proposed classifiers are able to improve the accuracy in the experimental cases significantly, and show that the method not only has better performance than the original models, but also produces faster convergence. Moreover, our classifiers are general and can be applied to all classification related concatenate-designed network models.


title: On the stability of equilibria of the physiologically-informed dynamic causal model

abstract: Experimental manipulations perturb the neuronal activity. This phenomenon is manifested in the fMRI response. Dynamic causal model and its variants can model these neuronal responses along with the BOLD responses [1, 2, 3, 4, 5] . Physiologically-informed DCM (P-DCM) [5] gives state-of-the-art results in this aspect. But, P-DCM has more parameters compared to the standard DCM model and the stability of this particular model is still unexplored. In this work, we will try to explore the stability of the P-DCM model and find the ranges of the model parameters which make it stable.


title: Ultrafast photoconductivity and terahertz vibrational dynamics in double-helix SnIP nanowires

abstract: Tin iodide phosphide (SnIP), an inorganic double-helix material, is a quasi-1D van der Waals semiconductor that shows promise in photocatalysis and flexible electronics. However, our understanding of the fundamental photophysics and charge transport dynamics of this new material is limited. Here, we use time-resolved terahertz (THz) spectroscopy to probe the transient photoconductivity of SnIP nanowire films and, with insight into the highly anisotropic electronic structure from quantum chemical calculations, measure an electron mobility as high as 280 $cm^2V^{-1}s^{-1}$. Additionally, the THz vibrational spectrum reveals a photoexcitation-induced charge redistribution that reduces the amplitude of a twisting mode of the outer SnI helix on picosecond timescales. Finally, we show that the carrier lifetime and mobility are limited by a trap density greater than $10^{18}\,cm^{-3}$. Our results provide insight into the optical excitation and relaxation pathways of SnIP and demonstrate a remarkably high carrier mobility for such a soft and flexible material.


title: A note on the Sine-Gordon expansion method and its applications

abstract: The sine-Gordon expansion method; which is a transformation of the sine-Gordon equation has been applied to the potential-YTSF equation of dimension (3+1) and the reaction-diffusion equation. We obtain new solitons of this equation in the form hyperbolic, complex and trigonometric function by using this method. We plot 2D and 3D graphics of these solutions using symbolic software.


title: Lie symmetries of the canonical connection: codimension one abelian nilradical case

abstract: This paper studies the canonical symmetric connection $\nabla$ associated to any Lie group $G$. The salient properties of $\nabla$ are stated and proved. The Lie symmetries of the geodesic system of a general linear connection are formulated. The results are then applied to $\nabla$ in the special case where the Lie algebra $\g$ of $G$, has a codimension one abelian nilradical. The conditions that determine a Lie symmetry in such a case are completely integrated. Finally the results obtained are compared with some four-dimensional Lie groups whose Lie algebras have three-dimensional abelian nilradicals, for which the calculations were performed by MAPLE.


title: Leader Confirmation Replication for Millisecond Consensus in Private Chains

abstract: The private chain-based Internet of Things (IoT) system ensures the security of cross-organizational data sharing. As a widely used consensus model in private chains, the leader-based state-machine replication (SMR) model meets the performance bottleneck in IoT blockchain applications, where nontransactional sensor data are generated on a scale. We analyzed IoT private chain systems and found that the leader maintains too many connections due to high latency and client request frequency, which results in lower consensus performance and efficiency. To meet this challenge, we propose a novel solution for maintaining low request latency and high transactions per second (TPS): replicate nontransactional data by followers and confirm by the leader to achieve nonconfliction SMR, rather than all by the leader. Our solution, named Leader Confirmation Replication (LCR), uses the newly proposed future log and confirmation signal to achieve nontransactional data replication on the followers, thereby reducing the leader's network traffic and the request latency of transactional data. In addition, the generation replication strategy is designed to ensure the reliability and consistency of LCR when meeting membership changes. We evaluated LCR with various cluster sizes and network latencies. Experimental results show that in ms-network latency (2-30) environments, the TPS of LCR is 1.4X-1.9X higher than Raft, the transactional data response time is reduced by 40%-60%, and the network traffic is reduced by 20%-30% with acceptable network traffic and CPU cost on the followers. In addition, LCR shows high portability and availability since it does not change the number of leaders or the election process.


title: Hyper Suprime-Cam Legacy Archive

abstract: We present the launch of the Hyper Suprime-Cam Legacy Archive (HSCLA), a public archive of processed, science-ready data from Hyper Suprime-Cam (HSC). HSC is an optical wide-field imager installed at the prime focus of the Subaru Telescope and has been in operation since 2014. While ~1/3 of the total observing time of HSC has been used for the Subaru Strategic Program (SSP), the remainder of the time is used for PI programs. We have processed the data from these PI programs and make the processed, high quality data available to the community through HSCLA. The current version of HSCLA includes data taken in the first year of science operation, 2014. We provide both individual and coadd images as well as photometric catalogs. The photometric catalog from the coadd is loaded to the database, which offers a fast access to the large catalog. There are other online tools such as image browser and image cutout tool and they will be useful for science analyses. The coadd images reach 24-27th magnitudes at $5\sigma$ for point sources and cover approximately 580 square degrees in at least one filter with 150 million objects in total. We perform extensive quality assurance tests and verify the photometric and astrometric quality of the data to be good enough for most scientific explorations. However, the data are not without problems and users are referred to the list of known issues before exploiting the data for science. All the data and documentations can be found at the data release site, https://hscla.mtk.nao.ac.jp/.


title: Cluster synchronization on hypergraphs

abstract: Full synchronization of dynamical elements coupled via hypergraphs can be analyzed with the hypergraph projection onto dyadic matrices, but this is not sufficient for analyzing cluster synchronization. Here we develop the necessary formalism. We introduce the notion of edge clusters and show how node and edge partitions allow us to verify admissible states and simplify their linear stability calculations. This provides a principled way to track dynamics on hypergraphs, and the projected Laplacian matrices based on each edge cluster are essential to linear stability analysis and its dimensionality reduction. This work goes beyond full synchronization and beyond dyadic interactions.


title: Noise Is Useful: Exploiting Data Diversity for Edge Intelligence

abstract: Edge intelligence requires to fast access distributed data samples generated by edge devices. The challenge is using limited radio resource to acquire massive data samples for training machine learning models at edge server. In this article, we propose a new communication-efficient edge intelligence scheme where the most useful data samples are selected to train the model. Here the usefulness or values of data samples is measured by data diversity which is defined as the difference between data samples. We derive a close-form expression of data diversity that combines data informativeness and channel quality. Then a joint data-and-channel diversity aware multiuser scheduling algorithm is proposed. We find that noise is useful for enhancing data diversity under some conditions.


title: Constructing Tensor Network Influence Functionals for General Quantum Dynamics

abstract: We describe an iterative formalism to compute influence functionals that describe the general quantum dynamics of a subsystem beyond the assumption of linear coupling to a quadratic bath. We use a space-time tensor network representation of the influence functional and investigate its approximability in terms of the bond dimensions and time-like entanglement in the tensor network description. We study two numerical models, the spin-boson model and a model of interacting hard-core bosons in a 1D harmonic trap. We find that the influence functional and the intermediates involved in its construction can be efficiently approximated by low bond dimension tensor networks in certain dynamical regimes, which allows the quantum dynamics to be accurately computed for longer times than with direct time evolution methods. However, as one iteratively integrates out the bath, the correlations in the influence functional can first increase before decreasing, indicating that the final compressibility of the influence functional is achieved via non-trivial cancellation.


title: Tackling Instance-Dependent Label Noise via a Universal Probabilistic Model

abstract: The drastic increase of data quantity often brings the severe decrease of data quality, such as incorrect label annotations, which poses a great challenge for robustly training Deep Neural Networks (DNNs). Existing learning \mbox{methods} with label noise either employ ad-hoc heuristics or restrict to specific noise assumptions. However, more general situations, such as instance-dependent label noise, have not been fully explored, as scarce studies focus on their label corruption process. By categorizing instances into confusing and unconfusing instances, this paper proposes a simple yet universal probabilistic model, which explicitly relates noisy labels to their instances. The resultant model can be realized by DNNs, where the training procedure is accomplished by employing an alternating optimization algorithm. Experiments on datasets with both synthetic and real-world label noise verify that the proposed method yields significant improvements on robustness over state-of-the-art counterparts.


title: Spectroscopic studies of neutron-rich $^{129}$In and its $\beta$-decay daughter, $^{129}$Sn, using the GRIFFIN spectrometer

abstract: The $\beta$-decay of neutron-rich $^{129}$In into $^{129}$Sn was studied using the GRIFFIN spectrometer at the ISAC facility at TRIUMF. The study observed the half-lives of the ground state and each of the $\beta$-decaying isomers. The level scheme of $^{129}$Sn has been expanded with thirty-one new $\gamma$-ray transitions and nine new excited levels, leading to a re-evaluation of the $\beta$-branching ratios and level spin assignments. The observation of the $\beta$-decay of the (29/2$^{+}$) 1911-keV isomeric state in $^{129}$In is reported for the first time, with a branching ratio of 2.0(5)$\%$.


title: Text Augmentation in a Multi-Task View

abstract: Traditional data augmentation aims to increase the coverage of the input distribution by generating augmented examples that strongly resemble original samples in an online fashion where augmented examples dominate training. In this paper, we propose an alternative perspective -- a multi-task view (MTV) of data augmentation -- in which the primary task trains on original examples and the auxiliary task trains on augmented examples. In MTV data augmentation, both original and augmented samples are weighted substantively during training, relaxing the constraint that augmented examples must resemble original data and thereby allowing us to apply stronger levels of augmentation. In empirical experiments using four common data augmentation techniques on three benchmark text classification datasets, we find that the MTV leads to higher and more robust performance improvements than traditional augmentation.


title: OrigamiSet1.0: Two New Datasets for Origami Classification and Difficulty Estimation

abstract: Origami is becoming more and more relevant to research. However, there is no public dataset yet available and there hasn't been any research on this topic in machine learning. We constructed an origami dataset using images from the multimedia commons and other databases. It consists of two subsets: one for classification of origami images and the other for difficulty estimation. We obtained 16000 images for classification (half origami, half other objects) and 1509 for difficulty estimation with $3$ different categories (easy: 764, intermediate: 427, complex: 318). The data can be downloaded at: https://github.com/multimedia-berkeley/OriSet. Finally, we provide machine learning baselines.


title: Towards Practical Adam: Non-Convexity, Convergence Theory, and Mini-Batch Acceleration

abstract: Adam is one of the most influential adaptive stochastic algorithms for training deep neural networks, which has been pointed out to be divergent even in the simple convex setting via a few simple counterexamples. Many attempts, such as decreasing an adaptive learning rate, adopting a big batch size, incorporating a temporal decorrelation technique, seeking an analogous surrogate, \textit{etc.}, have been tried to promote Adam-type algorithms to converge. In contrast with existing approaches, we introduce an alternative easy-to-check sufficient condition, which merely depends on the parameters of the base learning rate and combinations of historical second-order moments, to guarantee the global convergence of generic Adam for solving large-scale non-convex stochastic optimization. This observation, coupled with this sufficient condition, gives much deeper interpretations on the divergence of Adam. On the other hand, in practice, mini-Adam and distributed-Adam are widely used without any theoretical guarantee. We further give an analysis on how the batch size or the number of nodes in the distributed system affects the convergence of Adam, which theoretically shows that mini-batch and distributed Adam can be linearly accelerated by using a larger mini-batch size or a larger number of nodes.At last, we apply the generic Adam and mini-batch Adam with the sufficient condition for solving the counterexample and training several neural networks on various real-world datasets. Experimental results are exactly in accord with our theoretical analysis.


title: Individual Polymer Chain Dynamics in an Entangled Polymeric Liquid Using a Stochastic Tube Model

abstract: This study focuses on comparing the individual polymer chain dynamics in an entangled polymeric liquid under different shear and extension rates. Polymer chains under various shear rates and extension rates were simulated using a stochastic-tube model [J. Rheol. 56: 1057 (2012)]. We developed a Matlab code to visualize and analyze the simulated configurations from the stochastic-tube model. We introduced new variables to determine how the extent of linearity changes with time for different shear rates, which is more useful than a typical end-to-end distance analysis. We identified whether the polymer chains undergo a tumbling rotation (slight elongation not accompanying contraction) or flipping rotation (elongation accompanying contraction). The simulation results indicate that the polymer chains exhibit a significant tendency to elongate at higher shear rates and occasionally experience flipping, while lower shear rates tend to exhibit very frequent tumbling. Furthermore, no rotations were observed under extensional flows. These results help clarifying uncertainty of previously proposed polymer deformation mechanisms of the convective constraint release and the configuration-dependent friction coefficient.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.soft physics.flu-dyn


title: Time-critical testing and search problems

abstract: This paper introduces a problem in which the state of a system needs to be determined through costly tests of its components by a limited number of testing units and before a given deadline. We also consider a closely related search problem in which there are multiple searchers to find a target before a given deadline. These natural generalizations of the classical sequential testing problem and search problem are applicable in a wide range of time-critical operations such as machine maintenance, diagnosing a patient, and new product development. We show that both problems are NP-hard, develop a pseudo-polynomial dynamic program for the special case of two time slots, and describe a partial-order-based as well as an assignment-based mixed integer program for the general case. Based on extensive computational experiments, we find that the assignment-based formulation performs better than the partial-order-based formulation for the testing variant, but that this is the other way round for the search variant. Finally, we propose a pairwise-interchange-based local search procedure and show that, empirically, it performs very well in finding near-optimal solutions.


title: Effects of resistivity on standing shocks in low angular momentum flows around black holes

abstract: We study two dimensional low angular momentum flow around the black hole using the resistive magnetohydrodynamic module of PLUTO code. Simulations have been performed for the flows with parameters of specific angular momentum, specific energy, and magnetic field which may be expected for the flow around Sgr A*. For flows with lower resistivity $\eta=10^{-6}$ and $0.01$, the luminosity and the shock location on the equator vary quasi-periodically. The power density spectra of luminosity variation show the peak frequencies which correspond to the periods of $5 \times 10^5$, $1.4 \times 10^5$, and $5 \times 10^4$ seconds, respectively. These quasi-periodic oscillations (QPOs) occur due to the interaction between the outer oscillating standing shock and the inner weak shocks occurring at the innermost hot blob. While for cases with higher resistivity $\eta=0.1$ and 1.0, the high resistivity considerably suppresses the magnetic activity such as the MHD turbulence and the flows tend to be steady and symmetric to the equator. The steady standing shock is formed more outward compared with the hydrodynamical flow. The low angular momentum flow model with the above flow parameters and with low resistivity has a possibility for the explanation of the long-term flares with $\sim$ one per day and $\sim 5 - 10$ days of Sgr A* in the latest observations by Chandra, Swift, and XMM-Newton monitoring of Sgr A*.


title: EDSC: An Event-Driven Smart Contract Platform

abstract: This paper presents EDSC, a novel smart contract platform design based on the event-driven execution model as opposed to the traditionally employed transaction-driven execution model. We reason that such a design is a better fit for many emerging smart contract applications and is better positioned to address the scalability and performance challenges plaguing the smart contract ecosystem. We propose EDSC's design under the Ethereum framework, and the design can be easily adapted for other existing smart contract platforms. We have conducted implementation using Ethereum client and experiments where performance modeling results show on average 2.2 to 4.6 times reduced total latency of event triggered smart contracts, which demonstrates its effectiveness for supporting contracts that demand timely execution based on events. In addition, we discuss example use cases to demonstrate the design's utility and comment on its potential security dynamics.


title: Symmetry energy effect on the secondary component of GW190814 as a neutron star

abstract: The secondary component of GW190814 with a mass of 2.50-2.67 $M_{\odot}$ may be the lightest black hole or the heaviest neutron star ever observed in a binary compact object system. To explore the possible equation of state (EOS), which can support such massive neutron star, we apply the relativistic mean-field model with a density-dependent isovector coupling constant to describe the neutron-star matter. The acceptable EOS should satisfy some constraints: the EOS model can provide a satisfactory description of the nuclei; the maximum mass $M_\textrm{TOV}$ is above 2.6 $M_{\odot}$; the tidal deformability of a canonical 1.4 $M_{\odot}$ neutron star $\Lambda_{1.4}$ should lie in the constrained range from GW170817. In this paper, we find that the nuclear symmetry energy and its density dependence play a crucial role in determining the EOS of neutron-star matter. The constraints from the mass of 2.6 $M_{\odot}$ and the tidal deformability $\Lambda_{1.4}=616_{-158}^{+273}$ (based on the assumption that GW190814 is a neutron star-black hole binary) can be satisfied as the slope of symmetry energy $L \leq 50$ MeV. Even including the constraint of $\Lambda_{1.4}=190_{-120}^{+390}$ from GW170817 which suppresses the EOS stiffness at low density, the possibility that the secondary component of GW190814 is a massive neutron star cannot be excluded in this study.


title: Optimal network online change point localisation

abstract: We study the problem of online network change point detection. In this setting, a collection of independent Bernoulli networks is collected sequentially, and the underlying distributions change when a change point occurs. The goal is to detect the change point as quickly as possible, if it exists, subject to a constraint on the number or probability of false alarms. In this paper, on the detection delay, we establish a minimax lower bound and two upper bounds based on NP-hard algorithms and polynomial-time algorithms, i.e., \[ \mbox{detection delay} \begin{cases} \gtrsim \log(1/\alpha) \frac{\max\{r^2/n, \, 1\}}{\kappa_0^2 n \rho},\\ \lesssim \log(\Delta/\alpha) \frac{\max\{r^2/n, \, \log(r)\}}{\kappa_0^2 n \rho}, & \mbox{with NP-hard algorithms},\\ \lesssim \log(\Delta/\alpha) \frac{r}{\kappa_0^2 n \rho}, & \mbox{with polynomial-time algorithms}, \end{cases} \] where $\kappa_0, n, \rho, r$ and $\alpha$ are the normalised jump size, network size, entrywise sparsity, rank sparsity and the overall Type-I error upper bound. All the model parameters are allowed to vary as $\Delta$, the location of the change point, diverges. The polynomial-time algorithms are novel procedures that we propose in this paper, designed for quick detection under two different forms of Type-I error control. The first is based on controlling the overall probability of a false alarm when there are no change points, and the second is based on specifying a lower bound on the expected time of the first false alarm. Extensive experiments show that, under different scenarios and the aforementioned forms of Type-I error control, our proposed approaches outperform state-of-the-art methods.


title: WER-BERT: Automatic WER Estimation with BERT in a Balanced Ordinal Classification Paradigm

abstract: Automatic Speech Recognition (ASR) systems are evaluated using Word Error Rate (WER), which is calculated by comparing the number of errors between the ground truth and the transcription of the ASR system. This calculation, however, requires manual transcription of the speech signal to obtain the ground truth. Since transcribing audio signals is a costly process, Automatic WER Evaluation (e-WER) methods have been developed to automatically predict the WER of a speech system by only relying on the transcription and the speech signal features. While WER is a continuous variable, previous works have shown that positing e-WER as a classification problem is more effective than regression. However, while converting to a classification setting, these approaches suffer from heavy class imbalance. In this paper, we propose a new balanced paradigm for e-WER in a classification setting. Within this paradigm, we also propose WER-BERT, a BERT based architecture with speech features for e-WER. Furthermore, we introduce a distance loss function to tackle the ordinal nature of e-WER classification. The proposed approach and paradigm are evaluated on the Librispeech dataset and a commercial (black box) ASR system, Google Cloud's Speech-to-Text API. The results and experiments demonstrate that WER-BERT establishes a new state-of-the-art in automatic WER estimation.


title: Understanding the Role of Scene Graphs in Visual Question Answering

abstract: Visual Question Answering (VQA) is of tremendous interest to the research community with important applications such as aiding visually impaired users and image-based search. In this work, we explore the use of scene graphs for solving the VQA task. We conduct experiments on the GQA dataset which presents a challenging set of questions requiring counting, compositionality and advanced reasoning capability, and provides scene graphs for a large number of images. We adopt image + question architectures for use with scene graphs, evaluate various scene graph generation techniques for unseen images, propose a training curriculum to leverage human-annotated and auto-generated scene graphs, and build late fusion architectures to learn from multiple image representations. We present a multi-faceted study into the use of scene graphs for VQA, making this work the first of its kind.


title: Gauss lattices and complex continued fractions

abstract: Our aim is to find a complex continued fraction algorithm finding all the best Diophantine approximations to a complex number. Using the sequence of minimal vectors in a two dimensional lattice over Gaussian integers, we obtain an algorithm defined on a submanifold of the space of unimodular two dimensional Gauss lattices. This submanifold is transverse to the diagonal flow. Thanks to the correspondence between minimal vectors and best Diophantine approximations, the algorithm finds all the best approximations to a complex number. A byproduct of the algorithm is the best constant for the complex version of Dirichlet Theorem about approximations of complex numbers by quotients of Gaussian integers.


title: Large deviations for Kac-like walks

abstract: We introduce a Kac's type walk whose rate of binary collisions preserves the total momentum but not the kinetic energy. In the limit of large number of particles we describe the dynamics in terms of empirical measure and flow, proving the corresponding large deviation principle. The associated rate function has an explicit expression. As a byproduct of this analysis, we provide a gradient flow formulation of the Boltzmann-Kac equation.


title: Iterative regularization for constrained minimization formulations of nonlinear inverse problems

abstract: In this paper we the formulation of inverse problems as constrained minimization problems and their iterative solution by gradient or Newton type. We carry out a convergence analysis in the sense of regularization methods and discuss applicability to the problem of identifying the spatially varying diffusivity in an elliptic PDE from different sets of observations. Among these is a novel hybrid imaging techology known as impedance acoustic tomography, for which we provide numerical experiments.


title: Loss of mass of non-pluripolar products

abstract: It is a well-known fact that the non-pluripolar self-products of a closed positive (1,1)-current in a big nef cohomology class on a compact Kahler manifold are not of full mass in the presence of positive Lelong numbers of the current in consideration. In this paper, we give a quantitative version of the last property. Our proof involves a generalization of Demailly's comparison of Lelong numbers to the setting of density currents, a reversed Alexandrov-Fenchel inequality, and the notion of relative non-pluripolar products.


title: 4D Attention-based Neural Network for EEG Emotion Recognition

abstract: Electroencephalograph (EEG) emotion recognition is a significant task in the brain-computer interface field. Although many deep learning methods are proposed recently, it is still challenging to make full use of the information contained in different domains of EEG signals. In this paper, we present a novel method, called four-dimensional attention-based neural network (4D-aNN) for EEG emotion recognition. First, raw EEG signals are transformed into 4D spatial-spectral-temporal representations. Then, the proposed 4D-aNN adopts spectral and spatial attention mechanisms to adaptively assign the weights of different brain regions and frequency bands, and a convolutional neural network (CNN) is utilized to deal with the spectral and spatial information of the 4D representations. Moreover, a temporal attention mechanism is integrated into a bidirectional Long Short-Term Memory (LSTM) to explore temporal dependencies of the 4D representations. Our model achieves state-of-the-art performance on the SEED dataset under intra-subject splitting. The experimental results have shown the effectiveness of the attention mechanisms in different domains for EEG emotion recognition.


title: A new axiomatics for masures II

abstract: Masures are generalizations of Bruhat-Tits buildings. They were introduced by Gaussent and Rousseau in order to study Kac-Moody groups over valued fields. We prove that the intersection of two apartments of a masure is convex. Using this, we simplify the axiomatic definition of masures given by Rousseau.


title: Label Contrastive Coding based Graph Neural Network for Graph Classification

abstract: Graph classification is a critical research problem in many applications from different domains. In order to learn a graph classification model, the most widely used supervision component is an output layer together with classification loss (e.g.,cross-entropy loss together with softmax or margin loss). In fact, the discriminative information among instances are more fine-grained, which can benefit graph classification tasks. In this paper, we propose the novel Label Contrastive Coding based Graph Neural Network (LCGNN) to utilize label information more effectively and comprehensively. LCGNN still uses the classification loss to ensure the discriminability of classes. Meanwhile, LCGNN leverages the proposed Label Contrastive Loss derived from self-supervised learning to encourage instance-level intra-class compactness and inter-class separability. To power the contrastive learning, LCGNN introduces a dynamic label memory bank and a momentum updated encoder. Our extensive evaluations with eight benchmark graph datasets demonstrate that LCGNN can outperform state-of-the-art graph classification models. Experimental results also verify that LCGNN can achieve competitive performance with less training data because LCGNN exploits label information comprehensively.


title: Kernel-based ANOVA decomposition and Shapley effects -- Application to global sensitivity analysis

abstract: Global sensitivity analysis is the main quantitative technique for identifying the most influential input variables in a numerical simulation model. In particular when the inputs are independent, Sobol' sensitivity indices attribute a portion of the output of interest variance to each input and all possible interactions in the model, thanks to a functional ANOVA decomposition. On the other hand, moment-independent sensitivity indices focus on the impact of input variables on the whole output distribution instead of the variance only, thus providing complementary insight on the inputs / output relationship. Unfortunately they do not enjoy the nice decomposition property of Sobol' indices and are consequently harder to analyze. In this paper, we introduce two moment-independent indices based on kernel-embeddings of probability distributions and show that the RKHS framework used for their definition makes it possible to exhibit a kernel-based ANOVA decomposition. This is the first time such a desirable property is proved for sensitivity indices apart from Sobol' ones. When the inputs are dependent, we also use these new sensitivity indices as building blocks to design kernel-embedding Shapley effects which generalize the traditional variance-based ones used in sensitivity analysis. Several estimation procedures are discussed and illustrated on test cases with various output types such as categorical variables and probability distributions. All these examples show their potential for enhancing traditional sensitivity analysis with a kernel point of view.


title: The inviscid limit of third-order linear and nonlinear acoustic equations

abstract: We analyze the behavior of third-order in time linear and nonlinear sound waves in thermally relaxing fluids and gases as the sound diffusivity vanishes. The nonlinear acoustic propagation is modeled by the Jordan--Moore--Gibson--Thompson equation both in its Westervelt and in its Kuznetsov-type forms, that is, including quadratic nonlinearities of the type $(u^2)_{tt}$ and $ (u_t^2 + |\nabla u|^2)_t$. As it turns out, sufficiently smooth solutions of these equations converge in the energy norm to the solutions of the corresponding inviscid models at a linear rate. Numerical experiments illustrate our theoretical findings.


title: Exact observability properties of subelliptic wave and Schr{\"o}dinger equations

abstract: In this survey paper, we report on recent works concerning exact observability (and, by duality, exact controllability) properties of subelliptic wave and Schr{\"o}dinger-type equations. These results illustrate the slowdown of propagation in directions transverse to the horizontal distribution. The proofs combine sub-Riemannian geometry, semi-classical analysis, spectral theory and non-commutative harmonic analysis.


title: Neural networks behave as hash encoders: An empirical study

abstract: The input space of a neural network with ReLU-like activations is partitioned into multiple linear regions, each corresponding to a specific activation pattern of the included ReLU-like activations. We demonstrate that this partition exhibits the following encoding properties across a variety of deep learning models: (1) {\it determinism}: almost every linear region contains at most one training example. We can therefore represent almost every training example by a unique activation pattern, which is parameterized by a {\it neural code}; and (2) {\it categorization}: according to the neural code, simple algorithms, such as $K$-Means, $K$-NN, and logistic regression, can achieve fairly good performance on both training and test data. These encoding properties surprisingly suggest that {\it normal neural networks well-trained for classification behave as hash encoders without any extra efforts.} In addition, the encoding properties exhibit variability in different scenarios. {Further experiments demonstrate that {\it model size}, {\it training time}, {\it training sample size}, {\it regularization}, and {\it label noise} contribute in shaping the encoding properties, while the impacts of the first three are dominant.} We then define an {\it activation hash phase chart} to represent the space expanded by {model size}, training time, training sample size, and the encoding properties, which is divided into three canonical regions: {\it under-expressive regime}, {\it critically-expressive regime}, and {\it sufficiently-expressive regime}. The source code package is available at \url{https://github.com/LeavesLei/activation-code}.


title: Partially dissipative one-dimensional hyperbolic systems in the critical regularity setting, and applications

abstract: Here we develop a method for investigating global strong solutions of partially dissipative hyperbolic systems in the critical regularity setting. Compared to the recent works by Kawashima and Xu, we use hybrid Besov spaces with different regularity exponent in low and high frequency. This allows to consider more general data and to track the exact dependency on the dissipation parameter for the solution. Our approach enables us to go beyond the L^2 framework in the treatment of the low frequencies of the solution, which is totally new, to the best of our knowledge. Focus is on the one-dimensional setting (the multi-dimensional case will be considered in a forthcoming paper) and, for expository purpose, the first part of the paper is devoted to a toy model that may be seen as a simplification of the compressible Euler system with damping. More elaborated systems (including the compressible Euler system with general increasing pressure law) are considered at the end of the paper.


title: Dynamical-decoupling-protected nonadiabatic holonomic quantum computation

abstract: The main obstacles to the realization of high-fidelity quantum gates are the control errors arising from inaccurate manipulation of a quantum system and the decoherence caused by the interaction between the quantum system and its environment. Nonadiabatic holonomic quantum computation allows for high-speed implementation of whole-geometric quantum gates, making quantum computation robust against control errors. Dynamical decoupling provides an effective method to protect quantum gates against environment-induced decoherence, regardless of collective decoherence or independent decoherence. In this paper, we put forward a protocol of nonadiabatic holonomic quantum computation protected by dynamical decoupling . Due to the combination of nonadiabatic holonomic quantum computation and dynamical decoupling, our protocol not only possesses the intrinsic robustness against control errors but also protects quantum gates against environment-induced decoherence.


title: Far-Field Super-Resolution Imaging By Nonlinear Excited Evanescent Waves

abstract: Abbe's resolution limit, one of the best-known physical limitations, poses a great challenge for any wave systems in imaging, wave transport, and dynamics. Originally formulated in linear optics, this Abbe's limit can be broken using nonlinear optical interactions. Here we extend the Abbe theory into a nonlinear regime and experimentally demonstrate a far-field, label-free, and scan-free super-resolution imaging technique based on nonlinear four-wave mixing to retrieve near-field scattered evanescent waves, achieving sub-wavelength resolution of $\lambda/15.6$. This method paves the way for application in biomedical imaging, semiconductor metrology, and photolithography.


title: Hostility Detection in Hindi leveraging Pre-Trained Language Models

abstract: Hostile content on social platforms is ever increasing. This has led to the need for proper detection of hostile posts so that appropriate action can be taken to tackle them. Though a lot of work has been done recently in the English Language to solve the problem of hostile content online, similar works in Indian Languages are quite hard to find. This paper presents a transfer learning based approach to classify social media (i.e Twitter, Facebook, etc.) posts in Hindi Devanagari script as Hostile or Non-Hostile. Hostile posts are further analyzed to determine if they are Hateful, Fake, Defamation, and Offensive. This paper harnesses attention based pre-trained models fine-tuned on Hindi data with Hostile-Non hostile task as Auxiliary and fusing its features for further sub-tasks classification. Through this approach, we establish a robust and consistent model without any ensembling or complex pre-processing. We have presented the results from our approach in CONSTRAINT-2021 Shared Task on hostile post detection where our model performs extremely well with 3rd runner up in terms of Weighted Fine-Grained F1 Score.