title: Fast Nearest Neighbor Machine Translation

abstract: Though nearest neighbor Machine Translation ($k$NN-MT) \citep{khandelwal2020nearest} has proved to introduce significant performance boosts over standard neural MT systems, it is prohibitively slow since it uses the entire reference corpus as the datastore for the nearest neighbor search. This means each step for each beam in the beam search has to search over the entire reference corpus. $k$NN-MT is thus two-orders slower than vanilla MT models, making it hard to be applied to real-world applications, especially online services. In this work, we propose Fast $k$NN-MT to address this issue. Fast $k$NN-MT constructs a significantly smaller datastore for the nearest neighbor search: for each word in a source sentence, Fast $k$NN-MT first selects its nearest token-level neighbors, which is limited to tokens that are the same as the query token. Then at each decoding step, in contrast to using the entire corpus as the datastore, the search space is limited to target tokens corresponding to the previously selected reference source tokens. This strategy avoids search through the whole datastore for nearest neighbors and drastically improves decoding efficiency. Without loss of performance, Fast $k$NN-MT is two-orders faster than $k$NN-MT, and is only two times slower than the standard NMT model. Fast $k$NN-MT enables the practical use of $k$NN-MT systems in real-world MT applications. The code is available at \url{https://github.com/ShannonAI/fast-knn-nmt}


title: On the benefits of representation regularization in invariance based domain generalization

abstract: A crucial aspect in reliable machine learning is to design a deployable system in generalizing new related but unobserved environments. Domain generalization aims to alleviate such a prediction gap between the observed and unseen environments. Previous approaches commonly incorporated learning invariant representation for achieving good empirical performance. In this paper, we reveal that merely learning invariant representation is vulnerable to the unseen environment. To this end, we derive novel theoretical analysis to control the unseen test environment error in the representation learning, which highlights the importance of controlling the smoothness of representation. In practice, our analysis further inspires an efficient regularization method to improve the robustness in domain generalization. Our regularization is orthogonal to and can be straightforwardly adopted in existing domain generalization algorithms for invariant representation learning. Empirical results show that our algorithm outperforms the base versions in various dataset and invariance criteria.


title: Density of polyhedral partitions

abstract: We prove the density of polyhedral partitions in the set of finite Caccioppoli partitions. Precisely, we consider a decomposition $u$ of a bounded Lipschitz set $\Omega\subset\mathbb R^n$ into finitely many subsets of finite perimeter, which can be identified with a function in $SBV_{\rm loc}(\Omega;{\cal Z})$ with ${\cal Z}\subset \mathbb R^N$ a finite set of parameters. For all $\varepsilon>0$ we prove that such a $u$ is $\varepsilon$-close to a small deformation of a polyhedral decomposition $v_\varepsilon$, in the sense that there is a $C^1$ diffeomorphism $f_\varepsilon:\mathbb R^n\to\mathbb R^n$ which is $\varepsilon$-close to the identity and such that $u\circ f_\varepsilon-v_\varepsilon$ is $\varepsilon$-small in the strong $BV$ norm. This implies that the energy of $u$ is close to that of $v_\varepsilon$ for a large class of energies defined on partitions. Such type of approximations are very useful in order to simplify computations in the estimates of $\Gamma$-limits.


title: Adjunction and inversion of adjunction

abstract: We establish adjunction and inversion of adjunction for log canonical centers of arbitrary codimension in full generality.


title: Supersingular conjectures for the Fricke group

abstract: A proof is given of several conjectures from a recent paper of Nakaya concerning the supersingular polynomial $ss_p^{(N*)}(X)$ for the Fricke group $\Gamma_0^*(N)$, for $N \in \{2, 3, 5, 7\}$. One of these conjectures gives a formula for the square of $ss_p^{(N*)}(X)$ (mod $p$) in terms of a certain resultant, and the other relates the primes $p$ for which $ss_p^{(N*)}(X)$ splits into linear factors (mod $p$) to the orders of certain sporadic simple groups.


title: Small-scale solar surface magnetism

abstract: This contribution to "Solar Magnetic Variability and Climate" reviews small-scale magnetic features on the solar surface, in particular the strong-field but tiny magnetic concentrations that constitute network and plage and represent most magnetism outside sunspots and filaments. Where these are mostly of the same polarity, as in active-region plage, their occurrence varies with the activity variations measured by the sunspot number, but when they appear bipolar-mixed on small scales they can also result from granular-scale dynamo action that does not vary with the cycle.


title: Covariant Non-equilibrium Thermodynamics from Ito-Langevin Dynamics

abstract: Using the recently developed covariant Ito-Langevin dynamics, we develop a non-equilibrium thermodynamic theory for small systems coupled to multiplicative noises. The theory is based on Ito-calculus, and is fully covariant under time-independent nonlinear transformation of variables. Assuming instantaneous detailed balance, we derive expressions for various thermodynamic functions, including work, heat, entropy production, and free energy, both at ensemble level and at trajectory level, and prove the second law of thermodynamics for arbitrary non-equilibrium processes. We relate time-reversal asymmetry of path probability to entropy production, and derive its consequences such as fluctuation theorem and non-equilibrium work relation. For Langevin systems with additive noises, our theory is equivalent to the common theories of stochastic energetics and stochastic thermodynamics. We also discuss examples of multiplicative noises where the common theories are inapplicable, but our theory yields correct results.


title: Alignment Destabilizes Crystal Orders in Active Systems

abstract: We combine numerical and analytical methods to study two dimensional active crystals formed by permanently linked swimmers and with two distinct alignment interactions. The system admits a stationary phase with quasi long range translational order, as well as a moving phase with quasi-long range velocity order. The translational order in the moving phase is significantly influenced by alignment interaction. For Vicsek-like alignment, the translational order is short-ranged, whereas the bond-orientational order is quasi-long ranged, implying a moving hexatic phase. For elasticity-based alignment, the translational order is quasi-long ranged parallel to the motion and short-ranged in perpendicular direction, whereas the bond orientational order is long-ranged. We also generalize these results to higher dimensions.


title: On the Lagrangian-Eulerian Coupling in the Immersed Finite Element/Difference Method

abstract: The immersed boundary (IB) method is a non-body conforming approach to fluid-structure interaction (FSI) that uses an Eulerian description of the momentum, viscosity, and incompressibility of a coupled fluid-structure system and a Lagrangian description of the deformations, stresses, and resultant forces of the immersed structure. Integral transforms with Dirac delta function kernels couple the Eulerian and Lagrangian variables, and in practice, discretizations of these integral transforms use regularized delta function kernels. Many different kernel functions have been proposed, but prior numerical work investigating the impact of the choice of kernel function on the accuracy of the methodology has been limited. This work systematically studies the effect of the choice of regularized delta function in several FSI benchmark tests using the immersed finite element/difference (IFED) method, which is an extension of the IB method that uses a finite element structural discretizations combined with a Cartesian grid finite difference method for the incompressible Navier-Stokes equations. The IFED formulation evaluates the regularized delta function on a collection of interaction points that can be chosen to be denser than the nodes of the Lagrangian mesh, and this study investigates the effect of varying the relative mesh widths of the Lagrangian and Eulerian discretizations. Our results indicate that kernels satisfying a commonly imposed even-odd condition require higher resolution to achieve similar accuracy as kernels that do not satisfy. We also find that narrower kernels are more robust and that structural meshes that are substantially coarser than the Cartesian grid can yield high accuracy for shear-dominated cases but not for cases with large normal forces. We verify our results in a large-scale FSI model of a bovine pericardial bioprosthetic heart valve in a pulse duplicator.


title: Meditations on the Farey Fractal

abstract: We study the paths in the Farey graph going from (1,0) to (0,1) , or the finite subtrees of the Stern-Brocot tree . We show they form an operad and isolate the "coronas", which are especially spiked paths. We show that {(x,y), gcd(x,y)=1 , x+y < R } is a corona.


title: Longer Version for "Deep Context-Encoding Network for Retinal Image Captioning"

abstract: Automatically generating medical reports for retinal images is one of the promising ways to help ophthalmologists reduce their workload and improve work efficiency. In this work, we propose a new context-driven encoding network to automatically generate medical reports for retinal images. The proposed model is mainly composed of a multi-modal input encoder and a fused-feature decoder. Our experimental results show that our proposed method is capable of effectively leveraging the interactive information between the input image and context, i.e., keywords in our case. The proposed method creates more accurate and meaningful reports for retinal images than baseline models and achieves state-of-the-art performance. This performance is shown in several commonly used metrics for the medical report generation task: BLEU-avg (+16%), CIDEr (+10.2%), and ROUGE (+8.6%).


title: Strong Coupling Thermodynamics and Stochastic Thermodynamics from the Unifying Perspective of Time-Scale Separation

abstract: Assuming time-scale separation, a simple and unified theory of thermodynamics and stochastic thermodynamics is constructed for small classical systems strongly interacting with its environment in a controllable fashion. The total Hamiltonian is decomposed into a bath part and a system part, the latter being the Hamiltonian of mean force. Both the conditional equilibrium of bath and the reduced equilibrium of the system are described by canonical ensemble theories with respect to their own Hamiltonians. The bath free energy is independent of the system variables and the control parameter. Furthermore, the weak coupling theory of stochastic thermodynamics becomes applicable almost verbatim, even if the interaction and correlation between the system and its environment are strong and varied externally. Finally, this TSS-based approach also leads to some new insights about the origin of the second law of thermodynamics.


title: Attention Based Semantic Segmentation on UAV Dataset for Natural Disaster Damage Assessment

abstract: The detrimental impacts of climate change include stronger and more destructive hurricanes happening all over the world. Identifying different damaged structures of an area including buildings and roads are vital since it helps the rescue team to plan their efforts to minimize the damage caused by a natural disaster. Semantic segmentation helps to identify different parts of an image. We implement a novel self-attention based semantic segmentation model on a high resolution UAV dataset and attain Mean IoU score of around 88% on the test set. The result inspires to use self-attention schemes in natural disaster damage assessment which will save human lives and reduce economic losses.


title: Zimmer's conjecture for non-uniform lattices: escape of mass and growth of cocycles

abstract: We establish finiteness of low-dimensional actions of lattices in higher-rank semisimple Lie groups and establish Zimmer's conjecture for many such groups. This builds on previous work of the authors handling the case of actions by cocompact lattices and of actions by $\Sl(n,\Z)$. While the results are not sharp in all cases, they do dramatically improve all known results. The key difficulty overcome in this paper concerns escape of mass when taking limits of sequences of measures. Due to a need to control Lyapunov exponents for unbounded cocycles when taking such limits, quantitative controls on the concentration of mass at infinity are need and novel techniques are introduced to avoid ``escape of Lyapunov exponent."


title: Computing characteristic polynomials of hyperplane arrangements with symmetries

abstract: We introduce a new algorithm computing the characteristic polynomials of hyperplane arrangements which exploits their underlying symmetry groups. Our algorithm counts the chambers of an arrangement as a byproduct of computing its characteristic polynomial. We showcase our julia implementation, based on OSCAR, on examples coming from hyperplane arrangements with applications to physics and computer science.


title: Collapse of turbulent massive cores with ambipolar diffusion and hybrid radiative transfer I. Accretion and multiplicity

abstract: (Abridged) Context. Massive stars form in magnetized and turbulent environments, and are often located in stellar clusters. Their accretion mechanism, as well as the origin of their system's stellar multiplicity are poorly understood. Aims. We study the influence of both magnetic fields and turbulence on the accretion mechanism of massive protostars and their multiplicity. Methods. We present a series of four Radiation-MHD simulations of the collapse of a massive magnetized, turbulent core of 100 $M_\odot$ with the AMR code Ramses, including a hybrid radiative transfer method for stellar irradiation and ambipolar diffusion. We vary the Mach and Alfvenic Mach numbers to probe sub- and superalfvenic turbulence as well as sub- and supersonic turbulence regimes. Results. Subalfvenic turbulence leads to single stellar systems while superalfvenic turbulence leads to binary formation from disk fragmentation following spiral arm collision, with mass ratios of 1.1-1.6. In those runs, infalling gas reaches the individual disks via a transient circumbinary structure. Magnetically-regulated, thermally-dominated (plasma beta $\beta>1$), Keplerian disks form in all runs, with sizes 100-200 AU and masses 1-8 $M_\odot$. The disks around primary and secondary sink particles share similar properties. We observe higher accretion rates onto the secondary stars than onto their primary star companion. The primary disk orientation is found to be set by the initial angular momentum carried by turbulence. Conclusions. Small (300 AU) massive protostellar disks as those frequently observed nowadays can only be reproduced so far in the presence of (moderate) magnetic fields with ambipolar diffusion, even in a turbulent medium. The interplay between magnetic fields and turbulence sets the multiplicity of stellar clusters. A plasma beta $\beta>1$ is a good indicator of streamers and disks.


title: Evading Thermodynamic Uncertainty Relations via Asymmetric Dynamic Protocols

abstract: Many versions of Thermodynamic Uncertainty Relations (TUR) have recently been discovered, which impose lower bounds on relative fluctuations of integrated currents in irreversible dissipative processes, and suggest that there may be fundamental limitations on the precision of small scale machines and heat engines. In this work we rigorously demonstrate that TUR can be evaded by using dynamic protocols that are asymmetric under time-reversal. We illustrate our results using a model heat engine using two-level systems, and also discuss heuristically the fundamental connections between TUR and time-reversal symmetry.


title: A Joint Power Splitting, Active and Passive Beamforming Optimization Framework for IRS Assisted MIMO SWIPT System

abstract: This paper considers an intelligent reflecting surface (IRS) assisted multi-input multi-output (MIMO) power splitting (PS) based simultaneous wireless information and power transfer (SWIPT) system with multiple PS receivers (PSRs). The objective is to maximize the achievable data rate of the system by jointly optimizing the PS ratios at the PSRs, the active transmit beamforming (ATB) at the access point (AP), and the passive reflective beamforming (PRB) at the IRS, while the constraints on maximum transmission power at the AP, the reflective phase shift of each element at the IRS, the individual minimum harvested energy requirement of each PSR, and the domain of PS ratio of each PSR are all satisfied. For this unsolved problem, however, since the optimization variables are intricately coupled and the constraints are conflicting, the formulated problem is non-convex, and cannot be addressed by employing exist approaches directly. To this end, we propose a joint optimization framework to solve this problem. Particularly, we reformulate it as an equivalent form by employing the Lagrangian dual transform and the fractional programming transform, and decompose the transformed problem into several sub-problems. Then, we propose an alternate optimization algorithm by capitalizing on the dual sub-gradient method, the successive convex approximation method, and the penalty-based majorization-minimization approach, to solve the sub-problems iteratively, and obtain the optimal solutions in nearly closed-forms. Numerical simulation results verify the effectiveness of the IRS in SWIPT system and indicate that the proposed algorithm offers a substantial performance gain.


title: The Mittag Leffler space & its Littlewood-Paley Identity

abstract: We present the Littlewood-Paley Identity for the Mittag-Leffler space ML2(C; {\alpha}) of entire functions. We also briefly demonstrate the connection between the Littlewood-Paley Identity and the compactness of the weighted composition operator on ML2(C; {\alpha}).


title: Incorporating forecasting and peer-to-peer negotiation frameworks into a distributed model predictive control approach for meshed electric networks

abstract: Continuous integration of renewable energy sources into power networks is causing a paradigm shift in energy generation and distribution with regards to trading and control; the intermittent nature of renewable sources affects pricing of energy sold or purchased; the networks are subject to operational constraints, voltage limits at each node, rated capacities for the power electronic devices, current bounds for distribution lines. These economic and technical constraints coupled with intermittent renewable injection may pose a threat to system stability and performance. We propose a novel holistic approach to energy trading composed of a distributed predictive control framework to handle physical interactions, i,e., voltage constraints and power dispatch, together with a negotiation framework to determine pricing policies for energy transactions. We study the effect of forecasting generation and consumption on the overall network's performance and market behaviours. We provide a rigorous convergence analysis for both the negotiation framework and the distributed control. Lastly, we assess the impact of forecasting in the proposed system with the aid of testing scenarios.


title: Z2P: Instant Visualization of Point Clouds

abstract: We present a technique for visualizing point clouds using a neural network. Our technique allows for an instant preview of any point cloud, and bypasses the notoriously difficult surface reconstruction problem or the need to estimate oriented normals for splat-based rendering. We cast the preview problem as a conditional image-to-image translation task, and design a neural network that translates point depth-map directly into an image, where the point cloud is visualized as though a surface was reconstructed from it. Furthermore, the resulting appearance of the visualized point cloud can be, optionally, conditioned on simple control variables (e.g., color and light). We demonstrate that our technique instantly produces plausible images, and can, on-the-fly effectively handle noise, non-uniform sampling, and thin surfaces sheets.


title: Hidden Photon and Axion Dark Matter from Symmetry Breaking

abstract: A light hidden photon or axion-like particle is a good dark matter candidate and they are often associated with the spontaneous breaking of dark global or gauged U(1) symmetry. We consider the dark Higgs dynamics around the phase transition in detail taking account of the portal coupling between the dark Higgs and the Standard Model Higgs as well as various thermal effects. We show that the (would-be) Nambu-Goldstone bosons are efficiently produced via a parametric resonance with the resonance parameter $q\sim 1$ at the hidden symmetry breaking. In the simplest setup, which predicts a second order phase transition, this can explain the dark matter abundance for the axion or hidden photon as light as sub eV. Even lighter mass, as predicted by the QCD axion model, can be consistent with dark matter abundance in the case of first order phase transition, in which case the gravitational wave signals may be detectable by future experiments such as LISA and DECIGO.


title: Blind Quality Assessment for in-the-Wild Images via Hierarchical Feature Fusion and Iterative Mixed Database Training

abstract: Image quality assessment (IQA) is very important for both end-users and service providers since a high-quality image can significantly improve the user's quality of experience (QoE) and also benefit lots of computer vision algorithms. Most existing blind image quality assessment (BIQA) models were developed for synthetically distorted images, however, they perform poorly on in-the-wild images, which are widely existed in various practical applications. In this paper, we propose a novel BIQA model for in-the-wild images by addressing two critical problems in this field: how to learn better quality-aware feature representation, and how to solve the problem of insufficient training samples in terms of their content and distortion diversity. Considering that perceptual visual quality is affected by both low-level visual features (e.g. distortions) and high-level semantic information (e.g. content), we first propose a staircase structure to hierarchically integrate the features from intermediate layers into the final feature representation, which enables the model to make full use of visual information from low-level to high-level. Then an iterative mixed database training (IMDT) strategy is proposed to train the BIQA model on multiple databases simultaneously, so the model can benefit from the increase in both training samples and image content and distortion diversity and can learn a more general feature representation. Experimental results show that the proposed model outperforms other state-of-the-art BIQA models on six in-the-wild IQA databases by a large margin. Moreover, the proposed model shows an excellent performance in the cross-database evaluation experiments, which further demonstrates that the learned feature representation is robust to images with diverse distortions and content. The code is available at https://github.com/sunwei925/StairIQA.


title: Electrostatic-lenses position-sensitive TOF MCP detector for beam diagnostics and new scheme for mass measurements at HIAF

abstract: A foil-microchannel plate (MCP) detector, which uses electrostatic lenses and possesses both good position and timing resolutions, has been designed and simulated for beam diagnostics and mass measurements at the next-generation heavy-ion-beam facility HIAF in China. Characterized by low energy loss and good performances of timing and position measurements, it would be located at focal planes in fragment separator HFRS for position monitoring, beam turning, B${\rho}$ measurement, and trajectory reconstruction. Moreover, it will benefit the building-up of a magnetic-rigidity-energy-loss-time-of-flight (B${\rho}$-$\Delta$E-TOF) method at HFRS for high-precision in-flight particle identification (PID) of radioactive isotope (RI) beams on an event-by-event basis. Most importantly, the detector can be utilized for in-ring TOF and position measurements, beam-line TOF measurements at two achromatic foci, and position measurements at a dispersive focus of HFRS, thus making it possible to use two complementary mass measurement methods (isochronous mass spectrometry (IMS) at the storage ring SRing and magnetic-rigidity-time-of-flight (B${\rho}$-TOF) at the beam-line HFRS) in one single experimental run.


title: Warm Higgs-Starobinsky inflation

abstract: In this work, we investigate the Higgs-Starobinsky (HS) model in the context of warm inflation scenario. The dissipative parameter as a linear form of temperature of warm inflation is considered with strong and weak regimes. We study the HS model in the Einstein frame with the slow-roll inflation framework. We compute the inflationary observables and then compare with the Plank 2018 data. With the sizeable number of e-folds and proper choices of parameters, we discover that the predictions of warm HS model present in this work are in very good agreement with the latest Planck 2018 results. More importantly, the parameters of the HS model are also constrained by using the data in order to make warm HS inflation successful.


title: Defending Pre-trained Language Models from Adversarial Word Substitutions Without Performance Sacrifice

abstract: Pre-trained contextualized language models (PrLMs) have led to strong performance gains in downstream natural language understanding tasks. However, PrLMs can still be easily fooled by adversarial word substitution, which is one of the most challenging textual adversarial attack methods. Existing defence approaches suffer from notable performance loss and complexities. Thus, this paper presents a compact and performance-preserved framework, Anomaly Detection with Frequency-Aware Randomization (ADFAR). In detail, we design an auxiliary anomaly detection classifier and adopt a multi-task learning procedure, by which PrLMs are able to distinguish adversarial input samples. Then, in order to defend adversarial word substitution, a frequency-aware randomization process is applied to those recognized adversarial input samples. Empirical results show that ADFAR significantly outperforms those newly proposed defense methods over various tasks with much higher inference speed. Remarkably, ADFAR does not impair the overall performance of PrLMs. The code is available at https://github.com/LilyNLP/ADFAR


title: On uniqueness of multi-bubble blow-up solutions and multi-solitons to $L^2$-critical nonlinear Schr\"odinger equations

abstract: We are concerned with the focusing $L^2$-critical nonlinear Schr\"odinger equations in $\mathbb{R}^d$ for $d=1,2$. The uniqueness is proved for a large energy class of multi-bubble blow-up solutions, which converge to a sum of $K$ pseudo-conformal blow-up solutions particularly with low rate $(T-t)^{0+}$, as $t\to T$, $1\leq K<\infty$. Moreover, we also prove the uniqueness in the energy class of multi-solitons which converge to a sum of $K$ solitary waves with convergence rate $(1/t)^{2+}$, as $t\to \infty$. The uniqueness class is further enlarged to contain the multi-solitons with even lower convergence rate $(1/t)^{\frac 12+}$ in the pseudo-conformal space. The proof is mainly based on the pseudo-conformal invariance and the monotonicity properties of several functionals adapted to the multi-bubble case, the latter is crucial towards the upgradation of the convergence to the fast exponential decay rate.


title: Magnetic structure determination of rare-earth based, high moment, atomic laminates; potential parent materials for 2D magnets

abstract: We report muon spin rotation ($\mu$SR) and neutron diffraction on the rare-earth based magnets (Mo$_{2/3}$RE$_{1/3}$)$_2$AlC, also predicted as parent materials for 2D derivatives, where RE = Nd, Gd (only ($\mu$SR), Tb, Dy, Ho and Er. By crossing information between the two techniques, we determine the magnetic moment ($m$), structure, and dynamic properties of all compounds. We find that only for RE = Nd and Gd the moments are frozen on a microsecond time scale. Out of these two, the most promising compound for a potential 2D high ($m$) magnet is the Gd variant, since the parent crystals are pristine with $m = 6.5 \pm 0.5 \mu_B$, N\'eel temperature of $29 \pm 1$ K, and the magnetic anisotropy between in and out of plane coupling is smaller than $10^{-8}$. This result suggests that magnetic ordering in the Gd variant is dominated by in-plane magnetic interactions and should therefore remain stable if exfoliated into 2D sheets.


title: Diversifying Dialog Generation via Adaptive Label Smoothing

abstract: Neural dialogue generation models trained with the one-hot target distribution suffer from the over-confidence issue, which leads to poor generation diversity as widely reported in the literature. Although existing approaches such as label smoothing can alleviate this issue, they fail to adapt to diverse dialog contexts. In this paper, we propose an Adaptive Label Smoothing (AdaLabel) approach that can adaptively estimate a target label distribution at each time step for different contexts. The maximum probability in the predicted distribution is used to modify the soft target distribution produced by a novel light-weight bi-directional decoder module. The resulting target distribution is aware of both previous and future contexts and is adjusted to avoid over-training the dialogue model. Our model can be trained in an end-to-end manner. Extensive experiments on two benchmark datasets show that our approach outperforms various competitive baselines in producing diverse responses.


title: Robust Dynamic Network Embedding via Ensembles

abstract: Dynamic Network Embedding (DNE) has recently attracted considerable attention due to the advantage of network embedding in various fields and the dynamic nature of many real-world networks. An input dynamic network to DNE is often assumed to have smooth changes over snapshots, which however would not hold for all real-world scenarios. It is natural to ask if existing DNE methods can perform well for an input dynamic network without smooth changes. To quantify it, an index called Degree of Changes (DoCs) is suggested so that the smaller DoCs indicates the smoother changes. Our comparative study shows several DNE methods are not robust enough to different DoCs even if the corresponding input dynamic networks come from the same dataset, which would make these methods unreliable and hard to use for unknown real-world applications. To propose an effective and more robust DNE method, we follow the notion of ensembles where each base learner adopts an incremental Skip-Gram embedding model. To further boost the performance, a simple yet effective strategy is designed to enhance the diversity among base learners at each timestep by capturing different levels of local-global topology. Extensive experiments demonstrate the superior effectiveness and robustness of the proposed method compared to state-of-the-art DNE methods, as well as the benefits of special designs in the proposed method and its scalability.


title: Lattice Conditional Independence Models and Hibi Ideals

abstract: Lattice Conditional Independence models are a class of models developed first for the Gaussian case in which a distributive lattice classifies all the conditional independence statements. The main result is that these models can equivalently be described via a transitive directed acyclic graph (TDAG) in which, as is normal for causal models, the conditional independence is in terms of conditioning on ancestors in the graph. We demonstrate that a parallel stream of research in algebra, the theory of Hibi ideals, not only maps directly to the LCI models but gives a vehicle to generalise the theory from the linear Gaussian case. Given a distributive lattice (i) each conditional independence statement is associated with a Hibi relation defined on the lattice, (ii) the directed graph is given by chains in the lattice which correspond to chains of conditional independence, (iii) the elimination ideal of product terms in the chains gives the Hibi ideal and (iv) the TDAG can be recovered from a special bipartite graph constructed via the Alexander dual of the Hibi ideal. It is briefly demonstrated that there are natural applications to statistical log-linear models, time series, and Shannon information flow.


title: Active Learning in Bayesian Neural Networks with Balanced Entropy Learning Principle

abstract: Acquiring labeled data is challenging in many machine learning applications with limited budgets. Active learning gives a procedure to select the most informative data points and improve data efficiency by reducing the cost of labeling. The info-max learning principle maximizing mutual information such as BALD has been successful and widely adapted in various active learning applications. However, this pool-based specific objective inherently introduces a redundant selection and further requires a high computational cost for batch selection. In this paper, we design and propose a new uncertainty measure, Balanced Entropy Acquisition (BalEntAcq), which captures the information balance between the uncertainty of underlying softmax probability and the label variable. To do this, we approximate each marginal distribution by Beta distribution. Beta approximation enables us to formulate BalEntAcq as a ratio between an augmented entropy and the marginalized joint entropy. The closed-form expression of BalEntAcq facilitates parallelization by estimating two parameters in each marginal Beta distribution. BalEntAcq is a purely standalone measure without requiring any relational computations with other data points. Nevertheless, BalEntAcq captures a well-diversified selection near the decision boundary with a margin, unlike other existing uncertainty measures such as BALD, Entropy, or Mean Standard Deviation (MeanSD). Finally, we demonstrate that our balanced entropy learning principle with BalEntAcq consistently outperforms well-known linearly scalable active learning methods, including a recently proposed PowerBALD, a simple but diversified version of BALD, by showing experimental results obtained from MNIST, CIFAR-100, SVHN, and TinyImageNet datasets.


title: An Implementation Approach to Rotation Programs

abstract: We study rotation programs within the standard implementation frame-work under complete information. A rotation program is a myopic stableset whose states are arranged circularly, and agents can effectively moveonly between two consecutive states. We provide characterizing conditionsfor the implementation of efficient rules in rotation programs. Moreover,we show that the conditions fully characterize the class of implementablemulti-valued and efficient rules


title: Rotationally Symmetric Extremal K\"ahler Metrics on $\mathbb C^n$ and $\mathbb C^2\setminus \{0\}$

abstract: In this paper, we study rotationally symmetric extremal K\"ahler metrics on $\mathbb C^n$ ($n\geq 2$) and $\mathbb C^2 \backslash\{0\}$. We present a classification of such metrics based on the zeros of the polynomial appearing in Calabi's Extremal Equation. As applications, we prove that there are no $U(n)$ invariant complete extremal K\"ahler metrics on $\mathbb C^n$ with positive bisectional curvature, and we give a smooth extension lemma for $U(n)$ invariant extremal K\"ahler metrics on $\mathbb{C}^n\backslash\{0\}$. We retrieve known examples of smooth or singular extremal K\"ahler metrics on Hirzebruch surfaces, bundles over $\mathbb{CP}^1$, and weighted complex projective spaces. We also show that certain solutions on $\mathbb C^2\backslash\{0\}$ correspond to new complete families of constant-scalar-curvature K\"ahler and strictly extremal K\"ahler metrics on complex line bundles over $\mathbb{CP}^{1}$ and on $\mathbb C^2\backslash\{0\}$.


title: Vortex creation and control in the Kitaev spin liquid by local bond modulations

abstract: The Kitaev model realizes a quantum spin liquid where the spin excitations are fractionalized into itinerant Majorana fermions and localized $\mathbb{Z}_2$ vortices. Quantum entanglement between the fractional excitations can be utilized for decoherence-free topological quantum computation. Of particular interest is the anyonic statistics realized by braiding the vortex excitations under a magnetic field. Despite the promising potential, the practical methodology for creation and control of the vortex excitations remains elusive thus far. Here we theoretically propose how one can create and move the vortices in the Kitaev spin liquid. We find that the vortices are induced by a local modulation of the exchange interaction; especially, the local Dzyaloshinskii-Moriya (symmetric off-diagonal) interaction can create vortices most efficiently in the (anti)ferromagnetic Kitaev model, as it effectively flips the sign of the Kitaev interaction. We test this idea by performing the {\it ab initio} calculation for a candidate material $\alpha$-RuCl$_3$ through the manipulation of the ligand positions that breaks the inversion symmetry and induces the local Dzyaloshinskii-Moriya interaction. We also demonstrate a braiding of vortices by adiabatically and successively changing the local bond modulations.


title: Banach space valued Pisier and Riesz type inequalities on discrete cube

abstract: This is an attempt to build Banach space valued theory for certain singular integrals on Hamming cube. Of course all estimates below are dimension independent, and we tried to find ultimate sharp assumptions on the Banach space for a corresponding operators to be bounded. In certain cases we succeeded, although there are still many open questions, some of them are listed in the last Section. Using the approach of \cite{IVHV} and also quantum random variables approach of \cite{ELP} we generalize several theorems of Pisier \cite{P} and Hyt\"onen-Naor \cite{HN}. We also improve the constant in $L^1$-Poincar\'e inequality on Hamming cube, the previous results are due to Talagrand and Ben Efraim--Lust-Piquard.


title: Evaluating Resilience of Encrypted Traffic Classification Against Adversarial Evasion Attacks

abstract: Machine learning and deep learning algorithms can be used to classify encrypted Internet traffic. Classification of encrypted traffic can become more challenging in the presence of adversarial attacks that target the learning algorithms. In this paper, we focus on investigating the effectiveness of different evasion attacks and see how resilient machine and deep learning algorithms are. Namely, we test C4.5 Decision Tree, K-Nearest Neighbor (KNN), Artificial Neural Network (ANN), Convolutional Neural Networks (CNN) and Recurrent Neural Networks (RNN). In most of our experimental results, deep learning shows better resilience against the adversarial samples in comparison to machine learning. Whereas, the impact of the attack varies depending on the type of attack.


title: SPI: Automated Identification of Security Patches via Commits

abstract: Security patches in open-source software, providing security fixes to identified vulnerabilities, are crucial in protecting against cyberattacks. Despite the National Vulnerability Database (NVD) publishes identified vulnerabilities, a vast majority of vulnerabilities and their corresponding security patches remain beyond public exposure, e.g., in the open-source libraries that are heavily relied on by developers. An extensive security patches dataset could help end-users such as security companies, e.g., building a security knowledge base, or researchers, e.g., aiding in vulnerability research. To curate security patches including undisclosed patches at a large scale and low cost, we propose a deep neural-network-based approach built upon commits of open-source repositories. We build security patch datasets that include 38,291 security-related commits and 1,045 CVE patches from four C libraries. We manually verify each commit, among the 38,291 security-related commits, to determine if they are security-related. We devise a deep learning-based security patch identification system that consists of two neural networks: one commit-message neural network that utilizes pretrained word representations learned from our commits dataset; and one code-revision neural network that takes code before and after revision and learns the distinction on the statement level. Our evaluation results show that our system outperforms SVM and K-fold stacking algorithm, achieving as high as 87.93% F1-score and precision of 86.24%. We deployed our pipeline and learned model in an industrial production environment to evaluate the generalization ability of our approach. The industrial dataset consists of 298,917 commits from 410 new libraries that range from a wide functionality. Our experiment results and observation proved that our approach identifies security patches effectively among open-sourced projects.


title: CNN Retrieval based Unsupervised Metric Learning for Near-Duplicated Video Retrieval

abstract: As important data carriers, the drastically increasing number of multimedia videos often brings many duplicate and near-duplicate videos in the top results of search. Near-duplicate video retrieval (NDVR) can cluster and filter out the redundant contents. In this paper, the proposed NDVR approach extracts the frame-level video representation based on convolutional neural network (CNN) features from fully-connected layer and aggregated intermediate convolutional layers. Unsupervised metric learning is used for similarity measurement and feature matching. An efficient re-ranking algorithm combined with k-nearest neighborhood fuses the retrieval results from two levels of features and further improves the retrieval performance. Extensive experiments on the widely used CC\_WEB\_VIDEO dataset shows that the proposed approach exhibits superior performance over the state-of-the-art.


title: Effect of binding energies on the encounter desorption

abstract: The abundance of interstellar ice constituents is usually expressed with respect to the water ice because, in denser regions, a significant portion of the interstellar grain surface would be covered by water ice. The binding energy (BE), or adsorption energy of the interstellar species regulates the chemical complexity of the interstellar grain mantle. Due to the high abundance of water ice, the BE of surface species with the water is usually provided and widely used in astrochemical modeling. However, the hydrogen molecules would cover some part of the grain mantle in the denser and colder part of the interstellar medium. Even at around ~ 10K, few atoms and simple molecules with lower adsorption energies can migrate through the surface. The BE of the surface species with H2 substrate would be very different from that of a water substrate. However, adequate information regarding these differences is lacking. Here, we employ the quantum chemical calculation to provide the BE of 95 interstellar species with H2 substrate. These are representative of the BEs of species to a H2 overlayer on a grain surface. On average, we notice that the BE with the H2 monomer substrate is almost ten times lower than the BE of these species reported earlier with the H2 O c-tetramer configuration. The encounter desorption of H and H2 was introduced (with ED (H, H2 ) =45 K and ED (H2 , H2 ) =23 K) to have a realistic estimation of the abundances of the surface species in the colder and denser region. Our quantum chemical calculations yield higher adsorption energy of H2 than that of H (ED (H, H2 ) = 23 - 25 K and ED (H2, H2 ) =67 - 79 K). We further implement an astrochemical model to study the effect of encounter desorption with the resent realistic estimation. The encounter desorption of the N atom (calculations yield ED (N, H2 ) =83 K) is introduced to study the differences with its inclusion.


title: How effective are Graph Neural Networks in Fraud Detection for Network Data?

abstract: Graph-based Neural Networks (GNNs) are recent models created for learning representations of nodes (and graphs), which have achieved promising results when detecting patterns that occur in large-scale data relating different entities. Among these patterns, financial fraud stands out for its socioeconomic relevance and for presenting particular challenges, such as the extreme imbalance between the positive (fraud) and negative (legitimate transactions) classes, and the concept drift (i.e., statistical properties of the data change over time). Since GNNs are based on message propagation, the representation of a node is strongly impacted by its neighbors and by the network's hubs, amplifying the imbalance effects. Recent works attempt to adapt undersampling and oversampling strategies for GNNs in order to mitigate this effect without, however, accounting for concept drift. In this work, we conduct experiments to evaluate existing techniques for detecting network fraud, considering the two previous challenges. For this, we use real data sets, complemented by synthetic data created from a new methodology introduced here. Based on this analysis, we propose a series of improvement points that should be investigated in future research.


title: Chemical complexity of phosphorous bearing species in various regions of the Interstellar medium

abstract: Phosphorus related species are not known to be as omnipresent in space as hydrogen, carbon, nitrogen, oxygen, and sulfur-bearing species. Astronomers spotted very few P-bearing molecules in the interstellar medium and circumstellar envelopes. Limited discovery of the P-bearing species imposes severe constraints in modeling the P-chemistry. In this paper, we carry out extensive chemical models to follow the fate of P-bearing species in diffuse clouds, photon-dominated or photodissociation regions (PDRs), and hot cores/corinos. We notice a curious correlation between the abundances of PO and PN and atomic nitrogen. Since N atoms are comparatively abundant in diffuse clouds and PDRs than in the hot core/corino region, PO/PN reflects < 1 in diffuse clouds, << 1 in PDRs, and > 1 in the late warm-up evolutionary phase of the hot core/corino regions. During the end of the post-warm-up phase, we obtain PO/PN > 1 for hot core and < 1 for its low mass analog. We employ a radiative transfer model to investigate the transitions of some of the P-bearing species in diffuse cloud and hot core regions and estimate the line profiles. Our study estimates the required integration time to observe these transitions with ground-based and space-based telescopes. We also carry out quantum chemical computation of the infrared features of PH3 along with various impurities. We notice that SO2 overlaps with the PH3 bending-scissoring modes around ~ (1000 - 1100) cm-1. We also find that the presence of CO2 can strongly influence the intensity of the stretching modes around ~ 2400 cm-1 of PH3 .


title: Free boundary problems via Sakai's theorem

abstract: A Schwarz function on an open domain $\Omega$ is a holomorphic function satisfying $S(\zeta)=\overline{\zeta}$ on $\Gamma$, which is part of the boundary of $\Omega$. Sakai in 1991 gave a complete characterization of the boundary of a domain admitting a Schwarz function. In fact, if $\Omega$ is simply connected and $\Gamma=\partial \Omega\cap D(\zeta,r)$, then $\Gamma$ has to be regular real analytic. This paper is an attempt to describe $\Gamma$ when the boundary condition is slightly relaxed. In particular, three different scenarios over a simply connected domain $\Omega$ are treated: when $f_1(\zeta)=\overline{\zeta}f_2(\zeta)$ on $\Gamma$ with $f_1,f_2$ holomorphic and continuous up to the boundary, when $\mathcal{U}/\mathcal{V}$ equals certain real analytic function on $\Gamma$ with $\mathcal{U},\mathcal{V}$ positive and harmonic on $\Omega$ and vanishing on $\Gamma$, and when $S(\zeta)=\Phi(\zeta,\overline{\zeta})$ on $\Gamma$ with $\Phi$ a holomorphic function of two variables. It turns out that the boundary piece $\Gamma$ can be, respectively, anything from $C^\infty$ to merely $C^1$, regular except finitely many points, or regular except for a measure zero set.


title: Homotopy data as part of the lattice field: A first study

abstract: Fields exhibit a variety of topological properties, like different topological charges, when field space in the continuum is composed by more than one topological sector. Lattice treatments usually encounter difficulties describing those properties. In this work, we show that by augmenting the usual lattice fields to include extra variables describing local topological information (more precisely, regarding homotopy), the topology of the space of fields in the continuum is faithfully reproduced in the lattice. We apply this extended lattice formulation to some simple models with non-trivial topological charges, and we study their properties both analytically and via Monte Carlo simulations.


title: Multiscale IoU: A Metric for Evaluation of Salient Object Detection with Fine Structures

abstract: General-purpose object-detection algorithms often dismiss the fine structure of detected objects. This can be traced back to how their proposed regions are evaluated. Our goal is to renegotiate the trade-off between the generality of these algorithms and their coarse detections. In this work, we present a new metric that is a marriage of a popular evaluation metric, namely Intersection over Union (IoU), and a geometrical concept, called fractal dimension. We propose Multiscale IoU (MIoU) which allows comparison between the detected and ground-truth regions at multiple resolution levels. Through several reproducible examples, we show that MIoU is indeed sensitive to the fine boundary structures which are completely overlooked by IoU and f1-score. We further examine the overall reliability of MIoU by comparing its distribution with that of IoU on synthetic and real-world datasets of objects. We intend this work to re-initiate exploration of new evaluation methods for object-detection algorithms.


title: Embedding Principle of Loss Landscape of Deep Neural Networks

abstract: Understanding the structure of loss landscape of deep neural networks (DNNs)is obviously important. In this work, we prove an embedding principle that the loss landscape of a DNN "contains" all the critical points of all the narrower DNNs. More precisely, we propose a critical embedding such that any critical point, e.g., local or global minima, of a narrower DNN can be embedded to a critical point/hyperplane of the target DNN with higher degeneracy and preserving the DNN output function. The embedding structure of critical points is independent of loss function and training data, showing a stark difference from other nonconvex problems such as protein-folding. Empirically, we find that a wide DNN is often attracted by highly-degenerate critical points that are embedded from narrow DNNs. The embedding principle provides an explanation for the general easy optimization of wide DNNs and unravels a potential implicit low-complexity regularization during the training. Overall, our work provides a skeleton for the study of loss landscape of DNNs and its implication, by which a more exact and comprehensive understanding can be anticipated in the near


title: Scalable Marked Point Processes for Exchangeable and Non-Exchangeable Event Sequences

abstract: We adopt the interpretability offered by a parametric, Hawkes-process-inspired conditional probability mass function for the marks and apply variational inference techniques to derive a general and scalable inferential framework for marked point processes. The framework can handle both exchangeable and non-exchangeable event sequences with minimal tuning and without any pre-training. This contrasts with many parametric and non-parametric state-of-the-art methods that typically require pre-training and/or careful tuning, and can only handle exchangeable event sequences. The framework's competitive computational and predictive performance against other state-of-the-art methods are illustrated through real data experiments. Its attractiveness for large-scale applications is demonstrated through a case study involving all events occurring in an English Premier League season.


title: Routes to realize the axion-insulator phase in MnBi$_{2}$Te$_{4}$(Bi$_{2}$Te$_{3}$)$_{n}$ family: a perspective

abstract: Axion, first postulated as a hypothetical particle in high-energy physics, is now extended to describe a novel topological magnetoelectric effect derived from the Chern-Simons theory in condensed matter systems. The recent discovered intrinsic magnetic topological insulators MnBi2Te4 and its derivatives have attracted great attention because of their potential as a material platform to realize such a quantized axion field. Since the magnetic exchange gap can bring the half-quantized anomalous Hall effect at the surface, an axion insulator manifests as quantum anomalous Hall and zero Hall plateau effects in the thin films. However, many puzzles about this material family remain elusive yet, such as the gapless surface state and the direct experimental evidence of the axion insulator. In this Perspective, we discuss the preconditions, manifestations and signatures of the axion-insulator phase, in the context of the development of the natural magnetic topological heterostructure MnBi2Te4(Bi2Te3)n family with various intriguing quantum phenomena. Recent theoretical and experimental efforts regarding the intrinsic magnetic topological insulators are summarized here to pave the way for this phenomenally developing field.


title: StyTr$^2$: Image Style Transfer with Transformers

abstract: The goal of image style transfer is to render an image with artistic features guided by a style reference while maintaining the original content. Owing to the locality in convolutional neural networks (CNNs), extracting and maintaining the global information of input images is difficult. Therefore, traditional neural style transfer methods face biased content representation. To address this critical issue, we take long-range dependencies of input images into account for image style transfer by proposing a transformer-based approach called StyTr$^2$. In contrast with visual transformers for other vision tasks, StyTr$^2$ contains two different transformer encoders to generate domain-specific sequences for content and style, respectively. Following the encoders, a multi-layer transformer decoder is adopted to stylize the content sequence according to the style sequence. We also analyze the deficiency of existing positional encoding methods and propose the content-aware positional encoding (CAPE), which is scale-invariant and more suitable for image style transfer tasks. Qualitative and quantitative experiments demonstrate the effectiveness of the proposed StyTr$^2$ compared with state-of-the-art CNN-based and flow-based approaches. Code and models are available at https://github.com/diyiiyiii/StyTR-2.


title: The HulC: Confidence Regions from Convex Hulls

abstract: We develop and analyze the HulC, an intuitive and general method for constructing confidence sets using the convex hull of estimates constructed from subsets of the data. Unlike classical methods which are based on estimating the (limiting) distribution of an estimator, the HulC is often simpler to use and effectively bypasses this step. In comparison to the bootstrap, the HulC requires fewer regularity conditions and succeeds in many examples where the bootstrap provably fails. Unlike subsampling, the HulC does not require knowledge of the rate of convergence of the estimators on which it is based. The validity of the HulC requires knowledge of the (asymptotic) median-bias of the estimators. We further analyze a variant of our basic method, called the Adaptive HulC, which is fully data-driven and estimates the median-bias using subsampling. We show that the Adaptive HulC retains the aforementioned strengths of the HulC. In certain cases where the underlying estimators are pathologically asymmetric the HulC and Adaptive HulC can fail to provide useful confidence sets. We propose a final variant, the Unimodal HulC, which can salvage the situation in cases where the distribution of the underlying estimator is (asymptotically) unimodal. We discuss these methods in the context of several challenging inferential problems which arise in parametric, semi-parametric, and non-parametric inference. Although our focus is on validity under weak regularity conditions, we also provide some general results on the width of the HulC confidence sets, showing that in many cases the HulC confidence sets have near-optimal width.


title: Clustering polar curves

abstract: This essay builds on the idea of grouping the polar curves of 2-variable function germs into polar clusters. In the topological category, one obtains a bijective correspondence between certain partitions of the polar quotients of two topologically equivalent function germs. We explain how this bijective correspondence may be refined in the Lipschitz category in terms of the associated gradient canyons.


title: Intensional Kleene and Rice Theorems for Abstract Program Semantics

abstract: Classical results in computability theory, notably Rice's theorem, focus on the extensional content of programs, namely, on the partial recursive functions that programs compute. Later and more recent work investigated intensional generalisations of such results that take into account the way in which functions are computed, thus affected by the specific programs computing them. In this paper, we single out a novel class of program semantics based on abstract domains of program properties that are able to capture nonextensional aspects of program computations, such as their asymptotic complexity or logical invariants, and allow us to generalise some foundational computability results such as Rice's Theorem and Kleene's Second Recursion Theorem to these semantics. In particular, it turns out that for this class of abstract program semantics, any nontrivial abstract property is undecidable and every decidable over-approximation necessarily includes an infinite set of false positives which covers all the values of the semantic abstract domain.


title: NLO fragmentation functions for a quark into a spin-singlet quarkonium: Same flavor case

abstract: In the paper, we calculate the fragmentation functions for $c \to \eta_c$ and $b \to \eta_b$ up to next-to-leading-order (NLO) QCD accuracy. The ultraviolet divergences in the real corrections are removed through operator renormalization under the modified minimal subtraction scheme. We then obtain the fragmentation functions $D_{c \to \eta_c}(z,\mu_F)$ and $D_{b \to \eta_b}(z,\mu_F)$ up to NLO QCD accuracy, which are presented as figures and fitting functions. The numerical results show that the NLO corrections are significant. The sensitives of the fragmentation functions to the renormalization scale and the factorization scale are analyzed explicitly.


title: Simulating of X-states and the two-qubit XYZ Heisenberg system on IBM quantum computer

abstract: Two qubit density matrices, which are of X-shape, are a natural generalization of Bell Diagonal States (BDSs) recently simulated on the IBM quantum device. We generalize the previous results and propose a quantum circuit for simulation of a general two qubit X-state, implement it on the same quantum device, and study its entanglement for several values of the extended parameter space. We also show that their X-shape is approximately robust against noisy quantum gates. To further physically motivate this study, we invoke the two-spin Heisenberg XYZ system and show that for a wide class of initial states, it leads to dynamical density matrices which are X-states. Due to the symmetries of this Hamiltonian, we show that by only two qubits, one can simulate the dynamics of this system on the IBM quantum computer.


title: Robustness of electricity systems with nearly 100% share of renewables: a worst-case study

abstract: Several research studies have shown that future sustainable electricity systems, mostly based on renewable generation and storage, are feasible with current technologies and costs. However, recent episodes of extreme weather conditions, probably associated with climate change, cast shades of doubt on whether the resulting generation portfolios are sufficiently robust to assure, at all times, a suitable balance between generation and demand, when adverse conditions are faced. To address this issue, this work elaborates a methodology intended to determine a sustainable electricity system that can endure extreme weather conditions, which are likely to occur. First, using hourly production and demand data from the last decade, along with estimates of new uses of electricity, a worst-case scenario is constructed, including the storage capacity and additional photovoltaic power which are needed to serve the demand on an hourly basis. Next, several key parameters which may have a significant influence on the LCOE are considered, and a sensitivity analysis is carried out to determine their real impact, significance and potential trends. The proposed methodology is then applied to the Spanish system. The results show that, under the hypotheses and conditions considered in this paper, it is possible to design a decarbonized electricity system that, taking advantage of existing sustainable assets, satisfies the long-term needs by providing a reliable supply at an average cost significantly lower than current market prices.


title: A Note On The Randomized Kaczmarz Method With A Partially Weighted Selection Step

abstract: In this note we reconsider two known algorithms which both usually converge faster than the randomized Kaczmarz method introduced by Strohmer and Vershynin(2009), but require the additional computation of all residuals of an iteration at each step. As already indicated in the literature, e.g. arXiv:2007.02910 and arXiv:2011.14693, it is shown that the non-randomized version of the two algorithms converges at least as fast as the randomized version, while still requiring computation of all residuals. Based on that observation, a new simple random sample selection scheme has been introduced by arXiv:2011.14693 to reduce the required total of residuals. In the same light we propose an alternative random selection scheme which can easily be included as a `partially weighted selection step' into the classical randomized Kaczmarz algorithm without much ado. Numerical examples show that the randomly determined number of required residuals can be quite moderate.


title: Polygonal Point Set Tracking

abstract: In this paper, we propose a novel learning-based polygonal point set tracking method. Compared to existing video object segmentation~(VOS) methods that propagate pixel-wise object mask information, we propagate a polygonal point set over frames. Specifically, the set is defined as a subset of points in the target contour, and our goal is to track corresponding points on the target contour. Those outputs enable us to apply various visual effects such as motion tracking, part deformation, and texture mapping. To this end, we propose a new method to track the corresponding points between frames by the global-local alignment with delicately designed losses and regularization terms. We also introduce a novel learning strategy using synthetic and VOS datasets that makes it possible to tackle the problem without developing the point correspondence dataset. Since the existing datasets are not suitable to validate our method, we build a new polygonal point set tracking dataset and demonstrate the superior performance of our method over the baselines and existing contour-based VOS methods. In addition, we present visual-effects applications of our method on part distortion and text mapping.


title: Mackey's obstruction map for discrete graded algebras

abstract: G.W. Mackey's celebrated obstruction theory for projective representations of locally compact groups was remarkably generalized by J. M. G. Fell and R. S. Doran to the wide area of saturated Banach *-algebraic bundles. Analogous obstruction is suggested here for discrete group graded algebras which are not necessarily saturated, i.e. strongly graded in the discrete context. The obstruction is a map assigning a certain second cohomology class to every equivariance class of absolutely simple graded modules. The set of equivariance classes of such modules is equipped with an appropriate multiplication, namely a graded product, such that the obstruction map is a homomorphism of abelian monoids. Graded products, essentially arising as pull-backs of bundles, admit many nice properties, including a way to twist graded algebras and their graded modules. The obstruction class turns out to determine the fine part that appears in the Bahturin-Zaicev-Sehgal decomposition, i.e. the graded Artin-Wedderburn theorem for graded simple algebras which are graded Artinian, in case where the base algebras (i.e. the unit fiber algebras) are finite-dimensional over algebraically closed fields.


title: Kolmogorov-Smirnov Test-Based Actively-Adaptive Thompson Sampling for Non-Stationary Bandits

abstract: We consider the non-stationary multi-armed bandit (MAB) framework and propose a Kolmogorov-Smirnov (KS) test based Thompson Sampling (TS) algorithm named TS-KS, that actively detects change points and resets the TS parameters once a change is detected. In particular, for the two-armed bandit case, we derive bounds on the number of samples of the reward distribution to detect the change once it occurs. Consequently, we show that the proposed algorithm has sub-linear regret. Contrary to existing works, our algorithm is able to detect a change when the underlying reward distribution changes even though the mean reward remains the same. Finally, to test the efficacy of the proposed algorithm, we employ it in two case-studies: i) task-offloading scenario in wireless edge-computing, and ii) portfolio optimization. Our results show that the proposed TS-KS algorithm outperforms not only the static TS algorithm but also it performs better than other bandit algorithms designed for non-stationary environments. Moreover, the performance of TS-KS is at par with the state-of-the-art forecasting algorithms such as Facebook-PROPHET and ARIMA.


title: Bioelectrical brain activity can predict prosocial behavior

abstract: Generally, people behave in social dilemmas such as proself and prosocial. However, inside social groups, people have a tendency to choose prosocial alternatives due to in-group favoritism. The bioelectrical activity of the human brain shows the differences between proself and prosocial exist even out of a socialized group. Moreover, a group socialization strengthens these differences. We used EEG System, "Neuron-Spectrum-4/EPM" (16 channels), to track the brain bioelectrical activity during decision making in laboratory experiments with the Prisoner's dilemma game and the short-term socialization stage. We compared the spatial distribution of the spectral density during the different experimental parts. The noncooperative decision was characterized by the increased values of spectral the beta rhythm in the orbital regions of prefrontal cortex. The cooperative choice, on the contrary, was accompanied by the theta-rhythm activation in the central cortex regions in both hemispheres and the high-frequency alpha rhythm in the medial regions of the prefrontal cortex. People who increased the cooperation level after the socialization stage was initially different from the ones who decreased the cooperation in terms of the bioelectrical activity. Well-socialized participants differed by increased values of spectral density of theta-diapason and decreased values of spectral density of beta-diapason in the middle part of frontal lobe. People who decreased the cooperation level after the socialization stage was characterized by decreased values of spectral density of alpha rhythm in the middle and posterior convex regions of both hemispheres.


title: A note on first eigenvalue estimates by coupling methods in K\"ahler and quaternion K\"ahler manifolds

abstract: In this short note, using the Kendall-Cranston coupling, we study on K\"ahler (resp. quaternion K\"ahler) manifolds first eigenvalue estimates in terms of dimension, diameter, and lower bounds on the holomorphic (resp. quaternionic) sectional curvature.


title: Enhanced electron-phonon coupling in doubly aligned hexagonal boron nitride bilayer graphene heterostructure

abstract: The relative twist angle in heterostructures of two-dimensional (2D) materials with similar lattice constants result in a dramatic alteration of the electronic properties. Here, we investigate the electrical and magnetotransport properties in bilayer graphene (BLG) encapsulated between two hexagonal boron nitride (hBN) crystals, where the top and bottom hBN are rotationally aligned with bilayer graphene with a twist angle $\theta_t\sim 0^{\circ} \text{and}~ \theta_b < 1^{\circ}$, respectively. This results in the formation of two moir\'e superlattices, with the appearance of satellite resistivity peaks at carrier densities $n_{s1}$ and $n_{s2}$, in both hole and electron doped regions, together with the resistivity peak at zero carrier density. Furthermore, we measure the temperature(T) dependence of the resistivity ($\rho$). The resistivity shows a linear increment with temperature within the range 10K to 50K for the density regime $n_{s1} <n<n_{s2}$ with a large slope d$\rho$/dT $\sim$ 8.5~$\Omega$/K. The large slope of d$\rho$/dT is attributed to the enhanced electron-phonon coupling arising due to the suppression of Fermi velocity in the reconstructed minibands, which was theoretically predicted, recently in doubly aligned graphene with top and bottom hBN. Our result establishes the uniqueness of doubly aligned moire system to tune the strength of electron-phonon coupling and to modify the electronic properties of multilayered heterostructures.


title: Statistical Inference from Partially Nominated Sets: An Application to Estimating the Prevalence of Osteoporosis

abstract: This paper focuses on drawing statistical inference based on a novel variant of maxima or minima nomination sampling (NS) designs. These sampling designs are useful for obtaining more representative sample units from the tails of the population distribution using the available auxiliary ranking information. However, one common difficulty in performing NS in practice is that the researcher cannot obtain a nominated sample unless he/she uniquely determines the sample unit with the highest or the lowest rank in each set. To overcome this problem, a variant of NS which is called partial nomination sampling is proposed in which the researcher is allowed to declare that two or more units are tied in the ranks whenever he/she cannot find with high confidence the sample unit with the highest or the lowest rank with high confidence. Based on this sampling design, two asymptotically unbiased estimators are developed for the cumulative distribution function, which are obtained using maximum likelihood and moment-based approaches, and their asymptotic normality is proved. Several numerical studies have shown that the developed estimators have higher relative efficiencies than their counterpart in simple random sampling in analyzing either the upper or the lower tail of the parent distribution. The procedures that we are developed are then implemented on a real dataset from the Third National Health and Nutrition Examination Survey (NHANES III) to estimate the prevalence of osteoporosis among adult women aged 50 and over. It is shown that in some certain circumstances, the techniques that we have developed require only one-third of the sample size needed in SRS to achieve the desired precision. This results in a considerable reduction of time and cost compared to the standard SRS method.


title: Markov Infinitely-Divisible Stationary Time-Reversible Integer-Valued Processes

abstract: We prove a complete class theorem that characterizes \emph{all} stationary time reversible Markov processes whose finite dimensional marginal distributions (of all orders) are infinitely divisible. Aside from two degenerate cases (iid and constant), in both discrete and continuous time every such process with full support is a branching process with Poisson or Negative Binomial marginal univariate distributions and a specific bivariate distribution at pairs of times. As a corollary, we prove that every nondegenerate stationary integer valued processes constructed by the Markov thinning process fails to have infinitely divisible multivariate marginal distributions, except for the Poisson. These results offer guidance to anyone modeling integer-valued Markov data exhibiting autocorrelation.


title: On the Binary-Neutron-Star Post-Merger Magnetar Origin of XRT 210423

abstract: XRT 201423 is an X-ray transient with a nearly flat plateau lasting 4.1 ks followed by a steep decay. This feature indicates that it might come from a magnetar formed through a binary neutron star merger, similar to CDF-S XT2 and as predicted as a type of electromagnetic counterpart of binary neutron star mergers. We test the compliance of the data with this model and use the observed duration and flux of the X-ray signal as well as upper limits of optical emission to pose constraints on the parameters of the underlying putative magnetar. Both the free-zone and trapped-zone geometric configurations are considered. We find that the data are generally consistent with such a model. The surface dipolar magnetic field and the ellipticity of the magnetar should satisfy $B_p < 7\times 10^{14}{\rm G}$ ($B_p < 4.9 \times 10^{14}{\rm G}$) and $\epsilon < 1.5 \times 10^{-3}$ ($\epsilon < 1.1 \times 10^{-3}$) under free zone (trapped zone) configurations, respectively. An upper limit on the distance (e.g. $z < 0.55$ with $\eta_x = 10^{-4}$ or $z < 3.5$ with $\eta_x = 10^{-2}$) can be derived from the X-ray data which depends on the X-ray dissipation efficiency $\eta_x$ of the spin-down luminosity. The non-detection of an optical counterpart places a conservative lower limit on the distance of the source, i.e. $z > 0.045$ regardless of the geometric configuration.


title: Flavored leptogenesis and Dirac CP violation

abstract: The parameterisation proposed by Casas and Ibarra in the year 2001 have shown promising role in the extraction of neutrino Yukawa coupling which is a basic ingredient of the seesaw mechanism generating neutrino mass. We pay special attention in establishing the crucial role of the Casas-Ibarra (CI) parameterisation in presence of two different orthogonal matrices, $R= \textbf{O} \,\rm e^{i {\bf A}}$ and $R= \textbf{O} \,\rm e^{{\bf A}}$ in order to investigate flavored leptogenesis. In the light of these two choices of the orthogonal matrix we examine the connection between the low energy and high energy CP violations along with certain interesting predictions on the low energy parameters namely, the lightest neutrino mass and the Dirac CP phase ($\delta$). Considering the right handed neutrino (RHN) mass window to be $10^8$ GeV, we show that Dirac phase leptogenesis is possible with the choices of these two orthogonal matrices. We choose a nearly degenerate spectrum for the RHN masses for having a successful leptogenesis. We also emphasize on presenting a range of the matrix elements of the skew symmetric matrix $ \textbf{A}$. The results obtained in the present analysis underline the importance of understanding the status of CP violation in the low energy sector. We also discuss the phenomenological implications of these two case studies in the context of LFV considering the $\mu \rightarrow e\gamma$ decay process.


title: Sparse Uncertainty Representation in Deep Learning with Inducing Weights

abstract: Bayesian neural networks and deep ensembles represent two modern paradigms of uncertainty quantification in deep learning. Yet these approaches struggle to scale mainly due to memory inefficiency issues, since they require parameter storage several times higher than their deterministic counterparts. To address this, we augment the weight matrix of each layer with a small number of inducing weights, thereby projecting the uncertainty quantification into such low dimensional spaces. We further extend Matheron's conditional Gaussian sampling rule to enable fast weight sampling, which enables our inference method to maintain reasonable run-time as compared with ensembles. Importantly, our approach achieves competitive performance to the state-of-the-art in prediction and uncertainty estimation tasks with fully connected neural networks and ResNets, while reducing the parameter size to $\leq 24.3\%$ of that of a $single$ neural network.


title: Miniband engineering and topological phase transitions in topological - normal insulator superlattices

abstract: Periodic stacking of topologically trivial and non-trivial layers with opposite symmetry of the valence and conduction bands induces topological interface states that, in the strong coupling limit, hybridize both across the topological and normal insulator layers. Using band structure engineering, such superlattices can be effectively realized using the IV-VI lead tin chalcogenides. This leads to emergent minibands with a tunable topology as demonstrated both by theory and experiments. The topological minibands are proven by magneto-optical spectroscopy, revealing Landau level transitions both at the center and edges of the artificial superlattice mini Brillouin zone. Their topological character is identified by the topological phase transitions within the minibands observed as a function of temperature. The critical temperature of this transition as well as the miniband gap and miniband width can be precisely controlled by the layer thicknesses and compositions. This witnesses the generation of a new fully tunable quasi-3D topological state that provides a template for realization of magnetic Weyl semimetals and other strongly interacting topological phases.


title: Improving Efficiency of Tests for Composite Null Hypotheses

abstract: The goal of mediation analysis is to study the effect of exposure on an outcome interceded by a mediator. Two simple hypotheses are tested: the effect of the exposure on the mediator, and the effect of the mediator on the outcome. When either of these hypotheses is true, a predetermined significance level can be assured. When both nulls are true, the same test becomes conservative. Adaptively finding the correct scenario enables customizing the tests and consequently enlarges their efficiency, which is most important in a multiple testing framework. In this work, we link between adaptive two-stage procedures and shrinkage estimators. We first study the properties of shrinkage estimators, and characterize their behavior at different parameter points using local asymptotics. We formulate theoretical results regarding shrinkage estimators, compared to regular estimators. We then discuss the multiple-testing framework and state results about using shrinkage estimator in two-stage procedures for controlling the FWER. Taking advantage of these theoretical results, we suggest a number of estimators and test statistics for the two-stage mediation procedures. We then investigate their empirical FWER and power, compared to regular estimators and tests, through simulations.


title: Cross section of the Coulomb excitation of $^{229m}$Th by low energy muons

abstract: The inelastic scattering cross section for muons, $\mu^-$, with energies $E$=9--100~eV from the $^{229}$Th nuclei is calculated in the framework of the second order of the perturbation theory for the quantum electrodynamics. The dominant contribution to the excitation of the low energy isomer $^{229m}$Th$(3/2^+,8.19\pm0.12$~eV) comes from the $E2$ multipole. The excitation cross section reaches the value of $10^{-21}$ cm$^2$ in the range $E\approx$10~eV. This is four to five orders of magnitude larger than the electron excitation cross section and enough for efficient excitation of $^{229m}$Th on the muon beam at the next generation of muon colliders.


title: Calculating the Hyperfine Tensors for Group-IV Impurity-Vacancy Centers in Diamond: A Hybrid Density-Functional Theory Approach

abstract: The hyperfine interaction is an important probe for understanding the structure and symmetry of defects in a semiconductor. Density-functional theory has shown that it can provide useful first-principles predictions for both the hyperfine tensor and the hyperfine constants that arise from it. Recently there has been great interest in using group-IV impurity-vacancy color centers X$V^-$ (where X = Si, Ge, Sn, or Pb and $V$ is a carbon vacancy) for important applications in quantum computing and quantum information science. In this paper, we have calculated the hyperfine tensors for these X$V^-$ color centers using the HSE06 screened Hartree-Fock hybrid exchange-correlation functional with the inclusion of core electron spin polarization. We have compared our results to calculations which only use the PBE exchange-correlation functional without the inclusion of core electron spin polarization and we have found our results are in very good agreement with available experimental results. Finally, we have theoretically shown that these X$V^-$ color centers exhibit a Jahn-Teller distortion which explains the observed anisotropic distribution of the hyperfine constants among the neighboring $^{13}$C nuclear spins.


title: Personalization in E-Grocery: Top-N versus Top-k Rankings

abstract: Business success in e-commerce depends on customer perceived value. A customer with high perceived value buys, returns, and recommends items. The perceived value is at risk whenever the information load harms users' shopping experience. In e-grocery, shoppers face an overwhelming number of items, the majority of which is irrelevant for the shopper. Recommender systems (RS) enable businesses to master information overload (IO) by providing users with an item ranking by relevance. Prior work proposes RS with short personalized rankings (top-k). Given large order sizes and high user heterogeneity in e-grocery, top-k RS are insufficient to diminish IO in this domain. To fill this gap and raise business performance, this paper introduces an RS with a personalized long ranking (top-N). Undertaking a randomized field experiment, the paper establishes the merit of shifting from top-k to top-N rankings. Specifically, the proposed RS reduces IO by 29.4% and lowers users' search time by 3.3 seconds per item. The field experiment also reveals a 7% uplift in revenue due to the top-N ranking. Substantial benefits for the customer and the company highlight the business value of top-N rankings as a new design requirement for recommender systems in e-grocery.


title: HIT: A Hierarchically Fused Deep Attention Network for Robust Code-mixed Language Representation

abstract: Understanding linguistics and morphology of resource-scarce code-mixed texts remains a key challenge in text processing. Although word embedding comes in handy to support downstream tasks for low-resource languages, there are plenty of scopes in improving the quality of language representation particularly for code-mixed languages. In this paper, we propose HIT, a robust representation learning method for code-mixed texts. HIT is a hierarchical transformer-based framework that captures the semantic relationship among words and hierarchically learns the sentence-level semantics using a fused attention mechanism. HIT incorporates two attention modules, a multi-headed self-attention and an outer product attention module, and computes their weighted sum to obtain the attention weights. Our evaluation of HIT on one European (Spanish) and five Indic (Hindi, Bengali, Tamil, Telugu, and Malayalam) languages across four NLP tasks on eleven datasets suggests significant performance improvement against various state-of-the-art systems. We further show the adaptability of learned representation across tasks in a transfer learning setup (with and without fine-tuning).


title: Spaces of non-resultant systems of bounded multiplicity determined by a toric variety

abstract: The space of non-resultant systems of bounded multiplicity for a toric variety X is a generalization of the space of rational curves on it. In our earlier work we proved a homotopy stability theorem and determined explicitly the homotopy type of this space for the case X = CP^m. In this paper we consider the case of a general non-singular toric variety and prove a homotopy stability theorem generalising the one for CP^m.


title: On the geometry of generalization and memorization in deep neural networks

abstract: Understanding how large neural networks avoid memorizing training data is key to explaining their high generalization performance. To examine the structure of when and where memorization occurs in a deep network, we use a recently developed replica-based mean field theoretic geometric analysis method. We find that all layers preferentially learn from examples which share features, and link this behavior to generalization performance. Memorization predominately occurs in the deeper layers, due to decreasing object manifolds' radius and dimension, whereas early layers are minimally affected. This predicts that generalization can be restored by reverting the final few layer weights to earlier epochs before significant memorization occurred, which is confirmed by the experiments. Additionally, by studying generalization under different model sizes, we reveal the connection between the double descent phenomenon and the underlying model geometry. Finally, analytical analysis shows that networks avoid memorization early in training because close to initialization, the gradient contribution from permuted examples are small. These findings provide quantitative evidence for the structure of memorization across layers of a deep neural network, the drivers for such structure, and its connection to manifold geometric properties.


title: The Brownian Map

abstract: The "Brownian map" is a fundamental object in mathematics, in some sense a 2-dimensional analogue of Brownian motion. Here we briefly explain this object and a bit of its history.


title: Shift modules, strongly stable ideals, and their dualities

abstract: We enrich the setting of strongly stable ideals (SSI): We introduce shift modules, a module category encompassing SSI's. The recently introduced duality on SSI's is given an effective conceptual and computational setting. We study strongly stable ideals in infinite dimensional polynomial rings, where the duality is most natural. Finally a new type of resolution for SSI's is introduced. This is the projective resolution in the category of shift modules.


title: Ordinary and symbolic powers of edge ideals of weighted oriented graphs

abstract: Let $\mathcal{D}$ be a weighted oriented graph and $I(\mathcal{D})$ be its edge ideal. In this paper, we show that all the symbolic and ordinary powers of $I(\mathcal{D})$ coincide when $\mathcal{D}$ is a weighted oriented certain class of tree. Finally, we give necessary and sufficient conditions for the equality of ordinary and symbolic powers of naturally oriented lines.


title: $\mathcal{N}=2$ Extended MacDowell-Mansouri Supergravity

abstract: We construct a gauge theory based in the supergroup $G=SU(2,2|2)$ that generalizes MacDowell-Mansouri supergravity. This is done introducing an extended notion of Hodge operator in the form of an outer automorphism of $su(2,2|2)$-valued 2-form tensors. The model closely resembles a Yang-Mills theory -- including the action principle, equations of motion and gauge transformations -- which avoids the use of the otherwise complicated component formalism. The theory enjoys $H=SO(3,1)\times \mathbb{R} \times U(1)\times SU(2)$ off-shell symmetry whilst the broken symmetries $G/H$, translation-type symmetries and supersymmetry, can be recovered on surface of integrability conditions of the equations of motion, for which it suffices the Rarita-Schwinger equation and torsion-like constraints to hold. Using the \textit{matter ansatz} -- projecting the $1 \otimes 1/2$ reducible representation into the spin-$1/2$ irreducible sector -- we obtain (chiral) fermion models with gauge and gravity interactions.


title: Power and Performance Efficient SDN-Enabled Fog Architecture

abstract: Software Defined Networks (SDNs) have dramatically simplified network management. However, enabling pure SDNs to respond in real-time while handling massive amounts of data still remains a challenging task. In contrast, fog computing has strong potential to serve large surges of data in real-time. SDN control plane enables innovation, and greatly simplifies network operations and management thereby providing a promising solution to implement energy and performance aware SDN-enabled fog computing. Besides, power efficiency and performance evaluation in SDN-enabled fog computing is an area that has not yet been fully explored by the research community. We present a novel SDN-enabled fog architecture to improve power efficacy and performance by leveraging cooperative and non-cooperative policy-based computing. Preliminary results from extensive simulation demonstrate an improvement in the power utilization as well as the overall performance (i.e., processing time, response time). Finally, we discuss several open research issues that need further investigation in the future.


title: Safety Embedded Differential Dynamic Programming Using Discrete Barrier States

abstract: Certified safe control is a growing challenge in robotics, especially when performance and safety objectives must be concurrently achieved. In this work, we extend the barrier state (BaS) concept, recently proposed for safe stabilization of continuous time systems, to safety embedded trajectory optimization for discrete time systems using discrete barrier states (DBaS). The constructed DBaS is embedded into the discrete model of the safety-critical system integrating safety objectives into the system's dynamics and performance objectives. Thereby, the control policy is directly supplied by safety-critical information through the barrier state. This allows us to employ the DBaS with differential dynamic programming (DDP) to plan and execute safe optimal trajectories. The proposed algorithm is leveraged on various safety-critical control and planning problems including a differential wheeled robot safe navigation in randomized and complex environments and on a quadrotor to safely perform reaching and tracking tasks. The DBaS-based DDP (DBaS-DDP) is shown to consistently outperform penalty methods commonly used to approximate constrained DDP problems as well as CBF-based safety filters.


title: Identity and Attribute Preserving Thumbnail Upscaling

abstract: We consider the task of upscaling a low resolution thumbnail image of a person, to a higher resolution image, which preserves the person's identity and other attributes. Since the thumbnail image is of low resolution, many higher resolution versions exist. Previous approaches produce solutions where the person's identity is not preserved, or biased solutions, such as predominantly Caucasian faces. We address the existing ambiguity by first augmenting the feature extractor to better capture facial identity, facial attributes (such as smiling or not) and race, and second, use this feature extractor to generate high-resolution images which are identity preserving as well as conditioned on race and facial attributes. Our results indicate an improvement in face similarity recognition and lookalike generation as well as in the ability to generate higher resolution images which preserve an input thumbnail identity and whose race and attributes are maintained.


title: Input independence

abstract: We establish the following input independence principle. If a quantum circuit $\mathcal C$ computes a unitary transformation $U_\mu$ along a computation path $\mu$, then the probability that computation of $\mathcal C$ follows path $\mu$ is independent of the input.


title: Asymptotic behavior of the linear consensus model with delay and anticipation

abstract: We study asymptotic behavior of solutions of the first-order linear consensus model with delay and anticipation, which is a system of neutral delay differential equations. We consider both the transmission-type and reaction-type delay that are motivated by modeling inputs. Studying the simplified case of two agents, we show that, depending on the parameter regime, anticipation may have both a stabilizing and destabilizing effect on the solutions. In particular, we demonstrate numerically that moderate level of anticipation generically promotes convergence towards consensus, while too high level disturbs it. Motivated by this observation, we derive sufficient conditions for asymptotic consensus in the multiple-agent systems, which are explicit in the parameter values delay length and anticipation level, and independent of the number of agents. The proofs are based on construction of suitable Lyapunov-type functionals.


title: Integrability of the multi-species TASEP with species-dependent rates

abstract: Assume that each species $l$ has its own jump rate $b_l$ in the multi-species totally asymmetric simple exclusion process. We show that this model is \textit{integrable} in the sense that the Bethe Ansatz method is applicable to obtain the transition probabilities for all possible $N$-particle systems with up to $N$ different species.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Square Kilometre Array : Processing Voluminous MeerKAT Data on IRIS

abstract: Processing astronomical data often comes with huge challenges with regards to data management as well as data processing. MeerKAT telescope is one of the precursor telescopes of the World's largest observatory - Square Kilometre Array. So far, MeerKAT data was processed using the South African computing facility i.e. IDIA, and exploited to make ground-breaking discoveries. However, to process MeerKAT data on UK's IRIS computing facility requires new implementation of the MeerKAT pipeline. This paper focuses on how to transfer MeerKAT data from the South African site to UK's IRIS systems for processing. We discuss about our RapifXfer Data transfer framework for transferring the MeerKAT data from South Africa to the UK, and the MeerKAT job processing framework pertaining to the UK's IRIS resources.


title: Evolution of Activation Functions: An Empirical Investigation

abstract: The hyper-parameters of a neural network are traditionally designed through a time consuming process of trial and error that requires substantial expert knowledge. Neural Architecture Search (NAS) algorithms aim to take the human out of the loop by automatically finding a good set of hyper-parameters for the problem at hand. These algorithms have mostly focused on hyper-parameters such as the architectural configurations of the hidden layers and the connectivity of the hidden neurons, but there has been relatively little work on automating the search for completely new activation functions, which are one of the most crucial hyper-parameters to choose. There are some widely used activation functions nowadays which are simple and work well, but nonetheless, there has been some interest in finding better activation functions. The work in the literature has mostly focused on designing new activation functions by hand, or choosing from a set of predefined functions while this work presents an evolutionary algorithm to automate the search for completely new activation functions. We compare these new evolved activation functions to other existing and commonly used activation functions. The results are favorable and are obtained from averaging the performance of the activation functions found over 30 runs, with experiments being conducted on 10 different datasets and architectures to ensure the statistical robustness of the study.


title: On the Controllers Based on Time Delay Estimation for Robotic Manipulators

abstract: Assurance of asymptotic trajectory tracking in robotic manipulators with a smooth control law in the presence of unmodeled dynamics or external disturbance is a challenging problem. Recently, it is asserted that it is achieved via a rigorous proof by designing a traditional model-free controller together with time delay estimation (TDE) such that neither dynamical parameters nor conservative assumptions on external disturbance are required. The purpose of this note is to show that this claim is not true and the stability proof of the method is incorrect. Finally, some modified versions of this controller with rigorous proof is presented for robotic manipulators.