title: LSMVOS: Long-Short-Term Similarity Matching for Video Object

abstract: Objective Semi-supervised video object segmentation refers to segmenting the object in subsequent frames given the object label in the first frame. Existing algorithms are mostly based on the objectives of matching and propagation strategies, which often make use of the previous frame with masking or optical flow. This paper explores a new propagation method, uses short-term matching modules to extract the information of the previous frame and apply it in propagation, and proposes the network of Long-Short-Term similarity matching for video object segmentation (LSMOVS) Method: By conducting pixel-level matching and correlation between long-term matching module and short-term matching module with the first frame and previous frame, global similarity map and local similarity map are obtained, as well as feature pattern of current frame and masking of previous frame. After two refine networks, final results are obtained through segmentation network. Results: According to the experiments on the two data sets DAVIS 2016 and 2017, the method of this paper achieves favorable average of region similarity and contour accuracy without online fine tuning, which achieves 86.5% and 77.4% in terms of single target and multiple targets. Besides, the count of segmented frames per second reached 21. Conclusion: The short-term matching module proposed in this paper is more conducive to extracting the information of the previous frame than only the mask. By combining the long-term matching module with the short-term matching module, the whole network can achieve efficient video object segmentation without online fine tuning


title: Hales-Jewett type configurations in small sets

abstract: In a recent work, N. Hindman, D. Strauss and L. Zamboni have shown that the Hales-Jewett theorem can be combined with a sufficiently well behaved homomorphisms. Their work was completely algebraic in nature, where they have used the algebra of Stone-Cech compactification of discrete semigroup. They have proved the existence of those configurations in piecewise syndetic sets, which is a Ramsey theoretic rich set. In our work we will show those forms are still present in very small but Ramsey theoretic sets, (like J-set, C-set) and our proof is purely elementary in nature.


title: Interaction potential between heavy $Q \bar{Q}$ in color octet configuration in QGP

abstract: We investigate the interaction between a heavy quark-antiquark pair in color octet configuration in gluon plasma. We calculate nonperturbatively an effective thermal potential for such a pair through the study of the correlation function of a hybrid state with $Q \bar{Q}$ octet and an adjoint gluon source in the static limit. We discuss the extraction of an octet potential, and present results for the effective thermal potential between octet $Q \bar{Q}$ pair in gluon plasma for moderately high temperatures $\lesssim 2 T_c$. The implications of our result are discussed.


title: Vulnerability-Aware Poisoning Mechanism for Online RL with Unknown Dynamics

abstract: Poisoning attacks on Reinforcement Learning (RL) systems could take advantage of RL algorithm's vulnerabilities and cause failure of the learning. However, prior works on poisoning RL usually either unrealistically assume the attacker knows the underlying Markov Decision Process (MDP), or directly apply the poisoning methods in supervised learning to RL. In this work, we build a generic poisoning framework for online RL via a comprehensive investigation of heterogeneous poisoning models in RL. Without any prior knowledge of the MDP, we propose a strategic poisoning algorithm called Vulnerability-Aware Adversarial Critic Poison (VA2C-P), which works for most policy-based deep RL agents, closing the gap that no poisoning method exists for policy-based RL agents. VA2C-P uses a novel metric, stability radius in RL, that measures the vulnerability of RL algorithms. Experiments on multiple deep RL agents and multiple environments show that our poisoning algorithm successfully prevents agents from learning a good policy or teaches the agents to converge to a target policy, with a limited attacking budget.


title: The prolonged decay of RKKY interactions by interplay of relativistic and non-relativistic electrons in semi-Dirac semimetals

abstract: The Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction has been extensively explored in isotropic Dirac systems with linear dispersion, which typically follows an exponent decaying rate with the impurity distance $R$, i.e., $J\propto 1/R^d$ ($1/R^{2d-1}$) in $d$-dimensional systems at finite (zero) Fermi energy. This fast decay makes it rather difficult to be detected and limits its application in spintronics. Here, we theoretically investigate the influence of anisotropic dispersion on the RKKY interaction, and find that the introduction of non-relativistic dispersion in semi-Dirac semimetals (S-DSMs) can significantly prolong the decay of the RKKY interaction and can remarkably enhance the Dzyaloshinskii-Moriya interaction around the relativistic direction. The underlying physics is attributed to the highly increased density of states in the linear-momentum direction as a result of the interplay of relativistic and non-relativistic electrons. Furthermore, we propose a general formula to determine the decaying rate of the RKKY interaction, extending the typical formula for isotropic DSMs. Our results suggest that the S-DSM materials are a powerful platform to detect and control the magnetic exchange interaction, superior to extensively adopted isotropic Dirac systems.


title: Models of benthic bipedalism

abstract: Walking is a common bipedal and quadrupedal gait and is often associated with terrestrial and aquatic organisms. Inspired by recent evidence of the neural underpinnings of primitive aquatic walking in the little skate Leucoraja erinacea, we introduce a theoretical model of aquatic walking that reveals robust and efficient gaits with modest requirements for body morphology and control. The model predicts undulatory behavior of the system body with a regular foot placement pattern which is also observed in the animal, and additionally predicts the existence of gait bistability between two states, one with a large energetic cost for locomotion and another associated with almost no energetic cost. We show that these can be discovered using a simple reinforcement learning scheme. To test these theoretical frameworks, we built a bipedal robot and show that its behaviors are similar to those of our minimal model: its gait is also periodic and exhibits bistability, with a low efficiency gait separated from a high efficiency gait by a "jump" transition. Overall, our study highlights the physical constraints on the evolution of walking and provides a guide for the design of efficient biomimetic robots.


title: Analysis of Dilation in Children and its Impact on Iris Recognition

abstract: The dilation of the pupil and it's variation between a mated pair of irides has been found to be an important factor in the performance of iris recognition systems. Studies on adult irides indicated significant impact of dilation on iris recognition performance at different ages. However, the results of adults may not necessarily translate to children. This study analyzes dilation as a factor of age and over time in children, from data collected from same 209 subjects in the age group of four to 11 years at enrollment, longitudinally over three years spaced by six months. The performance of iris recognition is also analyzed in presence of dilation variation.


title: The Gibbons-Hawking ansatz in generalized K\"ahler geometry

abstract: We derive a local ansatz for generalized K\"ahler surfaces with nondegenerate Poisson structure and a biholomorphic $S^1$ action which generalizes the classic Gibbons-Hawking ansatz for invariant hyperK\"ahler manifolds, and allows for the choice of one arbitrary function. By imposing the generalized K\"ahler-Ricci soliton equation, or equivalently the equations of type IIB string theory, the construction becomes rigid, and we classify all complete solutions with the smallest possible symmetry group.


title: Geometrical formulation for adjoint-symmetries of partial differential equations

abstract: A geometrical formulation for adjoint-symmetries as 1-forms is studied for general partial differential equations (PDEs), which provides a dual counterpart of the geometrical meaning of symmetries as tangent vector fields on the solution space of a PDE. Two applications of this formulation are presented. Additionally, for systems of evolution equations, adjoint-symmetries are shown to have another geometrical formulation given by 1-forms that are invariant under the flow generated by the system on the solution space. This result is generalized to systems of evolution equations with spatial constraints, where adjoint-symmetry 1-forms are shown to be invariant up to a functional multiplier of a normal 1-form associated to the constraint equations. All of the results are applicable to the PDE systems of interest in applied mathematics and mathematical physics.


title: Millimeter-VLBI Detection and Imaging of the Gravitationally Lensed Gamma-Ray Blazar JVAS B0218+357

abstract: We observed the gravitationally lensed blazar JVAS B0218+357 with the KVN and VERA Array (KaVA) at 22, 43, and 86 GHz. The source has recently been identified as an active gamma-ray source up to GeV/TeV energy bands, rendering a unique target for studying relativistic jets through gravitational lensing. Here we report the first robust VLBI detection and imaging of the lensed images up to 86 GHz. The detected mas-scale/parsec-scale morphology of the individual lensed images (A and B) is consistent with that previously seen at 22 and 15 GHz, showing the core-jet morphology with the jet direction being the same as at the low frequencies. The radio spectral energy distributions of the lensed images become steeper at higher frequencies, indicating that the innermost jet regions become optically thin to synchrotron emission. Our findings confirm that the absorption effects due to the intervening lensing galaxy become negligible at millimeter wavelengths. These results indicate that high-frequency VLBI observations are a powerful tool to better recover the intrinsic properties of lensed active galactic nucleus jets, which therefore allow us to study the interplay between the low- and high-energy emission.


title: Laser-annealing Josephson junctions for yielding scaled-up superconducting quantum processors

abstract: As superconducting quantum circuits scale to larger sizes, the problem of frequency crowding proves a formidable task. Here we present a solution for this problem in fixed-frequency qubit architectures. By systematically adjusting qubit frequencies post-fabrication, we show a nearly ten-fold improvement in the precision of setting qubit frequencies. To assess scalability, we identify the types of 'frequency collisions' that will impair a transmon qubit and cross-resonance gate architecture. Using statistical modeling, we compute the probability of evading all such conditions, as a function of qubit frequency precision. We find that without post-fabrication tuning, the probability of finding a workable lattice quickly approaches 0. However with the demonstrated precisions it is possible to find collision-free lattices with favorable yield. These techniques and models are currently employed in available quantum systems and will be indispensable as systems continue to scale to larger sizes.


title: A perception centred self-driving system without HD Maps

abstract: Building a fully autonomous self-driving system has been discussed for more than 20 years yet remains unsolved. Previous systems have limited ability to scale. Their localization subsystem needs labor-intensive map recording for running in a new area, and the accuracy decreases after the changes occur in the environment. In this paper, a new localization method is proposed to solve the scalability problems, with a new method for detecting and making sense of diverse traffic lines. Like the way human drives, a self-driving system should not rely on an exact position to travel in most scenarios. As a result, without HD Maps, GPS or IMU, the proposed localization subsystem relies only on detecting driving-related features around (like lane lines, stop lines, and merging lane lines). For spotting and reasoning all these features, a new line detector is proposed and tested against multiple datasets.


title: Exploring particle dynamics during self-organization processes via rotationally invariant latent representations

abstract: The dynamic of complex ordering systems with active rotational degrees of freedom exemplified by protein self-assembly is explored using a machine learning workflow that combines deep learning-based semantic segmentation and rotationally invariant variational autoencoder-based analysis of orientation and shape evolution. The latter allows for disentanglement of the particle orientation from other degrees of freedom and compensates for shifts. The disentangled representations in the latent space encode the rich spectrum of local transitions that can now be visualized and explored via continuous variables. The time dependence of ensemble averages allows insight into the time dynamics of the system, and in particular, illustrates the presence of the potential ordering transition. Finally, analysis of the latent variables along the single-particle trajectory allows tracing these parameters on a single particle level. The proposed approach is expected to be universally applicable for the description of the imaging data in optical, scanning probe, and electron microscopy seeking to understand the dynamics of complex systems where rotations are a significant part of the process.


title: CLOCs: Camera-LiDAR Object Candidates Fusion for 3D Object Detection

abstract: There have been significant advances in neural networks for both 3D object detection using LiDAR and 2D object detection using video. However, it has been surprisingly difficult to train networks to effectively use both modalities in a way that demonstrates gain over single-modality networks. In this paper, we propose a novel Camera-LiDAR Object Candidates (CLOCs) fusion network. CLOCs fusion provides a low-complexity multi-modal fusion framework that significantly improves the performance of single-modality detectors. CLOCs operates on the combined output candidates before Non-Maximum Suppression (NMS) of any 2D and any 3D detector, and is trained to leverage their geometric and semantic consistencies to produce more accurate final 3D and 2D detection results. Our experimental evaluation on the challenging KITTI object detection benchmark, including 3D and bird's eye view metrics, shows significant improvements, especially at long distance, over the state-of-the-art fusion based methods. At time of submission, CLOCs ranks the highest among all the fusion-based methods in the official KITTI leaderboard. We will release our code upon acceptance.


title: Analysis of survival data with non-proportional hazards: A comparison of propensity score weighted methods

abstract: One of the most common ways researchers compare survival outcomes across treatments when confounding is present is using Cox regression. This model is limited by its underlying assumption of proportional hazards; in some cases, substantial violations may occur. Here we present and compare approaches which attempt to address this issue, including Cox models with time-varying hazard ratios; parametric accelerated failure time models; Kaplan-Meier curves; and pseudo-observations. To adjust for differences between treatment groups, we use Inverse Probability of Treatment Weighting based on the propensity score. We examine clinically meaningful outcome measures that can be computed and directly compared across each method, namely, survival probability at time T, median survival, and restricted mean survival. We conduct simulation studies under a range of scenarios, and determine the biases, coverages, and standard errors of the Average Treatment Effects for each method. We then apply these approaches to two published observational studies of survival after cancer treatment. The first examines chemotherapy in sarcoma, where survival is very similar initially, but after two years the chemotherapy group shows a benefit. The other study is a comparison of surgical techniques for kidney cancer, where survival differences are attenuated over time.


title: MESSI: In-Memory Data Series Indexing

abstract: Data series similarity search is a core operation for several data series analysis applications across many different domains. However, the state-of-the-art techniques fail to deliver the time performance required for interactive exploration, or analysis of large data series collections. In this work, we propose MESSI, the first data series index designed for in-memory operation on modern hardware. Our index takes advantage of the modern hardware parallelization opportunities (i.e., SIMD instructions, multi-core and multi-socket architectures), in order to accelerate both index construction and similarity search processing times. Moreover, it benefits from a careful design in the setup and coordination of the parallel workers and data structures, so that it maximizes its performance for in-memory operations. Our experiments with synthetic and real datasets demonstrate that overall MESSI is up to 4x faster at index construction, and up to 11x faster at query answering than the state-of-the-art parallel approach. MESSI is the first to answer exact similarity search queries on 100GB datasets in _50msec (30-75msec across diverse datasets), which enables real-time, interactive data exploration on very large data series collections.


title: Experimental and Computational Determination of Optimal Boron Content in Layered Superconductor Sc$_{20}$C$_{8-x}$B$_x$C$_{20}$

abstract: It is generally difficult to quantify the amounts of light elements in materials because of their low X-ray-scattering power, as this means that they cannot be easily estimated via X-ray analyses. Meanwhile, the recently reported layered superconductor, Sc$_{20}$C$_{8-x}$B$_x$C$_{20}$, requires a small amount of boron, which is a light element, for its structural stability. In this context, here, we quantitatively evaluate the optimal $x$ value using both the experimental and computational approaches. Using the high-pressure synthesis approach that can maintain the starting composition even after sintering, we obtain the Sc$_{20}$(C,B)$_{8}$C$_{20}$ phase by the reaction of the previously reported Sc$_{15}$C$_{19}$ and B (Sc$_{15}$B$_y$C$_{19}$). Our experiments demonstrate that an increase in $y$ values promotes the phase formation of the Sc$_{20}$(C,B)$_{8}$C$_{20}$ structure; however, there appears to be an upper limit to the nominal $y$ value to form this phase. The maximum $T_\mathrm{c}$ $(=7.6\text{ K})$ is found to correspond with the actual $x$ value of $x \sim 5$ under the assumption that the sample with the same $T_\mathrm{c}$ as the reported value $(=7.7\text{ K})$ possesses the optimal $x$ amount. Moreover, we construct the energy convex hull diagram by calculating the formation enthalpy based on first principles. Our computational results indicate that the composition of Sc$_{20}$C$_4$B$_4$C$_{20}$ $(x=4)$ is the most thermodynamically stable, which is reasonably consistent with the experimentally obtained value.


title: Symmetric coexisting attractors in a novel memristors-based Chua's chaotic system

abstract: In this paper, based on the classic Chua's circuit, a charge-controlled memristor is introduced to design a novel four-dimensional chaotic system. The complex dynamics of the novel chaotic system such as equilibrium points, stability, dissipation, bifurcation diagrams, Lyapunov exponent spectra and phase portraits are investigated. By varying the initial conditions of the system, it is found from numerical simulations that the system shows some dynamics of great interests including double-wings chaotic attractors, coexisting periodic-chaotic bubbles, asymmetric and symmetric coexisting attrators. The results show that the novel circuit system has extreme multistablity.


title: Single-RF MIMO: From Spatial Modulation to Metasurface-Based Modulation

abstract: In multiple-input multiple-output (MIMO), multiple radio frequency (RF) chains are usually required to simultaneously transmit multiple data streams. As a special MIMO technology, spatial modulation (SM) activates one transmit antenna with one RF chain and exploits the index of the active antenna for information transfer at each time slot. Recently, reconfigurable metasurfaces have emerged as a promising technology that is able to reconfigure the wireless propagation environment by altering the amplitude and/or phase of the incident signal. In this article, we aim for the implementation of single-RF MIMO by shifting the focus from SM to metasurface-based modulation. Specifically, the principles of SM and metasurfaces are first presented. After reviewing the evolution of SM, we elaborate on the idea of metasurface-aided single-RF MIMO and discuss some implementations for it in line with notable variants of SM. A comparison between antenna-based and metasurface-based modulation is made to highlight the advantages of using metasurfaces. We finally investigate the research challenges and opportunities in the context of metasurface-based modulation.


title: On the magnetoionic environments of fast radio bursts

abstract: Observations of the Faraday rotation measure, combined with the dispersion measure, can be used to infer the magnetoionic environment of a radio source. We investigate the magnetoionic environments of FRBs by deriving their estimated average magnetic field strengths along the line of sight $\langle B_{\parallel}\rangle$ in their host galaxies and comparing them with those of Galactic pulsars and magnetars. We find that for those FRBs with RM measurements, the mean $\langle B_{\parallel}\rangle$ is $1.77^{+9.01}_{-1.48}\,\rm\mu G$ and $1.74^{+14.82}_{-1.55}\,\rm\mu G$ using two different methods, which is slightly larger but not inconsistent with the distribution of Galactic pulsars, $1.00^{+1.51}_{-0.60}\,\rm\mu G$. Only six Galactic magnetars have estimated $\langle B_{\parallel}\rangle$. Excluding PSR J1745--2900 that has an anomalously high value due to its proximity with the Galactic Centre, the other three sources have a mean value of $1.70\,\rm\mu G$, which is statistically consistent with the $\langle B_{\parallel}\rangle$ distributions of both Galactic pulsars and FRBs. There is no apparent trend of evolution of magnetar $\langle B_{\parallel}\rangle$ as a function of age or surface magnetic field strength. Galactic pulsars and magnetars close to the Galactic Centre have relatively larger $\langle B_{\parallel}\rangle$ values than other pulsars/magnetars. We discuss the implications of these results for the magnetoionic environments of FRB 121102 within the context of magnetar model and the model invoking a supermassive black hole, and for the origin of FRBs in general.


title: An Approximation Scheme for Multivariate Information based on Partial Information Decomposition

abstract: We consider an approximation scheme for multivariate information assuming that synergistic information only appearing in higher order joint distributions is suppressed, which may hold in large classes of systems. Our approximation scheme gives a practical way to evaluate information among random variables and is expected to be applied to feature selection in machine learning. The truncation order of our approximation scheme is given by the order of synergy. In the classification of information, we use the partial information decomposition of the original one. The resulting multivariate information is expected to be reasonable if higher order synergy is suppressed in the system. In addition, it is calculable in relatively easy way if the truncation order is not so large. We also perform numerical experiments to check the validity of our approximation scheme.


title: Select-ProtoNet: Learning to Select for Few-Shot Disease Subtype Prediction

abstract: Current machine learning has made great progress on computer vision and many other fields attributed to the large amount of high-quality training samples, while it does not work very well on genomic data analysis, since they are notoriously known as small data. In our work, we focus on few-shot disease subtype prediction problem, identifying subgroups of similar patients that can guide treatment decisions for a specific individual through training on small data. In fact, doctors and clinicians always address this problem by studying several interrelated clinical variables simultaneously. We attempt to simulate such clinical perspective, and introduce meta learning techniques to develop a new model, which can extract the common experience or knowledge from interrelated clinical tasks and transfer it to help address new tasks. Our new model is built upon a carefully designed meta-learner, called Prototypical Network, that is a simple yet effective meta learning machine for few-shot image classification. Observing that gene expression data have specifically high dimensionality and high noise properties compared with image data, we proposed a new extension of it by appending two modules to address these issues. Concretely, we append a feature selection layer to automatically filter out the disease-irrelated genes and incorporate a sample reweighting strategy to adaptively remove noisy data, and meanwhile the extended model is capable of learning from a limited number of training examples and generalize well. Simulations and real gene expression data experiments substantiate the superiority of the proposed method for predicting the subtypes of disease and identifying potential disease-related genes.


title: Realization of programmable nanomechanical lattice with both nearest-neighboring and next-nearest-neighboring couplings

abstract: The programmable artificial lattice, based on the controllability of coupling strengths and the scalability of multiple sites, is desperately desired in engineering metamaterials and exploring fundamental physics. In this work, we experimentally present a programmable lattice consisting of multiple paralleled nanomechanical resonators, whose internal interactions can be linearly manipulated by external voltages. Flexural modes of nearest-neighboring (NN) and next-nearest-neighboring (NNN) resonators are parametrically coupled through modulated electrostatic interactions. Particularly, in a wide range up to deep strong coupling regime, both the NN and NNN coupling strengths are precisely proportional to manipulation voltage. The realization of long-range coupling provides a promising prospect in constructing complex lattice structure, which is essential in investigating mechanical logic devices, topological physics and coherent phononic dynamics.


title: The Hyper-Kamiokande Experiment -- Snowmass LOI

abstract: Hyper-Kamiokande is the next generation underground water Cherenkov detector that builds on the highly successful Super-Kamiokande experiment. The detector which has an 8.4~times larger effective volume than its predecessor will be located along the T2K neutrino beamline and utilize an upgraded J-PARC beam with 2.6~times beam power. Hyper-K's low energy threshold combined with the very large fiducial volume make the detector unique, that is expected to acquire an unprecedented exposure of 3.8~Mton$\cdot$year over a period of 20~years of operation. Hyper-Kamiokande combines an extremely diverse science program including nucleon decays, long-baseline neutrino oscillations, atmospheric neutrinos, and neutrinos from astrophysical origins. The scientific scope of this program is highly complementary to liquid-argon detectors for example in sensitivity to nucleon decay channels or supernova detection modes. Hyper-Kamiokande construction has started in early 2020 and the experiment is expected to start operations in 2027. The Hyper-Kamiokande collaboration is presently being formed amongst groups from 19 countries including the United States, whose community has a long history of making significant contributions to the neutrino physics program in Japan. US physicists have played leading roles in the Kamiokande, Super-Kamiokande, EGADS, K2K, and T2K programs.


title: Information Source Finding in Networks: Querying with Budgets

abstract: In this paper, we study a problem of detecting the source of diffused information by querying individuals, given a sample snapshot of the information diffusion graph, where two queries are asked: {\em (i)} whether the respondent is the source or not, and {\em (ii)} if not, which neighbor spreads the information to the respondent. We consider the case when respondents may not always be truthful and some cost is taken for each query. Our goal is to quantify the necessary and sufficient budgets to achieve the detection probability $1-\delta$ for any given $0<\delta<1.$ To this end, we study two types of algorithms: adaptive and non-adaptive ones, each of which corresponds to whether we adaptively select the next respondents based on the answers of the previous respondents or not. We first provide the information theoretic lower bounds for the necessary budgets in both algorithm types. In terms of the sufficient budgets, we propose two practical estimation algorithms, each of non-adaptive and adaptive types, and for each algorithm, we quantitatively analyze the budget which ensures $1-\delta$ detection accuracy. This theoretical analysis not only quantifies the budgets needed by practical estimation algorithms achieving a given target detection accuracy in finding the diffusion source, but also enables us to quantitatively characterize the amount of extra budget required in non-adaptive type of estimation, refereed to as {\em adaptivity gap}. We validate our theoretical findings over synthetic and real-world social network topologies.


title: Reanalyses for $^{42-51}$Ca scattering on a $^{12}$C target at $280$ MeV/nucleon based on chiral $g$ folding mode with Gogny-D1S Hartree-Fock-Bogoliubov densities

abstract: In the previous paper, we predicted reaction cross sections $\sigma_{\rm R}$ for $^{40-60,62,64}$Ca+$^{12}$C scattering at $280$~MeV/nucleon, since Tanaka {\it el al.} measured interaction cross sections $\sigma_{\rm I}$ for $^{42-51}$Ca in RIKEN and determined neutron skin $r_{\rm skin}({\rm RIKEN})$ using the optical limit of the Glauber model with the Woos-Saxon densities. Our purpose is to reanalyze the $r_{\rm skin}$ from the $\sigma_{\rm I}$. Our analysis is superior to theirs, since the chiral $g$-matrix folding model (the GHFB and GHFB+AMP densities) is much better than the optical limit of the Glauber model (the Woos-Saxon densities). Our model is the chiral $g$-matrix folding model with the densities scaled from the GHFB and GHFB+AMP densities. We scale the GHFB and GHFB+AMP densities so that the $\sigma_{\rm R}$ of the scaled densities can agree with the central values of $\sigma_{\rm I}$ under the condition that the proton radius of the scaled proton density equals the data determined from the isotope shift based on the electron scattering. The $r_{\rm skin}$ thus determined are close to their results $r_{\rm skin}^{42-51}({\rm RIKEN})$. For $^{48}$Ca, our value $r_{\rm skin}^{48}$ is 0.105 $\pm$ 0.06~fm, while their value is $r_{\rm m}^{48}({\rm RIKEN})=0.146 \pm 0.06$~fm. We take the weighted mean and its error of $r_{\rm skin}^{48}(\sigma_{\rm I})= 0.105 \pm 0.06$~fm and $r_{\rm skin}^{48}(E1{\rm pE}) =0.17 \pm 0.03$~fm of the high-resolution $E1$ polarizability experiment (E1{\rm pE}). Our final result is $r_{\rm skin}^{48}=0.157 \pm 0.027$~fm. Our conclusion is $r_{\rm skin}^{48}=0.157 \pm 0.027$~fm for $^{48}$Ca. For $^{42-47,49-51}$Ca, our results on $r_{\rm skin}$ are similar to theirs. Our result for $^{48}$Ca is related to CREX.


title: Symmetric Orbifold Theories from Little String Residues

abstract: We study a class of Little String Theories (LSTs) of A type, described by $N$ parallel M5-branes spread out on a circle and which in the low energy regime engineer supersymmetric gauge theories with $U(N)$ gauge group. The BPS states in this setting correspond to M2-branes stretched between the M5-branes. Generalising an observation made in arXiv:1706.04425, we provide evidence that the BPS counting functions of special subsectors of the latter exhibit a Hecke structure in the Nekrasov-Shatashvili (NS) limit, i.e. the different orders in an instanton expansion of the supersymmetric gauge theory are related through the action of Hecke operators. We extract $N$ distinct such reduced BPS counting functions from the full free energy of the LST with the help of contour integrals with respect to the gauge parameters of the $U(N)$ gauge group. Physically, the states captured by these functions correspond to configurations where the same number of M2-branes is stretched between some of these neighbouring M5-branes, while the remaining M5-branes are collapsed on top of each other and a particular singular contribution is extracted. The Hecke structures suggest that these BPS states form the spectra of symmetric orbifold CFTs. We furthermore show that to leading instanton order (in the NS-limit) the reduced BPS counting functions factorise into simpler building blocks. These building blocks are the expansion coefficients of the free energy for $N=1$ and the expansion of a particular function, which governs the counting of BPS states of a single M5-brane with single M2-branes ending on it on either side. To higher orders in the instanton expansion, we observe new elements appearing in this decomposition, whose coefficients are related through a holomorphic anomaly equation.


title: Perfect coherent transfer in an on-chip reconfigurable nanoelectromechanical network

abstract: Realizing a controllable network with multiple degrees of interaction is a challenge to physics and engineering. Here, we experimentally report an on-chip reconfigurable network based on nanoelectromechanical resonators with nearest-neighbor (NN) and next-nearest-neighbor (NNN) strong couplings. By applying different parametric voltages on the same on-chip device, we carry out perfect coherent transfer in NN and NNN coupled array networks. Moreover, the low-loss resonators ensure the desired evolution to achieve perfect transfer and the demonstration of the parity-dependent phase relation at transmission cycles. The realization of NNN couplings demonstrates the capability of engineering coherent coupling beyond a simple model of a NN coupled array of doubly clamped resonators. Our reconfigurable nanoelectromechanical network provides a highly tunable physical platform and offers the possibilities of investigating various interesting phenomena, such as topological transport, synchronization of networks, as well as metamaterials.


title: Heterogeneous Graph Neural Network for Recommendation

abstract: The prosperous development of e-commerce has spawned diverse recommendation systems. As a matter of fact, there exist rich and complex interactions among various types of nodes in real-world recommendation systems, which can be constructed as heterogeneous graphs. How learn representative node embedding is the basis and core of the personalized recommendation system. Meta-path is a widely used structure to capture the semantics beneath such interactions and show potential ability in improving node embedding. In this paper, we propose Heterogeneous Graph neural network for Recommendation (HGRec) which injects high-order semantic into node embedding via aggregating multi-hops meta-path based neighbors and fuses rich semantics via multiple meta-paths based on attention mechanism to get comprehensive node embedding. Experimental results demonstrate the importance of rich high-order semantics and also show the potentially good interpretability of HGRec.


title: Fully-Dynamic Submodular Cover with Bounded Recourse

abstract: In submodular covering problems, we are given a monotone, nonnegative submodular function $f: 2^N \rightarrow\mathbb{R}_+$ and wish to find the min-cost set $S\subseteq N$ such that $f(S)=f(N)$. This captures SetCover when $f$ is a coverage function. We introduce a general framework for solving such problems in a fully-dynamic setting where the function $f$ changes over time, and only a bounded number of updates to the solution (recourse) is allowed. For concreteness, suppose a nonnegative monotone submodular function $g_t$ is added or removed from an active set $G^{(t)}$ at each time $t$. If $f^{(t)}=\sum_{g\in G^{(t)}} g$ is the sum of all active functions, we wish to maintain a competitive solution to SubmodularCover for $f^{(t)}$ as this active set changes, and with low recourse. We give an algorithm that maintains an $O(\log(f_{max}/f_{min}))$-competitive solution, where $f_{max}, f_{min}$ are the largest/smallest marginals of $f^{(t)}$. The algorithm guarantees a total recourse of $O(\log(c_{max}/ c_{min})\cdot\sum_{t\leq T}g_t(N))$, where $c_{max},c_{min}$ are the largest/smallest costs of elements in $N$. This competitive ratio is best possible even in the offline setting, and the recourse bound is optimal up to the logarithmic factor. For monotone submodular functions that also have positive mixed third derivatives, we show an optimal recourse bound of $O(\sum_{t\leq T}g_t(N))$. This structured class includes set-coverage functions, so our algorithm matches the known $O(\log n)$-competitiveness and $O(1)$ recourse guarantees for fully-dynamic SetCover. Our work simultaneously simplifies and unifies previous results, as well as generalizes to a significantly larger class of covering problems. Our key technique is a new potential function inspired by Tsallis entropy. We also extensively use the idea of Mutual Coverage, which generalizes the classic notion of mutual information.


title: Extensions to the Proximal Distance Method of Constrained Optimization

abstract: The current paper studies the problem of minimizing a loss $f(\boldsymbol{x})$ subject to constraints of the form $\boldsymbol{D}\boldsymbol{x} \in S$, where $S$ is a closed set, convex or not, and $\boldsymbol{D}$ is a matrix that fuses parameters. Fusion constraints can capture smoothness, sparsity, or more general constraint patterns. To tackle this generic class of problems, we combine the Beltrami-Courant penalty method with the proximal distance principle. The latter is driven by minimization of penalized objectives $f(\boldsymbol{x})+\frac{\rho}{2}\text{dist}(\boldsymbol{D}\boldsymbol{x},S)^2$ involving large tuning constants $\rho$ and the squared Euclidean distance of $\boldsymbol{D}\boldsymbol{x}$ from $S$. The next iterate $\boldsymbol{x}_{n+1}$ of the corresponding proximal distance algorithm is constructed from the current iterate $\boldsymbol{x}_n$ by minimizing the majorizing surrogate function $f(\boldsymbol{x})+\frac{\rho}{2}\|\boldsymbol{D}\boldsymbol{x}-\mathcal{P}_{S}(\boldsymbol{D}\boldsymbol{x}_n)\|^2$. For fixed $\rho$ and a subanalytic loss $f(\boldsymbol{x})$ and a subanalytic constraint set $S$, we prove convergence to a stationary point. Under stronger assumptions, we provide convergence rates and demonstrate linear local convergence. We also construct a steepest descent (SD) variant to avoid costly linear system solves. To benchmark our algorithms, we compare against the alternating direction method of multipliers (ADMM). Our extensive numerical tests include problems on metric projection, convex regression, convex clustering, total variation image denoising, and projection of a matrix to a good condition number. These experiments demonstrate the superior speed and acceptable accuracy of our steepest variant on high-dimensional problems.


title: Estimating the Brittleness of AI: Safety Integrity Levels and the Need for Testing Out-Of-Distribution Performance

abstract: Test, Evaluation, Verification, and Validation (TEVV) for Artificial Intelligence (AI) is a challenge that threatens to limit the economic and societal rewards that AI researchers have devoted themselves to producing. A central task of TEVV for AI is estimating brittleness, where brittleness implies that the system functions well within some bounds and poorly outside of those bounds. This paper argues that neither of those criteria are certain of Deep Neural Networks. First, highly touted AI successes (eg. image classification and speech recognition) are orders of magnitude more failure-prone than are typically certified in critical systems even within design bounds (perfectly in-distribution sampling). Second, performance falls off only gradually as inputs become further Out-Of-Distribution (OOD). Enhanced emphasis is needed on designing systems that are resilient despite failure-prone AI components as well as on evaluating and improving OOD performance in order to get AI to where it can clear the challenging hurdles of TEVV and certification.


title: Embedded Development Boards for Edge-AI: A Comprehensive Report

abstract: The use of Deep Learning and Machine Learning is becoming pervasive day by day which is opening doors to new opportunities in every aspect of technology. Its application Ranges from Health-care to Self-driving Cars, Home Automation to Smart-agriculture, and Industry 4.0. Traditionally the majority of the processing for IoT applications is being done on a central cloud but that has its issues; which include latency, security, bandwidth, and privacy, etc. It is estimated that there will be around 20 Million IoT devices by 2020 which will increase problems with sending data to the cloud and doing the processing there. A new trend of processing the data on the edge of the network is emerging. The idea is to do processing as near the point of data production as possible. Doing processing on the nodes generating the data is called Edge Computing and doing processing on a layer between the cloud and the point of data production is called Fog computing. There are no standard definitions for any of these, hence they are usually used interchangeably. In this paper, we have reviewed the development boards available for running Artificial Intelligence algorithms on the Edge


title: Architectural Implications of Graph Neural Networks

abstract: Graph neural networks (GNN) represent an emerging line of deep learning models that operate on graph structures. It is becoming more and more popular due to its high accuracy achieved in many graph-related tasks. However, GNN is not as well understood in the system and architecture community as its counterparts such as multi-layer perceptrons and convolutional neural networks. This work tries to introduce the GNN to our community. In contrast to prior work that only presents characterizations of GCNs, our work covers a large portion of the varieties for GNN workloads based on a general GNN description framework. By constructing the models on top of two widely-used libraries, we characterize the GNN computation at inference stage concerning general-purpose and application-specific architectures and hope our work can foster more system and architecture research for GNNs.


title: GNN-PT: Enhanced Prediction of Compound-protein Interactions by Integrating Protein Transformer

abstract: The prediction of protein interactions (CPIs) is crucial for the in-silico screening step in drug discovery. Recently, many end-to-end representation learning methods using deep neural networks have achieved significantly better performance than traditional machine learning algorithms. Much effort has focused on the compound representation or the information extraction from the compound-protein interaction to improve the model capability by taking the advantage of the neural attention mechanism. However, previous studies have paid little attention to representing the protein sequences, in which the long-range interactions of residue pairs are essential for characterizing the structural properties arising from the protein folding. We incorporate the self-attention mechanism into the protein representation module for CPI modeling, which aims at capturing the long-range interaction information within proteins. The proposed module concerning protein representation, called Protein Transformer, with an integration with an existing CPI model, has shown a significant improvement in the prediction performance when compared with several existing CPI models.


title: Receiver Design for OTFS with Fractionally Spaced Sampling Approach

abstract: The recent emergence of orthogonal time frequency space (OTFS) modulation as a novel PHY-layer mechanism is more suitable in high-mobility wireless communication scenarios than traditional orthogonal frequency division multiplexing (OFDM). Although multiple studies have analyzed OTFS performance using theoretical and ideal baseband pulseshapes, a challenging and open problem is the development of effective receivers for practical OTFS systems that must rely on non-ideal pulseshapes for transmission. This work focuses on the design of practical receivers for OTFS. We consider a fractionally spaced sampling (FSS) receiver in which the sampling rate is an integer multiple of the symbol rate. For rectangular pulses used in OTFS transmission, we derive a general channel input-output relationship of OTFS in delay-Doppler domain without the common reliance on impractical assumptions such as ideal bi-orthogonal pulses and on-the-grid delay/Doppler shifts. We propose two equalization algorithms: iterative combining message passing (ICMP) and turbo message passing (TMP) for symbol detection by exploiting delay-Doppler channel sparsity and the frequency diversity gain via FSS. We analyze the convergence performance of TMP receiver and propose simplified message passing (MP) receivers to further reduce complexity. Our FSS receivers demonstrate stronger performance than traditional receivers and robustness to the imperfect channel state information knowledge.


title: Dozens of virtual impactor orbits eliminated by the EURONEAR VIMP DECam data mining project

abstract: Massive data mining of image archives observed with large etendue facilities represents a great opportunity for orbital amelioration of poorly known virtual impactor asteroids (VIs). There are more than 1000 VIs known today; most of them have very short observed arcs and many are considered lost as they became extremely faint soon after discovery. We aim to improve the orbits of VIs and eliminate their status by data mining the existing image archives. Within the European Near Earth Asteroids Research (EURONEAR) project, we developed the Virtual Impactor search using Mega-Precovery (VIMP) software endowed with a very effective (fast and accurate) algorithm to predict apparitions of candidate pairs for subsequent guided human search. Considering a simple geometric model, the VIMP algorithm searches for any possible intersection in space and time between the positional uncertainty of any VI and the bounding sky projection of any image archive. We applied VIMP to mine the data of 451914 Blanco/DECam images observed between 12 Sep 2012 and 11 Jul 2019, identifying 212 VIs that possibly fall into 1286 candidate images leading to either precovery or recovery events. Following a careful search of candidate images, we recovered and measured 54 VIs in 183 DECam images. About 4000 impact orbits were eliminated from both lists, 27 VIs were removed from at least one list, while 14 objects were eliminated from both lists. The faintest detections were around V~24.0, while the majority fall between 21<V<23. The minimal orbital intersection distances remains constant for 67% detections, increasing for eight objects and decreasing for 10 objects. Most eliminated VIs had short initial arcs of less than 5 days. Some unexpected photometric discovery has emerged regarding the rotation period of 2018 DB, based on the close inspection of longer trailed VIs and the measurement of their fluxes along the trails.


title: Structural Iterative Rounding for Generalized $k$-Median Problems

abstract: This paper considers approximation algorithms for generalized $k$-median problems. This class of problems can be informally described as $k$-median with a constant number of extra constraints, and includes $k$-median with outliers, and knapsack median. Our first contribution is a pseudo-approximation algorithm for generalized $k$-median that outputs a $6.387$-approximate solution, with a constant number of fractional variables. The algorithm builds on the iterative rounding framework introduced by Krishnaswamy, Li, and Sandeep for $k$-median with outliers. The main technical innovation is allowing richer constraint sets in the iterative rounding and taking advantage of the structure of the resulting extreme points. Using our pseudo-approximation algorithm, we give improved approximation algorithms for $k$-median with outliers and knapsack median. This involves combining our pseudo-approximation with pre- and post-processing steps to round a constant number of fractional variables at a small increase in cost. Our algorithms achieve approximation ratios $6.994 + \epsilon$ and $6.387 + \epsilon$ for $k$-median with outliers and knapsack median, respectively. These improve on the best-known approximation ratio $7.081 + \epsilon$ for both problems \cite{DBLP:conf/stoc/KrishnaswamyLS18}.


title: Towards constant-factor approximation for chordal / distance-hereditary vertex deletion

abstract: For a family of graphs $\mathcal{F}$, Weighted $\mathcal{F}$-Deletion is the problem for which the input is a vertex weighted graph $G=(V,E)$ and the goal is to delete $S\subseteq V$ with minimum weight such that $G\setminus S\in\mathcal{F}$. Designing a constant-factor approximation algorithm for large subclasses of perfect graphs has been an interesting research direction. Block graphs, 3-leaf power graphs, and interval graphs are known to admit constant-factor approximation algorithms, but the question is open for chordal graphs and distance-hereditary graphs. In this paper, we add one more class to this list by presenting a constant-factor approximation algorithm when $F$ is the intersection of chordal graphs and distance-hereditary graphs. They are known as ptolemaic graphs and form a superset of both block graphs and 3-leaf power graphs above. Our proof presents new properties and algorithmic results on inter-clique digraphs as well as an approximation algorithm for a variant of Feedback Vertex Set that exploits this relationship (named Feedback Vertex Set with Precedence Constraints), each of which may be of independent interest.


title: Understanding modes of negative differential resistance in amorphous and polycrystalline vanadium oxides

abstract: Metal-oxide-metal devices based on amorphous VOx are shown to exhibit one of two distinct negative differential resistance (NDR) characteristics depending on the maximum current employed for electroforming. For low compliance currents they exhibit a smooth S-type characteristic and have a temperature-dependent device resistance characterised by an activation energy of 0.25 eV, consistent with conduction in polycrystalline VO2, while for high-compliance currents they exhibit an abrupt snap-back characteristic and a resistance characterised by an activation energy of 0.025 eV, consistent with conduction in oxygen deficient VOx. In both cases, the temperature dependence of the switching voltage implies that the conductivity change is due to the insulator-metal transition in VO2. From this analysis it is concluded that electroforming at low currents creates a conductive filament comprised largely of polycrystalline VO2, while electroforming at high currents creates a composite structure comprised of VO2 and a conductive halo of oxygen deficient VOx. The effect of electroforming on the NDR mode is then explained with reference to a lumped element model of filamentary conduction that includes the effect of a parallel resistance created by the halo. These results provide new insight into the NDR response of vanadium-oxide-based devices and a basis for designing devices with specific characteristics.


title: Isotopic Arrangement of Simple Curves: an Exact Numerical Approach based on Subdivision

abstract: This paper presents the first purely numerical (i.e., non-algebraic) subdivision algorithm for the isotopic approximation of a simple arrangement of curves. The arrangement is "simple" in the sense that any three curves have no common intersection, any two curves intersect transversally, and each curve is non-singular. A curve is given as the zero set of an analytic function $f:\mathbb{R}^2\rightarrow \mathbb{R}^2$, and effective interval forms of $f, \frac{\partial{f}}{\partial{x}}, \frac{\partial{f}}{\partial{y}}$ are available. Our solution generalizes the isotopic curve approximation algorithms of Plantinga-Vegter (2004) and Lin-Yap (2009). We use certified numerical primitives based on interval methods. Such algorithms have many favorable properties: they are practical, easy to implement, suffer no implementation gaps, integrate topological with geometric computation, and have adaptive as well as local complexity. A version of this paper without the appendices appeared in Lien et al. (2014).


title: Interstellar Scintillation of an Extreme Scintillator: PKS B1144-379

abstract: The University of Tasmania Ceduna radio telescope has been used to investigate rapid variability in the radio flux density of the BL Lac object PKS B1144-379 at 6.7 GHz. High-cadence monitoring of this extreme scintillator was carried out over a period of approximately nine years, between 2003 and 2011. We have used structure functions created from the intensity time series to determine the characteristic timescale of the variability. The characteristic timescale is consistently observed to increase during certain periods of each year, demonstrating the annual cycle expected for scintillation through an interstellar scattering screen. The best-fitting annual cycle model for each year suggests that the scintillation pattern has an anisotropic structure and that the upper limit of its scattering screen is at a distance of ~0.84 kpc. Higher anisotropy in some of the annual cycle fits suggests that changes in the intrinsic source structure might be influencing the variability timescale. We found a prominent annual cycle is only present in the variability timescale for certain years where other evidence suggests that the core is compact. From our measurements, we calculated that the core angular size varied between 5.65-15.90 $\mu$as (0.05-0.13 pc). The core component was found to be at its most compact during two flares in the total flux density, which were observed in 2005 and 2008. We conclude that the long-term variability in the radio flux density of PKS B1144-379 is due to intrinsic changes in the source and that these affect our ability to measure an annual cycle in its variability time scale.


title: Controlling ligand-mediated exchange interactions in periodically driven magnetic materials

abstract: A periodic drive could alter the effective exchange interactions in magnetic materials. Here, we explore how exchange pathways affect the effective interactions of periodically driven magnetic materials. Aiming to apply Floquet engineering methods to two-dimensional magnetic materials, we consider realistic models and discuss the effect of a periodic drive on ligand-mediated exchange interactions. We show that depending on bond angles and the number of ligand ions involved in the exchange process, drive-induced changes can be very different from those calculated from direct-hopping models considered earlier. We study these effects and find that the presence of ligand ions must be taken into account, especially for TMTCs where ligand ion mediated next-neighbor interactions play a crucial role in determining the magnetic ground state of the system.


title: Open-set Adversarial Defense

abstract: Open-set recognition and adversarial defense study two key aspects of deep learning that are vital for real-world deployment. The objective of open-set recognition is to identify samples from open-set classes during testing, while adversarial defense aims to defend the network against images with imperceptible adversarial perturbations. In this paper, we show that open-set recognition systems are vulnerable to adversarial attacks. Furthermore, we show that adversarial defense mechanisms trained on known classes do not generalize well to open-set samples. Motivated by this observation, we emphasize the need of an Open-Set Adversarial Defense (OSAD) mechanism. This paper proposes an Open-Set Defense Network (OSDN) as a solution to the OSAD problem. The proposed network uses an encoder with feature-denoising layers coupled with a classifier to learn a noise-free latent feature representation. Two techniques are employed to obtain an informative latent feature space with the objective of improving open-set performance. First, a decoder is used to ensure that clean images can be reconstructed from the obtained latent features. Then, self-supervision is used to ensure that the latent features are informative enough to carry out an auxiliary task. We introduce a testing protocol to evaluate OSAD performance and show the effectiveness of the proposed method in multiple object classification datasets. The implementation code of the proposed method is available at: https://github.com/rshaojimmy/ECCV2020-OSAD.


title: Maximal entropy approach for quantum state tomography

abstract: Quantum computation has been growing rapidly in both theory and experiments. In particular, quantum computing devices with a large number of qubits have been developed by IBM, Google, IonQ, and others. The current quantum computing devices are noisy intermediate-scale quantum $($NISQ$)$ devices, and so approaches to validate quantum processing on these quantum devices are needed. One of the most common ways of validation for an n-qubit quantum system is quantum tomography, which tries to reconstruct a quantum system's density matrix by a complete set of observables. However, the inherent noise in the quantum systems and the intrinsic limitations poses a critical challenge to precisely know the actual measurement operators which make quantum tomography impractical in experiments. Here, we propose an alternative approach to quantum tomography, based on the maximal information entropy, that can predict the values of unknown observables based on the available mean measurement data. This can then be used to reconstruct the density matrix with high fidelity even though the results for some observables are missing. Of additional contexts, a practical approach to the inference of the quantum mechanical state using only partial information is also needed.


title: Sending-or-not-sending twin-filed quantum key distribution with discrete phase modulation

abstract: We study the sending-or-not-sending (SNS) protocol with discrete phase modulation of coherent states. We first make the security of the SNS protocol with discrete phase modulation. We then present analytic formulas for key rate calculation. We take numerical simulations for the key rate through discrete phase modulation of both the original SNS protocol and the SNS protocol with two way classical communications of active-odd-parity pairing (AOPP). Our numerical simulation results show that only with $6$ phase values, the key rates of the SNS protocol can exceed the linear bound, and with $12$ phase values, the key rates are very close to the results of the SNS protocol with continuously modulated phase-randomization.


title: On the Structures of Representation for the Robustness of Semantic Segmentation to Input Corruption

abstract: Semantic segmentation is a scene understanding task at the heart of safety-critical applications where robustness to corrupted inputs is essential. Implicit Background Estimation (IBE) has demonstrated to be a promising technique to improve the robustness to out-of-distribution inputs for semantic segmentation models for little to no cost. In this paper, we provide analysis comparing the structures learned as a result of optimization objectives that use Softmax, IBE, and Sigmoid in order to improve understanding their relationship to robustness. As a result of this analysis, we propose combining Sigmoid with IBE (SCrIBE) to improve robustness. Finally, we demonstrate that SCrIBE exhibits superior segmentation performance aggregated across all corruptions and severity levels with a mIOU of 42.1 compared to both IBE 40.3 and the Softmax Baseline 37.5.


title: Tensor structure on the Kazhdan-Lusztig category for affine $\mathfrak{gl}(1|1)$

abstract: We show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure, and that its full subcategory $\mathcal{O}_k^{fin}$ of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple $\widehat{\mathfrak{gl}(1|1)}$-module in $KL_k$ has a projective cover in $\mathcal{O}_k^{fin}$, and we determine all fusion rules involving simple and projective objects in $\mathcal{O}_k^{fin}$. Then using Knizhnik-Zamolodchikov equations, we prove that $KL_k$ and $\mathcal{O}_k^{fin}$ are rigid. As an application of the tensor supercategory structure on $\mathcal{O}_k^{fin}$, we study certain module categories for the affine Lie superalgebra $\widehat{\mathfrak{sl}(2|1)}$ at levels $1$ and $-\frac{1}{2}$. In particular, we obtain a tensor category of $\widehat{\mathfrak{sl}(2|1)}$-modules at level $-\frac{1}{2}$ that includes relaxed highest-weight modules and their images under spectral flow.


title: A variational framework for the strain-smoothed element method

abstract: This paper is devoted to a rigorous mathematical foundation for the convergence properties of the strain-smoothed element (SSE) method. The SSE method has demonstrated improved convergence behaviors compared to other strain smoothing methods through various numerical examples; however, there has been no theoretical evidence for the convergence behavior. A unique feature of the SSE method is the construction of smoothed strain fields within elements by fully unifying the strains of adjacent elements. Owing to this feature, convergence analysis is required, which is different from other existing strain smoothing methods. In this paper, we first propose a novel mixed variational principle wherein the SSE method can be interpreted as a Galerkin approximation of that. The proposed variational principle is a generalization of the well-known Hu--Washizu variational principle; thus, various existing strain smoothing methods can be expressed in terms of the proposed variational principle. With a unified view of the SSE method and other existing methods through the proposed variational principle, we analyze the convergence behavior of the SSE method and explain the reason for the improved performance compared to other methods. We also present numerical experiments that support our theoretical results.


title: Modelling finger propagation in elasto-rigid channels

abstract: We conduct a theoretical study of a two-phase-fluid-structure interaction problem in which air is driven at constant volume flux into a liquid-filled Hele-Shaw channel whose upper boundary is an elastic sheet. A depth-averaged model in the frame of reference of the advancing air-liquid interface is used to investigate the steady and unsteady interface propagation modes via numerical simulation. In slightly collapsed channels, the steadily-propagating interface adopts a shape that is similar to the classic Saffman--Taylor finger in rigid Hele-Shaw cells. As the level of initial collapse increases the induced gradients in channel depth alter the morphology of the propagating finger and promote a variety of instabilities from tip-splitting to small-scale fingering on the curved interface, in qualitative agreement with experiments. The model has a complex solution structure with a wide range of stable and unstable, steady and time-periodic modes, many of which have similar driving pressures. We find good quantitative agreement between our model and the experimental data of Duclou\'{e} et al. (J. Fluid Mech. vol. 819, 2017, p 121) for the finger width, sheet profile and finger pressure, provided that corrections to account for the presence of liquid films on the upper and lower walls of the channel are included in the model.


title: A reinforcement learning approach to hybrid control design

abstract: In this paper we design hybrid control policies for hybrid systems whose mathematical models are unknown. Our contributions are threefold. First, we propose a framework for modelling the hybrid control design problem as a single Markov Decision Process (MDP). This result facilitates the application of off-the-shelf algorithms from Reinforcement Learning (RL) literature towards designing optimal control policies. Second, we model a set of benchmark examples of hybrid control design problem in the proposed MDP framework. Third, we adapt the recently proposed Proximal Policy Optimisation (PPO) algorithm for the hybrid action space and apply it to the above set of problems. It is observed that in each case the algorithm converges and finds the optimal policy.


title: A Bayesian Approach with Type-2 Student-tMembership Function for T-S Model Identification

abstract: Clustering techniques have been proved highly suc-cessful for Takagi-Sugeno (T-S) fuzzy model identification. Inparticular, fuzzyc-regression clustering based on type-2 fuzzyset has been shown the remarkable results on non-sparse databut their performance degraded on sparse data. In this paper, aninnovative architecture for fuzzyc-regression model is presentedand a novel student-tdistribution based membership functionis designed for sparse data modelling. To avoid the overfitting,we have adopted a Bayesian approach for incorporating aGaussian prior on the regression coefficients. Additional noveltyof our approach lies in type-reduction where the final output iscomputed using Karnik Mendel algorithm and the consequentparameters of the model are optimized using Stochastic GradientDescent method. As detailed experimentation, the result showsthat proposed approach outperforms on standard datasets incomparison of various state-of-the-art methods.


title: Fully-programmable universal quantum simulator with a one-dimensional quantum processor

abstract: Current quantum devices execute specific tasks that are hard for classical computers and have the potential to solve problems such as quantum simulation of material science and chemistry, even without error correction. For practical applications it is highly desirable to reconfigure the connectivity of the device, which for superconducting quantum processors is determined at fabrication. In addition, we require a careful design of control lines and couplings to resonators for measurements. Therefore, it is a cumbersome and slow undertaking to fabricate a new device for each problem we want to solve. Here we periodically drive a one-dimensional chain to engineer effective Hamiltonians that simulate arbitrary connectivities. We demonstrate the capability of our method by engineering driving sequences to simulate star, all-to-all, and ring connectivities. We also simulate a minimal example of the 3-SAT problem including three-body interactions, which are difficult to realize experimentally. Our results open a new paradigm to perform quantum simulation in near term quantum devices by enabling us to stroboscopically simulate arbitrary Hamiltonians with a single device and optimized driving sequences

categories: quant-ph cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech


title: Driven Dipolariton Transistors in Y-shaped Channels

abstract: Exciton-dipolaritons are investigated as a platform for realizing working elements of a polaritronic transistor. Exciton-dipolaritons are three-way superposition of cavity photons, direct and indirect excitons in a bilayer semiconducting system embedded in an optical microcavity. Using the forced diffusion equation for dipolaritons, we study the room-temperature dynamics of dipolaritons in a transition metal dichalcogenide (TMD) heterogeneous bilayer. Specifically, we considered a MoSe$_2$-WS$_2$ heterostructure, where a Y-shaped channel guiding the dipolariton propagation is produced. We demonstrate that polaritronic signals can be redistributed in the channels by applying a driving voltage in an optimal direction. Our findings open a route towards the design of an efficient room-temperature dipolariton-based optical transistor.


title: $^{25}$Si $\beta^+$-decay spectroscopy

abstract: $\beta$-decay spectroscopy provides valuable information on exotic nuclei and a stringent test for nuclear theories beyond the stability line. To search for new $\beta$-delayed protons and $\gamma$ rays of $^{25}$Si to investigate the properties of $^{25}$Al excited states. $^{25}$Si $\beta$ decays were measured by using the Gaseous Detector with Germanium Tagging system at the National Superconducting Cyclotron Laboratory. The protons and $\gamma$ rays emitted in the decay were detected simultaneously. A Monte Carlo method was used to model the Doppler broadening of $^{24}$Mg $\gamma$-ray lines caused by nuclear recoil from proton emission. Shell-model calculations using two newly developed universal \textit{sd}-shell Hamiltonians, USDC and USDI, were performed. The most precise $^{25}$Si half-life to date has been determined. A new proton branch at 724(4)~keV and new proton-$\gamma$-ray coincidences have been identified. Three $^{24}$Mg $\gamma$-ray lines and eight $^{25}$Al $\gamma$-ray lines are observed for the first time in $^{25}$Si decay. The first measurement of the $^{25}$Si $\beta$-delayed $\gamma$ ray intensities through the $^{25}$Al unbound states is reported. All the bound states of $^{25}$Al are observed to be populated in the $\beta$ decay of $^{25}$Si. Several inconsistencies between the previous measurements have been resolved, and new information on the $^{25}$Al level scheme is provided. An enhanced decay scheme has been constructed and compared to the mirror decay of $^{25}$Na and the shell-model calculations. The measured excitation energies, $\gamma$-ray and proton branchings, log~$ft$ values, and Gamow-Teller transition strengths for the states of $^{25}$Al populated in the $\beta$ decay of $^{25}$Si are in good agreement with the shell-model calculations, offering gratifyingly consistent insights into the fine nuclear structure of $^{25}$Al.


title: PANE: scalable and effective attributed network embedding

abstract: Given a graph G where each node is associated with a set of attributes, attributed network embedding (ANE) maps each node v in G to a compact vector Xv, which can be used in downstream machine learning tasks. Ideally, Xv should capture node v's affinity to each attribute, which considers not only v's own attribute associations, but also those of its connected nodes along edges in G. It is challenging to obtain high-utility embeddings that enable accurate predictions; scaling effective ANE computation to massive graphs pushes the difficulty of the problem to a whole new level. Existing solutions largely fail on such graphs, leading to prohibitive costs, low-quality embeddings, or both. This paper proposes PANE, an effective and scalable approach to ANE computation for massive graphs that achieves state-of-the-art result quality on multiple benchmark datasets. PANE obtains high scalability and effectiveness through 3 main algorithmic designs. First, it formulates the learning objective based on a novel random walk model for attributed networks. Second, PANE includes a highly efficient solver for the above optimization problem, whose key module is a carefully designed initialization of the embeddings, which drastically reduces the number of iterations required to converge. Finally, PANE utilizes multi-core CPUs through non-trivial parallelization of the above solver, which achieves scalability while retaining the high quality of the resulting embeddings. The performance of PANE depends upon the number of attributes in the input network. To handle large networks with numerous attributes, we further extend PANE to PANE++. Extensive experiments, comparing 10 existing approaches on 8 real datasets, demonstrate that PANE and PANE++ consistently outperform all existing methods in terms of result quality, while being orders of magnitude faster.


title: Estimating the reciprocal of a binomial proportion

abstract: As a classic parameter from the binomial distribution, the binomial proportion has been well studied in the literature owing to its wide range of applications. In contrast, the reciprocal of the binomial proportion, also known as the inverse proportion, is often overlooked, even though it also plays an important role in various fields including clinical studies and random sampling. The maximum likelihood estimator of the inverse proportion suffers from the zero-event problem, and to overcome it, alternative methods have been developed in the literature. Nevertheless, there is little work addressing the optimality of the existing estimators, as well as their practical performance comparison. Inspired by this, we propose to further advance the literature by developing an optimal estimator for the inverse proportion in a family of shrinkage estimators. We further derive the explicit and approximate formulas for the optimal shrinkage parameter under different settings. Simulation studies show that the performance of our new estimator performs better than, or as well as, the existing competitors in most practical settings. Finally, to illustrate the usefulness of our new method, we also revisit a recent meta-analysis on COVID-19 data for assessing the relative risks of physical distancing on the infection of coronavirus, in which six out of seven studies encounter the zero-event problem.


title: Generation of megatesla magnetic fields by intense-laser-driven microtube implosions

abstract: A microtube implosion driven by ultraintense laser pulses is used to produce ultrahigh magnetic fields. Due to the laser-produced hot electrons with energies of mega-electron volts, cold ions in the inner wall surface implode towards the central axis. By pre-seeding uniform magnetic fields on the kilotesla order, the Lorenz force induces the Larmor gyromotion of the imploding ions and electrons. Due to the resultant collective motion of relativistic charged particles around the central axis, strong spin current densities of ~ peta-ampere/cm2 are produced with a few tens of nm size, generating megatesla-order magnetic fields. The underlying physics and important scaling are revealed by particle simulations and a simple analytical model. The concept holds promise to open new frontiers in many branches of fundamental physics and applications in terms of ultrahigh magnetic fields.


title: Automated Storytelling via Causal, Commonsense Plot Ordering

abstract: Automated story plot generation is the task of generating a coherent sequence of plot events. Causal relations between plot events are believed to increase the perception of story and plot coherence. In this work, we introduce the concept of soft causal relations as causal relations inferred from commonsense reasoning. We demonstrate C2PO, an approach to narrative generation that operationalizes this concept through Causal, Commonsense Plot Ordering. Using human-participant protocols, we evaluate our system against baseline systems with different commonsense reasoning reasoning and inductive biases to determine the role of soft causal relations in perceived story quality. Through these studies we also probe the interplay of how changes in commonsense norms across storytelling genres affect perceptions of story quality.


title: Gluon polarization tensor and dispersion relation in a weakly magnetized medium

abstract: We study the polarization and dispersion properties of gluons moving within a weakly magnetized background at one-loop order. To this end, we show two alternative derivations of the charged fermion propagator in the weak field expansion and use this expression to compute the lowest order magnetic field correction to the gluon polarization tensor. We explicitly show that, in spite of its cumbersome appearance, the gluon polarization tensor is transverse as required by gauge invariance. We also show that none of the three polarization modes develops a magnetic mass and that gluons propagate along the light cone, non withstanding that Lorentz invariance is lost due to the presence of the magnetic field. By comparing with the expression for the gluon polarization tensor valid to all orders in the magnetic field, the existence of a second solution, corresponding to a finite gluon mass, is shown to be spurious and an artifact of the lowest order approximation in the field strength. We also study the strength of the polarization modes for real gluons. We conclude that, provided the spurious solutions are discarded, the lowest order approximation to the gluon polarization and dispersion properties is good as long as the field strength is small compared to the loop fermion mass.


title: Convolutional Nonlinear Dictionary with Cascaded Structure Filter Banks

abstract: This study proposes a convolutional nonlinear dictionary (CNLD) for image restoration using cascaded filter banks. Generally, convolutional neural networks (CNN) demonstrate their practicality in image restoration applications; however, existing CNNs are constructed without considering the relationship among atomic images (convolution kernels). As a result, there remains room for discussing the role of design spaces. To provide a framework for constructing an effective and structured convolutional network, this study proposes the CNLD. The backpropagation learning procedure is derived from certain image restoration experiments, and thereby the significance of CNLD is verified. It is demonstrated that the number of parameters is reduced while preserving the restoration performance.


title: Broadband operation of active terahertz quarter-wave plate achieved with vanadium-dioxide-based metasurface switchable by current injection

abstract: We demonstrate the broadband operation of a switchable terahertz quarter-wave plate achieved with an active metasurface employing vanadium dioxide. For this purpose, we utilize anisotropically deformed checkerboard structures, which present broadband characteristics compatible with deep modulation. Moreover, the metasurface is integrated with a current injection circuit to achieve state switching; this injection circuit can also be employed to monitor the electric state of vanadium dioxide. We estimate the Stokes parameters derived from the experimental transmission spectra of the fabricated metasurface and confirm the helicity switching of circularly polarized waves near a designed frequency of 0.66THz. The relative bandwidth is evaluated as 0.52, which is 4.2 times broader than that in a previous study.


title: Intrinsic Relationship Reasoning for Small Object Detection

abstract: The small objects in images and videos are usually not independent individuals. Instead, they more or less present some semantic and spatial layout relationships with each other. Modeling and inferring such intrinsic relationships can thereby be beneficial for small object detection. In this paper, we propose a novel context reasoning approach for small object detection which models and infers the intrinsic semantic and spatial layout relationships between objects. Specifically, we first construct a semantic module to model the sparse semantic relationships based on the initial regional features, and a spatial layout module to model the sparse spatial layout relationships based on their position and shape information, respectively. Both of them are then fed into a context reasoning module for integrating the contextual information with respect to the objects and their relationships, which is further fused with the original regional visual features for classification and regression. Experimental results reveal that the proposed approach can effectively boost the small object detection performance.


title: Structural and dynamic features of liquid Si under high pressure above the melting line minimum

abstract: We report an {\it ab initio} simulation study of changes in structural and dynamic properties of liquid Si at 7 pressures ranging from 10.2 GPa to 24.3 GPa along the isothermal line 1150~K, which is above the minimum of the melting line. The increase of pressure from 10.2 GPa to 16 GPa causes strong reduction in the tetrahedral ordering of the most close neighbors. The diffusion coefficient shows a linear decay vs drop in atomic volume, that agrees with theoretical prediction for simple liquid metals, thus not showing any feature at the pressures corresponding to the different crystal phase boundaries. The Fourier-spectra of velocity autocorrelation function shows two-peak structure at pressures 20 GPa and higher. These characteristic frequencies correspond well to the peak frequencies of the transverse current spectral function in the second pseudo-Brillouin zone. Two almost flat branches of short-wavelength transverse modes were observed for all the studied pressures. We discuss the pressure evolution of characteristic frequencies in the longitudinal and transverse branches of collective modes.


title: When the future alters the present: how Discrete Dynamical Systems replicate images

abstract: Agents affected by their own future states in a one-dimensional discrete dynamical system (1-DDS) can replicate two-dimensional images. It is shown that such replication requires a toroidal spacetime and three rules are needed to calculate the number of iterations required for exact replication. It is argued that retrocausal updation used by 1-DDS can replicate any n-dimensional digital object. It is shown that the way iterations reach a final image are different for randomly generated images and non-random, meaningful images. Two instances of real-world events that seem to imply such retrocausal replication are discussed.


title: Nearest Neighbor Search for Hyperbolic Embeddings

abstract: Embedding into hyperbolic space is emerging as an effective representation technique for datasets that exhibit hierarchical structure. This development motivates the need for algorithms that are able to effectively extract knowledge and insights from datapoints embedded in negatively curved spaces. We focus on the problem of nearest neighbor search, a fundamental problem in data analysis. We present efficient algorithmic solutions that build upon established methods for nearest neighbor search in Euclidean space, allowing for easy adoption and integration with existing systems. We prove theoretical guarantees for our techniques and our experiments demonstrate the effectiveness of our approach on real datasets over competing algorithms.


title: An entropic proof of cutoff on Ramanujan graphs

abstract: It is recently proved by Lubetzky and Peres that the simple random walk on a Ramanujan graph exhibits a cutoff phenomenon, that is to say, the total variation distance of the random walk distribution from the uniform distribution drops abruptly from near $1$ to near $0$. There are already a few alternative proofs of this fact. In this note, we give yet another proof based on functional analysis and entropic consideration.


title: Rectification in Nonequilibrium Steady States of Open Many-Body Systems

abstract: We study how translationally invariant couplings of many-particle systems and nonequilibrium baths can be used to rectify particle currents, for which we consider minimal setups to realize bath-induced currents in nonequilibrium steady states of one-dimensional open fermionic systems. We first analyze dissipative dynamics associated with a nonreciprocal Lindblad operator and identify a class of Lindblad operators that are sufficient to acquire a unidirectional current. We show that unidirectional particle transport can in general occur when a Lindblad operator is reciprocal provided that the inversion symmetry and the time-reversal symmetry of the microscopic Hamiltonian are broken. We demonstrate this mechanism on the basis of both analytical and numerical approaches including the Rashba spin-orbit coupling and the Zeeman magnetic field.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.stat-mech quant-ph


title: The IDS and Asymptotic of the Largest Eigenvalue of Random Schr\"{o}dinger Operators with Decaying Random Potential

abstract: In this work we obtain the integrated density of states for the Schr\"{o}dinger operators with decaying random potentials acting on $\ell^2(\mathbb{Z}^d)$. We also study the asymptotic of the largest and smallest eigenvalues of its finite volume approximation


title: The geometry of generalized Lame equation, III: One-to-one of the Riemann-Hilbert correspondence

abstract: In this paper, the third in a series, we continue to study the generalized Lam\'{e} equation H$(n_0,n_1,n_2,n_3;B)$ with the Darboux-Treibich-Verdier potential \begin{equation*} y^{\prime \prime }(z)=\bigg[ \sum_{k=0}^{3}n_{k}(n_{k}+1)\wp(z+\tfrac{ \omega_{k}}{2}|\tau)+B\bigg] y(z),\quad n_{k}\in \mathbb{Z}_{\geq0} \end{equation*} and a related linear ODE with additional singularities $\pm p$ from the monodromy aspect.We establish the uniqueness of these ODEs with respect to the global monodromy data. Surprisingly, our result shows that the Riemann-Hilbert correspondence from the set \[\{\text{H}(n_0,n_1,n_2,n_3;B)|B\in\mathbb{C}\}\cup \{\text{H}(n_0+2,n_1,n_2,n_3;B) | B\in\mathbb{C}\}\] to the set of group representations $\rho:\pi_1(E_{\tau})\to SL(2,\mathbb{C})$ is one-to-one. We emphasize that this result is not trivial at all. There is an example that for $\tau=\frac12+i\frac{\sqrt{3}}{2}$, there are $B_1,B_2$ such that the monodromy representations of H$(1,0,0,0;B_1)$ and H$(4,0,0,0;B_2)$ are {\bf the same}, namely the Riemann-Hilbert correspondence from the set \[\{\text{H}(n_0,n_1,n_2,n_3;B)|B\in\mathbb{C}\}\cup \{\text{H}(n_0+3,n_1,n_2,n_3;B) | B\in\mathbb{C}\}\] to the set of group representations is {\bf not} necessarily one-to-one. This example shows that our result is completely different from the classical one concerning linear ODEs defined on $\mathbb{CP}^1$ with finite singularities.


title: Application of LSTM architectures for next frame forecasting in Sentinel-1 images time series

abstract: L'analyse pr{\'e}dictive permet d'estimer les tendances des {\'e}v{\`e}nements futurs. De nos jours, les algorithmes Deep Learning permettent de faire de bonnes pr{\'e}dictions. Cependant, pour chaque type de probl{\`e}me donn{\'e}, il est n{\'e}cessaire de choisir l'architecture optimale. Dans cet article, les mod{\`e}les Stack-LSTM, CNN-LSTM et ConvLSTM sont appliqu{\'e}s {\`a} une s{\'e}rie temporelle d'images radar sentinel-1, le but {\'e}tant de pr{\'e}dire la prochaine occurrence dans une s{\'e}quence. Les r{\'e}sultats exp{\'e}rimentaux {\'e}valu{\'e}s {\`a} l'aide des indicateurs de performance tels que le RMSE et le MAE, le temps de traitement et l'index de similarit{\'e} SSIM, montrent que chacune des trois architectures peut produire de bons r{\'e}sultats en fonction des param{\`e}tres utilis{\'e}s.


title: Retaining Image Feature Matching Performance Under Low Light Conditions

abstract: Poor image quality in low light images may result in a reduced number of feature matching between images. In this paper, we investigate the performance of feature extraction algorithms in low light environments. To find an optimal setting to retain feature matching performance in low light images, we look into the effect of changing feature acceptance threshold for feature detector and adding pre-processing in the form of Low Light Image Enhancement (LLIE) prior to feature detection. We observe that even in low light images, feature matching using traditional hand-crafted feature detectors still performs reasonably well by lowering the threshold parameter. We also show that applying Low Light Image Enhancement (LLIE) algorithms can improve feature matching even more when paired with the right feature extraction algorithm.


title: Exact square coloring of subcubic planar graphs

abstract: We study the exact square chromatic number of subcubic planar graphs. An exact square coloring of a graph G is a vertex-coloring in which any two vertices at distance exactly 2 receive distinct colors. The smallest number of colors used in such a coloring of G is its exact square chromatic number, denoted $\chi^{\sharp 2}(G)$. This notion is related to other types of distance-based colorings, as well as to injective coloring. Indeed, for triangle-free graphs, exact square coloring and injective coloring coincide. We prove tight bounds on special subclasses of planar graphs: subcubic bipartite planar graphs and subcubic K 4-minor-free graphs have exact square chromatic number at most 4. We then turn our attention to the class of fullerene graphs, which are cubic planar graphs with face sizes 5 and 6. We characterize fullerene graphs with exact square chromatic number 3. Furthermore, supporting a conjecture of Chen, Hahn, Raspaud and Wang (that all subcubic planar graphs are injectively 5-colorable) we prove that any induced subgraph of a fullerene graph has exact square chromatic number at most 5. This is done by first proving that a minimum counterexample has to be on at most 80 vertices and then computationally verifying the claim for all such graphs.


title: Homotopy techniques for solving sparse column support determinantal polynomial systems

abstract: Let $\mathbf{K}$ be a field of characteristic zero with $\overline{\mathbf{K}}$ its algebraic closure. Given a sequence of polynomials $\mathbf{g} = (g_1, \ldots, g_s) \in \mathbf{K}[x_1, \ldots , x_n]^s$ and a polynomial matrix $\mathbf{F} = [f_{i,j}] \in \mathbf{K}[x_1, \ldots, x_n]^{p \times q}$, with $p \leq q$, we are interested in determining the isolated points of $V_p(\mathbf{F},\mathbf{g})$, the algebraic set of points in $\overline{\mathbf{K}}$ at which all polynomials in $\mathbf{g}$ and all $p$-minors of $\mathbf{F}$ vanish, under the assumption $n = q - p + s + 1$. Such polynomial systems arise in a variety of applications including for example polynomial optimization and computational geometry. We design a randomized sparse homotopy algorithm for computing the isolated points in $V_p(\mathbf{F},\mathbf{g})$ which takes advantage of the determinantal structure of the system defining $V_p(\mathbf{F}, \mathbf{g})$. Its complexity is polynomial in the maximum number of isolated solutions to such systems sharing the same sparsity pattern and in some combinatorial quantities attached to the structure of such systems. It is the first algorithm which takes advantage both on the determinantal structure and sparsity of input polynomials. We also derive complexity bounds for the particular but important case where $\mathbf{g}$ and the columns of $\mathbf{F}$ satisfy weighted degree constraints. Such systems arise naturally in the computation of critical points of maps restricted to algebraic sets when both are invariant by the action of the symmetric group.


title: Online system identification in a Duffing oscillator by free energy minimisation

abstract: Online system identification is the estimation of parameters of a dynamical system, such as mass or friction coefficients, for each measurement of the input and output signals. Here, the nonlinear stochastic differential equation of a Duffing oscillator is cast to a generative model and dynamical parameters are inferred using variational message passing on a factor graph of the model. The approach is validated with an experiment on data from an electronic implementation of a Duffing oscillator. The proposed inference procedure performs as well as offline prediction error minimisation in a state-of-the-art nonlinear model.


title: Next step in gravity and cosmology: fundamental theory or data-driven models?

abstract: We comment on the difference between bottom-up (i.e., data-driven, ad hoc) and top-down (i.e., derived from a fundamental theory of gravitational interactions) cosmological models, their respective status, predictive power and viability. We fuel the debate on whether present and future research on theoretical models of inflation, dark energy and gravitational waves should concentrate on bottom-up models such as $f(R)$, Horndeski or DHOST theories or on cosmological models of quantum gravity.


title: Computing critical points for invariant algebraic systems

abstract: Let $\mathbf{K}$ be a field and $\phi$, $\mathbf{f} = (f_1, \ldots, f_s)$ in $\mathbf{K}[x_1, \dots, x_n]$ be multivariate polynomials (with $s < n$) invariant under the action of $\mathcal{S}_n$, the group of permutations of $\{1, \dots, n\}$. We consider the problem of computing the points at which $\mathbf{f}$ vanish and the Jacobian matrix associated to $\mathbf{f}, \phi$ is rank deficient provided that this set is finite. We exploit the invariance properties of the input to split the solution space according to the orbits of $\mathcal{S}_n$. This allows us to design an algorithm which gives a triangular description of the solution space and which runs in time polynomial in $d^s$, ${{n+d}\choose{d}}$ and $\binom{n}{s+1}$ where $d$ is the maximum degree of the input polynomials. When $d,s$ are fixed, this is polynomial in $n$ while when $s$ is fixed and $d \simeq n$ this yields an exponential speed-up with respect to the usual polynomial system solving algorithms.


title: Universal Inference with Composite Likelihoods

abstract: Wasserman et al. (2020, PNAS, vol. 117, pp. 16880-16890) constructed estimator agnostic and finite-sample valid confidence sets and hypothesis tests, using split-data likelihood ratio-based statistics. We demonstrate that the same approach extends to the use of split-data composite likelihood ratios as well, and thus establish universal methods for conducting multivariate inference when the data generating process is only known up to marginal and conditional relationships between the coordinates. Always-valid sequential inference is also considered.


title: Topological Properties of Bulk and Bilayer 2M WS$_2$: A First-Principles Study

abstract: Recently discovered 2M phase of bulk WS$_2$ was observed to exhibit superconductivity with a critical temperature of 8.8 K, the highest reported among superconducting transition metal dichalcogenides. Also predicted to support protected surface states, it could be a potential topological superconductor. In the present study, we perform a detailed first-principles analysis of bulk and bilayer 2M WS$_2$. We report a comprehensive investigation of the bulk phase, comparing structural and electronic properties obtained from different exchange correlation functionals to the experimentally reported values. By calculation of the $Z_2$ invariant and surface states, we give support for its non-trivial band nature. Based on the insights gained from the analysis of the bulk phase, we predict bilayer 2M WS$_2$ as a new two-dimensional topological material. We demonstrate its dynamical stability from first-principles phonon computations and present its electronic properties, highlighting the band inversions between the W $d$ and S $p$ states. By means of $Z_2$ invariant computations and a calculation of the edge states, we show that bilayer 2M WS$_2$ exhibits protected, robust edge states. The broken inversion symmetry in this newly proposed bilayer also leads to the presence of Berry curvature dipole and resulting non-linear responses. We compute the Berry curvature distribution and the dipole as a function of Fermi energy. We propose that BCD signals, which are absent in the centrosymmetric bulk 2M WS$_2$, can be signatures of the bilayer. We hope our predictions lead to the experimental realization of this as-yet-undiscovered two-dimensional topological material.


title: Floquet Engineering of Multifold Fermions

abstract: Using Floquet theory, we investigate the effect of light on triple fold fermions. We study a low energy model as well as a simplified tight binding model under illumination. We find that the three fold degeneracy remains symmetry protected even after applying light if the original band structure is rotationally symmetric around the degeneracy. Otherwise, light can lift the degeneracy and open up a gap. We further investigate the effect of light on the topological Fermi arcs by means of numerical computations. The changes caused by illumination are reflected in experimentally detectable signatures, such as the anomalous Hall conductivity, which we calculate.


title: Self-consistent approach for measuring the energy spectra and composition of cosmic rays and determining the properties of hadronic interactions at high energy

abstract: Air showers, produced by the interaction of energetic cosmic rays with the atmosphere, are an excellent alternative to study particle physics at energies beyond any human-made particle accelerator. For that, it is necessary to identify first the mass composition of the primary cosmic ray (and its energy). None of the existing high energy interaction models have been able to reproduce coherently all air shower observables over the entire energy and zenith angle phase space. This is despite having tried all possible combinations for the cosmic ray mass composition. This proposal outlines a self-consistent strategy to study high energy particle interactions and identify the energy spectra and mass composition of cosmic rays. This strategy involves the participation of different particle accelerators and astrophysics experiments. This is important to cover the entire cosmic ray energy range and a larger phase-space of shower observables to probe the high energy interaction models.