title: Parallel Discrete Convolutions on Adaptive Particle Representations of Images

abstract: We present data structures and algorithms for native implementations of discrete convolution operators over Adaptive Particle Representations (APR) of images on parallel computer architectures. The APR is a content-adaptive image representation that locally adapts the sampling resolution to the image signal. It has been developed as an alternative to pixel representations for large, sparse images as they typically occur in fluorescence microscopy. It has been shown to reduce the memory and runtime costs of storing, visualizing, and processing such images. This, however, requires that image processing natively operates on APRs, without intermediately reverting to pixels. Designing efficient and scalable APR-native image processing primitives, however, is complicated by the APR's irregular memory structure. Here, we provide the algorithmic building blocks required to efficiently and natively process APR images using a wide range of algorithms that can be formulated in terms of discrete convolutions. We show that APR convolution naturally leads to scale-adaptive algorithms that efficiently parallelize on multi-core CPU and GPU architectures. We quantify the speedups in comparison to pixel-based algorithms and convolutions on evenly sampled data. We achieve pixel-equivalent throughputs of up to 1 TB/s on a single Nvidia GeForce RTX 2080 gaming GPU, requiring up to two orders of magnitude less memory than a pixel-based implementation.


title: C$_{60}^+$ diffuse interstellar band correlations and environmental variations

abstract: The Diffuse Interstellar Bands (DIBs) are absorption features seen in the spectra of astronomical objects, that arise in the interstellar medium. Today more than 500 DIBs have been observed mostly in the optical and near-infrared wavelengths. The origin of the DIBs are unclear; only ionized buckminsterfullerene C$_{60}^+$ has been identified as a viable candidate for two strong and three weaker DIBs. In this study, we investigate the correlations between the strengths of the two strongest C$_{60}^+$ DIBs as well as their environmental behaviour. Therefore, we analysed measurements of the strengths of the two C$_{60}^+$ DIBs at 9577 and 9633 $\r{A}$ for 26 lines of sight. We used two different methods, including Monte Carlo simulations, to study their correlations and the influence of measurement errors on the correlation coefficients. Furthermore, we examined how the strength of the C$_{60}^+$ DIBs changes as a result of different environmental conditions, as measured by the concentration of H/H$_2$ and the strength of the ambient UV radiation. In contrast to results recently reported by Galazutdinov et al. (2021), we find a high correlation between the strengths of the C$_{60}^+$ DIBs. We also discovered that the behaviour of the correlated C$_{60}^+$ bands is quite distinct from other DIBs at 5780, 5797 and 6203 $\r{A}$ in different environments.


title: On the comparison of the distinguishing coloring and the locating coloring of graphs

abstract: Let G be a simple connected graph. Then chi L(G) and chi D(G) will denote the locating chromatic number and the distinguishing chromatic number of G, respectively. In this paper, we investigate a comparison between chi L(G) and chi D(G). In fact, we prove that chi D(G) \leq chi L(G). Moreover, we determine some types of graphs whose locating and distinguishing chromatic numbers are equal. Specially, we characteristic all graph G with the property that chi D(G)= chi L(G) = 3.


title: State-of-the-art predictive and prescriptive analytics for IEEE CIS 3rd Technical Challenge

abstract: In this paper, we describe our proposed methodology to approach the predict+optimise challenge introduced in the IEEE CIS 3rd Technical Challenge. The predictive model employs an ensemble of LightGBM models and the prescriptive analysis employs mathematical optimisation to efficiently prescribe solutions that minimise the average cost over multiple scenarios. Our solutions ranked 1st in the optimisation and 2nd in the prediction challenge of the competition.


title: E$^2$(GO)MOTION: Motion Augmented Event Stream for Egocentric Action Recognition

abstract: Event cameras are novel bio-inspired sensors, which asynchronously capture pixel-level intensity changes in the form of "events". Due to their sensing mechanism, event cameras have little to no motion blur, a very high temporal resolution and require significantly less power and memory than traditional frame-based cameras. These characteristics make them a perfect fit to several real-world applications such as egocentric action recognition on wearable devices, where fast camera motion and limited power challenge traditional vision sensors. However, the ever-growing field of event-based vision has, to date, overlooked the potential of event cameras in such applications. In this paper, we show that event data is a very valuable modality for egocentric action recognition. To do so, we introduce N-EPIC-Kitchens, the first event-based camera extension of the large-scale EPIC-Kitchens dataset. In this context, we propose two strategies: (i) directly processing event-camera data with traditional video-processing architectures (E$^2$(GO)) and (ii) using event-data to distill optical flow information (E$^2$(GO)MO). On our proposed benchmark, we show that event data provides a comparable performance to RGB and optical flow, yet without any additional flow computation at deploy time, and an improved performance of up to 4% with respect to RGB only information.


title: Early Warnings of Binary Neutron Star Coalescence using the SPIIR Search

abstract: Gravitational waves from binary neutron star mergers can be used as alerts to enable prompt follow-up observations. In particular, capturing prompt electromagnetic and astroparticle emissions from the moment of a binary merger presents unique constraints on the time scale and sky localization for online gravitational wave detection. Here we present the expected performance of the SPIIR online detection pipeline that is designed for this purpose in the upcoming international LIGO-Virgo's 4th Science Run (O4). Using simulated Gaussian data for the two LIGO observatories with expected O4 sensitivity, we demonstrate that there is a non-negligible opportunity to deliver pre-merger warnings at least 10 s before the final plunge. These alerts are expected to be issued at a nominal rate of one binary neutron star coalescence per year and localized within a median searched area of 300 $deg^2$. We envision such a detection to be extremely useful for follow-up observatories with a large field of view such as the Murchison Widefield Array radio facility at Western Australia.


title: Random fixed points, systemic risk and resilience of heterogeneous financial network

abstract: We consider a large random network, in which the performance of a node depends upon that of its neighbours and some external random influence factors. This results in random vector valued fixed-point (FP) equations in large dimensional spaces, and our aim is to study their almost-sure solutions. An underlying directed random graph defines the connections between various components of the FP equations. Existence of an edge between nodes $i,j$ implies the $i$-th FP equation depends on the $j$-th component. We consider a special case where any component of the FP equation depends upon an appropriate aggregate of that of the random `neighbour' components. We obtain finite-dimensional limit FP equations in a much smaller dimensional space, whose solutions aid to approximate the solution of FP equations for almost all realizations, as the number of nodes increases. We use Maximum theorem for non-compact sets to prove this convergence. We apply the results to study systemic risk in an example financial network with large number of heterogeneous entities. We utilized the simplified limit system to analyse trends of default probability (probability that an entity fails to clear its liabilities) and expected surplus (expected-revenue after clearing liabilities) with varying degrees of interconnections between two diverse groups. We illustrated the accuracy of the approximation using exhaustive Monte-Carlo simulations. Our approach can be utilized for a variety of financial networks (and others); the developed methodology provides approximate small-dimensional solutions to large-dimensional FP equations that represent the clearing vectors in case of financial networks.


title: Charged excitons or trions in 2D parabolic quantum dots?

abstract: So far in the literature the terms "charged exciton" and "trion" are often confused with each other and mostly considered as the same. In this work we show this is not the case in 2D quantum dots with a parabolic confinement. By using the unrestricted Hartree-Fock method the energy and binding energy of both charged excitons and trions in 2D parabolic quantum dots are calculated in dependence on the confinements of charge carriers in quantum dot. It is shown that the binding energies of the charged exciton and the trion behave differently in regard to the ratios of the confinements between the electron and hole. The effect of the external magnetic field on the binding energies of charged excitons has been also considered.


title: On the dimension of $H^{*}((\mathbb Z_2)^{\times t}, \mathbb Z_2)$ as a module over Steenrod ring

abstract: We write $\mathbb P$ for the polynomial algebra in one variable over the finite field $\mathbb Z_2$ and $\mathbb P^{\otimes t} = \mathbb Z_2[x_1, \ldots, x_t]$ for its $t$-fold tensor product with itself. We grade $\mathbb P^{\otimes t}$ by assigning degree $1$ to each generator. We are interested in determining a minimal set of generators for the ring of invariants $(\mathbb P^{\otimes t})^{G_t}$ as a module over Steenrod ring, $\mathscr A_2.$ Here $G_t$ is a subgroup of the general linear group $GL(t, \mathbb Z_2).$ An equivalent problem is to find a monomial basis of the space of "unhit" elements, $\mathbb Z_2\otimes_{\mathscr A_2} (\mathbb P^{\otimes t})^{G_t}$ in each $t$ and degree $n\geq 0.$ The structure of this tensor product is proved surprisingly difficult and has been not yet known for $t\geq 5,$ even for the trivial subgroup $G_t = \{e\}.$ In the present paper, we consider the subgroup $G_t = \{e\}$ for $t \in \{5, 6\},$ and obtain some new results on $\mathscr A_2$-generators of $(\mathbb P^{\otimes t})^{G_t}$ in some degrees. At the same time, some of their applications have been proposed. We also provide an algorithm in MAGMA for verifying the results. This study can be understood as a continuation of our recent works in [23, 25].


title: Exact law for compressible pressure-anisotropic magnetohydrodynamic turbulence: toward linking energy cascade and instabilities

abstract: We derive a first exact law for compressible pressure-anisotropic magnetohydrodynamic turbulence. For a gyrotropic pressure tensor, we study the double-adiabatic case and show the presence of new flux and source terms in the exact law, reminiscent of the plasma instability conditions due to pressure anisotropy. The Hall term is shown to bring ion-scale corrections to the exact law without affecting explicitly the pressure terms. In the pressure isotropy limit we recover all known results obtained for isothermal and polytropic closures. The incompressible limit of the gyrotropic system leads to a generalization of the Politano and Pouquet's law where a new {\it incompressible} source term is revealed and reflects exchanges of the magnetic and kinetic energies with the no-longer-conserved internal energy. We highlight the possibilities offered by the new laws to investigate potential links between turbulence cascade and instabilities widely observed in laboratory and astrophysical plasmas.

categories: physics.plasm-ph astro-ph.SR physics.flu-dyn physics.space-ph


title: Statistical quality assessment of Ising-based annealer outputs

abstract: The ability to evaluate the outcomes of quantum annealers is essential for such devices to be used in complex computational tasks. We introduce a statistical test of the quality of Ising-based annealers' output based on the data only, assessing the ground state's probability of being sampled. A higher probability value implies that at least the lower part of the spectrum is a part of the sample. Assuming a plausible model of the univariate energy distribution of the sample, we express the ground-state energy and temperature as a function of cumulants up to the third order. Using the annealer samples, we evaluate this multiple times using Bootstrap resampling, resulting in an estimated histogram of ground-state energies and deduce the desired parameter on this basis. The approach provides an easily implementable method for the primary validation of Ising-based annealers' output. We demonstrate its behavior through experiments made with actual samples originating from quantum annealer devices.


title: Handwritten Mathematical Expression Recognition via Attention Aggregation based Bi-directional Mutual Learning

abstract: Handwritten mathematical expression recognition aims to automatically generate LaTeX sequences from given images. Currently, attention-based encoder-decoder models are widely used in this task. They typically generate target sequences in a left-to-right (L2R) manner, leaving the right-to-left (R2L) contexts unexploited. In this paper, we propose an Attention aggregation based Bi-directional Mutual learning Network (ABM) which consists of one shared encoder and two parallel inverse decoders (L2R and R2L). The two decoders are enhanced via mutual distillation, which involves one-to-one knowledge transfer at each training step, making full use of the complementary information from two inverse directions. Moreover, in order to deal with mathematical symbols in diverse scales, an Attention Aggregation Module (AAM) is proposed to effectively integrate multi-scale coverage attentions. Notably, in the inference phase, given that the model already learns knowledge from two inverse directions, we only use the L2R branch for inference, keeping the original parameter size and inference speed. Extensive experiments demonstrate that our proposed approach achieves the recognition accuracy of 56.85 % on CROHME 2014, 52.92 % on CROHME 2016, and 53.96 % on CROHME 2019 without data augmentation and model ensembling, substantially outperforming the state-of-the-art methods. The source code is available in https://github.com/XH-B/ABM.


title: PRM path smoothening by circular arc fillet method for mobile robot navigation

abstract: Motion planning and navigation, especially for mobile robots operating in complex navigational environments, has been a central problem since robotics started. A heuristic way to address it is the construction of a graph-based representation (a path) capturing the connectivity of the configuration space. Probabilistic Roadmap is a commonly used method by the robotics community to build a path for navigational mobile robot path planning. In this study, path smoothening by arc fillets is proposed for mobile robot path planning after obtaining the path from PRM in the presence of the obstacle. The proposed method runs in two steps; the first one is generating the shortest path between the initial state to one of the goal states in the obstacle presence environment, wherein the PRM is used to construct a straight-lined path by connecting the intermediate nodes. The second step is smoothening every corner caused by node presence. Smoothening the corners with arc fillets ensures smooth turns for the mobile robots. The suggested method has been simulated and tested with different PRM features. Experiment results show that the constructed path is not just providing smooth turning; it is also shorter and quicker to finish for a robot while avoiding obstacles.


title: Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues

abstract: In Petri net synthesis we ask whether a given transition system $A$ can be implemented by a Petri net $N$. Depending on the level of accuracy, there are three ways how $N$ can implement $A$: an embedding, the least accurate implementation, preserves only the diversity of states of $A$; a language simulation already preserves exactly the language of $A$; a realization, the most accurate implementation, realizes the behavior of $A$ exactly. However, whatever the sought implementation, a corresponding net does not always exist. In this case, it was suggested to modify the input behavior -- of course as little as possible. Since transition systems consist of states, events and edges, these components appear as a natural choice for modifications. In this paper we show that the task of converting an unimplementable transition system into an implementable one by removing as few states or events or edges as possible is NP-complete -- regardless of what type of implementation we are aiming for; we also show that the corresponding parameterized problems are $W[2]$-hard, where the number of removed components is considered as the parameter; finally, we show there is no $c$-approximation algorithm (with a polynomial running time) for neither of these problems, for every constant $c\geq 1$.


title: Combining Planck and SPT cluster catalogs: cosmological analysis and impact on Planck scaling relation calibration

abstract: We provide the first combined cosmological analysis of South Pole Telescope (SPT) and Planck cluster catalogs. The aim is to provide an independent calibration for Planck scaling relations, exploiting the cosmological constraining power of the SPT-SZ cluster catalog and its dedicated weak lensing (WL) and X-ray follow-up observations. We build a new version of the Planck cluster likelihood. In the $\nu \Lambda$CDM scenario, focusing on the mass slope and mass bias of Planck scaling relations, we find $\alpha_{\text{SZ}} = 1.49_{-0.10}^{+0.07}$ and $(1-b)_{\text{SZ}} = 0.69_{-0.14}^{+0.07}$ respectively. The results for the mass slope show a $\sim 4 \, \sigma$ departure from the self-similar evolution, $\alpha_{\text{SZ}} \sim 1.8$. This shift is mainly driven by the matter density value preferred by SPT data, $\Omega_m = 0.30 \pm 0.03$, lower than the one obtained by Planck data alone, $\Omega_m = 0.37_{-0.06}^{+0.02}$. The mass bias constraints are consistent both with outcomes of hydrodynamical simulations and external WL calibrations, $(1-b) \sim 0.8$, and with results required by the Planck cosmic microwave background cosmology, $(1-b) \sim 0.6$. From this analysis, we obtain a new catalog of Planck cluster masses $M_{500}$. We estimate the ratio between the published Planck $M_{\text{SZ}}$ masses and our derived masses $M_{500}$, as a "measured mass bias", $(1-b)_M$. We analyse the mass, redshift and detection noise dependence of $(1-b)_M$, finding an increasing trend towards high redshift and low mass. These results mimic the effect of departure from self-similarity in cluster evolution, showing different dependencies for the low-mass high-mass, low-z high-z regimes.


title: On divisors of sums of polynomials

abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be sets of polynomials of degree $n$ over a finite field. We show, that if $\mathcal{A}$ and $\mathcal{B}$ are large enough, then $A+B$ has an irreducible divisor of large degree for some $A\in\mathcal{A}$ and $B\in \mathcal{B}$.


title: Synthesis of Pure and Impure Petri nets With Restricted Place-environments: Complexity Issues

abstract: Petri net synthesis consists in deciding for a given transition system $A$ whether there exists a Petri net $N$ whose reachability graph is isomorphic to $A$. Several works examined the synthesis of Petri net subclasses that restrict, for every place $p$ of the net, the cardinality of its preset or of its postset or both in advance by small natural numbers $\varrho$ and $\kappa$, respectively, such as for example (weighted) marked graphs, (weighted) T-systems and choice-free nets. In this paper, we study the synthesis aiming at Petri nets which have such restricted place environments, from the viewpoint of classical and parameterized complexity: We first show that, for any fixed natural numbers $\varrho$ and $\kappa$, deciding whether for a given transition system $A$ there is a Petri net $N$ such that (1) its reachability graph is isomorphic to $A$ and (2) for every place $p$ of $N$ the preset of $p$ has at most $\varrho$ and the postset of $p$ has at most $\kappa$ elements is doable in polynomial time. Secondly, we introduce a modified version of the problem, namely Environment Restricted Synthesis (ERS, for short), where $\varrho$ and $\kappa$ are part of the input, and show that ERS is NP-complete, regardless whether the sought net is impure or pure. In case of the impure nets, our methods also imply that ERS parameterized by $\varrho+\kappa$ is $W[2]$-hard.


title: Decision-Focused Learning: Through the Lens of Learning to Rank

abstract: In the last years decision-focused learning framework, also known as predict-and-optimize, have received increasing attention. In this setting, the predictions of a machine learning model are used as estimated cost coefficients in the objective function of a discrete combinatorial optimization problem for decision making. Decision-focused learning proposes to train the ML models, often neural network models, by directly optimizing the quality of decisions made by the optimization solvers. Based on a recent work that proposed a noise contrastive estimation loss over a subset of the solution space, we observe that decision-focused learning can more generally be seen as a learning-to-rank problem, where the goal is to learn an objective function that ranks the feasible points correctly. This observation is independent of the optimization method used and of the form of the objective function. We develop pointwise, pairwise and listwise ranking loss functions, which can be differentiated in closed form given a subset of solutions. We empirically investigate the quality of our generic methods compared to existing decision-focused learning approaches with competitive results. Furthermore, controlling the subset of solutions allows controlling the runtime considerably, with limited effect on regret.


title: Persistent Homology Analysis for Materials Research and Persistent Homology Software: HomCloud

abstract: This paper introduces persistent homology, which is a powerful tool to characterize the shape of data using the mathematical concept of topology. We explain the fundamental idea of persistent homology from scratch using some examples. We also review some applications of persistent homology to materials researches and software for persistent homology data analysis. HomCloud, one of persistent homology software, is especially featured in this paper.


title: Hybrid Controlled User Association and Resource Management for Energy-Efficient Green RANs with Limited Fronthaul

abstract: To alleviate green house effect, high network energy efficiency (EE) has increasingly become an important research target in wireless green communications. Therefore, the investigation for resource management to mitigate the co-tier interference in the small cell network (SCN) is provided. Moreover, with the merits of cloud radio access network (C-RAN), small cell base stations (SBSs) can be decomposed of a central small cell (CSC) and remote small cells (RSCs). To achieve the coordination, the split medium access control (MAC) based functional splitting is adopted with scheduler deployed at CSCs and retransmission functions left at RSCs. However, limited fronthaul has a compelling impact at RSCs due to requirements of user quality-of-service (QoS). Accordingly, a traffic control-based user association and resource allocation (TURA) scheme is proposed for a centralized resource management. To deal with the infeasibility to control all RSCs by CSC, we propose a hybrid controlled user and resource management (HARM) scheme. A CSC performs TURA for RSCs to mitigate intra-group interference within localized C-RANs, whereas the CSCs among separate C-RANs conduct cooperative resource competition (CRC) game for alleviating inter-group interference. Based on regret-based learning algorithm, the proposed schemes are analytically proved to reach the correlated equilibrium (CE). Simulation results have validated the effect of traffic control in TURA scheme and the convergence of CRC. Moreover, the comparison of the proposed TURA, HARM, and CRC schemes with the benchmark is revealed. It is observed that the TURA scheme outperforms the other schemes under ideal fronthaul control, whilst the proposed HARM scheme can sustain EE performance considering feasible implementation.


title: DCAN: Improving Temporal Action Detection via Dual Context Aggregation

abstract: Temporal action detection aims to locate the boundaries of action in the video. The current method based on boundary matching enumerates and calculates all possible boundary matchings to generate proposals. However, these methods neglect the long-range context aggregation in boundary prediction. At the same time, due to the similar semantics of adjacent matchings, local semantic aggregation of densely-generated matchings cannot improve semantic richness and discrimination. In this paper, we propose the end-to-end proposal generation method named Dual Context Aggregation Network (DCAN) to aggregate context on two levels, namely, boundary level and proposal level, for generating high-quality action proposals, thereby improving the performance of temporal action detection. Specifically, we design the Multi-Path Temporal Context Aggregation (MTCA) to achieve smooth context aggregation on boundary level and precise evaluation of boundaries. For matching evaluation, Coarse-to-fine Matching (CFM) is designed to aggregate context on the proposal level and refine the matching map from coarse to fine. We conduct extensive experiments on ActivityNet v1.3 and THUMOS-14. DCAN obtains an average mAP of 35.39% on ActivityNet v1.3 and reaches mAP 54.14% at IoU@0.5 on THUMOS-14, which demonstrates DCAN can generate high-quality proposals and achieve state-of-the-art performance. We release the code at https://github.com/cg1177/DCAN.


title: Shock Revival in Core-collapse Supernovae Assisted by Heavy Axion-like Particles

abstract: Axion-like particles (ALPs) are a class of hypothetical pseudoscalar particles which feebly interact with ordinary matter. The hot plasma of core-collapse supernovae is a possible laboratory to explore physics beyond the standard model including ALPs. Once produced, some of the ALPs can be absorbed by the supernova matter and affect energy transfer. In this study, we calculate the ALP emission in core-collapse supernovae and the backreaction on supernova dynamics consistently. It is found that the stalled bounce shock can be revived if the coupling between ALPs and photons is as high as g_{ag}~10^{-9} GeV^{-1} and the ALP mass is 40-400 MeV. Most of the models result in more energetic explosions than the average observed supernova. While this can be used to place constraints on those ALPs, long-term simulations across multiple progenitors need to be further investigated to place robust limits.


title: Surfaces of osculating circles in Euclidean space

abstract: We introduce a new class of surfaces in Euclidean $3$-space, called surfaces of osculating circles, using the concept of osculating circle of a regular curve. These surfaces contain a uniparametric family of planar lines of curvature. In this paper, we classify those ones that are canal surfaces and Weingarten surfaces.


title: Saliency Diversified Deep Ensemble for Robustness to Adversaries

abstract: Deep learning models have shown incredible performance on numerous image recognition, classification, and reconstruction tasks. Although very appealing and valuable due to their predictive capabilities, one common threat remains challenging to resolve. A specifically trained attacker can introduce malicious input perturbations to fool the network, thus causing potentially harmful mispredictions. Moreover, these attacks can succeed when the adversary has full access to the target model (white-box) and even when such access is limited (black-box setting). The ensemble of models can protect against such attacks but might be brittle under shared vulnerabilities in its members (attack transferability). To that end, this work proposes a novel diversity-promoting learning approach for the deep ensembles. The idea is to promote saliency map diversity (SMD) on ensemble members to prevent the attacker from targeting all ensemble members at once by introducing an additional term in our learning objective. During training, this helps us minimize the alignment between model saliencies to reduce shared member vulnerabilities and, thus, increase ensemble robustness to adversaries. We empirically show a reduced transferability between ensemble members and improved performance compared to the state-of-the-art ensemble defense against medium and high strength white-box attacks. In addition, we demonstrate that our approach combined with existing methods outperforms state-of-the-art ensemble algorithms for defense under white-box and black-box attacks.


title: Improved uniform error bounds on time-splitting methods for the long-time dynamics of the Dirac equation with small potentials

abstract: We establish improved uniform error bounds on time-splitting methods for the long-time dynamics of the Dirac equation with small electromagnetic potentials characterized by a dimensionless parameter $\varepsilon\in (0, 1]$ representing the amplitude of the potentials. We begin with a semi-discritization of the Dirac equation in time by a time-splitting method, and then followed by a full-discretization in space by the Fourier pseudospectral method. Employing the unitary flow property of the second-order time-splitting method for the Dirac equation, we prove uniform error bounds at $C(t)\tau^2$ and $C(t)(h^m+\tau^2)$ for the semi-discretization and full-discretization, respectively, for any time $t\in[0,T_\varepsilon]$ with $T_\varepsilon = T/\varepsilon$ for $T > 0$, which are uniformly for $\varepsilon \in (0, 1]$, where $\tau$ is the time step, $h$ is the mesh size, $m\geq 2$ depends on the regularity of the solution, and $C(t) = C_0 + C_1\varepsilon t\le C_0+C_1T$ grows at most linearly with respect to $t$ with $C_0\ge0$ and $C_1>0$ two constants independent of $t$, $h$, $\tau$ and $\varepsilon$. Then by adopting the regularity compensation oscillation (RCO) technique which controls the high frequency modes by the regularity of the solution and low frequency modes by phase cancellation and energy method, we establish improved uniform error bounds at $O(\varepsilon\tau^2)$ and $O(h^m +\varepsilon\tau^2)$ for the semi-discretization and full-discretization, respectively, up to the long-time $T_\varepsilon$. Numerical results are reported to confirm our error bounds and to demonstrate that they are sharp. Comparisons on the accuracy of different time discretizations for the Dirac equation are also provided.


title: The polynomials $X^2+(Y^2+1)^2$ and $X^{2} + (Y^3+Z^3)^2$ also capture their primes

abstract: We show that there are infinitely many primes of the form $X^2+(Y^2+1)^2$ and $X^2+(Y^3+Z^3)^2$. This extends the work of Friedlander and Iwaniec showing that there are infinitely many primes of the form $X^2+Y^4$. More precisely, Friedlander and Iwaniec obtained an asymptotic formula for the number of primes of this form. For the sequences $X^2+(Y^2+1)^2$ and $X^2+(Y^3+Z^3)^2$ we establish Type II information that is too narrow for an aysmptotic formula, but we can use Harman's sieve method to produce a lower bound of the correct order of magnitude for primes of form $X^2+(Y^2+1)^2$ and $X^2+(Y^3+Z^3)^2$. Estimating the Type II sums is reduced to a counting problem which is solved by using the Weil bound, where the arithmetic input is quite different from the work of Friedlander and Iwaniec for $X^2+Y^4$. We also show that there are infinitely many primes $p=X^2+Y^2$ where $Y$ is represented by an incomplete norm form of degree $k$ with $k-1$ variables. For this we require a Deligne-type bound for correlations of hyper-Kloosterman sums.


title: Alpha-robust investment-reinsurance strategy for a mean-variance insurer with delay

abstract: In this paper, a robust optimal reinsurance-investment problem with delay is studied under the $\alpha$-maxmin mean-variance criterion. The surplus process of an insurance company approximates Brownian motion with drift. The financial market consists of a risk-free asset and a risky asset that obeys geometric Brownian motion. Using the principle of dynamic programming and Hamilton-Jacobin-Bellman (HJB) equation, the specific expression of optimal strategy and the explicit solution of the corresponding HJB equation are obtained. In addition, a verification theorem is provided to ensure that the value function is indeed the solution of the HJB equation. Finally, some numerical examples and graphs are given to illustrate the results, and the influence of some important parameters in the model on the optimal strategy is discussed.


title: IntelliTC: Automating Type Changes in IntelliJ IDEA

abstract: Developers often change types of program elements. Such refactoring often involves updating not only the type of the element itself, but also the API of all type-dependent references in the code, thus it is tedious and time-consuming. Despite type changes being more frequent than renamings, just a few current IDE tools provide partially-automated support only for a small set of hard-coded types. Researchers have recently proposed a data-driven approach to inferring API rewrite rules for type change patterns in Java using code commits history. In this paper, we build upon these recent advances and introduce IntelliTC - a tool to perform Java type change refactoring. We implemented it as a plugin for IntelliJ IDEA, a popular Java IDE developed by JetBrains. We present 3 different ways of providing support for such a refactoring from the standpoint of the user experience: Classic mode, Suggested Refactoring, and Inspection mode. To evaluate these modalities of using IntelliTC, we surveyed 22 experienced software developers. They positively rated the usefulness of the tool. The source code and distribution of the plugin are available on GitHub: https://github.com/JetBrains-Research/data-driven-type-migration. A demonstration video is on YouTube: https://youtu.be/pdcfvADA1PY.


title: The activity of the dwarf nova RU Pegasi with rapidly changing outburst types

abstract: RU Peg is a dwarf nova (DN) of the U Gem type. Our analysis of its long-term optical activity uses the data from the AAVSO database. It concentrates on investigating the properties of the individual outbursts and the time evolution of the ensemble of these events. No significant irradiation of the disc by the white dwarf was detected. In the interpretation, a variable steepness of the rising branches of the individual outbursts shows that the start of outbursts of RU Peg can occur at various distances from the disc centre without remarkable changes of the outburst recurrence time $T_{\rm C}$. The disc overflow of the inflowing mass stream, varying with time, could contribute to the changes in the starting position of the heating front, hence the variations of the outburst types. A typical length of $T_{\rm C}$ was 90 days. The segments of the relatively stable length of $T_{\rm C}$ were accompanied by the primarily little variable and small values of the fluence (the energy radiated in the optical band in the individual outbursts). Jumps of $T_{\rm C}$, accompanied by the big scatter of the fluences, sometimes replaced them. In the interpretation, a combination of variations of $T_{\rm C}$ with the unstable properties of the outbursts, including an unstable mass transfer rate between the components, shows the influence of several mechanisms on the state of the disc in various time segments.


title: Permutation Equivariant Generative Adversarial Networks for Graphs

abstract: One of the most discussed issues in graph generative modeling is the ordering of the representation. One solution consists of using equivariant generative functions, which ensure the ordering invariance. After having discussed some properties of such functions, we propose 3G-GAN, a 3-stages model relying on GANs and equivariant functions. The model is still under development. However, we present some encouraging exploratory experiments and discuss the issues still to be addressed.


title: Evaluating Generic Auto-ML Tools for Computational Pathology

abstract: Image analysis tasks in computational pathology are commonly solved using convolutional neural networks (CNNs). The selection of a suitable CNN architecture and hyperparameters is usually done through exploratory iterative optimization, which is computationally expensive and requires substantial manual work. The goal of this article is to evaluate how generic tools for neural network architecture search and hyperparameter optimization perform for common use cases in computational pathology. For this purpose, we evaluated one on-premises and one cloud-based tool for three different classification tasks for histological images: tissue classification, mutation prediction, and grading. We found that the default CNN architectures and parameterizations of the evaluated AutoML tools already yielded classification performance on par with the original publications. Hyperparameter optimization for these tasks did not substantially improve performance, despite the additional computational effort. However, performance varied substantially between classifiers obtained from individual AutoML runs due to non-deterministic effects. Generic CNN architectures and AutoML tools could thus be a viable alternative to manually optimizing CNN architectures and parametrizations. This would allow developers of software solutions for computational pathology to focus efforts on harder-to-automate tasks such as data curation.


title: A silicon qubit platform for in situ single molecule structure determination

abstract: Imaging individual conformational instances of generic, inhomogeneous, transient or intrinsically disordered protein systems at the single molecule level in situ is one of the notable challenges in structural biology. Present techniques access averaged structural information by measuring over large ensembles of proteins in nearly uniform conformational states in synthetic environments. This poses significant implications for diagnostics and drug design which require a detailed understanding of subtle conformational changes, small molecule interactions and ligand dynamics. Here we tackle the problem by designing a single molecule imaging platform technology embracing the advantages silicon-based spin qubits offer in terms of quantum coherence and established fabrication pathways. We demonstrate through detailed simulation, that this platform enables scalable atomic-level structure-determination of individual molecular systems in native environments. The approach is particularly well suited to the high-value lipid-membrane context, and as such its experimental implementation could have far-reaching consequences for the understanding of membrane biology and drug development.


title: Time-Equivariant Contrastive Video Representation Learning

abstract: We introduce a novel self-supervised contrastive learning method to learn representations from unlabelled videos. Existing approaches ignore the specifics of input distortions, e.g., by learning invariance to temporal transformations. Instead, we argue that video representation should preserve video dynamics and reflect temporal manipulations of the input. Therefore, we exploit novel constraints to build representations that are equivariant to temporal transformations and better capture video dynamics. In our method, relative temporal transformations between augmented clips of a video are encoded in a vector and contrasted with other transformation vectors. To support temporal equivariance learning, we additionally propose the self-supervised classification of two clips of a video into 1. overlapping 2. ordered, or 3. unordered. Our experiments show that time-equivariant representations achieve state-of-the-art results in video retrieval and action recognition benchmarks on UCF101, HMDB51, and Diving48.


title: Parsing with Pretrained Language Models, Multiple Datasets, and Dataset Embeddings

abstract: With an increase of dataset availability, the potential for learning from a variety of data sources has increased. One particular method to improve learning from multiple data sources is to embed the data source during training. This allows the model to learn generalizable features as well as distinguishing features between datasets. However, these dataset embeddings have mostly been used before contextualized transformer-based embeddings were introduced in the field of Natural Language Processing. In this work, we compare two methods to embed datasets in a transformer-based multilingual dependency parser, and perform an extensive evaluation. We show that: 1) embedding the dataset is still beneficial with these models 2) performance increases are highest when embedding the dataset at the encoder level 3) unsurprisingly, we confirm that performance increases are highest for small datasets and datasets with a low baseline score. 4) we show that training on the combination of all datasets performs similarly to designing smaller clusters based on language-relatedness.


title: Phase transitions in nonparametric regressions

abstract: When the unknown regression function of a single variable is known to have derivatives up to the $(\gamma+1)$th order bounded in absolute values by a common constant everywhere or a.e. (i.e., $(\gamma+1)$th degree of smoothness), the minimax optimal rate of the mean integrated squared error (MISE) is stated as $\left(\frac{1}{n}\right)^{\frac{2\gamma+2}{2\gamma+3}}$ in the literature. This paper shows that: (i) if $n\leq\left(\gamma+1\right)^{2\gamma+3}$, the minimax optimal MISE rate is $\frac{\log n}{n\log(\log n)}$ and the optimal degree of smoothness to exploit is roughly $\max\left\{ \left\lfloor \frac{\log n}{2\log\left(\log n\right)}\right\rfloor ,\,1\right\} $; (ii) if $n>\left(\gamma+1\right)^{2\gamma+3}$, the minimax optimal MISE rate is $\left(\frac{1}{n}\right)^{\frac{2\gamma+2}{2\gamma+3}}$ and the optimal degree of smoothness to exploit is $\gamma+1$. The fundamental contribution of this paper is a set of metric entropy bounds we develop for smooth function classes. Some of our bounds are original, and some of them improve and/or generalize the ones in the literature (e.g., Kolmogorov and Tikhomirov, 1959). Our metric entropy bounds allow us to show phase transitions in the minimax optimal MISE rates associated with some commonly seen smoothness classes as well as non-standard smoothness classes, and can also be of independent interest outside the nonparametric regression problems.

categories: math.ST cs.IT cs.LG econ.EM math.IT stat.TH


title: Physics of emergence beyond Berezinskii-Kosterlitz-Thouless transition for interacting topological quantum matter

abstract: An attempt is made to find different emergent quantum phases for interacting topological state of quantum matter. Our study is based on the quantum field theoretical renormalization group (RG) calculations. The behaviour of the RG flow lines gives the emergence of different quantum phases for non-interacting and interacting topological state of quantum matter. We show explicitly electron-electron interaction can turn a topologically trivial phase into a non-trivial one and also topological non-trivial phase to topological trivial phase. We show that physics of emergent is go beyond the quantum Berezinskii-Kosterlitz-Thouless transition. We also present the analysis of fixed point and show the behaviour of fixed point changes in presence and absence of interaction. This work provides a new perspective not only from the topological state of interacting quantum matter and but also for the correlated quantum many body physics.


title: Spinor fields in $f(\mathcal{Q})$-gravity

abstract: We present a tetrad-affine approach to $f(\mathcal{Q})$ gravity coupled to spinor fields of spin-1/2. After deriving the field equations, we derive the conservation law of the spin density, showing that the latter ensures the vanishing of the antisymmetric part of the Einstein-like equations, just as it happens in theories with torsion and metricity. We then focus on Bianchi type-I cosmological models proposing a general procedure to solve the corresponding field equations and providing analytical solutions in the case of gravitational Lagrangian functions of the kind $f(\mathcal{Q})=\alpha\mathcal{Q}^n$. At late time such solutions are seen to isotropize and, depending on the value of the exponent $n$, they can undergo an accelerated expansion of the spatial scale factors.


title: X-ray computerized tomography observation of Lycopodium paste incorporating memory of shaking

abstract: In a uniform layer consisting of a mixture of granular material and liquid, it is known that desiccation cracks exhibit various anisotropic patterns that depend on the nature of the shaking that the layer experienced before drying. The existence of this effect implies that information regarding the direction of shaking is retained as a kind of memory in the arrangements of granular particles. In this work we make measurements in paste composed of Lycopodium powder using microfocus x-ray computerized tomography ($\mu$CT) in order to investigate the three-dimensional arrangements of particles. We find shaking-induced anisotropic arrangements of neighboring particles and density fluctuations forming interstices mainly in the lower part of the layer. We compare the observed properties of these arrangements with numerical results obtained in the study of a model of non-Brownian particles under shear deformation. In the experimental system, we also observe crack tips in the $\mu$CT images and confirm that these cracks grow along interstices in the direction perpendicular to the initial shaking.


title: Symmetry-dependent exciton-exciton interaction and intervalley biexciton in monolayer transition metal dichalcogenides

abstract: The multivalley band structure of monolayer transition metal dichalcogenides (TMDs) gives rise to intravalley and intervalley excitons. Much knowledge of these excitons has been gained, but fundamental questions remain, such as how to describe them all in a unified picture with their correlations, how are those from different valleys coupled to form the intervalley biexciton? To address the issues, we derive an exciton Hamiltonian from interpair correlations between the constituent carriers-fermions of two excitons. Identifying excitons by irreducible representations of their point symmetry group, we find their pairwise interaction depending on interacting excitons' symmetry. It is generally repulsive, except for the case excitons from different valleys, which attract each other to form the intervalley biexciton. We establish a semianalytical relationship between the biexciton binding energy with exciton mass and dielectric characteristics of the material and surroundings. Overall, by providing insight into the nature of diverse excitons and their correlations, our theoretical model captures the exciton interaction properties permitting an inclusive description of the structure and energy features of the intervalley biexciton in monolayer TMDs.21


title: SSAT: A Symmetric Semantic-Aware Transformer Network for Makeup Transfer and Removal

abstract: Makeup transfer is not only to extract the makeup style of the reference image, but also to render the makeup style to the semantic corresponding position of the target image. However, most existing methods focus on the former and ignore the latter, resulting in a failure to achieve desired results. To solve the above problems, we propose a unified Symmetric Semantic-Aware Transformer (SSAT) network, which incorporates semantic correspondence learning to realize makeup transfer and removal simultaneously. In SSAT, a novel Symmetric Semantic Corresponding Feature Transfer (SSCFT) module and a weakly supervised semantic loss are proposed to model and facilitate the establishment of accurate semantic correspondence. In the generation process, the extracted makeup features are spatially distorted by SSCFT to achieve semantic alignment with the target image, then the distorted makeup features are combined with unmodified makeup irrelevant features to produce the final result. Experiments show that our method obtains more visually accurate makeup transfer results, and user study in comparison with other state-of-the-art makeup transfer methods reflects the superiority of our method. Besides, we verify the robustness of the proposed method in the difference of expression and pose, object occlusion scenes, and extend it to video makeup transfer. Code will be available at https://gitee.com/sunzhaoyang0304/ssat-msp.


title: Generation of Non-Deterministic Synthetic Face Datasets Guided by Identity Priors

abstract: Enabling highly secure applications (such as border crossing) with face recognition requires extensive biometric performance tests through large scale data. However, using real face images raises concerns about privacy as the laws do not allow the images to be used for other purposes than originally intended. Using representative and subsets of face data can also lead to unwanted demographic biases and cause an imbalance in datasets. One possible solution to overcome these issues is to replace real face images with synthetically generated samples. While generating synthetic images has benefited from recent advancements in computer vision, generating multiple samples of the same synthetic identity resembling real-world variations is still unaddressed, i.e., mated samples. This work proposes a non-deterministic method for generating mated face images by exploiting the well-structured latent space of StyleGAN. Mated samples are generated by manipulating latent vectors, and more precisely, we exploit Principal Component Analysis (PCA) to define semantically meaningful directions in the latent space and control the similarity between the original and the mated samples using a pre-trained face recognition system. We create a new dataset of synthetic face images (SymFace) consisting of 77,034 samples including 25,919 synthetic IDs. Through our analysis using well-established face image quality metrics, we demonstrate the differences in the biometric quality of synthetic samples mimicking characteristics of real biometric data. The analysis and results thereof indicate the use of synthetic samples created using the proposed approach as a viable alternative to replacing real biometric data.


title: Applications of the Frenet Frame to Electric Circuits

abstract: The paper discusses the relationships between electrical quantities, such as voltages, currents, and frequency, and geometrical ones, namely curvature and torsion. The proposed approach is based on the Frenet frame utilized in differential geometry and provides a general framework for the definition of the time derivative of electrical quantities in stationary as well as transient conditions. As a byproduct, the proposed approach unifies and generalizes the time- and phasor-domain frameworks. Other noteworthy results are a new interpretation of the link between frequency and the time derivatives of voltage and current; and a definition of the rate of change of frequency that includes the novel concept of "torsional frequency." Several numerical examples based on balanced, unbalanced, harmonically-distorted and transient voltages illustrate the findings of the paper.


title: Change Summarization of Diachronic Scholarly Paper Collections by Semantic Evolution Analysis

abstract: The amount of scholarly data has been increasing dramatically over the last years. For newcomers to a particular science domain (e.g., IR, physics, NLP) it is often difficult to spot larger trends and to position the latest research in the context of prior scientific achievements and breakthroughs. Similarly, researchers in the history of science are interested in tools that allow them to analyze and visualize changes in particular scientific domains. Temporal summarization and related methods should be then useful for making sense of large volumes of scientific discourse data aggregated over time. We demonstrate a novel approach to analyze the collections of research papers published over longer time periods to provide a high-level overview of important semantic changes that occurred over the progress of time. Our approach is based on comparing word semantic representations over time and aims to support users in a better understanding of large domain-focused archives of scholarly publications. As an example dataset we use the ACL Anthology Reference Corpus that spans from 1979 to 2015 and contains 22,878 scholarly articles.


title: Somewhere in between: Tracing the Radio Emission from Galaxy Groups (or Why Does the Future of Observing Galaxy Groups with Radio Telescopes Look Promising?)

abstract: Galaxy groups constitute the most common class of galaxy systems in the known Universe, unique in terms of environmental properties. However, despite recent advances in optical and infrared observations as well as in theoretical research, little is known about magnetic fields and the associated continuum radio emission. Studies on this issue have only been conducted in recent years, and many questions have yet to be resolved. This article aims to put the study of group magnetism in a broader context, to present recent advances in the field (mainly achieved with low-frequency radio interferometers), and to list the issues that need to be addressed in future observations. To make it easier for the Readers to get acquainted with the concepts presented in the manuscript, radio observations of two sample groups of galaxies are also presented.


title: Godot Reinforcement Learning Agents

abstract: We present Godot Reinforcement Learning (RL) Agents, an open-source interface for developing environments and agents in the Godot Game Engine. The Godot RL Agents interface allows the design, creation and learning of agent behaviors in challenging 2D and 3D environments with various on-policy and off-policy Deep RL algorithms. We provide a standard Gym interface, with wrappers for learning in the Ray RLlib and Stable Baselines RL frameworks. This allows users access to over 20 state of the art on-policy, off-policy and multi-agent RL algorithms. The framework is a versatile tool that allows researchers and game designers the ability to create environments with discrete, continuous and mixed action spaces. The interface is relatively performant, with 12k interactions per second on a high end laptop computer, when parallized on 4 CPU cores. An overview video is available here: https://youtu.be/g1MlZSFqIj4


title: On the Orbital Velocity of Isolated Galaxy Pairs: a test of gravity in the low acceleration regime

abstract: The dynamics of isolated galaxy pairs represents an important tool to investigate the behavior of gravity in the low acceleration regime. Statistical analysis of a large sample of galaxy pairs led to the noticeable discovery of a region of preferred 3-dimensional velocities centered at $\sim 150$ km/s and $\sim 100$ km/s wide, a feature hard to justify in the context of numerical simulations of cosmological structure formation. It is shown here that such a feature is expected within the framework of the Modified Newtonian Dynamics, which, however, predicts it to be centered at $\sim$ 170 Km/s.


title: Scaling Structured Inference with Randomization

abstract: Deep discrete structured models have seen considerable progress recently, but traditional inference using dynamic programming (DP) typically works with a small number of states (less than hundreds), which severely limits model capacity. At the same time, across machine learning, there is a recent trend of using randomized truncation techniques to accelerate computations involving large sums. Here, we propose a family of randomized dynamic programming (RDP) algorithms for scaling structured models to tens of thousands of latent states. Our method is widely applicable to classical DP-based inference (partition, marginal, reparameterization, entropy) and different graph structures (chains, trees, and more general hypergraphs). It is also compatible with automatic differentiation: it can be integrated with neural networks seamlessly and learned with gradient-based optimizers. Our core technique approximates the sum-product by restricting and reweighting DP on a small subset of nodes, which reduces computation by orders of magnitude. We further achieve low bias and variance via Rao-Blackwellization and importance sampling. Experiments over different graphs demonstrate the accuracy and efficiency of our approach. Furthermore, when using RDP for training a structured variational autoencoder with a scaled inference network, we achieve better test likelihood than baselines and successfully prevent posterior collapse. code at: https://github.com/FranxYao/RDP


title: Electron-to-ion bulk speed ratio as a parameter reflecting the occurrence of strong electron-dominated current sheets in the solar wind

abstract: Current sheets (CSs) are preferred sites of magnetic reconnection and energy dissipation in collisionless astrophysical plasmas. Electric currents in them may be carried by both electrons and ions. In our prior theoretical studies of processes associated with the CS formation in turbulent plasmas, for which we utilized fully kinetic and hybrid code simulations with ions considered as particles and electrons - as a massless fluid, we found that electron-dominated CSs may form inside or nearby ion-dominated CSs. Electrons become the main carrier of the electric current and contributors to energy dissipation in electron-dominated CSs. These magneto-plasma structures represent a distinguished type of CSs and should not be mixed up with so-called electron-scale CSs. Our simulations show that such CSs are characterized by the electron-to-ion bulk speed ratio Ue/Ui increases. Theoretical predictions and high-resolution observations from the MMS mission suggest that strong electron-dominated CSs can be seen at ion scales. Therefore, we suggest that applying the Ue/Ui parameter to the solar wind data may allow locating the strongest electron-dominated CSs with an ordinary spacecraft resolution of one-three seconds at least approximately. The results show that, indeed, an impact of electron-dominated CSs on the plasma observed during a period of quiet solar wind conditions at 1 AU may be associated with sharp changes in Ue/Ui. Electron-dominated CSs are found to be localized in the vicinity of ion-dominated CSs identified via changes in the magnetic field and plasma parameters Ue/Ui, displaying the same clustering. We conclude that Ue/Ui may be used as one of key parameters for probing CSs in the solar wind and the role of electrons in them.


title: On the B\"ar-Hijazi-Lott invariant for the Dirac operator and a spinorial proof of the Yamabe problem

abstract: Let $M$ be a closed spin manifold of dimension $m\geq6$ equipped with a Riemannian metric $\ig$ and a spin structure $\sa$. Let $\lm_1^+(\tilde\ig)$ be the smallest positive eigenvalue of the Dirac operator $D_{\tilde\ig}$ on $M$ with respect to a metric $\tilde\ig$ conformal to $\ig$. The B\"ar-Hijazi-Lott invariant is defined by $\lm_{min}^+(M,\ig,\sa)=\inf_{\tilde\ig\in[\ig]}\lm_1^+(\tilde\ig)\Vol(M,\tilde\ig)^\frac{1}{m}$. In this paper, we show that \[ \lm_{min}^+(M,\ig,\sa)<\lm_{min}^+(S^m,\ig_{S^m},\sa_{S^m})=\frac m2\Vol(S^m,\ig_{S^m})^{\frac1m} \] provided that $\ig$ is not locally conformally flat. This estimate is a spinorial analogue to an estimate by T. Aubin, solving the Yamabe problem in this setting.


title: Gram-SLD: Automatic Self-labeling and Detection for Instance Objects

abstract: Instance object detection plays an important role in intelligent monitoring, visual navigation, human-computer interaction, intelligent services and other fields. Inspired by the great success of Deep Convolutional Neural Network (DCNN), DCNN-based instance object detection has become a promising research topic. To address the problem that DCNN always requires a large-scale annotated dataset to supervise its training while manual annotation is exhausting and time-consuming, we propose a new framework based on co-training called Gram Self-Labeling and Detection (Gram-SLD). The proposed Gram-SLD can automatically annotate a large amount of data with very limited manually labeled key data and achieve competitive performance. In our framework, gram loss is defined and used to construct two fully redundant and independent views and a key sample selection strategy along with an automatic annotating strategy that comprehensively consider precision and recall are proposed to generate high quality pseudo-labels. Experiments on the public GMU Kitchen Dataset , Active Vision Dataset and the self-made BHID-ITEM Datasetdemonstrate that, with only 5% labeled training data, our Gram-SLD achieves competitive performance in object detection (less than 2% mAP loss), compared with the fully supervised methods. In practical applications with complex and changing environments, the proposed method can satisfy the real-time and accuracy requirements on instance object detection.


title: A comprehensive first principles calculations on (Ba0.82K0.18)(Bi0.53Pb0.47)O3 single-cubic-perovskite superconductor

abstract: In this present study, the pseudopotential plane-wave (PP-PW) pathway in the scheme of density functional theory (DFT) is utilized to investigate the various physical properties on (Ba0.82K0.18)(Bi0.53Pb0.47)O3 (BKBPO) single perovskite superconductor. We have analyzed elastic constants and moduli at zero and elevated pressures (up to 25 GPa) as well. We also have investigated the anisotropic nature incorporating both the theoretical indices and graphical representations in 2D and 3D dimensions, which reveals a high level of anisotropy. The flatness of the energy bands near EF is a sign of Van-Hf singularity that might increase the electron pairing and origination of high-TC superconductivity. The computed band structure exhibits its metallic characteristics is confirmed by band overlapping. A band of DOS is formed for the strong hybridization of the constituent elements. The orbital electrons of O-2p contribute most dominantly at EF in contrast to all orbital electrons. The orbital electrons at the EF are higher from both the partial density of states and charge density mapping investigation. The coexistence of the electron and hole-like Fermi sheets exhibits the multi-band nature of BKBPO. On the other hand, Fermi surfaces with flat faces promote transport features and Fermi surface nesting as well. The calculated value of the electron-phonon coupling constant ({\lambda} = 1.46) is slightly lower than the isostructural superconductor, which indicates that the studied BKBPO can be treated as a strongly coupled superconductor similar to the reported isostructural perovskite superconductors. Furthermore, the thermodynamic properties have been evaluated and analyzed at elevated temperature and pressure by using harmonic Debye approximation (QHDA).


title: QKSA: Quantum Knowledge Seeking Agent -- resource-optimized reinforcement learning using quantum process tomography

abstract: In this research, we extend the universal reinforcement learning (URL) agent models of artificial general intelligence to quantum environments. The utility function of a classical exploratory stochastic Knowledge Seeking Agent, KL-KSA, is generalized to distance measures from quantum information theory on density matrices. Quantum process tomography (QPT) algorithms form the tractable subset of programs for modeling environmental dynamics. The optimal QPT policy is selected based on a mutable cost function based on algorithmic complexity as well as computational resource complexity. Instead of Turing machines, we estimate the cost metrics on a high-level language to allow realistic experimentation. The entire agent design is encapsulated in a self-replicating quine which mutates the cost function based on the predictive value of the optimal policy choosing scheme. Thus, multiple agents with pareto-optimal QPT policies evolve using genetic programming, mimicking the development of physical theories each with different resource trade-offs. This formal framework is termed Quantum Knowledge Seeking Agent (QKSA). Despite its importance, few quantum reinforcement learning models exist in contrast to the current thrust in quantum machine learning. QKSA is the first proposal for a framework that resembles the classical URL models. Similar to how AIXI-tl is a resource-bounded active version of Solomonoff universal induction, QKSA is a resource-bounded participatory observer framework to the recently proposed algorithmic information-based reconstruction of quantum mechanics. QKSA can be applied for simulating and studying aspects of quantum information theory. Specifically, we demonstrate that it can be used to accelerate quantum variational algorithms which include tomographic reconstruction as its integral subroutine.


title: CCasGNN: Collaborative Cascade Prediction Based on Graph Neural Networks

abstract: Cascade prediction aims at modeling information diffusion in the network. Most previous methods concentrate on mining either structural or sequential features from the network and the propagation path. Recent efforts devoted to combining network structure and sequence features by graph neural networks and recurrent neural networks. Nevertheless, the limitation of spectral or spatial methods restricts the improvement of prediction performance. Moreover, recurrent neural networks are time-consuming and computation-expensive, which causes the inefficiency of prediction. Here, we propose a novel method CCasGNN considering the individual profile, structural features, and sequence information. The method benefits from using a collaborative framework of GAT and GCN and stacking positional encoding into the layers of graph neural networks, which is different from all existing ones and demonstrates good performance. The experiments conducted on two real-world datasets confirm that our method significantly improves the prediction accuracy compared to state-of-the-art approaches. What's more, the ablation study investigates the contribution of each component in our method.


title: Soft Robots Modeling: a Structured Overview

abstract: The robotics community has seen an exponential growth in the level of complexity of the theoretical tools presented for the modeling of soft robotics devices. Different solutions have been presented to overcome the difficulties related to the modeling of soft robots, often leveraging on other scientific disciplines, such as continuum mechanics, computational mechanics and computer graphics. These theoretical and computational foundations are often taken for granted and this leads to an intricate literature that, consequently, has rarely been the subject of a complete review. For the first time, we present here a structured overview of all the approaches proposed so far to model soft robots. The chosen classification, which is based on their theoretical and numerical grounds, allows us to provide a critical analysis about their uses and applicability. This will enable robotics researchers to learn the basics of these modeling techniques and their associated numerical methods, but also to have a critical perspective on their uses.


title: Formal ternary laws and Buchstaber's 2-groups

abstract: We develop the algebraic formalism of the formal ternary laws of C. Walter and we compare them to Buchstaber's 2-valued formal group laws. We also compute the "elementary" formal ternary laws (after inverting 2) using a computer program available online.


title: Singularities in inflationary cosmological models

abstract: Due to the accelerated expansion of the universe, the possibility of formation of singularities has changed from the classical Big Bang and Big Crunch singularities to include a number of new scenarios. In recent papers it has been shown that such singularities may appear in inflationary cosmological models with a fractional power scalar field potential. In this paper we enlarge the analysis of singularities in scalar field cosmological models by the use of generalised power expansions of their Hubble scalar and their scalar field in order to describe all possible models leading to a singularity, finding other possible cases. Unless a negative scalar field potential is considered, all singularities are weak and of type IV.


title: Hausdorff dimensions and Hitting probabilities for some general Gaussian processes

abstract: Let $B$ be a $d$-dimensional Gaussian process on $\mathbb{R}$, where the component are independents copies of a scalar Gaussian process $B_0$ on $\mathbb{R}_+$ with a given general variance function $\gamma^2(r)=\operatorname{Var}\left(B_0(r)\right)$ and a canonical metric $\delta(t,s):=(\mathbb{E}\left(B_0(t)-B_0(s)\right)^2)^{1/2}$ which is commensurate with $\gamma(t-s)$. We provide some general condition on $\gamma$ so that for any Borel set $E\subset [0,1]$, the Hausdorff dimension of the image $B(E)$ is constant a.s., and we explicit this constant. Also, we derive under some mild assumptions on $\gamma\,$ an upper and lower bounds of $\mathbb{P}\left\{B(E)\cap F\neq \emptyset \right\}$ in terms of the corresponding Hausdorff measure and capacity of $E\times F$. Some upper and lower bounds for the essential supremum norm of the Hausdorff dimension of $B(E)\cap F$ and $E\cap B^{-1}(F)$ are also given in terms of $d$ and the corresponding Hausdorff dimensions of $E\times F$, $E$, and $F$.


title: Regularity Learning via Explicit Distribution Modeling for Skeletal Video Anomaly Detection

abstract: Anomaly detection in surveillance videos is challenging and important for ensuring public security. Different from pixel-based anomaly detection methods, pose-based methods utilize highly-structured skeleton data, which decreases the computational burden and also avoids the negative impact of background noise. However, unlike pixel-based methods, which could directly exploit explicit motion features such as optical flow, pose-based methods suffer from the lack of alternative dynamic representation. In this paper, a novel Motion Embedder (ME) is proposed to provide a pose motion representation from the probability perspective. Furthermore, a novel task-specific Spatial-Temporal Transformer (STT) is deployed for self-supervised pose sequence reconstruction. These two modules are then integrated into a unified framework for pose regularity learning, which is referred to as Motion Prior Regularity Learner (MoPRL). MoPRL achieves the state-of-the-art performance by an average improvement of 4.7% AUC on several challenging datasets. Extensive experiments validate the versatility of each proposed module.


title: Activation to Saliency: Forming High-Quality Labels for Completely Unsupervised Salient Object Detection

abstract: Existing deep learning-based Unsupervised Salient Object Detection (USOD) methods rely on supervised pre-trained deep models. Moreover, they generate pseudo labels based on hand-crafted features, which lack high-level semantic information. In order to overcome these shortcomings, we propose a new two-stage Activation-to-Saliency (A2S) framework that effectively excavates high-quality saliency cues to train a robust saliency detector. It is worth noting that our method does not require any manual annotation, even in the pre-training phase. In the first stage, we transform an unsupervisedly pre-trained network to aggregate multi-level features to a single activation map, where an Adaptive Decision Boundary (ADB) is proposed to assist the training of the transformed network. Moreover, a new loss function is proposed to facilitate the generation of high-quality pseudo labels. In the second stage, a self-rectification learning paradigm strategy is developed to train a saliency detector and refine the pseudo labels online. In addition, we construct a lightweight saliency detector using two Residual Attention Modules (RAMs) to largely reduce the risk of overfitting. Extensive experiments on several SOD benchmarks prove that our framework reports significant performance compared with existing USOD methods. Moreover, training our framework on 3,000 images consumes about 1 hour, which is over 30$\times$ faster than previous state-of-the-art methods.


title: VeHIF: An Accessible Vegetation High-Impedance Fault Data Set Format

abstract: High-impedance faults are a challenging problem in power distribution systems. They often do not trigger protection devices and can result in serious hazards such as igniting fires when in contact with vegetation. The current research field dedicated to studying these faults is extensive but suffers from a constraining bottleneck of a lack of real experimental data. Many works set to detect and localize such faults rely on high-impedance fault low-fidelity models, and the lack of public data sets makes it impractical to have objective performance benchmarks. This letter describes and proposes a format for a data set of more than 900 vegetation high-impedance faults funded by the Victorian Government in Australia recorded in high-sampling resolution. The original data set is public, but it was made available through an obscure format that limits its accessibility. The presented format in this letter uses the standard hierarchical data format (HDF5), which makes it easily accessible in many languages such as MATLAB, Python, C++, and more. The data set compiler and visualizer script are also provided in the work repository.


title: Cosmology in the novel scalar-tensor representation of $f(R,T)$ gravity

abstract: We apply cosmological reconstruction methods to the $f(R,T)$ modified gravity, in its recently developed scalar-tensor representation. We do this analysis assuming a perfect fluid in a Friedmann-Lema\^{i}tre-Robsertson-Walker (FLRW) universe. In this contribution we show the equations of motion obtained and we present the solutions found for one of the particular cases we analysed: an exponential evolution of the cosmological scale factor.


title: A Specification for Typed Template Haskell

abstract: Multi-stage programming is a proven technique that provides predictable performance characteristics by controlling code generation. We propose a core semantics for Typed Template Haskell, an extension of Haskell that supports multi staged programming that interacts well with polymorphism and qualified types. Our semantics relates a declarative source language with qualified types to a core language based on the the polymorphic lambda calculus augmented with multi-stage constructs.


title: Secure learning-based MPC via garbled circuit

abstract: Encrypted control seeks confidential controller evaluation in cloud-based or networked systems. Many existing approaches build on homomorphic encryption (HE) that allow simple mathematical operations to be carried out on encrypted data. Unfortunately, HE is computationally demanding and many control laws (in particular non-polynomial ones) cannot be efficiently implemented with this technology. We show in this paper that secure two-party computation using garbled circuits provides a powerful alternative to HE for encrypted control. More precisely, we present a novel scheme that allows to efficiently implement (non-polynomial) max-out neural networks with one hidden layer in a secure fashion. These networks are of special interest for control since they allow, in principle, to exactly describe piecewise affine control laws resulting from, e.g., linear model predictive control (MPC). However, exact fits require high-dimensional preactivations of the neurons. Fortunately, we illustrate that even low-dimensional learning-based approximations are sufficiently accurate for linear MPC. In addition, these approximations can be securely evaluated using garbled circuit in less than 100~ms for our numerical example. Hence, our approach opens new opportunities for applying encrypted control.


title: Families of graphs with twin pendent paths and the Braess edge

abstract: In the context of a random walk on an undirected graph, Kemeny's constant can measure the average travel time for a random walk between two randomly chosen vertices. We are interested in graphs that behave counter-intuitively in regard to Kemeny's constant: in particular, we examine graphs with a cut-vertex at which at least two branches are paths, regarding whether the insertion of a particular edge into a graph results in an increase of Kemeny's constant. We provide several tools for identifying such an edge in a family of graphs and for analising asymptotic behaviour of the family regarding the tendency to have that edge; and classes of particular graphs are given as examples. Furthermore, asymptotic behaviours of families of trees are described.


title: Tighter Bounds for Reconstruction from $\epsilon$-samples

abstract: We show that reconstructing a curve in $\mathbb{R}^d$ for $d\geq 2$ from a $0.66$-sample is always possible using an algorithm similar to the classical NN-Crust algorithm. Previously, this was only known to be possible for $0.47$-samples in $\mathbb{R}^2$ and $\frac{1}{3}$-samples in $\mathbb{R}^d$ for $d\geq 3$. In addition, we show that there is not always a unique way to reconstruct a curve from a $0.72$-sample; this was previously only known for $1$-samples. We also extend this non-uniqueness result to hypersurfaces in all higher dimensions.


title: Understanding Square Loss in Training Overparametrized Neural Network Classifiers

abstract: Deep learning has achieved many breakthroughs in modern classification tasks. Numerous architectures have been proposed for different data structures but when it comes to the loss function, the cross-entropy loss is the predominant choice. Recently, several alternative losses have seen revived interests for deep classifiers. In particular, empirical evidence seems to promote square loss but a theoretical justification is still lacking. In this work, we contribute to the theoretical understanding of square loss in classification by systematically investigating how it performs for overparametrized neural networks in the neural tangent kernel (NTK) regime. Interesting properties regarding the generalization error, robustness, and calibration error are revealed. We consider two cases, according to whether classes are separable or not. In the general non-separable case, fast convergence rate is established for both misclassification rate and calibration error. When classes are separable, the misclassification rate improves to be exponentially fast. Further, the resulting margin is proven to be lower bounded away from zero, providing theoretical guarantees for robustness. We expect our findings to hold beyond the NTK regime and translate to practical settings. To this end, we conduct extensive empirical studies on practical neural networks, demonstrating the effectiveness of square loss in both synthetic low-dimensional data and real image data. Comparing to cross-entropy, square loss has comparable generalization error but noticeable advantages in robustness and model calibration.


title: Multi-Wavelength Study of a Proto-BCG at z = 1.7

abstract: In this work we performed a spectral energy distribution (SED) analysis in the optical/infrared band of the host galaxy of a proto-brightest cluster galaxy (BCG, NVSS J103023+052426) in a proto-cluster at z = 1.7. We found that it features a vigorous star formation rate (SFR) of ${\sim}$570 $\mathrm{M_{\odot}}$/yr and a stellar mass of $M_{\ast} \sim 3.7 \times 10^{11}$ $\mathrm{M_{\odot}}$; the high corresponding specific SFR = $1.5 \pm 0.5$ $\mathrm{Gyr^{-1}}$ classifies this object as a starburst galaxy that will deplete its molecular gas reservoir in $\sim$ $3.5 \times 10^8$ yr. Thus, this system represents a rare example of a proto-BCG caught during the short phase of its major stellar mass assembly. Moreover, we investigated the nature of the host galaxy emission at 3.3 mm. We found that it originates from the cold dust in the interstellar medium, even though a minor non-thermal AGN contribution cannot be completely ruled out. Finally, we studied the polarized emission of the lobes at 1.4 GHz. We unveiled a patchy structure where the polarization fraction increases in the regions in which the total intensity shows a bending morphology; in addition, the magnetic field orientation follows the direction of the bendings. We interpret these features as possible indications of an interaction with the intracluster medium. This strengthens the hypothesis of positive AGN feedback, as inferred in previous studies of this object on the basis of X-ray/mm/radio analysis. In this scenario, the proto-BCG heats the surrounding medium and possibly enhances the SFR in nearby galaxies.


title: BlockGC: A Joint Learning Framework for Account Identity Inference on Blockchain with Graph Contrast

abstract: Blockchain technology has the characteristics of decentralization, traceability and tamper proof, which creates a reliable decentralized transaction mode, further accelerating the development of the blockchain platforms. However, with the popularization of various financial applications, security problems caused by blockchain digital assets, such as money laundering, illegal fundraising and phishing fraud, are constantly on the rise. Therefore, financial security has become an important issue in the blockchain ecosystem, and identifying the types of accounts in blockchain (e.g. miners, phishing accounts, Ponzi contracts, etc.) is of great significance in risk assessment and market supervision. In this paper, we construct an account interaction graph using raw blockchain data in a graph perspective, and proposes a joint learning framework for account identity inference on blockchain with graph contrast. We first capture transaction feature and correlation feature from interaction graph, and then perform sampling and data augmentation to generate multiple views for account subgraphs, finally jointly train the subgraph contrast and account classification task. Extensive experiments on Ethereum datasets show that our method achieves significant advantages in account identity inference task in terms of classification performance, scalability and generalization.


title: A generalization gap estimation for overparameterized models via the Langevin functional variance

abstract: This paper discusses the estimation of the generalization gap, the difference between generalization performance and training performance, for overparameterized models including neural networks. We first show that a functional variance, a key concept in defining a widely-applicable information criterion, characterizes the generalization gap even in overparameterized settings where a conventional theory cannot be applied. As the computational cost of the functional variance is expensive for the overparameterized models, we propose an efficient approximation of the function variance, the Langevin approximation of the functional variance (Langevin FV). This method leverages only the $1$st-order gradient of the squared loss function, without referencing the $2$nd-order gradient; this ensures that the computation is efficient and the implementation is consistent with gradient-based optimization algorithms. We demonstrate the Langevin FV numerically by estimating the generalization gaps of overparameterized linear regression and non-linear neural network models, containing more than a thousand of parameters therein.


title: Asymptotics of the $p$-capacity in the critical regime

abstract: In this note, we are interested in the asymptotics as $n\to\infty$ of the $p$-capacity between the origin and the set $nB$, where $B$ is the boundary of the unit ball of the lattice $\mathbb Z^d$. The $p$-capacity is defined as the minimum of the Dirichlet energy $\frac{1}{2}\sum_{x\in \mathbb Z^d} \sum_{y\sim x} |f(x)-f(y)|^{p}$ with $f$ subject to the boundary conditions $f(0)=0$ and $f\geq 1$ on $nB$. This variational problem has arisen in particular in the study of large deviations for first passage percolation. For $p<d$, the $p$-capacity converges to some positive constant, while for $p>d$ the capacity vanishes polynomially fast. The present paper deals with the case $p=d$, for which we prove that the $p$-capacity vanishes as $c_d (\log n)^{-d+1}$ with an explicit constant $c_d$.


title: Lightning: Striking the Secure Isolation on GPU Clouds with Transient Hardware Faults

abstract: GPU clouds have become a popular computing platform because of the cost of owning and maintaining high-performance computing clusters. Many cloud architectures have also been proposed to ensure a secure execution environment for guest applications by enforcing strong security policies to isolate the untrusted hypervisor from the guest virtual machines (VMs). In this paper, we study the impact of GPU chip's hardware faults on the security of cloud "trusted" execution environment using Deep Neural Network (DNN) as the underlying application. We show that transient hardware faults of GPUs can be generated by exploiting the Dynamic Voltage and Frequency Scaling (DVFS) technology, and these faults may cause computation errors, but they have limited impact on the inference accuracy of DNN due to the robustness and fault-tolerant nature of well-developed DNN models. To take full advantage of these transient hardware faults, we propose the Lightning attack to locate the fault injection targets of DNNs and to control the fault injection precision in terms of timing and position. We conduct experiments on three commodity GPUs to attack four widely-used DNNs. Experimental results show that the proposed attack can reduce the inference accuracy of the models by as high as 78.3\% and 64.5\% on average. More importantly, 67.9\% of the targeted attacks have successfully misled the models to give our desired incorrect inference result. This demonstrates that the secure isolation on GPU clouds is vulnerable against transient hardware faults and the computation results may not be trusted.


title: Connections of Class Numbers to the Group Structure of Generalized Pythagorean Triples

abstract: Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves; for the first, we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently Yekutieli discussed a connection between these two problems and described the group structure of Pythagorean triples and the number of triples for a given hypotenuse. We generalize these methods and results to Pell's equation. We find a similar group structure and count on the number of solutions for a given $z$ to $x^2 + Dy^2 = z^2$ when $D$ is 1 or 2 modulo 4 and the class group of $\mathbb{Q}[\sqrt{-D}]$ is a free $\mathbb{Z}_2$ module, which always happens if the class number is at most 2. We give examples of when the results hold for a class number greater than 2, as well as an example with different behavior when the class group does not have this structure.


title: An algebraic characterization of B-splines

abstract: B-splines of order $k$ can be viewed as a mapping $N$ taking a $(k+1)$-tuple of increasing real numbers $a_0 < \cdots < a_k$ and giving as a result a certain piecewise polynomial function. Looking at this mapping $N$ as a whole, basic roperties of B-spline functions imply that it has the following algebraic properties: (1) $N(a_0,\ldots,a_k)$ has local support; (2) $N(a_0,\ldots,a_k)$ allows refinement, i.e. for every $a\in \cup_{j=0}^{k-1} (a_j,a_{j+1})$ we have that if $(\alpha_0,\ldots, \alpha_{k+1})$ is the increasing rearrangement of the points $\{a_0,\ldots,a_k,a\}$, the 'old' function $N(a_0,\ldots,a_k)$ is a linear combination of the 'new' functions $N(\alpha_0,\ldots,\alpha_k)$ and $N(\alpha_1,\ldots,\alpha_{k+1})$; (3) $N$ is translation and dilation invariant. It is easy to see that derivatives of $N(a_0,\ldots,a_k)$ satisfy properties (1)-(3) as well. In this paper we investigate if properties (1)-(3) are already sufficient to characterize B-splines and their derivatives.


title: Data-Driven Controllability Analysis and Stabilization for Linear Descriptor Systems

abstract: For a parameter-unknown linear descriptor system, this paper proposes data-driven methods to testify the system's type and controllability and then to stabilize it. First, a data-based condition is developed to identify whether this unknown system is a descriptor system or is equivalent to a normal system. Furthermore, various controllability concepts are testified by replacing the descriptor system's matrices with data. Finally, a data-based decomposing method is proposed to transfer the nominal system into its slow-fast subsystems' form, so that a state feedback controller for the slow subsystem can be obtained from persistently exciting input and state sequences. Meanwhile, due to the equivalent stabilizability between the nominal system and its slow subsystem, a state feedback controller which stabilizes the nominal system is also obtained. A simulation example is provided to illustrate the effectiveness of those methods.


title: Determination of weak squeezed vacuum state through photon statistics measurement

abstract: Weak squeezed vacuum light, especially resonant to the atomic transition, plays an important role in quantum storage and generation of various quantum sources. However, the general homodyne detection (HD) cannot determine weak squeezing due to the low signal to noise ratio and the limited resolution of the HD system. Here we provide an alternative method based on photon statistics measurement to determine the weak squeezing of the squeezed vacuum light generated from an optical parametric oscillator working far below the threshold. The approach is established the relationship between the squeezing parameter and the second-order degree of coherence. The theoretical analysis agrees well with the experiment results. The advantage of this method is that it provides a feasible and reliable experimental measure to determine the weak squeezing with high precision and the measurement is independent on the detection efficiency. This method can be used to measure other quantum features for various quantum states with extremely weak non-classicality.


title: Cross-domain User Preference Learning for Cold-start Recommendation

abstract: Cross-domain cold-start recommendation is an increasingly emerging issue for recommender systems. Existing works mainly focus on solving either cross-domain user recommendation or cold-start content recommendation. However, when a new domain evolves at its early stage, it has potential users similar to the source domain but with much fewer interactions. It is critical to learn a user's preference from the source domain and transfer it into the target domain, especially on the newly arriving contents with limited user feedback. To bridge this gap, we propose a self-trained Cross-dOmain User Preference LEarning (COUPLE) framework, targeting cold-start recommendation with various semantic tags, such as attributes of items or genres of videos. More specifically, we consider three levels of preferences, including user history, user content and user group to provide reliable recommendation. With user history represented by a domain-aware sequential model, a frequency encoder is applied to the underlying tags for user content preference learning. Then, a hierarchical memory tree with orthogonal node representation is proposed to further generalize user group preference across domains. The whole framework updates in a contrastive way with a First-In-First-Out (FIFO) queue to obtain more distinctive representations. Extensive experiments on two datasets demonstrate the efficiency of COUPLE in both user and content cold-start situations. By deploying an online A/B test for a week, we show that the Click-Through-Rate (CTR) of COUPLE is superior to other baselines used on Taobao APP. Now the method is serving online for the cross-domain cold micro-video recommendation.


title: Elastic properties of self-folded two-dimensional nanomaterials: a theoretical model validated by molecular dynamics simulations

abstract: The trade-off between strength and ductility has plagued the design of macroscopic assemblies of two-dimensional materials for a long time. In order to break the strength-ductility paradox, the design of self-folded two-dimensional nanomaterial (SF-2DNM) has been recently proposed with the inspiration from the folded nanostructures of natural silks. Such folding strategy is revealed to greatly enhance the ductility of overall assembly without much sacrifice of the excellent tensile strength of two-dimensional materials. However, the dependences of the elastic properties of SF-2DNMs on the material properties of building blocks and the geometries of folded structures have not been specifically clarified in previous studies. In this paper, we thus develop a theoretical model to describe the elastic properties of SF-2DNMs based on the shear-lag analysis. The load transfer behaviors and failure modes of SF-2DNMs are demonstrated with this model. The Young's modulus and tensile strength of SF-2DNMs are also predicted, further validated by molecular dynamics simulations. This model brings insights into the elastic deformation of SF-2DNMs under external tension. The structure-property relationship revealed by this model would provide useful guidelines for the rational design of SF-2DNMs in engineering applications.


title: On Information Processing Limitations In Humans and Machines

abstract: Information theory is concerned with the study of transmission, processing, extraction, and utilization of information. In its most abstract form, information is conceived as a means of resolving uncertainty. Shannon and Weaver (1949) were among the first to develop a conceptual framework for information theory. One of the key assumptions of the model is that uncertainty increases linearly with the amount of complexity (in bit units) of information transmitted or generated. A whole body of data from the cognitive neurosciences has shown since that the time of human response or action increases in a similar fashion as a function of information complexity. This paper will discuss some of the implications of what is known about the limitations of human information processing for the development of reliable Artificial Intelligence. It is concluded that novel conceptual frameworks are needed to inspire future studies on this complex problem space.


title: Hybrid Self-Attention NEAT: A novel evolutionary approach to improve the NEAT algorithm

abstract: This article presents a "Hybrid Self-Attention NEAT" method to improve the original NeuroEvolution of Augmenting Topologies (NEAT) algorithm in high-dimensional inputs. Although the NEAT algorithm has shown a significant result in different challenging tasks, as input representations are high dimensional, it cannot create a well-tuned network. Our study addresses this limitation by using self-attention as an indirect encoding method to select the most important parts of the input. In addition, we improve its overall performance with the help of a hybrid method to evolve the final network weights. The main conclusion is that Hybrid Self- Attention NEAT can eliminate the restriction of the original NEAT. The results indicate that in comparison with evolutionary algorithms, our model can get comparable scores in Atari games with raw pixels input with a much lower number of parameters.


title: Nanometers-thick Ferromagnetic Surface Produced by Laser Cutting of Diamond

abstract: In this work, we demonstrate that cutting diamond crystals with a laser (532~nm wavelength, 0.5~mJ energy, 200~ns pulse duration at 15~kHz) produces a $\lesssim 20~$nm thick surface layer with magnetic order at room temperature. We have measured the magnetic moment of five natural and six CVD diamond crystals of different size, nitrogen content and surface orientations with a SQUID magnetometer. A robust ferromagnetic response at 300~K is observed only for crystals that were cut with the laser along the (100) surface orientation. The magnetic signals are much weaker for the (110) and negligible for the (111) orientations. We attribute the magnetic order to the disordered graphite layer produced by the laser at the diamond surface. The ferromagnetic signal vanished after chemical etching or after moderate temperature annealing. The obtained results indicate that laser treatment of diamond may pave the way to create ferromagnetic spots at its surface.


title: The effective $\beta$ value in a Simple Harmonic Oscillator wave function

abstract: When a Simple Harmonic Oscillator (SHO) wave function is used as an effective wave function, a very important parameter in the SHO wave function is the effective $\beta$ value. We obtain the analytical expression of $\beta_{eff}$ ($\beta_{effective}$) of the SHO wave function in coordinate space and momentum space. The expression is applied to the light meson system $(u\bar{u},~u\bar{s})$ to compare the behavior of $\beta_{eff}$. The results show that $\beta_ {eff,\mathbf{r}}$ in coordinate space and $\beta_ {eff,\mathbf{p}}$ in momentum space are significantly different in the ground state, however, similar in the highly excited states with Cornell potential.