title: Linear solvers for power grid optimization problems: a review of GPU-accelerated linear solvers

abstract: The linear equations that arise in interior methods for constrained optimization are sparse symmetric indefinite and become extremely ill-conditioned as the interior method converges. These linear systems present a challenge for existing solver frameworks based on sparse LU or LDL^T decompositions. We benchmark five well known direct linear solver packages using matrices extracted from power grid optimization problems. The achieved solution accuracy varies greatly among the packages. None of the tested packages delivers significant GPU acceleration for our test cases.


title: The Covering Radius of the Reed-Muller Code $RM(m-4,m)$ in $RM(m-3,m)$

abstract: We present methods for computing the distance from a Boolean polynomial on $m$ variables of degree $m-3$ (i.e., a member of the Reed-Muller code $RM(m-3,m)$) to the space of lower-degree polynomials ($RM(m-4,m)$). The methods give verifiable certificates for both the lower and upper bounds on this distance. By applying these methods to representative lists of polynomials, we show that the covering radius of $RM(4,8)$ in $RM(5,8)$ is 26 and the covering radius of $RM(5,9)$ in $RM(6,9)$ is between 28 and 32 inclusive, and we get improved lower bounds for higher~$m$. We also apply our methods to various polynomials in the literature, thereby improving the known bounds on the distance from 2-resilient polynomials to $RM(m-4,m)$.


title: Predictive Control Using Learned State Space Models via Rolling Horizon Evolution

abstract: A large part of the interest in model-based reinforcement learning derives from the potential utility to acquire a forward model capable of strategic long term decision making. Assuming that an agent succeeds in learning a useful predictive model, it still requires a mechanism to harness it to generate and select among competing simulated plans. In this paper, we explore this theme combining evolutionary algorithmic planning techniques with models learned via deep learning and variational inference. We demonstrate the approach with an agent that reliably performs online planning in a set of visual navigation tasks.


title: Bias-tunable two-dimensional magnetic and topological materials

abstract: Searching for novel two-dimensional (2D) materials is crucial for the development of the next generation technologies such as electronics, optoelectronics, electrochemistry and biomedicine. In this work, we designed a series of 2D materials based on endohedral fullerenes, and revealed that many of them integrate different functions in a single system, such as ferroelectricity with large electric dipole moments, multiple magnetic phases with both strong magnetic anisotropy and high Curie temperature, quantum spin Hall effect or quantum anomalous Hall effect with robust topologically protected edge states. We further proposed a new style topological field-effect transistor. These findings provide a strategy of using fullerenes as building blocks for the synthesis of novel 2D materials which can be easily controlled with a local electric field.


title: Midpoint Regularization: from High Uncertainty Training to Conservative Classification

abstract: Label Smoothing (LS) improves model generalization through penalizing models from generating overconfident output distributions. For each training sample the LS strategy smooths the one-hot encoded training signal by distributing its distribution mass over the non-ground truth classes. We extend this technique by considering example pairs, coined PLS. PLS first creates midpoint samples by averaging random sample pairs and then learns a smoothing distribution during training for each of these midpoint samples, resulting in midpoints with high uncertainty labels for training. We empirically show that PLS significantly outperforms LS, achieving up to 30% of relative classification error reduction. We also visualize that PLS produces very low winning softmax scores for both in and out of distribution samples.


title: LNS-Madam: Low-Precision Training in Logarithmic Number System using Multiplicative Weight Update

abstract: Representing deep neural networks (DNNs) in low-precision is a promising approach to enable efficient acceleration and memory reduction. Previous methods that train DNNs in low-precision typically keep a copy of weights in high-precision during the weight updates. Directly training with low-precision weights leads to accuracy degradation due to complex interactions between the low-precision number systems and the learning algorithms. To address this issue, we develop a co-designed low-precision training framework, termed LNS-Madam, in which we jointly design a logarithmic number system (LNS) and a multiplicative weight update algorithm (Madam). We prove that LNS-Madam results in low quantization error during weight updates, leading to stable performance even if the precision is limited. We further propose a hardware design of LNS-Madam that resolves practical challenges in implementing an efficient datapath for LNS computations. Our implementation effectively reduces energy overhead incurred by LNS-to-integer conversion and partial sum accumulation. Experimental results show that LNS-Madam achieves comparable accuracy to full-precision counterparts with only 8 bits on popular computer vision and natural language tasks. Compared to FP32 and FP8, LNS-Madam reduces the energy consumption by over 90% and 55%, respectively.


title: High-contrast plasmonic-enhanced shallow spin defects in hexagonal boron nitride for quantum sensing

abstract: The recently discovered spin defects in hexagonal boron nitride (hBN), a layered van der Waals material, have great potential in quantum sensing. However, the photoluminescence and the contrast of the optically detected magnetic resonance (ODMR) of hBN spin defects are relatively low so far, which limits their sensitivity. Here we report a record-high ODMR contrast of 46$\%$ at room temperature, and simultaneous enhancement of the photoluminescence of hBN spin defects by up to 17-fold by the surface plasmon of a gold-film microwave waveguide. Our results are obtained with shallow boron vacancy spin defects in hBN nanosheets created by low-energy He$^+$ ion implantation, and a gold-film microwave waveguide fabricated by photolithography. We also explore the effects of microwave and laser powers on the ODMR, and improve the sensitivity of hBN spin defects for magnetic field detection. Our results support the promising potential of hBN spin defects for nanoscale quantum sensing.


title: Monte Carlo simulations of the S-shaped neutron guides with asymmetric concave and convex surface coatings

abstract: During the last decades, neutron beam transportation has been a well-known and established subject for designing proper neutron guides. However, sometimes unusual adaptation or adjustments are required out of original projects and after operation beginning of facilities. Inter-center transferring of instrument locations also requires a new approach that is not necessarily described in the literature. Inside these situations, the use of S-shaped guides has not been fully discussed in the literature. From a geometrical analysis, we develop a formalism of construction of a minimal S-shaped guide by only considering the exclusion of the Line-of-Sight. We study this guide model through the wavelength cutoff and the neutron transport efficiency analysis. Here, Monte Carlo simulations using MCSTAS software are applied. By intending to optimize these guide systems, simulations of this study also consider scenarios that have different supermirrors. A formalism to determine wavelength cutoff for unique and variable index guide systems is also developed. Simulation results show a good agreement between theoretical and simulated wavelength cutoff values. In addition, we have found specific configurations that combine efficient neutron transport and lower index values on the convex surfaces of curved guides that form the S-shaped guide.

categories: physics.ins-det nucl-ex nucl-th quant-ph


title: Quantum Computing for Artificial Intelligence Based Mobile Network Optimization

abstract: In this paper, we discuss how certain radio access network optimization problems can be modelled using the concept of constraint satisfaction problems in artificial intelligence, and solved at scale using a quantum computer. As a case study, we discuss root sequence index (RSI) assignment problem - an important LTE/NR physical random access channel configuration related automation use-case. We formulate RSI assignment as quadratic unconstrained binary optimization (QUBO) problem constructed using data ingested from a commercial mobile network, and solve it using a cloud-based commercially available quantum computing platform. Results show that quantum annealing solver can successfully assign conflict-free RSIs. Comparison with well-known heuristics reveals that some classic algorithms are even more effective in terms of solution quality and computation time. The non-quantum advantage is due to the fact that current implementation is a semi-quantum proof-of-concept algorithm. Also, the results depend on the type of quantum computer used. Nevertheless, the proposed framework is highly flexible and holds tremendous potential for harnessing the power of quantum computing in mobile network automation.


title: Orbital Magnetism of Active Viscoelastic Suspension

abstract: We consider a dilute suspension of active (self-propelling) particles in a visco-elastic fluid. Particles are charged and constrained to move in a two dimensional harmonic trap. Their dynamics is coupled to a constant magnetic field applied perpendicular to their motion via Lorentz force. Due to the finite activity, the generalised fluctuation-dissipation relation (GFDR) breaks down, driving the system away from equilibrium. While breaking GFDR, we have shown that the system can have finite classical orbital magnetism only when the dynamics of the system contains finite inertia. The orbital magnetic moment has been calculated exactly. Remarkably, we find that when the elastic dissipation time scale of the medium is larger (smaller) than the persistence time scale of the self-propelling particles, the system is diamagnetic (paramagnetic). Therefore, for a given strength of the magnetic field, the system undergoes a novel transition from diamagnetic to paramagnetic state (and vice-versa) simply by tuning the time scales of underlying physical processes, such as, active fluctuations and visco-elastic dissipation. Interestingly, we also find that the magnetic moment, which vanishes at equilibrium, behaves non-monotonically with respect to increasing persistence of self-propulsion, that drives the system out of equilibrium


title: Pruning Edges and Gradients to Learn Hypergraphs from Larger Sets

abstract: This paper aims for set-to-hypergraph prediction, where the goal is to infer the set of relations for a given set of entities. This is a common abstraction for applications in particle physics, biological systems, and combinatorial optimization. We address two common scaling problems encountered in set-to-hypergraph tasks that limit the size of the input set: the exponentially growing number of hyperedges and the run-time complexity, both leading to higher memory requirements. We make three contributions. First, we propose to predict and supervise the \emph{positive} edges only, which changes the asymptotic memory scaling from exponential to linear. Second, we introduce a training method that encourages iterative refinement of the predicted hypergraph, which allows us to skip iterations in the backward pass for improved efficiency and constant memory usage. Third, we combine both contributions in a single set-to-hypergraph model that enables us to address problems with larger input set sizes. We provide ablations for our main technical contributions and show that our model outperforms prior state-of-the-art, especially for larger sets.


title: CAMS: Color-Aware Multi-Style Transfer

abstract: Image style transfer aims to manipulate the appearance of a source image, or "content" image, to share similar texture and colors of a target "style" image. Ideally, the style transfer manipulation should also preserve the semantic content of the source image. A commonly used approach to assist in transferring styles is based on Gram matrix optimization. One problem of Gram matrix-based optimization is that it does not consider the correlation between colors and their styles. Specifically, certain textures or structures should be associated with specific colors. This is particularly challenging when the target style image exhibits multiple style types. In this work, we propose a color-aware multi-style transfer method that generates aesthetically pleasing results while preserving the style-color correlation between style and generated images. We achieve this desired outcome by introducing a simple but efficient modification to classic Gram matrix-based style transfer optimization. A nice feature of our method is that it enables the users to manually select the color associations between the target style and content image for more transfer flexibility. We validated our method with several qualitative comparisons, including a user study conducted with 30 participants. In comparison with prior work, our method is simple, easy to implement, and achieves visually appealing results when targeting images that have multiple styles. Source code is available at https://github.com/mahmoudnafifi/color-aware-style-transfer.


title: Immersive Stories for Health Information: Design Considerations from Binge Drinking in VR

abstract: Immersive stories for health are 360-degree videos that intend to alter viewer perceptions about behaviors detrimental to health. They have potential to inform public health at scale, however, immersive story design is still in early stages and largely devoid of best practices. This paper presents a focus group study with 147 viewers of an immersive story about binge drinking experienced through VR headsets and mobile phones. The objective of the study is to identify aspects of immersive story design that influence attitudes towards the health issue exhibited, and to understand how health information is consumed in immersive stories. Findings emphasize the need for an immersive story to provide reasoning behind character engagement in the focal health behavior, to show the main character clearly engaging in the behavior, and to enable viewers to experience escalating symptoms of the behavior before the penultimate health consequence. Findings also show how the design of supporting characters can inadvertently distract viewers and lead them to justify the detrimental behavior being exhibited. The paper concludes with design considerations for enabling immersive stories to better inform public perception of health issues.


title: Grothendieck to Lascoux expansions

abstract: We establish the conjecture of Reiner and Yong for an explicit combinatorial formula for the expansion of a Grothendieck polynomial into the basis of Lascoux polynomials. This expansion is a subtle refinement of its symmetric function version due to Buch, Kresch, Shimozono, Tamvakis, and Yong, which gives the expansion of stable Grothendieck polynomials indexed by permutations into Grassmannian stable Grothendieck polynomials. Our expansion is the K-theoretic analogue of that of a Schubert polynomial into Demazure characters, whose symmetric analogue is the expansion of a Stanley symmetric function into Schur functions. Our expansions extend to flagged Grothendieck polynomials.


title: Off-shell chromomagnetic dipole moments in the SM at and beyond the $Z$ gauge boson mass scale

abstract: The off-shell anomalous chromomagnetic dipole moment of the standard model quarks ($u$, $d$, $s$, $c$ and $b$), at the $Z$ gauge boson mass scale, is computed by using the $\overline{\textrm{MS}}$ scheme. The numerical results disagree with all the previous predictions reported in the literature and show a discrepancy of up to two orders of magnitude in certain situations.


title: Self-Attentive Ensemble Transformer: Representing Ensemble Interactions in Neural Networks for Earth System Models

abstract: Ensemble data from Earth system models has to be calibrated and post-processed. I propose a novel member-by-member post-processing approach with neural networks. I bridge ideas from ensemble data assimilation with self-attention, resulting into the self-attentive ensemble transformer. Here, interactions between ensemble members are represented as additive and dynamic self-attentive part. As proof-of-concept, I regress global ECMWF ensemble forecasts to 2-metre-temperature fields from the ERA5 reanalysis. I demonstrate that the ensemble transformer can calibrate the ensemble spread and extract additional information from the ensemble. As it is a member-by-member approach, the ensemble transformer directly outputs multivariate and spatially-coherent ensemble members. Therefore, self-attention and the transformer technique can be a missing piece for a non-parametric post-processing of ensemble data with neural networks.


title: Extending the Patra-Sen Approach to Estimating the Background Component in a Two-Component Mixture Model

abstract: Patra and Sen (2016) consider a two-component mixture model, where one component plays the role of background while the other plays the role of signal, and propose to estimate the background component by simply "maximizing" its weight. While in their work the background component is a completely known distribution, we extend their approach here to three emblematic settings: when the background distribution is symmetric; when it is monotonic; and when it is log-concave. In each setting, we derive estimators for the background component, establish consistency, and provide a confidence band. While the estimation of a background component is straightforward when it is taken to be symmetric or monotonic, when it is log-concave its estimation requires the computation of a largest concave minorant, which we implement using sequential quadratic programming. Compared to existing methods, our method has the advantage of requiring much less prior knowledge on the background component, and is thus less prone to model misspecification. We illustrate this methodology on a number of synthetic and real datasets.


title: Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation

abstract: In recent years, the confidentiality of smart contracts has become a fundamental requirement for practical applications. While many efforts have been made to develop architectural capabilities for enforcing confidential smart contracts, a few works arise to extend confidential smart contracts to Multi-Party Computation (MPC), i.e., multiple parties jointly evaluate a transaction off-chain and commit the outputs on-chain without revealing their secret inputs/outputs to each other. However, existing solutions lack public verifiability and require O(n) transactions to enable negotiation or resist adversaries, thus suffering from inefficiency and compromised security. In this paper, we propose Cloak, a framework for enabling Multi-Party Transaction (MPT) on existing blockchains. An MPT refers to transitioning blockchain states by an publicly verifiable off-chain MPC. We identify and handle the challenges of securing MPT by harmonizing TEE and blockchain. Consequently, Cloak secures the off-chain nondeterministic negotiation process (a party joins an MPT without knowing identities or the total number of parties until the MPT proposal settles), achieves public verifiability (the public can validate that the MPT correctly handles the secret inputs/outputs from multiple parties and reads/writes states on-chain), and resists Byzantine adversaries. According to our proof, Cloak achieves better security with only 2 transactions, superior to previous works that achieve compromised security at O(n) transactions cost. By evaluating examples and real-world MPTs, the gas cost of Cloak reduces by 32.4% on average.


title: Investigation of Bare-bones Algorithms from Quantum Perspective: A Quantum Dynamical Global Optimizer

abstract: Recent decades, the emergence of numerous novel algorithms makes it a gimmick to propose an intelligent optimization system based on metaphor, and hinders researchers from exploring the essence of search behavior in algorithms. However, it is difficult to directly discuss the search behavior of an intelligent optimization algorithm, since there are so many kinds of intelligent schemes. To address this problem, an intelligent optimization system is regarded as a simulated physical optimization system in this paper. The dynamic search behavior of such a simplified physical optimization system are investigated with quantum theory. To achieve this goal, the Schroedinger equation is employed as the dynamics equation of the optimization algorithm, which is used to describe dynamic search behaviours in the evolution process with quantum theory. Moreover, to explore the basic behaviour of the optimization system, the optimization problem is assumed to be decomposed and approximated. Correspondingly, the basic search behaviour is derived, which constitutes the basic iterative process of a simple optimization system. The basic iterative process is compared with some classical bare-bones schemes to verify the similarity of search behavior under different metaphors. The search strategies of these bare bones algorithms are analyzed through experiments.


title: Toward Less Hidden Cost of Code Completion with Acceptance and Ranking Models

abstract: Code completion is widely used by software developers to provide coding suggestions given a partially written code snippet. Apart from the traditional code completion methods, which only support single token completion at minimal positions, recent studies show the ability to provide longer code completion at more flexible positions. However, such frequently triggered and longer completion results reduce the overall precision as they generate more invalid results. Moreover, different studies are mostly incompatible with each other. Thus, it is vital to develop an ensemble framework that can combine results from multiple models to draw merits and offset defects of each model. This paper conducts a coding simulation to collect data from code context and different code completion models and then apply the data in two tasks. First, we introduce an acceptance model which can dynamically control whether to display completion results to the developer. It uses simulation features to predict whether correct results exist in the output of these models. Our best model reduces the percentage of false-positive completion from 55.09% to 17.44%. Second, we design a fusion ranking scheme that can automatically identify the priority of the completion results and reorder the candidates from multiple code completion models. This scheme is flexible in dealing with various models, regardless of the type or the length of their completion results. We integrate this ranking scheme with two frequency models and a GPT-2 styled language model, along with the acceptance model to yield 27.80% and 37.64% increase in TOP1 and TOP5 accuracy, respectively. In addition, we propose a new code completion evaluation metric, Benefit-Cost Ratio(BCR), taking into account the benefit of keystrokes saving and hidden cost of completion list browsing, which is closer to real coder experience scenario.


title: Dual-Stream Reciprocal Disentanglement Learning for Domain Adaptation Person Re-Identification

abstract: Since human-labeled samples are free for the target set, unsupervised person re-identification (Re-ID) has attracted much attention in recent years, by additionally exploiting the source set. However, due to the differences on camera styles, illumination and backgrounds, there exists a large gap between source domain and target domain, introducing a great challenge on cross-domain matching. To tackle this problem, in this paper we propose a novel method named Dual-stream Reciprocal Disentanglement Learning (DRDL), which is quite efficient in learning domain-invariant features. In DRDL, two encoders are first constructed for id-related and id-unrelated feature extractions, which are respectively measured by their associated classifiers. Furthermore, followed by an adversarial learning strategy, both streams reciprocally and positively effect each other, so that the id-related features and id-unrelated features are completely disentangled from a given image, allowing the encoder to be powerful enough to obtain the discriminative but domain-invariant features. In contrast to existing approaches, our proposed method is free from image generation, which not only reduces the computational complexity remarkably, but also removes redundant information from id-related features. Extensive experiments substantiate the superiority of our proposed method compared with the state-of-the-arts. The source code has been released in https://github.com/lhf12278/DRDL.


title: Magnetization dependent tunneling conductance of ferromagnetic barriers

abstract: Recent experiments on van der Waals antiferrmagnets such as CrI3, CrCl3 and MnPS3 have shown that using atomically thin layers as tunnel barriers and measuring the temperature ($T$) and magnetic field ($H$) dependence of the conductance allows their magnetic phase diagram to be mapped. In contrast, barriers made of CrBr3 -- the sole van der Waals ferromagnet investigated in this way -- were found to exhibit small and featureless magnetoconductance, seemingly carrying little information about magnetism. Here we show that -- despite these early results -- the conductance of CrBr3 tunnel barriers does provide detailed information about the magnetic state of atomically thin CrBr3 crystals for $T$ both above and below the Curie temperature ($T_C = 32$ K). Our analysis establishes that the tunneling conductance depends on $H$ and $T$ exclusively through the magnetization $M(H,T)$, over the entire temperature range investigated (2-50 K). The phenomenon is reproduced in detail by the spin-dependent Fowler-Nordheim model for tunneling, and is a direct manifestation of the spin splitting of the CrBr3 conduction band. These findings demonstrate that the investigation of magnetism by tunneling conductance measurements is not limited to antiferromagnets, but can also be applied to ferromagnetic materials.


title: Hypothesis Testing for Two Sample Comparison of Network Data

abstract: Network data is a major object data type that has been widely collected or derived from common sources such as brain imaging. Such data contains numeric, topological, and geometrical information, and may be necessarily considered in certain non-Euclidean space for appropriate statistical analysis. The development of statistical methodologies for network data is challenging and currently at its infancy; for instance, the non-Euclidean counterpart of basic two-sample tests for network data is scarce in literature. In this study, a novel framework is presented for two independent sample comparison of networks. Specifically, an approximation distance metric to quotient Euclidean distance is proposed, and then combined with network spectral distance to quantify the local and global dissimilarity of networks simultaneously. A permutational non-Euclidean analysis of variance is adapted to the proposed distance metric for the comparison of two independent groups of networks. Comprehensive simulation studies and real applications are conducted to demonstrate the superior performance of our method over other alternatives. The asymptotic properties of the proposed test are investigated and its high-dimensional extension is discussed as well.


title: Digital Divides and Online Media

abstract: Digital divide has been a common concern during the past two or three decades; traditionally, it refers to a gap between developed and developing countries in the adoption and use of digital technologies. Given the importance of the topic, digital divide has been also extensively studied, although, hitherto, there is no previous research that would have linked the concept to online media. Given this gap in the literature, this paper evaluates the "maturity" of online media in 134 countries between 2007 and 2016. Maturity is defined according to the levels of national online media consumption, diversity of political perspectives presented in national online media, and consensus in reporting major political events in national online media. These aspects are explained by considering explanatory factors related to economy, infrastructure, politics, and administration. According to the empirical results based on a dynamic panel data methodology, all aspects except administration are also associated with the maturity of national online media.


title: Inverting and Understanding Object Detectors

abstract: As a core problem in computer vision, the performance of object detection has improved drastically in the past few years. Despite their impressive performance, object detectors suffer from a lack of interpretability. Visualization techniques have been developed and widely applied to introspect the decisions made by other kinds of deep learning models; however, visualizing object detectors has been underexplored. In this paper, we propose using inversion as a primary tool to understand modern object detectors and develop an optimization-based approach to layout inversion, allowing us to generate synthetic images recognized by trained detectors as containing a desired configuration of objects. We reveal intriguing properties of detectors by applying our layout inversion technique to a variety of modern object detectors, and further investigate them via validation experiments: they rely on qualitatively different features for classification and regression; they learn canonical motifs of commonly co-occurring objects; they use diff erent visual cues to recognize objects of varying sizes. We hope our insights can help practitioners improve object detectors.


title: Partial Strong Structural Controllability

abstract: This paper introduces a new controllability notion, termed partial strong structural controllability (PSSC), on a structured system whose entries of system matrices are either fixed zero or indeterminate, which naturally extends the conventional strong structural controllability (SSC) and bridges the gap between structural controllability and SSC. Dividing the indeterminate entries into two categories, generic entries and unspecified entries, a system is PSSC, if for almost all values of the generic entries in the parameter space except for a set of measure zero, and any nonzero (complex) values of the unspecified entries, the corresponding system is controllable. We highlight that this notion generalizes the generic property embedded in the conventional structural controllability for single-input systems. We then give algebraic and (bipartite) graph-theoretic necessary and sufficient conditions for single-input systems to be PSSC. Conditions for multi-input systems are subsequently given for a special case. It is shown the established results can induce a new maximum matching based criterion for SSC over the system bipartite graph representations.


title: Discovering Generalizable Skills via Automated Generation of Diverse Tasks

abstract: The learning efficiency and generalization ability of an intelligent agent can be greatly improved by utilizing a useful set of skills. However, the design of robot skills can often be intractable in real-world applications due to the prohibitive amount of effort and expertise that it requires. In this work, we introduce Skill Learning In Diversified Environments (SLIDE), a method to discover generalizable skills via automated generation of a diverse set of tasks. As opposed to prior work on unsupervised discovery of skills which incentivizes the skills to produce different outcomes in the same environment, our method pairs each skill with a unique task produced by a trainable task generator. To encourage generalizable skills to emerge, our method trains each skill to specialize in the paired task and maximizes the diversity of the generated tasks. A task discriminator defined on the robot behaviors in the generated tasks is jointly trained to estimate the evidence lower bound of the diversity objective. The learned skills can then be composed in a hierarchical reinforcement learning algorithm to solve unseen target tasks. We demonstrate that the proposed method can effectively learn a variety of robot skills in two tabletop manipulation domains. Our results suggest that the learned skills can effectively improve the robot's performance in various unseen target tasks compared to existing reinforcement learning and skill learning methods.


title: Automatic Amortized Resource Analysis with the Quantum Physicist's Method

abstract: We present a novel method for working with the physicist's method of amortized resource analysis, which we call the quantum physicist's method. These principles allow for more precise analyses of resources that are not monotonically consumed, like stack. This method takes its name from its two major features, worldviews and resource tunneling, which behave analogously to quantum superposition and quantum tunneling. We use the quantum physicist's method to extend the Automatic Amortized Resource Analysis (AARA) type system, enabling the derivation of resource bounds based on tree depth. In doing so, we also introduce remainder contexts, which aid bookkeeping in linear type systems. We then evaluate this new type system's performance by bounding stack use of functions in the Set module of OCaml's standard library. Compared to state-of-the-art implementations of AARA, our new system derives tighter bounds with only moderate overhead.


title: Unified Simultaneous Wireless Information and Power Transfer for IoT: Signaling and Architecture with Deep Learning Adaptive Control

abstract: In this paper, we propose a unified SWIPT signal and its architecture design in order to take advantage of both single tone and multi-tone signaling by adjusting only the power allocation ratio of a unified signal. For this, we design a novel unified and integrated receiver architecture for the proposed unified SWIPT signaling, which consumes low power with an envelope detection. To relieve the computational complexity of the receiver, we propose an adaptive control algorithm by which the transmitter adjusts the communication mode through temporal convolutional network (TCN) based asymmetric processing. To this end, the transmitter optimizes the modulation index and power allocation ratio in short-term scale while updating the mode switching threshold in long-term scale. We demonstrate that the proposed unified SWIPT system improves the achievable rate under the self-powering condition of low-power IoT devices. Consequently it is foreseen to effectively deploy low-power IoT networks that concurrently supply both information and energy wirelessly to the devices by using the proposed unified SWIPT and adaptive control algorithm in place at the transmitter side.


title: Optimal Normal Bases Over Finite Fields

abstract: In this paper, a method for constructing a near optimal normal basis for algebraic extensions of a finite field is described. In each extension, except for the squares of basis elements, the product of two distinct normal basis elements can be expressed as a linear combination of those two basis elements, with coefficients in a much smaller subfield.


title: Domain Adaptive YOLO for One-Stage Cross-Domain Detection

abstract: Domain shift is a major challenge for object detectors to generalize well to real world applications. Emerging techniques of domain adaptation for two-stage detectors help to tackle this problem. However, two-stage detectors are not the first choice for industrial applications due to its long time consumption. In this paper, a novel Domain Adaptive YOLO (DA-YOLO) is proposed to improve cross-domain performance for one-stage detectors. Image level features alignment is used to strictly match for local features like texture, and loosely match for global features like illumination. Multi-scale instance level features alignment is presented to reduce instance domain shift effectively , such as variations in object appearance and viewpoint. A consensus regularization to these domain classifiers is employed to help the network generate domain-invariant detections. We evaluate our proposed method on popular datasets like Cityscapes, KITTI, SIM10K and etc.. The results demonstrate significant improvement when tested under different cross-domain scenarios.


title: Adaptive Smooth Disturbance Observer-Based Fast Finite-Time Attitude Tracking Control of a Small Unmanned Helicopter

abstract: In this paper, a novel adaptive smooth disturbance observer-based fast finite-time adaptive backstepping control scheme is presented for the attitude tracking of the 3-DOF helicopter system subject to compound disturbances. First, an adaptive smooth disturbance observer (ASDO) is proposed to estimate the composite disturbance, which owns the characteristics of smooth output, fast finite-time convergence, and adaptability to the disturbance of unknown derivative boundary. Then, a finite-time backstepping control protocol is construct to drive the elevation and pitch angles to track reference trajectories. To tackle the "explosion of complexity" and "singularity" problems in the conventional backstepping design framework, a fast finite-time command filter (FFTCF) is utilized to estimate the virtual control signal and its derivative. Moreover, a fractional power-based auxiliary dynamic system is introduced to compensate the error caused by the FFTCF estimation. Furthermore, an improved fractional power-based adaptive law with the $\sigma $-modification term is designed to attenuate the observer approximation error, such that the tracking performance is further enhanced. In terms of the fast finite-time stability theory, the signals of the closed-loop system are all fast finite-time bounded while the attitude tracking errors can fast converge to a sufficiently small region of the origin in finite time. Finally, a contrastive numerical simulation is carried out to validate the effectiveness and superiority of the designed control scheme.


title: Higher genus nonorientable maximal surfaces in the Lorentz-Minkowski 3-space

abstract: We study nonorientable maximal surfaces in Lorentz-Minkowski 3-space. We prove some existence results for surfaces of this kind with high genus and one end.


title: Hawking-Page transition with reentrance and triple point in Gauss-Bonnet gravity

abstract: In this paper, a new family of Hawking-Page (HP) transition, the HP transition with reentrance and triple point is introduced for the first time, by investigating HP transition of hyperbolic AdS black hole in extended thermodynamics of general dimensional Gauss-Bonnet gravity. The Reentrant HP transition is composed of two HP transitions with a large and a small HP temperature, and the triple point corresponds to small black holes/massless black holes/large black holes (SBHs/MBHs/LBHs) phases all coexisting. We present the two branches of HP transition temperatures, which both depend on the pressure (i.e. the cosmological constant) and the Gauss-Bonnet constant. Besides, the pressure and the Gauss-Bonnet constant both enlarge the large HP temperature and diminish the small HP temperature. We also show the coexistence lines in the $P-T$ phase diagrams. The triple point and an up critical point in phase diagrams for arbitrary dimensional Gauss-Bonnet AdS black hole systems are given, together with some interesting universal relations which only depend on the dimensions of spacetime. We can explain the reentrant HP transition and triple point of SBHs/MBHs/LBHs as the phase transition and triple point of Hadronic matter/Quark-Gluon/Plasma/Quarkyonic matter in the QCD phase diagram. These results may improve the comprehension of the black hole thermodynamics in the quantum gravity framework and shed some light on the AdS/CFT correspondence beyond the classical gravity limit.


title: Quantum size effects, multiple Dirac cones and edge states in ultrathin Bi(110) films

abstract: The presence of inherently strong spin-orbit coupling in bismuth, its unique layer-dependent band topology and high carrier mobility make it an interesting system for both fundamental studies and applications. Theoretically, it has been suggested that strong quantum size effects should be present in the Bi(110) films, with the possibility of Dirac fermion states in the odd-bilayer (BL) films, originating from dangling $p_z$ orbitals and quantum-spin hall (QSH) states in the even-bilayer films. However, the experimental verification of these claims has been lacking. Here, we study the electronic structure of Bi(110) films grown on a high-$T_c$ superconductor, Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ (Bi2212) using angle-resolved photoemission spectroscopy (ARPES). We observe an oscillatory behavior of electronic structure with the film thickness and identify the Dirac-states in the odd-bilayer films, consistent with the theoretical predictions. In the even-bilayer films, we find another Dirac state that was predicted to play a crucial role in the QSH effect. In the low thickness limit, we observe several extremely one-dimensional states, probably originating from the edge-states of Bi(110) islands. Our results provide a much needed experimental insight into the electronic and structural properties of Bi(110) films.


title: New solutions of the Tarry-Escott problem of degrees 2, 3 and 5

abstract: In this paper we obtain new parametric ideal solutions of the Tarry-Escott problem of degrees 2, 3 and 5, that is, of the diophantine systems $\sum_{i=1}^{k+1}x_i^j=\sum_{i=1}^{k+1}y_i^j,\;j=1,\,2,\,\dots,\,k$, when $k$ is 2, 3 or 5. When $k=2$, we obtain the complete ideal solution in terms of polynomials in six parameters $p, q, r, a, b$ and $c $ such that the common sums $\sigma_j=\sum_{i=1}^3x_i^j=\sum_{i=1}^3y_i^j$ for both $j=1$ and $j=2$ are symmetric functions of the parameters $p, q, r$ and also symmetric functions of the parameters $a, b, c$. When $k=3$, we obtain a solution in terms of polynomials in four parameters $p, q, r$ and $s$ such that the three common sums $\sigma_j= \sum_{i=1}^4x_i^j=\sum_{i=1}^4y_i^j, j=1, 2, 3$, are symmetric functions of all the four parameters $p, q, r$ and $s$. When $k=5$, our solution is derived from the solution already obtained when $k=2$, and the common sums, defined as in the cases when $k=2$ or 3, are either 0 or have properties similar to the case when $k=2$.


title: A Training-free and Reference-free Summarization Evaluation Metric via Centrality-weighted Relevance and Self-referenced Redundancy

abstract: In recent years, reference-based and supervised summarization evaluation metrics have been widely explored. However, collecting human-annotated references and ratings are costly and time-consuming. To avoid these limitations, we propose a training-free and reference-free summarization evaluation metric. Our metric consists of a centrality-weighted relevance score and a self-referenced redundancy score. The relevance score is computed between the pseudo reference built from the source document and the given summary, where the pseudo reference content is weighted by the sentence centrality to provide importance guidance. Besides an $F_1$-based relevance score, we also design an $F_\beta$-based variant that pays more attention to the recall score. As for the redundancy score of the summary, we compute a self-masked similarity score with the summary itself to evaluate the redundant information in the summary. Finally, we combine the relevance and redundancy scores to produce the final evaluation score of the given summary. Extensive experiments show that our methods can significantly outperform existing methods on both multi-document and single-document summarization evaluation.


title: Outlier-Resistant Estimators for Average Treatment Effect in Causal Inference

abstract: The inverse probability (IPW) and doubly robust (DR) estimators are often used to estimate the average causal effect (ATE), but are vulnerable to outliers. The IPW/DR median can be used for outlier-resistant estimation of the ATE, but the outlier resistance of the median is limited and it is not resistant enough for heavy contamination. We propose extensions of the IPW/DR estimators with density power weighting, which can eliminate the influence of outliers almost completely. The outlier resistance of the proposed estimators is evaluated through the unbiasedness of the estimating equations. Unlike the median-based methods, our estimators are resistant to outliers even under heavy contamination. Interestingly, the naive extension of the DR estimator requires bias correction to keep the double robustness even under the most tractable form of contamination. In addition, the proposed estimators are found to be highly resistant to outliers in more difficult settings where the contamination ratio depends on the covariates. The outlier resistance of our estimators from the viewpoint of the influence function is also favorable. Our theoretical results are verified via Monte Carlo simulations and real data analysis. The proposed methods were found to have more outlier resistance than the median-based methods and estimated the potential mean with a smaller error than the median-based methods.


title: Optimal prediction of Markov chains with and without spectral gap

abstract: We study the following learning problem with dependent data: Observing a trajectory of length $n$ from a stationary Markov chain with $k$ states, the goal is to predict the next state. For $3 \leq k \leq O(\sqrt{n})$, using techniques from universal compression, the optimal prediction risk in Kullback-Leibler divergence is shown to be $\Theta(\frac{k^2}{n}\log \frac{n}{k^2})$, in contrast to the optimal rate of $\Theta(\frac{\log \log n}{n})$ for $k=2$ previously shown in Falahatgar et al. (2016). These rates, slower than the parametric rate of $O(\frac{k^2}{n})$, can be attributed to the memory in the data, as the spectral gap of the Markov chain can be arbitrarily small. To quantify the memory effect, we study irreducible reversible chains with a prescribed spectral gap. In addition to characterizing the optimal prediction risk for two states, we show that, as long as the spectral gap is not excessively small, the prediction risk in the Markov model is $O(\frac{k^2}{n})$, which coincides with that of an iid model with the same number of parameters. Extensions to higher-order Markov chains are also obtained.


title: Core Challenges in Embodied Vision-Language Planning

abstract: Recent advances in the areas of multimodal machine learning and artificial intelligence (AI) have led to the development of challenging tasks at the intersection of Computer Vision, Natural Language Processing, and Embodied AI. Whereas many approaches and previous survey pursuits have characterised one or two of these dimensions, there has not been a holistic analysis at the center of all three. Moreover, even when combinations of these topics are considered, more focus is placed on describing, e.g., current architectural methods, as opposed to also illustrating high-level challenges and opportunities for the field. In this survey paper, we discuss Embodied Vision-Language Planning (EVLP) tasks, a family of prominent embodied navigation and manipulation problems that jointly use computer vision and natural language. We propose a taxonomy to unify these tasks and provide an in-depth analysis and comparison of the new and current algorithmic approaches, metrics, simulated environments, as well as the datasets used for EVLP tasks. Finally, we present the core challenges that we believe new EVLP works should seek to address, and we advocate for task construction that enables model generalizability and furthers real-world deployment.


title: Refined inequalities for the numerical radius of Hilbert space operators

abstract: We present some new upper and lower bounds for the numerical radius of bounded linear operators on a complex Hilbert space and show that these are stronger than the existing ones. In particular, we prove that if $A$ is a bounded linear operator on a complex Hilbert space $\mathcal{H}$ and if $\Re(A)$, $\Im(A)$ are the real part, the imaginary part of $A$, respectively, then $$ w(A)\geq\frac{\|A\|}{2} +\frac{1}{2\sqrt{2}} \Big | \|\Re(A)+\Im(A)\|-\|\Re(A)-\Im(A)\| \Big | $$ and $$ w^2(A)\geq\frac{1}{4}\|A^*A+AA^*\|+\frac{1}{4}\Big| \|\Re(A)+\Im(A)\|^2-\|\Re(A)-\Im(A)\|^2\Big|. $$ Here $w(.)$ and $\|.\|$ denote the numerical radius and the operator norm, respectively. Further, we obtain refinement of inequalities for the numerical radius of the product of two operators. Finally, as an application of the second inequality mentioned above, we obtain an improvement of upper bound for the numerical radius of the commutators of operators.


title: Self-Evolving Integrated Vertical Heterogeneous Networks

abstract: 6G and beyond networks tend towards fully intelligent and adaptive design in order to provide better operational agility in maintaining universal wireless access and supporting a wide range of services and use cases while dealing with network complexity efficiently. Such enhanced network agility will require developing a self-evolving capability in designing both the network architecture and resource management to intelligently utilize resources, reduce operational costs, and achieve the coveted quality of service (QoS). To enable this capability, the necessity of considering an integrated vertical heterogeneous network (VHetNet) architecture appears to be inevitable due to its high inherent agility. Moreover, employing an intelligent framework is another crucial requirement for self-evolving networks to deal with real-time network optimization problems. Hence, in this work, to provide a better insight on network architecture design in support of self-evolving networks, we highlight the merits of integrated VHetNet architecture while proposing an intelligent framework for self-evolving integrated vertical heterogeneous networks (SEI-VHetNets). The impact of the challenges associated with SEI-VHetNet architecture, on network management is also studied considering a generalized network model. Furthermore, the current literature on network management of integrated VHetNets along with the recent advancements in artificial intelligence (AI)/machine learning (ML) solutions are discussed. Accordingly, the core challenges of integrating AI/ML in SEI-VHetNets are identified. Finally, the potential future research directions for advancing the autonomous and self-evolving capabilities of SEI-VHetNets are discussed.


title: Geometry Meets Vectors: Approximation Algorithms for Multidimensional Packing

abstract: We study the generalized multidimensional bin packing problem (GVBP) that generalizes both geometric packing and vector packing. Here, we are given $n$ rectangular items where the $i^{\textrm{th}}$ item has width $w(i)$, height $h(i)$, and $d$ nonnegative weights $v_1(i), v_2(i), \ldots, v_{d}(i)$. Our goal is to get an axis-parallel non-overlapping packing of the items into square bins so that for all $j \in [d]$, the sum of the $j^{\textrm{th}}$ weight of items in each bin is at most 1. This is a natural problem arising in logistics, resource allocation, and scheduling. Despite being well studied in practice, surprisingly, approximation algorithms for this problem have rarely been explored. We first obtain two simple algorithms for GVBP having asymptotic approximation ratios $6(d+1)$ and $3(1 + \ln(d+1) + \varepsilon)$. We then extend the Round-and-Approx (R&A) framework [Bansal-Khan, SODA'14] to wider classes of algorithms, and show how it can be adapted to GVBP. Using more sophisticated techniques, we obtain better approximation algorithms for GVBP, and we get further improvement by combining them with the R&A framework. This gives us an asymptotic approximation ratio of $2(1+\ln((d+4)/2))+\varepsilon$ for GVBP, which improves to $2.919+\varepsilon$ for the special case of $d=1$. We obtain further improvement when the items are allowed to be rotated. We also present algorithms for a generalization of GVBP where the items are high dimensional cuboids.


title: Spectral-Spatial Global Graph Reasoning for Hyperspectral Image Classification

abstract: Convolutional neural networks have been widely applied to hyperspectral image classification. However, traditional convolutions can not effectively extract features for objects with irregular distributions. Recent methods attempt to address this issue by performing graph convolutions on spatial topologies, but fixed graph structures and local perceptions limit their performances. To tackle these problems, in this paper, different from previous approaches, we perform the superpixel generation on intermediate features during network training to adaptively produce homogeneous regions, obtain graph structures, and further generate spatial descriptors, which are served as graph nodes. Besides spatial objects, we also explore the graph relationships between channels by reasonably aggregating channels to generate spectral descriptors. The adjacent matrices in these graph convolutions are obtained by considering the relationships among all descriptors to realize global perceptions. By combining the extracted spatial and spectral graph features, we finally obtain a spectral-spatial graph reasoning network (SSGRN). The spatial and spectral parts of SSGRN are separately called spatial and spectral graph reasoning subnetworks. Comprehensive experiments on four public datasets demonstrate the competitiveness of the proposed methods compared with other state-of-the-art graph convolution-based approaches.


title: In-N-Out: Towards Good Initialization for Inpainting and Outpainting

abstract: In computer vision, recovering spatial information by filling in masked regions, e.g., inpainting, has been widely investigated for its usability and wide applicability to other various applications: image inpainting, image extrapolation, and environment map estimation. Most of them are studied separately depending on the applications. Our focus, however, is on accommodating the opposite task, e.g., image outpainting, which would benefit the target applications, e.g., image inpainting. Our self-supervision method, In-N-Out, is summarized as a training approach that leverages the knowledge of the opposite task into the target model. We empirically show that In-N-Out -- which explores the complementary information -- effectively takes advantage over the traditional pipelines where only task-specific learning takes place in training. In experiments, we compare our method to the traditional procedure and analyze the effectiveness of our method on different applications: image inpainting, image extrapolation, and environment map estimation. For these tasks, we demonstrate that In-N-Out consistently improves the performance of the recent works with In-N-Out self-supervision to their training procedure. Also, we show that our approach achieves better results than an existing training approach for outpainting.


title: Continual Learning via Inter-Task Synaptic Mapping

abstract: Learning from streaming tasks leads a model to catastrophically erase unique experiences it absorbs from previous episodes. While regularization techniques such as LWF, SI, EWC have proven themselves as an effective avenue to overcome this issue by constraining important parameters of old tasks from changing when accepting new concepts, these approaches do not exploit common information of each task which can be shared to existing neurons. As a result, they do not scale well to large-scale problems since the parameter importance variables quickly explode. An Inter-Task Synaptic Mapping (ISYANA) is proposed here to underpin knowledge retention for continual learning. ISYANA combines task-to-neuron relationship as well as concept-to-concept relationship such that it prevents a neuron to embrace distinct concepts while merely accepting relevant concept. Numerical study in the benchmark continual learning problems has been carried out followed by comparison against prominent continual learning algorithms. ISYANA exhibits competitive performance compared to state of the arts. Codes of ISYANA is made available in \url{https://github.com/ContinualAL/ISYANAKBS}.


title: Autonomous Deep Quality Monitoring in Streaming Environments

abstract: The common practice of quality monitoring in industry relies on manual inspection well-known to be slow, error-prone and operator-dependent. This issue raises strong demand for automated real-time quality monitoring developed from data-driven approaches thus alleviating from operator dependence and adapting to various process uncertainties. Nonetheless, current approaches do not take into account the streaming nature of sensory information while relying heavily on hand-crafted features making them application-specific. This paper proposes the online quality monitoring methodology developed from recently developed deep learning algorithms for data streams, Neural Networks with Dynamically Evolved Capacity (NADINE), namely NADINE++. It features the integration of 1-D and 2-D convolutional layers to extract natural features of time-series and visual data streams captured from sensors and cameras of the injection molding machines from our own project. Real-time experiments have been conducted where the online quality monitoring task is simulated on the fly under the prequential test-then-train fashion - the prominent data stream evaluation protocol. Comparison with the state-of-the-art techniques clearly exhibits the advantage of NADINE++ with 4.68\% improvement on average for the quality monitoring task in streaming environments. To support the reproducible research initiative, codes, results of NADINE++ along with supplementary materials and injection molding dataset are made available in \url{https://github.com/ContinualAL/NADINE-IJCNN2021}.


title: Solar Irradiation Forecasting using Genetic Algorithms

abstract: Renewable energy forecasting is attaining greater importance due to its constant increase in contribution to the electrical power grids. Solar energy is one of the most significant contributors to renewable energy and is dependent on solar irradiation. For the effective management of electrical power grids, forecasting models that predict solar irradiation, with high accuracy, are needed. In the current study, Machine Learning techniques such as Linear Regression, Extreme Gradient Boosting and Genetic Algorithm Optimization are used to forecast solar irradiation. The data used for training and validation is recorded from across three different geographical stations in the United States that are part of the SURFRAD network. A Global Horizontal Index (GHI) is predicted for the models built and compared. Genetic Algorithm Optimization is applied to XGB to further improve the accuracy of solar irradiation prediction.


title: Beam-spin asymmetry $\boldsymbol{\Sigma}$ for $\Sigma^-$ hyperon photoproduction off the neutron

abstract: We report a new measurement of the beam-spin asymmetry $\boldsymbol{\Sigma}$ for the $\vec{\gamma} n \rightarrow K^+\Sigma^-$ reaction using quasi-free neutrons in a liquid-deuterium target. The new dataset includes data at previously unmeasured photon energy and angular ranges, thereby providing new constraints on partial wave analyses used to extract properties of the excited nucleon states. The experimental data were obtained using the CEBAF Large Acceptance Spectrometer (CLAS), housed in Hall B of the Thomas Jefferson National Accelerator Facility (JLab). The CLAS detector measured reaction products from a liquid-deuterium target produced by an energy-tagged, linearly polarised photon beam with energies in the range 1.1 to 2.3 GeV. Predictions from an isobar model indicate strong sensitivity to $N(1720)3/2^+$, $\Delta(1900)1/2^-$, and $N(1895)1/2^-$, with the latter being a state not considered in previous photoproduction analyses. When our data are incorporated in the fits of partial-wave analyses, one observes significant changes in $\gamma$-$n$ couplings of the resonances which have small branching ratios to the $\pi N$ channel.


title: A Trust-Centric Privacy-Preserving Blockchain for Dynamic Spectrum Management in IoT Networks

abstract: In this paper, we propose a trust-centric privacy-preserving blockchain for dynamic spectrum access in IoT networks. To be specific, we propose a trust evaluation mechanism to evaluate the trustworthiness of sensing nodes and design a Proof-of-Trust (PoT) consensus mechanism to build a scalable blockchain with high transaction-per-second (TPS). Moreover, a privacy protection scheme is proposed to protect sensors' real-time geolocatioin information when they upload sensing data to the blockchain. Two smart contracts are designed to make the whole procedure (spectrum sensing, spectrum auction, and spectrum allocation) run automatically. Simulation results demonstrate the expected computation cost of the PoT consensus algorithm for reliable sensing nodes is low, and the cooperative sensing performance is improved with the help of trust value evaluation mechanism.In addition, incentivization and security are also analyzed, which show that our design not only can encourage nodes' participation, but also resist to many kinds of attacks which are frequently encountered in trust-based blockchain systems.


title: Functional Classwise Principal Component Analysis: A Novel Classification Framework

abstract: In recent times, functional data analysis (FDA) has been successfully applied in the field of high dimensional data classification. In this paper, we present a novel classification framework using functional data and classwise Principal Component Analysis (PCA). Our proposed method can be used in high dimensional time series data which typically suffers from small sample size problem. Our method extracts a piece wise linear functional feature space and is particularly suitable for hard classification problems.The proposed framework converts time series data into functional data and uses classwise functional PCA for feature extraction followed by classification using a Bayesian linear classifier. We demonstrate the efficacy of our proposed method by applying it to both synthetic data sets and real time series data from diverse fields including but not limited to neuroscience, food science, medical sciences and chemometrics.


title: Spatial correlations in geographical spreading of COVID-19 in USA

abstract: The global spread of the COVID-19 pandemic has followed complex pathways, largely attributed to the high virus infectivity, human travel patterns, and the implementation of multiple mitigation measures. The resulting geographic patterns describe the evolution of the epidemic and can indicate areas which are at risk of an outbreak. Here, we analyze the spatial correlations of new active cases in USA at the county level and characterize the extent of these correlations at different times. We show that the epidemic did not progress uniformly and we identify various stages which are distinguished by significant differences in the correlation length. Our results indicate that the correlation length may be large even during periods when the number of cases declines. We find that correlations between urban centers were much more significant than between rural areas and this finding indicates that long-range spreading was mainly facilitated by travel between cities, especially at the first months of the epidemic. We also show the existence of a percolation transition in November 2020, when the largest part of the country was connected to a spanning cluster, and a smaller-scale transition in January 2021, with both times corresponding to the peak of the epidemic in the country.


title: Local-in-time existence of free-surface 3D Euler flow with $H^{2+\delta}$ initial vorticity in a neighborhood of the free boundary

abstract: We consider the three-dimensional Euler equations in a domain with a free boundary with no surface tension. We assume that $u_0 \in H^{2.5+\delta }$ is such that $\mathrm{curl}\,u_0 \in H^{2+\delta }$ in an arbitrarily small neighborhood of the free boundary, and we use Lagrangian approach to derive an a~priori estimate that can be used to prove local-in-time existence and uniqueness of solutions under the Rayleigh-Taylor stability condition.


title: Bahadur efficiencies of the Epps--Pulley test for normality

abstract: The test for normality suggested by Epps and Pulley (1983) is a serious competitor to tests based on the empirical distribution function. In contrast to the latter procedures, it has been generalized to obtain a genuine affine invariant and universally consistent test for normality in any dimension. We obtain approximate Bahadur efficiencies for the test of Epps and Pulley, thus complementing recent results of Milo\v{s}evi\'c et al. (2021). For certain values of a tuning parameter that is inherent in the Epps--Pulley test, this test outperforms each of its competitors considered in Milo\v{s}evi\'c et al. (2021), over the whole range of six close alternatives to normality.


title: OffRoadTranSeg: Semi-Supervised Segmentation using Transformers on OffRoad environments

abstract: We present OffRoadTranSeg, the first end-to-end framework for semi-supervised segmentation in unstructured outdoor environment using transformers and automatic data selection for labelling. The offroad segmentation is a scene understanding approach that is widely used in autonomous driving. The popular offroad segmentation method is to use fully connected convolution layers and large labelled data, however, due to class imbalance, there will be several mismatches and also some classes may not be detected. Our approach is to do the task of offroad segmentation in a semi-supervised manner. The aim is to provide a model where self supervised vision transformer is used to fine-tune offroad datasets with self-supervised data collection for labelling using depth estimation. The proposed method is validated on RELLIS-3D and RUGD offroad datasets. The experiments show that OffRoadTranSeg outperformed other state of the art models, and also solves the RELLIS-3D class imbalance problem.


title: Probing gluon number density with electron-dijet correlations at EIC

abstract: We propose a novel way of studying the gluon number density (the so-called Weizs\"acker-Williams gluon distribution) using the planned Electron Ion Collider. Namely, with the help of the azimuthal correlations between the total transverse momentum of the dijet system and the scattered electron, we examine an interplay between the effect of the soft gluon emissions (the Sudakov form factor) and the gluon saturation effects. The kinematic cuts are chosen such that the dijet system is produced in the forward direction in the laboratory frame, which provides an upper bound on the probed longitudinal fractions of the hadron momentum carried by scattered gluons. Further cuts enable us to use the factorization formalism that directly involves the unpolarized Weizs\"acker-Williams gluon distribution. We find this observable to be very sensitive to the soft gluon emission and moderately sensitive to the gluon saturation.


title: A Chirp Spread Spectrum Modulation Scheme for Robust Power Line Communication

abstract: This paper proposes the use of a LoRa like chirp spread spectrum physical layer as the basis for a new Power Line Communication modulation scheme suited for low-bandwidth communication. It is shown that robust communication can be established even in channels exhibiting both extreme multipath interference and low SNR (-40dB), with synchronisation requirements significantly reduced compared to conventional LoRa. ATP-EMTP simulations using frequency dependent line and transformer models, and simulations using artificial Rayleigh channels demonstrate the effectiveness of the new scheme in providing load data from LV feeders back to the MV primary substation. We further present experimental results based on a Field Programmable Gate Array hardware implementation of the proposed scheme.


title: An Audio Envelope Generator Derived from Industrial Process Control

abstract: Audio envelopes serve a crucial role in ensuring the versatility of synthesizers in producing timbres. To this end, the Attack, Decay, Release and Sustain (ADSR) envelope generator and its derivatives have been established as a mainstay in modern music. However, there may be merit in exploring alternate techniques to produce envelopes that could not only resemble ADSR but also be used to create novel timbres. Consequently, an attempt is made in this research to formulate the framework of a new envelope generator by redefining the Proportional-Integral-Derivative (PID) algorithm used in feedback-based process control. Additionally, a detailed analysis is made on the modes of operation and the nature of envelopes thus generated to establish it as a potential harbinger of distinctive styles of music.


title: Exploring Temporal Context and Human Movement Dynamics for Online Action Detection in Videos

abstract: Nowadays, the interaction between humans and robots is constantly expanding, requiring more and more human motion recognition applications to operate in real time. However, most works on temporal action detection and recognition perform these tasks in offline manner, i.e. temporally segmented videos are classified as a whole. In this paper, based on the recently proposed framework of Temporal Recurrent Networks, we explore how temporal context and human movement dynamics can be effectively employed for online action detection. Our approach uses various state-of-the-art architectures and appropriately combines the extracted features in order to improve action detection. We evaluate our method on a challenging but widely used dataset for temporal action localization, THUMOS'14. Our experiments show significant improvement over the baseline method, achieving state-of-the art results on THUMOS'14.


title: EMSO(FO$^2$) 0-1 law fails for all dense random graphs

abstract: In this paper, we disprove EMSO(FO$^2$) convergence law for the binomial random graph $G(n,p)$ for any constant probability $p$. More specifically, we prove that there exists an existential monadic second order sentence with 2 first order variables such that, for every $p\in(0,1)$, the probability that it is true on $G(n,p)$ does not converge.


title: A nonabelian Fourier transform for tempered unipotent representations

abstract: We define an involution on the space of compact tempered unipotent representations of inner twists of a split simple $p$-adic group $G$ and investigate its behaviour with respect to restrictions to reductive quotients of maximal compact open subgroups. In particular, we formulate a precise conjecture about the relation with a version of Lusztig's nonabelian Fourier transform on the space of unipotent representations of the (possibly disconnected) reductive quotients of maximal compact subgroups. We give evidence of the conjecture, including proofs for $\mathsf{SL}_n$ and $\mathsf{PGL}_n$.


title: Intrinsically Motivated Self-supervised Learning in Reinforcement Learning

abstract: In vision-based reinforcement learning (RL) tasks, it is prevalent to assign auxiliary tasks with a surrogate self-supervised loss so as to obtain more semantic representations and improve sample efficiency. However, abundant information in self-supervised auxiliary tasks has been disregarded, since the representation learning part and the decision-making part are separated. To sufficiently utilize information in auxiliary tasks, we present a simple yet effective idea to employ self-supervised loss as an intrinsic reward, called Intrinsically Motivated Self-Supervised learning in Reinforcement learning (IM-SSR). We formally show that the self-supervised loss can be decomposed as exploration for novel states and robustness improvement from nuisance elimination. IM-SSR can be effortlessly plugged into any reinforcement learning with self-supervised auxiliary objectives with nearly no additional cost. Combined with IM-SSR, the previous underlying algorithms achieve salient improvements on both sample efficiency and generalization in various vision-based robotics tasks from the DeepMind Control Suite, especially when the reward signal is sparse.


title: Do gas clouds in narrow-line regions of Seyfert galaxies come from their nuclei?

abstract: The narrow-line region (NLR) consists of gas clouds ionized by the strong radiation from the active galactic nucleus (AGN), distributed in the spatial scale of AGN host galaxies. The strong emission lines from the NLR are useful to diagnose physical and chemical properties of the interstellar medium in AGN host galaxies. However, the origin of the NLR is unclear; the gas clouds in NLRs may be originally in the host and photoionized by the AGN radiation, or they may be transferred from the nucleus with AGN-driven outflows. For studying the origin of the NLR, we systematically investigate the gas density and velocity dispersion of NLR gas clouds using a large spectroscopic data set taken from the Sloan Digital Sky Survey. The [S II] emission-line flux ratio and [O III] velocity width of 9,571 type-2 Seyfert galaxies and 110,041 star-forming galaxies suggest that the gas density and velocity dispersion of NLR clouds in Seyfert galaxies (ne ~ 194 cm-3 and sigma([O III]) ~ 147 km s-1) are systematically larger than those of clouds in H II regions of star-forming galaxies (ne ~ 29 cm-3 and sigma([O III]) ~ 58 km s-1). Interestingly, the electron density and velocity dispersion of NLR gas clouds are larger for Seyfert galaxies with a higher [O III]/Hbeta flux ratio, i.e., with a more active AGN. We also investigate the spatially-resolved kinematics of ionized gas clouds using the Mapping Nearby Galaxies at the Apache Point Observatory (MaNGA) survey data for 90 Seyfert galaxies and 801 star-forming galaxies. We find that the velocity dispersion of NLR gas clouds in Seyfert galaxies is larger than that in star-forming galaxies at a fixed stellar mass, at both central and off-central regions. These results suggest that gas clouds in NLRs come from the nucleus, probably through AGN outflows.


title: Exploring Spatial Indexing for Accelerated Feature Retrieval in HPC

abstract: Despite the critical role that range queries play in analysis and visualization for HPC applications, there has been no comprehensive analysis of indices that are designed to accelerate range queries and the extent to which they are viable in an HPC setting. In this state of the practice paper we present the first such evaluation, examining 20 open-source C and C++ libraries that support range queries. Contributions of this paper include answering the following questions: which of the implementations are viable in an HPC setting, how do these libraries compare in terms of build time, query time, memory usage, and scalability, what are other trade-offs between these implementations, is there a single overall best solution, and when does a brute force solution offer the best performance? We also share key insights learned during this process that can assist both HPC application scientists and spatial index developers.


title: Benchmarking Differential Privacy and Federated Learning for BERT Models

abstract: Natural Language Processing (NLP) techniques can be applied to help with the diagnosis of medical conditions such as depression, using a collection of a person's utterances. Depression is a serious medical illness that can have adverse effects on how one feels, thinks, and acts, which can lead to emotional and physical problems. Due to the sensitive nature of such data, privacy measures need to be taken for handling and training models with such data. In this work, we study the effects that the application of Differential Privacy (DP) has, in both a centralized and a Federated Learning (FL) setup, on training contextualized language models (BERT, ALBERT, RoBERTa and DistilBERT). We offer insights on how to privately train NLP models and what architectures and setups provide more desirable privacy utility trade-offs. We envisage this work to be used in future healthcare and mental health studies to keep medical history private. Therefore, we provide an open-source implementation of this work.


title: Semantics-aware Multi-modal Domain Translation:From LiDAR Point Clouds to Panoramic Color Images

abstract: In this work, we present a simple yet effective framework to address the domain translation problem between different sensor modalities with unique data formats. By relying only on the semantics of the scene, our modular generative framework can, for the first time, synthesize a panoramic color image from a given full 3D LiDAR point cloud. The framework starts with semantic segmentation of the point cloud, which is initially projected onto a spherical surface. The same semantic segmentation is applied to the corresponding camera image. Next, our new conditional generative model adversarially learns to translate the predicted LiDAR segment maps to the camera image counterparts. Finally, generated image segments are processed to render the panoramic scene images. We provide a thorough quantitative evaluation on the SemanticKitti dataset and show that our proposed framework outperforms other strong baseline models. Our source code is available at https://github.com/halmstad-University/TITAN-NET


title: Lagrangian surfaces in $\mathbb H^2 \times \mathbb H^2$

abstract: The Riemannian product of two hyperbolic planes of constant Gaussian curvature -1 has a natural K\"ahler structure. In fact, it can be identified with the complex hyperbolic quadric of complex dimension two. In this paper we study Lagrangian surfaces in this manifold. We present several examples and classify the totally umbilical and totally geodesic Lagrangian surfaces, the Lagrangian surfaces with parallel second fundamental form, the minimal Lagrangian surfaces with constant Gaussian curvature and the complete minimal Lagrangian surfaces satisfying a bounding condition on an important function that can be defined on any Lagrangian surface in this particular ambient space.


title: Explanatory Pluralism in Explainable AI

abstract: The increasingly widespread application of AI models motivates increased demand for explanations from a variety of stakeholders. However, this demand is ambiguous because there are many types of 'explanation' with different evaluative criteria. In the spirit of pluralism, I chart a taxonomy of types of explanation and the associated XAI methods that can address them. When we look to expose the inner mechanisms of AI models, we develop Diagnostic-explanations. When we seek to render model output understandable, we produce Explication-explanations. When we wish to form stable generalizations of our models, we produce Expectation-explanations. Finally, when we want to justify the usage of a model, we produce Role-explanations that situate models within their social context. The motivation for such a pluralistic view stems from a consideration of causes as manipulable relationships and the different types of explanations as identifying the relevant points in AI systems we can intervene upon to affect our desired changes. This paper reduces the ambiguity in use of the word 'explanation' in the field of XAI, allowing practitioners and stakeholders a useful template for avoiding equivocation and evaluating XAI methods and putative explanations.


title: Fermionic decays of NMSSM Higgs bosons under LHC 13 TeV constraints

abstract: This paper investigates the impact of the recent LHC constraints on the Higgs sector in the semi-constrained version of the Next-to-Minimal Supersymmetric Standard Model. Our analysis focuses on the parameter space for which the value of the Higgs doublet-singlet coupling, $\lambda$, is large as possible, while the ratio between the vacuum expectation values of the two Higgs doublets, $\tan\beta$, is small as possible. Under the current constraints, we present the possible fermionic decay channels and reduced cross-section into fermions final states for the lightest neutral Higgs bosons in the NMSSM, $(h_{1}$, $h_{2}$, and $a_{1})$. We found that the branching ratios of the non SM-like Higgs ($a_{1}$ and $h_{2}$) into a pair of bottom quarks are near 90\% level when the Higgs mass below 400 GeV. Moreover, the branching ratio of $h_{2}/a_{1}\rightarrow t\bar{t}$ can reach unity for all mass ranges when these bosons are mostly singlet.


title: Nanoscale thermal conductivity of Kapton-derived carbonaceous materials

abstract: This study explores the potentialities of Scanning Thermal Microscopy (SThM) technique as a tool for measuring thermal transporting properties of carbon-derived materials issued from thermal conversion of organic polymers, such as the most commonly known polyimide (PI), Kapton. For quantitative measurements, the Null Point SThM (NP-SThM) technique is used in order to avoid unwanted effects as the parasitic heat flows through the air and the probe cantilever. Kapton HN films were pyrolysed in an inert atmosphere at temperatures up to 1200{\deg}C to produce carbon-based residues with varying degree of conversion to free sp2 disordered carbon. The thermal conductivity of carbon materials ranges from 0.2 to 2 Wm-1K-1 depending on the temperature of the carbonization process (varied between 500{\deg}C and 1200{\deg}C). In order to validate the applicability of NP-SThM approach to these materials, the results were compared to those obtained with the three more traditional techniques, namely photo-thermal radiometry, flash laser analysis and micro-Raman thermometry. It was found that NP SThM data are in excellent agreement with previous work using more traditional techniques. We used the NP-SThM technique to differentiate structural heterogeneities or imperfections at the surface of the pyrolysed Kapton on the basis of measured local thermal conductivity.


title: Kanev and Todorov surfaces in toric 3-folds

abstract: In the first part of this article we show for some examples of surfaces of general type in toric 3-folds how to construct minimal and canonical models by toric methods explicitly. The examples we study turn out to be surfaces of general type, namely so called Kanev surfaces and Todorov surfaces. We show how properties of our examples of surfaces could be derived directly from properties of some polytopes and we compute the singularities of their canonical models.


title: Diffusion of gravity waves by random space inhomogeneities in pancake-ice fields. Theory and validation with wave buoys and synthetic aperture radar

abstract: We study the diffusion of ocean waves by ice bodies much smaller than a wavelength, such as pancakes and small ice floes. We argue that inhomogeneities in the ice cover at scales comparable to that of the wavelength significantly increase diffusion, producing a contribution to wave attenuation comparable to what is observed in the field and usually explained by viscous effects. The resulting attenuation spectrum is characterized by a peak at the scale of the inhomogeneities in the ice cover, which could explain the rollover of the attenuation profile at small wavelengths observed in field experiments. The proposed attenuation mechanism leads to the same behaviors that would be produced by a viscous wave model with effective viscosity linearly dependent on the ice thickness. This may explain recent findings that viscous wave models require a thickness-dependent viscosity to fit experimental attenuation data. Experimental validation is carried out using wave buoy attenuation data and synthetic aperture radar image analysis.


title: Recovery from Power Sums

abstract: We study the problem of recovering a collection of $n$ numbers from the evaluation of $m$ power sums. This yields a system of polynomial equations, which can be underconstrained ($m < n$), square ($m = n$), or overconstrained ($m > n$). Fibers and images of power sum maps are explored in all three regimes, and in settings that range from complex and projective to real and positive. This involves surprising deviations from the B\'ezout bound, and the recovery of vectors from length measurements by $p$-norms.


title: Descriptive Modeling of Textiles using FE Simulations and Deep Learning

abstract: In this work we propose a novel and fully automated method for extracting the yarn geometrical features in woven composites so that a direct parametrization of the textile reinforcement is achieved (e.g., FE mesh). Thus, our aim is not only to perform yarn segmentation from tomographic images but rather to provide a complete descriptive modeling of the fabric. As such, this direct approach improves on previous methods that use voxel-wise masks as intermediate representations followed by re-meshing operations (yarn envelope estimation). The proposed approach employs two deep neural network architectures (U-Net and Mask RCNN). First, we train the U-Net to generate synthetic CT images from the corresponding FE simulations. This allows to generate large quantities of annotated data without requiring costly manual annotations. This data is then used to train the Mask R-CNN, which is focused on predicting contour points around each of the yarns in the image. Experimental results show that our method is accurate and robust for performing yarn instance segmentation on CT images, this is further validated by quantitative and qualitative analyses.


title: A generalization of T\'oth identity in the ring of algebraic integers involving a Dirichlet Character

abstract: The $k$-dimensional generalized Euler function $\varphi_k(n)$ is defined to be the number of ordered $k$-tuples $(a_1,a_2,\ldots, a_k) \in \mathbb{N}^k$ with $1\leq a_1,a_2,\ldots, a_k \leq n$ such that both the product $a_1a_2\cdots a_k$ and the sum $a_1+a_2+\cdots+a_k$ are co-prime to $n$. T\'oth proved that the identity \begin{equation*} \sum_{\substack{a_1,a_2,\ldots, a_k=1 \\ \gcd(a_1a_2\cdots a_k,n)=1\\ \gcd(a_1+a_2+\cdots+a_k,n)=1}}^n \gcd(a_1+a_2+\cdots+a_k-1,n) =\varphi_k(n)\sigma_0(n), \;\; \text{ where } \sigma_s(n) = \sum_{d\mid n}d^s \;\; \text{ holds. } \end{equation*} This identity can also be viewed as a generalization of Menon's identity. In this article, we generalize this identity to the ring of algebraic integers involving arithmetical functions and Dirichlet characters.


title: ShapeEditer: a StyleGAN Encoder for Face Swapping

abstract: In this paper, we propose a novel encoder, called ShapeEditor, for high-resolution, realistic and high-fidelity face exchange. First of all, in order to ensure sufficient clarity and authenticity, our key idea is to use an advanced pretrained high-quality random face image generator, i.e. StyleGAN, as backbone. Secondly, we design ShapeEditor, a two-step encoder, to make the swapped face integrate the identity and attribute of the input faces. In the first step, we extract the identity vector of the source image and the attribute vector of the target image respectively; in the second step, we map the concatenation of identity vector and attribute vector into the $\mathcal{W+}$ potential space. In addition, for learning to map into the latent space of StyleGAN, we propose a set of self-supervised loss functions with which the training data do not need to be labeled manually. Extensive experiments on the test dataset show that the results of our method not only have a great advantage in clarity and authenticity than other state-of-the-art methods, but also reflect the sufficient integration of identity and attribute.


title: A note on one-sided interval edge colorings of bipartite graphs

abstract: For a bipartite graph $G$ with parts $X$ and $Y$, an $X$-interval coloring is a proper edge coloring of $G$ by integers such that the colors on the edges incident to any vertex in $X$ form an interval. Denote by $\chi'_{int}(G,X)$ the minimum $k$ such that $G$ has an $X$-interval coloring with $k$ colors. The author and Toft conjectured [Discrete Mathematics 339 (2016), 2628--2639] that there is a polynomial $P(x)$ such that if $G$ has maximum degree at most $\Delta$, then $\chi'_{int}(G,X) \leq P(\Delta)$. In this short note, we prove this conjecture; in fact, we prove that a cubic polynomial suffices. We also deduce some improved upper bounds on $\chi'_{int}(G,X)$ for bipartite graphs with small maximum degree.


title: Implementation of quantum synchronization over a 20-km fiber distance based on frequency-correlated photon pairs and HOM interference

abstract: The quantum synchronization based on frequency-correlated photon pairs and HOM interference has shown femtosecond-level precision and great application prospect in numerous fields depending on high-precision timefrequency signals. Due to the difficulty of achieving stable HOM interference fringe after long-distance fiber transmission, this quantum synchronization is hampered from long-haul field application. Utilizing segmented fibers instead of a single long-length fiber, we successfully achieved the stable observation of the two-photon interference of the lab-developed broadband frequency-correlated photon pairs after 20 km-long fiber transmission, without employing auxiliary phase stabilization method. Referenced to this interference fringe, the balance of the two fiber arms is successfully achieved with a long-term stability of 20 fs. The HOM-interference-based synchronization over a 20-km fiber link is thus demonstrated and a minimum stability of 74 fs has been reached at 48,000 s. This result not only provides a simple way to stabilize the fiber-optic two-photon interferometer for long-distance quantum communication systems, but also makes a great stride forward in extending the quantum-interference-based synchronization scheme to the long-haul field applications.


title: Rise of the Autonomous Machines

abstract: After decades of uninterrupted progress and growth, information technology has so evolved that it can be said we are entering the age of autonomous machines, but there exist many roadblocks in the way of making this a reality. In this article, we make a preliminary attempt at recognizing and categorizing the technical and non-technical challenges of autonomous machines; for each of the ten areas we have identified, we review current status, roadblocks, and potential research directions. It is hoped that this will help the community define clear, effective, and more formal development goalposts for the future.


title: Spin current injection via equal-spin Cooper pairs in ferromagnet/superconductor heterostructures

abstract: Equal-spin Cooper pairs are pivotal building blocks for superconducting spintronics devices. In recent experiments, unusual behavior was observed in ferromagnet/ferromagnet/superconductor devices when a precession of the magnetization was induced by ferromagnetic resonance. By using a non-equilibrium Usadel Green function formalism, we study spin transport for such a setup. We solve for spin-resolved distribution functions and demonstrate that the spin injection process in superconductors is governed by the inverse proximity effect in the superconducting layer. We find that equal-spin Cooper pairs, which are produced by the two misaligned ferromagnetic layers, transport spin inside the S layer. This then results in an increase of the injected spin current below the superconducting critical temperature. Our calculations provide the first evidence of the essential role of equal-spin Cooper pairs on spin-transport properties of S/F devices and pave new avenues for the design of superconducting spintronics devices.


title: Primordial nucleosynthesis with varying fundamental constants: Solutions to the Lithium problem and the Deuterium discrepancy

abstract: The success of primordial nucleosynthesis has been limited by the long-standing Lithium problem. We use a self-consistent perturbative analysis of the effects of relevant theoretical parameters on primordial nucleosynthesis, including variations of nature's fundamental constants, to explore the problem and its possible solutions, in the context of the latest observations and theoretical modeling. We quantify the amount of depletion needed to solve the Lithium problem, and show that transport processes of chemical elements in stars are able to account for it. Specifically, the combination of atomic diffusion, rotation and penetrative convection allows us to reproduce the lithium surface abundances of Population II stars, starting from the primordial Lithium abundance. We also show that even with this depletion factor there is a preference for a value of the fine-structure constant at this epoch that is larger than the current laboratory one by a few parts per million of relative variation, at the two to three standard deviations level of statistical significance. This preference is driven by the recently noticed discrepancy between the best-fit values for the baryon-to-photon ratio (or equivalently the Deuterium abundance) inferred from cosmic microwave background and primordial nucleosynthesis analyses, and is largely insensitive to the Helium-4 abundance. We thus conclude that the Lithium problem most likely has an astrophysical solution, while the Deuterium discrepancy provides a possible hint of new physics.


title: Computing totally real hyperplane sections and linear series on algebraic curves

abstract: Given a real algebraic curve, embedded in projective space, we study the computational problem of deciding whether there exists a hyperplane meeting the curve in real points only. More generally, given any divisor on such a curve, we may ask whether the corresponding linear series contains an effective divisor with totally real support. This translates into a particular type of parametrized real root counting problem that we wish to solve exactly. On the other hand, it is known that for a given genus and number of real connected components, any linear series of sufficiently large degree contains a totally real effective divisor. Using the algorithms described in this paper, we solve a number of examples, which we can compare to the best known bounds for the required degree.


title: Valley-Polarized Quantum Anomalous Hall State in Moir\'e MoTe$_2$/WSe$_2$ Heterobilayers

abstract: Moir\'e heterobilayer transition metal dichalcogenides (TMDs) emerge as an ideal system for simulating the single-band Hubbard model and interesting correlated phases have been observed in these systems. Nevertheless, the moir\'e bands in heterobilayer TMDs were believed to be topologically trivial. Recently, it was reported that both a quantum valley Hall insulating state at filling $\nu=2$ (two holes per moir\'e unit cell) and a valley-polarized quantum anomalous Hall state at filling $\nu=1$ were observed in AB stacked moir\'e MoTe$_2$/WSe$_2$ heterobilayers. However, how the topologically nontrivial states emerge is not known. In this work, we propose that the pseudo-magnetic fields induced by lattice relaxation in moir\'e MoTe$_2$/WSe$_2$ heterobilayers could naturally give rise to moir\'e bands with finite Chern numbers. We show that a time-reversal invariant quantum valley Hall insulator is formed at full-filing $\nu=2$, when two moir\'e bands with opposite Chern numbers are filled. At half-filling $\nu=1$, Coulomb interaction lifts the valley degeneracy and results in a valley-polarized quantum anomalous Hall state, as observed in the experiment. Our theory identifies a new way to achieve topologically non-trivial states in heterobilayer TMD materials.


title: Mining atmospheric data

abstract: This paper overviews two interdependent issues important for mining remote sensing data (e.g. images) obtained from atmospheric monitoring missions. The first issue relates the building new public datasets and benchmarks, which are hot priority of the remote sensing community. The second issue is the investigation of deep learning methodologies for atmospheric data classification based on vast amount of data without annotations and with localized annotated data provided by sparse observing networks at the surface. The targeted application is air quality assessment and prediction. Air quality is defined as the pollution level linked with several atmospheric constituents such as gases and aerosols. There are dependency relationships between the bad air quality, caused by air pollution, and the public health. The target application is the development of a fast prediction model for local and regional air quality assessment and tracking. The results of mining data will have significant implication for citizen and decision makers by providing a fast prediction and reliable air quality monitoring system able to cover the local and regional scale through intelligent extrapolation of sparse ground-based in situ measurement networks.


title: Gorenstein and Cohen-Macaulay Matching Complexes

abstract: Let $H$ be a simple undirected graph. The family of all matchings of $H$ forms a simplicial complex called the matching complex of $H$. Here , we give a classification of all graphs with a Gorenstein matching complex. Also we study when the matching complex of $H$ is Cohen-Macaulay and, in certain classes of graphs, we fully characterize those graphs which have a Cohen-Macaulay matching complex. In particular, we characterize when the matching complex of a graph with girth at least 5 or a complete graph is Cohen-Macaulay.


title: Energy distribution of solutions to defocusing semi-linear wave equation in higher dimensional space

abstract: The topic of this paper is a semi-linear, defocusing wave equation $u_{t t}-\Delta u=-|u|^{p-1} u$ in sub-conformal case in the higher dimensional space whose initial data are radical and come with a finite energy. We prove some decay estimates of the the solutions if initial data decay at a certain rate as the spatial variable tends to infinity. A combination of this property with a method of characteristic lines give a scattering result if the initial data satisfy $$E_{\kappa}\left(u_{0}, u_{1}\right)=\int_{\mathbb{R}^{d}}\left(|x|^{\kappa}+1\right)\left(\frac{1}{2}\left|\nabla u_{0}(x)\right|^{2}+\frac{1}{2}\left|u_{1}(x)\right|^{2}+\frac{1}{p+1}\left|u_{0}(x)\right|^{p+1}\right) d x<+\infty.$$ Here $\kappa=\frac{(2-d)p+(d+2)}{p+1}$.