title: Natural Deduction Calculus for First-Order Logic

abstract: The purpose of this paper is to give an easy to understand with step-by-step explanation to allow interested people to fully appreciate the power of natural deduction for first-order logic. Natural deduction as a proof system can be used to prove various statements in propositional logic, but we will see its extension to cover quantifiers which gives it more power over propositional logic in solving more complex, real-world problems. We started by going over logical connectives and quantifiers to agree on the symbols that will be used throughout the paper, as some authors use different symbols to refer to the same thing. Besides, we showed the inference rules that are used the most. Furthermore, we presented the soundness and completeness of natural deduction for first-order logic. Finally, we solved examples ranging from easy to complex to give you different circumstances in which you can apply the proof system to solve problems you may encounter. Hopefully, this paper will be helpful makes the subject easy to understand.


title: The Role of Local Structure in the Enhanced Dynamics of Deformed Glasses

abstract: External stress can accelerate molecular mobility of amorphous solids by several orders of magnitude. The changes in mobility are commonly interpreted through the Eyring model, which invokes an empirical activation volume whose origin remains poorly understood. Here, we analyze constant-stress molecular dynamics simulations and propose an extension of the Eyring model with a machine-learned field, softness. Our model connects the activation volume, an empirical parameter, to a structural property (softness). We show that stress has an inhomogeneous effect on the mobility that depends on local structure, which explains the narrower distribution of relaxation time observed under stress.


title: AGKD-BML: Defense Against Adversarial Attack by Attention Guided Knowledge Distillation and Bi-directional Metric Learning

abstract: While deep neural networks have shown impressive performance in many tasks, they are fragile to carefully designed adversarial attacks. We propose a novel adversarial training-based model by Attention Guided Knowledge Distillation and Bi-directional Metric Learning (AGKD-BML). The attention knowledge is obtained from a weight-fixed model trained on a clean dataset, referred to as a teacher model, and transferred to a model that is under training on adversarial examples (AEs), referred to as a student model. In this way, the student model is able to focus on the correct region, as well as correcting the intermediate features corrupted by AEs to eventually improve the model accuracy. Moreover, to efficiently regularize the representation in feature space, we propose a bidirectional metric learning. Specifically, given a clean image, it is first attacked to its most confusing class to get the forward AE. A clean image in the most confusing class is then randomly picked and attacked back to the original class to get the backward AE. A triplet loss is then used to shorten the representation distance between original image and its AE, while enlarge that between the forward and backward AEs. We conduct extensive adversarial robustness experiments on two widely used datasets with different attacks. Our proposed AGKD-BML model consistently outperforms the state-of-the-art approaches. The code of AGKD-BML will be available at: https://github.com/hongw579/AGKD-BML.


title: Deformed Polynuclear Growth in $(1+1)$ Dimensions

abstract: We introduce and study a one parameter deformation of the polynuclear growth (PNG) in $(1+1)$-dimensions, which we call the $t$-PNG model. It is defined by requiring that, when two expanding islands merge, with probability $t$ they sprout another island on top of the merging location. At $t=0$, this becomes the standard (non-deformed) PNG model that, in the droplet geometry, can be reformulated through longest increasing subsequences of uniformly random permutations or through an algorithm known as patience sorting. In terms of the latter, the $t$-PNG model allows errors to occur in the sorting algorithm with probability $t$. We prove that the $t$-PNG model exhibits one-point Tracy-Widom GUE asymptotics at large times for any fixed $t\in [0,1)$, and one-point convergence to the narrow wedge solution of the Kardar-Parisi-Zhang (KPZ) equation as $t$ tends to $1$. We further construct distributions for an external source that are likely to induce Baik-Ben Arous-Peche type phase transitions. The proofs are based on solvable stochastic vertex models and their connection to the determinantal point processes arising from Schur measures on partitions.


title: The unbroken spectra of Frobenius seaweeds

abstract: We show that if $\mathfrak{g}$ is a Frobenius seaweed, then the spectrum of the adjoint of a principal element consists of an unbroken set of integers whose multiplicities have a symmetric distribution. Our methods are combinatorial.


title: The hyperspace of non-cut subcontinua of graphs and dendrites

abstract: Given a continuum $X$, let $C(X)$ denote the hyperspace of all subcontinua of $X$. In this paper we study the Vietoris hyperspace $NC^{*}(X)=\{ A \in C(X):X\setminus A\text{ is connected}\}$ when $X$ is a finite graph or a dendrite; in particular, we give conditions under which $NC^{*}(X)$ is compact, connected, locally connected or totally disconnected. Also, we prove that if $X$ is a dendrite and the set of endpoints of $X$ is dense, then $NC^{*}(X)$ is homeomorphic to the Baire space of irrational numbers.


title: Entanglement dynamics of spins using a few complex trajectories

abstract: In this work, we consider two spins initially prepared in a product of coherent states and study their entanglement dynamics due to a general interacting Hamiltonian. We adopt an approach that allowed the derivation of a semiclassical formula for the linear entropy of the reduced density operator, assumed as an entanglement quantifier. The resulting expression depends on sets of four trajectories, originated from the underlying classical description, and having mutually connected final phase-space points. Such classical elements, which are capable to reproduce the quantum entanglement even for long values of propagation time, arise when we assume a proper analytical continuation of the classical phase space onto a complex domain. We apply this theory to a particular physical system, showing that taking into account only a few sets of complex trajectories is enough to get an excellent agreement between the semiclassical linear entropy of the reduced density operator and its quantum counterpart.


title: Optimal Regulators in Geometric Robotics

abstract: The aim of this paper is to give some existence results of optimal control of robotic systems with a Riemannian geometric view, and derive a formulation of the PMP using the intrinsic geometry of the configuration space. Applying this result to some special cases will give the results of avoidance problems on Riemannian manifolds developed by A. Bloch et al. We derive a formulation of the dynamic programming approach and apply it to the quadratic costs and extend the linear quadratic regulator to robotic systems on Riemannian manifolds and giving an equivalent Riccati equation. We give an optimisation aspect of the Riemannian tracking regulator of F. Bullo and R.M. Murray. Finally, wee apply the theoretical developments to the regulation and tracking of a rigid body attitude.


title: Bayesian Modelling of Alluvial Diagram Complexity

abstract: Alluvial diagrams are a popular technique for visualizing flow and relational data. However, successfully reading and interpreting the data shown in an alluvial diagram is likely influenced by factors such as data volume, complexity, and chart layout. To understand how alluvial diagram consumption is impacted by its visual features, we conduct two crowdsourced user studies with a set of alluvial diagrams of varying complexity, and examine (i) participant performance on analysis tasks, and (ii) the perceived complexity of the charts. Using the study results, we employ Bayesian modelling to predict participant classification of diagram complexity. We find that, while multiple visual features are important in contributing to alluvial diagram complexity, interestingly the importance of features seems to depend on the type of complexity being modeled, i.e. task complexity vs. perceived complexity.


title: CODEs: Chamfer Out-of-Distribution Examples against Overconfidence Issue

abstract: Overconfident predictions on out-of-distribution (OOD) samples is a thorny issue for deep neural networks. The key to resolve the OOD overconfidence issue inherently is to build a subset of OOD samples and then suppress predictions on them. This paper proposes the Chamfer OOD examples (CODEs), whose distribution is close to that of in-distribution samples, and thus could be utilized to alleviate the OOD overconfidence issue effectively by suppressing predictions on them. To obtain CODEs, we first generate seed OOD examples via slicing&splicing operations on in-distribution samples from different categories, and then feed them to the Chamfer generative adversarial network for distribution transformation, without accessing to any extra data. Training with suppressing predictions on CODEs is validated to alleviate the OOD overconfidence issue largely without hurting classification accuracy, and outperform the state-of-the-art methods. Besides, we demonstrate CODEs are useful for improving OOD detection and classification.


title: Interference Mitigation using Optimized Angle Diversity Receiver in LiFi Cellular Network

abstract: Light-fidelity (LiFi) is an emerging technology for high-speed short-range mobile communications. Inter-cell interference (ICI) is an important issue that limits the system performance in an optical attocell network. Angle diversity receivers (ADRs) have been proposed to mitigate ICI. In this paper, the structure of pyramid receivers (PRs) and truncated pyramid receivers (TPRs) are studied. The coverage problems of PRs and TPRs are defined and investigated, and the lower bound of field of view (FOV) for each PD is given analytically. The impact of random device orientation and diffuse link signal propagation are taken into consideration. The performances of PRs and TPRs are compared and then optimized ADR structures are proposed. The performance comparison between the select best combining (SBC) and maximum ratio combining (MRC) is given under different noise levels. It is shown that SBC will outperform MRC in an interference limited system, otherwise, MRC is a preferred scheme. In addition, the double source system, where each LiFi AP consists of two sources transmitting the same information signals but with opposite polarity, is proved to outperform the single source (SS) system under certain conditions.


title: Exact Convergence Rates of Alternating Projections for Nontransversal Intersections

abstract: We consider the convergence rate of the alternating projection method for the nontransversal intersection of a semialgebraic set and a linear subspace. For such an intersection, the convergence rate is known as sublinear in the worst case. We study the exact convergence rate for a given semialgebraic set and an initial point, and investigate when the convergence rate is linear or sublinear. As a consequence, we show that the exact rates are expressed by multiplicities of the defining polynomials of the semialgebraic set, or related power series in the case that the linear subspace is a line, and we also decide the convergence rate for given data by using elimination theory. Our methods are also applied to give upper bounds for the case that the linear subspace has the dimension more than one. The upper bounds are shown to be tight by obtaining exact convergence rates for a specific semialgebraic set, which depend on the initial points.


title: PAIR: Leveraging Passage-Centric Similarity Relation for Improving Dense Passage Retrieval

abstract: Recently, dense passage retrieval has become a mainstream approach to finding relevant information in various natural language processing tasks. A number of studies have been devoted to improving the widely adopted dual-encoder architecture. However, most of the previous studies only consider query-centric similarity relation when learning the dual-encoder retriever. In order to capture more comprehensive similarity relations, we propose a novel approach that leverages both query-centric and PAssage-centric sImilarity Relations (called PAIR) for dense passage retrieval. To implement our approach, we make three major technical contributions by introducing formal formulations of the two kinds of similarity relations, generating high-quality pseudo labeled data via knowledge distillation, and designing an effective two-stage training procedure that incorporates passage-centric similarity relation constraint. Extensive experiments show that our approach significantly outperforms previous state-of-the-art models on both MSMARCO and Natural Questions datasets.


title: DeepIC: Coding for Interference Channels via Deep Learning

abstract: The two-user interference channel is a model for multi one-to-one communications, where two transmitters wish to communicate with their corresponding receivers via a shared wireless medium. Two most common and simple coding schemes are time division (TD) and treating interference as noise (TIN). Interestingly, it is shown that there exists an asymptotic scheme, called Han-Kobayashi scheme, that performs better than TD and TIN. However, Han-Kobayashi scheme has impractically high complexity and is designed for asymptotic settings, which leads to a gap between information theory and practice. In this paper, we focus on designing practical codes for interference channels. As it is challenging to analytically design practical codes with feasible complexity, we apply deep learning to learn codes for interference channels. We demonstrate that DeepIC, a convolutional neural network-based code with an iterative decoder, outperforms TD and TIN by a significant margin for two-user additive white Gaussian noise channels with moderate amount of interference.


title: Track without Appearance: Learn Box and Tracklet Embedding with Local and Global Motion Patterns for Vehicle Tracking

abstract: Vehicle tracking is an essential task in the multi-object tracking (MOT) field. A distinct characteristic in vehicle tracking is that the trajectories of vehicles are fairly smooth in both the world coordinate and the image coordinate. Hence, models that capture motion consistencies are of high necessity. However, tracking with the standalone motion-based trackers is quite challenging because targets could get lost easily due to limited information, detection error and occlusion. Leveraging appearance information to assist object re-identification could resolve this challenge to some extent. However, doing so requires extra computation while appearance information is sensitive to occlusion as well. In this paper, we try to explore the significance of motion patterns for vehicle tracking without appearance information. We propose a novel approach that tackles the association issue for long-term tracking with the exclusive fully-exploited motion information. We address the tracklet embedding issue with the proposed reconstruct-to-embed strategy based on deep graph convolutional neural networks (GCN). Comprehensive experiments on the KITTI-car tracking dataset and UA-Detrac dataset show that the proposed method, though without appearance information, could achieve competitive performance with the state-of-the-art (SOTA) trackers. The source code will be available at https://github.com/GaoangW/LGMTracker.


title: On the surface brightness radial profile of the extended $\gamma$-ray sources

abstract: The morphology of the extended $\gamma$-ray source is governed by the propagation process of parent relativistic particles. In this paper, we investigate the surface brightness radial profile of extended $\gamma$-ray sources illuminated by cosmic ray protons and electrons, considering the radiation mechanisms, projection effects, and the response of instruments. We found that the parent particle species and the propagation process can cause considerable differences in the observed radial profiles. Thus, the surface brightness profile can be used as a unique tool to identify the radiation mechanism and the propagation process of the parent particles. In addition, We also discuss the possible implications regarding the latest discoveries from very/ultra-high energy $\gamma$-ray instruments like LHAASO and HAWC.


title: Multimodal Unrolled Robust PCA for Background Foreground Separation

abstract: Background foreground separation (BFS) is a popular computer vision problem where dynamic foreground objects are separated from the static background of a scene. Typically, this is performed using consumer cameras because of their low cost, human interpretability, and high resolution. Yet, cameras and the BFS algorithms that process their data have common failure modes due to lighting changes, highly reflective surfaces, and occlusion. One solution is to incorporate an additional sensor modality that provides robustness to such failure modes. In this paper, we explore the ability of a cost-effective radar system to augment the popular Robust PCA technique for BFS. We apply the emerging technique of algorithm unrolling to yield real-time computation, feedforward inference, and strong generalization in comparison with traditional deep learning methods. We benchmark on the RaDICaL dataset to demonstrate both quantitative improvements of incorporating radar data and qualitative improvements that confirm robustness to common failure modes of image-based methods.


title: Unconventional rheological properties in systems of deformable particles

abstract: We demonstrate the existence of unconventional rheological and memory properties in systems of soft-deformable particles whose energy depends on their shape, via numerical simulations. At large strains, these systems experience an unconventional shear weakening transition characterized by an increase in the mechanical energy and a drastic drop in shear stress, which stems from the emergence of short-ranged tetratic order. In these weakened states, the contact network evolves reversibly under strain reversal, keeping memory of its initial state, while the microscopic dynamics is irreversible.


title: Realization of ultrabroadband THz/IR photoresponse in a bias-tunable ratchet photodetector

abstract: High performance Terahertz (THz) photodetector has drawn wide attention and got great improvement due to its significant application in biomedical, astrophysics, nondestructive inspection, 6th generation communication system as well as national security application. Here we demonstrate a novel broadband photon-type THz/infrared (IR) photodetector based on the GaAs/AlxGa1-xAs ratchet structure. This kind of photodetector realizes a THz photon-response based on the electrically pumped hot hole injection and overcomes the internal workfunction related spectral response limit. An ultrabroadband photoresponse from 4 THz to 300 THz and a peak responsivity of 50.3 mA/W are realized at negative bias voltage of -1 V. The photodetector also presents a bias-tunable photon-response characteristic due to the asymmetric structure. The ratchet structure also induces an evident photocurrent even at zero bias voltage, which indicates the detector can be regard as a broadband photovoltaic-like detector. The rectification characteristic and high temperature operation possibility of the photodetector are also discussed. This work not only demonstrates a novel ultrabroadband THz/IR photodetector, but also provides a new method to study the light-responsive ratchet.


title: Factorization of measures and applications to the weak Goldfeld conjecture

abstract: Extending Gross's result, we prove that a certain factorizaton of measures holds for all $p$ and any finite even Dirichlet character $\chi$ of any conductor, rather than only for split $p$ and $\chi$ with conductor a power of $p$. Using this generalization, we find lower bounds on the proportion of imaginary quadratic fields $K$ for which (under certain assumptions on the elliptic curve) a chosen quadratic twist of an elliptic curve $E$ over $K$ has rank $1$. We also find lower and upper bounds for the proportion of quadratic twists with rank $1$ when we vary $D$, the factor we twist by, under the assumption that $\omega$ (the prime factor counting function) is sufficiently close to a Gaussian distribution, as described by Erd\"os-Kac. We apply similar methods to cubic twists, and then derive analogous lower bounds for the proportion of imaginary quadratic fields for which a sextic twist has rank $1$. Lastly, for elliptic curves over $\mathbb{Q}$ satisfying certain assumptions, we find positive lower bounds on the proportion of quadratic twists (over $\mathbb{Q}$) which have rank $0$ and rank $1$, which yields examples of elliptic curves satisfying the weak Goldfeld conjecture.


title: Narrative Sensemaking: Strategies for Narrative Maps Construction

abstract: Narrative sensemaking is a fundamental process to understand sequential information. Narrative maps are a visual representation framework that can aid analysts in this process. They allow analysts to understand the big picture of a narrative, uncover new relationships between events, and model connections between storylines. As a sensemaking tool, narrative maps have applications in intelligence analysis, misinformation modeling, and computational journalism. In this work, we seek to understand how analysts construct narrative maps in order to improve narrative map representation and extraction methods. We perform an experiment with a data set of news articles. Our main contribution is an analysis of how analysts construct narrative maps. The insights extracted from our study can be used to design narrative map visualizations, extraction algorithms, and visual analytics tools to support the sensemaking process.


title: An Information-theoretic Perspective of Hierarchical Clustering

abstract: A combinatorial cost function for hierarchical clustering was introduced by Dasgupta \cite{dasgupta2016cost}. It has been generalized by Cohen-Addad et al. \cite{cohen2019hierarchical} to a general form named admissible function. In this paper, we investigate hierarchical clustering from the \emph{information-theoretic} perspective and formulate a new objective function. We also establish the relationship between these two perspectives. In algorithmic aspect, we get rid of the traditional top-down and bottom-up frameworks, and propose a new one to stratify the \emph{sparsest} level of a cluster tree recursively in guide with our objective function. For practical use, our resulting cluster tree is not binary. Our algorithm called HCSE outputs a $k$-level cluster tree by a novel and interpretable mechanism to choose $k$ automatically without any hyper-parameter. Our experimental results on synthetic datasets show that HCSE has a great advantage in finding the intrinsic number of hierarchies, and the results on real datasets show that HCSE also achieves competitive costs over the popular algorithms LOUVAIN and HLP.


title: Experimental discovery of structure-property relationships in ferroelectric materials via active learning

abstract: Emergent functionalities of structural and topological defects in ferroelectric materials underpin an extremely broad spectrum of applications ranging from domain wall electronics to high dielectric and electromechanical responses. Many of these have been discovered and quantified via local scanning probe microscopy methods. However, the search for these functionalities has until now been based by either trial and error or using auxiliary information such as topography or domain wall structure to identify potential objects of interest based on the intuition of operator or preexisting hypotheses, with subsequent manual exploration. Here, we report the development and implementation of a machine learning framework that actively discovers relationships between local domain structure and polarization switching characteristics in ferroelectric materials encoded in the hysteresis loop. The latter and descriptors such as nucleation bias, coercive bias, hysteresis loop area, or more complex functionals of hysteresis loop shape and corresponding uncertainties are used to guide the discovery via automated piezoresponse force microscopy (PFM) and spectroscopy experiments. As such, this approach combines the power of machine learning methods to learn the correlative relationships between high dimensional data, and human-based physics insights encoded in the acquisition function. For ferroelectric, this automated workflow demonstrates that the discovery path and sampling points of on-field and off-field hysteresis loops are largely different, indicating the on-field and off-field hysteresis loops are dominated by different mechanisms. The proposed approach is universal and can be applied to a broad range of modern imaging and spectroscopy methods ranging from other scanning probe microscopy modalities to electron microscopy and chemical imaging.


title: Co-GAIL: Learning Diverse Strategies for Human-Robot Collaboration

abstract: We present a method for learning a human-robot collaboration policy from human-human collaboration demonstrations. An effective robot assistant must learn to handle diverse human behaviors shown in the demonstrations and be robust when the humans adjust their strategies during online task execution. Our method co-optimizes a human policy and a robot policy in an interactive learning process: the human policy learns to generate diverse and plausible collaborative behaviors from demonstrations while the robot policy learns to assist by estimating the unobserved latent strategy of its human collaborator. Across a 2D strategy game, a human-robot handover task, and a multi-step collaborative manipulation task, our method outperforms the alternatives in both simulated evaluations and when executing the tasks with a real human operator in-the-loop. Supplementary materials and videos at https://sites.google.com/view/co-gail-web/home


title: The ASKAP Variables and Slow Transients (VAST) Pilot Survey

abstract: The Variables and Slow Transients Survey (VAST) on the Australian Square Kilometre Array Pathfinder (ASKAP) is designed to detect highly variable and transient radio sources on timescales from 5 seconds to $\sim 5$ years. In this paper, we present the survey description, observation strategy and initial results from the VAST Phase I Pilot Survey. This pilot survey consists of $\sim 162$ hours of observations conducted at a central frequency of 888~MHz between 2019 August and 2020 August, with a typical rms sensitivity of 0.24~mJy~beam$^{-1}$ and angular resolution of $12-20$ arcseconds. There are 113 fields, \red{each of which was observed for 12 minutes integration time}, with between 5 and 13 repeats, with cadences between 1 day and 8 months. The total area of the pilot survey footprint is 5\,131 square degrees, covering six distinct regions of the sky. An initial search of two of these regions, totalling 1\,646 square degrees, revealed 28 highly variable and/or transient sources. Seven of these are known pulsars, including the millisecond pulsar J2039--5617. Another seven are stars, four of which have no previously reported radio detection (SCR~J0533--4257, LEHPM~2-783, UCAC3~89--412162 and 2MASS J22414436--6119311). Of the remaining 14 sources, two are active galactic nuclei, six are associated with galaxies and the other six have no multiwavelength counterparts and are yet to be identified.


title: Knowledge Graph Reasoning with Relational Digraph

abstract: Reasoning on the knowledge graph (KG) aims to infer new facts from existing ones. Methods based on the relational path have shown strong, interpretable, and transferable reasoning ability. However, paths are naturally limited in capturing local evidence in graphs. In this paper, we introduce a novel relational structure, i.e., relational directed graph (r-digraph), which is composed of overlapped relational paths, to capture the KG's local evidence. Since the r- digraphs are more complex than paths, how to efficiently construct and effectively learn from them are challenging. Directly encoding the r-digraphs cannot scale well and capturing query-dependent information is hard in r-digraphs. We propose a variant of graph neural network, i.e., RED-GNN, to address the above challenges. Specifically, RED-GNN makes use of dynamic programming to recursively encodes multiple r-digraphs with shared edges, and utilizes a query-dependent attention mechanism to select the strongly correlated edges. We demonstrate that RED-GNN is not only efficient but also can achieve significant performance gains in both inductive and transductive reasoning tasks over existing methods. Besides, the learned attention weights in RED-GNN can exhibit interpretable evidence for KG reasoning.


title: Generalized Bayes Estimators with Closed forms for the Normal Mean and Covariance Matrices

abstract: In the estimation of the mean matrix in a multivariate normal distribution, the generalized Bayes estimators with closed forms are provided, and the sufficient conditions for their minimaxity are derived relative to both matrix and scalar quadratic loss functions. The generalized Bayes estimators of the covariance matrix are also given with closed forms, and the dominance properties are discussed for the Stein loss function.


title: Biderivations of Hom-Lie algebras and superalgebras

abstract: On Hom-Lie algebras and superalgebras,we introduce the notions of biderivations, linear commuting maps and {\alpha}-biderivations, and compute them for some typical Hom-Lie algebras and superalgebras, including q-deformed W(2,2) algebra, q-deformed Witt algebra and superalgebra.


title: Cosmic distance duality as a probe of minimally extended varying speed of light

abstract: We obtain the current constraint on the minimally extended varying speed of light (meVSL) model by analyzing cosmic distance duality relation (CCDDR) of it, $D_{L}/D_{A}(1+z)^{-2} = (1+z)^{b/8}$. We use the Pantheon type Ia supernova (SNIa) data, the Hubble parameter $H(z)$ using the cosmic chronometers approach, and the cosmic microwave background (CMB) distance priors from the latest Planck data. We find that the current data show the 1-$\sigma$ deviation from the standard CCDDR. Thus, this provides the constraint on meVSL model and future precision observations might be able to put stronger constraints on it.


title: Light propagation through optical media using metric contact geometry

abstract: In this work, we show that the orthogonality between rays and fronts of light propagation in a medium is expressed in terms of a suitable metric contact structure of the optical medium without boundaries. Moreover, we show that considering interfaces (modeled as boundaries) orthogonality is no longer fulfilled, leading to optical aberrations and in some cases total internal reflection. We present some illustrative examples of this latter point.


title: Double-twisted spectroscopy with delocalized atoms

abstract: Interaction of atoms with twisted light is the subject of intense experimental and theoretical investigation. In almost all studies, the atom is viewed as a localized probe of the twisted light field. However, as argued in this paper, conceptually novel effects will arise if light-atom interaction is studied in the double-twisted regime with delocalized atoms, that is, either via twisted light absorption by atom vortex beam, or via two-twisted-photon spectroscopy of atoms in a non-vortex but delocalized state. Even for monochromatic twisted photons and for an infinitely narrow line, absorption will occur over a finite range of detuning. Inside this range, a rapidly varying absorption probability is predicted, revealing interference fringes induced by two distinct paths leading to the same final state. The number, location, height and contrast of these fringes can give additional information on the excitation process which would not be accessible in usual spectroscopic settings. Visibility of the predicted effects will be enhanced at the future Gamma factory thanks to the large momenta of ions.


title: Community-scale Big Data Reveals Disparate Impacts of the Texas Winter Storm of 2021 and its Managed Power Outage

abstract: Aggregated community-scale data could be harnessed to allow insights into the disparate impacts of managed power outages, burst pipes, and food inaccessibility during extreme weather events. During Winter Storm Uri in February 2021, Texas power-generating plant operators resorted to rolling blackouts to prevent wider collapse of the whole power grid when power demand overwhelmed supply. In this study, we collected community-scale big data (e.g., digital trace and crowdsourced data) in the context of the winter storm, which brought historically low temperatures, snow, and ice to the entire state of Texas. By analyzing this data, we can infer the extent of disparities in storm-related impacts on vulnerable populations. In addition to assessing disparate impacts of the managed power outage, this study also examined the extent of burst pipes and disrupted access to food. Using statistical and trend classification analyses, the results highlight the spatial and temporal patterns of impacts for subpopulations in Harris County, Texas, within which the city of Houston is located. In particular, findings show significant disparity in the extent and duration of power outages experienced by low-income and minority groups. This finding suggests that the existence of inequality in the management and implementation of the power outage. Also, the extent of burst pipes and disrupted food access were more severe for low-income and minority groups. These findings suggest implications for understanding the disparate impacts of extreme weather events on vulnerable populations; in particular, the findings could provide insights allowing infrastructure operators to enhance social equality considerations during managed service disruptions in such events. The results and findings demonstrate the value of community-scale big data sources for rapid impact assessment in the aftermath of extreme weather events.


title: Intervalley Tunneling and Crossover from the Positive to Negative Interlayer Magnetoresistance in Quasi-Two-Dimensional Dirac Fermion System with or without Mass Gap

abstract: We theoretically investigate the interlayer magnetoresistance in quasi-two-dimensional Dirac fermion systems, where the Fermi energy is at the Dirac point. If there is an intermediate insulating layer that has an overlap with the wave functions in the Dirac fermion layers, there appears a positive magnetoresistance regime due to the intervalley tunneling. We show that the interlayer magnetoresistance can be used to find whether Dirac fermions are massive or not from the minimum in the interlayer magnetoresistance. As a specific system, we consider \alphaI under high pressure. We also discuss that one has to be careful in analyzing the crossover temperature from the positive to negative magnetoresistance. A simple picture is applied to the crossover in the zero temperature limit but it does not apply to the data at finite temperatures. We show that the ratio of the Fermi velocity to the scattering rate is evaluated from the zero temperature limit of the crossover temperature.


title: Aeolian sand transport: Scaling of mean saltation length and height and implications for mass flux scaling

abstract: Wind tunnel measurements of the mean saltation length $L$ and of different proxies of the mean saltation height $H$ in saturated aeolian sand transport indicate that $L$ and $H$ are relatively insensitive to both the wind speed and grain diameter $d$. The latter result is currently unexplained and contradicts the theoretical prediction $L\propto H\propto d$. This prediction is based on the assumption that the characteristic velocity $\sqrt{\tilde gd}$ of bed grains ejected by the splash of an impacting grain controls the average saltation kinematics. Here, we show that a recent analytical saltation model that considers only rebounds of saltating grains, but neglects splash ejection, is consistent with the measurements. The model suggests that the buffer layer of the inner turbulent boundary layer, which connects the viscous sublayer with the log-layer, is partially responsible for the insensitivity of $L$ and $H$ to $d$. In combination, the measurements and model therefore indicate that splash ejection, though important to sustain saltation, does not significantly affect the average saltation kinematics. This finding represents a strong argument against the Ungar and Haff (1987)-scaling and in favor of the Dur\'an et al. (2011)-scaling of the saturated saltation mass flux, with implications for ripple formation on Mars. Furthermore, it supports the recent controversial claim that this flux is insensitive to soil cohesion.


title: Limitations of Local Quantum Algorithms on Random Max-k-XOR and Beyond

abstract: We introduce a notion of \emph{generic local algorithm} which strictly generalizes existing frameworks of local algorithms such as \emph{factors of i.i.d.} by capturing local \emph{quantum} algorithms such as the Quantum Approximate Optimization Algorithm (QAOA). Motivated by a question of Farhi et al. [arXiv:1910.08187, 2019] we then show limitations of generic local algorithms including QAOA on random instances of constraint satisfaction problems (CSPs). Specifically, we show that any generic local algorithm whose assignment to a vertex depends only on a local neighborhood with $o(n)$ other vertices (such as the QAOA at depth less than $\epsilon\log(n)$) cannot arbitrarily-well approximate boolean CSPs if the problem satisfies a geometric property from statistical physics called the coupled overlap-gap property (OGP) [Chen et al., Annals of Probability, 47(3), 2019]. We show that the random MAX-k-XOR problem has this property when $k\geq4$ is even by extending the corresponding result for diluted $k$-spin glasses. Our concentration lemmas confirm a conjecture of Brandao et al. [arXiv:1812.04170, 2018] asserting that the landscape independence of QAOA extends to logarithmic depth -- in other words, for every fixed choice of QAOA angle parameters, the algorithm at logarithmic depth performs almost equally well on almost all instances. One of these concentration lemmas is a strengthening of McDiarmid's inequality, applicable when the random variables have a highly biased distribution, and may be of independent interest.


title: Accelerated Primal-Dual Algorithm for Distributed Non-convex Optimization

abstract: This paper investigates accelerating the convergence of distributed optimization algorithms on non-convex problems. We propose a distributed primal-dual stochastic gradient descent~(SGD) equipped with "powerball" method to accelerate. We show that the proposed algorithm achieves the linear speedup convergence rate $\mathcal{O}(1/\sqrt{nT})$ for general smooth (possibly non-convex) cost functions. We demonstrate the efficiency of the algorithm through numerical experiments by training two-layer fully connected neural networks and convolutional neural networks on the MNIST dataset to compare with state-of-the-art distributed SGD algorithms and centralized SGD algorithms.


title: The physics laboratory works - individualized computer simulations

abstract: The physics laboratory-works creating and operating computer simulations experience is described. A significant amount of laboratory works can be classified as a "black box". The studied physical phenomenon is hidden from direct observation, the control is carried out by means of electrical measuring devices. It is difficult to distinguish physical reality from its imitation when performing such work, so the virtualization of this one does not require realistic images. The schematic representation of the laboratory installation greatly simplifies the process of creating a simulator. A unique set of installation parameters is formed for each student performing laboratory work on the simulator. These parameters are stored in Google Tables. Their transfer to the laboratory works html-template is carried out in encrypted form through the Google Apps script service. The simulator-parameters individualization contributes to the independence of the student's work when performing laboratory measurements in the conditions of the distance learning.


title: No breather theorems for the mean curvature flow

abstract: In this article we study the breathers of the mean curvature flow in the Euclidean space. A breather is a solution to the mean curvature flow which repeats itself up to isometry and scaling once in a while. We prove several no breather theorems in the noncompact category, that is, under certain conditions, a breather of the mean curvature flow must be a solitonic solution (self-shrinker, self-expander, or translator).


title: Kieffer-Pinsker type formulas for Gibbs measures on sofic groups

abstract: Given a countable sofic group $\Gamma$, a finite alphabet $A$, a subshift $X \subseteq A^\Gamma$, and a potential $\phi: X \to \mathbb{R}$, we give sufficient conditions on $X$ and $\phi$ for expressing, in the uniqueness regime, the sofic entropy of the associated Gibbs measure $\mu$ as the limit of the Shannon entropies of some suitable finite systems approximating $\Gamma \curvearrowright (X,\mu)$. Next, we prove that if $\mu$ satisfies strong spatial mixing, then the sofic pressure admits a formula in terms of the integral of a random information function with respect to any $\Gamma$-invariant Borel probability measure with nonnegative sofic entropy. As a consequence of our results, we provide sufficient conditions on $X$ and $\phi$ for having independence of the sofic approximation for sofic pressure and sofic entropy, and for having locality of pressure in some relevant families of systems, among other applications. These results complement and unify those of Marcus and Pavlov (2015), Alpeev (2017), and Austin and Podder (2018).


title: Local Patch Network with Global Attention for Infrared Small Target Detection

abstract: Infrared small target detection plays an important role in the infrared search and tracking applications. In recent years, deep learning techniques were introduced to this task and achieved noteworthy effects. Following general object segmentation methods, existing deep learning methods usually processed the image from the global view. However, the imaging locality of small targets and extreme class-imbalance between the target and background pixels were not well-considered by these deep learning methods, which causes the low-efficiency on training and high-dependence on numerous data. A local patch network (LPNet) with global attention is proposed in this paper to detect small targets by jointly considering the global and local properties of infrared small target images. From the global view, a supervised attention module trained by the small target spread map is proposed to suppress most background pixels irrelevant with small target features. From the local view, local patches are split from global features and share the same convolution weights with each other in a patch net. By leveraging both the global and local properties, the data-driven framework proposed in this paper has fused multi-scale features for small target detection. Extensive synthetic and real data experiments show that the proposed method achieves the state-of-the-art performance compared with existing both conventional and deep learning methods.


title: The Use of Quantile Methods in Economic History

abstract: Quantile regression and quantile treatment effect methods are powerful econometric tools for considering economic impacts of events or variables of interest beyond the mean. The use of quantile methods allows for an examination of impacts of some independent variable over the entire distribution of continuous dependent variables. Measurement in many quantative settings in economic history have as a key input continuous outcome variables of interest. Among many other cases, human height and demographics, economic growth, earnings and wages, and crop production are generally recorded as continuous measures, and are collected and studied by economic historians. In this paper we describe and discuss the broad utility of quantile regression for use in research in economic history, review recent quantitive literature in the field, and provide an illustrative example of the use of these methods based on 20,000 records of human height measured across 50-plus years in the 19th and 20th centuries. We suggest that there is considerably more room in the literature on economic history to convincingly and productively apply quantile regression methods.


title: Package Delivery Using Autonomous Drones in Skyways

abstract: Current drone delivery systems mostly focus on point-to-point package delivery. We present a multi-stop drone service system to deliver packages anywhere anytime within a specified geographic area. We define a skyway network which takes into account flying regulations, including restricted areas and no-fly zones. The skyway nodes typically represent building rooftops which may act as both recharging stations and delivery destinations. A heuristic-based A* algorithm is used to compute an optimal path from source to destination taking into account a number of constraints, including delivery time, availability of recharging stations, etc. We deploy our drone delivery system in an indoor testbed environment using a 3D model of Sydney CBD. We describe a graphical user interface to monitor the real-time package delivery in the skyway network.


title: Relativistic Quantum Calculations to Understand the Contribution of f-Orbitals and Chemical Bonding of Actinides with Organic Ligands

abstract: The nuclear waste problem is one of the main interests of the rare earth and actinide elements chemistry. Studies of Actinide-containing compounds are at the frontier of the applications of current theoretical methods due to the need to consider relativistic effects and approximations to the Dirac equation in them. Here, we employ four-component relativistic quantum calculations and scalar approximations to understand the contribution of f-type atomic orbitals in the chemical bonding of actinides (Ac) to organic ligands. We studied the relativistic quantum structure of an isostructural family made of Plutonium (Pu), Americium (Am), Californium (Cf), and Berkelium (Bk) atoms with the redox-active model ligand; DOPO (2,4,6,8-tetra-tert-butyl-1-oxo-1H-phenoxazin-9-olate). Crystallographic structures were available to validate our calculations for all mentioned elements except for Cf. In short, state-of-the-art relativistic calculations were performed at different levels of theory to investigate the relativistic effects and electron correlations on geometrical structures and bonding energies of $Ac$-DOPO$_3$ complexes ($Ac$=Pu, Am, Cf, Bk) : 1) the scalar relativistic zeroth order regular approximation (ZORA) within the hybrid density functional theory (DFT) and 2) the four-component Dirac equation with the Dirac-Hartree-Fock (4c-DHF) and L\'evy-Leblond (LL) Hamiltonians. We show that scalar DFT-ZORA could be used as an efficient theoretical approximation to first approximate the geometry and electronic properties of actinides which are difficult to synthesize or characterize; but knowing that the higher levels of theory, like the 4c-DHF, gives closer results to experiments than the scalar DFT-ZORA. We also performed spin-free calculations of geometric parameters for the Americium and Berkelium compounds.


title: Fr\'echet single index models for object response regression

abstract: With the increasing availability of non-Euclidean data objects, statisticians are faced with the task of developing appropriate statistical methods for their analysis. For regression models in which the predictors lie in $\mathbb{R}^p$ and the response variables are situated in a metric space, conditional Fr\'echet means can be used to define the Fr\'echet regression function. Global and local Fr\'echet methods have recently been developed for modeling and estimating this regression function as extensions of multiple and local linear regression, respectively. This paper expands on these methodologies by proposing the Fr\'echet Single Index model, in which the Fr\'echet regression function is assumed to depend only on a scalar projection of the multivariate predictor. Estimation is performed by combining local Fr\'echet along with M-estimation to estimate both the coefficient vector and the underlying regression function, and these estimators are shown to be consistent. The method is illustrated by simulations for response objects on the surface of the unit sphere and through an analysis of human mortality data in which lifetable data are represented by distributions of age-of-death, viewed as elements of the Wasserstein space of distributions.


title: Compactification and distance on Teichm\"uller space via renormalized volume

abstract: We introduce a variant of horocompactification which takes "directions" into account. As an application, we construct a compactification of the Teichm\"uller spaces via the renormalized volume of quasi-Fuchsian manifolds. Although we observe that the renormalized volume itself does not give a distance, the compactification allows us to define a new distance on the Teichm\"uller space. We show that the translation length of pseudo-Anosov mapping classes with respect to this new distance is precisely the hyperbolic volume of their mapping tori. A similar compactification via the Weil-Petersson metric is also discussed.


title: Widefield quantum microscopy with nitrogen-vacancy centers in diamond: strengths, limitations, and prospects

abstract: A dense layer of nitrogen-vacancy (NV) centers near the surface of a diamond can be interrogated in a widefield optical microscope to produce spatially resolved maps of local quantities such as magnetic field, electric field and lattice strain, providing potentially valuable information about a sample or device placed in proximity. Since the first experimental realization of such a widefield NV microscope in 2010, the technology has seen rapid development and demonstration of applications in various areas across condensed matter physics, geoscience and biology. This Perspective analyzes the strengths and shortcomings of widefield NV microscopy in order to identify the most promising applications and guide future development. We begin with a brief review of quantum sensing with ensembles of NV centers, and the experimental implementation of widefield NV microscopy. We then compare this technology to alternative microscopy techniques commonly employed to probe magnetic materials and charge flow distributions. Current limitations in spatial resolution, measurement accuracy, magnetic sensitivity, operating conditions and ease of use, are discussed. Finally, we identify the technological advances that solve the aforementioned limitations, and argue that their implementation would result in a practical, accessible, high-throughput widefield NV microscope.


title: Machine Learning Based Parameter Estimation of Gaussian Quantum States

abstract: We propose a machine learning framework for parameter estimation of single mode Gaussian quantum states. Under a Bayesian framework, our approach estimates parameters of suitable prior distributions from measured data. For phase-space displacement and squeezing parameter estimation, this is achieved by introducing Expectation-Maximization (EM) based algorithms, while for phase parameter estimation an empirical Bayes method is applied. The estimated prior distribution parameters along with the observed data are used for finding the optimal Bayesian estimate of the unknown displacement, squeezing and phase parameters. Our simulation results show that the proposed algorithms have estimation performance that is very close to that of Genie Aided Bayesian estimators, that assume perfect knowledge of the prior parameters. Our proposed methods can be utilized by experimentalists to find the optimum Bayesian estimate of parameters of Gaussian quantum states by using only the observed measurements without requiring any knowledge about the prior distribution parameters.


title: Worst-Case Services and State-Based Scheduling

abstract: In this paper, we shed new light on a classical problem: given a slot-timed, constant-capacity server, to provide long-run service guarantees to competing flows of unit-sized tasks, what short-run scheduling decisions must be made? We model each flow's long-run guarantee as a worst-case service that maps each queued arrival vector recording the flow's cumulative task arrivals, including those initially queued, to a worst-case acceptable departure vector lower-bounding its cumulative task departures. We show these services to be states that can be updated as tasks arrive and depart, and introduce state-based scheduling. We find the schedulability condition that must be preserved to maintain all flows' long-run guarantees, and then use this condition to identify, in each slot, all short-run scheduling decisions that preserve schedulability. This framework is general but computationally complex. To reduce its complexity, we consider three specializations. On the one hand, we show that when satisfactory short-run scheduling decisions exist, some special ones can be efficiently identified by maximizing the server's capacity slack. On the other hand, we show that a special class of worst-case services, min-plus services, can be efficiently specified and updated using properties of the min-plus algebra, and that this efficiency can be further improved to verge on practical viability by restricting attention to a further specialization, dual-curve services, which turn out to be dynamic extensions of service curves.


title: Factorization length distribution for affine semigroups IV: a geometric approach to weighted factorization lengths in three-generator numerical semigroups

abstract: For numerical semigroups with three generators, we study the asymptotic behavior of weighted factorization lengths, that is, linear functionals of the coefficients in the factorizations of semigroup elements. This work generalizes many previous results, provides more natural and intuitive proofs, and yields a completely explicit error bound.


title: The physical approach on the surfaces of rotation in E24

abstract: In this paper, some physical expressions as the specific energy and the specific angular momentum on these surfaces of rotation are investigated using conditions being geodesic on rotational surfaces with the help of Clairaut's theorem.


title: Statistical Learning in Speech: A Biologically Based Predictive Learning Model

abstract: Infants, adults, non-human primates and non-primates all learn patterns implicitly, and they do so across modalities. The biological evidence supports the hypothesis that the mechanism for this learning is general but computationally local. We hypothesize that the mechanism itself is predictive error-driven learning. We build on recent work that advanced a biologically plausible model of error backpropagation learning which proposes that higher order thalamic nuclei provide a locale for a temporal difference between top-down predictions and an actual event outcome. Our neural network based on that work also models the auditory cortex hierarchy of core, belt and parabelt and the caudal-rostral axis within regions. We simulated two studies showing statistical learning in infants, a seminal study using synthesized speech and a more recent study using human speech. Before simulating these studies the network was trained on spoken sentences from the TIMIT corpus to emulate infant's experience listening to random speech. The implemented neural network, learning only by predicting the next brief speech segment, learned in both simulations to predict in-word syllables better than next-word syllables showing that prediction could be the basis for word segmentation and thus statistical learning.


title: Analysis of the Indian Chemical Industry in the Post-Covid Era

abstract: The story of the Chemical Industry in India is one of outperformance and promise. A consistent value creator, the chemical industry remains an attractive hub of opportunities, even in an environment of global uncertainty. This paper aims to analyze the various driving factors, the performance of the key players over fundamental analysis, and the various trends that would shape the performance of the industry due to the various geopolitical and macroeconomic trends in the post-pandemic world.

categories: physics.soc-ph econ.GN q-fin.EC q-fin.TR


title: Almost complex manifolds with total Betti number three

abstract: We show the minimal total Betti number of a closed almost complex manifold of dimension $2n\ge 8$ is four, thus confirming a conjecture of Sullivan except for dimension $6$. Along the way, we prove the only simply connected closed complex manifold having total Betti number three is the complex projective plane.


title: Semi-local Bounds on Null Energy in QFT

abstract: We investigate whether the null energy, averaged over some region of spacetime, is bounded below in QFT. First, we use light-sheet quantization to prove a version of the "Smeared Null Energy Condition" (SNEC) proposed in [1], applicable for free and super-renormalizable QFT's equipped with a UV cutoff. Through an explicit construction of squeezed states, we show that the SNEC bound cannot be improved by smearing on a light-sheet alone. We propose that smearing the null energy over two null directions defines an operator that is bounded below and independent of the UV cutoff, in what we call the "Double-Smeared Null Energy Condition," or dSNEC. We indicate schematically how this bound behaves with respect to the smearing lengths and argue that the dSNEC displays a transition when the smearing lengths are comparable to the correlation length.


title: Zero-shot Task Transfer for Invoice Extraction via Class-aware QA Ensemble

abstract: We present VESPA, an intentionally simple yet novel zero-shot system for layout, locale, and domain agnostic document extraction. In spite of the availability of large corpora of documents, the lack of labeled and validated datasets makes it a challenge to discriminatively train document extraction models for enterprises. We show that this problem can be addressed by simply transferring the information extraction (IE) task to a natural language Question-Answering (QA) task without engineering task-specific architectures. We demonstrate the effectiveness of our system by evaluating on a closed corpus of real-world retail and tax invoices with multiple complex layouts, domains, and geographies. The empirical evaluation shows that our system outperforms 4 prominent commercial invoice solutions that use discriminatively trained models with architectures specifically crafted for invoice extraction. We extracted 6 fields with zero upfront human annotation or training with an Avg. F1 of 87.50.


title: Progressive Representative Labeling for Deep Semi-Supervised Learning

abstract: Deep semi-supervised learning (SSL) has experienced significant attention in recent years, to leverage a huge amount of unlabeled data to improve the performance of deep learning with limited labeled data. Pseudo-labeling is a popular approach to expand the labeled dataset. However, whether there is a more effective way of labeling remains an open problem. In this paper, we propose to label only the most representative samples to expand the labeled set. Representative samples, selected by indegree of corresponding nodes on a directed k-nearest neighbor (kNN) graph, lie in the k-nearest neighborhood of many other samples. We design a graph neural network (GNN) labeler to label them in a progressive learning manner. Aided by the progressive GNN labeler, our deep SSL approach outperforms state-of-the-art methods on several popular SSL benchmarks including CIFAR-10, SVHN, and ILSVRC-2012. Notably, we achieve 72.1% top-1 accuracy, surpassing the previous best result by 3.3%, on the challenging ImageNet benchmark with only $10\%$ labeled data.


title: Lump interactions with plane solitons

abstract: We analyse the detail of interactions of two-dimensional solitary waves called lumps and one-dimensional line solitons within the framework of the Kadomtsev-Petviashvili equation describing wave processes in media with positive dispersion. We show that line solitons can emit or absorb lumps or periodic chains of lumps; they can interact with each other by means of lumps. Within a certain time interval, lumps or lump chains can emerge between two line solitons and disappear then due to absorption by one of the solitons. This phenomenon resembles the appearance of rogue waves in the oceans. The results obtained are graphically illustrated and can be applicable to the description of physical processes occurring in plasma, fluids, solids, nonlinear optical media, and other fields.


title: Efficient force field and energy emulation through partition of permutationally equivalent atoms

abstract: Gaussian process (GP) emulator has been used as a surrogate model for predicting force field and molecular potential, to overcome the computational bottleneck of molecular dynamics simulation. Integrating both atomic force and energy in predictions was found to be more accurate than using energy alone, yet it requires $O((NM)^3)$ computational operations for computing the likelihood function and making predictions, where $N$ is the number of atoms and $M$ is the number of simulated configurations in the training sample, due to the inversion of a large covariance matrix. The large computational need limits its applications to emulating simulation of small molecules. The computational challenge of using both gradient information and function values in GPs was recently noticed in statistics and machine learning communities, where conventional approximation methods, such as the low rank decomposition or sparse approximation, may not work well. Here we introduce a new approach, the atomized force field (AFF) model, that integrates both force and energy in the emulator with many fewer computational operations. The drastic reduction on computation is achieved by utilizing the naturally sparse structure of the covariance satisfying the constraints of the energy conservation and permutation symmetry of atoms. The efficient machine learning algorithm extends the limits of its applications on larger molecules under the same computational budget, with nearly no loss of predictive accuracy. Furthermore, our approach contains uncertainty assessment of predictions of atomic forces and potentials, useful for developing a sequential design over the chemical input space, with almost no increase in computational cost.


title: Coupling Model-Driven and Data-Driven Methods for Remote Sensing Image Restoration and Fusion

abstract: In the fields of image restoration and image fusion, model-driven methods and data-driven methods are the two representative frameworks. However, both approaches have their respective advantages and disadvantages. The model-driven methods consider the imaging mechanism, which is deterministic and theoretically reasonable; however, they cannot easily model complicated nonlinear problems. The data-driven methods have a stronger prior knowledge learning capability for huge data, especially for nonlinear statistical features; however, the interpretability of the networks is poor, and they are over-dependent on training data. In this paper, we systematically investigate the coupling of model-driven and data-driven methods, which has rarely been considered in the remote sensing image restoration and fusion communities. We are the first to summarize the coupling approaches into the following three categories: 1) data-driven and model-driven cascading methods; 2) variational models with embedded learning; and 3) model-constrained network learning methods. The typical existing and potential coupling methods for remote sensing image restoration and fusion are introduced with application examples. This paper also gives some new insights into the potential future directions, in terms of both methods and applications.


title: Harmonic Retrieval of CFO and Frame Misalignment for OFDM-based Inter-Satellite Links

abstract: As dense low Earth orbit (LEO) constellations are being planned, the need for accurate synchronization schemes in high-speed environments remains a challenging problem to tackle. To further improve synchronization accuracy in channeling environments, which can also be applied in the LEO networks, we present a new method for estimating the carrier frequency offset (CFO) and frame misalignment in orthogonal frequency division multiplexing (OFDM) based inter-satellite links. The proposed method requires the transmission of pilot symbols to exploit 2-D estimation of signal parameters via rotational invariance techniques (ESPRIT) and estimate the CFO and the frame misalignment. The Cramer-Rao lower bounds (CRLB) of the joint estimation of the CFO and frame misalignment are also derived. Numerical results show that the difference between the proposed method and the state-of-art method is less than 5dB at its worse.


title: Observational evidence points at AGB stars as possible progenitors of CEMP-s & r/s stars

abstract: Origin of enhanced abundance of heavy elements observed in the surface chemical composition of carbon-enhanced metal-poor (CEMP) stars still remain poorly understood. Here, we present detailed abundance analysis of seven CEMP stars based on high resolution (R${\sim}$ 50\,000) spectra that reveal enough evidence of Asymptotic Giant Branch (AGB) stars being possible progenitors for these objects. For the objects HE0110$-$0406, HE1425$-$2052 and HE1428$-$1950, we present for the first time a detailed abundance analysis. Our sample is found to consists of one metal-poor ([Fe/H]$<$$-1.0$) and six very metal-poor ([Fe/H]$<$$-2.0$) stars with enhanced carbon and neutron-capture elements. We have critically analysed the observed abundance ratios of [O/Fe], [Sr/Ba] and [hs/ls] and examined the possibility of AGB stars being possible progenitors. The abundance of oxygen estimated in the programme stars are characteristics of AGB progenitors except for HE1429$-$0551 and HE1447$+$0102. The estimated values of [Sr/Ba] and [hs/ls] ratios also support AGB stars as possible progenitors. The locations of the programme stars in the absolute carbon abundance A(C) vs. [Fe/H] diagram along with the Group I objects hint at binary nature of the object. We have studied the chemical enrichment histories of the programme stars based on abundance ratios [Mg/C], [Sc/Mn] and [C/Cr]. Using [C/N] and $^{12}$C/$^{13}$C ratios we have examined if any internal mixing had modified their surface chemical compositions. Kinematic analysis shows that the objects HE 0110$-$0406 and HE1447$+$0102 are thick disk objects and the remaining five objects belong to the halo population of the Galaxy.


title: PVT: Point-Voxel Transformer for Point Cloud Learning

abstract: The recently developed pure Transformer architectures have attained promising accuracy on point cloud learning benchmarks compared to convolutional neural networks. However, existing point cloud Transformers are computationally expensive since they waste a significant amount of time on structuring the irregular data. To solve this shortcoming, we present Sparse Window Attention (SWA) module to gather coarse-grained local features from non-empty voxels, which not only bypasses the expensive irregular data structuring and invalid empty voxel computation, but also obtains linear computational complexity with respect to voxel resolution. Meanwhile, to gather fine-grained features about the global shape, we introduce relative attention (RA) module, a more robust self-attention variant for rigid transformations of objects. Equipped with the SWA and RA, we construct our neural architecture called PVT that integrates both modules into a joint framework for point cloud learning. Compared with previous Transformer-based and attention-based models, our method attains top accuracy of 94.0% on classification benchmark and 10x inference speedup on average. Extensive experiments also valid the effectiveness of PVT on part and semantic segmentation benchmarks (86.6% and 69.2% mIoU, respectively).


title: Cosmological aspects of $f(R,T)$ gravity in a simple model with a parametrization of $q$

abstract: In this paper, we have considered a quadratic variation of the deceleration parameter ($q$) as a function of cosmic time ($t$) which describes a smooth transition from the decelerating phase of the Universe to an accelerating one and also show some distinctive feature from the standard model. The logical move of this article is against the behavior of the future Universe, \textit{i.e.} whether the Universe expands forever or ends with a Big Rip, and we observe that the outcome of the considered parametrization comes in favor of Big Rip future of the Universe. The whole set up of the parametrization and solution is taken in $f(R,T)$ theory of gravity for a spatially flat Friedmann-Lema\^{\i}tre-Robertson-Walker (FLRW) geometry. Furthermore, we have considered the functional form of $f(R,T)$ function as $% f(R)+f(T)$, where a quadratic correction of the geometric term $R$ is adopted as the function $f(R)$, and a linear matter term $f(T)$. We have investigated some features of the model by examining the behavior of physical parameters. Our primary goal here is to discuss the physical dynamics of the model in $f(R,T)$ gravity. We have found, the EoS parameter also has the same singularity as that of the Hubble parameter \textit{i.e.} at the initial phase and at the Big Rip. The EoS parameter is explored in some detail for our choice of $f(R,T)$ function considered here. Different cases for $f(R,T)$ functional form for different values of the coupling parameters are discussed, and the evolution of the physical parameters is shown graphically.


title: Piecewise Linear De-skewing for LiDAR Inertial Odometry

abstract: Light detection and ranging (LiDAR) on a moving agent could suffer from motion distortion due to simultaneous rotation of the LiDAR and fast movement of the agent. An accurate piecewise linear de skewing algorithm is proposed to correct the motion distortions for LiDAR inertial odometry (LIO) using high frequency motion information provided by an Inertial Measurement Unit (IMU). Experimental results show that the proposed algorithm can be adopted to improve the performance of existing LIO algorithms especially in cases of fast movement.


title: A mathematical model for phenotypic heterogeneity in breast cancer with implications for therapeutic strategies

abstract: Inevitably, almost all cancer patients develop resistance to targeted therapy. Intratumor heterogeneity (ITH) is a major cause of drug resistance. Mathematical models that explain experiments quantitatively is useful in understanding the origin of ITH, which then could be used to explore scenarios for efficacious therapy. Here, we develop a mathematical model to investigate ITH in breast cancer by exploiting the observation that HER2+ and HER2- cells could divide symmetrically or asymmetrically. Our predictions for the evolution of cell fractions are in quantitative agreement with single-cell experiments. Remarkably, the colony size of HER2+ cells emerging from a single HER2- cell (or vice versa), which occurs in about four cell doublings, agrees perfectly with experimental results, without tweaking any parameter in the model. The theory quantitatively explains experimental data on the responses of breast cancer tumor under different treatment protocols. We then used the model to predict that, not only the order of two drugs, but also the treatment period for each drug and the tumor cell plasticity could be manipulated to improve the treatment efficacy. Mathematical models, when integrated with data on patients, make possible exploration of a broad range of parameters readily, which might provide insights in devising effective therapies.


title: TDM: Trustworthy Decision-Making via Interpretability Enhancement

abstract: Human-robot interactive decision-making is increasingly becoming ubiquitous, and trust is an influential factor in determining the reliance on autonomy. However, it is not reasonable to trust systems that are beyond our comprehension, and typical machine learning and data-driven decision-making are black-box paradigms that impede interpretability. Therefore, it is critical to establish computational trustworthy decision-making mechanisms enhanced by interpretability-aware strategies. To this end, we propose a Trustworthy Decision-Making (TDM) framework, which integrates symbolic planning into sequential decision-making. The framework learns interpretable subtasks that result in a complex, higher-level composite task that can be formally evaluated using the proposed trust metric. TDM enables the subtask-level interpretability by design and converges to an optimal symbolic plan from the learned subtasks. Moreover, a TDM-based algorithm is introduced to demonstrate the unification of symbolic planning with other sequential-decision making algorithms, reaping the benefits of both. Experimental results validate the effectiveness of trust-score-based planning while improving the interpretability of subtasks.


title: Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition

abstract: Hardware accelerators (HAs) are essential building blocks for fast and energy-efficient computing systems. Accelerator Quick Error Detection (A-QED) is a recent formal technique which uses Bounded Model Checking for pre-silicon verification of HAs. A-QED checks an HA for self-consistency, i.e., whether identical inputs within a sequence of operations always produce the same output. Under modest assumptions, A-QED is both sound and complete. However, as is well-known, large design sizes significantly limit the scalability of formal verification, including A-QED. We overcome this scalability challenge through a new decomposition technique for A-QED, called A-QED with Decomposition (A-QED$^2$). A-QED$^2$ systematically decomposes an HA into smaller, functional sub-modules, called sub-accelerators, which are then verified independently using A-QED. We prove completeness of A-QED$^2$; in particular, if the full HA under verification contains a bug, then A-QED$^2$ ensures detection of that bug during A-QED verification of the corresponding sub-accelerators. Results on over 100 (buggy) versions of a wide variety of HAs with millions of logic gates demonstrate the effectiveness and practicality of A-QED$^2$.


title: Asteria: Deep Learning-based AST-Encoding for Cross-platform Binary Code Similarity Detection

abstract: Binary code similarity detection is a fundamental technique for many security applications such as vulnerability search, patch analysis, and malware detection. There is an increasing need to detect similar code for vulnerability search across architectures with the increase of critical vulnerabilities in IoT devices. The variety of IoT hardware architectures and software platforms requires to capture semantic equivalence of code fragments in the similarity detection. However, existing approaches are insufficient in capturing the semantic similarity. We notice that the abstract syntax tree (AST) of a function contains rich semantic information. Inspired by successful applications of natural language processing technologies in sentence semantic understanding, we propose a deep learning-based AST-encoding method, named ASTERIA, to measure the semantic equivalence of functions in different platforms. Our method leverages the Tree-LSTM network to learn the semantic representation of a function from its AST. Then the similarity detection can be conducted efficiently and accurately by measuring the similarity between two representation vectors. We have implemented an open-source prototype of ASTERIA. The Tree-LSTM model is trained on a dataset with 1,022,616 function pairs and evaluated on a dataset with 95,078 function pairs. Evaluation results show that our method outperforms the AST-based tool Diaphora and the-state-of-art method Gemini by large margins with respect to the binary similarity detection. And our method is several orders of magnitude faster than Diaphora and Gemini for the similarity calculation. In the application of vulnerability search, our tool successfully identified 75 vulnerable functions in 5,979 IoT firmware images.


title: VERITAS Dark Matter search in dwarf spheroidal galaxies: an extended analysis

abstract: Dark matter (DM) is largely believed to be the dominant component of the matter content of the Universe. Astronomical measurements can be utilized to search for Standard Model (SM) annihilation or decay products of DM, complementing direct and collider-based searches. Among DM particle candidates, Weakly Interacting Massive Particles (WIMPs) are an attractive one. Their decay or annihilation could produce secondary particles including very-high-energy (VHE: $E>100$ GeV) gamma rays, which could be detected by imaging atmospheric Cherenkov telescopes (IACTs). One of the most favourable target classes for DM searches are dwarf spheroidal galaxies (dSphs), dark matter-dominated objects with a negligible predicted gamma-ray emission due to apparent absence of gas and on-going star formation. IACTs, whose point spread functions (PSFs, defined as 68\% containment radius) are typically $0.1^{\circ}$ at 1 TeV, have the necessary angular resolution to detect extended emission from some dSphs. Thus, an extended-source analysis may give an improvement to DM sensitivity, compared to a point-source analysis. In this work, we used observations made since 2007 to 2013 by VERITAS, an array of four imaging atmospheric Cherenkov telescopes sensitive to VHE gamma rays in the 100 GeV - 30 TeV energy range. We performed an unbinned maximum likelihood estimation incorporating the dSph angular profiles of four dSphs and tested its effectiveness against the traditional spectral analysis.


title: The Stability-Efficiency Dilemma: Investigating Sequence Length Warmup for Training GPT Models

abstract: Recent works have demonstrated great success in pre-training large-scale autoregressive language models on massive GPUs. To reduce the wall-clock training time, a common practice is to increase the batch size and learning rate. However, such practice is often brittle and leads to a so-called stability-efficiency dilemma: increasing the batch sizes and learning rates leads to better training efficiency but can also result in training instability, leading to poor generalization accuracy or failed runs. To better understand this phenomenon, we conduct an in-depth analysis on large-scale pre-training experiments replicating the GPT-2 model. We find that there is a strong correlation between training instability and extreme values of gradient variance, and that samples with long sequence lengths contribute to these extreme gradient variance values, especially at the beginning of the training, indicating that long sequence length can be a main source of training instability. Based on the analysis, we present a Sequence Length Warmup method that aims to solve the training stability-efficiency dilemma. Experiments replicating GPT-2 models show that our approach enables stable training with 8x larger batch size and 4x larger learning rate, whereas the baseline approach struggles with training instability. To achieve the same or better zero-shot evaluation results, our method reduces the required number of training tokens and wall clock time by up to 2.2x and 3.7x, respectively. Experiments replicating GPT-3 model (125M) show that our approach enables stable training with 8x larger batch size and 40x larger learning rate, and retains 99% of the zero-shot accuracy on 11 tasks using 10x less data and 17x less time compared to the original GPT-3 training recipe, while the baseline diverges under the same settings and only retain 95% of accuracy under lower learning rate.


title: A Malmquist--Steinmetz theorem for difference equations

abstract: It is shown that if the equation \begin{equation*} f(z+1)^n=R(z,f), \end{equation*} where $R(z,f)$ is rational in both arguments and $\deg_f(R(z,f))\not=n$, has a transcendental meromorphic solution, then the equation above reduces into one out of several types of difference equations where the rational term $R(z,f)$ takes particular forms. Solutions of these equations are presented in terms of Weierstrass or Jacobian elliptic functions, exponential type functions or functions which are solutions to a certain autonomous first-order difference equation having meromorphic solutions with preassigned asymptotic behavior. These results complement our previous work on the case $\deg_f(R(z,f))=n$ of the equation above and thus provide a complete difference analogue of Steinmetz' generalization of Malmquist's theorem.


title: A VCSEL Array Transmission System with Novel Beam Activation Mechanisms

abstract: Optical wireless communication (OWC) is considered to be a promising technology which will alleviate traffic burden caused by the increasing number of mobile devices. In this study, a novel vertical-cavity surface-emitting laser (VCSEL) array is proposed for indoor OWC systems. To activate the best beam for a mobile user, two beam activation methods are proposed for the system. The method based on a corner-cube retroreflector (CCR) provides very low latency and allows real-time activation for high-speed users. The other method uses the omnidirectional transmitter (ODTx). The ODTx can serve the purpose of uplink transmission and beam activation simultaneously. Moreover, systems with ODTx are very robust to the random orientation of a user equipment (UE). System level analyses are carried out for the proposed VCSEL array system. For a single user scenario, the probability density function (PDF) of the signal-to-noise ratio (SNR) for the central beam of the VCSEL array system can be approximated as a uniform distribution. In addition, the average data rate of the central beam and its upper bound are given analytically and verified by Monte-Carlo simulations. For a multi-user scenario, an analytical upper bound for the average data rate is given. The effects of the cell size and the full width at half maximum (FWHM) angle on the system performance are studied. The results show that the system with a FWHM angle of $4^\circ$ outperforms the others.


title: A Generative Adversarial Framework for Optimizing Image Matting and Harmonization Simultaneously

abstract: Image matting and image harmonization are two important tasks in image composition. Image matting, aiming to achieve foreground boundary details, and image harmonization, aiming to make the background compatible with the foreground, are both promising yet challenging tasks. Previous works consider optimizing these two tasks separately, which may lead to a sub-optimal solution. We propose to optimize matting and harmonization simultaneously to get better performance on both the two tasks and achieve more natural results. We propose a new Generative Adversarial (GAN) framework which optimizing the matting network and the harmonization network based on a self-attention discriminator. The discriminator is required to distinguish the natural images from different types of fake synthesis images. Extensive experiments on our constructed dataset demonstrate the effectiveness of our proposed method. Our dataset and dataset generating pipeline can be found in \url{https://git.io/HaMaGAN}


title: On the minimum degree of power graphs of finite nilpotent groups

abstract: The power graph $\mathcal{P}(G)$ of a group $G$ is the simple graph with vertex set $G$ and two vertices are adjacent whenever one of them is a positive power of the other. In this paper, for a finite noncyclic nilpotent group $G$, we study the minimum degree $\delta(\mathcal{P}(G))$ of $\mathcal{P}(G)$. Under some conditions involving the prime divisors of $|G|$ and the Sylow subgroups of $G$, we identify certain vertices associated with the generators of maximal cyclic subgroups of $G$ such that $\delta(\mathcal{P}(G))$ is equal to the degree of one of these vertices. As an application, we obtain $\delta(\mathcal{P}(G))$ for some classes of finite noncyclic abelian groups $G$.


title: Statistics of Thawing K-essence Dark Energy Models

abstract: K-essence is a minimally-coupled scalar field whose Lagrangian density $\mathcal{L}$ is a function of the field value $\phi$ and the kinetic energy $X=\frac{1}{2}\partial_\mu\phi\partial^\mu\phi$. In the thawing scenario, the scalar field is frozen by the large Hubble friction in the early universe, and therefore initial conditions are specified. We construct thawing k-essence models by generating Taylor expansion coefficients of $\mathcal{L}(\phi, X)$ from random matrices. From the ensemble of randomly generated thawing k-essence models, we select dark energy candidates by assuming negative pressure and non-growth of sub-horizon inhomogeneities. For each candidate model the dark energy equation of state function is fit to the Chevallier-Polarski-Linder parameterization $w(a) \approx w_0+w_a(1-a)$, where $a$ is the scale factor. The thawing k-essence dark models distribute very non-uniformly in the $(w_0, w_a)$ space. About 90\% models cluster in a narrow band in the proximity of a slow-roll line $w_a\approx -1.42 \left(\frac{\Omega_m}{0.3}\right)^{0.64}(1+w_0)$, where $\Omega_m$ is the present matter density fraction. This work is a proof of concept that for a certain class of models very non-uniform theoretical prior on $(w_0, w_a)$ can be obtained to improve the statistics of model selection.


title: SVC-onGoing: Signature Verification Competition

abstract: This article presents SVC-onGoing, an on-going competition for on-line signature verification where researchers can easily benchmark their systems against the state of the art in an open common platform using large-scale public databases, such as DeepSignDB and SVC2021_EvalDB, and standard experimental protocols. SVC-onGoing is based on the ICDAR 2021 Competition on On-Line Signature Verification (SVC 2021), which has been extended to allow participants anytime. The goal of SVC-onGoing is to evaluate the limits of on-line signature verification systems on popular scenarios (office/mobile) and writing inputs (stylus/finger) through large-scale public databases. Three different tasks are considered in the competition, simulating realistic scenarios as both random and skilled forgeries are simultaneously considered on each task. The results obtained in SVC-onGoing prove the high potential of deep learning methods in comparison with traditional methods. In particular, the best signature verification system has obtained Equal Error Rate (EER) values of 3.33% (Task 1), 7.41% (Task 2), and 6.04% (Task 3). Future studies in the field should be oriented to improve the performance of signature verification systems on the challenging mobile scenarios of SVC-onGoing in which several mobile devices and the finger are used during the signature acquisition.


title: BESS Aided Reconfigurable Energy Supply using Deep Reinforcement Learning for 5G and Beyond

abstract: The year of 2020 has witnessed the unprecedented development of 5G networks, along with the widespread deployment of 5G base stations (BSs). Nevertheless, the enormous energy consumption of BSs and the incurred huge energy cost have become significant concerns for the mobile operators. As the continuous decline of the renewable energy cost, equipping the power-hungry BSs with renewable energy generators could be a sustainable solution. In this work, we propose an energy storage aided reconfigurable renewable energy supply solution for the BS, which could supply clean energy to the BS and store surplus energy for backup usage. Specifically, to flexibly reconfigure the battery's discharging/charging operations, we propose a deep reinforcement learning based reconfiguring policy, which can adapt to the dynamical renewable energy generations as well as the varying power demands. Our experiments using the real-world data on renewable energy generations and power demands demonstrate that, our reconfigurable power supply solution can achieve an energy saving ratio of 74.8%, compared to the case with traditional power grid supply.


title: A note on fsg groups in p-adically closed fields

abstract: Let $G$ be a definable group in a $p$-adically closed field $M$. We show that $G$ has finitely satisfiable generics (fsg) if and only if $G$ is definably compact. The case $M = \mathbb{Q}_p$ was previously proved by Onshuus and Pillay.


title: A Unified Frequency Domain Cross-Validatory Approach to HAC Standard Error Estimation

abstract: A unified frequency domain cross-validation (FDCV) method is proposed to obtain a heteroskedasticity and autocorrelation consistent (HAC) standard error. This method enables model/tuning parameter selection across both parametric and nonparametric spectral estimators simultaneously. The candidate class for this approach consists of restricted maximum likelihood-based (REML) autoregressive spectral estimators and lag-weights estimators with the Parzen kernel. Additionally, an efficient technique for computing the REML estimators of autoregressive models is provided. Through simulations, the reliability of the FDCV method is demonstrated, comparing favorably with popular HAC estimators such as Andrews-Monahan and Newey-West.


title: Multi-Stage Graph Peeling Algorithm for Probabilistic Core Decomposition

abstract: Mining dense subgraphs where vertices connect closely with each other is a common task when analyzing graphs. A very popular notion in subgraph analysis is core decomposition. Recently, Esfahani et al. presented a probabilistic core decomposition algorithm based on graph peeling and Central Limit Theorem (CLT) that is capable of handling very large graphs. Their proposed peeling algorithm (PA) starts from the lowest degree vertices and recursively deletes these vertices, assigning core numbers, and updating the degree of neighbour vertices until it reached the maximum core. However, in many applications, particularly in biology, more valuable information can be obtained from dense sub-communities and we are not interested in small cores where vertices do not interact much with others. To make the previous PA focus more on dense subgraphs, we propose a multi-stage graph peeling algorithm (M-PA) that has a two-stage data screening procedure added before the previous PA. After removing vertices from the graph based on the user-defined thresholds, we can reduce the graph complexity largely and without affecting the vertices in subgraphs that we are interested in. We show that M-PA is more efficient than the previous PA and with the properly set filtering threshold, can produce very similar if not identical dense subgraphs to the previous PA (in terms of graph density and clustering coefficient).


title: $R^2$/Higgs inflation and the hierarchy problem

abstract: We analyse Starobinsky inflation in the presence of the Brout Englert Higgs (BEH) boson with a non-minimal coupling to the Ricci scalar, $R$. The latter induces a coupling of the massive scaleron associated with the $R^2$ term to the BEH boson and this leads to a radiative correction to the BEH mass that must be fine tuned to keep the scalar light. For the case of $R^2$ driven inflation this requires a high level of fine tuning of order 1 part in $10^{8}$; for the case of Higgs inflation it is very much greater. We consider a scale invariant extension of the $R^2$/Higgs model and find that for $R^2$ driven inflation but not for Higgs inflation the required fine tuning is significantly reduced to one part in $10^{3-4}$. We consider the vacuum stability of the fine tuned model and its reheating and dilaton abundance after inflation. We also discuss possible gravitational wave signals associated with the model and the constraint on the mass of scalar or fermion dark matter candidates if they are produced by the gravitational couplings of the scalaron.


title: SHACL: A Description Logic in Disguise

abstract: SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its relation to OWL (the de facto standard for expressing ontological information on the web) and description logics (which form the formal foundations of OWL). We answer these questions by arguing that SHACL is in fact a description logic. On the one hand, our answer is surprisingly simple, some might even say obvious. But, on the hand, our answer is also controversial. By resolving this issue once and for all, we establish the field of description logics as the solid formal foundations of SHACL.


title: Model of the thermoelectric properties of anisotropic organic semiconductors

abstract: A model of charge hopping transport that accounts for anisotropy of localized states and Coulomb interaction between charges is proposed. For the anisotropic localized states the degree of orientation relates exponentially to the ratio of conductivities in parallel and perpendicular directions, while the ratio of Seebeck coefficients stays nearly unaffected. However, the ratio of Seebeck coefficients increases if Coulomb interaction is screened stronger in a direction parallel to the predominant orientation of the localized states. This implies two different physical mechanisms responsible for the anisotropy of thermoelectric properties in the hopping regime: electronic state localization for conductivities, and screening for Seebeck coefficients. This provides explanation for recent experimental findings on tensile drawn and ribbed polymer films.


title: FedPara: Low-Rank Hadamard Product for Communication-Efficient Federated Learning

abstract: In this work, we propose a communication-efficient parameterization, FedPara, for federated learning (FL) to overcome the burdens on frequent model uploads and downloads. Our method re-parameterizes weight parameters of layers using low-rank weights followed by the Hadamard product. Compared to the conventional low-rank parameterization, our FedPara method is not restricted to low-rank constraints, and thereby it has a far larger capacity. This property enables to achieve comparable performance while requiring 3 to 10 times lower communication costs than the model with the original layers, which is not achievable by the traditional low-rank methods. The efficiency of our method can be further improved by combining with other efficient FL optimizers. In addition, we extend our method to a personalized FL application, pFedPara, which separates parameters into global and local ones. We show that pFedPara outperforms competing personalized FL methods with more than three times fewer parameters.


title: TeV emission from FSRQs: the first systematic and unbiased survey

abstract: Flat spectrum radio quasars (FSRQs) have been detected at TeV energies by ground-based atmospheric Cherenkov telescopes mainly during flaring states. VERITAS is carrying out the first systematic and unbiased search for TeV emissions from a set of FSRQs. Fermi-LAT-detected FSRQs with positive declinations and extrapolated fluxes from the 3FHL catalog exceeding 1$\%$ Crab at >200 GeV after correcting for EBL absorption were selected for this survey, resulting in eight targets. Additionally, four FSRQs that were already detected at TeV energies are also included in this survey. In an unbiased fashion, the observations of 12 FSRQs, even without detection, will provide the first constraints on their duty cycle of TeV emission. We report the results from four of the 12 FSRQs observed during 2020-21 season in this work. For these sources, we also show the results from nearly simultaneous \textit{Fermi}-LAT observations.


title: Tight inclusions of C*-dynamical systems

abstract: We study a notion of tight inclusions of C*- and W*-dynamical systems which is meant to capture a tension between topological and measurable rigidity of boundary actions. An important case of such inclusions are $C(X)\subset L^\infty(X, \nu)$ for measurable boundaries with unique stationary compact models. We discuss the implications of this phenomenon in the description of Zimmer amenable intermediate factors. Furthermore, we prove applications in the problem of maximal injectivity of von Neumann algebras.


title: Robust fast method for variable-order time-fractional diffusion equations without regularity assumptions

abstract: In this paper, we develop a robust fast method for mobile-immobile variable-order (VO) time-fractional diffusion equations (tFDEs), superiorly handling the cases of small or vanishing lower bound of the VO function. The valid fast approximation of the VO Caputo fractional derivative is obtained using integration by parts and the exponential-sum-approximation method. Compared with the general direct method, the proposed algorithm ($RF$-$L1$ formula) reduces the acting memory from $\mathcal{O}(n)$ to $\mathcal{O}(\log^2 n)$ and computational cost from $\mathcal{O}(n^2)$ to $\mathcal{O}(n \log^2 n)$, respectively, where $n$ is the number of time levels. Then $RF$-$L1$ formula is applied to construct the fast finite difference scheme for the VO tFDEs, which sharp decreases the memory requirement and computational complexity. The error estimate for the proposed scheme is studied only under some assumptions of the VO function, coefficients, and the source term, but without any regularity assumption of the true solutions. Numerical experiments are presented to verify the effectiveness of the proposed method.