title: A Case Study of the Picture Rocks Sun Dagger, Plus a Review of the Intentionality of Sun Daggers

abstract: The Picture Rocks Sun Dagger is a spiral petroglyph on a hillside northwest of Tucson that shows sun dagger events at both the summer solstice and the equinoxes. On each of these dates, a wedge-shaped sunbeam with opening angles 20{\deg}-30{\deg} touches the center of the spiral, with both of these being confidently intentionally constructed by peoples of the Hohokam culture c. 800--1300 AD. More generally for claimed sun daggers throughout the American Southwest, the critical question is whether the ancient indigenous peoples intentionally placed the petroglyph so as to create a solar marker. The confident starting point for proving the intentionality of sun daggers in general is a histogram measured by the Prestons showing highly significant peaks for indicated declinations within 2{\deg} of -23.4{\deg}, 0.0{\deg}, and +23.4{\deg}, with this being not by chance. In a review of solsticial and equinoctal sun daggers, we find that they all have beams of light shaped like a long-thin triangle with an apex opening angle of <40{\deg} that touches the center of the petroglyph symbol. The majority of the sun daggers use a spiral petroglyph, with circles and other symbols being used. Where a spiral or circular petroglyph has a coincidental light/shadow display, the false alarm rate is measured to be 20% to 33%. Sun daggers that have indicated declinations other than +-23.4{\deg} or 0.0{\deg} are false alarms, including claims for alignments to cross-quarter days and lunar standstills, which are certainly wrong. Intentional sun daggers are not related to any form of calendric regulation, astronomical tools, or public ceremony. Rather, abundant ethnographic evidence shows that sun daggers are a part of sites, called Sun Shrines, where a local Sun watcher would have lone vigils, with offerings and prayers to the gods on the solstices and equinoxes.


title: Bounds for $\rm GL_2\times GL_2$ $L$-functions in depth aspect

abstract: Let $f$ and $g$ be holomorphic or Maass cusp forms for $\rm SL_2(\mathbb{Z})$ and let $\chi$ be a primitive Dirichlet character of prime power conductor $\mathfrak{q}=p^{\kappa}$ with $p$ prime and $\kappa>12$. A subconvex bound for the central values of the Rankin-Selberg $L$-functions $L(s,f\otimes g \otimes \chi)$ is proved in the depth-aspect $$ L\left(\frac{1}{2},f\otimes g \otimes \chi\right)\ll_{f,g,\varepsilon} p^{3/4}\mathfrak{q}^{15/16+\varepsilon}. $$


title: Experience: Quality Benchmarking of Datasets Used in Software Effort Estimation

abstract: Data is a cornerstone of empirical software engineering (ESE) research and practice. Data underpin numerous process and project management activities, including the estimation of development effort and the prediction of the likely location and severity of defects in code. Serious questions have been raised, however, over the quality of the data used in ESE. Data quality problems caused by noise, outliers, and incompleteness have been noted as being especially prevalent. Other quality issues, although also potentially important, have received less attention. In this study, we assess the quality of 13 datasets that have been used extensively in research on software effort estimation. The quality issues considered in this article draw on a taxonomy that we published previously based on a systematic mapping of data quality issues in ESE. Our contributions are as follows: (1) an evaluation of the "fitness for purpose" of these commonly used datasets and (2) an assessment of the utility of the taxonomy in terms of dataset benchmarking. We also propose a template that could be used to both improve the ESE data collection/submission process and to evaluate other such datasets, contributing to enhanced awareness of data quality issues in the ESE community and, in time, the availability and use of higher-quality datasets.


title: On pointwise a.e. convergence of multilinear operators

abstract: In this work we obtain the pointwise almost everywhere convergence for two families of multilinear operators: (a) truncated homogeneous singular integral operators associated with $L^q$ functions on the sphere and (b) lacunary multiplier operators of limited decay. The a.e. convergence is deduced from the $L^2\times\cdots\times L^2\to L^{2/m}$ boundedness of the associated maximal multilinear operators.


title: Modeling confirmation bias and peer pressure in opinion dynamics

abstract: Confirmation bias and peer pressure both have substantial impacts on the formation of collective decisions. Nevertheless, few attempts have been made to study how the interplay between these two mechanisms affects public opinion evolution. Here we propose an agent-based model of opinion dynamics which incorporates the conjugate effect of confirmation bias (characterized by the population identity scope and individual stubbornness) and peer pressure (described by a susceptibility threshold). We show that the number of opinion fragments first increases and then decreases to one as population identity scope becomes larger in a homogeneous population. Further, in heterogeneous situations, we find that even a small fraction of impressionable individuals who are sensitive to peer pressure could help eliminate public polarization when population identity scope is relatively large. Intriguingly, we highlight the emergence of 'impressionable moderates' who are easily influenced, hold wavering opinions, and are of vital significance in competitive campaigns.


title: Topics and Treatments in Global Software Engineering Research: A Systematic Snapshot

abstract: This study presents an analysis of the most recent literature addressing global software engineering (GSE). We examine the current state of GSE research using a new Systematic Snapshot Mapping (SSM) technique. We analysed 275 papers published between January 2011 and June 2012 in peer-reviewed conferences, journals and workshops. Our results provide a coarse-grained overview of the very recent literature addressing GSE, by classifying studies into predefined categories. We also follow and extend several prior classifications to support our synthesis of the data. Our results reveal that currently GSE studies are focused on Management and Infrastructure related factors. Most of the studies are conducted at the organizational level using methods such as interviews, surveys, field studies and case studies. We use inter-country network analysis to confirm that the USA and India are major players in GSE, with USA-India collaborations being the most frequently studied, followed by USA-China. Specific groups of countries have dominated the reported GSE project locations. In contrast, regions including Central Asia, South Asia (except India), Africa and South East Asia have not been covered in these studies. While a considerable number of GSE-related studies have been published they are currently quite narrowly focused on exploratory research and explanatory theories. The critical research paradigm has been untouched, perhaps due to a lack of criteria and principles for carrying out such research in GSE. An absence of formulative research, experimentation and simulation, and a comparative focus on evaluative approaches, all suggest that existing tools, methods and approaches from related fields are being tested in the GSE context. However, these solutions may not scale to cover GSE-related issues or may overlook factors/facets specific to GSE.


title: Analyzing the Performance of Graph Neural Networks with Pipe Parallelism

abstract: Many interesting datasets ubiquitous in machine learning and deep learning can be described via graphs. As the scale and complexity of graph-structured datasets increase, such as in expansive social networks, protein folding, chemical interaction networks, and material phase transitions, improving the efficiency of the machine learning techniques applied to these is crucial. In this study, we focus on Graph Neural Networks (GNN) that have found great success in tasks such as node or edge classification and link prediction. However, standard GNN models have scaling limits due to necessary recursive calculations performed through dense graph relationships that lead to memory and runtime bottlenecks. While new approaches for processing larger networks are needed to advance graph techniques, and several have been proposed, we study how GNNs could be parallelized using existing tools and frameworks that are known to be successful in the deep learning community. In particular, we investigate applying pipeline parallelism to GNN models with GPipe, introduced by Google in 2018.


title: Noise-robust classification of single-shot electron spin readouts using a deep neural network

abstract: Single-shot readout of charge and spin states by charge sensors such as quantum point contacts and quantum dots are essential technologies for the operation of semiconductor spin qubits. The fidelity of the single-shot readout depends both on experimental conditions such as signal-to-noise ratio, system temperature and numerical parameters such as threshold values. Accurate charge sensing schemes that are robust under noisy environments are indispensable for developing a scalable fault-tolerant quantum computation architecture. In this study, we present a novel single-shot readout classification method that is robust to noises using a deep neural network (DNN). Importantly, the DNN classifier is automatically configured for spin-up and spin-down signals in any noise environment by tuning the trainable parameters using the datasets of charge transition signals experimentally obtained at a charging line. Moreover, we verify that our DNN classification is robust under noisy environment in comparison to the two conventional classification methods used for charge and spin state measurements in various quantum dot experiments.


title: Tidal response and near-horizon boundary conditions for spinning exotic compact objects

abstract: Teukolsky equations for $|s|=2$ provide efficient ways to solve for curvature perturbations around Kerr black holes. Imposing regularity conditions on these perturbations on the future (past) horizon corresponds to imposing an in-going (out-going) wave boundary condition. For exotic compact objects (ECOs) with external Kerr spacetime, however, it is not yet clear how to physically impose boundary conditions for curvature perturbations on their boundaries. We address this problem using the Membrane Paradigm, by considering a family of fiducial observers (FIDOs) that float right above the horizon of a linearly perturbed Kerr black hole. From the reference frame of these observers, the ECO will experience tidal perturbations due to in-going gravitational waves, respond to these waves, and generate out-going waves. As it also turns out, if both in-going and out-going waves exist near the horizon, the Newman Penrose (NP) quantity $\psi_0$ will be numerically dominated by the in-going wave, while the NP quantity $\psi_4$ will be dominated by the out-going wave. In this way, we obtain the ECO boundary condition in the form of a relation between $\psi_0$ and the complex conjugate of $\psi_4$, in a way that is determined by the ECO's tidal response in the FIDO frame. We explore several ways to modify gravitational-wave dispersion in the FIDO frame, and deduce the corresponding ECO boundary condition for Teukolsky functions. We subsequently obtain the boundary condition for $\psi_4$ alone, as well as for the Sasaki-Nakamura and Detweiler's functions. As it also turns out, reflection of spinning ECOs will generically mix between different $\ell$ components of the perturbations fields, and be different for perturbations with different parities. We also apply our boundary condition to computing gravitational-wave echoes from spinning ECOs, and solve for the spinning ECOs' quasi-normal modes.


title: International Workshop on Next Generation Gamma-Ray Source

abstract: A workshop on The Next Generation Gamma-Ray Sources sponsored by the Office of Nuclear Physics at the Department of Energy, was held November 17--19, 2016 in Bethesda, Maryland. The goals of the workshop were to identify basic and applied research opportunities at the frontiers of nuclear physics that would be made possible by the beam capabilities of an advanced laser Compton beam facility. To anchor the scientific vision to realistically achievable beam specifications using proven technologies, the workshop brought together experts in the fields of electron accelerators, lasers, and optics to examine the technical options for achieving the beam specifications required by the most compelling parts of the proposed research programs. An international assembly of participants included current and prospective $\gamma$-ray beam users, accelerator and light-source physicists, and federal agency program managers. Sessions were organized to foster interactions between the beam users and facility developers, allowing for information sharing and mutual feedback between the two groups. The workshop findings and recommendations are summarized in this whitepaper.


title: PTN: A Poisson Transfer Network for Semi-supervised Few-shot Learning

abstract: The predicament in semi-supervised few-shot learning (SSFSL) is to maximize the value of the extra unlabeled data to boost the few-shot learner. In this paper, we propose a Poisson Transfer Network (PTN) to mine the unlabeled information for SSFSL from two aspects. First, the Poisson Merriman Bence Osher (MBO) model builds a bridge for the communications between labeled and unlabeled examples. This model serves as a more stable and informative classifier than traditional graph-based SSFSL methods in the message-passing process of the labels. Second, the extra unlabeled samples are employed to transfer the knowledge from base classes to novel classes through contrastive learning. Specifically, we force the augmented positive pairs close while push the negative ones distant. Our contrastive transfer scheme implicitly learns the novel-class embeddings to alleviate the over-fitting problem on the few labeled data. Thus, we can mitigate the degeneration of embedding generality in novel classes. Extensive experiments indicate that PTN outperforms the state-of-the-art few-shot and SSFSL models on miniImageNet and tieredImageNet benchmark datasets.


title: Regularity of the Vlasov-Poisson-Boltzmann System without angular cutoff

abstract: In this paper we study the regularity of the non-cutoff Vlasov-Poisson-Boltzmann system for plasma particles of two species in the whole space $\mathbb{R}^3$ with hard potential. The existence of global-in-time nearby Maxwellian solutions is known for soft potential from [15]. However the smoothing effect of these solutions has been a challenging open problem. We establish the global existence and regularizing effect to the Cauchy problem for hard potential with large time decay. Hence, the solutions are smooth with respect to $(t,x,v)$ for any positive time $t>0$. This gives the regularity to Vlasov-Poisson-Boltzmann system, which enjoys a similar smoothing effect as Boltzmann equation. The proof is based on the time-weighted energy method building also upon the pseudo-differential calculus.


title: Optimal Resilience in Systems that Mix Shared Memory and Message Passing

abstract: We investigate the minimal number of failures that can partition a system where processes communicate both through shared memory and by message passing. We prove that this number precisely captures the resilience that can be achieved by algorithms that implement a variety of shared objects, like registers and atomic snapshots, and solve common tasks, like randomized consensus, approximate agreement and renaming. This has implications for the m&m-model and for the hybrid, cluster-based model.


title: Power mixture forward performance processes

abstract: We consider the forward investment problem in market models where the stock prices are continuous semimartingales adapted to a Brownian filtration. We construct a broad class of forward performance processes with initial conditions of power mixture type, $u(x) = \int_{\mathbb{I}} \frac{x^{1-\gamma}}{1-\gamma }\nu(\mathrm{d} \gamma)$. We proceed to define and fully characterize two-power mixture forward performance processes with constant risk aversion coefficients in the interval $(0,1)$, and derive properties of two-power mixture forward performance processes when the risk aversion coefficients are continuous stochastic processes. Finally, we discuss the problem of managing an investment pool of two investors, whose respective preferences evolve as power forward performance processes.


title: IntersectX: An Efficient Accelerator for Graph Mining

abstract: Graph pattern mining applications try to find all embeddings that match specific patterns. Compared to the traditional graph computation, graph mining applications are computation-intensive. The state-of-the-art method, pattern enumeration, constructs the embeddings that match the pattern. The key operation -- intersection -- of two edge lists, poses challenges to conventional architectures and requires substantial execution time. In this paper, we propose IntersectX, a vertically designed accelerator for pattern enumeration with stream instruction set extension and architectural supports based on conventional processor. The stream based ISA can be considered as a natural extension to the traditional instructions that operate on scalar values. We develop the IntersectX architecture composed of specialized mechanisms that efficiently implement the stream ISA extensions, including: (1) Stream Mapping Table (SMT) that records the mapping between stream ID and stream register; (2) the read-only Stream Cache (S-Cache) that enables efficient stream data movements; (3) tracking the dependency between streams with a property of intersection; (4) Stream Value Processing Unit (SVPU) that implements sparse value computations; and (5) the nested intersection translator that generates micro-op sequences for implementing nested intersections. We implement IntersectX ISA and architecture on zSim, and test it with seven popular graph mining applications (triangle/three-chain/tailed-traingle counting, 3-motif mining, 4/5-clique counting, and FSM) on ten real graphs. We develop our own implementation of AutoMine (InHouseAutomine). The results show that IntersectX significantly outperforms InHouseAutomine on CPU, on average 10.7 times and up to 83.9 times ; and GRAMER, a state-of-the-art graph pattern mining accelerator, based on exhaustive check, on average 40.1 times and up to 181.8 times.


title: Isometric embeddings of Banach spaces under optimal projection constants

abstract: Let $X$ be a Banach space with separable dual. It is proved that for every $\varepsilon\in (0,1)$, $X$ embeds isometrically into a Banach space $W$ with a shrinking basis $(w_n)$ which is $(1+ \varepsilon)$-monotone. Moreover, if $X$ has further an FDD $(E_n)$ whose strong bimonotonicity projection constant is not larger than $\mathcal{D}$, then $(w_n)$ has strong bimonotonicity projection constant not exceeding $\mathcal{D}(1 +\varepsilon)$. Further, if $(E_n)$ is $\mathcal{C}$-unconditional then $(w_n)$ is $\mathcal{C}(1 + \varepsilon)$-unconditional. The proof uses renorming and skipped blocking decomposition techniques. As an application, we prove that every Banach space having a shrinking $\mathcal{D}$-unconditional basis with $\mathcal{D}<\sqrt{6}-1$, has the weak fixed point property.


title: Random orthonormal polynomials: local universality and expected number of real roots

abstract: We consider random orthonormal polynomials $$ F_{n}(x)=\sum_{i=0}^{n}\xi_{i}p_{i}(x), $$ where $\xi_{0}$, \dots, $\xi_{n}$ are independent random variables with zero mean, unit variance and uniformly bounded $(2+\ep)$ moments, and $(p_n)_{n=0}^{\infty}$ is the system of orthonormal polynomials with respect to a fixed compactly supported measure on the real line. Under mild technical assumptions satisfied by many classes of classical polynomial systems, we establish universality for the leading asymptotics of the average number of real roots of $F_n$, both globally and locally. Prior to this paper, these results were known only for random orthonormal polynomials with Gaussian coefficients \cite{lubinsky2016linear} using the Kac-Rice formula, a method that does not extend to the generality of our paper.


title: On Almost periodicity and minimality for semiflows

abstract: In topological dynamics, the dynamical behavior sometimes has a sharp contrast when the action is by semigroups or monoids to when the action is by groups. In this article we bring out this contrast while discussing the equivalence of almost periodicity and minimality, and some implications when every point is an almost periodic point.


title: Visual Speech Enhancement Without A Real Visual Stream

abstract: In this work, we re-think the task of speech enhancement in unconstrained real-world environments. Current state-of-the-art methods use only the audio stream and are limited in their performance in a wide range of real-world noises. Recent works using lip movements as additional cues improve the quality of generated speech over "audio-only" methods. But, these methods cannot be used for several applications where the visual stream is unreliable or completely absent. We propose a new paradigm for speech enhancement by exploiting recent breakthroughs in speech-driven lip synthesis. Using one such model as a teacher network, we train a robust student network to produce accurate lip movements that mask away the noise, thus acting as a "visual noise filter". The intelligibility of the speech enhanced by our pseudo-lip approach is comparable (< 3% difference) to the case of using real lips. This implies that we can exploit the advantages of using lip movements even in the absence of a real video stream. We rigorously evaluate our model using quantitative metrics as well as human evaluations. Additional ablation studies and a demo video on our website containing qualitative comparisons and results clearly illustrate the effectiveness of our approach. We provide a demo video which clearly illustrates the effectiveness of our proposed approach on our website: \url{http://cvit.iiit.ac.in/research/projects/cvit-projects/visual-speech-enhancement-without-a-real-visual-stream}. The code and models are also released for future research: \url{https://github.com/Sindhu-Hegde/pseudo-visual-speech-denoising}.


title: eTREE: Learning Tree-structured Embeddings

abstract: Matrix factorization (MF) plays an important role in a wide range of machine learning and data mining models. MF is commonly used to obtain item embeddings and feature representations due to its ability to capture correlations and higher-order statistical dependencies across dimensions. In many applications, the categories of items exhibit a hierarchical tree structure. For instance, human diseases can be divided into coarse categories, e.g., bacterial, and viral. These categories can be further divided into finer categories, e.g., viral infections can be respiratory, gastrointestinal, and exanthematous viral diseases. In e-commerce, products, movies, books, etc., are grouped into hierarchical categories, e.g., clothing items are divided by gender, then by type (formal, casual, etc.). While the tree structure and the categories of the different items may be known in some applications, they have to be learned together with the embeddings in many others. In this work, we propose eTREE, a model that incorporates the (usually ignored) tree structure to enhance the quality of the embeddings. We leverage the special uniqueness properties of Nonnegative MF (NMF) to prove identifiability of eTREE. The proposed model not only exploits the tree structure prior, but also learns the hierarchical clustering in an unsupervised data-driven fashion. We derive an efficient algorithmic solution and a scalable implementation of eTREE that exploits parallel computing, computation caching, and warm start strategies. We showcase the effectiveness of eTREE on real data from various application domains: healthcare, recommender systems, and education. We also demonstrate the meaningfulness of the tree obtained from eTREE by means of domain experts interpretation.


title: Understanding Feasibility Study Approach for Packaged Software Implementation by SMEs

abstract: Software engineering often no longer involves building systems from scratch, but rather integrating functionality from existing software and components or implementing packaged software. Conventional software engineering comprises a set of influential approaches that are often considered good practice, including structured programming, and collecting a complete set of test cases. However, these approaches do not apply well for packaged software (PS) implementation; hence this phenomenon requires independent consideration. To explore PS implementation, we conducted ethnographic studies in packaged software development companies, in particular, to understand aspects of the feasibility study approach for PS implementation. From an analysis of these cases, we conclude that firstly; the analyst has more of a hybrid analyst-sales-marketing role than the analyst in traditional RE feasibility study. Secondly; the use of a live scenario software demonstration in order to convince the client to buy into the PS may lead to increased perceived feasibility and reduced resistance to PS implementation. Thirdly; the assessment criteria that are used to estimate the effort and time needed for PS implementation are new features, level of customization, software 'output', and technical needs. Fourthly; the feasibility study for PS implementation differs strongly from traditional RE as the analyst mainly considers how to deal with requests for modifications to existing functions.


title: Inverse transfer of magnetic helicity in direct numerical simulations of compressible isothermal turbulence: helical transfers

abstract: The role of the different helical components of the magnetic and velocity fields in the inverse spectral transfer of magnetic helicity is investigated through Fourier shell-to-shell transfer analysis. Both magnetic helicity and energetic transfer analysis are performed on chosen data from direct numerical simulations of homogeneous isothermal compressible magnetohydrodynamic turbulence, subject to both a large-scale mechanical forcing and a small-scale helical electromotive driving. The root mean square Mach number of the hydrodynamic turbulent steady-state taken as initial condition varies from 0.1 to about 11. Three physical phenomena can be distinguished in the general picture of the spectral transfer of magnetic helicity towards larger spatial scales: local inverse transfer, non-local inverse transfer and local direct transfer. A shell decomposition allows to associate these three phenomena with clearly distinct velocity scales while the helical decomposition allows to establish the role of the different helical components and the compressive part of the velocity field on the different transfer processes. The locality and relative strength of the different helical contributions are mainly determined by the triad helical geometric factor.


title: Geometric Scene Refocusing

abstract: An image captured with a wide-aperture camera exhibits a finite depth-of-field, with focused and defocused pixels. A compact and robust representation of focus and defocus helps analyze and manipulate such images. In this work, we study the fine characteristics of images with a shallow depth-of-field in the context of focal stacks. We present a composite measure for focus that is a combination of existing measures. We identify in-focus pixels, dual-focus pixels, pixels that exhibit bokeh and spatially-varying blur kernels between focal slices. We use these to build a novel representation that facilitates easy manipulation of focal stacks. We present a comprehensive algorithm for post-capture refocusing in a geometrically correct manner. Our approach can refocus the scene at high fidelity while preserving fine aspects of focus and defocus blur.


title: Overcrowding estimates for zero count and nodal length of stationary Gaussian processes

abstract: Assuming certain conditions on the spectral measures of centered stationary Gaussian processes on $\mathbb{R}$ (or ${\mathbb{R}}^2$), we show that the probability of the event that their zero count in an interval (resp., nodal length in a square domain) is larger than $n$, where $n$ is much larger than the expected value of the zero count in that interval (resp., nodal length in that square domain), is exponentially small in $n$.


title: Reinforcement Learning-based Product Delivery Frequency Control

abstract: Frequency control is an important problem in modern recommender systems. It dictates the delivery frequency of recommendations to maintain product quality and efficiency. For example, the frequency of delivering promotional notifications impacts daily metrics as well as the infrastructure resource consumption (e.g. CPU and memory usage). There remain open questions on what objective we should optimize to represent business values in the long term best, and how we should balance between daily metrics and resource consumption in a dynamically fluctuating environment. We propose a personalized methodology for the frequency control problem, which combines long-term value optimization using reinforcement learning (RL) with a robust volume control technique we termed "Effective Factor". We demonstrate statistically significant improvement in daily metrics and resource efficiency by our method in several notification applications at a scale of billions of users. To our best knowledge, our study represents the first deep RL application on the frequency control problem at such an industrial scale.


title: Probing the reheating phase through primordial magnetic field and CMB

abstract: Inflationary magnetogenesis has long been assumed to be the most promising mechanism for producing large-scale magnetic fields in our universe. However, generically, such models are plagued with either backreaction or strong coupling problems within the standard framework. This paper has shown that the reheating phase can play a crucial role in alleviating those problems along with CMB. Assuming the electrical conductivity to be negligible during the entire period of reheating, the classic Faraday electromagnetic induction changes the magnetic field's dynamics drastically. Our detailed analysis reveals that this physical phenomenon not only converts a large class of magnetogenesis model observationally viable without any theoretical problem but also can uniquely fix the perturbative average inflaton equation of state, $\omega_{\phi} = (p+2)/(p+2)$ during reheating given a specific value of the large scale magnetic field. This observation hints the inflaton to assume the potential of form $V(\phi) \sim \phi^p$ near its minimum with $p \gtrsim 3.5$ if one considers the limit of the present-day strength of the large scale magnetic field to be $\mathcal{P}_{B0}^{\frac{1}{2}} \gtrsim 10^{-18}$ G. Our analysis opens up a new avenue towards constraining the inflationary and magnetogenesis model together via reheating.


title: Anchor-Based Spatio-Temporal Attention 3D Convolutional Networks for Dynamic 3D Point Cloud Sequences

abstract: With the rapid development of measurement technology, LiDAR and depth cameras are widely used in the perception of the 3D environment. Recent learning based methods for robot perception most focus on the image or video, but deep learning methods for dynamic 3D point cloud sequences are underexplored. Therefore, developing efficient and accurate perception method compatible with these advanced instruments is pivotal to autonomous driving and service robots. An Anchor-based Spatio-Temporal Attention 3D Convolution operation (ASTA3DConv) is proposed in this paper to process dynamic 3D point cloud sequences. The proposed convolution operation builds a regular receptive field around each point by setting several virtual anchors around each point. The features of neighborhood points are firstly aggregated to each anchor based on the spatio-temporal attention mechanism. Then, anchor-based 3D convolution is adopted to aggregate these anchors' features to the core points. The proposed method makes better use of the structured information within the local region and learns spatio-temporal embedding features from dynamic 3D point cloud sequences. Anchor-based Spatio-Temporal Attention 3D Convolutional Neural Networks (ASTA3DCNNs) are built for classification and segmentation tasks based on the proposed ASTA3DConv and evaluated on action recognition and semantic segmentation tasks. The experiments and ablation studies on MSRAction3D and Synthia datasets demonstrate the superior performance and effectiveness of our method for dynamic 3D point cloud sequences. Our method achieves the state-of-the-art performance among the methods with dynamic 3D point cloud sequences as input on MSRAction3D and Synthia datasets.


title: Memory AMP

abstract: Approximate message passing (AMP) is a low-cost iterative parameter-estimation technique for certain high-dimensional linear systems with non-Gaussian distributions. AMP only applies to independent identically distributed (IID) transform matrices, but may become unreliable (e.g., perform poorly or even diverge) for other matrix ensembles, especially for ill-conditioned ones. To solve this issue, orthogonal/vector AMP (OAMP/VAMP) was proposed for general right-unitarily-invariant matrices. However, the Bayes-optimal OAMP/VAMP (BO-OAMP/VAMP) requires a high-complexity linear minimum mean square error (MMSE) estimator. This prevents OAMP/VAMP from being used in large-scale systems. To address the drawbacks of AMP and BO-OAMP/VAMP, this paper offers a memory AMP (MAMP) framework based on the orthogonality principle, which ensures that estimation errors in MAMP are asymptotically IID Gaussian. To realize the required orthogonality for MAMP, we provide an orthogonalization procedure for the local memory estimators. In addition, we propose a Bayes-optimal MAMP (BO-MAMP), in which a long-memory matched filter is used for interference suppression. The complexity of BO-MAMP is comparable to AMP. To asymptotically characterize the performance of BO-MAMP, a state evolution is derived. The relaxation parameters and damping vector in BO-MAMP are optimized based on state evolution. Most crucially, the state evolution of the optimized BO-MAMP converges to the same fixed point as that of the high-complexity BO-OAMP/VAMP for all right-unitarily-invariant matrices, and achieves the Bayes optimal MSE predicted by the replica method if its state evolution has a unique fixed point. Finally, simulations are provided to verify the theoretical results' validity and accuracy.

categories: cs.IT cs.AI cs.LG eess.SP math.IT math.ST stat.TH


title: Twisted kink crystal in holographic superconductor

abstract: Holographic superconductor model represents various inhomogeneous solutions with homogeneous sources. In this paper, we study inhomogeneous structures in the presence of the homogeneous current and the chemical potential. We find single complex kink condensates, multiple complex kinks condensates and twisted kink crystal condensates in which both the amplitude and the phase of the order parameter modulate in space. Analyzing the gauge-invariant phase difference in the single complex kink condensates, we find the non-monotonic behaviour with respect to the current. We confirm that the multiple complex kinks condensates and the twisted kink crystal condensates are well described by the analytic solutions obtained from the Gross-Neveu model or the Nambu-Jona-Lasinio model. We also analyze the thermodynamic stability of the complex kink(s) condensates by computing the free energy. Our results imply that holographic superconductor model provides the boundary physics which is effectively represented by the Ginzburg-Landau theory with higher corrections.

categories: hep-th cond-mat.str-el cond-mat.supr-con gr-qc


title: Path Planning and Obstacle Avoidance Scheme for Autonomous Robots using Raspberry Pi

abstract: With the incremental development of robotic platforms to automate the manual processes, path planning has become a critical domain with or without the knowledge of the indoor and outdoor environment. The algorithms can be intelligent or pre-structured and should optimally reach the destination efficiently. The major challenge in this domain is to find a path which is free from static obstacles as well as dynamic obstacles. In this paper, a methodology is proposed with the implementation details of the robotic platform to cover the critical key points and to arrive at the original key point in a dynamic environment. The main computation is happening inside a Raspberry Pi B+ module, and compass, wheel encoders and ultrasonic sensors were used in the implementation for the localization of the robot to relevant key points.


title: Boundary conditions for nonlocal one-sided pseudo-differential operators and the associated stochastic processes I

abstract: We connect boundary conditions for one-sided pseudo-differential operators with the generators of modified one-sided L\'evy processes. On one hand this allows modellers to use appropriate boundary conditions with confidence when restricting the modelling domain. On the other hand it allows for numerical techniques based on differential equation solvers to obtain fast approximations of densities or other statistical properties of restricted one-sided L\'evy processes encountered, for example, in finance. In particular we identify a new nonlocal mass conserving boundary condition by showing it corresponds to fast-forwarding, i.e. removing the time the process spends outside the domain. We treat all combinations of killing, reflecting and fast-forwarding boundary conditions. In Part I we show wellposedness of the backward and forward Cauchy problems with a one-sided pseudo-differential operator with boundary conditions as generator. We do so by showing convergence of Feller semigroups based on grid point approximations of the modified L\'evy process. In Part II we show that the limiting Feller semigroup is indeed the semigroup associated with the modified L\'evy process by showing continuity of the modifications with respect to the Skorokhod topology.


title: Generation and Breakdown of Surface Streaks in Wind-Driven Aqueous Flow

abstract: A bypass transition scenario in a wind-stress driven aqueous flow is analysed using a temporally developing boundary layer model with accelerating surface drift velocity. The parameters of the model are selected to mimic a wave-tank experiment with a reference wind speed of 5 m/s. To study the boundary layer processes in isolation, a flat free surface is adapted, which inhibits the initiation of waves. First, preferred initial perturbations to which the boundary layer is the most sensitive are identified using linear non-normal growth theory. These perturbations are arranged as streamwise-constant vortex pairs located adjacent to the free surface. Subsequently, direct numerical simulations are initialized with these optimal perturbations and streamwise streaks are generated. High-speed streaks penetrate into deeper water layers and undergo sinuous instabilities reminiscent of the instabilities developing on low-speed streaks in wall-bounded flows. Streak instabilities induce lateral undulations at the free surface, which closely resemble the dye patterns before the onset of waves in wind-wave-tank experiments. The present analysis provides a theoretical background for these experimental observations.


title: Market-level Analysis of Government-backed COVID-19 Contact Tracing Apps

abstract: To help curb the spread of the COVID-19 pandemic, governments and public health authorities around the world have launched a number of contact-tracing apps. Although contact tracing apps have received extensive attentions from the research community, no existing work has characterized the users' adoption of contact tracing apps from the app market level. In this work, we perform the first market-level analysis of contact tracing apps. We perform a longitudinal empirical study (over 4 months) of eight government-backed COVID-19 contact tracing apps in iOS app store. We first collect all the daily meta information (e.g., app updates, app rating, app comments, etc.) of these contact tracing apps from their launch to 2020-07-31. Then we characterize them from release practice, app popularity, and mobile users' feedback. Our study reveals various issues related to contact tracing apps from the users' perspective, hoping to help improve the quality of contact tracing apps and thus achieving a high level of adoption in the population.


title: Humanoid Robot Pitch Axis Stabilization using Linear Quadratic Regulator with Fuzzy Logic and Capture Point

abstract: This paper aims for a controller that can stabilize a position-controlled humanoid robot when standing still or walking on synthetic grass even when subjected to external disturbances. Two types of controllers are designed and implemented: ankle strategy and stepping strategy. The robot's joints consist of position-controlled servos which can be complicated to model analytically due to nonlinearities and non-measurable parameters, hence the dynamic model of the humanoid robot is acquired using a non-recursive least squares system identification. This model is also used to design a Kalman Filter to estimate the system states from noisy inertial measurement unit (IMU) sensor and design a linear quadratic regulator (LQR) controller. To handle the nonlinearities, the LQR controller is extended with fuzzy logic algorithm that changes the LQR gain value based on angle and angular velocity membership functions. The proposed control system can maintain the humanoid robot's stability around the pitch axis when subject to pendulum disturbances or even restraining force from a spring balance.


title: Nonlinear Alfv\'en Wave Model of Stellar Coronae and Winds from the Sun to M dwarfs

abstract: M dwarf's atmosphere and wind is expected to be highly magnetized. The nonlinear propagation of Alfv\'en wave could play a key role in both heating the stellar atmosphere and driving the stellar wind. Along this Alfv\'en wave scenario, we carried out the one-dimensional compressive magnetohydrodynamic (MHD) simulation about the nonlinear propagation of Alfv\'en wave from the M dwarf's photosphere, chromosphere to the corona and interplanetary space. Based on the simulation results, we develop the semi-empirical method describing the solar and M dwarf's coronal temperature, stellar wind velocity, and wind's mass loss rate. We find that M dwarfs' coronae tend to be cooler than solar corona, and that M dwarfs' stellar winds would be characterized with faster velocity and much smaller mass loss rate compared to those of the solar wind.


title: Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions

abstract: Milner (1984) introduced a process semantics for regular expressions as process graphs. Unlike for the language semantics, where every regular (that is, DFA-accepted) language is the interpretation of some regular expression, there are finite process graphs that are not bisimilar to the process interpretation of any regular expression. For reasoning about graphs that are expressible by regular expressions modulo bisimilarity it is desirable to have structural representations of process graphs in the image of the interpretation. For `1-free' regular expressions, their process interpretations satisfy the structural property LEE (loop existence and elimination). But this is not in general the case for all regular expressions, as we show by examples. Yet as a remedy, we describe the possibility to recover the property LEE for a close variant of the process interpretation. For this purpose we refine the process semantics of regular expressions to yield process graphs with 1-transitions, similar to silent moves for finite-state automata. This report accompanies the paper with the same title in the post-proceedings of the workshop TERMGRAPH 2020. Here we give the proofs of not only one but of both of the two central theorems.


title: Computer Vision based Accident Detection for Autonomous Vehicles

abstract: Numerous Deep Learning and sensor-based models have been developed to detect potential accidents with an autonomous vehicle. However, a self-driving car needs to be able to detect accidents between other vehicles in its path and take appropriate actions such as to slow down or stop and inform the concerned authorities. In this paper, we propose a novel support system for self-driving cars that detects vehicular accidents through a dashboard camera. The system leverages the Mask R-CNN framework for vehicle detection and a centroid tracking algorithm to track the detected vehicle. Additionally, the framework calculates various parameters such as speed, acceleration, and trajectory to determine whether an accident has occurred between any of the tracked vehicles. The framework has been tested on a custom dataset of dashcam footage and achieves a high accident detection rate while maintaining a low false alarm rate.


title: Photoluminescence switching in a two-dimensional atomic crystal

abstract: Two-dimensional materials are an emerging class of new materials with a wide range of electrical and optical properties and potential applications. Single-layer structures of semiconducting transition metal dichalcogenides are gaining increasing attention for use in field-effect transistors. Here, we report a photoluminescence switching effect based on single-layer WSe2 transistors. Dual gates are used to tune the photoluminescence intensity. In particular, a side-gate is utilized to control the location of ions within a solid polymer electrolyte to form an electric double layer at the interface of electrolyte and WSe2 and induce a vertical electric field. Additionally, a back-gate is used to apply a 2nd vertical electric field. An on-off ratio of the light emission up to 90 was observed under constant pump light intensity. In addition, a blue shift of the photoluminescence line up to 36 meV was observed. We attribute this blue shift to the decrease of exciton binding energy due to the change of nonlinear in-plane dielectric constant and use it to determine the 3rd order off-diagonal susceptibility \c{hi}^((3) )=3.50*10^(-19)m2/V2.


title: Robust Alignment of Multi-Exposed Images with Saturated Regions

abstract: It is challenging to align multi-exposed images due to large illumination variations, especially in presence of saturated regions. In this paper, a novel image alignment algorithm is proposed to cope with the multi-exposed images with saturated regions. Specifically, the multi-exposed images are first normalized by using intensity mapping functions (IMFs) in consideration of saturated pixels. Then, the normalized images are coded by using the local binary pattern (LBP). Finally, the coded images are aligned by formulating an optimization problem by using a differentiable Hamming distance. Experimental results show that the proposed algorithm outperforms state-of-the-art alignment methods for multi-exposed images in terms of alignment accuracy and robustness to exposure values.


title: Sequence-to-Sequence Contrastive Learning for Text Recognition

abstract: We propose a framework for sequence-to-sequence contrastive learning (SeqCLR) of visual representations, which we apply to text recognition. To account for the sequence-to-sequence structure, each feature map is divided into different instances over which the contrastive loss is computed. This operation enables us to contrast in a sub-word level, where from each image we extract several positive pairs and multiple negative examples. To yield effective visual representations for text recognition, we further suggest novel augmentation heuristics, different encoder architectures and custom projection heads. Experiments on handwritten text and on scene text show that when a text decoder is trained on the learned representations, our method outperforms non-sequential contrastive methods. In addition, when the amount of supervision is reduced, SeqCLR significantly improves performance compared with supervised training, and when fine-tuned with 100% of the labels, our method achieves state-of-the-art results on standard handwritten text recognition benchmarks.


title: Hierarchical Structure Design and Primary Energy Dispatching Strategy of Grid Energy Router

abstract: As a core device of energy Internet, the energy router is deployed to manage energy flow between the renewable energy and electric grid. In this paper, a hierarchical structure of grid energy router is proposed to greatly facilitate peer-to-peer energy sharing among energy routers. It can be placed at critical buses to make active distribution networks develop into multiple interconnected prosumer-based autonomous systems. To alleviate the mismatch between the medium-time dispatch and device-level control caused by the forecast error of distributed generation, a bi-level primary energy dispatching strategy is proposed to fully utilize the energy buffer of multiple grid energy routers. The power variation in short-time scale is well suppressed by sharing energy buffer in the upper-level control, and the energy buffer is further optimized to better absorb the variation. Combining measured information, the lower-level control is designed to track the optimized instruction of energy buffer in real-time scale, which is a distributed process. The power flow constraint is assumed to be handled by medium-time dispatch, and the current constraint of the device is only taken into consideration. Finally, simulation results demonstrate the effectiveness of proposed hierarchical structure and primary energy dispatching strategy of the grid energy router.


title: High-frequency dynamics of the implied volatility surface

abstract: We present a Hawkes modeling of the volatility surface's high-frequency dynamics and show how the Hawkes kernel coefficients govern the surface's skew and convexity. We provide simple sufficient conditions on the coefficients to ensure no-arbitrage opportunities of the surface. Moreover, these conditions reduce the number of the kernel's parameters to estimate. Finally, we show that at the macroscopic level, the surface is driven by a sum of risk factors whose volatility processes are rough.


title: Concrete Evaluation of the Random Probing Security

abstract: We study masked implementation's security when an adversary randomly probes each of its internal variables, intending to recover non-trivial knowledge about its secrets. We introduce a novel metric called Secret Recovery Probability (SRP) for assessing the informativeness of the probing leakages about the masked secrets. To evaluate SRP, our starting point is to describe the relations of the intermediate variables with a parity equation system where the target secret is an unknown of this system ...


title: Adaptive Bi-directional Attention: Exploring Multi-Granularity Representations for Machine Reading Comprehension

abstract: Recently, the attention-enhanced multi-layer encoder, such as Transformer, has been extensively studied in Machine Reading Comprehension (MRC). To predict the answer, it is common practice to employ a predictor to draw information only from the final encoder layer which generates the \textit{coarse-grained} representations of the source sequences, i.e., passage and question. Previous studies have shown that the representation of source sequence becomes more \textit{coarse-grained} from \textit{fine-grained} as the encoding layer increases. It is generally believed that with the growing number of layers in deep neural networks, the encoding process will gather relevant information for each location increasingly, resulting in more \textit{coarse-grained} representations, which adds the likelihood of similarity to other locations (referring to homogeneity). Such a phenomenon will mislead the model to make wrong judgments so as to degrade the performance. To this end, we propose a novel approach called Adaptive Bidirectional Attention, which adaptively exploits the source representations of different levels to the predictor. Experimental results on the benchmark dataset, SQuAD 2.0 demonstrate the effectiveness of our approach, and the results are better than the previous state-of-the-art model by 2.5$\%$ EM and 2.3$\%$ F1 scores.


title: Computer Vision based Animal Collision Avoidance Framework for Autonomous Vehicles

abstract: Animals have been a common sighting on roads in India which leads to several accidents between them and vehicles every year. This makes it vital to develop a support system for driverless vehicles that assists in preventing these forms of accidents. In this paper, we propose a neoteric framework for avoiding vehicle-to-animal collisions by developing an efficient approach for the detection of animals on highways using deep learning and computer vision techniques on dashcam video. Our approach leverages the Mask R-CNN model for detecting and identifying various commonly found animals. Then, we perform lane detection to deduce whether a detected animal is on the vehicle's lane or not and track its location and direction of movement using a centroid based object tracking algorithm. This approach ensures that the framework is effective at determining whether an animal is obstructing the path or not of an autonomous vehicle in addition to predicting its movement and giving feedback accordingly. This system was tested under various lighting and weather conditions and was observed to perform relatively well, which leads the way for prominent driverless vehicle's support systems for avoiding vehicular collisions with animals on Indian roads in real-time.


title: Possible Resolution of the Hubble Tension with Weyl Invariant Gravity

abstract: We explore cosmological implications of a genuinely Weyl invariant (WI) gravitational interaction. The latter reduces to general relativity in a particular conformal frame for which the gravitational coupling and active gravitational masses are fixed. Specifically, we consider a cosmological model in this framework that is {\it dynamically} identical to the standard model (SM) of cosmology. However, {\it kinematics} of test particles traveling in the new background metric is modified thanks to a new (cosmological) fundamental mass scale, $\gamma$, of the model. Since the lapse-function of the new metric is radially-dependent any incoming photon experiences (gravitational) red/blueshift in the {\it comoving} frame, unlike in the SM. Distance scales are modified as well due to the scale $\gamma$. The claimed $4.4\sigma$ tension level between the locally measured Hubble constant, $H_{0}$, with SH0ES and the corresponding value inferred from the cosmic microwave background (CMB) could then be significantly alleviated by an earlier-than-thought recombination. Assuming vanishing spatial curvature, either one of the Planck 2018 (P18) or dark energy survey (DES) yr1 data sets subject to the SH0ES prior imply that $\gamma^{-1}$ is $O(100)$ times larger than the Hubble scale, $H_{0}^{-1}$. Considering P18+SH0ES or P18+DES+SH0ES data set combinations, the odds against vanishing $\gamma$ are over 1000:1 and 2000:1, respectively, and the model is strongly favored over the SM with a deviance information criterion (DIC) gain $\gtrsim 10$ and $\gtrsim 12$, respectively. The tension is reduced in this model to $\sim 1.5$ and $1.3 \sigma$, respectively. We conclude that the $H_{0}$ tension may simply result from a yet unrecognized fundamental symmetry of the gravitational interaction -- Weyl invariance. (abridged)


title: Where, What, Whether: Multi-modal Learning Meets Pedestrian Detection

abstract: Pedestrian detection benefits greatly from deep convolutional neural networks (CNNs). However, it is inherently hard for CNNs to handle situations in the presence of occlusion and scale variation. In this paper, we propose W$^3$Net, which attempts to address above challenges by decomposing the pedestrian detection task into \textbf{\textit{W}}here, \textbf{\textit{W}}hat and \textbf{\textit{W}}hether problem directing against pedestrian localization, scale prediction and classification correspondingly. Specifically, for a pedestrian instance, we formulate its feature by three steps. i) We generate a bird view map, which is naturally free from occlusion issues, and scan all points on it to look for suitable locations for each pedestrian instance. ii) Instead of utilizing pre-fixed anchors, we model the interdependency between depth and scale aiming at generating depth-guided scales at different locations for better matching instances of different sizes. iii) We learn a latent vector shared by both visual and corpus space, by which false positives with similar vertical structure but lacking human partial features would be filtered out. We achieve state-of-the-art results on widely used datasets (Citypersons and Caltech). In particular. when evaluating on heavy occlusion subset, our results reduce MR$^{-2}$ from 49.3$\%$ to 18.7$\%$ on Citypersons, and from 45.18$\%$ to 28.33$\%$ on Caltech.


title: Software, Attacker and Asset-centric Approach for Improving Security in System Development Process

abstract: Secure development process is a procedure taken by developers to ensure the programs developed are following the general security standards and will always be up to date so that the outcomes are well secured and obedient. As a software developer, it is very crucial to implement and develop a highly secured and reliable program for clients and users. In this current digital world where everything is advancing faster than we can ever think of, most of the old security policies can no longer be implemented alone. The consequences and impacts that could be brought upon a company are really huge if the software applications are not secured according to the modern trend. Therefore, in this paper research is done to asses the security integration in software development process. The concept and the purpose of this research is to provide insight about the current issues and challenges faced by most of the software developers in terms of secure software development. With a better and clearer explanation of these issues, challenges, and methodologies adopted to overcome them are discussed which can potentially provide a better and higher level of security along with better software programmers and client relationship. To comply with future demands and threats, security concerns need to be involved in all phases while developing a software system. Therefore, an effort is made to investigate and contribute to this domain through this paper.


title: Metric connections with parallel twistor-free torsion

abstract: The torsion of every metric connection on a Riemannian manifold has three components: one totally skew-symmetric, one of vectorial type, and one of twistorial type. In this paper we classify complete simply connected Riemannian manifolds carrying a metric connection whose torsion is parallel, has non-zero vectorial component and vanishing twistorial component.


title: Water and Methanol Ice in L1544

abstract: Methanol and complex organic molecules have been found in cold starless cores, where a standard warm-up scenario would not work because of the absence of heat sources. A recent chemical model attributed the presence of methanol and large organics to the efficient chemical desorption and a class of neutral-neutral reactions that proceed fast at low temperatures in the gas phase. The model calls for a high abundance of methanol ice at the edge of the CO freeze-out zone in cold cloud cores. We performed medium resolution spectroscopy toward 3 field stars behind the starless core L1544 at 3 $\mu$m to constrain the methanol ice abundance and compare it with the model predictions. One of the field stars shows a methanol-ice abundance of 11% with respect to water ice. This is higher than the typical methanol abundance previously found in cold cloud cores (4%), but is 4.5 times smaller than predicted. The reason for the disagreement between the observations and the model calculations is not yet understood.


title: Outliers Detection Is Not So Hard: Approximation Algorithms for Robust Clustering Problems Using Local Search Techniques

abstract: In this paper, we consider two types of robust models of the $k$-median/$k$-means problems: the outlier-version ($k$-MedO/$k$-MeaO) and the penalty-version ($k$-MedP/$k$-MeaP), in which we can mark some points as outliers and discard them. In $k$-MedO/$k$-MeaO, the number of outliers is bounded by a given integer. In $k$-MedP/$k$-MeaP, we do not bound the number of outliers, but each outlier will incur a penalty cost. We develop a new technique to analyze the approximation ratio of local search algorithms for these two problems by introducing an adapted cluster that can capture useful information about outliers in the local and the global optimal solution. For $k$-MeaP, we improve the best known approximation ratio based on local search from $25+\varepsilon$ to $9+\varepsilon$. For $k$-MedP, we obtain the best known approximation ratio. For $k$-MedO/$k$-MeaO, there exists only two bi-criteria approximation algorithms based on local search. One violates the outlier constraint (the constraint on the number of outliers), while the other violates the cardinality constraint (the constraint on the number of clusters). We consider the former algorithm and improve its approximation ratios from $17+\varepsilon$ to $3+\varepsilon$ for $k$-MedO, and from $274+\varepsilon$ to $9+\varepsilon$ for $k$-MeaO.


title: LieTransformer: Equivariant self-attention for Lie Groups

abstract: Group equivariant neural networks are used as building blocks of group invariant neural networks, which have been shown to improve generalisation performance and data efficiency through principled parameter sharing. Such works have mostly focused on group equivariant convolutions, building on the result that group equivariant linear maps are necessarily convolutions. In this work, we extend the scope of the literature to self-attention, that is emerging as a prominent building block of deep learning models. We propose the LieTransformer, an architecture composed of LieSelfAttention layers that are equivariant to arbitrary Lie groups and their discrete subgroups. We demonstrate the generality of our approach by showing experimental results that are competitive to baseline methods on a wide range of tasks: shape counting on point clouds, molecular property regression and modelling particle trajectories under Hamiltonian dynamics.


title: Precipitate strengthening of pyramidal slip in Mg-Zn alloys

abstract: The mechanical properties of Mg-4wt.% Zn alloy single crystals along the [0001] orientation were measured through micropillar compression at 23C and 100C. Basal slip was dominant in the solution treated alloy, while pyramidal slip occurred in the precipitation hardened alloy. Pyramidal dislocations pass the precipitates by forming Orowan loops, leading to homogeneous deformation and to a strong hardening. The predictions of the yield stress based on the Orowan model were in reasonable agreement with the experimental data. The presence of rod-shape precipitates perpendicular to the basal plane leads to a strong reduction in the plastic anisotropy of Mg.


title: Three-body universality in ultracold $p$-wave resonant mixtures

abstract: We study three-body collisions within ultracold mixtures with resonant interspecies $p$-wave interactions. Our results for the three-body effective interaction strength and decay rate are crucial towards understanding the stability and lifetime of these dilute quantum fluids. On resonance, we find that a class of universal scattering pathways emerges, regardless of the details of the short-range interactions. This gives rise quite generally to a remarkable regime where three-body effective interactions dominate over both inelastic decay and two-body effective interactions. Additionally, we find a series of mass-ratio-dependent trimer resonances further from resonance.


title: Gaussian Estimates for Heat Kernels of Higher Order Schr\"odinger Operators with Potentials in Generalized Schechter Classes

abstract: Let $m\in\mathbb N$, $P(D):=\sum_{|\alpha|=2m}(-1)^m a_\alpha D^\alpha$ be a $2m$-order homogeneous elliptic operator with real constant coefficients on $\mathbb{R}^n$, and $V$ a measurable function on $\mathbb{R}^n$. In this article, the authors introduce a new generalized Schechter class concerning $V$ and show that the higher order Schr\"odinger operator $\mathcal{L}:=P(D)+V$ possesses a heat kernel that satisfies the Gaussian upper bound and the H\"older regularity when $V$ belongs to this new class. The Davies--Gaffney estimates for the associated semigroup and their local versions are also given. These results pave the way for many further studies on the analysis of $\mathcal{L}$.


title: Remarks on an extended $R^2$ model

abstract: Observation of the cosmic microwave background is consistent with the $R^2$ model. In the $R^2$ model, there exists a dimensionless constant which must be assigned a very large value to reconcile the model with the data. We show that the large value for this parameter can be used to propose an extended model. The scalar spectral index and the tensor-to-scalar ratio of the extended model have been obtained. Also, we obtain the three-point correlation function of the curvature perturbation to estimate the primordial non-Gaussianities of the extended model. It has been shown that the predictions of the extended model are in agreement with the observations.


title: PPGN: Phrase-Guided Proposal Generation Network For Referring Expression Comprehension

abstract: Reference expression comprehension (REC) aims to find the location that the phrase refer to in a given image. Proposal generation and proposal representation are two effective techniques in many two-stage REC methods. However, most of the existing works only focus on proposal representation and neglect the importance of proposal generation. As a result, the low-quality proposals generated by these methods become the performance bottleneck in REC tasks. In this paper, we reconsider the problem of proposal generation, and propose a novel phrase-guided proposal generation network (PPGN). The main implementation principle of PPGN is refining visual features with text and generate proposals through regression. Experiments show that our method is effective and achieve SOTA performance in benchmark datasets.


title: Stellar rotation as a new observable to test general relativity in the Galactic Center

abstract: S-stars in the Galactic Center are excellent testbeds of various general relativistic effects. While previous works focus on modeling their orbital motion around Sgr A*--the supermassive black hole in the Galactic Center--here we explore the possibility of using the rotation of S-stars to test the de Sitter precession predicted by general relativity. We show that by reorienting the rotation axes of S-stars, de Sitter precession will change the apparent width of the absorption lines in the stellar spectra. Our numerical simulations suggest that the newly discovered S4714 and S62 are best suited for such a test because of their small pericenter distances relative to Sgr A*. Depending on the initial inclination of the star, the line width would vary by as much as $20-76\,{\rm km\,s^{-1}}$ within a period of $20-40$ years. Such a variation is comparable to the current detection limit. Since the precession rate is sensitive to the orbital eccentricity and stellar quadrupole structure, monitoring the rotation of S-stars could also help us better constrain the orbital elements of the S-stars and their internal structures.


title: Schur Index and Extensions of Witt-Berman's Theorems

abstract: Let $G$ be a finite group, and $F$ a field of characteristic $0$ or prime to the order of $G$. In $1952$, Witt and in $1956$, Berman independently proved that the number of inequivalent irreducible $F$-representations of $G$ is equal to the number of $F$-conjugacy classes of the elements of $G$, where "$F$-conjugacy" was defined in a certain way. In this paper, we define $F$-conjugacy on $G$ in a natural way and give a proof of the above Witt-Berman theorem. In addition, we give an explicit formula for computing a primitive central idempotent (pci) of the group algebra $F[G]$ corresponding to an irreducible $F$-representation of $G$, which can be obtained from the "$F$-character table" of $G$. Let $G$ be a finite group with a normal subgroup $H$ of index $p$, a prime. In $1955$, in case $F$ is algebraically closed, Berman computed the primitive central idempotent (pci) of $F[G]$ corresponding to an irreducible $F$-representation of $G$, in terms of pci's of $F[H]$. In this paper, we give a complete proof of this Berman's theorem, and extend this result when $F$ is not necessarily algebraically closed. Also, using classical Schur's theory and Wedderburn's theory, we work out decomposition of induced representation of an irreducible $F$-representation of $H$, into irreducible components.


title: Probing the $L_\mu-L_\tau$ gauge boson at electron colliders

abstract: We investigate the minimal $U(1)_{L_\mu-L_\tau}$ model with extra heavy vector-like leptons or charged scalars. By studying the kinetic mixing between $U(1)_{L_\mu-L_\tau}$ gauge boson $Z^\prime$ and standard model photon, which is absent at tree level and will arise at one loop level due to $\mu$, $\tau$ and new heavy charged leptons or scalars, the interesting behavior is shown. It can provide possibility for visible signatures of new heavy particles. We propose to search for $Z^\prime$ at electron collider experiments, such as Belle II, BESIII and future Super Tau Charm Factory (STCF), using the monophoton final state. The parameter space of $Z^\prime$ is probed, and scanned by its gauge coupling constant $g_{Z^\prime}$ and mass $m_{Z^\prime}$. We find that electron colliders have sensitivity to the previously unexplored parameter space for $Z^\prime$ with MeV-GeV mass. Future STCF experiments with $\sqrt s=2-7$ GeV can exclude the anomalous muon magnetic moment favored area when $m_{Z^\prime}<5$ GeV with the luminosity of 30 ab$^{-1}$. For $m_{Z^\prime} < 2m_\mu$, $g_{Z^\prime}$ can be down to $4.2\times 10^{-5}$ at 2 GeV STCF.


title: On the relative version of Mori dream spaces

abstract: This paper is devoted to a study of the relative version of a Mori dream space (MDS for short), which was first introduced by Andreatta and Wi\'{s}newski and will be called Mori dream morphism (MDM) in this paper. An MDM is defined to be an algebraic fiber space between normal quasi-projective varieties $ X \to U$ such that $\operatorname{Pic}(X/U)_{\mathbb{Q}}=\operatorname{N} ^1(X/U)_{\mathbb{Q}}$ and the (relative) movable cone is decomposed into the semi-ample cones of finitely many small $\mathbb{Q}$-factorial modifications, each of which is assumed to be rational polyhedral. An MDS is an MDM where $U$ is a point. We prove that the relative $D$-MMP runs and terminates in either a good $D$-minimal model or a $D$-Mori fiber space for an arbitrary divisor $D$ on an MDM, and that an algebraic fiber space satisfying $\operatorname{Pic}(X/U)_{\mathbb{Q}}= \operatorname{N} ^1(X/U)_{\mathbb{Q}}$ is an MDM if and only if a Cox sheaf is finitely generated over $U$. These are generalizations to an MDM of the fundamental results by Hu and Keel for an MDS. We also show that if the composition of two algebraic fiber spaces $f$ and $g$ is an MDM, then so are $f$ and $g$. In the end we investigate base changes of MDMs. We prove that a base change of an MDM by a proper flat morphism is again an MDM, provided that the base change is normal $\mathbb{Q}$-factorial and that any $\mathbb{Q}$-line bundle on the base change descends to the original MDM.


title: Algebraic and topological properties of Riordan groups over finite fields

abstract: In this paper, we investigate algebraic and topological properties of the Riordan groups over finite fields. These groups provide a new class of topologically finitely generated profinite groups with finite width. We also introduce, characterize index-subgroups of our Riordan groups, and finally we show exactly the range of Hausdorff dimensions of these groups. The latter results are analogous to the work of Barnea and Klopsch for the Nottingham groups.


title: Recursive methods for some problems in coding and random permutations

abstract: In this paper, we study three applications of recursion to problems in coding and random permutations. First, we consider locally recoverable codes with partial locality and use recursion to estimate the minimum distance of such codes. Next we consider weighted lattice representative codes and use recursive subadditive techniques to obtain convergence of the minimum code size. Finally, we obtain a recursive relation involving cycle moments in random permutations and as an illustration, evaluate recursions for the mean and variance.


title: Achieving positive rates with predetermined dictionaries

abstract: In the first part of the paper we consider binary input channels that are not necessarily stationary and show how positive rates can be achieved using codes constrained to be within predetermined dictionaries. We use a Gilbert-Varshamov-like argument to obtain the desired rate achieving codes. Next we study the corresponding problem for channels with arbitrary alphabets and use conflict-set decoding to show that if the dictionaries are contained within nice sets, then positive rates are achievable.


title: Multi-Head Linear Attention Generative Adversarial Network for Thin Cloud Removal

abstract: In remote sensing images, the existence of the thin cloud is an inevitable and ubiquitous phenomenon that crucially reduces the quality of imageries and limits the scenarios of application. Therefore, thin cloud removal is an indispensable procedure to enhance the utilization of remote sensing images. Generally, even though contaminated by thin clouds, the pixels still retain more or less surface information. Hence, different from thick cloud removal, thin cloud removal algorithms normally concentrate on inhibiting the cloud influence rather than substituting the cloud-contaminated pixels. Meanwhile, considering the surface features obscured by the cloud are usually similar to adjacent areas, the dependency between each pixel of the input is useful to reconstruct contaminated areas. In this paper, to make full use of the dependencies between pixels of the image, we propose a Multi-Head Linear Attention Generative Adversarial Network (MLAGAN) for Thin Cloud Removal. The MLA-GAN is based on the encoding-decoding framework consisting of multiple attention-based layers and deconvolutional layers. Compared with six deep learning-based thin cloud removal benchmarks, the experimental results on the RICE1 and RICE2 datasets demonstrate that the proposed framework MLA-GAN has dominant advantages in thin cloud removal.


title: Mitigating the Noise-Source Coupling Effect in Shear Measurement

abstract: Sub-percent level accuracy in shear measurement is required by the Stage-IV weak lensing surveys. One important challenge is about suppressing the shear bias on source images of low signal-to-noise ratios (SNR$\lesssim10$). Previously, it has been demonstrated that the shear estimators defined in the Fourier_Quad (FQ) method can achieve sub-percent accuracy at the very faint end (SNR$\lesssim5$) through ensemble averaging. Later, it is found that we can approach the minimum statistical error (the Cramer-Rao Bound) by symmetrizing the full PDF of the FQ shear estimators (the PDF_SYM approach), instead of taking ensemble averages. Recently, with a large amount of mock galaxy images, we are able to identify some small amount of shear biases in the PDF_SYM approach at the faint end. The multiplicative bias goes up to $1-2\times10^{-2}$ at SNR $\lesssim 10$, and the anisotropy of the point spread function (PSF) causes an additive bias that can reach a few times $10^{-4}$. We find that these biases originate from the noise-source coupling in the galaxy power spectrum. It turns out that this problem can be largely fixed by adding additional terms to the FQ shear estimators. The resulting multiplicative and additive biases can be significantly suppressed to the level of $10^{-3}$ and $10^{-5}$ respectively. These corrections substantially extend the available SNR range for accurate shear measurement with the PDF_SYM approach.


title: A verifiable multi-party quantum key distribution protocol based on repetitive codes

abstract: A multi-party quantum key distribution protocol based on repetitive code is designed for the first time in this paper. First we establish a classical (t, n) threshold protocol which can authenticate the identity of the participants, and encode the classical key sequence in accordance with this repetitive code. Then unitary transformation of the quantum state sequence corresponding to this encoded sequence is carried out by using the parameters from this (t, n) threshold protocol. Furthermore, we derive two thresholds for whether or not reserving the measured values of the received sequence, and extract the classical subkey sequence from the measured values conforming to these two threshold conditions. This protocol can authenticate the identity of the participant, resist the attack from the internal and external participants, and do not need the decoy state particles when testing the eavesdropper, which is more efficient than the similar protocols, and also saves the quantum resources.


title: Two remarks on the Poincar\'{e} metric on a singular Riemann surface foliation

abstract: Let $\mathcal{F}$ be a smooth Riemann surface foliation on $M \setminus E$, where $M$ is a complex manifold and $E \subset M$ is a closed set. Fix a hermitian metric $g$ on $M \setminus E$ and assume that all leaves of $\mathcal{F}$ are hyperbolic. For each leaf $L \subset \mathcal{F}$, the ratio of $g | L$, the restriction of $g$ to $L$, and the Poincar\'{e} metric $\lambda_L$ on $L$ defines a positive function $\eta$ that is known to be continuous on $M \setminus E$ under suitable conditions on $M, E$. For a domain $U \subset M$, we consider $\mathcal{F}_U$, the restriction of $\mathcal{F}$ to $U$ and the corresponding positive function $\eta_U$ by considering the ratio of $g$ and the Poincar\'{e} metric on the leaves of $\mathcal{F}_U$. First, we study the variation of $\eta_U$ as $U$ varies in the Hausdorff sense motivated by the work of Lins Neto-Martins. Secondly, Minda had shown the existence of a domain Bloch constant for a hyperbolic Riemann surface $S$, which in other words shows that every holomorphic map from the unit disc into $S$, whose distortion at the origin is bounded below, must be locally injective in some hyperbolic ball of uniform radius. We show how to deduce a version of this Bloch constant for $\mathcal{F}$


title: Learning to Localize Using a LiDAR Intensity Map

abstract: In this paper we propose a real-time, calibration-agnostic and effective localization system for self-driving cars. Our method learns to embed the online LiDAR sweeps and intensity map into a joint deep embedding space. Localization is then conducted through an efficient convolutional matching between the embeddings. Our full system can operate in real-time at 15Hz while achieving centimeter level accuracy across different LiDAR sensors and environments. Our experiments illustrate the performance of the proposed approach over a large-scale dataset consisting of over 4000km of driving.


title: Score Matched Neural Exponential Families for Likelihood-Free Inference

abstract: Bayesian Likelihood-Free Inference (LFI) approaches allow to obtain posterior distributions for stochastic models with intractable likelihood, by relying on model simulations. In Approximate Bayesian Computation (ABC), a popular LFI method, summary statistics are used to reduce data dimensionality. ABC algorithms adaptively tailor simulations to the observation in order to sample from an approximate posterior, whose form depends on the chosen statistics. In this work, we introduce a new way to learn ABC statistics: we first generate parameter-simulation pairs from the model independently on the observation; then, we use Score Matching to train a neural conditional exponential family to approximate the likelihood. The exponential family is the largest class of distributions with fixed-size sufficient statistics; thus, we use them in ABC, which is intuitively appealing and has state-of-the-art performance. In parallel, we insert our likelihood approximation in an MCMC for doubly intractable distributions to draw posterior samples. We can repeat that for any number of observations with no additional model simulations, with performance comparable to related approaches. We validate our methods on toy models with known likelihood and a large-dimensional time-series model.


title: Enabling Tangible Interaction through Detection and Augmentation of Everyday Objects

abstract: Digital interaction with everyday objects has become popular since the proliferation of camera-based systems that detect and augment objects "just-in-time". Common systems use a vision-based approach to detect objects and display their functionalities to the user. Sensors, such as color and depth cameras, have become inexpensive and allow seamless environmental tracking in mobile as well as stationary settings. However, object detection in different contexts faces challenges as it highly depends on environmental parameters and the conditions of the object itself. In this work, we present three tracking algorithms which we have employed in past research projects to track and recognize objects. We show, how mobile and stationary augmented reality can be used to extend the functionalities of objects. We conclude, how common items can provide user-defined tangible interaction beyond their regular functionality.


title: The efficiency of electron acceleration by ICME-driven shocks

abstract: We present a study of the acceleration efficiency of suprathermal electrons at collisionless shock waves driven by interplanetary coronal mass ejections (ICMEs), with the data analysis from both the spacecraft observations and test-particle simulations. The observations are from the 3DP/EESA instrument onboard \emph{Wind} during the 74 shock events listed in Yang et al. 2019, ApJ, and the test-particle simulations are carried out through 315 cases with different shock parameters. A total of seven energy channels ranging from 0.428 to 4.161 keV are selected. In the simulations, using a backward-in-time method, we calculate the average downstream flux in the $90^\circ$ pitch angle. On the other hand, the average downstream and upstream fluxes in the $90^\circ$ pitch angle can also be directly obtained from the 74 observational shock events. In addition, the variation of the event number ratio with downstream to upstream flux ratio above a threshold value in terms of the shock angle (the angle between the shock normal and upstream magnetic field), upstream Alfv$\acute{\text e}$n Mach number, and shock compression ratio is statistically obtained. It is shown from both the observations and simulations that a large shock angle, upstream Alfv$\acute{\text e}$n Mach number, and shock compression ratio can enhance the shock acceleration efficiency. Our results suggest that shock drift acceleration is more efficient in the electron acceleration by ICME-driven shocks, which confirms the findings of Yang et al. 2018.


title: Large- and small-amplitude shock wave oscillations over axisymmetric bodies in high-speed flow

abstract: The phenomena of self-sustained shock wave oscillations over conical bodies with a blunt axisymmetric base subject to uniform high-speed flow are investigated in a hypersonic wind tunnel at Mach number $M = 6$. The flow and shock wave dynamics are dictated by two non-dimensional geometric parameters presented by the three length scales of the body, two of which are associated with the conical forebody and one with the base. Time-resolved schlieren imagery from these experiments reveals the presence of two disparate states of shock wave oscillations in the flow, and allows for the mapping of unsteadiness boundaries in the two-parameter space. Physical mechanisms are proposed to explain the oscillations and the transitions of the shock wave system from steady to oscillatory states. In comparison to the canonical single-parameter problem of shock wave oscillations over spiked-blunt bodies reported in literature, the two-parameter nature of the present problem introduces distinct elements to the flow dynamics.


title: Grid-forming lambda-omega virtual oscillator control in converter-based power systems

abstract: Inspired by the kinetics of wave phenomena in reaction-diffusion models of biological systems, we propose a novel grid-forming control strategy for control of three-phase DC/AC converters in power systems. The ($\lambda-\omega$) virtual oscillator control or (lambda-omega) VOC is a natural increment on ideas from virtual oscillator dynamics rotating at a fixed nominal frequency to adaptive, angle-based frequency function. We study a network of identical three-phase DC/AC converters interconnected via $\Pi$ transmission lines. For this, we prove almost global asymptotic stability for a reduced (time-scale separated) version of the model, associated to a well-defined set of controller gains and system parameters. Additionally, we link the (\lambda-\omega) VOC to well-studied controllers in the literature, e.g. droop control. Finally, we validate our results on an example three DC/AC converter network.


title: Todd genus and $A_k$-genus of unitary $S^1$-manifolds

abstract: Assume that $M$ is a compact connected unitary 2n-dimensional manifold and admits a non-trivial circle action preserving the given complex structure. If the first Chern class of $M$ equals to $k_0x$ for a certain 2nd integral cohomology class $x$ with $|k_0|\geq n + 2$, and its first integral cohomology group is zero, this short paper shows that the Todd genus and $A_k$-genus of $M$ vanish.


title: Puzzle Model for Bumpless Pipe Dream

abstract: In this note, a new puzzle is introduced where the pipe dream and bumpless pipe dream can be played simultaneously. Using these, a combinatorial proof of the (ordinary) Schubert polynomials in terms of bumpless pipe dream is given. The main tool is the Yang--Baxter equation.


title: Strong coupling antiferromagnetic resonance with sub-THz cavity fields

abstract: Strong coupling of electromagnetic cavity fields with antiferromagnetic spin waves in hematite ($\alpha$-Fe$_2$O$_3$) was achieved above room temperature. A cube of hematite was placed in a metallic tube and transmission was measured, using a continuous-wave THz spectrometer. Spectra, collected as a function of temperature, reveal the formation of magnetic polaritons.


title: Domain-adaptive Fall Detection Using Deep Adversarial Training

abstract: Fall detection (FD) systems are important assistive technologies for healthcare that can detect emergency fall events and alert caregivers. However, it is not easy to obtain large-scale annotated fall events with various specifications of sensors or sensor positions during the implementation of accurate FD systems. Moreover, the knowledge obtained through machine learning has been restricted to tasks in the same domain. The mismatch between different domains might hinder the performance of FD systems. Cross-domain knowledge transfer is very beneficial for machine-learning-based FD systems to train a reliable FD model with well-labeled data in new environments. In this study, we propose domain-adaptive fall detection (DAFD) using deep adversarial training (DAT) to tackle cross-domain problems, such as cross-position and cross-configuration. The proposed DAFD can transfer knowledge from the source domain to the target domain by minimizing the domain discrepancy to avoid mismatch problems. The experimental results show that the average F1-score improvement when using DAFD ranges from 1.5% to 7% in the cross-position scenario, and from 3.5% to 12% in the cross-configuration scenario, compared to using the conventional FD model without domain adaptation training. The results demonstrate that the proposed DAFD successfully helps to deal with cross-domain problems and to achieve better detection performance.


title: Mind the Gap: A Framework (BehaveFIT) Guiding The Use of Immersive Technologies in Behavior Change Processes

abstract: The design and evaluation of assisting technologies to support behavior change processes have become an essential topic within the field of human-computer interaction research in general and the field of immersive intervention technologies in particular. The mechanisms and success of behavior change techniques and interventions are broadly investigated in the field of psychology. However, it is not always easy to adapt these psychological findings to the context of immersive technologies. The lack of theoretical foundation also leads to a lack of explanation as to why and how immersive interventions support behavior change processes. The Behavioral Framework for immersive Technologies (BehaveFIT) addresses this lack by (1) presenting an intelligible categorization and condensation of psychological barriers and immersive features, by (2) suggesting a mapping that shows why and how immersive technologies can help to overcome barriers, and finally by (3) proposing a generic prediction path that enables a structured, theory-based approach to the development and evaluation of immersive interventions. These three steps explain how BehaveFIT can be used, and include guiding questions and one example for each step. Thus, the present paper contributes to guidance for immersive intervention design and evaluation, showing that immersive interventions support behavior change processes and explain and predict 'why' and 'how' immersive interventions can bridge the intention-behavior-gap.


title: Tensor amplitudes for partial wave analysis of $\psi \to\Delta\bar{\Delta}$ within helicity frame

abstract: We have derived the tensor amplitudes for partial wave analysis of $\psi\to\Delta\bar{\Delta}$, $\Delta \to p \pi$ within the helicity frame, as well as the amplitudes for the other decay sequences with same final states. These formulae are practical for the experiments measuring $\psi$ decaying into $p \bar{p}\pi^+ \pi^-$ final states, such as BESIII with its recently collected huge $J/\psi$ and $\psi(2S)$ data samples.


title: Discrete Hessian complexes in three dimensions

abstract: One conforming and one non-conforming virtual element Hessian complexes on tetrahedral grids are constructed based on decompositions of polynomial tensor space. They are applied to discretize the linearized time-independent Einstein-Bianchi system.


title: On the formality of nearly K\"ahler manifolds and of Joyce's examples in $G_2$-holonomy

abstract: It is a prominent conjecture (relating Riemannian geometry and algebraic topology) that all simply-connected compact manifolds of special holonomy should be formal spaces, i.e., their rational homotopy type should be derivable from their rational cohomology algebra already -- an as prominent as particular property in rational homotopy theory. Special interest now lies on exceptional holonomy $G_2$ and $Spin(7)$. In this article we provide a method of how to confirm that the famous Joyce examples of holonomy $G_2$ indeed are formal spaces; we concretely exert this computation for one example which may serve as a blueprint for the remaining Joyce examples (potentially also of holonomy $Spin(7)$). These considerations are preceded by another result identifying the formality of manifolds admitting special structures: we prove the formality of nearly K\"ahler manifolds. A connection between these two results can be found in the fact that both "special holonomy" and "nearly K\"ahler" naturally generalize compact K\"ahler manifolds, whose formality is a classical and celebrated theorem by Deligne-Griffiths-Morgan-Sullivan.


title: One-loop integrand from generalised scattering equations

abstract: Generalised bi-adjoint scalar amplitudes, obtained from integrations over moduli space of punctured $\mathbb{CP}^{k-1}$, are novel extensions of the CHY formalism. These amplitudes have realisations in terms of Grassmannian cluster algebras. Recently connections between one-loop integrands for bi-adjoint cubic scalar theory and $\mathcal{D}_n$ cluster polytope have been established. In this paper using the $\text{Gr}\left(3,6\right)$ cluster algebra, we relate the singularities of $\left(3,6\right)$ amplitude to four-point one-loop integrand in the bi-adjoint cubic scalar theory through the $\mathcal{D}_{4}$ cluster polytope. We also study factorisation properties of the $(3,6)$ amplitude at various boundaries in the worldsheet.


title: Critical behavior for impact fragmentation of spherical solid bodies sensitive to strain rate

abstract: We consider the impact fragmentation of two spherical solid bodies sensitive to strain rate in a three-dimensional (3D) setting. We use both dimensional analysis and numerical simulations by smoothed-particle hydrodynamics (SPH) method to shed light on this problem. The key point of the work is the assumption of complete self-similarity of the problem under consideration with respect to the effective strain rate parameter Eeff, which is verified by numerical simulations. As a result we consider the two cases corresponding to the high-velocity Eeff >> 1, and low-velocity Eeff <<1 loading. The size of the system may be characterized by the total number of the SPH particles Ntot approximating each sphere. It is shown that for finite system the critical velocity of fragmentation at high-velocity loading exceeds that at low-velocity loading . With an unlimited increase in the system size these velocities become the same. It is shown that the critical velocity of fragmentation depend on the system size in a quadratic manner, i.e. Vc^2 -Vc(inf)^2 ~ Ntot ^(1/3nu) where nu is a correlation length exponent.


title: Traveling vortex pairs for 2D incompressible Euler equations

abstract: In this paper, we study desingularization of vortices for the two-dimensional incompressible Euler equations in the full plane. We construct a family of steady vortex pairs for the Euler equations with a general vorticity function, which constitutes a desingularization of a pair of point vortices with equal magnitude and opposite signs. The results are obtained by using an improved vorticity method.


title: Pattern Matching in Doubling Spaces

abstract: We consider the problem of matching a metric space $(X,d_X)$ of size $k$ with a subspace of a metric space $(Y,d_Y)$ of size $n \geq k$, assuming that these two spaces have constant doubling dimension $\delta$. More precisely, given an input parameter $\rho \geq 1$, the $\rho$-distortion problem is to find a one-to-one mapping from $X$ to $Y$ that distorts distances by a factor at most $\rho$. We first show by a reduction from $k$-clique that, in doubling dimension $\log_2 3$, this problem is NP-hard and W[1]-hard. Then we provide a near-linear time approximation algorithm for fixed $k$: Given an approximation ratio $0<\varepsilon\leq 1$, and a positive instance of the $\rho$-distortion problem, our algorithm returns a solution to the $(1+\varepsilon)\rho$-distortion problem in time $(\rho/\varepsilon)^{O(1)}n \log n$. We also show how to extend these results to the minimum distortion problem in doubling spaces: We prove the same hardness results, and for fixed $k$, we give a $(1+\varepsilon)$-approximation algorithm running in time $($dist$(X,Y)/\varepsilon)^{O(1)}n^2\log n$, where dist$(X,Y)$ denotes the minimum distortion between $X$ and $Y$.


title: Magnetic properties and phase diagrams of mixed spin-1 and spin-1/2 Ising model on a checkerboard square structure: A Monte Carlo study

abstract: The magnetic properties and phase diagrams of the mixed spin-1 and spin-1/2 Ising model on a checkerboard square structure have been studied using the Monte Carlo simulations based on the Metropolis update protocol. The system consists of four quartets of alternative spin configuration. The effect of the exchange interactions J and crystal field D on the magnetic properties, critical and compensation temperatures, susceptibility, and specific heat of the system have been investigated. The phase diagrams, T-J and T-D, for different values of the exchange interactions and crystal field have been examined. We found that the compensation temperature starts to evolve for J1 < 0.6 of the spin-1 assembly and for J2 > 1.6 for spin-1/2. On the other hand, the effect of ferrimagnetic coupling does not show any threshold value; in this case, the compensation temperature is constant. Regarding the crystal field strength, the threshold value of D > -0.8 has been observed. We obtain the N-, Q- and P-type compensation behaviors in the system. We have observed that the phase diagrams exhibit only a second-order phase transition to a paramagnetic phase; hence, the system does not show the tricritical point. The magnetic hysteresis cycles of the mixed spin-1 and spin-1/2 on a checkerboard square structure for different values of the exchange interactions, temperatures, and crystal fields have been found. Finally, the system exhibits the superparamagnetism behavior for a fixed value of the temperature and crystal field.