title: Examples of left-orderable and non-left-orderable HNN extensions

abstract: We prove that an HNN extension of a torsion-free nilpotent group is left-orderable. We also construct examples of non-left-orderable HNN extensions of left-orderable groups


title: Time delay induced by plasma in strong lens systems

abstract: If the gravitational lens is surrounded by non-homoheneous plasma, in addition to the vacuum gravitational deflection, chromatic refraction occurs. Also, the speed of signal propagation decreases compared to vacuum. In this article, we investigate analytically the time delay in the case of gravitational lensing in plasma, focusing on strong lens systems. We take into account the following contributions: geometric delay due to trajectory bending in the presence of both gravity and plasma; potential delay of the ray in the gravitational field of the lens; dispersion delay in the plasma due to decrease of speed of light signal in the medium. We consider singular isothermal sphere as a model of gravitational lens, and arbitrary spherically symmetric distribution of surrounding plasma. For this scenario, plasma corrections for the time delay between two images are found in compact analytical form convenient for estimates. We discuss also the possible influence of the plasma on the value of the Hubble constant, determined from observations of the time delay in strong lens systems.


title: Fault-tolerant error correction for a universal non-Abelian topological quantum computer at finite temperature

abstract: We study fault-tolerant error correction in a quantum memory constructed as a two-dimensional model of Fibonacci anyons on a torus, in the presence of thermal noise represented by pair-creation processes and measurement errors. The correction procedure is based on the cellular automaton decoders originating in the works of G\'acs and Harrington. Through numerical simulations, we observe that this code behaves fault-tolerantly and that threshold behavior is likely present. Hence, we provide strong evidence for the existence of a fault-tolerant universal non-Abelian topological quantum computer.


title: A robust Bayesian latent position approach for community detection in networks with continuous attributes

abstract: The increasing prevalence of multiplex networks has spurred a critical need to take into account potential dependencies across different layers, especially when the goal is community detection, which is a fundamental learning task in network analysis. We propose a full Bayesian mixture model for community detection in both single-layer and multi-layer networks. A key feature of our model is the joint modeling of the nodal attributes that often come with the network data as a spatial process over the latent space. In addition, our model for multi-layer networks allows layers to have different strengths of dependency in the unique latent position structure and assumes that the probability of a relation between two actors (in a layer) depends on the distances between their latent positions (multiplied by a layer-specific factor) and the difference between their nodal attributes. Under our prior specifications, the actors' positions in the latent space arise from a finite mixture of Gaussian distributions, each corresponding to a cluster. Simulated examples show that our model outperforms existing benchmark models and exhibits significantly greater robustness when handling datasets with missing values. The model is also applied to a real-world three-layer network of employees in a law firm.


title: A Bayesian Neural Network Approach to identify Stars and AGNs observed by XMM Newton

abstract: In today's era, a tremendous amount of data is generated by different observatories and manual classification of data is something which is practically impossible. Hence, to classify and categorize the objects there are multiple machine and deep learning techniques used. However, these predictions are overconfident and won't be able to identify if the data actually belongs to the trained class. To solve this major problem of overconfidence, in this study we propose a novel Bayesian Neural Network which randomly samples weights from a distribution as opposed to the fixed weight vector considered in the frequentist approach. The study involves the classification of Stars and AGNs observed by XMM Newton. However, for testing purposes, we consider CV, Pulsars, ULX, and LMX along with Stars and AGNs which the algorithm refuses to predict with higher accuracy as opposed to the frequentist approaches wherein these objects are predicted as either Stars or AGNs. The proposed algorithm is one of the first instances wherein the use of Bayesian Neural Networks is done in observational astronomy. Additionally, we also make our algorithm to identify stars and AGNs in the whole XMM-Newton DR11 catalogue. The algorithm almost identifies 62807 data points as AGNs and 88107 data points as Stars with enough confidence. In all other cases, the algorithm refuses to make predictions due to high uncertainty and hence reduces the error rate.


title: A Mapping of Assurance Techniques for Learning Enabled Autonomous Systems to the Systems Engineering Lifecycle

abstract: Learning enabled autonomous systems provide increased capabilities compared to traditional systems. However, the complexity of and probabilistic nature in the underlying methods enabling such capabilities present challenges for current systems engineering processes for assurance, and test, evaluation, verification, and validation (TEVV). This paper provides a preliminary attempt to map recently developed technical approaches in the assurance and TEVV of learning enabled autonomous systems (LEAS) literature to a traditional systems engineering v-model. This mapping categorizes such techniques into three main approaches: development, acquisition, and sustainment. We review the latest techniques to develop safe, reliable, and resilient learning enabled autonomous systems, without recommending radical and impractical changes to existing systems engineering processes. By performing this mapping, we seek to assist acquisition professionals by (i) informing comprehensive test and evaluation planning, and (ii) objectively communicating risk to leaders.


title: Detecting TCP Packet Reordering in the Data Plane

abstract: Network administrators want to detect TCP-level packet reordering to diagnose performance problems and attacks. However, reordering is expensive to measure, because each packet must be processed relative to the TCP sequence number of its predecessor in the same flow. Due to the volume of traffic, detection should take place in the data plane as the packets fly by. However, restrictions on the memory size and the number of memory accesses per packet make it impossible to design an efficient algorithm for pinpointing flows with heavy packet reordering. In practice, packet reordering is typically a property of a network path, due to a congested or flaky link. Flows traversing the same path are correlated in their out-of-orderness, and aggregating out-of-order statistics at the IP prefix level provides useful diagnostic information. In this paper, we present efficient algorithms for identifying IP prefixes with heavy packet reordering under memory restrictions. First, we sample as many flows as possible, regardless of their sizes, but only for a short period at a time. Next, we separately monitor the large flows over long periods, in addition to the flow sampling. In both algorithms, we measure at the flow level, and aggregate statistics and allocate memory at the prefix level. Our simulation experiments, using packet traces from campus and backbone networks, and our P4 prototype show that our algorithms correctly identify $80\%$ of the prefixes with heavy packet reordering using moderate memory resources.


title: Describing NMR chemical exchange by effective phase diffusion approach

abstract: This paper proposes an effective phase diffusion method to analyze chemical exchange in nuclear magnetic resonance (NMR). The chemical exchange involves spin jumps around different sites where the spin angular frequencies vary, which leads to a random phase walk viewed from the rotating frame reference. Therefore, the random walk in phase space can be treated by the effective phase diffusion method. Both the coupled and uncoupled phase diffusions are considered; additionally, it includes normal diffusion as well as fractional diffusion. Based on these phase diffusion equations, the line shape of NMR exchange spectrum can be analyzed. By comparing these theoretical results with the conventional theory, this phase diffusion approach works for fast exchange, ranging from slightly faster than intermediate exchange to very fast exchange. For normal diffusion models, the theoretically predicted curves agree with those predicted from traditional models in the literature, and the characteristic exchange time obtained from phase diffusion with a fixed jump time is the same as that obtained from the conventional model. However, the phase diffusion with a monoexponential time distribution gives a characteristic exchange time constant which is half of that obtained from the traditional model. Additionally, the fractional diffusion obtains a significantly different line shape than that predicted based on normal diffusion.


title: Morphology-based non-rigid registration of coronary computed tomography and intravascular images through virtual catheter path optimization

abstract: Coronary Computed Tomography Angiography (CCTA) provides information on the presence, extent, and severity of obstructive coronary artery disease. Large-scale clinical studies analyzing CCTA-derived metrics typically require ground-truth validation in the form of high-fidelity 3D intravascular imaging. However, manual rigid alignment of intravascular images to corresponding CCTA images is both time consuming and user-dependent. Moreover, intravascular modalities suffer from several non-rigid motion-induced distortions arising from distortions in the imaging catheter path. To address these issues, we here present a semi-automatic segmentation-based framework for both rigid and non-rigid matching of intravascular images to CCTA images. We formulate the problem in terms of finding the optimal \emph{virtual catheter path} that samples the CCTA data to recapitulate the coronary artery morphology found in the intravascular image. We validate our co-registration framework on a cohort of $n=40$ patients using bifurcation landmarks as ground truth for longitudinal and rotational registration. Our results indicate that our non-rigid registration significantly outperforms other co-registration approaches for luminal bifurcation alignment in both longitudinal (mean mismatch: 3.3 frames) and rotational directions (mean mismatch: 28.6 degrees). By providing a differentiable framework for automatic multi-modal intravascular data fusion, our developed co-registration modules significantly reduces the manual effort required to conduct large-scale multi-modal clinical studies while also providing a solid foundation for the development of machine learning-based co-registration approaches.


title: A Global Optimization Algorithm for K-Center Clustering of One Billion Samples

abstract: This paper presents a practical global optimization algorithm for the K-center clustering problem, which aims to select K samples as the cluster centers to minimize the maximum within-cluster distance. This algorithm is based on a reduced-space branch and bound scheme and guarantees convergence to the global optimum in a finite number of steps by only branching on the regions of centers. To improve efficiency, we have designed a two-stage decomposable lower bound, the solution of which can be derived in a closed form. In addition, we also propose several acceleration techniques to narrow down the region of centers, including bounds tightening, sample reduction, and parallelization. Extensive studies on synthetic and real-world datasets have demonstrated that our algorithm can solve the K-center problems to global optimal within 4 hours for ten million samples in the serial mode and one billion samples in the parallel mode. Moreover, compared with the state-of-the-art heuristic methods, the global optimum obtained by our algorithm can averagely reduce the objective function by 25.8% on all the synthetic and real-world datasets.


title: FIPS Compliant Quantum Secure Communication using Quantum Permutation Pad

abstract: Quantum computing has entered fast development track since Shor's algorithm was proposed in 1994. Multi-cloud services of quantum computing farms are currently available. One of which, IBM quantum computing, presented a road map showing their Kookaburra system with over 4158 qubits will be available in 2025. For the standardization of Post-Quantum Cryptography or PQC, the National Institute of Standards and Technology or NIST recently announced the first candidates for standardization with one algorithm for key encapsulation mechanism (KEM), Kyber, and three algorithms for digital signatures. NIST has also issued a new call for quantum-safe digital signature algorithms due June 1, 2023. This timeline shows that FIPS-certified quantum-safe TLS protocol would take a predictably long time. However, "steal now, crack later" tactic requires protecting data against future quantum threat actors today. NIST recommended the use of a hybrid mode of TLS 1.3 with its extensions to support PQC. The hybrid mode works for certain cases but FIPS certification for the hybridized cryptomodule might still be required. This paper proposes to take a nested mode to enable TLS 1.3 protocol with quantum-safe data, which can be made available today and is FIPS compliant. We discussed the performance impacts of the handshaking phase of the nested TLS 1.3 with PQC and the symmetric encryption phase. The major impact on performance using the nested mode is in the data symmetric encryption with AES. To overcome this performance reduction, we suggest using quantum encryption with a quantum permutation pad for the data encryption with a minor performance reduction of less than 10 percent.


title: The Sticky L\'evy Process as a solution to a Time Change Equation

abstract: Stochastic Differential Equations (SDEs) were originally devised by It\^o to provide a pathwise construction of diffusion processes. A less explored approach to represent them is through Time Change Equations (TCEs) as put forth by Doeblin. TCEs are a generalization of Ordinary Differential Equations driven by random functions. We present a simple example where TCEs have some advantage over SDEs. We represent sticky L\'evy processes as the unique solution to a TCE driven by a L\'evy process with no negative jumps. The solution is adapted to the time-changed filtration of the L\'evy process driving the equation. This is in contrast to the SDE describing sticky Brownian motion, which is known to have no adapted solutions as first proved by Chitashvili. A known consequence of such non-adaptability for SDEs is that certain natural approximations to the solution of the corresponding SDE do not converge in probability, even though they do converge weakly. Instead, we provide strong approximation schemes for the solution of our TCE (by adapting Euler's method for ODEs), whenever the driving L\'evy process is strongly approximated.


title: The orbital kinematics of eta Carinae over three periastra with a possible detection of the elusive secondary's motion

abstract: The binary eta Carinae is the closest example of a very massive star, which may have formed through a merger during its Great Eruption in the mid-nineteenth century. We aimed to confirm and improve the kinematics using a spectroscopic data set taken with the CTIO 1.5 m telescope over the time period of 2008-2020, covering three periastron passages of the highly eccentric orbit. We measure line variability of H-alpha and H-beta, where the radial velocity and orbital kinematics of the primary star were measured from the H-beta emission line using a bisector method. At phases away from periastron, we observed the He II 4686 emission moving opposite the primary star, consistent with a possible Wolf-Rayet companion, although with a seemingly narrow emission line. This could represent the first detection of emission from the companion.


title: Learning Koopman eigenfunctions of stochastic diffusions with optimal importance sampling and ISOKANN

abstract: For stochastic diffusion processes the dominant eigenfunctions of the corresponding Koopman operator contain important information about the slow-scale dynamics, that is, about the location and frequency of rare events. In this article, we reformulate the eigenproblem in terms of $\chi$-functions in the ISOKANN framework and discuss how optimal control and importance sampling allows for zero variance sampling of these functions. We provide a new formulation of the ISOKANN algorithm allowing for a proof of convergence and incorporate the optimal control result to obtain an adaptive iterative algorithm alternating between importance sampling and $\chi$-function approximation. We demonstrate the usage of our proposed method in experiments increasing the approximation accuracy by several orders of magnitude.


title: Memory Augmented Lookup Dictionary based Language Modeling for Automatic Speech Recognition

abstract: Recent studies have shown that using an external Language Model (LM) benefits the end-to-end Automatic Speech Recognition (ASR). However, predicting tokens that appear less frequently in the training set is still quite challenging. The long-tail prediction problems have been widely studied in many applications, but only been addressed by a few studies for ASR and LMs. In this paper, we propose a new memory augmented lookup dictionary based Transformer architecture for LM. The newly introduced lookup dictionary incorporates rich contextual information in training set, which is vital to correctly predict long-tail tokens. With intensive experiments on Chinese and English data sets, our proposed method is proved to outperform the baseline Transformer LM by a great margin on both word/character error rate and tail tokens error rate. This is achieved without impact on the decoding efficiency. Overall, we demonstrate the effectiveness of our proposed method in boosting the ASR decoding performance, especially for long-tail tokens.


title: Convolutional Non-homogeneous Poisson Process with Application to Wildfire Risk Quantification for Power Delivery Networks

abstract: The current projection shows that much of the continental U.S. will have significantly hotter and drier days in the following decades, leading to more wildfire hazards that threaten the safety of power grid. Unfortunately, the U.S. power industry is not well prepared and still predominantly relies on empirical fire indices which do not consider the full spectrum of dynamic environmental factors. This paper proposes a new spatio-temporal point process model, Convolutional Non-homogeneous Poisson Process (cNHPP), to quantify wildfire risks for power delivery networks. The proposed model captures both the current short-term and cumulative long-term effects of covariates on wildfire risks, and the spatio-temporal dependency among different segments of the power delivery network. The computation and interpretation of the intensity function are thoroughly investigated, and the connection between cNHPP and Recurrent Neural Network is also discussed. We apply the proposed approach to estimate wildfire risks on major transmission lines in California, utilizing historical fire data, meteorological and vegetation data obtained from the National Oceanic and Atmospheric Administration and National Aeronautics and Space Administration. Comparison studies are performed to show the applicability and predictive capability of the proposed approach. Useful insights are obtained that potentially enhance power grid resilience against wildfires.


title: Inconsistencies in Masked Language Models

abstract: Learning to predict masked tokens in a sequence has been shown to be a helpful pretraining objective for powerful language models such as PaLM2. After training, such masked language models (MLMs) can provide distributions of tokens in the masked positions in a sequence. However, this paper shows that distributions corresponding to different masking patterns can demonstrate considerable inconsistencies, i.e., they cannot be derived from a coherent joint distribution when considered together. This fundamental flaw in MLMs can lead to self-contradictory behaviors during inference. On various benchmark datasets including MMLU, MLMs can give different predictions to the same input question. From BERT-base to UL2-20B, we show that such inconsistencies exist ubiquitously in MLMs of diverse sizes and configurations. In light of our observations, we further propose an inference-time strategy for MLMs called Ensemble of Conditionals. It jointly considers a selected range of inconsistent conditionals directly produced by the MLM for the final prediction, which often leads to considerable accuracy improvement.


title: A stabilized local integral method using RBFs for the Helmholtz equation with applications to wave chaos and dielectric microresonators

abstract: Most problems in electrodynamics do not have an analytical solution so much effort has been put in the development of numerical schemes, such as the finite-difference method, volume element methods, boundary element methods, and related methods based on boundary integral equations. In this paper we introduce a local integral boundary domain method with a stable calculation based on Radial Basis Functions (RBF) approximations, in the context of wave chaos in acoustics and dielectric microresonator problems. RBFs have been gaining popularity recently for solving partial differential equations numerically, becoming an extremely effective tool for interpolation on scattered node sets in several dimensions with high-order accuracy and flexibility for nontrivial geometries. One key issue with infinitely smooth RBFs is the choice of a suitable value for the shape parameter which controls the flatness of the function. It is observed that best accuracy is often achieved when the shape parameter tends to zero. However, the system of discrete equations obtained from the interpolation matrices becomes ill-conditioned, which imposes severe limits to the attainable accuracy. A few numerical algorithms have been presented that are able to stably compute an interpolant, even in the increasingly flat basis function limit. We present the recently developed Stabilized Local Boundary Domain Integral Method in the context of boundary integral methods that improves the solution of the Helmholtz equation with RBFs. Numerical results for small shape parameters that stabilize the error are shown. Accuracy and comparison with other methods are also discussed for various case studies. Applications in wave chaos, acoustics and dielectric microresonators are discussed to showcase the virtues of the method, which is computationally efficient and well suited to the kind of geometries with arbitrary shape domains.


title: CONSIP: Consistency Protocol for Hopping Function Exchange and Black listing in TSCH

abstract: The use of white and black listing techniques in Wireless Sensor Networks (WSN), and in particular those which are based on the Time Slotted Channel Hopping (TSCH) operating mode of IEEE 802.15.4, permits to improve reliability and latency by performing transmissions on the best channels. Techniques that operate on a per-link basis are deemed quite effective, but proper operation requires that the two end points involved in the communication agree on the channels to be used for transmission. On the contrary, communication in the network can be prevented, eventually leading, in the worst cases, to the disconnection of part of the nodes. This paper presents CONSIP, a technique aimed to ensure strict consistency in the information exchanged between the nodes and used to drive communication, by preventing a prior the aforementioned problem from occurring. Results show a slight increase in energy consumption, due to the use of a backup cell, whereas communication latency does not worsen. The effectiveness of CONSIP was assessed by means of an experimental campaign, and the only drawback we found is that the backup cell, which is required to be reserved per link, may limit the number of nodes in dense networks.


title: Spherical functions and Stolarski's invariance principle

abstract: In the previous paper [25], Stolarsky's invariance principle, known for point distributions on the Euclidean spheres [27], has been extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. Geometric features of these spaces as well as their models in terms of Jordan algebras have been used very essentially in the proof. In the present paper, we give a new pure analytic proof of the extended Stolarsky's invariance principle, relying on the theory of spherical functions on compact symmetric Riemannian manifolds of rank one.


title: LeaFTL: A Learning-Based Flash Translation Layer for Solid-State Drives

abstract: In modern solid-state drives (SSDs), the indexing of flash pages is a critical component in their storage controllers. It not only affects the data access performance, but also determines the efficiency of the precious in-device DRAM resource. A variety of address mapping schemes and optimization techniques have been proposed. However, most of them were developed with human-driven heuristics. They cannot automatically capture diverse data access patterns at runtime in SSD controllers, which leaves a large room for improvement. In this paper, we present a learning-based flash translation layer (FTL), named LeaFTL, which learns the address mapping to tolerate dynamic data access patterns via linear regression at runtime. By grouping a large set of mapping entries into a learned segment, it significantly reduces the memory footprint of the address mapping table, which further benefits the data caching in SSD controllers. LeaFTL also employs various optimization techniques, including out-of-band metadata verification to tolerate mispredictions, optimized flash allocation, and dynamic compaction of learned index segments. We implement LeaFTL with an SSD simulator and evaluate it with various storage workloads. LeaFTL saves the memory consumption of the mapping table by 2.9x on average and improves the storage performance by 1.4x on average, in comparison with state-of-the-art FTL schemes.


title: Fluid Antenna System: New Insights on Outage Probability and Diversity Gain

abstract: To enable innovative applications and services, both industry and academia are exploring new technologies for sixth generation (6G) communications. One of the promising candidates is fluid antenna system (FAS). Unlike existing systems, FAS is a novel communication technology where its antenna can freely change its position and shape within a given space. Compared to the traditional systems, this unique capability has the potential of providing higher diversity and interference-free communications. Nevertheless, the performance limits of FAS remain unclear as its system properties are difficult to analyze. To address this, we approximate the outage probability and diversity gain of FAS in closed-form expressions. We then propose a suboptimal FAS with $N^{*}$ ports, where a significant gain can be obtained over FAS with $N^{*}-1$ ports whilst FAS with $N^{*}+1$ ports only yields marginal improvement over the proposed suboptimal FAS. In this paper, we also provide analytical and simulation results to unfold the key factors that affect the performance of FAS. Limited to systems with one active radio frequency (RF)-chain, we show that the proposed suboptimal FAS outperforms single-antenna (SISO) system and selection combining (SC) system in terms of outage probability. Interestingly, when the given space is $\frac{\lambda}{2}$, the outage probability of the proposed suboptimal FAS with one active RF-chain achieves near to that of the maximal ratio combining (MRC) system with multiple active RF-chains.


title: Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles

abstract: Cohn and Umans proposed a framework for developing fast matrix multiplication algorithms based on the embedding computation in certain groups algebras. In subsequent work with Kleinberg and Szegedy, they connected this to the search for combinatorial objects called strong uniquely solvable puzzles (strong USPs). We begin a systematic computer-aided search for these objects. We develop and implement constraint-based algorithms build on reductions to $\mathrm{SAT}$ and $\mathrm{IP}$ to verify that puzzles are strong USPs, and to search for large strong USPs. We produce tight bounds on the maximum size of a strong USP for width $k \le 5$, construct puzzles of small width that are larger than previous work, and improve the upper bounds on strong USP size for $k \le 12$. Although our work only deals with puzzles of small-constant width, the strong USPs we find imply matrix multiplication algorithms that run in $O(n^\omega)$ time with exponent $\omega \le 2.66$. While our algorithms do not beat the fastest algorithms, our work provides evidence and, perhaps, a path to finding families of strong USPs that imply matrix multiplication algorithms that are more efficient than those currently known.


title: Optimal Motion Generation of the Bipedal Under-Actuated Planar Robot for Stair Climbing

abstract: The importance of humanoid robots in today's world is undeniable, one of the most important features of humanoid robots is the ability to maneuver in environments such as stairs that other robots can not easily cross. A suitable algorithm to generate the path for the bipedal robot to climb is very important. In this paper, an optimization-based method to generate an optimal stairway for under-actuated bipedal robots without an ankle actuator is presented. The generated paths are based on zero and non-zero dynamics of the problem, and according to the satisfaction of the zero dynamics constraint in the problem, tracking the path is possible, in other words, the problem can be dynamically feasible. The optimization method used in the problem is a gradient-based method that has a suitable number of function evaluations for computational processing. This method can also be utilized to go down the stairs.


title: Higgs Boson Mass Corrections at Three-Loops in the Top-Yukawa Sector of the Standard Model

abstract: The search for new physics signals in Higgs precision measurements plays a pivotal role in the High-Luminosity Large Hadron Collider (HL-LHC) and future colliders programs. The Higgs properties are expected to be measured with great experimental precision, implying higher-order perturbative computations of the electroweak parameters from the theoretical side. In particular, the renormalized Higgs boson mass parameter in the Standard Model shows significant variation around the electroweak scale, resulting in a lower-bound theoretical uncertainty that exceeds future collider expectations. A more stable result under the renormalization group can be computed from a non-zero external momentum Higgs self-energy, for which available calculations include 3-loop corrections in the QCD sector. In this work, we present an additional contribution by estimating the leading non-QCD 3-loop corrections to the mass of the Higgs boson in the top-Yukawa sector of order $y_t^6$. The momentum-dependent Higgs self-energy is computed in the tadpole-free scheme for the Higgs vacuum expectation value in the Landau gauge, and the explicit dependence upon the Higgs boson and top quark masses is shown. The obtained result is expressed in dimensional regularization as a superposition of a set of master integrals with coefficients that are free of poles in four space-time dimensions, and the corrections are evaluated numerically by the sector decomposition method.


title: A Study on a User-Controlled Radial Tour for Variable Importance in High-Dimensional Data

abstract: Principal component analysis is a long-standing go-to method for exploring multivariate data. The principal components are linear combinations of the original variables, ordered by descending variance. The first few components typically provide a good visual summary of the data. Tours also make linear projections of the original variables but offer many different views, like examining the data from different directions. The grand tour shows a smooth sequence of projections as an animation following interpolations between random target bases. The manual radial tour rotates the selected variable's contribution into and out of a projection. This allows the importance of the variable to structure in the projection to be assessed. This work describes a mixed-design user study evaluating the radial tour's efficacy compared with principal component analysis and the grand tour. A supervised classification task is assigned to participants who evaluate variable attribution of the separation between two classes. Their accuracy in assigning the variable importance is measured across various factors. Data were collected from 108 crowdsourced participants, who performed two trials with each visual for 648 trials in total. Mixed model regression finds strong evidence that the radial tour results in a large increase in accuracy over the alternatives. Participants also reported a preference for the radial tour in comparison to the other two methods.


title: Image and video compression of fluid flow data

abstract: We study the compression of spatial and temporal features in fluid flow data using multimedia compression techniques. The efficacy of spatial compression techniques, including JPEG and JPEG2000 (JP2), and spatio-temporal video compression techniques, namely H.264, H.265, and AV1, in limiting the introduction of compression artifacts and preserving underlying flow physics are considered for laminar periodic wake around a cylinder, two-dimensional turbulence, and turbulent channel flow. These compression techniques significantly compress flow data while maintaining dominant flow features with negligible error. AV1 and H.265 compressions present the best performance across a variety of canonical flow regimes and outperform traditional techniques such as proper orthogonal decomposition in some cases. These image and video compression algorithms are flexible, scalable, and generalizable holding potential for a wide range of applications in fluid dynamics in the context of data storage and transfer.


title: Semileptonic $D$ Meson Decays $D\to P/V/S\ell^+\nu_\ell$ with the SU(3) Flavor Symmetry/Breaking

abstract: Many exclusive $c\to d/s\ell^+\nu_\ell~(\ell=e,\mu,\tau)$ transitions have been well measured, and they can be used to test the theoretical calculations. Motivated by this, we study the $D\to P/V/S\ell^+\nu_\ell$ decays induced by the $c\to d/s\ell^+\nu_\ell$ transitions with the SU(3) flavor symmetry approach, where $P$ denotes the pseudoscalar meson, $V$ denotes the vector meson, and $S$ denotes the scalar meson with a mass below $1$ $GeV$. The different decay amplitudes of the $D\to P\ell^+\nu_\ell$, $D\to V\ell^+\nu_\ell$ or $D\to S\ell^+\nu_\ell$ decays can be related by using the SU(3) flavor symmetry and by considering the SU(3) flavor breaking. Using the present data of $D\to P/V/S\ell^+\nu_\ell$, we predict the not yet measured or not yet well measured processes in the $D\to P/V/S\ell^+\nu_\ell$ decays. We find that the SU(3) flavor symmetry approach works well in the semileptonic $D \to P/V\ell^+\nu_\ell$ decays. For the $D \to S\ell^+\nu_\ell$ decays, only the decay $D^+_s\to f_0(980)e^+\nu_e$ has been measured, the branching ratios of the $D^+_s\to f_0(980)e^+\nu_e$ and $D\to S(S\to P_1P_2)\ell^+\nu_\ell$ decays are used to constrain the nonperturbative parameters and then predict not yet measured $D \to S\ell^+\nu_\ell$ decays, in addition, the two quark and the four quark scenarios for the light scalar mesons are analyzed. The SU(3) flavor symmetry predictions of the $D \to S\ell^+\nu_\ell$ decays need to be further tested, and our predictions of the $D \to S\ell^+\nu_\ell$ decays are useful for probing the structure of light scalar mesons. Our results in this work could be used to test the SU(3) flavor symmetry approach in the semileptonic $D$ decays by the future experiments at BESIII, LHCb and BelleII.


title: Impact Invariant Trajectory Optimization of 5-Link Biped Robot Using Hybrid Optimization

abstract: Bipedal robots have received much attention because of the variety of motion maneuvers that they can produce, and the many applications they have in various areas including rehabilitation. One of these motion maneuvers is walking. In this study, we presented a framework for the trajectory optimization of a 5-link (planar) Biped Robot using hybrid optimization. The walking is modeled with two phases of single-stance (support) phase and the collision phase. The dynamic equations of the robot in each phase are extracted by the Lagrange method. It is assumed that the robot heel strike to the ground is full plastic. The gait is optimized with a method called hybrid optimization. The objective function of this problem is considered to be the integral of torque-squared along the trajectory, and also various constraints such as zero dynamics are satisfied without any approximation. Furthermore, in a new framework, there is presented a constraint called impact invariance, which ensures the periodicity of the time-varying trajectories. On the other hand, other constraints provide better and more human-like movement.


title: Finite abelian groups of K3 surfaces with smooth quotient

abstract: The quotient space of a $K3$ surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on smooth rational surfaces, we will study finite groups which act faithfully on $K3$ surfaces such that the quotient space are smooth. In particular, we will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian cover from a $K3$ surface to a Hirzebrunch surface such that the branch divisor is that effective divisor. Furthermore, we will decide the Galois group and give the way to construct that Abelian cover from an effective divisor on a Hirzebruch surface. Subsequently, we study the same theme for Enriques surfaces.


title: A PDE approach to the existence and regularity of surfaces of minimum mean curvature variation

abstract: We develop an analytic theory of existence and regularity of surfaces arising from the geometric minimization problem $$\min_{\mathcal{M}}\frac{1}{2}\int_{\mathcal{M}}|\nabla_{\mathcal{M}}H|^2\,dA$$ where $\mathcal{M}$ ranges over all $n$-dimensional manifolds in $\mathbb{R}^{n+1}$ with prescribed boundary, $\nabla_{\mathcal{M}}H$ is the tangential gradient along $\mathcal{M}$ of the mean curvature $H$ of $\mathcal{M}$ and $dA$ is the differential of surface area. The minimizers, called surfaces of minimum mean curvature variation, are central in applications of computer-aided design, computer-aided manufacturing and mechanics. Our main results show the existence of both smooth surfaces and of variational solutions to the minimization problem together with geometric regularity results. These are the first analytic results available on the literature for this problem.


title: Weak semiconvexity estimates for Schr\"odinger potentials and logarithmic Sobolev inequality for Schr\"odinger bridges

abstract: We investigate the quadratic Schr\"odinger bridge problem, a.k.a. Entropic Optimal Transport problem, and obtain weak semiconvexity and semiconcavity bounds on Schr\"odinger potentials under mild assumptions on the marginals that are substantially weaker than log-concavity. We deduce from these estimates that Schr\"odinger bridges satisfy a logarithmic Sobolev inequality on the product space. Our proof strategy is based on a second order analysis of coupling by reflection on the characteristics of the Hamilton-Jacobi-Bellman equation that reveals the existence of new classes of invariant functions for the corresponding flow.


title: Selection of Centrality Measures Using Self-Consistency and Bridge Axioms

abstract: We consider several families of network centrality measures induced by graph kernels, which include some well-known measures and many new ones. The Self-consistency and Bridge axioms, which appeared earlier in the literature, are closely related to certain kernels and one of the families. We obtain a necessary and sufficient condition for Self-consistency, a sufficient condition for the Bridge axiom, indicate specific measures that satisfy these axioms, and show that under some additional conditions they are incompatible. PageRank centrality applied to undirected networks violates most conditions under study and has a property that according to some authors is ``hard to imagine'' for a centrality measure. We explain this phenomenon. Adopting the Self-consistency or Bridge axiom leads to a drastic reduction in survey time in the culling method designed to select the most appropriate centrality measures.


title: On the chromatic number of random regular hypergraphs

abstract: We estimate the likely values of the chromatic and independence numbers of the random $r$-uniform $d$-regular hypergraph on $n$ vertices for fixed $r$, large fixed $d$, and $n \rightarrow \infty$.


title: Phase-Slip Lines and Anomalous Josephson Effects in a Tungsten Clusters-Topological Insulator Microbridge

abstract: Superconducting topological systems formed by a strong 3D topological insulator (TI) in proximity to a conventional $s$-wave superconductor (SC) have been intensely studied as they may host Majorana zero modes. However, there are limited experimental realizations of TI-SC systems in which robust superconducting pairing is induced on the surface states of the TI and a topological superconducting state is established. Here, we fabricate a novel TI-SC system by depositing, via focused ion beam, tungsten (W) nanoscale clusters on the surface of TI Bi$_{0.91}$Sb$_{0.09}$. We find that the resulting heterostructure supports phase-slip lines that act as effective Josephson junctions. We probe the response of the system to microwave radiation. We find that for some ac frequencies, and powers, the resulting Shapiro steps' structure of the voltage-current characteristic exhibits a missing first step and an unexpectedly wide second Shapiro step. The theoretical analysis of the measurements shows that the unusual Shapiro response arises from the interplay between a static Josephson junction and a dynamic one, and allows us to identify the conditions under which the missing first step can be attributed to the topological nature of the Josephson junctions formed by the phase-slip lines. Our results suggest a new approach to induce superconductivity in a TI, a novel route to realizing highly-transparent topological Josephson junctions, and show how the response of superconducting systems to microwave radiation can be used to infer the dynamics of phase-slip lines.


title: Mechanical feedback linearization of single-input mechanical control systems

abstract: We present a new type of feedback linearization that is tailored for mechanical control systems. We call it a mechanical feedback linearization. Its basic feature is preservation of the mechanical structure of the system. For mechanical systems with a scalar control, we formulate necessary and sufficient conditions that are verifiable using differentiations and algebraic operations only. We illustrate our results with several examples.


title: A Transient Electrical-Thermal Co-Simulation Method with LTS for Multiscale Structures

abstract: In this article, an efficient transient electricalthermal co-simulation method based on the finite element method (FEM) and the discontinuous Galerkin time-domain (DGTD) method is developed for electrical-thermal coupling analysis of multiscale structures. Two Independent meshes are adopted by the steady electrical analysis and the transient thermal simulation to avoid redundant overhead. In order to enhance the feasibility and efficiency of solving multiscale and sophisticated structures, a local time stepping (LTS) technique coupled with an interpolation method is incorporated into the co-simulation method. Several numerical examples from simple structures to complex multiscale PDN structures are carried out to demonstrate the accuracy and efficiency of the proposed method by comparing with the COMSOL. Finally, two practical numerical examples are considered to confirm the performance of the proposed method for complex and multiscale structures.


title: Autonomous Driving Simulator based on Neurorobotics Platform

abstract: There are many artificial intelligence algorithms for autonomous driving, but directly installing these algorithms on vehicles is unrealistic and expensive. At the same time, many of these algorithms need an environment to train and optimize. Simulation is a valuable and meaningful solution with training and testing functions, and it can say that simulation is a critical link in the autonomous driving world. There are also many different applications or systems of simulation from companies or academies such as SVL and Carla. These simulators flaunt that they have the closest real-world simulation, but their environment objects, such as pedestrians and other vehicles around the agent-vehicle, are already fixed programmed. They can only move along the pre-setting trajectory, or random numbers determine their movements. What is the situation when all environmental objects are also installed by Artificial Intelligence, or their behaviors are like real people or natural reactions of other drivers? This problem is a blind spot for most of the simulation applications, or these applications cannot be easy to solve this problem. The Neurorobotics Platform from the TUM team of Prof. Alois Knoll has the idea about "Engines" and "Transceiver Functions" to solve the multi-agents problem. This report will start with a little research on the Neurorobotics Platform and analyze the potential and possibility of developing a new simulator to achieve the true real-world simulation goal. Then based on the NRP-Core Platform, this initial development aims to construct an initial demo experiment. The consist of this report starts with the basic knowledge of NRP-Core and its installation, then focus on the explanation of the necessary components for a simulation experiment, at last, about the details of constructions for the autonomous driving system, which is integrated object detection and autonomous control.


title: Four-body Semileptonic Charm Decays $D\to P_1P_2\ell^+\nu_\ell $ Based on SU(3) Flavor Analysis

abstract: Motivated by the significant experimental progress in probing semileptonic decays $D\to P_1P_2\ell^+\nu_\ell~(\ell=\mu,e)$, we analyze the branching ratios of the $D\to P_1P_2\ell^+\nu_\ell $ decays with the non-resonant, the light scalar meson resonant and the vector meson resonant contributions in this work. We obtain the hadronic amplitude relations between different decay modes by the SU(3) flavor analysis, and then predict relevant branching ratios of the $D\to P_1P_2\ell^+\nu_\ell$ decays by the present experimental data with $2 \sigma$ errors. Most of our predicted branching ratios are consistent with present experimental data within $2\sigma$ error bars, and others are consistent with the data within $3\sigma$ error bars. We find that some branching ratios of the non-resonant decays are on the order of $\mathcal{O}(10^{-3}-10^{-4})$, the vector meson resonant contributions are dominant in many decays, the non-resonant, the vector meson resonant and the scalar resonant contributions are all important in the $D^0\to\eta\pi^-\ell^+\nu_\ell$ decays, and both the non-resonant and the scalar resonant contributions are important in the $D^0\to K^-K^0\ell^+\nu_\ell,\eta'\pi^-\ell^+\nu_\ell$ and $D^+\to \overline{K}^0K^0\ell^+\nu_\ell,\pi^0\pi^0\ell^+\nu_\ell,\eta\pi^0\ell^+\nu_\ell,\eta'\pi^0\ell^+\nu_\ell$ decays. According to our predictions, many decay modes could be observed in the experiments like BESIII, LHCb and BelleII, and some decay modes might be measured in these experiments in near future.


title: Wealth Redistribution and Mutual Aid: Comparison using Equivalent/Nonequivalent Exchange Models of Econophysics

abstract: Given the wealth inequality worldwide, there is an urgent need to identify the mode of wealth exchange through which it arises. To address the research gap regarding models that combine equivalent exchange and redistribution, this study compares an equivalent market exchange with redistribution based on power centers and a nonequivalent exchange with mutual aid using the Polanyi, Graeber, and Karatani modes of exchange. Two new exchange models based on multi-agent interactions are reconstructed following an econophysics approach for evaluating the Gini index (inequality) and total exchange (economic flow). Exchange simulations indicate that the evaluation parameter of the total exchange divided by the Gini index can be expressed by the same saturated curvilinear approximate equation using the wealth transfer rate and time period of redistribution and the surplus contribution rate of the wealthy and the saving rate. However, considering the coercion of taxes and its associated costs and independence based on the morality of mutual aid, a nonequivalent exchange without return obligation is preferred. This is oriented toward Graeber's baseline communism and Karatani's mode of exchange D, with implications for alternatives to the capitalist economy.


title: Inference on Time Series Nonparametric Conditional Moment Restrictions Using General Sieves

abstract: General nonlinear sieve learnings are classes of nonlinear sieves that can approximate nonlinear functions of high dimensional variables much more flexibly than various linear sieves (or series). This paper considers general nonlinear sieve quasi-likelihood ratio (GN-QLR) based inference on expectation functionals of time series data, where the functionals of interest are based on some nonparametric function that satisfy conditional moment restrictions and are learned using multilayer neural networks. While the asymptotic normality of the estimated functionals depends on some unknown Riesz representer of the functional space, we show that the optimally weighted GN-QLR statistic is asymptotically Chi-square distributed, regardless whether the expectation functional is regular (root-$n$ estimable) or not. This holds when the data are weakly dependent beta-mixing condition. We apply our method to the off-policy evaluation in reinforcement learning, by formulating the Bellman equation into the conditional moment restriction framework, so that we can make inference about the state-specific value functional using the proposed GN-QLR method with time series data. In addition, estimating the averaged partial means and averaged partial derivatives of nonparametric instrumental variables and quantile IV models are also presented as leading examples. Finally, a Monte Carlo study shows the finite sample performance of the procedure


title: Decoupling generalised configuration spaces on surfaces

abstract: The configuration space of k points on a manifold carries an action of its diffeomorphism group. The homotopy quotient of this action is equivalent to the classifying space of diffeomorphisms of a punctured manifold, and therefore admits results about homological stability. Inspired by the works of Segal, McDuff, Bodigheimer, and Salvatore, we look at generalised configuration spaces where particles have labels and even partially summable labels, in which points are allowed to collide whenever their labels are summable. These generalised configuration spaces also admit actions of the diffeomorphism group and we look at their homotopy quotients. Our main result is a decoupling theorem for these homotopy quotients on surfaces: in a range, their homology is completely described by the product of the moduli space of surfaces and a generalised configuration space of points in $\mathbb{R}^\infty$. Using this result, we show these spaces admit homological stability with respect to increasing the genus, and we identify the stable homology. This can be interpreted as a Diff-equivariant homological stability for factorization homology. In addition, we use this result to study the group completion of the monoid of moduli spaces of configurations on surfaces.


title: On Skoda's theorem for Nadel-Lebesgue multiplier ideal sheaves on singular complex spaces and regularity of weak K\"ahler-Einstein metrics

abstract: In this article, we will characterize regular points respectively by the local vanishing, positivity of the Ricci curvature and $L^2$-solvability of the $\overline\partial$-equation together with Skoda's theorem for Nadel-Lebesgue multiplier ideal sheaves associated to plurisubharmonic (psh) functions on any (reduced) complex space of pure dimension. As a by-product, we show that any weak K\"ahler-Einstein metric on \emph{singular} $\mathbb{Q}$-Fano/Calabi-Yau/general type varieties cannot be smooth, and that in general there exists no \emph{singular} normal K\"ahler complex space such that the K\"ahler metric is K\"ahler-Einstein on the regular locus.


title: Sharp $L^p$ estimates and size of nodal sets for generalized Steklov eigenfunctions

abstract: We prove sharp $L^p$ estimates for the Steklov eigenfunctions on compact manifolds with boundary in terms of their $L^2$ norms on the boundary. We prove it by establishing $L^p$ bounds for the harmonic extension operators as well as the spectral projection operators on the boundary. Moreover, we derive lower bounds on the size of nodal sets for a variation of the Steklov spectral problem. We consider a generalized version of the Steklov problem by adding a non-smooth potential on the boundary but some of our results are new even without potential.


title: Sentiment Analysis of COVID-19 Public Activity Restriction (PPKM) Impact using BERT Method

abstract: Covid-19 has grown rapidly in all parts of the world and is considered an international disaster because of its wide-reaching impact. The impact of Covid-19 has spread to Indonesia, especially in the slowdown in economic growth. This was influenced by the implementation of Community Activity Restrictions (PPKM) which limited community economic activities. This study aims to analyze the mapping of public sentiment towards PPKM policies in Indonesia during the pandemic based on Twitter data. Knowing the mapping of public sentiment regarding PPKM is expected to help stakeholders in the policy evaluation process for each region. The method used is BERT with IndoBERT specific model. The results showed the evaluation value of IndoBERT f-1 score reached 84%, precision 86%, and recall 84%. Meanwhile for the evaluation of the use of SVM f-1 score 70%, 72% precision, and 70% recall. Multinominal Na\"ive Bayes evaluation shows f-1 score 83%, precision 78%, and recall 80%. As a conclusion, BERT method with the IndoBERT model is proven to be higher than classical methods such as SVM and Multinominal Na\"ive Bayes.


title: Realizations of inner automorphisms of order four and fixed points subgroups by them on the connected compact exceptional Lie group $E_8$, Part III

abstract: The compact simply connected Riemannian 4-symmetric spaces were classified by J.A. Jim{\'{e}}nez according to type of the Lie algebras. As homogeneous manifolds, these spaces are of the form $G/H$, where $G$ is a connected compact simple Lie group with an automorphism $\tilde{\gamma}$ of order four on $G$ and $H$ is a fixed points subgroup $G^\gamma$ of $G$. According to the classification by J.A. Jim{\'{e}}nez, there exist seven compact simply connected Riemannian 4-symmetric spaces $ G/H $ in the case where $ G $ is of type $ E_8 $. In the present article, %as Part II continuing from Part I, for the connected compact %exceptional Lie group $E_8$, we give the explicit form of automorphisms $\tilde{\omega}^{}_4,\tilde{\kappa}^{}_4$ and $ \tilde{\varepsilon}^{}_4$ of order four on $E_8$ induced by the $C$-linear transformations $\omega^{}_4, \kappa^{}_4$ and $ \varepsilon^{}_4$ of the 248-dimensional $ C $-vector space ${\mathfrak{e}_8}^{C}$, respectively. Further, we determine the structure of these fixed points subgroups $(E_8)^{{}_{\omega^{}_4}}, (E_8)^{{}_{\kappa^{}_4}}$ and $(E_8)^{{}_{\varepsilon^{}_4}}$ of $ E_8 $. These amount to the global realizations of three spaces among seven Riemannian 4-symmetric spaces $ G/H $ above corresponding to the Lie algebras $ \mathfrak{h}=\mathfrak{su}(2)\oplus i\mathbf{R} \oplus \mathfrak{e}_6, i\mathbf{R} \oplus \mathfrak{so}(14)$ and $\mathfrak{h} =\mathfrak{su}(2) \oplus i\mathbf{R}\oplus \mathfrak{so}(12)$, where $ \mathfrak{h}={\rm Lie}(H) $. With this article, the all realizations of inner automorphisms of order four and fixed points subgroups by them have been completed in $ E_8 $.


title: The descendants of the 3d-index

abstract: In the study of 3d-3d correspondence occurs a natural $q$-Weyl algebra associated to an ideal triangulation of a 3-manifold with torus boundary components, and a module of it. We study the action of this module on the (rotated) 3d-index of Dimofte-Gaiotto-Gukov and we conjecture some structural properties: bilinear factorization in terms of holomorphic blocks, pair of linear $q$-difference equations, the determination of the 3d-index in terms of a finite size matrix of rational functions and the asymptotic expansion of the $q$-series as $q$ tends to 1 to all orders. We illustrate our conjectures with computations for the case of the three simplest hyperbolic knots.


title: Quantum phases of lattice dipolar bosons coupled to a high-finesse cavity

abstract: Two types of long range interactions, dipolar interaction and cavity-mediated interaction lead to exotic quantum phases. Both interactions have been realized and observed in optical lattice setups. Here, we study quantum phases of dipolar bosons trapped in optical lattices and coupled to a high-finesse cavity where both dipolar interaction and cavity-mediated interaction coexist. We perform quantum Monte Carlo simulations, and find that the checkerboard solid is enhanced and the checkerboard supersolid phase can exist in a wide range of densities (e.g. $ 0.27\lesssim n\lesssim0.73 $). Our unbiased numerical results suggest that both solid and supersolid phases can be achieved experimentally with magnetic atoms coupled to a cavity.


title: Cobordism invariance of the index for realizations of elliptic operators revisited

abstract: We revisit an argument due to Lesch (Topology 32 (1993), no. 3, 611-623) for proving the cobordism invariance of the index of Dirac operators on even-dimensional closed manifolds and combine this with recent work by the author (New York J. Math. 28 (2022), 705-772) to show vanishing results for the spectral flow for families of selfadjoint Fredholm realizations of elliptic operators in case the family is induced on the boundary by an elliptic operator on a compact space. This work is motivated by studying the behavior of the index of realizations of elliptic operators under cobordisms of statified manifolds.


title: Material vs. structure: Topological origins of band-gap truncation resonances in periodic structures

abstract: While resonant modes do not exist within band gaps in infinite periodic materials, they may appear as in-gap localized edge modes once the material is truncated to form a finite periodic structure. Here, we provide an analysis framework that reveals the topological origins of truncation resonances, elucidating formally the conditions that influence their existence and properties. Elastic beams with sinusoidal and step-wise property modulations are considered as classical examples of periodic structures. Their non-trivial topological characteristics stem from the consideration of a phason parameter that produces spatial shifts of the property modulation while continuously varying how the boundaries are truncated. In this context, non-trivial band gaps are characterized by an integer topological invariant, the Chern number, which is equal to the number of truncation resonances that traverse a band gap as the phason is varied. We highlight the existence of multiple chiral edge states that may be localized at opposite boundaries, and illustrate how these can be independently tuned by modified boundary-specific phason parameters. Furthermore, we show that the frequency location of a truncation resonance is influenced by the modulation volume fraction, boundary conditions, and number of cells comprising the finite structure, thus quantifying its robustness to these factors. Non-topological in-gap resonances induced by a defect are also demonstrated, showing that these can be coupled with topological modes when the defect is located at an edge. Finally, experimental investigations on bi-material phononic-crystal beams are conducted to support these findings. The tunability of truncation resonances by material-property modulation may be exploited in applications ranging from vibration attenuation and thermal conductivity reduction to filtering and flow control by phononic subsurfaces.


title: Giant excitonic magneto-optical Faraday rotation in single semimagnetic CdTe/Cd_{1-x}Mn_{x}Te quantum ring

abstract: Magnetic tuning of the bound exciton states and corresponding giant Zeeman splitting (GZS) between {\sigma}^{+} and {\sigma}^{-} excitonic transitions in CdTe/Cd_{1-x}Mn_{x}Te quantum ring has been investigated in the Faraday configuration for various concentrations of Mn^{2+} ions, using the variational technique in the effective mass approximation. The sp-d exchange interaction between the localized magnetic impurity ions and the delocalized charge carriers has been accounted via mean-field theory with the inclusion of a modified Brillouin function. The enhancement of the GZS, and in turn, the effective g-factor with the application of an external magnetic field, is strikingly manifested in type-I - type-II transition in the band structure, which has been well explained by computing the overlap integral between the electron and hole, and the in-plane exciton radius. This highlights the extraordinary magneto-optical properties, including the giant Faraday rotation and associated Verdet constant, which have been calculated using single oscillator model. The oscillator strength and exciton lifetime have been estimated, and are found to be larger than in the bulk diluted magnetic semiconductors (DMS) and quantum wells, reflecting stronger confinement inside the quantum ring. The results show that the DMS-based quantum ring exhibits more extensive Zeeman splitting, which gives rise to ultra-high Verdet constant of 2.6 \times 10^{9}rad/Tesla/m, which are a few orders of magnitude larger than in the existing quantum systems and magneto-optical materials.


title: Renormalization of Ising cage-net model and generalized foliation

abstract: A large class of type-I fracton models, including the X-cube model, have been found to be fixed points of the foliated renormalization group (RG). The system size of such foliated models can be changed by adding or removing decoupled layers of $2$D topological states and continuous deformation of the Hamiltonian. In this paper, we study a closely related model -- the Ising cage-net model -- and find that this model is not foliated in the same sense. In fact, we point out certain unnatural restrictions in the foliated RG, and find that removing these restrictions leads to a generalized foliated RG under which the Ising cage-net model is a fixed point, and which includes the original foliated RG as a special case. The Ising cage-net model thus gives a prototypical example of the generalized foliated RG, and its system size can be changed either by condensing / uncondensing bosonic planon excitations near a 2D plane or through a linear depth quantum circuit in the same plane. We show that these two apparently different RG procedures are closely related, as they lead to the same gapped boundary when implemented in part of a plane. Finally, we briefly discuss the implications for foliated fracton phases, whose universal properties will need to be reexamined in light of the generalized foliated RG.


title: Towards Separating Computational and Statistical Differential Privacy

abstract: Computational differential privacy (CDP) is a natural relaxation of the standard notion of (statistical) differential privacy (SDP) proposed by Beimel, Nissim, and Omri (CRYPTO 2008) and Mironov, Pandey, Reingold, and Vadhan (CRYPTO 2009). In contrast to SDP, CDP only requires privacy guarantees to hold against computationally-bounded adversaries rather than computationally-unbounded statistical adversaries. Despite the question being raised explicitly in several works (e.g., Bun, Chen, and Vadhan, TCC 2016), it has remained tantalizingly open whether there is any task achievable with the CDP notion but not the SDP notion. Even a candidate such task is unknown. Indeed, it is even unclear what the truth could be! In this work, we give the first construction of a task achievable with the CDP notion but not the SDP notion, under the following strong but plausible cryptographic assumptions: (1) Non-Interactive Witness Indistinguishable Proofs, (2) Laconic Collision-Resistant Keyless Hash Functions, (3) Differing-Inputs Obfuscation for Public-Coin Samplers. In particular, we construct a task for which there exists an $\varepsilon$-CDP mechanism with $\varepsilon = O(1)$ achieving $1-o(1)$ utility, but any $(\varepsilon, \delta)$-SDP mechanism, including computationally-unbounded ones, that achieves a constant utility must use either a super-constant $\varepsilon$ or an inverse-polynomially large $\delta$. To prove this, we introduce a new approach for showing that a mechanism satisfies CDP: first we show that a mechanism is "private" against a certain class of decision tree adversaries, and then we use cryptographic constructions to "lift" this into privacy against computationally bounded adversaries. We believe this approach could be useful to devise further tasks separating CDP from SDP.


title: Inequality for the variance of an asymmetric loss

abstract: We assume that the forecast error follows a probability distribution which is symmetric and monotonically non-increasing on non-negative real numbers, and if there is a mismatch between observed and predicted value, then we suffer a loss. Under the assumptions, we solve a minimization problem with an asymmetric loss function. In addition, we give an inequality for the variance of the loss.


title: Physics-informed Neural Networks approach to solve the Blasius function

abstract: Deep learning techniques with neural networks have been used effectively in computational fluid dynamics (CFD) to obtain solutions to nonlinear differential equations. This paper presents a physics-informed neural network (PINN) approach to solve the Blasius function. This method eliminates the process of changing the non-linear differential equation to an initial value problem. Also, it tackles the convergence issue arising in the conventional series solution. It is seen that this method produces results that are at par with the numerical and conventional methods. The solution is extended to the negative axis to show that PINNs capture the singularity of the function at $\eta=-5.69$


title: Another irreducibility criterion

abstract: Let $f=a_0+ a_{1}x+\cdots+a_m x^m\in \Bbb{Z}[x]$ be a primitive polynomial. Suppose that there exists a positive real number $\alpha$ such that $|a_m| \alpha^m>|a_0|+|a_1|\alpha+\cdots+|a_{m-1}|\alpha^{m-1}$. We prove that if there exist natural numbers $n$ and $d$ satisfying $n\geq \alpha+ d$ for which either $|f(n)|/d$ is a prime, or $|f(n)|/d$ is a prime-power coprime to $|f'(n)|$, then $f$ is irreducible in $\mathbb{Z}[x]$.


title: Targeted k-node Collapse Problem: Towards Understanding the Robustness of Local k-core Structure

abstract: The concept of k-core, which indicates the largest induced subgraph where each node has k or more neighbors, plays a significant role in measuring the cohesiveness and the engagement of a network, and it is exploited in diverse applications, e.g., network analysis, anomaly detection, community detection, etc. Recent works have demonstrated the vulnerability of k-core under malicious perturbations which focuses on removing the minimal number of edges to make a whole k-core structure collapse. However, to the best of our knowledge, there is no existing research concentrating on how many edges should be removed at least to make an arbitrary node in k-core collapse. Therefore, in this paper, we make the first attempt to study the Targeted k-node Collapse Problem (TNCP) with four novel contributions. Firstly, we offer the general definition of TNCP problem with the proof of its NP-hardness. Secondly, in order to address the TNCP problem, we propose a heuristic algorithm named TNC and its improved version named ATNC for implementations on large-scale networks. After that, the experiments on 16 real-world networks across various domains verify the superiority of our proposed algorithms over 4 baseline methods along with detailed comparisons and analyses. Finally, the significance of TNCP problem for precisely evaluating the resilience of k-core structures in networks is validated.


title: Quantum Machine Learning Applied to the Classification of Diabetes

abstract: Quantum Machine Learning (QML) shows how it maintains certain significant advantages over machine learning methods. It now shows that hybrid quantum methods have great scope for deployment and optimisation, and hold promise for future industries. As a weakness, quantum computing does not have enough qubits to justify its potential. This topic of study gives us encouraging results in the improvement of quantum coding, being the data preprocessing an important point in this research we employ two dimensionality reduction techniques LDA and PCA applying them in a hybrid way Quantum Support Vector Classifier (QSVC) and Variational Quantum Classifier (VQC) in the classification of Diabetes.


title: Fast high-fidelity charge readout by operating the cavity-embedded Cooper pair transistor in the Kerr bistable regime

abstract: Operating the cavity-embedded Cooper pair transistor (cCPT) in the Kerr bistable regime, we demonstrate single-shot resolution between two charge states that are $0.09e$ apart. The measurement is performed with 94$\%$ fidelity in a duration of 3 $\mu$s. The drive power at which the measurement is performed corresponds to only 20 intracavity photons on average in the high oscillation amplitude state of the cCPT, which is orders-of-magnitude smaller than that in rf-SETs. We find that the limiting factor for this mode of operation of the cCPT is the spontaneous fluctuation-induced switching between the two metastable oscillation amplitude states. We present empirical data on the variation of the switching dynamics with drive parameters and cCPT DC bias.


title: Random bit generation based on self-chaotic microlasers with enhanced chaotic bandwidth

abstract: Chaotic semiconductor lasers have been widely investigated for high-speed random bit generation, which is applied for the generation of cryptographic keys for classical and quantum cryptography systems. Here, we propose and demonstrate a self-chaotic microlaser with enhanced chaotic bandwidth for high-speed random bit generation. By designing tri-mode interaction in a deformed square microcavity laser, we realize a self-chaotic laser caused by two-mode internal interaction, and achieve an enhanced chaotic standard bandwidth due to the photon-photon resonance effect by introducing the third mode. Moreover, 500 Gb/s random bit generation is realized and the randomness is verified by the NIST SP 800-22 statistics test. Our demonstration promises the applications of microlasers in secure communication, chaos radar, and optical reservoir computing, and also provides a platform for the investigations of multimode nonlinear laser dynamics.


title: Graphs with girth $2\ell+1$ and without longer odd holes are $3$-colorable

abstract: For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Plummer and Zha conjectured that every 3-connected and internally 4-connected graph in $\mathcal{G}_2$ is 3-colorable. Wu, Xu, and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is 3-colorable. Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is 3-colorable. In this paper, we prove that every graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ is 3-colorable.


title: Black hole images: A Review

abstract: In recent years, unprecedented progress has been achieved regarding black holes' observation through the electromagnetic channel. The images of the supermassive black holes M87$^{*}$ and Sgr A$^{*}$ released by the Event Horizon Telescope (EHT) Collaboration provided direct visual evidence for their existence, which has stimulated further studies on various aspects of the compact celestial objects. Moreover, the information stored in these images provides a new way to understand the pertinent physical processes that occurred near the black holes, to test alternative theories of gravity, and to furnish insight into fundamental physics. In this review, we briefly summarize the recent developments on the topic. In particular, we elaborate on the features and formation mechanism of black hole shadows, the properties of black hole images illuminated by the surrounding thin accretion disk, and the corresponding polarization patterns. The potential applications of the relevant studies are also addressed.


title: Skeletal Video Anomaly Detection using Deep Learning: Survey, Challenges and Future Directions

abstract: The existing methods for video anomaly detection mostly utilize videos containing identifiable facial and appearance-based features. The use of videos with identifiable faces raises privacy concerns, especially when used in a hospital or community-based setting. Appearance-based features can also be sensitive to pixel-based noise, straining the anomaly detection methods to model the changes in the background and making it difficult to focus on the actions of humans in the foreground. Structural information in the form of skeletons describing the human motion in the videos is privacy-protecting and can overcome some of the problems posed by appearance-based features. In this paper, we present a survey of privacy-protecting deep learning anomaly detection methods using skeletons extracted from videos. We present a novel taxonomy of algorithms based on the various learning approaches. We conclude that skeleton-based approaches for anomaly detection can be a plausible privacy-protecting alternative for video anomaly detection. Lastly, we identify major open research questions and provide guidelines to address them.


title: Longtime Dynamics of Irrotational Spherical Water Drops: Initial Notes

abstract: In this note, we propose several unsolved problems concerning the irrotational oscillation of a water droplet under zero gravity. We will derive the governing equation of this physical model, and convert it to a quasilinear dispersive partial differential equation defined on the sphere, which formally resembles the capillary water waves equation but describes oscillation defined on curved manifold instead. Three types of unsolved mathematical problems related to this model will be discussed in observation of hydrodynamical experiments under zero gravity: (1) Strichartz type inequalities for the linearized problem (2) existence of periodic solutons (3) normal form reduction and generic lifespan estimate. It is pointed out that all of these problems are closely related to certain Diophantine equations, especially the third one.


title: Diffusion within pores fully revealed by magnetic resonance

abstract: Probing the transport of fluids within confined domains is important in many areas including material science, catalysis, food science, and cell biology. The diffusion propagator fully characterizes the diffusion process, which is highly sensitive to the confining boundaries as well as the structure within enclosed pores. While magnetic resonance has been used extensively to observe various features of the diffusion process, its full characterization has been elusive. Here, we address this challenge by employing a special sequence of magnetic field gradient pulses for measuring the diffusion propagator, which allows for `listening to the drum' and determining not only the pore's shape but also diffusive dynamics within it.

categories: cond-mat.mtrl-sci physics.app-ph physics.bio-ph physics.chem-ph physics.flu-dyn


title: Adapting Node-Place Model to Predict and Monitor COVID-19 Footprints and Transmission Risks

abstract: The node-place model has been widely used to classify and evaluate transit stations, which sheds light on individual travel behaviors and supports urban planning through effectively integrating land use and transportation development. This article adapts this model to investigate whether and how node, place, and mobility would be associated with the transmission risks and presences of the local COVID-19 cases in a city. Similar studies on the model and its relevance to COVID-19, according to our knowledge, have not been undertaken before. Moreover, the unique metric drawn from detailed visit history of the infected, i.e., the COVID-19 footprints, is proposed and exploited. This study then empirically uses the adapted model to examine the station-level factors affecting the local COVID-19 footprints. The model accounts for traditional measures of the node and place as well as actual human mobility patterns associated with the node and place. It finds that stations with high node, place, and human mobility indices normally have more COVID-19 footprints in proximity. A multivariate regression is fitted to see whether and to what degree different indices and indicators can predict the COVID-19 footprints. The results indicate that many of the place, node, and human mobility indicators significantly impact the concentration of COVID-19 footprints. These are useful for policy-makers to predict and monitor hotspots for COVID-19 and other pandemics transmission.


title: Airborne Ultrasound Focusing Aperture with Binary Amplitude Mask Over Planar Ultrasound Emissions

abstract: Phased arrays of airborne ultrasound transducers are widely utilized as a key technology to achieve mid-air convergence of intense ultrasound, which is applied to a variety of systems, such as contactless tactile presentation, acoustic-levitation and its application, mid-air-flow acceleration, etc. However, it requires considerably precise phase control with temporally severe synchronization between elements, which leads to difficulty in scaling up the entire system beyond the tabletop size as most of the current application systems. Here, we propose a much simpler and easier scaling-up method of airborne ultrasound convergence, where a binary amplitude mask that serves as a Fresnel Zone Plate (FZP) is placed on the planar in-phase ultrasound sources. We experimentally demonstrate that the FZP-based ultrasound focusing achieved a spatial resolution that is comparable to conventional methods, based on the use of phase-controlled transducers. The ultrasound foci created using FZPs are sufficiently intense for most application scenarios that are currently in practical use. We also determine favorable side effects of our method suppressing grating lobes, which is inevitable with the conventional phase-controlling method. The FZPs and planar ultrasound sources are both readily implemented with inexpensive ingredients and components. The result of our study contributes to upsizing dimensions in which a mid-air convergent ultrasound field is successfully generated. Accordingly, unprecedented application scenarios that target the entire room as the workspace will be possible.


title: Bell Inequalities and Maximally Realistic Causal Quantum Mechanics

abstract: The De Broglie-Bohm (DeBB)\cite{DeBB} Causal Quantum Mechanics played a crucial role in Bell's discovery \cite{Bell1964} that quantum mechanics violates EPR local reality \cite{EPR1935}, and also in Bell's search for an exact quantum mechanics. The experiments of Aspect et al \cite{Aspect1981} confirm quantum correlations between plane polarizations of two photons and violation of Bell's inequalities by a factor $\sqrt 2 $. I prove that similar experiments with elliptic polarizers can also show quantum violations of Bell's inequality by the same factor. I summarize our construction of a maximally realistic causal quantum mechanics in $n-$dimensional configuration space \cite{Roy-Singh1995}. Phase space Bell inequalities and 'Marginal Theorems' \cite{Auberson2002} play a crucial role.


title: Large structures within the class of summing operators

abstract: We investigate lineability/spaceability problems within the setting of multilinear summing operators on quasi-Banach sequence spaces. Furthermore, we deal with the contemporary geometric notions of pointwise-lineability and $(\alpha,\beta)$-lineability. Among other results, we prove that the class of multilinear operators taking values on $\ell_q \, (0<q \leq \infty)$ that are absolutely but not multiple summing is pointwise $\mathfrak{c}$-spaceable when non-empty. Spaceability in other classes, such as Dunford-Pettis operators and multilinear operators on general summable scalar families, is also studied.


title: Circular bidiagonal pairs

abstract: A square matrix is said to be circular bidiagonal whenever (i) each nonzero entry is on the diagonal, or the subdiagonal, or in the top-right corner; (ii) each subdiagonal entry is nonzero, and the entry in the top-right corner is nonzero. Let $\mathbb F$ denote a field, and let $V$ denote a nonzero finite-dimensional vector space over $\mathbb F$. We consider an ordered pair of $\mathbb F$-linear maps $A: V \to V$ and $A^*: V \to V$ that satisfy the following two conditions: (i) there exists a basis for $V$ with respect to which the matrix representing $A$ is circular bidiagonal and the matrix representing $A^*$ is diagonal; (ii) there exists a basis for $V$ with respect to which the matrix representing $A^*$ is circular bidiagonal and the matrix representing $A$ is diagonal. We call such a pair a circular bidiagonal pair on $V$. We classify the circular bidiagonal pairs up to affine equivalence. There are two infinite families of solutions, which we describe in detail.


title: Hair and Scalp Disease Detection using Machine Learning and Image Processing

abstract: Almost 80 million Americans suffer from hair loss due to aging, stress, medication, or genetic makeup. Hair and scalp-related diseases often go unnoticed in the beginning. Sometimes, a patient cannot differentiate between hair loss and regular hair fall. Diagnosing hair-related diseases is time-consuming as it requires professional dermatologists to perform visual and medical tests. Because of that, the overall diagnosis gets delayed, which worsens the severity of the illness. Due to the image-processing ability, neural network-based applications are used in various sectors, especially healthcare and health informatics, to predict deadly diseases like cancers and tumors. These applications assist clinicians and patients and provide an initial insight into early-stage symptoms. In this study, we used a deep learning approach that successfully predicts three main types of hair loss and scalp-related diseases: alopecia, psoriasis, and folliculitis. However, limited study in this area, unavailability of a proper dataset, and degree of variety among the images scattered over the internet made the task challenging. 150 images were obtained from various sources and then preprocessed by denoising, image equalization, enhancement, and data balancing, thereby minimizing the error rate. After feeding the processed data into the 2D convolutional neural network (CNN) model, we obtained overall training accuracy of 96.2%, with a validation accuracy of 91.1%. The precision and recall score of alopecia, psoriasis, and folliculitis are 0.895, 0.846, and 1.0, respectively. We also created a dataset of the scalp images for future prospective researchers.


title: Velocity Laws for Bound States in Asymptotically AdS Geometries

abstract: We study the behavior of heavy quark bound states in moving plasmas that are dual to theories with generic non-trivial renormalization group flows interpolating between an AdS geometry in the ultraviolet and infrared fixed points with broken symmetries. We investigate analytically the observables associated with the bound state and find their scaling exponents with respect to the Lorentz factor for ultrarelativistic motion. Despite having asymptotically an AdS geometry, the scaling is not universal and depends on geometric conditions of the Fefferman-Graham expansion in the near boundary regime, or equivalently on the order of the asymptotic background expansion that provides the leading contributions to the Wilson loops.


title: Situation-Aware Deep Reinforcement Learning for Autonomous Nonlinear Mobility Control in Cyber-Physical Loitering Munition Systems

abstract: According to the rapid development of drone technologies, drones are widely used in many applications including military domains. In this paper, a novel situation-aware DRL- based autonomous nonlinear drone mobility control algorithm in cyber-physical loitering munition applications. On the battlefield, the design of DRL-based autonomous control algorithm is not straightforward because real-world data gathering is generally not available. Therefore, the approach in this paper is that cyber-physical virtual environment is constructed with Unity environment. Based on the virtual cyber-physical battlefield scenarios, a DRL-based automated nonlinear drone mobility control algorithm can be designed, evaluated, and visualized. Moreover, many obstacles exist which is harmful for linear trajectory control in real-world battlefield scenarios. Thus, our proposed autonomous nonlinear drone mobility control algorithm utilizes situation-aware components those are implemented with a Raycast function in Unity virtual scenarios. Based on the gathered situation-aware information, the drone can autonomously and nonlinearly adjust its trajectory during flight. Therefore, this approach is obviously beneficial for avoiding obstacles in obstacle-deployed battlefields. Our visualization-based performance evaluation shows that the proposed algorithm is superior from the other linear mobility control algorithms.


title: Generating Function for Pinsky's Combinatorial Second Moment Formula for the Generalized Ulam Problem

abstract: Given a uniform random permutation $\pi \in S_n$, let $Z_{n,k}$ be equal to the number of increasing subsequences of length $k$: so $Z_{n,k}=|\{(i_1,\dots,i_k) \in \mathbb{Z}^k\, :\, 1\leq i_1<\dots<i_k\leq n\, ,\ \pi_{i_1}<\dots<\pi_{i_k}\}|$. In an important paper, Ross Pinsky proved $\mathbf{E}\big[Z_{n,k}^2\big]$ is equal to $\sum_{i} A(k-i,i)B(n,2k-i)$, where for any nonnegative integers $N$ and $j$, we have $B(N,j) = \binom{N}{j}/j!$ and $A(N,j)$ is a particular nonnegative integer, which Pinsky characterized in two different ways. One characterization of $A(N,j)$ involves the occupation time of the $x$-axis prior to a first return to the origin. Using this, he proved a law of large numbers for the sequence $Z_{n,k_n}$ when $k_n=o(n^{2/5})$ as $n \to \infty$. In a follow-up paper, he also proved the sequence $Z_{n,k_n}$ fails to obey a law of large numbers when $1/k_n = o(1/n^{4/9})$ as $n \to \infty$. Here, we return to his combinatorial formula for the the second moment of $Z_{n,k}$, and we obtain a generating function for the $A(N,j)$ triangular array. We are motivated by the hope of applying spin glass techniques to the well-known Ulam's problem to see if this gives a new perspective.


title: Broad Learning System with Takagi-Sugeno Fuzzy Subsystem for Tobacco Origin Identification based on Near Infrared Spectroscopy

abstract: Tobacco origin identification is significantly important in tobacco industry. Modeling analysis for sensor data with near infrared spectroscopy has become a popular method for rapid detection of internal features. However, for sensor data analysis using traditional artificial neural network or deep network models, the training process is extremely time-consuming. In this paper, a novel broad learning system with Takagi-Sugeno (TS) fuzzy subsystem is proposed for rapid identification of tobacco origin. Incremental learning is employed in the proposed method, which obtains the weight matrix of the network after a very small amount of computation, resulting in much shorter training time for the model, with only about 3 seconds for the extra step training. The experimental results show that the TS fuzzy subsystem can extract features from the near infrared data and effectively improve the recognition performance. The proposed method can achieve the highest prediction accuracy (95.59 %) in comparison to the traditional classification algorithms, artificial neural network, and deep convolutional neural network, and has a great advantage in the training time with only about 128 seconds.


title: Spatiotemporal implicit neural representation for unsupervised dynamic MRI reconstruction

abstract: Supervised Deep-Learning (DL)-based reconstruction algorithms have shown state-of-the-art results for highly-undersampled dynamic Magnetic Resonance Imaging (MRI) reconstruction. However, the requirement of excessive high-quality ground-truth data hinders their applications due to the generalization problem. Recently, Implicit Neural Representation (INR) has appeared as a powerful DL-based tool for solving the inverse problem by characterizing the attributes of a signal as a continuous function of corresponding coordinates in an unsupervised manner. In this work, we proposed an INR-based method to improve dynamic MRI reconstruction from highly undersampled k-space data, which only takes spatiotemporal coordinates as inputs. Specifically, the proposed INR represents the dynamic MRI images as an implicit function and encodes them into neural networks. The weights of the network are learned from sparsely-acquired (k, t)-space data itself only, without external training datasets or prior images. Benefiting from the strong implicit continuity regularization of INR together with explicit regularization for low-rankness and sparsity, our proposed method outperforms the compared scan-specific methods at various acceleration factors. E.g., experiments on retrospective cardiac cine datasets show an improvement of 5.5 ~ 7.1 dB in PSNR for extremely high accelerations (up to 41.6-fold). The high-quality and inner continuity of the images provided by INR has great potential to further improve the spatiotemporal resolution of dynamic MRI, without the need of any training data.


title: Curve selection lemma in arc spaces

abstract: We first generalize a curve selection lemma for Noetherian schemes and apply it to prove a version of Curve Selection Lemma in arc spaces, answering affirmatively a question by Reguera. Furthermore, thanks to a structure theorem of Grinberg, Kazhdan and Drinfeld, we obtain other versions of Curve Selection Lemma in arc spaces.


title: Parameter-free analytic continuation for quantum many-body calculations

abstract: We develop a reliable parameter-free analytic continuation method for quantum many-body calculations. Our method is based on a kernel grid, a causal spline, a regularization using the second-derivative roughness penalty, and the L-curve criterion. We also develop the L-curve averaged deviation to estimate the precision of our analytic continuation. To deal with statistically obtained data more efficiently, we further develop a bootstrap-averaged analytic continuation method. In the test using the exact imaginary-frequency Green's function with added statistical error, our method produces the spectral function that converges systematically to the exact one as the statistical error decreases. As an application, we simulate the two-orbital Hubbard model for various electron numbers with the dynamical-mean field theory in the imaginary time and obtain the real-frequency self-energy with our analytic continuation method, clearly identifying a non-Fermi liquid behavior as the electron number approaches the half filling from the quarter filling. Our analytic continuation can be used widely and it will facilitate drawing clear conclusions from imaginary-time quantum many-body calculations.


title: Accuracy-Guaranteed Collaborative DNN Inference in Industrial IoT via Deep Reinforcement Learning

abstract: Collaboration among industrial Internet of Things (IoT) devices and edge networks is essential to support computation-intensive deep neural network (DNN) inference services which require low delay and high accuracy. Sampling rate adaption which dynamically configures the sampling rates of industrial IoT devices according to network conditions, is the key in minimizing the service delay. In this paper, we investigate the collaborative DNN inference problem in industrial IoT networks. To capture the channel variation and task arrival randomness, we formulate the problem as a constrained Markov decision process (CMDP). Specifically, sampling rate adaption, inference task offloading and edge computing resource allocation are jointly considered to minimize the average service delay while guaranteeing the long-term accuracy requirements of different inference services. Since CMDP cannot be directly solved by general reinforcement learning (RL) algorithms due to the intractable long-term constraints, we first transform the CMDP into an MDP by leveraging the Lyapunov optimization technique. Then, a deep RL-based algorithm is proposed to solve the MDP. To expedite the training process, an optimization subroutine is embedded in the proposed algorithm to directly obtain the optimal edge computing resource allocation. Extensive simulation results are provided to demonstrate that the proposed RL-based algorithm can significantly reduce the average service delay while preserving long-term inference accuracy with a high probability.


title: Guided Hybrid Quantization for Object detection in Multimodal Remote Sensing Imagery via One-to-one Self-teaching

abstract: Considering the computation complexity, we propose a Guided Hybrid Quantization with One-to-one Self-Teaching (GHOST}) framework. More concretely, we first design a structure called guided quantization self-distillation (GQSD), which is an innovative idea for realizing lightweight through the synergy of quantization and distillation. The training process of the quantization model is guided by its full-precision model, which is time-saving and cost-saving without preparing a huge pre-trained model in advance. Second, we put forward a hybrid quantization (HQ) module to obtain the optimal bit width automatically under a constrained condition where a threshold for distribution distance between the center and samples is applied in the weight value search space. Third, in order to improve information transformation, we propose a one-to-one self-teaching (OST) module to give the student network a ability of self-judgment. A switch control machine (SCM) builds a bridge between the student network and teacher network in the same location to help the teacher to reduce wrong guidance and impart vital knowledge to the student. This distillation method allows a model to learn from itself and gain substantial improvement without any additional supervision. Extensive experiments on a multimodal dataset (VEDAI) and single-modality datasets (DOTA, NWPU, and DIOR) show that object detection based on GHOST outperforms the existing detectors. The tiny parameters (<9.7 MB) and Bit-Operations (BOPs) (<2158 G) compared with any remote sensing-based, lightweight or distillation-based algorithms demonstrate the superiority in the lightweight design domain. Our code and model will be released at https://github.com/icey-zhang/GHOST.


title: Relationships between two linearizations of the box-ball system : Kerov-Kirillov-Reschetikhin bijection and slot configuration

abstract: The box-ball system (BBS), which was introduced by Takahashi and Satsuma in 1990, is a soliton cellular automaton. Its dynamics can be linearized by a few methods, among which the best known is the Kerov-Kirillov-Reschetikhin (KKR) bijection using rigged partitions. Recently a new linearization method in terms of "slot configurations" was introduced by Ferrari-Nguyen-Rolla-Wang, but its relations to existing ones have not been clarified. In this paper we investigate this issue and clarify the relation between the two linearizations. For this we introduce a novel way of describing the BBS dynamics using a carrier with seat numbers. We show that the seat number configuration also linearizes the BBS and reveals explicit relations between the KKR bijection and the slot configuration. In addition, by using these explicit relations, we also show that even in case of finite carrier capacity the BBS can be linearized via the slot configuration.


title: DIFFPY.MPDF: Open-source software for magnetic pair distribution function analysis

abstract: The open-source python package diffpy.mpdf, part of the DiffPy suite for diffraction and pair distribution function analysis, provides a user-friendly approach for performing magnetic pair distribution function (mPDF) analysis. The package builds on existing libraries in the DiffPy suite to allow users to create models of magnetic structures and calculate corresponding one-dimensional and three-dimensional mPDF patterns. diffpy.mpdf can be used to perform fits to mPDF data either in isolation or in combination with atomic PDF data for joint refinements of the atomic and magnetic structure. Examples are given using MnO and MnTe as representative antiferromagnetic compounds and MnSb as a representative ferromagnet.