title: An Extension of Stanley's Symmetric Acyclicity Theorem to Signed Graphs

abstract: In 1995, Richard Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$ and proved that, when written in terms of the elementary symmetric functions, it reveals the number of acyclic orientations of $G$ with a given number of sinks. In this paper, we generalize this result to signed graphs, that is, to graphs whose edges are labeled with $+$ or $-$ and whose colorings and orientations can interact with their signs. Additionally, we introduce a non-homogeneous basis which detects the number of sinks and which not only gives a Stanley-type result for signed graphs but gives an analogous result of this form for unsigned graphs as well.


title: Distributionally robust Kalman filtering with volatility uncertainty

abstract: This work presents a distributionally robust Kalman filter to address uncertainties in noise covariance matrices and predicted covariance estimates. We adopt a distributionally robust formulation using bicausal optimal transport to characterize a set of plausible alternative models. The optimization problem is transformed into a convex nonlinear semi-definite programming problem and solved using the trust-region interior point method with the aid of $LDL^\top$ decomposition. The empirical outperformance is demonstrated through target tracking and pairs trading.


title: Higher order evolution inequalities with Hardy potential in the exterior of a half-ball

abstract: We consider semilinear higher order (in time) evolution inequalities posed in an exterior domain of the half-space $\mathbb{R}_+^N$, $N\geq 2$, and involving differential operators of the form $\mathcal{L}_\lambda =-\Delta +\lambda/|x|^2$, where $\lambda\geq -N^2/4$. A potential function of the form $|x|^\tau$, $\tau\in \mathbb{R}$, is allowed in front of the power nonlinearity. Under inhomogeneous Dirichlet-type boundary conditions, we show that the dividing line with respect to existence or nonexistence is given by a Fujita-type critical exponent that depends on $\lambda, N$ and $\tau$, but independent of the order of the time derivative.


title: Multi-dimensional discrimination in Law and Machine Learning -- A comparative overview

abstract: AI-driven decision-making can lead to discrimination against certain individuals or social groups based on protected characteristics/attributes such as race, gender, or age. The domain of fairness-aware machine learning focuses on methods and algorithms for understanding, mitigating, and accounting for bias in AI/ML models. Still, thus far, the vast majority of the proposed methods assess fairness based on a single protected attribute, e.g. only gender or race. In reality, though, human identities are multi-dimensional, and discrimination can occur based on more than one protected characteristic, leading to the so-called ``multi-dimensional discrimination'' or ``multi-dimensional fairness'' problem. While well-elaborated in legal literature, the multi-dimensionality of discrimination is less explored in the machine learning community. Recent approaches in this direction mainly follow the so-called intersectional fairness definition from the legal domain, whereas other notions like additive and sequential discrimination are less studied or not considered thus far. In this work, we overview the different definitions of multi-dimensional discrimination/fairness in the legal domain as well as how they have been transferred/ operationalized (if) in the fairness-aware machine learning domain. By juxtaposing these two domains, we draw the connections, identify the limitations, and point out open research directions.


title: Quark: An Integer RISC-V Vector Processor for Sub-Byte Quantized DNN Inference

abstract: In this paper, we present Quark, an integer RISC-V vector processor specifically tailored for sub-byte DNN inference. Quark is implemented in GlobalFoundries' 22FDX FD-SOI technology. It is designed on top of Ara, an open-source 64-bit RISC-V vector processor. To accommodate sub-byte DNN inference, Quark extends Ara by adding specialized vector instructions to perform sub-byte quantized operations. We also remove the floating-point unit from Quarks' lanes and use the CVA6 RISC-V scalar core for the re-scaling operations that are required in quantized neural network inference. This makes each lane of Quark 2 times smaller and 1.9 times more power efficient compared to the ones of Ara. In this paper we show that Quark can run quantized models at sub-byte precision. Notably we show that for 1-bit and 2-bit quantized models, Quark can accelerate computation of Conv2d over various ranges of inputs and kernel sizes.


title: The FOLE Database

abstract: This paper continues the discussion of the representation and interpretation of ontologies in the first-order logical environment {\ttfamily FOLE} (Kent). Ontologies are represented and interpreted in (many-sorted) first-order logic. Five papers provide a rigorous mathematical representation for the {\ttfamily ERA} (entity-relationship-attribute) data model (Chen) in particular, and ontologies in general, within the first-order logical environment {\ttfamily FOLE}. Two papers (Kent and another paper) represent the formalism and semantics of (many-sorted) first-order logic in a \emph{classification form} corresponding to ideas discussed in the Information Flow Framework (IFF). Two papers (Kent and the current paper) represent (many-sorted) first-order logic in an \emph{interpretation form} expanding on material found in the paper (Kent). A fifth paper (Kent) demonstrates that the classification form of {\ttfamily FOLE} is "informationally equivalent" to the interpretation form of {\ttfamily FOLE}, thereby defining the formalism and semantics of first-order logical/relational database systems. Although the classification form follows the entity-relationship-attribute data model of Chen, the interpretation form incorporates the relational data model of Codd. Two further papers discuss the "relational algebra" (Kent) and the "relational calculus". In general, the {\ttfamily FOLE} representation uses a conceptual structures approach, that is completely compatible with the theory of institutions (Goguen and Burstall), formal concept analysis (Ganter and Wille), and information flow (Barwise and Seligman).


title: G4CMP: Condensed Matter Physics Simulation Using the Geant4 Toolkit

abstract: G4CMP simulates phonon and charge transport in cryogenic semiconductor crystals using the Geant4 toolkit. The transport code is capable of simulating the propagation of acoustic phonons as well as electron and hole charge carriers. Processes for anisotropic phonon propagation, oblique charge-carrier propagation, and phonon emission by accelerated charge carriers are included. The simulation reproduces theoretical predictions and experimental observations such as phonon caustics, heat-pulse propagation times, and mean charge-carrier drift velocities. In addition to presenting the physics and features supported by G4CMP, this report outlines example applications from the dark matter and quantum information science communities. These communities are applying G4CMP to model and design devices for which the energy transported by phonons and charge carriers is germane to the performance of superconducting instruments and circuits placed on silicon and germanium substrates. The G4CMP package is available to download from GitHub: github.com/kelseymh/G4CMP.


title: Solid-amorphous transition is related to the waterlike anomalies in a fluid without liquid-liquid phase transition

abstract: The most accepted origin for the water anomalous behavior is the phase transition between two liquids (LLPT) in the supercooled regime connected to the glassy first order phase transition at lower temperatures. Two length scales potentials are an effective approach that have long being employed to understand the properties of fluids with waterlike anomalies and, more recently, the behavior of colloids and nanoparticles. These potentials can be parameterized to have distinct shapes, as a pure repulsive ramp, such as the model proposed by de Oliveira et al. [J. Chem. Phys. 124, 64901 (2006)]. This model has waterlike anomalies despite the absence of LLPT. To unravel how the waterlike anomalies are connected to the solid phases we employ Molecular Dynamics simulations. We have analyzed the fluid-solid transition under cooling, with two solid crystalline phases, BCC and HCP, and two amorphous regions being observed. We show how the competition between the scales creates an amorphous cluster in the BCC crystal that leads to the amorphization at low temperatures. A similar mechanism is found in the fluid phase, with the system changing from a BCC-like to an amorphous-like structure in the point where a maxima in $k_T$ is observed. With this, we can relate the competition between two fluid structures with the amorphous clusterization in the BCC phase.Those findings help to understand the origins of waterlike behavior in systems without liquid-liquid critical point.


title: Probing modified plasma waves in non-linear electrodynamics

abstract: Properties of modified plasma waves in non-linear electrodynamics are investigated. We consider a cold, uniform, collisionless, and magnetized plasma model. Initially, we also assume small amplitude waves and the non-relativistic approximation. For electrostatic waves, we obtain a modified Trivelpiece-Gould dispersion relation with a suitable change in the plasma frequency and analyze the stability of modes. Furthermore, electromagnetic waves related to the generalized Appleton-Hartree equation are established. In this case, we discuss modifications in circularly polarized waves, ordinary and extraordinary modes. After that, we apply our results to particular cases of low-energy quantum electrodynamics and a generalized Born-Infeld model. The correspondent dispersion relations and effects on the propagation regions are determined. Finally, we include the relativistic and large amplitude effects for circularly polarized waves. We obtain the dispersion relation within effective non-linear electrodynamics and examine the behavior of the refractive index when the frequency of the propagating wave converges to the plasma frequency.


title: On Second-Order Derivatives of Rigid-Body Dynamics: Theory & Implementation

abstract: Model-based control for robots has increasingly been dependent on optimization-based methods like Differential Dynamic Programming and iterative LQR (iLQR). These methods can form the basis of Model-Predictive Control (MPC), which is commonly used for controlling legged robots. Computing the partial derivatives of the dynamics is often the most expensive part of these algorithms, regardless of whether analytical methods, Finite Difference, Automatic Differentiation (AD), or Chain-Rule accumulation is used. Since the second-order derivatives of dynamics result in tensor computations, they are often ignored, leading to the use of iLQR, instead of the full second-order DDP method. In this paper, we present analytical methods to compute the second-order derivatives of inverse and forward dynamics for open-chain rigid-body systems with multi-DoF joints and fixed/floating bases. An extensive comparison of accuracy and run-time performance with AD and other methods is provided, including the consideration of code-generation techniques in C/C++ to speed up the computations. For the 36 DoF ATLAS humanoid, the second-order Inverse, and the Forward dynamics derivatives take approx 200 mu s, and approx 2.1 ms respectively, resulting in a 3x speedup over the AD approach.


title: Unified Derivation of Uncertainty Relations and Their Saturation Conditions

abstract: We analyze uncertainty relations due to Kennard, Robertson, Schr\"odinger, Maccone and Pati in a unified way from matrix theory point of view. Short proofs are given to these uncertainty relations and characterizations of the saturation conditions are given.


title: Optimal time-entropy bounds and speed limits for Brownian thermal shortcuts

abstract: By controlling in real-time the variance of the radiation pressure exerted on an optically trapped microsphere, we engineer temperature protocols that shortcut thermal relaxation when transferring the microsphere from one thermal equilibrium state to an other. We identify the entropic footprint of such accelerated transfers and derive optimal temperature protocols that either minimize the production of entropy for a given transfer duration or accelerate as much as possible the transfer for a given entropic cost. Optimizing the trade-off yields time-entropy bounds that put speed limits on thermalization schemes. We further show how optimization expands the possibilities for accelerating Brownian thermalization down to its fundamental limits. Our approach paves the way for the design of optimized, finite-time thermodynamic cycles at the mesoscale. It also offers a platform for investigating fundamental connections between information geometry and finite-time processes.


title: Improving UE Energy Efficiency through Network-aware Video Streaming over 5G

abstract: Adaptive Bitrate (ABR) Streaming over the cellular networks has been well studied in the literature; however, existing ABR algorithms primarily focus on improving the end-users' Quality of Experience (QoE) while ignoring the resource consumption aspect of the underlying device. Consequently, proactive attempts to download video data to maintain the user's QoE often impact the battery life of the underlying device unless the download attempts are synchronized with the network's channel condition. In this work, we develop EnDASH-5G -- a wrapper over the popular DASH-based ABR streaming algorithm, which establishes this synchronization by utilizing a network-aware video data download mechanism. EnDASH-5G utilizes a novel throughput prediction mechanism for 5G mmWave networks by upgrading the existing throughput prediction models with a transfer learning-based approach leveraging publicly available 5G datasets. It then exploits deep reinforcement learning to dynamically decide the playback buffer length and the video bitrate using the predicted throughput. This ensures that the data download attempts get synchronized with the underlying network condition, thus saving the device's battery power. From a thorough evaluation of EnDASH-5G, we observe that it achieves a near $30.5\%$ decrease in the maximum energy consumption than the state-of-the-art Pensieve ABR algorithm while performing almost at par in QoE.


title: Near-optimal learning with average H\"older smoothness

abstract: We generalize the notion of average Lipschitz smoothness proposed by Ashlagi et al. (COLT 2021) by extending it to H\"older smoothness. This measure of the "effective smoothness" of a function is sensitive to the underlying distribution and can be dramatically smaller than its classic "worst-case" H\"older constant. We consider both the realizable and the agnostic (noisy) regression settings, proving upper and lower risk bounds in terms of the average H\"older smoothness; these rates improve upon both previously known rates even in the special case of average Lipschitz smoothness. Moreover, our lower bound is tight in the realizable setting up to log factors, thus we establish the minimax rate. From an algorithmic perspective, since our notion of average smoothness is defined with respect to the unknown underlying distribution, the learner does not have an explicit representation of the function class, hence is unable to execute ERM. Nevertheless, we provide distinct learning algorithms that achieve both (nearly) optimal learning rates. Our results hold in any totally bounded metric space, and are stated in terms of its intrinsic geometry. Overall, our results show that the classic worst-case notion of H\"older smoothness can be essentially replaced by its average, yielding considerably sharper guarantees.


title: Slepian Scale-Discretised Wavelets on Manifolds

abstract: Inspired by recent interest in geometric deep learning, this work generalises the recently developed Slepian scale-discretised wavelets on the sphere to Riemannian manifolds. Through the sifting convolution, one may define translations and, thus, convolutions on manifolds - which are otherwise not well-defined in general. Slepian wavelets are constructed on a region of a manifold and are therefore suited to problems where data only exists in a particular region. The Slepian functions, on which Slepian wavelets are built, are the basis functions of the Slepian spatial-spectral concentration problem on the manifold. A tiling of the Slepian harmonic line with smoothly decreasing generating functions defines the scale-discretised wavelets; allowing one to probe spatially localised, scale-dependent features of a signal. By discretising manifolds as graphs, the Slepian functions and wavelets of a triangular mesh are presented. Through a wavelet transform, the wavelet coefficients of a field defined on the mesh are found and used in a straightforward thresholding denoising scheme.


title: Maximum mass and stability of differentially rotating neutrons stars

abstract: We present our study of stability of differentially rotating, axisymmetric neutron stars described by a polytropic equation of state with $\Gamma = 2$. We focus on quasi-toroidal solutions with a degree of differential rotation $\widetilde A=1$. Our results show that for a wide range of parameters hypermassive, quasi-toroidal neutron stars are dynamically stable against quasi-radial perturbations, which may have implications for newly born neutron stars and binary neutron stars mergers.


title: ASR Bundestag: A Large-Scale political debate dataset in German

abstract: We present ASR Bundestag, a dataset for automatic speech recognition in German, consisting of 610 hours of aligned audio-transcript pairs for supervised training as well as 1,038 hours of unlabeled audio snippets for self-supervised learning, based on raw audio data and transcriptions from plenary sessions and committee meetings of the German parliament. In addition, we discuss utilized approaches for the automated creation of speech datasets and assess the quality of the resulting dataset based on evaluations and finetuning of a pre-trained state of the art model. We make the dataset publicly available, including all subsets.


title: Policy-Induced Self-Supervision Improves Representation Finetuning in Visual RL

abstract: We study how to transfer representations pretrained on source tasks to target tasks in visual percept based RL. We analyze two popular approaches: freezing or finetuning the pretrained representations. Empirical studies on a set of popular tasks reveal several properties of pretrained representations. First, finetuning is required even when pretrained representations perfectly capture the information required to solve the target task. Second, finetuned representations improve learnability and are more robust to noise. Third, pretrained bottom layers are task-agnostic and readily transferable to new tasks, while top layers encode task-specific information and require adaptation. Building on these insights, we propose a self-supervised objective that clusters representations according to the policy they induce, as opposed to traditional representation similarity measures which are policy-agnostic (e.g. Euclidean norm, cosine similarity). Together with freezing the bottom layers, this objective results in significantly better representation than frozen, finetuned, and self-supervised alternatives on a wide range of benchmarks.


title: Rod-climbing rheometry revisited

abstract: The rod-climbing or Weissenberg effect in which the free surface of a complex fluid climbs a thin rotating rod is a popular and convincing experiment demonstrating the existence of elasticity in polymeric fluids. The interface shape depends on the rotation rate, fluid elasticity, surface tension, and inertia. By solving the equations of motion in the low rotation rate limit for a second-order fluid, a mathematical relationship between the interface deflection and the fluid material functions, specifically the first and second normal stress differences, emerges. This relationship has been used in the past to measure the climbing constant, a combination of the first ($\Psi_{1,0}$) and second ($\Psi_{2,0}$) normal stress difference coefficients from experimental observations of rod-climbing in the low inertia limit. However, a quantitative reconciliation of such observations with the capabilities of modern-day torsional rheometers is lacking. To this end, we combine rod-climbing experiments with both small amplitude oscillatory shear flow measurements and steady shear measurements of the first normal stress difference from commercial rheometers to quantify the values of both normal stress differences for a series of polymer solutions. Furthermore, by retaining the oft-neglected inertial terms, we show that the climbing constant $\hat{\beta}=0.5\Psi_{1,0}+2\Psi_{2,0}$ can be measured even when the fluids, in fact, experience rod descending. A climbing condition derived by considering the competition between elasticity and inertial effects accurately predicts whether a fluid will undergo rod-climbing or rod-descending. The analysis and observations presented in this study establish rotating rod rheometry as a prime candidate for measuring normal stress differences in polymeric fluids at low shear rates that are often below commercial rheometers' sensitivity limits.


title: Extended-SWIR GeSn LEDs with reduced footprint and power consumption

abstract: CMOS-compatible short- and mid-wave infrared emitters are highly coveted for the monolithic integration of silicon-based photonic and electronic integrated circuits to serve a myriad of applications in sensing and communications. In this regard, a group IV germanium-tin (GeSn) material epitaxially grown on silicon (Si) emerges as a promising platform to implement tunable infrared light emitters. Indeed, upon increasing the Sn content, the bandgap of GeSn narrows and becomes direct, making this material system suitable for developing an efficient silicon-compatible emitter. With this perspective, microbridge PIN GeSn LEDs with a small footprint of $1,520$ $\mu$m$^2$ are demonstrated and their operation performance is investigated. The spectral analysis of the electroluminescence emission exhibits a peak at $2.31$ $\mu$m and it red-shifts slightly as the driving current increases. It is found that the microbridge LED operates at a dissipated power as low as $10.8$ W at room temperature and just $3$ W at $80$ K. This demonstrated low operation power is comparable to that reported for LEDs having a significantly larger footprint reaching $10^6$ $\mu$m$^2$. The efficient thermal dissipation of the current design helped to reduce the heat-induced optical losses, thus enhancing light emission. Further performance improvements are envisioned through thermal and optical simulations of the microbridge design. The use of GeSnOI substrate for developing a similar device is expected to improve optical confinement for the realization of electrically driven GeSn lasers.


title: Computation with Large Advice

abstract: In this paper, we consider a new direction of computation, which we call computation with large advice. We mainly consider constant space computation with large advice in Turing machines, and prove the following facts: (i) The class of decision problems solvable by a constant space Turing machine with polynomial-size advice includes nonuniform-{\sf NC}$^1$, (ii) The class of decision problems solvable by a constant space Turing machine with quasipolynomial-size advice equals nonuniform-{\sf polyL}. The facts mean constant space computation with large advice has unexpected computational power. On the other hand, we mention bounded time computation with large advice, and attempt to propose a concept of ``algorithms with large advice''. In the proposal, advice is precomputed data for a problem and a fixed instance size, and we expect efficient algorithms by large or huge advice.


title: How many Keplerian arcs are there between two points of spacetime?

abstract: We consider the Keplerian arcs around a fixed Newtonian center joining two prescribed distinct positions in a prescribed flight time. We prove that, putting aside the "opposition case" where infinitely many planes of motion are possible, there are at most two such arcs of each "type". There is a bilinear quantity that we call b which is in all the cases a good parameter for the Keplerian arcs joining two distinct positions. The flight time satisfies a "variational" differential equation in b, and is a convex function of b.


title: Online Recommendations for Agents with Discounted Adaptive Preferences

abstract: We consider a bandit recommendations problem in which an agent's preferences (representing selection probabilities over recommended items) evolve as a function of past selections, according to an unknown $\textit{preference model}$. In each round, we show a menu of $k$ items (out of $n$ total) to the agent, who then chooses a single item, and we aim to minimize regret with respect to some $\textit{target set}$ (a subset of the item simplex) for adversarial losses over the agent's choices. Extending the setting from Agarwal and Brown (2022), where uniform-memory agents were considered, here we allow for non-uniform memory in which a discount factor is applied to the agent's memory vector at each subsequent round. In the "long-term memory" regime (when the effective memory horizon scales with $T$ sublinearly), we show that efficient sublinear regret is obtainable with respect to the set of $\textit{everywhere instantaneously realizable distributions}$ (the "EIRD set", as formulated in prior work) for any $\textit{smooth}$ preference model. Further, for preferences which are bounded above and below by linear functions of memory weight (we call these "scale-bounded" preferences) we give an algorithm which obtains efficient sublinear regret with respect to nearly the $\textit{entire}$ item simplex. We show an NP-hardness result for expanding to targets beyond EIRD in general. In the "short-term memory" regime (when the memory horizon is constant), we show that scale-bounded preferences again enable efficient sublinear regret for nearly the entire simplex even without smoothness if losses do not change too frequently, yet we show an information-theoretic barrier for competing against the EIRD set under arbitrary smooth preference models even when losses are constant.


title: A Theoretical Understanding of Shallow Vision Transformers: Learning, Generalization, and Sample Complexity

abstract: Vision Transformers (ViTs) with self-attention modules have recently achieved great empirical success in many vision tasks. Due to non-convex interactions across layers, however, theoretical learning and generalization analysis is mostly elusive. Based on a data model characterizing both label-relevant and label-irrelevant tokens, this paper provides the first theoretical analysis of training a shallow ViT, i.e., one self-attention layer followed by a two-layer perceptron, for a classification task. We characterize the sample complexity to achieve a zero generalization error. Our sample complexity bound is positively correlated with the inverse of the fraction of label-relevant tokens, the token noise level, and the initial model error. We also prove that a training process using stochastic gradient descent (SGD) leads to a sparse attention map, which is a formal verification of the general intuition about the success of attention. Moreover, this paper indicates that a proper token sparsification can improve the test performance by removing label-irrelevant and/or noisy tokens, including spurious correlations. Empirical experiments on synthetic data and CIFAR-10 dataset justify our theoretical results and generalize to deeper ViTs.


title: Pilot search for axion-like particles by a three-beam stimulated resonant photon collider with short pulse lasers

abstract: Toward the systematic search for axion-like particles in the eV mass range, we proposed the concept of a stimulated resonant photon collider by focusing three short pulse lasers into vacuum. In order to realize such a collider, we have performed a proof-of-principle experiment with a set of large incident angles between three beams to overcome the expected difficulty to ensure the space-time overlap between short pulse lasers and also established a method to evaluate the bias on the polarization states, which is useful for a future variable-incident-angle collision system. In this paper we present a result from the pilot search with the developed system and the method. The search result was consistent with null. We thus have set the upper limit on the minimum ALP-photon coupling down to $1.5 \times 10^{-4}$ GeV${}^{-1}$ at the ALP mass of 1.53 eV with a confidence level of 95 %.


title: On the q-binomial identities involving the Legendre symbol modulo 3

abstract: I use polynomial analogue of the Jacobi triple product identity together with the Eisenstein formula for the Legendre symbol modulo 3 . to prove six identities involving the $q$-binomial coefficients. These identities are then extended to the new infinite hierarchies of q-series identities by means of the special case of Bailey's lemma. Some of the identities of Ramanujan, Slater, McLaughlin and Sills are obtained this way.


title: Optimizing Floors in First Price Auctions: an Empirical Study of Yahoo Advertising

abstract: Floors (also known as reserve prices) help publishers to increase the expected revenue of their ad space, which is usually sold via auctions. Floors are defined as the minimum bid that a seller (it can be a publisher or an ad exchange) is willing to accept for the inventory opportunity. In this paper, we present a model to set floors in first price auctions, and discuss the impact of its implementation on Yahoo sites. The model captures important characteristics of the online advertising industry. For instance, some bidders impose restrictions on how ad exchanges can handle data from bidders, conditioning the model choice to set reserve prices. Our solution induces bidders to change their bidding behavior as a response to the floors enclosed in the bid request, helping online publishers to increase their ad revenue. The outlined methodology has been implemented at Yahoo with remarkable results. The annualized incremental revenue is estimated at +1.3% on Yahoo display inventory, and +2.5% on video ad inventory. These are non-negligible numbers in the multi-million Yahoo ad business.


title: A Correct-and-Certify Approach to Self-Supervise Object Pose Estimators via Ensemble Self-Training

abstract: Real-world robotics applications demand object pose estimation methods that work reliably across a variety of scenarios. Modern learning-based approaches require large labeled datasets and tend to perform poorly outside the training domain. Our first contribution is to develop a robust corrector module that corrects pose estimates using depth information, thus enabling existing methods to better generalize to new test domains; the corrector operates on semantic keypoints (but is also applicable to other pose estimators) and is fully differentiable. Our second contribution is an ensemble self-training approach that simultaneously trains multiple pose estimators in a self-supervised manner. Our ensemble self-training architecture uses the robust corrector to refine the output of each pose estimator; then, it evaluates the quality of the outputs using observable correctness certificates; finally, it uses the observably correct outputs for further training, without requiring external supervision. As an additional contribution, we propose small improvements to a regression-based keypoint detection architecture, to enhance its robustness to outliers; these improvements include a robust pooling scheme and a robust centroid computation. Experiments on the YCBV and TLESS datasets show the proposed ensemble self-training outperforms fully supervised baselines while not requiring 3D annotations on real data.


title: Characterization and Evaluation of Carbonaceous Materials from the Hydrothermal Carbonization of Waste Pharmaceuticals

abstract: In this paper, we report herein, the conversion of waste prescription and non-prescription pharmaceuticals into carbonaceous materials. The hydrothermal carbonization (HTC) of the pharmaceuticals was carried out at temperatures of 180, 230 and 275 0C in closed reactors for 6, 12 and 24 hours, respectively. The main products from the carbonization process were in the solids, liquids and gas phases. The resulting hydrochars were shown to be very functionalized with a high degree of aromaticity and high carbon content (between 55% to 65%). The adsorptive capacity of the hydrochars to remove Pb2+ ions from an aqueous system was evaluated and compared to that of analytical reagent activated carbon (AR-AC) through batch adsorptive tests. The effect of contact time on batch adsorption experiments with an initial Pb2+ concentration of 50 mg/L was also evaluated. The results indicated that PH24_230 has a better adsorption capacity when compared to AR-AC; achieving over 97% removal of Pb2+ after 60 minutes. The batch adsorption studies were best described by the pseudo-second order kinetic model with coefficient of regression (R2) values above 0.99. Also, slow pyrolysis experiments were carried out to evaluate the difference in solid yields, char heating value and surface area. Pyrochar yields were slightly higher, while heating values were one order of magnitude lower when compared to hydrochars. The pyrolysis conducted at 700{\deg}C led to the pyrochar with the highest value of the surface area (63.15 m2/g). The study shows that valuable products can be generated successfully from the hydrothermal carbonization of waste pharmaceuticals. KEYWORDS: waste pharmaceuticals; hydrothermal carbonization; hydrochars, batch adsorption, adsorption capacity


title: Graph curvature via resistance distance

abstract: Let $G=(V,E)$ be a finite, combinatorial graph. We define a notion of curvature on the vertices $V$ via the inverse of the resistance distance matrix. We prove that this notion of curvature has a number of desirable properties. Graphs with curvature bounded from below by $K>0$ have diameter bounded from above. The Laplacian $L=D-A$ satisfies a Lichnerowicz estimate, there is a spectral gap $\lambda_2 \geq 2K$. We obtain matching two-sided bounds on the maximal commute time between any two vertices in terms of $|E| \cdot |V|^{-1} \cdot K^{-1}$. Moreover, we derive quantitative rates for the mixing time of the corresponding Markov chain and prove a general equilibrium result.


title: Projectively coresolved Gorenstein flat dimension of groups

abstract: In this paper, we introduce and study the projectively coresolved Gorenstein flat dimension of a group $G$ over a commutative ring $R$ and we prove that this dimension enjoys all the properties of the cohomological and the Gorenstein cohomological dimension. We also provide good estimations for the Gorenstein global dimension of $RG$ in terms of this dimension and the Gorenstein global dimension of $R$. Moreover, we study special cases of groups, such as $\textsc{\textbf{lh}}\mathfrak{F}$-groups, and show that for such a group every Gorenstein projective $RG$-module is Gorenstein flat when the global dimension of $R$ is finite.


title: Spin-selective strong light-matter coupling in a 2D hole gas-microcavity system

abstract: The interplay between time-reversal symmetry breaking and strong light-matter coupling in 2D gases brings intriguing aspects to polariton physics. This combination can lead to polarization/spin selective light-matter interaction in the strong coupling regime. In this work, we report such a selective strong light-matter interaction by harnessing a 2D gas in the quantum Hall regime coupled to a microcavity. Specifically, we demonstrate circular-polarization dependence of the vacuum Rabi splitting, as a function of magnetic field and hole density. We provide a quantitative understanding of the phenomenon by modeling the coupling of optical transitions between Landau levels to the microcavity. This method introduces a control tool over the spin degree of freedom in polaritonic semiconductor systems, paving the way for new experimental possibilities in light-matter hybrids.

categories: cond-mat.mes-hall cond-mat.quant-gas physics.optics quant-ph


title: The central limit theorem on nilpotent Lie groups

abstract: We formulate and establish the central limit theorem for products of i.i.d. random variables on arbitrary simply connected nilpotent Lie groups, allowing a possible bias. Two new phenomena arise in the presence of a bias: (a) the walk spreads out at a higher rate in the ambient group, (b) the limiting hypoelliptic diffusion process may not have full support. We study the limiting distribution, prove estimates on its density and describe its support. We also establish corresponding Berry-Esseen bounds under optimal moment assumptions, as well as an analogue of Donsker's invariance principle. Various examples of nilpotent Lie groups are treated in detail showing the variety of different behaviours. We also obtain a characterization of when the limiting distribution is an ordinary gaussian and answer a question of Tutubalin from the 1960s regarding asymptotically close distributions on nilpotent Lie groups.


title: Statistical Complexity and Optimal Algorithms for Non-linear Ridge Bandits

abstract: We consider the sequential decision-making problem where the mean outcome is a non-linear function of the chosen action. Compared with the linear model, two curious phenomena arise in non-linear models: first, in addition to the "learning phase" with a standard parametric rate for estimation or regret, there is an "burn-in period" with a fixed cost determined by the non-linear function; second, achieving the smallest burn-in cost requires new exploration algorithms. For a special family of non-linear functions named ridge functions in the literature, we derive upper and lower bounds on the optimal burn-in cost, and in addition, on the entire learning trajectory during the burn-in period via differential equations. In particular, a two-stage algorithm that first finds a good initial action and then treats the problem as locally linear is statistically optimal. In contrast, several classical algorithms, such as UCB and algorithms relying on regression oracles, are provably suboptimal.

categories: stat.ML cs.IT cs.LG math.IT math.ST stat.TH


title: Expansion of a semi-bounded o-minimal structure by a geometric progression

abstract: We demonstrate that an expansion of a semi-bounded o-minimal expansion of the ordered group of reals by an increasing geometric progression is locally o-minimal.


title: A Vanishing Theorem for Varieties with Finitely Many Solvable Group Orbits

abstract: We reprove and generalize the result that the intersection cohomology groups of a toric variety with coefficient in a nontrivial rank one local system vanish. We prove a similar vanishing result for a certain class of varieties on which a connected linear solvable group acts, including all spherical varieties.


title: Quantum Simulation of an Extended Dicke Model with a Magnetic Solid

abstract: The Dicke model describes the cooperative interaction of an ensemble of two-level atoms with a single-mode photonic field and exhibits a quantum phase transition as a function of light--matter coupling strength. Extending this model by incorporating short-range atom--atom interactions makes the problem intractable but is expected to produce new phases. Here, we simulate such an extended Dicke model using a crystal of ErFeO$_3$, where the role of atoms (photons) is played by Er$^{3+}$ spins (Fe$^{3+}$ magnons). Through magnetocaloric effect and terahertz magnetospectroscopy measurements, we demonstrated the existence of a novel atomically ordered phase in addition to the superradiant and normal phases that are expected from the standard Dicke model. Further, we elucidated the nature of the phase boundaries in the temperature--magnetic-field phase diagram, identifying both first-order and second-order phase transitions. These results lay the foundation for studying multiatomic quantum optics models using well-characterized many-body condensed matter systems.


title: Emotion Detection in Unfix-length-Context Conversation

abstract: We leverage different context windows when predicting the emotion of different utterances. New modules are included to realize variable-length context: 1) two speaker-aware units, which explicitly model inner- and inter-speaker dependencies to form distilled conversational context, and 2) a top-k normalization layer, which determines the most proper context windows from the conversational context to predict emotion. Experiments and ablation studies show that our approach outperforms several strong baselines on three public datasets.


title: Time-to-event modeling of subreddits transitions to r/SuicideWatch

abstract: Recent data mining research has focused on the analysis of social media text, content and networks to identify suicide ideation online. However, there has been limited research on the temporal dynamics of users and suicide ideation. In this work, we use time-to-event modeling to identify which subreddits have a higher association with users transitioning to posting on r/suicidewatch. For this purpose we use a Cox proportional hazards model that takes as input text and subreddit network features and outputs a probability distribution for the time until a Reddit user posts on r/suicidewatch. In our analysis we find a number of statistically significant features that predict earlier transitions to r/suicidewatch. While some patterns match existing intuition, for example r/depression is positively associated with posting sooner on r/suicidewatch, others were more surprising (for example, the average time between a high risk post on r/Wishlist and a post on r/suicidewatch is 10.2 days). We then discuss these results as well as directions for future research.


title: Reliable Bayesian Inference in Misspecified Models

abstract: We provide a general solution to a fundamental open problem in Bayesian inference, namely poor uncertainty quantification, from a frequency standpoint, of Bayesian methods in misspecified models. While existing solutions are based on explicit Gaussian approximations of the posterior, or computationally onerous post-processing procedures, we demonstrate that correct uncertainty quantification can be achieved by replacing the usual posterior with an intuitive approximate posterior. Critically, our solution is applicable to likelihood-based, and generalized, posteriors as well as cases where the likelihood is intractable and must be estimated. We formally demonstrate the reliable uncertainty quantification of our proposed approach, and show that valid uncertainty quantification is not an asymptotic result but occurs even in small samples. We illustrate this approach through a range of examples, including linear, and generalized, mixed effects models.


title: Near-Optimal Non-Convex Stochastic Optimization under Generalized Smoothness

abstract: The generalized smooth condition, $(L_{0},L_{1})$-smoothness, has triggered people's interest since it is more realistic in many optimization problems shown by both empirical and theoretical evidence. Two recent works established the $O(\epsilon^{-3})$ sample complexity to obtain an $O(\epsilon)$-stationary point. However, both require a large batch size on the order of $\mathrm{ploy}(\epsilon^{-1})$, which is not only computationally burdensome but also unsuitable for streaming applications. Additionally, these existing convergence bounds are established only for the expected rate, which is inadequate as they do not supply a useful performance guarantee on a single run. In this work, we solve the prior two problems simultaneously by revisiting a simple variant of the STORM algorithm. Specifically, under the $(L_{0},L_{1})$-smoothness and affine-type noises, we establish the first near-optimal $O(\log(1/(\delta\epsilon))\epsilon^{-3})$ high-probability sample complexity where $\delta\in(0,1)$ is the failure probability. Besides, for the same algorithm, we also recover the optimal $O(\epsilon^{-3})$ sample complexity for the expected convergence with improved dependence on the problem-dependent parameter. More importantly, our convergence results only require a constant batch size in contrast to the previous works.


title: Improving Quantal Cognitive Hierarchy Model Through Iterative Population Learning

abstract: In domains where agents interact strategically, game theory is applied widely to predict how agents would behave. However, game-theoretic predictions are based on the assumption that agents are fully rational and believe in equilibrium plays, which unfortunately are mostly not true when human decision makers are involved. To address this limitation, a number of behavioral game-theoretic models are defined to account for the limited rationality of human decision makers. The "quantal cognitive hierarchy" (QCH) model, which is one of the more recent models, is demonstrated to be the state-of-art model for predicting human behaviors in normal-form games. The QCH model assumes that agents in games can be both non-strategic (level-0) and strategic (level-$k$). For level-0 agents, they choose their strategies irrespective of other agents. For level-$k$ agents, they assume that other agents would be behaving at levels less than $k$ and best respond against them. However, an important assumption of the QCH model is that the distribution of agents' levels follows a Poisson distribution. In this paper, we relax this assumption and design a learning-based method at the population level to iteratively estimate the empirical distribution of agents' reasoning levels. By using a real-world dataset from the Swedish lowest unique positive integer game, we demonstrate how our refined QCH model and the iterative solution-seeking process can be used in providing a more accurate behavioral model for agents. This leads to better performance in fitting the real data and allows us to track an agent's progress in learning to play strategically over multiple rounds.


title: Requirements Elicitation and Modelling of Artificial Intelligence Systems: An Empirical Study

abstract: Artificial Intelligence (AI) systems have gained significant traction in the recent past, creating new challenges in requirements engineering (RE) when building AI software systems. RE for AI practices have not been studied much and have scarce empirical studies. Additionally, many AI software solutions tend to focus on the technical aspects and ignore human-centered values. In this paper, we report on a case study for eliciting and modeling requirements using our framework and a supporting tool for human-centred RE for AI systems. Our case study is a mobile health application for encouraging type-2 diabetic people to reduce their sedentary behavior. We conducted our study with three experts from the app team -- a software engineer, a project manager and a data scientist. We found in our study that most human-centered aspects were not originally considered when developing the first version of the application. We also report on other insights and challenges faced in RE for the health application, e.g., frequently changing requirements.


title: Variational Bayesian Neural Networks via Resolution of Singularities

abstract: In this work, we advocate for the importance of singular learning theory (SLT) as it pertains to the theory and practice of variational inference in Bayesian neural networks (BNNs). To begin, using SLT, we lay to rest some of the confusion surrounding discrepancies between downstream predictive performance measured via e.g., the test log predictive density, and the variational objective. Next, we use the SLT-corrected asymptotic form for singular posterior distributions to inform the design of the variational family itself. Specifically, we build upon the idealized variational family introduced in \citet{bhattacharya_evidence_2020} which is theoretically appealing but practically intractable. Our proposal takes shape as a normalizing flow where the base distribution is a carefully-initialized generalized gamma. We conduct experiments comparing this to the canonical Gaussian base distribution and show improvements in terms of variational free energy and variational generalization error.


title: Superconductivity with large upper critical field in noncentrosymmetric Cr-bearing high-entropy alloys

abstract: A series of new Cr$_{5+x}$Mo$_{35-x}$W$_{12}$Re$_{35}$Ru$_{13}$C$_{20}$ high-entropy alloys (HEAs) have been synthesized and characterized by x-ray diffraction, scanning electron microscopy, electrical resistivity, magnetic susceptibility and specific heat measurements. It is found that the HEAs adopt a noncentrosymmetric cubic $\beta$-Mn type structure and exhibit bulk superconductivity for 0 $\leq$ $x$ $\leq$ 9. With increasing $x$, the cubic lattice parameter decreases from 6.7940(3) {\AA} to 6.7516(3) {\AA}. Meanwhile, the superconducting transition temperature $T_{\rm c}$ is suppressed from 5.49 K to 3.35 K due to the magnetic pair breaking caused by Cr moments. For all these noncentrosymmetric HEAs, the zero-temperature upper critical field $B_{\rm c2}$(0) is comparable to Pauli paramagnetic limit $B_{\rm P}$(0) = 1.86$T_{\rm c}$. In particular, the $B_{\rm c2}$(0)/$B_{\rm P}$(0) ratio reaches a maximum of $\sim$1.03 at $x$ = 6, which is among the highest for $\beta$-Mn type superconductors.


title: Generalizable End-to-End Deep Learning Frameworks for Real-Time Attitude Estimation Using 6DoF Inertial Measurement Units

abstract: This paper presents a novel end-to-end deep learning framework for real-time inertial attitude estimation using 6DoF IMU measurements. Inertial Measurement Units are widely used in various applications, including engineering and medical sciences. However, traditional filters used for attitude estimation suffer from poor generalization over different motion patterns and environmental disturbances. To address this problem, we propose two deep learning models that incorporate accelerometer and gyroscope readings as inputs. These models are designed to be generalized to different motion patterns, sampling rates, and environmental disturbances. Our models consist of convolutional neural network layers combined with Bi-Directional Long-Short Term Memory followed by a Fully Forward Neural Network to estimate the quaternion. We evaluate the proposed method on seven publicly available datasets, totaling more than 120 hours and 200 kilometers of IMU measurements. Our results show that the proposed method outperforms state-of-the-art methods in terms of accuracy and robustness. Additionally, our framework demonstrates superior generalization over various motion characteristics and sensor sampling rates. Overall, this paper provides a comprehensive and reliable solution for real-time inertial attitude estimation using 6DoF IMUs, which has significant implications for a wide range of applications.


title: Towards Understanding Provenance in Industry

abstract: Context: Trustworthiness of software has become a first-class concern of users (e.g., to understand software-made decisions). Also, there is increasing demand to demonstrate regulatory compliance of software and end users want to understand how software-intensive systems make decisions that affect them. Objective: We aim to provide a step towards understanding provenance needs of the software industry to support trustworthy software. Provenance is information about entities, activities, and people involved in producing data, software, or output of software, and used to assess software quality, reliability and trustworthiness of digital products and services. Method: Based on data from in-person and questionnaire-based interviews with professionals in leadership roles we develop an ``influence map'' to analyze who drives provenance, when provenance is relevant, what is impacted by provenance and how provenance can be managed. Results: The influence map helps decision makers navigate concerns related to provenance. It can also act as a checklist for initial provenance analyses of systems. It is empirically-grounded and designed bottom-up (based on perceptions of practitioners) rather than top-down (from regulations or policies). Conclusion: We present an imperfect first step towards understanding provenance based on current perceptions and offer a preliminary view ahead.


title: Predicting Class Distribution Shift for Reliable Domain Adaptive Object Detection

abstract: Unsupervised Domain Adaptive Object Detection (UDA-OD) uses unlabelled data to improve the reliability of robotic vision systems in open-world environments. Previous approaches to UDA-OD based on self-training have been effective in overcoming changes in the general appearance of images. However, shifts in a robot's deployment environment can also impact the likelihood that different objects will occur, termed class distribution shift. Motivated by this, we propose a framework for explicitly addressing class distribution shift to improve pseudo-label reliability in self-training. Our approach uses the domain invariance and contextual understanding of a pre-trained joint vision and language model to predict the class distribution of unlabelled data. By aligning the class distribution of pseudo-labels with this prediction, we provide weak supervision of pseudo-label accuracy. To further account for low quality pseudo-labels early in self-training, we propose an approach to dynamically adjust the number of pseudo-labels per image based on model confidence. Our method outperforms state-of-the-art approaches on several benchmarks, including a 4.7 mAP improvement when facing challenging class distribution shift.


title: Equality in the spacetime positive mass theorem II

abstract: We provide a new proof of the equality case of the spacetime positive mass theorem, which states that if a complete asymptotically flat initial data set $(M, g, k)$ satisfying the dominant energy condition has null ADM energy-momentum (that is, $|E|=|P|$), then $(M,g)$ must isometrically embed into Minkowski space with $k$ as its second fundamental form. Previous proofs either used spinor methods [Wit 81, BC96, CM06], relied on the Jang equation [HL20, Eic13], or assumed three spatial dimensions [HZ22]. In contrast, our new proof only requires knowing that $E\ge|P|$ for all complete initial data sets near $(g,k)$ on $M$ satisfying the dominant energy condition.


title: Quantization of Peterson's statement in Lie type A

abstract: Dale Peterson has discovered a surprising result that the quantum cohomology ring of the flag variety $\mbox{GL}_n(\mathbb{C})/B$ is isomorphic to the coordinate ring of the intersection of the Peterson variety $\mbox{Pet}_n$ and the opposite Schubert cell associated with the identity element $\Omega_e^\circ$ in $\mbox{GL}_n(\mathbb{C})/B$. This is an unpublished result, so papers of Kostant and Rietsch are referred for this result. An explicit presentation of the quantum cohomology ring of $\mbox{GL}_n(\mathbb{C})/B$ is given by Ciocan-Fontanine and Givental-Kim. In this paper we introduce further quantizations of their presentation so that they reflect the coordinate rings of the intersections of regular nilpotent Hessenberg varieties $\mbox{Hess}(N,h)$ and $\Omega_e^\circ$ in $\mbox{GL}_n(\mathbb{C})/B$. In other words, we generalize the Peterson's statement to regular nilpotent Hessenberg varieties via the presentation given by Ciocan-Fontanine and Givental-Kim. As an application of our theorem, we show that the singular locus of the intersection of some regular nilpotent Hessenberg variety $\mbox{Hess}(N,h_m)$ and $\Omega_e^\circ$ is the intersection of certain Schubert variety and $\Omega_e^\circ$ where $h_m=(m,n,\ldots,n)$ for $1<m<n$. We also see that $\mbox{Hess}(N,h_2) \cap \Omega_e^\circ$ is related with the cyclic quotient singularity.


title: Helical dynamo growth at modest versus extreme magnetic Reynolds numbers

abstract: Understanding large-scale magnetic field growth in astrophysical objects is a persistent challenge. We tackle the long-standing question of how much helical large-scale dynamo growth occurs independent of the magnetic Reynolds number (Rm) in a closed volume. From modest-Rm numerical simulations, we identify a pre-saturation regime when the large-scale field grows independently of Rm, but to an Rm-dependent magnitude. For plausible magnetic spectra however, the analysis predicts the magnitude to be Rm-independent and substantial as Rm$\to\infty$. This gives renewed optimism for the relevance of closed dynamos and pinpoints how modest Rm and hyper-diffusive simulations can cause misapprehension of the Rm$\to\infty$ behavior.

categories: physics.plasm-ph astro-ph.GA astro-ph.HE astro-ph.SR physics.flu-dyn


title: Finite-size effects in periodic coupled cluster calculations

abstract: We provide the first rigorous study of the finite-size error in the simplest and representative coupled cluster theory, namely the coupled cluster doubles (CCD) theory, for gapped periodic systems. Assuming that the CCD equations are solved using exact Hartree-Fock orbitals and orbital energies, we prove that the convergence rate of finite-size error scales as $\mathscr{O}(N_\mathbf{k}^{-\frac13})$, where $N_{\mathbf{k}}$ is the number of discretization point in the Brillouin zone and characterizes the system size. Our analysis shows that the dominant error lies in the coupled cluster amplitude calculation, and the convergence of the finite-size error in energy calculations can be boosted to $\mathscr{O}(N_\mathbf{k}^{-1})$ with accurate amplitudes. This also provides the first proof of the scaling of the finite-size error in the third order M{\o}ller-Plesset perturbation theory (MP3) for periodic systems.

categories: math.NA cs.NA physics.chem-ph physics.comp-ph


title: Air-Ground Integrated Sensing and Communications: Opportunities and Challenges

abstract: The air-ground integrated sensing and communications (AG-ISAC) network, which consists of unmanned aerial vehicles (UAVs) and ground terrestrial networks, offers unique capabilities and demands special design techniques. In this article, we provide a review on AG-ISAC, by introducing UAVs as ``relay'' nodes for both communications and sensing to resolve the power and computation constraints on UAVs. We first introduce an AG-ISAC framework, including the system architecture and protocol. Four potential use cases are then discussed, with the analysis on the characteristics and merits of AG-ISAC networks. The research on several critical techniques for AG-ISAC is then discussed. Finally, we present our vision of the challenges and future research directions for AG-ISAC, to facilitate the advancement of the technology.


title: Molecular dynamics study of electronic temperature effects on the laser ablation of silicon

abstract: The molecular dynamics (MD) approach is an effective tool for investigating atomistic dynamical phenomena at the surface of materials under strong laser irradiation. Therefore, numerous laser ablation MD simulation studies have been conducted to date. However, in most MD studies, non-thermal and entropic effects via hot electrons on interatomic interactions that could cause significant differences in the simulation results are not considered. In this study, the MD simulation of the laser ablation of the Si surface was conducted using an interatomic potential whose parameters depended on the electronic temperature. Moreover, the results obtained with and without electronic temperature dependence were compared. The electronic temperature dependence resulted in an approximately four-times-greater compressive pressure near the surface, enhanced evaporation of atomic or smaller clusters, and slightly longer melt depth. Compared to the strong compressive pressure near the surface, the tensile pressure, which originated from the reflection of the compressive pressure wave at the surface, and ablation phenomena were less dependent on the electronic temperature.


title: Regularity of solutions to variable-exponent degenerate mixed fully nonlinear local and nonlocal equations

abstract: We consider a class of variable-exponent mixed fully nonlinear local and nonlocal degenerate elliptic equations, which degenerate along the set of critical points, $C:=\big\{x:\,Du(x)=0\big\}.$ Under general conditions, first, we establish the Lipschitz regularity of solutions using the Ishii-Lions viscosity method when the order of the fractional Laplacian, $s\in\big(\frac{1}{2},1\big).$ Due to inapplicability of comparison principle for the equations under consideration, one can not use the classical Perron's method for the existence of a solution. However, using the Lipschitz estimates established in theorem and vanishing viscosity method, we get the existence of solution. We further prove interior $C^{1,\delta}$ regularity of the viscosity solutions using an improvement of the flatness technique when $s$ is close enough to $1.$


title: Orbital Gravito-Magnetoelectric response and Orbital magnetic quadrupole moment correction

abstract: The magnetoelectric effect has been actively studied in multiferroics since the first observation in an antiferromagnetic, $\mathrm{Cr_2O_3}$. This effect appears in systems without spatial inversion symmetry and time-reversal symmetry and is sensitive to detecting magnetic quadrupole moments. It is often discussed as inducing spin magnetizations; however, the orbital magnetoelectric effect in metals has recently attracted much attention since its observation in $\mathrm{MoS_2}$ and twisted bilayer graphene. In this work, we propose the full quantum formalism for the temperature gradient induced-orbital magnetoelectric effect (orbital gravito-ME effect). The effect consists of two parts, i.e., an extrinsic part and an intrinsic part. We demonstrate that the intrinsic part needs a correction from the orbital magnetic quadrupole moment besides the usual Kubo formula to avoid an unphysical divergence at zero temperature and to satisfy the Mott relation. Furthermore, we show the classification table with the magnetic point group for the intrinsic and extrinsic effects. Finally, we analyze the intrinsic part in a $\mathcal{PT}$-symmetric model exhibiting an orbital magnetization order, i.e., a loop current order, and demonstrate the enhancement near Dirac points. We believe that these results will contribute to the detection and usage of orbital magnetic moments beyond spin moments.


title: Unsupervised Deep One-Class Classification with Adaptive Threshold based on Training Dynamics

abstract: One-class classification has been a prevailing method in building deep anomaly detection models under the assumption that a dataset consisting of normal samples is available. In practice, however, abnormal samples are often mixed in a training dataset, and they detrimentally affect the training of deep models, which limits their applicability. For robust normality learning of deep practical models, we propose an unsupervised deep one-class classification that learns normality from pseudo-labeled normal samples, i.e., outlier detection in single cluster scenarios. To this end, we propose a pseudo-labeling method by an adaptive threshold selected by ranking-based training dynamics. The experiments on 10 anomaly detection benchmarks show that our method effectively improves performance on anomaly detection by sizable margins.


title: A Polynomial Time Algorithm For 0-1 Integer Linear Programmings

abstract: A polynomial-time algorithm for 0-1 integer linear programmings has been proposed. This method continues the classic idea of solving ILP with its LP relaxation. The innovation is that every constraint in the LP is reconstructed into a strong cut. Then the solution algorithm of a 0-1 ILP is developed based on the new constraints. Algorithmic complexity analysis shows that the proposed algorithm is a polynomial-time algorithm, which means that P=NP.


title: BURT: A Chatbot for Interactive Bug Reporting

abstract: This paper introduces BURT, a web-based chatbot for interactive reporting of Android app bugs. BURT is designed to assist Android app end-users in reporting high-quality defect information using an interactive interface. BURT guides the users in reporting essential bug report elements, i.e., the observed behavior, expected behavior, and the steps to reproduce the bug. It verifies the quality of the text written by the user and provides instant feedback. In addition, BURT provides graphical suggestions that the users can choose as alternatives to textual descriptions. We empirically evaluated BURT, asking end-users to report bugs from six Android apps. The reporters found that BURT's guidance and automated suggestions and clarifications are useful and BURT is easy to use. BURT is an open-source tool, available at github.com/sea-lab-wm/burt/tree/tool-demo. A video showing the full capabilities of BURT can be found at https://youtu.be/SyfOXpHYGRo


title: Isotopic envelope identification by analysis of the spatial distribution of components in MALDI-MSI data

abstract: One of the significant steps in the process leading to the identification of proteins is mass spectrometry, which allows for obtaining information about the structure of proteins. Removing isotope peaks from the mass spectrum is vital and it is done in a process called deisotoping. There are different algorithms for deisotoping, but they have their limitations, they are dedicated to different methods of mass spectrometry. Data from experiments performed with the MALDI-ToF technique are characterized by high dimensionality. This paper presents a method for identifying isotope envelopes in MALDI-ToF molecular imaging data based on the Mamdani-Assilan fuzzy system and spatial maps of the molecular distribution of peaks included in the isotopic envelope. Several image texture measures were used to evaluate spatial molecular distribution maps. The algorithm was tested on eight datasets obtained from the MALDI-ToF experiment on samples from the National Institute of Oncology in Gliwice from patients with cancer of the head and neck region. The data were subjected to pre-processing and feature extraction. The results were collected and compared with three existing deisotoping algorithms. The analysis of the obtained results showed that the method for identifying isotopic envelopes proposed in this paper enables the detection of overlapping envelopes by using the approach oriented to study peak pairs. Moreover, the proposed algorithm enables the analysis of large data sets.


title: CEDNet: A Cascade Encoder-Decoder Network for Dense Prediction

abstract: Multi-scale features are essential for dense prediction tasks, such as object detection, instance segmentation, and semantic segmentation. The prevailing methods usually utilize a classification backbone to extract multi-scale features and then fuse these features using a lightweight module (e.g., the fusion module in FPN and BiFPN, two typical object detection methods). However, as these methods allocate most computational resources to the classification backbone, the multi-scale feature fusion in these methods is delayed, which may lead to inadequate feature fusion. While some methods perform feature fusion from early stages, they either fail to fully leverage high-level features to guide low-level feature learning or have complex structures, resulting in sub-optimal performance. We propose a streamlined cascade encoder-decoder network, dubbed CEDNet, tailored for dense \mbox{prediction} tasks. All stages in CEDNet share the same encoder-decoder structure and perform multi-scale feature fusion within the decoder. A hallmark of CEDNet is its ability to incorporate high-level features from early stages to guide low-level feature learning in subsequent stages, thereby enhancing the effectiveness of multi-scale feature fusion. We explored three well-known encoder-decoder structures: Hourglass, UNet, and FPN. When integrated into CEDNet, they performed much better than traditional methods that use a pre-designed classification backbone combined with a lightweight fusion module. Extensive experiments on object detection, instance segmentation, and semantic segmentation demonstrated the effectiveness of our method. The code is available at https://github.com/zhanggang001/CEDNet.


title: Exciton Assisted Deeply Subwavelength Nano-Photonics

abstract: The wave nature of light sets a fundamental diffraction limit that challenges confinement and control of light in nanoscale structures with dimensions significantly smaller than the wavelength. Here, we demonstrate van der Waals MoS_2 nano-photonic devices with dimensions as small as ~ \lambda/16 (~60 nm at 1000 nm excitation wavelength). This deep subwavelength light confinement is achieved by exploiting the coupling between MoS_2 excitons and photons. We validate deep subwavelength light control via far- and near-field measurements. Our near-field measurements reveal detailed imaging of excitation, evolution, and guidance of fields in MoS_2 nanodevices, whereas our far-field study examines highly confined integrated photonics. Exciton-driven nano-photonics at a fraction of a wavelength demonstrated here could dramatically reduce the size of integrated photonic devices and opto-electronic circuits with potential applications in optical information science and engineering.


title: Single Proxy Control

abstract: Negative control variables are sometimes used in non-experimental studies to detect the presence of confounding by hidden factors. A negative control outcome (NCO) is an outcome that is influenced by unobserved confounders of the exposure effects on the outcome in view, but is not causally impacted by the exposure. Tchetgen Tchetgen (2013) introduced the Control Outcome Calibration Approach (COCA) as a formal NCO counterfactual method to detect and correct for residual confounding bias. For identification, COCA treats the NCO as an error-prone proxy of the treatment-free counterfactual outcome of interest, and involves regressing the NCO on the treatment-free counterfactual, together with a rank-preserving structural model which assumes a constant individual-level causal effect. In this work, we establish nonparametric COCA identification for the average causal effect for the treated, without requiring rank-preservation, therefore accommodating unrestricted effect heterogeneity across units. This nonparametric identification result has important practical implications, as it provides single proxy confounding control, in contrast to recently proposed proximal causal inference, which relies for identification on a pair of confounding proxies. For COCA estimation we propose three separate strategies: (i) an extended propensity score approach, (ii) an outcome bridge function approach, and (iii) a doubly-robust approach. Finally, we illustrate the proposed methods in an application evaluating the causal impact of a Zika virus outbreak on birth rate in Brazil.


title: Computation Offloading for Uncertain Marine Tasks by Cooperation of UAVs and Vessels

abstract: With the continuous increment of maritime applications, the development of marine networks for data offloading becomes necessary. However, the limited maritime network resources are very difficult to satisfy real-time demands. Besides, how to effectively handle multiple compute-intensive tasks becomes another intractable issue. Hence, in this paper, we focus on the decision of maritime task offloading by the cooperation of unmanned aerial vehicles (UAVs) and vessels. Specifically, we first propose a cooperative offloading framework, including the demands from marine Internet of Things (MIoTs) devices and resource providers from UAVs and vessels. Due to the limited energy and computation ability of UAVs, it is necessary to help better apply the vessels to computation offloading. Then, we formulate the studied problem into a Markov decision process, aiming to minimize the total execution time and energy cost. Then, we leverage Lyapunov optimization to convert the long-term constraints of the total execution time and energy cost into their short-term constraints, further yielding a set of per-time-slot optimization problems. Furthermore, we propose a Q-learning based approach to solve the short-term problem efficiently. Finally, simulation results are conducted to verify the correctness and effectiveness of the proposed algorithm.


title: Signature of topological crystalline insulating behavior in new B2X2Zn (X=Ir, Rh, Co) compound from first-principles Computation

abstract: Recent attempts at topological materials have revealed a large class of materials that show gapless surface states protected by time-reversal symmetry and crystal symmetries. Among them, topological insulating states protected by crystal symmetries, rather than time-reversal symmetry are classified as topological crystalline insulators. We computationally predict the signature of new three-dimensional topological crystalline insulating compounds of space group 139(I/4mmm). After conducting a full volume optimization process by allowing to rearrange of atomic positions and lattice parameters, the first principles calculation with a generalized gradient approximation is utilized to identify multiple Dirac-type crossings around X and P symmetric points near Fermi energy. Importantly the band inversion at point P is recognized. Further, We investigate the compound for topological crystalline insulating behavior and identify metallic surface states on high-symmetry crystal surfaces with the projection to the plane (001). Additionally, we performed formation energy, elastic properties, and phonon modes calculations to verify the structural, mechanical, and dynamical stability of the compounds. Therefore, we suggest the compounds for further investigation and experimental realization.


title: TIGER: Temporal Interaction Graph Embedding with Restarts

abstract: Temporal interaction graphs (TIGs), consisting of sequences of timestamped interaction events, are prevalent in fields like e-commerce and social networks. To better learn dynamic node embeddings that vary over time, researchers have proposed a series of temporal graph neural networks for TIGs. However, due to the entangled temporal and structural dependencies, existing methods have to process the sequence of events chronologically and consecutively to ensure node representations are up-to-date. This prevents existing models from parallelization and reduces their flexibility in industrial applications. To tackle the above challenge, in this paper, we propose TIGER, a TIG embedding model that can restart at any timestamp. We introduce a restarter module that generates surrogate representations acting as the warm initialization of node representations. By restarting from multiple timestamps simultaneously, we divide the sequence into multiple chunks and naturally enable the parallelization of the model. Moreover, in contrast to previous models that utilize a single memory unit, we introduce a dual memory module to better exploit neighborhood information and alleviate the staleness problem. Extensive experiments on four public datasets and one industrial dataset are conducted, and the results verify both the effectiveness and the efficiency of our work.


title: Bi-directional Masks for Efficient N:M Sparse Training

abstract: We focus on addressing the dense backward propagation issue for training efficiency of N:M fine-grained sparsity that preserves at most N out of M consecutive weights and achieves practical speedups supported by the N:M sparse tensor core. Therefore, we present a novel method of Bi-directional Masks (Bi-Mask) with its two central innovations in: 1) Separate sparse masks in the two directions of forward and backward propagation to obtain training acceleration. It disentangles the forward and backward weight sparsity and overcomes the very dense gradient computation. 2) An efficient weight row permutation method to maintain performance. It picks up the permutation candidate with the most eligible N:M weight blocks in the backward to minimize the gradient gap between traditional uni-directional masks and our bi-directional masks. Compared with existing uni-directional scenario that applies a transposable mask and enables backward acceleration, our Bi-Mask is experimentally demonstrated to be more superior in performance. Also, our Bi-Mask performs on par with or even better than methods that fail to achieve backward acceleration. Project of this paper is available at \url{https://github.com/zyxxmu/Bi-Mask}.


title: Spatio-temporal Joint Modelling on Moderate and Extreme Air Pollution in Spain

abstract: Very unhealthy air quality is consistently connected with numerous diseases. Appropriate extreme analysis and accurate predictions are in rising demand for exploring potential linked causes and for providing suggestions for the environmental agency in public policy strategy. This paper aims to model the spatial and temporal pattern of both moderate and extremely poor PM10 concentrations (of daily mean) collected from 342 representative monitors distributed throughout mainland Spain from 2017 to 2021. We firstly propose and compare a series of Bayesian hierarchical generalized extreme models of annual maxima PM10 concentrations, including both the fixed effect of altitude, temperature, precipitation, vapour pressure and population density, as well as the spatio-temporal random effect with the Stochastic Partial Differential Equation (SPDE) approach and a lag-one dynamic auto-regressive component (AR(1)). Under WAIC, DIC and other criteria, the best model is selected with good predictive ability based on the first four-year data (2017--2020) for training and the last-year data (2021) for testing. We bring the structure of the best model to establish the joint Bayesian model of annual mean and annual maxima PM10 concentrations and provide evidence that certain predictors (precipitation, vapour pressure and population density) influence comparably while the other predictors (altitude and temperature) impact reversely in the different scaled PM10 concentrations. The findings are applied to identify the hot-spot regions with poor air quality using excursion functions specified at the grid level. It suggests that the community of Madrid and some sites in northwestern and southern Spain are likely to be exposed to severe air pollution, simultaneously exceeding the warning risk threshold.


title: Threatening Patch Attacks on Object Detection in Optical Remote Sensing Images

abstract: Advanced Patch Attacks (PAs) on object detection in natural images have pointed out the great safety vulnerability in methods based on deep neural networks. However, little attention has been paid to this topic in Optical Remote Sensing Images (O-RSIs). To this end, we focus on this research, i.e., PAs on object detection in O-RSIs, and propose a more Threatening PA without the scarification of the visual quality, dubbed TPA. Specifically, to address the problem of inconsistency between local and global landscapes in existing patch selection schemes, we propose leveraging the First-Order Difference (FOD) of the objective function before and after masking to select the sub-patches to be attacked. Further, considering the problem of gradient inundation when applying existing coordinate-based loss to PAs directly, we design an IoU-based objective function specific for PAs, dubbed Bounding box Drifting Loss (BDL), which pushes the detected bounding boxes far from the initial ones until there are no intersections between them. Finally, on two widely used benchmarks, i.e., DIOR and DOTA, comprehensive evaluations of our TPA with four typical detectors (Faster R-CNN, FCOS, RetinaNet, and YOLO-v4) witness its remarkable effectiveness. To the best of our knowledge, this is the first attempt to study the PAs on object detection in O-RSIs, and we hope this work can get our readers interested in studying this topic.


title: Collusion-proof And Sybil-proof Reward Mechanisms For Query Incentive Networks

abstract: This paper explores reward mechanisms for a query incentive network in which agents seek information from social networks. In a query tree issued by the task owner, each agent is rewarded by the owner for contributing to the solution, for instance, solving the task or inviting others to solve it. The reward mechanism determines the reward for each agent and motivates all agents to propagate and report their information truthfully. In particular, the reward cannot exceed the budget set by the task owner. However, our impossibility results demonstrate that a reward mechanism cannot simultaneously achieve Sybil-proof (agents benefit from manipulating multiple fake identities), collusion-proof (multiple agents pretend as a single agent to improve the reward), and other essential properties. In order to address these issues, we propose two novel reward mechanisms. The first mechanism achieves Sybil-proof and collusion-proof, respectively; the second mechanism sacrifices Sybil-proof to achieve the approximate versions of Sybil-proof and collusion-proof. Additionally, we show experimentally that our second reward mechanism outperforms the existing ones.


title: gpcgc: a green point cloud geometry coding method

abstract: A low-complexity point cloud compression method called the Green Point Cloud Geometry Codec (GPCGC), is proposed to encode the 3D spatial coordinates of static point clouds efficiently. GPCGC consists of two modules. In the first module, point coordinates of input point clouds are hierarchically organized into an octree structure. Points at each leaf node are projected along one of three axes to yield image maps. In the second module, the occupancy map is clustered into 9 modes while the depth map is coded by a low-complexity high-efficiency image codec, called the green image codec (GIC). GIC is a multi-resolution codec based on vector quantization (VQ). Its complexity is significantly lower than HEVC-Intra. Furthermore, the rate-distortion optimization (RDO) technique is used to select the optimal coding parameters. GPCGC is a progressive codec, and it offers a coding performance competitive with MPEG's V-PCC and G-PCC standards at significantly lower complexity.


title: Spin State Disproportionation in Insulating Ferromagnetic LaCoO3 Epitaxial Thin Films

abstract: The origin of insulating ferromagnetism in epitaxial LaCoO3 films under tensile strain remains elusive despite extensive research efforts have been devoted. Surprisingly, the spin state of its Co ions, the main parameter of its ferromagnetism, is still to be determined. Here, we have systematically investigated the spin state in epitaxial LaCoO3 thin films to clarify the mechanism of strain induced ferromagnetism using element-specific x-ray absorption spectroscopy and dichroism. Combining with the configuration interaction cluster calculations, we unambiguously demonstrate that Co3+ in LaCoO3 films under compressive strain (on LaAlO3 substrate) are practically a low spin state, whereas Co3+ in LaCoO3 films under tensile strain (on SrTiO3 substrate) have mixed high spin and low spin states with a ratio close to 1:3. From the identification of this spin state ratio, we infer that the dark strips observed by high-resolution scanning transmission electron microscopy indicate the position of Co3+ high spin state, i.e., an observation of a spin state disproportionation in tensile-strained LaCoO3 films. This consequently explains the nature of ferromagnetism in LaCoO3 films.


title: Provably Safe Reinforcement Learning with Step-wise Violation Constraints

abstract: In this paper, we investigate a novel safe reinforcement learning problem with step-wise violation constraints. Our problem differs from existing works in that we consider stricter step-wise violation constraints and do not assume the existence of safe actions, making our formulation more suitable for safety-critical applications which need to ensure safety in all decision steps and may not always possess safe actions, e.g., robot control and autonomous driving. We propose a novel algorithm SUCBVI, which guarantees $\widetilde{O}(\sqrt{ST})$ step-wise violation and $\widetilde{O}(\sqrt{H^3SAT})$ regret. Lower bounds are provided to validate the optimality in both violation and regret performance with respect to $S$ and $T$. Moreover, we further study a novel safe reward-free exploration problem with step-wise violation constraints. For this problem, we design an $(\varepsilon,\delta)$-PAC algorithm SRF-UCRL, which achieves nearly state-of-the-art sample complexity $\widetilde{O}((\frac{S^2AH^2}{\varepsilon}+\frac{H^4SA}{\varepsilon^2})(\log(\frac{1}{\delta})+S))$, and guarantees $\widetilde{O}(\sqrt{ST})$ violation during the exploration. The experimental results demonstrate the superiority of our algorithms in safety performance, and corroborate our theoretical results.


title: A Systematic Literature Review of Explainable AI for Software Engineering

abstract: Context: In recent years, leveraging machine learning (ML) techniques has become one of the main solutions to tackle many software engineering (SE) tasks, in research studies (ML4SE). This has been achieved by utilizing state-of-the-art models that tend to be more complex and black-box, which is led to less explainable solutions that reduce trust and uptake of ML4SE solutions by professionals in the industry. Objective: One potential remedy is to offer explainable AI (XAI) methods to provide the missing explainability. In this paper, we aim to explore to what extent XAI has been studied in the SE community (XAI4SE) and provide a comprehensive view of the current state-of-the-art as well as challenge and roadmap for future work. Method: We conduct a systematic literature review on 24 (out of 869 primary studies that were selected by keyword search) most relevant published studies in XAI4SE. We have three research questions that were answered by meta-analysis of the collected data per paper. Results: Our study reveals that among the identified studies, software maintenance (\%68) and particularly defect prediction has the highest share on the SE stages and tasks being studied. Additionally, we found that XAI methods were mainly applied to classic ML models rather than more complex models. We also noticed a clear lack of standard evaluation metrics for XAI methods in the literature which has caused confusion among researchers and a lack of benchmarks for comparisons. Conclusions: XAI has been identified as a helpful tool by most studies, which we cover in the systematic review. However, XAI4SE is a relatively new domain with a lot of untouched potentials, including the SE tasks to help with, the ML4SE methods to explain, and the types of explanations to offer. This study encourages the researchers to work on the identified challenges and roadmap reported in the paper.


title: Universal Online Optimization in Dynamic Environments via Uniclass Prediction

abstract: Recently, several universal methods have been proposed for online convex optimization which can handle convex, strongly convex and exponentially concave cost functions simultaneously. However, most of these algorithms have been designed with static regret minimization in mind, but this notion of regret may not be suitable for changing environments. To address this shortcoming, we propose a novel and intuitive framework for universal online optimization in dynamic environments. Unlike existing universal algorithms, our strategy does not rely on the construction of a set of experts and an accompanying meta-algorithm. Instead, we show that the problem of dynamic online optimization can be reduced to a uniclass prediction problem. By leaving the choice of uniclass loss function in the user's hands, they are able to control and optimize dynamic regret bounds, which in turn carry over into the original problem. To the best of our knowledge, this is the first paper proposing a universal approach with state-of-the-art dynamic regret guarantees even for general convex cost functions.


title: Superconducting state generated dynamically from distant pair source and drain

abstract: It has been well established that the origin of p-wave superconductivity is the balance between pair creation and annihilation, described by the spin-less fermionic Kitaev model. In this work, we study the dynamics of a composite system where the pair source and drain are spatially separated by a long distance. We show that this non-Hermitian system possesses a high-order exceptional point (EP) when only a source or drain is considered. The EP dynamics provide a clear picture: A pair source can fully fill the system with pairs, while a drain can completely empty the system. When the two coexist simultaneously, the dynamics depend on the distance and the relative phase between the pair creation and annihilation terms. Analytical analysis and numerical simulation results show that the superconducting state can be dynamically established at the resonant pair source and drain: from an initial empty state to a stationary state with the maximal pair order parameter. It provides an alternative way of understanding the mechanism of the nonequilibrium superconducting state.


title: OJ~287: a new BH mass estimate of the secondary

abstract: We presented a study of outburst activity in the BL Lacertae source OJ~287, observed extensively with the X-ray telescope (XRT) onboard Neil Gehrels Swift Observatory. We demonstrated that the results of our analysis of X-ray flaring activity using the Swift/XRT data allow to refine the key characteristics of the OJ~287 secondary (its nature and mass). We discovered that the energy spectra in all spectral states can be fitted using the XSPEC Bulk Motion Comptonization (BMC) model. As a result we found that the X-ray photon index of the BMC model, Gamma correlates with the mass accretion rate, dot. We established that Gamma increases monotonically with dot from the low-hard state, Gamma~ 1.5 to the high-soft state, Gamma~2.8 and finally saturates. The index behavior was similar to that in a number of black hole (BH) candidates in which we showed that its saturation was an observational evidence of the presence of a BH. Based on this correlation, we applied a scaling method and determined that a secondary BH mass in OJ~287 is about ~1.25x10^8 solar masses, using the well-studied X-ray BH binaries XTE~1550--564, H~1743--322, 4U~1630--47, GRS~1915+105 as well as extragalactic BHs ESO~243--49 and M101~ULX--1, as reference sources. Also using the power spectrum analysis we inferred the size of the Compton cloud L_{CC}~ 10^{13} cm where X-ray spectra were formed. Using this value of L_{CC} we confirmed that a BH mass of the secondary in OJ~287 was of order of 10^8 solar masses as we derived using the index, Gamma-correlation (the scaling method) with respect of the mass accretion rate.


title: Duality for cohomology of split tori on curves over local fields

abstract: We prove duality theorems for the {\'e}tale cohomology of logarithmic Hodge-Witt sheaves and split tori on smooth curves over a local field of positive characteristic. As an application, we obtain a description of the Brauer group of the function fields of curves over local fields in terms of the characters of the idele groups. We also show that the classical Brauer-Manin pairing between the Brauer and Picard groups of smooth projective curves over local fields has analogues for arbitrary smooth curves, smooth projective curves with modulus and singular projective curves over such fields.


title: Time-attenuating Twin Delayed DDPG Reinforcement Learning for Trajectory Tracking Control of Quadrotors

abstract: Continuous trajectory tracking control of quadrotors is complicated when considering noise from the environment. Due to the difficulty in modeling the environmental dynamics, tracking methodologies based on conventional control theory, such as model predictive control, have limitations on tracking accuracy and response time. We propose a Time-attenuating Twin Delayed DDPG, a model-free algorithm that is robust to noise, to better handle the trajectory tracking task. A deep reinforcement learning framework is constructed, where a time decay strategy is designed to avoid trapping into local optima. The experimental results show that the tracking error is significantly small, and the operation time is one-tenth of that of a traditional algorithm. The OpenAI Mujoco tool is used to verify the proposed algorithm, and the simulation results show that, the proposed method can significantly improve the training efficiency and effectively improve the accuracy and convergence stability.


title: Study of structural parameters and systemic proper motion of Sextans dwarf spheroidal galaxy with Subaru Hyper Suprime-Cam data

abstract: We use the Subaru Hyper Suprime-Cam (HSC) data to study structural parameters and systemic proper motion of the Sextans dwarf spheroidal galaxy at the heliocentric distance of 86 kpc, which is one of the most important targets for studies of dark matter nature and galaxy formation physics. Thanks to the superb image quality and wide area coverage of the Sextans field, the HSC data enables a secure selection of member star candidates based on the colour-magnitude cut, yielding about 10,000 member candidates at magnitudes down to $i\sim 24$. We use a likelihood analysis of the two-dimensional distribution of stars to estimate the structural parameters of Sextans taking into account the contamination of foreground halo stars in the Milky Way, and find that the member star distribution is well-fitted by an elliptical King profile with ellipticity $\epsilon \simeq 0.25$ and the core and tidal radii of $R_c=(368.4\pm 8.5)$ pc and $R_t=(2.54\pm 0.046)$ kpc, respectively. Then using the two HSC datasets of 2.66 years time baseline on average, we find the systemic proper motions of Sextans to be $(\mu_\alpha, \mu_\delta)=(-0.448\pm{0.075},0.083\pm{0.078})$ $\mathrm{mas}\ \mathrm{yr}^{-1}$, which is consistent with some of the previous works using the $Gaia$ data of relatively bright member stars in Sextans. Thus, our results give a demonstration that a ground-based, large-aperture telescope data which covers a wide solid angle of the sky and has a long time baseline, such as the upcoming LSST data, can be used to study systemic proper motions of dwarf galaxies.


title: Actional Atomic-Concept Learning for Demystifying Vision-Language Navigation

abstract: Vision-Language Navigation (VLN) is a challenging task which requires an agent to align complex visual observations to language instructions to reach the goal position. Most existing VLN agents directly learn to align the raw directional features and visual features trained using one-hot labels to linguistic instruction features. However, the big semantic gap among these multi-modal inputs makes the alignment difficult and therefore limits the navigation performance. In this paper, we propose Actional Atomic-Concept Learning (AACL), which maps visual observations to actional atomic concepts for facilitating the alignment. Specifically, an actional atomic concept is a natural language phrase containing an atomic action and an object, e.g., ``go up stairs''. These actional atomic concepts, which serve as the bridge between observations and instructions, can effectively mitigate the semantic gap and simplify the alignment. AACL contains three core components: 1) a concept mapping module to map the observations to the actional atomic concept representations through the VLN environment and the recently proposed Contrastive Language-Image Pretraining (CLIP) model, 2) a concept refining adapter to encourage more instruction-oriented object concept extraction by re-ranking the predicted object concepts by CLIP, and 3) an observation co-embedding module which utilizes concept representations to regularize the observation representations. Our AACL establishes new state-of-the-art results on both fine-grained (R2R) and high-level (REVERIE and R2R-Last) VLN benchmarks. Moreover, the visualization shows that AACL significantly improves the interpretability in action decision.


title: Symmetries of meson correlators in high temperature QCD with physical $(u/d, s, c)$ domain-wall quarks

abstract: The correlation function of meson interpolators in $N_f=2+1+1$ lattice QCD with optimal domain-wall quarks at the physical point are studied for six temperatures in the range $ T \sim$ 190-770 MeV. The meson interpolators include a complete set of Dirac bilinears, and each for six combinations of quark flavors. In this paper, we focus on the meson correlators of $u$ and $d$ quarks, and discuss their implications for the effective restoration of $U(1)_A$ and $SU(2)_L \times SU(2)_R$ chiral symmetries, as well as the emergence of the approximate $SU(2)_{CS}$ chiral spin symmetry.


title: Asymptotically optimal synthesis of reversible circuits

abstract: Reversible circuits have been studied extensively and intensively, and have plenty of applications in various areas, such as digital signal processing, cryptography, and especially quantum computing. In 2003, the lower bound $\Omega(2^n n/\log n)$ for the synthesis of $n$-wire reversible circuits was proved. Whether this lower bound has a matching upper bound was listed as one of the future challenging open problems in the survey (M. Saeedi and I. L Markov, ACM Computing Surveys, 45(2):1-34, 2013). In this paper we propose an algorithm to implement an arbitrary $n$-wire reversible circuit with no more than $O(2^n n/\log n)$ elementary gates, and thus close the open problem.