title: Characterisation of Dark Matter in Direct Detection Experiments: Singlino Versus Higgsino

abstract: We show how the material used in direct detection experiments of Dark Matter (DM), in the presence of a signal of it, can afford one with the possibility of extracting the nature of the underlying candidate. We do so for the case of a $U(1)'$ Supersymmetric Standard Model (USSM) of E$_6$ origin, by exploiting benchmark points over its parameter space that yield either a Singlino- or Higgsino-like neutralino as DM candidate, the latter being defined in presence of up-to-date constraints, from low to high energy and from collider to non-collider experiments. However, as our method is general, we also introduce a model-independent description of our analysis, for the purpose of aiding similar studies in other Beyond the Standard Model (BSM) scenarios. This has been made possible by adapting a rather simple $\chi^2$ analysis normally used for signal extraction in direct detection experiments and the procedure has been applied to Xenon, Germanium and Silicon detectors, those showing maximal and complementary sensitivity to gauge- and Higgs-portal induced interactions of DM with their nuclei.


title: Stretching and Shearing Contamination Analysis for Liutex/Rortex and Other Vortex Identification Methods

abstract: Although traditional vortex identification methods such as Q, Delta, Lambda2, Lambdaci remain popular in the identification and visualization of vortices, these methods count on shearing and stretching as a part of vortex strength. However, shearing and stretching do not contribute to fluid rotation. In this paper, the contamination effects of stretching and shearing of these methods are investigated and compared with Liutex method. From our investigation, the Liutex is an exact definition of fluid rotation or vortex, while other vortex identification methods are contaminated by stretching and shearing at different levels. The decomposition of the velocity gradient tensor can only be conducted in a so-called Principal Coordinate for uniqueness. The mathematical relation between Liutex and other vortex identification function are derived in this paper and then the effects of shearing and stretching on different vortex identification methods are studied. The mathematical formula and computation of the stretching and shearing effects on different schemes clearly show that the Liutex method has superiority over the other vortex identification methods as it only counts on local fluid rigid rotation while other methods count on stretching/compression and shearing as a part of the fluid rotation or vortex.


title: Automated Detection of Cortical Lesions in Multiple Sclerosis Patients with 7T MRI

abstract: The automated detection of cortical lesions (CLs) in patients with multiple sclerosis (MS) is a challenging task that, despite its clinical relevance, has received very little attention. Accurate detection of the small and scarce lesions requires specialized sequences and high or ultra-high field MRI. For supervised training based on multimodal structural MRI at 7T, two experts generated ground truth segmentation masks of 60 patients with 2014 CLs. We implemented a simplified 3D U-Net with three resolution levels (3D U-Net-). By increasing the complexity of the task (adding brain tissue segmentation), while randomly dropping input channels during training, we improved the performance compared to the baseline. Considering a minimum lesion size of 0.75 {\mu}L, we achieved a lesion-wise cortical lesion detection rate of 67% and a false positive rate of 42%. However, 393 (24%) of the lesions reported as false positives were post-hoc confirmed as potential or definite lesions by an expert. This indicates the potential of the proposed method to support experts in the tedious process of CL manual segmentation.


title: Correlation Analysis among Vorticity, Q method and Liutex

abstract: Influenced by the fact that vorticity represents rotation for rigid body, people believe it also works for fluid flow. However, the theoretical predictions by vorticity do not match experiment results, which drove scientists to look for better methods to describe vortex. According to Dr. Liu classification, all methods applied to detect vortex can be categorized into three generations. The vorticity-based method is classified as the first generation. Methods relying on eigenvalues of velocity gradient tensor are considered as the second generation. Although so many methods appeared, people still believe vorticity is vortex since vorticity theory looks perfect in math, and all other methods are only scalars and unable to indicate swirl direction. Recently, Dr. Liu innovated a new vortex identification method called Liutex. Liutex, a vector quantity, which is regarded as the third-generation method, not only overcomes all previous methods drawbacks, but also has a clear physical meaning. The direction of Liutex represents the swirl axis of rotation, and its strength is equal to twice of angular speed. In this paper, we did a correlation analysis between vorticity, Q, Lambda ci, Lambda 2 methods and Liutex based on a DNS case of boundary layer transition. The results show that the correlation between vorticity and Liutex is minimal in strong shear region, which demonstrates the idea that using vorticity to detect vortex lacks a scientific foundation; in other words, vorticity is not vortex.


title: Minimal Travelling Wave Speed and Explicit Solutions in Monostable Reaction-Diffusion Equations

abstract: We investigate the connection between the existence of an explicit travelling wave solution and the travelling wave with minimal speed in a scalar monostable reaction-diffusion equation.


title: Upconverting nanodots of nayf4yb3er3 synthesis characterization and uv visible luminescence study through ti sapphire 140 femtosecond laser pulses

abstract: In this work, dot-sized upconversion nanocrystals (UCN-dots) with diameter c.a. 3.4-0.15 nm have been synthesized. These UCN-dots exhibit visible emission (at 497, 527 and 545 nm) under the excitation with 980 nm CW-NIR laser. Further, these UCN-dots exhibit high energy upconversion emission (UV region, 206 to 231 nm) with Ti-Sapphire Femtosecond laser of 140-femtoseconds duration at 80 MHz repetition rate at different excitation, which has never been reported. This is interesting to report that the generation of high energy UV-Vis emission and their shifting from 206 to 231 nm for the UCN-dots by tuning the excitation wavelength ranging from 950 nm to 980 nm irradiated from Ti: sapphire Femtosecond laser observed. We have demonstrated the generation of high energy upconversions with change in energy band gaps as well as number of absorbed photons per photon emitted under the Femtosecond-laser excitation power. Additionally, we report the photo luminescence of UCN-dots in visible range with 450 nm excitation wavelength exhibiting blue and red emission (visible to visible). The generation of high energy up-conversion in UV-Vis region could be useful for designing optoelectronic and biomedical devices for therapeutic application.


title: Liutex-based Modified Navier-Stokes Equation

abstract: The Navier-Stokes (NS) partial differential equations, as the governing equation of fluid dynamics, are based on particles with zero volume. In such a condition, conservation law of moment of momentum is automatically satisfied, and thus NS equations only contain conservation of mass, momentum and energy. Because of the difficulty to get an analytical solution of NS equations, scientists develop finite element method (FEM) and finite volume method (FVM) to obtain approximate solutions. However, these methods are dependent on the size of finite volumes, which is not zero. Considering the size of the finite volume, conservation law of moment of momentum is no longer automatically satisfied and it is necessary to develop a new control equation to take effect of momentum into account. In this paper, new relations of reciprocal shear stresses are derived from conservation law of moment of momentum, and so are new constitutive relations and modified NS equations. The Liutex based NS equation may be the universal governing equations for both laminar and turbulent flow which is dominated by vortices and conservation of moment of momentum must be satisfied.


title: Adversarial Filters for Secure Modulation Classification

abstract: Modulation Classification (MC) refers to the problem of classifying the modulation class of a wireless signal. In the wireless communications pipeline, MC is the first operation performed on the received signal and is critical for reliable decoding. This paper considers the problem of secure modulation classification, where a transmitter (Alice) wants to maximize MC accuracy at a legitimate receiver (Bob) while minimizing MC accuracy at an eavesdropper (Eve). The contribution of this work is to design novel adversarial learning techniques for secure MC. In particular, we present adversarial filtering based algorithms for secure MC, in which Alice uses a carefully designed adversarial filter to mask the transmitted signal, that can maximize MC accuracy at Bob while minimizing MC accuracy at Eve. We present two filtering based algorithms, namely gradient ascent filter (GAF), and a fast gradient filter method (FGFM), with varying levels of complexity. Our proposed adversarial filtering based approaches significantly outperform additive adversarial perturbations (used in the traditional ML community and other prior works on secure MC) and also have several other desirable properties. In particular, GAF and FGFM algorithms are a) computational efficient (allow fast decoding at Bob), b) power-efficient (do not require excessive transmit power at Alice); and c) SNR efficient (i.e., perform well even at low SNR values at Bob).


title: The Neural Tangent Kernel in High Dimensions: Triple Descent and a Multi-Scale Theory of Generalization

abstract: Modern deep learning models employ considerably more parameters than required to fit the training data. Whereas conventional statistical wisdom suggests such models should drastically overfit, in practice these models generalize remarkably well. An emerging paradigm for describing this unexpected behavior is in terms of a \emph{double descent} curve, in which increasing a model's capacity causes its test error to first decrease, then increase to a maximum near the interpolation threshold, and then decrease again in the overparameterized regime. Recent efforts to explain this phenomenon theoretically have focused on simple settings, such as linear regression or kernel regression with unstructured random features, which we argue are too coarse to reveal important nuances of actual neural networks. We provide a precise high-dimensional asymptotic analysis of generalization under kernel regression with the Neural Tangent Kernel, which characterizes the behavior of wide neural networks optimized with gradient descent. Our results reveal that the test error has non-monotonic behavior deep in the overparameterized regime and can even exhibit additional peaks and descents when the number of parameters scales quadratically with the dataset size.


title: The Evaluation of Rating Systems in Online Free-for-All Games

abstract: Online competitive games have become increasingly popular. To ensure an exciting and competitive environment, these games routinely attempt to match players with similar skill levels. Matching players is often accomplished through a rating system. There has been an increasing amount of research on developing such rating systems. However, less attention has been given to the evaluation metrics of these systems. In this paper, we present an exhaustive analysis of six metrics for evaluating rating systems in online competitive games. We compare traditional metrics such as accuracy. We then introduce other metrics adapted from the field of information retrieval. We evaluate these metrics against several well-known rating systems on a large real-world dataset of over 100,000 free-for-all matches. Our results show stark differences in their utility. Some metrics do not consider deviations between two ranks. Others are inordinately impacted by new players. Many do not capture the importance of distinguishing between errors in higher ranks and lower ranks. Among all metrics studied, we recommend Normalized Discounted Cumulative Gain (NDCG) because not only does it resolve the issues faced by other metrics, but it also offers flexibility to adjust the evaluations based on the goals of the system


title: Is Supervised Syntactic Parsing Beneficial for Language Understanding? An Empirical Investigation

abstract: Traditional NLP has long held (supervised) syntactic parsing necessary for successful higher-level semantic language understanding (LU). The recent advent of end-to-end neural models, self-supervised via language modeling (LM), and their success on a wide range of LU tasks, however, questions this belief. In this work, we empirically investigate the usefulness of supervised parsing for semantic LU in the context of LM-pretrained transformer networks. Relying on the established fine-tuning paradigm, we first couple a pretrained transformer with a biaffine parsing head, aiming to infuse explicit syntactic knowledge from Universal Dependencies treebanks into the transformer. We then fine-tune the model for LU tasks and measure the effect of the intermediate parsing training (IPT) on downstream LU task performance. Results from both monolingual English and zero-shot language transfer experiments (with intermediate target-language parsing) show that explicit formalized syntax, injected into transformers through IPT, has very limited and inconsistent effect on downstream LU performance. Our results, coupled with our analysis of transformers' representation spaces before and after intermediate parsing, make a significant step towards providing answers to an essential question: how (un)availing is supervised parsing for high-level semantic natural language understanding in the era of large neural models?


title: Response to comment on "Resolving spatial and energetic distributions of trap states in metal halide perovskite solar cells"

abstract: Ravishankar et al. claimed the drive-level capacitance profiling (DLCP) method cannot resolve trap density along depth direction in perovskites with given thickness, and explained the measured charges to be a consequence of geometrical capacitance and diffusion capacitance. We point out that the trap densities in DLCP method are derived from the differential capacitance at different frequencies, and thus the background charges caused by diffusion and geometry capacitance has been subtracted. Even for the non-differential doping analysis by DLCP, the contribution from diffusion capacitance is shown to be negligible and contribution from geometry capacitance is excluded. Additional experiment results further support the measured trap density represents the actual trap distribution in perovskite solar cells.


title: On the Power of Automata Minimization in Reactive Synthesis

abstract: Temporal logic is often used to describe temporal properties in AI applications. The most popular language for doing so is Linear Temporal Logic (LTL). Recently, LTL on finite traces, LTLf, has been investigated in several contexts. In order to reason about LTLf, formulas are typically compiled into deterministic finite automata (DFA), as the intermediate semantic representation. Moreover, due to the fact that DFAs have canonical representation, efficient minimization algorithms can be applied to maximally reduce DFA size, helping to speed up subsequent computations. Here, we present a thorough investigation on two classical minimization algorithms, namely, the Hopcroft and Brzozowski algorithms. More specifically, we show how to apply these algorithms to semi-symbolic (explicit states, symbolic transition functions) automata representation. We then compare the two algorithms in the context of an LTLf-synthesis framework, starting from LTLf formulas. While earlier studies on comparing the two algorithms starting from randomly-generated automata concluded that neither algorithm dominates, our results suggest that starting from LTLf formulas, Hopcroft's algorithm is the best choice in the context of reactive synthesis. Deeper analysis explains why the supposed advantage of Brzozowski's algorithm does not materialize in practice.


title: Decoding Ultrafast Polarization Responses in Lead Halide Perovskites by the Two-Dimensional Optical Kerr Effect

abstract: The ultrafast polarization response to incident light and ensuing exciton/carrier generation are essential to outstanding optoelectronic properties of lead halide perovskites (LHPs). A large number of mechanistic studies in the LHP field to date have focused on contributions to polarizability from organic cations and the highly polarizable inorganic lattice. For a comprehensive understanding of the ultrafast polarization response, we must additionally account for the nearly instantaneous hyperpolarizability response to the propagating light field itself. While light propagation is pivotal to optoelectronics and photonics, little is known about this in LHPs in the vicinity of the bandgap where stimulated emission, polariton condensation, superfluorescence, and photon recycling may take place. Here we develop two-dimensional optical Kerr effect (2D-OKE) spectroscopy to energetically dissect broadband light propagation and dispersive nonlinear polarization responses in LHPs. In contrast to earlier interpretations, the below-bandgap OKE responses in both hybrid CH3NH3PbBr3 and all-inorganic CsPbBr3 perovskites are found to originate from strong hyperpolarizability and highly anisotropic dispersions. In both materials, the nonlinear mixing of anisotropically propagating light fields result in convoluted oscillatory polarization dynamics. Based on a four-wave mixing model, we quantitatively derive dispersion anisotropies, reproduce 2D-OKE frequency correlations, and establish polarization dressed light propagation in single crystal LHPs. Moreover, our findings highlight the importance of distinguishing the often-neglected anisotropic light propagation from underlying coherent quasi-particle responses in various forms of ultrafast spectroscopy.


title: Low Dimensional Material based Electro-Optic Phase Modulation Performance Analysis

abstract: Electro-optic modulators are utilized ubiquitously ranging from applications in data communication to photonic neural networks. While tremendous progress has been made over the years, efficient phase-shifting modulators are challenged with fundamental tradeoffs, such as voltage-length, index change-losses or energy-bandwidth, and no single solution available checks all boxes. While voltage-driven phase modulators, such as based on lithium niobate, offer low loss and high speed operation, their footprint of 10's of cm-scale is prohibitively large, especially for density-critical applications, for example in photonic neural networks. Ignoring modulators for quantum applications, where loss is critical, here we distinguish between current versus voltage-driven modulators. We focus on the former, since current-based schemes of emerging thin electro-optical materials have shown unity-strong index modulation suitable for heterogeneous integration into foundry waveguides. Here, we provide an in-depth ab-initio analysis of obtainable modulator performance based on heterogeneously integrating low-dimensional materials, i.e. graphene, thin films of indium tin oxide, and transition metal dichalcogenide monolayers into a plurality of optical waveguide designs atop silicon photonics. Using the fundamental modulator tradeoff of energy-bandwidth-product as a design-quality quantifier, we show that a small modal cross section, such as given by plasmonic modes, enables high-performance operation, physically realized by arguments on charge-distribution and low electrical resistance. An in-depth design understanding of phase-modulator performance, beyond doped-junctions in silicon, offers opportunities for micrometer-compact yet energy-bandwidth-ratio constrained modulators with timely opportunities to hardware-accelerate applications beyond data communication towards photonic machine intelligence.


title: New Chiral Gravity

abstract: The phase space of three-dimensional gravity with Compere-Song-Strominger (CSS) boundary conditions is endowed with asymptotic symmetries consisting in the semi-direct product of a Virasoro and a $\hat{u}(1)$ Ka\v{c}-Moody algebra, and contains BTZ black holes whose entropy can be accounted for by the degeneracy of states of a Warped CFT. By embedding these boundary conditions in Topologically Massive Gravity, we observe the existence of two special points in the space of couplings parameterized by the AdS$_3$ radius $\ell$ and the Chern-Simons coupling $\mu$. When $\mu = \pm {1\over \ell}$, the asymptotic symmetries reduce to either a chiral Virasoro algebra or a pure $\hat{u}(1)$ Ka\v{c}-Moody current algebra. At those points, black holes have positive energy while that of linearized excitations are non-negative.


title: Ultrahigh Doping of Graphene Using Flame-Deposited MoO3

abstract: The expected high performance of graphene-based electronics is often hindered by lack of adequate doping, which causes low carrier density and large sheet resistance. Many reported graphene doping schemes also suffer from instability or incompatibility with existing semiconductor processing. Here we report ultrahigh and stable p-type doping up to ~7x10^13 1/cm^2 (~2x10^21 1/cm^3}) of monolayer graphene grown by chemical vapor deposition. This is achieved by direct polycrystalline MoO3 growth on graphene using a rapid flame synthesis technique. With this approach, the metal-graphene contact resistance for holes is reduced to ~200 Ohm-um. We also demonstrate that flame-deposited MoO3 provides over 5x higher doping of graphene, as well as superior thermal and long-term stability, compared to electron-beam deposited MoO3.


title: Solubility of fructose in water-ethanol and water-methanol mixtures by using H-bonding models

abstract: Solubility of fructose in water-ethanol and water-methanol mixtures and density of each solution at 20, 30 and 40{\deg}C over a range of water mass percentage have been measured. A new thermodynamic model called H-bonding modified Wilson was proposed to describe solubility data satisfactorily. H-bonding modified UNIQUAC and H-bonding NRTL were studied and a comparison between these three models was performed. Literature data on solubility of fructose in these systems at 25, 40 and 60{\deg}C were used to calculate adjustable parameters of these three models. Also the density of solutions reported in this study was correlated successfully. The comparison results showed that H-bonding modified Wilson model has the lowest AAD% between these three models in correlation of literature solubility data and density data. Then prediction capability of each model was evaluated with the new experimental data which was reported in this study. The prediction results showed that H-bonding modified UNIQUAC is the most accurate model between these three models in prediction of solubility data.


title: Restoration of superconductivity in high magnetic fields in UTe$_2$

abstract: It was theoretically predicted more than 20 years ago [A.G. Lebed and K. Yamaji, {\it Phys. Rev. Lett.} {\bf80}, 2697 (1998)] that a triplet quasi-two-dimensional (Q2D) superconductor could restore its superconducting state in parallel magnetic fields, which are higher than its upper critical magnetic field, $H > H_{c2}(0)$. It is very likely that recently such phenomenon has been experimentally discovered in the Q2D superconductor UTe$_2$ by Nicholas Butch, Sheng Ran and their colleagues and has been confirmed by Japanese-French team. We review our previous theoretical results, using such a general method that it describes the reentrant superconductivity in the above mentioned compound as well as will hopefully describe the similar phenomena, which can be discovered in other Q2D superconductors.


title: Regularity of a transmission problem and periodic homogenization

abstract: This paper is concerned with the regularity theory of a transmission problem arising in composite materials. We give a new self-contained proof for the $C^{k,\alpha}$ estimates on both sides of the interface under the minimal assumptions on the interface and data. Moreover, we prove the uniform Lipschitz estimate across a $C^{1,\alpha}$ interface when the coefficients on both sides of the interface are periodic with independent structures and oscillating at different microscopic scales.


title: Skyline: Interactive In-Editor Computational Performance Profiling for Deep Neural Network Training

abstract: Training a state-of-the-art deep neural network (DNN) is a computationally-expensive and time-consuming process, which incentivizes deep learning developers to debug their DNNs for computational performance. However, effectively performing this debugging requires intimate knowledge about the underlying software and hardware systems---something that the typical deep learning developer may not have. To help bridge this gap, we present Skyline: a new interactive tool for DNN training that supports in-editor computational performance profiling, visualization, and debugging. Skyline's key contribution is that it leverages special computational properties of DNN training to provide (i) interactive performance predictions and visualizations, and (ii) directly manipulatable visualizations that, when dragged, mutate the batch size in the code. As an in-editor tool, Skyline allows users to leverage these diagnostic features to debug the performance of their DNNs during development. An exploratory qualitative user study of Skyline produced promising results; all the participants found Skyline to be useful and easy to use.


title: Chrome Dino Run using Reinforcement Learning

abstract: Reinforcement Learning is one of the most advanced set of algorithms known to mankind which can compete in games and perform at par or even better than humans. In this paper we study most popular model free reinforcement learning algorithms along with convolutional neural network to train the agent for playing the game of Chrome Dino Run. We have used two of the popular temporal difference approaches namely Deep Q-Learning, and Expected SARSA and also implemented Double DQN model to train the agent and finally compare the scores with respect to the episodes and convergence of algorithms with respect to timesteps.


title: Structural behavior of a two length scale core-softened fluid in two dimensions

abstract: 2D competitive systems shows a large variety of solid and aggregate patterns, re-entrant fluid phase, a continuous melting as predicted by the KTHNY theory and, in some cases, waterlike anomalies. In this paper, we employ Langevin Dynamics simulations of a ramp-like core-softened fluid that have two characteristic length scales and all the features mentioned above. Analyzing the fluid phase of this system, Bordin and Barbosa [Phys. Rev. E 97, 022604 (2018)] reported the existence of two waterlike anomalous region. Now, we revisit this problem focusing in the low temperature regime and a larger range of densities looking for a relation between the origin of the anomalous behavior, the solid phases and the re-entrant melting. Now, not two, but three anomalous regions were observed. The extra anomalous regions are related to the re-entrant melting of a amorphous solid to a cluster fluid. They are ruled not only by the competition between the characteristic length scales in the potential, but also by extra competitions induced by the variety of particles conformations. These competitions extends from the solid to the fluid phase, reflecting in the structural waterlike anomaly. Our results shade some light in the complex behavior of two length scales competitive potential, and helps to elucidate the relation between the large number of solid phases and the existence of more than one waterlike anomalies region in these systems.


title: On Partial Differential Encodings of Boolean Functions

abstract: We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non-trivial bounds on the Chow-Rank of polynomials used to specify partial differential encodings of Boolean functions. We also introduce variants of partial differential encodings called partial differential programs. We show that such programs optimally describe important families of polynomials including determinants and permanents. Partial differential programs also enables to quantitively contrast these two families of polynomials. Finally we derive from polynomial constructions inspired by partial differential programs which exhibit an unconditional exponential separation between high order hypergraph isomorhism instances and their sub-isomorphism counterparts.


title: Binding of antikaons and Lambda(1405) clusters in light kaonic nuclei

abstract: The energy spectra of light-mass kaonic nuclei were investigated using the theoretical framework of the $0s$-orbital model with zero-range $\bar{K} N$ and $\bar{K}\bar{K}$ interactions of effective single-channel real potentials. The energies of the $\bar{K} NN$, $\bar{K} NNN$, $\bar{K} NNNN$, $\bar{K}\bar{K} N$, and $\bar{K}\bar{K} NN$ systems were calculated in the cases of weak- and deep-binding of the $\bar{K} N$ interaction, which was adjusted to fit the $\Lambda(1405)$ mass with the energy of the $\bar{K} N$ bound state. The results qualitatively reproduced the energy systematics of kaonic nuclei calculated via other theoretical approaches. In the energy spectra of the $\bar{K} NN$ and $\bar{K}\bar{K} NN$ systems, the lowest states $\bar{K} NN(J^\pi,T=0^-,1/2)$ and $\bar{K}\bar{K} NN(0^+,0)$ were found to have binding energies approximately twice and four times as large as that of the $\bar{K} N(1/2^-,0)$ state, respectively. Higher $(J^\pi,T)$ states including $\bar{K} NN(1^-,1/2)$, $\bar{K}\bar{K} NN(0^+,1)$, and $\bar{K}\bar{K} NN(1^+,1)$ were predicted at energies of 9--25 MeV below the antikaon-decay threshold. The effective $\Lambda(1405)$-$\Lambda(1405)$ interaction in the $\bar{K}\bar{K} N N$ system was also investigated via a $\bar{K} N+\bar{K} N$-cluster model. Strong and weak $\Lambda(1405)$-$\Lambda(1405)$ attractions were obtained in the $S^\pi=0^+$ and $S^\pi=1^-$ channels, respectively. The $\Lambda(1405)$-$\Lambda(1405)$ interaction in the $$\bar{K}\bar{K} NN$ system was compared with the effective $d$-$d$ interaction in the $NNNN$ system, and the properties of dimer-dimer interactions in hadron and nuclear systems were discussed.


title: Parsec-scale properties of steep and flat spectrum extragalactic radio sources from a VLBA survey of a complete north polar cap sample

abstract: We observed with the VLBA at 2.3 and 8.6 GHz a complete flux-density limited sample of 482 radio sources with declination >+75 degrees brighter than 200 mJy at 1.4 GHz drawn from the NVSS catalog. 34% of the sources show parsec-scale emission above the flux density detection limit of 30 mJy; their accurate positions and parsec-scale structure parameters are determined. Among all the sources detected at least at the shortest VLBA baselines, the majority, or 72%, has a steep single-dish spectrum. The fraction of the sources with a detectable parsec-scale structure is above 95% among the flat-spectrum and close to 25% among the steep-spectrum objects. We identified 82 compact steep-spectrum source candidates, which make up 17% of the sample; most of them are reported for the first time. The compactness and the brightness temperature of the sources in our sample show a positive correlation with single-dish and VLBA spectral indices. All the sources with a significant 8 GHz variability were detected by the VLBA snapshot observations, which independently confirmed their compactness. We demonstrated that 54% of the sources detected by the VLBA at 2.3 GHz in our sample have a steep VLBA spectrum. The compact radio emission of these sources is likely dominated by optically thin jets or mini-lobes, not by an opaque jet core. These results show that future VLBI surveys aimed to search for new sources with parsec-scale structure should include not only flat-spectrum sources, but also steep-spectrum ones in order to reach an acceptable level of completeness.


title: Forecasting Cosmological Constraints from the Weak Lensing Magnification of Type Ia Supernovae Measured by the Nancy Grace Roman Space Telescope

abstract: The weak lensing magnification of Type Ia Supernovae (SNe Ia) is sensitive to the clustering of matter, and provides an independent cosmological probe complementary to SN Ia distance measurements. The Nancy Grace Roman Space Telescope is uniquely sensitive to this measurement as it can discover high redshift SNe Ia and measure them with high precision. We present a methodology for reconstructing the probability distribution of the weak lensing magnification $\mu$ of SNe Ia, $p(\mu)$, from observational data, and using it to constrain cosmological parameters. We find that the reconstructed $p(\mu)$ can be fitted accurately by a stretched Gaussian distribution, and used to measure the variance of $\mu$, $\xi_\mu$, which can be compared to theoretical predictions in a likelihood analysis. Applying our methodology to a set of realistically simulated SNe Ia expected from the Roman Space Telescope, we find that using the weak lensing magnification of the SNe Ia constrains a combination of matter density $\Omega_m$ and matter clustering amplitude $\sigma_8$. SN Ia distances alone lead to a better than 1\% measurement of $\Omega_m$. The combination of SN Ia weak lensing magnification and distance measurements result in a $\sim$ 10\% measurement on $\sigma_8$. The SNe Ia from Roman will be powerful in constraining the cosmological model.


title: Superlinear Lower Bounds Based on ETH

abstract: We introduce techniques for proving superlinear conditional lower bounds for polynomial time problems. In particular, we show that CircuitSAT for circuits with m gates and log(m) inputs (denoted by log-CircuitSAT) is not decidable in essentially-linear time unless the exponential time hypothesis (ETH) is false and k-Clique is decidable in essentially-linear time in terms of the graph's size for all fixed k. Such conditional lower bounds have previously only been demonstrated relative to the strong exponential time hypothesis (SETH). Our results therefore offer significant progress towards proving unconditional superlinear time complexity lower bounds for natural problems in polynomial time.


title: Uniformization, $\partial$-biLipschitz maps, sphericalization, and inversion

abstract: We define $\partial$-biLipschitz homeomorphisms between uniform metric spaces and show that these maps are always quasim\"obius. We also show that a homeomorphism being $\partial$-biLipschitz is equivalent to the map biLipschitz in the quasihyperbolic metrics on these spaces. The proofs of these claims require us to uniformize the quasihyperbolic metric. We further show that all admissible uniformizations of a Gromov hyperbolic space are quasim\"obius to one another by the identity map, including those uniformizations that are based at a point of the Gromov boundary. Using the main results we then show that the sphericalization and inversion operations are compatible with uniformization of hyperbolic spaces in a natural sense.


title: Thermoelectric calculations of ring-shaped bands in two-dimensional Bi$_2$Te$_3$, Bi$_2$Se$_3$ and Sb$_2$Te$_3$: a comparison of simple scattering approximations

abstract: Materials with ring-shaped electronic bands are promising thermoelectric candidates, since their unusual dispersion shape is predicted to give large power factors. While previous calculations of these materials have relied on the assumption of a constant mean-free-path or relaxation time, recent first-principles modeling of electron-phonon scattering suggests that the scattering rates may be better approximated by the electron density-of-states (so-called DOS scattering model). In this work, we use density functional theory to investigate single and double quintuple-layer Bi$_2$Te$_3$, Bi$_2$Se$_3$ and Sb$_2$Te$_3$, with a focus on understanding how the three aforementioned scattering approximations impact thermoelectric performance -- emphasis is placed on the DOS scattering model. The single quintuple-layer materials possess two ring-shaped valence band maxima that provide an abrupt increase in conducting channels, which benefits the power factor. Additionally, below the band edge a ring-shaped minimum, located between the two maxima, is found to further enhance the thermoelectric performance but only with the DOS scattering model. This comes from a sharp drop in the DOS, and thus scattering, just below the ring-shaped minimum. An analytic octic dispersion model is introduced and shown to qualitatively capture the observed features. The double quintuple-layer materials display notably worse thermoelectric properties, since their dispersions are significantly modified compared to the single quintuple-layer case. The benefits of ring-shaped bands are sensitive to the alignment of the two ring maxima and to the degree of ring anisotropy. Overall, single quintuple-layer Bi$_2$Te$_3$ and Bi$_2$Se$_3$ are most promising, with the DOS scattering model giving the highest power factors.


title: Finding Fast Transformers: One-Shot Neural Architecture Search by Component Composition

abstract: Transformer-based models have achieved stateof-the-art results in many tasks in natural language processing. However, such models are usually slow at inference time, making deployment difficult. In this paper, we develop an efficient algorithm to search for fast models while maintaining model quality. We describe a novel approach to decompose the Transformer architecture into smaller components, and propose a sampling-based one-shot architecture search method to find an optimal model for inference. The model search process is more efficient than alternatives, adding only a small overhead to training time. By applying our methods to BERT-base architectures, we achieve 10% to 30% speedup for pre-trained BERT and 70% speedup on top of a previous state-of-the-art distilled BERT model on Cloud TPU-v2 with a generally acceptable drop in performance.


title: How Search Engine Advertising Affects Sales over Time: An Empirical Investigation

abstract: As a mainstream marketing channel on the Internet, Search Engine Advertising (SEA) has a huge business impact and attracts a plethora of attention from both academia and industry. One important goal of advertising is to increase sales. Nevertheless, while previous research has studied multiple factors that are potentially related to the outcome of SEA campaigns, effects of these factors on actual sales generated by SEA remain understudied. It is also unclear whether and how such effects change over time in highly dynamic SEA campaigns. As the first empirical investigation of the dynamic advertisement-sales relationship in SEA, this study builds an advertising response model within a time-varying coefficient (TVC) modeling framework, and estimates the model using a unique dataset from a large E-Commerce retailer in the United States. Results reveal the effects of the advertising expenditure, consumer behaviors and advertisement characteristics on realized sales, and demonstrate that such effects on sales do change over time in non-linear ways. More importantly, we find that carryover has a stronger effect in generating sales than direct response does, conversion rate is much more important than click-through rate, and ad position does not have significant effects on sales. These findings have direct implications for advertisers to launch more effective SEA campaigns.


title: Cluster-level Feature Alignment for Person Re-identification

abstract: Instance-level alignment is widely exploited for person re-identification, e.g. spatial alignment, latent semantic alignment and triplet alignment. This paper probes another feature alignment modality, namely cluster-level feature alignment across whole dataset, where the model can see not only the sampled images in local mini-batch but the global feature distribution of the whole dataset from distilled anchors. Towards this aim, we propose anchor loss and investigate many variants of cluster-level feature alignment, which consists of iterative aggregation and alignment from the overview of dataset. Our extensive experiments have demonstrated that our methods can provide consistent and significant performance improvement with small training efforts after the saturation of traditional training. In both theoretical and experimental aspects, our proposed methods can result in more stable and guided optimization towards better representation and generalization for well-aligned embedding.


title: Two-component dynamics and the liquid-like to gas-like crossover in supercritical water

abstract: Molecular-scale dynamics in sub- to super-critical water is studied with inelastic X-ray scattering and molecular dynamics simulations. The obtained longitudinal current correlation spectra can be decomposed into two main components: a low-frequency (LF), gas-like component and a high-frequency (HF) component arising from the O--O stretching mode between hydrogen-bonded molecules, reminiscent of the longitudinal acoustic mode in ambient water. With increasing temperature, the hydrogen-bond network diminishes and the spectral weight shifts from HF to LF, leading to a transition from liquid-like to gas-like dynamics with rapid changes around the Widom line.


title: Quantum Hoare logic with classical variables

abstract: Hoare logic provides a syntax-oriented method to reason about program correctness and has been proven effective in the verification of classical and probabilistic programs. Existing proposals for quantum Hoare logic either lack completeness or support only quantum variables, thus limiting their capability in practical use. In this paper, we propose a quantum Hoare logic for a simple while language which involves both classical and quantum variables. Its soundness and relative completeness are proven for both partial and total correctness of quantum programs written in the language. Remarkably, with novel definitions of classical-quantum states and corresponding assertions, the logic system is quite simple and similar to the traditional Hoare logic for classical programs. Furthermore, to simplify reasoning in real applications, auxiliary proof rules are provided which support standard logical operation in the classical part of assertions, and of super-operator application in the quantum part. Finally, a series of practical quantum algorithms, in particular the whole algorithm of Shor's factorisation, are formally verified to show the effectiveness of the logic.


title: Attributes affecting user decision to adopt a Virtual Private Network (VPN) app

abstract: A Virtual Private Network (VPN) helps to mitigate security and privacy risks of data transmitting on unsecured network such as public Wi-Fi. However, despite awareness of public Wi-Fi risks becoming increasingly common, the use of VPN when using public Wi-Fi is low. To increase adoption, understanding factors driving user decision to adopt a VPN app is an important first step. This study is the first to achieve this objective using discrete choice experiments (DCEs) to elicit individual preferences of specific attributes of a VPN app. The experiments were run in the United Kingdom (UK) and Japan (JP). We first interviewed participants (15 UK, 17 JP) to identify common attributes of a VPN app which they considered important. The results were used to design and run a DCE in each country. Participants (149 UK, 94 JP) were shown a series of two hypothetical VPN apps, varying in features, and were asked to choose one which they preferred. Customer review rating, followed by price of a VPN app, significantly affected the decision to choose which VPN app to download and install. A change from a rating of 3 to 4-5 stars increased the probability of choosing an app by 33% in the UK and 14% in Japan. Unsurprisingly, price was a deterrent. Recommendations by friends, source of product reviews, and the presence of in-app ads also played a role but to a lesser extent. To actually use a VPN app, participants considered Internet speed, connection stability, battery level on mobile devices, and the presence of in-app ads as key drivers. Participants in the UK and in Japan prioritized these attributes differently, suggesting possible influences from cultural differences.


title: Cascaded channel pruning using hierarchical self-distillation

abstract: In this paper, we propose an approach for filter-level pruning with hierarchical knowledge distillation based on the teacher, teaching-assistant, and student framework. Our method makes use of teaching assistants at intermediate pruning levels that share the same architecture and weights as the target student. We propose to prune each model independently using the gradient information from its corresponding teacher. By considering the relative sizes of each student-teacher pair, this formulation provides a natural trade-off between the capacity gap for knowledge distillation and the bias of the filter saliency updates. Our results show improvements in the attainable accuracy and model compression across the CIFAR10 and ImageNet classification tasks using the VGG16and ResNet50 architectures. We provide an extensive evaluation that demonstrates the benefits of using a varying number of teaching assistant models at different sizes.


title: A Bernstein Type Theorem for Minimal Graphs over Convex Domains

abstract: Given any $n \geq 2$, we show that if $\Omega \subsetneq \mathbb{R}^n$ is an open convex domain (e.g. a half-space), and $u : \Omega \to \mathbb{R}$ is a solution to the minimal surface equation which agrees with a linear function on $\partial \Omega$, then $u$ must itself be linear.


title: Architectures and Technologies for a Space Telescope for Solar System Science

abstract: We advocate for a mission concept study for a space telescope dedicated to solar system science in Earth orbit. Such a study was recommended by the Committee on Astrobiology and Planetary Science (CAPS) report "Getting Ready for the Next Planetary Science Decadal Survey." The Mid-Decadal Review also recommended NASA to assess the role and value of space telescopes for planetary science. The need for high-resolution, UV-Visible capabilities is especially acute for planetary science with the impending end of the Hubble Space Telescope (HST); however, NASA has not funded a planetary telescope concept study, and the need to assess its value remains. Here, we present potential design options that should be explored to inform the decadal survey.


title: BRST Analysis and BFV Quantization of the Generalized Quantum Rigid Rotor

abstract: We identify a strong similarity among several distinct originally second-class systems, including both mechanical and field theory models, which can be naturally described in a gauge-invariant way. The canonical structure of such related systems is encoded into a gauge-invariant generalization of the quantum rigid rotor. We pursue the BRST symmetry analysis and the BFV functional quantization for the mentioned gauge-invariant version of the generalized quantum rigid rotor. We obtain different equivalent effective actions according to specific gauge-fixing choices, showing explicitly their BRST symmetries. We apply and exemplify the ideas discussed to two particular models, namely, motion along an elliptical path and the $O(N)$ nonlinear sigma model, showing that our results reproduce and connect previously unrelated known gauge-invariant systems.


title: Estimates of the Bergman kernel on Teichmuller space

abstract: In this paper, a comparison between the Bergman kernel form and the pushforward measure of the Masur-Veech meaure on the Teichmuller space of genus $g\ge 2$ is obtained.


title: Dynamic Tilting of Ferroelectric Domain Walls via Optically Induced Electronic Screening

abstract: Optical excitation perturbs the balance of phenomena selecting the tilt orientation of domain walls within ferroelectric thin films. The high carrier density induced in a low-strain BaTiO3 thin film by an above-bandgap ultrafast optical pulse changes the tilt angle that 90{\deg} a/c domain walls form with respect to the substrate-film interface. The dynamics of the changes are apparent in time-resolved synchrotron x-ray scattering studies of the domain diffuse scattering. Tilting occurs at 298 K, a temperature at which the a/b and a/c domain phases coexist but is absent at 343 K in the better ordered single-phase a/c regime. Phase coexistence at 298 K leads to increased domain-wall charge density, and thus a larger screening effect than in the single-phase regime. The screening mechanism points to new directions for the manipulation of nanoscale ferroelectricity.


title: PIC simulations of microinstabilities and waves at near-Sun solar wind perpendicular shocks: Predictions for Parker Solar Probe and Solar Orbiter

abstract: Microinstabilities and waves excited at moderate-Mach-number perpendicular shocks in the near-Sun solar wind are investigated by full particle-in-cell (PIC) simulations. By analyzing the dispersion relation of fluctuating field components directly issued from the shock simulation, we obtain key findings concerning wave excitations at the shock front: (1) at the leading edge of the foot, two types of electrostatic (ES) waves are observed. The relative drift of the reflected ions versus the electrons triggers an electron cyclotron drift instability (ECDI) which excites the first ES wave. Because the bulk velocity of gyro-reflected ions shifts to the direction of the shock front, the resulting ES wave propagates oblique to the shock normal. Immediately, a fraction of incident electrons are accelerated by this ES wave and a ring-like velocity distribution is generated. They can couple with the hot Maxwellian core and excite the second ES wave around the upper hybrid frequency. (2) from the middle of the foot all the way to the ramp, electrons can couple with both incident and reflected ions. ES waves excited by ECDI in different directions propagate across each other. Electromagnetic (EM) waves (X mode) emitted toward upstream are observed in both regions. They are probably induced by a small fraction of relativistic electrons. Results shed new insight on the mechanism for the occurrence of ES wave excitations and possible EM wave emissions at young CME-driven shocks in the near-Sun solar wind.


title: Inert sextuplet scalar dark matter at the LHC and future colliders

abstract: We study a dark matter model constructed by extending the standard model with an inert $\mathrm{SU}(2)_\mathrm{L}$ sextuplet scalar of hypercharge 1/2. The sextuplet components are split by the quartic couplings between the sextuplet and the Higgs doublet after electroweak symmetry breaking, resulting in a dark sector with one triply charged, two doubly charged, two singly charged, and two neutral scalars. The lighter neutral scalar boson acts as a dark matter particle. We investigate the constraints on this model from the $\text{monojet} + /\!\!\!\!E_\mathrm{T}$ and $\text{soft-dilepton} + \text{jets} + /\!\!\!\!E_\mathrm{T}$ searches at the 13 TeV Large Hadron Collider, as well as from the current electroweak precision test. Furthermore, we estimate the projected sensitivities of a 100 TeV $pp$ collider and of a future $e^+e^-$ collider, and find that such future projects could probe TeV mass scales. Nonetheless, such mass scales only correspond to a subdominant component of the observed relic abundance if the dark matter particles solely originate from thermal production.


title: Relevance Attack on Detectors

abstract: This paper focuses on high-transferable adversarial attacks on detectors, which are hard to attack in a black-box manner, because of their multiple-output characteristics and the diversity across architectures. To pursue a high attack transferability, one plausible way is to find a common property across detectors, which facilitates the discovery of common weaknesses. We are the first to suggest that the relevance map from interpreters for detectors is such a property. Based on it, we design a Relevance Attack on Detectors (RAD), which achieves a state-of-the-art transferability, exceeding existing results by above 20%. On MS COCO, the detection mAPs for all 8 black-box architectures are more than halved and the segmentation mAPs are also significantly influenced. Given the great transferability of RAD, we generate the first adversarial dataset for object detection and instance segmentation, i.e., Adversarial Objects in COntext (AOCO), which helps to quickly evaluate and improve the robustness of detectors.


title: Erlang Redux: An Ansatz Method for Solving the M/M/m Queue

abstract: This exposition presents a novel approach to solving an M/M/m queue for the waiting time and the residence time. The motivation comes from an algebraic solution for the residence time of the M/M/1 queue. The key idea is the introduction of an ansatz transformation, defined in terms of the Erlang B function, that avoids the more opaque derivation based on applied probability theory. The only prerequisite is an elementary knowledge of the Poisson distribution, which is already necessary for understanding the M/M/1 queue. The approach described here supersedes our earlier approximate morphing transformation.


title: Conjunctive Queries: Unique Characterizations and Exact Learnability

abstract: We answer the question which conjunctive queries are uniquely characterized by polynomially many positive and negative examples, and how to construct such examples efficiently. As a consequence, we obtain a new efficient exact learning algorithm for a class of conjunctive queries. At the core of our contributions lie two new polynomial-time algorithms for constructing frontiers in the homomorphism lattice of finite structures. We also discuss implications for the unique characterizability and learnability of schema mappings and of description logic concepts.


title: Perfect Integrability and Gaudin Models

abstract: We suggest the notion of perfect integrability for quantum spin chains and conjecture that quantum spin chains are perfectly integrable. We show the perfect integrability for Gaudin models associated to simple Lie algebras of all finite types, with periodic and regular quasi-periodic boundary conditions.


title: Faster Person Re-Identification

abstract: Fast person re-identification (ReID) aims to search person images quickly and accurately. The main idea of recent fast ReID methods is the hashing algorithm, which learns compact binary codes and performs fast Hamming distance and counting sort. However, a very long code is needed for high accuracy (e.g. 2048), which compromises search speed. In this work, we introduce a new solution for fast ReID by formulating a novel Coarse-to-Fine (CtF) hashing code search strategy, which complementarily uses short and long codes, achieving both faster speed and better accuracy. It uses shorter codes to coarsely rank broad matching similarities and longer codes to refine only a few top candidates for more accurate instance ReID. Specifically, we design an All-in-One (AiO) framework together with a Distance Threshold Optimization (DTO) algorithm. In AiO, we simultaneously learn and enhance multiple codes of different lengths in a single model. It learns multiple codes in a pyramid structure, and encourage shorter codes to mimic longer codes by self-distillation. DTO solves a complex threshold search problem by a simple optimization process, and the balance between accuracy and speed is easily controlled by a single parameter. It formulates the optimization target as a $F_{\beta}$ score that can be optimised by Gaussian cumulative distribution functions. Experimental results on 2 datasets show that our proposed method (CtF) is not only 8% more accurate but also 5x faster than contemporary hashing ReID methods. Compared with non-hashing ReID methods, CtF is $50\times$ faster with comparable accuracy. Code is available at https://github.com/wangguanan/light-reid.


title: Magnetic Excitations of the Hybrid Multiferroic (ND4)2FeCl5D2O

abstract: We report a comprehensive inelastic neutron scattering study of the hybrid molecule-based multiferroic compound (ND4)2FeCl5D2O in the zero-field incommensurate cycloidal phase and the high-field quasi-collinear phase. The spontaneous electric polarization changes its direction concurrently with the field-induced magnetic transition, from mostly aligned with the crystallographic a-axis to the c-axis. To account for such change of polarization direction, the underlying multiferroic mechanism was proposed to switch from the spin-current model induced via the inverse Dzyalloshinskii-Moriya interaction to the p-d hybridization model. We perform a detailed analysis of the inelastic neutron data of (ND4)2FeCl5D2O using linear spin-wave theory to quantify magnetic interaction strengths and investigate possible impact of different multiferroic mechanisms on the magnetic couplings. Our result reveals that the spin dynamics of both multiferroic phases can be well-described by a Heisenberg Hamiltonian with an easy-plane anisotropy. We do not find notable differences between the optimal model parameters of the two phases. The hierarchy of exchange couplings and the balance among frustrated interactions remain the same between two phases, suggesting that magnetic interactions in (ND4)2FeCl5D2O are much more robust than the electric polarization in response to delicate reorganizations of the electronic degrees of freedom in an applied magnetic field.


title: A novel approach to remove foreign objects from chest X-ray images

abstract: We initially proposed a deep learning approach for foreign objects inpainting in smartphone-camera captured chest radiographs utilizing the cheXphoto dataset. Foreign objects which can significantly affect the quality of a computer-aided diagnostic prediction are captured under various settings. In this paper, we used multi-method to tackle both removal and inpainting chest radiographs. Firstly, an object detection model is trained to separate the foreign objects from the given image. Subsequently, the binary mask of each object is extracted utilizing a segmentation model. Each pair of the binary mask and the extracted object are then used for inpainting purposes. Finally, the in-painted regions are now merged back to the original image, resulting in a clean and non-foreign-object-existing output. To conclude, we achieved state-of-the-art accuracy. The experimental results showed a new approach to the possible applications of this method for chest X-ray images detection.


title: Accuracy of slender body theory in approximating force exerted by thin fiber on viscous fluid

abstract: We consider the accuracy of slender body theory in approximating the force exerted by a thin fiber on the surrounding viscous fluid when the fiber velocity is prescribed. We term this the slender body inverse problem, as it is known that slender body theory converges to a well-posed PDE solution when the force is prescribed and the fiber velocity is unknown. From a PDE perspective, the slender body inverse problem is simply the Dirichlet problem for the Stokes equations, but from an approximation perspective, nonlocal slender body theory exhibits high wavenumber instabilities which complicate analysis. Here we consider two methods for regularizing the slender body approximation: spectral truncation and the $\delta$-regularization of Tornberg and Shelley (2004). For a straight, periodic fiber with constant radius $\epsilon>0$, we explicitly calculate the spectrum of the operator mapping fiber velocity to force for both the PDE and the approximations. We show that the spectrum of the original slender body approximation agrees closely with the PDE solution at low wavenumbers but differs at high frequencies, allowing us to define a truncated approximation with a wavenumber cutoff $\sim1/\epsilon$. For both the truncated and $\delta$-regularized approximations, we obtain similar convergence results to the PDE solution as $\epsilon\to0$: a fiber velocity with $H^1$ regularity gives $O(\epsilon)$ convergence, while a fiber velocity with at least $H^2$ regularity yields $O(\epsilon^2)$ convergence. Moreover, we determine the dependence of the $\delta$-regularized error estimate on the regularization parameter $\delta$.


title: The projective cover of tableau-cyclic indecomposable $H_n(0)$-modules

abstract: Let $\alpha$ be a composition of $n$ and $\sigma$ a permutation in $\mathfrak{S}_{\ell(\alpha)}$. This paper concerns the projective covers of $H_n(0)$-modules $\mathcal{V}_\alpha$, $X_\alpha$ and $\mathbf{S}^\sigma_{\alpha}$, which categorify the dual immaculate quasisymmetric function, the extended Schur function, and the quasisymmetric Schur function when $\sigma$ is the identity, respectively. First, we show that the projective cover of $\mathcal{V}_\alpha$ is the projective indecomposable module $\mathbf{P}_\alpha$ due to Norton, and $X_\alpha$ and the $\phi$-twist of the canonical submodule $\mathbf{S}^{\sigma}_{\beta,C}$ of $\mathbf{S}^\sigma_{\beta}$ for $(\beta,\sigma)$'s satisfying suitable conditions appear as $H_n(0)$-homomorphic images of $\mathcal{V}_\alpha$. Second, we introduce a combinatorial model for the $\phi$-twist of $\mathbf{S}^\sigma_{\alpha}$ and derive a series of surjections starting from $\mathbf{P}_\alpha$ to the $\phi$-twist of $\mathbf{S}^{\mathrm{id}}_{\alpha,C}$. Finally, we construct the projective cover of every indecomposable direct summand $\mathbf{S}^\sigma_{\alpha, E}$ of $\mathbf{S}^\sigma_{\alpha}$. As a byproduct, we give a characterization of triples $(\sigma, \alpha, E)$ such that the projective cover of $\mathbf{S}^\sigma_{\alpha, E}$ is indecomposable.


title: DeepSampling: Selectivity Estimation with Predicted Error and Response Time

abstract: The rapid growth of spatial data urges the research community to find efficient processing techniques for interactive queries on large volumes of data. Approximate Query Processing (AQP) is the most prominent technique that can provide real-time answer for ad-hoc queries based on a random sample. Unfortunately, existing AQP methods provide an answer without providing any accuracy metrics due to the complex relationship between the sample size, the query parameters, the data distribution, and the result accuracy. This paper proposes DeepSampling, a deep-learning-based model that predicts the accuracy of a sample-based AQP algorithm, specially selectivity estimation, given the sample size, the input distribution, and query parameters. The model can also be reversed to measure the sample size that would produce a desired accuracy. DeepSampling is the first system that provides a reliable tool for existing spatial databases to control the accuracy of AQP.


title: Differentially Private Multi-Agent Planning for Logistic-like Problems

abstract: Planning is one of the main approaches used to improve agents' working efficiency by making plans beforehand. However, during planning, agents face the risk of having their private information leaked. This paper proposes a novel strong privacy-preserving planning approach for logistic-like problems. This approach outperforms existing approaches by addressing two challenges: 1) simultaneously achieving strong privacy, completeness and efficiency, and 2) addressing communication constraints. These two challenges are prevalent in many real-world applications including logistics in military environments and packet routing in networks. To tackle these two challenges, our approach adopts the differential privacy technique, which can both guarantee strong privacy and control communication overhead. To the best of our knowledge, this paper is the first to apply differential privacy to the field of multi-agent planning as a means of preserving the privacy of agents for logistic-like problems. We theoretically prove the strong privacy and completeness of our approach and empirically demonstrate its efficiency. We also theoretically analyze the communication overhead of our approach and illustrate how differential privacy can be used to control it.


title: A Cardioid Domain and Starlike Functions

abstract: We introduce and study a class of starlike functions defined by \begin{equation*} \mathscr{S}^*_\wp:=\left\{f\in\mathcal{A}: \frac{zf'(z)}{f(z)}\prec 1+ze^z=:\wp(z)\right\}, \end{equation*} where $\wp$ maps the unit disk onto a cardioid domain. We find the radius of convexity of $\wp(z)$ and establish the inclusion relations between the class $ \mathscr{S}^*_\wp$ and some well-known classes. Further we derive sharp radius constants and coefficient related results for the class $ \mathscr{S}^*_\wp$.


title: A generalized linear threshold model for an improved description of the spreading dynamics

abstract: Many spreading processes in our real-life can be considered as a complex contagion, and the linear threshold (LT) model is often applied as a very representative model for this mechanism. Despite its intensive usage, the LT model suffers several limitations in describing the time evolution of the spreading. First, the discrete-time step that captures the speed of the spreading is vaguely defined. Second, the synchronous updating rule makes the nodes infected in batches, which can not take individual differences into account. Finally, the LT model is incompatible with existing models for the simple contagion. Here we consider a generalized linear threshold (GLT) model for the continuous-time stochastic complex contagion process that can be efficiently implemented by the Gillespie algorithm. The time in this model has a clear mathematical definition and the updating order is rigidly defined. We find that the traditional LT model systematically underestimates the spreading speed and the randomness in the spreading sequence order. We also show that the GLT model works seamlessly with the susceptible-infected (SI) or susceptible-infected-recovered (SIR) model. One can easily combine them to model a hybrid spreading process in which simple contagion accumulates the critical mass for the complex contagion that leads to the global cascades. Overall, the GLT model we proposed can be a useful tool to study complex contagion, especially when studying the time evolution of the spreading.


title: Benchmarking database performance for genomic data

abstract: Genomic regions represent features such as gene annotations, transcription factor binding sites and epigenetic modifications. Performing various genomic operations such as identifying overlapping/non-overlapping regions or nearest gene annotations are common research needs. The data can be saved in a database system for easy management, however, there is no comprehensive database built-in algorithm at present to identify overlapping regions. Therefore I have developed a region-mapping (RegMap) SQL-based algorithm to perform genomic operations and have benchmarked the performance of different databases. Benchmarking identified that PostgreSQL extracts overlapping regions much faster than MySQL. Insertion and data uploads in PostgreSQL were also better, although general searching capability of both databases was almost equivalent. In addition, using the algorithm pair-wise, overlaps of >1000 datasets of transcription factor binding sites and histone marks, collected from previous publications, were reported and it was found that HNF4G significantly co-locates with cohesin subunit STAG1 (SA1).


title: A lemma on the exponent of Schur multiplier of $p$ groups with good power structure

abstract: In this note, we give short proofs of the well-known results that the exponent of the Schur multiplier $\M$ divides the exponent of $\G$ for finite $\p$-groups of maximal class and potent $\p$-groups. Moreover, we prove the same for a finite $\p$-group $\G$ satisfying $\G^{\p^2}\subset \gamma_{\p}(\G)$, and for $3$-groups of class $5$. We do this by proving a general lemma, and show that these three classes of groups satisfy the hypothesis of our lemma.


title: Open source tools for management and archiving of digital microscopy data to allow integration with patient pathology and treatment information

abstract: Virtual microscopy includes digitisation of histology slides and the use of computer technologies for complex investigation of diseases such as cancer. However, automated image analysis, or website publishing of such digital images, is hampered by their large file sizes. We have developed two Java based open source tools: Snapshot Creator and NDPI-Splitter. Snapshot Creator converts a portion of a large digital slide into a desired quality JPEG image. The image is linked to the patients clinical and treatment information in a customised open source cancer data management software (Caisis) in use at the Australian Breast Cancer Tissue Bank (ABCTB) and then published on the ABCTB website www.abctb.org.au using Deep Zoom open source technology. Using the ABCTB online search engine, digital images can be searched by defining various criteria such as cancer type, or biomarkers expressed. NDPI-Splitter splits a large image file into smaller sections of TIFF images so that they can be easily analysed by image analysis software such as Metamorph or Matlab. NDPI-Splitter also has the capacity to filter out empty images. Snapshot Creator and NDPI-Splitter are novel open source Java tools. They convert digital slides into files of smaller size for further processing. In conjunction with other open source tools such as Deep Zoom and Caisis, this suite of tools is used for the management and archiving of digital microscopy images, enabling digitised images to be explored and zoomed online. Our online image repository also has the capacity to be used as a teaching resource. These tools also enable large files to be sectioned for image analysis.


title: High-throughput computational characterization of two-dimensional compositionally complex transition-metal chalcogenide alloys

abstract: Two-dimensional (2D) binary transition-metal chalcogenides (TMCs) like molybdenum disulfide exhibits excellent properties as materials for light adsorption devices. Alloying binary TMCs can form 2D compositionally complex TMC alloys (CCTMCAs) that possess remarkable properties from the constituent TMCs. We adopt a high-throughput workflow performing density functional theory (DFT) calculations based on the virtual crystal approximation (VCA) model (VCA-DFT). We test the workflow by predicting properties including in-plane lattice constants, band gaps, effective masses, spin-orbit coupling (SOC), and band alignments of the Mo-W-S-Se, Mo-W-S-Te, and Mo-W-Se-Te 2D CCTMCAs. We validate the VCA-DFT results by computing the same properties using unit cells and supercells of selected compositions. The VCA-DFT results of the abovementioned five properties are comparable to that of DFT calculations, with some inaccuracies in several properties of MoSTe and WSTe. Moreover, 2D CCTMCAs can form type II heterostructures as used in photovoltaics. Finally, we use Mo0.5W0.5SSe, Mo0.5W0.5STe, and Mo0.5W0.5SeTe 2D CCTMCAs to demonstrate the room-temperature entropy-stabilized alloys. They also exhibit high electrical conductivities at 300K, promising for light adsorption devices. Our work shows that the high-throughput workflow using VCA-DFT calculations provides a tradeoff between efficiency and accuracy, opening up opportunities in the computational design of other 2D CCTMCAs for various applications.


title: Random $K_k$-removal algorithm

abstract: One interesting question is how a graph develops from some constrained random graph process, which is a fundamental mechanism in the formation and evolution of dynamic networks. The problem here is referred to the random $K_k$-removal algorithm. For a fixed integer $k\geqslant 3$, it starts with a complete graph on $n\rightarrow\infty$ vertices and iteratively removes the edges of an uniformly chosen $K_k$. This algorithm terminates once no $K_k$s remain and at the same time it generates one linear $k$-uniform hypergraph. For $k=3$, it was shown that the size in the final graph is $n^{3/2+o(1)}$. Less results are on the cases when $k\geqslant 4$. In this paper, we prove that the exact expected trajectories of various key parameters in the algorithm to some iteration such that the final size in the algorithm is at most $n^{2-1/(k(k-1)-2)+o(1)}$ for $k\geqslant 4$. We also show the bound is a natural barrier.


title: We Learn Better Road Pothole Detection: from Attention Aggregation to Adversarial Domain Adaptation

abstract: Manual visual inspection performed by certified inspectors is still the main form of road pothole detection. This process is, however, not only tedious, time-consuming and costly, but also dangerous for the inspectors. Furthermore, the road pothole detection results are always subjective, because they depend entirely on the individual experience. Our recently introduced disparity (or inverse depth) transformation algorithm allows better discrimination between damaged and undamaged road areas, and it can be easily deployed to any semantic segmentation network for better road pothole detection results. To boost the performance, we propose a novel attention aggregation (AA) framework, which takes the advantages of different types of attention modules. In addition, we develop an effective training set augmentation technique based on adversarial domain adaptation, where the synthetic road RGB images and transformed road disparity (or inverse depth) images are generated to enhance the training of semantic segmentation networks. The experimental results demonstrate that, firstly, the transformed disparity (or inverse depth) images become more informative; secondly, AA-UNet and AA-RTFNet, our best performing implementations, respectively outperform all other state-of-the-art single-modal and data-fusion networks for road pothole detection; and finally, the training set augmentation technique based on adversarial domain adaptation not only improves the accuracy of the state-of-the-art semantic segmentation networks, but also accelerates their convergence.


title: Wavelet Denoising and Attention-based RNN-ARIMA Model to Predict Forex Price

abstract: Every change of trend in the forex market presents a great opportunity as well as a risk for investors. Accurate forecasting of forex prices is a crucial element in any effective hedging or speculation strategy. However, the complex nature of the forex market makes the predicting problem challenging, which has prompted extensive research from various academic disciplines. In this paper, a novel approach that integrates the wavelet denoising, Attention-based Recurrent Neural Network (ARNN), and Autoregressive Integrated Moving Average (ARIMA) are proposed. Wavelet transform removes the noise from the time series to stabilize the data structure. ARNN model captures the robust and non-linear relationships in the sequence and ARIMA can well fit the linear correlation of the sequential information. By hybridization of the three models, the methodology is capable of modelling dynamic systems such as the forex market. Our experiments on USD/JPY five-minute data outperforms the baseline methods. Root-Mean-Squared-Error (RMSE) of the hybrid approach was found to be 1.65 with a directional accuracy of ~76%.


title: High-speed computational ghost imaging with compressed sensing based on a convolutional neural network

abstract: Computational ghost imaging (CGI) has recently been intensively studied as an indirect imaging technique. However, the speed of CGI cannot meet the requirements of practical applications. Here, we propose a novel CGI scheme for high-speed imaging. In our scenario, the conventional CGI data processing algorithm is optimized to a new compressed sensing (CS) algorithm based on a convolutional neural network (CNN). CS is used to process the data collected by a conventional CGI device. Then, the processed data are trained by a CNN to reconstruct the image. The experimental results show that our scheme can produce high-quality images with much less sampling than conventional CGI. Moreover, detailed comparisons between the images reconstructed using our approach and with conventional CS and deep learning (DL) show that our scheme outperforms the conventional approach and achieves a faster imaging speed.


title: Learning Flow-based Feature Warping for Face Frontalization with Illumination Inconsistent Supervision

abstract: Despite recent advances in deep learning-based face frontalization methods, photo-realistic and illumination preserving frontal face synthesis is still challenging due to large pose and illumination discrepancy during training. We propose a novel Flow-based Feature Warping Model (FFWM) which can learn to synthesize photo-realistic and illumination preserving frontal images with illumination inconsistent supervision. Specifically, an Illumination Preserving Module (IPM) is proposed to learn illumination preserving image synthesis from illumination inconsistent image pairs. IPM includes two pathways which collaborate to ensure the synthesized frontal images are illumination preserving and with fine details. Moreover, a Warp Attention Module (WAM) is introduced to reduce the pose discrepancy in the feature level, and hence to synthesize frontal images more effectively and preserve more details of profile images. The attention mechanism in WAM helps reduce the artifacts caused by the displacements between the profile and the frontal images. Quantitative and qualitative experimental results show that our FFWM can synthesize photo-realistic and illumination preserving frontal images and performs favorably against the state-of-the-art results.


title: Diameter Polytopes of Feasible Binary Programs

abstract: Feasible binary programs often have multiple optimal solutions, which is of interest in applications as they allow the user to choose between alternative optima without deteriorating the objective function. In this article, we present the optimal diameter of a feasible binary program as a metric for measuring the diversity among all optimal solutions. In addition, we present the diameter binary program whose optima contains two optimal solutions of the given feasible binary program that are as diverse as possible with respect to the optimal diameter. Our primary interest is in the study of the diameter polytope, i.e., the polytope underlying the diameter binary program. Under suitable conditions, we show that much of the structure of the diameter polytope is inherited from the polytope underlying the given binary program. Finally, we apply our results on the diameter binary program and diameter polytope to cases where the given binary program corresponds to the linear ordering problem and the symmetric traveling salesman problem.


title: Global Convergence of Policy Gradient for Linear-Quadratic Mean-Field Control/Game in Continuous Time

abstract: Reinforcement learning is a powerful tool to learn the optimal policy of possibly multiple agents by interacting with the environment. As the number of agents grow to be very large, the system can be approximated by a mean-field problem. Therefore, it has motivated new research directions for mean-field control (MFC) and mean-field game (MFG). In this paper, we study the policy gradient method for the linear-quadratic mean-field control and game, where we assume each agent has identical linear state transitions and quadratic cost functions. While most of the recent works on policy gradient for MFC and MFG are based on discrete-time models, we focus on the continuous-time models where some analyzing techniques can be interesting to the readers. For both MFC and MFG, we provide policy gradient update and show that it converges to the optimal solution at a linear rate, which is verified by a synthetic simulation. For MFG, we also provide sufficient conditions for the existence and uniqueness of the Nash equilibrium.


title: Levin's conjecture for an equation of length nine

abstract: Levin's conjecture has been established to hold true for group equations of length up to seven. Recently, it is shown that Levin's conjecture is also true (modulo exceptional cases) for some group equations of length eight and nine. In this paper we consider a group equation of length nine and show that the Levin's conjecture is true for this equation modulo some exceptional cases.


title: Rhombic Patterns Near a Bicritical Point in Periodically Forced Surface Waves

abstract: We present here a study of selection of rhombic patterns close to a bicritical point at the onset of primary surface instability in viscous fluids under two-frequency vertical vibration. Rhombic patterns appear to be natural at the primary instability in the form of a bicritical point if the ratio of driving frequencies is selected properly. We present two different patterns which may be accessible in a Faraday experiment.


title: Schur's exponent conjecture -- counterexamples of exponent 5 and exponent 9

abstract: There is a long-standing conjecture attributed to I Schur that if $G$ is a finite group with Schur multiplier $M(G)$ then the exponent of $M(G)$ divides the exponent of $G$. It is easy to see that this conjecture holds for exponent 2 and exponent 3, but it has been known since 1974 that the conjecture fails for exponent 4. In this note I give an example of a group $G$ with exponent 5 with Schur multiplier $M(G)$ of exponent 25, and an example of a group $A$ of exponent 9 with Schur multiplier $M(A)$ of exponent 27.


title: M\"uller-Zhang truncation for general linear constraints with first or second order potential

abstract: Let $\mathcal{B}$ be a homogeneous differential operator of order $l=1$ or $l=2$. We show that a sequence of functions of the form $(\mathcal{B}u_j)_j$ converging in the $L^1$-sense to a compact, convex set $K$ can be modified into a sequence converging uniformly to this set provided that the derivatives of order $l$ are uniformly bounded. We prove versions of our result on the whole space, an open domain, and for $K$ varying uniformly continuously on an open, bounded domain. This is a conditional generalization of a theorem proved by S. M\"uller for sequences of gradients, cf. [6]. Moreover, a potential of order two for the linearized isentropic Euler system is constructed.


title: New Schemes for Solving the Principal Eigenvalue Problems of Perron-like Matrices via Polynomial Approximations of Matrix Exponentials

abstract: A real square matrix is Perron-like if it has a real eigenvalue $s$, called the principal eigenvalue of the matrix, and $\mbox{Re}\,\mu<s$ for any other eigenvalue $\mu$. Nonnegative matrices and symmetric ones are typical examples of this class of matrices. The main purpose of this paper is to develop a set of new schemes to compute the principal eigenvalues of Perron-like matrices and the associated generalized eigenspaces by using polynomial approximations of matrix exponentials. Numerical examples show that these schemes are effective in practice.


title: An efficient numerical method for condition number constrained covariance matrix approximation

abstract: In the high-dimensional data setting, the sample covariance matrix is singular. In order to get a numerically stable and positive definite modification of the sample covariance matrix in the high-dimensional data setting, in this paper we consider the condition number constrained covariance matrix approximation problem and present its explicit solution with respect to the Frobenius norm. The condition number constraint guarantees the numerical stability and positive definiteness of the approximation form simultaneously. By exploiting the special structure of the data matrix in the high-dimensional data setting, we also propose some new algorithms based on efficient matrix decomposition techniques. Numerical experiments are also given to show the computational efficiency of the proposed algorithms.


title: Ehresmann Semigroups Whose Categories are EI and Their Representation Theory : Extended Version

abstract: We study simple and projective modules of a certain class of Ehresmann semigroups, a well-studied generalization of inverse semigroups. Let $S$ be a finite right (left) restriction Ehresmann semigroup whose corresponding Ehresmann category is an EI-category, that is, every endomorphism is an isomorphism. We show that the collection of finite right restriction Ehresmann semigroups whose categories are EI is a pseudovariety. We prove that the simple modules of the semigroup algebra $\Bbbk S$ (over any field $\Bbbk$) are formed by inducing the simple modules of the maximal subgroups of $S$ via the corresponding Sch\"{u}tzenberger module. Moreover, we show that over fields with good characteristic the indecomposable projective modules can be described in a similar way but using generalized Green's relations instead of the standard ones. As a natural example, we consider the monoid $\mathcal{PT}_{n}$ of all partial functions on an $n$-element set. Over the field of complex numbers, we give a natural description of its indecomposable projective modules and obtain a formula for their dimension. Moreover, we find certain zero entries in its Cartan matrix.


title: Survey: Geometric Foundations of Data Reduction

abstract: This survey is written in summer, 2016. The purpose of this survey is to briefly introduce nonlinear dimensionality reduction (NLDR) in data reduction. The first two NLDR were respectively published in Science in 2000 in which they solve the similar reduction problem of high-dimensional data endowed with the intrinsic nonlinear structure. The intrinsic nonlinear structure is always interpreted as a concept in manifolds from geometry and topology in theoretical mathematics by computer scientists and theoretical physicists. In 2001, the concept of Manifold Learning first appears as an NLDR method called Laplacian Eigenmaps. In a typical manifold learning setup, the data set, also called the observation set, is distributed on or near a low dimensional manifold M embedded in RD, which yields that each observation has a D-dimensional representation. The goal of manifold learning is to reduce these observations as a compact lower-dimensional representation based on the geometric information. The reduction procedure is called the spectral manifold learning. In this paper, we derive each spectral manifold learning with the matrix and operator representation, and we then discuss the convergence behavior of each method in a geometric uniform language. Hence, the survey is named Geometric Foundations of Data Reduction.


title: SGG: Spinbot, Grammarly and GloVe based Fake News Detection

abstract: Recently, news consumption using online news portals has increased exponentially due to several reasons, such as low cost and easy accessibility. However, such online platforms inadvertently also become the cause of spreading false information across the web. They are being misused quite frequently as a medium to disseminate misinformation and hoaxes. Such malpractices call for a robust automatic fake news detection system that can keep us at bay from such misinformation and hoaxes. We propose a robust yet simple fake news detection system, leveraging the tools for paraphrasing, grammar-checking, and word-embedding. In this paper, we try to the potential of these tools in jointly unearthing the authenticity of a news article. Notably, we leverage Spinbot (for paraphrasing), Grammarly (for grammar-checking), and GloVe (for word-embedding) tools for this purpose. Using these tools, we were able to extract novel features that could yield state-of-the-art results on the Fake News AMT dataset and comparable results on Celebrity datasets when combined with some of the essential features. More importantly, the proposed method is found to be more robust empirically than the existing ones, as revealed in our cross-domain analysis and multi-domain analysis.


title: Large deviations of mean-field interacting particle systems in a fast varying environment

abstract: This paper studies large deviations of a ``fully coupled" finite state mean-field interacting particle system in a fast varying environment. The empirical measure of the particles evolves in the slow time scale and the random environment evolves in the fast time scale. Our main result is the path-space large deviation principle for the joint law of the empirical measure process of the particles and the occupation measure process of the fast environment. This extends previous results known for two time scale diffusions to two time scale mean-field models with jumps. Our proof is based on the method of stochastic exponentials. We characterise the rate function by studying a certain variational problem associated with an exponential martingale.


title: FOOD: Fast Out-Of-Distribution Detector

abstract: Deep neural networks (DNNs) perform well at classifying inputs associated with the classes they have been trained on, which are known as in distribution inputs. However, out-of-distribution (OOD) inputs pose a great challenge to DNNs and consequently represent a major risk when DNNs are implemented in safety-critical systems. Extensive research has been performed in the domain of OOD detection. However, current state-of-the-art methods for OOD detection suffer from at least one of the following limitations: (1) increased inference time - this limits existing methods' applicability to many real-world applications, and (2) the need for OOD training data - such data can be difficult to acquire and may not be representative enough, thus limiting the ability of the OOD detector to generalize. In this paper, we propose FOOD -- Fast Out-Of-Distribution detector -- an extended DNN classifier capable of efficiently detecting OOD samples with minimal inference time overhead. Our architecture features a DNN with a final Gaussian layer combined with the log likelihood ratio statistical test and an additional output neuron for OOD detection. Instead of using real OOD data, we use a novel method to craft artificial OOD samples from in-distribution data, which are used to train our OOD detector neuron. We evaluate FOOD's detection performance on the SVHN, CIFAR-10, and CIFAR-100 datasets. Our results demonstrate that in addition to achieving state-of-the-art performance, FOOD is fast and applicable to real-world applications.


title: Stone-Wales defects in hexagonal boron nitride as ultraviolet emitters

abstract: Many quantum emitters have been measured close or near the grain boundaries of the two-dimensional hexagonal boron nitride where various Stone-Wales defects appear. We show by means of first principles density functional theory calculations that the pentagon-heptagon Stone-Wales defect is an ultraviolet emitter and its optical properties closely follow the characteristics of a 4.08-eV quantum emitter often observed in polycrystalline hexagonal boron nitride. We also show that the square-octagon Stone-Wales line defects are optically active in the ultraviolet region with varying gaps depending on their density in hexagonal boron nitride. Our results may introduce a paradigm shift in the identification of fluorescent centres in this material.


title: Variance reduction for dependent sequences with applications to Stochastic Gradient MCMC

abstract: In this paper we propose a novel and practical variance reduction approach for additive functionals of dependent sequences. Our approach combines the use of control variates with the minimisation of an empirical variance estimate. We analyse finite sample properties of the proposed method and derive finite-time bounds of the excess asymptotic variance to zero. We apply our methodology to Stochastic Gradient MCMC (SGMCMC) methods for Bayesian inference on large data sets and combine it with existing variance reduction methods for SGMCMC. We present empirical results carried out on a number of benchmark examples showing that our variance reduction method achieves significant improvement as compared to state-of-the-art methods at the expense of a moderate increase of computational overhead.


title: The Nakano-Nishijima-Gell-Mann Formula From Discrete Galois Fields

abstract: The well known Nakano-Nishijima-Gell-Mann (NNG) formula relates certain quantum numbers of elementary particles to their charge number. This equation, which phenomenologically introduces the quantum numbers $I_z$ (isospin), $S$ (strangeness), etc., is constructed using group theory with real numbers $\mathbb{R}$. But, using a discrete Galois field $\mathbb{F}_p$ instead of $\mathbb{R}$ and assuring the fundamental invariance laws such as unitarity, Lorentz invariance, and gauge invariance, we derive the NNG formula deductively from Meson (two quarks) and Baryon (three quarks) representations in a unified way. Moreover, we show that quark confinement ascribes to the inevitable fractionality caused by coprimeness between half-integer (1/2) of isospin and number of composite particles (e.g. three).


title: TextDecepter: Hard Label Black Box Attack on Text Classifiers

abstract: Machine learning has been proven to be susceptible to carefully crafted samples, known as adversarial examples. The generation of these adversarial examples helps to make the models more robust and gives us an insight into the underlying decision-making of these models. Over the years, researchers have successfully attacked image classifiers in both, white and black-box settings. However, these methods are not directly applicable to texts as text data is discrete. In recent years, research on crafting adversarial examples against textual applications has been on the rise. In this paper, we present a novel approach for hard-label black-box attacks against Natural Language Processing (NLP) classifiers, where no model information is disclosed, and an attacker can only query the model to get a final decision of the classifier, without confidence scores of the classes involved. Such an attack scenario applies to real-world black-box models being used for security-sensitive applications such as sentiment analysis and toxic content detection.


title: Detection of Gait Abnormalities caused by Neurological Disorders

abstract: In this paper, we leverage gait to potentially detect some of the important neurological disorders, namely Parkinson's disease, Diplegia, Hemiplegia, and Huntington's Chorea. Persons with these neurological disorders often have a very abnormal gait, which motivates us to target gait for their potential detection. Some of the abnormalities involve the circumduction of legs, forward-bending, involuntary movements, etc. To detect such abnormalities in gait, we develop gait features from the key-points of the human pose, namely shoulders, elbows, hips, knees, ankles, etc. To evaluate the effectiveness of our gait features in detecting the abnormalities related to these diseases, we build a synthetic video dataset of persons mimicking the gait of persons with such disorders, considering the difficulty in finding a sufficient number of people with these disorders. We name it \textit{NeuroSynGait} video dataset. Experiments demonstrated that our gait features were indeed successful in detecting these abnormalities.


title: Chern number inequalities of deformed Hermitian-Yang-Mills metrics on four dimensional Kaehler manifolds

abstract: In this paper, we investigate the Chern number inequalities on $4$-dimensional K\"ahler manifolds admitting the deformed Hermitian-Yang-Mills metrics under the assumption $\hat\theta\in (\pi,2\pi)$.


title: Discontinuous transitions of social distancing in SIR model

abstract: To describe the dynamics of social distancing during pandemics, we follow previous efforts to combine basic epidemiology models (e.g. SIR - Susceptible, Infected, and Recovered) with game and economy theory tools. We present an extension of the SIR model that predicts a series of discontinuous transitions in social distancing. Each transition resembles a phase transition of the second-order (Ginzburg-Landau instability) and, therefore, potentially a general phenomenon. The first wave of COVID-19 led to social distancing around the globe: severe lockdowns to stop the pandemic were followed by a series of lockdown lifts. Data analysis of the first wave in Austria, Israel, and Germany corroborates the soundness of the model. Furthermore, this work presents analytical tools to analyze pandemic waves, which may be extended to calculate derivatives of giant components in network percolation transitions and may also be of interest in the context of crisis formation theories.


title: Antipalindromic numbers

abstract: Everybody has certainly heard about palindromes: words that stay the same when read backwards. For instance kayak, radar, or rotor. Mathematicians are interested in palindromic numbers: positive integers whose expansion in a certain integer base is a palindrome. The following problems are studied: palindromic primes, palindromic squares and higher powers, multibased palindromic numbers, etc. In this paper, we define and study antipalindromic numbers: positive integers whose expansion in a certain integer base is an antipalindrome. We present new results concerning divisibility and antipalindromic primes, antipalindromic squares and higher powers, and multibased antipalindromic numbers. We provide a user-friendly application for all studied questions.