title: Deep Learning-Based Computer Vision for Real Time Intravenous Drip Infusion Monitoring

abstract: This paper explores the use of deep learning-based computer vision for real-time monitoring of the flow in intravenous (IV) infusions. IV infusions are among the most common therapies in hospitalized patients and, given that both over-infusion and under-infusion can cause severe damages, monitoring the flow rate of the fluid being administered to patients is very important for their safety. The proposed system uses a camera to film the IV drip infusion kit and a deep learning-based algorithm to classify acquired frames into two different states: frames with a drop that has just begun to take shape and frames with a well-formed drop. The alternation of these two states is used to count drops and derive a measurement of the flow rate of the drip. The usage of a camera as sensing element makes the proposed system safe in medical environments and easier to be integrated into current health facilities. Experimental results are reported in the paper that confirm the accuracy of the system and its capability to produce real-time estimates. The proposed method can be therefore effectively adopted to implement IV infusion monitoring and control systems.


title: An Iterative Reconstruction Algorithm for Faraday Tomography

abstract: Faraday tomography offers crucial information on the magnetized astronomical objects, such as quasars, galaxies, or galaxy clusters, by observing its magnetoionic media. The observed linear polarization spectrum is inverse Fourier transformed to obtain the Faraday dispersion function (FDF), providing us a tomographic distribution of the magnetoionic media along the line of sight. However, this transform gives a poor reconstruction of the FDF because of the instrument's limited wavelength coverage. The current Faraday tomography techniques' inability to reliably solve the above inverse problem has noticeably plagued cosmic magnetism studies. We propose a new algorithm inspired by the well-studied area of signal restoration, called the Constraining and Restoring iterative Algorithm for Faraday Tomography (CRAFT). This iterative model-independent algorithm is computationally inexpensive and only requires weak physically-motivated assumptions to produce high fidelity FDF reconstructions. We demonstrate an application for a realistic synthetic model FDF of the Milky Way, where CRAFT shows greater potential over other popular model-independent techniques. The dependence of observational frequency coverage on the various techniques' reconstruction performance is also demonstrated for a simpler FDF. CRAFT exhibits improvements even over model-dependent techniques (i.e., QU-fitting) by capturing complex multi-scale features of the FDF amplitude and polarization angle variations within a source. The proposed approach will be of utmost importance for future cosmic magnetism studies, especially with broadband polarization data from the Square Kilometre Array and its precursors. We make the CRAFT code publicly available.


title: Fabrication of zinc oxide/graphene-carbon nanotubes nanocomposite with enhanced dye degradation ability

abstract: A comparative study between zinc oxide graphene-carbon nanotubes nanocomposite and ZnO nanoparticles was carried out to investigate their abilities in the degradation of Rhodamine B dye. We utilized the Modified Hummer method to prepare the graphene oxide nanosheet. Moreover, graphene-carbon nanotubes had been synthesized from GO and multi-walled carbon nanotubes with a hydroxyl group. The hydrothermal method was employed to fabricate the zinc oxide graphene-carbon nanotubes nanocomposite from ZnO nanoparticles and graphene-carbon nanotubes. During the characterization by X-ray Diffraction (XRD), all the significant peaks of ZnO and zinc oxide graphene-carbon nanotubes nanocomposite were found in the same phase angle. In addition, the final nanocomposite was also characterized by Field Emission Scanning Electron Microscope (FESEM) and Energy Dispersive X-ray Spectroscopy (EDS). Finally, from the dye degradation test, it was apparent that zinc oxide graphene-carbon nanotubes nanocomposite showed superior dye removal ability compared to the ZnO nanoparticles.


title: Orbital ordering in the layered perovskite material CsVF$_4$

abstract: In strongly correlated electronic systems, several novel physical properties are induced by the orbital degree of freedom. In particular, orbital degeneracy near the Fermi level leads to spontaneous symmetry breaking, such as the nematic state in FeSe and the orbital ordering in several perovskite systems. Here, the novel layered perovskite material CsVF$_4$, with a $3d^2$ electronic configuration, was systematically studied using density functional theory and a multiorbital Hubbard model within the Hatree-Fock approximation. Our results show that CsVF$_4$ should be magnetic, with a G-type antiferromagnetic arrangement in the $ab$ plane and weak antiferromagnetic exchange along the $c$-axis, in agreement with experimental results. Driven by the Jahn-Teller distortion in the VF$_6$ octahedra that shorten the $c$-axis, the system displays an interesting electron occupancy $d_{xy}^1(d_{xz}d_{yz})^1$ corresponding to the lower nondegenerate $d_{xy}$ orbital being half-filled and the other two degenerate $d_{yz}$ and $d_{xz}$ orbitals sharing one electron per site. We show that this degeneracy is broken and a novel $d_{yz}$/$d_{xz}$ staggered orbital pattern is here predicted by both the first-principles and Hubbard model calculations. This orbital ordering is driven by the electronic instability associated with degeneracy removal to lower the energy.


title: Reversible ring property via idempotent elements

abstract: Regarding the question of how idempotent elements affect reversible property of rings, we study a version of reversibility depending on idempotents. In this perspective, we introduce {\it right} (resp., {\it left}) {\it $e$-reversible rings}. We show that this concept is not left-right symmetric. Basic properties of right $e$-reversibility in a ring are provided. Among others it is proved that if $R$ is a semiprime ring, then $R$ is right $e$-reversible if and only if it is right $e$-reduced if and only if it is $e$-symmetric if and only if it is right $e$-semicommutative. Also, for a right $e$-reversible ring $R$, $R$ is a prime ring if and only if it is a domain. It is shown that the class of right $e$-reversible rings is strictly between that of $e$-symmetric rings and right $e$-semicommutative rings.


title: Comprehensive Assessment of COVID-19 Impact on Saskatchewan Power System Operations

abstract: This paper presents lessons learned to date during the Coronavirus Disease 2019 (COVID-19) pandemic from the viewpoint of Saskatchewan power system operations. A load estimation approach is developed to identify how the closures affecting businesses, schools, and other non-critical businesses due to COVID-19 changed the electricity consumption. Furthermore, the impacts of COVID-19 containment measures and re-opening phases on load uncertainty are examined. Changes in CO2 emissions resulting from an increased proportion of renewable energy generation and the change in load pattern are discussed. In addition, the influence of COVID-19 on the balancing authority's power control performance is investigated. Analyses conducted in the paper are based upon data from SaskPower corporation, which is the principal electric utility in Saskatchewan, Canada. Some recommendations for future power system operation and planning are developed.


title: Refined Telluric Absorption Correction for Low-Resolution Ground-Based Spectroscopy: Resolution and Radial Velocity Effects in the O2 A-Band for Exoplanets and K I Emission Lines

abstract: Telluric correction of spectroscopic observations is either performed via standard stars that are observed close in time and airmass along with the science target, or recently growing in importance, by theoretical telluric absorption modeling. Both approaches work fine when the telluric lines are resolved, i.e. at spectral resolving power larger than about 10000, and it is sufficient to facilitate the detection of spectral features at lower resolution. However, a meaningful quantitative analysis requires also a reliable recovery of line strengths. Here, we show for the Fraunhofer A-band of molecular O2 that the standard telluric correction approach fails in this at lower spectral resolutions, as an example for the general problem. Doppler-shift dependent errors of the restored flux may arise, which can amount to more than 50% in extreme cases, depending on the line shapes of the target spectral features. Two applications are discussed: the recovery of the O2-band in the reflected light of an Earth analog atmosphere, as facilitated potentially in the future using an orbiting starshade and a ground-based extremely large telescope; and the recovery of the intrinsic ratio of the K I lines in the post-nova V4332 Sgr tracing the optical depth of the emitting region, to exemplify the relevance using present-day instrumentation. We show how one should derive correction functions for the compensation of the error in dependence of radial velocity shift, spectral resolution and target line-profile function by use of high resolution atmospheric transmission modeling, which has to be solved for the individual case.


title: A model-independent reconstruction of dark sector interactions

abstract: Relaxing the conventional assumption of a minimal coupling between the dark matter (DM) and dark energy (DE) fields introduces significant changes in the predicted evolution of the Universe. Therefore, testing such a possibility constitutes an essential task not only for cosmology but also for fundamental physics. In a previous communication [Phys. Rev. D99, 043521, 2019], we proposed a new null test for the $\Lambda$CDM model based on the time dependence of the ratio between the DM and DE energy densities which is also able to detect potential signatures of interaction between the dark components. In this work, we extend that analysis avoiding the $ \Lambda$CDM assumption and reconstruct the interaction in the dark sector in a fully model-independent way using data from type Ia supernovae, cosmic chronometers and baryonic acoustic oscillations. According to our analysis, the $\Lambda$CDM model is consistent with our model-independent approach at least at $3\sigma$ CL over the entire range of redshift studied. On the other hand, our analysis shows that the current background data do not allow us to rule out the existence of an interaction in the dark sector. Finally, we present a forecast for next-generation LSS surveys. In particular, we show that Euclid and SKA will be able to distinguish interacting models with about 4\% of precision at $z\approx 1$.


title: Some new weighted compact embeddings results and existence of weak solutions for eigenvalue Robin problem

abstract: By applying Mountain Pass Lemma, Ekeland's and Ricceri's variational principle, Fountain Theorem, we prove the existence and multiplicity of solutions for the following Robin problem \begin{equation*} \left\{ \begin{array}{cc} -\text{div}\left( a(x)\left\vert \nabla u\right\vert ^{p(x)-2}\nabla u\right) =\lambda b(x)\left\vert u\right\vert ^{q(x)-2}u, & x\in \Omega \\ a(x)\left\vert \nabla u\right\vert ^{p(x)-2}\frac{\partial u}{\partial \upsilon }+\beta (x)\left\vert u\right\vert ^{p(x)-2}u=0, & x\in \partial \Omega , \end{array} \right. \end{equation*} under some appropriate conditions in the space $W_{a,b}^{1,p(.)}\left( \Omega \right).$


title: A Raman Probe of Phonons and Electron-phonon Interactions in NbIrTe4

abstract: The semimetal NbIrTe4 has been proposed to be a Type-II Weyl semimetal with 8 pairs of opposite Chirality Weyl nodes which are very close to the Fermi energy. This topological electronic structure is made possible because of the broken inversion symmetry of NbIrTe4 which is an orthorhombic crystal with Td symmetry. Using micro-Raman scattering as a probe, we observe the frequencies and symmetries of 19 phonon modes (ranging from 40 to 260 cm-1) in this material and compare to Density Functional Theory calculations. Using angular and polarization resolved Raman scattering for green (514 nm) and red (633 nm) laser excitation, we show that it is possible to extract the excitation energy dependence of the Raman tensor elements associated with each measurable phonon mode. We show that these tensor elements vary substantially in a small energy range which reflects a strong variation of the electron-phonon coupling for these modes.


title: Efficiently Estimating a Sparse Delay-Doppler Channel

abstract: Multiple wireless sensing tasks, e.g., radar detection for driver safety, involve estimating the "channel" or relationship between signal transmitted and received. In this work, we focus on a certain channel model known as the delay-doppler channel. This model begins to be useful in the high frequency carrier setting, which is increasingly common with developments in millimeter-wave technology. Moreover, the delay-doppler model then continues to be applicable even when using signals of large bandwidth, which is a standard approach to achieving high resolution channel estimation. However, when high resolution is desirable, this standard approach results in a tension with the desire for efficiency because, in particular, it immediately implies that the signals in play live in a space of very high dimension $N$ (e.g., ~$10^6$ in some applications), as per the Shannon-Nyquist sampling theorem. To address this difficulty, we propose a novel randomized estimation scheme called Sparse Channel Estimation, or SCE for short, for channel estimation in the $k$-sparse setting (e.g., $k$ objects in radar detection). This scheme involves an estimation procedure with sampling and space complexity both on the order of $k(logN)^3$, and arithmetic complexity on the order of $k(log N)^3 + k^2$, for $N$ sufficiently large. To the best of our knowledge, Sparse Channel Estimation (SCE) is the first of its kind to achieve these complexities simultaneously -- it seems to be extremely efficient! As an added advantage, it is a simple combination of three ingredients, two of which are well-known and widely used, namely digital chirp signals and discrete Gaussian filter functions, and the third being recent developments in sparse fast fourier transform algorithms.


title: Robust Data Hiding Using Inverse Gradient Attention

abstract: Data hiding is the procedure of encoding desired information into a certain types of cover media (e.g. images) to resist potential noises for data recovery, while ensuring the embedded image has few perceptual perturbations. Recently, with the tremendous successes gained by deep neural networks in various fields, the research on data hiding with deep learning models has attracted an increasing amount of attentions. In deep data hiding models, to maximize the encoding capacity, each pixel of the cover image ought to be treated differently since they have different sensitivities w.r.t. visual quality. The neglecting to consider the sensitivity of each pixel inevitably affects the model's robustness for information hiding. In this paper, we propose a novel deep data hiding scheme with Inverse Gradient Attention (IGA), combining the idea of attention mechanism to endow different attention weights for different pixels. Equipped with the proposed modules, the model can spotlight pixels with more robustness for data hiding. Extensive experiments demonstrate that the proposed model outperforms the mainstream deep learning based data hiding methods on two prevalent datasets under multiple evaluation metrics. Besides, we further identify and discuss the connections between the proposed inverse gradient attention and high-frequency regions within images, which can serve as an informative reference to the deep data hiding research community. The codes are available at: https://github.com/hongleizhang/IGA.


title: Numerical Simulation of Cs2AgBiBr6-based Perovskite Solar Cell with ZnO Nanorod and P3HT as the Charge Transport Layers

abstract: We carried out simulative investigations on a non-toxic, lead-free perovskite solar cell (PSC), where Cs2AgBiBr6, P3HT, ZnO nanorod, and C were utilized as the absorber layer, hole transport layer, electron transport layer, and back contact, respectively. At 600 nm optimum absorber thickness, the device achieved a maximum power conversion efficiency of 4.48%. The PSC operated optimally when the electron affinities were set at 3.3 eV and 4.6 eV for P3HT and ZnO nanorod, respectively. Moreover, the hole mobility and acceptor concentration of P3HT should be weighed during the choosing of appropriate doping additives and doping levels. Besides, the optimum back contact work function and absorber defect density were found to be 5.2 eV and 1E15 cm-3, respectively. We also observed the effect of radiative recombination rates and different charge transport layers on the device's performance. Overall, this study's simulation results will provide insightful guidance towards fabricating an environmentally benign PSC.


title: On-Chip Error-triggered Learning of Multi-layer Memristive Spiking Neural Networks

abstract: Recent breakthroughs in neuromorphic computing show that local forms of gradient descent learning are compatible with Spiking Neural Networks (SNNs) and synaptic plasticity. Although SNNs can be scalably implemented using neuromorphic VLSI, an architecture that can learn using gradient-descent in situ is still missing. In this paper, we propose a local, gradient-based, error-triggered learning algorithm with online ternary weight updates. The proposed algorithm enables online training of multi-layer SNNs with memristive neuromorphic hardware showing a small loss in the performance compared with the state of the art. We also propose a hardware architecture based on memristive crossbar arrays to perform the required vector-matrix multiplications. The necessary peripheral circuitry including pre-synaptic, post-synaptic and write circuits required for online training, have been designed in the sub-threshold regime for power saving with a standard 180 nm CMOS process.


title: Study of the splash: A theoretical perspective

abstract: Impacts of drops on liquids are ubiquitous in nature and in a range of applications in healthcare, agriculture and industry. They can lead to splash and generation of secondary droplets important for a range of coating, dispersal or contaminant problems. The physics of splash, despite being more than a century old problem, still has a number of unanswered questions. We study the sequence of events occurring upon drop impact on a deep, inviscid liquid pool. We particularly focus on the air cavity formed below the liquid surface and the liquid sheet of the crown, which forms and rises above the surface. Using combined momentum and energy analyses, we derive the prediction of the temporal evolution of the air cavity and the maximum depth it reaches. We derive and an expression for the sheet velocity profile of the crown. We also derive the expression for the unsteady sheet thickness profile of the crown. Leveraging the knowledge we gained on the unsteady crown sheet velocity and thickness profiles, we derive the analytical expressions for the temporal evolution of the crown diameter and crown height. We also show how the crown and cavity radial expansions are coupled. The cavity and crown analysis employed in the present study provides a new understanding of the traditionally know cavity-crown system started in the seminal studies by Worthington in the early 20th century.


title: Plastic systemic inhibition controls amplitude while allowing phase pattern in a stochastic neural field model

abstract: Oscillatory phase pattern formation and amplitude control for a linearized stochastic neuron field model was investigated by simulating coupled stochastic processes defined by stochastic differential equations. It was found, for several choices of parameters, that pattern formation in the phases of these processes occurred if and only if the amplitudes were allowed to grow large. Stimulated by recent work on homeostatic inhibitory plasticity, we introduced static and plastic (adaptive) systemic inhibitory mechanisms to keep the amplitudes stochastically bounded in subsequent simulations. The systems with static systemic inhibition exhibited bounded amplitudes but no sustained phase patterns, whereas the systems with plastic systemic inhibition exhibited both bounded amplitudes and sustained phase patterns. These results demonstrate that plastic inhibitory mechanisms in neural field models can stochastically control amplitudes while allowing patterns of phase synchronization to develop. Similar mechanisms of plastic systemic inhibition could play a role in regulating oscillatory functioning in the brain.


title: Approximate Extension in Sobolev Space

abstract: Let $L^{m,p}(\mathbb{R}^n)$ be the homogeneous Sobolev space for $p \in (n,\infty)$, $\mu$ be a Borel regular measure on $\mathbb{R}^n$, and $L^{m,p}(\mathbb{R}^n) + L^p(d\mu)$ be the space of Borel measurable functions with finite seminorm $\|f\|_{L^{m,p}(\mathbb{R}^n) + L^p(d\mu)} := \text{inf}_{f_1 +f_2 = f} \{ \|f_1\|_{L^{m,p}(\mathbb{R}^n)}^p + \int_{\mathbb{R}^n} |f_2|^p d\mu \}^{1/p}$. We construct a linear operator $T:L^{m,p}(\mathbb{R}^n) + L^p(d\mu) \to L^{m,p}(\mathbb{R}^n)$, that nearly optimally decomposes every function in the sum space: $\|Tf\|_{L^{m,p}(\mathbb{R}^n)}^p + \int_{\mathbb{R}^n} |Tf-f|^p d\mu \leq C \|f\|_{L^{m,p}(\mathbb{R}^n) + L^p(d\mu)}^p$ with $C$ dependent on $m$, $n$, and $p$ only. For $E \subset \mathbb{R}^n$, let $L^{m,p}(E)$ denote the space of all restrictions to $E$ of functions $F \in L^{m,p}(\mathbb{R}^n)$, equipped with the standard trace seminorm. For $p \in (n, \infty)$, we construct a linear extension operator $T:L^{m,p}(E) \to L^{m,p}(\mathbb{R}^n)$ satisfying $Tf|_E = f|_E$ and $\|Tf\|_{L^{m,p}(\mathbb{R}^n)} \leq C \|f\|_{L^{m,p}(E)}$, where $C$ depends only on $n$, $m$, and $p$. We show these operators can be expressed through a collection of linear functionals whose supports have bounded overlap.


title: Non-decaying solutions to the critical surface quasi-geostrophic equations with symmetries

abstract: We develop a theory of self-similar solutions to the critical surface quasi-geostrophic equations. We construct self-similar solutions for arbitrarily large data in various regularity classes and demonstrate, in the small data regime, uniqueness and global asymptotic stability. These solutions are non-decaying as $|x| \to +\infty$, which leads to ambiguity in the velocity $\vec{R}^\perp \theta$. This ambiguity is corrected by imposing $m$-fold rotational symmetry. The self-similar solutions exhibited here lie just beyond the known well-posedness theory and are expected to shed light on potential non-uniqueness, due to symmetry-breaking bifurcations, in analogy with work \cite{jiasverakillposed,guillodsverak} on the Navier-Stokes equations.


title: Contextual Interference Reduction by Selective Fine-Tuning of Neural Networks

abstract: Feature disentanglement of the foreground target objects and the background surrounding context has not been yet fully accomplished. The lack of network interpretability prevents advancing for feature disentanglement and better generalization robustness. We study the role of the context on interfering with a disentangled foreground target object representation in this work. We hypothesize that the representation of the surrounding context is heavily tied with the foreground object due to the dense hierarchical parametrization of convolutional networks with under-constrained learning algorithms. Working on a framework that benefits from the bottom-up and top-down processing paradigms, we investigate a systematic approach to shift learned representations in feedforward networks from the emphasis on the irrelevant context to the foreground objects. The top-down processing provides importance maps as the means of the network internal self-interpretation that will guide the learning algorithm to focus on the relevant foreground regions towards achieving a more robust representations. We define an experimental evaluation setup with the role of context emphasized using the MNIST dataset. The experimental results reveal not only that the label prediction accuracy is improved but also a higher degree of robustness to the background perturbation using various noise generation methods is obtained.


title: Magnetized hairy black holes of dimensionally continued gravity coupled to double-logarithmic electrodynamics

abstract: A recently proposed model for nonlinear electrodynamics has been minimally coupled to dimensionally continued gravity and the topological black holes in the presence of conformal scalar field were studied. In this setup, the new magnetized hairy black hole solution has been found and its thermodynamic properties have also been analyzed. The exact expressions for mass, entropy, Hawking temperature and heat capacity are derived and local thermodynamic stability for the resulting black holes has been checked. In addition to this, the modified Smarr's formula is constructed and the generalized first law has also been verified. Finally, the hairy magnetized black holes in general Lovelock-scalar gravity have also been studied.


title: Representing an integer as the sum of a prime and the product of two small factors

abstract: Let c > 0.55. Every large n can be written in the form p +ab, where p is prime, a and b are significantly smaller than x^1/2 and ab is less than n^c. This strengthens a result of Heath-Brown, which has the requirement c>3/4. We introduce the idea of 'intersecting two sieves' as a tool in the proof of this result.


title: General error mitigation for quantum circuits

abstract: A general method to mitigate the effect of errors in quantum circuits is outlined. The method is developed in sight of characteristics that an ideal method should possess and to ameliorate an existing method which only mitigates state preparation and measurement errors. The method is tested on different IBM Q quantum devices, using randomly generated circuits with up to four qubits. A large majority of results show significant error mitigation.


title: Neural Network Gaussian Process Considering Input Uncertainty for Composite Structures Assembly

abstract: Developing machine learning enabled smart manufacturing is promising for composite structures assembly process. To improve production quality and efficiency of the assembly process, accurate predictive analysis on dimensional deviations and residual stress of the composite structures is required. The novel composite structures assembly involves two challenges: (i) the highly nonlinear and anisotropic properties of composite materials; and (ii) inevitable uncertainty in the assembly process. To overcome those problems, we propose a neural network Gaussian process model considering input uncertainty for composite structures assembly. Deep architecture of our model allows us to approximate a complex process better, and consideration of input uncertainty enables robust modeling with complete incorporation of the process uncertainty. Based on simulation and case study, the NNGPIU can outperform other benchmark methods when the response function is nonsmooth and nonlinear. Although we use composite structure assembly as an example, the proposed methodology can be applicable to other engineering systems with intrinsic uncertainties.


title: Discontinuous Galerkin method for macroscopic traffic flow models on networks

abstract: In this paper, we describe a numerical technique for the solution of macroscopic traffic flow models on networks of roads. On individual roads, we consider the standard Lighthill-Whitham-Richards model which is discretized using the discontinuous Galerkin method along with suitable limiters. In order to solve traffic flows on networks, we construct suitable numerical fluxes at junctions based on preferences of the drivers. We prove basic properties of the constructed numerical flux and the resulting scheme and present numerical experiments, including a junction with complicated traffic light patterns with multiple phases. Differences with the approach to numerical fluxes at junctions from \v{C}ani\'{c} et al., 2015, are discussed and demonstrated numerically on a simple network.


title: Gaussian orthogonal latent factor processes for large incomplete matrices of correlated data

abstract: We introduce Gaussian orthogonal latent factor processes for modeling and predicting large correlated data. To handle the computational challenge, we first decompose the likelihood function of the Gaussian random field with a multi-dimensional input domain into a product of densities at the orthogonal components with lower-dimensional inputs. The continuous-time Kalman filter is implemented to compute the likelihood function efficiently without making approximations. We also show that the posterior distribution of the factor processes is independent, as a consequence of prior independence of factor processes and orthogonal factor loading matrix. For studies with large sample sizes, we propose a flexible way to model the mean, and we derive the marginal posterior distribution to solve identifiability issues in sampling these parameters. Both simulated and real data applications confirm the outstanding performance of this method.


title: A Hamiltonian description of finite-time singularity in Euler's fluid equations

abstract: The recently proposed low degree-of-freedom model of Moffat and Kimura [1,2] for describing the approach to finite-time singularity of the incompressible Euler fluid equations is investigated. The model assumes an initial finite-energy configuration of two vortex rings placed symmetrically on two tilted planes. The Hamiltonian structure of the inviscid limit of the model is obtained. The associated noncanonical Poisson bracket [3] and two invariants, one that serves as the Hamiltonian and the other a Casimir invariant, are discovered. It is shown that the system is integrable with a solution that lies on the intersection for the two invariants, just as for the free rigid body of mechanics whose solution lies on the intersection of the kinetic energy and angular momentum surfaces. Also, a direct quadrature is given and used to demonstrate the Leray form for finite-time singularity in the model. To the extent the Moffat and Kimura model accurately represents Euler's ideal fluid equations of motion, we have shown the existence of finite-time singularity.


title: Quality and Reliability Metrics for IoT Systems: A Consolidated View

abstract: Quality and reliability metrics play an important role in the evaluation of the state of a system during the development and testing phases, and serve as tools to optimize the testing process or to define the exit or acceptance criteria of the system. This study provides a consolidated view on the available quality and reliability metrics applicable to Internet of Things (IoT) systems, as no comprehensive study has provided such a view specific to these systems. The quality and reliability metrics categorized and discussed in this paper are divided into three categories: metrics assessing the quality of an IoT system or service, metrics for assessing the effectiveness of the testing process, and metrics that can be universally applied in both cases. In the discussion, recommendations of proper usage of discussed metrics in a testing process are then given.


title: Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model

abstract: In testing of software and Internet of Things (IoT) systems, one of necessary type of tests has to verify the consistency of data that are processed and stored in the system. The Data Cycle Test technique can effectively do such tests. The goal of this technique is to verify that the system processes data entities in a system under test in a correct way and that they remain in a consistent state after operations such as create, read, update and delete. Create, read, update and delete (CRUD) matrices are used for this purpose. In this paper, we propose an extension of the Data Cycle Test design technique, which is described in the TMap methodology and related literature. This extension includes a more exact definition of the test coverage, a reflection of the relationships between the tested data entities, an exact algorithm to select and combine read and update operations in test cases for a particular data entity, and verification of the consistency of the produced test cases. As verified by our experiments, in comparison to the original Data Cycle Test technique, this proposed extension helps test designers to produce more consistent test cases that reduce the number of undetected potential data consistency defects.


title: A Neuro-Inspired Autoencoding Defense Against Adversarial Perturbations

abstract: Deep Neural Networks (DNNs) are vulnerable to adversarial attacks: carefully constructed perturbations to an image can seriously impair classification accuracy, while being imperceptible to humans. While there has been a significant amount of research on defending against such attacks, most defenses based on systematic design principles have been defeated by appropriately modified attacks. For a fixed set of data, the most effective current defense is to train the network using adversarially perturbed examples. In this paper, we investigate a radically different, neuro-inspired defense mechanism, starting from the observation that human vision is virtually unaffected by adversarial examples designed for machines. We aim to reject L^inf bounded adversarial perturbations before they reach a classifier DNN, using an encoder with characteristics commonly observed in biological vision: sparse overcomplete representations, randomness due to synaptic noise, and drastic nonlinearities. Encoder training is unsupervised, using standard dictionary learning. A CNN-based decoder restores the size of the encoder output to that of the original image, enabling the use of a standard CNN for classification. Our nominal design is to train the decoder and classifier together in standard supervised fashion, but we also consider unsupervised decoder training based on a regression objective (as in a conventional autoencoder) with separate supervised training of the classifier. Unlike adversarial training, all training is based on clean images. Our experiments on the CIFAR-10 show performance competitive with state-of-the-art defenses based on adversarial training, and point to the promise of neuro-inspired techniques for the design of robust neural networks. In addition, we provide results for a subset of the Imagenet dataset to verify that our approach scales to larger images.


title: Multi-experiment parameter identifiability of ODEs and model theory

abstract: Structural identifiability is a property of an ODE model with parameters that allows for the parameters to be determined from continuous noise-free data. This is a natural prerequisite for practical identifiability. Conducting multiple independent experiments could make more parameters or functions of parameters identifiable, which is a desirable property to have. How many experiments are sufficient? In the present paper, we provide an algorithm to determine the exact number of experiments for multi-experiment local identifiability and obtain an upper bound that is off at most by one for the number of experiments for multi-experiment global identifiability. Interestingly, the main theoretical ingredient of the algorithm has been discovered and proved using model theory (in the sense of mathematical logic). We hope that this unexpected connection will stimulate interactions between applied algebra and model theory, and we provide a short introduction to model theory in the context of parameter identifiability. As another related application of model theory in this area, we construct a nonlinear ODE system with one output such that single-experiment and multiple-experiment identifiability are different for the system. This contrasts with recent results about single-output linear systems. We also present a Monte Carlo randomized version of the algorithm with a polynomial arithmetic complexity. Implementation of the algorithm is provided and its performance is demonstrated on several examples. The source code is available at https://github.com/pogudingleb/ExperimentsBound.


title: A simplified approach to the repulsive Bose gas from low to high densities and its numerical accuracy

abstract: In 1963, a Simple Approach was developed to study the ground state energy of an interacting Bose gas. It consists in the derivation of an Equation, which is not based on perturbation theory, and which gives the exact expansion of the energy at low densities. This Equation is expressed directly in the thermodynamic limit, and only involves functions of $3$ variables, rather than $3N$. Here, we revisit this approach, and show that the Equation yields accurate predictions for various observables for all densities. Specifically, in addition to the ground state energy, we have shown that the Simple Approach gives predictions for the condensate fraction, two-point correlation function, and momentum distribution. We have carried out a variety of tests by comparing the predictions of the Equation with Quantum Monte Carlo calculations, and have found remarkable agreement. We thus show that the Simple Approach provides a new theoretical tool to understand the behavior of the many-body Bose gas, not only in the small and large density ranges, which have been studied before, but also in the range of intermediate density, for which little is known.

categories: cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP


title: Erd\"{o}s-Szekeres Partitioning Problem

abstract: In this note, we present a substantial improvement on the computational complexity of the Erd\"{o}s-Szekeres partitioning problem and review recent works on dynamic \textsf{LIS}.


title: Calabi-Yau threefolds in $\mathbb{P}^n$ and Gorenstein rings

abstract: A projectively normal Calabi-Yau threefold $X \subseteq \mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete intersection, as well as in the case where $X$ is codimension three. In the latter case, the Buchsbaum-Eisenbud theorem shows that $I_X$ is given by the Pfaffians of a skew-symmetric matrix. A number of recent papers study the situation when $I_X$ has codimension four. We prove there are 16 possible betti tables for an arithmetically Gorenstein ideal $I$ with $\mathrm{codim}(I)=4=\mathrm{reg}(I)$, and that exactly 8 of these occur for smooth irreducible nondegenerate threefolds. We investigate the situation in codimension five or more, obtaining examples of $X$ with $h^{p,q}(X)$ not among those appearing for $I_X$ of lower codimension or as complete intersections in toric Fano varieties. A key tool in our approach is the use of inverse systems to identify possible betti tables for $X$.


title: Observation of an electric quadrupole transition in a negative ion: Experiment and Theory

abstract: The first direct experimental observation of an electric quadrupole ($\textit{E}$2) transition between bound states of an atomic negative ion has been made. The transition was observed in the negative ion of bismuth by resonant (1+1) photodetachment from Bi$^-$ $^3\textit{P}_2$ via excitation of the Bi$^-$ $^3\textit{P}_0$ fine structure state. The $\textit{E}$2 transition properties were independently calculated using a hybrid theoretical approach to account for the strong multi-level electron interactions and relativistic effects. The experimental and theoretical results are in excellent agreement, providing valuable new insights into this complex system and forbidden transitions in negative ions.


title: Bridging from single to collective cell migration: A review of models and links to experiments

abstract: Mathematical and computational models can assist in gaining an understanding of cell behavior at many levels of organization. Here, we review models in the literature that focus on eukaryotic cell motility at 3 size scales: intracellular signaling that regulates cell shape and movement, single cell motility, and collective cell behavior from a few cells to tissues. We survey recent literature to summarize distinct computational methods (phase-field, polygonal, Cellular Potts, and spherical cells). We discuss models that bridge between levels of organization, and describe levels of detail, both biochemical and geometric, included in the models. We also highlight links between models and experiments. We find that models that span the 3 levels are still in the minority.


title: Improved Dynamic Algorithms for Longest Increasing Subsequence

abstract: We study dynamic algorithms for the longest increasing subsequence (\textsf{LIS}) problem. A dynamic \textsf{LIS} algorithm maintains a sequence subject to operations of the following form arriving one by one: (i) insert an element, (ii) delete an element, or (iii) substitute an element for another. After performing each operation, the algorithm must report the length of the longest increasing subsequence of the current sequence. Our main contribution is the first exact dynamic \textsf{LIS} algorithm with sublinear update time. More precisely, we present a randomized algorithm that performs each operation in time $\tilde O(n^{2/3})$ and after each update, reports the answer to the \textsf{LIS} problem correctly with high probability. We use several novel techniques and observations for this algorithm that may find their applications in future work. In the second part of the paper, we study approximate dynamic \textsf{LIS} algorithms, which are allowed to underestimate the solution size within a bounded multiplicative factor. In this setting, we give a deterministic algorithm with update time $O(n^{o(1)})$ and approximation factor $1-o(1)$. This result substantially improves upon the previous work of Mitzenmacher and Seddighin (STOC'20) that presents an $\Omega(\epsilon ^{O(1/\epsilon)})$-approximation algorithm with update time $\tilde O(n^\epsilon)$ for any constant $\epsilon > 0$.


title: Transparent Object Tracking Benchmark

abstract: Visual tracking has achieved considerable progress in recent years. However, current research in the field mainly focuses on tracking of opaque objects, while little attention is paid to transparent object tracking. In this paper, we make the first attempt in exploring this problem by proposing a Transparent Object Tracking Benchmark (TOTB). Specifically, TOTB consists of 225 videos (86K frames) from 15 diverse transparent object categories. Each sequence is manually labeled with axis-aligned bounding boxes. To the best of our knowledge, TOTB is the first benchmark dedicated to transparent object tracking. In order to understand how existing trackers perform and to provide comparison for future research on TOTB, we extensively evaluate 25 state-of-the-art tracking algorithms. The evaluation results exhibit that more efforts are needed to improve transparent object tracking. Besides, we observe some nontrivial findings from the evaluation that are discrepant with some common beliefs in opaque object tracking. For example, we find that deeper features are not always good for improvements. Moreover, to encourage future research, we introduce a novel tracker, named TransATOM, which leverages transparency features for tracking and surpasses all 25 evaluated approaches by a large margin. By releasing TOTB, we expect to facilitate future research and application of transparent object tracking in both the academia and industry. The TOTB and evaluation results as well as TransATOM are available at https://hengfan2010.github.io/projects/TOTB.


title: A relaxed small-gain theorem for infinite networks

abstract: Motivated by the scalability problem in large networks, we study stability of a network of infinitely many finite-dimensional subsystems. We develop a so-called relaxed small-gain theorem for input-to-state stability (ISS) with respect to a closed set and show that every exponentially input-to-state stable system necessarily satisfies the proposed small-gain condition. Following our bottom-up approach, we study the well-posedness of the interconnection based on the behavior of the individual subsystems. Finally, we over-approximate large-but-finite networks by infinite networks and show that all the stability properties and the performance indices obtained for the infinite system can be transferred to the original finite one if each subsystem of the infinite network is individually ISS. Interestingly, the size of the truncated network does not need to be known. The effectiveness of our small-gain theorem is verified by application to an urban traffic network.


title: Zolotarev's fifth and sixth problems

abstract: In an influential 1877 paper, Zolotarev asked and answered four questions about polynomial and rational approximation. We ask and answer two questions: what are the best rational approximants $r$ and $s$ to $\sqrt{z}$ and $\mbox{sign}(z)$ on the unit circle (excluding certain arcs near the discontinuities), with the property that $|r(z)|=|s(z)|=1$ for $|z|=1$? We show that the solutions to these problems are related to Zolotarev's third and fourth problems in a nontrivial manner.


title: Charge-spin conversion signal in WTe2 van der Waals hybrid devices with a geometrical design

abstract: The efficient generation and control of spin polarization via charge-spin conversion in topological semimetals are desirable for future spintronic and quantum technologies. Here, we report the charge-spin conversion (CSC) signals measured in a Weyl semimetal candidate WTe2 based hybrid graphene device with a geometrical design. Notably, the geometrical angle of WTe2 on the graphene spin-valve channel yields contributions to symmetric and anti-symmetric CSC signal components. The spin precession measurements of CSC signal at different gate voltages and ferromagnet magnetization shows the robustness of the CSC in WTe2 at room temperature. These results can be useful for the design of heterostructure devices and in the architectures of two-dimensional spintronic circuits.


title: Use of Student's t-Distribution for the Latent Layer in a Coupled Variational Autoencoder

abstract: A Coupled Variational Autoencoder, which incorporates both a generalized loss function and latent layer distribution, shows improvement in the accuracy and robustness of generated replicas of MNIST numerals. The latent layer uses a Student's t-distribution to incorporate heavy-tail decay. The loss function uses a coupled logarithm, which increases the penalty on images with outlier likelihood. The generalized mean of the generated image's likelihood is used to measure the performance of the algorithm's decisiveness, accuracy, and robustness.


title: Minimum Hellinger distance estimates for a periodically time-varying long memory parameter

abstract: We consider a purely fractionally deferenced process driven by a periodically time-varying long memory parameter. We will build an estimate for the vector parameters using the minimum Hellinger distance estimation. The results are investigated through simulation studies.


title: Rethinking Transformer-based Set Prediction for Object Detection

abstract: DETR is a recently proposed Transformer-based method which views object detection as a set prediction problem and achieves state-of-the-art performance but demands extra-long training time to converge. In this paper, we investigate the causes of the optimization difficulty in the training of DETR. Our examinations reveal several factors contributing to the slow convergence of DETR, primarily the issues with the Hungarian loss and the Transformer cross-attention mechanism. To overcome these issues we propose two solutions, namely, TSP-FCOS (Transformer-based Set Prediction with FCOS) and TSP-RCNN (Transformer-based Set Prediction with RCNN). Experimental results show that the proposed methods not only converge much faster than the original DETR, but also significantly outperform DETR and other baselines in terms of detection accuracy.


title: Polycyclic Aromatic Hydrocarbons in Seyfert and star-forming galaxies

abstract: Polycyclic Aromatic Hydrocarbons (PAHs) are carbon-based molecules resulting from the union of aromatic rings and related species, which are likely responsible for strong infrared emission features (3.3, 6.2, 7.7, 8.6, 11.3 and 12.7 microns). In this work, using a sample of 50 Seyfert galaxies (DL<100 Mpc) we compare the circumnuclear (inner kpc) PAH emission of AGN to that of a control sample of star-forming galaxies (22 luminous infrared galaxies and 30 HII galaxies), and investigate the differences between central and extended PAH emission. Using Spitzer/InfraRed Spectrograph spectral data of Seyfert and star-forming galaxies and newly developed PAH diagnostic model grids, derived from theoretical spectra, we compare the predicted and observed PAH ratios. We find that star-forming galaxies and AGN-dominated systems are located in different regions of the PAH diagnostic diagrams. This suggests that not only are the size and charge of the PAH molecules different, but also the nature and hardness of the radiation field that excite them. We find tentative evidence that PAH ratios in AGN-dominated systems are consistent with emission from larger PAH molecules (Nc>300-400) as well as neutral species. By subtracting the spectrum of the central source from the total, we compare the PAH emission in the central vs extended region of a small sample of AGN. In contrast to the findings for the central regions of AGN-dominated systems, the PAH ratios measured in the extended regions of both type 1 and type 2 Seyfert galaxies can be explained assuming similar PAH molecular size distribution and ionized fractions of molecules to those seen in central regions of star-forming galaxies (100<Nc<300).


title: Supervised deep learning prediction of the formation enthalpy of the full set of configurations in complex phases: the $\sigma-$phase as an example

abstract: Machine learning (ML) methods are becoming integral to scientific inquiry in numerous disciplines, such as material sciences. In this manuscript, we demonstrate how ML can be used to predict several properties in solid-state chemistry, in particular the heat of formation of a given complex crystallographic phase (here the $\sigma-$phase, $tP30$, $D8_{b}$). Based on an independent and unprecedented large first principles dataset containing about 10,000 $\sigma-$compounds with $n=14$ different elements, we used a supervised learning approach, to predict all the $\sim$500,000 possible configurations within a mean absolute error of 23 meV/at ($\sim$2 kJ.mol$^{-1}$) on the heat of formation and $\sim$0.06 Ang. on the tetragonal cell parameters. We showed that neural network regression algorithms provide a significant improvement in accuracy of the predicted output compared to traditional regression techniques. Adding descriptors having physical nature (atomic radius, number of valence electrons) improves the learning precision. Based on our analysis, the training database composed of the only binary-compositions plays a major role in predicting the higher degree system configurations. Our result opens a broad avenue to efficient high-throughput investigations of the combinatorial binary calculation for multicomponent prediction of a complex phase.


title: Orthogonal polynomials on planar cubic curves

abstract: Orthogonal polynomials in two variables on cubic curves are considered, including the case of elliptic curves. For an integral with respect to an appropriate weight function defined on a cubic curve, an explicit basis of orthogonal polynomials is constructed in terms of two families of orthogonal polynomials in one variable. We show that these orthogonal polynomials can be used to approximate functions with cubic and square root singularities, and demonstrate their usage for solving differential equations with singular solutions.


title: A Comprehensive Survey on Real-Time Voltage Stability Assessment for Power Systems

abstract: Accurate real-time assessment of power systems voltage stability has been an active area of research in the past few decades. In the past decade, after the development of phasor measurement units (PMU), a lot of discussions has been going on phasor measurement techniques for real-time voltage stability. The fundamental idea behind these methods is to find the Thevenin equivalents of the system, and then determine the voltage stability margin based on the equivalent circuits. Some approaches also include the use of Artificial Neural Networks (ANN), for online monitoring of voltage stability margins. These methods are really fast as compared to the other methods. It has been shown that if we can obtain the phase angles and voltage magnitude in real-time from the phasor measurement units (PMU), then the voltage stability margins can be obtained in real-time and we can initiate voltage stability control methods. We are going to discuss Thevenin's equivalent methods and Artificial Intelligence methods in detail in this paper. We will also introduce the traditional methods which were earlier used for power systems stability assessment such as Time Domain methods, Static Methods, and Sensitivity methods. We are going to finally compare these methods and try to give general guidance on choosing a power stability method.


title: Optimal Transaction Queue Waiting in Blockchain Mining

abstract: Blockchain systems are being used in a wide range of application domains. They can support trusted transactions in time critical applications. In this paper, we study how miners should pick up transactions from a transaction pool so as to minimize the average waiting time per transaction. We derive an expression for the average transaction waiting time of the proposed mining scheme and determine the optimum decision rule. Numerical results show that the average waiting time per transaction can be reduced by about 10% compared to the traditional no-wait scheme in which miners immediately start the next mining round using all transactions waiting in the pool.


title: Simulating Magnetic Monopole-Defect Dynamics

abstract: We present simulations of one magnetic monopole interacting with multiple magnetic singularities. Three-dimensional plots of the energy density are constructed from explicit solutions to the Bogomolny equation obtained by Blair, Cherkis, and Durcan. Animations follow trajectories derived from collective coordinate mechanics on the multi-centered Taub--NUT monopole moduli space. We supplement our numerical results with a complete analytic treatment of the single-defect case.


title: Swimming through parameter subspaces of a simple anguilliform swimmer

abstract: Computational scientists have investigated swimming performance across a multitude of different systems for decades. Most models depend on numerous model parameters and performance is sensitive to those parameters. In this paper, parameter subspaces are qualitatively identified in which there exists enhanced swimming performance for an idealized, simple swimming model that resembles a C. elegans, an organism that exhibits an anguilliform mode of locomotion. The computational model uses the immersed boundary method to solve the fluid-interaction system. The 1D swimmer propagates itself forward by dynamically changing its preferred body curvature. Observations indicate that the swimmer's performance appears more sensitive to fluid scale and stroke frequency, rather than variations in the velocity and acceleration of either its upstroke or downstroke as a whole. Pareto-like optimal fronts were also identified within the data for the cost of transport and swimming speed. While this methodology allows one to locate robust parameter subspaces for desired performance in a straight-forward manner, it comes at the cost of simulating orders of magnitude more simulations than traditional fluid-structure interaction studies.


title: Zero-Shot Learning with Knowledge Enhanced Visual Semantic Embeddings

abstract: We improve zero-shot learning (ZSL) by incorporating common-sense knowledge in DNNs. We propose Common-Sense based Neuro-Symbolic Loss (CSNL) that formulates prior knowledge as novel neuro-symbolic loss functions that regularize visual-semantic embedding. CSNL forces visual features in the VSE to obey common-sense rules relating to hypernyms and attributes. We introduce two key novelties for improved learning: (1) enforcement of rules for a group instead of a single concept to take into account class-wise relationships, and (2) confidence margins inside logical operators that enable implicit curriculum learning and prevent premature overfitting. We evaluate the advantages of incorporating each knowledge source and show consistent gains over prior state-of-art methods in both conventional and generalized ZSL e.g. 11.5%, 5.5%, and 11.6% improvements on AWA2, CUB, and Kinetics respectively.


title: Large-Scale Multi-Agent Deep FBSDEs

abstract: In this paper we present a scalable deep learning framework for finding Markovian Nash Equilibria in multi-agent stochastic games using fictitious play. The motivation is inspired by theoretical analysis of Forward Backward Stochastic Differential Equations (FBSDE) and their implementation in a deep learning setting, which is the source of our algorithm's sample efficiency improvement. By taking advantage of the permutation-invariant property of agents in symmetric games, the scalability and performance is further enhanced significantly. We showcase superior performance of our framework over the state-of-the-art deep fictitious play algorithm on an inter-bank lending/borrowing problem in terms of multiple metrics. More importantly, our approach scales up to 3000 agents in simulation, a scale which, to the best of our knowledge, represents a new state-of-the-art. We also demonstrate the applicability of our framework in robotics on a belief space autonomous racing problem.


title: Equation of state of cold and dense QCD matter in resummed perturbation theory

abstract: We discuss the Hard Dense Loop resummation at finite quark mass and evaluate the equation of state (EoS) of cold and dense QCD matter in $\beta$ equilibrium. The resummation in the quark sector has an effect of lowering the baryon number density and the EoS turns out to have much smaller uncertainty than the perturbative QCD estimate. Our numerical results favor smooth matching between the EoS from the resummed QCD calculation at high density and the extrapolated EoS from the nuclear matter density region. We also point out that the speed of sound in our EoS slightly exceeds the conformal limit.


title: Analysis of Movement-Based Connectivity Restoration Problem in Wireless Ad-Hoc and Sensor Networks

abstract: Topology control, including topology construction and maintenance phases, is a vital conception for wireless ad-hoc networks of any kind, expressly the wireless sensor networks (WSN). Topology maintenance, the latter phase, concerns several problems, such as optimizing the energy consumption, increasing the data rate, making clusters, and sustaining the connectivity. A disconnected network, among other strategies, can efficiently be connected again using a Movement-based Connectivity Restoration (MCR) method, where a commensurate number of nodes move (or are moved) to the desired positions. However, finding an optimal route for the nodes to be moved can be a formidable problem. As a matter of fact, this paper presents details regarding a direct proof of the NP-Completeness of the MCR Problem by a reduction of the well-studied Steiner Tree Problem using the minimum number of Steiner points and the bounded edge length.


title: Rank-smoothed Pairwise Learning In Perceptual Quality Assessment

abstract: Conducting pairwise comparisons is a widely used approach in curating human perceptual preference data. Typically raters are instructed to make their choices according to a specific set of rules that address certain dimensions of image quality and aesthetics. The outcome of this process is a dataset of sampled image pairs with their associated empirical preference probabilities. Training a model on these pairwise preferences is a common deep learning approach. However, optimizing by gradient descent through mini-batch learning means that the "global" ranking of the images is not explicitly taken into account. In other words, each step of the gradient descent relies only on a limited number of pairwise comparisons. In this work, we demonstrate that regularizing the pairwise empirical probabilities with aggregated rankwise probabilities leads to a more reliable training loss. We show that training a deep image quality assessment model with our rank-smoothed loss consistently improves the accuracy of predicting human preferences.


title: Wireless Distributed Edge Learning: How Many Edge Devices Do We Need?

abstract: We consider distributed machine learning at the wireless edge, where a parameter server builds a global model with the help of multiple wireless edge devices that perform computations on local dataset partitions. Edge devices transmit the result of their computations (updates of current global model) to the server using a fixed rate and orthogonal multiple access over an error prone wireless channel. In case of a transmission error, the undelivered packet is retransmitted until successfully decoded at the receiver. Leveraging on the fundamental tradeoff between computation and communication in distributed systems, our aim is to derive how many edge devices are needed to minimize the average completion time while guaranteeing convergence. We provide upper and lower bounds for the average completion and we find a necessary condition for adding edge devices in two asymptotic regimes, namely the large dataset and the high accuracy regime. Conducted experiments on real datasets and numerical results confirm our analysis and substantiate our claim that the number of edge devices should be carefully selected for timely distributed edge learning.


title: Placing High-Redshift Quasars in Perspective: a Catalog of Spectroscopic Properties from the Gemini Near Infrared Spectrograph -- Distant Quasar Survey

abstract: We present spectroscopic measurements for 226 sources from the Gemini Near Infrared Spectrograph - Distant Quasar Survey (GNIRS-DQS). Being the largest uniform, homogeneous survey of its kind, it represents a flux-limited sample ($m_{i}$ ${\lesssim}$ 19.0 mag, $H$ ${\lesssim}$ 16.5 mag) of Sloan Digital Sky Survey (SDSS) quasars at 1.5 ${\lesssim}$ $z$ ${\lesssim}$ 3.5 with a monochromatic luminosity (${\lambda}L_{\lambda}$) at 5100 ${\unicode{xC5}}$ in the range of $10^{44} - 10^{46}$ erg $\rm{s}^{-1}$. A combination of the GNIRS and SDSS spectra covers principal quasar diagnostic features, chiefly the C IV ${\lambda}$1549, Mg II ${\lambda}{\lambda}$2798, 2803, H${\beta}$ ${\lambda}$4861, and [O III] ${\lambda}{\lambda}$4959, 5007 emission lines, in each source. The spectral inventory will be utilized primarily to develop prescriptions for obtaining more accurate and precise redshifts, black hole masses, and accretion rates for all quasars. Additionally, the measurements will facilitate an understanding of the dependence of rest-frame ultraviolet-optical spectral properties of quasars on redshift, luminosity, and Eddington ratio, and test whether the physical properties of the quasar central engine evolve over cosmic time.


title: HALO 1.0: A Hardware-agnostic Accelerator Orchestration Framework for Enabling Hardware-agnostic Programming with True Performance Portability for Heterogeneous HPC

abstract: This paper presents HALO 1.0, an open-ended extensible multi-agent software framework that implements a set of proposed hardware-agnostic accelerator orchestration (HALO) principles. HALO implements a novel compute-centric message passing interface (C^2MPI) specification for enabling the performance portable execution of a hardware-agnostic host application across heterogeneous accelerators. The experiment results of evaluating eight widely used HPC subroutines based on Intel Xeon E5-2620 CPUs, Intel Arria 10 GX FPGAs, and NVIDIA GeForce RTX 2080 Ti GPUs show that HALO 1.0 allows for a unified control flow for host programs to run across all the computing devices with a consistently top performance portability score, which is up to five orders of magnitude higher than the OpenCL-based solution.


title: Reinforcement learning with distance-based incentive/penalty (DIP) updates for highly constrained industrial control systems

abstract: Typical reinforcement learning (RL) methods show limited applicability for real-world industrial control problems because industrial systems involve various constraints and simultaneously require continuous and discrete control. To overcome these challenges, we devise a novel RL algorithm that enables an agent to handle a highly constrained action space. This algorithm has two main features. First, we devise two distance-based Q-value update schemes, incentive update and penalty update, in a distance-based incentive/penalty update technique to enable the agent to decide discrete and continuous actions in the feasible region and to update the value of these types of actions. Second, we propose a method for defining the penalty cost as a shadow price-weighted penalty. This approach affords two advantages compared to previous methods to efficiently induce the agent to not select an infeasible action. We apply our algorithm to an industrial control problem, microgrid system operation, and the experimental results demonstrate its superiority.


title: Experimental Assessment of Human-Robot Teaming for Multi-Step Remote Manipulation with Expert Operators

abstract: Remote robot manipulation with human control enables applications where safety and environmental constraints are adverse to humans (e.g. underwater, space robotics and disaster response) or the complexity of the task demands human-level cognition and dexterity (e.g. robotic surgery and manufacturing). These systems typically use direct teleoperation at the motion level, and are usually limited to low-DOF arms and 2D perception. Improving dexterity and situational awareness demands new interaction and planning workflows. We explore the use of human-robot teaming through teleautonomy with assisted planning for remote control of a dual-arm dexterous robot for multi-step manipulation tasks, and conduct a within-subjects experimental assessment (n=12 expert users) to compare it with other methods, resulting in the following four conditions: (A) Direct teleoperation with imitation controller + 2D perception, (B) Condition A + 3D perception, (C) Teleautonomy interface teleoperation + 2D & 3D perception, (D) Condition C + assisted planning. The results indicate that this approach (D) achieves task times comparable with direct teleoperation (A,B) while improving a number of other objective and subjective metrics, including re-grasps, collisions, and TLX workload metrics. When compared to a similar interface but removing the assisted planning (C), D reduces the task time and removes a significant interaction with the level of expertise of the operator, resulting in a performance equalizer across users.


title: Finite size effects in the microscopic critical properties of jammed configurations: A comprehensive study of the effects of different types of disorder

abstract: Jamming criticality defines a universality class that includes systems as diverse as glasses, colloids, foams, amorphous solids, constraint satisfaction problems, neural networks, etc. A particularly interesting feature of this class is that small interparticle forces ($f$) and gaps ($h$) are distributed according to nontrivial power laws. A recently developed mean-field (MF) theory predicts the characteristic exponents of these distributions in the limit of very high spatial dimension, $d\rightarrow\infty$ and, remarkably, their values seemingly agree with numerical estimates in physically relevant dimensions, $d=2$ and $3$. These exponents are further connected through a pair of inequalities derived from stability conditions, and both theoretical predictions and previous numerical investigations suggest that these inequalities are saturated. Systems at the jamming point are thus only marginally stable. Despite the key physical role played by these exponents, their systematic evaluation has yet to be attempted. Here, we carefully test their value by analyzing the finite-size scaling of the distributions of $f$ and $h$ for various particle-based models for jamming. Both dimension and the direction of approach to the jamming point are also considered. We show that, in all models, finite-size effects are much more pronounced in the distribution of $h$ than in that of $f$. We thus conclude that gaps are correlated over considerably longer scales than forces. Additionally, remarkable agreement with MF predictions is obtained in all but one model, namely near-crystalline packings. Our results thus help to better delineate the domain of the jamming universality class. We furthermore uncover a secondary linear regime in the distribution tails of both $f$ and $h$. This surprisingly robust feature is understood to follow from the (near) isostaticity of our configurations.


title: An Exploration of the Heterogeneous Unsourced MAC

abstract: The unsourced MAC model was originally introduced to study the communication scenario in which a number of devices with low-complexity and low-energy wish to upload their respective messages to a base station. In the original problem formulation, all devices communicate using the same information rate. This may be very inefficient in certain wireless situations with varied channel conditions, power budgets, and payload requirements at the devices. This paper extends the original problem setting so as to allow for such variability. More specifically, we consider the scenario in which devices are clustered into two classes, possibly with different SNR levels or distinct payload requirements. In the cluster with higher power,devices transmit using a two-layer superposition modulation. In the cluster with lower energy, users transmit with the same base constellation as in the high power cluster. Within each layer, devices employ the same codebook. At the receiver, signal groupings are recovered using Approximate Message Passing(AMP), and proceeding from the high to the low power levels using successive interference cancellation (SIC). This layered architecture is implemented using Coded Compressed Sensing(CCS) within every grouping. An outer tree code is employed to stitch fragments together across times and layers, as needed.This pragmatic approach to heterogeneous CCS is validated numerically and design guidelines are identified.


title: Tunable Tradeoff between Quantum and Classical Computation via Nonunitary Zeno-like Dynamics

abstract: We propose and analyze a nonunitary variant of the continuous time Grover search algorithm based on frequent Zeno-type measurements. We show that the algorithm scales similarly to the pure quantum version by deriving tight analytical lower bounds on its efficiency for arbitrary database sizes and measurement parameters. We also study the behavior of the algorithm subject to noise, and find that under certain oracle and operational errors our measurement-based algorithm outperforms the standard algorithm, showing robustness against these noises. Our analysis is based on deriving a non-hermitian effective description of the algorithm, which yields a deeper insight into components responsible for the quantum and the classical operation of the protocol.


title: Electt: running auditable and verifiable elections in untrusted environments

abstract: We present a system for running auditable and verifiable elections in untrusted environments. Votes are anonymous since the order of candidates on a ballot sheet is random. Tellers see only the position of the candidate. Voters can check their vote. An election is auditable using blockchain log. Threshold-encryption, which is used to implement the quorum, prevents a deadlock from occurring if a minority of candidates or observers tries to sabotage the election. Candidates and observers can indicate that the election was free and fair by exposing their keys, which are used by the system to decrypt each vote. Ballot sheets are encrypted by onion-routing, which has a layer with the key of the election instance, so it's impossible for a quorum to decode the results before they have announced their decision by exposing their keys. A register of voters ensures that only verified voters can vote without compromising their identity. If there any doubts about the identity of a voter, their vote can be excluded from the election, if a quorum agrees. This system is designed to scale from one instance to a distributed system that runs over an unlimited number of instances, which can be achieved using cloud instances or smartphones belonging to voters or tellers.


title: Indistinguishability right from the start in standard quantum mechanics

abstract: We discuss a reconstruction of standard quantum mechanics assuming indistinguishability right from the start, by appealing to quasi-set theory. After recalling the fundamental aspects of the construction and introducing some improvements in the original formulation, we extract some conclusions for the interpretation of quantum theory.


title: Evolving Search Space for Neural Architecture Search

abstract: The automation of neural architecture design has been a coveted alternative to human experts. Recent works have small search space, which is easier to optimize but has a limited upper bound of the optimal solution. Extra human design is needed for those methods to propose a more suitable space with respect to the specific task and algorithm capacity. To further enhance the degree of automation for neural architecture search, we present a Neural Search-space Evolution (NSE) scheme that iteratively amplifies the results from the previous effort by maintaining an optimized search space subset. This design minimizes the necessity of a well-designed search space. We further extend the flexibility of obtainable architectures by introducing a learnable multi-branch setting. By employing the proposed method, a consistent performance gain is achieved during a progressive search over upcoming search spaces. We achieve 77.3% top-1 retrain accuracy on ImageNet with 333M FLOPs, which yielded a state-of-the-art performance among previous auto-generated architectures that do not involve knowledge distillation or weight pruning. When the latency constraint is adopted, our result also performs better than the previous best-performing mobile models with a 77.9% Top-1 retrain accuracy.


title: Discovery of stable surfaces with extreme work functions by high-throughput density functional theory and machine learning

abstract: The work function is the key surface property that determines how much energy is required for an electron to escape the surface of a material. This property is crucial for thermionic energy conversion, band alignment in heterostructures, and electron emission devices. Here, we present a high-throughput workflow using density functional theory (DFT) to calculate the work function and cleavage energy of 33,631 slabs (58,332 work functions) that we created from 3,716 bulk materials, including up to ternary compounds. The number of materials for which we calculated surface properties surpasses the previously largest database, the Materials Project, by a factor of $\sim$27. On the tail ends of the work function distribution we identify 34 and 56 surfaces with an ultra-low (<2 eV) and ultra-high (>7 eV) work function, respectively. Further, we discover that the $(100)$-Ba-O surface of BaMoO$_3$ and the $(001)$-F surface of Ag$_2$F have record-low (1.25 eV) and record-high (9.06 eV) steady-state work functions without requiring coatings, respectively. Based on this database we develop a physics-based approach to featurize surfaces and use supervised machine learning to predict the work function. We find that physical choice of features improves prediction performance far more than choice of model. Our random forest model achieves a mean absolute test error of 0.09 eV, which is more than 6 times better than the baseline and comparable to the accuracy of DFT. This surrogate model enables rapid predictions of the work function ($\sim 10^5$ faster than DFT) across a vast chemical space and facilitates the discovery of material surfaces with extreme work functions for energy conversion, electronic applications, and contacts in 2-dimensional devices.


title: Controlled KK-theory I: a Milnor exact sequence

abstract: We introduce controlled $KK$-theory groups associated to a pair $A$, $B$ of separable $C^*$-algebras. Roughly, these consist of elements of the usual $K$-theory group $K_0(B)$ that approximately commute with elements of $A$. Our main results show that these groups are related to Kasparov's $KK$-groups by a Milnor exact sequence, in such a way that R\o{}rdam's $KL$-group is identified with an inverse limit of our controlled $KK$-groups. In the case that the $C^*$-algebras involved satisfy the UCT, our Milnor exact sequence agrees with the Milnor sequence associated to a $KK$-filtration in the sense of Schochet, although our results are independent of the UCT. Applications to the UCT will be pursued in subsequent work.


title: Gain-assisted critical coupling for enhanced optical absorption in graphene

abstract: Enhanced optical absorption in two-dimensional (2D) materials has recently moved into the focus of nanophotonics research. In this work, we present a gain-assisted method to achieve critical coupling and demonstrate the maximum absorption in undoped monolayer graphene in the near-infrared. In a two-port system composed of photonic crystal slab loaded with graphene, the gain medium is introduced to adjust the dissipative rate to match the radiation rate for the critical coupling, which is accessible without changing the original structural geometry. The appropriate tuning of the gain coefficient also enables the critical coupling absorption within a wide wavelength regime for different coupling configurations. This work provides a powerful guide to manipulate light-matter interaction in 2D materials and opens up a new path to design ultra-compact and high-performance 2D material optical devices.


title: Improved quantum data analysis

abstract: We provide more sample-efficient versions of some basic routines in quantum data analysis, along with simpler proofs. Particularly, we give a quantum "Threshold Search" algorithm that requires only $O((\log^2 m)/\epsilon^2)$ samples of a $d$-dimensional state $\rho$. That is, given observables $0 \le A_1, A_2, ..., A_m \le 1$ such that $\mathrm{tr}(\rho A_i) \ge 1/2$ for at least one $i$, the algorithm finds $j$ with $\mathrm{tr}(\rho A_j) \ge 1/2-\epsilon$. As a consequence, we obtain a Shadow Tomography algorithm requiring only $\tilde{O}((\log^2 m)(\log d)/\epsilon^4)$ samples, which simultaneously achieves the best known dependence on each parameter $m$, $d$, $\epsilon$. This yields the same sample complexity for quantum Hypothesis Selection among $m$ states; we also give an alternative Hypothesis Selection method using $\tilde{O}((\log^3 m)/\epsilon^2)$ samples.


title: Video SemNet: Memory-Augmented Video Semantic Network

abstract: Stories are a very compelling medium to convey ideas, experiences, social and cultural values. Narrative is a specific manifestation of the story that turns it into knowledge for the audience. In this paper, we propose a machine learning approach to capture the narrative elements in movies by bridging the gap between the low-level data representations and semantic aspects of the visual medium. We present a Memory-Augmented Video Semantic Network, called Video SemNet, to encode the semantic descriptors and learn an embedding for the video. The model employs two main components: (i) a neural semantic learner that learns latent embeddings of semantic descriptors and (ii) a memory module that retains and memorizes specific semantic patterns from the video. We evaluate the video representations obtained from variants of our model on two tasks: (a) genre prediction and (b) IMDB Rating prediction. We demonstrate that our model is able to predict genres and IMDB ratings with a weighted F-1 score of 0.72 and 0.63 respectively. The results are indicative of the representational power of our model and the ability of such representations to measure audience engagement.


title: A Workbench for Testing and Simulation Faults in Three-phase Electric Motors with Intelligent Electronic Device and Microcontrolled System

abstract: Electric motors can be damaged or operate improperly from a possible set of failures. Such failures are related to high or very low voltage and current levels, phase loss or blocked rotor. Therefore, it is important to protect these equipments through appropriate mechanisms. Alternatively, a workbench can simulate detectable failures related to the engines, allowing to change parameters, in which maintenance operators are able to identify the results of these changes. This work presents the development of a workbench as a tool for testing electrical machines and drives. The workbench is based on the Arduino programming platform (microcontroller system), in which it checks the functioning of electric motors under the condition of failures that may occur in this engine. Motor protections are carried out through an Intelligent Electronic Device (IED), which are popularly known as intelligent relays. The results show the development of a workbench that can test and identify several faults in a small three-phase motor.


title: BigBen: Telemetry Processing for Internet-wide Event Monitoring

abstract: This paper describes BigBen, a network telemetry processing system designed to enable accurate and timely reporting of Internet events (e.g., outages, attacks and configuration changes). BigBen is distinct from other Internet-wide event detection systems in its use of passive measurements of Network Time Protocol (NTP) traffic. We describe the architecture of BigBen, which includes (i) a distributed NTP traffic collection component, (ii) an Extract Transform Load (ETL) component, (iii) an event identification component, and (iv) a visualization and reporting component. We also describe a cloud-based implementation of BigBen developed to process large NTP data sets and provide daily event reporting. We demonstrate BigBen on a 15.5TB corpus of NTP data. We show that our implementation is efficient and could support hourly event reporting. We show that BigBen identifies a wide range of Internet events characterized by their location, scope and duration. We compare the events detected by BigBen vs. events detected by a large active probe-based detection system. We find only modest overlap and show how BigBen provides details on events that are not available from active measurements. Finally, we report on the perspective that BigBen provides on Internet events that were reported by third parties. In each case, BigBen confirms the event and provides details that were not available in prior reports, highlighting the utility of the passive, NTP-based approach.


title: Third ArchEdge Workshop: Exploring the Design Space of Efficient Deep Neural Networks

abstract: This paper gives an overview of our ongoing work on the design space exploration of efficient deep neural networks (DNNs). Specifically, we cover two aspects: (1) static architecture design efficiency and (2) dynamic model execution efficiency. For static architecture design, different from existing end-to-end hardware modeling assumptions, we conduct full-stack profiling at the GPU core level to identify better accuracy-latency trade-offs for DNN designs. For dynamic model execution, different from prior work that tackles model redundancy at the DNN-channels level, we explore a new dimension of DNN feature map redundancy to be dynamically traversed at runtime. Last, we highlight several open questions that are poised to draw research attention in the next few years.


title: A hybrid inequality for the number of divisors of an integer

abstract: We establish an explicit inequality for the number of divisors of an integer $n$. It uses the size of $n$ and its number of distinct prime divisors.


title: Intercorrelated ferroelectrics in 2D van der Waals materials

abstract: 2D intercorrelated ferroelectrics, exhibiting a coupled in-plane and out-of-plane ferroelectricity, is a fundamental phenomenon in the field of condensed-mater physics. The current research is based on the paradigm of bi-directional inversion asymmetry in single-layers, which restricts 2D intercorrelated ferroelectrics to extremely few systems. Herein, we propose a new scheme for achieving 2D intercorrelated ferroelectrics using van der Waals (vdW) interaction, and apply this scheme to a vast family of 2D vdW materials. Using first-principles, we demonstrate that 2D vdW multilayers-for example, BN, MoS2, InSe, CdS, PtSe2, TI2O, SnS2, Ti2CO2 etc.- can exhibit coupled in-plane and out-of-plane ferroelectricity, thus yielding 2D intercorrelated ferroelectricsferroelectric physics. We further predict that such intercorrelated ferroelectrics could demonstrate many distinct properties, for example, electrical full control of spin textures in trilayer PtSe2 and electrical permanent control of valley-contrasting physics in four-layer VS2. Our finding opens a new direction for 2D intercorrelated ferroelectric research.


title: Multi-Agent Reinforcement Learning for Markov Routing Games: A New Modeling Paradigm For Dynamic Traffic Assignment

abstract: This paper aims to develop a paradigm that models the learning behavior of intelligent agents (including but not limited to autonomous vehicles, connected and automated vehicles, or human-driven vehicles with intelligent navigation systems where human drivers follow the navigation instructions completely) with a utility-optimizing goal and the system's equilibrating processes in a routing game among atomic selfish agents. Such a paradigm can assist policymakers in devising optimal operational and planning countermeasures under both normal and abnormal circumstances. To this end, we develop a Markov routing game (MRG) in which each agent learns and updates her own en-route path choice policy while interacting with others in transportation networks. To efficiently solve MRG, we formulate it as multi-agent reinforcement learning (MARL) and devise a mean field multi-agent deep Q learning (MF-MA-DQL) approach that captures the competition among agents. The linkage between the classical DUE paradigm and our proposed Markov routing game (MRG) is discussed. We show that the routing behavior of intelligent agents is shown to converge to the classical notion of predictive dynamic user equilibrium (DUE) when traffic environments are simulated using dynamic loading models (DNL). In other words, the MRG depicts DUEs assuming perfect information and deterministic environments propagated by DNL models. Four examples are solved to illustrate the algorithm efficiency and consistency between DUE and the MRG equilibrium, on a simple network without and with spillback, the Ortuzar Willumsen (OW) Network, and a real-world network near Columbia University's campus in Manhattan of New York City.


title: Hierachical Delta-Attention Method for Multimodal Fusion

abstract: In vision and linguistics; the main input modalities are facial expressions, speech patterns, and the words uttered. The issue with analysis of any one mode of expression (Visual, Verbal or Vocal) is that lot of contextual information can get lost. This asks researchers to inspect multiple modalities to get a thorough understanding of the cross-modal dependencies and temporal context of the situation to analyze the expression. This work attempts at preserving the long-range dependencies within and across different modalities, which would be bottle-necked by the use of recurrent networks and adds the concept of delta-attention to focus on local differences per modality to capture the idiosyncrasy of different people. We explore a cross-attention fusion technique to get the global view of the emotion expressed through these delta-self-attended modalities, in order to fuse all the local nuances and global context together. The addition of attention is new to the multi-modal fusion field and currently being scrutinized for on what stage the attention mechanism should be used, this work achieves competitive accuracy for overall and per-class classification which is close to the current state-of-the-art with almost half number of parameters.


title: Spatio-Temporal Visualization of Interdependent Battery Bus Transit and Power Distribution Systems

abstract: The high penetration of transportation electrification and its associated charging requirements magnify the interdependency of the transportation and power distribution systems. The emergent interdependency requires that system operators fully understand the status of both systems. To this end, a visualization tool is presented to illustrate the interdependency of battery bus transit and power distribution systems and the associated components. The tool aims at monitoring components from both systems, such as the locations of electric buses, the state of charge of batteries, the price of electricity, voltage, current, and active/reactive power flow. The results showcase the success of the visualization tool in monitoring the bus transit and power distribution components to determine a reliable cost-effective scheme for spatio-temporal charging of electric buses.


title: Dissecting localization phenomena of dynamical processes on networks

abstract: Localization phenomena permeate many branches of physics playing a fundamental role on dynamical processes evolving on heterogeneous networks. These localization analyses are frequently grounded, for example, on eigenvectors of adjacency or non-backtracking matrices which emerge in theories of dynamic processes near to an active to inactive transition. We advance in this problem gauging nodal activity to quantify the localization in dynamical processes on networks whether they are near to a transition or not. The method is generic and applicable to theory, stochastic simulations, and real data. We investigate spreading processes on a wide spectrum of networks, both analytically and numerically, showing that nodal activity can present complex patterns depending on the network structure. Using annealed networks we show that a localized state at the transition and an endemic phase just above it are not incompatible features of a spreading process. We also report that epidemic prevalence near to the transition is determined by the delocalized component of the network even when the analysis of the inverse participation ratio indicates a localized activity. Also, dynamical processes with distinct critical exponents can be described by the same localization pattern. Turning to quenched networks, a more complex picture, depending on the type of activation and on the range of degree exponent, is observed and discussed. Our work paves an important path for investigation of localized activity in spreading and other processes on networks.


title: Applying Multi-armed Bandit Algorithms to Computational Advertising

abstract: Over the last two decades, we have seen extensive industrial research in the area of computational advertising. In this paper, our goal is to study the performance of various online learning algorithms to identify and display the best ads/offers with the highest conversion rates to web users. We formulate our ad-selection problem as a Multi-Armed Bandit problem which is a classical paradigm in Machine Learning. We have been applying machine learning, data mining, probability, and statistics to analyze big data in the ad-tech space and devise efficient ad selection strategies. This article highlights some of our findings in the area of computational advertising from 2011 to 2015.


title: A Bayesian Account of Measures of Interpretability in Human-AI Interaction

abstract: Existing approaches for the design of interpretable agent behavior consider different measures of interpretability in isolation. In this paper we posit that, in the design and deployment of human-aware agents in the real world, notions of interpretability are just some among many considerations; and the techniques developed in isolation lack two key properties to be useful when considered together: they need to be able to 1) deal with their mutually competing properties; and 2) an open world where the human is not just there to interpret behavior in one specific form. To this end, we consider three well-known instances of interpretable behavior studied in existing literature -- namely, explicability, legibility, and predictability -- and propose a revised model where all these behaviors can be meaningfully modeled together. We will highlight interesting consequences of this unified model and motivate, through results of a user study, why this revision is necessary.


title: Graphene-Based Electromechanical Thermal Switches

abstract: Thermal management is an important challenge in modern electronics, avionics, automotive, and energy storage systems. While passive thermal solutions (like heat sinks or heat spreaders) are often used, actively modulating heat flow (e.g. via thermal switches or diodes) would offer additional degrees of control over the management of thermal transients and system reliability. Here we report the first thermal switch based on a flexible, collapsible graphene membrane, with low operating voltage, < 2 V. We also employ active-mode scanning thermal microscopy (SThM) to measure the device behavior and switching in real time. A compact analytical thermal model is developed for the general case of a thermal switch based on a double-clamped suspended membrane, highlighting the thermal and electrical design challenges. System-level modeling demonstrates the thermal trade-offs between modulating temperature swing and average temperature as a function of switching ratio. These graphene-based thermal switches present new opportunities for active control of fast (even nanosecond) thermal transients in densely integrated systems.


title: Decoding the nature of $Z_{cs}(3985)$ and establishing the spectrum of charged heavy quarkoniumlike states in chiral effective field theory

abstract: We study the newly observed charmoniumlike state $Z_{cs}(3985)$ in the framework of chiral effective field theory. The interaction kernel of the $\bar{D}_sD^\ast/\bar{D}^\ast_sD$ system is calculated up to the next-to-leading order with the explicit chiral dynamics. With the fitted parameters extracted from the $Z_c(3900)$ data as inputs, the mass, width and event distributions of the $Z_{cs}(3985)$ are very consistent with the experimental measurements. Our studies strongly support the $Z_{cs}(3985)$ as the partner of the $Z_c(3900)$ in the SU(3)$_f$ symmetry and the $\bar{D}_sD^\ast/\bar{D}^\ast_sD$ molecular resonance with the same dynamical origin as the other charged heavy quarkoniumlike states. We precisely predict the resonance parameters of the unobserved states in $\bar{D}_s^\ast D^\ast$, $B^\ast_s \bar{B}/B_s\bar{B}^\ast$ and $B_s^\ast\bar{B}^\ast$ systems, and establish a complete spectrum of the charged charmoniumlike and bottomoniumlike states with the $I(J^P)$ quantum numbers $1(1^+)$ and $\frac{1}{2}(1^+)$, respectively.


title: Built-in Electric-Field-Control of Magnetic Coupling in van der Waals semiconductors

abstract: Electrical control of magnetism in a two-dimensional (2D) semiconductor is of great interest for emerging nanoscale low-dissipation spintronic devices. Here, we propose a general approach of tuning magnetic coupling and anisotropy of a van der Waals (vdW) 2D magnetic semiconductor via a built-in electric field generated by the adsorption of superatomic ions. Using first-principles calculations, we predict a significant enhancement of ferromagnetic (FM) coupling and a great change of magnetic anisotropy in 2D semiconductors when they are sandwiched between superatomic cations and anions. The magnetic coupling is directly affected by the built-in electric field, which lifts the energy levels of mediated ligands' orbitals and enhances the super-exchange interactions. These findings will be of interest for ionic gating controlled ferromagnets and magnetoelectronics based on vdW 2D semiconductors.


title: A new algorithm for computing $\mu$-bases of the univariate polynomial vector

abstract: In this paper, we characterized the relationship between Groebner bases and u-bases: any minimal Groebner basis of the syzygy module for n univariate polynomials with respect to the term-over-position monomial order is its u-basis. Moreover, based on the gcd computation, we construct a free basis of the syzygy module by the recursive way. According to this relationship and the constructed free basis, a new algorithm for computing u-bases of the syzygy module is presented. The theoretical complexity of the algorithm is O(n^3d^2) under a reasonable assumption, where d is the maximum degree of the input n polynomials. We have implemented this algorithm (MinGb) in Maple. Experimental data and performance comparison with the existing algorithms developed by Song and Goldman (2009) (SG algorithm) and Hong et al. (2017) (HHK algorithm) show that MinGb algorithm is more efficient than SG algorithm when n and d are sufficiently large, while MinGb algorithm and HHK algorithm both have their own advantages.