title: Magnetocrystalline Anisotropy and Magnetocaloric Effect Studies on the Room-temperature 2D Ferromagnetic Cr$_4$Te$_5$

abstract: We present a thorough study on the magnetoanisotropic properties and magnetocaloric effect in the layered ferromagnetic Cr$_4$Te$_5$ single crystals by performing the critical behaviour analysis of magnetization isotherms. The critical exponents $\beta$=0.485(3), $\gamma$=1.202(5), and $\delta$=3.52(3) with a Curie temperature of $T_C \approx 340.73(4)$ K are determined by the modified Arrott plots. We observe a large magnetocrystalline anisotropy K$_u$=330 kJ/$m^3$ at 3 K which gradually decreases with increasing temperature. Maximum entropy change -$\Delta S_{M}^{max}$ and the relative cooling power (RCP) are found to be 2.77 $J/kg-K$ and 88.29 $J/kg$, respectively near $T_C$ when the magnetic field applied parallel to $\it{ab}$-plane. Rescaled -$\Delta S_M (T, H)$ data measured at various temperatures and fields collapse into a single universal curve, confirming the second order magnetic transition in this system. Following the renormalization group theory analysis, we find that the spin-coupling is of 3D Heisenberg-type, $\{d:n\}=\{3:3\}$, with long-range exchange interactions decaying as $J (r) = r^{-(d+\sigma)}= r^{-4.71}$.


title: Time complexity analysis of quantum algorithms via linear representations for nonlinear ordinary and partial differential equations

abstract: We construct quantum algorithms to compute the solution and/or physical observables of nonlinear ordinary differential equations (ODEs) and nonlinear Hamilton-Jacobi equations (HJE) via linear representations or exact mappings between nonlinear ODEs/HJE and linear partial differential equations (the Liouville equation and the Koopman-von Neumann equation). The connection between the linear representations and the original nonlinear system is established through the Dirac delta function or the level set mechanism. We compare the quantum linear systems algorithms based methods and the quantum simulation methods arising from different numerical approximations, including the finite difference discretisations and the Fourier spectral discretisations for the two different linear representations, with the result showing that the quantum simulation methods usually give the best performance in time complexity. We also propose the Schr\"odinger framework to solve the Liouville equation for the HJE with the Hamiltonian formulation of classical mechanics, since it can be recast as the semiclassical limit of the Wigner transform of the Schr\"odinger equation. Comparsion between the Schr\"odinger and the Liouville framework will also be made.


title: Bi-color atomic beam slower and magnetic field compensation for ultracold gases

abstract: Transversely loaded bidimensional-magneto-optical-traps (2D-MOT) have been recently developed as high flux sources for cold strontium atoms to realize a new generation of compact experimental setups. Here, we discuss on the implementation of a cross-polarized bi-color slower for a strontium atomic beam improving the 2D-MOT loading, and increasing the number of atoms in a final MOT by eleven times. Our slowing scheme addresses simultaneously two excited Zeeman substates of the 88Sr 1S0->1P1 transition at 461 nm. We also realized a 3-axis active feedback control of the magnetic field down to the microgauss regime. Such a compensation is performed thanks to a network of eight magnetic field probes arranged in a cuboid configuration around the atomic cold sample, and a pair of coils in Helmholtz configuration along each of three Cartesian directions. Our active feedback is capable of efficiently suppressing most of the magnetically-induced position fluctuations of the 689~nm intercombination-line MOT.


title: Evolutionary Deep Reinforcement Learning Using Elite Buffer: A Novel Approach Towards DRL Combined with EA in Continuous Control Tasks

abstract: Despite the numerous applications and success of deep reinforcement learning in many control tasks, it still suffers from many crucial problems and limitations, including temporal credit assignment with sparse reward, absence of effective exploration, and a brittle convergence that is extremely sensitive to the hyperparameters of the problem. The problems of deep reinforcement learning in continuous control, along with the success of evolutionary algorithms in facing some of these problems, have emerged the idea of evolutionary reinforcement learning, which attracted many controversies. Despite successful results in a few studies in this field, a proper and fitting solution to these problems and their limitations is yet to be presented. The present study aims to study the efficiency of combining the two fields of deep reinforcement learning and evolutionary computations further and take a step towards improving methods and the existing challenges. The "Evolutionary Deep Reinforcement Learning Using Elite Buffer" algorithm introduced a novel mechanism through inspiration from interactive learning capability and hypothetical outcomes in the human brain. In this method, the utilization of the elite buffer (which is inspired by learning based on experience generalization in the human mind), along with the existence of crossover and mutation operators, and interactive learning in successive generations, have improved efficiency, convergence, and proper advancement in the field of continuous control. According to the results of experiments, the proposed method surpasses other well-known methods in environments with high complexity and dimension and is superior in resolving the mentioned problems and limitations.


title: H\"ormander's $L^2$-method, $\bar{\partial}$-problem and polyanalytic function theory in one complex variable

abstract: In this paper we consider the classical $\bar{\partial}$-problem in the case of one complex variable both for analytic and polyanalytic data. We apply the decomposition property of polyanalytic functions in order to construct particular solutions of this problem and obtain new H\"ormander type estimates using suitable powers of the Cauchy-Riemann operator. We also compute particular solutions of the $\bar{\partial}$-problem for specific polyanalytic data such as the It\^o complex Hermite polynomials and polyanalytic Fock kernels.


title: Simultaneous Reconstruction of Optical and Acoustical Properties in Photo-Acoustic Imaging using plasmonics

abstract: We propose an approach for the simultaneous reconstruction of the electromagnetic and acoustic material parameters, in the given medium $\Omega$ where to image, using the photo-acoustic pressure, measured on a single point of the boundary of $\Omega$, generated by plasmonic nanoparticles. We prove that the generated pressure, that we denote by $p^{\star}\left(x, s, \omega \right)$, depending on only one fixed point $x \in \partial \Omega$, the time variable $s$, in a large enough interval, and the incidence frequency $\omega$, in a large enough band, is enough to reconstruct both the sound speed, the mass density and the permittivity inside $\Omega$. Indeed, from the behavior of the measured pressure in terms of time, we can estimate the travel time of the pressure, for arriving points inside $\Omega$, then using the eikonal equation we reconstruct the acoustic speed of propagation. In addition, we reconstruct the internal values of the acoustic Green's function. From the singularity analysis of this Green's function, we extract the integrals along the geodesics, for internal arriving points, of the logarithmic-gradient of the mass density. Solving this (internal) integral geometric problem provides us with the values of the mass density function inside $\Omega$. Finally, from the behavior of $p^{\star}\left(x, s, \omega \right)$ with respect to the frequency $\omega$, we detect the generated plasmonic resonances from which we reconstruct the permittivity inside $\Omega$.


title: Honor of Kings Arena: an Environment for Generalization in Competitive Reinforcement Learning

abstract: This paper introduces Honor of Kings Arena, a reinforcement learning (RL) environment based on Honor of Kings, one of the world's most popular games at present. Compared to other environments studied in most previous work, ours presents new generalization challenges for competitive reinforcement learning. It is a multi-agent problem with one agent competing against its opponent; and it requires the generalization ability as it has diverse targets to control and diverse opponents to compete with. We describe the observation, action, and reward specifications for the Honor of Kings domain and provide an open-source Python-based interface for communicating with the game engine. We provide twenty target heroes with a variety of tasks in Honor of Kings Arena and present initial baseline results for RL-based methods with feasible computing resources. Finally, we showcase the generalization challenges imposed by Honor of Kings Arena and possible remedies to the challenges. All of the software, including the environment-class, are publicly available at https://github.com/tencent-ailab/hok_env . The documentation is available at https://aiarena.tencent.com/hok/doc/ .


title: Quantum frequency conversion and single-photon detection with lithium niobate nanophotonic chips

abstract: In the past few years, the lithium niobate on insulator (LNOI) platform has revolutionized lithium niobate materials, and a series of quantum photonic chips based on LNOI have shown unprecedented performances. Quantum frequency conversion (QFC) photonic chips, which enable quantum state preservation during frequency tuning, are crucial in quantum technology. In this work, we demonstrate a low-noise QFC process on an LNOI nanophotonic platform designed to connect telecom and near-visible bands with sum-frequency generation by long-wavelength pumping. An internal conversion efficiency of 73% and an on-chip noise count rate of 900 counts per second (cps) are achieved. Moreover, the on-chip preservation of quantum statistical properties is verified, showing that the QFC chip is promising for extensive applications of LNOI integrated circuits in quantum information. Based on the QFC chip, we construct an upconversion single-photon detector with the sum-frequency output spectrally filtered and detected by a silicon single-photon avalanche photodiode, demonstrating the feasibility of an upconversion single-photon detector on-chip with a detection efficiency of 8.7% and a noise count rate of 300 cps. The realization of a low-noise QFC device paves the way for practical chip-scale QFC-based quantum systems in heterogeneous configurations.


title: Weighted maxima and sums of non-stationary random length sequences in heavy-tailed models

abstract: The sums and maxima of weighted non-stationary random length sequences of regularly varying random variables may have the same tail and extremal indices, Markovich and Rodionov (2020). The main constraints are that there exists a unique series in a scheme of series with the minimum tail index, the tail of the term number is lighter than the tail of the terms and the weights are positive constants. These assumptions are changed here: a bounded random number of series is allowed to have the minimum tail index, the tail of the term number may be heavier than the tail of the terms and the weights may be real-valued. Then we derive the tail and extremal indices of the weighted non-stationary random length sequences under the new assumptions.


title: Numerical Approximations for the Null Controllers of Structurally Damped Plate Dynamics

abstract: In this paper, we consider a structurally damped elastic equation under hinged boundary conditions. Fully-discrete numerical approximation schemes are generated for the null controllability of these parabolic-like PDEs. We mainly use finite element method (FEM) and finite difference method (FDM) approximations to show that the null controllers being approximated via FEM and FDM exhibit exactly the same asymptotics of the associated minimal energy function. For this, we appeal to the theory originally given by R. Triggiani [20] for construction of null controllers of ODE systems. These null controllers are also amenable to our numerical implementation in which we discuss the aspects of FEM and FDM numerical approximations and compare both methodologies. We justify our theoretical results with the numerical experiments given for both approximation schemes.


title: Lagrange vs. Lyapunov stability of hierarchical triple systems: dependence on the mutual inclination between inner and outer orbits

abstract: While there have been many studies examining the stability of hierarchical triple systems, the meaning of ``stability'' is somewhat vague and has been interpreted differently in previous literatures. The present paper focuses on ``Lagrange stability'', which roughly refers to the stability against the escape of a body from the system, or ``disruption'' of the triple system, in contrast to ``Lyapunov-like stability'' that is related to the chaotic nature of the system dynamics. We compute the evolution of triple systems using direct $N$-body simulations up to $10^7 P_\mathrm{out}$, which is significantly longer than previous studies (with $P_\mathrm{out}$ being the initial orbital period of the outer body). We obtain the resulting disruption timescale $T_\mathrm{d}$ as a function of the triple orbital parameters with particular attention to the dependence on the mutual inclination between the inner and outer orbits, $i_\mathrm{mut}$. By doing so, we have clarified explicitly the difference between Lagrange and Lyapunov stabilities in astronomical triples. Furthermore, we find that the von Zeipel-Kozai-Lidov oscillations significantly destabilize inclined triples (roughly with $60^\circ < i_\mathrm{mut} < 150^\circ$) relative to those with $i_\mathrm{mut}=0^\circ$. On the other hand, retrograde triples with $i_\mathrm{mut}>160^\circ$ become strongly stabilized with much longer disruption timescales. We show the sensitivity of the normalized disruption timescale $T_\mathrm{d}/P_\mathrm{out}$ to the orbital parameters of triple system. The resulting $T_\mathrm{d}/P_\mathrm{out}$ distribution is practically more useful in a broad range of astronomical applications than the stability criterion based on the Lyapunov divergence.


title: Magnetism and topology in Tb-based icosahedral quasicrystal

abstract: Quasicrystal (QC) possesses a unique lattice structure with rotational symmetry forbidden in conventional crystals. The electric property is far from complete understanding and it has been a long-standing issue whether the magnetic long-range order is realized in the QC. The main difficulty was lack of microscopic theory to analyze the effect of the crystalline electric field (CEF) at the rare-earth atom in QCs. Here we show the full microscopic analysis of the CEF in Tb-based QCs. We find that magnetic anisotropy arising from the CEF plays a key role in realizing unique magnetic textures on the icosahedron whose vertices Tb atoms are located at. Our analysis suggests that the long-range order of the hedgehog characterized by the topological charge of one is stabilized in the Tb-based QC. We also find that the whirling-moment state is characterized by unusually large topological charge of three. The magnetic textures as well as the topological states are shown to be switched by controlling compositions of the non-rare-earth elements in the ternary compounds. Our model is useful to understand the magnetism as well as the topological property in the rare-earth-based QCs and approximant crystals.


title: The key parameters controlling the photodesorption yield in interstellar CO ice analogs: Influence of ice deposition temperature and thickness

abstract: The overabundance of gas molecules in the coldest regions of space point to a non-thermal desorption process. Laboratory simulations show an efficient desorption of CO ice exposed to ultraviolet radiation, known as photodesorption, which decreases for increasing ice deposition temperature. However, the understanding of this abnormal phenomenon has remained elusive. In this work we show the same phenomenon, and in particular, a dramatic drop in the photodesorption yield is observed when the deposition temperature is 19 K and higher. Also the minimum ice thickness that accounts for a constant photodesorption yield of CO ice is deposition temperature dependent, an observation reported here for the first time. We propose that the key parameters that dominate the absorbed photon energy transfer in CO ice, and contribute to the measured photodesorption yields are the energy transfer length, single ice layer contributed desorption yield, and relative effective surface area. This set of parameters should be incorporated in astrophysical models that simulate photodesorption of the top CO-rich ice layer on icy dust populations with the size distribution which is ice thickness related.


title: EMA-VIO: Deep Visual-Inertial Odometry with External Memory Attention

abstract: Accurate and robust localization is a fundamental need for mobile agents. Visual-inertial odometry (VIO) algorithms exploit the information from camera and inertial sensors to estimate position and translation. Recent deep learning based VIO models attract attentions as they provide pose information in a data-driven way, without the need of designing hand-crafted algorithms. Existing learning based VIO models rely on recurrent models to fuse multimodal data and process sensor signal, which are hard to train and not efficient enough. We propose a novel learning based VIO framework with external memory attention that effectively and efficiently combines visual and inertial features for states estimation. Our proposed model is able to estimate pose accurately and robustly, even in challenging scenarios, e.g., on overcast days and water-filled ground , which are difficult for traditional VIO algorithms to extract visual features. Experiments validate that it outperforms both traditional and learning based VIO baselines in different scenes.


title: A "thoughtful" Local Friendliness no-go theorem: a prospective experiment with new assumptions to suit

abstract: A recent paper by two of us and co-workers, based on an extended Wigner's friend scenario, demonstrated that certain empirical correlations predicted by quantum theory (QT) violate inequalities derived from a set of metaphysical assumptions we called "Local Friendliness" (LF). These assumptions are strictly weaker than those used for deriving Bell inequalities. Crucial to the theorem was the premise that a quantum system with reversible evolution could be an observer (colloquially, a "friend"). However, that paper was noncommittal on what would constitute an observer for the purpose of an experiment. Here, we present a new LF no-go theorem which takes seriously the idea that a system's having *thoughts* is a sufficient condition for it to be an observer. Our new derivation of the LF inequalities uses four metaphysical assumptions, three of which are thought-related, including one that is explicitly called "Friendliness". These four assumptions, in conjunction, allow one to derive LF inequalities for experiments involving the type of system that "Friendliness" refers to. In addition to these four metaphysical assumptions, this new no-go theorem requires two assumptions about what is *technologically* feasible: Human-Level Artificial Intelligence, and Universal Quantum Computing which is fast and large scale. The latter is often motivated by the belief that QT is universal, but this is *not* an assumption of the theorem. The intent of the new theorem is to give a clear goal for future experimentalists, and a clear motivation for trying to achieve that goal. We review various approaches to QT in light of our theorem. The popular stance that "quantum theory needs no interpretation" does not question any of our assumptions and so is ruled out. Finally, we quantitatively discuss how difficult the experiment we envisage would be, and briefly discuss milestones on the paths towards it.


title: Exploring topological phase transition andWeyl physics in five dimensions with electric circuits

abstract: Weyl semimetals are phases of matter with gapless electronic excitations that are protected by topology and symmetry. Their properties depend on the dimensions of the systems. It has been theoretically demonstrated that five-dimensional (5D) Weyl semimetals emerge as novel phases during the topological phase transition in analogy to the three-dimensional case. However, experimental observation of such a phenomenon remains a great challenge because the tunable 5D system is extremely hard to construct in real space. Here, we construct 5D electric circuit platforms in fully real space and experimentally observe topological phase transitions in five dimensions. Not only are Yang monopoles and linked Weyl surfaces observed experimentally, but various phase transitions in five dimensions are also proved, such as the phase transitions from a normal insulator to a Hopf link of twoWeyl surfaces and then to a 5D topological insulator. The demonstrated topological phase transitions in five dimensions leverage the concept of higher-dimensional Weyl physics to control electrical signals in the engineered circuits.


title: Strong phase coherence and vortex matter in a fractal system with proximity-induced superconductivity

abstract: The proximity effect in normal/superconductor heterostructures is an intriguing phenomenon in that the normal side takes on the properties of a superconductor with an induced gap. However, the structural and pinning properties of vortices inside the normal regions remain poorly understood. Here, we report structure and superconducting properties of a proximity-coupled Mg/MgO/MgB2 system with ~30 vol. % of superconducting MgB2, in which MgB2 nanograins are distributed in a fractal manner to form a proximity network with clean interfaces. Conductivity and magnetic measurements demonstrate that this proximity-coupled system acts as a fully phase coherent superconductor with isotropic pinning. Magneto-optical imaging also reveals a rather homogeneous flux density distribution with no apparent granularity. Furthermore, we observe quantized proximity vortices and their clustering behavior by scanning superconducting quantum interface device microscopy. These results show that in contrast to the case of conventional granular superconductors, the grain boundaries in the present sample carry high critical currents and have high vortex pinning efficiency, resulting in a robust phase coherent state irrespective of the low volume fraction of the MgB2 nanograins. This finding not only reveals the features of proximity-induced vortices, but also demonstrates an excellent phase-locked capability of the proximity-coupled fractal system.


title: Ambiguous Cheap Talk

abstract: This paper explores how ambiguity affects communication. We consider a cheap talk model in which the receiver evaluates the sender's message with respect to its worst-case expected payoff generated by multiplier preferences. We characterize the receiver's optimal strategy and show that the receiver's posterior action is consistent with his ex-ante action. We find that in some situations, ambiguity improves communication by shifting the receiver's optimal action upwards, and these situations are not rare.


title: On minimal flows and definable amenability in some distal NIP theories

abstract: We study the definable topological dynamics $(G(M), S_G(M))$ of a definable group acting on its type space, where $M$ is either an $o$-minimal structure or a $p$-adically closed field, and $G$ a definable amenable group. We focus on the problem raised by Neweslki of whether weakly generic types coincide with almost periodic types, showing that the answer is positive when $G$ has boundedly many global weakly generic types. We also give two "minimal counterexamples" where $G$ has unboundedly many global weakly generic types, extending the main results of "On minimal flows, definably amenable groups, and o-minimality" to a more general context.


title: Bayesian tolerance regions with an application to linear mixed models

abstract: We review and contrast frequentist and Bayesian definitions of tolerance regions. We give conditions under which for large samples a Bayesian region also has frequentist validity, and study the latter for smaller samples in a simulation study. We discuss a computational strategy for computing a Bayesian two-sided tolerance interval for a Gaussian future variable, and apply this to the case of possibly unbalanced linear mixed models. We illustrate the method on a quality control experiment from the pharmaceutical industry.


title: Empirical Analysis on Top-k Gradient Sparsification for Distributed Deep Learning in a Supercomputing Environment

abstract: To train deep learning models faster, distributed training on multiple GPUs is the very popular scheme in recent years. However, the communication bandwidth is still a major bottleneck of training performance. To improve overall training performance, recent works have proposed gradient sparsification methods that reduce the communication traffic significantly. Most of them require gradient sorting to select meaningful gradients such as Top-k gradient sparsification (Top-k SGD). However, Top-k SGD has a limit to increase the speed up overall training performance because gradient sorting is significantly inefficient on GPUs. In this paper, we conduct experiments that show the inefficiency of Top-k SGD and provide the insight of the low performance. Based on observations from our empirical analysis, we plan to yield a high performance gradient sparsification method as a future work.


title: LATITUDE: Robotic Global Localization with Truncated Dynamic Low-pass Filter in City-scale NeRF

abstract: Neural Radiance Fields (NeRFs) have made great success in representing complex 3D scenes with high-resolution details and efficient memory. Nevertheless, current NeRF-based pose estimators have no initial pose prediction and are prone to local optima during optimization. In this paper, we present LATITUDE: Global Localization with Truncated Dynamic Low-pass Filter, which introduces a two-stage localization mechanism in city-scale NeRF. In place recognition stage, we train a regressor through images generated from trained NeRFs, which provides an initial value for global localization. In pose optimization stage, we minimize the residual between the observed image and rendered image by directly optimizing the pose on tangent plane. To avoid convergence to local optimum, we introduce a Truncated Dynamic Low-pass Filter (TDLF) for coarse-to-fine pose registration. We evaluate our method on both synthetic and real-world data and show its potential applications for high-precision navigation in large-scale city scenes. Codes and data will be publicly available at https://github.com/jike5/LATITUDE.


title: Multi-segmented Adaptive Feet for Versatile Legged Locomotion in Natural Terrain

abstract: Most legged robots are built with leg structures from serially mounted links and actuators and are controlled through complex controllers and sensor feedback. In comparison, animals developed multi-segment legs, mechanical coupling between joints, and multi-segmented feet. They run agile over all terrains, arguably with simpler locomotion control. Here we focus on developing foot mechanisms that resist slipping and sinking also in natural terrain. We present first results of multi-segment feet mounted to a bird-inspired robot leg with multi-joint mechanical tendon coupling. Our one- and two-segment, mechanically adaptive feet show increased viable horizontal forces on multiple soft and hard substrates before starting to slip. We also observe that segmented feet reduce sinking on soft substrates compared to ball-feet and cylinder-feet. We report how multi-segmented feet provide a large range of viable centre of pressure points well suited for bipedal robots, but also for quadruped robots on slopes and natural terrain. Our results also offer a functional understanding of segmented feet in animals like ratite birds.


title: A Map-matching Algorithm with Extraction of Multi-group Information for Low-frequency Data

abstract: The growing use of probe vehicles generates a huge number of GNSS data. Limited by the satellite positioning technology, further improving the accuracy of map-matching is challenging work, especially for low-frequency trajectories. When matching a trajectory, the ego vehicle's spatial-temporal information of the present trip is the most useful with the least amount of data. In addition, there are a large amount of other data, e.g., other vehicles' state and past prediction results, but it is hard to extract useful information for matching maps and inferring paths. Most map-matching studies only used the ego vehicle's data and ignored other vehicles' data. Based on it, this paper designs a new map-matching method to make full use of "Big data". We first sort all data into four groups according to their spatial and temporal distance from the present matching probe which allows us to sort for their usefulness. Then we design three different methods to extract valuable information (scores) from them: a score for speed and bearing, a score for historical usage, and a score for traffic state using the spectral graph Markov neutral network. Finally, we use a modified top-K shortest-path method to search the candidate paths within an ellipse region and then use the fused score to infer the path (projected location). We test the proposed method against baseline algorithms using a real-world dataset in China. The results show that all scoring methods can enhance map-matching accuracy. Furthermore, our method outperforms the others, especially when GNSS probing frequency is less than 0.01 Hz.


title: Measuring Quantum Entanglement from Local Information by Machine Learning

abstract: Entanglement is a key property in the development of quantum technologies and in the study of quantum many-body simulations. However, entanglement measurement typically requires quantum full-state tomography (FST). Here we present a neural network-assisted protocol for measuring entanglement in equilibrium and non-equilibrium states of local Hamiltonians. Instead of FST, it can learn comprehensive entanglement quantities from single-qubit or two-qubit Pauli measurements, such as R\'enyi entropy, partially-transposed (PT) moments, and coherence. It is also exciting that our neural network is able to learn the future entanglement dynamics using only single-qubit traces from the previous time. In addition, we perform experiments using a nuclear spin quantum processor and train an adoptive neural network to study entanglement in the ground and dynamical states of a one-dimensional spin chain. Quantum phase transitions (QPT) are revealed by measuring static entanglement in ground states, and the entanglement dynamics beyond measurement time is accurately estimated in dynamical states. These precise results validate our neural network. Our work will have a wide range of applications in quantum many-body systems, from quantum phase transitions to intriguing non-equilibrium phenomena such as quantum thermalization.


title: Null test for cosmic curvature using Gaussian process

abstract: The cosmic curvature $\Omega_{K,0}$, which determines the spatial geometry of the universe, is an important parameter in modern cosmology. Any deviation from $\Omega_{K,0}=0$ would have a profound impact on primordial inflation paradigm and fundamental physics. In this work, we adopt a cosmological model-independent method to test whether $\Omega_{K,0}$ deviates from zero. We use the Gaussian process to reconstruct the reduced Hubble parameter $E(z)$ and the derivative of distance $D'(z)$ from observational data, and then determine $\Omega_{K,0}$ with a null test relation. The cosmic chronometer (CC) Hubble data, baryon acoustic oscillation (BAO) Hubble data, and supernovae Pantheon sample are considered. Our result is consistent with a spatially flat universe within the domain of reconstruction $0<z<2.3$, at the $1\sigma$ confidence level. In the redshift interval $0<z<1$, the result favors a flat universe, while at $z>1$, it tends to favor a closed universe. In this sense, there is still a possibility for a closed universe. We also carry out the null test of the cosmic curvature at $0<z<4.5$ using the simulated gravitational wave standard sirens, CC+BAO and redshift drift Hubble data. The result shows that in the future, with the synergy of multiple high-quality observations, we can tightly constrain the spatial geometry or exclude the flat universe.


title: Revisiting Rolling Shutter Bundle Adjustment: Toward Accurate and Fast Solution

abstract: We propose a robust and fast bundle adjustment solution that estimates the 6-DoF pose of the camera and the geometry of the environment based on measurements from a rolling shutter (RS) camera. This tackles the challenges in the existing works, namely relying on additional sensors, high frame rate video as input, restrictive assumptions on camera motion, readout direction, and poor efficiency. To this end, we first investigate the influence of normalization to the image point on RSBA performance and show its better approximation in modelling the real 6-DoF camera motion. Then we present a novel analytical model for the visual residual covariance, which can be used to standardize the reprojection error during the optimization, consequently improving the overall accuracy. More importantly, the combination of normalization and covariance standardization weighting in RSBA (NW-RSBA) can avoid common planar degeneracy without needing to constrain the filming manner. Besides, we propose an acceleration strategy for NW-RSBA based on the sparsity of its Jacobian matrix and Schur complement. The extensive synthetic and real data experiments verify the effectiveness and efficiency of the proposed solution over the state-of-the-art works. We also demonstrate the proposed method can be easily implemented and plug-in famous GSSfM and GSSLAM systems as completed RSSfM and RSSLAM solutions.


title: Unveiling hidden stellar aggregates in the Milky Way: 1656 new star clusters found in Gaia EDR3

abstract: We report 1,656 new star clusters found in the Galactic disk (|b|<20 degrees) beyond 1.2 kpc, using Gaia EDR3 data. Based on an unsupervised machine learning algorithm, DBSCAN, and followed our previous studies, we utilized a unique method to do the data preparation and obtained the clustering coefficients, which proved to be an effective way to search blindly for star clusters. We tabulated the physical parameters and member stars of the new clusters, and presented some interesting examples, including a globular cluster candidate. The cluster parameters and member stars are available at CDS via anonymous ftp to https://cdsarc.cds.unistra.fr/ftp/vizier.submit//he22c. We examined the new discoveries and discussed their statistical properties. The proper motion dispersions and radii of the new clusters were the same as the previously reported ones. The new star clusters beyond 1.2 kpc were older than those in the solar neighborhood, and the new objects found in the third Galactic quadrant presented the lowest line-of-sight extinctions. Combined with our previous results, the total population of new clusters detected through our method was 2,541, corresponding to 55% of all newly published clusters in the Gaia era. The number of cataloged Gaia star clusters was also increased to nearly six thousand. In the near future, it is necessary to make a unified confirmation and member star determination for all reported clusters.


title: Maskless Generation of Single Silicon Vacancy Arrays in Silicon Carbide by a Focused He+ Ion Beam

abstract: Precise generation of spin defects in solid-state systems is essential for nanostructure fluorescence enhancement. We investigated a method for creating single silicon vacancy defect arrays in silicon carbide using a helium-ion microscope. Maskless and targeted generation can be realized by precisely controlling the focused He+ ion beam with an implantation uncertainty of 60 nm. The generated silicon vacancies were identified by measuring the optically detected magnetic resonance spectrum and room temperature photoluminescence spectrum. We systematically studied the effects of the implantation ion dose on the generated silicon vacancies. After optimization, a conversion yield of ~ 6.95 % and a generation rate for a single silicon vacancy of ~ 35 % were realized. This work paves the way for the integration and engineering of color centers to photonic structures and the application of quantum sensing based on spin defects in silicon carbide.


title: Polarization analysis of terahertz emission from Bi-2212 cross-whisker intrinsic Josephson junction and its refractive index

abstract: Polarization analyses of the terahertz (THz) emission from Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+\delta}$ whisker crystals used for superconducting THz emitters were conducted. The THz emission mode was estimated by a simple polarization measurement, and a simulation study was conducted to examine the validity of the polarization analysis. The refractive index of whisker crystals revealed through the polarization analyses was greater than that of bulk single crystals and agreed well with our previous THz emission report. The simulation study suggested the complex plasma excitation mode of the THz emission, and an interpretation of the refractive index obtained in this study is provided.


title: Extensions and reductions of square-free words

abstract: A word is square-free if it does not contain a nonempty word of the form $XX$ as a factor. A famous 1906 result of Thue asserts that there exist arbitrarily long square-free words over a $3$-letter alphabet. We study square-free words with additional properties involving single-letter deletions and extensions of words. A square-free word is steady if it remains square-free after deletion of any single letter. We prove that there exist infinitely many steady words over a $4$-letter alphabet. We also demonstrate that one may construct steady words of any length by picking letters from arbitrary alphabets of size $7$ assigned to the positions of the constructed word. We conjecture that both bounds can be lowered to $4$, which is best possible. In the opposite direction, we consider square-free words that remain square-free after insertion of a single (suitably chosen) letter at every possible position in the word. We call them bifurcate. We prove a somewhat surprising fact, that over a fixed alphabet with at least three letters, every steady word is bifurcate. We also consider families of bifurcate words possessing a natural tree structure. In particular, we prove that there exists an infinite tree of doubly infinite bifurcate words over alphabet of size $12$.


title: A Study of the Effect of Volume Fraction on Stress Transfer within a Unidirectional Fiber Reinforced Composite Having a Broken Fiber

abstract: Stress concentration due to flaws in any material are very dangerous. Its understanding is thus very important before practical application of the material. As Fiber Reinforced Composite (FRC) is gaining wide range of application it is necessary to analyze it for stress concentration as one of the parameter. Literature survey reveals that the failure of FRC due to breakage of fiber is a cumulative process. If a fiber breaks stress concentration develops near the failure which leads to failure of other fibers in its vicinity. This process continues until the whole FRC gets failed. This phenomenon is quantified by a parameter called Stress Transfer Coefficient (STC). To analyze FRC generally it is practiced to analyze Representative Volume Element (RVE) which is a representation of the complete FRC. Another important aspect which is considered while analyzing FRC is the distribution of the fiber. Ideally the distribution of fibers should be uniform but no manufacturing process guarantees uniform distribution. Thus while analyzing FRC it is a good practice to generate RVE with randomly distributed fibers. In this paper an attempt is made to attain the relationship between volume fraction and STC. FRC with unidirectional fiber orientation is considered. RVEs with different volume fraction are analyzed. A new method is implemented to generate RVE with randomly distributed fibers. RVEs are so generated that it contains a broken fiber at its geometrical center and other fibers surrounding it. The RVE is loaded along the fiber direction.


title: Additive completition of thin sets

abstract: Two sets $A,B$ of positive integers are called \emph{exact additive complements}, if $A+B$ contains all sufficiently large integers and $A(x)B(x)/x\rightarrow1$. Let $A=\{a_1<a_2<\cdots\}$ be a set of positive integers. Denote $A(x)$ by the counting function of $A$ and $a^*(x)$ by the largest element in $A\bigcap [1,x]$. Following the work of Ruzsa and Chen-Fang, we prove that, for exact additive complements $A,B$ with $\frac{a_{n+1}}{na_n}\rightarrow\infty$, we have $A(x)B(x)-x\ge \frac{a^*(x)}{A(x)}+o\left(\frac{a^*(x)}{A(x)^2}\right)$ as $x\rightarrow +\infty$. On the other hand, we also construct exact additive complements $A,B$ with $\frac{a_{n+1}}{na_n}\rightarrow\infty$ such that $A(x)B(x)-x\le \frac{a^*(x)}{A(x)}+(1+o(1))\left(\frac{a^*(x)}{A(x)^2}\right)$ holds for infinitely many positive integers $x$.


title: Infrared: A Meta Bug Detector

abstract: The recent breakthroughs in deep learning methods have sparked a wave of interest in learning-based bug detectors. Compared to the traditional static analysis tools, these bug detectors are directly learned from data, thus, easier to create. On the other hand, they are difficult to train, requiring a large amount of data which is not readily available. In this paper, we propose a new approach, called meta bug detection, which offers three crucial advantages over existing learning-based bug detectors: bug-type generic (i.e., capable of catching the types of bugs that are totally unobserved during training), self-explainable (i.e., capable of explaining its own prediction without any external interpretability methods) and sample efficient (i.e., requiring substantially less training data than standard bug detectors). Our extensive evaluation shows our meta bug detector (MBD) is effective in catching a variety of bugs including null pointer dereference, array index out-of-bound, file handle leak, and even data races in concurrent programs; in the process MBD also significantly outperforms several noteworthy baselines including Facebook Infer, a prominent static analysis tool, and FICS, the latest anomaly detection method.


title: A Type-Directed, Dictionary-Passing Translation of Method Overloading and Structural Subtyping in Featherweight Generic Go

abstract: Featherweight Generic Go (FGG) is a minimal core calculus modeling the essential features of the programming language Go. It includes support for overloaded methods, interface types, structural subtyping and generics. The most straightforward semantic description of the dynamic behavior of FGG programs is to resolve method calls based on runtime type information of the receiver. This article shows a different approach by defining a type-directed translation from FGG- to an untyped lambda-calculus. FGG- includes all features of FGG but type assertions. The translation of an FGG- program provides evidence for the availability of methods as additional dictionary parameters, similar to the dictionary-passing approach known from Haskell type classes. Then, method calls can be resolved by a simple lookup of the method definition in the dictionary. Every program in the image of the translation has the same dynamic semantics as its source FGG- program. The proof of this result is based on a syntactic, step-indexed logical relation. The step-index ensures a well-founded definition of the relation in the presence of recursive interface types and recursive methods. Although being non-deterministic, the translation is coherent.


title: Phalanx: A Practical Byzantine Ordered Consensus Protocol

abstract: Byzantine fault tolerance (BFT) consensus is a fundamental primitive for distributed computation. However, BFT protocols suffer from the ordering manipulation, in which an adversary can make front-running. Several protocols are proposed to resolve the manipulation problem, but there are some limitations for them. The batch-based protocols such as Themis has significant performance loss because of the use of complex algorithms to find strongly connected components (SCCs). The timestamp-based protocols such as Pompe have simplified the ordering phase, but they are limited on fairness that the adversary can manipulate the ordering via timestamps of transactions. In this paper, we propose a Byzantine ordered consensus protocol called Phalanx, in which transactions are committed by anchor-based ordering strategy. The anchor-based strategy makes aggregation of the Lamport logical clock of transactions on each participant and generates the final ordering without complex detection for SCCs. Therefore, Phalanx has achieved satisfying performance and performs better in resisting ordering manipulation than timestamp-based strategy.


title: Performance Analysis of Reconfigurable Intelligent Surface Assisted Two-Way NOMA Networks

abstract: This paper investigates the performance of reconfigurable intelligent surface assisted two-way non-orthogonal multiple access (RIS-TW-NOMA) networks, where a pair of users exchange their information through a RIS. The influence of imperfect successive interference cancellation on RIS-TW-NOMA is taken into account. To evaluate the potential performance of RIS-TW-NOMA, we derive the exact and asymptotic expressions of outage probability and ergodic rate for a pair of users. Based on the analytical results, the diversity orders and high signal-to-noise ratio (SNR) slopes are obtained in the high SNR regime, which are closely related to the number of RIS elements. Additionally, we analyze the system throughput and energy efficiency of RIS-TW-NOMA networks in both delay-limited and delay-tolerant transmission modes. Numerical results indicate that: 1) The outage behaviors and ergodic rate of RIS-TW-NOMA are superior to that of RIS-TW-OMA and two-way relay OMA (TWR-OMA); 2) As the number of RIS elements increases, the RIS-TW-NOMA networks are capable of achieving the enhanced outage performance; and 3) By comparing with RIS-TW-OMA and TWR-OMA networks, the energy efficiency and system throughput of RIS-TW-NOMA has obvious advantages.


title: Imbalanced Node Processing Method in Graph Neural Network Classification Task

abstract: In recent years, the node classification task in graph neural networks(GNNs) has developed rapidly, driving the development of research in various fields. However, there are a large number of class imbalances in the graph data, and there is a large gap between the number of different classes, resulting in suboptimal results in classification. Proposing a solution to the imbalance problem has become indispensable for the successful advancement of our downstream missions. Therefore, we start with the loss function and try to find a loss function that can effectively solve the imbalance of graph nodes to participate in the node classification task. thence, we introduce GHMC Loss into the graph neural networks to deal with difficult samples that are not marginal. Attenuate the loss contribution of marginal samples and simple samples. Experiments on multiple benchmarks show that our method can effectively deal with the class imbalance problem, and our method improves the accuracy by 3% compared to the traditional loss function.


title: The Chocolate Chip Cookie Model: Dust Geometry of Milky-Way like Disk Galaxies

abstract: We present a new two-component dust geometry model, the \textit{Chocolate Chip Cookie} model, where the clumpy nebular regions are embedded in a diffuse stellar/ISM disk, like chocolate chips in a cookie. By approximating the binomial distribution of the clumpy nebular regions with a continuous Gaussian distribution and omitting the dust scattering effect, our model solves the dust attenuation process for both the emission lines and stellar continua via analytical approaches. Our Chocolate Chip Cookie model successfully fits the inclination dependence of both the effective dust reddening of the stellar components derived from stellar population synthesis and that of the emission lines characterized by the Balmer decrement for a large sample of Milky-Way like disk galaxies selected from the main galaxy sample of the Sloan Digital Sky Survey (SDSS). Our model shows that the clumpy nebular disk is about 0.55 times thinner and 1.6 times larger than the stellar disk for MW-like galaxies, whereas each clumpy region has a typical optical depth $\tau_{\rm{cl,V}} \sim 0.5$ in $V$ band. After considering the aperture effect, our model prediction on the inclination dependence of dust attenuation is also consistent with observations. Not only that, in our model, the dust attenuation curve of the stellar population naturally depends on inclination and its median case is consistent with the classical Calzetti law. Since the modelling constraints are from the optical wavelengths, our model is unaffected by the optically thick dust component, which however could bias the model's prediction of the infrared emissions.


title: VisTaNet: Attention Guided Deep Fusion for Surface Roughness Classification

abstract: Human texture perception is a weighted average of multi-sensory inputs: visual and tactile. While the visual sensing mechanism extracts global features, the tactile mechanism complements it by extracting local features. The lack of coupled visuotactile datasets in the literature is a challenge for studying multimodal fusion strategies analogous to human texture perception. This paper presents a visual dataset that augments an existing tactile dataset. We propose a novel deep fusion architecture that fuses visual and tactile data using four types of fusion strategies: summation, concatenation, max-pooling, and attention. Our model shows significant performance improvements (97.22%) in surface roughness classification accuracy over tactile only (SVM - 92.60%) and visual only (FENet-50 - 85.01%) architectures. Among the several fusion techniques, attention-guided architecture results in better classification accuracy. Our study shows that analogous to human texture perception, the proposed model chooses a weighted combination of the two modalities (visual and tactile), thus resulting in higher surface roughness classification accuracy; and it chooses to maximize the weightage of the tactile modality where the visual modality fails and vice-versa.


title: Solar-wind electron precipitation on weakly magnetized bodies: the planet Mercury

abstract: Mercury is the archetype of a weakly magnetized, airless, telluric body immersed in the solar wind. Due to the lack of any substantial atmosphere, the solar wind directly precipitates on Mercury's surface. Using a 3D fully-kinetic self-consistent plasma model, we show for the first time that solar-wind electron precipitation drives (i) efficient ionization of multiple species (H, He, O and Mn) in Mercury's neutral exosphere and (ii) emission of X-rays from the planet's surface. This is the first, independent evidence of X-ray auroras on Mercury using a numerical approach.


title: M-isometric Composition Operators On Discrete Spaces

abstract: In this paper we investigate composition operators on discrete spaces. We establish the classification of underlying graphs of such operators. For one class of such graphs, namely graphs with one cycle, we obtain a characterization of m-isometries. The paper also contains the solution to the Cauchy dual subnormality problem for composition operators on graphs with one cycle.


title: Centrally endo-AIP Modules

abstract: In this paper, we introduce the concept of centrally endo-AIP modules. We call a module M centrally endo-AIP, if the left annihilator of any fully invariant submodule N of M in the endomorphism ring S = End(M) is a centrally s-unital ideal of S. We discuss some properties of centrally endo-AIP modules. We also study the endomorphism ring of centrally endo-AIP modules and characterize quasi-Baer modules in terms of centrally endo-AIP modules


title: Excitonic luminescence of iodine-intercalated HfS$_2$

abstract: Photoluminescence from bulk HfS$_2$ grown by the chemical vapor transport method is reported. A series of emission lines is apparent at low temperature in the energy range of 1.4 - 1.5 eV. Two groups of the observed excitonic transitions followed by their replicas involving acoustic and optical phonons are distinguished using classical intensity correlation analysis. The emission is attributed to the recombination of excitons bound to iodine (I$_2$) molecules intercalated between layers of HfS$_2$. The I$_2$ molecules are introduced to the crystal during the growth as halogen transport agents in the growth process. Their presence in the crystal is confirmed by secondary ion mass spectroscopy.


title: Precision measurement of the return distribution property of the Chinese stock market index

abstract: This paper systematically conducts an analysis of the composite index 1-min datasets over the 17-year period (2005-2021) for both the Shanghai and Shenzhen stock exchanges. To reveal the difference between the Chinese and the mature stock markets, here we precisely measure the property of return distribution of composite index over the time scale $\Delta t$ ranging from 1 min up to almost 4,000 min. The main findings are as follows. (1) Return distribution presents a leptokurtic, fat-tailed, and almost symmetrical shape, which is similar to that of mature markets. (2) The central part of return distribution is well described by the symmetrical L\'{e}vy $\alpha$-stable process with a stability parameter comparable with the value of about 1.4 extracted in the U.S. stock market. (3) Return distribution can be well described by the student's t-distribution within a wider return range than the L\'{e}vy $\alpha$-stable distribution. (4) Distinctively, the stability parameter shows a potential change when $\Delta t$ increases, and thus a crossover region at 15 $< \Delta t <$ 60 min is observed. This is different from the finding in the U.S. stock market where a single value of about 1.4 holds over 1 $\le \Delta t \le$ 1,000 min. (5) The tail distribution of returns at small $\Delta t$ decays as an asymptotic power-law with an exponent of about 3, which is a value widely existing in mature markets. However, it decays exponentially when $\Delta t \ge$ 240 min, which is not observed in mature markets. (6) Return distributions gradually converge to Gaussian as $\Delta t$ increases. This observation is different from the finding of a critical $\Delta t =$ 4 days in the U.S. stock market.


title: A Non-parametric Skill Representation with Soft Null Space Projectors for Fast Generalization

abstract: Over the last two decades, the robotics community witnessed the emergence of various motion representations that have been used extensively, particularly in behavorial cloning, to compactly encode and generalize skills. Among these, probabilistic approaches have earned a relevant place, owing to their encoding of variations, correlations and adaptability to new task conditions. Modulating such primitives, however, is often cumbersome due to the need for parameter re-optimization which frequently entails computationally costly operations. In this paper we derive a non-parametric movement primitive formulation that contains a null space projector. We show that such formulation allows for fast and efficient motion generation with computational complexity O(n2) without involving matrix inversions, whose complexity is O(n3). This is achieved by using the null space to track secondary targets, with a precision determined by the training dataset. Using a 2D example associated with time input we show that our non-parametric solution compares favourably with a state-of-the-art parametric approach. For demonstrated skills with high-dimensional inputs we show that it permits on-the-fly adaptation as well.


title: Dyson Maps and Unitary Evolution for Maxwell Equations in Tensor Dielectric Media

abstract: A reformulation of Maxwell equations for an inhomogeneous, anisotropic, passive and non-dispersive medium results in a quantum-like Dirac equation that admits unitary time evolution. In contrast to other approaches, there is no a-priori introduction of the Riemann-Silberstein-Weber (RSW) vector but the Maxwell equations are considered in their standard fields, with given constitutive relations. From the electromagnetic conservation quantities a pseudo-Hermitian dynamics is found together with a Dyson map that recovers the full Hermicity of the dynamics in an extended Hilbert space that describes the physical notion of unitary evolution. As an example, a uniaxial tensor dielectric medium is considered, with the explicit Dyson map yielding an optimal representation in a set of generalized RSW vectors. In this newly discovered form, a Quantum Computing (QC) implementation for simulation of electromagnetic wave propagation in complex media can be made, with further extension into plasmas.


title: A Benchmark for Understanding and Generating Dialogue between Characters in Stories

abstract: Many classical fairy tales, fiction, and screenplays leverage dialogue to advance story plots and establish characters. We present the first study to explore whether machines can understand and generate dialogue in stories, which requires capturing traits of different characters and the relationships between them. To this end, we propose two new tasks including Masked Dialogue Generation and Dialogue Speaker Recognition, i.e., generating missing dialogue turns and predicting speakers for specified dialogue turns, respectively. We build a new dataset DialStory, which consists of 105k Chinese stories with a large amount of dialogue weaved into the plots to support the evaluation. We show the difficulty of the proposed tasks by testing existing models with automatic and manual evaluation on DialStory. Furthermore, we propose to learn explicit character representations to improve performance on these tasks. Extensive experiments and case studies show that our approach can generate more coherent and informative dialogue, and achieve higher speaker recognition accuracy than strong baselines.


title: Two-field mixed hp-finite elements for time-dependent problems in the refined theories of thermodynamics

abstract: Thanks to modern manufacturing technologies, heterogeneous materials with complex inner structures (e.g., foams) can be easily produced. However, their utilization is not straightforward, as the classical constitutive laws are not necessarily valid. According to various experimental observations, the Guyer--Krumhansl equation stands as a promising candidate to model such complex structures. However, the practical applications need a reliable and efficient algorithm that is capable of handling both complex geometries and advanced heat equations. In the present paper, we present the development of a $hp$-type finite element technique, which can be reliably applied. We investigate its convergence properties for various situations, being challenging in relation to stability and the treatment of fast propagation speeds. That algorithm is also proved to be outstandingly efficient, providing solutions four magnitudes faster than commercial algorithms.


title: Dormant opers and Gauss maps in positive characteristic

abstract: The Gauss map of a given projective variety is the rational map that sends a smooth point to the tangent space at that point, considered as a point of the Grassmann variety. The present paper aims to generalize a result by H. Kaji on Gauss maps in positive characteristic and establish an interaction with the study of dormant opers, as well as Frobenius-projective structures. We first prove a correspondence between dormant opers on a smooth projective variety $X$ and closed immersions from $X$ into a projective space with purely inseparable Gauss map. By using this, we determine the subfields of the function field of a smooth curve in positive characteristic induced by Gauss maps. Moreover, the correspondence gives us a Frobenius-projective structure on a Fermat hypersurface. This example embodies an exotic phenomenon of algebraic geometry in positive characteristic.


title: Adaptive Dimension Reduction and Variational Inference for Transductive Few-Shot Classification

abstract: Transductive Few-Shot learning has gained increased attention nowadays considering the cost of data annotations along with the increased accuracy provided by unlabelled samples in the domain of few shot. Especially in Few-Shot Classification (FSC), recent works explore the feature distributions aiming at maximizing likelihoods or posteriors with respect to the unknown parameters. Following this vein, and considering the parallel between FSC and clustering, we seek for better taking into account the uncertainty in estimation due to lack of data, as well as better statistical properties of the clusters associated with each class. Therefore in this paper we propose a new clustering method based on Variational Bayesian inference, further improved by Adaptive Dimension Reduction based on Probabilistic Linear Discriminant Analysis. Our proposed method significantly improves accuracy in the realistic unbalanced transductive setting on various Few-Shot benchmarks when applied to features used in previous studies, with a gain of up to $6\%$ in accuracy. In addition, when applied to balanced setting, we obtain very competitive results without making use of the class-balance artefact which is disputable for practical use cases. We also provide the performance of our method on a high performing pretrained backbone, with the reported results further surpassing the current state-of-the-art accuracy, suggesting the genericity of the proposed method.


title: Canonical diagonal liftings I: Dormant PGL(n)-opers on algebraic curves

abstract: The present paper forms the first part of a series in which we treat some topics on dormant opers and Frobenius-Ehresmann structures from an arithmetic point of view. In the present paper, motivated by the issue of lifting homogeneous linear differential equations in prime characteristic $p$, we generalize the moduli theory of dormant $\mathrm{PGL}_n$-opers on pointed stable curves. One of the main results is the construction of a compactified moduli space classifying dormant $\mathrm{PGL}_n$-opers of level $N >0$. We also examine its geometric structure, including a factorization property according to clutching morphisms. Furthermore, the generic \'{e}taleness of the moduli space for $n=2$ is proved by obtaining a detailed understanding of the deformation space in terms of cohomology groups. As a consequence, we give a certain unique lifting of any dormant $\mathrm{PGL}_2$-oper of level $N$ on a general curve to characteristic $p^N$; this lifting is called the canonical diagonal lifting. Canonical diagonal liftings enable us to establish an equivalence between the counting problems of related objects in characteristic $p$ and $p^N$.


title: Overcoming Language Priors in Visual Question Answering via Distinguishing Superficially Similar Instances

abstract: Despite the great progress of Visual Question Answering (VQA), current VQA models heavily rely on the superficial correlation between the question type and its corresponding frequent answers (i.e., language priors) to make predictions, without really understanding the input. In this work, we define the training instances with the same question type but different answers as \textit{superficially similar instances}, and attribute the language priors to the confusion of VQA model on such instances. To solve this problem, we propose a novel training framework that explicitly encourages the VQA model to distinguish between the superficially similar instances. Specifically, for each training instance, we first construct a set that contains its superficially similar counterparts. Then we exploit the proposed distinguishing module to increase the distance between the instance and its counterparts in the answer space. In this way, the VQA model is forced to further focus on the other parts of the input beyond the question type, which helps to overcome the language priors. Experimental results show that our method achieves the state-of-the-art performance on VQA-CP v2. Codes are available at \href{https://github.com/wyk-nku/Distinguishing-VQA.git}{Distinguishing-VQA}.


title: A facile top-down synthesis of phase pure CuBi2O4 photocathode materials by low-energy sequential ball milling

abstract: Kusachiite (copper bismuth oxide) is one of the most promising photocathode materials for high solar-to-hydrogen production efficiency. Here we attempt to synthesize phase pure copper bismuth oxide (CuBi2O4) nanopowders using a facile solid-state reaction technique, subsequently sintered at 750 0C for 4 h in air. These CuBi2O4 (CBO) powders have been further sequentially ball-milled (SBM) up to 25 h to elucidate the milling duration effect on the optical bandgap of the ball-milled CuBi2O4 (SBM-CBO). The X-ray diffractometry (XRD), Raman, X-ray Photoelectron spectroscopy (XPS), and UV-VIS-NIR Diffuse reflection studies suggest that phase pure tetragonal CBO could be grown from raw CuO and Bi2O3 powders. The variations in morphology and chemical composition of CBO with increasing milling hours were examined using field emission scanning electron microscopy (FE-SEM) and Energy Dispersive X-ray (EDX) microanalysis, respectively. The optical bandgap of SBM-CBO powders was measured in the range of approx. 1.70 - 1.85 eV. Photoelectrochemical studies of SBM-CBO slurry atop the screen-printed electrode with aqueous Na2SO4 electrolyte suggest its suitability as photocathode materials for sunlight-driven hydrogen production.


title: Progressive tearing and cutting of soft-bodies in high-performance virtual reality

abstract: We present an algorithm that allows a user within a virtual environment to perform real-time unconstrained cuts or consecutive tears, i.e., progressive, continuous fractures on a deformable rigged and soft-body mesh model in high-performance 10ms. In order to recreate realistic results for different physically-principled materials such as sponges, hard or soft tissues, we incorporate a novel soft-body deformation, via a particle system layered on-top of a linear-blend skinning model. Our framework allows the simulation of realistic, surgical-grade cuts and continuous tears, especially valuable in the context of medical VR training. In order to achieve high performance in VR, our algorithms are based on Euclidean geometric predicates on the rigged mesh, without requiring any specific model pre-processing. The contribution of this work lies on the fact that current frameworks supporting similar kinds of model tearing, either do not operate in high-performance real-time or only apply to predefined tears. The framework presented allows the user to freely cut or tear a 3D mesh model in a consecutive way, under 10ms, while preserving its soft-body behaviour and/or allowing further animation.


title: SF2SE3: Clustering Scene Flow into SE(3)-Motions via Proposal and Selection

abstract: We propose SF2SE3, a novel approach to estimate scene dynamics in form of a segmentation into independently moving rigid objects and their SE(3)-motions. SF2SE3 operates on two consecutive stereo or RGB-D images. First, noisy scene flow is obtained by application of existing optical flow and depth estimation algorithms. SF2SE3 then iteratively (1) samples pixel sets to compute SE(3)-motion proposals, and (2) selects the best SE(3)-motion proposal with respect to a maximum coverage formulation. Finally, objects are formed by assigning pixels uniquely to the selected SE(3)-motions based on consistency with the input scene flow and spatial proximity. The main novelties are a more informed strategy for the sampling of motion proposals and a maximum coverage formulation for the proposal selection. We conduct evaluations on multiple datasets regarding application of SF2SE3 for scene flow estimation, object segmentation and visual odometry. SF2SE3 performs on par with the state of the art for scene flow estimation and is more accurate for segmentation and odometry.


title: RACER: Rapid Collaborative Exploration with a Decentralized Multi-UAV System

abstract: Although the use of multiple Unmanned Aerial Vehicles (UAVs) has great potential for fast autonomous exploration, it has received far too little attention. In this paper, we present RACER, a RApid Collaborative ExploRation approach using a fleet of decentralized UAVs. To effectively dispatch the UAVs, a pairwise interaction based on an online hgrid space decomposition is used. It ensures that all UAVs simultaneously explore distinct regions, using only asynchronous and limited communication. Further, we optimize the coverage paths of unknown space and balance the workloads partitioned to each UAV with a Capacitated Vehicle Routing Problem(CVRP) formulation. Given the task allocation, each UAV constantly updates the coverage path and incrementally extracts crucial information to support the exploration planning. A hierarchical planner finds exploration paths, refines local viewpoints and generates minimum-time trajectories in sequence to explore the unknown space agilely and safely. The proposed approach is evaluated extensively, showing high exploration efficiency, scalability and robustness to limited communication. Furthermore, for the first time, we achieve fully decentralized collaborative exploration with multiple UAVs in real world. We will release our implementation as an open-source package.


title: Revisit the Circumnuclear X-ray Emission of NGC 2992 in a Historically Low State

abstract: The inner-most region of the Seyfert galaxy NGC 2992 has long been suspected to be the location of intense AGN-host galaxy interaction, but photon pile-up in previous high-resolution observations hampered the study of soft X-ray excess and the interaction near its nucleus. We present an X-ray imaging spectroscopic analysis of the circumnuclear ($1^{\prime\prime}$--$3^{\prime\prime}$) region of NGC 2992 using the zeroth-order image of a 135 ks grating observation obtained with Chandra, which captured the nucleus in a historically low flux state. Extended soft X-ray emission is detected in the circumnuclear region with observed luminosity $L_{\rm X} \sim 7 \times 10^{39}\rm\ erg\ s^{-1}$. The majority of previously puzzling detection of soft excess could be associated with the outflow, indicated by the morphological correspondences between soft X-ray emission and figure-eight-shaped radio bubbles. An anomalous narrow emission line with the centroid energy $\sim4.97$ keV is found. If attributed to redshifted highly ionized iron emission (e.g., Fe xxv), the required outflow velocity is $\sim0.23\,c$. An alternative explanation is that this line emission could be produced by the nuclear spallation of iron. We also find asymmetric extended Fe K$\alpha$ emission along the galactic disk, which could originate from reflection by cold gas on $\sim 200$ pc scale.


title: Sequential optimal selection of a single-qubit gate and its relation to barren plateau in parameterized quantum circuits

abstract: We propose an algorithm for variational quantum algorithms (VQAs) to optimize the structure of parameterized quantum circuits (PQCs) efficiently. The algorithm optimizes the PQC structure on-the-fly in VQA by sequentially replacing a single-qubit gate with the optimal one to minimize the objective function. To directly find the optimal gate, our method uses the factorization of matrices whose elements are evaluated on a set of the slightly-modified circuits. The matrix factorization enables us to not only unify the existing sequential methods for further extension but also provide rigorous proofs of their limitation and potential in comparison with conventional gradient-based optimizers. Firstly, when the circuits are sufficiently deep, the sequential methods encounter a barren plateau that the spectrum of the matrix concentrates on a single value exponentially fast with respect to the number of qubits. Secondly, if the objective functions are local observables, they can avoid barren plateaus as long as the depth of the n-qubit PQCs is $O(\log{n})$. Although the family of these optimizers does not directly employ gradients of the objective function, our results establish their connection with conventional optimizations providing a consistent picture of the barren plateau. We also perform numerical experiments showing the advantages over conventional VQAs and confirm the successful optimization getting over the barren plateau in the ground state problem of the mixed field Ising model up to 12 qubits.


title: Non-Additive Geometry and Frobenius Correspondences

abstract: The usual language of algebraic geometry is not appropriate for Arithmetical geometry: addition is singular at the real prime. We developed two languages that overcome this problem: one replace rings by the collection of "vectors" or by bi-operads and another based on "matrices" or props. These are the two languages of [Har17], but we omit the involutions which brings considerable simplifications. Once one understands the delicate commutativity condition one can proceed following Grothendieck footsteps exactly. The square matrices, when viewed up to conjugation, give us new commutative rings with Frobenius endomorphisms.


title: Existence of normalized solutions for fractional coupled Hartree-Fock type system

abstract: In this paper, we consider the existence of solutions for the following fractional coupled Hartree-Fock type system \begin{align*} \left\{\begin{aligned} &(-\Delta)^s u+V_1(x)u+\lambda_1u=\mu_1(I_{\alpha}\star |u|^p)|u|^{p-2}u+\beta(I_{\alpha}\star |v|^r)|u|^{r-2}u\\ &(-\Delta)^s v+V_2(x)v+\lambda_2v=\mu_2(I_{\alpha}\star |v|^q)|v|^{q-2}v+\beta(I_{\alpha}\star |u|^r)|v|^{r-2}v \end{aligned} \right.~\quad x\in\mathbb{R}^N, \end{align*} under the constraint \begin{align*} \int_{\mathbb{R}^N}|u|^2=a^2,~\int_{\mathbb{R}^N}|v|^2=b^2. \end{align*} where $s\in(0,1),~N\ge3,~\mu_1>0,~\mu_2>0,~\beta>0,~\alpha\in(0,N),~1+\frac{\alpha}{N}<p,~q,~r<\frac{N+\alpha}{N-2s}$ and $I_{\alpha}(x)=|x|^{\alpha-N}$. Under some restrictions of $N,\alpha,p,q$ and $r$, we give the positivity of normalized solutions for $p,q,r\le 1+\frac{\alpha+2s}{N}$.


title: RDD2022: A multi-national image dataset for automatic Road Damage Detection

abstract: The data article describes the Road Damage Dataset, RDD2022, which comprises 47,420 road images from six countries, Japan, India, the Czech Republic, Norway, the United States, and China. The images have been annotated with more than 55,000 instances of road damage. Four types of road damage, namely longitudinal cracks, transverse cracks, alligator cracks, and potholes, are captured in the dataset. The annotated dataset is envisioned for developing deep learning-based methods to detect and classify road damage automatically. The dataset has been released as a part of the Crowd sensing-based Road Damage Detection Challenge (CRDDC2022). The challenge CRDDC2022 invites researchers from across the globe to propose solutions for automatic road damage detection in multiple countries. The municipalities and road agencies may utilize the RDD2022 dataset, and the models trained using RDD2022 for low-cost automatic monitoring of road conditions. Further, computer vision and machine learning researchers may use the dataset to benchmark the performance of different algorithms for other image-based applications of the same type (classification, object detection, etc.).


title: Dynamic Control Barrier Function-based Model Predictive Control to Safety-Critical Obstacle-Avoidance of Mobile Robot

abstract: This paper presents an efficient and safe method to avoid static and dynamic obstacles based on LiDAR. First, point cloud is used to generate a real-time local grid map for obstacle detection. Then, obstacles are clustered by DBSCAN algorithm and enclosed with minimum bounding ellipses (MBEs). In addition, data association is conducted to match each MBE with the obstacle in the current frame. Considering MBE as an observation, Kalman filter (KF) is used to estimate and predict the motion state of the obstacle. In this way, the trajectory of each obstacle in the forward time domain can be parameterized as a set of ellipses. Due to the uncertainty of the MBE, the semi-major and semi-minor axes of the parameterized ellipse are extended to ensure safety. We extend the traditional Control Barrier Function (CBF) and propose Dynamic Control Barrier Function (D-CBF). We combine D-CBF with Model Predictive Control (MPC) to implement safety-critical dynamic obstacle avoidance. Experiments in simulated and real scenarios are conducted to verify the effectiveness of our algorithm. The source code is released for the reference of the community.


title: Magnetically confined wind shock

abstract: Many stars across all classes possess strong enough magnetic fields to influence dynamical flow of material off the stellar surface. For the case of massive stars (O and B types), about 10\% of them harbour strong, globally ordered (mostly dipolar) magnetic fields. The trapping and channeling of their stellar winds in closed magnetic loops leads to {\it magnetically confined wind shocks} (MCWS), with pre-shock flow speeds that are some fraction of the wind terminal speed that can be a few thousand km s$^{-1}$. These shocks generate hot plasma, a source of X-rays. In the last decade, several developments took place, notably the determination of the hot plasma properties for a large sample of objects using \xmm\ and \ch, as well as fully self-consistent MHD modelling and the identification of shock retreat effects in weak winds. In addition, these objects are often sources of H$\alpha$ emission which is controlled by either sufficiently high mass loss rate or centrifugal breakout. Here we review the theoretical aspects of such magnetic massive star wind dynamics.


title: Distribution inference risks: Identifying and mitigating sources of leakage

abstract: A large body of work shows that machine learning (ML) models can leak sensitive or confidential information about their training data. Recently, leakage due to distribution inference (or property inference) attacks is gaining attention. In this attack, the goal of an adversary is to infer distributional information about the training data. So far, research on distribution inference has focused on demonstrating successful attacks, with little attention given to identifying the potential causes of the leakage and to proposing mitigations. To bridge this gap, as our main contribution, we theoretically and empirically analyze the sources of information leakage that allows an adversary to perpetrate distribution inference attacks. We identify three sources of leakage: (1) memorizing specific information about the $\mathbb{E}[Y|X]$ (expected label given the feature values) of interest to the adversary, (2) wrong inductive bias of the model, and (3) finiteness of the training data. Next, based on our analysis, we propose principled mitigation techniques against distribution inference attacks. Specifically, we demonstrate that causal learning techniques are more resilient to a particular type of distribution inference risk termed distributional membership inference than associative learning methods. And lastly, we present a formalization of distribution inference that allows for reasoning about more general adversaries than was previously possible.


title: Haagerup noncommutative Orlicz spaces

abstract: Let $\mathcal{M}$ be a $\sigma$-finite von Neumann algebra equipped with a normal faithful state $\varphi$, and let $\Phi$ be a growth function. We consider Haagerup noncommutative Orlicz spaces $L^\Phi(\M,\varphi)$ associated with $\M$ and $\varphi$, which are analogues of Haagerup $L^p$-spaces. We show that $L^\Phi(\M,\varphi)$ is independent of $\varphi$ up to isometric isomorphism. We prove the Haagerup's reduction theorem and the duality theorem for this spaces. As application of these results, we extend some noncommutative martingale inequalities in the tracial case to the Haagerup noncommutative Orlicz space case.


title: A Decoupled and Linear Framework for Global Outlier Rejection over Planar Pose Graph

abstract: We propose a robust framework for the planar pose graph optimization contaminated by loop closure outliers. Our framework rejects outliers by first decoupling the robust PGO problem wrapped by a Truncated Least Squares kernel into two subproblems. Then, the framework introduces a linear angle representation to rewrite the first subproblem that is originally formulated with rotation matrices. The framework is configured with the Graduated Non-Convexity (GNC) algorithm to solve the two non-convex subproblems in succession without initial guesses. Thanks to the linearity properties of both the subproblems, our framework requires only linear solvers to optimally solve the optimization problems encountered in GNC. We extensively validate the proposed framework, named DEGNC-LAF (DEcoupled Graduated Non-Convexity with Linear Angle Formulation) in planar PGO benchmarks. It turns out that it runs significantly (sometimes up to over 30 times) faster than the standard and general-purpose GNC while resulting in high-quality estimates.


title: Triangle Evacuation of 2 Agents in the Wireless Model

abstract: The input to the \emph{Triangle Evacuation} problem is a triangle $ABC$. Given a starting point $S$ on the perimeter of the triangle, a feasible solution to the problem consists of two unit-speed trajectories of mobile agents that eventually visit every point on the perimeter of $ABC$. The cost of a feasible solution (evacuation cost) is defined as the supremum over all points $T$ of the time it takes that $T$ is visited for the first time by an agent plus the distance of $T$ to the other agent at that time. Similar evacuation type problems are well studied in the literature covering the unit circle, the $\ell_p$ unit circle for $p\geq 1$, the square, and the equilateral triangle. We extend this line of research to arbitrary non-obtuse triangles. Motivated by the lack of symmetry of our search domain, we introduce 4 different algorithmic problems arising by letting the starting edge and/or the starting point $S$ on that edge to be chosen either by the algorithm or the adversary. To that end, we provide a tight analysis for the algorithm that has been proved to be optimal for the previously studied search domains, as well as we provide lower bounds for each of the problems. Both our upper and lower bounds match and extend naturally the previously known results that were established only for equilateral triangles.


title: Chiral Separation Effect vs. Chiral Anomaly

abstract: We study relation between Chiral Separation Effect (CSE) and Chiral Anomaly, and argue that CSE does not inherit the immutability of Chiral Anomaly. For QED in the leading order in electric charge, with point-splitting regularization in real-time formalism, we demontrate, in regularization-dependent way though, that CSE is an infrared (IR) effect, while the Anomaly is an ultra-violet (UV) phenomena. Thus, CSE in general is sensitive to non-perturbative interactions that alter the theory IR properties, while the Anomaly is fixed by Lorentz symmetry. The simplest example of such an interaction is the Yukawa-like fermion mass.


title: ActiveNeRF: Learning where to See with Uncertainty Estimation

abstract: Recently, Neural Radiance Fields (NeRF) has shown promising performances on reconstructing 3D scenes and synthesizing novel views from a sparse set of 2D images. Albeit effective, the performance of NeRF is highly influenced by the quality of training samples. With limited posed images from the scene, NeRF fails to generalize well to novel views and may collapse to trivial solutions in unobserved regions. This makes NeRF impractical under resource-constrained scenarios. In this paper, we present a novel learning framework, ActiveNeRF, aiming to model a 3D scene with a constrained input budget. Specifically, we first incorporate uncertainty estimation into a NeRF model, which ensures robustness under few observations and provides an interpretation of how NeRF understands the scene. On this basis, we propose to supplement the existing training set with newly captured samples based on an active learning scheme. By evaluating the reduction of uncertainty given new inputs, we select the samples that bring the most information gain. In this way, the quality of novel view synthesis can be improved with minimal additional resources. Extensive experiments validate the performance of our model on both realistic and synthetic scenes, especially with scarcer training data. Code will be released at \url{https://github.com/LeapLabTHU/ActiveNeRF}.


title: Efficient photocatalytic nitrogen fixation from air under sunlight via iron-doped WO$_3$

abstract: Photocatalytic nitrogen fixation from air directly under sunlight can contribute significantly to carbon neutralization. It is an ideal pathway to replace the industrial Haber Bosch process in future. A Fe-doped layered WO$_3$ photocatalyst containing oxygen vacancies was developed which can fix nitrogen from air directly under sunlight at atmospheric pressure. The iron doping enhances the transport efficiency of photogenerated electrons. The photocatalytic efficiency is around 4 times higher than that of pure WO$_3$. The optimum nitrogen fixation conditions were examined by orthogonal experiments and its nitrogen fixation performance could reach up to 477 $\mu \text{g} \cdot \text{g}_{\text{cat}}^{-1} \cdot \text{h}^{-1}$ under sunlight. In addition, the process of nitrogen fixation was detected by situ infrared, which confirmed the reliability of nitrogen fixation. Also, modelling on the interactions between light and the photocatalyst was carried out to study the distribution of surface charge and validate the light absorption of the photocatalyst. This work provides a simple and cheap strategy for photocatalytic nitrogen fixation from air under mild conditions.


title: Exotic bottomonium hadronic transitions

abstract: We report on a recent computation of the transitions of exotic bottomonium to standard bottomonium and light quark hadrons. We work under the assumption that the $\Upsilon(10753)$ and $\Upsilon(11020)$ can be described as the lowest laying and first excitation $1^{--}$ hybrid bottomonium states, respectively. The computation has two distinct parts: the heavy quark transition matrix elements, which are obtained in a nonrelativistic EFT incorporating the heavy quark, multipole and adiabatic expansions; and the hadronization of the gluonic operators into the light-meson final states. The single mesons production is obtained through the axial anomaly and a standard $\pi^0-\eta-\eta'$ mixing scheme. Two pion and kaon production is obtained by solving the coupled Omn\`es problem. We also present result for semi-inclusive transitions.


title: Integrable discretizations of the SIR model

abstract: Structure-preserving discretizations of the SIR model are presented by focusing on the hodograph transformation and the conditions for integrability for their discrete SIR models are given. For those integrable discrete SIR models, we derive their exact solutions as well as conserved quantities. If we choose the parameter appropriately for one of our proposed discrete SIR models, it conserves the conserved quantities of the SIR model. We also investigate an ultradiscretizable discrete SIR model.

categories: nlin.SI cs.NA math-ph math.DS math.MP math.NA


title: Analysis of localized CP asymmetry in $\bar{B}_{s}^{0} \rightarrow \pi ^+\pi ^-\pi^{0}(K^{0})$

abstract: An investigation about localized CP asymmetries for the processes of $\bar{B}_{s}^{0} \rightarrow \pi^{+}\pi^{-}\pi^{0} (K^{0})$ is presented in this paper. The innovation of this paper is that there is a consideration of three-particle $\rho^0(770)$, $\omega(782)$ and $\phi(1020)$ interferences effect. Generally, $\omega(782)$ and $\phi(1020)$ both can decay into $\pi ^+\pi ^-$ pair where can cause extremely small contribution from isospin symmetry breaking. Nevertheless, our analysis shows that $\bar{B}_{s}^{0} \rightarrow \pi ^+\pi ^-\pi^{0}(K^{0})$ decay process can bring differential CP asymmetry about $65\%$ ($36\%$) because of isospin symmetry breaking. To better compared with the data from experimental in the future, we integrate CP asymmetry over the invariant mass and obtain localized CP asymmetry value for the decay $\bar{B}_{s}^{0} \rightarrow \pi ^+\pi ^-\pi^{0} (K^{0})$. We find that there is an evident signal about CP asymmetry at invariant mass value $m(\pi^{+}\pi^{-})$ below the mass of $\rho(770)^{0}$ with the decay $\bar{B}_{s}^{0} \rightarrow \pi ^+\pi^{-}\pi^{0}$.


title: Matrix-Valued Gabor Frames over LCA Groups for Operators

abstract: G\v avruta studied atomic systems in terms of frames for range of operators (that is, for subspaces), namely $K$-frames, where the lower frame condition is controlled by the Hilbert-adjoint of a bounded linear operator $K$. For a locally compact abelian group G and a positive integer $n$, we study frames of matrix-valued Gabor systems in the matrix-valued Lebesgue space $L^2(G, \mathbb{C}^{n\times n})$ , where a bounded linear operator $\Theta$ on $L^2(G, \mathbb{C}^{n\times n})$ controls not only lower but also the upper frame condition. We term such frames matrix-valued $(\Theta, \Theta^*)$-Gabor frames. Firstly, we discuss frame preserving mapping in terms of hyponormal operators. Secondly, we give necessary and sufficient conditions for the existence of matrix-valued $(\Theta, \Theta^*)$- Gabor frames in terms of hyponormal operators. It is shown that if $\Theta$ is adjointable hyponormal operator, then $L^2(G, \mathbb{C}^{n\times n})$ admits a $\lambda$-tight $(\Theta, \Theta^*)$-Gabor frame for every positive real number $\lambda$. A characterization of matrix-valued $(\Theta, \Theta^*)$-Gabor frames is given. Finally, we show that matrix-valued $(\Theta, \Theta^*)$-Gabor frames are stable under small perturbation of window functions. Several examples are given to support our study.


title: Parallel window decoding enables scalable fault tolerant quantum computation

abstract: Large-scale quantum computers have the potential to hold computational capabilities beyond conventional computers for certain problems. However, the physical qubits within a quantum computer are prone to noise and decoherence, which must be corrected in order to perform reliable, fault-tolerant quantum computations. Quantum Error Correction (QEC) provides the path for realizing such computations. QEC continuously generates a continuous stream of data that decoders must process at the rate it is received, which can be as fast as 1 MHz in superconducting quantum computers. A little known fact of QEC is that if the decoder infrastructure cannot keep up, a data backlog problem is encountered and the quantum computer runs exponentially slower. Today's leading approaches to quantum error correction are not scalable as existing decoders typically run slower as the problem size is increased, inevitably hitting the backlog problem. That is: the current leading proposal for fault-tolerant quantum computation is not scalable. Here, we show how to parallelize decoding to achieve almost arbitrary speed, removing this roadblock to scalability. Our parallelization requires some classical feed forward decisions to be delayed, leading to a slow-down of the logical clock speed. However, the slow-down is now only polynomial in code size, averting the exponential slowdown. We numerically demonstrate our parallel decoder for the surface code, showing no noticeable reduction in logical fidelity compared to previous decoders and demonstrating the parallelization speedup.


title: The p-norm of some matrices

abstract: We compute the operator $p$-norm of some $n\times n$ complex matrices, which can be seen as bounded linear operators on the $n$ dimensional Banach space $\ell^p(n)$. The notion of logarithmic affine matrices is defined, and for such a matrix its $p$-norm is computed exactly. In particular, a matrix $A=\begin{pmatrix} 8 & 1 & 6 \\ 3 & 5 & 7 \\ 4 & 9 & 2 \end{pmatrix}$ which corresponds to a magic square belongs to the class of logarithmic affine matrices, and its $p$-norm is equal to $15$ for any $p\in [1,\infty]$.


title: Pruning Neural Networks via Coresets and Convex Geometry: Towards No Assumptions

abstract: Pruning is one of the predominant approaches for compressing deep neural networks (DNNs). Lately, coresets (provable data summarizations) were leveraged for pruning DNNs, adding the advantage of theoretical guarantees on the trade-off between the compression rate and the approximation error. However, coresets in this domain were either data-dependent or generated under restrictive assumptions on both the model's weights and inputs. In real-world scenarios, such assumptions are rarely satisfied, limiting the applicability of coresets. To this end, we suggest a novel and robust framework for computing such coresets under mild assumptions on the model's weights and without any assumption on the training data. The idea is to compute the importance of each neuron in each layer with respect to the output of the following layer. This is achieved by a combination of L\"{o}wner ellipsoid and Caratheodory theorem. Our method is simultaneously data-independent, applicable to various networks and datasets (due to the simplified assumptions), and theoretically supported. Experimental results show that our method outperforms existing coreset based neural pruning approaches across a wide range of networks and datasets. For example, our method achieved a $62\%$ compression rate on ResNet50 on ImageNet with $1.09\%$ drop in accuracy.


title: Design and Development of a Lorentz Force-Based MRI-Driven Neuroendoscope

abstract: The introduction of neuroendoscopy, microneurosurgery, neuronavigation, and intraoperative imaging for surgical operations has made significant improvements over other traditionally invasive surgical techniques. The integration of magnetic resonance imaging (MRI)-driven surgical devices with intraoperative imaging and endoscopy can enable further advancements in surgical treatments and outcomes. This work proposes the design and development of an MRI-driven endoscope leveraging the high (3-7 T), external magnetic field of an MR scanner for heat-mitigated steering within the ventricular system of the brain. It also demonstrates the effectiveness of a Lorentz force-based grasper for diseased tissue manipulation and ablation. Feasibility studies show the neuroendoscope can be steered precisely within the lateral ventricle to locate a tumor using both MRI and endoscopic guidance. Results also indicate grasping forces as high as 31 mN are possible and power inputs as low as 0.69 mW can cause cancerous tissue ablation. These findings enable further developments of steerable devices using MR imaging integrated with endoscopic guidance for improved outcomes.


title: Symmetry Dictionary on Charge and Spin Nonlinear Responses for All Magnetic Point Groups with Nontrivial Topological Nature

abstract: Recently, charge or spin nonlinear transport with nontrivial topological properties in crystal materials has attracted much attention. In this paper, we perform a comprehensive symmetry analysis for all 122 magnetic point groups (MPGs) and provide a useful dictionary for charge and spin nonlinear transport from Berry curvature dipole, Berry connection polarization and Drude term with nontrivial topological nature. The results are obtained by making a full symmetry investigation on matrix representations of six nonlinear response tensors. We further identify every MPG that can accommodate two or three of the nonlinear tensors. The present work gives a solid theoretical basis for overall understanding the second-order nonlinear responses in realistic materials.


title: Multiscale heat transport with inertia and thermal vortices

abstract: In this paper, we present a Hamiltonian and thermodynamic theory of heat transport on various levels of description. Transport of heat is formulated within kinetic theory of polarized phonons, kinetic theory of unpolarized phonons, hydrodynamics of polarized phonons, and hydrodynamics of unpolarized phonons. These various levels of description are linked by Poisson reductions, where no linearizations are made. Consequently, we obtain a new phonon hydrodynamics that contains convective terms dependent on vorticity of the heat flux, which are missing in the standard theories of phonon hydrodynamics. Moreover, the equations are hyperbolic and Galilean invariant, unlike current theories for beyond-Fourier heat transport. The vorticity-dependent terms violate the alignment of the heat flux with the temperature gradient even in the stationary state, which is expressed by a Fourier-Crocco equation. The new terms also cause that temperature plays in heat transport a similar role as pressure in aerodynamics.


title: A Short Introduction to Reionization Physics

abstract: The epoch of reionization probes the state of our universe when the very first stars formed and ionized the hydrogen atoms in the surrounding medium. Since the epoch has not yet been probed observationally, it is often called the "final frontier" of observational cosmology. This final frontier is attracting a lot of attention because of the availability of a large number of telescopes in a wide variety of wavebands. This review article summarizes some of the concepts required to understand the interesting physics of reionization and how to analyze the high-redshift universe using related observations.