title: An Indoor Localization Dataset and Data Collection Framework with High Precision Position Annotation

abstract: We introduce a novel technique and an associated high resolution dataset that aims to precisely evaluate wireless signal based indoor positioning algorithms. The technique implements an augmented reality (AR) based positioning system that is used to annotate the wireless signal parameter data samples with high precision position data. We track the position of a practical and low cost navigable setup of cameras and a Bluetooth Low Energy (BLE) beacon in an area decorated with AR markers. We maximize the performance of the AR-based localization by using a redundant number of markers. Video streams captured by the cameras are subjected to a series of marker recognition, subset selection and filtering operations to yield highly precise pose estimations. Our results show that we can reduce the positional error of the AR localization system to a rate under 0.05 meters. The position data are then used to annotate the BLE data that are captured simultaneously by the sensors stationed in the environment, hence, constructing a wireless signal data set with the ground truth, which allows a wireless signal based localization system to be evaluated accurately.


title: Current-driven magnetization dynamics and their correlation with magnetization configurations in perpendicularly magnetized tunnel junctions

abstract: We study spin-transfer-torque driven magnetization dynamics of a perpendicular magnetic tunnel junction (MTJ) nanopillar. Based on the combination of spin-torque ferromagnetic resonance and microwave spectroscopy techniques, we demonstrate that the free layer (FL) and the weak pinned reference layer (RL) exhibit distinct dynamic behaviors with opposite frequency vs. field dispersion relations. The FL can support a single coherent spin-wave (SW) mode for both parallel and antiparallel configurations, while the RL exhibits spin-wave excitation only for the antiparallel state. These two SW modes corresponding to the FL and RL coexist at an antiparallel state and exhibit a crossover phenomenon of oscillation frequency with increasing the external magnetic field, which could be helpful in the mutual synchronization of auto-oscillations for SW-based neuromorphic computing.


title: Scale-invariant enhancement of gravitational waves during inflation

abstract: The inflationary 1-loop tensor power spectrum from an excited spectator scalar field is calculated. Recent studies on primordial black holes suggest that the inflationary curvature perturbation may be huge on small scales. An enhanced curvature perturbation may arise from a drastic enhancement of spectator scalar field fluctuations. In this letter, using the in-in formalism, we calculate 1-loop quantum corrections to primordial gravitational waves by such an excited spectator field with a sharp peak in momentum space. We find scale-invariant loop corrections in this full quantum setup, in contrast to the sharply peaked corrections in the previously calculated scalar-induced tensor modes. Especially, on super Hubble scales, the primordial gravitational waves are also amplified, which can be understood as a Bogolyubov transformation of the vacuum due to the excited scalar field. This mechanism allows us to probe the scalar field properties on extremely short-distance scales with the current and future cosmic microwave background and gravitational wave experiments, opening a novel window for inflationary cosmology.


title: Influence of target thickness on the release of radioactive atoms

abstract: Nowadays, intense exotic beams are needed in order to study nuclei with very short half-life. To increase the release efficiency of the fission products, all the target characteristics involved must be improved (e.g. chemical composition, dimensions, physicochemical properties such as grain size, porosity, density etc). In this article, we study the impact of the target thickness. Released fractions measured from graphite and uranium carbide pellets are presented as well as Monte-Carlo simulations of the Brownian motion.


title: Pion absorption from the lowest atomic orbital in 2H, 3H and 3He

abstract: The pi- + 2H -> n + n, pi- + 3H -> n + n + n, pi- + 3He -> n + d and pi- + 3He -> p + n + n capture reactions from the lowest atomic orbitals are studied under full inclusion of final state interactions. Our results are obtained with the single-nucleon and two-nucleon transition operators derived at leading order in chiral effective field theory. The initial and final three-nucleon states are calculated with the chiral nucleon-nucleon SMS potential up to N4LO+ augmented by the consistently regularized chiral N2LO three-nucleon potential. We found that absorption rates depend strongly on the nuclear pion absorption operator used, and its two-body parts change the rates by a few orders of magnitude. The final state interactions between nucleons generated by the two-nucleon forces are also important, while the three-nucleon interaction plays a visible role only in the pi- + 3He -> n + d reaction. Our absorption rate for the pi- + 2H -> n + n process is in good agreement with the experimental data from the hadronic ground-state broadening in pionic deuterium. The capture rates on 3He are also generally consistent with the spectroscopic data within error bars, though our central values are found to be systematically below the data. We show that for the three-body breakup processes the dominant contributions to the absorption rates arise from the quasi-free scattering and final-state interaction kinematical configurations.


title: Multi-class Classifier based Failure Prediction with Artificial and Anonymous Training for Data Privacy

abstract: This paper proposes a novel non-intrusive system failure prediction technique using available information from developers and minimal information from raw logs (rather than mining entire logs) but keeping the data entirely private with the data owners. A neural network based multi-class classifier is developed for failure prediction, using artificially generated anonymous data set, applying a combination of techniques, viz., genetic algorithm (steps), pattern repetition, etc., to train and test the network. The proposed mechanism completely decouples the data set used for training process from the actual data which is kept private. Moreover, multi-criteria decision making (MCDM) schemes are used to prioritize failures meeting business requirements. Results show high accuracy in failure prediction under different parameter configurations. On a broader context, any classification problem, beyond failure prediction, can be performed using the proposed mechanism with artificially generated data set without looking into the actual data as long as the input features can be translated to binary values (e.g. output from private binary classifiers) and can provide classification-as-a-service.


title: Zero-shot Aspect-level Sentiment Classification via Explicit Utilization of Aspect-to-Document Sentiment Composition

abstract: As aspect-level sentiment labels are expensive and labor-intensive to acquire, zero-shot aspect-level sentiment classification is proposed to learn classifiers applicable to new domains without using any annotated aspect-level data. In contrast, document-level sentiment data with ratings are more easily accessible. In this work, we achieve zero-shot aspect-level sentiment classification by only using document-level reviews. Our key intuition is that the sentiment representation of a document is composed of the sentiment representations of all the aspects of that document. Based on this, we propose the AF-DSC method to explicitly model such sentiment composition in reviews. AF-DSC first learns sentiment representations for all potential aspects and then aggregates aspect-level sentiments into a document-level one to perform document-level sentiment classification. In this way, we obtain the aspect-level sentiment classifier as the by-product of the document-level sentiment classifier. Experimental results on aspect-level sentiment classification benchmarks demonstrate the effectiveness of explicit utilization of sentiment composition in document-level sentiment classification. Our model with only 30k training data outperforms previous work utilizing millions of data.


title: $f(R)$ gravity with broken Weyl gauge symmetry, cosmological backreaction, and its effects on CMB anisotropy

abstract: We propose a new class of $f(R)$ theory where its Weyl gauge symmetry is broken in the primordial era of the universe. This symmetry forces one to adopt a new scalar field, namely a Weyl field and a gauge vector boson. Furthermore, an equivalent form of the Einstein-Hilbert Lagrangian with a non-minimally coupled scalar field corresponding to the function $f(R)$ is found. Due to the geometrical feature of the Weyl field, it turns out that the symmetry breaking induces a non-minimal coupling, which cannot be expected in the standard $f(R)$ theories. We explain how this affects the evolution of the universe at cosmological scales. It is shown that there may be a value shift in the Planck constant and the cosmological constant. This can be regarded as a genuine exemplification of the cosmological backreaction. Furthermore, one also finds new features in the evolution of perturbational variables and cosmic microwave background anisotropy. Moreover, we prove that when a specific $f(R)$ model invokes inflation, the amplitude of the primordial gravitational waves affects the evolution of scalar perturbation due to the new non-minimal coupling. As a case study, we explain how this can be embodied in the Starobinsky inflation. Finally, we discuss some impacts that this physics can bear and the possibility of giving a new restriction of the estimation of cosmological variables such as the gravitational wave amplitude with experiments.


title: AdS Wormholes from AdS/Ricci-flat Correspondence

abstract: We discuss the Wormholes in general dimensions by studying the Einstein-phantom scalar field with and without the cosmological constant. Solving AdS wormholes in general dimension is hard due to the nonlinear nature of the theory. In this work, we implement the AdS/Ricci-flat correspondence, extended to include the axion field (the phantom scalar field), to construct AdS wormholes. Wormholes of Ellis-Bronnikov class are discussed in general dimensions.


title: Automated Defect Recognition of Castings defects using Neural Networks

abstract: Industrial X-ray analysis is common in aerospace, automotive or nuclear industries where structural integrity of some parts needs to be guaranteed. However, the interpretation of radiographic images is sometimes difficult and may lead to two experts disagree on defect classification. The Automated Defect Recognition (ADR) system presented herein will reduce the analysis time and will also help reducing the subjective interpretation of the defects while increasing the reliability of the human inspector. Our Convolutional Neural Network (CNN) model achieves 94.2\% accuracy (mAP@IoU=50\%), which is considered as similar to expected human performance, when applied to an automotive aluminium castings dataset (GDXray), exceeding current state of the art for this dataset. On an industrial environment, its inference time is less than 400 ms per DICOM image, so it can be installed on production facilities with no impact on delivery time. In addition, an ablation study of the main hyper-parameters to optimise model accuracy from the initial baseline result of 75\% mAP up to 94.2\% mAP, was also conducted.


title: Progressive Glass Segmentation

abstract: Glass is very common in the real world. Influenced by the uncertainty about the glass region and the varying complex scenes behind the glass, the existence of glass poses severe challenges to many computer vision tasks, making glass segmentation as an important computer vision task. Glass does not have its own visual appearances but only transmit/reflect the appearances of its surroundings, making it fundamentally different from other common objects. To address such a challenging task, existing methods typically explore and combine useful cues from different levels of features in the deep network. As there exists a characteristic gap between level-different features, i.e., deep layer features embed more high-level semantics and are better at locating the target objects while shallow layer features have larger spatial sizes and keep richer and more detailed low-level information, fusing these features naively thus would lead to a sub-optimal solution. In this paper, we approach the effective features fusion towards accurate glass segmentation in two steps. First, we attempt to bridge the characteristic gap between different levels of features by developing a Discriminability Enhancement (DE) module which enables level-specific features to be a more discriminative representation, alleviating the features incompatibility for fusion. Second, we design a Focus-and-Exploration Based Fusion (FEBF) module to richly excavate useful information in the fusion process by highlighting the common and exploring the difference between level-different features.


title: Development of radioactive beams at ALTO: Part 1. Physicochemical comparison of different types of UCx targets using a multivariate statistical approach

abstract: The optimization of the microstructure of the UCx target is a key point since many years in the field of ISOL method. The ultimate goal is to facilitate the release of the fission products, especially those with short half-lives. Fourteen UCx samples were synthetized from different uranium and carbon sources using three mixing protocols. All carburized samples were systematically characterized in terms of nature and proportion phases, grain and aggregate size, open and close porosity proportion and open pore size distribution. Our results were analysed using a multivariate statistical approach in order to remove any subjective bias. Strong correlations between the physicochemical characteristics of the samples as well as the impact of the synthesis process have been highlighted. In particular, using carbon nanotubes as carbon source combined with a new method of mixing is the key parameter to limit the sintering and to obtain samples with small grains and a high porosity well distributed over small pores. Moreover the microstructure obtained proved to be stable at high temperature.


title: Enhancement of spin-orbit torque efficiency by tailoring interfacial spin-orbit coupling in Pt-based magnetic multilayers

abstract: We study inserting Co layer thickness-dependent spin transport and spin-orbit torques (SOTs) in the Pt/Co/Py trilayers by spin-torque ferromagnetic resonance. The interfacial perpendicular magnetic anisotropy energy density ($K_s = 2.7~erg/cm^2$), which is dominated by interfacial spin-orbit coupling (ISOC) in the Pt/Co interface, total effective spin-mixing conductance ($G_{eff,tot} = 0.42 {\times} 10^{15}~{\Omega}^{-1} m^{-2}$) and two-magnon scattering (${\beta}_{TMS} = 0.46~nm^2$) are first characterized, and the damping-like torque (${\xi}_{DL}$ = 0.103) and field-like torque (${\xi}_{FL}$ = -0.017) efficiencies are also calculated quantitatively by varying the thickness of the inserting Co layer. The significant enhancement of ${\xi}_{DL}$ and ${\xi}_{FL}$ in Pt/Co/Py than Pt/Py bilayer system originates from the interfacial Rashba-Edelstein effect due to the strong ISOC between Co-3d and Pt-5d orbitals at the Pt/Co interface. Additionally, we find a considerable out-of-plane spin polarization SOT, which is ascribed to the spin anomalous Hall effect and possible spin precession effect due to IPMA-induced perpendicular magnetization at the Pt/Co interface. Our results demonstrate that the ISOC of the Pt/Co interface plays a vital role in spin transport and SOTs-generation. Our finds offer an alternative approach to improve the conventional SOTs efficiencies and generate unconventional SOTs with out-of-plane spin polarization to develop low power Pt-based spintronic via tailoring the Pt/FM interface.


title: Witnessing Light-Driven Entanglement using Time-Resolved Resonant Inelastic X-Ray Scattering

abstract: Characterizing and controlling entanglement in quantum materials is crucial for the development of next-generation quantum technologies. However, defining a quantifiable figure of merit for entanglement in macroscopic solids is theoretically and experimentally challenging. At equilibrium the presence of entanglement can be diagnosed by extracting entanglement witnesses from spectroscopic observables and a nonequilibrium extension of this method could lead to the discovery of novel dynamical phenomena. Here, we propose a systematic approach to quantify the time-dependent quantum Fisher information and entanglement depth of transient states of quantum materials with time-resolved resonant inelastic x-ray scattering. Using a quarter-filled extended Hubbard model as an example, we benchmark the efficiency of this approach and predict a light-enhanced many-body entanglement due to the proximity to a phase boundary. Our work sets the stage for experimentally witnessing and controlling entanglement in light-driven quantum materials via ultrafast spectroscopic measurements.


title: Compatibility checking of multiple control barrier functions for input constrained systems

abstract: State and input constraints are ubiquitous in control system design. One recently developed tool to deal with these constraints is control barrier functions (CBF) which transform state constraints into conditions in the input space. CBF-based controller design thus incorporates both the CBF conditions and input constraints in a quadratic program. However, the CBF-based controller is well-defined only if the CBF conditions are compatible. In the case of perturbed systems, robust compatibility is of relevance. In this work, we propose an algorithmic solution to verify or falsify the (robust) compatibility of given CBFs a priori. Leveraging the Lipschitz properties of the CBF conditions, a grid sampling and refinement method with theoretical analysis and guarantees is proposed.


title: High Dynamic Range Image Quality Assessment Based on Frequency Disparity

abstract: In this paper, a novel and effective image quality assessment (IQA) algorithm based on frequency disparity for high dynamic range (HDR) images is proposed, termed as local-global frequency feature-based model (LGFM). Motivated by the assumption that the human visual system is highly adapted for extracting structural information and partial frequencies when perceiving the visual scene, the Gabor and the Butterworth filters are applied to the luminance of the HDR image to extract local and global frequency features, respectively. The similarity measurement and feature pooling are sequentially performed on the frequency features to obtain the predicted quality score. The experiments evaluated on four widely used benchmarks demonstrate that the proposed LGFM can provide a higher consistency with the subjective perception compared with the state-of-the-art HDR IQA methods. Our code is available at: \url{https://github.com/eezkni/LGFM}.


title: A characterization of the subspace of radially symmetric functions in Sobolev spaces

abstract: In this paper, we show that any Sobolev norm of nonnegative integer order of radially symmetric functions is equivalent to a weighted Sobolev norm of their radial profile. This establishes in terms of weighted Sobolev spaces on an interval a complete characterization of radial Sobolev spaces, which was open until now. As an application, we give a description of Sobolev norms of corotational maps.


title: A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations

abstract: This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright's general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work.


title: On the use of total state decompositions for the study of reduced dynamics

abstract: The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a time-dependent completely positive trace preserving (CPTP) map. Here, we take into account an approach that is based on a decomposition of any possibly correlated bipartite state as a conical combination involving statistical operators on the environment and general linear operators on the system, which allows one to fix the reduced-system evolution via a finite set of time-dependent CPTP maps. In particular, we show that such a decomposition always exists, also for infinite dimensional Hilbert spaces, and that the number of resulting CPTP maps is bounded by the Schmidt rank of the initial global state. We further investigate the case where the CPTP maps are semigroups with generators in the Gorini-Kossakowski-Lindblad-Sudarshan form; for two simple qubit models, we identify the positivity domain defined by the initial states that are mapped into proper states at any time of the evolution fixed by the CPTP semigroups.


title: Remotely preparing optical Schr\"odinger cat states via homodyne detection in nondegenerate triple-photon spontaneous downconversion

abstract: Optical downconversion is a key resource for generating nonclassical states. Very recently, direct nondegenerate triple-photon spontaneous downconversion (NTPSD) with bright photon triplets and strong third-order correlations has been demonstrated in a superconducting device (2020 Phys. Rev. X 10 011011). Besides, linear and nonlinear tripartite entanglement in this process have also been predicted (2018 Phys. Rev. Lett. 120 043601; 2020 Phys. Rev. Lett. 125 020502). In this paper, we consider the generation of nonclassical optical quantum superpositions and investigate nonlinear quantum steering effects in NTPSD.We find that large-size Schr\"odinger cat states of one downconverted mode can be achieved when the other two modes are subjected to homodyne detection. Also, a two-photon Bell entangled state can be generated when only one mode is homodyned.We further reveal that such ability of remote state steering originates from nonlinear quantum steerable correlations among the triplets. This is specifically embodied by the seeming violation of the Heisenberg uncertainty relation for the inferred variances of two noncommutating higher-order quadratures of downconverted modes, based on the outcomes of homodyne detection on the other mode, i.e., nonlinear quantum steering, compared to original EPR steering. Our results demonstrate non-Gaussian nonclassical features in NTPSD and would be useful for the fundamental tests of quantum physics and implementations of optical quantum technologies.


title: High-Accuracy Determination of Paul-Trap Stability Parameters for Electric-Quadrupole-Shift Prediction

abstract: The motion of an ion in a radiofrequency (rf) Paul trap is described by the Mathieu equation and the associated stability parameters that are proportional to the rf and dc electric field gradients. Here, a higher-order, iterative method to accurately solve the stability parameters from measured secular frequencies is presented. It is then used to characterize an endcap trap by showing that the trap's radial asymmetry is dominated by the dc field gradients and by measuring the relation between the applied voltages and the gradients. The results are shown to be in good agreement with an electrostatic finite-element-method simulation of the trap. Furthermore, a method to determine the direction of the radial trap axes using a 'tickler' voltage is presented and the temperature dependence of the rf voltage is discussed. As an application for optical ion clocks, the method is used to predict and minimize the electric quadrupole shift (EQS) using the applied dc voltages. Finally, a lower limit of 1070 for the cancellation factor of the Zeeman-averaging EQS cancellation method is determined in an interleaved low/high EQS clock measurement. This reduces the EQS uncertainty of our $^{88}$Sr$^+$ optical clock to ${\lesssim} 1\times 10^{-19}$ in fractional frequency units.


title: A new Garside structure on torus knot groups and some complex braid groups

abstract: Several distinct Garside monoids having torus knot groups as groups of fractions are known. For $n,m\geq 2$ two coprime integers, we introduce a new Garside monoid $\mathcal{M}(n,m)$ having as Garside group the $(n,m)$-torus knot group, thereby generalizing to all torus knot groups a construction that we previously gave for the $(n,n+1)$-torus knot group. As a byproduct, we obtain new Garside structures for the braid groups of a few exceptional complex reflection groups of rank two. Analogous Garside structures are also constructed for a few additional braid groups of exceptional complex reflection groups of rank two which are not isomorphic to torus knot groups, namely for $G_{13}$ and for dihedral Artin groups of even type.


title: Emergence of universal scaling in weather extreme events

abstract: The frequency and magnitude of weather extreme events have increased significantly during the past few years in response to anthropogenic climate change. However, global statistical characteristics and underlying physical mechanisms are still not fully understood. Here, we adopt a statistical physics and probability theory based method to investigate the nature of extreme weather events, particularly the statistics of the day-to-day air temperature differences. These statistical measurements reveal that the distributions of the magnitudes of the extreme events satisfy a universal \textit{Gumbel} distribution, while the waiting time of those extreme events is governed by a universal \textit{Gamma} function. Further finite-size effects analysis indicates robust scaling behaviours. We additionally unveil that the cumulative distribution of logarithmic waiting times between the record events follows an \textit{Exponential} distribution and that the evolution of this climate system is directional where the underlying dynamics are related to a decelerating release of tension. The universal scaling laws are remarkably stable and unaffected by global warming. Counterintuitively, unlike as expected for record dynamics, we find that the number of quakes of the extreme temperature variability does not decay as one over time but with deviations relevant to large-scale climate extreme events. Our theoretical framework provides a fresh perspective on the linkage of universality, scaling, and climate systems. The findings throw light on the nature of the weather variabilities and could guide us to better forecast extreme events.


title: Microstructure estimation from diffusion-MRI: Compartmentalized models in permeable cellular tissue

abstract: Diffusion-weighted magnetic resonance imaging (DW-MRI) is used to characterize brain tissue microstructure employing tissue-specific biophysical models. A current limitation, however, is that most of the proposed models are based on the assumption of negligible water exchange between the intra- and extracellular compartments, which might not be valid in various brain tissues, including unmyelinated axons, gray matter, and tumors. The purpose of this work is to quantify the effect of membrane permeability on the estimates of two popular models neglecting exchange, and compare their performance with a model including exchange. To this aim, DW-MRI experiments were performed in controlled environments with Monte-Carlo simulations. The DW-MRI signals were generated in numerical substrates mimicking biological tissue made of spherical cells with permeable membranes like cancerous tissue or the brain gray matter. From these signals, the substrates properties were estimated using SANDI and VERDICT, the two compartment-based models neglecting exchange, and CEXI, a new model which includes exchange. Our results show that, in cellular permeable tissue, the model with exchange outperformed models without exchange in the estimation of the tissue properties by providing more stable estimates of cell size, intracellular volume fraction and extracellular diffusion coefficient. Moreover, the model with exchange estimated accurately the exchange time in the range of permeability reported for cellular tissue. Finally, the simulations performed in this work showed that the exchange between the intracellular and the extracellular space cannot be neglected in permeable tissue with a conventional PGSE sequence, to obtain accurate estimates. Consequently, existing compartmentalized models of impermeable tissue cannot be used for microstructure estimation of cellular permeable tissue.


title: Smaller Sensitivity of Precipitation to Surface Temperature under Massive Atmospheres

abstract: Precipitation and its response to forcings is an important aspect of planetary climate system. In this study, we examine the strength of precipitation in the experiments with different atmospheric masses and their response to surface warming, using three global atmospheric general circulation models (GCMs) and one regional cloud-resolving model (CRM). We find that precipitation is weaker when atmospheric mass is larger for a given surface temperature. Furthermore, the increasing rate of precipitation with increasing surface temperature under a larger atmospheric mass is smaller than that under a smaller atmospheric mass. These behaviors can be understood based on atmospheric or surface energy balance. Atmospheric mass influences Rayleigh scattering, multiple scattering in the atmosphere, pressure broadening, lapse rate, and thereby precipitation strength. These results have important implications on the climate and habitability of early Earth, early Mars, and exoplanets with oceans.


title: Cosmic-ray propagation under consideration of a spatially resolved source distribution

abstract: Cosmic rays (CRs) are an integral component of the interstellar medium, producing broadband emission while interacting with other Galactic matter components like the interstellar gas or magnetic fields. In addition to observations, numerical simulations of CR propagation through the Galaxy help to increase the level of understanding of Galactic CR transport and diffuse $\gamma$-ray emission as seen by different experiments. Up to now, the standard approach at modelling source distributions used as input for such transport simulations often rely on radial symmetry and analytical functions rather than individual, observation-based sources. We aim at a redefinition of existing CR source distributions by combining sources observed with the H.E.S.S. experiment and simulated random sources, which follow the matter density in the Milky Way. As a result, H.E.S.S.-inspired Galactic CR source distributions are inferred. We use the PICARD code to perform 3D-simulations of nuclei and electrons in CR propagation using our hybrid source distribution models. Furthermore, also gamma-ray maps and spectra, simulated with the redefined source models, are evaluated in different regions in the Galaxy and compared with each other to determine the statistical scatter of the underlying distributions. We find global consistency between our models and in comparison to previous simulations, with only some localised fluctuations, e.g. in the spiral arms. This implementation of a three-dimensional source model based on observations and simulations enables a new quality of propagation modelling. It offers possibilities for more realistic CR transport scenarios beyond radial symmetry and delivers meaningful results in both the arm and interarm regions of the Galaxy. This gives a more realistic picture of the Galactic $\gamma$-ray sky by including structures from the source model and not just the gas distributions.


title: Topological Characterization of Kitaev Spin Nanoribbons with Ordered Flux Configurations

abstract: We demonstrate topological characterization of $S=\frac{1}{2}$ Kitaev quantum spin liquids on a series of one-dimensional honeycomb nanoribbon lattices with zigzag and armchair terminated edges. We draw their Majorana spinon phase diagrams with varying nearest-neighbor exchange couplings not only at the sector of the ground flux configuration but also at some sectors of excited flux configurations. In the ground states of the zigzag and armchair nanoribbons, there occur a single and multiple phase transitions, respectively, the former and latter of which are insensitive and subject to the background flux configuration, respectively. Topological phases each have a winding number as their invariant. On each phase boundary, the Majorana spinon dispersion relation reflects both of the change in the winding number and the background flux configuration.


title: SIND: A Drone Dataset at Signalized Intersection in China

abstract: Intersection is one of the most challenging scenarios for autonomous driving tasks. Due to the complexity and stochasticity, essential applications (e.g., behavior modeling, motion prediction, safety validation, etc.) at intersections rely heavily on data-driven techniques. Thus, there is an intense demand for trajectory datasets of traffic participants (TPs) in intersections. Currently, most intersections in urban areas are equipped with traffic lights. However, there is not yet a large-scale, high-quality, publicly available trajectory dataset for signalized intersections. Therefore, in this paper, a typical two-phase signalized intersection is selected in Tianjin, China. Besides, a pipeline is designed to construct a Signalized INtersection Dataset (SIND), which contains 7 hours of recording including over 13,000 TPs with 7 types. Then, the behaviors of traffic light violations in SIND are recorded. Furthermore, the SIND is also compared with other similar works. The features of the SIND can be summarized as follows: 1) SIND provides more comprehensive information, including traffic light states, motion parameters, High Definition (HD) map, etc. 2) The category of TPs is diverse and characteristic, where the proportion of vulnerable road users (VRUs) is up to 62.6% 3) Multiple traffic light violations of non-motor vehicles are shown. We believe that SIND would be an effective supplement to existing datasets and can promote related research on autonomous driving.The dataset is available online via: https://github.com/SOTIF-AVLab/SinD


title: You Are What You Use: Usage-based Profiling in IoT Environments

abstract: Habit extraction is essential to automate services and provide appliance usage insights in the smart home environment. However, habit extraction comes with plenty of challenges in viewing typical start and end times for particular activities. This paper introduces a novel way of identifying habits using an ensemble of unsupervised clustering techniques. We use different clustering algorithms to extract habits based on how static or dynamic they are. Silhouette coefficients and a novel noise metric are utilized to extract habits appropriately. Furthermore, we associate the extracted habits with time intervals and a confidence score to denote how confident we are that a habit is likely to occur at that time.


title: A Survey of Machine Unlearning

abstract: Today, computer systems hold large amounts of personal data. Yet while such an abundance of data allows breakthroughs in artificial intelligence, and especially machine learning (ML), its existence can be a threat to user privacy, and it can weaken the bonds of trust between humans and AI. Recent regulations now require that, on request, private information about a user must be removed from both computer systems and from ML models, i.e. ``the right to be forgotten''). While removing data from back-end databases should be straightforward, it is not sufficient in the AI context as ML models often `remember' the old data. Contemporary adversarial attacks on trained models have proven that we can learn whether an instance or an attribute belonged to the training data. This phenomenon calls for a new paradigm, namely machine unlearning, to make ML models forget about particular data. It turns out that recent works on machine unlearning have not been able to completely solve the problem due to the lack of common frameworks and resources. Therefore, this paper aspires to present a comprehensive examination of machine unlearning's concepts, scenarios, methods, and applications. Specifically, as a category collection of cutting-edge studies, the intention behind this article is to serve as a comprehensive resource for researchers and practitioners seeking an introduction to machine unlearning and its formulations, design criteria, removal requests, algorithms, and applications. In addition, we aim to highlight the key findings, current trends, and new research areas that have not yet featured the use of machine unlearning but could benefit greatly from it. We hope this survey serves as a valuable resource for ML researchers and those seeking to innovate privacy technologies. Our resources are publicly available at https://github.com/tamlhp/awesome-machine-unlearning.


title: On groups of rectangle exchange transformations

abstract: We study a generalization Rec_d of the group IET=Rec_1 of interval exchange transformations in every dimension d>0, called the rectangle exchange transformations group. The subset of restricted rotations in IET is a generating subset and we prove that a natural generalization of these elements, called restricted shuffles, form a generating subset of Rec_d. We denote by T_d the subset of Rec_d made up of those transformations that permute two disjoint rectangles by translations. We prove that the derived subgroup of Rec_d is generated by T_d. We also identify the abelianization of Rec_d.


title: The Influence of Particle Softness on Active Glassy Dynamics

abstract: Active matter studies are increasingly geared towards the high-density or glassy limit. This is mainly inspired by the remarkable resemblance between active glassy materials and conventional passive glassy matter. Interestingly, within this limit it has recently been shown that the relaxation dynamics of active quasi-hard spheres is non-monotonic and most enhanced by activity when the intrinsic active length scale (e.g., the persistence length) is equal to the cage length, i.e. the length scale of local particle caging. This optimal enhancement effect is claimed to result from the most efficient scanning of local particle cages. Here we demonstrate that this effect and its physical explanation are fully retained for softer active spheres. We perform extensive simulations of athermal active Brownian particles (ABPs) and show that the non-monotonic change of the relaxation dynamics remains qualitatively similar for varying softness. We explain quantitative differences by relating them to the longer range of the softer interaction potential, which decreases the cage length and obscures the intrinsic active motion. Moreover, we observe that only when the persistence length surpasses the cage length, distinct qualitative changes with respect to an equivalent passive Brownian particle system start to manifest themselves. Overall, our results further strengthen the importance of the cage length and its relation to the relevant active length scale in the context of active glassy materials.


title: Towards non-linear quadrature formulae

abstract: Prompted by an observation about the integral of exponential functions of the form $f(x)=\lambda\mathrm{e}^{\alpha x}$, we investigate the possibility to exactly integrate families of functions generated from a given function by scaling or by affine transformations of the argument using nonlinear generalizations of quadrature formulae. The main result of this paper is that such formulae can be explicitly constructed for a wide class of functions, and have the same accuracy as Newton-Cotes formulae based on the same nodes. We also show how Newton-Cotes formulae emerge as the linear case of our general formalism, and demonstrate the usefulness of the nonlinear formulae in the context of the Pad\'e-Laplace method of exponential analysis.


title: Spin-filtering in a $p$-orbital helical atomic chain

abstract: We theoretically analyze spin filtering in two-terminal systems, induced by the spin-orbit interaction (SOI), as a possible origin of the ``chirality-induced spin selectivity'' (CISS) effect observed experimentally in chiral molecules, such as DNA. Due to Bardarson's theorem, spin filtering cannot be realized in a molecule containing one orbital-channel. However, when two orbitals are involved, SOI can induce spin filtering in a molecule coupled to two terminals without braking time-reversal symmetry. In particular, we provide an example of a $4 \times 4$ reflection matrix for a spinful electron passing through a molecule containing two orbital-channels, which complies with Bardarson's theorem and produces a finite spin conductance. As a microscopic toy model realizing a single strand of DNA, we consider a $p$-orbital helical atomic chain with intra-atomic SOI's and a strong crystalline field along the helix. This model exhibits two-orbital spin filtering: For various parameters preserving the helical symmetry, the model hosts spin asymmetric states carrying pairs of up and down spins propagating in opposite directions. The typical energy scale of the helical states is the product of the intra-atomic SOI and the curvature. The large value of this energy identifies our model as a likely candidate to explain the CISS in organic molecules.


title: Coexistence Designs of Radar and Communication Systems in a Multi-path Scenario

abstract: The focus of this study is on the spectrum sharing between multiple-input multiple-output (MIMO) communications and co-located MIMO radar systems in multi-path environments. The major challenge is to suppress the mutual interference between the two systems while combining the useful multi-path components received at each system. We tackle this challenge by jointly designing the communication precoder, radar transmit waveform and receive filter. Specifically, the signal-to-interference-plus-noise ratio (SINR) at the radar receiver is maximized subject to constraints on the radar waveform, communication rate and transmit power. The multi-path propagation complicates the expressions of the radar SINR and communication rate, leading to a non-convex problem. To solve it, a sub-optimal algorithm based on the alternating maximization is used to optimize the precoder, radar transmit waveform and receive filter iteratively. Simulation results are provided to demonstrate the effectiveness of the proposed design.


title: Rates of Convergence for Regression with the Graph Poly-Laplacian

abstract: In the (special) smoothing spline problem one considers a variational problem with a quadratic data fidelity penalty and Laplacian regularisation. Higher order regularity can be obtained via replacing the Laplacian regulariser with a poly-Laplacian regulariser. The methodology is readily adapted to graphs and here we consider graph poly-Laplacian regularisation in a fully supervised, non-parametric, noise corrupted, regression problem. In particular, given a dataset $\{x_i\}_{i=1}^n$ and a set of noisy labels $\{y_i\}_{i=1}^n\subset\mathbb{R}$ we let $u_n:\{x_i\}_{i=1}^n\to\mathbb{R}$ be the minimiser of an energy which consists of a data fidelity term and an appropriately scaled graph poly-Laplacian term. When $y_i = g(x_i)+\xi_i$, for iid noise $\xi_i$, and using the geometric random graph, we identify (with high probability) the rate of convergence of $u_n$ to $g$ in the large data limit $n\to\infty$. Furthermore, our rate, up to logarithms, coincides with the known rate of convergence in the usual smoothing spline model.


title: A Complete Characterization of Bounded Motion Polynomials Admitting a Factorization with Linear Factors

abstract: Motion polynomials (polynomials over the dual quaternions with the non-zero real norm) describe rational motions. We present a necessary and sufficient condition for reduced bounded motion polynomials to admit factorizations into linear factors, and we give an algorithm to compute them. We can use those linear factors to construct mechanisms because the factorization corresponds to the decomposition of the rational motion into simple rotations or translations. Bounded motion polynomials always admit a factorization into linear factors after multiplying with a suitable real or quaternion polynomial. Our criterion for factorizability allows us to improve on earlier algorithms to compute a suitable real or quaternion polynomial co-factor.


title: A first-order logic characterization of safety and co-safety languages

abstract: Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespread use there are its strong foundational properties: LTL is equivalent to counter-free omega-automata, to star-free omega-regular expressions, and (by Kamp's theorem) to the First-Order Theory of Linear Orders (FO-TLO). Safety and co-safety languages, where a finite prefix suffices to establish whether a word does not belong or belongs to the language, respectively, play a crucial role in lowering the complexity of problems like model checking and reactive synthesis for LTL. SafetyLTL (resp., coSafetyLTL) is a fragment of LTL where only universal (resp., existential) temporal modalities are allowed, that recognises safety (resp., co-safety) languages only. The main contribution of this paper is the introduction of a fragment of FO-TLO, called SafetyFO, and of its dual coSafetyFO, which are expressively complete with respect to the LTL-definable safety and co-safety languages. We prove that they exactly characterize SafetyLTL and coSafetyLTL, respectively, a result that joins Kamp's theorem, and provides a clearer view of the characterization of (fragments of) LTL in terms of first-order languages. In addition, it gives a direct, compact, and self-contained proof that any safety language definable in LTL is definable in SafetyLTL as well. As a by-product, we obtain some interesting results on the expressive power of the weak tomorrow operator of SafetyLTL, interpreted over finite and infinite words. Moreover, we prove that, when interpreted over finite words, SafetyLTL (resp. coSafetyLTL) devoid of the tomorrow (resp., weak tomorrow) operator captures the safety (resp., co-safety) fragment of LTL over finite words.


title: Is it Fun?: Understanding Enjoyment in Non-Game HCI Research

abstract: An experience of fun can be an important factor for validating the value of games. Research on non-game HCI has been attempted to measure the enjoyment of work. However, a majority of the studies do not discuss the importance and value of the result. It is not clear as to how the term fun is understood in a non-game context. To analyze this shortcoming, we reviewed extant studies, and explored as to how researchers determine if the value of an activity is fun. Consequently, we discussed and categorized the usage of the terms and analyzed the methodologies that are used in extant studies that evaluate the effects of fun and related terms. To gain a better understanding of fun in HCI, we provided several directions that can be discussed for strengthening enjoyable HCI research beyond applications involving games.


title: Existence of $\lambda$-Fold Non-zero sum Heffter arrays through local considerations

abstract: In [12] was introduced, for cyclic groups, the class of partially filled arrays of the non-zero sum Heffter array that are, as the Heffter arrays, related to difference families, graph decompositions, and biembeddings. Here we generalize this definition to any finite groups. Given a subgroup $J$ of order $t$ of a group $G$, a $\lambda$-fold non-zero sum Heffter array over $G$ relative to $J$, $^\lambda\mathrm{N}\mathrm{H}_t(m,n; h,k)$, is an $m \times n$ p. f. array with entries in $G$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x\in G\setminus J$, the sum of the occurrence of $x$ and $-x$ is $\lambda$; the sum of the elements in every row and column is, following the natural orderings from left to right for the rows and from top to bottom for the columns, different from $0$ (in $G$). In [12], there was presented a complete, probabilistic, solution for the existence problem in case $\lambda=1$ and $G=\mathbb{Z}_v$ that is the starting point of this investigation. In this paper, we will consider the existence problem for a generic value of $\lambda$ and a generic finite group $G$, and we present an almost complete solution to this problem. In particular, we will prove, through local considerations (inspired by Lov\'asz Local Lemma), that there exists a $\lambda$-fold non-zero sum Heffter array over $G$ relative to $J$ whenever the trivial necessary conditions are satisfied and $|G|=v\geq 41$. This value can be turned down to $29$ in case the array does not contain empty cells. Finally, we will show that these arrays give rise to biembeddings of multigraphs into orientable surfaces and we provide new infinite families of such embeddings.


title: Variable star classification with a Multiple-Input Neural Network

abstract: In this experiment, we created a Multiple-Input Neural Network, consisting of Convolutional and Multi-layer Neural Networks. With this setup the selected highest-performing neural network was able to distinguish variable stars based on the visual characteristics of their light curves, while taking also into account additional numerical information (e.g. period, reddening-free brightness) to differentiate visually similar light curves. The network was trained and tested on OGLE-III data using all OGLE-III observation fields, phase-folded light curves and period data. The neural network yielded accuracies of 89--99\% for most of the main classes (Cepheids, $\delta$ Scutis, eclipsing binaries, RR Lyrae stars, Type-II Cepheids), only the first-overtone Anomalous Cepheids had an accuracy of 45\%. To counteract the large confusion between the first-overtone Anomalous Cepheids and the RRab stars we added the reddening-free brightness as a new input and only stars from the LMC field were retained to have a fixed distance. With this change we improved the neural network's result for the first-overtone Anomalous Cepheids to almost 80\%. Overall, the Multiple-input Neural Network method developed by our team is a promising alternative to existing classification methods.


title: On the unicyclic graphs having vertices that belong to all their (strong) metric bases

abstract: A metric basis in a graph $G$ is a smallest possible set $S$ of vertices of $G$, with the property that any two vertices of $G$ are uniquely recognized by using a vector of distances to the vertices in $S$. A strong metric basis is a variant of metric basis that represents a smallest possible set $S'$ of vertices of $G$ such that any two vertices $x,y$ of $G$ are uniquely recognized by a vertex $v\in S'$ by using either a shortest $x-v$ path that contains $y$, or a shortest $y-v$ path that contains $x$. Given a graph $G$, there exist sometimes some vertices of $G$ such that they forcedly belong to every metric basis or to every strong metric basis of $G$. Such vertices are called (resp. strong) basis forced vertices in $G$. It is natural to consider finding them, in order to find a (strong) metric basis in a graph. However, deciding about the existence of these vertices in arbitrary graphs is in general an NP-hard problem, which makes desirable the problem of searching for (strong) basis forced vertices in special graph classes. This article centers the attention in the class of unicyclic graphs. It is known that a unicyclic graph can have at most two basis forced vertices. In this sense, several results aimed to classify the unicyclic graphs according to the number of basis forced vertices they have are given in this work. On the other hand, with respect to the strong metric bases, it is proved in this work that unicyclic graphs can have as many strong basis forced vertices as we would require. Moreover, some characterizations of the unicyclic graphs concerning the existence or not of such vertices are given in the exposition as well.


title: On the consistency of the matrix equation $X^\top A X=B$ when $B$ is symmetric: the case where CFC($A$) includes skew-symmetric blocks

abstract: In this paper, which is a follow-up to [A. Borobia, R. Canogar, F. De Ter\'an, Mediterr. J. Math. 18, 40 (2021)], we provide a necessary and sufficient condition for the matrix equation $X^\top AX=B$ to be consistent when $B$ is symmetric. The condition depends on the canonical form for congruence of the matrix $A$, and is proved to be necessary for all matrices $A$, and sufficient for most of them. This result improves the main one in the previous paper, since the condition is stronger than the one in that reference, and the sufficiency is guaranteed for a larger set of matrices (namely, those whose canonical form for congruence, CFC($A$), includes skew-symmetric blocks).


title: Sharp enhancement on thermoelectric figure-of-merit of post-transition metal chalcogenides (PTMCs) using heterostructures with Mexican-hat valence band

abstract: Post-transition metal chalcogenides (PTMCs) such as GaSe, GaS, InSe, and InS have been proposed as promising thermoelectric materials due to low lattice conductivity, originating from the atomically layered structure, high Seebeck coefficient, and the anticipation that its figure-of-merit be improved when thinned to few-layers as the band structure turns into Mexican-hat valence band (MHVB). Here we show by ab initio calculations that the MHVB should be present even on thick films of InSe/GaSe type-II heterostructures, and a 50% enhancement on thermoelectric figure-of-merit zT at room-temperature is expected when compared with bulk InSe.


title: A Multi-FPGA High Performance Computing System for 3D FFT-based Numerical Simulations

abstract: In the field of High Performance Computing, communications among processes represent a typical bottleneck for massively parallel scientific applications. Object of this research is the development of a network interface card with specific offloading capabilities that could help large scale simulations in terms of communication latency and scalability with the number of computing elements. In particular this work deals with the development of a double precision floating point complex arithmetic unit with a parallel-pipelined architecture, in order to implement a massively parallel computing system tailored for three dimensional Fast Fourier Transform.


title: Exact Penalization at D-Stationary Points of Cardinality- or Rank-Constrained Problem

abstract: This paper studies the properties of d-stationary points of the trimmed lasso (Luo et al., 2013, Huang et al., 2015, and Gotoh et al., 2018) and the composite optimization problem with the truncated nuclear norm (Gao and Sun, 2010, and Zhang et al., 2012), which are known as tight relaxations of nonconvex optimization problems that have either cardinality or rank constraints, respectively. First, we extend the trimmed lasso for broader applications and conduct a unified analysis of the property of the generalized trimmed lasso. Next, the equivalence between local optimality and d-stationarity of the generalized trimmed lasso is shown under a suitable assumption. More generally, the equivalence is shown for problems that minimize a function defined by the pointwise minimum of finitely many convex functions. Then, we present new results of the exact penalty at d-stationary points of the generalized trimmed lasso and the problem with the truncated nuclear norm penalty under mild assumptions. Our exact penalty results are not only new, but also intuitive, so that we can see what properties of the problems play a role for establishing the exact penalization. Lastly, it is shown that existing algorithms that yield a d-stationary point always converge to a solution that satisfies the cardinality or rank constraint.


title: Wavelet-based Loss for High-frequency Interface Dynamics

abstract: Generating highly detailed, complex data is a long-standing and frequently considered problem in the machine learning field. However, developing detail-aware generators remains an challenging and open problem. Generative adversarial networks are the basis of many state-of-the-art methods. However, they introduce a second network to be trained as a loss function, making the interpretation of the learned functions much more difficult. As an alternative, we present a new method based on a wavelet loss formulation, which remains transparent in terms of what is optimized. The wavelet-based loss function is used to overcome the limitations of conventional distance metrics, such as L1 or L2 distances, when it comes to generate data with high-frequency details. We show that our method can successfully reconstruct high-frequency details in an illustrative synthetic test case. Additionally, we evaluate the performance when applied to more complex surfaces based on physical simulations. Taking a roughly approximated simulation as input, our method infers corresponding spatial details while taking into account how they evolve. We consider this problem in terms of spatial and temporal frequencies, and leverage generative networks trained with our wavelet loss to learn the desired spatio-temporal signal for the surface dynamics. We test the capabilities of our method with a set of synthetic wave function tests and complex 2D and 3D dynamics of elasto-plastic materials.


title: Layer or Representation Space: What makes BERT-based Evaluation Metrics Robust?

abstract: The evaluation of recent embedding-based evaluation metrics for text generation is primarily based on measuring their correlation with human evaluations on standard benchmarks. However, these benchmarks are mostly from similar domains to those used for pretraining word embeddings. This raises concerns about the (lack of) generalization of embedding-based metrics to new and noisy domains that contain a different vocabulary than the pretraining data. In this paper, we examine the robustness of BERTScore, one of the most popular embedding-based metrics for text generation. We show that (a) an embedding-based metric that has the highest correlation with human evaluations on a standard benchmark can have the lowest correlation if the amount of input noise or unknown tokens increases, (b) taking embeddings from the first layer of pretrained models improves the robustness of all metrics, and (c) the highest robustness is achieved when using character-level embeddings, instead of token-based embeddings, from the first layer of the pretrained model.


title: Simulations Campaign of the Turbulent Diffusion at Tokamaks Edges

abstract: The understanding of cross-field transport is crucial in order to optimize the properties of magnetic confinement in modern fusion devices. In this work, a two-dimensional, simplified model is used to study the turbulent dynamics in the region of the scrape-off layer. We show how the numerical model, based on the reduced Braginskii equations, is able to describe the formation and the evolution over time of blobs structures. We study these complex dynamics by using both classical Eulerian analysis and the Lagrangian approach, by varying the ambient conditions of the plasma. We have found that both the magnetic shear and the plasma profiles are crucial for the properties of the transport. By following Lagrangian tracers, we observed diffusive transients for the radial transport, at lengthscales larger than the typical blob size. This work is relevant for the comprehension of the turbulent transport at the edges of tokamak devices.


title: Well-Separation and Hyperplane Transversals in High Dimensions

abstract: A family of $k$ point sets in $d$ dimensions is well-separated if the convex hulls of any two disjoint subfamilies can be separated by a hyperplane. Well-separation is a strong assumption that allows us to conclude that certain kinds of generalized ham-sandwich cuts for the point sets exist. But how hard is it to check if a given family of high-dimensional point sets has this property? Starting from this question, we study several algorithmic aspects of the existence of transversals and separations in high-dimensions. First, we give an explicit proof that $k$ point sets are well-separated if and only if their convex hulls admit no $(k - 2)$-transversal, i.e., if there exists no $(k - 2)$-dimensional flat that intersects the convex hulls of all $k$ sets. It follows that the task of checking well-separation lies in the complexity class coNP. Next, we show that it is NP-hard to decide whether there is a hyperplane-transversal (that is, a $(d - 1)$-transversal) of a family of $d + 1$ line segments in $\mathbb{R}^d$, where $d$ is part of the input. As a consequence, it follows that the general problem of testing well-separation is coNP-complete. Furthermore, we show that finding a hyperplane that maximizes the number of intersected sets is NP-hard, but allows for an $\Omega\left(\frac{\log k}{k \log \log k}\right)$-approximation algorithm that is polynomial in $d$ and $k$, when each set consists of a single point. When all point sets are finite, we show that checking whether there exists a $(k - 2)$-transversal is in fact strongly NP-complete.


title: ALETHEIA: Hunting for Low-mass Dark Matter with Liquid Helium TPCs

abstract: Dark Matter (DM) is one of the most critical questions to be understood and answered in fundamental physics today. Observations with varied astronomical and cosmological technologies strongly indicated that DM exists in the Universe, the Milky Way, and the Solar System. Nevertheless, understanding DM under the language of elementary physics is still in progress. DM direct detection tests the interactive cross-section between galactic DM particles and an underground detector's nucleons. Although Weakly Interactive Massive Particles (WIMPs) are the most discussed DM candidates, the null-WIMPs conclusion has been consistently addressed by the most convincing experiments in the field. Relatively, the low-mass WIMPs region ($\sim$ 10 MeV/c$^2$ - 10 GeV/c$^2$) has not been fully exploited compared to high-mass WIMPs ($\sim$ 10 GeV/c$^2$ - 10 TeV/c$^2$). The ALETHEIA (A Liquid hElium Time projection cHambEr In dArk matter) experiment aims to hunt for low-mass WIMPs with liquid helium-filled TPCs (Time Projection Chambers). In this paper, we go through the physics motivation of the project, the detector's design, the R\&D plan, and the progress we have made since the project has been launched in the summer of 2020.


title: Stochastic dynamics for Group Field Theories

abstract: Phase transitions with spontaneous symmetry breaking are expected for group field theories as a basic feature of the geometogenesis scenario. The following paper aims to investigate the equilibrium phase for group field theory by using the ergodic hypothesis on which the Gibbs-Boltzmann distributions must break down. The breaking of the ergodicity can be considered dynamically, by introducing a fictitious time inducing a stochastic process described through a Langevin equation, from which the randomness of the tensor field will be a consequence. This type of equation is considered particularly for complex just-renormalizable Abelian model of rank d = 5, and we study some of their properties by using a renormalization group considering a coarse- graining both in time and space.


title: Initial-State Dependent Optimization of Controlled Gate Operations with Quantum Computer

abstract: There is no unique way to encode a quantum algorithm into a quantum circuit. With limited qubit counts, connectivity, and coherence times, a quantum circuit optimization is essential to make the best use of near-term quantum devices. We introduce a new circuit optimizer called AQCEL, which aims to remove redundant controlled operations from controlled gates, depending on initial states of the circuit. Especially, the AQCEL can remove unnecessary qubit controls from multi-controlled gates in polynomial computational resources, even when all the relevant qubits are entangled, by identifying zero-amplitude computational basis states using a quantum computer. As a benchmark, the AQCEL is deployed on a quantum algorithm designed to model final state radiation in high energy physics. For this benchmark, we have demonstrated that the AQCEL-optimized circuit can produce equivalent final states with much smaller number of gates. Moreover, when deploying AQCEL with a noisy intermediate scale quantum computer, it efficiently produces a quantum circuit that approximates the original circuit with high fidelity by truncating low-amplitude computational basis states below certain thresholds. Our technique is useful for a wide variety of quantum algorithms, opening up new possibilities to further simplify quantum circuits to be more effective for real devices.


title: Ultrahigh-Resolution Wireless Capacitance Readout Based on Single Real Mode in Perturbed Parity-Time-Symmetric Sandwich-Type Electronic Trimer

abstract: High-performance interrogation of inductor-capacitor (LC) microsensor has been a long-standing challenge due to the limited size of the sensor. Parity-time (PT) symmetry, an intriguing concept originated from quantum physics, has been utilized to improve the spectral resolution and sensitivity of the conventional readout circuit, while the PT symmetry condition has to be satisfied. In this work, a sandwich-type wireless capacitance readout mechanism based on perturbed PT-symmetric electronic trimer without manual tuning of the reader circuit is proposed. Theoretical eigenvalue analysis by solving the system equations shows that the system exhibits single real mode in weak coupling regime whose eigenfrequency changes in response to the capacitance of the neutral resonator. Furthermore, the proposed readout system exhibits wider readout capacitance range compared to standard PT-symmetry-based system while retaining higher Q-factor compared to conventional readout method, which has been validated with the experimental prototype based on printed circuit board. Our work not only enriches the underlying theory of non-Hermitian physics, but also shows potential applications in scenarios where longer interrogation distance is required, such as implanted medical devices, parameter detection in harsh environment, etc.


title: The periplectic $q$-Brauer category

abstract: We introduce the periplectic $q$-Brauer category over an integral domain of characteristic not $2$. This is a strict monoidal supercategory and can be considered as a $q$-analogue of the periplectic Brauer category. We prove that the periplectic $q$-Brauer category admits a split triangular decomposition in the sense of Brundan-Stroppel. When the ground ring is an algebraically closed field, the category of locally finite dimensional right modules for the periplectic $q$-Brauer category is an upper finite fully stratified category in the sense of Brundan and Stroppel. We prove that periplectic $q$-Brauer algebras defined in [1] are isomorphic to endomorphism algebras in the periplectic $q$-Brauer category. Furthermore, a periplectic $q$-Brauer algebra is a standardly based algebra in the sense of Du and Rui. We construct Jucys-Murphy basis for any standard module of the periplectic $q$-Brauer algebra with respect to a family of commutative elements called Jucys-Murphy elements. Via them, we classify blocks for both periplectic $q$-Brauer category and periplectic $q$-Brauer algebras in generic case. Our result shows that both periplectic $q$-Brauer category and periplectic $q$-Brauer algebras are always not semisimple over any algebraically closed field.


title: Failure of the Ryll-Nardzewski theorem on the CAR algebra

abstract: Spreadability of a sequence of random variables is a distributional symmetry that is implemented by suitable actions of $\mathbb{J}_\mathbb{Z}$, the unital semigroup of strictly increasing maps on $\mathbb{Z}$ with cofinite range. We show that $\mathbb{J}_\mathbb{Z}$ is left amenable but not right amenable, although it does admit a right Folner sequence. This enables us to prove that on the CAR algebra ${\rm CAR}(\mathbb{Z})$ there exist spreadable states that fail to be exchangeable. Moreover, we also show that on ${\rm CAR}(\mathbb{Z})$there exist stationary states that fail to be spreadable.


title: On the prescribed negative Gauss curvature problem for graphs

abstract: We revisit the problem of prescribing negative Gauss curvature for graphs embedded in $\mathbb R^{n+1}$ when $n\geq 2$. The problem reduces to solving a fully nonlinear Monge-Amp\`ere equation that becomes hyperbolic in the case of negative curvature. We show that the linearization around a graph with Lorentzian Hessian can be written as a geometric wave equation for a suitable Lorentzian metric in dimensions $n\geq 3$. Using energy estimates for the linearized equation and a version of the Nash-Moser iteration, we show the local solvability for the fully nonlinear equation. Finally, we discuss some obstructions and perspectives on the global problem.


title: "Pseudo-Conformal" Sound Speed in the Core of Compact Stars

abstract: We present the argument that "pseudo-conformal" symmetry permeates from low density near nuclear matter to high density in the core of massive neutron stars. As a support of this argument, we describe how the quenched $g_A\approx 1$ in nuclei and the sound speed $v_s^2/c^2\approx 1/3$ in compact stars are controlled by emerging scale invariance in nuclear interactions. In our description, quasi-baryons could "masquerade" de-confined quarks in the interior of compact stars.


title: Assessment of coupled bilayer-cytoskeleton modelling strategy for red blood cell dynamics in flow

abstract: The red blood cell (RBC) membrane is composed of a lipid bilayer and a cytoskeleton interconnected by protein junction complexes, allowing for potential sliding between the lipid bilayer and the cytoskeleton. Despite this biological reality, it is most often modelled as a single-layer model, a hyperelastic capsule or a fluid vesicle. Another approach involves incorporating the membrane's composite structure using double layers, where one layer represents the lipid bilayer and the other represents the cytoskeleton. In this paper, we computationally assess the various modelling strategies by analysing RBC behaviour in extensional flow and four distinct regimes that simulate RBC dynamics in shear flow. The proposed double-layer strategies, such as the vesicle-capsule and capsule-capsule models, account for the fluidity and surface incompressibility of the lipid bilayer in different ways. Our findings demonstrate that introducing sliding between the layers offers the cytoskeleton a considerable degree of freedom to alleviate its elastic stresses, resulting in a significant increase in RBC elongation. Surprisingly, our study reveals that the membrane modelling strategy for RBCs holds greater importance than the choice of the cytoskeleton's reference shape. These results highlight the inadequacy of considering mechanical properties alone and emphasise the need for careful integration of these properties. Furthermore, our findings fortuitously uncover a novel indicator for determining the appropriate stress-free shape of the cytoskeleton.


title: Multimodal contrastive learning for remote sensing tasks

abstract: Self-supervised methods have shown tremendous success in the field of computer vision, including applications in remote sensing and medical imaging. Most popular contrastive-loss based methods like SimCLR, MoCo, MoCo-v2 use multiple views of the same image by applying contrived augmentations on the image to create positive pairs and contrast them with negative examples. Although these techniques work well, most of these techniques have been tuned on ImageNet (and similar computer vision datasets). While there have been some attempts to capture a richer set of deformations in the positive samples, in this work, we explore a promising alternative to generating positive examples for remote sensing data within the contrastive learning framework. Images captured from different sensors at the same location and nearby timestamps can be thought of as strongly augmented instances of the same scene, thus removing the need to explore and tune a set of hand crafted strong augmentations. In this paper, we propose a simple dual-encoder framework, which is pre-trained on a large unlabeled dataset (~1M) of Sentinel-1 and Sentinel-2 image pairs. We test the embeddings on two remote sensing downstream tasks: flood segmentation and land cover mapping, and empirically show that embeddings learnt from this technique outperform the conventional technique of collecting positive examples via aggressive data augmentations.


title: Possible Connection between Dark Matter and Supermassive Black Holes

abstract: Dark Matter (DM) is usually studied in connection with rotational curves in the outskirts of the galaxies. However, the role of DM might be different in the galactic bulges and centers where Supermassive Black Holes (SMBHs) dominate the gravitational interaction. Indeed, given the fact that DM is the dominant matter species in the Universe, it is natural to assume a close connection between DM and SMBHs. Here we probe into this possibility by constructing stable objects with fuzzy mass distributions based on standard DM profiles. These astrophysical objects come out in three types: a fuzzy droplet without horizon and fuzzy Black Holes (BHs) with one or two horizons. We emphasize that all objects are solutions of Einstein equations. Their effective potentials which govern the motion of a test body, can display a reasonable similarity to the effective potential of a Schwarzschild BH at the galactic center. Therefore, some of our solutions could, in principle, replace the standard BH-picture of the galactic center and, at the same time, have the advantage that they have been composed of the main matter ingredient of the Universe.


title: Holographic model for the first order phase transition in the composite Higgs boson scenario

abstract: The composite Higgs model assumes that the Higgs field arises as the pseudo-Goldstone mode corresponding to a dynamical symmetry breaking in a new strongly coupled sector. We present a soft-wall holographic model where such symmetry breaking occurs as a first order phase transition. In this case the bubble nucleation in the early universe becomes possible. To study the homogeneous solutions in the models of this type we present the perturbation theory approach. We estimate the gravitational wave spectrum produced during the nucleation phase and find it to be detectable with the planned gravitational wave detectors.


title: Ecosystem for Demand-side Flexibility Revisited: The Danish Solution

abstract: Denmark has recently set a legislation called Market Model 3.0 to make the ecosystem for demand-side flexibility more attractive to stakeholders involved. The main change is to relax the previous mandate that required each aggregator to be associated with a retailer and a balance responsible party. We explain the rationale behind such a change and its implications, particularly on the pre-qualification of demand-side portfolios providing ancillary services.


title: Skyrmions in van der Waals centrosymmetric materials with Dzyaloshinskii-Moriya interactions

abstract: Skyrmions can appear in non-centrosymmetric material because of the non-vanishing Dzyaloshinskii-Moriya interactions (DMI). In this paper, we study the magnetic properties of the rhombohedral MX$_{3}$ (M: V, Cr, Mn, and Fe. X: Cl, Br, and I) van der Waals materials with centrosymmetric lattice by combining first-principles calculations and Monte Carlo simulations. We found that the Dzyaloshinskii-Moriya vector acting between the second nearest neighbor sites of the intra-layer is non-zero and quite large even in MX$_{3}$ due to the breaking of the local inversion symmetry. We have found that the large DMI causes nano-scale magnetic vortexes, so-called skyrmions in MX$_{3}$. The diameter of skyrmions, e.g., in CrCl$_{3}$, is small, i.e., 2 nm, which is promising for the application of high-density magnetic memory devices. We have also found that not only conventional skyrmions in CrCl$_{3}$ and VCl$_{3}$ but also antiferromagnetic skyrmions in FeCl$_{3}$ and meron in MnCl$_{3}$ appear. Furthermore, we have found that the skyrmions in ClCl$_{3}$ and VCl$_{3}$ have a different helicity, which shows the possibility of controlling the helicity by electron/hole doping in MX$_{3}$ materials. Van der Waals materials, which have a great advantage of high degrees of freedom in structures such as heterostructures and twisted structures, exhibit high potential as skyrmion materials.


title: An Adaptive Column Compression Family for Self-Driving Databases

abstract: Modern in-memory databases are typically used for high-performance workloads, therefore they have to be optimized for small memory footprint and high query speed at the same time. Data compression has the potential to reduce memory requirements but often reduces query speed too. In this paper we propose a novel, adaptive compressor that offers a new trade-off point of these dimensions, achieving better compression than LZ4 while reaching query speeds close to the fastest existing segment encoders. We evaluate our compressor both with synthetic data in isolation and on the TPC-H and Join Order Benchmarks, integrated into a modern relational column store, Hyrise.


title: Understanding Labor Market Discrimination Against Transgender People: Evidence from a Double List Experiment and a Survey

abstract: Using a US nationally representative sample and a double list experiment designed to elicit views free from social desirability bias, we find that anti-transgender labor market attitudes are significantly underreported. After correcting for this concealment, we report that 73 percent of people would be comfortable with a transgender manager and 74 percent support employment non-discrimination protection for transgender people. We also show that respondents severely underestimate the population level of support for transgender individuals in the workplace, and we find that labor market support for transgender people is significantly lower than support for gay, lesbian, and bisexual people. Our results provide timely evidence on workplace-related views toward transgender people and help us better understand employment discrimination against them.


title: Emergent centrality in rank-based supplanting process

abstract: We propose a stochastic process of interacting many agents, which is inspired by rank-based supplanting dynamics commonly observed in a group of Japanese macaques. In order to characterize the breaking of permutation symmetry with respect to agents' rank in the stochastic process, we introduce a rank-dependent quantity, overlap centrality, which quantifies how often a given agent overlaps with the other agents. We give a sufficient condition in a wide class of the models such that overlap centrality shows perfect correlation in terms of the agents' rank in zero-supplanting limit. We also discuss a singularity of the correlation in the case of interaction induced by a Potts energy.


title: Quantum nonlocality in presence of strong measurement dependence

abstract: It is well known that the effect of quantum nonlocality, as witnessed by violation of a Bell inequality, can be observed even when relaxing the assumption of measurement independence, i.e. allowing for the source to be partially correlated with the choices of measurement settings. But what is the minimal amount of measurement independence needed for observing quantum nonlocality? Here we explore this question and consider models with strong measurement-dependent locality, where measurement choices can be perfectly determined in almost all rounds of the Bell test. Yet, we show that quantum nonlocality can still be observed in this scenario, which we conjecture is minimal within the framework we use. We also discuss potential applications in randomness amplification.


title: Let's Learn from Children: Scaffolding to Enable Search as Learning in the Educational Environment

abstract: In this manuscript, we argue for the need to further look at search as learning (SAL) with children as the primary stakeholders. Inspired by how children learn and considering the classroom (regardless of the teaching modality) as a natural educational ecosystem, we posit that scaffolding is the tie that can simultaneously allow for learning to search while searching for learning. The main contribution of this work is a list of open challenges focused on the primary school classroom for the IR community to consider when setting up to explore and make progress on SAL research with and for children and beyond.


title: TransCAB: Transferable Clean-Annotation Backdoor to Object Detection with Natural Trigger in Real-World

abstract: Object detection is the foundation of various critical computer-vision tasks such as segmentation, object tracking, and event detection. To train an object detector with satisfactory accuracy, a large amount of data is required. However, due to the intensive workforce involved with annotating large datasets, such a data curation task is often outsourced to a third party or relied on volunteers. This work reveals severe vulnerabilities of such data curation pipeline. We propose MACAB that crafts clean-annotated images to stealthily implant the backdoor into the object detectors trained on them even when the data curator can manually audit the images. We observe that the backdoor effect of both misclassification and the cloaking are robustly achieved in the wild when the backdoor is activated with inconspicuously natural physical triggers. Backdooring non-classification object detection with clean-annotation is challenging compared to backdooring existing image classification tasks with clean-label, owing to the complexity of having multiple objects within each frame, including victim and non-victim objects. The efficacy of the MACAB is ensured by constructively i abusing the image-scaling function used by the deep learning framework, ii incorporating the proposed adversarial clean image replica technique, and iii combining poison data selection criteria given constrained attacking budget. Extensive experiments demonstrate that MACAB exhibits more than 90% attack success rate under various real-world scenes. This includes both cloaking and misclassification backdoor effect even restricted with a small attack budget. The poisoned samples cannot be effectively identified by state-of-the-art detection techniques.The comprehensive video demo is at https://youtu.be/MA7L_LpXkp4, which is based on a poison rate of 0.14% for YOLOv4 cloaking backdoor and Faster R-CNN misclassification backdoor.


title: Bidirectional coupling of a long-term integrated assessment model REMIND v3.0.0 with an hourly power sector model DIETER v1.0.2

abstract: Integrated assessment models (IAMs) are a central tool for the quantitative analysis of climate change mitigation strategies. However, due to their global, cross-sectoral and centennial scope, IAMs cannot explicitly represent the spatio-temporal detail required to properly analyze the key role of variable renewable electricity (VRE) for decarbonizing the power sector and end-use electrification. In contrast, power sector models (PSMs) incorporate high spatio-temporal resolutions, but tend to have narrower scopes and shorter time horizons. To overcome these limitations, we present a novel methodology: an iterative and fully automated soft-coupling framework that combines the strengths of a IAM and a PSM. This framework uses the market values of power generation as well as the capture prices of demand in the PSM as price signals that change the capacity and power mix of the IAM. Hence, both models make endogenous investment decisions, leading to a joint solution. We apply the method to Germany in a proof-of-concept study using the IAM REMIND and the PSM DIETER, and confirm the theoretical prediction of almost-full convergence both in terms of decision variables and (shadow) prices. At the end of the iterative process, the absolute model difference between the generation shares of any generator type for any year is <5% for a simple configuration (no storage, no flexible demand), and 6-7% for a more realistic and detailed configuration (with storage and flexible demand). For the simple configuration, we mathematically show that this coupling scheme corresponds uniquely to an iterative mapping of the Lagrangians of two power sector optimization problems of different time resolutions, which can lead to a comprehensive model convergence of both decision variables and (shadow) prices. Since our approach is based on fundamental economic principles, it is applicable also to other IAM-PSM pairs.


title: EnergonAI: An Inference System for 10-100 Billion Parameter Transformer Models

abstract: Large transformer models display promising performance on a wide range of natural language processing (NLP) tasks. Although the AI community has expanded the model scale to the trillion parameter level, the practical deployment of 10-100 billion parameter models is still uncertain due to the latency, throughput, and memory constraints. In this paper, we proposed EnergonAI to solve the challenges of the efficient deployment of 10-100 billion parameter transformer models on single- or multi-GPU systems. EnergonAI adopts a hierarchy-controller system architecture to coordinate multiple devices and efficiently support different parallel patterns. It delegates the execution of sub-models to multiple workers in the single-controller style and applies tensor parallelism and pipeline parallelism among the workers in a multi-controller style. Upon the novel architecture, we propose three techniques, i.e. non-blocking pipeline parallelism, distributed redundant computation elimination, and peer memory pooling. EnergonAI enables the users to program complex parallel code the same as a serial one. Compared with the FasterTransformer, we have proven that EnergonAI has superior performance on latency and throughput. In our experiments, EnergonAI can achieve 37% latency reduction in tensor parallelism, 10% scalability improvement in pipeline parallelism, and it improves the model scale inferred on a single GPU by using a larger heterogeneous memory space at cost of limited performance reduction.


title: Internal mechanical dissipation mechanisms in amorphous silicon

abstract: Using the Activation-Relaxation Technique-nouveau, we search for two-level systems (TLSs) in models of amorphous silicon (a-Si). The TLSs are mechanisms related to internal mechanical dissipation and represent the main source of noise in the most sensitive frequency range of the largest gravitational wave detectors as well as one of the main sources of decoherence in many quantum computers. We show that in a-Si, the majority of the TLSs of interest fall into two main categories: bond-defect hopping where neighbors exchange a topological defect and the Wooten-Winer-Weaire bond exchange. The distribution of these categories depends heavily on the preparation schedule of the a-Si. We use our results to compute the mechanical loss in amorphous silicon, leading to a loss angle of 0.001 at room temperature, decreasing to 0.0001 at 150 K in some configurations. Our modeling results indicate that multiple classes of events can cause experimentally-relevant TLSs in disordered materials and, therefore, multiple attenuation strategies might be needed to reduce their impact.


title: Bridging Electrochemistry and Photoelectron Spectroscopy in the Context of Birch Reduction: Detachment Energies and Redox Potentials of Electron, Dielectron, and Benzene Radical Anion in Liquid Ammonia

abstract: Birch reduction is a time-proven way to hydrogenate aromatic hydrocarbons (such as benzene), which relies on the reducing power of electrons released from alkali metals into liquid ammonia. We have succeeded to characterize the key intermediates of the Birch reduction process - the solvated electron and dielectron and the benzene radical anion - using cyclic voltammetry and photoelectron spectroscopy, aided by electronic structure calculations. In this way, we not only quantify the electron binding energies of these species, which are decisive for the mechanism of the reaction but also use Birch reduction as a case study to directly connect the two seemingly unrelated experimental techniques.


title: Convergence and error estimates of a penalization finite volume method for the compressible Navier-Stokes system

abstract: In numerical simulations a smooth domain occupied by a fluid has to be approximated by a computational domain that typically does not coincide with a physical domain. Consequently, in order to study convergence and error estimates of a numerical method domain-related discretization errors, the so-called variational crimes, need to be taken into account. In this paper we present an elegant alternative to a direct, but rather technical, analysis of variational crimes by means of the penalty approach. We embed the physical domain into a large enough cubed domain and study the convergence of a finite volume method for the corresponding domain-penalized problem. We show that numerical solutions of the penalized problem converge to a generalized, the so-called dissipative weak, solution of the original problem. If a strong solution exists, the dissipative weak solution emanating from the same initial data coincides with the strong solution. In this case, we apply a novel tool of the relative energy and derive the error estimates between the numerical solution and the strong solution. Extensive numerical experiments that confirm theoretical results are presented.


title: Measure Construction by Extension in Dependent Type Theory with Application to Integration

abstract: We report on an original formalization of measure and integration theory in the Coq proof assistant. We build the Lebesgue measure following a standard construction that had not yet been formalized in proof assistants based on dependent type theory: by extension of a measure over a semiring of sets. We achieve this formalization by leveraging on existing techniques from the Mathematical Components project. We explain how we extend Mathematical Components' iterated operators and mathematical structures for analysis to provide support for infinite sums and extended real numbers. We introduce new mathematical structures for measure theory and incidentally provide an illustrative, concrete application of Hierarchy-Builder, a generic tool for the formalization of hierarchies of mathematical structures. This formalization of measure theory provides the basis for a new formalization of the Lebesgue integration compatible with the Mathematical Components project.


title: Pattern-Based Prediction of Population Outbreaks

abstract: Insect outbreaks are biotic disturbances in forests and agroecosystems that cause economic and ecological damage. This phenomenon depends on a variety of biological and physical factors. The complexity and practical importance of the issue have made the problem of predicting outbreaks a focus of recent research. Here, we propose the Pattern-Based Prediction (PBP) method for predicting population outbreaks. It is based on the Alert Zone Procedure, combined with elements from machine learning. It uses information on previous time series values that precede an outbreak event as predictors of future outbreaks, which can be useful when monitoring pest species. We illustrate the methodology using simulated datasets and real time series data obtained by monitoring aphids in wheat crops in Southern Brazil. We obtained an average test accuracy of $84.6\%$ in the simulation studies implemented with stochastic models, and $95.0\%$ for predicting outbreaks using the real dataset. This shows the feasibility of the PBP method in predicting outbreaks in population dynamics. We benchmarked our results against established state-of-the-art machine learning methods, namely Support Vector Machines, Deep Neural Networks, Long Short Term Memory and Random Forests. The PBP method yielded a competitive performance, associated with higher true-positive rates in most comparisons, while being able to provide interpretability rather than being a black-box method. This is an improvement over current state-of-the-art machine learning tools, especially when being used by non-specialists, such as ecologists aiming to use a quantitative approach for pest monitoring. We provide open-source code to implement the PBP method in Python, through the \texttt{pypbp} package, which may be directly downloaded from the Python Package Index server or accessed through \url{https://pypbp-documentation.readthedocs.io}


title: Bulk-LDOS Correspondence in Topological Insulators

abstract: Seeking the criterion for diagnosing topological phases in real materials has been one of the major tasks in topological physics. Currently, bulk-boundary correspondence based on spectral measurements of in gap topological boundary states and the fractional corner anomaly derived from the measurement of the fractional spectral charge are two main approaches to characterize topologically insulating phases. However, these two methods require a complete band-gap with either in-gap states or strict spatial symmetry of the overall sample which significantly limits their applications to more generalized cases. Here we propose and demonstrate an approach to link the non-trivial hierarchical bulk topology to the multidimensional partition of local-density of states (LDOS) respectively, denoted as the bulk-LDOS correspondence. Specifically, in a finite-size topologically nontrivial photonic crystal, we observe that the distribution of LDOS is divided into three partitioned regions of the sample - the two-dimensional interior bulk area (avoiding edge and corner areas), one-dimensional edge region (avoiding the corner area), and zero-dimensional corner sites. In contrast, the LDOS is distributed across the entire two-dimensional bulk area across the whole spectrum for the topologically trivial cases. Moreover, we present the universality of this criterion by validating this correspondence in both a higher-order topological insulator without a complete band gap and with disorders. Our findings provide a general way to distinguish topological insulators and unveil the unexplored features of topological directional band-gap materials without in-gap states.


title: Forward-backward asymmetry induced $CP$ asymmetry of $B^{\pm}\rightarrow \pi^{\pm}\pi^{+}\pi^{-}$

abstract: $CP$ violation of the decay $B^{\pm}\rightarrow \pi^{\pm}\pi^{+}\pi^{-}$ in the $f_{0}(500)-\rho(770)^{0}$ interfering region is analyzed. The forward-backward asymmetries (FBAs) and the corresponding $CP$ asymmetries FB-$CP$As are particularly investigated. To isolate the $CP$V caused by the interference of different partial wave more cleanly, we also introduce the direct-$CP$V-subtracted FB-$CP$A. Based on the LHCb data, we extract the FBAs, FB-$CP$As, direct-$CP$V-subtracted FB-$CP$A, as well as the regional $CP$As with invariant mass of the $\pi^{+}\pi^{-}$ pair in the range 0.2 GeV/$c^{2}<\sqrt{s_{\text{low}}}<1.8$ GeV/$c^{2}$. It is found that the (direct-$CP$V-subtracted) FB-$CP$As are quite large in the $f_{0}(500)-\rho(770)^{0}$ interfering region, which confirms that the interference of the intermediate resonances $f_{0}(500)$ and $\rho(770)^{0}$ plays an important role for the $CP$ violation of the three-body decay channel $B^{\pm}\rightarrow \pi^{\pm}\pi^{+}\pi^{-}$.


title: Acoustic mirror Chern insulator with projective parity-time symmetry

abstract: In condensed matter physics, symmetry profoundly governs the fundamentals of topological matter. The emergence of new topological phase is typically linked to the enrichment of symmetries. Different parity-time symmetry relations distinguish between spinless and spinful physical systems. In spinless systems, creating pseudo-spins can realize fragile topological phase but not break the time-reversal symmetry. Therefore, growing attentions were recently focused on the strong topological phase in spinless systems. Here we break the framework of crystallographic symmetry groups by utilizing the projective symmetry gauge field, to realize the Mirror Chern Insulator in a bilayer twisted Hofstadter model. In experiments, the edge modes were unambiguously observed with odd-shaped boundaries, confirming the strong topological features.The clockwise and anti-clockwise edge states with opposite group velocities were completely separated via an energy drain. In addition, we demonstrate that MCI has robust topological whispering gallery modes. Our work establishes a strong foundation for investigating exotic topological effects arising from the interplays between artificial gauge fields and wave systems. The clockwise and anti-clockwise edge states with opposite group velocities were completely separated via an energy drain. In addition, we demonstrate that MCI has robust topological whispering gallery modes. Our work establishes a strong foundation for investigating exotic topological effects arising from the interplays between artificial gauge fields and wave systems.