title: A Graphical Point Process Framework for Understanding Removal Effects in Multi-Touch Attribution

abstract: Marketers employ various online advertising channels to reach customers, and they are particularly interested in attribution for measuring the degree to which individual touchpoints contribute to an eventual conversion. The availability of individual customer-level path-to-purchase data and the increasing number of online marketing channels and types of touchpoints bring new challenges to this fundamental problem. We aim to tackle the attribution problem with finer granularity by conducting attribution at the path level. To this end, we develop a novel graphical point process framework to study the direct conversion effects and the full relational structure among numerous types of touchpoints simultaneously. Utilizing the temporal point process of conversion and the graphical structure, we further propose graphical attribution methods to allocate proper path-level conversion credit, called the attribution score, to individual touchpoints or corresponding channels for each customer's path to purchase. Our proposed attribution methods consider the attribution score as the removal effect, and we use the rigorous probabilistic definition to derive two types of removal effects. We examine the performance of our proposed methods in extensive simulation studies and compare their performance with commonly used attribution models. We also demonstrate the performance of the proposed methods in a real-world attribution application.


title: Temporo-spatial differentiations with respect to finite unions of balls

abstract: Here we study temporo-spatial differentiation problems with respect to sequences of finite unions of balls. We establish several convergence results, as well as construct pathological temporo-spatial differentiations with prescribed sets of limit points. We also demonstrate the prevalence of certain pathological temporo-spatial differentiations in the presence of a specification-like property.


title: Derivative of self-intersection local time for multidimensional fractional Brownian motion

abstract: The existence condition $H<1/d$ for first-order derivative of self-intersection local time for $d\geq3$ dimensional fractional Brownian motion can be obtained in Yu (2021). In this paper, we show a limit theorem under the non-existence critical condition $H=1/d$.


title: NYCU-TWO at Memotion 3: Good Foundation, Good Teacher, then you have Good Meme Analysis

abstract: This paper presents a robust solution to the Memotion 3.0 Shared Task. The goal of this task is to classify the emotion and the corresponding intensity expressed by memes, which are usually in the form of images with short captions on social media. Understanding the multi-modal features of the given memes will be the key to solving the task. In this work, we use CLIP to extract aligned image-text features and propose a novel meme sentiment analysis framework, consisting of a Cooperative Teaching Model (CTM) for Task A and a Cascaded Emotion Classifier (CEC) for Tasks B&C. CTM is based on the idea of knowledge distillation, and can better predict the sentiment of a given meme in Task A; CEC can leverage the emotion intensity suggestion from the prediction of Task C to classify the emotion more precisely in Task B. Experiments show that we achieved the 2nd place ranking for both Task A and Task B and the 4th place ranking for Task C, with weighted F1-scores of 0.342, 0.784, and 0.535 respectively. The results show the robustness and effectiveness of our framework. Our code is released at github.


title: Byzantine-Robust Learning on Heterogeneous Data via Gradient Splitting

abstract: Federated learning has exhibited vulnerabilities to Byzantine attacks, where the Byzantine attackers can send arbitrary gradients to a central server to destroy the convergence and performance of the global model. A wealth of robust AGgregation Rules (AGRs) have been proposed to defend against Byzantine attacks. However, Byzantine clients can still circumvent robust AGRs when data is non-Identically and Independently Distributed (non-IID). In this paper, we first reveal the root causes of performance degradation of current robust AGRs in non-IID settings: the curse of dimensionality and gradient heterogeneity. In order to address this issue, we propose GAS, a \shorten approach that can successfully adapt existing robust AGRs to non-IID settings. We also provide a detailed convergence analysis when the existing robust AGRs are combined with GAS. Experiments on various real-world datasets verify the efficacy of our proposed GAS. The implementation code is provided in https://github.com/YuchenLiu-a/byzantine-gas.


title: On the g$\pi$-Hirano invertibility in Banach algebras

abstract: In a Banach algebra, we introduce a new type of generalized inverse called g$\pi$-Hirano inverse. Firstly, several existence criteria and the equivalent definition of this inverse are investigated. Then, we discuss the relationship between the g$\pi$-Hirano invertibility of $a$, $b$ and that of the sum $a+b$ under some weaker conditions. Finally, as applications to the previous additive results, some equivalent characterizations for the g$\pi$-Hirano invertibility of the anti-triangular matrix over Banach algebras are obtained.In particular, some results in this paper are different from the corresponding ones of classical generalized inverses, such as Drazin inverse and generalized Drazin inverse.


title: Correspondence-Free Domain Alignment for Unsupervised Cross-Domain Image Retrieval

abstract: Cross-domain image retrieval aims at retrieving images across different domains to excavate cross-domain classificatory or correspondence relationships. This paper studies a less-touched problem of cross-domain image retrieval, i.e., unsupervised cross-domain image retrieval, considering the following practical assumptions: (i) no correspondence relationship, and (ii) no category annotations. It is challenging to align and bridge distinct domains without cross-domain correspondence. To tackle the challenge, we present a novel Correspondence-free Domain Alignment (CoDA) method to effectively eliminate the cross-domain gap through In-domain Self-matching Supervision (ISS) and Cross-domain Classifier Alignment (CCA). To be specific, ISS is presented to encapsulate discriminative information into the latent common space by elaborating a novel self-matching supervision mechanism. To alleviate the cross-domain discrepancy, CCA is proposed to align distinct domain-specific classifiers. Thanks to the ISS and CCA, our method could encode the discrimination into the domain-invariant embedding space for unsupervised cross-domain image retrieval. To verify the effectiveness of the proposed method, extensive experiments are conducted on four benchmark datasets compared with six state-of-the-art methods.


title: Lower Bounds for Possibly Divergent Probabilistic Programs

abstract: We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to almost-surely terminating programs -- as is the case for existing rules -- and can be used to establish non-trivial lower bounds on, e.g., termination probabilities and expected values, for possibly divergent probabilistic loops, e.g., the well-known three-dimensional random walk on a lattice.


title: Universal Agent Mixtures and the Geometry of Intelligence

abstract: Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure.


title: Concise and Efficient Quantum Algorithms for Distribution Closeness Testing

abstract: We study the impact of quantum computation on the fundamental problem of testing the property of distributions. In particular, we focus on testing whether two unknown classical distributions are close or far enough, and propose the currently best quantum algorithms for this problem under the metrics of $l^1$-distance and $l^2$-distance. Compared with the latest results given in \cite{gilyen2019distributional} which relied on the technique of quantum singular value transformation (QSVT), our algorithms not only have lower complexity, but also are more concise.


title: Algorithmic Aspects of the Log-Laplace Transform and a Non-Euclidean Proximal Sampler

abstract: The development of efficient sampling algorithms catering to non-Euclidean geometries has been a challenging endeavor, as discretization techniques which succeed in the Euclidean setting do not readily carry over to more general settings. We develop a non-Euclidean analog of the recent proximal sampler of [LST21], which naturally induces regularization by an object known as the log-Laplace transform (LLT) of a density. We prove new mathematical properties (with an algorithmic flavor) of the LLT, such as strong convexity-smoothness duality and an isoperimetric inequality, which are used to prove a mixing time on our proximal sampler matching [LST21] under a warm start. As our main application, we show our warm-started sampler improves the value oracle complexity of differentially private convex optimization in $\ell_p$ and Schatten-$p$ norms for $p \in [1, 2]$ to match the Euclidean setting [GLL22], while retaining state-of-the-art excess risk bounds [GLLST23]. We find our investigation of the LLT to be a promising proof-of-concept of its utility as a tool for designing samplers, and outline directions for future exploration.


title: Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects

abstract: With the widespread deployment of deep neural networks (DNNs), ensuring the reliability of DNN-based systems is of great importance. Serious reliability issues such as system failures can be caused by numerical defects, one of the most frequent defects in DNNs. To assure high reliability against numerical defects, in this paper, we propose the RANUM approach including novel techniques for three reliability assurance tasks: detection of potential numerical defects, confirmation of potential-defect feasibility, and suggestion of defect fixes. To the best of our knowledge, RANUM is the first approach that confirms potential-defect feasibility with failure-exhibiting tests and suggests fixes automatically. Extensive experiments on the benchmarks of 63 real-world DNN architectures show that RANUM outperforms state-of-the-art approaches across the three reliability assurance tasks. In addition, when the RANUM-generated fixes are compared with developers' fixes on open-source projects, in 37 out of 40 cases, RANUM-generated fixes are equivalent to or even better than human fixes.


title: Dynamic Simulation of Splashing Fluids

abstract: In this paper we describe a method for modeling the dynamic behavior of splashing fluids. The model simulates the behavior of a fluid when objects impact or float on its surface. The forces generated by the objects create waves and splashes on the surface of the fluid. To demonstrate the realism and limitations of the model, images from a computer-generated animation are presented and compared with video frames of actual splashes occurring under similar initial conditions.


title: Adaptive Cohort Size Determination Method for Bayesian Optimal Interval Phase I/II Design to Shorten Clinical Trial Duration

abstract: Recently, the strategy for dose optimization in oncology has shifted to conduct Phase 2 randomized controlled trials with multiple doses. Optimal biologic dose selection from Phase 1 trial data to determine candidate doses for Phase 2 trials has been gaining attention. This study proposes a novel adaptive cohort size determination method for optimal biologic dose-finding to accelerate trials. The cohort size expansion is determined adaptively depending on the toxicity and efficacy data of the ongoing trial. In a simulation, the proposed method shortened the trial duration and maintained accuracy. The trial duration was reduced by an average of approximately 20% compared with the non-adaptive cohort size determination design. The cohort size expansion is demonstrated using a simple example.


title: Federated attention consistent learning models for prostate cancer diagnosis and Gleason grading

abstract: Artificial intelligence (AI) holds significant promise in transforming medical imaging, enhancing diagnostics, and refining treatment strategies. However, the reliance on extensive multicenter datasets for training AI models poses challenges due to privacy concerns. Federated learning provides a solution by facilitating collaborative model training across multiple centers without sharing raw data. This study introduces a federated attention-consistent learning (FACL) framework to address challenges associated with large-scale pathological images and data heterogeneity. FACL enhances model generalization by maximizing attention consistency between local clients and the server model. To ensure privacy and validate robustness, we incorporated differential privacy by introducing noise during parameter transfer. We assessed the effectiveness of FACL in cancer diagnosis and Gleason grading tasks using 19,461 whole-slide images of prostate cancer from multiple centers. In the diagnosis task, FACL achieved an area under the curve (AUC) of 0.9718, outperforming seven centers with an average AUC of 0.9499 when categories are relatively balanced. For the Gleason grading task, FACL attained a Kappa score of 0.8463, surpassing the average Kappa score of 0.7379 from six centers. In conclusion, FACL offers a robust, accurate, and cost-effective AI training model for prostate cancer pathology while maintaining effective data safeguards.


title: Two-dimensional electron gas under the effect of constrained potential and magnetic field in curved space

abstract: The effect of the curvature of a cylindrical surface on the energy spectrum for a curved two-dimensional electron gas in a homogeneous magnetic field is considered. The corrections to the energy spectrum are obtained for the first time perturbatively, in contrast to previous works where it was obtained numerically. The dispersion relationship is obtained as a function of curvature radius and the results for curved surface have been compared with the flat surface.


title: Boosted ab initio Cryo-EM 3D Reconstruction with ACE-EM

abstract: The central problem in cryo-electron microscopy (cryo-EM) is to recover the 3D structure from noisy 2D projection images which requires estimating the missing projection angles (poses). Recent methods attempted to solve the 3D reconstruction problem with the autoencoder architecture, which suffers from the latent vector space sampling problem and frequently produces suboptimal pose inferences and inferior 3D reconstructions. Here we present an improved autoencoder architecture called ACE (Asymmetric Complementary autoEncoder), based on which we designed the ACE-EM method for cryo-EM 3D reconstructions. Compared to previous methods, ACE-EM reached higher pose space coverage within the same training time and boosted the reconstruction performance regardless of the choice of decoders. With this method, the Nyquist resolution (highest possible resolution) was reached for 3D reconstructions of both simulated and experimental cryo-EM datasets. Furthermore, ACE-EM is the only amortized inference method that reached the Nyquist resolution.


title: Optimal Charging Profile Design for Solar-Powered Sustainable UAV Communication Networks

abstract: This work studies optimal solar charging for solar-powered self-sustainable UAV communication networks, considering the day-scale time-variability of solar radiation and user service demand. The objective is to optimally trade off between the user coverage performance and the net energy loss of the network by proactively assigning UAVs to serve, charge, or land. Specifically, the studied problem is first formulated into a time-coupled mixed-integer non-convex optimization problem, and further decoupled into two sub-problems for tractability. To solve the challenge caused by time-coupling, deep reinforcement learning (DRL) algorithms are respectively designed for the two sub-problems. Particularly, a relaxation mechanism is put forward to overcome the "dimension curse" incurred by the large discrete action space in the second sub-problem. At last, simulation results demonstrate the efficacy of our designed DRL algorithms in trading off the communication performance against the net energy loss, and the impact of different parameters on the tradeoff performance.


title: Learning-Based Defect Recognitions for Autonomous UAV Inspections

abstract: Automatic crack detection and segmentation play a significant role in the whole system of unmanned aerial vehicle inspections. In this paper, we have implemented a deep learning framework for crack detection based on classical network architectures including Alexnet, VGG, and Resnet. Moreover, inspired by the feature pyramid network architecture, a hierarchical convolutional neural network (CNN) deep learning framework which is efficient in crack segmentation is also proposed, and its performance of it is compared with other state-of-the-art network architecture. We have summarized the existing crack detection and segmentation datasets and established the largest existing benchmark dataset on the internet for crack detection and segmentation, which is open-sourced for the research community. Our feature pyramid crack segmentation network is tested on the benchmark dataset and gives satisfactory segmentation results. A framework for automatic unmanned aerial vehicle inspections is also proposed and will be established for the crack inspection tasks of various concrete structures. All our self-established datasets and codes are open-sourced at: https://github.com/KangchengLiu/Crack-Detection-and-Segmentation-Dataset-for-UAV-Inspection


title: 2-adic Galois images of non-CM isogeny-torsion graphs

abstract: Let $\mathcal{E}$ be a $\mathbb{Q}$-isogeny class of elliptic curves defined over $\mathbb{Q}$ without CM. The isogeny graph associated to $\mathcal{E}$ is a graph which has a vertex for each elliptic curve in $\mathcal{E}$ and an edge for each $\mathbb{Q}$-isogeny of prime degree that maps one elliptic curve in $\mathcal{E}$ to another elliptic curve in $\mathcal{E}$, with the degree recorded as a label of the edge. An isogeny-torsion graph is an isogeny graph where, in addition, we label each vertex with the abstract group structure of the torsion subgroup over $\mathbb{Q}$ of the corresponding elliptic curve. Then, the main statement of the article is a classification of the $2$-adic image of Galois that occurs at each vertex of all isogeny-torsion graphs consisting of elliptic curves defined over $\mathbb{Q}$ without CM.


title: On the geometric representation of the path integral reduction Jacobian in the path integral for interacting systems: The case of dependent coordinates in the description of reduced motion on the orbit space

abstract: A geometric representation is found for the previously obtained path integral reduction Jacobian in Wiener-type path integral when quantizing a model mechanical system, which is used to describe the motion of two interacting scalar particles on a product manifold (a smooth compact finite-dimensional Riemannian manifold and vector space) with a given free isometric action of a compact semisimple Lie group. The reduction Jacobian we are dealing with was obtained for the case when, as in gauge theories, dependent coordinates are used to locally describe the reduced motion. As in our similar works, the result is based on the scalar curvature formula for the original manifold which is viewed as a total space of the principal fiber bundle. The calculation of the Christoffel symbols and scalar curvature was performed in a special nonholonomic basis, also known as the horizontal lift basis.


title: Dual-layer Image Compression via Adaptive Downsampling and Spatially Varying Upconversion

abstract: Ultra high resolution (UHR) images are almost always downsampled to fit small displays of mobile end devices and upsampled to its original resolution when exhibited on very high-resolution displays. This observation motivates us on jointly optimizing operation pairs of downsampling and upsampling that are spatially adaptive to image contents for maximal rate-distortion performance. In this paper, we propose an adaptive downsampled dual-layer (ADDL) image compression system. In the ADDL compression system, an image is reduced in resolution by learned content-adaptive downsampling kernels and compressed to form a coded base layer. For decompression the base layer is decoded and upconverted to the original resolution using a deep upsampling neural network, aided by the prior knowledge of the learned adaptive downsampling kernels. We restrict the downsampling kernels to the form of Gabor filters in order to reduce the complexity of filter optimization and also reduce the amount of side information needed by the decoder for adaptive upsampling. Extensive experiments demonstrate that the proposed ADDL compression approach of jointly optimized, spatially adaptive downsampling and upconversion outperforms the state of the art image compression methods.


title: Moment bounds for Gaussian multiplicative chaos with higher-dimensional singularities

abstract: We determine the exact threshold of the extended Seiberg bound for the existence of correlation functions in the boundary Liouville conformal field theory in the unit disk. In probabilistic terms, our result is a toolbox yielding the threshold for the existence of positive moments of Gaussian multiplicative chaos measure, appliable to the case where singularities of arbitrary (co-)dimension in the background metric are present. We improve previous results of this type for 0-dimensional singularities in [DKRV16] and a sufficient condition for the 1-dimensional singularity in an unpublished appendix of [HRV18]. In particular, we prove the optimality of the moment bound threshold for boundary Gaussian multiplicative chaos conjectured in [HRV18], which is equivalent to the so-called unit volume Seiberg bound of the boundary Liouville conformal field theory.


title: Towards Local Visual Modeling for Image Captioning

abstract: In this paper, we study the local visual modeling with grid features for image captioning, which is critical for generating accurate and detailed captions. To achieve this target, we propose a Locality-Sensitive Transformer Network (LSTNet) with two novel designs, namely Locality-Sensitive Attention (LSA) and Locality-Sensitive Fusion (LSF). LSA is deployed for the intra-layer interaction in Transformer via modeling the relationship between each grid and its neighbors. It reduces the difficulty of local object recognition during captioning. LSF is used for inter-layer information fusion, which aggregates the information of different encoder layers for cross-layer semantical complementarity. With these two novel designs, the proposed LSTNet can model the local visual information of grid features to improve the captioning quality. To validate LSTNet, we conduct extensive experiments on the competitive MS-COCO benchmark. The experimental results show that LSTNet is not only capable of local visual modeling, but also outperforms a bunch of state-of-the-art captioning models on offline and online testings, i.e., 134.8 CIDEr and 136.3 CIDEr, respectively. Besides, the generalization of LSTNet is also verified on the Flickr8k and Flickr30k datasets


title: Thickness and temperature dependent damping in La$_{0.67}$Sr$_{0.33}$MnO$_{3}$ epitaxial films

abstract: The damping of La0.67Sr0.33MnO3 (LSMO) epitaxial films as a function of thickness at different temperatures was studied. The competition between two scattering types (\r{ho}-like and {\sigma}-like) with entirely distinct thickness and temperature dependencies resulted in complicated damping behavior. The behavior of {\sigma}-like damping in LSMO films is consistent with the behavior in magnetic metal films. However, because \r{ho}-like damping is sensitive to the fine electron structure near the Fermi surface, the distortion of the oxygen octahedra controlled by the film thickness is an important factor in controlling the damping. Our study demonstrates that the complexity of damping in LSMO epitaxial films is a consequence of strong-correlation effects, which are characteristic of complex transition-metal oxides.


title: Can GPT-3 Perform Statutory Reasoning?

abstract: Statutory reasoning is the task of reasoning with facts and statutes, which are rules written in natural language by a legislature. It is a basic legal skill. In this paper we explore the capabilities of the most capable GPT-3 model, text-davinci-003, on an established statutory-reasoning dataset called SARA. We consider a variety of approaches, including dynamic few-shot prompting, chain-of-thought prompting, and zero-shot prompting. While we achieve results with GPT-3 that are better than the previous best published results, we also identify several types of clear errors it makes. We investigate why these errors happen. We discover that GPT-3 has imperfect prior knowledge of the actual U.S. statutes on which SARA is based. More importantly, we create simple synthetic statutes, which GPT-3 is guaranteed not to have seen during training. We find GPT-3 performs poorly at answering straightforward questions about these simple synthetic statutes.


title: On Modeling Long-Term User Engagement from Stochastic Feedback

abstract: An ultimate goal of recommender systems (RS) is to improve user engagement. Reinforcement learning (RL) is a promising paradigm for this goal, as it directly optimizes overall performance of sequential recommendation. However, many existing RL-based approaches induce huge computational overhead, because they require not only the recommended items but also all other candidate items to be stored. This paper proposes an efficient alternative that does not require the candidate items. The idea is to model the correlation between user engagement and items directly from data. Moreover, the proposed approach consider randomness in user feedback and termination behavior, which are ubiquitous for RS but rarely discussed in RL-based prior work. With online A/B experiments on real-world RS, we confirm the efficacy of the proposed approach and the importance of modeling the two types of randomness.


title: Study of chaos in rotating galaxies using extended force-gradient symplectic methods

abstract: We take into account the dynamics of three types of models of rotating galaxies in polar coordinates in a rotating frame. Due to non-axisymmetric potential perturbations, the angular momentum varies with time, and the kinetic energy depends on the momenta and spatial coordinate. The existing explicit force-gradient symplectic integrators are not applicable to such Hamiltonian problems, but the recently extended force-gradient symplectic methods proposed in a previous work are. Numerical comparisons show that the extended force-gradient fourth-order symplectic method with symmetry is superior to the standard fourth-order symplectic method but inferior to the optimized extended force-gradient fourth-order symplectic method in accuracy. The optimized extended algorithm with symmetry is used to explore the dynamical features of regular and chaotic orbits in these rotating galaxy models. The gravity effects and the degree of chaos increase with an increase of the number of the radial terms in the series expansions of the potential. There are similar dynamical structures of regular and chaotical orbits in the three types of models for the same number of the radial terms in the series expansions, energy and initial conditions.


title: FedDA: Faster Framework of Local Adaptive Gradient Methods via Restarted Dual Averaging

abstract: Federated learning (FL) is an emerging learning paradigm to tackle massively distributed data. In Federated Learning, a set of clients jointly perform a machine learning task under the coordination of a server. The FedAvg algorithm is one of the most widely used methods to solve Federated Learning problems. In FedAvg, the learning rate is a constant rather than changing adaptively. The adaptive gradient methods show superior performance over the constant learning rate schedule; however, there is still no general framework to incorporate adaptive gradient methods into the federated setting. In this paper, we propose \textbf{FedDA}, a novel framework for local adaptive gradient methods. The framework adopts a restarted dual averaging technique and is flexible with various gradient estimation methods and adaptive learning rate formulations. In particular, we analyze \textbf{FedDA-MVR}, an instantiation of our framework, and show that it achieves gradient complexity $\tilde{O}(\epsilon^{-1.5})$ and communication complexity $\tilde{O}(\epsilon^{-1})$ for finding a stationary point $\epsilon$. This matches the best known rate for first-order FL algorithms and \textbf{FedDA-MVR} is the first adaptive FL algorithm that achieves this rate. We also perform extensive numerical experiments to verify the efficacy of our method.


title: Generalizations of Sylvester's refinement of Euler's odd-strict theorem

abstract: Regarding Euler's odd-strict theorem, which is the most basic partition identity, A refinement was done by Sylvester, and it was generalized by Bessenrodt to the r-regular and r-class regular cases. In this paper, we focus on the periodicity of the exponent seen on the r-regular side in Bessenrodt's generalization, and further generalize from that point of view. At the end of this paper, we also introduce a partition identity when extended without regard to the periodicity of the exponent.


title: Austere Matrices, Austere Submanifolds and Dupin Hypersurfaces

abstract: Motivated by Bryant's research on austere subspaces and Cartan's isoparametric hypersurfaces with 3 distinct principal curvatures, we construct three families of austere submanifolds with flat normal bundle in unit spheres. From these examples we find three irreducible proper Dupin hypersurfaces with 5 distinct principal curvatures of different multiplicities. Moreover, as an application, we obtain an upper bound estimate for the dimension of austere subspaces.


title: Ground state of Tonks-Girardeau gas under density-dependent gauge potential in a one dimensional harmonic potential

abstract: In the present paper we investigate the ground state of Tonks-Girardeau gas under density-dependent gauge potential. With Bose-Fermi mapping method we obtain the exact ground state wavefunction for the system confined in a harmonic potential. Based on the ground state wavefunction, the reduced one body density matrix (ROBDM), natural orbitals and their occupations, and the momentum distributions are obtained. Compared with the case without gauge potential, the present wavefunction and ROBDM have additional phase factors induced by gauge potential. The momentum distribution is the convolution of that without gauge potential to the Fourier transformation of definite integral of gauge potential. It is shown that because of the density-dependent gauge potential the peak of momentum distributions deviate from zero momentum and the Bose gas take finite total momentum. In particular the momentum distribution is no longer symmetric although the total momentum can become zero by adding a constant to the gauge potential.


title: Representation type of blocks of cyclotomic Hecke algebras of type $G(r, 1, n)$

abstract: Let $K$ be an algebraically closed field with $Char K\neq 2$ and $(s_1, s_2, \cdots, s_r)\in \mathbb{Z}^r$ a multicharge with $r>2$. Let $\mathcal {H}_n(q, Q)$ be a cyclotomic Hecke algebra of type $G(r, 1, n)$, where $q\neq 0, 1$ and $Q=(q^{s_1}, q^{s_2}, \cdots, q^{s_r})$. For each block $B$ of $\mathcal {H}_n(q, Q)$, we introduce a new invariant, called block move vector, which can be considered as a generalization of the weight $w(B)$. We prove by using block move vector that block $B$ has finite representation type if and only if $w(B)<2$, or $B$ is Morita equivalent to $K[x]/x^{w(B)+1}$. Blocks of finite representation type with weight more than one are determined completely by block move vectors. This result implies that some blocks of finite type are Brauer tree algebras whose Brauer trees have exceptional vertex. We also determine representation type for all the blocks of cyclotomic $q$-Schur algebras. Moreover, by using our result, we construct examples of blocks with the same weight that are not derived equivalent. Examples of derived equivalent blocks being in different orbits under the adjoint action of the affine Weyl group are also given.


title: Animating Human Athletics

abstract: This paper describes algorithms for the animation of men and women performing three dynamic athletic behaviors: running, bicycling, and vaulting. We animate these behaviors using control algorithms that cause a physically realistic model to perform the desired maneuver. For example, control algorithms allow the simulated humans to maintain balance while moving their arms, to run or bicycle at a variety of speeds, and to perform a handspring vault. Algorithms for group behaviors allow a number of simulated bicyclists to ride as a group while avoiding simple patterns of obstacles. We add secondary motion to the animations with spring-mass simulations of clothing driven by the rigid-body motion of the simulated human. For each simulation, we compare the computed motion to that of humans performing similar maneuvers both qualitatively through the comparison of real and simulated video images and quantitatively through the comparison of simulated and biomechanical data.


title: Noncommutative Ergodic Optimization

abstract: We extend the theory of ergodic optimization and maximizing measures to the non-commutative field of C*-dynamical systems. We then provide a result linking the ergodic optimizations of elements of a C*-dynamical system to the convergence of certain ergodic averages in a suitable seminorm. We also provide alternate proofs of several results in this article using the tools of nonstandard analysis.


title: Spectrum and stability of travelling pulses in a coupled FitzHugh--Nagumo equation

abstract: For a coupled slow--fast FitzHugh--Nagumo(FHN) equation derived from a reaction-diffusion-mechanics (RDM) model, Holzer, Doelman and Kaper in 2013 studied existence and stability of the travelling pulse, which consists of two fast orbit arcs and two slow ones, where one fast segment passes the unique fold point with algebraic decreasing and two slow ones follow normally hyperbolic critical curve segments. Shen and Zhang in 2019 obtained existence of the travelling pulse, whose two fast orbit arcs both exponentially decrease, and one of the slow orbit arcs could be normally hyperbolic or not at the origin. Here we characterize both nonlinear and spectral stabilities of this travelling pulse.


title: Finding Natural, Dense, and Stable Frustrated Lewis Pairs on Wurtzite Crystal Surfaces

abstract: The surface frustrated Lewis pairs (SFLPs) open up new opportunities for substituting noble metals in the activation and conversion of stable molecules. However, the applications of SFLPs on a larger scale are impeded by the complex construction process, low surface density, and sensitivity to the reaction environment. Herein, wurtzite-structured crystals such as GaN, ZnO, and AlP are found for developing natural, dense, and stable SFLPs. It is revealed that the SFLPs can naturally exist on the (100) and (110) surfaces of wurtzite-structured crystals. All the surface cations and anions serve as the Lewis acid and Lewis base in SFLPs, respectively, contributing to the surface density of SFLPs as high as 7.26 x 1014 cm-2. Ab initio molecular dynamics simulations indicate that the SFLPs can keep stable under high temperatures and the reaction atmospheres of CO and H2O. Moreover, outstanding performance for activating the given small molecules is achieved on these natural SFLPs, which originates from the optimal orbital overlap between SFLPs and small molecules. Overall, these findings not only provide a simple method to obtain dense and stable SFLPs but also unfold the nature of SFLPs toward the facile activation of small molecules.


title: How to Use Dropout Correctly on Residual Networks with Batch Normalization

abstract: For the stable optimization of deep neural networks, regularization methods such as dropout and batch normalization have been used in various tasks. Nevertheless, the correct position to apply dropout has rarely been discussed, and different positions have been employed depending on the practitioners. In this study, we investigate the correct position to apply dropout. We demonstrate that for a residual network with batch normalization, applying dropout at certain positions increases the performance, whereas applying dropout at other positions decreases the performance. Based on theoretical analysis, we provide the following guideline for the correct position to apply dropout: apply one dropout after the last batch normalization but before the last weight layer in the residual branch. We provide detailed theoretical explanations to support this claim and demonstrate them through module tests. In addition, we investigate the correct position of dropout in the head that produces the final prediction. Although the current consensus is to apply dropout after global average pooling, we prove that applying dropout before global average pooling leads to a more stable output. The proposed guidelines are validated through experiments using different datasets and models.


title: Adaptive IQ and IMQ-RBFs for solving Initial Value Problems: Adam-Bashforth and Adam-Moulton methods

abstract: In this paper, our objective is primarily to use adaptive inverse-quadratic (IQ) and inverse-multi-quadratic (IMQ) radial basis function (RBF) interpolation techniques to develop an enhanced Adam-Bashforth and Adam-Moulton methods. By utilizing a free parameter involved in the radial basis function, the local convergence of the numerical solution is enhanced by making the local truncation error vanish. Consistency and stability analysis is presented along with some numerical results to back up our assertions. The accuracy and rate of convergence of each proposed technique are equal to or better than the original Adam-Bashforth and Adam-Moulton methods by eliminating the local truncation error thus, the proposed adaptive methods are optimal. We conclude that both IQ and IMQ-RBF methods yield an improved order of convergence than classical methods, while the superiority of one method depends on the method and the problem considered.


title: A Comprehensive Survey on Graph Summarization with Graph Neural Networks

abstract: As large-scale graphs become more widespread, more and more computational challenges with extracting, processing, and interpreting large graph data are being exposed. It is therefore natural to search for ways to summarize these expansive graphs while preserving their key characteristics. In the past, most graph summarization techniques sought to capture the most important part of a graph statistically. However, today, the high dimensionality and complexity of modern graph data are making deep learning techniques more popular. Hence, this paper presents a comprehensive survey of progress in deep learning summarization techniques that rely on graph neural networks (GNNs). Our investigation includes a review of the current state-of-the-art approaches, including recurrent GNNs, convolutional GNNs, graph autoencoders, and graph attention networks. A new burgeoning line of research is also discussed where graph reinforcement learning is being used to evaluate and improve the quality of graph summaries. Additionally, the survey provides details of benchmark datasets, evaluation metrics, and open-source tools that are often employed in experimentation settings, along with a detailed comparison, discussion, and takeaways for the research community focused on graph summarization. Finally, the survey concludes with a number of open research challenges to motivate further study in this area.


title: Survey of H{\alpha} emission-line stars in the star-forming region IC 5070

abstract: Actively accreting young stellar objects show H$\alpha$ emission line in their spectra. We present the results of survey for H$\alpha$ emission-line stars in the star-forming region IC~5070 taken with 2-m Himalyan {\it Chandra} Telescope. Based on the H$\alpha$ slitless spectroscopy data, we identified 131 emission-line stars in $\sim$ 0.29 square degrees area of the IC~5070 region. Using Gaia Early Data Release 3, we estimated the mean proper motion and parallax of the emission-line stars. We also estimated the mean distance and reddening toward the region using the emission-line stars, that are $\sim$ 833 pc and $\sim$2 mag, respectively. By examining the locations of these stars in the color-magnitude diagrams constructed using Gaia and PanSTARRS1 data, we found that a majority of the H$\alpha$ emitters are young low-mass ($<$ 1.5 $M\odot$) stars. We also compared our catalog of emission-line stars with the available young stellar catalogs and found that most of them are Class~{II}/ flat spectrum sources with the spectral type ranging from K to M. Based on the proper motion/ parallax values and locations on the color-magnitude diagrams, about 20 emission-line stars are flagged as non-members. The relative proper motion of the emission-line stars with respect to the ionizing source suggest the possibility of the `rocket effect' scenario in the remnant cloud (BRC~31).


title: GRB 190114C: Fireball Energy Budget and Radiative Efficiency Revisited

abstract: The jet composition of gamma-ray bursts (GRBs), as well as how efficiently the jet converts its energy to radiation, are long-standing problems in GRB physics. Here, we reported a comprehensive temporal and spectral analysis of the TeV-emitting bright GRB 190114C. Its high fluence ($\sim$ 4.436$\times$10$^{-4}$ erg cm$^{-2}$) allows us to conduct the time-resolved spectral analysis in great detail and study their variations down to a very short time-scale ($\sim$0.1 s) while preserving a high significance. Its prompt emission consists of three well-separated pulses. The first two main pulses ($P_1$ and $P_2$) exhibit independently strong thermal components, and starting from the third pulse ($P_3$) and extending to the entire afterglow, the spectra are all non-thermal, the synchrotron plus Compton up-scattering model well interpret the observation. By combining the thermal ($P_1$ and $P_2$) and the non-thermal ($P_3$) observations based on two different scenarios (global and pulse properties) and following the method described in \cite{Zhang2021}, we measure the fireball parameters and GRB radiative efficiency with little uncertainties for this GRB. A relevantly high GRB radiative efficiency is obtained based on both the global and pulse properties, suggesting that if GRBs are powered by fireballs, the efficiency can be high sometimes. More interestingly, though the observed parameters are individually different (e.g., the amount of mass loading $M$), the radiative efficiency obtained from $P_1$ ($\eta_\gamma=36.0\pm6.5\%$) and $P_2$ ($\eta_\gamma=41.1\pm1.9\%$) is roughly the same, which implies that the central engine of the same GRB has some common properties.


title: The Framework Tax: Disparities Between Inference Efficiency in NLP Research and Deployment

abstract: Increased focus on the computational efficiency of NLP systems has motivated the design of efficient model architectures and improvements to underlying hardware accelerators. However, the resulting increases in computational throughput and reductions in floating point operations have not directly translated to improvements in wall-clock inference latency. We demonstrate that these discrepancies can be largely attributed to bottlenecks introduced by deep learning frameworks. We denote this phenomenon as the \textit{framework tax}, and observe that the disparity is growing as hardware speed increases over time. In this work, we examine this phenomenon through a series of case studies analyzing the effects of model design decisions, framework paradigms, and hardware platforms on total model latency. Code is available at https://github.com/JaredFern/Framework-Tax.


title: Lightweight Encryption and Anonymous Routing in NoC based SoCs

abstract: Advances in manufacturing technologies have enabled System-on-Chip (SoC) designers to integrate an increasing number of cores on a single SoC. Increasing SoC complexity coupled with tight time-to-market deadlines has led to increased utilization of Intellectual Property (IP) cores from third-party vendors. SoC supply chain is widely acknowledged as a major source of security vulnerabilities. Potentially malicious third-party IPs integrated on the same Network-on-Chip (NoC) with the trusted components can lead to security and trust concerns. While secure communication is a well-studied problem in the computer networks domain, it is not feasible to implement those solutions on resource-constrained SoCs. In this paper, we present a lightweight encryption and anonymous routing protocol for communication between IP cores in NoC based SoCs. Our method eliminates the major overhead associated with traditional encryption and anonymous routing protocols using a novel secret sharing mechanism while ensuring that the desired security goals are met. Experimental results demonstrate that existing security solutions on NoC can introduce significant (1.5X) performance degradation, whereas our approach provides the same security features with minor (4%) impact on performance.


title: HGMatch: A Match-by-Hyperedge Approach for Subgraph Matching on Hypergraphs

abstract: Hypergraphs are generalisation of graphs in which a hyperedge can connect any number of vertices. It can describe n-ary relationships and high-order information among entities compared to conventional graphs. In this paper, we study the fundamental problem of subgraph matching on hypergraphs (i.e, subhypergraph matching). Existing methods directly extend subgraph matching algorithms to the case of hypergraphs. However, this approach delays hyperedge verification and underutilises the high-order information in hypergraphs, which leads to large search space and high enumeration cost. Furthermore, with the growing size of hypergraphs, it is becoming hard to compute subhypergraph matching sequentially. Thus, we propose an efficient and parallel subhypergraph matching system, HGMatch, to handle subhypergraph matching in massive hypergraphs. We proposes a novel match-by-hyperedge framework to utilise high-order information in hypergraphs and uses set operations for efficient candidates generation. Moreover, we develop an optimised parallel execution engine in HGMatch based on the dataflow model, which features a task-based scheduler and fine-grained dynamic work stealing to achieve bounded memory execution and better load balancing. Experimental evaluation on 10 real-world datasets shows that HGMatch outperforms the extended version of the state-of-the-art subgraph matching algorithms (CFL, DAF, CECI and RapidMatch) by orders of magnitude when using a single thread, and achieves almost linear scalability when the number of threads increases.


title: Knowledge from Large-Scale Protein Contact Prediction Models Can Be Transferred to the Data-Scarce RNA Contact Prediction Task

abstract: RNA, whose functionality is largely determined by its structure, plays an important role in many biological activities. The prediction of pairwise structural proximity between each nucleotide of an RNA sequence can characterize the structural information of the RNA. Historically, this problem has been tackled by machine learning models using expert-engineered features and trained on scarce labeled datasets. Here, we find that the knowledge learned by a protein-coevolution Transformer-based deep neural network can be transferred to the RNA contact prediction task. As protein datasets are orders of magnitude larger than those for RNA contact prediction, our findings and the subsequent framework greatly reduce the data scarcity bottleneck. Experiments confirm that RNA contact prediction through transfer learning using a publicly available protein model is greatly improved. Our findings indicate that the learned structural patterns of proteins can be transferred to RNAs, opening up potential new avenues for research.


title: Broadband generation of quasi bound-state-in-continuum modes using subwavelength truncated cone resonators

abstract: Allowing a high quality factor (Q-factor) to a sub-wavelength dielectric resonator, quasi-bound states in the continuum (Q-BIC) has gained much interest. However, the Q-BIC resonance condition is too sensitive to the geometry of the resonator and its practical broadband generation on a single-wafer platform has been limited. Here, we present that employing the base angle as a structural degree of freedom, the truncated nano-cone resonator supports the Q-BIC resonance with a high Q-factor of >150 over a wide wavelength range of >100 nm. We expect our approach will boost the utilization of the Q-BIC resonance for various applications requiring broadband spectral tuning.


title: Analysis of pseudoholomorphic curves on symplectization: Revisit via contact instantons

abstract: In this survey article, we present the analysis of pseudoholomorphic curves $u:(\dot \Sigma,j) \to (Q \times \mathbb{R}, \widetilde J)$ on the symplectization of contact manifold $(Q,\lambda)$ as a subcase of the analysis of contact instantons $w:\dot \Sigma \to Q$, i.e., of the maps $w$ satisfying the equation $$ {\bar{\partial}}^\pi w = 0, \, d(w^*\lambda \circ j) = 0 $$ on the contact manifold $(Q,\lambda)$, which has been carried out by a coordinate-free covariant tensorial calculus. When the analysis is applied to that of pseudoholomorphic curves $u = (w,f)$ with $w = \pi_Q \circ u$, $f = s\circ u$ on symplectization, the outcome is generally stronger and more accurate than the common results on the regularity presented in the literature in that all of our a priori estimates can be written purely in terms $w$ not involving $f$. The a priori elliptic estimates for $w$ are largely consequences of various Weitzenb\"ock-type formulae with respect to the contact triad connection introduced by Wang and the first author in [OW14], and the estimate for $f$ is a consequence thereof by simple integration of the equation $df = w^*\lambda \circ j$. We also derive a simple precise tensorial formulae for the linearized operator and for the asymptotic operator that admit a perturbation theory of the operators with respect to (adapted) almost complex structures: The latter has been missing in the analysis of pseudoholomorphic curves on symplectization in the existing literature.


title: Local density of state oscillations in laterally heterostructured topological insulator-semiconductor systems

abstract: We study local density of state (LDOS) oscillations arising from the scattering of electrons at atomic edge defects in topological insulator (TI) surfaces. To create edge scattering on the surface of a TI, we assume that half of its surface is covered with a semiconductor. In addition to modifying the TI states in the covered half, the presence of the semiconductor leads to a localized edge potential at the vacuum-semiconductor boundary. We study the induced LDOS by imposing time-reversal (TR) invariance and current conservation across the boundary. Additionally, we explore how the scattering of TI junctions with dissimilar spin textures and anisotropic Fermi velocities affect the modulations of the LDOS away from the junction edge. In all cases, for energies close to the Dirac point, we find that the decay envelope of the LDOS oscillations is insensitive to the scattering at the atomic edge defect, with a decay power given by $x^{-3/2}$. Quantitative differences in the amplitude of these oscillations depend on the details of the interface and the spin textures, while the period of the oscillations is defined by the size of the Fermi surface.


title: Revet: A Language and Compiler for Dataflow Threads

abstract: Spatial dataflow architectures such as reconfigurable dataflow accelerators (RDA) can provide much higher performance and efficiency than CPUs and GPUs. In particular, vectorized reconfigurable dataflow accelerators (vRDA) in recent literature represent a design point that enhances the efficiency of dataflow architectures with vectorization. Today, vRDAs can be exploited using either hardcoded kernels or MapReduce languages like Spatial, which cannot vectorize data-dependent control flow. In contrast, CPUs and GPUs can be programmed using general-purpose threaded abstractions. The ideal combination would be the generality of a threaded programming model coupled with the efficient execution model of a vRDA. We introduce Revet: a programming model, compiler, and execution model that lets threaded applications run efficiently on vRDAs. The Revet programming language uses threads to support a broader range of applications than Spatial's parallel patterns, and our MLIR-based compiler lowers this language to a generic dataflow backend that operates on streaming tensors. Finally, we show that mapping threads to dataflow outperforms GPUs, the current state-of-the-art for threaded accelerators, by 3.8x.


title: Brooks-type theorems for relaxations of square colorings

abstract: The following relaxation of proper coloring the square of a graph was recently introduced: for a positive integer $h$, the proper $h$-conflict-free chromatic number of a graph $G$, denoted $\chi_{pcf}^h(G)$, is the minimum $k$ such that $G$ has a proper $k$-coloring where every vertex $v$ has $\min\{deg_G(v),h\}$ colors appearing exactly once on its neighborhood. Caro, Petru\v{s}evski, and \v{S}krekovski put forth a Brooks-type conjecture: if $G$ is a graph with $\Delta(G)\ge 3$, then $\chi_{pcf}^1(G)\leq \Delta(G)+1$. The best known result regarding the conjecture is $\chi_{pcf}^1(G)\leq 2\Delta(G)+1$, which is implied by a result of Pach and Tardos. We improve upon the aforementioned result for all $h$, and also enlarge the class of graphs for which the conjecture is known to be true. Our main result is the following: for a graph $G$, if $\Delta(G) \ge h+2$, then $\chi_{pcf}^h(G)\le (h+1)\Delta(G)-1$; this is tight up to the additive term as we explicitly construct infinitely many graphs $G$ with $\chi_{pcf}^h(G)=(h+1)(\Delta(G)-1)$. We also show that the conjecture is true for chordal graphs, and obtain partial results for quasi-line graphs and claw-free graphs. Our main result also improves upon a Brooks-type result for $h$-dynamic coloring.


title: Expediting Distributed DNN Training with Device Topology-Aware Graph Deployment

abstract: This paper presents TAG, an automatic system to derive optimized DNN training graph and its deployment onto any device topology, for expedited training in device- and topology- heterogeneous ML clusters. We novelly combine both the DNN computation graph and the device topology graph as input to a graph neural network (GNN), and join the GNN with a search-based method to quickly identify optimized distributed training strategies. To reduce communication in a heterogeneous cluster, we further explore a lossless gradient compression technique and solve a combinatorial optimization problem to automatically apply the technique for training time minimization. We evaluate TAG with various representative DNN models and device topologies, showing that it can achieve up to 4.56x training speed-up as compared to existing schemes. TAG can produce efficient deployment strategies for both unseen DNN models and unseen device topologies, without heavy fine-tuning.


title: Probing magnetic properties at the nanoscale: In-situ Hall measurements in a TEM

abstract: We report on advanced in-situ magneto-transport measurements in a transmission electron microscope. The approach allows for concurrent magnetic imaging and high resolution structural and chemical characterization of the same sample. Proof-of-principle in-situ Hall measurements on presumably undemanding nickel thin films supported by micromagnetic simulations reveal that in samples with non-trivial structures and/or compositions, detailed knowledge of the latter is indispensable for a thorough understanding and reliable interpretation of the magneto-transport data. The proposed in-situ approach is thus expected to contribute to a better understanding of the Hall signatures in more complex magnetic textures.


title: Comparison criteria for the Abel equation of 1st kind

abstract: Three comparison criteria for the Abel equation of 1es kind are proved. The results obtained are used to obtain global solvability criteria and some criteria of existence of closed solutions for the mentioned equation. The results obtained are demonstrated by examples.


title: Transient shear banding during startup flow: Insights from nonlinear simulations

abstract: We study the dynamics of shear startup of the Johnson-Segalman and non-stretching Rolie-Poly models using nonlinear simulations. We consider cases where the startup is from zero shear rate to shear rates in both the monotonic and nonmonotonic regions of the constitutive curve. For the Johnson-Segalman model, which exhibits a shear stress overshoot during startup, our nonlinear simulations show that transient shear banding is absent regardless of whether the start-up shear rate is in the monotonic or nonmonotonic regions of the constitutive curve. In the latter case, while there is clearly an inhomogeneity en route to the banded state, the extent of shear banding is not substantially large compared to that of the eventual banded state. Marked inhomogeneity in the velocity profile is predicted for the non-stretching Rolie-Poly model only if the solvent to solution viscosity ratio is smaller than O(10^(-3), but its occurrence does not appear to have any correlation with the stress overshoot during startup. These inhomogeneities are also very sensitive to initial amplitude of perturbations and the magnitude of Reynolds number. Our nonlinear simulations show that the transient evolution during shear startup is quite sensitive to the Reynolds number when the solvent viscosity parameter is much smaller than unity for non-stretching Rolie-Poly model. However, the results of the Johnson-Segalman model are very robust for solvent to solution viscosity greater than O(10^(-3) and do not reveal any transient shear banding during shear startup.


title: Learning to Scale Temperature in Masked Self-Attention for Image Inpainting

abstract: Recent advances in deep generative adversarial networks (GAN) and self-attention mechanism have led to significant improvements in the challenging task of inpainting large missing regions in an image. These methods integrate self-attention mechanism in neural networks to utilize surrounding neural elements based on their correlation and help the networks capture long-range dependencies. Temperature is a parameter in the Softmax function used in the self-attention, and it enables biasing the distribution of attention scores towards a handful of similar patches. Most existing self-attention mechanisms in image inpainting are convolution-based and set the temperature as a constant, performing patch matching in a limited feature space. In this work, we analyze the artifacts and training problems in previous self-attention mechanisms, and redesign the temperature learning network as well as the self-attention mechanism to address them. We present an image inpainting framework with a multi-head temperature masked self-attention mechanism, which provides stable and efficient temperature learning and uses multiple distant contextual information for high quality image inpainting. In addition to improving image quality of inpainting results, we generalize the proposed model to user-guided image editing by introducing a new sketch generation method. Extensive experiments on various datasets such as Paris StreetView, CelebA-HQ and Places2 clearly demonstrate that our method not only generates more natural inpainting results than previous works both in terms of perception image quality and quantitative metrics, but also enables to help users to generate more flexible results that are related to their sketch guidance.


title: Search for resonant neutrinoless double electron capture in Gd-152 and other rare decays in Gd isotopes

abstract: A search for rare decays of gadolinium isotopes was performed with an ultra-low background high-purity germanium detector at Gran Sasso Underground Laboratory (Italy). A 198 g Gd$_2$O$_3$ powder sample was measured for 63.8 d with a total Gd exposure of 12.6 kg$\times$d. $^{152}$Gd is the most promising isotope for resonant neutrinoless double electron capture which could significantly enhance the decay rate over other neutrinoless double beta decay processes. The half-life for this decay was constrained to $>4.2\times10^{12}$ yr (90\% credibility). This limit is still orders of magnitude away from theoretical predictions but it is the first established limit on the transition paving the way for future experiments. In addition, other rare alpha and double beta decay modes were investigated in $^{152}$Gd, $^{154}$Gd, and $^{160}$Gd with half-life limits in the range of $10^{17-20}$ yr.


title: NNKGC: Improving Knowledge Graph Completion with Node Neighborhoods

abstract: Knowledge graph completion (KGC) aims to discover missing relations of query entities. Current text-based models utilize the entity name and description to infer the tail entity given the head entity and a certain relation. Existing approaches also consider the neighborhood of the head entity. However, these methods tend to model the neighborhood using a flat structure and are only restricted to 1-hop neighbors. In this work, we propose a node neighborhood-enhanced framework for knowledge graph completion. It models the head entity neighborhood from multiple hops using graph neural networks to enrich the head node information. Moreover, we introduce an additional edge link prediction task to improve KGC. Evaluation on two public datasets shows that this framework is simple yet effective. The case study also shows that the model is able to predict explainable predictions.


title: Deep Transfer Tensor Factorization for Multi-View Learning

abstract: This paper studies the data sparsity problem in multi-view learning. To solve data sparsity problem in multiview ratings, we propose a generic architecture of deep transfer tensor factorization (DTTF) by integrating deep learning and cross-domain tensor factorization, where the side information is embedded to provide effective compensation for the tensor sparsity. Then we exhibit instantiation of our architecture by combining stacked denoising autoencoder (SDAE) and CANDECOMP/ PARAFAC (CP) tensor factorization in both source and target domains, where the side information of both users and items is tightly coupled with the sparse multi-view ratings and the latent factors are learned based on the joint optimization. We tightly couple the multi-view ratings and the side information to improve cross-domain tensor factorization based recommendations. Experimental results on real-world datasets demonstrate that our DTTF schemes outperform state-of-the-art methods on multi-view rating predictions.


title: RFC-Net: Learning High Resolution Global Features for Medical Image Segmentation on a Computational Budget

abstract: Learning High-Resolution representations is essential for semantic segmentation. Convolutional neural network (CNN)architectures with downstream and upstream propagation flow are popular for segmentation in medical diagnosis. However, due to performing spatial downsampling and upsampling in multiple stages, information loss is inexorable. On the contrary, connecting layers densely on high spatial resolution is computationally expensive. In this work, we devise a Loose Dense Connection Strategy to connect neurons in subsequent layers with reduced parameters. On top of that, using a m-way Tree structure for feature propagation we propose Receptive Field Chain Network (RFC-Net) that learns high resolution global features on a compressed computational space. Our experiments demonstrates that RFC-Net achieves state-of-the-art performance on Kvasir and CVC-ClinicDB benchmarks for Polyp segmentation.


title: Electron Charge Sensor with Hole Current Operating at Cryogenic Temperature

abstract: When SOI-PMOS functions like a capacitor-less 1T-DRAM cell, it is possible for the number of electrons to be sensed at cryogenic temperatures (5K). We developed a structure that combines SOI-NMOS and SOI-PMOS with multiple gates to form a silicon quantum-dot array. In this structure, a variable number of electrons is injected into the SOI-PMOS body transporting them by means of the bucket-brigade operation of SOI-NMOS connected in series. The channel-hole current was changed by the injected electrons due to the body bias effect in SOI-PMOS, and the change appeared to be step-like, suggesting a dependence on the elementary charge.


title: PRAGTHOS:Practical Game Theoretically Secure Proof-of-Work Blockchain

abstract: Security analysis of blockchain technology is an active domain of research. There has been both cryptographic and game-theoretic security analysis of Proof-of-Work (PoW) blockchains. Prominent work includes the cryptographic security analysis under the Universal Composable framework and Game-theoretic security analysis using Rational Protocol Design. These security analysis models rely on stricter assumptions that might not hold. In this paper, we analyze the security of PoW blockchain protocols. We first show how assumptions made by previous models need not be valid in reality, which attackers can exploit to launch attacks that these models fail to capture. These include Difficulty Alternating Attack, under which forking is possible for an adversary with less than 0.5 mining power, Quick-Fork Attack, a general bound on selfish mining attack and transaction withholding attack. Following this, we argue why previous models for security analysis fail to capture these attacks and propose a more practical framework for security analysis pRPD. We then propose a framework to build PoW blockchains PRAGTHOS, which is secure from the attacks mentioned above. Finally, we argue that PoW blockchains complying with the PRAGTHOS framework are secure against a computationally bounded adversary under certain conditions on the reward scheme.


title: Maximum Coverage in Sublinear Space, Faster

abstract: Given a collection of $m$ sets from a universe $\mathcal{U}$, the Maximum Set Coverage problem consists of finding $k$ sets whose union has largest cardinality. This problem is NP-Hard, but the solution can be approximated by a polynomial time algorithm up to a factor $1-1/e$. However, this algorithm does not scale well with the input size. In a streaming context, practical high-quality solutions are found, but with space complexity that scales linearly with respect to the size of the universe $|\mathcal{U}|$. However, one randomized streaming algorithm has been shown to produce a $1-1/e-\varepsilon$ approximation of the optimal solution with a space complexity that scales only poly-logarithmically with respect to $m$ and $|\mathcal{U}|$. In order to achieve such a low space complexity, the authors used a technique called subsampling, based on independent-wise hash functions, and $F_0$-sketching. This article focuses on this sublinear-space algorithm and introduces methods to reduce the time cost of subsampling. Firstly, we give some optimizations that do not alter the space complexity, number of passes and approximation quality of the original algorithm. In particular, we reanalyze the error bounds to show that the original independence factor of $\Omega(\varepsilon^{-2} k \log m)$ can be fine-tuned to $\Omega(k \log m)$. Secondly we show that $F_0$-sketching can be replaced by a much more simple mechanism. Finally, our experimental results show that even a pairwise-independent hash-function sampler does not produce worse solution than the original algorithm, while running significantly faster by several orders of magnitude.


title: Study of Low-latitude Ionospheric Scintillation using NavIC

abstract: Equatorial ionospheric irregularities have been studied in the past and have produced interesting insights into ionospheric physics and processes. Here, we present the initial results of a long-term study of the ionosphere near the Equatorial Ionization Anomaly (EIA) using Navigation with the Indian Constellation (NavIC). We have characterized the ionospheric irregularities in terms of the power spectral density at different dynamical frequencies. The formalism is similar to as suggested by earlier works using the phase screen modeling of the ionosphere. The observations of the C/N 0 (dB-Hz) variation have been taken by utilizing the L5 (1176.45 MHz) signal of NavIC over Indore located near the northern crest of EIA. We show some initial results as a proof of concept study from a single day (December 4, 2017) of scintillation observations. This is a first-of-its-kind study in this region with NavIC. From the power spectral density analysis, we have demonstrated that NavIC is capable of detecting such irregularities over long periods over this region and has implications for forecasting such events in the future.

categories: physics.space-ph astro-ph.EP physics.geo-ph physics.plasm-ph


title: Temporo-spatial differentiations for actions of locally compact groups

abstract: In this paper, we extend the notion of temporo-spatial differentiation problems to the setting of actions of more general topological groups. The problem can be expressed as follows: Given an action $T$ of an amenable discrete group $G$ on a probability space $(X, \mu)$ by automorphisms, let $(F_k)_{k = 1}^\infty$ be a F{\o}lner sequence for $G$, and let $(C_k)_{k = 1}^\infty$ be a sequence of measurable subsets of $X$ with positive probability $\mu(C_k)$. What is the limiting behavior of the sequence $$\left( \frac{1}{\mu(C_k)} \int_{C_k} \frac{1}{|F_k|} \sum_{g \in F_k} f(T_g x) \mathrm{d} \mu(x) \right)_{k = 1}^\infty$$ for $f \in L^\infty(X, \mu)$? We provide some positive convergence results for temporo-spatial differentiations with respect to ergodic averages over F{\o}lner sequences, as well as with respect to ergodic averages over subsequences of the integers (e.g. polynomials), multiple ergodic averages, and weighted ergodic averages.


title: Is a black hole shadow a reliable test of the no-hair theorem?

abstract: Capturing the image of the shadow cast by the event horizon of an illuminated black hole is, at the most basic level, an experiment of extreme light deflection in a strongly curved spacetime. As such, the properties of an imaged shadow can be used to probe the general relativistic Kerr nature of astrophysical black holes. As an example of this prospect, it is commonly asserted that a shadow can test the validity of the theory's famous `no hair theorem' for the black hole's mass and spin multipole moments. In this paper, we assess this statement by calculating the shadow's equatorial radius in spacetimes with an arbitrary multipolar structure and within a slow rotation approximation. We find that when moments higher than the quadrupole are taken into account, the shadow acquires a high degree of degeneracy as a function of the deviation from the Kerr multipole moments. The results of our analysis suggest that dark objects with strongly non-Kerr multipolar structure could nevertheless produce a Kerr-like shadow with its characteristic quasi-circular shape.


title: DCMT: A Direct Entire-Space Causal Multi-Task Framework for Post-Click Conversion Estimation

abstract: In recommendation scenarios, there are two long-standing challenges, i.e., selection bias and data sparsity, which lead to a significant drop in prediction accuracy for both Click-Through Rate (CTR) and post-click Conversion Rate (CVR) tasks. To cope with these issues, existing works emphasize on leveraging Multi-Task Learning (MTL) frameworks (Category 1) or causal debiasing frameworks (Category 2) to incorporate more auxiliary data in the entire exposure/inference space D or debias the selection bias in the click/training space O. However, these two kinds of solutions cannot effectively address the not-missing-at-random problem and debias the selection bias in O to fit the inference in D. To fill the research gaps, we propose a Direct entire-space Causal Multi-Task framework, namely DCMT, for post-click conversion prediction in this paper. Specifically, inspired by users' decision process of conversion, we propose a new counterfactual mechanism to debias the selection bias in D, which can predict the factual CVR and the counterfactual CVR under the soft constraint of a counterfactual prior knowledge. Extensive experiments demonstrate that our DCMT can improve the state-of-the-art methods by an average of 1.07% in terms of CVR AUC on the five offline datasets and 0.75% in terms of PV-CVR on the online A/B test (the Alipay Search). Such improvements can increase millions of conversions per week in real industrial applications, e.g., the Alipay Search.


title: Combined Location Online Weather Data: Easy-to-use Targeted Weather Analysis for Agriculture

abstract: The continuing effects of climate change require farmers and growers to have greater understanding of how these changes affect crop production. However, while climatic data is generally available to help provide much of that understanding, it can often be in a form not easy to digest. The proposed Combined Location Online Weather Data (CLOWD) framework is an easy-to-use online platform for analysing recent and historical weather data of any location within Australia at the click of a map. CLOWD requires no programming skills and operates in any HTML5 web browser on PC and mobile devices. It enables comparison between current and previous growing seasons over a range of environmental parameters, and can create a plain-English PDF report for offline use, using natural language generation (NLG). This paper details the platform, the design decisions taken and outlines how farmers and growers can use CLOWD to better understand current growing conditions. Prototypes of CLOWD are now online for PCs and smartphones.


title: Perturbation Theory Treatment of Spin-Orbit Coupling. III: Coupled Perturbed Method for Solids

abstract: A previously proposed non-canonical coupled-perturbed Kohn-Sham density functional theory (KS-DFT)/Hartree-Fock (HF) treatment for spin-orbit coupling is here generalized to infinite periodic systems. The scalar-relativistic periodic KS-DFT/HF solution, obtained with a relativistic effective core potential, is taken as the zeroth-order approximation. Explicit expressions are given for the total energy through 3rd-order, which satisfy the 2N + 1 rule (i.e. requiring only the 1st-order perturbed wave function for determining the energy through 3rd-order). Expressions for additional 2nd-order corrections to the perturbed wave function (as well as related one-electron properties) are worked out at the uncoupled-perturbed level of theory. The approach is implemented in the \textsc{Crystal} program and validated with calculations of the total energy, electronic band structure, and density variables of spin-current DFT on the tungsten dichalcogenide hexagonal bilayer series (i.e. WSe$_2$, WTe$_2$, WPo$_2$, WLv$_2$), including 6p and 7p elements as a stress test. The computed properties through second- or third-order match well with those from reference two-component self-consistent field (2c-SCF) calculations. For total energies, $E^{(3)}$ was found to consistently improve the agreement against the 2c-SCF reference values. For electronic band structures, visible differences w.r.t. 2c-SCF remained through second-order in only the single-most difficult case of WLv$_2$. As for density variables of spin-current DFT, the perturbed electron density, being vanishing in first-order, is the most challenging for the perturbation theory approach. The visible differences in the electron densities are, however, largest close to the core region of atoms and smaller in the valence region. Perturbed spin-current densities, on the other hand, are well reproduced in all tested cases.


title: SkCoder: A Sketch-based Approach for Automatic Code Generation

abstract: Recently, deep learning techniques have shown great success in automatic code generation. Inspired by the code reuse, some researchers propose copy-based approaches that can copy the content from similar code snippets to obtain better performance. Practically, human developers recognize the content in the similar code that is relevant to their needs, which can be viewed as a code sketch. The sketch is further edited to the desired code. However, existing copy-based approaches ignore the code sketches and tend to repeat the similar code without necessary modifications, which leads to generating wrong results. In this paper, we propose a sketch-based code generation approach named SkCoder to mimic developers' code reuse behavior. Given a natural language requirement, SkCoder retrieves a similar code snippet, extracts relevant parts as a code sketch, and edits the sketch into the desired code. Our motivations are that the extracted sketch provides a well-formed pattern for telling models "how to write". The post-editing further adds requirement-specific details to the sketch and outputs the complete code. We conduct experiments on two public datasets and a new dataset collected by this work. We compare our approach to 20 baselines using 5 widely used metrics. Experimental results show that (1) SkCoder can generate more correct programs, and outperforms the state-of-the-art - CodeT5-base by 30.30%, 35.39%, and 29.62% on three datasets. (2) Our approach is effective to multiple code generation models and improves them by up to 120.1% in Pass@1. (3) We investigate three plausible code sketches and discuss the importance of sketches. (4) We manually evaluate the generated code and prove the superiority of our SkCoder in three aspects.


title: Numerical Framework for Modeling Quantum Electromagnetic Systems Involving Finite-Sized Lossy Dielectric Objects in Free Space

abstract: The modified Langevin noise formalism has been proposed for the correct charaterization of quantum electromagnetic fields in the presence of finite-sized lossy dielectric objects in free space. The main modification to the original one (also known as the Green's function approach available only for bulk inhomogeneous lossy dielectric medium) was to add fluctuating sources in reaction to the radiation loss. Consequently, a resulting electric field operator is now determined by (i) boundary-assisted and (ii) medium-assisted fields on an equal footing, which are fluctuating sources due to radiation and medium losses, respectively. However, due to the lengthy mathematical manipulation and complicated concepts, the validity of the modified Langevin noise formalism has not been clearly checked yet. In this work, we propose and develop a novel numerical framework for the modified Langevin noise formalism by exploiting computational electromagnetic methods (CEM). Specifically, we utilize the finite-element method to numerically solve plane-wave-scattering and point-source-radiation problems whose solutions are boundary-assisted and medium-assisted fields, respectively. Based on the developed numerical framework, we calculate the Purcell factor of a two-level atom inside or outside a lossy dielectric slab. It is numerically proved, for the first time, that one can retrieve the conventional expression of the spontaneous emission rate, viz., the imaginary part of the Green's function. The proposed numerical framework is particularly useful for estimating the dynamics of multi-level atoms near practical plasmonic structures or metasurfaces.


title: On stability of rainbow matchings

abstract: We show that for any integer $k\ge 1$ there exists an integer $t_0(k)$ such that for integers $t, k_1, \ldots, k_{t+1}, n$ with $t>t_0(k)$, $\max\{k_1, \ldots, k_{t+1}\}\le k$, and $n > 2k(t+1)$, the following holds: If $F_i \subseteq {[n]\choose k_i}$ and $|F_i|> {n\choose k_i}-{n-t\choose k_i} - {n-t-k \choose k_i-1} + 1$ for all $i \in [t+1]$, then either $\{F_1,\ldots, F_{t+1}\}$ admits a rainbow matching of size $t+1$ or there exists $W\in {[n]\choose t}$ such that $W$ is a vertex cover of $F_i$ for all $i\in [t+1]$. This may be viewed as a rainbow non-uniform extension of the classical Hilton-Milner theorem. We also show that the same holds for every $t$ and $n > 2k^3t$, generalizing a recent stability result of Frankl and Kupavskii on matchings to rainbow matchings.


title: Crystal Toolkit: A Web App Framework to Improve Usability and Accessibility of Materials Science Research Algorithms

abstract: Crystal Toolkit is an open source tool for viewing, analyzing and transforming crystal structures, molecules and other common forms of materials science data in an interactive way. It is intended to help beginners rapidly develop web-based apps to explore their own data or to help developers make their research algorithms accessible to a broader audience of scientists who might not have any training in computer programming and who would benefit from graphical interfaces. Crystal Toolkit comes with a library of ready-made components that can be assembled to make complex web apps: simulation of powder and single crystalline diffraction patterns, convex hull phase diagrams, Pourbaix diagrams, electronic band structures, analysis of local chemical environments and symmetry, and more. Crystal Toolkit is now powering the Materials Project website frontend, providing user-friendly access to its database of computed materials properties. In the future, it is hoped that new visualizations might be prototyped using Crystal Toolkit to help explore new forms of data being generated by the materials science community, and that this in turn can help new materials scientists develop intuition for how their data behaves and the insights that might be found within. Crystal Toolkit will remain a work-in-progress and is open to contributions from the community.


title: CoMAE: Single Model Hybrid Pre-training on Small-Scale RGB-D Datasets

abstract: Current RGB-D scene recognition approaches often train two standalone backbones for RGB and depth modalities with the same Places or ImageNet pre-training. However, the pre-trained depth network is still biased by RGB-based models which may result in a suboptimal solution. In this paper, we present a single-model self-supervised hybrid pre-training framework for RGB and depth modalities, termed as CoMAE. Our CoMAE presents a curriculum learning strategy to unify the two popular self-supervised representation learning algorithms: contrastive learning and masked image modeling. Specifically, we first build a patch-level alignment task to pre-train a single encoder shared by two modalities via cross-modal contrastive learning. Then, the pre-trained contrastive encoder is passed to a multi-modal masked autoencoder to capture the finer context features from a generative perspective. In addition, our single-model design without requirement of fusion module is very flexible and robust to generalize to unimodal scenario in both training and testing phases. Extensive experiments on SUN RGB-D and NYUDv2 datasets demonstrate the effectiveness of our CoMAE for RGB and depth representation learning. In addition, our experiment results reveal that CoMAE is a data-efficient representation learner. Although we only use the small-scale and unlabeled training set for pre-training, our CoMAE pre-trained models are still competitive to the state-of-the-art methods with extra large-scale and supervised RGB dataset pre-training. Code will be released at https://github.com/MCG-NJU/CoMAE.


title: Contour Context: Abstract Structural Distribution for 3D LiDAR Loop Detection and Metric Pose Estimation

abstract: This paper proposes \textit{Contour Context}, a simple, effective, and efficient topological loop closure detection pipeline with accurate 3-DoF metric pose estimation, targeting the urban utonomous driving scenario. We interpret the Cartesian birds' eye view (BEV) image projected from 3D LiDAR points as layered distribution of structures. To recover elevation information from BEVs, we slice them at different heights, and connected pixels at each level will form contours. Each contour is parameterized by abstract information, e.g., pixel count, center position, covariance, and mean height. The similarity of two BEVs is calculated in sequential discrete and continuous steps. The first step considers the geometric consensus of graph-like constellations formed by contours in particular localities. The second step models the majority of contours as a 2.5D Gaussian mixture model, which is used to calculate correlation and optimize relative transform in continuous space. A retrieval key is designed to accelerate the search of a database indexed by layered KD-trees. We validate the efficacy of our method by comparing it with recent works on public datasets.


title: Dispersive and kinetic effects on kinked Alfv\'en wave packets: a comparative study with fluid and hybrid models

abstract: We investigate dispersive and kinetic effects on the evolution of a two-dimensional kinked Alfv\'en wave packet by comparing results from MHD, Hall-MHD and hybrid simulations of a low-$\beta$ plasma. We find that the Hall term determines the overall evolution of the wave packet over a characteristic time $\tau^*=\tau_a\ell/d_i$ in both fluid and hybrid models. Dispersion of the wave packet leads to the conversion of the wave energy into internal plasma energy. When kinetic protons are considered, the proton internal energy increase has contributions from both plasma compressions and phase space mixing. The latter occurs in the direction parallel to the guiding mean magnetic field, due to protons resonating at the Alfv\'en speed with a compressible mode forced by the wave packet. Implications of our results for switchbacks observations and solar wind energetics are discussed.


title: Unconventional superconductivity and quantum criticality in SmN

abstract: Nitrogen vacancy doped SmN$_{1-\delta}$ is a semiconductor which lies in the intermediary between insulating-ferromagnetic SmN and metallic-anti-ferromagnetic Sm. The dopant electrons resulting from nitrogen vacancies have recently been predicted to lie in a band precipitated by a majority-spin 4$f$ level on the six Sm ions neighbouring each nitrogen vacancy, an in-gap state $\sim$1 eV below the 4$f$ states in stoichiometric SmN. Optical data reported here corroborate the prediction along with an extended computational study. Electrical transport measurements show the transition from an insulating to metallic state with a hopping type conductivity in dilutely doped films. We provide strong evidence that electron transport is mediated by a dispersion-less majority spin defect band implying triplet type superconductivity, the location of which in the SmN-Sm phase diagram suggests the location of a quantum critical point.


title: An inverse source problem for convective Brinkman-Forchheimer equations with the final overdetermination

abstract: In this paper, we examine an inverse problem for the following convective Brinkman-Forchheimer (CBF) equations or damped Navier-Stokes equations: \begin{align*} \boldsymbol{v}_t-\mu \Delta\boldsymbol{v}+(\boldsymbol{v}\cdot\nabla)\boldsymbol{v}+\alpha\boldsymbol{v}+\beta|\boldsymbol{v}|^{r-1}\boldsymbol{v}+\nabla p=\boldsymbol{F}:=\boldsymbol{f} g, \ \ \ \nabla\cdot\boldsymbol{v}=0, \end{align*} on a torus $\mathbb{T}^d$, $d=2,3$. The inverse problem under consideration consists of determining the vector-valued velocity function $\boldsymbol {v}$, the pressure gradient $\nabla p$ and the vector-valued forcing function $\boldsymbol{f} $. Using the Tikhonov fixed point theorem, we prove the existence of a solution for the inverse problem for 2D and 3D CBF equations with the final overdetermination data for the divergence free initial data in the energy space $ \mathbb{L}^2(\mathbb{T}^d)$. A concrete example is also provided to validate the obtained result. Moreover, we overcome the technical difficulties while proving the uniqueness and H\"older type stability results by using the regularity results available for the direct problem for CBF equations. The well-posedness results hold for $r \geq 1$ in two dimensions and for $r \geq 3$ in three dimensions for appropriate values of $\alpha,\mu$ and $\beta$. The nonlinear damping term $|\boldsymbol{v}|^{r-1}\boldsymbol{v}$ plays a crucial role in obtaining the required results. In the case of supercritical growth ($r>3$), we obtain better results than that are available in the literature for 2D Navier-Stokes equations.


title: Fitting power spectrum of scalar perturbations for primordial black hole production during inflation

abstract: We propose a simple analytic fit for the power spectrum of scalar (curvature) perturbations during inflation, in order to describe slow roll of inflaton and formation of primordial black holes in the early universe, in the framework of single-field models. Our fit is given by a sum of the power spectrum in the slow-roll approximation, needed for a viable description of the cosmic microwave background radiation in agreement with Planck/BICEP/Keck measurements, and the log-normal (Gaussian) fit for the power spectrum enhancement (peak) needed for efficient production of primordial black holes. We use the T-type $\alpha$-attractor models in order to describe slow-roll inflation. Demanding the location and height of the peak to yield the masses of primordial black holes in the asteroid-size window allowed for the whole (current) dark matter to be composed of the primordial black holes, we find the restrictions on the remaining parameters and, most notably, on the width of the peak.


title: General Position Problem of Butterfly Networks

abstract: A general position set S is a set S of vertices in G(V,E) such that no three vertices of S lie on a shortest path in G. Such a set of maximum size in G is called a gpset of G and its cardinality is called the gp-number of G denoted by gp(G). The authors who introduced the general position problem stated that the general position problem for butterfly networks was open. A well-known technique to solve the general position problem for a given network is to use its isometric path cover number as an upper bound. The general position problem for butterfly networks remained open because this technique is not applicable for butterfly networks. In this paper, we adopt a new technique which uses the isometric cycle cover number as its upper bound. This technique is interesting and useful because it opens new avenues to solve the general position problem for networks which do not have solutions yet.


title: Identifying Semantically Difficult Samples to Improve Text Classification

abstract: In this paper, we investigate the effect of addressing difficult samples from a given text dataset on the downstream text classification task. We define difficult samples as being non-obvious cases for text classification by analysing them in the semantic embedding space; specifically - (i) semantically similar samples that belong to different classes and (ii) semantically dissimilar samples that belong to the same class. We propose a penalty function to measure the overall difficulty score of every sample in the dataset. We conduct exhaustive experiments on 13 standard datasets to show a consistent improvement of up to 9% and discuss qualitative results to show effectiveness of our approach in identifying difficult samples for a text classification model.


title: On the Doppler Squint Effect in OTFS Systems over Doubly-Dispersive Channels: Modeling and Evaluation

abstract: Extensive work has demonstrated the excellent performance of orthogonal time frequency space (OTFS) modulation in high-mobility scenarios. Time-variant wideband channel estimation serves as one of the key compositions of OTFS receivers since the data detection requires accurate channel state information (CSI). In practical wideband OTFS systems, the Doppler shift brought by the high mobility is frequency-dependent, which is referred to as the Doppler Squint Effect (DSE). Unfortunately, DSE was ignored in overall prior estimation schemes employed in OTFS systems, which leads to severe performance loss in channel estimation and the consequent data detection. In this paper, we investigate DSE of wideband time-variant channel in delay-Doppler domain and concentrate on the characterization of OTFS channel coefficients considering DSE. The formulation and evaluation of OTFS input-output relationship are provided for both ideal and rectangular waveforms considering DSE. The channel estimation is therefore formulated as a sparse signal recovery problem and an orthogonal matching pursuit (OMP)-based scheme is adopted to solve it. Simulation results confirm the significance of DSE and the performance superiority compared with traditional channel estimation approaches ignoring DSE.


title: A class of 5D inhomogeneous models with a cosmological constant

abstract: In this work we would like to address the problem of the effect of bulk matter on the brane cosmological evolution in a general way. We assume that the spatial part of the brane metric is not maximally symmetric, therefore spatially inhomogeneous. However we retain the conformal flatness property of the standard cosmological model (FRW) i.e. the Weyl tensor of the induced 4D geometry is zero. We refer to it as Spatially Inhomogeneous Irrotational (SII) brane. It is shown that the model can be regarded as the 5D generalization of the SII spacetimes found recently [1].


title: Commuting upper triangular binary morphisms

abstract: A morphism $g$ from the free monoid $X^*$ into itself is called upper triangular if the matrix of $g$ is upper triangular. We characterize all upper triangular binary morphisms $g_1$ and $g_2$ such that $g_1g_2=g_2g_1$.


title: MeV Gamma-Ray Constraints for Light Dark Matter from Semi-Annihilation

abstract: Exploring the realm of Dark Matter research, Light DM, which has a mass in the range of 1 MeV to 1 GeV, is a fascinating topic both theoretically and experimentally. We assume that the light dark matter is composed of complex scalars and produced from semi-annihilation, which is close to the scale of the MeV Gamma-ray satellite, allowing us to explore the implications of this hypothesis. The experimental data we used to constrain the scenario is from five different sources: the COMPTEL, EGRET, INTEGRAL, Fermi Gamma-ray Space Telescope, and the e-ASTROGAM future reach. We use the analytical formula to measure the X-ray spectra allowing us to determine the annihilation cross-section bounds from $10^{-28}\mathrm{cm}^3/\mathrm{s}$ to $10^{-22}\mathrm{cm}^3/\mathrm{s}$ for different combinations of dark matter and mediator masses. We found that the MeV gamma-ray provides valuable insight into the structure of the semi-annihilation dark matter, where EGRET contributes to the stringent constraint to the semi-annihilation, and the e-ASTROGAM future reach could probe the whole parameter space of the model.


title: Generalized Periodicity in Group Cohomology

abstract: Given a finite group $G$, we introduce "encoding pairs," which are a pair of $G$-modules $M$ and $M'$ equipped with a shifted natural isomorphism between the cohomological functors $H^\bullet(G,\mathrm{Hom}_\mathbb Z(M,-))$ and $H^\bullet(G,\mathrm{Hom}_\mathbb Z(M',-))$. Studying these encoding pairs generalizes the theory of periodic cohomology for finite groups, allowing us to generalize the cohomological input of a theorem due to Swan that roughly says that a finite group with periodic cohomology acts feely on some sphere.


title: Simultaneous control for the heat equation with dirichlet and neumann boundary conditions

abstract: It is well known that both the heat equation with Dirichlet or Neumann boundary conditions are null controlable as soon as the control acts in a non trivial domain (i.e. a set of positive measure, see [10, 11, 12, 1, 6]. In this article, we show that for any couple of initial data (u0, v0) we can achieve the null control for both equations (Dirichlet and Neumann boundary conditions respectively) simultaneously with the same control function for both equations.