title: Spatial-Scale Aligned Network for Fine-Grained Recognition

abstract: Existing approaches for fine-grained visual recognition focus on learning marginal region-based representations while neglecting the spatial and scale misalignments, leading to inferior performance. In this paper, we propose the spatial-scale aligned network (SSANET) and implicitly address misalignments during the recognition process. Especially, SSANET consists of 1) a self-supervised proposal mining formula with Morphological Alignment Constraints; 2) a discriminative scale mining (DSM) module, which exploits the feature pyramid via a circulant matrix, and provides the Fourier solver for fast scale alignments; 3) an oriented pooling (OP) module, that performs the pooling operation in several pre-defined orientations. Each orientation defines one kind of spatial alignment, and the network automatically determines which is the optimal alignments through learning. With the proposed two modules, our algorithm can automatically determine the accurate local proposal regions and generate more robust target representations being invariant to various appearance variances. Extensive experiments verify that SSANET is competent at learning better spatial-scale invariant target representations, yielding superior performance on the fine-grained recognition task on several benchmarks.


title: Lectures on the Calabi-Yau Landscape

abstract: In these lecture notes, we survey the landscape of Calabi-Yau threefolds, and the use of machine learning to explore it. We begin with the compact portion of the landscape, focusing in particular on complete intersection Calabi-Yau varieties (CICYs) and elliptic fibrations. Non-compact Calabi-Yau manifolds are manifest in Type II superstring theories, they arise as representation varieties of quivers, used to describe gauge theories in the bulk familiar four dimensions. Finally, given the huge amount of Calabi-Yau data, whether and how machine learning can be applied to algebraic geometry and string landscape is also discussed. These notes are directed to the beginning graduate student interested in mathematics and in physics, and are based on lectures given by the 2nd author at the 2019 PIMS Summer School on Algebraic Geometry in High-Energy Physics at the University of Saskatchewan.


title: Prediction of MRI Hardware Failures based on Image Features using Ensemble Learning

abstract: In order to ensure trouble-free operation, prediction of hardware failures is essential. This applies especially to medical systems. Our goal is to determine hardware which needs to be exchanged before failing. In this work, we focus on predicting failures of 20-channel Head/Neck coils using image-related measurements. Thus, we aim to solve a classification problem with two classes, normal and broken coil. To solve this problem, we use data of two different levels. One level refers to one-dimensional features per individual coil channel on which we found a fully connected neural network to perform best. The other data level uses matrices which represent the overall coil condition and feeds a different neural network. We stack the predictions of those two networks and train a Random Forest classifier as the ensemble learner. Thus, combining insights of both trained models improves the prediction results and allows us to determine the coil's condition with an F-score of 94.14% and an accuracy of 99.09%.


title: Single precision arithmetic in ECHAM radiation reduces runtime and energy consumption

abstract: We converted the radiation part of the atmospheric model ECHAM to single precision arithmetic. We analyzed different conversion strategies and finally used a step by step change of all modules, subroutines and functions. We found out that a small code portion still requires higher precision arithmetic. We generated code that can be easily changed from double to single precision and vice versa, basically using a simple switch in one module. We compared the output of the single precision version in the coarse resolution with observational data and with the original double precision code. The results of both versions are comparable. We extensively tested different parallelization options with respect to the possible performance gain, in both coarse and low resolution. The single precision radiation itself was accelerated by about 40%, whereas the speed-up for the whole ECHAM model using the converted radiation achieved 18% in the best configuration. We further measured the energy consumption, which could also be reduced.


title: A System for Real-Time Interactive Analysis of Deep Learning Training

abstract: Performing diagnosis or exploratory analysis during the training of deep learning models is challenging but often necessary for making a sequence of decisions guided by the incremental observations. Currently available systems for this purpose are limited to monitoring only the logged data that must be specified before the training process starts. Each time a new information is desired, a cycle of stop-change-restart is required in the training process. These limitations make interactive exploration and diagnosis tasks difficult, imposing long tedious iterations during the model development. We present a new system that enables users to perform interactive queries on live processes generating real-time information that can be rendered in multiple formats on multiple surfaces in the form of several desired visualizations simultaneously. To achieve this, we model various exploratory inspection and diagnostic tasks for deep learning training processes as specifications for streams using a map-reduce paradigm with which many data scientists are already familiar. Our design achieves generality and extensibility by defining composable primitives which is a fundamentally different approach than is used by currently available systems. The open source implementation of our system is available as TensorWatch project at https://github.com/microsoft/tensorwatch.


title: Flexible Log File Parsing using Hidden Markov Models

abstract: We aim to model unknown file processing. As the content of log files often evolves over time, we established a dynamic statistical model which learns and adapts processing and parsing rules. First, we limit the amount of unstructured text by focusing only on those frequent patterns which lead to the desired output table similar to Vaarandi [10]. Second, we transform the found frequent patterns and the output stating the parsed table into a Hidden Markov Model (HMM). We use this HMM as a specific, however, flexible representation of a pattern for log file processing. With changes in the raw log file distorting learned patterns, we aim the model to adapt automatically in order to maintain high quality output. After training our model on one system type, applying the model and the resulting parsing rule to a different system with slightly different log file patterns, we achieve an accuracy over 99%.


title: Sparse Array Design via Fractal Geometries

abstract: Sparse sensor arrays have attracted considerable attention in various fields such as radar, array processing, ultrasound imaging and communications. In the context of correlation-based processing, such arrays enable to resolve more uncorrelated sources than physical sensors. This property of sparse arrays stems from the size of their difference coarrays, defined as the differences of element locations. Thus, the design of sparse arrays with large difference coarrays is of great interest. In addition, other array properties such as symmetry, robustness and array economy are important in different applications. Numerous studies have proposed diverse sparse geometries, focusing on certain properties while lacking others. Incorporating multiple properties into the design task leads to combinatorial problems which are generally NP-hard. For small arrays these optimization problems can be solved by brute force, however, in large scale they become intractable. In this paper, we propose a scalable systematic way to design large sparse arrays considering multiple properties. To that end, we introduce a fractal array design in which a generator array is recursively expanded according to its difference coarray. Our main result states that for an appropriate choice of the generator such fractal arrays exhibit large difference coarrays. Furthermore, we show that the fractal arrays inherit their properties from their generators. Thus, a small generator can be optimized according to desired requirements and then expanded to create a fractal array which meets the same criteria. This approach paves the way to efficient design of large arrays of hundreds or thousands of elements with specific properties.


title: The characteristic equation and Wiener index of a compressed zero divisor graph

abstract: The Zero divisor Graph of a commutative ring $R$, denoted by $\Gamma[R]$, is a graph whose vertices are non-zero zero divisors of R and two vertices are adjacent if their product is zero. The compressed zero divisor graph $\Gamma_E[R]$ is the (undirected) graph whose vertices are the equivalence classes such that distinct vertices [r] and [s] are adjacent if and only if rs = 0. In this paper we derive the characteristic polynomial and Wiener index of the Compressed zero divisor graph $\Gamma_{E}[\mathbb{Z}_m]$ where $m=p^n$ with prime $p$.


title: Eulerian of the Zero Divisor graph $\Gamma[\mathbb {Z}_n]$

abstract: The Zero divisor Graph of a commutative ring $R$, denoted by $\Gamma[R]$, is a graph whose vertices are non-zero zero divisors of $R$ and two vertices are adjacent if their product is zero. We consider the zero divisor graph $\Gamma[\mathbb{Z}_n]$, for any natural number $n$ and find out which graphs are Eulerian graphs.


title: Eccentric Topological Index of the Zero Divisor graph $\Gamma[\mathbb {Z}_n]$

abstract: The Zero divisor Graph of a commutative ring $R$, denoted by $\Gamma[R]$, is a graph whose vertices are non-zero zero divisors of $R$ and two vertices are adjacent if their product is zero. Chemical graph theory is a branch of mathematical chemistry which deals with the non-trivial applications of graph theory to solve molecular problems. Graphs containing finite commutative rings also have wide applications in robotics, information and communication theory, elliptical curve and cryptography, physics and statistics. In this paper, we consider the zero divisor graph $\Gamma[\mathbb{Z}_{p^n}]$ where $p$ is a prime. We derive the standard form of the Eccentric Connectivity Index, Augmented Eccentric Connectivity Index, and Ediz Eccentric Connectivity Index of the zero divisor graph $\Gamma[\mathbb{Z}_{p^n}]$.


title: Global time-renormalization of the gravitational $N$-body problem

abstract: This work considers the {\em gravitational} $N$-body problem and introduces global time-renormalization {\em functions} that allow the efficient numerical integration with fixed time-steps. First, a lower bound of the radius of convergence of the solution to the original equations is derived, which suggests an appropriate time-renormalization. In the new fictitious time $\tau$, it is then proved that any solution exists for all $\tau \in \mathbb{R}$, and that it is uniquely extended as a holomorphic function to a strip of fixed width. As a by-product, a global power series representation of the solutions of the $N$-body problem is obtained. Noteworthy, our global time-renormalizations remain valid in the limit when one of the masses vanishes. Finally, numerical experiments show the efficiency of the new time-renormalization functions for some $N$-body problems with close encounters.


title: HMM-based phoneme speech recognition system for control and command of industrial robots

abstract: Speech recognition is a prominent technology, which helps us to develop a Natural language interface through speech for the Human-Robot Interaction (HRI). It allows the computer to take the spoken instructions, interpret it, and generate text from it. In this paper, we propose a phoneme based speech recognition system to control industrial robots. Speech recognition has become one of the popular interfaces when it comes to reducing robot operator's efforts to control and command the robot. This paper intends to investigate the potential of Linear Predictive coding technique to develop a stable and robust phoneme speech recognition system for robotics applications. Our system is divided into three segments: a microphone array, a voice module, and a 3-DOF robotic arm. To validate our approach, we have performed tests with simple and complex sentences for various robotics activities like manipulating a cube and pick and place tasks. Moreover, we also analyzed the test result to rectify the problems and limitations in our approach. The paper presents all the test results which we have achieved through conducting experiments on our project.


title: Unleashing the Potentials of Immersive Augmented Reality for Software Engineering

abstract: In immersive augmented reality (IAR), users can wear a head-mounted display to see computer-generated images superimposed to their view of the world. IAR was shown to be beneficial across several domains, e.g., automotive, medicine, gaming and engineering, with positive impacts on, e.g., collaboration and communication. We think that IAR bears a great potential for software engineering but, as of yet, this research area has been neglected. In this vision paper, we elicit potentials and obstacles for the use of IAR in software engineering. We identify possible areas that can be supported with IAR technology by relating commonly discussed IAR improvements to typical software engineering tasks. We further demonstrate how innovative use of IAR technology may fundamentally improve typical activities of a software engineer through a comprehensive series of usage scenarios outlining practical application. Finally, we reflect on current limitations of IAR technology based on our scenarios and sketch research activities necessary to make our vision a reality. We consider this paper to be relevant to academia and industry alike in guiding the steps to innovative research and applications for IAR in software engineering.


title: Asymptotic approximations for eigenvalues and eigenfunctions of a spectral problem in a thin graph-like junction with a concentrated mass in the node

abstract: A spectral problem is considered in a thin $3D$ graph-like junction that consists of three thin curvilinear cylinders that are joined through a domain (node) of the diameter $\mathcal{O}(\varepsilon),$ where $\varepsilon$ is a small parameter. A concentrated mass with the density $\varepsilon^{-\alpha}$ $(\alpha \ge 0)$ is located in the node. The asymptotic behaviour of the eigenvalues and eigenfunctions is studied as $\varepsilon \to 0,$ i.e. when the thin junction is shrunk into a graph. There are five qualitatively different cases in the asymptotic behaviour $(\varepsilon \to 0)$ of the eigenelements depending on the value of the parameter $\alpha.$ In this paper three cases are considered, namely, $\alpha =0,$ \ $\alpha \in (0, 1),$ and $\alpha =1.$ Using multiscale analysis, asymptotic approximations for eigenvalues and eigenfunctions are constructed and justified with a predetermined accuracy with respect to the degree of $\varepsilon.$ For irrational $\alpha \in (0, 1),$ a new kind of asymptotic expansions is introduced. These approximations show how to account the influence of local geometric inhomogeneity of the node and the concentrated mass in the corresponding limit spectral problems on the graph for different values of the parameter $\alpha.$


title: Error Model of Radio Fingerprint and PDR Fusion Indoor Localization

abstract: Multi-source fusion positioning is one of the technical frameworks for obtaining sufficient indoor positioning accuracy. In order to evaluate the effect of multi-source fusion positioning, it is necessary to establish a fusion error model. In this paper, we first use the least squares method to fuse the radio fingerprint and the PDR positioning, and then apply the variance propagation laws to calculate the error distribution of indoor multi-source localization methods. Based on the fusion error model, we developed an indoor positioning simulation system. The system can give a better positioning source layout scheme under a given condition, and can evaluate the signal strength distribution and the error distribution.


title: Strong partially greedy bases and Lebesgue-type inequalities

abstract: In this paper we continue the study of Lebesgue-type inequalities for greedy algorithms. We introduce the notion of strong partially greedy Markushevich bases and study the Lebesgue-type parameters associated with them. We prove that this property is equivalent to that of being conservative and quasi-greedy, extending a similar result given in [9] for Schauder bases. We also give a characterization of 1-strong partial greediness, following the study started in [1,3].


title: From Learning to Meta-Learning: Reduced Training Overhead and Complexity for Communication Systems

abstract: Machine learning methods adapt the parameters of a model, constrained to lie in a given model class, by using a fixed learning procedure based on data or active observations. Adaptation is done on a per-task basis, and retraining is needed when the system configuration changes. The resulting inefficiency in terms of data and training time requirements can be mitigated, if domain knowledge is available, by selecting a suitable model class and learning procedure, collectively known as inductive bias. However, it is generally difficult to encode prior knowledge into an inductive bias, particularly with black-box model classes such as neural networks. Meta-learning provides a way to automatize the selection of an inductive bias. Meta-learning leverages data or active observations from tasks that are expected to be related to future, and a priori unknown, tasks of interest. With a meta-trained inductive bias, training of a machine learning model can be potentially carried out with reduced training data and/or time complexity. This paper provides a high-level introduction to meta-learning with applications to communication systems.


title: Tamm plasmons in metal/nanoporous GaN distributed Bragg reflector cavities for active and passive optoelectronics

abstract: We investigate Tamm plasmon (TP) modes in a metal/semiconductor distributed Bragg reflector (DBR) interface. A thin Ag (silver) layer with an optimized thickness (~ 55 nm from simulation) was deposited on nanoporous GaN DBRs fabricated using electrochemical etching on freestanding semipolar GaN substrates. The reflectivity spectra of the DBRs are compared before and after the Ag deposition and with that of a blanket Ag layer deposited on GaN. The results indicate presence of a TP mode at ~ 455 nm on the structure after the Ag deposition. An active medium can also be accommodated within the mode for optoelectronics and photonics. Moreover, the simulation results predict a sensitivity of the TP mode wavelength to the ambient (~ 4 nm shift when changing the ambient within the pores from air with n = 1 to isopropanol n = 1.3) , suggesting an application of the nanoporous GaN based TP structure for optical sensing.


title: Proposals for the test of the isospin invariance in the pion-nucleon interaction at low energy

abstract: This work elaborates on former remarks of ours regarding two sets of predictions for the observables of the charge-exchange reaction $\pi^- p \to \pi^0 n$ at low energy (pion laboratory kinetic energy $T \leq 100$ MeV). The first prediction is obtained via the triangle identity from the results of fits to low-energy $\pi^\pm p$ elastic-scattering data, whereas the second is based on the same analysis of the combined low-energy $\pi^+ p$ and charge-exchange databases. Assuming the integrity of the data used in our fits (i.e., the absence of significant systematic effects in the determination of the absolute normalisation of the datasets) and the insignificance of residual effects in the electromagnetic corrections, a significant difference between these two sets of predictions may be interpreted as departure from the isospin invariance in the low-energy $\pi N$ interaction. We examine the sensitivity of the standard low-energy observables to the effect, and identify the kinematical regions which are promising for experimental survey. Accurate experiments under the suggested conditions will differentiate between the predictions, and thus provide an independent test of the isospin invariance in the low-energy $\pi N$ interaction.


title: Learning fine-grained search space pruning and heuristics for combinatorial optimization

abstract: Combinatorial optimization problems arise in a wide range of applications from diverse domains. Many of these problems are NP-hard and designing efficient heuristics for them requires considerable time and experimentation. On the other hand, the number of optimization problems in the industry continues to grow. In recent years, machine learning techniques have been explored to address this gap. We propose a framework for leveraging machine learning techniques to scale-up exact combinatorial optimization algorithms. In contrast to the existing approaches based on deep-learning, reinforcement learning and restricted Boltzmann machines that attempt to directly learn the output of the optimization problem from its input (with limited success), our framework learns the relatively simpler task of pruning the elements in order to reduce the size of the problem instances. In addition, our framework uses only interpretable learning models based on intuitive features and thus the learning process provides deeper insights into the optimization problem and the instance class, that can be used for designing better heuristics. For the classical maximum clique enumeration problem, we show that our framework can prune a large fraction of the input graph (around 99 % of nodes in case of sparse graphs) and still detect almost all of the maximum cliques. This results in several fold speedups of state-of-the-art algorithms. Furthermore, the model used in our framework highlights that the chi-squared value of neighborhood degree has a statistically significant correlation with the presence of a node in a maximum clique, particularly in dense graphs which constitute a significant challenge for modern solvers. We leverage this insight to design a novel heuristic for this problem outperforming the state-of-the-art. Our heuristic is also of independent interest for maximum clique detection and enumeration.


title: Galactic Conformity in both Star-formation and Morphological Properties

abstract: We investigate one-halo galactic conformity (the tendency for satellite galaxies to mirror the properties of their central) in both star-formation and morphology using a sample of 8230 galaxies in 1266 groups with photometry and spectroscopy from the Sloan Digital Sky Survey, morphologies from Galaxy Zoo and group memberships as determined by Yang et al. This is the first paper to investigate galactic conformity in both star-formation and visual morphology properties separately. We find that the signal of galactic conformity is present at low significance in both star-formation and visual morphological properties, however it is stronger in star-formation properties. Over the entire halo mass range we find that groups with star-forming (spiral) centrals have, on average, a fraction 0.18+-0.08 (0.08+-0.06) more star-forming (spiral) satellites than groups with passive (early-type) centrals at a similar halo mass. We also consider conformity in groups with four types of central: passive early-types, star-forming spirals, passive spirals and star-forming early-types (which are very rarely centrals), finding that the signal of morphological conformity is strongest around passive centrals regardless of morphology; although blue spiral centrals are also more likely than average to have blue spiral satellites. We interpret these observations of the relative size of the conformity signal as supporting a scenario where star-formation properties are relatively easily changed, while morphology changes less often/more slowly for galaxies in the group environment.


title: Archipelagos of Total Bound and Free Entanglement

abstract: First, we considerably simplify an initially quite complicated formula -- involving dilogarithms. It yields the total bound entanglement probability ($\approx 0.0865542$) for a qubit-ququart ($2 \times 4$) three-parameter model, recently analyzed for its separability properties by Li and Qiao. An "archipelago" of disjoint bound-entangled regions appears in the space of parameters, somewhat similarly to those recently found in our preprint, "Jagged Islands of Bound Entanglement and Witness-Parameterized Probabilities". There, two-qutrit and two-ququart Hiesmayr-L{\"o}ffler "magic simplices" and generalized Horodecki states had been examined. However, contrastingly, in the present study, the entirety of bound entanglement--given by the formula obtained--is clearly captured in the archipelago found. Further, we "upgrade" the qubit-ququart model to a two-ququart one, for which we again find a bound-entangled archipelago, with its total probability simply being now $\frac{1}{729} \left(473-512 \log \left(\frac{27}{16}\right) \left(1+\log \left(\frac{27}{16}\right)\right)\right) \approx 0.0890496$. Then, "downgrading" the qubit-ququart model to a two-qubit one, we find an archipelago of total non-bound/free entanglement probability $\frac{1}{2}$.


title: EcoNAS: Finding Proxies for Economical Neural Architecture Search

abstract: Neural Architecture Search (NAS) achieves significant progress in many computer vision tasks. While many methods have been proposed to improve the efficiency of NAS, the search progress is still laborious because training and evaluating plausible architectures over large search space is time-consuming. Assessing network candidates under a proxy (i.e., computationally reduced setting) thus becomes inevitable. In this paper, we observe that most existing proxies exhibit different behaviors in maintaining the rank consistency among network candidates. In particular, some proxies can be more reliable -- the rank of candidates does not differ much comparing their reduced setting performance and final performance. In this paper, we systematically investigate some widely adopted reduction factors and report our observations. Inspired by these observations, we present a reliable proxy and further formulate a hierarchical proxy strategy. The strategy spends more computations on candidate networks that are potentially more accurate, while discards unpromising ones in early stage with a fast proxy. This leads to an economical evolutionary-based NAS (EcoNAS), which achieves an impressive 400x search time reduction in comparison to the evolutionary-based state of the art (8 vs. 3150 GPU days). Some new proxies led by our observations can also be applied to accelerate other NAS methods while still able to discover good candidate networks with performance matching those found by previous proxy strategies.


title: Adaptive Power and Rate Control for Real-time Status Updating over Fading Channels

abstract: Age of Information (AoI) has attracted much attention recently due to its capability of characterizing the freshness of information. To improve information freshness over fading channels, efficient scheduling methods are highly desired for wireless transmissions. However, due to the channel instability and arrival randomness, optimizing AoI is very challenging. In this paper, we are interested in the AoI-optimal transmissions with rate-adaptive transmission schemes in a buffer-aware system. More specifically, we utilize a probabilistic scheduling method to minimize the AoI while satisfying an average power constraint. By characterizing the probabilistic scheduling policy with a Constrained Markov Decision Process (CMDP), we formulate a Linear Programming (LP) problem. Further, a low complexity algorithm is presented to obtain the optimal scheduling policy, which is proved to belong to a set of semi-threshold-based policies. Numerical results verify the reduction in computational complexity and the optimality of semi-threshold-based policy, which indicates that we can achieve well real-time service with a low calculating complexity.


title: Radiative Thermal Diode Mediated by Nonreciprocal Graphene Plasmons Waveguides

abstract: A thermal diode based on the asymmetric radiative heat transfer between nanoparticles assisted by the nonreciprocal graphene plasmons waveguides is proposed in this work. The thermal diode system consists of two particles and a drift-biased suspended graphene sheet in close proximity of them. Nonreciprocal graphene plasmons are induced by the drift currents in the graphene sheet, and then couple to the waves emitted by the particles in near-field regime. Based on the asymmetry with respect to their propagation direction of graphene plasmons, the thermal rectification between the two particles is observed. The performance of the radiative thermal diode can be actively adjusted through tuning the chemical potential or changing the drift currents in the graphene sheet. With a large drift velocity and a small chemical potential, a perfect radiative thermal diode with a rectification coefficient extremely approaching to 1 can be achieved within a wide range of the interparticle distance from near to far-field. The dispersion relations of the graphene plasmons are adopted to analyze the underlying physics of the rectification effect. In addition, due to the wide band characteristic of the nonreciprocal graphene plasmons, the driftbiased graphene can act as a universal platform for the thermal rectification between particles. The particles with a larger particle resonance frequency are much more preferred to produce a better thermal diode. This technology could find broad applications in the field of thermal management at nanoscale


title: Strain gradient drives lithium dendrite growth from the atomic-scale simulations

abstract: Dendrite formation is a major obstacle, such as capacity loss and short circuit, to the next-generation high-energy-density lithium (Li) metal batteries. The development of successful Li dendrite mitigation strategies is impeded by an insufficient understanding of Li dendrite growth mechanisms. Li-plating-induced internal stress in Li metal and its effect on dendrite growth have been studied in previous models and experiments, while the underlying microcosmic mechanism is elusive. Here, we analyze the role of plating-induced stress in dendrite formation through first-principles calculations and ab initio molecular dynamics simulations. We show that the deposited Li forms a stable atomic nanofilm structure on copper (Cu) substrate. It is found that the adsorption energy of Li atoms increases from the Li-Cu interface to deposited Li surface, leading to more aggregated Li atoms at the interface. Compared to the pristine Li metal, the deposited Li in the early stage becomes compacted and suffers in-plane compressive stress. Interestingly, we find that there is a giant strain gradient distribution from the Li-Cu interface to deposited Li surface, which makes the deposited atoms adjacent to the Cu surface tend to press upwards with perturbation, causing the dendrite growth. This understanding provides an insight to the atomic-scale origin of Li dendrite growth and may be useful for suppressing the Li dendrite in the Li-metal-based rechargeable batteries.


title: Gravitational wave and electroweak baryogenesis with two Higgs doublet models

abstract: We study stochastic gravitational wave production and baryon number generation at electroweak phase transition with the two Higgs doublet models. The produced stochastic gravitational wave during the strongly first-order phase transition can be probed by future space-based interferometers. The {\it nonlocal} electroweak baryogengesis cannot address the observed Baryon asymmetry of the Universe successfully in the strongly first-order phase transition parameter spaces due to the CP violation phase is severely bounded by the electron electric dipole moment measurement ACMEII.


title: Uniform focusing of sequence of relativistic positron bunches in plasma

abstract: Plasma-based accelerators sustain accelerating gradients which are several orders greater than obtained in conventional accelerators. Focusing of electron and positron beams by wakefield, excited in plasma, in electron-positron collider is very important. The focusing mechanism in the plasma, in which all electron bunches of a sequence are focused identically, has been proposed by authors earlier. The mechanism of focusing of a sequence of relativistic positron bunches in plasma, in which all positron bunches of sequence are focused identically and uniformly, has been investigated in this paper by numerical simulation by 2.5D code LCODE. We numerically simulate the self-consistent radial dynamics of lengthy positron bunches in homogeneous plasma. In simulation we use the hydrodynamic description of plasma. In other words, the plasma is considered to be cold electron liquid, and positron bunches are aggregate of macroparticles. Positron bunches are considered to be homogeneous cylinders in the longitudinal direction. Positrons in bunches are distributed in radial direction according to Gaussian distribution. It is shown that in this case only first bunch is in the finite longitudinal electrical wakefield notequal to zero. Other bunches are in zero longitudinal electrical wakefield Ez=0. Between bunches of this sequence longitudinal electrical wakefield and radial force are not zero. The focusing radial force in regions, occupied by bunches, is constant along each bunch Fr=const. Between bunches the radial force is inhomogeneous. All positron bunches of sequence are focused identically and uniformly.


title: Structure of the positive radial solutions for the supercritical Neumann problem $\varepsilon^2\Delta u-u+u^p=0$ in a ball

abstract: We are interested in the structure of the positive radial solutions of the supercritical Neumann problem $\varepsilon^2\Delta u-u+u^p=0$ on a unit ball in $\mathbb{R}^N$ , where $N$ is the spatial dimension and $p>p_S:=(N+2)/(N-2)$, $N\ge 3$. We show that there exists a sequence $\{\varepsilon_n^*\}_{n=1}^{\infty}$ ($\varepsilon_1^*>\varepsilon_2^*>\cdots\rightarrow 0$) such that this problem has infinitely many singular solutions $\{(\varepsilon_n^*,U_n^*)\}_{n=1}^{\infty}\subset\mathbb{R}\times (C^2(0,1)\cap C^1(0,1])$ and that the nonconstant regular solutions consist of infinitely many smooth curves in the $(\varepsilon,U(0))$-plane. It is shown that each curve blows up at $\varepsilon_n^*$ and if $p_{\rm{S}}<p<p_{\rm{JL}}$, then each curve has infinitely many turning points around $\varepsilon_n^*$. Here, $p_{\rm{JL}}$ stands for the Joseph-Lundgren exponent. In particular, the problem has infinitely many solutions if $\varepsilon\in\{\varepsilon_n^*\}_{n=1}^{\infty}$. We also show that there exists $\bar{\varepsilon}>0$ such that the problem has no nonconstant regular solution if $\varepsilon>\bar{\varepsilon}$. The main technical tool is the intersection number between the regular and singular solutions.


title: Cooperative Initialization based Deep Neural Network Training

abstract: Researchers have proposed various activation functions. These activation functions help the deep network to learn non-linear behavior with a significant effect on training dynamics and task performance. The performance of these activations also depends on the initial state of the weight parameters, i.e., different initial state leads to a difference in the performance of a network. In this paper, we have proposed a cooperative initialization for training the deep network using ReLU activation function to improve the network performance. Our approach uses multiple activation functions in the initial few epochs for the update of all sets of weight parameters while training the network. These activation functions cooperate to overcome their drawbacks in the update of weight parameters, which in effect learn better "feature representation" and boost the network performance later. Cooperative initialization based training also helps in reducing the overfitting problem and does not increase the number of parameters, inference (test) time in the final model while improving the performance. Experiments show that our approach outperforms various baselines and, at the same time, performs well over various tasks such as classification and detection. The Top-1 classification accuracy of the model trained using our approach improves by 2.8% for VGG-16 and 2.1% for ResNet-56 on CIFAR-100 dataset.


title: Gravitational wave spectrum from kinks on infinite cosmic superstrings with Y-junctions

abstract: We calculate the gravitational wave (GW) background spectra from kink propagation and kink-kink collisions on infinite cosmic superstrings. We take into account two characteristics of the cosmic superstring network: a small reconnection probability and Y-junctions. First, a small reconnection probability increases the number of infinite strings inside the horizon and enhances the kink production, which leads a larger amplitude of the GW background. Second, a kink going through a Y-junction transforms into three daughter kinks. In this way, the existence of Y-junctions also increases the number of kinks on cosmic superstrings. However, at the same time, it smooths out the sharpness of kinks rapidly and reduces the number of sharp kinks, which are responsible for the emissions of strong GW bursts. We compute the number distribution of kinks as a function of the sharpness by taking into account the above two effects, and translate it to the amplitude of the GW background spectra. We first investigate the case of the string network with equal string tensions, and find that the effect of Y-junctions to smooth out kink sharpness dominates that of the enhancement of the kink number by a small reconnection probability, and the GW amplitude turns out to be smaller than the ordinary cosmic string case. On the other hand, for non-equal string tensions, we find that there is a parameter space where the GW amplitude is slightly enhanced by the effect of a small reconnection probability.


title: A loop theory for the input-output problems in cavities

abstract: The input-output formalism is the basis to study the response of an optical cavity to the external stimulations. The existing theories usually handle cavity systems with only one internal mode. However, there is growing interest in more complex systems, especially the hybrid cavity-matter systems, which contains at least two internal modes, one or more from the optical cavity and the matter, respectively. Here we propose a graphical loop theory to calculate and visualize the reflection and transmission spectrum of such multi-mode cavity, resembling the role of Feynman diagrams in the quantum field theory. This loop theory gives a unified picture to interpret the experimental observations on a hybrid magnet-light system, and is extremely easy to apply to arbitrary complicated problems without any calculations.


title: Automatic Business Process Structure Discovery using Ordered Neurons LSTM: A Preliminary Study

abstract: Automatic process discovery from textual process documentations is highly desirable to reduce time and cost of Business Process Management (BPM) implementation in organizations. However, existing automatic process discovery approaches mainly focus on identifying activities out of the documentations. Deriving the structural relationships between activities, which is important in the whole process discovery scope, is still a challenge. In fact, a business process has latent semantic hierarchical structure which defines different levels of detail to reflect the complex business logic. Recent findings in neural machine learning area show that the meaningful linguistic structure can be induced by joint language modeling and structure learning. Inspired by these findings, we propose to retrieve the latent hierarchical structure present in the textual business process documents by building a neural network that leverages a novel recurrent architecture, Ordered Neurons LSTM (ON-LSTM), with process-level language model objective. We tested the proposed approach on data set of Process Description Documents (PDD) from our practical Robotic Process Automation (RPA) projects. Preliminary experiments showed promising results.


title: A computable multipartite multimode Gaussian correlation measure and the monogamy relation for continuous-variable systems

abstract: In this paper, a computable multipartite multimode Gaussian quantum correlation measure ${\mathcal M}^{(k)}$ is proposed for any $k$-partite continuous-variable (CV) systems with $k\geq 2$. ${\mathcal M}^{(k)}$ depends only on the covariance matrix of CV states, is invariant under any permutation of subsystems, is a quantification without ancilla problem, nonincreasing under $k$-partite local Gaussian channels (particularly, invariant under $k$-partite local Gaussian unitary operations), vanishes on $k$-partite product states. For a $k$-partite Gaussian state $\rho$, ${\mathcal M}^{(k)}(\rho)=0$ if and only if $\rho$ is a $k$-partite product state. Thus, for the bipartite case, ${\mathcal M}={\mathcal M}^{(2)}$ is an accessible replacement of the Gaussian quantum discord and Gaussian geometric discord. Moreover, ${\mathcal M}^{(k)}$ satisfies the unification condition, hierarchy condition that a multipartite quantum correlation measure should obey. ${\mathcal M}^{(k)}$ is not bipartite like monogamous, but, ${\mathcal M}^{(k)}$ is complete monogamous and tight complete monogamous.


title: Decline of war or end of positive check? Analysis of change in war size distribution between 1816-2007

abstract: This study examines whether there has been a decline in the risk of death by battle during wars, testing the 'long peace' hypothesis. The analysis relies on the Expanded War Dataset (Gleditsch, 2004) covering intra- and inter-state wars between 1816-2007. Using untransformed data on war sizes, the estimates do not provide empirical evidence for a decline in war over time. However, normalising the data for global human population does illustrate a likely decline in war from 1947 onward. The results indicate that despite strong population growth wars have not become more severe.


title: Extitation of wakefield by a laser pulse in a metallic-density electron plasma

abstract: Since it is possible to form laser pulses with a frequency much larger than the frequency of visible light, Prof. T.Tajima proposed using such pulse to accelerate the particles at its injection into the crystal. Here, the wakefield excitation in the metallic-density plasma and the electron acceleration by laser pulse are simulated. The accelerating gradient has been ob-tained approximately 3TV/m. It is shown that, as in ordinary plasma, with time beam-plasma wakefield acceleration is added to laser wakefield acceleration.


title: Thermal transport across nanometre gaps: phonon transmission vs air conduction

abstract: Heat transfer between two surfaces separated by a nanometre gap is important for a number of applications ranging from spaced head disk systems, scanning thermal microscopy and thermal transport in aerogels. At these separation distances, near field radiative heat transfer competes with heat transfer mediated by phonons. Here we quantify the contribution of phonon assisted heat transfer between apolar solids using lattice dynamics combined with ab-initio calculations. We clearly demonstrate that phonons dominate heat transfer for subnanometre gaps. Strikingly, we conclude that even in the situation where the gap is filled with air molecules, phonons provide the dominant energy channel between the two solids nearly in contact. Our results predict orders of magnitude enhanced phonon heat transfer compared to previous works and bring forward a methodology to analyse phonon transmission across nanoscale vacuum gaps between apolar materials.


title: Exploiting Event Cameras for Spatio-Temporal Prediction of Fast-Changing Trajectories

abstract: This paper investigates trajectory prediction for robotics, to improve the interaction of robots with moving targets, such as catching a bouncing ball. Unexpected, highly-non-linear trajectories cannot easily be predicted with regression-based fitting procedures, therefore we apply state of the art machine learning, specifically based on Long-Short Term Memory (LSTM) architectures. In addition, fast moving targets are better sensed using event cameras, which produce an asynchronous output triggered by spatial change, rather than at fixed temporal intervals as with traditional cameras. We investigate how LSTM models can be adapted for event camera data, and in particular look at the benefit of using asynchronously sampled data.


title: Design of Capacity-Approaching Low-Density Parity-Check Codes using Recurrent Neural Networks

abstract: In this paper, we model Density Evolution (DE) using Recurrent Neural Networks (RNNs) with the aim of designing capacity-approaching Irregular Low-Density Parity-Check (LDPC) codes for binary erasure channels. In particular, we present a method for determining the coefficients of the degree distributions, characterizing the structure of an LDPC code. We refer to our RNN architecture as Neural Density Evolution (NDE) and determine the weights of the RNN that correspond to optimal designs by minimizing a loss function that enforces the properties of asymptotically optimal design, as well as the desired structural characteristics of the code. This renders the LDPC design process highly configurable, as constraints can be added to meet applications' requirements by means of modifying the loss function. In order to train the RNN, we generate data corresponding to the expected channel noise. We analyze the complexity and optimality of NDE theoretically, and compare it with traditional design methods that employ differential evolution. Simulations illustrate that NDE improves upon differential evolution both in terms of asymptotic performance and complexity. Although we focus on asymptotic settings, we evaluate designs found by NDE for finite codeword lengths and observe that performance remains satisfactory across a variety of channels.


title: Longitudinal filament oscillations enhanced by two C-class flares

abstract: In this paper, we report the multiwavelength observations of a very long filament in active region (AR) 11112 on 2010 October 18. The filament was composed of two parts, the eastern part (EP) and western part (WP). We focus on longitudinal oscillations of the EP, which were enhanced by two homologous C-class flares in the same AR. The C1.3 flare was confined without a CME. Both EP and WP of the filament were slightly disturbed and survived the flare. After 5 hrs, eruption of the WP generated a C2.6 flare and a narrow, jet-like CME. Three oscillating threads (thd$_a$, thd$_b$, thd$_c$) are obviously identified in the EP and their oscillations are naturally divided into three phases by the two flares. The initial amplitude ranges from 1.6 to 30 Mm with a mean value of $\sim$14 Mm. The period ranges from 34 to 73 minutes with a mean value of $\sim$53 minutes. The curvature radii of the magnetic dips are estimated to be 29 to 133 Mm with a mean value of $\sim$74 Mm. The damping times ranges from $\sim$62 to $\sim$96 minutes with a mean value of $\sim$82 minutes. The value of $\tau/P$ is between 1.2 and 1.8. For thd$_a$ in the EP, the amplitudes were enhanced by the two flares from 6.1 Mm to 6.8 Mm after the C1.3 flare and further to 21.4 Mm after the C2.6 flare. The period variation as a result of perturbation from the flares was within 20\%. The attenuation became faster after the C2.6 flare. To the best of our knowledge, this is the first report of large-amplitude, longitudinal filament oscillations enhanced by flares. Numerical simulations reproduce the oscillations of thd$_a$ very well. The simulated amplitudes and periods are close to the observed values, while the damping time in the last phase is longer, implying additional mechanisms should be taken into account apart from radiative loss.


title: The polarized proton and antiproton beam project at U-70 accelerator

abstract: The design and parameters of the polarized-beam facility at U-70 proton synchrotron of NRC Kurchatov Institute - IHEP are presented. The new beamline 24A will provide the polarized proton and antiproton beams for carrying out the rich physics program of the SPASCHARM experiment for comprehensive studies of spin phenomena in a wide spectrum of hadronic reactions in the energy range of 10-45 GeV.


title: Possible Formation of a Perfect Fluid in $pp$, $p$-Pb, Xe-Xe and Pb-Pb Collisions at the Large Hadron Collider Energies: A Color String Percolation Approach

abstract: Isothermal compressibility ($\kappa_{\rm T}$) is an important thermodynamic observable which gives information about the deviation of a system from perfect fluid behavior. In this work, for the first time we have estimated the isothermal compressibility of QCD matter formed in high energy hadronic and nuclear collisions using color string percolation model (CSPM), where we investigate the change in $\kappa_{\rm T}$ as a function of final state charged particle multiplicity and initial percolation temperature across various collision species. The estimated initial percolation temperature for different collision systems at different collision energies helps us to have a better understanding of the system at the initial phase of evolution. The comparison of the CSPM results for isothermal compressibility with that for the well known fluids, indicates that the matter formed in heavy-ion collisions might be the {\it closest perfect fluid} found in nature. This estimation complements the well-known observation of minimum shear viscosity to entropy density ratio for a possible QGP medium created in heavy-ion collision experiments. A threshold of pseudorapidity density of charged particles, $\langle dN_{\rm ch}/d\eta \rangle \geq 20 $ in the final state event multiplicity is observed, after which one may look for a possible QGP formation at the LHC energies.


title: UAV-Sensing-Assisted Cellular Interference Coordination: A Cognitive Radio Approach

abstract: Aerial-ground interference mitigation has been deemed as the main challenge in realizing cellular-connected unmanned aerial vehicle (UAV) communications. Due to the line-of-sight (LoS)-dominant air-ground channels, the UAV generates/suffers much stronger interference to/from cellular base stations (BSs) over a much larger region in its uplink/downlink communication, as compared to the terrestrial users. As a result, conventional inter-cell interference coordination (ICIC) techniques catered for terrestrial networks become ineffective in mitigating the more severe UAV-induced interference. To deal with this new challenge, this letter introduces a cognitive radio based solution by treating the UAV and terrestrial users as secondary and primary users in the network, respectively. In particular, the LoS channels with terrestrial BSs/users endow the UAV with a powerful spectrum sensing capability for detecting the terrestrial signals over a much larger region than its serving BS. By exploiting this unique feature, we propose a new UAV-sensing-assisted ICIC design for both the UAV downlink and uplink communications. Specifically, the UAV senses its received interference and the transmissions of terrestrial users in the downlink and uplink, respectively, over the resource blocks (RBs) available at its serving BS to assist its RB allocation to the UAV for avoiding the interference with co-channel terrestrial communications. Numerical results demonstrate that the proposed UAV-assisted ICIC outperforms the conventional terrestrial ICIC by engaging the neighboring BSs for cooperation only.


title: Representation of n-abelian categories in abelian categories

abstract: Let $\mathcal{M}$ be a small $n$-abelian category. We show that the category of absolutely pure group valued functors over $\mathcal{M}$, denote by $\mathcal{L}_2(\mathcal{M},\mathcal{G})$, is an abelian category and $\mathcal{M}$ is equivalent to a full subcategory of $\mathcal{L}_2(\mathcal{M},\mathcal{G})$ in such a way that $n$-kernels and $n$-cokernels are precisely exact sequences of $\mathcal{L}_2(\mathcal{M},\mathcal{G})$ with terms in $\mathcal{M}$. This gives a higher-dimensional version of the Freyd-Mitchell embedding theorem for $n$-abelian categories.


title: Multi-Antenna Coded Content Delivery with Caching: A Low-Complexity Solution

abstract: We study downlink beamforming in a single-cell network with a multi-antenna base station serving cache-enabled users. Assuming a library of files with a common rate, we formulate the minimum transmit power with proactive caching and coded delivery as a non-convex optimization problem. While this multiple multicast problem can be efficiently solved by successive convex approximation (SCA), the complexity of the problem grows exponentially with the number of subfiles delivered to each user in each time slot, which itself grows exponentially with the number of users. We introduce a low-complexity alternative through time-sharing that limits the number of subfiles received by a user in each time slot. We then consider the joint design of beamforming and content delivery with sparsity constraints to limit the number of subfiles received by a user in each time slot. Numerical simulations show that the low-complexity scheme has only a small performance gap to that obtained by solving the joint problem with sparsity constraints, and outperforms state-of-the-art results at all signal-to-noise ratio (SNR) and rate values with a sufficient number of transmit antennas. A lower bound on the achievable degrees-of-freedom (DoF) of the low-complexity scheme is derived to characterize its performance in the high SNR regime.


title: On the Ohm law in dilute colloidal polyelectrolytes

abstract: We discuss the peculiarities of the Ohm law in dilute polyelectrolytes containing a relatively low concentration of the multiply-charged colloidal particles. It is demonstrated that in this conditions, the effective conductivity of polyelectrolyte is the linear function of colloidal particles concentration. This happens due to the change of electric field in the polyelectrolyte under the effect of colloidal particle polarization. Such mechanism gives grounds to propose the alternative scenario for the phenomenon observed experimentally.


title: A New Store-then-Amplify-and-Forward Protocol for UAV Mobile Relaying

abstract: In this letter, we consider the use of an unmanned aerial vehicle (UAV) as a mobile relay to assist the communication between two ground users without a direct link. We propose a novel store-then-amplify-and-forward (SAF) relaying protocol for the UAV to exploit its mobility jointly with the low-complexity AF relaying. Specifically, the received signal from the source is first stored in a buffer at the UAV, then amplified and forwarded to the destination when the UAV flies closer to the destination. With this new SAF protocol, we aim to maximize the throughput of the UAV-enabled relaying system by jointly optimizing the source/UAV transmit power and the UAV trajectory, as well as the time-slot pairing for each data packet received and forwarded by the UAV. As this problem is a non-convex mixed integer optimization problem that is difficult to solve, we propose an efficient algorithm for obtaining a suboptimal solution for it by applying the techniques of Hungary algorithm, alternating optimization and successive convex approximation. Numerical results show that the proposed mobile SAF relaying outperforms the conventional AF relaying without signal storing.


title: The troublesome kernel -- On hallucinations, no free lunches and the accuracy-stability trade-off in inverse problems

abstract: Methods inspired by Artificial Intelligence (AI) are starting to fundamentally change computational science and engineering through breakthrough performances on challenging problems. However, reliability and trustworthiness of such techniques is a major concern. In inverse problems in imaging, the focus of this paper, there is increasing empirical evidence that methods may suffer from hallucinations, i.e., false, but realistic-looking artifacts; instability, i.e., sensitivity to perturbations in the data; and unpredictable generalization, i.e., excellent performance on some images, but significant deterioration on others. This paper provides a theoretical foundation for these phenomena. We give mathematical explanations for how and when such effects arise in arbitrary reconstruction methods, with several of our results taking the form of `no free lunch' theorems. Specifically, we show that (i) methods that overperform on a single image can wrongly transfer details from one image to another, creating a hallucination, (ii) methods that overperform on two or more images can hallucinate or be unstable, (iii) optimizing the accuracy-stability trade-off is generally difficult, (iv) hallucinations and instabilities, if they occur, are not rare events, and may be encouraged by standard training, (v) it may be impossible to construct optimal reconstruction maps for certain problems. Our results trace these effects to the kernel of the forward operator whenever it is nontrivial, but also apply to the case when the forward operator is ill-conditioned. Based on these insights, our work aims to spur research into new ways to develop robust and reliable AI-based methods for inverse problems in imaging.


title: A Robust Pose Transformational GAN for Pose Guided Person Image Synthesis

abstract: Generating photorealistic images of human subjects in any unseen pose have crucial applications in generating a complete appearance model of the subject. However, from a computer vision perspective, this task becomes significantly challenging due to the inability of modelling the data distribution conditioned on pose. Existing works use a complicated pose transformation model with various additional features such as foreground segmentation, human body parsing etc. to achieve robustness that leads to computational overhead. In this work, we propose a simple yet effective pose transformation GAN by utilizing the Residual Learning method without any additional feature learning to generate a given human image in any arbitrary pose. Using effective data augmentation techniques and cleverly tuning the model, we achieve robustness in terms of illumination, occlusion, distortion and scale. We present a detailed study, both qualitative and quantitative, to demonstrate the superiority of our model over the existing methods on two large datasets.


title: The spreading of viruses by airborne aerosols: lessons from a first-passage-time problem for tracers in turbulent flows

abstract: We study the spreading of viruses, such as SARS-CoV-2, by airborne aerosols, via a new first-passage-time problem for Lagrangian tracers that are advected by a turbulent flow: By direct numerical simulations of the three-dimensional (3D) incompressible, Navier-Stokes equation, we obtain the time $t_R$ at which a tracer, initially at the origin of a sphere of radius $R$, crosses the surface of the sphere \textit{for the first time}. We obtain the probability distribution function $\mathcal{P}(R,t_R)$ and show that it displays two qualitatively different behaviors: (a) for $R \ll L_{\rm I}$, $\mathcal{P}(R,t_R)$ has a power-law tail $\sim t_R^{-\alpha}$, with the exponent $\alpha = 4$ and $L_{\rm I}$ the integral scale of the turbulent flow; (b) for $l_{\rm I} \lesssim R $, the tail of $\mathcal{P}(R,t_R)$ decays exponentially. We develop models that allow us to obtain these asymptotic behaviors analytically. We show how to use $\mathcal{P}(R,t_R)$ to develop social-distancing guidelines for the mitigation of the spreading of airborne aerosols with viruses such as SARS-CoV-2.


title: Quantifying quantum non-Markovianity based on quantum coherence via skew information

abstract: Based on the nonincreasing property of quantum coherence via skew information under incoherent completely positive and trace-preserving maps, we propose a non-Markovianity measure for open quantum processes. As applications, by applying the proposed measure to some typical noisy channels, we find that it is equivalent to the three previous measures of non-Markovianity for phase damping and amplitude damping channels, i.e., the measures based on the quantum trace distance, dynamical divisibility, and quantum mutual information. For the random unitary channel, it is equivalent to the non-Markovianity measure based on $l_1$ norm of coherence for a class of output states and it is incompletely equivalent to the measure based on dynamical divisibility. We also use the modified Tsallis relative $\alpha$ entropy of coherence to detect the non-Markovianity of dynamics of quantum open systems, the results show that the modified Tsallis relative $\alpha$ entropy of coherence are more comfortable than the original Tsallis relative $\alpha$ entropy of coherence for small $\alpha$.


title: Minimal varieties of associative algebras and transcendental series

abstract: A variety of associative algebras over a field of characteristic 0 is called minimal if its codimension sequence grows much faster than the codimension sequence of any of its proper subvarieties. By the results of Giambruno and Zaicev it follows that the number $b_n$ of minimal varieties of given exponent $n$ is finite. Using methods of the theory of colored (or weighted) compositions of integers, we show that the limit $\beta=\lim_{n\to\infty}\sqrt[n]{b_n}$ exists and can be expressed as the positive solution of an equation $a(t)=0$ where $a(t)$ is an explicitly given power series. Similar results are obtained for the number of minimal varieties with a given Gelfand-Kirillov dimension of their relatively free algebras of rank $d$. It follows from classical results on lacunary power series that the generating function of the sequence $b_n$, $n=1,2,\ldots$, is transcendental. With the same approach we construct examples of free graded semigroups $\langle Y\rangle$ with the following property. If $d_n$ is the number of elements of degree $n$ of $\langle Y\rangle$, then the limit $\delta=\lim_{n\to\infty}\sqrt[n]{d_n}$ exists and is transcendental.


title: Profinite groups in which many elements have prime power order

abstract: The structure of finite and locally finite groups in which every element has prime power order (CP-groups) is well known. In this paper we note that the combination of our earlier results with the available information on the structure of finite CP-groups yields a detailed description of profinite groups with that property. Then we deal with two generalizations of profinite CP-groups. Theorem 1.2. A profinite group G is virtually pro-p for some prime p if and only if for each nontrivial x in G there is a prime p (depending on x) such that the centralizer of x is virtually pro-p. Theorem 1.3. Let G be a profinite group in which each element has either finite or prime power (possibly infinite) order. Then G is either torsion or virtually pro-p for some prime p.


title: Twisted-light-revealed Lightlike Exciton Dispersion in Monolayer MoS2

abstract: Twisted light carries a well-defined orbital angular momentum (OAM) per photon. The quantum number l of its OAM can be arbitrarily set, making it an excellent light source to realize high-dimensional quantum entanglement and ultra-wide bandwidth optical communication structures. To develop solid-state optoelectronic systems compatible with such promising light sources, a timely challenging task is to efficiently and coherently transfer the optical OAM of light to certain solid-state optoelectronic materials. Among the state-of-the-art emergent materials, atomically thin monolayer transition metal dichalcogenide (ML-TMD), featured by ultra-strong light-matter interaction due to its reduced dimensionality, renders itself a potential material suitable for novel applications. In this study, we carried out photoluminescence (PL) spectroscopy studies of ML-MoS2 under photoexcitation of twisted light with well-defined quantized OAM. We mainly observed pronounced increases in the spectral peak energy for every increment of l of the incident twisted light. The observed non-linear l-dependence of the spectral blue shifts evidences the OAM transfer from the exciting twisted light to the valley excitons in ML-TMDs, which is well accounted for by our analysis and computational simulation. Even more excitingly, the twisted light excitation is shown to make excitonic transitions relative to the transferred OAM, enabling us to infer the exciton band dispersion from the measured spectral shifts. Consequently, the measured non-linear l-dependent spectral shifts revealed an unusual lightlike exciton band dispersion of valley excitons in ML-TMDs that is predicted by previous theoretical studies and evidenced for the first time via our experimental setup that utilizes the unique twisted light source.


title: FDFtNet: Facing Off Fake Images using Fake Detection Fine-tuning Network

abstract: Creating fake images and videos such as "Deepfake" has become much easier these days due to the advancement in Generative Adversarial Networks (GANs). Moreover, recent research such as the few-shot learning can create highly realistic personalized fake images with only a few images. Therefore, the threat of Deepfake to be used for a variety of malicious intents such as propagating fake images and videos becomes prevalent. And detecting these machine-generated fake images has been quite challenging than ever. In this work, we propose a light-weight robust fine-tuning neural network-based classifier architecture called Fake Detection Fine-tuning Network (FDFtNet), which is capable of detecting many of the new fake face image generation models, and can be easily combined with existing image classification networks and finetuned on a few datasets. In contrast to many existing methods, our approach aims to reuse popular pre-trained models with only a few images for fine-tuning to effectively detect fake images. The core of our approach is to introduce an image-based self-attention module called Fine-Tune Transformer that uses only the attention module and the down-sampling layer. This module is added to the pre-trained model and fine-tuned on a few data to search for new sets of feature space to detect fake images. We experiment with our FDFtNet on the GANsbased dataset (Progressive Growing GAN) and Deepfake-based dataset (Deepfake and Face2Face) with a small input image resolution of 64x64 that complicates detection. Our FDFtNet achieves an overall accuracy of 90.29% in detecting fake images generated from the GANs-based dataset, outperforming the state-of-the-art.


title: Finally, how many efficiencies supercomputers have? And, what do they measure?

abstract: Using an extremely large number of processing elements in computing systems leads to unexpected phenomena, such as different efficiencies of the same system for different tasks, that cannot be explained in the frame of classical computing paradigm. The simple non-technical (but considering the temporal behavior of the components) model, introduced here, enables us to set up a frame and formalism, needed to explain those unexpected experiences around supercomputing. Introducing temporal behavior into computer science also explains why only the extreme scale computing enabled us to reveal the experienced limitations. The paper shows, that degradation of efficiency of parallelized sequential systems is a natural consequence of the classical computing paradigm, instead of being an engineering imperfectness. The workload, that supercomputers run, is much responsible for wasting energy, as well as limiting the size and type of tasks. Case studies provide insight, how different contributions compete for dominating the resulting payload performance of a computing system, and how enhancing the interconnection technology made computing+communication to dominate in defining the efficiency of supercomputers. Our model also enables to derive predictions about supercomputer performance limitations for the near future, as well as it provides hints for enhancing supercomputer components. Phenomena experienced in large-scale computing show interesting parallels with phenomena experienced in science, more than a century ago, and through their studying a modern science was developed.


title: Consistency Conditions for Fields Localization on Braneworlds

abstract: The general procedure for analyzing the localization of matter fields in Brane models is by integrating, in the action, its zero mode solutions over the extra dimensions. If this is finite, the field is said to be localized. However, the zero mode solutions must also satisfy the Einstein equations. With this in mind, we obtain stringent constraints on a general energy-momentum tensor by analyzing the Einstein's equations. These {\it consistency conditions} must be satisfied for any Braneworld model. We apply it for some fields of the Standard Model. For a free massless scalar field, the zero-mode localization is consistent only if the field does not depend on the extra dimensions. About the spin $\frac{1}{2}$ field with Yukawa-like interactions, we find a very specific relation between Yukawa function and the warp factor. As a consequence, the spinor field localization becomes inconsistent for most of the models studied in the literature. For the free vector field case we find that, independent of the braneworld or the number of extra dimensions, the zero-mode do not satisfy the consistency conditions. Finally, we consider the mechanisms proposed to localize this field. We find that a few survive, and even for these, the consistency conditions fix the free parameters or the possible class of solutions allowed.


title: A Preconditioned Difference of Convex Algorithm for Truncated Quadratic Regularization with Application to Imaging

abstract: We consider the minimization problem with the truncated quadratic regularization with gradient operator, which is a nonsmooth and nonconvex problem. We cooperated the classical preconditioned iterations for linear equations into the nonlinear difference of convex functions algorithms with extrapolation. Especially, our preconditioned framework can deal with the large linear system efficiently which is usually expensive for computations. Global convergence is guaranteed and local linear convergence rate is given based on the analysis of the Kurdyka-\L ojasiewicz exponent of the minimization functional. The proposed algorithm with preconditioners turns out to be very efficient for image restoration and is also appealing for image segmentation.


title: Generating Word and Document Embeddings for Sentiment Analysis

abstract: Sentiments of words differ from one corpus to another. Inducing general sentiment lexicons for languages and using them cannot, in general, produce meaningful results for different domains. In this paper, we combine contextual and supervised information with the general semantic representations of words occurring in the dictionary. Contexts of words help us capture the domain-specific information and supervised scores of words are indicative of the polarities of those words. When we combine supervised features of words with the features extracted from their dictionary definitions, we observe an increase in the success rates. We try out the combinations of contextual, supervised, and dictionary-based approaches, and generate original vectors. We also combine the word2vec approach with hand-crafted features. We induce domain-specific sentimental vectors for two corpora, which are the movie domain and the Twitter datasets in Turkish. When we thereafter generate document vectors and employ the support vector machines method utilising those vectors, our approaches perform better than the baseline studies for Turkish with a significant margin. We evaluated our models on two English corpora as well and these also outperformed the word2vec approach. It shows that our approaches are cross-domain and portable to other languages.


title: On Kostant's weight $q$-multiplicity formula for $\mathfrak{sl}_{4}(\mathbb{C})$

abstract: The $q$-analog of Kostant's weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. This formula, when evaluated at $q=1$, gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra $\mathfrak{sl}_4(\mathbb{C})$ and give closed formulas for the $q$-analog of Kostant's weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the $q$-analog of Kostant's partition function by counting restricted colored integer partitions. These formulas, when evaluated at $q=1$, recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostant's weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of $\mathfrak{sl}_4(\mathbb{C})$, which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.


title: Finite element solution of the Fokker-Planck equation for single domain particles

abstract: The Fokker-Planck equation derived by Brown for the probability density function of the orientation of the magnetic moment of single domain particles is one of the basic equations in the theory of superparamagnetism. Usually this equation is solved by expanding the solution into a series of spherical harmonics, which in this case is a complex and cumbersome procedure. This article presents the implementation procedure and some results of the numerical solution of the Fokker-Planck equation using the finite element method. A method for creating a sequence of triangular grids on the surface of a sphere based on an inscribed icosahedron is described. The equations of the finite element method are derived and examples of numerical solutions are presented. The processes of magnetization and demagnetization under heating of a particle with cubic magnetic anisotropy are simulated.


title: On the maximal rate of convergence under the Ricci flow

abstract: We estimate from above the rate at which a solution to the normalized Ricci flow on a closed manifold may converge to a limit soliton. Our main result implies that any solution which converges modulo diffeomorphisms to a soliton faster than any fixed exponential rate must itself be self-similar.


title: Theory and applications of linearized multivariate skew polynomials

abstract: In this work, linearized multivariate skew polynomials over division rings are introduced. Such polynomials are right linear over the corresponding centralizer and generalize linearized polynomial rings over finite fields, group rings or differential polynomial rings. Their natural evaluation is connected to the remainder-based evaluation of free multivariate skew polynomials. It is shown that P-independent sets are those given by right linearly independent sets when partitioned into conjugacy classes. Hence finitely generated P-closed sets correspond to lists of finite-dimensional right vector spaces, extending Lam and Leroy's results on univariate skew polynomials. It is also shown that products of free multivariate skew polynomials translate into coordinate-wise compositions of linearized multivariate skew polynomials, which in turn translate into matrix products over the corresponding centralizers. Later, linearized multivariate Vandermonde matrices are introduced, which generalize multivariate Vandermonde, Moore and Wronskian matrices. The previous results explicitly give their ranks in general. P-Galois extensions of division rings are then introduced, which generalize classical (finite) Galois extensions. Three Galois-theoretic results are generalized to such extensions: Artin's theorem on extension degrees, the Galois correspondence and Hilbert's Theorem 90.


title: Complete Population Transfer of Maximally Entangled States in $2^{2N}$-level Systems via Pythagorean Triples Coupling

abstract: Maximally entangled states play a central role in quantum information processing. Despite much progress throughout the years, robust protocols for manipulations of such states in many-level systems are still scarce. Here we present a control scheme that allow efficient manipulation of complete population transfer between two maximally entangled states. Exploiting the self-duality of $\mathrm{SU}\left(2\right)$, we present in this work a family of ${\mathrm{2}}^{\mathrm{2}N}$-level systems with couplings related to Pythagorean triples that make a complete population transfer from one state to another (orthogonal) state, using very few couplings and generators. We relate our method to the recently-developed retrograde-canon scheme and derive a more general complete transfer recipe. We also discuss the cases of $\left(2n\right)^2$-level systems, $\left(2n+1\right)^2$-level systems and other unitary groups.


title: Self-Orthogonality Module: A Network Architecture Plug-in for Learning Orthogonal Filters

abstract: In this paper, we investigate the empirical impact of orthogonality regularization (OR) in deep learning, either solo or collaboratively. Recent works on OR showed some promising results on the accuracy. In our ablation study, however, we do not observe such significant improvement from existing OR techniques compared with the conventional training based on weight decay, dropout, and batch normalization. To identify the real gain from OR, inspired by the locality sensitive hashing (LSH) in angle estimation, we propose to introduce an implicit self-regularization into OR to push the mean and variance of filter angles in a network towards 90 and 0 simultaneously to achieve (near) orthogonality among the filters, without using any other explicit regularization. Our regularization can be implemented as an architectural plug-in and integrated with an arbitrary network. We reveal that OR helps stabilize the training process and leads to faster convergence and better generalization.


title: Taming of preasymptotic small x evolution within resummation framework

abstract: It is well understood that the leading logarithmic approximation for the amplitudes of high energy processes is insufficient and that the next-to-leading logarithmic effects are very large and lead to instability of the solution. The resummation at low $x$, which includes kinematical constraints and other corrections leads to stable result. Using previously established resummation procedure we study in detail the preasymptotic effects which occur in the solution to the resummed BFKL equation when the energy is not very large. We find that in addition to the well known reduction of the intercept, which governs the energy dependence of the gluon Green's function, resummation leads to the delay of the onset of its small $x$ growth. Moreover the gluon Green's function develops a dip or a plateau in wide range of rapidities, which increases for large scales. The preasymptotic region in the gluon Green's function extends to about $8$ units in rapidity for the transverse scales of the order of $30-100 \; {\rm GeV} $. To visualize the expected behavior of physical processes with two equal hard scales we calculate the cross section of the process $\gamma^{*}+\gamma^{*}\to X$ to be probed at future very high-energy electron-positron colliders. We find that at $\gamma^*\gamma^*$ energies below $100 \; \rm GeV$ the BFKL Pomeron leads to smaller value of the cross section than the Born approximation, and only starts to dominate at energies about $100 \; \rm GeV$. This pattern is significantly different from the one which we find using LL approximation. We also analyze the transverse momentum contributions to the cross section for different virtualities of the photons and find that the dominant contributions to the integral over the transverse momenta comes from lower values than the the external scales in the process under consideration.


title: Automated Segmentation of Vertebrae on Lateral Chest Radiography Using Deep Learning

abstract: The purpose of this study is to develop an automated algorithm for thoracic vertebral segmentation on chest radiography using deep learning. 124 de-identified lateral chest radiographs on unique patients were obtained. Segmentations of visible vertebrae were manually performed by a medical student and verified by a board-certified radiologist. 74 images were used for training, 10 for validation, and 40 were held out for testing. A U-Net deep convolutional neural network was employed for segmentation, using the sum of dice coefficient and binary cross-entropy as the loss function. On the test set, the algorithm demonstrated an average dice coefficient value of 90.5 and an average intersection-over-union (IoU) of 81.75. Deep learning demonstrates promise in the segmentation of vertebrae on lateral chest radiography.


title: Snappy: Fast On-chain Payments with Practical Collaterals

abstract: Permissionless blockchains offer many advantages but also have significant limitations including high latency. This prevents their use in important scenarios such as retail payments, where merchants should approve payments fast. Prior works have attempted to mitigate this problem by moving transactions off the chain. However, such Layer-2 solutions have their own problems: payment channels require a separate deposit towards each merchant and thus significant locked-in funds from customers; payment hubs require very large operator deposits that depend on the number of customers; and side-chains require trusted validators. In this paper, we propose Snappy, a novel solution that enables recipients, like merchants, to safely accept fast payments. In Snappy, all payments are on the chain, while small customer collaterals and moderate merchant collaterals act as payment guarantees. Besides receiving payments, merchants also act as statekeepers who collectively track and approve incoming payments using majority voting. In case of a double-spending attack, the victim merchant can recover lost funds either from the collateral of the malicious customer or a colluding statekeeper (merchant). Snappy overcomes the main problems of previous solutions: a single customer collateral can be used to shop with many merchants; merchant collaterals are independent of the number of customers; and validators do not have to be trusted. Our Ethereum prototype shows that safe, fast (<2 seconds) and cheap payments are possible on existing blockchains.


title: Deep Transfer Convolutional Neural Network and Extreme Learning Machine for Lung Nodule Diagnosis on CT images

abstract: Some content of the article needs to be kept secret


title: Complete Strain Mapping of Nanosheets of Tantalum Disulfide

abstract: Quasi-two-dimensional (quasi-2D) materials hold promise for future electronics because of their unique band structures that result in electronic and mechanical properties sensitive to crystal strains in all three dimensions. Quantifying crystal strain is a prerequisite to correlating it with the performance of the device, and calls for high resolution but spatially resolved rapid characterization methods. Here we show that using fly-scan nano X-ray diffraction we can accomplish a tensile strain sensitivity below 0.001% with a spatial resolution of better than 80 nm over a spatial extent of 100 $\mu$m on quasi 2D flakes of 1T-TaS2. Coherent diffraction patterns were collected from a $\sim$ 100 nm thick sheet of 1T-TaS2 by scanning 12keV focused X-ray beam across and rotating the sample. We demonstrate that the strain distribution around micron and sub-micron sized 'bubbles' that are present in the sample may be reconstructed from these images. The experiments use state of the art synchrotron instrumentation, and will allow rapid and non-intrusive strain mapping of thin film samples and electronic devices based on quasi 2D materials.


title: Asymptotic Shear and the Intrinsic Conformal Geometry of Null-Infinity

abstract: In this article we propose a new geometrization of the radiative phase space of asymptotically flat space-times: we show that the geometry induced on null-infinity by the presence of gravitational waves can be understood to be a generalisation of the tractor calculus of conformal manifolds adapted to the case of degenerate conformal metrics. It follows that the whole formalism is, by construction, manifestly conformally invariant. We first show that a choice of asymptotic shear amounts to a choice of linear differential operator of order two on the bundle of scales of null-infinity. We refer to these operators as Poincar\'e operators. We then show that Poincar\'e operators are in one-to-one correspondence with a particular class of tractor connections which we call "null-normal" (they generalise the normal tractor connection of conformal geometry). The tractor curvature encodes the presence of gravitational waves and the non-uniqueness of flat null-normal tractor connections correspond to the "degeneracy of gravity vacua" that has been extensively discussed in the literature. This work thus brings back the investigation of the radiative phase space of gravity to the study of (Cartan) connections and associated bundles. This should allow, in particular, to proliferate invariants of the phase space.


title: Two-section reactor model for autothermal reforming of methane to synthesis gas

abstract: A one-dimensional and stationary reactor model is presented to describe the catalytic conversion of a gaseous hydrocarbon fuel with air and steam to synthesis gas by autothermal reforming (ATR) and catalytic partial oxidation (CPO). The model defines two subsequent sections in the reactor, namely an upstream oxidation section, and a downstream reforming section. In the oxidation section all of the oxygen is converted, with partial conversion of the fuel. An empirical fuel utilization ratio is used to quantify which part of the fuel is converted in the oxidation section as function of the relative flows of air and steam. In the oxidation section, the gas temperature rapidly increases toward the toptemperature at the intersection with the reforming section. In this section the temperature decreases while the fuel is further converted with water and CO2 as oxidant. For methane as fuel, simulation results are presented and compared with experiments. For multicomponent fuels such as natural gas and naphtha, it is described how the two-section model can be applied.


title: One-Shot Coordination of First and Last Mode Transportation

abstract: In this paper, we consider coordinated control of feeder vehicles for first and last mode transportation. The model is macroscopic with volumes of demands and supplies along with flows of vehicles. We propose a one-shot problem for transportation of demand to or from a hub within a fixed time window, assuming the knowledge of the demand and supply configurations. We present a unified optimization framework that is applicable for both operator profit maximization and social welfare maximization. The latter goal is useful for applications such as disaster response. The decision variables in the optimization problem are routing and allocations of the vehicles for different services. With K.K.T. analysis we propose an offline method for reducing the problem size. Further, we also analyze the problem of maximizing profits by optimally locating the supply for a given total supply and present a closed form expression of the maximum profits that can be earned over all supply configurations for a given demand configuration. We also show an equivalence between optimal supply location in the first mode problem and the last mode problem. We present a model for pricing based on the cost and travel time of the best alternate transportation and present necessary conditions for the feeder service to be viable. We illustrate the results through simulations and also compare the proposed model with a traditional vehicle routing problem. Through simulations, we also compare with the microscopic version of the problem with the decision variables being integers. We demonstrate that the route reduction algorithm proposed for the macroscopic formulation is still useful for computing nearly optimal solutions to the microscopic problem with much improved computational efficiency.


title: Learning Global and Local Consistent Representations for Unsupervised Image Retrieval via Deep Graph Diffusion Networks

abstract: Diffusion has shown great success in improving accuracy of unsupervised image retrieval systems by utilizing high-order structures of image manifold. However, existing diffusion methods suffer from three major limitations: 1) they usually rely on local structures without considering global manifold information; 2) they focus on improving pair-wise similarities within existing images input output transductively while lacking flexibility to learn representations for novel unseen instances inductively; 3) they fail to scale to large datasets due to prohibitive memory consumption and computational burden due to intrinsic high-order operations on the whole graph. In this paper, to address these limitations, we propose a novel method, Graph Diffusion Networks (GRAD-Net), that adopts graph neural networks (GNNs), a novel variant of deep learning algorithms on irregular graphs. GRAD-Net learns semantic representations by exploiting both local and global structures of image manifold in an unsupervised fashion. By utilizing sparse coding techniques, GRAD-Net not only preserves global information on the image manifold, but also enables scalable training and efficient querying. Experiments on several large benchmark datasets demonstrate effectiveness of our method over state-of-the-art diffusion algorithms for unsupervised image retrieval.


title: The Lie Detector

abstract: How many free variables do we really need to build a credible model of a physical system? Currently there is no systematic approach; we appeal to some physical principles, tune free variables by comparing with canonical cases, and hope our real-world applications interpolate between them. In this work we combine two pioneering and entirely disparate pieces of mathematics: the century-old techniques of Sophus Lie for solving differential equtions and recent work initiated by Field's medallist Terence Tao on converting NP-complete combinatorical problems into neighbouring convex optimisations. We present a novel and fully systematic procedure for designing models of physical systems with necessary and just-sufficient complexity, in marked contrast with the approach to function approximation taken by neural networks and other current approaches to machine learning. Our methodology replaces the ad-hoc development of models to recover structure and understanding from observational, experimental or simulated data. At its core, our method seeks to find invariant properties of differential equations known as Lie symmetries, and for this reason we have called our algorithm the Lie Detector.


title: An electrospun Polymer Composite with Fullerene-Multiwalled Carbon Nanotube Exohedral Complexes can act as Memory Device

abstract: In this work, a novel electrospun conductive polymer nanocomposite made of polycaprolactone with an exohedral complex made of multiwalled carbon nanotubes and fullerene C60 was prepared and characterized. The preparation was straightforward and the complexes self-assembled within the nanocomposite fibers. The nanocomposite showed electrical switching behavior due to charge accumulation of fullerene C60 upon electrical stimulation. Write-once read-many memory devices were fabricated by electrospinning a nanocomposite with 0.8%wt. fullerene C60 onto interdigitated coplanar electrodes. The device retained the ON state for more than 60 days and could be thermally reset, reprogrammed and erased with subsequent electrical and thermal cycling. Moreover, the electrical resistance of the device could be modulated by applying different programming voltage amplitudes and programming times, which revealed its adaptive behavior and potential application to neuromorphic systems.


title: Value distribution of some differential monomials

abstract: Let $f$ be a transcendental meromorphic function defined in the complex plane $\mathbb{C}$. We consider the value distribution of the differential polynomial $f^{q_{0}}(f^{(k)})^{q_{k}}$, where $q_{0}(\geq 2), q_{k}(\geq 1)$ are $k(\geq1)$ non-negative integers. We obtain a quantitative estimation of the characteristic function $T(r, f)$ in terms of $\overline{N}\left(r,\frac{1}{f^{q_{_{0}}}(f^{(k)})^{q_{k}}-1}\right)$.\par Our result generalizes the results obtained by Xu et al. (Math. Inequal. Appl., 14, 93-100, 2011) and Karmakar and Sahoo (Results Math., 73, 2018) for a particular class of transcendental meromorphic functions.


title: Comparison Methods for a Keller--Segel-type Model of Pattern Formations with Density-suppressed Motilities

abstract: This paper is concerned with global existence as well as infinite-time blowups of classical solutions to the following fully parabolic kinetic system \begin{equation} \begin{cases} u_t=\Delta (\gamma (v)u) v_t-\Delta v+v=u \end{cases} \qquad(0.1)\end{equation} in a smooth bounded domain $\Omega\subset\mathbb{R}^n$, $n\geq1$ with no-flux boundary conditions. This model was recently proposed in [8,20] to describe the process of stripe pattern formations via the so-called self-trapping mechanism. The system features a signal-dependent motility function $\gamma(\cdot)$, which is decreasing in $v$ and will vanish as $v$ tends to infinity. The major difficulty in analysis comes from the possible degeneracy as $v\nearrow+\infty.$ In this work we develop a new comparison method different from the conventional energy method in literature, which reveals a striking fact that there is no finite-time degeneracy in this system. More precisely, we use comparison principles for elliptic and parabolic equations to prove that degeneracy cannot take place in finite time in any spatial dimensions for all smooth motility functions satisfying $\gamma(s)>0$, $\gamma'(s)\leq0$ when $s\geq0$ and $\lim\limits_{s\rightarrow+\infty}\gamma(s)=0.$ Then we investigate global existence of classical solutions to (0.1) when $n\leq3$ and discuss the uniform-in-time boundedness under certain growth conditions on $1/\gamma.$ In particular, we consider system (0.1) with $\gamma(v)=e^{-v}$. We prove that classical solution always exists globally, which must be uniformly-in-time bounded with arbitrary initial data of sub-critical mass. On the contrary, with certain initial data of super-critical mass, the solution will become unbounded at time infinity which differs from the finite-time blowup behavior of the Keller--Segel model.


title: All non-trivial variants of 3-LDT are equivalent

abstract: The popular 3-SUM conjecture states that there is no strongly subquadratic time algorithm for checking if a given set of integers contains three distinct elements that sum up to zero. A closely related problem is to check if a given set of integers contains distinct $x_1, x_2, x_3$ such that $x_1+x_2=2x_3$. This can be reduced to 3-SUM in almost-linear time, but surprisingly a reverse reduction establishing 3-SUM hardness was not known. We provide such a reduction, thus resolving an open question of Erickson. In fact, we consider a more general problem called 3-LDT parameterized by integer parameters $\alpha_1, \alpha_2, \alpha_3$ and $t$. In this problem, we need to check if a given set of integers contains distinct elements $x_1, x_2, x_3$ such that $\alpha_1 x_1+\alpha_2 x_2 +\alpha_3 x_3 = t$. For some combinations of the parameters, every instance of this problem is a NO-instance or there exists a simple almost-linear time algorithm. We call such variants trivial. We prove that all non-trivial variants of 3-LDT are equivalent under subquadratic reductions. Our main technical contribution is an efficient deterministic procedure based on the famous Behrend's construction that partitions a given set of integers into few subsets that avoid a chosen linear equation.


title: General Partial Label Learning via Dual Bipartite Graph Autoencoder

abstract: We formulate a practical yet challenging problem: General Partial Label Learning (GPLL). Compared to the traditional Partial Label Learning (PLL) problem, GPLL relaxes the supervision assumption from instance-level -- a label set partially labels an instance -- to group-level: 1) a label set partially labels a group of instances, where the within-group instance-label link annotations are missing, and 2) cross-group links are allowed -- instances in a group may be partially linked to the label set from another group. Such ambiguous group-level supervision is more practical in real-world scenarios as additional annotation on the instance-level is no longer required, e.g., face-naming in videos where the group consists of faces in a frame, labeled by a name set in the corresponding caption. In this paper, we propose a novel graph convolutional network (GCN) called Dual Bipartite Graph Autoencoder (DB-GAE) to tackle the label ambiguity challenge of GPLL. First, we exploit the cross-group correlations to represent the instance groups as dual bipartite graphs: within-group and cross-group, which reciprocally complements each other to resolve the linking ambiguities. Second, we design a GCN autoencoder to encode and decode them, where the decodings are considered as the refined results. It is worth noting that DB-GAE is self-supervised and transductive, as it only uses the group-level supervision without a separate offline training stage. Extensive experiments on two real-world datasets demonstrate that DB-GAE significantly outperforms the best baseline over absolute 0.159 F1-score and 24.8% accuracy. We further offer analysis on various levels of label ambiguities.