title: Magnetic order, disorder, and excitations under pressure in the Mott insulator Sr$_2$IrO$_4$

abstract: Protected by the interplay of on-site Coulomb interactions and spin-orbit coupling, Sr$_2$IrO$_4$ at high pressure is a rare example of a Mott insulator with a paramagnetic ground state. Here, using optical Raman scattering, we measure both the phonon and magnon evolution in Sr$_2$IrO$_4$ under pressure, and identify three different magnetically-ordered phases, culminating in a spin-disordered state beyond 18 GPa. A strong first-order structural phase transition drives the magnetic evolution at $\sim$10 GPa with reduced structural anisotropy in the IrO$_6$ cages, leading to increasingly isotropic exchange interactions between the Heisenberg spins and a spin-flip transition to $c$-axis-aligned antiferromagnetic order. In the disordered phase of Heisenberg $J_\mathrm{eff}=1/2$ pseudospins, the spin excitations are quasi-elastic and continuous to 10 meV, potentially hosting a gapless quantum spin liquid in Sr$_2$IrO$_4$.


title: Text Counterfactuals via Latent Optimization and Shapley-Guided Search

abstract: We study the problem of generating counterfactual text for a classifier as a means for understanding and debugging classification. Given a textual input and a classification model, we aim to minimally alter the text to change the model's prediction. White-box approaches have been successfully applied to similar problems in vision where one can directly optimize the continuous input. Optimization-based approaches become difficult in the language domain due to the discrete nature of text. We bypass this issue by directly optimizing in the latent space and leveraging a language model to generate candidate modifications from optimized latent representations. We additionally use Shapley values to estimate the combinatoric effect of multiple changes. We then use these estimates to guide a beam search for the final counterfactual text. We achieve favorable performance compared to recent white-box and black-box baselines using human and automatic evaluations. Ablation studies show that both latent optimization and the use of Shapley values improve success rate and the quality of the generated counterfactuals.


title: DIML/CVL RGB-D Dataset: 2M RGB-D Images of Natural Indoor and Outdoor Scenes

abstract: This manual is intended to provide a detailed description of the DIML/CVL RGB-D dataset. This dataset is comprised of 2M color images and their corresponding depth maps from a great variety of natural indoor and outdoor scenes. The indoor dataset was constructed using the Microsoft Kinect v2, while the outdoor dataset was built using the stereo cameras (ZED stereo camera and built-in stereo camera). Table I summarizes the details of our dataset, including acquisition, processing, format, and toolbox. Refer to Section II and III for more details.


title: Model Inspired Autoencoder for Unsupervised Hyperspectral Image Super-Resolution

abstract: This paper focuses on hyperspectral image (HSI) super-resolution that aims to fuse a low-spatial-resolution HSI and a high-spatial-resolution multispectral image to form a high-spatial-resolution HSI (HR-HSI). Existing deep learning-based approaches are mostly supervised that rely on a large number of labeled training samples, which is unrealistic. The commonly used model-based approaches are unsupervised and flexible but rely on hand-craft priors. Inspired by the specific properties of model, we make the first attempt to design a model inspired deep network for HSI super-resolution in an unsupervised manner. This approach consists of an implicit autoencoder network built on the target HR-HSI that treats each pixel as an individual sample. The nonnegative matrix factorization (NMF) of the target HR-HSI is integrated into the autoencoder network, where the two NMF parts, spectral and spatial matrices, are treated as decoder parameters and hidden outputs respectively. In the encoding stage, we present a pixel-wise fusion model to estimate hidden outputs directly, and then reformulate and unfold the model's algorithm to form the encoder network. With the specific architecture, the proposed network is similar to a manifold prior-based model, and can be trained patch by patch rather than the entire image. Moreover, we propose an additional unsupervised network to estimate the point spread function and spectral response function. Experimental results conducted on both synthetic and real datasets demonstrate the effectiveness of the proposed approach.


title: Learning Text-Image Joint Embedding for Efficient Cross-Modal Retrieval with Deep Feature Engineering

abstract: This paper introduces a two-phase deep feature engineering framework for efficient learning of semantics enhanced joint embedding, which clearly separates the deep feature engineering in data preprocessing from training the text-image joint embedding model. We use the Recipe1M dataset for the technical description and empirical validation. In preprocessing, we perform deep feature engineering by combining deep feature engineering with semantic context features derived from raw text-image input data. We leverage LSTM to identify key terms, deep NLP models from the BERT family, TextRank, or TF-IDF to produce ranking scores for key terms before generating the vector representation for each key term by using word2vec. We leverage wideResNet50 and word2vec to extract and encode the image category semantics of food images to help semantic alignment of the learned recipe and image embeddings in the joint latent space. In joint embedding learning, we perform deep feature engineering by optimizing the batch-hard triplet loss function with soft-margin and double negative sampling, taking into account also the category-based alignment loss and discriminator-based alignment loss. Extensive experiments demonstrate that our SEJE approach with deep feature engineering significantly outperforms the state-of-the-art approaches.


title: Automatic Detection of Injection and Press Mold Parts on 2D Drawing Using Deep Neural Network

abstract: This paper proposes a method to automatically detect the key feature parts in a CAD of commercial TV and monitor using a deep neural network. We developed a deep learning pipeline that can detect the injection parts such as hook, boss, undercut and press parts such as DPS, Embo-Screwless, Embo-Burring, and EMBO in the 2D CAD drawing images. We first cropped the drawing to a specific size for the training efficiency of a deep neural network. Then, we use Cascade R-CNN to find the position of injection and press parts and use Resnet-50 to predict the orientation of the parts. Finally, we convert the position of the parts found through the cropped image to the position of the original image. As a result, we obtained detection accuracy of injection and press parts with 84.1% in AP (Average Precision), 91.2% in AR(Average Recall), 72.0% in AP, 87.0% in AR, and orientation accuracy of injection and press parts with 94.4% and 92.0%, which can facilitate the faster design in industrial product design.


title: A Meta Path Based Evaluation Method for Enterprise Credit Risk

abstract: Nowadays small and medium-sized enterprises have become an essential part of the national economy. With the increasing number of such enterprises, how to evaluate their credit risk becomes a hot issue. Unlike big enterprises with massive data to analyze, it is hard to find enough information of small enterprises to assess their financial status. Limited by the lack of primary data, how to inference small enterprises' credit risk from secondary data, like information of their upstream, downstream, parent, and subsidiary enterprises attracts big attention from industry and academy. Targeting on accurately evaluating the credit risk of the small and medium-sized enterprise (SME), in this paper, we exploit the representative power of Information Network on various kinds of SME entities and SME relationships to solve the problem. A novel feature named meta path feature proposed to measure the credit risk, which makes us able to evaluate the financial status of SMEs from various perspectives. Experiments show that our method is effective to identify SMEs with credit risks.


title: Kinematics of the molecular interstellar medium probed by Gaia: steep velocity dispersion-size relation, isotropic turbulence, and location-dependent energy dissipation

abstract: The evolution of the molecular interstellar medium is controlled by processes such as turbulence, gravity, stellar feedback, and Galactic shear. AL a part of the ISM-6D https://gxli.github.io/ISM-6D/ project, using Gaia astrometric measurements towards a sample of young stellar objects (YSOs), we study morphology and kinematic structure of the associated molecular gas. We identify 150 YSO associations with distance $d \lesssim 3 \;\rm kpc$. The YSO associations are elongated, with a median aspect ratio of 1.97, and are oriented parallel to the disk midplane, with a median angle of 30$^{\circ}$. The turbulence in the molecular clouds as probed by the YSOs is isotropic, and the velocity dispersions are related to the sizes by $\sigma_{v,{\rm 2D}} = 0.74\;(r/{\rm pc})^{0.67} \;({\rm km/s})\;$. The slope is on the steeper side, yet consistent with previous measurements. The energy dissipation rate of turbulence $\dot{\epsilon} = \sigma_{v,{\rm 3D}}^3 /L$ decreases with the Galactocentric distance, with a gradient of 0.2 $\rm dex \; kpc^{-1}$, which can be explained if turbulence is driven by cloud collisions. In this scenario, the clouds located in the inner Galaxy have higher chances to accrete smaller clouds and are more turbulent. Although the density structures of the complexes are anisotropic, the turbulence is consistent with being isotropic. If the alignment between density structures and the Galactic-disk mid-plane is due to shear, we expect $t_{\rm cloud} \gtrsim t_{\rm shear}\approx 30\; \rm Myr$. This cloud lifetime is longer than the turbulence crossing time, and a continuous energy injection is required to maintain the turbulence.


title: Simple product and locally o-minimal theories

abstract: There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals $(\mathbb R\;;\;0,+,<)$. We construct these examples using the notion of simple product.


title: ProtoShotXAI: Using Prototypical Few-Shot Architecture for Explainable AI

abstract: Unexplainable black-box models create scenarios where anomalies cause deleterious responses, thus creating unacceptable risks. These risks have motivated the field of eXplainable Artificial Intelligence (XAI) to improve trust by evaluating local interpretability in black-box neural networks. Unfortunately, the ground truth is unavailable for the model's decision, so evaluation is limited to qualitative assessment. Further, interpretability may lead to inaccurate conclusions about the model or a false sense of trust. We propose to improve XAI from the vantage point of the user's trust by exploring a black-box model's latent feature space. We present an approach, ProtoShotXAI, that uses a Prototypical few-shot network to explore the contrastive manifold between nonlinear features of different classes. A user explores the manifold by perturbing the input features of a query sample and recording the response for a subset of exemplars from any class. Our approach is the first locally interpretable XAI model that can be extended to, and demonstrated on, few-shot networks. We compare ProtoShotXAI to the state-of-the-art XAI approaches on MNIST, Omniglot, and ImageNet to demonstrate, both quantitatively and qualitatively, that ProtoShotXAI provides more flexibility for model exploration. Finally, ProtoShotXAI also demonstrates novel explainabilty and detectabilty on adversarial samples.


title: A Method To Characterize the Wide-Angle Point Spread Function of Astronomical Images

abstract: Uncertainty in the wide-angle Point Spread Function (PSF) at large angles (tens of arcseconds and beyond) is one of the dominant sources of error in a number of important quantities in observational astronomy. Examples include the stellar mass and shape of galactic halos and the maximum extent of starlight in the disks of nearby galaxies. However, modeling the wide-angle PSF has long been a challenge in astronomical imaging. In this paper, we present a self-consistent method to model the wide-angle PSF in images. Scattered light from multiple bright stars is fitted simultaneously with a background model to characterize the extended wing of the PSF using a Bayesian framework operating on pixel-by-pixel level. The method is demonstrated using our software elderflower and is applied to data from the Dragonfly Telephoto Array to model its PSF out to 20-25 arcminutes. We compare the wide-angle PSF of Dragonfly to that of a number of other telescopes, including the SDSS PSF, and show that on scales of arcminutes the scattered light in the Dragonfly PSF is markedly lower than that of other wide-field imaging telescopes. The energy in the wings of the Dragonfly point-spread function is sufficiently low that optical cleanliness plays an important role in defining the PSF. This component of the PSF can be modelled accurately, highlighting the power of our self-contained approach.


title: High Fidelity 3D Reconstructions with Limited Physical Views

abstract: Multi-view triangulation is the gold standard for 3D reconstruction from 2D correspondences given known calibration and sufficient views. However in practice, expensive multi-view setups -- involving tens sometimes hundreds of cameras -- are required in order to obtain the high fidelity 3D reconstructions necessary for many modern applications. In this paper we present a novel approach that leverages recent advances in 2D-3D lifting using neural shape priors while also enforcing multi-view equivariance. We show how our method can achieve comparable fidelity to expensive calibrated multi-view rigs using a limited (2-3) number of uncalibrated camera views.


title: Two analytic relations connecting the hot gas astrophysics with the cold dark matter model for galaxy clusters

abstract: Galaxy clusters are good targets for examining our understanding of cosmology. Apart from numerical simulations and gravitational lensing, X-ray observation is the most common and conventional way to analyze the gravitational structures of galaxy clusters. Therefore, it is valuable to have simple analytical relations that can connect the observed distribution of the hot, X-ray emitting gas to the structure of the dark matter in the clusters as derived from simulations. In this article, we apply a simple framework that can analytically connect the hot gas empirical parameters with the standard parameters in the cosmological cold dark matter model. We have theoretically derived two important analytic relations, $r_s \approx \sqrt{3}r_c$ and $\rho_s \approx 9\beta kT/8 \pi Gm_gr_c^2$, which can easily relate the dark matter properties in galaxy clusters with the hot gas properties. This can give a consistent picture describing gravitational astrophysics for galaxy clusters by the hot gas and cold dark matter models.


title: Multimodal Semi-Supervised Learning for 3D Objects

abstract: In recent years, semi-supervised learning has been widely explored and shows excellent data efficiency for 2D data. There is an emerging need to improve data efficiency for 3D tasks due to the scarcity of labeled 3D data. This paper explores how the coherence of different modelities of 3D data (e.g. point cloud, image, and mesh) can be used to improve data efficiency for both 3D classification and retrieval tasks. We propose a novel multimodal semi-supervised learning framework by introducing instance-level consistency constraint and a novel multimodal contrastive prototype (M2CP) loss. The instance-level consistency enforces the network to generate consistent representations for multimodal data of the same object regardless of its modality. The M2CP maintains a multimodal prototype for each class and learns features with small intra-class variations by minimizing the feature distance of each object to its prototype while maximizing the distance to the others. Our proposed framework significantly outperforms all the state-of-the-art counterparts for both classification and retrieval tasks by a large margin on the modelNet10 and ModelNet40 datasets.


title: An O(1) algorithm for implementing the LFU cache eviction scheme

abstract: Cache eviction algorithms are used widely in operating systems, databases and other systems that use caches to speed up execution by caching data that is used by the application. There are many policies such as MRU (Most Recently Used), MFU (Most Frequently Used), LRU (Least Recently Used) and LFU (Least Frequently Used) which each have their advantages and drawbacks and are hence used in specific scenarios. By far, the most widely used algorithm is LRU, both for its $O(1)$ speed of operation as well as its close resemblance to the kind of behaviour that is expected by most applications. The LFU algorithm also has behaviour desirable by many real world workloads. However, in many places, the LRU algorithm is is preferred over the LFU algorithm because of its lower run time complexity of $O(1)$ versus $O(\log n)$. We present here an LFU cache eviction algorithm that has a runtime complexity of $O(1)$ for all of its operations, which include insertion, access and deletion(eviction).


title: ReCFA: Resilient Control-Flow Attestation

abstract: Recent IoT applications gradually adapt more complicated end systems with commodity software. Ensuring the runtime integrity of these software is a challenging task for the remote controller or cloud services. Popular enforcement is the runtime remote attestation which requires the end system (prover) to generate evidence for its runtime behavior and a remote trusted verifier to attest the evidence. Control-flow attestation is a kind of runtime attestation that provides diagnoses towards the remote control-flow hijacking at the prover. Most of these attestation approaches focus on small or embedded software. The recent advance to attesting complicated software depends on the source code and CFG traversing to measure the checkpoint-separated subpaths, which may be unavailable for commodity software and cause possible context missing between consecutive subpaths in the measurements. In this work, we propose a resilient control-flow attestation (ReCFA), which does not need the offline measurement of all legitimate control-flow paths, thus scalable to be used on complicated commodity software. Our main contribution is a multi-phase approach to condensing the runtime control-flow events; as a result, the vast amount of control-flow events are abstracted into a deliverable size. The condensing approach consists of filtering skippable call sites, folding program-structure related control-flow events, and a greedy compression. Our approach is implemented with binary-level static analysis and instrumentation. We employ a shadow stack mechanism at the verifier to enforce context-sensitive control-flow integrity and diagnose the compromised control-flow events violating the security policy. The experimental results on real-world benchmarks show both the efficiency of the control-flow condensing and the effectiveness of security enforcement.


title: Truly chiral phonons in {\alpha}-HgS

abstract: Chirality is a manifestation of the asymmetry inherent in nature. It has been defined as the symmetry breaking of the parity of static objects, and the definition was extended to dynamic motion such that true and false chiralities were distinguished. Recently, rotating, yet not propagating, atomic motions were predicted and observed in two-dimensional materials, and they were referred to as "chiral phonons" . A natural development would be the discovery of truly chiral phonons that propagate while rotating in three-dimensional materials. Here, we used circularly polarised Raman scattering and first-principles calculations to identify truly chiral phonons in chiral bulk crystals. This approach enabled us to determine the chirality of a crystal in a non-contact and non-destructive manner. In addition, we demonstrated that the law of the conservation of pseudo-angular momentum holds between circularly polarised photons and chiral phonons. These findings are expected to help develop ways for transferring the pseudo-angular momentum from photons to electron spins via the propagating chiral phonons in opto-phononic-spintronic devices.


title: Kekule Lattice in Graphdiyne: Coexistence of Phononic and Electronic Higher-Order Band Topology

abstract: The topological physics has been extensively studied in different kinds of bosonic and fermionic systems, ranging from artificial structures to natural materials. However, the coexistence of topological phonon and electron in one single material is seldom reported. Recently, graphdiyne is proposed to be a two-dimensional (2D) electronic second-order topological insulator (SOTI). In this work, based on density-functional tight-binding calculations, we found that graphdiyne is equivalent to the Kekule lattice, also realizing a 2D phononic SOTI in both out-of-plane and in-plane modes. Depending on edge terminations, the characterized topological corner states can be either inside or outside the bulk gap, which are tunable by local corner potential. Most remarkably, a unique selectivity of space and symmetry is revealed in electron-phonon coupling between the localized phononic and electronic topological corner states. Our results not only demonstrate the phononic higher-order band topology in a real carbon material, but also provide an opportunity to investigate the interplay between phononic and electronic higher-order topological states.


title: Jet substructure measurements with ALICE

abstract: A selection of new jet substructure measurements are reported from the ALICE experiment at the CERN LHC in both proton-proton and heavy-ion collisions. These include the first fully corrected inclusive measurements of the groomed jet momentum fraction and the groomed jet radius, as well as the $N$-subjettiness distribution and the fragmentation distribution of reclustered subjets. We also report on the measurement of several groomed substructure observables of heavy-flavor jets in pp collisions, fragmentation functions and the new measurements of the radial distributions of D$^0$ mesons or $\Lambda^+_c$ baryons in jets. The measurements are compared to theoretical calculations and provide new constraints on the physics underlying parton fragmentation and jet quenching.


title: The Origin of Radio Emission in Black Hole X-ray Binaries

abstract: We studied the relation of accretion-jet power and disk luminosity, especially the jet efficiencies and disk radiative efficiencies for different accretion disks as well as black hole (BH) spin, in order to explore the origin of radio emission in black hole X-ray binaries (BHXBs). We found that jet efficiency increases more rapidly (efficient) than the nearly constant disk radiative efficiency for thin disk component in high accretion regime, which could account for the steep track ($\mu>1$) in the observed radio and X-ray luminosity relations ($L_{\rm R}\propto L_{\rm X}^{\mu}$), but the thin disk component may not be able to explain the standard track ($\mu\approx 0.6$) in the BHXBs. For hot accretion flows (HAF), the resulting jet efficiency changes along with the large range of accretions from quiescent state to nearly Eddington state, which could account for the standard track in the BHXBs. The BH spin-jet is discussed for the magnetic arrested disk (MAD) state; in this state, the spin-jet power might contribute to a linear correlation between jet power and mass accretion rate for a given source. More accurate observations are required to test the results.


title: Multi-Stream Attention Learning for Monocular Vehicle Velocity and Inter-Vehicle Distance Estimation

abstract: Vehicle velocity and inter-vehicle distance estimation are essential for ADAS (Advanced driver-assistance systems) and autonomous vehicles. To save the cost of expensive ranging sensors, recent studies focus on using a low-cost monocular camera to perceive the environment around the vehicle in a data-driven fashion. Existing approaches treat each vehicle independently for perception and cause inconsistent estimation. Furthermore, important information like context and spatial relation in 2D object detection is often neglected in the velocity estimation pipeline. In this paper, we explore the relationship between vehicles of the same frame with a global-relative-constraint (GLC) loss to encourage consistent estimation. A novel multi-stream attention network (MSANet) is proposed to extract different aspects of features, e.g., spatial and contextual features, for joint vehicle velocity and inter-vehicle distance estimation. Experiments show the effectiveness and robustness of our proposed approach. MSANet outperforms state-of-the-art algorithms on both the KITTI dataset and TuSimple velocity dataset.


title: Molecular dynamics simulation of thermal transport across solid/liquid interface created by meniscus

abstract: Understandings heat transfer across a solid/liquid interface is important to develop new pathways to improve thermal management in various energy applications. One of the important questions that arises in this context is the impact of three-phase contact line between solid, liquid and gas on the perturbations of the heat fluxes at the nanoscale. Therefore, this paper is devoted to the investigations of features of thermal transport across nanosized meniscus constrained between two solid walls. Different wetting states of the meniscus were considered with molecular dynamics approach by the variation of the interactional potential between atoms of the substrate and the liquid. The effect of the size of the meniscus on the exchange of energy between two solid walls was also investigated. It was shown that the presence of a three phase contact line leads to a decrease of the interfacial boundary resistance between solid and liquid. Further, investigations with the finite element method were used to link atomistic simulations with the continuum mechanics. We demonstrate that the wetting angle and the interfacial boundary resistance are the required key-parameters to perform multiscale simulations of such engineering problems with an accurate microscale parametrization.


title: Stellar populations of galaxies in the LAMOST spectral survey

abstract: We firstly derive the stellar population properties: age and metallicity for $\sim$ 43,000 low redshift galaxies in the seventh data release (DR7) of the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) survey, which have no spectroscopic observations in the Sloan Digital Sky Survey(SDSS). We employ a fitting procedure based on the small-scale features of galaxy spectra so as to avoid possible biases from the uncertain flux calibration of the LAMOST spectroscopy. We show that our algorithm can successfully recover the average age and metallicity of the stellar populations of galaxies down to signal-to-noise$\geq$5 through testing on both mock galaxies and real galaxies comprising LAMOST and their SDSS counterparts. We provide a catalogue of the age and metallicity for $\sim$ 43,000 LAMOST galaxies online. As a demonstration of the scientific application of this catalogue, we present the Holmberg effect on both age and metallicity of a sample of galaxies in galaxy pairs.


title: Error-correcting neural networks for semi-Lagrangian advection in the level-set method

abstract: We present a machine learning framework that blends image super-resolution technologies with passive, scalar transport in the level-set method. Here, we investigate whether we can compute on-the-fly, data-driven corrections to minimize numerical viscosity in the coarse-mesh evolution of an interface. The proposed system's starting point is the semi-Lagrangian formulation. And, to reduce numerical dissipation, we introduce an error-quantifying multilayer perceptron. The role of this neural network is to improve the numerically estimated surface trajectory. To do so, it processes localized level-set, velocity, and positional data in a single time frame for select vertices near the moving front. Our main contribution is thus a novel machine-learning-augmented transport algorithm that operates alongside selective redistancing and alternates with conventional advection to keep the adjusted interface trajectory smooth. Consequently, our procedure is more efficient than full-scan convolutional-based applications because it concentrates computational effort only around the free boundary. Also, we show through various tests that our strategy is effective at counteracting both numerical diffusion and mass loss. In simple advection problems, for example, our method can achieve the same precision as the baseline scheme at twice the resolution but at a fraction of the cost. Similarly, our hybrid technique can produce feasible solidification fronts for crystallization processes. On the other hand, tangential shear flows and highly deforming simulations can precipitate bias artifacts and inference deterioration. Likewise, stringent design velocity constraints can limit our solver's application to problems involving rapid interface changes. In the latter cases, we have identified several opportunities to enhance robustness without forgoing our approach's basic concept.


title: On lattice isomorphisms of orthodox semigroups

abstract: Two semigroups are lattice isomorphic if the lattices of their subsemigroups are isomorphic, and a class of semigroups is lattice closed if it contains every semigroup which is lattice isomorphic to some semigroup from that class. An orthodox semigroup is a regular semigroup whose idempotents form a subsemigroup. We prove that the class of all orthodox semigroups in which every nonidempotent element has infinite order is lattice closed.


title: Pairwise Reachability Oracles and Preservers under Failures

abstract: In this paper, we consider reachability oracles and reachability preservers for directed graphs/networks prone to edge/node failures. Let $G = (V, E)$ be a directed graph on $n$-nodes, and $P\subseteq V\times V$ be a set of vertex pairs in $G$. We present the first non-trivial constructions of single and dual fault-tolerant pairwise reachability oracle with constant query time. Furthermore, we provide extremal bounds for sparse fault-tolerant reachability preservers, resilient to two or more failures. Prior to this work, such oracles and reachability preservers were widely studied for the special scenario of single-source and all-pairs settings. However, for the scenario of arbitrary pairs, no prior (non-trivial) results were known for dual (or more) failures, except those implied from the single-source setting. One of the main questions is whether it is possible to beat the $O(n |P|)$ size bound (derived from the single-source setting) for reachability oracle and preserver for dual failures (or $O(2^k n|P|)$ bound for $k$ failures). We answer this question affirmatively.


title: Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals

abstract: Combining creature forcing approaches from arXiv:1003.3425 and arXiv:1402.0367, we show that, under CH, there is a proper $\omega^\omega$-bounding poset with $\aleph_2$-cc that forces continuum many pairwise different cardinal characteristics, parametrised by reals, for each one of the following six types: uniformity and covering numbers of Yorioka ideals as well as both kinds of localisation and anti-localisation cardinals, respectively. This answers several open questions from arXiv:1805.11005.


title: Reanalysis of c-type RR Lyrae Variable BE Dor, Period Modulations and Possible Mechanism

abstract: We reanalyzed the c-type RR Lyrae star BE Dor (MACHO 5.4644.8, OGLE-LMC-RRLYR-06002) that had been discovered to show cyclic period changes. The photometric data of several sky surveys (DASCH, MACHO, OGLE, ASAS-SN, and TESS) were used for analyses. The O-C diagram and pulsation period obtained from Fourier analysis show significant period modulations in BE Dor. However, different from the previous viewpoint, the changes are quasi-periodic and abrupt. Therefore, the light-travel time effect caused by the companion motion cannot explain the changes. Noting a same subtype star KIC 9453114 with similar phenomena has a high macroturbulent velocity, and the degree of O-C changes seem to be positively correlated with these velocities, we consider that the mechanism leading to period modulation should be caused by the interaction between turbulent convection and magnetic field activity in the ionization zone, i.e., the viewpoint of Stothers. It may not explain the general Blazhko effect but should explain such period modulations in BE Dor and those other c-type RR Lyrae stars. We hope our discoveries and viewpoints can provide some information and inspiration for relevant research.


title: Compressed Geometric Arrays for Point Cloud Processing

abstract: The ever-increasing demand for 3D modeling in the emerging immersive applications has made point clouds an essential class of data for 3D image and video processing. Tree based structures are commonly used for representing point clouds where pointers are used to realize the connection between nodes. Tree-based structures significantly suffer from irregular access patterns for large point clouds. Memory access indirection in such structures is disruptive to bandwidth efficiency and performance. In this paper, we propose a point cloud representation format based on compressed geometric arrays (CGA). Then, we examine new methods for point cloud processing based on CGA. The proposed format enables a higher bandwidth efficiency via eliminating memory access indirections (i.e., pointer chasing at the nodes of tree) thereby improving the efficiency of point cloud processing. Our experimental results show that using CGA for point cloud operations achieves 1328x speed up, 1321x better bandwidth utilization, and 54% reduction in the volume of transferred data as compared to the state-of-the-art tree-based format from point cloud library (PCL).


title: The Alon-Tarsi number of Halin graphs

abstract: The Alon-Tarsi number of a graph $G$ is the smallest $k$ for which there is an orientation $D$ of $G$ with max outdegree $k-1$ such that the number of Eulerian subgraphs of $G$ with an even number of edges differs from the number of Eulerian subgraphs with an odd number of edges. In this paper, we obtain the Alon-Tarsi number of a Halin graph equals 4 when it is a wheel of even order and 3 otherwise.


title: Intelligent metaphotonics empowered by machine learning

abstract: In the recent years, we observe a dramatic boost of research in photonics empowered by the concepts of machine learning and artificial intelligence. The corresponding photonic systems, to which this new methodology is applied, can range from traditional optical waveguides to nanoantennas and metasurfaces, and these novel approaches underpin the fundamental principles of light-matter interaction developed for a smart design of intelligent photonic devices. Concepts and approaches of artificial intelligence and machine learning penetrate rapidly into the fundamental physics of light, and they provide effective tools for the study of the field of metaphotonics driven by optically-induced electric and magnetic resonances. Here, we introduce this new field with its application to metaphotonics and also present a summary of the basic concepts of machine learning with some specific examples developed and demonstrated for metasystems and metasurfaces.


title: DistFL: Distribution-aware Federated Learning for Mobile Scenarios

abstract: Federated learning (FL) has emerged as an effective solution to decentralized and privacy-preserving machine learning for mobile clients. While traditional FL has demonstrated its superiority, it ignores the non-iid (independently identically distributed) situation, which widely exists in mobile scenarios. Failing to handle non-iid situations could cause problems such as performance decreasing and possible attacks. Previous studies focus on the "symptoms" directly, as they try to improve the accuracy or detect possible attacks by adding extra steps to conventional FL models. However, previous techniques overlook the root causes for the "symptoms": blindly aggregating models with the non-iid distributions. In this paper, we try to fundamentally address the issue by decomposing the overall non-iid situation into several iid clusters and conducting aggregation in each cluster. Specifically, we propose \textbf{DistFL}, a novel framework to achieve automated and accurate \textbf{Dist}ribution-aware \textbf{F}ederated \textbf{L}earning in a cost-efficient way. DistFL achieves clustering via extracting and comparing the \textit{distribution knowledge} from the uploaded models. With this framework, we are able to generate multiple personalized models with distinctive distributions and assign them to the corresponding clients. Extensive experiments on mobile scenarios with popular model architectures have demonstrated the effectiveness of DistFL.


title: Molecular Clump Extraction Algorithm Based on Local Density Clustering

abstract: The detection and parametrization of molecular clumps is the first step in studying them. We propose a method based on Local Density Clustering algorithm while physical parameters of those clumps are measured using the Multiple Gaussian Model algorithm. One advantage of applying the Local Density Clustering to the clump detection and segmentation, is the high accuracy under different signal-to-noise levels. The Multiple Gaussian Model is able to deal with overlapping clumps whose parameters can be derived reliably. Using simulation and synthetic data, we have verified that the proposed algorithm could characterize the morphology and flux of molecular clumps accurately. The total flux recovery rate in $^{13}\rm CO$ (J=1-0) line of M16 is measured as 90.2\%. The detection rate and the completeness limit are 81.7\% and 20 K km s$ ^{-1} $ in $^{13}\rm CO$ (J=1-0) line of M16, respectively.


title: Comment on "New physics constraints from atomic parity violation in 133-Cs"

abstract: In a recent Letter [B. K. Sahoo, B. P. Das, and H. Spiesberger, Phys. Rev. D 103, L111303 (2021)], a calculation of the parity violating 6S-7S E1 amplitude in Cs is reported, claiming an uncertainty of just 0.3%. In this Comment, we point out that key contributions have been omitted, and the theoretical uncertainty has been significantly underestimated. In particular, the contribution of missed QED radiative corrections amounts to several times the claimed uncertainty.


title: Self-interacting dark matter from late decays and the $H_0$ tension

abstract: We investigate a mechanism for the production of self-interacting dark matter based on WIMP-like messenger state decays into dark matter and dark radiation occurring after recombination. Such a transition leads to a mild relaxation of the Hubble tension, and at the same time may resolve the small-scale structure problems of the $\Lambda$CDM. We illustrate this mechanism in the Higgs portal dark matter model, which we find to be a promising route.


title: Dg Loday-Pirashvili modules over Lie algebras

abstract: A Loday-Pirashvili module over a Lie algebra $\mathfrak{g}$ is a Lie algebra object $\bigl(G\xrightarrow{X} \mathfrak{g} \bigr)$ in the category of linear maps, or equivalently, a $\mathfrak{g}$-module $G$ which admits a $\mathfrak{g}$-equivariant linear map $X:G\to \mathfrak{g}$. In this note, we introduce the notion of dg Loday-Pirashvili modules over Lie algebras, which is a generalization of Loday-Pirashvili modules in a natural way, and establish several equivalent characterizations of dg Loday-Pirashvili modules. In short, a dg Loday-Pirashvili module is a non-negative and bounded dg $\mathfrak{g}$-module $V$ together with a weak morphism of dg $\mathfrak{g}$-modules $\alpha\colon V\rightsquigarrow \mathfrak{g}$. Such dg Loday-Pirashvili modules can be characterized through dg derivations, which in turn allows us to calculate the associated twisted Atiyah classes. By applying the Kapranov functor to the dg derivation arising from a dg Loday-Pirashvili module $(V,\alpha)$, we obtain a Leibniz$_\infty[1]$ algebra structure on $\wedge^\bullet \mathfrak{g}^\vee\otimes V[1]$ whose binary bracket is the twisted Atiyah cocycle. Finally, we apply this machinery to a natural type of dg Loday-Pirashvili modules stemming from Lie algebra pairs.


title: SciCap: Generating Captions for Scientific Figures

abstract: Researchers use figures to communicate rich, complex information in scientific papers. The captions of these figures are critical to conveying effective messages. However, low-quality figure captions commonly occur in scientific articles and may decrease understanding. In this paper, we propose an end-to-end neural framework to automatically generate informative, high-quality captions for scientific figures. To this end, we introduce SCICAP, a large-scale figure-caption dataset based on computer science arXiv papers published between 2010 and 2020. After pre-processing - including figure-type classification, sub-figure identification, text normalization, and caption text selection - SCICAP contained more than two million figures extracted from over 290,000 papers. We then established baseline models that caption graph plots, the dominant (19.2%) figure type. The experimental results showed both opportunities and steep challenges of generating captions for scientific figures.


title: SIR Epidemics With State-Dependent Costs and ICU Constraints: A Hamilton-Jacobi Verification Argument and Dual LP Algorithms

abstract: The aim of this paper is twofold. On one hand, we strive to give a simpler proof of the optimality of greedy controls when the cost of interventions is control-affine and the dynamics follow a state-constrained controlled SIR model. This is achieved using the Hamilton-Jacobi characterization of the value function, via the verification argument and explicit trajectorybased computations. Aside from providing an alternative to the Pontryagin complex arguments in [5], this method allows one to consider more general classes of costs; in particular statedependent ones. On the other hand, the paper is completed by linear programming methods allowing to deal with possibly discontinuous costs. In particular, we propose a brief exposition of classes of linearized dynamic programming principles based on our previous work and ensuing dual linear programming algorithms. We emphasize the particularities of our state space and possible generations of forward scenarios using the description of reachable sets.


title: Rethinking Generalization Performance of Surgical Phase Recognition with Expert-Generated Annotations

abstract: As the area of application of deep neural networks expands to areas requiring expertise, e.g., in medicine and law, more exquisite annotation processes for expert knowledge training are required. In particular, it is difficult to guarantee generalization performance in the clinical field in the case of expert knowledge training where opinions may differ even among experts on annotations. To raise the issue of the annotation generation process for expertise training of CNNs, we verified the annotations for surgical phase recognition of laparoscopic cholecystectomy and subtotal gastrectomy for gastric cancer. We produce calibrated annotations for the seven phases of cholecystectomy by analyzing the discrepancies of previously annotated labels and by discussing the criteria of surgical phases. For gastrectomy for gastric cancer has more complex twenty-one surgical phases, we generate consensus annotation by the revision process with five specialists. By training the CNN-based surgical phase recognition networks with revised annotations, we achieved improved generalization performance over models trained with original annotation under the same cross-validation settings. We showed that the expertise data annotation pipeline for deep neural networks should be more rigorous based on the type of problem to apply clinical field.


title: On the largest singular values of certain large random matrices with application to the estimation of the minimal dimension of the state-space representations of high-dimensional time series

abstract: This paper is devoted to the estimation of the minimal dimension P of the state-space realizations of a high-dimensional time series y, defined as a noisy version (the noise is white and Gaussian) of a useful signal with low rank rational spectral density, in the high-dimensional asymptotic regime where the number of available samples N and the dimension of the time series M converge towards infinity at the same rate. In the classical low-dimensional regime, P is estimated as the number of significant singular values of the empirical autocovariance matrix between the past and the future of y, or as the number of significant estimated canonical correlation coefficients between the past and the future of y. Generalizing large random matrix methods developed in the past to analyze classical spiked models, the behaviour of the above singular values and canonical correlation coefficients is studied in the high-dimensional regime. It is proved that they are smaller than certain thresholds depending on the statistics of the noise, except a finite number of outliers that are due to the useful signal. The number of singular values of the sample autocovariance matrix above the threshold is evaluated, is shown to be almost independent from P in general, and cannot therefore be used to estimate P accurately. In contrast, the number s of canonical correlation coefficients larger than the corresponding threshold is shown to be less than or equal to P, and explicit conditions under which it is equal to P are provided. Under the corresponding assumptions, s is thus a consistent estimate of P in the high-dimensional regime. The core of the paper is the development of the necessary large random matrix tools.


title: Efficient CI-Based One-Bit Precoding for Multiuser Downlink Massive MIMO Systems with PSK Modulation

abstract: In this paper, we consider the one-bit precoding problem for the multiuser downlink massive multiple-input multiple-output (MIMO) system with phase shift keying (PSK) modulation. We focus on the celebrated constructive interference (CI)-based problem formulation. We first establish the NP-hardness of the problem (even in the single-user case), which reveals the intrinsic difficulty of globally solving the problem. Then, we propose a novel negative $\ell_1$ penalty model for the considered problem, which penalizes the one-bit constraint into the objective by a negative $\ell_1$-norm term, and show the equivalence between (global and local) solutions of the original problem and the penalty problem when the penalty parameter is sufficiently large. We further transform the penalty model into an equivalent min-max problem and propose an efficient alternating proximal/projection gradient descent ascent (APGDA) algorithm for solving it, which performs a proximal gradient decent over one block of variables and a projection gradient ascent over the other block of variables alternately. The APGDA algorithm enjoys a low per-iteration complexity and is guaranteed to converge to a stationary point of the min-max problem and a local minimizer of the penalty problem. To further reduce the computational cost, we also propose a low-complexity implementation of the APGDA algorithm, where the values of the variables will be fixed in later iterations once they satisfy the one-bit constraint. Numerical results show that, compared to the state-of-the-art CI-based algorithms, both of the proposed algorithms generally achieve better bit-error-rate (BER) performance with lower computational cost.


title: Basis-set correction based on density-functional theory: Rigorous framework for a one-dimensional model

abstract: We reexamine the recently introduced basis-set correction theory based on density-functional theory consisting in correcting the basis-set incompleteness error of wave-function methods using a density functional. We use a one-dimensional model Hamiltonian with delta-potential interactions which has the advantage of making easier to perform a more systematic analysis than for three-dimensional Coulombic systems while keeping the essence of the slow basis convergence problem of wave-function methods. We provide some mathematical details about the theory and propose a new variant of basis-set correction which has the advantage of being suited to the development of an adapted local-density approximation. We show indeed how to develop a local-density approximation for the basis-set correction functional which is automatically adapted to the basis set employed, without resorting to range-separated density-functional theory as in previous works, but using instead a finite uniform electron gas whose electron-electron interaction is projected on the basis set. The work puts the basis-set correction theory on firmer grounds and provides an interesting strategy for the improvement of this approach.


title: Improving Face Recognition with Large Age Gaps by Learning to Distinguish Children

abstract: Despite the unprecedented improvement of face recognition, existing face recognition models still show considerably low performances in determining whether a pair of child and adult images belong to the same identity. Previous approaches mainly focused on increasing the similarity between child and adult images of a given identity to overcome the discrepancy of facial appearances due to aging. However, we observe that reducing the similarity between child images of different identities is crucial for learning distinct features among children and thus improving face recognition performance in child-adult pairs. Based on this intuition, we propose a novel loss function called the Inter-Prototype loss which minimizes the similarity between child images. Unlike the previous studies, the Inter-Prototype loss does not require additional child images or training additional learnable parameters. Our extensive experiments and in-depth analyses show that our approach outperforms existing baselines in face recognition with child-adult pairs. Our code and newly-constructed test sets of child-adult pairs are available at https://github.com/leebebeto/Inter-Prototype.


title: The role of cohomology in quantum computation with magic states

abstract: A web of cohomological facts relates quantum error correction, measurement-based quantum computation, symmetry protected topological order and contextuality. Here we extend this web to quantum computation with magic states. In this computational scheme, the negativity of certain quasiprobability functions is an indicator for quantumness. However, when constructing quasiprobability functions to which this statement applies, a marked difference arises between the cases of even and odd local Hilbert space dimension. At a technical level, establishing negativity as an indicator of quantumness in quantum computation with magic states relies on two properties of the Wigner function: their covariance with respect to the Clifford group and positive representation of Pauli measurements. In odd dimension, Gross' Wigner function -- an adaptation of the original Wigner function to odd-finite-dimensional Hilbert spaces -- possesses these properties. In even dimension, Gross' Wigner function doesn't exist. Here we discuss the broader class of Wigner functions that, like Gross', are obtained from operator bases. We find that such Clifford-covariant Wigner functions do not exist in any even dimension, and furthermore, Pauli measurements cannot be positively represented by them in any even dimension whenever the number of qudits is n>=2. We establish that the obstructions to the existence of such Wigner functions are cohomological.


title: Thermal conductivity of oxide scale and its components in the range from 0 C to 1300 C: Generalized estimates with account for movability of phase transitions

abstract: The data of different authors on the thermal conductivity of wustite Fe1-xO, magnetite F3O4, hematite Fe2O3 and pure iron are systematized. The generalized values are described by piecewise smooth functions containing as varying parameters the temperatures of magnetiv and polymorphic (for iron) transformations as well as the thermodynamic stability boundary (for wustite). At polymorphic transformation a finite break of the thermal conductivity function is envisaged, at othet critical points only a break of its temperature derivative is acceptable. The proposed formulas are presented in two forms: the general form that allow varying the values of critical temperatures and the particular form corresponding to their basic values: the boundary of thermodynamic stability of wustite - 570 C, the Curie points of magnetite - 575 C, hematite - 677 C, iron - 770 C and polymorphic transformation temperature of iron - 912 C. To calculate the thermal conductivity of oxide scale as a whole, it is proposed to take into account separately metallic iron and composite matrix of iron oxides. Model computations using the proposed formulas shows that the true thermal conductivity of oxide scale (without pores), depending on the temperature may be from 3 to 6 W / (m K) in the absence of metallic iron and up to 15 W / (m K) if free iron is released in the eutectoid decay of wustite. The effective thermal conductivity of oxide scale, taking into account its real porosity, may be lower by 15-35%. The obtained dependencies are recommended for use in mathematical simulation of production and processing of steel products in the presence of oxide scale on their surface.


title: Explainable Landscape-Aware Optimization Performance Prediction

abstract: Efficient solving of an unseen optimization problem is related to appropriate selection of an optimization algorithm and its hyper-parameters. For this purpose, automated algorithm performance prediction should be performed that in most commonly-applied practices involves training a supervised ML algorithm using a set of problem landscape features. However, the main issue of training such models is their limited explainability since they only provide information about the joint impact of the set of landscape features to the end prediction results. In this study, we are investigating explainable landscape-aware regression models where the contribution of each landscape feature to the prediction of the optimization algorithm performance is estimated on a global and local level. The global level provides information about the impact of the feature across all benchmark problems' instances, while the local level provides information about the impact on a specific problem instance. The experimental results are obtained using the COCO benchmark problems and three differently configured modular CMA-ESs. The results show a proof of concept that different set of features are important for different problem instances, which indicates that further personalization of the landscape space is required when training an automated algorithm performance prediction model.


title: High-performance Estimation of Jamming Covariance Matrix for IRS-aided Directional Modulation Network with a Malicious Attacker

abstract: In this paper, we investigate the anti-jamming problem of a directional modulation (DM) system with the aid of intelligent reflecting surface (IRS). As an efficient tool to combat malicious jamming, receive beamforming (RBF) is usually designed to be on null-space of jamming channel or covariance matrix from Mallory to Bob. Thus, it is very necessary to estimate the receive jamming covariance matrix (JCM) at Bob. To achieve a precise JCM estimate, three JCM estimation methods, including eigenvalue decomposition (EVD), parametric estimation method by gradient descend (PEM-GD) and parametric estimation method by alternating optimization (PEM-AO), are proposed. Here, the proposed EVD is under rank-2 constraint of JCM. The PEM-GD method fully explores the structure features of JCM and the PEM-AO is to decrease the computational complexity of the former via dimensionality reduction. The simulation results show that in low and medium jamming-noise ratio (JNR) regions, the proposed three methods perform better than the existing sample covariance matrix method. The proposed PEM-GD and PEM-AO outperform EVD method and existing clutter and disturbance covariance estimator RCML.


title: Periodic perturbations of central force problems and an application to a restricted $3$-body problem

abstract: We consider a perturbation of a central force problem of the form \begin{equation*} \ddot x = V'(|x|) \frac{x}{|x|} + \varepsilon \,\nabla_x U(t,x), \quad x \in \mathbb{R}^{2} \setminus \{0\}, \end{equation*} where $\varepsilon \in \mathbb{R}$ is a small parameter, $V\colon (0,+\infty) \to \mathbb{R}$ and $U\colon \mathbb{R} \times (\mathbb{R}^{2} \setminus \{0\}) \to \mathbb{R}$ are smooth functions, and $U$ is $\tau$-periodic in the first variable. Based on the introduction of suitable time-maps (the radial period and the apsidal angle) for the unperturbed problem ($\varepsilon=0$) and of an associated non-degeneracy condition, we apply an higher-dimensional version of the Poincar\'{e}-Birkhoff fixed point theorem to prove the existence of non-circular $\tau$-periodic solutions bifurcating from invariant tori at $\varepsilon=0$. We then prove that this non-degeneracy condition is satisfied for some concrete examples of physical interest (including the homogeneous potential $V(r)=\kappa/r^{\alpha}$ for $\alpha\in(-\infty,2)\setminus\{-2,0,1\}$). Finally, an application is given to a restricted $3$-body problem with a non-Newtonian interaction.


title: Occlusion-Robust Object Pose Estimation with Holistic Representation

abstract: Practical object pose estimation demands robustness against occlusions to the target object. State-of-the-art (SOTA) object pose estimators take a two-stage approach, where the first stage predicts 2D landmarks using a deep network and the second stage solves for 6DOF pose from 2D-3D correspondences. Albeit widely adopted, such two-stage approaches could suffer from novel occlusions when generalising and weak landmark coherence due to disrupted features. To address these issues, we develop a novel occlude-and-blackout batch augmentation technique to learn occlusion-robust deep features, and a multi-precision supervision architecture to encourage holistic pose representation learning for accurate and coherent landmark predictions. We perform careful ablation tests to verify the impact of our innovations and compare our method to SOTA pose estimators. Without the need of any post-processing or refinement, our method exhibits superior performance on the LINEMOD dataset. On the YCB-Video dataset our method outperforms all non-refinement methods in terms of the ADD(-S) metric. We also demonstrate the high data-efficiency of our method. Our code is available at http://github.com/BoChenYS/ROPE


title: Near tangent dynamics in a class of Hamiltonian impact systems

abstract: Tangencies correspond to singularities of impact systems, separating between impacting and non-impacting trajectory segments. The closure of their orbits constitute the singularity set, which, even in the simpler billiard limit, is known to have a complex structure. The properties of this set are studied in a class of near integrable two degrees-of-freedom Hamiltonian impact systems. For this class of systems, in the integrable limit, on iso-energy surfaces, tangency appears at an isolated torus. We construct a piecewise smooth iso-energy return map for the perturbed flow near such a tangent torus and study its properties. Away from the singularity set, this map has invariant curves, so, the singularity set is included in a limiting singularity band. An asymptotic upper bound of this band width is found for both non-resonant and resonant tangent tori. Numerical simulations of the dynamics inside the band reveal long transients, yet, these are made shorter when the singular term coefficient is large.


title: Five-dimensional gauge theories and the local B-model

abstract: We propose an effective framework for computing the prepotential of the topological B-model on a class of local Calabi--Yau geometries related to the circle compactification of five-dimensional $\mathcal{N}=1$ super Yang--Mills theory with simple gauge group. In the simply-laced case, we construct Picard--Fuchs operators from the Dubrovin connection on the Frobenius manifolds associated to the extended affine Weyl groups of type $\mathrm{ADE}$. In general, we propose a purely algebraic construction of Picard--Fuchs ideals from a canonical subring of the space of regular functions on the ramification locus of the Seiberg--Witten curve, encompassing non-simply-laced cases as well. We offer several precision tests of our proposal. Whenever a candidate spectral curve is known from string theory/brane engineering, we perform non-perturbative comparisons with the gauge theory prepotentials obtained from the K-theoretic blow-up equations, finding perfect agreement. We also employ our formalism to rule out some proposals from the theory of integrable systems of Seiberg--Witten geometries for non-simply laced gauge groups.


title: $\pi$-Phase shift across stripes in a charge density wave system

abstract: Many strongly correlated materials are characterized by deeply intertwined charge and spin order. Besides their high superconducting transition temperatures, one of the central features of these complex patterns in cuprates is a phase shift which occurs across lines of decreased hole density. That is, when doped away from their AF phase, the additional charge is not distributed uniformly, but rather in `stripes'. The sublattices preferentially occupied by up and down spin are reversed across these stripes, a phenomonenon referred to as a `$\pi$-phase shift'. Many of the spin-charge patterns, including the $\pi$-phase shift, are reproduced by Density Matrix Renormalization Group and Quantum Monte Carlo calculations of simplified tight binding (repulsive Hubbard) models. In this paper we demonstrate that this sublattice reversal is generic by considering the corresponding phenomenon in the attractive Hubbard Hamiltonian, where a charge density wave phase forms at half-filling. We introduce charge stripes via an appropriate local chemical potential; measurements of charge correlation across the resulting lines of lowered density reveal a clear $\pi$ phase.


title: Probing an intrinsically flavorful ALP via tau-lepton flavor physics

abstract: Any axionlike particle (ALP) intrinsically possesses flavorful couplings to the standard model (SM) fermions arising as a consequence of the right-handed flavor rotation within the SM. In this paper we discuss this intrinsically flavored ALP, and explore the correlation of a minimal set of the couplings in a view of coherence in flavor physics observables. We focus particularly on the tau-lepton flavor violation (LFV). The ALP is assumed to be tau-philic on a current-eigenstate basis, a la Pecci-Quinn. The ALP has the intrinsic flavorful coupling structure for fermions, which allows coupling also to muon and electron only in a right-handed specific manner. Several LFV processes are generated including radiative tau decays and also anomalous magnetic moments of electron and muon. We first pay attention to two separated limits: electron scenario with the ALP coupled to tau which mixes only with right-handed electron, and muon scenario as the muonic counterpart of the electron scenario. It turns out that those scenarios are highly constrained by experimental limits, to require a mu or electron - tau flipped feature in the mass eigenbasis when coupled to the ALP. We then examine a hybrid scenario, and find a fully viable parameter space on the ALP mass-photon coupling plane, which limits the ALP mass to be (1.7 - 10) GeV and the ALP decay constant $f_a$ to be (12.8 - 67.9) GeV. We find that the same-sign multilepton signal at Belle II is a smoking-gun to probe the present ALP signal, and the polarization asymmetry in LFV radiative $\tau$ decay is a punchline, which definitely predicts preference of the right-handed polarization, in sharp contrast to the SM plus massive Dirac neutrinos having the highly left-handed preference, and also other light-new physics candidates. Possible model-building to underlie the present third-generation specific ALP is also briefly addressed.


title: Nonsymmetric examples for Gaussian correlation inequalities

abstract: In this paper, we compare two variances of maxima of $N$ standard Gaussian random variables. One is a sequence of $N$ i.i.d. standard Gaussians, and the other one is $N$ standard Gaussians with covariances $\sigma_{1,2}=\rho \in(0,1)$ and $\sigma_{i,j}=0$, for other $ i\neq j$. It turns out that we need to discuss the covariance of two functions with respect to multivariate Gaussian distributions. Gaussian correlation inequalities hold for many symmetric (with respect to the origin) cases. However, in our case, the max function and its derivatives are not symmetric about the origin. We have two main results in this paper. First, we prove a specific case for a convex/log-concave correlation inequality for the standard multivariate Gaussian distribution. The other result is that the variance of maxima of standard Gaussians with $\sigma_{1,2}=\rho \in(0,1)$, while $\sigma_{i,j}=0$, for other $ i\neq j$, is larger than the variance of maxima of independent standard Gaussians. This implies that the variance of maxima of $N$ i.i.d. standard Gaussians is decreasing in $N$.


title: Detection of short DNA sequences with DNA nanopores

abstract: Several studies suggest strong correlation between different types of cancer and the relative concentration of short circulating RNA sequences (miRNA). Because of short length and low concentration, miRNA detection is not easy. Standard methods such as RT-PCR require both the standard PCR amplification step and a preliminary additional step of reverse transcription. In this paper, we investigate the use of DNA nanopores as a tool to detect short oligonucleotide sequences at the single molecule level. These nanostructures show two different conformations depending on the presence of DNA analogues of miRNA sequences. By monitoring current across a lipid bilayer, we show that this change of conformation translates to different levels of conductivity.


title: Fractional moments

abstract: We evaluate the moments of some functions composed with the fractional part of $1/x$. We name them fractional moments. In particular, we obtain expressions for the fractional moments of some trigonometric functions, the Bernoulli polynomials and the functions $x^m$ and $x^m(1-x)^m$.


title: EXSCALATE: An extreme-scale in-silico virtual screening platform to evaluate 1 trillion compounds in 60 hours on 81 PFLOPS supercomputers

abstract: The social and economic impact of the COVID-19 pandemic demands the reduction of the time required to find a therapeutic cure. In the contest of urgent computing, we re-designed the Exscalate molecular docking platform to benefit from heterogeneous computation nodes and to avoid scaling issues. We deployed the Exscalate platform on two top European supercomputers (CINECA-Marconi100 and ENI-HPC5), with a combined computational power of 81 PFLOPS, to evaluate the interaction between 70 billions of small molecules and 15 binding-sites of 12 viral proteins of Sars-Cov2. The experiment lasted 60 hours and overall it performed a trillion of evaluations.


title: Cross-domain Trajectory Prediction with CTP-Net

abstract: Most pedestrian trajectory prediction methods rely on a huge amount of trajectories annotation, which is time-consuming and expensive. Moreover, a well-trained model may not effectively generalize to a new scenario captured by another camera. Therefore, it is desirable to adapt the model trained on an annotated source domain to the target domain. To achieve domain adaptation for trajectory prediction, we propose a Cross-domain Trajectory Prediction Network (CTP-Net). In this framework, encoders are used in both domains to encode the observed trajectories, then their features are aligned by a cross-domain feature discriminator. Further, considering the consistency between the observed and the predicted trajectories, a target domain offset discriminator is utilized to adversarially regularize the future trajectory predictions to be in line with the observed trajectories. Extensive experiments demonstrate the effectiveness of our method on domain adaptation for pedestrian trajectory prediction.


title: WebFed: Cross-platform Federated Learning Framework Based on Web Browser with Local Differential Privacy

abstract: For data isolated islands and privacy issues, federated learning has been extensively invoking much interest since it allows clients to collaborate on training a global model using their local data without sharing any with a third party. However, the existing federated learning frameworks always need sophisticated condition configurations (e.g., sophisticated driver configuration of standalone graphics card like NVIDIA, compile environment) that bring much inconvenience for large-scale development and deployment. To facilitate the deployment of federated learning and the implementation of related applications, we innovatively propose WebFed, a novel browser-based federated learning framework that takes advantage of the browser's features (e.g., Cross-platform, JavaScript Programming Features) and enhances the privacy protection via local differential privacy mechanism. Finally, We conduct experiments on heterogeneous devices to evaluate the performance of the proposed WebFed framework.


title: A solution robustness approach applied to network optimization problems

abstract: Solution robustness focuses on structural similarities between the nominal solution and the scenario solutions. Most other robust optimization approaches focus on the quality robustness and only evaluate the relevance of their solutions through the objective function value. However, it can be more important to optimize the solution robustness and, once the uncertainty is revealed, find an alternative scenario solution $x^s$ which is as similar as possible to the nominal solution $x^{nom}$. This for example occurs when the robust solution is implemented on a regular basis or when the uncertainty is revealed late. We call this distance between $x^{nom}$ and $x^s$ the solution cost. We consider the proactive problem which minimizes the average solution cost over a discrete set of scenarios while ensuring the optimality of the nominal objective of $x^{nom}$. We show for two different solution distances $d_{val}$ and $d_{struct}$ that the proactive problem is NP-hard for both the integer min-cost flow problem with uncertain arc demands and for the integer max-flow problem with uncertain arc capacities. For these two problems, we prove that once the uncertainty is revealed, even identifying a reactive solution $x^r$ with a minimal distance to a given solution $x^{nom}$ is NP-hard for $d_{struct}$, and that it is polynomial for $d_{val}$. We highlight the benefits of solution robustness in a case study on a railroad planning problem. First, we compare our proactive approach to the anchored and the $k$-distance approaches. Then, we show the efficiency of the proactive solution over reactive solutions. Finally, we illustrate the solution cost reduction when relaxing the optimality constraint on the nominal objective of the proactive solution $x^{nom}$.


title: Almost sure well-posedness and scattering of the 3D cubic nonlinear Schr\"odinger equation

abstract: We study the random data problem for 3D, defocusing, cubic nonlinear Schr\"odinger equation in $H_x^s(\mathbb{R}^3)$ with $s<\frac 12$. First, we prove that the almost sure local well-posedness holds when $\frac{1}{6}\leqslant s<\frac 12$ in the sense that the Duhamel term belongs to $H_x^{1/2}(\mathbb{R}^3)$. Furthermore, we prove that the global well-posedness and scattering hold for randomized, radial, large data $f\in H_x^{s}(\mathbb{R}^3)$ when $\frac{17}{40}< s<\frac 12$. The key ingredient is to control the energy increment including the terms where the first order derivative acts on the linear flow, and our argument can lower down the order of derivative more than $\frac12$. To our best knowledge, this is the first almost sure large data global result for this model.


title: Giant electro-optic effect in chiral topological semimetal RhSi

abstract: We studied the linear electro-optic effect of chiral topological semimetal RhSi which is characterized by high-fold chiral fermions separated in energy space. We identify that the general second order conductivity $\sigma^{(2)}_{xyz}(\omega=\omega_{1}+\omega_{2};\omega_{1},\omega_{2})$ includes a real symmetric component and an imaginary antisymmetric component, which are from the inter-band shift and intra-band injection current with frequency $\omega$, respectively. The $\sigma^{(2)}_{xyz}$ is significantly enhanced by the high electron velocity and nontrivial band topology of chiral fermion, and modifies the phase velocity of light wave. We also predict that the electro-optic coefficient $\chi_{xyz}^{(2)}(\omega;\omega,0)$ of chiral crystal RhSi is about 7000 pm/V at photon energy 0.01 eV and 1.1 eV, which is about 200 times that of widely used LiNbO$_{3}$ crystal. The giant electro-optic coefficient renders a relatively low half-wave voltage in order of hundreds volt, and demonstrates potential application as electro-optic crystals for the wavelength in the second telecom window of optical fiber communications.


title: Pixel-by-Pixel Cross-Domain Alignment for Few-Shot Semantic Segmentation

abstract: In this paper we consider the task of semantic segmentation in autonomous driving applications. Specifically, we consider the cross-domain few-shot setting where training can use only few real-world annotated images and many annotated synthetic images. In this context, aligning the domains is made more challenging by the pixel-wise class imbalance that is intrinsic in the segmentation and that leads to ignoring the underrepresented classes and overfitting the well represented ones. We address this problem with a novel framework called Pixel-By-Pixel Cross-Domain Alignment (PixDA). We propose a novel pixel-by-pixel domain adversarial loss following three criteria: (i) align the source and the target domain for each pixel, (ii) avoid negative transfer on the correctly represented pixels, and (iii) regularize the training of infrequent classes to avoid overfitting. The pixel-wise adversarial training is assisted by a novel sample selection procedure, that handles the imbalance between source and target data, and a knowledge distillation strategy, that avoids overfitting towards the few target images. We demonstrate on standard synthetic-to-real benchmarks that PixDA outperforms previous state-of-the-art methods in (1-5)-shot settings.


title: Free Riding in Networks

abstract: Players allocate their budget to links, a local public good and a private good. A player links to free ride on others' public good provision. We derive sufficient conditions for the existence of a Nash equilibrium. In equilibrium, large contributors link to each other, while others link to them. Poorer players can be larger contributors if linking costs are sufficiently high. In large societies, free riding reduces inequality only in networks in which it is initially low; otherwise, richer players benefit more, as they can afford more links. Finally, we study the policy implications, deriving income redistribution that increases welfare and personalized prices that implement the efficient solution.


title: Action Planning for Packing Long Linear Elastic Objects into Compact Boxes with Bimanual Robotic Manipulation

abstract: In this paper, we propose a new action planning approach to automatically pack long linear elastic objects into common-size boxes with a bimanual robotic system. For that, we developed a hybrid geometric model to handle large-scale occlusions combining an online vision-based method and an offline reference template. Then, a reference point generator is introduced to automatically plan the reference poses for the predesigned action primitives. Finally, an action planner integrates these components enabling the execution of high-level behaviors and the accomplishment of packing manipulation tasks. To validate the proposed approach, we conducted a detailed experimental study with multiple types and lengths of objects and packing boxes.


title: Potential theory of Dirichlet forms degenerate at the boundary: the case of no killing potential

abstract: In this paper we consider the Dirichlet form on the half-space $\mathbb{R}^d_+$ defined by the jump kernel $J(x,y)=|x-y|^{-d-\alpha}\mathcal{B}(x,y)$, where $\mathcal{B}(x,y)$ can be degenerate at the boundary. Unlike our previous works [6,7] where we imposed critical killing, here we assume that the killing potential is identically zero. In case $\alpha\in (1,2)$ we first show that the corresponding Hunt process has finite lifetime and dies at the boundary. Then, as our main contribution, we prove the boundary Harnack principle and establish sharp two-sided Green function estimates. Our results cover the case of the censored $\alpha$-stable process, $\alpha\in (1,2)$, in the half-space studied in [2].


title: A Localization Theorem for Dirac operators

abstract: We study perturbed Dirac operators of the form $ D_s= D + s\A :\Gamma(E^0)\rightarrow \Gamma(E^1)$ over a compact Riemannian manifold $(X, g)$ with symbol $c$ and special bundle maps $\A : E^0\rightarrow E^1$ for $s>>0$. Under a simple algebraic criterion on the pair $(c, \A)$, solutions of $D_s\psi=0$ concentrate as $s\to\infty$ around the singular set $Z_\A$ of $\A$. We prove a spectral separation property of the deformed Laplacians $D_s^*D_s$ and $D_s D_s^*$, for $s>>0$. As a corollary we prove an index localization theorem.


title: Parafree graphs of groups with cyclic edge groups

abstract: We establish a combination theorem for parafree groups. These groups were introduced by Baumslag in the sixties. One of the current motivations for a better understanding of their structure is that they show up naturally in connection with Remeslennikov's conjecture on the profinite rigidity of free groups. In this article, we determine when the fundamental group of a finite graph of groups with cyclic edge groups is parafree.


title: Multi-filter photometry of Solar System Objects from the SkyMapper Southern Survey

abstract: Context. The populations of small bodies of the Solar System (asteroids, comets, Kuiper Belt objects) are used to constrain the origin and evolution of the Solar System. Both their orbital distribution and composition distribution are required to track the dynamical pathway from their regions of formation to their current locations. Aims. We aim at increasing the sample of Solar System objects (SSOs) that have multi-filter photometry and compositional taxonomy. Methods. We search for moving objects in the SkyMapper Southern Survey. We use the predicted SSO positions to extract photometry and astrometry from the SkyMapper frames. We then apply a suite of filters to clean the catalog for false-positive detections. We finally use the near-simultaneous photometry to assign a taxonomic class to objects. Results. We release a catalog of 880,528 individual observations, consisting of 205,515 known and unique SSOs. The catalog completeness is estimated to be about 97% down to V=18 mag and the purity to be above 95% for known SSOs. The near-simultaneous photometry provides either three, two, or a single color that we use to classify 117,356 SSOs with a scheme consistent with the widely used Bus-DeMeo taxonomy. Conclusions. The present catalog contributes significantly to the sample of asteroids with known surface properties (about 40% of main-belt asteroids down to an absolute magnitude of 16). We will release more observations of SSOs with future SkyMapper data releases.


title: Projective Manifold Gradient Layer for Deep Rotation Regression

abstract: Regressing rotations on SO(3) manifold using deep neural networks is an important yet unsolved problem. The gap between the Euclidean network output space and the non-Euclidean SO(3) manifold imposes a severe challenge for neural network learning in both forward and backward passes. While several works have proposed different regression-friendly rotation representations, very few works have been devoted to improving the gradient backpropagating in the backward pass. In this paper, we propose a manifold-aware gradient that directly backpropagates into deep network weights. Leveraging Riemannian optimization to construct a novel projective gradient, our proposed regularized projective manifold gradient (RPMG) method helps networks achieve new state-of-the-art performance in a variety of rotation estimation tasks. Our proposed gradient layer can also be applied to other smooth manifolds such as the unit sphere. Our project page is at https://jychen18.github.io/RPMG.


title: Accelerating NBODY6 with a GPU-Enabled Particle-Particle Particle-Tree Scheme

abstract: We describe a modified version of the NBODY6 code for simulating star clusters which greatly improves computational efficiency while sacrificing little in the way of accuracy. The distant force calculator is replaced by a GPU-enabled Barnes-Hut code, and integration is done with a standard leap frog scheme. Short-range forces continue to use the CPU-based fourth-order Hermite predictor-corrector scheme of NBODY6. Our code outperforms NBODY6 for systems with more than $3 \times 10^5$ particles and runs more than a factor 2 faster for systems of $10^6$ particles with similar energy conservation. Our code should be useful for simulating realistic dense stellar clusters, such as globular clusters or galactic nuclei.


title: Static quark anti-quark interactions at non-zero temperature from lattice QCD

abstract: We study the interactions of a static quark antiquark pair at non-zero temperature using realistic 2+1 flavor lattice QCD calculations. The study consists of two parts: the first investigates the properties of Wilson line correlators in Coulomb gauge and compares to predictions of hard-thermal loop perturbation theory. As a second step we extract the spectral functions underlying the correlators using four conceptually different methods: spectral function fits, a HTL inspired fit for the correlation function, Pad\'e rational approximation and the Bayesian BR spectral reconstruction. We find that our high statistics Euclidean lattice data are amenable to different hypotheses for the shapes of the spectral function and we compare the implications of each analysis method for the existence and properties of a well defined ground state spectral peak.


title: FIESTA5: numerical high-performance Feynman integral evaluation

abstract: In this paper we present a new release of the FIESTA program (Feynman Integral Evaluation by a Sector decomposiTion Approach). FIESTA5 is performance-oriented - we implemented improvements of various kinds in order to make Feynman integral evaluation faster. We plugged in two new integrators, the Quasi Monte Carlo and Tensor Train. At the same time the old code of FIESTA4 was upgraded to the C++17 standard and mostly rewritten without self-made structures such as hash tables. There are also several essential improvements which are most relevant for complex integrations - the new release is capable of producing results where previously impossible.


title: UVO Challenge on Video-based Open-World Segmentation 2021: 1st Place Solution

abstract: In this report, we introduce our (pretty straightforard) two-step "detect-then-match" video instance segmentation method. The first step performs instance segmentation for each frame to get a large number of instance mask proposals. The second step is to do inter-frame instance mask matching with the help of optical flow. We demonstrate that with high quality mask proposals, a simple matching mechanism is good enough for tracking. Our approach achieves the first place in the UVO 2021 Video-based Open-World Segmentation Challenge.


title: Reimagine BiSeNet for Real-Time Domain Adaptation in Semantic Segmentation

abstract: Semantic segmentation models have reached remarkable performance across various tasks. However, this performance is achieved with extremely large models, using powerful computational resources and without considering training and inference time. Real-world applications, on the other hand, necessitate models with minimal memory demands, efficient inference speed, and executable with low-resources embedded devices, such as self-driving vehicles. In this paper, we look at the challenge of real-time semantic segmentation across domains, and we train a model to act appropriately on real-world data even though it was trained on a synthetic realm. We employ a new lightweight and shallow discriminator that was specifically created for this purpose. To the best of our knowledge, we are the first to present a real-time adversarial approach for assessing the domain adaption problem in semantic segmentation. We tested our framework in the two standard protocol: GTA5 to Cityscapes and SYNTHIA to Cityscapes. Code is available at: https://github.com/taveraantonio/RTDA.


title: Emission Distribution for the quantas of Maxwell-Chern-Simon Gauge Field coupled to External Current

abstract: In this paper, we have investigated the nature of emission distribution of the Maxwell Chern Simon (MCS) Theory in the 2+1 dimension. The distribution of the topologically massive quanta seems to be Poissonian in nature just like the Maxwell field theory in 3+1 dimension but with a condition, without which the distribution takes an indeterminate form when we make the coupling term approach 0.


title: GCCN: Global Context Convolutional Network

abstract: In this paper, we propose Global Context Convolutional Network (GCCN) for visual recognition. GCCN computes global features representing contextual information across image patches. These global contextual features are defined as local maxima pixels with high visual sharpness in each patch. These features are then concatenated and utilised to augment the convolutional features. The learnt feature vector is normalised using the global context features using Frobenius norm. This straightforward approach achieves high accuracy in compassion to the state-of-the-art methods with 94.6% and 95.41% on CIFAR-10 and STL-10 datasets, respectively. To explore potential impact of GCCN on other visual representation tasks, we implemented GCCN as a based model to few-shot image classification. We learn metric distances between the augmented feature vectors and their prototypes representations, similar to Prototypical and Matching Networks. GCCN outperforms state-of-the-art few-shot learning methods achieving 99.9%, 84.8% and 80.74% on Omniglot, MiniImageNet and CUB-200, respectively. GCCN has significantly improved on the accuracy of state-of-the-art prototypical and matching networks by up to 30% in different few-shot learning scenarios.


title: Diversified Sampling for Batched Bayesian Optimization with Determinantal Point Processes

abstract: In Bayesian Optimization (BO) we study black-box function optimization with noisy point evaluations and Bayesian priors. Convergence of BO can be greatly sped up by batching, where multiple evaluations of the black-box function are performed in a single round. The main difficulty in this setting is to propose at the same time diverse and informative batches of evaluation points. In this work, we introduce DPP-Batch Bayesian Optimization (DPP-BBO), a universal framework for inducing batch diversity in sampling based BO by leveraging the repulsive properties of Determinantal Point Processes (DPP) to naturally diversify the batch sampling procedure. We illustrate this framework by formulating DPP-Thompson Sampling (DPP-TS) as a variant of the popular Thompson Sampling (TS) algorithm and introducing a Markov Chain Monte Carlo procedure to sample from it. We then prove novel Bayesian simple regret bounds for both classical batched TS as well as our counterpart DPP-TS, with the latter bound being tighter. Our real-world, as well as synthetic, experiments demonstrate improved performance of DPP-BBO over classical batching methods with Gaussian process and Cox process models.


title: Advanced morphology of VIPERS galaxies

abstract: We calculated morphological parameters for 70821 galaxies from VIPERS (spectroscopic galaxy survey performed on VIMOS spectroscope at VLT). These parameters includes Gini, M20, Concentration, Asymmetry and Smoothness. Results correlate with the distribution of these parameters for other simulated and observed samples. We also studied dependence of these parameters with Sersic power index of radial distribution of surface brightness of galaxy image. Our aim was to find a clear separation of VIPERS galaxies on elliptical and spiral. This is necessary for testing the method of Sersic index (ns) calculation in statmorph program. To find such bimodality we use B-V color index from VIPERS database. To perform the error analysis of morphological parameters we simulated galaxy images with random background of different magnitude and estimated the errors as dispersion of the parameters. We also found asymptotic values of errors of morphological parameters by increasing the numbers of mock images. To analyse the possible variation of each morphological parameter during the convolution of close galactic images, we have simulated them to research. In the result of this investigation we have analysed the dependence of the every morphological parameter from CAS and Gini/M20 statistics from the distance between galactic centers. The differences between our results for VIPERS and Gini-M20 distribution for PanStarrs galaxies at z<0.5 could be explained it by cosmological evolution of galaxies. We found out that in modern Universe there are much more elliptical galaxies than at z>0.5 which corresponds to VIPERS sample. Also we concluded that galaxy mergers were more frequent in the early Universe.


title: Charge and energy transfer in ac-driven Coulomb-coupled double quantum dots

abstract: We study the dynamics of charge and energy currents in a Coulomb-coupled double quantum dot system, when only one of the two dots is adiabatically driven by a time-periodic gate that modulates its energy level. Although the Coulomb coupling does not allow for electron transfer between the dots, it enables an exchange of energy between them which induces a time variation of charge in the undriven dot. We describe the effect of electron interactions at low temperature using a time-dependent slave-spin 1 formulation within mean-field that efficiently captures the main effects of the strong correlations as well as the dynamical nature of the driving. We find that the currents induced in the undriven dot due to the mutual friction between inter-dot electrons are same order than those generated in the adiabatically driven dot. Interestingly, up to 43$\%$ percent of the energy injected by the ac sources can be transferred from the driven dot to the undriven one. We complete our analysis by studying the impact of the Coulomb interaction on the resistance of the quantum dot that is driven by the gate.


title: Radio relics radio emission from multi-shock scenario

abstract: Radio relics are giant ($\sim$Mpc) synchrotron sources that are believed to be produced by the (re)acceleration of cosmic-ray electrons (CRe) by shocks in the intracluster medium. In this numerical study, we focus on the possibility that some radio relics may arise when electrons undergo diffusive shock acceleration at multiple shocks in the outskirts of merging galaxy clusters. This multi-shock (MS) scenario appears viable to produce CRe that emit visible synchrotron emission. We show that electrons that have been shocked multiple times develop an energy spectrum that significantly differs from the power-law spectrum expected in the case of a single shock scenario. As a consequence, the radio emission generated by CRe that shocked multiple times is higher than the emission produced by CRe that are shocked only once. In the case explored in this paper, the radio emission produced in the two scenarios differ by one order of magnitude. In particular in the MS scenario, the simulated relic follows a KGJP spectral shape, consistent with observation. Furthermore, the produced radio emission is large enough to be detectable with current radio telescopes (e.g. LOFAR, JVLA).


title: High-Order Curvilinear Finite Element Magneto-Hydrodynamics I: A Conservative Lagrangian Scheme

abstract: Magneto-hydrodynamics is one of the foremost models in plasma physics with applications in inertial confinement fusion, astrophysics and elsewhere. Advanced numerical methods are needed to get an insight into the complex physical phenomena. The classical Lagrangian methods are typically limited to the low orders of convergence and suffer from violation of the divergence-free condition for magnetic field or conservation of the invariants. This paper is the first part of a new series about high-order non-ideal magneto-hydrodynamics, where a multi-dimensional conservative Lagrangian method based on curvilinear finite elements is presented. The condition on zero divergence of magnetic field and conservation of mass, momentum, magnetic flux and the total energy are satisfied exactly. The curvilinear elements prevent entangling of the computational mesh and its imprinting into the solution. A high-order conservative time integration is applied, where an arbitrary order of convergence is attained for problems of ideal magneto-hydrodynamics. The resistive magnetic field diffusion is solved by an implicit scheme. Description of the method is given and multiple test problems demonstrating properties of the scheme are performed. The construction of the method and possible future directions of development are discussed.


title: Model-aided Geometrical Shaping of Dual-polarization 4D Formats in the Nonlinear Fiber Channel

abstract: The geometry of dual-polarization four-dimensional constellations is optimized in the optical fiber channel using a recent nonlinear interference model. A 0.27 bit/4D rate gain and 13% reach increase are attained compared to polarization-multiplexed formats.


title: Quantum key distribution over 658 km fiber with distributed vibration sensing

abstract: Twin-field quantum key distribution (TF-QKD) promises ultra-long secure key distribution which surpasses the rate distance limit and can reduce the number of the trusted nodes in long-haul quantum network. Tremendous efforts have been made towards implementation of TF-QKD, among which, the secure key with finite size analysis can distribute more than 500 km in the lab and in the field. Here, we demonstrate the sending-or-not-sending TF-QKD experimentally, achieving a secure key distribution with finite size analysis over 658 km ultra-low-loss optical fiber, improve the secure distance record by around 100 km. Meanwhile, in a TF-QKD system, any phase fluctuation due to temperature variation and ambient variation during the channel must be recorded and compensated, and all these phase information can then be utilized to sense the channel vibration perturbations. With our QKD system, we recovered the external vibrational perturbations on the fiber generated by an artificial vibroseis and successfully located the perturbation position with a resolution better than 1 km. Our results not only set a new distance record of QKD, but also demonstrate that the redundant information of TF-QKD can be used for remote sensing of the channel vibration, which can find applications in earthquake detection and landslide monitoring besides secure communication.


title: Explainable, automated urban interventions to improve pedestrian and vehicle safety

abstract: At the moment, urban mobility research and governmental initiatives are mostly focused on motor-related issues, e.g. the problems of congestion and pollution. And yet, we can not disregard the most vulnerable elements in the urban landscape: pedestrians, exposed to higher risks than other road users. Indeed, safe, accessible, and sustainable transport systems in cities are a core target of the UN's 2030 Agenda. Thus, there is an opportunity to apply advanced computational tools to the problem of traffic safety, in regards especially to pedestrians, who have been often overlooked in the past. This paper combines public data sources, large-scale street imagery and computer vision techniques to approach pedestrian and vehicle safety with an automated, relatively simple, and universally-applicable data-processing scheme. The steps involved in this pipeline include the adaptation and training of a Residual Convolutional Neural Network to determine a hazard index for each given urban scene, as well as an interpretability analysis based on image segmentation and class activation mapping on those same images. Combined, the outcome of this computational approach is a fine-grained map of hazard levels across a city, and an heuristic to identify interventions that might simultaneously improve pedestrian and vehicle safety. The proposed framework should be taken as a complement to the work of urban planners and public authorities.


title: Quantum Entanglement in the One-Dimensional Anyonic Hubbard Model

abstract: Issues related to quantum entanglement in systems of indistinguishable particles, as discussed in the information theoretic approach, are extended to anyonic statistics. Local and non-local measurements discussed in this framework are carefully analysed in the two-site anyonic Hubbard model which provides a concrete case-study. The von Neumann entropy, the single-particle density matrix, the pair correlation function, and the pseudo-momentum distribution function are worked out paying special attention to the dependence on the statistics parameter.