title: Spin-triplet superconductor$-$quantum anomalous Hall insulator$-$spin-triplet superconductor Josephson junctions: $0$-$\pi$ transition, $\phi_{0}$ phase and switch effects

abstract: We study the Josephson effect in spin-triplet superconductor$-$quantum anomalous Hall insulator$-$spin-triplet superconductor junctions using the nonequilibrium Green function method. The current-phase difference relations show strong dependence on the orientations of the $\bf{d}$-vectors in superconductors. We focus on two $\bf{d}$-vector configurations, the parallel one with the left and right ${\bf{d}}$-vectors being in the same direction, and the nonparallel one with the left ${\bf{d}}$-vector fixed at the $z$-axis. For the parallel configuration, the $0$-$\pi$ transition can be realized when one rotates the ${\bf{d}}$-vectors from the parallel to the junction plane to the perpendicular direction. The $\phi_{0}$ phase with nonzero Josephson current at zero phase difference can be obtained as long as ${d_{x}}{d_{z}}\ne0$. For the nonparallel configuration, the $0$-$\pi$ transition and the $\phi_{0}$ phase still exist. The condition for the formation of the $\phi_{0}$ phase becomes $d_{Rx}\ne0$. The switch effects of the Josephson current are found in both configurations when the ${\bf{d}}$-vectors are rotated in the $xy$ plane. Furthermore, the symmetries satisfied by the current-phase difference relations are analysed in details by the operations of the time-reversal, mirror-reflections, the spin-rotation and the gauge transformation, which can well explain the above selection rules for the $\phi_{0}$ phase. Our results reveal the peculiar Josephson effect between spin-triplet superconductors and the quantum anomalous Hall insulator, which provide helpful phases and effects for the device designs. The distinct current-phase difference relations for different orientations may be used to determine the direction of the ${\bf{d}}$-vector in the spin-triplet superconductor.


title: Clustering with general photo-$z$ uncertainties: Application to Baryon Acoustic Oscillations

abstract: Photometric data can be analyzed using the three-dimensional correlation function $\xi_{\rm p}$ to extract cosmological information via e.g., measurement of the Baryon Acoustic Oscillations (BAO). Previous studies modeled $\xi_{\rm p} $ assuming a Gaussian photo-$z$ approximation. In this work we improve the modeling by incorporating realistic photo-$z$ distribution. We show that the position of the BAO scale in $\xi_{\rm p}$ is determined by the photo-$z$ distribution and the Jacobian of the transformation. The latter diverges at the transverse scale of the separation $s_\perp $, and it explains why $\xi_{\rm p } $ traces the underlying correlation function at $s_\perp $, rather than $s$, when the photo-$z$ uncertainty $ \sigma_z / (1+ z) \gtrsim 0.02$. We also obtain the Gaussian covariance for $\xi_{\rm p}$. Due to photo-$z$ mixing, the covariance of $\xi_{\mathrm{p}}$ shows strong off-diagonal elements. The high correlation of the data causes some issues to the data fitting. Nonetheless, we find that either it can be solved by suppressing the largest eigenvalues of the covariance or it is not directly related to the BAO. We test our BAO fitting pipeline using a set of mock catalogs. The data set is dedicated for Dark Energy Survey Year 3 (DES Y3) BAO analyses and includes realistic photo-$z$ distributions. The theory template is in good agreement with mock measurement. Based on the DES Y3 mocks, $\xi_{\rm p}$ statistic is forecast to constrain the BAO shift parameter $\alpha$ to be $1.001 \pm 0.023$, which is well consistent with the corresponding constraint derived from the angular correlation function measurements. Thus $\xi_{\rm p}$ offers a competitive alternative for the photometric data analyses.


title: Non-existence of negative curves

abstract: Let $X$ be a projective toric surface of Picard number one blown up at a general point. We bring an infinite family of examples of such $X$ whose Kleiman-Mori cone of curves is not closed: there is no negative curve generating one of the two boundary rays of the cone. These examples are related to Nagata's conjecture and rationality of Seshadri constants.


title: Spontaneous Magnetic Fluctuations and Collisionless Regulation of Turbulence in the Earth's Magnetotail

abstract: Among the fundamental and most challenging problems of laboratory, space, and astrophysical plasma physics is to understand the relaxation processes of nearly collisionless plasmas toward quasi-stationary states; and the resultant states of electromagnetic plasma turbulence. Recently, it has been argued that solar wind plasma $\beta$ and temperature anisotropy observations may be regulated by kinetic instabilities such as the ion-cyclotron, mirror, electron-cyclotron, and firehose instabilities; and that magnetic fluctuation observations are consistent with the predictions of the Fluctuation-Dissipation theorem, even far below the kinetic instability thresholds. Here, using in-situ magnetic field and plasma measurements by the THEMIS satellite mission, we show that such regulation seems to occur also in the Earth's magnetotail plasma sheet at the ion and electron scales. Regardless of the clear differences between the solar wind and the magnetotail environments, our results indicate that spontaneous fluctuations and their collisionless regulation are fundamental features of space and astrophysical plasmas, thereby suggesting the processes is universal.


title: A self-consistent multi-component model of plasma turbulence and kinetic neutral dynamics for the simulation of the tokamak boundary

abstract: A self-consistent model is presented for the simulation of a multi-component plasma in the tokamak boundary. A deuterium plasma is considered, with the plasma species that include electrons, deuterium atomic ions and deuterium molecular ions, while the deuterium atoms and molecules constitute the neutral species. The plasma and neutral models are coupled via a number of collisional interactions, which include dissociation, ionization, charge-exchange and recombination processes. The derivation of the three-fluid drift-reduced Braginskii equations used to describe the turbulent plasma dynamics is presented, including its boundary conditions. The kinetic advection equations for the neutral species are also derived, and their numerical implementation discussed. The first results of multi-component plasma simulations carried out by using the GBS code are then presented and analyzed, being compared with results obtained with the single-component plasma model.


title: Gaussian Mixture Model Based Distributionally Robust Optimal Power Flow With CVaR Constraints

abstract: This paper proposes a distributionally robust optimal power flow (OPF) model for transmission grids with wind power generation. The model uses the conditional value-at-risk (CVaR) constraints to control the reserve and branch flow limit violations caused by wind power forecast errors. Meanwhile, the Gaussian mixture model (GMM) is integrated into the CVaR constraints to guard against the non-Gaussian forecast error distributions. Unlike the previous studies considering the GMM with fixed parameters, this paper allows the GMM parameters to be variable within some credible regions and develops a data-driven GMM-based ambiguity set to achieve the distributional robustness. Also, rather than using the traditional sample-based approximation of CVaR with high computational burden, this paper designs a scalable cutting-plane algorithm to handle the distributionally robust CVaR constraints. Case studies on the IEEE 2736-bus system show the effectiveness and scalability of the proposed OPF model.


title: Robust Ellipsoid-specific Fitting via Expectation Maximization

abstract: Ellipsoid fitting is of general interest in machine vision, such as object detection and shape approximation. Most existing approaches rely on the least-squares fitting of quadrics, minimizing the algebraic or geometric distances, with additional constraints to enforce the quadric as an ellipsoid. However, they are susceptible to outliers and non-ellipsoid or biased results when the axis ratio exceeds certain thresholds. To address these problems, we propose a novel and robust method for ellipsoid fitting in a noisy, outlier-contaminated 3D environment. We explicitly model the ellipsoid by kernel density estimation (KDE) of the input data. The ellipsoid fitting is cast as a maximum likelihood estimation (MLE) problem without extra constraints, where a weighting term is added to depress outliers, and then effectively solved via the Expectation-Maximization (EM) framework. Furthermore, we introduce the vector {\epsilon} technique to accelerate the convergence of the original EM. The proposed method is compared with representative state-of-the-art approaches by extensive experiments, and results show that our method is ellipsoid-specific, parameter free, and more robust against noise, outliers, and the large axis ratio. Our implementation is available at https://zikai1.github.io/.


title: Computationally Efficient Zero Noise Extrapolation for Quantum Gate Error Mitigation

abstract: Zero noise extrapolation (ZNE) is a widely used technique for gate error mitigation on near term quantum computers because it can be implemented in software and does not require knowledge of the quantum computer noise parameters. Traditional ZNE requires a significant resource overhead in terms of quantum operations. A recent proposal using a targeted (or random) instead of fixed identity insertion method (RIIM versus FIIM) requires significantly fewer quantum gates for the same formal precision. We start by showing that RIIM can allow for ZNE to be deployed on deeper circuits than FIIM, but requires many more measurements to maintain the same statistical uncertainty. We develop two extensions to FIIM and RIIM. The List Identity Insertion Method (LIIM) allows to mitigate the error from certain CNOT gates, typically those with the largest error. Set Identity Insertion Method (SIIM) naturally interpolates between the measurement-efficient FIIM and the gate-efficient RIIM, allowing to trade off fewer CNOT gates for more measurements. Finally, we investigate a way to boost the number of measurements, namely to run ZNE in parallel, utilizing as many quantum devices as are available. We explore the performance of RIIM in a parallel setting where there is a non-trivial spread in noise across sets of qubits within or across quantum computers.


title: EMISSA -- Exploring Millimeter Indicators of Solar-Stellar Activity I. The Initial mm-cm Main Sequence Star Sample

abstract: Due to their wide wavelength coverage across the millimetre to centimetre (mm - cm) range and their increased sensitivity, modern interferometric arrays facilitate observations of the thermal and non-thermal emission from different stellar atmospheric layers. We study the spectral energy distribution ($S_{obs}(\nu)$) of main sequence stars using archival mm - cm data with the aim to study their atmospheric stratification as a function of stellar type. The main-sequence stars with significant detection in mm bands were identified in the ALMA Science Archive. These data were complemented with spectral flux data in the Ultra violet to centimetre range as compiled from various catalogues and observatory archives. We compare the resultant $S_{obs}(\nu)$ of each star with a photospheric emission model ($S_{mod}(\nu)$) calculated with the PHOENIX code. The departures of $S_{obs}(\nu)$ from the model are quantified in terms of a "spectral flux excess" parameter ($\Delta S/S_{mod} (\nu)$) for every star in the sample. The initial sample consists of 12 stars across a range of spectral type from A1 to M3.5 and the Sun-as-a-star as reference. The stars with $T_{eff} = 4000 - 7000\,K$ (F - M type) showed a systematically higher $\Delta S/S_{mod}$ in the mm - cm range, with the values rising with decreasing $\nu$. The steepness of this rise is higher for cooler stars, though the fully convective 3000 K star in the sample deviated from this trend. For the A-type stars, $\Delta S/S_{mod} \sim 0$ within errors. The high $\Delta S/S_{mod}$ in cool stars points to the presence of hotter upper atmospheric layers, i.e. a chromosphere and corona, like for the Sun. The mm - cm $\Delta S/S_{mod}$ spectrum offers a way to estimate the efficiency of the heating mechanisms across various atmospheric layers and thereby to understand their structure and activity. We emphasise the need for more mm - cm data.


title: Decentralized Multi-Target Cross-Domain Recommendation for Multi-Organization Collaborations

abstract: Recommender Systems (RSs) are operated locally by different organizations in many realistic scenarios. If various organizations can fully share their data and perform computation in a centralized manner, they may significantly improve the accuracy of recommendations. However, collaborations among multiple organizations in enhancing the performance of recommendations are primarily limited due to the difficulty of sharing data and models. To address this challenge, we propose Decentralized Multi-Target Cross-Domain Recommendation (DMTCDR) with Multi-Target Assisted Learning (MTAL) and Assisted AutoEncoder (AAE). Our method can help multiple organizations collaboratively improve their recommendation performance in a decentralized manner without sharing sensitive assets. Consequently, it allows decentralized organizations to collaborate and form a community of shared interest. We conduct extensive experiments to demonstrate that the new method can significantly outperform locally trained RSs and mitigate the cold start problem.


title: How Should AI Interpret Rules? A Defense of Minimally Defeasible Interpretive Argumentation

abstract: Can artificially intelligent systems follow rules? The answer might seem an obvious `yes', in the sense that all (current) AI strictly acts in accordance with programming code constructed from highly formalized and well-defined rulesets. But here I refer to the kinds of rules expressed in human language that are the basis of laws, regulations, codes of conduct, ethical guidelines, and so on. The ability to follow such rules, and to reason about them, is not nearly as clear-cut as it seems on first analysis. Real-world rules are unavoidably rife with open-textured terms, which imbue rules with a possibly infinite set of possible interpretations. Narrowing down this set requires a complex reasoning process that is not yet within the scope of contemporary AI. This poses a serious problem for autonomous AI: If one cannot reason about open-textured terms, then one cannot reason about (or in accordance with) real-world rules. And if one cannot reason about real-world rules, then one cannot: follow human laws, comply with regulations, act in accordance with written agreements, or even obey mission-specific commands that are anything more than trivial. But before tackling these problems, we must first answer a more fundamental question: Given an open-textured rule, what is its correct interpretation? Or more precisely: How should our artificially intelligent systems determine which interpretation to consider correct? In this essay, I defend the following answer: Rule-following AI should act in accordance with the interpretation best supported by minimally defeasible interpretive arguments (MDIA).


title: Concordance of decompositions given by defining sequences

abstract: We study the concordance and bordism of decompositions associated with defining sequences and we relate them to some invariants of toroidal decompositions and to the cobordism of homology manifolds. These decompositions are often wild Cantor sets and they arise as nested intersections of knotted solid tori. We show that there are at least uncountably many concordance classes of such decompositions in the 3-sphere.


title: The Role of the Scrum Master in an Industry based University Course

abstract: Background: Scrum is the most commonly used agile software development method, and the role of the Scrum Master (SM) in a Scrum environment is vital. Therefore, through an industry based university course for final year undergraduate and masters students, we aimed to give students both theoretical and practical understanding of the role of SM via hands-on experience on playing the role in real-world Scrum contexts. Method: We asked them (92 students) to share their experiences and learnings on the role of SM through reflective surveys and essays. Students participated in reflective surveys (311 survey responses) over 5 weeks in the course, and they submitted essays (92 essays) at the end of the course. We used a mixed-methods approach using Socio-Technical Grounded Theory analysis techniques and trend and regression based statistical analysis to analyse the survey responses and the essays. Findings: We identified the key responsibilities and duties of the SM, common challenges faced by the SM and the team due to the role of the SM, root causes of the challenges, strategies used by the SM and the team to overcome the challenges, and the overall experience of the students. Based on the results, we present recommendations for educators.


title: Sinusoidal Flow: A Fast Invertible Autoregressive Flow

abstract: Normalising flows offer a flexible way of modelling continuous probability distributions. We consider expressiveness, fast inversion and exact Jacobian determinant as three desirable properties a normalising flow should possess. However, few flow models have been able to strike a good balance among all these properties. Realising that the integral of a convex sum of sinusoidal functions squared leads to a bijective residual transformation, we propose Sinusoidal Flow, a new type of normalising flows that inherits the expressive power and triangular Jacobian from fully autoregressive flows while guaranteed by Banach fixed-point theorem to remain fast invertible and thereby obviate the need for sequential inversion typically required in fully autoregressive flows. Experiments show that our Sinusoidal Flow is not only able to model complex distributions, but can also be reliably inverted to generate realistic-looking samples even with many layers of transformations stacked.


title: Positive curvature and discrete abelian symmetry

abstract: By replacing the torus with an elementary abelian two-group, we generalize the maximal symmetry result of Grove and Searle and the half-maximal symmetry result of Wilking for positively curved manifolds with an isometric torus action.


title: Exploring eFPGA-based Redaction for IP Protection

abstract: Recently, eFPGA-based redaction has been proposed as a promising solution for hiding parts of a digital design from untrusted entities, where legitimate end-users can restore functionality by loading the withheld bitstream after fabrication. However, when deciding which parts of a design to redact, there are a number of practical issues that designers need to consider, including area and timing overheads, as well as security factors. Adapting an open-source FPGA fabric generation flow, we perform a case study to explore the trade-offs when redacting different modules of open-source intellectual property blocks (IPs) and explore how different parts of an eFPGA contribute to the security. We provide new insights into the feasibility and challenges of using eFPGA-based redaction as a security solution.


title: Morphology of multiple constant height hydraulic fractures versus propagation regime

abstract: The purpose of this study is to investigate morphology of simultaneously propagating hydraulic fractures. Simultaneous propagation of hydraulic fractures occurs during stimulation of horizontal wells, and, in particular, several initiation points or perforation intervals along the well are often used to promote the growth of multiple hydraulic fractures at the same time. Numerical simulations demonstrate that there are situations, in which stress interaction between the fractures is minimal and this results in a very similar geometry of each fracture. At the same time, for some other parameters, the stress interaction is very strong, so that the fractures interact with each other and develop complex shapes. By focusing on the constant height hydraulic fractures, it is shown that there is a dimensionless parameter that controls such a behavior. In particular, fractures propagating in the toughness dominated regime lead to complex shapes, while when fluid viscosity dominates the response, then the fractures are more regular and uniform. A series of numerical examples is presented to illustrate the findings.


title: Graph? Yes! Which one? Help!

abstract: Amazon Neptune is a graph database service that supports two graph (meta)models: W3C's Resource Description Framework (RDF) and Labeled Property Graphs (LPG). Customers opt in for one or the other model, and this choice determines which data modeling features can be used, and - perhaps more importantly - which query languages are available to query and manipulate the graph. The choice between the two technology stacks is difficult and requires consideration of data modeling aspects, query language features, their adequacy for current and future use cases, as well as many other factors (including developer preferences). Sometimes we see customers make the wrong choice with no easy way to reverse it later. It is therefore highly desirable that the choice of the query language can be made without consideration of what graph model is chosen, and can be easily revised or complemented at a later point. In this paper, we advocate and explore the idea of a single, unified graph data model that embraces both RDF and LPGs, and naturally supports different graph query languages on top. We investigate obstacles towards unifying the two graph data models, and propose an initial unifying model, dubbed "one graph" ("1G" for short), as the basis for moving forward.


title: Cell Zooming with Masked Data for Off-Grid Small Cell Networks: Distributed Optimization Approach

abstract: Cell zooming has been becoming an essential enabler for off-grid small cell networks. Traditional models often utilize the numbers of active users in order to determine cell zooming strategies. However, such confidential measurement data must be concealed from others. We therefore propose a novel cell zooming method with masking noise. The proposed algorithm is designed based on distributed optimization, in which each SBS locally solves a divided optimization problem and learns how much a global constraint is satisfied or violated for temporal solutions. The important feature of this distributed control method is robustness against masking noise. We analyze the trade-off between confidentiality and optimization accuracy, using the notion of differential privacy. Numerical simulations show that the proposed distributed control method outperforms a standard centralized control method in the presence of masking noise.


title: Polynomial Integrality Gap of Flow LP for Directed Steiner Tree

abstract: In the Directed Steiner Tree (DST) problem, we are given a directed graph $G=(V,E)$ on $n$ vertices with edge-costs $c \in \mathbb{R}_{\geq 0}^E$, a root vertex $r \in V$, and a set $K \subseteq V \setminus \{r\}$ of $k$ terminals. The goal is to find a minimum-cost subgraph of $G$ that contains a path from $r$ to every terminal $t \in K$. DST has been a notorious problem for decades as there is a large gap between the best-known polynomial-time approximation ratio of $O(k^\epsilon)$ for any constant $\epsilon > 0$, and the best quasi-polynomial-time approximation ratio of $O\left(\frac{\log^2 k}{\log \log k}\right)$. Towards understanding this gap, we study the integrality gap of the standard flow LP relaxation for the problem. We show that the LP has an integrality gap of $\Omega(n^{0.0418})$. Previously, the integrality gap of the LP is only known to be $\Omega\left(\frac{\log^2n}{\log\log n}\right)$ [Halperin~et~al., SODA'03 \& SIAM J.~Comput.] and $\Omega(\sqrt{k})$ [Zosin-Khuller, SODA'02] in some instance with $\sqrt{k}=O\left(\frac{\log n}{\log \log n}\right)$. Our result gives the first known lower bound on the integrality gap of this standard LP that is polynomial in $n$, the number of vertices. Consequently, we rule out the possibility of developing a poly-logarithmic approximation algorithm for the problem based on the flow LP relaxation.


title: Pseudospin Paramagnons and the Superconducting Dome in Magic Angle Twisted Bilayer Graphene

abstract: We present a theory of superconductivity in twisted bilayer graphene in which attraction is generated between electrons on the same honeycomb sublattice when the system is close to a sublattice polarization instability. The resulting Cooper pairs are spin-polarized valley-singlets. Because the sublattice polarizability is mainly contributed by interband fluctuations, superconductivity occurs over a wide range of filling fraction. It is suppressed by i) applying a sublattice polarizing field (generated by an aligned BN substrate) or ii) changing moir\'e band filling to favor valley polarization. The enhanced intrasublattice attraction close to sublattice polarization instability is analogous to enhanced like-spin attraction in liquid $^3$He near the melting curve and the enhanced valley-singlet repulsion close to valley-polarization instabilities is analogous to enhanced spin-singlet repulsion in metals that are close to a ferromagnetic instability. We comment on the relationship between our pseudospin paramagnon model and the rich phenomenology of superconductivity in twisted bilayer and multilayer graphene.


title: Quantum Lattice Sieving

abstract: Lattices are very important objects in the effort to construct cryptographic primitives that are secure against quantum attacks. A central problem in the study of lattices is that of finding the shortest non-zero vector in the lattice. Asymptotically, sieving is the best known technique for solving the shortest vector problem, however, sieving requires memory exponential in the dimension of the lattice. As a consequence, enumeration algorithms are often used in place of sieving due to their linear memory complexity, despite their super-exponential runtime. In this work, we present a heuristic quantum sieving algorithm that has memory complexity polynomial in the size of the length of the sampled vectors at the initial step of the sieve. In other words, unlike most sieving algorithms, the memory complexity of our algorithm does not depend on the number of sampled vectors at the initial step of the sieve.


title: Angular Dependence of Vertically Propagating Radio-Frequency Signals in South Polar Ice

abstract: To better understand the effect of ice properties on the capabilities of radio experiments designed to measure ultra-high energy neutrinos (UHEN), we recently considered the timing and amplitude characteristics of radio-frequency (RF) signals propagating along multi-kilometer, primarily horizontal trajectories through cold Polar ice at the South Pole. That analysis indicated satisfactory agreement with a model of ice birefringence based on c-axis data culled from the South Pole Ice Core Experiment (SPICE). Here we explore the geometrically complementary case of signals propagating along primarily vertical trajectories, using published data from the Askaryan Radio Array (ARA) experiment, supplemented by a re-analysis of older RICE experimental data. The timing characteristics of those data are in general agreement with the same birefringence model. Re-analysis of older RICE data also confirm the correlation of signal amplitudes reflected from internal-layers with the direction of ice flow, similar to previous observations made along a traverse from Dome Fuji to the Antarctic coast. These results have two important implications for radio-based UHEN experiments: i) owing to birefringence, the timing characteristics of signals propagating from neutrino-ice interactions, either vertically or horizontally, to a distant receiver may be used to infer the distance-to-vertex, which is necessary to estimate the energy of the progenitor neutrino, ii) the measured reflectivity of internal layers may result in previously-unanticipated backgrounds to UHEN searches, requiring significantly more modeling and simulations to estimate.


title: High-Order Signed Distance Transform of Sampled Signals

abstract: Signed distance transforms of sampled signals can be constructed better than the traditional exact signed distance transform. Such a transform is termed the high-order signed distance transform and is defined as satisfying three conditions: the Eikonal equation, recovery by a Heaviside function, and has an order of accuracy greater than unity away from the medial axis. Such a transform is an improvement to the classic notion of an exact signed distance transform because it does not exhibit artifacts of quantization. A large constant, linear time complexity high-order signed distance transform for arbitrary dimensionality sampled signals is developed based on the high order fast sweeping method. The transform is initialized with an exact signed distance transform and quantization corrected through an upwind solver for the boundary value Eikonal equation. The proposed method cannot attain arbitrary order of accuracy and is limited by the initialization method and non-uniqueness of the problem. However, meshed surfaces are visually smoother and do not exhibit artifacts of quantization in local mean and Gaussian curvature.


title: Determining Hydration Level in Self-Assembled Structures Using Contrast Variation Small Angle Neutron Scattering

abstract: We outline a strategy for quantitatively evaluating the conformational characteristics of self-assembled structures using the techniques of contrast variation small angle neutron scattering. By means of basis function expansion, a case study of spherical micelles demonstrates that the intra-particle hydration and polymer distributions can be determined from the coherent scattering intensity in a model-free manner. Our proposed approach is simple, analytical and does not require a presumptive hypothesis of scattering function as an input in data analysis. The successful implementation of the proposed approach opens the prospect of quantifying the nanoscale complexity of soft matter using neutron scattering.


title: Event-triggered Consensus of Matrix-weighted Networks Subject to Actuator Saturation

abstract: The ubiquitous interdependencies among higher-dimensional states of neighboring agents can be characterized by matrix-weighted networks. This paper examines event-triggered global consensus of matrix-weighted networks subject to actuator saturation. Specifically, a distributed dynamic event-triggered coordination strategy, whose design involves sampled state of agents, saturation constraint and auxiliary systems, is proposed for this category of generalized network to guarantee its global consensus. Under the proposed event-triggered coordination strategy, sufficient conditions are derived to guarantee the leaderless and leader-follower global consensus of the multi-agent systems on matrix-weighted networks, respectively. The Zeno phenomenon can be excluded for both cases under the proposed coordination strategy. It turns out that the spectral properties of matrix-valued weights are crucial in event-triggered mechanism design for matrix-weighted networks with actuator saturation constraint. Finally, simulations are provided to demonstrate the effectiveness of proposed event-triggered coordination strategy. This work provides a more general design framework compared with existing results that are only applicable to scalar-weighted networks.


title: Elucidating the proton transport pathways in liquid imidazole with first-principles molecular dynamics

abstract: Imidazole is a promising anhydrous proton conductor with a high conductivity comparable to that of water at a similar temperature relative to its melting point. Previous theoretical studies of the mechanism of proton transport in imidazole have relied either on empirical models or on ab initio trajectories that have been too short to draw significant conclusions. Here, we present the results of ab initio molecular dynamics simulations of an excess proton in liquid imidazole reaching 1 nanosecond in total simulation time. We find that the proton transport is dominated by structural diffusion, and the diffusion constant of the proton defect is ~8 times higher than the self-diffusion of the imidazole molecules. By using correlation function analysis, we decompose the mechanism for proton transport into a series of first-order processes and show that the proton transport mechanism occurs over three distinct time and length scales. Although the mechanism at intermediate times is dominated by hopping along pseudo one-dimensional chains, at longer times, the overall rate of diffusion is limited by the reformation of these chains, thus providing a more complete picture of the traditional, idealized Grotthuss structural diffusion mechanism.


title: Topology Optimization under Microscale Uncertainty using Stochastic Gradients

abstract: This paper considers the design of structures made of engineered materials, accounting for uncertainty in material properties. We present a topology optimization approach that optimizes the structural shape and topology at the macroscale assuming design-independent uncertain microstructures. The structural geometry at the macroscale is described by an explicit level set approach, and the macroscopic structural response is predicted by the eXtended Finite Element Method (XFEM). We describe the microscopic layout by either an analytic geometric model with uncertain parameters or a level cut from a Gaussian random field. The macroscale properties of the microstructured material are predicted by homogenization. Considering the large number of possible microscale configurations, one of the main challenges of solving such topology optimization problems is the computational cost of estimating the statistical moments of the cost and constraint functions and their gradients with respect to the design variables. Methods for predicting these moments, such as Monte Carlo sampling, and Taylor series and polynomial chaos expansions often require many random samples resulting in an impractical computation. To reduce this cost, we propose an approach wherein, at every design iteration, we only use a small number of microstructure configurations to generate an independent, stochastic approximation of the gradients. These gradients are then used either with a gradient descent algorithm, namely Adam, or the globally convergent method of moving asymptotes (GCMMA). Three numerical examples from structural mechanics are used to show that the proposed approach provides a computationally efficient way for macroscale topology optimization in the presence of microstructural uncertainty and enables the designers to consider a new class of problems that are out of reach today with conventional tools.


title: Investigation of the Effect of Quantum Measurement on Parity-Time Symmetry

abstract: Symmetry, including the parity-time ($\mathcal{PT}$)-symmetry, is a striking topic, widely discussed and employed in many fields. It is well-known that quantum measurement can destroy or disturb quantum systems. However, can and how does quantum measurement destroy the symmetry of the measured system? To answer the pertinent question, we establish the correlation between the quantum measurement and Floquet $\mathcal{PT}$-symmetry and investigate for the first time how the measurement frequency and measurement strength affect the $\mathcal{PT}$-symmetry of the measured system using the $^{40}\mathrm{Ca}^{+}$ ion. It is already shown that the measurement at high frequencies would break the $\mathcal{PT}$ symmetry. Notably, even for an inadequately fast measurement frequency, if the measurement strength is sufficiently strong, the $\mathcal{PT}$ symmetry breaking can occur. The current work can enhance our knowledge of quantum measurement and symmetry and may inspire further research on the effect of quantum measurement on symmetry.


title: Relative stability of singular spectrum

abstract: There are classical theorems of analysis which, given certain conditions on a perturbation, assert stability of the essential and absolutely continuous components of the spectrum of a self-adjoint operator. Whereas the singular component is known to be highly volatile under the weakest of all possible perturbations, -- rank one. In this note I announce a theorem which asserts that, nevertheless, the singular component of spectrum in an open interval is in a sense \emph{relatively stable} provided the limiting absorption principle (LAP) holds in the interval. One of the benefits of this result is the provision of a method for disproving LAP where it is suspected to fail.


title: A Metalearning Approach for Physics-Informed Neural Networks (PINNs): Application to Parameterized PDEs

abstract: Physics-informed neural networks (PINNs) as a means of discretizing partial differential equations (PDEs) are garnering much attention in the Computational Science and Engineering (CS&E) world. At least two challenges exist for PINNs at present: an understanding of accuracy and convergence characteristics with respect to tunable parameters and identification of optimization strategies that make PINNs as efficient as other computational science tools. The cost of PINNs training remains a major challenge of Physics-informed Machine Learning (PiML) - and, in fact, machine learning (ML) in general. This paper is meant to move towards addressing the latter through the study of PINNs on new tasks, for which parameterized PDEs provides a good testbed application as tasks can be easily defined in this context. Following the ML world, we introduce metalearning of PINNs with application to parameterized PDEs. By introducing metalearning and transfer learning concepts, we can greatly accelerate the PINNs optimization process. We present a survey of model-agnostic metalearning, and then discuss our model-aware metalearning applied to PINNs as well as implementation considerations and algorithmic complexity. We then test our approach on various canonical forward parameterized PDEs that have been presented in the emerging PINNs literature.


title: RGB Camera-based Physiological Sensing: Challenges and Future Directions

abstract: Numerous real-world applications have been driven by the recent algorithmic advancement of artificial intelligence (AI). Healthcare is no exception and AI technologies have great potential to revolutionize the industry. Non-contact camera-based physiological sensing, including remote photoplethysmography (rPPG), is a set of imaging methods that leverages ordinary RGB cameras (e.g., webcam or smartphone camera) to capture subtle changes in electromagnetic radiation (e.g., light) reflected by the body caused by physiological processes. RGB camera-based systems not only have the ability to measure the signals without contact with the body but also have the opportunity to capture multimodal information (e.g., facial expressions, activities and other context) from the same sensor. However, developing accessible, equitable and useful camera-based physiological sensing systems comes with various challenges. In this article, we identify four research challenges for the field of RGB camera-based physiological sensing and broader AI driven healthcare communities and suggest future directions to tackle these. We believe solving these challenges will help deliver accurate, equitable and generalizable AI systems for healthcare that are practical in real-world and clinical contexts.


title: Exponential Graph is Provably Efficient for Decentralized Deep Training

abstract: Decentralized SGD is an emerging training method for deep learning known for its much less (thus faster) communication per iteration, which relaxes the averaging step in parallel SGD to inexact averaging. The less exact the averaging is, however, the more the total iterations the training needs to take. Therefore, the key to making decentralized SGD efficient is to realize nearly-exact averaging using little communication. This requires a skillful choice of communication topology, which is an under-studied topic in decentralized optimization. In this paper, we study so-called exponential graphs where every node is connected to $O(\log(n))$ neighbors and $n$ is the total number of nodes. This work proves such graphs can lead to both fast communication and effective averaging simultaneously. We also discover that a sequence of $\log(n)$ one-peer exponential graphs, in which each node communicates to one single neighbor per iteration, can together achieve exact averaging. This favorable property enables one-peer exponential graph to average as effective as its static counterpart but communicates more efficiently. We apply these exponential graphs in decentralized (momentum) SGD to obtain the state-of-the-art balance between per-iteration communication and iteration complexity among all commonly-used topologies. Experimental results on a variety of tasks and models demonstrate that decentralized (momentum) SGD over exponential graphs promises both fast and high-quality training. Our code is implemented through BlueFog and available at https://github.com/Bluefog-Lib/NeurIPS2021-Exponential-Graph.


title: Classification, centroids and derivations of two-dimensional Hom-Leibniz algebras

abstract: Several recent results concerning Hom-Leibniz algebra are reviewed, the notion of symmetric Hom-Leibniz superalgebra is introduced and some properties are obtained. Classification of 2-dimensional Hom-Leibniz algebras is provided. Centroids and derivations of multiplicative Hom-Leibniz algebras are considered including the detailed study of 2-dimensional Hom-Leibniz algebras.


title: Multi-Faceted Hierarchical Multi-Task Learning for a Large Number of Tasks with Multi-dimensional Relations

abstract: There has been many studies on improving the efficiency of shared learning in Multi-Task Learning(MTL). Previous work focused on the "micro" sharing perspective for a small number of tasks, while in Recommender Systems(RS) and other AI applications, there are often demands to model a large number of tasks with multi-dimensional task relations. For example, when using MTL to model various user behaviors in RS, if we differentiate new users and new items from old ones, there will be a cartesian product style increase of tasks with multi-dimensional relations. This work studies the "macro" perspective of shared learning network design and proposes a Multi-Faceted Hierarchical MTL model(MFH). MFH exploits the multi-dimension task relations with a nested hierarchical tree structure which maximizes the shared learning. We evaluate MFH and SOTA models in a large industry video platform of 10 billion samples and results show that MFH outperforms SOTA MTL models significantly in both offline and online evaluations across all user groups, especially remarkable for new users with an online increase of 9.1\% in app time per user and 1.85\% in next-day retention rate. MFH now has been deployed in a large scale online video recommender system. MFH is especially beneficial to the cold-start problems in RS where new users and new items often suffer from a "local overfitting" phenomenon. However, the idea is actually generic and widely applicable to other MTL scenarios.


title: Newtonian Mechanics Based Transient Stability PART IV: Equivalent Machine

abstract: This paper analyzes the mechanisms of the equivalent machine and also its advantages in TSA. Based on the two group separations, an equivalent machine is modeled through the equivalence of the motions of all machines inside each group. This "motion equivalence" fully ensures the modeling of the two-machine system and the corresponding Newtonian energy conversion. Against this background, the original system becomes the equivalent system. It is clarified that the equivalent machine strictly follows the machine paradigms. These strict followings bring the two advantages in the equivalent-machine based TSA: (i) the stability of the equivalent machine is characterized precisely, and (ii) the equivalent-machine trajectory variance is depicted clearly. The two advantages are fully reflected in the precise definitions of the equivalent-machine based transient stability concepts. In particular, the equivalent machine swing is clearly depicted through the EDSP or EDLP of the machine, and the critical stability of the equivalent system is strictly defined as the critical stability of the equivalent machine. Simulation results show that the effectiveness of the equivalent-machine in TSA.


title: An Automatic Detection Method Of Cerebral Aneurysms In Time-Of-Flight Magnetic Resonance Angiography Images Based On Attention 3D U-Net

abstract: Background:Subarachnoid hemorrhage caused by ruptured cerebral aneurysm often leads to fatal consequences.However,if the aneurysm can be found and treated during asymptomatic periods,the probability of rupture can be greatly reduced.At present,time-of-flight magnetic resonance angiography is one of the most commonly used non-invasive screening techniques for cerebral aneurysm,and the application of deep learning technology in aneurysm detection can effectively improve the screening effect of aneurysm.Existing studies have found that three-dimensional features play an important role in aneurysm detection,but they require a large amount of training data and have problems such as a high false positive rate. Methods:This paper proposed a novel method for aneurysm detection.First,a fully automatic cerebral artery segmentation algorithm without training data was used to extract the volume of interest,and then the 3D U-Net was improved by the 3D SENet module to establish an aneurysm detection model.Eventually a set of fully automated,end-to-end aneurysm detection methods have been formed. Results:A total of 231 magnetic resonance angiography image data were used in this study,among which 132 were training sets,34 were internal test sets and 65 were external test sets.The presented method obtained 97.89% sensitivity in the five-fold cross-validation and obtained 91.0% sensitivity with 2.48 false positives/case in the detection of the external test sets. Conclusions:Compared with the results of our previous studies and other studies,the method in this paper achieves a very competitive sensitivity with less training data and maintains a low false positive rate.As the only method currently using 3D U-Net for aneurysm detection,it proves the feasibility and superior performance of this network in aneurysm detection,and also explores the potential of the channel attention mechanism in this task.


title: OpenACC Acceleration of an Agent-Based Biological Simulation Framework

abstract: Computational biology has increasingly turned to agent-based modeling to explore complex biological systems. Biological diffusion (diffusion, decay, secretion, and uptake) is a key driver of biological tissues. GPU computing can vastly accelerate the diffusion and decay operators in the partial differential equations used to represent biological transport in an agent-based biological modeling system. In this paper, we utilize OpenACC to accelerate the diffusion portion of PhysiCell, a cross-platform agent-based biosimulation framework. We demonstrate an almost 40x speedup on the state-of-the-art NVIDIA A100 GPU compared to a serial run on AMD's EPYC 7742. We also demonstrate 9x speedup on the 64 core AMD EPYC 7742 multicore platform. By using OpenACC for both the CPUs and the GPUs, we maintain a single source code base, thus creating a portable yet performant solution. With the simulator's most significant computational bottleneck significantly reduced, we can continue cancer simulations over much longer times.


title: Partial Order in Chaos: Consensus on Feature Attributions in the Rashomon Set

abstract: Post-hoc global/local feature attribution methods are progressively being employed to understand the decisions of complex machine learning models. Yet, because of limited amounts of data, it is possible to obtain a diversity of models with good empirical performance but that provide very different explanations for the same prediction, making it hard to derive insight from them. In this work, instead of aiming at reducing the under-specification of model explanations, we fully embrace it and extract logical statements about feature attributions that are consistent across all models with good empirical performance (i.e. all models in the Rashomon Set). We show that partial orders of local/global feature importance arise from this methodology enabling more nuanced interpretations by allowing pairs of features to be incomparable when there is no consensus on their relative importance. We prove that every relation among features present in these partial orders also holds in the rankings provided by existing approaches. Finally, we present three use cases employing hypothesis spaces with tractable Rashomon Sets (Additive models, Kernel Ridge, and Random Forests) and show that partial orders allow one to extract consistent local and global interpretations of models despite their under-specification.


title: Ultra-Strong Spin-Orbit Coupling and Topological Moir\'e Engineering in Twisted ZrS2 Bilayers

abstract: We predict that twisted bilayers of 1T-ZrS$_2$ realize a novel and tunable platform to engineer two-dimensional topological quantum phases dominated by strong spin-orbit interactions. At small twist angles, ZrS$_2$ heterostructures give rise to an emergent and twist-controlled moir\'e Kagom\'e lattice, combining geometric frustration and strong spin-orbit coupling to give rise to a moir\'e quantum spin Hall insulator with highly controllable and nearly-dispersionless bands. We devise a generic pseudo-spin theory for group-IV transition metal dichalcogenides that relies on the two-component character of the valence band maximum of the 1T structure at $\Gamma$, and study the emergence of a robust quantum anomalous Hall phase as well as possible fractional Chern insulating states from strong Coulomb repulsion at fractional fillings of the topological moir\'e Kagom\'e bands. Our results establish group-IV transition metal dichalcogenide bilayers as a novel moir\'e platform to realize strongly-correlated topological phases in a twist-tunable setting.


title: The Expanding Universe of the Geometric Mean

abstract: In this paper the authors seek to trace in an accessible fashion the rapid recent development of the theory of the matrix geometric mean in the cone of positive definite matrices up through the closely related operator geometric mean in the positive cone of a unital $C^*$-algebra. The story begins with the two-variable matrix geometric mean, moves to the breakthrough developments in the multivariable matrix setting, the main focus of the paper, and then on to the extension to the positive cone of the $C^*$-algebra of operators on a Hilbert space, even to general unital $C^*$-algebras, and finally to the consideration of barycentric maps that grow out of the geometric mean on the space of integrable probability measures on the positive cone. Besides expected tools from linear algebra and operator theory, one observes a surprisingly substantial interplay with geometrical notions in metric spaces, particularly the notion of nonpositive curvature. Added features include a glance at the probabilistic theory of random variables with values in a metric space of nonpositive curvature, and the appearance of related means such as the inductive and power means.


title: Measurement of inclusive charged-current $\nu_{\numu}$ scattering on hydrocarbon at {<Enu>} 6 GeV with low three-momentum transfer

abstract: The \minerva experiment reports double-differential cross-section measurements for $\nu_{\mu}$-carbon interactions with three-momentum transfer $|\vec{q}| < 1.2$ GeV obtained with medium energy exposures in the NuMI beam. These measurements are performed as a function of the three-momentum transfer and an energy transfer estimator called the available energy defined as the energy that would be visible in the detector. The double differential cross sections are compared to the GENIE and NuWro predictions along with the modified version of GENIE which incorporates new models for better agreement with earlier measurements from MINERvA. In these measurements, the quasi-elastic, resonance, and multi-nucleon knockout processes appear at different kinematics in this two-dimensional space. The results can be used to improve models for neutrino interactions needed by neutrino oscillation experiments.


title: EnTRPO: Trust Region Policy Optimization Method with Entropy Regularization

abstract: Trust Region Policy Optimization (TRPO) is a popular and empirically successful policy search algorithm in reinforcement learning (RL). It iteratively solved the surrogate problem which restricts consecutive policies to be close to each other. TRPO is an on-policy algorithm. On-policy methods bring many benefits, like the ability to gauge each resulting policy. However, they typically discard all the knowledge about the policies which existed before. In this work, we use a replay buffer to borrow from the off-policy learning setting to TRPO. Entropy regularization is usually used to improve policy optimization in reinforcement learning. It is thought to aid exploration and generalization by encouraging more random policy choices. We add an Entropy regularization term to advantage over {\pi}, accumulated over time steps, in TRPO. We call this update EnTRPO. Our experiments demonstrate EnTRPO achieves better performance for controlling a Cart-Pole system compared with the original TRPO


title: Defining Blockchain Governance Principles: A Comprehensive Framework

abstract: Blockchain eliminates the need for trusted third-party intermediaries in business by enabling decentralised architecture design in software applications. However, the vulnerabilities in on-chain autonomous decision-makings and cumbersome off-chain coordination lead to serious concerns about blockchain's ability to behave in a trustworthy and efficient way. Blockchain governance has received considerable attention to support the decision-making process during the use and evolution of blockchain. Nevertheless, the conventional governance frameworks do not apply to blockchain due to its distributed architecture and decentralised decision process. These inherent features lead to the absence of a clear source of authority in blockchain ecosystem. Currently, there is a lack of systematic guidance on the governance of blockchain. Therefore, in this paper, we present a comprehensive blockchain governance framework, which elucidates an integrated view of the degree of decentralisation, decision rights, incentives, accountability, ecosystem, and legal and ethical responsibilities. The above aspects are formulated as six high-level principles for blockchain governance. We demonstrate a qualitative analysis of the proposed framework, including case studies on five extant blockchain platforms, and comparison with existing blockchain governance frameworks. The results show that our proposed framework is feasible and applicable in a real-world context.


title: Enhanced Thermoelectric ZT in the Tails of the Fermi Distribution via Electron Filtering by Nanoinclusions -- Model Electron Transport in Nanocomposites

abstract: Silicon carbide nanoparticles with diameters around 8 nm and with narrow size distribution have been finely mixed with doped silicon nanopowders and sintered into bulk samples to investigate the influence of nanoinclusions on electrical and thermal transport properties. We have compared the thermoelectric properties of samples ranging from 0-5% volume fraction of silicon carbide. The silicon carbide nanoinclusions lead to a significant improvement in the thermoelectric figure of merit, ZT, largely due to an enhancement of the Seebeck coefficient. A semiclassical Boltzmann transport equation is used to model the electrical transport properties of the Seebeck coefficient and electrical conductivity. The theoretical analysis confirms that the enhancements in the thermoelectric properties are consistent with the energy selective scattering of electrons induced by the offset between the silicon Fermi level and the carbide conduction band edge. This study proves that careful engineering of the energy-dependent electron scattering rate can provide a route towards relaxing long-standing constraints in the design of thermoelectric materials.


title: Task-Specific Dependency-based Word Embedding Methods

abstract: Two task-specific dependency-based word embedding methods are proposed for text classification in this work. In contrast with universal word embedding methods that work for generic tasks, we design task-specific word embedding methods to offer better performance in a specific task. Our methods follow the PPMI matrix factorization framework and derive word contexts from the dependency parse tree. The first one, called the dependency-based word embedding (DWE), chooses keywords and neighbor words of a target word in the dependency parse tree as contexts to build the word-context matrix. The second method, named class-enhanced dependency-based word embedding (CEDWE), learns from word-context as well as word-class co-occurrence statistics. DWE and CEDWE are evaluated on popular text classification datasets to demonstrate their effectiveness. It is shown by experimental results they outperform several state-of-the-art word embedding methods.


title: Instant Response Few-shot Object Detection with Meta Strategy and Explicit Localization Inference

abstract: Aiming at recognizing and localizing the object of novel categories by a few reference samples, few-shot object detection (FSOD) is a quite challenging task. Previous works often depend on the fine-tuning process to transfer their model to the novel category and rarely consider the defect of fine-tuning, resulting in many application drawbacks. For example, these methods are far from satisfying in the episode-changeable scenarios due to excessive fine-tuning times, and their performance on low-quality (e.g., low-shot and class-incomplete) support sets degrades severely. To this end, this paper proposes an instant response few-shot object detector (IR-FSOD) that can accurately and directly detect the objects of novel categories without the fine-tuning process. To accomplish the objective, we carefully analyze the defects of individual modules in the Faster R-CNN framework under the FSOD setting and then extend it to IR-FSOD by improving these defects. Specifically, we first propose two simple but effective meta-strategies for the box classifier and RPN module to enable the object detection of novel categories with instant response. Then, we introduce two explicit inferences into the localization module to alleviate its over-fitting to the base categories, including explicit localization score and semi-explicit box regression. Extensive experiments show that the IR-FSOD framework not only achieves few-shot object detection with the instant response but also reaches state-of-the-art performance in precision and recall under various FSOD settings.


title: Boundary concentration phenomena for an anisotropic Neumann problem in $\mathbb{R}^2$

abstract: Given a smooth bounded domain $\Omega$ in $\mathbb{R}^2$, we study the following anisotropic Neumann problem $$ \begin{cases} -\nabla(a(x)\nabla u)+a(x)u=\lambda a(x) u^{p-1}e^{u^p},\,\,\,\, u>0\,\,\,\,\, \textrm{in}\,\,\,\,\, \Omega,\\[2mm] \frac{\partial u}{\partial\nu}=0\,\, \qquad\quad\qquad\qquad\qquad\qquad\qquad \ \ \ \ \,\qquad\quad\, \textrm{on}\,\,\, \partial\Omega, \end{cases} $$ where $\lambda>0$ is a small parameter, $0<p<2$, $a(x)$ is a positive smooth function over $\overline{\Omega}$ and $\nu$ denotes the outer unit normal vector to $\partial\Omega$. Under suitable assumptions on anisotropic coefficient $a(x)$, we construct solutions of this problem with arbitrarily many mixed interior and boundary bubbles which concentrate at totally different strict local maximum or minimal boundary points of $a(x)$ restricted to $\partial\Omega$, or accumulate to the same strict local maximum boundary point of $a(x)$ over $\overline{\Omega}$ as $\lambda\rightarrow0$.


title: Detected the steerability bounds of the generalized Werner states via BackPropagation neural network

abstract: We use error BackPropagation (BP) neural network to determine whether an arbitrary two-qubit quantum state is steerable and optimize the steerability bounds of the generalized Werner state. The results show that no matter how we choose the features for the quantum states, we can use the BP neural network to construct several models to realize high-performance quantum steering classifiers compared with the support vector machine (SVM). In addition, we predict the steerability bounds of the generalized Werner states by using the classifiers which are newly constructed by the BP neural network, that is, the predicted steerability bounds are closer to the theoretical bounds. In particular, high-performance classifiers with partial information of the quantum states which we only need to measure in three fixed measurement directions are obtained.


title: Myopically Verifiable Probabilistic Certificate for Long-term Safety

abstract: In this paper, we consider the use of barrier function-based approaches for the safe control problem in stochastic systems. With the presence of stochastic uncertainties, a myopic controller that ensures safe probability in infinitesimal time intervals may allow the accumulation of unsafe probability over time and result in a small long-term safe probability. Meanwhile, increasing the outlook time horizon may lead to significant computation burdens and delayed reactions, which also compromises safety. To tackle this challenge, we define a new notion of forward invariance on probability space as opposed to the safe regions on state space. This new notion allows the long-term safe probability to be framed into a forward invariance condition, which can be efficiently evaluated. We build upon this safety condition to propose a controller that works myopically yet can guarantee long-term safe probability or fast recovery probability. The proposed controller ensures the safe probability does not decrease over time and allows the designers to directly specify safe probability. The performance of the proposed controller is then evaluated in numerical simulations. Finally, we show that this framework can also be adapted to characterize the speed and probability of forward convergent behaviors, which can be of use to finite-time Lyapunov analysis in stochastic systems.


title: Kink scattering in a Lorentz-violating $\phi^6$ model

abstract: The role played by a Lorentz-violating term on the outcomes of kink scattering in the $\phi^6$ model is investigated by using the Fourier spectral method. Impacts of the Lorentz-violating term on the critical velocities, the location of two-bounce windows, and the maximal values of various types of energy densities are analyzed. Some novel features of kink-antikink collisions are discussed. The interactions between three and four kinks are also considered.


title: TESS Eclipsing Binary Stars. I. Short cadence observations of 4584 eclipsing binaries in Sectors 1-26

abstract: In this paper we present a catalog of 4584 eclipsing binaries observed during the first two years (26 sectors) of the TESS survey. We discuss selection criteria for eclipsing binary candidates, detection of hither-to unknown eclipsing systems, determination of the ephemerides, the validation and triage process, and the derivation of heuristic estimates for the ephemerides. Instead of keeping to the widely used discrete classes, we propose a binary star morphology classification based on a dimensionality reduction algorithm. Finally, we present statistical properties of the sample, we qualitatively estimate completeness, and discuss the results. The work presented here is organized and performed within the TESS Eclipsing Binary Working Group, an open group of professional and citizen scientists; we conclude by describing ongoing work and future goals for the group. The catalog is available from http://tessEBs.villanova.edu and from MAST.


title: Diversities and the Generalized Circumradius

abstract: The generalized circumradius of a set of points $A \subseteq \mathbb{R}^d$ with respect to a convex body $K$ equals the minimum value of $\lambda \geq 0$ such that $A$ is contained in a translate of $\lambda K$. Each choice of $K$ gives a different function on the set of bounded subsets of $\mathbb{R}^d$; we characterize which functions can arise in this way. Our characterization draws on the theory of diversities, a recently introduced generalization of metrics from functions on pairs to functions on finite subsets. We additionally investigate functions which arise by restricting the generalised circumradius to a finite subset of $\mathbb{R}^d$. We obtain elegant characterizations in the case that $K$ is a simplex or parallelotope.


title: ViDA-MAN: Visual Dialog with Digital Humans

abstract: We demonstrate ViDA-MAN, a digital-human agent for multi-modal interaction, which offers realtime audio-visual responses to instant speech inquiries. Compared to traditional text or voice-based system, ViDA-MAN offers human-like interactions (e.g, vivid voice, natural facial expression and body gestures). Given a speech request, the demonstration is able to response with high quality videos in sub-second latency. To deliver immersive user experience, ViDA-MAN seamlessly integrates multi-modal techniques including Acoustic Speech Recognition (ASR), multi-turn dialog, Text To Speech (TTS), talking heads video generation. Backed with large knowledge base, ViDA-MAN is able to chat with users on a number of topics including chit-chat, weather, device control, News recommendations, booking hotels, as well as answering questions via structured knowledge.


title: IIP-Transformer: Intra-Inter-Part Transformer for Skeleton-Based Action Recognition

abstract: Recently, Transformer-based networks have shown great promise on skeleton-based action recognition tasks. The ability to capture global and local dependencies is the key to success while it also brings quadratic computation and memory cost. Another problem is that previous studies mainly focus on the relationships among individual joints, which often suffers from the noisy skeleton joints introduced by the noisy inputs of sensors or inaccurate estimations. To address the above issues, we propose a novel Transformer-based network (IIP-Transformer). Instead of exploiting interactions among individual joints, our IIP-Transformer incorporates body joints and parts interactions simultaneously and thus can capture both joint-level (intra-part) and part-level (inter-part) dependencies efficiently and effectively. From the data aspect, we introduce a part-level skeleton data encoding that significantly reduces the computational complexity and is more robust to joint-level skeleton noise. Besides, a new part-level data augmentation is proposed to improve the performance of the model. On two large-scale datasets, NTU-RGB+D 60 and NTU RGB+D 120, the proposed IIP-Transformer achieves the-state-of-art performance with more than 8x less computational complexity than DSTA-Net, which is the SOTA Transformer-based method.


title: Self-Denoising Neural Networks for Few Shot Learning

abstract: In this paper, we introduce a new architecture for few shot learning, the task of teaching a neural network from as few as one or five labeled examples. Inspired by the theoretical results of Alaine et al that Denoising Autoencoders refine features to lie closer to the true data manifold, we present a new training scheme that adds noise at multiple stages of an existing neural architecture while simultaneously learning to be robust to this added noise. This architecture, which we call a Self-Denoising Neural Network (SDNN), can be applied easily to most modern convolutional neural architectures, and can be used as a supplement to many existing few-shot learning techniques. We empirically show that SDNNs out-perform previous state-of-the-art methods for few shot image recognition using the Wide-ResNet architecture on the \textit{mini}ImageNet, tiered-ImageNet, and CIFAR-FS few shot learning datasets. We also perform a series of ablation experiments to empirically justify the construction of the SDNN architecture. Finally, we show that SDNNs even improve few shot performance on the task of human action detection in video using experiments on the ActEV SDL Surprise Activities challenge.


title: Solving ordinary differential equations using Schur decomposition

abstract: This work introduces a methodology to solve ordinary differential equations using the Schur decomposition of the linear representation of the differential equation. This is done by first transforming the system into an upper triangular system using the Schur decomposition, and second, by generating the solution sequentially following the upper triangular structure. In addition, and when dealing with non-linear perturbed systems, this work proposes a methodology based on operator theory to find an approximate linear representation of perturbed non-linear systems. Particularly, we focus on polynomial differential equations and the use of Legendre polynomials to represent the solution. Based on these results, a perturbation technique is also proposed to study these problems. A set of algorithms to automate these methodologies are included.


title: Semi-Supervised Federated Learning with non-IID Data: Algorithm and System Design

abstract: Federated Learning (FL) allows edge devices (or clients) to keep data locally while simultaneously training a shared high-quality global model. However, current research is generally based on an assumption that the training data of local clients have ground-truth. Furthermore, FL faces the challenge of statistical heterogeneity, i.e., the distribution of the client's local training data is non-independent identically distributed (non-IID). In this paper, we present a robust semi-supervised FL system design, where the system aims to solve the problem of data availability and non-IID in FL. In particular, this paper focuses on studying the labels-at-server scenario where there is only a limited amount of labeled data on the server and only unlabeled data on the clients. In our system design, we propose a novel method to tackle the problems, which we refer to as Federated Mixing (FedMix). FedMix improves the naive combination of FL and semi-supervised learning methods and designs parameter decomposition strategies for disjointed learning of labeled, unlabeled data, and global models. To alleviate the non-IID problem, we propose a novel aggregation rule based on the frequency of the client's participation in training, namely the FedFreq aggregation algorithm, which can adjust the weight of the corresponding local model according to this frequency. Extensive evaluations conducted on CIFAR-10 dataset show that the performance of our proposed method is significantly better than those of the current baseline. It is worth noting that our system is robust to different non-IID levels of client data.


title: A Normalized Gaussian Wasserstein Distance for Tiny Object Detection

abstract: Detecting tiny objects is a very challenging problem since a tiny object only contains a few pixels in size. We demonstrate that state-of-the-art detectors do not produce satisfactory results on tiny objects due to the lack of appearance information. Our key observation is that Intersection over Union (IoU) based metrics such as IoU itself and its extensions are very sensitive to the location deviation of the tiny objects, and drastically deteriorate the detection performance when used in anchor-based detectors. To alleviate this, we propose a new evaluation metric using Wasserstein distance for tiny object detection. Specifically, we first model the bounding boxes as 2D Gaussian distributions and then propose a new metric dubbed Normalized Wasserstein Distance (NWD) to compute the similarity between them by their corresponding Gaussian distributions. The proposed NWD metric can be easily embedded into the assignment, non-maximum suppression, and loss function of any anchor-based detector to replace the commonly used IoU metric. We evaluate our metric on a new dataset for tiny object detection (AI-TOD) in which the average object size is much smaller than existing object detection datasets. Extensive experiments show that, when equipped with NWD metric, our approach yields performance that is 6.7 AP points higher than a standard fine-tuning baseline, and 6.0 AP points higher than state-of-the-art competitors. Codes are available at: https://github.com/jwwangchn/NWD.


title: Novel Binary Addition Tree Algorithm (BAT) for Calculating the Direct Lower-Bound of the Highly Reliable Binary-State Network Reliability

abstract: Real-world applications such as the internet of things, wireless sensor networks, smart grids, transportation networks, communication networks, social networks, and computer grid systems are typically modeled as network structures. Network reliability represents the success probability of a network and it is an effective and popular metric for evaluating the performance of all types of networks. Binary-state networks composed of binary-state (e.g., working or failed) components (arcs and/or nodes) are some of the most popular network structures. The scale of networks has grown dramatically in recent years. For example, social networks have more than a billion users. Additionally, the reliability of components has increased as a result of both mature and emergent technology. For highly reliable networks, it is more practical to calculate approximated reliability, rather than exact reliability, which is an NP-hard problem. Therefore, we propose a novel direct reliability lower bound based on the binary addition tree algorithm to calculate approximate reliability. The efficiency and effectiveness of the proposed reliability bound are analyzed based on time complexity and validated through numerical experiments.

categories: cs.DM cs.NI cs.SY eess.SY math.CO math.PR


title: Analyzing the Data of COVID-19 with Quasi-Distribution Fitting Based on Piecewise B-spline Curves

abstract: Facing the world wide coronavirus disease 2019 (COVID-19) pandemic, a new fitting method (QDF, quasi-distribution fitting) which could be used to analyze the data of COVID-19 is developed based on piecewise quasi-uniform B-spline curves. For any given country or district, it simulates the distribution histogram data which is made from the daily confirmed cases (or the other data including daily recovery cases and daily fatality cases) of the COVID-19 with piecewise quasi-uniform B-spline curves. Being dealt with area normalization method, the fitting curves could be regarded as a kind of probability density function (PDF), its mathematical expectation and the variance could be used to analyze the situation of the coronavirus pandemic. Numerical experiments based on the data of certain countries have indicated that the QDF method demonstrate the intrinsic characteristics of COVID-19 data of the given country or distric, and because of the interval of data used in this paper is over one year (500 days), it reveals the fact that after multi-wave transmission of the coronavirus, the case fatality rate has declined obviously, the result shows that as an appraisal method, it is effective and feasible.


title: Graph-based Heuristic Solution for Placing Distributed Video Processing Applications on Moving Vehicle Clusters

abstract: Vehicular fog computing (VFC) is envisioned as an extension of cloud and mobile edge computing to utilize the rich sensing and processing resources available in vehicles. We focus on slow-moving cars that spend a significant time in urban traffic congestion as a potential pool of on-board sensors, video cameras, and processing capacity. For leveraging the dynamic network and processing resources, we utilize a stochastic mobility model to select nodes with similar mobility patterns. We then design two distributed applications that are scaled in real-time and placed as multiple instances on selected vehicular fog nodes. We handle the unstable vehicular environment by a), Using real vehicle density data to build a realistic mobility model that helps in selecting nodes for service deployment b), Using community-detection algorithms for selecting a robust vehicular cluster using the predicted mobility behavior of vehicles. The stability of the chosen cluster is validated using a graph centrality measure, and c), Graph-based placement heuristics are developed to find the optimal placement of service graphs based on a multi-objective constrained optimization problem with the objective of efficient resource utilization. The heuristic solves an important problem of processing data generated from distributed devices by balancing the trade-off between increasing the number of service instances to have enough redundancy of processing instances to increase resilience in the service in case of node or link failure, versus reducing their number to minimise resource usage. We compare our heuristic to an integer linear program solution and a first-fit heuristic. Our approach performs better than these comparable schemes in terms of resource utilization and/or has a lesser service latency, which is a crucial requirement for safety-related applications.


title: Supersymmetric Inhomogeneous Field Theories in 1+1 Dimensions

abstract: We study supersymmetric inhomogeneous field theories in 1+1 dimensions which have explicit coordinate dependence. Although translation symmetry is broken, part of supersymmetries can be maintained. In this paper, we consider the simplest inhomogeneous theories with one real scalar field, which possess an unbroken supersymmetry. The energy is bounded from below by the topological charge which is not necessarily nonnegative definite. The bound is saturated if the first-order Bogomolny equation is satisfied. Non-constant static supersymmetric solutions above the vacuum involve in general a zero mode although the system lacks translation invariance. We consider two inhomogeneous theories obtained by deforming supersymmetric sine-Gordon theory and $\phi^6$ theory. They are deformed either by overall inhomogeneous rescaling of the superpotential or by inhomogeneous deformation of the vacuum expectation value. We construct explicitly the most general supersymmetric solutions and obtain the BPS energy spectrum for arbitrary position-dependent deformations. Nature of the solutions and their energies depend only on the boundary values of the inhomogeneous functions. The vacuum of minimum energy is not necessarily a constant configuration. In some cases, we find a one-parameter family of degenerate solutions which include a non-vacuum constant solution as a special case.


title: Intermittency analysis in relativistic heavy-ion collisions

abstract: Local density fluctuations near the QCD critical point can be probed by an intermittency analysis of power-law behavior on scaled factorial moments in relativistic heavy-ion collisions. We study the second-order scaled factorial moment in Au + Au collisions at $\sqrt{s_\mathrm{NN}}$ = 7.7-200 GeV from the UrQMD model. Since the background subtraction and efficiency correction are two important aspects in this measurement, we propose a cumulative variable method to remove background contribution and a cell-by-cell method for efficiency correction in the intermittency analysis.


title: Transferring Domain-Agnostic Knowledge in Video Question Answering

abstract: Video question answering (VideoQA) is designed to answer a given question based on a relevant video clip. The current available large-scale datasets have made it possible to formulate VideoQA as the joint understanding of visual and language information. However, this training procedure is costly and still less competent with human performance. In this paper, we investigate a transfer learning method by the introduction of domain-agnostic knowledge and domain-specific knowledge. First, we develop a novel transfer learning framework, which finetunes the pre-trained model by applying domain-agnostic knowledge as the medium. Second, we construct a new VideoQA dataset with 21,412 human-generated question-answer samples for comparable transfer of knowledge. Our experiments show that: (i) domain-agnostic knowledge is transferable and (ii) our proposed transfer learning framework can boost VideoQA performance effectively.


title: The impact of metallicity on nova populations

abstract: The metallicity of a star affects its evolution in a variety of ways, changing stellar radii, luminosities, lifetimes, and remnant properties. In this work, we use the population synthesis code binary_c to study how metallicity affects novae in the context of binary stellar evolution. We compute a 16-point grid of metallicities ranging from $Z=10^{-4}$ to 0.03, presenting distributions of nova white dwarf masses, accretion rates, delay-times, and initial system properties at the two extremes of our 16-point metallicity grid. We find a clear anti-correlation between metallicity and the number of novae produced, with the number of novae at $Z=0.03$ roughly half that at $Z=10^{-4}$. The white dwarf mass distribution has a strong systematic variation with metallicity, while the shape of the accretion rate distribution is relatively insensitive. We compute a current nova rate of approximately 33 novae per year for the Milky Way, a result consistent with observational estimates relying on extra-Galactic novae but an under-prediction relative to observational estimates relying on Galactic novae. However, the shape of our predicted Galactic white dwarf mass distribution differs significantly to existing observationally derived distributions, likely due to our underlying physical assumptions. In M31, we compute a current nova rate of approximately 36 novae per year, under-predicting the most recent observational estimate of $65^{+15}_{-16}$. Finally, we conclude that when making predictions about currently observable nova rates in spiral galaxies, or stellar environments where star formation has ceased in the distant past, metallicity can likely be considered of secondary importance compared to uncertainties in binary stellar evolution.


title: Evidence for unconventional superconductivity in a spinel oxide

abstract: The charge frustration with the mixed-valence state inherent to LiTi$_2$O$_4$, which is found to be a unique spinel oxide superconductor, is the impetus for paying special attention to reveal the existence of intriguing superconducting properties. Here, we report a pronounced fourfold rotational symmetry of the superconductivity in high-quality single-crystalline LiTi$_2$O$_4$ (001) thin films. Both the magnetoresistivity and upper critical field under an applied magnetic field manifest striking fourfold oscillations deep inside the superconducting state, whereas the anisotropy vanishes in the normal state, demonstrating that it is an intrinsic property of the superconducting phase. We attribute this behavior to the unconventional $d$-wave superconducting Cooper pairs with the irreducible representation of $E_g$ protected by $O_h$ point group in LiTi$_2$O$_4$. Our findings demonstrate the unconventional character of the pairing interaction in a three-dimensional spinel oxide superconductor and shed new light on the pairing mechanism of unconventional superconductivity.


title: Unified Instance and Knowledge Alignment Pretraining for Aspect-based Sentiment Analysis

abstract: Aspect-based Sentiment Analysis (ABSA) aims to determine the sentiment polarity towards an aspect. Because of the expensive and limited labelled data, the pretraining strategy has become the de-facto standard for ABSA. However, there always exists severe domain shift between the pretraining and downstream ABSA datasets, hindering the effective knowledge transfer when directly finetuning and making the downstream task performs sub-optimal. To mitigate such domain shift, we introduce a unified alignment pretraining framework into the vanilla pretrain-finetune pipeline with both instance- and knowledge-level alignments. Specifically, we first devise a novel coarse-to-fine retrieval sampling approach to select target domain-related instances from the large-scale pretraining dataset, thus aligning the instances between pretraining and target domains (First Stage). Then, we introduce a knowledge guidance-based strategy to further bridge the domain gap at the knowledge level. In practice, we formulate the model pretrained on the sampled instances into a knowledge guidance model and a learner model, respectively. On the target dataset, we design an on-the-fly teacher-student joint fine-tuning approach to progressively transfer the knowledge from the knowledge guidance model to the learner model (Second Stage). Thereby, the learner model can maintain more domain-invariant knowledge when learning new knowledge from the target dataset. In the Third Stage, the learner model is finetuned to better adapt its learned knowledge to the target dataset. Extensive experiments and analyses on several ABSA benchmarks demonstrate the effectiveness and universality of our proposed pretraining framework. Our source code and models are publicly available at https://github.com/WHU-ZQH/UIKA.


title: Transient Polarization and Dendrite Initiation Dynamics in Ceramic Electrolytes

abstract: Solid-state electrolytes, by enabling lithium metal anodes, may significantly increase the energy density of current lithium-ion batteries. However, similar to their liquid counterparts, these hard and stiff electrolytes can still be penetrated by soft Li metal, above a critical current density (CCD). The prevailing method to determine the CCD employs step-wise galvanostatic cycling, which suffers from inconsistent active interfacial areas due to void formations after repeated stripping and plating, leaving large variance in the reported data that preclude precision understandings. Here, we combine a one-way polarization technique with electrochemical impedance spectroscopy to uncover, for the first time, the existence of significant polarization dynamics in ceramic electrolytes. In contrast to the diverging transient current due to metal penetration, the current peaks we observed suggest a diffusion-limited mechanism that follows the classic Randles-Sevcik equation for analyzing the diffusion-limited processes in liquid electrolytes. Our results allow a rigorous self-consistent analysis to reveal that the CCD is a diffusion-limited current density, while the system-specific limiting current density for ceramic electrolytes is still lower than CCD, which suggests that the ion transport mechanism preceding the dendrite penetration in ceramic electrolytes is unifiable with that in liquid electrolytes.


title: Scale-Free Adversarial Multi-Armed Bandit with Arbitrary Feedback Delays

abstract: We consider the Scale-Free Adversarial Multi-Armed Bandit (MAB) problem with unrestricted feedback delays. In contrast to the standard assumption that all losses are $[0,1]$-bounded, in our setting, losses can fall in a general bounded interval $[-L, L]$, unknown to the agent beforehand. Furthermore, the feedback of each arm pull can experience arbitrary delays. We propose a novel approach named Scale-Free Delayed INF (SFD-INF) for this novel setting, which combines a recent "convex combination trick" together with a novel doubling and skipping technique. We then present two instances of SFD-INF, each with carefully designed delay-adapted learning scales. The first one SFD-TINF uses $\frac 12$-Tsallis entropy regularizer and can achieve $\widetilde{\mathcal O}(\sqrt{K(D+T)}L)$ regret when the losses are non-negative, where $K$ is the number of actions, $T$ is the number of steps, and $D$ is the total feedback delay. This bound nearly matches the $\Omega((\sqrt{KT}+\sqrt{D\log K})L)$ lower-bound when regarding $K$ as a constant independent of $T$. The second one, SFD-LBINF, works for general scale-free losses and achieves a small-loss style adaptive regret bound $\widetilde{\mathcal O}(\sqrt{K\mathbb{E}[\tilde{\mathfrak L}_T^2]}+\sqrt{KDL})$, which falls to the $\widetilde{\mathcal O}(\sqrt{K(D+T)}L)$ regret in the worst case and is thus more general than SFD-TINF despite a more complicated analysis and several extra logarithmic dependencies. Moreover, both instances also outperform the existing algorithms for non-delayed (i.e., $D=0$) scale-free adversarial MAB problems, which can be of independent interest.


title: A doubly nonlinear evolution problem involving the fractional p-Laplacian

abstract: In this article, we focus on a doubly nonlinear nonlocal parabolic initial boundary value problem driven by the fractional $p$-Laplacian equipped with homogeneous Dirichlet boundary conditions on a domain in $\mathbb{R}^{d}$ and composed with a continuous, strictly increasing function. We establish well-posedness in $L^1$ in the sense of mild solutions, a comparison principle, and for restricted initial data we obtain that mild solutions of the inhomogeneous evolution problem are strong. We obtain $L^{q}$-$L^{\infty}$ regularity estimates for mild solutions, implying decay estimates and extending the property of strong solutions for more initial data. Moreover, we prove local and global H\"older continuity results as well as a comparison principle that yields extinction in finite time of mild solutions to the homogeneous evolution equation.


title: Revisiting randomized choices in isolation forests

abstract: Isolation forest or "iForest" is an intuitive and widely used algorithm for anomaly detection that follows a simple yet effective idea: in a given data distribution, if a threshold (split point) is selected uniformly at random within the range of some variable and data points are divided according to whether they are greater or smaller than this threshold, outlier points are more likely to end up alone or in the smaller partition. The original procedure suggested the choice of variable to split and split point within a variable to be done uniformly at random at each step, but this paper shows that "clustered" diverse outliers - oftentimes a more interesting class of outliers than others - can be more easily identified by applying a non-uniformly-random choice of variables and/or thresholds. Different split guiding criteria are compared and some are found to result in significantly better outlier discrimination for certain classes of outliers.


title: Interplay between Phase Transformation Instabilities and Spatiotemporal Reaction Heterogeneities in Particulate Intercalation Electrodes

abstract: Lithium-ion batteries rely on particulate porous electrodes to realize high performance, especially the fast-charging capability. To minimize the particle-wise reaction heterogeneities that may lead to local hot spots, deeper understandings of these electrodes at the mesoscale, i.e. hundreds of particles, have become an urgent need. This study reveals that the seemingly random reaction heterogeneities are actually controlled by the interplay between the non-equilibrium material thermodynamics and the external electrochemical driving force. Our operando experiments confirm the true working current density around a single particle that is much higher than the globally averaged current density, can change the behavior of phase transformation. The combined theoretical and experimental analyses reveal that unlike other phase-transforming porous electrodes, not all phase separation processes in graphite can be suppressed at high currents, due to the characteristics of the concentration-dependent exchange current density. The insights highlight the necessity to incorporate materials thermodynamics into electrochemical models to ensure self-consistent understandings of practical porous electrodes toward precision design and management.


title: The CosmoQuest Moon Mappers Community Science Project: The Effect of Incidence Angle on the Lunar Surface Crater Distribution

abstract: The CosmoQuest virtual community science platform facilitates the creation and implementation of astronomical research projects performed by citizen scientists. One such project, called Moon Mappers, aids in determining the feasibility of producing crowd-sourced cratering statistics of the surface of the Moon. Lunar crater population statistics are an important metric used to understand the formation and evolutionary history of lunar surface features, to estimate relative and absolute model ages of regions on the Moon's surface, and to establish chronologies for other planetary surfaces via extrapolation from the lunar record. It has been suggested and shown that solar incidence angle has an effect on the identification of craters, particularly at meter scales. We have used high-resolution image data taken by the Lunar Reconnaissance Orbiter's Narrow-Angle Camera of the Apollo 15 landing site over a range of solar incidence angles and have compiled catalogs of crater identifications obtained by minimally trained members of the general public participating in CosmoQuest's Moon Mappers project. We have studied the effects of solar incidence angle spanning from approximately 27.5 deg to approximately 83 deg (extending the incidence angle range examined in previous works), down to a minimum crater size of 10 m, and find that the solar incidence angle has a significant effect on the crater identification process, as has been determined by subject matter experts in other studies. The results of this analysis not only highlight the ability to use crowd-sourced data in reproducing and validating scientific analyses but also indicate the potential to perform original research.


title: Patterns in the Lattice Homology of Seifert Homology Spheres

abstract: In this paper, we study various homology cobordism invariants for Seifert fibered integral homology 3-spheres derived from Heegaard Floer homology. Our main tool is lattice homology, a combinatorial invariant defined by Ozsv\'ath-Szab\'o and N\'emethi. We reprove the fact that the $d$-invariants of Seifert homology spheres $\Sigma(a_1,a_2,\dots,a_n)$ and $\Sigma(a_1,a_2,\dots,a_n+a_1a_2\cdots a_{n-1})$ are the same using an explicit understanding of the behavior of the numerical semigroup minimally generated by $a_1a_2\cdots a_n/a_i$ for $i\in[1,n]$. We also study the maximal monotone subroots of the lattice homologies, another homology cobordism invariant introduced by Dai and Manolescu. We show that the maximal monotone subroots of the lattice homologies of Seifert homology spheres $\Sigma(a_1,a_2,\dots,a_n)$ and $\Sigma(a_1,a_2,\dots,a_n+2a_1a_2\cdots a_{n-1})$ are the same.


title: Towards Optimal Variance Reduction in Online Controlled Experiments

abstract: We study optimal variance reduction solutions for count and ratio metrics in online controlled experiments. Our methods leverage flexible machine learning tools to incorporate covariates that are independent from the treatment but have predictive power for the outcomes, and employ the cross-fitting technique to remove the bias in complex machine learning models. We establish CLT-type asymptotic inference based on our estimators under mild convergence conditions. Our procedures are optimal (efficient) for the corresponding targets as long as the machine learning estimators are consistent, without any requirement for their convergence rates. In complement to the general optimal procedure, we also derive a linear adjustment method for ratio metrics as a special case that is computationally efficient and can flexibly incorporate any pre-treatment covariates. We evaluate the proposed variance reduction procedures with comprehensive simulation studies and provide practical suggestions regarding commonly adopted assumptions in computing ratio metrics. When tested on real online experiment data from LinkedIn, the proposed optimal procedure for ratio metrics can reduce up to 80\% of variance compared to the standard difference-in-mean estimator and also further reduce up to 30\% of variance compared to the CUPED approach by going beyond linearity and incorporating a large number of extra covariates.


title: VLSI Implementation of Cryptographic Algorithms & Techniques: A Literature Review

abstract: Through the years, the flow of Data and its transmission have increased tremendously and so has the security issues to it. Cryptography in recent years with the advancement of VLSI has led to its implementation of Encryption and Decryption techniques, where the process of translating and converting plaintext into cypher text and vice versa is made possible. In this paper, the review of various aspects of VLSI's implementation of encryption and decryption are covered. To systemize the material, the information about topics such as Private Key Encryption, Index Technique, Blowfish Algorithm, DNA cryptography, and many more are reviewed. Ultimately, with this review, the basic understanding of different VLSI techniques of Encryption and Decryption can be studied and implemented.


title: Learning Rich Features for Gait Recognition by Integrating Skeletons and Silhouettes

abstract: Gait recognition captures gait patterns from the walking sequence of an individual for identification. Most existing gait recognition methods learn features from silhouettes or skeletons for the robustness to clothing, carrying, and other exterior factors. The combination of the two data modalities, however, is not fully exploited. Previous multimodal gait recognition methods mainly employ the skeleton to assist the local feature extraction where the intrinsic discrimination of the skeleton data is ignored. This paper proposes a simple yet effective Bimodal Fusion (BiFusion) network which mines discriminative gait patterns in skeletons and integrates with silhouette representations to learn rich features for identification. Particularly, the inherent hierarchical semantics of body joints in a skeleton is leveraged to design a novel Multi-Scale Gait Graph (MSGG) network for the feature extraction of skeletons. Extensive experiments on CASIA-B and OUMVLP demonstrate both the superiority of the proposed MSGG network in modeling skeletons and the effectiveness of the bimodal fusion for gait recognition. Under the most challenging condition of walking in different clothes on CASIA-B, our method achieves the rank-1 accuracy of 92.1%.