title: Size-effects of metamaterial beams subjected to pure bending: on boundary conditions and parameter identification in the relaxed micromorphic model

abstract: In this paper we model the size-effects of metamaterial beams under bending with the aid of the relaxed micromorphic continuum. We analyze first the size-dependent bending stiffness of heterogeneous fully discretized metamaterial beams subjected to pure bending loads. Two equivalent loading schemes are introduced which lead to a constant moment along the beam length with no shear force. The relaxed micromorphic model is employed then to retrieve the size-effects. We present a procedure for the determination of the material parameters of the relaxed micromorphic model based on the fact that the model operates between two well-defined scales. These scales are given by linear elasticity with micro and macro elasticity tensors which bound the relaxed micromorphic continuum from above and below, respectively. The micro elasticity tensor is specified as the maximum possible stiffness that is exhibited by the assumed metamaterial while the macro elasticity tensor is given by standard periodic first-order homogenization. For the identification of the micro elasticity tensor, two different approaches are shown which rely on affine and non-affine Dirichlet boundary conditions of candidate unit cell variants with the possible stiffest response. The consistent coupling condition is shown to allow the model to act on the whole intended range between macro and micro elasticity tensors for both loading cases. We fit the relaxed micromorphic model against the fully resolved metamaterial solution by controlling the curvature magnitude after linking it with the specimen's size. The obtained parameters of the relaxed micromorphic model are tested for two additional loading scenarios.


title: Symmetric Covers and Pseudocovers of Complete Graphs

abstract: We first characterize all faithful arc-transitive covers of complete graphs and we give a general construction of such covers. For a counterpart of cover, we say a graph $\Gamma$ is a pseudocover of its quotient $\Sigma$ if they have the same valency and $\Gamma$ is not a cover of $\Sigma$.As the second result of this paper, we prove that the complete graph $\K_n$ has a connected arc-transitive pseudocover if and only if $n-1$ is not a prime.


title: VocabulARy replicated: comparing teenagers to young adults

abstract: A critical component of user studies is gaining access to a representative sample of the population researches intend to investigate. Nevertheless, the vast majority of human-computer interaction (HCI)studies, including augmented reality (AR) studies, rely on convenience sampling. The outcomes of these studies are often based on results obtained from university students aged between 19 and 26 years. In order to investigate how the results from one of our studies are affected by convenience sampling, we replicated the AR-supported language learning study called VocabulARy with 24 teenagers, aged between 14 and 19 years. The results verified most of the outcomes from the original study. In addition, it also revealed that teenagers found learning significantly less mentally demanding compared to young adults, and completed the study in a significantly shorter time. All this at no cost to learning outcomes.


title: Nonlinear feedforward enabling quantum computation

abstract: Measurement-based quantum computation with optical time-domain multiplexing is a promising method to realize a quantum computer from the viewpoint of scalability. Fault tolerance and universality are also realizable by preparing appropriate resource quantum states and electro-optical feedforward that is altered based on measurement results. While a linear feedforward has been realized and become a common experimental technique, nonlinear feedforward was unrealized until now. In this paper, we demonstrate that a fast and flexible nonlinear feedforward realizes the essential measurement required for fault-tolerant and universal quantum computation. Using non-Gaussian ancillary states we observed 10$\%$ reduction of the measurement excess noise relative to classical vacuum ancilla.


title: Powerful Spatial Multiple Testing via Borrowing Neighboring Information

abstract: Clustered effects are often encountered in multiple hypothesis testing of spatial signals. In this paper, we propose a new method, termed two-dimensional spatial multiple testing (2d-SMT) procedure, to control the false discovery rate (FDR) and improve the detection power by exploiting the spatial information encoded in neighboring observations. The proposed method provides a novel perspective of utilizing spatial information by gathering signal patterns and spatial dependence into an auxiliary statistic. 2d-SMT rejects the null when a primary statistic at the location of interest and the auxiliary statistic constructed based on nearby observations are greater than their corresponding thresholds. 2d-SMT can also be combined with different variants of the weighted BH procedures to improve the detection power further. A fast step-down algorithm is developed to accelerate the search for optimal thresholds in 2d-SMT. In theory, we establish the asymptotical FDR control of 2d-SMT under weak spatial dependence. Extensive numerical experiments demonstrate that the 2d-SMT method combined with various weighted BH procedures achieves the most competitive performance in FDR and power trade-off.


title: Mining Word Boundaries in Speech as Naturally Annotated Word Segmentation Data

abstract: Inspired by early research on exploring naturally annotated data for Chinese word segmentation (CWS), and also by recent research on integration of speech and text processing, this work for the first time proposes to mine word boundaries from parallel speech/text data. First we collect parallel speech/text data from two Internet sources that are related with CWS data used in our experiments. Then, we obtain character-level alignments and design simple heuristic rules for determining word boundaries according to pause duration between adjacent characters. Finally, we present an effective complete-then-train strategy that can better utilize extra naturally annotated data for model training. Experiments demonstrate our approach can significantly boost CWS performance in both cross-domain and low-resource scenarios.


title: Absence of excited eigenvalues for Fr\"ohlich type polaron models at weak coupling

abstract: We consider a class of polaron models, including the Fr\"ohlich model, at zero total momentum, and show that at sufficiently weak coupling there are no excited eigenvalues below the essential spectrum.

categories: math-ph cond-mat.mtrl-sci math.MP math.SP


title: Time-domain measurement of ultra-fast intensity difference squeezed pulse pairs generated in fiber

abstract: Pulsed pumped four-wave mixing process via $\chi^{(3)}$ non-linearity in optical fiber can generate optical pulses with continuous variable quantum correlation. However, pair-wise correlation of the generated pulses in this system has not been studied. Here we report a time-domain measurement of an intensity difference squeezed state generated in fiber. With a fast response differential detection system, we show the generated twin-beam pulses are pair-wisely correlated, and -3.8 dB (-8.1 dB after detection losses correction) intensity difference squeezing degree is measured in time-domain. Our result is benefit for generating multi-mode entangled state by time-division multiplexing in fiber system.


title: Probing fluctuations and correlations of strangeness by net-kaon cumulants in Au+Au collisions at $\sqrt{s_{NN}} = 7.7$ GeV

abstract: We calculate the cumulants and correlation functions of net-kaon multiplicity distributions in Au+Au collisions at $\sqrt{s_{NN}} = 7.7$ GeV using a multiphase transport model (AMPT) with both a new coalescence mechanism and all charge conservation laws. The AMPT model can qualitatively describe the centrality dependences of the net-kaon cumulants and cumulant ratios measured by the STAR experiment. By focusing on the stage evolution of the cumulants, cumulant ratios, and correlation functions, we reveal several key effects on the fluctuations and correlations of strangeness during the dynamical evolution of relativistic heavy-ion collisions, including strangeness production and diffusion, hadronization, hadronic rescatterings, and weak decays. Without considering the quantum chromodynamics critical fluctuations in the dynamic model, we demonstrate that the net-kaon fluctuations can largely represent the net-strangeness fluctuations. Our results provide a baseline for understanding the net-kaon and net-strangeness fluctuations, which help to search for the possible critical behaviors at the critical end point in relativistic heavy-ion collisions.


title: Heavily doped zinc oxide with plasma frequencies in the telecommunication wavelength range

abstract: We demonstrate heavy and hyper doping of ZnO by a combination of gallium (Ga) ion implantation using a focused ion beam (FIB) system and post-implantation laser annealing. Ion implantation allows for the incorporation of impurities with nearly arbitrary concentrations, and the laser-annealing process enables dopant activation close to or beyond the solid-solubility limit of Ga in ZnO. We achieved heavily doped ZnO:Ga with free-carrier concentrations of ~10^21 cm^(-3), resulting in a plasma wavelength of 1.02 um, which is substantially shorter than the telecommunication wavelength of 1.55 um. Thus, our approach enables the control of the plasma frequency of ZnO from the far infrared down to 1.02 um, providing a promising plasmonic material for applications in this regime.


title: Improving Temporal Generalization of Pre-trained Language Models with Lexical Semantic Change

abstract: Recent research has revealed that neural language models at scale suffer from poor temporal generalization capability, i.e., the language model pre-trained on static data from past years performs worse over time on emerging data. Existing methods mainly perform continual training to mitigate such a misalignment. While effective to some extent but is far from being addressed on both the language modeling and downstream tasks. In this paper, we empirically observe that temporal generalization is closely affiliated with lexical semantic change, which is one of the essential phenomena of natural languages. Based on this observation, we propose a simple yet effective lexical-level masking strategy to post-train a converged language model. Experiments on two pre-trained language models, two different classification tasks, and four benchmark datasets demonstrate the effectiveness of our proposed method over existing temporal adaptation methods, i.e., continual training with new data. Our code is available at \url{https://github.com/zhaochen0110/LMLM}.


title: Diffusion models for missing value imputation in tabular data

abstract: Missing value imputation in machine learning is the task of estimating the missing values in the dataset accurately using available information. In this task, several deep generative modeling methods have been proposed and demonstrated their usefulness, e.g., generative adversarial imputation networks. Recently, diffusion models have gained popularity because of their effectiveness in the generative modeling task in images, texts, audio, etc. To our knowledge, less attention has been paid to the investigation of the effectiveness of diffusion models for missing value imputation in tabular data. Based on recent development of diffusion models for time-series data imputation, we propose a diffusion model approach called "Conditional Score-based Diffusion Models for Tabular data" (TabCSDI). To effectively handle categorical variables and numerical variables simultaneously, we investigate three techniques: one-hot encoding, analog bits encoding, and feature tokenization. Experimental results on benchmark datasets demonstrated the effectiveness of TabCSDI compared with well-known existing methods, and also emphasized the importance of the categorical embedding techniques.


title: Observation of tungsten impurity suppression with ECRH by an X-ray Crystal Spectrometer on EAST

abstract: Impurity degrades tokamak plasmas confinement by causing energy loss, diluting the fuel concentration, even terminating the discharges in some extreme cases. Previously, the suppression effects of on-axis Electron Cyclotron Resonance Heating (ECRH) on the impurity accumulation have been investigated on EAST by the extreme ultraviolet (EUV) spectroscopy. However, it is difficult to quantify the changes in impurity tungsten (W) profile since the W line emissions in the EUV range could not be easily resolved. The X-ray Crystal Spectroscopy (XCS), that used to provide the ion temperature and the rotation velocity by measuring lines emissions in the soft X-ray range, also can be used to study the behavior of impurity W emissions. To begin with, in-situ absolute intensity calibration for Tangential XCS (TXCS) is conducted by analyzing the measurements of the bremsstrahlung radiation intensity. After obtaining the calibration coefficient, W44+ ion density profiles are evaluated by Abel inversion using the spectral line of W XLV (3.9095 {\AA}). Thus, a direct observation of W44+ impurity concentration suppressed by ECRH is accomplished. The obtained W density profiles can be used to analyze the W transport by combining with the impurity transport codes in the future.


title: BOREx: Bayesian-Optimization--Based Refinement of Saliency Map for Image- and Video-Classification Models

abstract: Explaining a classification result produced by an image- and video-classification model is one of the important but challenging issues in computer vision. Many methods have been proposed for producing heat-map--based explanations for this purpose, including ones based on the white-box approach that uses the internal information of a model (e.g., LRP, Grad-CAM, and Grad-CAM++) and ones based on the black-box approach that does not use any internal information (e.g., LIME, SHAP, and RISE). We propose a new black-box method BOREx (Bayesian Optimization for Refinement of visual model Explanation) to refine a heat map produced by any method. Our observation is that a heat-map--based explanation can be seen as a prior for an explanation method based on Bayesian optimization. Based on this observation, BOREx conducts Gaussian process regression (GPR) to estimate the saliency of each pixel in a given image starting from the one produced by another explanation method. Our experiments statistically demonstrate that the refinement by BOREx improves low-quality heat maps for image- and video-classification results.


title: Tingley's problem for complex Banach spaces which do not satisfy the Hausdorff distance condition

abstract: In 2022, Hatori gave a sufficient condition for complex Banach spaces to have the complex Mazur--Ulam property. In this paper, we introduce a class of complex Banach spaces $B$ that do not satisfy the condition but enjoy the property that every surjective isometry on the unit sphere of such $B$ admits an extension to a surjective real linear isometry on the whole space $B$. Typical examples of Banach spaces studied in this note are the spaces ${\rm Lip}([0,1])$ of all Lipschitz complex-valued functions on $[0,1]$ and $C^1([0,1])$ of all continuously differentiable complex-valued functions on $[0,1]$ equipped with the norm $|f(0)|+\|f'\|_\infty$.


title: A mechanism of bar formation in disk galaxies: synchronization of apsidal precession

abstract: We discuss the mechanism(s) of bar formation in isolated and tidally interacting disk galaxies using the results of idealized collisionless Nbody simulations of the galaxies. In order to better understand the mechanism, we investigate orbital eccentricities (e), epochs of apocenter passages (t_a), azimuthal angles at t_a (varphi_a), precession rates (Omega_pre), for individual stars, as well as bar strengths represented by relative m=2 Fourier amplitude (A_2) and bar pattern speeds (Omega_bar). The main results are as follows. A significant fraction of stars with initially different varphi_a and Omega_pre in an isolated disk galaxy can have similar values within several dynamical timescales. This synchronization of varphi_a and Omega_pre, which is referred to as apsidal precession synchronization (``APS'') in the present study, is caused by the enhanced strength of the tangential component of gravitational force. A weak seed bar (A_2<0.1) is first formed through APS in local regions of a disk, then the bar grows due to APS. In the bar growth phase (0.1<A_2<0.4), APS can proceed more efficiently due to stronger tangential force from the bar so that it can enhance the bar strength further. This positive feedback loop in APS is the key physical mechanism of bar growth in isolated stellar disks. Bar formation can be severely suppressed in disks with lower disk mass fractions and/or higher $Q$ parameters due to much less efficient APS. APS proceeds more rapidly and more efficiently due to strong tidal perturbation in the formation of tidal bars compared to spontaneous bar formation.


title: The miniJPAS survey: stellar atmospheric parameters from 56 optical filters

abstract: With a unique set of 54 overlapping narrow-band and two broader filters covering the entire optical range, the incoming Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) will provide a great opportunity for stellar physics and near-field cosmology. In this work, we use the miniJPAS data in 56 J-PAS filters and 4 complementary SDSS-like filters to explore and prove the potential of the J-PAS filter system in characterizing stars and deriving their atmospheric parameters. We obtain estimates for the effective temperature with a good precision (<150 K) from spectral energy distribution fitting. We have constructed the metallicity-dependent stellar loci in 59 colours for the miniJPAS FGK dwarf stars, after correcting certain systematic errors in flat-fielding. The very blue colours, including uJAVA-r, J0378-r, J0390-r, uJPAS-r, show the strongest metallicity dependence, around 0.25 mag/dex. The sensitivities decrease to about 0.1 mag/dex for the J0400-r, J0410-r, and J0420-r colours. The locus fitting residuals show peaks at the J0390, J0430, J0510, and J0520 filters, suggesting that individual elemental abundances such as [Ca/Fe], [C/Fe], and [Mg/Fe] can also be determined from the J-PAS photometry. Via stellar loci, we have achieved a typical metallicity precision of 0.1 dex. The miniJPAS filters also demonstrate strong potential in discriminating dwarfs and giants, particularly the J0520 and J0510 filters. Our results demonstrate the power of the J-PAS filter system in stellar parameter determinations and the huge potential of the coming J-PAS survey in stellar and Galactic studies.


title: On the triple junction problem on the plane without symmetry hypotheses

abstract: We investigate the Allen-Cahn system \begin{equation*} \Delta u-W_u(u)=0,\quad u:\mathbb{R}^2\rightarrow\mathbb{R}^2, \end{equation*} where $W\in C^2(\mathbb{R}^2,[0,+\infty))$ is a potential with three global minima. We establish the existence of an entire solution $u$ which possesses a triple junction structure. The main strategy is to study the global minimizer $u_\varepsilon$ of the variational problem \begin{equation*} \min\int_{B_1} \left( \frac{\varepsilon}{2}|\nabla u|^2+\frac{1}{\varepsilon}W(u) \right)\,dz,\ \ u=g_\varepsilon \text{ on }\partial B_1. \end{equation*} The point of departure is an energy lower bound that plays a crucial role in estimating the location and size of the diffuse interface. We do not impose any symmetry hypothesis on the solution.


title: Arm locking in conjunction with time-delay interferometry

abstract: A crucial challenge to the ongoing endeavor of spaceborne gravitational wave (GW) detection resides in the laser phase noise, typically 7 to 8 orders of magnitude above the inevitable noise. The arm locking technique was proposed to suppress the noise in pre-stabilized laser beams. Based on the feedback control theory, it is implemented by appropriate design of the signal routing architecture, particularly the controllers' transfer functions. Theoretically and experimentally, the technique has been demonstrated to be capable of suppressing the laser phase noise by approximately 2-4 orders of magnitude while taking into account various aspects such as the gain and distribution of nulls in the Bode plot and the laser frequency pulling associated with the Doppler frequency subtraction. Consequently, the resultant noise floor is composed of the sources attributed to the clock jitter, optical bench motion, test mass fluctuations, shot-noise phase fluctuations at the photodetectors, whereas the magnitudes of these noises largely remain unchanged during the process. Besides, the original GW signals are deformed through the arm-locking control loop and therefore bear specific features governed by the associated arm-locking scheme. Nonetheless, the remaining laser phase noise from the arm-locking feedback routing settles within the capability threshold of the time-delay interferometry (TDI). In this regard, it is generally understood that the output of arm locking furnishes the input of TDI, through which the residual noise is further reduced to the desired level at a post-processing stage. In this work, we investigate the specific schemes regarding how the arm locking output is processed further by the TDI algorithm. Specific forms of the TDI combinations are derived in accordance with suppressed laser phase noise and deformed signals of GW.


title: Optimized numerical solutions of SIRDVW multiage model controlling SARS-CoV-2 vaccine roll out: an application to the Italian scenario

abstract: In the context of SARS-CoV-2 pandemic, mathematical modelling has played a fundamental role for making forecasts, simulating scenarios and evaluating the impact of preventive political, social and pharmaceutical measures. Optimal control theory can be a useful tool based on solid mathematical bases to plan the vaccination campaign in the direction of eradicating the pandemic as fast as possible. The aim of this work is to explore the optimal prioritisation order for planning vaccination campaigns able to achieve specific goals, as the reduction of the amount of infected, deceased and hospitalized in a fixed time frame, among age classes. For this purpose, we introduce an age stratified SIR-like epidemic compartmental model settled in an abstract framework for modelling two-doses vaccination campaigns and conceived with the description of COVID19 disease. Overall, we formalize an optimal control framework adopting the model as state problem by acting on the administrations of vaccine-doses. An extensive campaign of numerical tests, featured in the Italian scenario and calibrated on available data from Dipartimento di Protezione Civile Italiana, shows that the presented framework can be a valuable tool to support the planning of vaccination campaigns minimizing specific goals.


title: Split-harmonic maps and the interpolation problem for timelike minimal surfaces

abstract: The singular Bj\" orling problem and its solution for timelike minimal surfaces is a well-known result in minimal surface theory. In this article, we give a different proof of this theorem using split-harmonic maps. This is motivated by a similar solution of the singular Bj\"orling problem for maximal surfaces using harmonic maps. As an application, we study the problem of interpolating a given split-Fourier curve to a point by a timelike minimal surface. This is inspired by an analogous result for maximal surfaces. We also solve the problem of interpolating a given split-Fourier curve to another specified split-Fourier curve by a timelike minimal surface.


title: Reinforcement Learning for Solving Robotic Reaching Tasks in the Neurorobotics Platform

abstract: In recent years, reinforcement learning (RL) has shown great potential for solving tasks in well-defined environments like games or robotics. This paper aims to solve the robotic reaching task in a simulation run on the Neurorobotics Platform (NRP). The target position is initialized randomly and the robot has 6 degrees of freedom. We compare the performance of various state-of-the-art model-free algorithms. At first, the agent is trained on ground truth data from the simulation to reach the target position in only one continuous movement. Later the complexity of the task is increased by using image data as input from the simulation environment. Experimental results show that training efficiency and results can be improved with appropriate dynamic training schedule function for curriculum learning.


title: Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement

abstract: Intuitionistic grammar logics fuse constructive and multi-modal reasoning while permitting the use of converse modalities, serving as a generalization of standard intuitionistic modal logics. In this paper, we provide definitions of these logics as well as establish a suitable proof theory thereof. In particular, we show how to apply the structural refinement methodology to extract cut-free nested sequent calculi for intuitionistic grammar logics from their semantics. This method proceeds by first transforming the semantics of these logics into sound and complete labeled sequent systems, which we prove have favorable proof-theoretic properties such as syntactic cut-elimination. We then transform these labeled systems into nested sequent systems via the introduction of propagation rules and the elimination of structural rules. Our derived proof systems are then put to use, whereby we prove the conservativity of intuitionistic grammar logics over their modal counterparts, establish the general undecidability of these logics, and recognize a decidable subclass, referred to as "simple" intuitionistic grammar logics.


title: Scoring Black-Box Models for Adversarial Robustness

abstract: Deep neural networks are susceptible to adversarial inputs and various methods have been proposed to defend these models against adversarial attacks under different perturbation models. The robustness of models to adversarial attacks has been analyzed by first constructing adversarial inputs for the model, and then testing the model performance on the constructed adversarial inputs. Most of these attacks require the model to be white-box, need access to data labels, and finding adversarial inputs can be computationally expensive. We propose a simple scoring method for black-box models which indicates their robustness to adversarial input. We show that adversarially more robust models have a smaller $l_1$-norm of LIME weights and sharper explanations.


title: Studying inductive biases in image classification task

abstract: Recently, self-attention (SA) structures became popular in computer vision fields. They have locally independent filters and can use large kernels, which contradicts the previously popular convolutional neural networks (CNNs). CNNs success was attributed to the hard-coded inductive biases of locality and spatial invariance. However, recent studies have shown that inductive biases in CNNs are too restrictive. On the other hand, the relative position encodings, similar to depthwise (DW) convolution, are necessary for the local SA networks, which indicates that the SA structures are not entirely spatially variant. Hence, we would like to determine which part of inductive biases contributes to the success of the local SA structures. To do so, we introduced context-aware decomposed attention (CADA), which decomposes attention maps into multiple trainable base kernels and accumulates them using context-aware (CA) parameters. This way, we could identify the link between the CNNs and SA networks. We conducted ablation studies using the ResNet50 applied to the ImageNet classification task. DW convolution could have a large locality without increasing computational costs compared to CNNs, but the accuracy saturates with larger kernels. CADA follows this characteristic of locality. We showed that context awareness was the crucial property; however, large local information was not necessary to construct CA parameters. Even though no spatial invariance makes training difficult, more relaxed spatial invariance gave better accuracy than strict spatial invariance. Also, additional strong spatial invariance through relative position encoding was preferable. We extended these experiments to filters for downsampling and showed that locality bias is more critical for downsampling but can remove the strong locality bias using relaxed spatial invariance.


title: Towards Relation-centered Pooling and Convolution for Heterogeneous Graph Learning Networks

abstract: Heterogeneous graph neural network has unleashed great potential on graph representation learning and shown superior performance on downstream tasks such as node classification and clustering. Existing heterogeneous graph learning networks are primarily designed to either rely on pre-defined meta-paths or use attention mechanisms for type-specific attentive message propagation on different nodes/edges, incurring many customization efforts and computational costs. To this end, we design a relation-centered Pooling and Convolution for Heterogeneous Graph learning Network, namely PC-HGN, to enable relation-specific sampling and cross-relation convolutions, from which the structural heterogeneity of the graph can be better encoded into the embedding space through the adaptive training process. We evaluate the performance of the proposed model by comparing with state-of-the-art graph learning models on three different real-world datasets, and the results show that PC-HGN consistently outperforms all the baseline and improves the performance maximumly up by 17.8%.


title: Exploring Train and Test-Time Augmentations for Audio-Language Learning

abstract: In this paper, we aim to unveil the impact of data augmentation in audio-language multi-modal learning, which has not been explored despite its importance. We explore various augmentation methods at not only train-time but also test-time and find out that proper data augmentation can lead to substantial improvements. Specifically, applying our proposed audio-language paired augmentation PairMix, which is the first multi-modal audio-language augmentation method, outperforms the baselines for both automated audio captioning and audio-text retrieval tasks. To fully take advantage of data augmentation, we also present multi-level test-time augmentation (Multi-TTA) for the test-time. We successfully incorporate the two proposed methods and uni-modal augmentations and achieve 47.5 SPIDEr on audio captioning, which is an 18.2% relative increase over the baseline. In audio-text retrieval, the proposed methods also show an improvement in performance as well.


title: Wafer-Scale Growth of Sb2Te3 Films via Low-Temperature ALD for Self-Powered Photodetector

abstract: In this work, we demonstrate the performance of a silicon-compatible high-performance self-powered photodetector.A wide detection range from visible (405 nm) to near-infrared (1550 nm) light was enabled by the vertical p-n heterojunction between the p-type antimony telluride (Sb2Te3) thin film and the n-type silicon (Si) substrates. A Sb2Te3 film with a good crystal quality, low density of extended defects, proper stoichiometry, p-type nature, and excellent uniformity across a 4-inch wafer was achieved by atomic layer deposition at 80 {\deg}C using (Et3Si)2Te and SbCl3 as precursors. The processed photodetectors have a low dark current (~20 pA), a high responsivity of (~4.3 Ampere per Watt at 405 nm and ~150 milli-Ampere per Watt at ~1550 nm), a peak detectivity of ~1.65*10^14 Jones, and a quick rise time of ~98 us under zero bias voltage. Density functional theory calculations reveal a narrow, near-direct, type-II bandgap at the heterointerface that supports a strong built-in electric field leading to efficient separation of the photogenerated carriers. The devices have long-term air stability and efficient switching behavior even at elevated temperatures. These high-performance self-powered p-Sb2Te3/n-Si heterojunction photodetectors have immense potential to become reliable technological building blocks for a plethora of innovative applications in next-generation optoelectronics, silicon-photonics, chip-level sensing, and detection.


title: Probability-Dependent Gradient Decay in Large Margin Softmax

abstract: In the past few years, Softmax has become a common component in neural network frameworks. In this paper, a gradient decay hyperparameter is introduced in Softmax to control the probability-dependent gradient decay rate during training. By following the theoretical analysis and empirical results of a variety of model architectures trained on MNIST, CIFAR-10/100 and SVHN, we find that the generalization performance depends significantly on the gradient decay rate as the confidence probability rises, i.e., the gradient decreases convexly or concavely as the sample probability increases. Moreover, optimization with the small gradient decay shows a similar curriculum learning sequence where hard samples are in the spotlight only after easy samples are convinced sufficiently, and well-separated samples gain a higher gradient to reduce intra-class distance. Based on the analysis results, we can provide evidence that the large margin Softmax will affect the local Lipschitz constraint of the loss function by regulating the probability-dependent gradient decay rate. This paper provides a new perspective and understanding of the relationship among concepts of large margin Softmax, local Lipschitz constraint and curriculum learning by analyzing the gradient decay rate. Besides, we propose a warm-up strategy to dynamically adjust Softmax loss in training, where the gradient decay rate increases from over-small to speed up the convergence rate.


title: LAD-RCNN:A Powerful Tool for Livestock Face Detection and Normalization

abstract: With the demand for standardized large-scale livestock farming and the development of artificial intelligence technology, a lot of research in area of animal face recognition were carried on pigs, cattle, sheep and other livestock. Face recognition consists of three sub-task: face detection, face normalizing and face identification. Most of animal face recognition study focuses on face detection and face identification. Animals are often uncooperative when taking photos, so the collected animal face images are often in arbitrary directions. The use of non-standard images may significantly reduce the performance of face recognition system. However, there is no study on normalizing of the animal face image with arbitrary directions. In this study, we developed a light-weight angle detection and region-based convolutional network (LAD-RCNN) containing a new rotation angle coding method that can detect the rotation angle and the location of animal face in one-stage. LAD-RCNN has a frame rate of 72.74 FPS (including all steps) on a single GeForce RTX 2080 Ti GPU. LAD-RCNN has been evaluated on multiple dataset including goat dataset and gaot infrared image. Evaluation result show that the AP of face detection was more than 95% and the deviation between the detected rotation angle and the ground-truth rotation angle were less than 0.036 (i.e. 6.48{\deg}) on all the test dataset. This shows that LAD-RCNN has excellent performance on livestock face and its direction detection, and therefore it is very suitable for livestock face detection and Normalizing. Code is available at https://github.com/SheepBreedingLab-HZAU/LAD-RCNN/


title: Toric rings of perfectly matchable subgraph polytopes

abstract: The perfectly matchable subgraph polytope of a graph is a (0,1)-polytope associated with the vertex sets of matchings in the graph. In this paper, we study algebraic properties (compressedness, Gorensteinness) of the toric rings of perfectly matchable subgraph polytopes. In particular, we give a complete characterization of a graph whose perfectly matchable subgraph polytope is compressed.


title: Light meson emissions of the selected charmonium-like states within compact tetraquark configurations

abstract: We adopt the quark pair creation model to investigate the light meson emissions of several charmonium-like states. The quark pair creation model is applied to the four-body systems, and we calculate the pion/kaon emissions of the $X(4700)$, $Z_c(4430)$, $Y(4230)$, $Y(4360)$, $Y(4390)$ and $Y(4660)$ within the compact tetraquark assumptions. It is found that the pion/kaon decay widths for the $X(4700)$ and $Z_c(4430)$ are relatively small, while the partial decay widths for the resonances $Y(4230)$, $Y(4360)$, $Y(4390)$ and $Y(4660)$ are significant. We expect that our exploration of these decay behaviors can provide useful information for future experimental searches and theoretical interpretations.


title: Exploring the effectiveness of surrogate-assisted evolutionary algorithms on the batch processing problem

abstract: Real-world optimisation problems typically have objective functions which cannot be expressed analytically. These optimisation problems are evaluated through expensive physical experiments or simulations. Cheap approximations of the objective function can reduce the computational requirements for solving these expensive optimisation problems. These cheap approximations may be machine learning or statistical models and are known as surrogate models. This paper introduces a simulation of a well-known batch processing problem in the literature. Evolutionary algorithms such as Genetic Algorithm (GA), Differential Evolution (DE) are used to find the optimal schedule for the simulation. We then compare the quality of solutions obtained by the surrogate-assisted versions of the algorithms against the baseline algorithms. Surrogate-assistance is achieved through Probablistic Surrogate-Assisted Framework (PSAF). The results highlight the potential for improving baseline evolutionary algorithms through surrogates. For different time horizons, the solutions are evaluated with respect to several quality indicators. It is shown that the PSAF assisted GA (PSAF-GA) and PSAF-assisted DE (PSAF-DE) provided improvement in some time horizons. In others, they either maintained the solutions or showed some deterioration. The results also highlight the need to tune the hyper-parameters used by the surrogate-assisted framework, as the surrogate, in some instances, shows some deterioration over the baseline algorithm.


title: Monotonic Mechanisms for Selling Multiple Goods

abstract: Maximizing the revenue from selling two or more goods has been shown to require the use of $nonmonotonic$ mechanisms, where a higher-valuation buyer may pay less than a lower-valuation one. Here we show that the restriction to $monotonic$ mechanisms may not just lower the revenue, but may in fact yield only a $negligible$ $fraction$ of the maximal revenue; more precisely, the revenue from monotonic mechanisms is no more than k times the simple revenue obtainable by selling the goods separately, or bundled (where k is the number of goods), whereas the maximal revenue may be arbitrarily larger. We then study the class of monotonic mechanisms and its subclass of allocation-monotonic mechanisms, and obtain useful characterizations and revenue bounds.


title: Tech Report: One-stage Lightweight Object Detectors

abstract: This work is for designing one-stage lightweight detectors which perform well in terms of mAP and latency. With baseline models each of which targets on GPU and CPU respectively, various operations are applied instead of the main operations in backbone networks of baseline models. In addition to experiments about backbone networks and operations, several feature pyramid network (FPN) architectures are investigated. Benchmarks and proposed detectors are analyzed in terms of the number of parameters, Gflops, GPU latency, CPU latency and mAP, on MS COCO dataset which is a benchmark dataset in object detection. This work propose similar or better network architectures considering the trade-off between accuracy and latency. For example, our proposed GPU-target backbone network outperforms that of YOLOX-tiny which is selected as the benchmark by 1.43x in speed and 0.5 mAP in accuracy on NVIDIA GeForce RTX 2080 Ti GPU.


title: Audio Time-Scale Modification with Temporal Compressing Networks

abstract: We propose a novel approach for time-scale modification of audio signals. Unlike traditional methods that rely on the framing technique or the short-time Fourier transform to preserve the frequency during temporal stretching, our neural network model encodes the raw audio into a high-level latent representation, dubbed Neuralgram, where each vector represents 1024 audio sample points. Due to a sufficient compression ratio, we are able to apply arbitrary spatial interpolation of the Neuralgram to perform temporal stretching. Finally, a learned neural decoder synthesizes the time-scaled audio samples based on the stretched Neuralgram representation. Both the encoder and decoder are trained with latent regression losses and adversarial losses in order to obtain high-fidelity audio samples. Despite its simplicity, our method has comparable performance compared to the existing baselines and opens a new possibility in research into modern time-scale modification. Audio samples can be found at https://tsmnet-mmasia23.github.io


title: The Importance of Accurate Alignments in End-to-End Speech Synthesis

abstract: Unit selection synthesis systems required accurate segmentation and labeling of the speech signal owing to the concatenative nature. Hidden Markov model-based speech synthesis accommodates some transcription errors, but it was later shown that accurate transcriptions yield highly intelligible speech with smaller amounts of training data. With the arrival of end-to-end (E2E) systems, it was observed that very good quality speech could be synthesised with large amounts of data. As end-to-end synthesis progressed from Tacotron to FastSpeech2, it has become imminent that features that represent prosody are important for good-quality synthesis. In particular, durations of the sub-word units are important. Variants of FastSpeech use a teacher model or forced alignments to obtain good-quality synthesis. In this paper, we focus on duration prediction, using signal processing cues in tandem with forced alignment to produce accurate phone durations during training. The current work aims to highlight the importance of accurate alignments for good-quality synthesis. An attempt is made to train the E2E systems with accurately labeled data, and compare the same with approximately labeled data.


title: Minimum Processing Near-end Listening Enhancement

abstract: The intelligibility and quality of speech from a mobile phone or public announcement system are often affected by background noise in the listening environment. By pre-processing the speech signal it is possible to improve the speech intelligibility and quality -- this is known as near-end listening enhancement (NLE). Although, existing NLE techniques are able to greatly increase intelligibility in harsh noise environments, in favorable noise conditions the intelligibility of speech reaches a ceiling where it cannot be further enhanced. Actually, the focus of existing methods solely on improving the intelligibility causes unnecessary processing of the speech signal and leads to speech distortions and quality degradations. In this paper, we provide a new rationale for NLE, where the target speech is minimally processed in terms of a processing penalty, provided that a certain performance constraint, e.g., intelligibility, is satisfied. We present a closed-form solution for the case where the performance criterion is an intelligibility estimator based on the approximated speech intelligibility index and the processing penalty is the mean-square error between the processed and the clean speech. This produces an NLE method that adapts to changing noise conditions via a simple gain rule by limiting the processing to the minimum necessary to achieve a desired intelligibility, while at the same time focusing on quality in favorable noise situations by minimizing the amount of speech distortions. Through simulation studies, we show the proposed method attains speech quality on par or better than existing methods in both objective measurements and subjective listening tests, whilst still sustaining objective speech intelligibility performance on par with existing methods.


title: Mahiru: a federated, policy-driven data processing and exchange system

abstract: Secure, privacy-preserving sharing of scientific or business data is currently a popular topic for research and development, both in academia and outside of it. Systems have been proposed for sharing individual facts about individuals and sharing entire data sets, for sharing data through trusted third parties, for obfuscating sensitive data by anonymisation and homomorphic encryption, for distributed processing as in federated machine learning and secure multiparty computation, and for trading data access or ownership. However, these systems typically support only one of these solutions, while organisations often have a variety of data and use cases for which different solutions are appropriate. If a single system could be built that is flexible enough to support a variety of solutions, then administration would be greatly simplified and attack surfaces reduced. In this paper we present Mahiru, a design for a data exchange and processing system in which owners of data and software fully control their assets, users may submit a wide variety of processing requests including most of the above applications, and all parties collaborate to execute those requests in a distributed fashion, while ensuring that the policies are adhered to at all times. This is achieved through a federated, mostly decentralised architecture and a powerful policy mechanism designed to be easy to understand and simple to implement. We have created a proof-of-concept implementation of the system which is openly available and in continuous development, and which we aim to continue to extend with new functionality.


title: Bifurcation analysis of the Microscopic Markov Chain Approach to contact-based epidemic spreading in networks

abstract: The dynamics of many epidemic compartmental models for infectious diseases that spread in a single host population present a second-order phase transition. This transition occurs as a function of the infectivity parameter, from the absence of infected individuals to an endemic state. Here, we study this transition, from the perspective of dynamical systems, for a discrete-time compartmental epidemic model known as Microscopic Markov Chain Approach, whose applicability for forecasting future scenarios of epidemic spreading has been proved very useful during the COVID-19 pandemic. We show that there is an endemic state which is stable and a global attractor and that its existence is a consequence of a transcritical bifurcation. This mathematical analysis grounds the results of the model in practical applications.

categories: physics.soc-ph cond-mat.stat-mech cs.SI math.DS


title: 1Cademy @ Causal News Corpus 2022: Enhance Causal Span Detection via Beam-Search-based Position Selector

abstract: In this paper, we present our approach and empirical observations for Cause-Effect Signal Span Detection -- Subtask 2 of Shared task 3~\cite{tan-etal-2022-event} at CASE 2022. The shared task aims to extract the cause, effect, and signal spans from a given causal sentence. We model the task as a reading comprehension (RC) problem and apply a token-level RC-based span prediction paradigm to the task as the baseline. We explore different training objectives to fine-tune the model, as well as data augmentation (DA) tricks based on the language model (LM) for performance improvement. Additionally, we propose an efficient beam-search post-processing strategy to due with the drawbacks of span detection to obtain a further performance gain. Our approach achieves an average $F_1$ score of 54.15 and ranks \textbf{$1^{st}$} in the CASE competition. Our code is available at \url{https://github.com/Gzhang-umich/1CademyTeamOfCASE}.


title: Landauer's princple for Fermionic field in one dimensional bag

abstract: We study the Landauer's principle of an Unruh-DeWitt detector linearly coupled to Dirac field in $1 + 1$ dimensional cavity. When the initial state of the field is vacuum, we obtain the heat transfer and von Neumann entropy change perturbatively. For the thermal state, the heat transfer and entropy change are approximately obtained in the case where the interaction time is long enough and the Unruh-DeWitt detector is in resonance with one of the field mode. Compared to the real scalar field, we find the results of vacuum initial state differs solely from the helicity of the Dirac field and the distinguishablity of fermion and anti-fermion comes into play when the initial state is thermal. We also point out that the results for massless fermionic field can be obtained by taking the particle $m\rightarrow 0$. We find that in both cases satisfy Landauer's principle.


title: PAGE: Prototype-Based Model-Level Explanations for Graph Neural Networks

abstract: Aside from graph neural networks (GNNs) attracting significant attention as a powerful framework revolutionizing graph representation learning, there has been an increasing demand for explaining GNN models. Although various explanation methods for GNNs have been developed, most studies have focused on instance-level explanations, which produce explanations tailored to a given graph instance. In our study, we propose Prototype-bAsed GNN-Explainer (PAGE), a novel model-level GNN explanation method that explains what the underlying GNN model has learned for graph classification by discovering human-interpretable prototype graphs. Our method produces explanations for a given class, thus being capable of offering more concise and comprehensive explanations than those of instance-level explanations. First, PAGE selects embeddings of class-discriminative input graphs on the graph-level embedding space after clustering them. Then, PAGE discovers a common subgraph pattern by iteratively searching for high matching node tuples using node-level embeddings via a prototype scoring function, thereby yielding a prototype graph as our explanation. Using six graph classification datasets, we demonstrate that PAGE qualitatively and quantitatively outperforms the state-of-the-art model-level explanation method. We also carry out systematic experimental studies by demonstrating the relationship between PAGE and instance-level explanation methods, the robustness of PAGE to input data scarce environments, and the computational efficiency of the proposed prototype scoring function in PAGE.


title: Experimental study and modeling of the lower-level controller of automated vehicle

abstract: Accurate modeling of lower-level controller plays an important role in the traffic flow of automated vehicles (AVs). However, there lacks enough attention with this respect. To address this issue, we conduct a field experiment with two vehicles that are equipped with developable autonomous driving system, where one can customize the upper-level control algorithm. Based on the field experimental data, a new lower-level control model is developed and compared with two widely used ones. The comparison results show that the proposed model outperforms the two previous models in capturing the observed actual acceleration, especially the troughs of the acceleration time series. Furthermore, theoretical analysis indicates that comparing with the proposed model, the two previous models significantly overestimate the stability region of the traffic flow of the AVs and the capacity of stable traffic flow. Our study is expected to further shed light on the importance of accurate lower-level control modeling.


title: Improving Cause-of-Death Classification from Verbal Autopsy Reports

abstract: In many lower-and-middle income countries including South Africa, data access in health facilities is restricted due to patient privacy and confidentiality policies. Further, since clinical data is unique to individual institutions and laboratories, there are insufficient data annotation standards and conventions. As a result of the scarcity of textual data, natural language processing (NLP) techniques have fared poorly in the health sector. A cause of death (COD) is often determined by a verbal autopsy (VA) report in places without reliable death registration systems. A non-clinician field worker does a VA report using a set of standardized questions as a guide to uncover symptoms of a COD. This analysis focuses on the textual part of the VA report as a case study to address the challenge of adapting NLP techniques in the health domain. We present a system that relies on two transfer learning paradigms of monolingual learning and multi-source domain adaptation to improve VA narratives for the target task of the COD classification. We use the Bidirectional Encoder Representations from Transformers (BERT) and Embeddings from Language Models (ELMo) models pre-trained on the general English and health domains to extract features from the VA narratives. Our findings suggest that this transfer learning system improves the COD classification tasks and that the narrative text contains valuable information for figuring out a COD. Our results further show that combining binary VA features and narrative text features learned via this framework boosts the classification task of COD.


title: Gravitational Larmor precession

abstract: Inspired by the reported existence of substantive magnetic fields in the vicinity of the central supermassive black holes in Sagitarius A* and Messier 87*, we consider test particle motion in the spacetime close to a generic spherical black hole in the presence of magnetic fields in its vicinity. Modelling such a spacetime in terms of an axisymmetric, non-rotating Ernst-Melvin-Schwarzschild black hole geometry with appropriate parameters, we compute the geodesic nodal-plane precession frequency for a test particle with mass, for such a spacetime, and obtain a non-vanishing result, surpassing earlier folklore that only axisymmetric spacetimes with rotation (non-vanishing Kerr parameter) can generate such a precession. We call this magnetic field-generated phenomenon Gravitational Larmor Precession. What we present here is a Proof of Concept incipient assay, rather than a detailed analysis of supermassive black holes with magnetic fields in their neighbourhood. However, for completeness, we briefly discuss observational prospects of this precession in terms of available magnetic field strengths close to central black holes in galaxies.


title: HHLPy: Practical Verification of Hybrid Systems using Hoare Logic

abstract: We present a tool for verification of hybrid systems expressed in the sequential fragment of HCSP (Hybrid Communicating Sequential Processes). The tool permits annotating HCSP programs with pre- and postconditions, invariants, and proof rules for reasoning about ordinary differential equations. Verification conditions are generated from the annotations following the rules of hybrid Hoare logic. We designed labeling and highlighting mechanisms to distinguish and visualize different verification conditions. The tool is implemented in Python and has a web-based user interface. We evaluated the effectiveness of the tool on translations of Simulink/Stateflow models and on KeYmaera X benchmarks.


title: Magnetic reconnection in the wakes of cosmic strings

abstract: The motion of cosmic strings in the universe leads to the generation of wakes behind them. We study magnetized wakes of cosmic strings moving in the post recombination plasma. We show that magnetic reconnection can occur in the post shock region. Since the width of the cosmic string wake is very small, the reconnection occurs over a very short lengthscale. The reconnection leads to a large amount of kinetic energy being released in the post shock region of the cosmic string wake. This enhances the kinetic energy released during the reconnection. We make a rudimentary estimate of the kinetic energy released by the magnetic reconnection in cosmic strings wakes and show that it can account for low energy Gamma Ray Bursts (GRB) in the post recombination era.


title: Star Formation History of Two Fields in the Halo of NGC5128

abstract: NGC5128 galaxy is a giant elliptical galaxy located in the Centaurus group of galaxies at 3.8 Mpc. We aim to study the star formation history (SFH) of two different fields of the galaxy. The northeastern field (Field 1) is located at a distance of 18.8 kpc, while the southern field (Field 2) is at 9.9 kpc. We use a photometric method that is based on identifying long period variable (LPV) stars and asymptotic giant branch (AGB) stars, as they are strong tracers of star formation and galaxy evolution due to their luminosity and variability; 395 LPVs in Field 1 and 671 LPVs in Field 2 have been identified. These two fields present similar SFHs, although the SF rate of Field 2 is more enhanced. We find that the galaxy has three major star formation episodes t $\sim$ 800 Myr ago, t $\sim$ 3.2 Gyr ago, and t $\sim$ 10 Gyr ago, where t is look-back time. The rate of star formation at $\sim$ 800 Myr ago agrees with previous studies suggesting that the galaxy experienced a merger around that time. Furthermore, NGC5128 has experienced a lower star formation rate in its recent history which could have been driven by jet-induction star formation and multiple outbursts of AGN activity in this galaxy, as well as a minor merger around 400 Myr ago.


title: Listen to what they say: Better understand and detect online misinformation with user feedback

abstract: Social media users who report content are key allies in the management of online misinformation, however, no research has been conducted yet to understand their role and the different trends underlying their reporting activity. We suggest an original approach to studying misinformation: examining it from the reporting users perspective at the content-level and comparatively across regions and platforms. We propose the first classification of reported content pieces, resulting from a review of c. 9,000 items reported on Facebook and Instagram in France, the UK, and the US in June 2020. This allows us to observe meaningful distinctions regarding reporting content between countries and platforms as it significantly varies in volume, type, topic, and manipulation technique. Examining six of these techniques, we identify a novel one that is specific to Instagram US and significantly more sophisticated than others, potentially presenting a concrete challenge for algorithmic detection and human moderation. We also identify four reporting behaviours, from which we derive four types of noise capable of explaining half of the inaccuracy found in content reported as misinformation. We finally show that breaking down the user reporting signal into a plurality of behaviours allows to train a simple, although competitive, classifier on a small dataset with a combination of basic users-reports to classify the different types of reported content pieces.


title: Reduce Catastrophic Forgetting of Dense Retrieval Training with Teleportation Negatives

abstract: In this paper, we investigate the instability in the standard dense retrieval training, which iterates between model training and hard negative selection using the being-trained model. We show the catastrophic forgetting phenomena behind the training instability, where models learn and forget different negative groups during training iterations. We then propose ANCE-Tele, which accumulates momentum negatives from past iterations and approximates future iterations using lookahead negatives, as "teleportations" along the time axis to smooth the learning process. On web search and OpenQA, ANCE-Tele outperforms previous state-of-the-art systems of similar size, eliminates the dependency on sparse retrieval negatives, and is competitive among systems using significantly more (50x) parameters. Our analysis demonstrates that teleportation negatives reduce catastrophic forgetting and improve convergence speed for dense retrieval training. Our code is available at https://github.com/OpenMatch/ANCE-Tele.


title: SDCL: Self-Distillation Contrastive Learning for Chinese Spell Checking

abstract: Due to the ambiguity of homophones, Chinese Spell Checking (CSC) has widespread applications. Existing systems typically utilize BERT for text encoding. However, CSC requires the model to account for both phonetic and graphemic information. To adapt BERT to the CSC task, we propose a token-level self-distillation contrastive learning method. We employ BERT to encode both the corrupted and corresponding correct sentence. Then, we use contrastive learning loss to regularize corrupted tokens' hidden states to be closer to counterparts in the correct sentence. On three CSC datasets, we confirmed our method provides a significant improvement above baselines.


title: Superlinear and quadratic convergence of a stabilized sequential quadratic semidefinite programming method for nonlinear semidefinite programming problems

abstract: In this paper, we present a stabilized sequential quadratic semidefinite programming (SQSDP) method for nonlinear semidefinite programming (NSDP) problems and prove its local convergence. The stabilized SQSDP method is originally developed to solve degenerate NSDP problems and is based on the stabilized sequential programming (SQP) methods for nonlinear programming (NLP) problems. Although some SQP-type methods for NSDP problems have been proposed, most of them are SQSDP methods which are based on the SQP methods for NLP problems, and there are few researches regarding the stabilized SQSDP methods. In particular, there is room for the development of locally fast convergent stabilized SQSDP methods. We prove not only superlinear but also quadratic convergence of the proposed method under some mild assumptions, such as strict Robinson's constraint qualification and second-order sufficient condition.


title: Efficient Document Retrieval by End-to-End Refining and Quantizing BERT Embedding with Contrastive Product Quantization

abstract: Efficient document retrieval heavily relies on the technique of semantic hashing, which learns a binary code for every document and employs Hamming distance to evaluate document distances. However, existing semantic hashing methods are mostly established on outdated TFIDF features, which obviously do not contain lots of important semantic information about documents. Furthermore, the Hamming distance can only be equal to one of several integer values, significantly limiting its representational ability for document distances. To address these issues, in this paper, we propose to leverage BERT embeddings to perform efficient retrieval based on the product quantization technique, which will assign for every document a real-valued codeword from the codebook, instead of a binary code as in semantic hashing. Specifically, we first transform the original BERT embeddings via a learnable mapping and feed the transformed embedding into a probabilistic product quantization module to output the assigned codeword. The refining and quantizing modules can be optimized in an end-to-end manner by minimizing the probabilistic contrastive loss. A mutual information maximization based method is further proposed to improve the representativeness of codewords, so that documents can be quantized more accurately. Extensive experiments conducted on three benchmarks demonstrate that our proposed method significantly outperforms current state-of-the-art baselines.


title: The $\mathfrak{sl}_{2}(\mathbb{R})$ coalgebra symmetry and the superintegrable discrete-time systems

abstract: In this paper, we classify all the variational discrete-time systems in quasi-standard form in $N$ degrees of freedom admitting coalgebra symmetry with respect to the generic realisation of the Lie-Poisson algebra $\mathfrak{sl}_{2}(\mathbb{R})$. This approach naturally yields several quasi-maximally and maximally superintegrable discrete-time systems, both known and new. We conjecture that this exhausts the (super)integrable cases associated with this algebraic construction.


title: Lepton pair production at NNLO in QED with EW effects

abstract: We present a fully differential calculation of lepton pair production, taking into account the dominant next-to-next-to-leading order QED corrections as well as next-to-leading order electroweak and polarisation effects. We include all lepton masses, hard photon emission, as well as non-perturbative hadronic corrections. The corresponding matrix elements are implemented in the Monte Carlo framework McMule. In order to obtain a numerically stable implementation, we extend next-to-soft stabilisation, a universal technique based on a next-to-leading-power expansion, to calculations with polarised leptons. As an example, we show results tailored to the Belle II detector with the current setup as well as a potential future configuration that includes polarised beams.


title: On general Caffarelli-Kohn-Nirenberg type inequalities involving non-doubling weights

abstract: We will establish the Caffarelli-Kohn-Nirenberg type inequalities with non-doubling weights being permitted. The classical Caffarelli-Kohn-Nirenberg type inequalities are categorized into non-critical and critical cases, and it is known that there is some kind of mysterious relationship between them. Interestingly the new framework in this treatise allows them to be integrated and reveals the meaning of mysterious relationships.


title: uBFT: Microsecond-scale BFT using Disaggregated Memory [Extended Version]

abstract: We propose uBFT, the first State Machine Replication (SMR) system to achieve microsecond-scale latency in data centers, while using only $2f{+}1$ replicas to tolerate $f$ Byzantine failures. The Byzantine Fault Tolerance (BFT) provided by uBFT is essential as pure crashes appear to be a mere illusion with real-life systems reportedly failing in many unexpected ways. uBFT relies on a small non-tailored trusted computing base -- disaggregated memory -- and consumes a practically bounded amount of memory. uBFT is based on a novel abstraction called Consistent Tail Broadcast, which we use to prevent equivocation while bounding memory. We implement uBFT using RDMA-based disaggregated memory and obtain an end-to-end latency of as little as 10us. This is at least 50$\times$ faster than MinBFT , a state of the art $2f{+}1$ BFT SMR based on Intel's SGX. We use uBFT to replicate two KV-stores (Memcached and Redis), as well as a financial order matching engine (Liquibook). These applications have low latency (up to 20us) and become Byzantine tolerant with as little as 10us more. The price for uBFT is a small amount of reliable disaggregated memory (less than 1 MiB), which in our prototype consists of a small number of memory servers connected through RDMA and replicated for fault tolerance.


title: Low-Latency, High-Throughput Garbage Collection (Extended Version)

abstract: Production garbage collectors make substantial compromises in pursuit of reduced pause times. They require far more CPU cycles and memory than prior simpler collectors. concurrent copying collectors (C4, ZGC, and Shenandoah) suffer from the following design limitations. 1) Concurrent copying. They only reclaim memory by copying, which is inherently expensive with high memory bandwidth demands. Concurrent copying also requires expensive read and write barriers. 2) Scalability. They depend on tracing, which in the limit and in practice does not scale. 3) Immediacy. They do not reclaim older objects promptly, incurring high memory overheads. We present LXR, which takes a very different approach to optimizing responsiveness and throughput by minimizing concurrent collection work and overheads. 1) LXR reclaims most memory without any copying by using the Immix heap structure. It then combats fragmentation with limited judicious stop-the-world copying. 2) LXR uses reference counting to achieve both scalability and immediacy, promptly reclaiming young and old objects. It uses concurrent tracing as needed for identifying cyclic garbage. 3) To minimize pause times while allowing judicious copying of mature objects, LXR introduces remembered sets for reference counting and concurrent decrement processing. 4) LXR introduces a novel low-overhead write barrier that combines coalescing reference counting, concurrent tracing, and remembered set maintenance. The result is a collector with excellent responsiveness and throughput. On the widely-used Lucene search engine with a generously sized heap, LXR has 6x higher throughput while delivering 30x lower 99.9 percentile tail latency than the popular Shenandoah production collector in its default configuration.


title: Missing one-loop contributions in secondary gravitational waves

abstract: We find several missing one-loop-order contributions in previous considerations about secondary gravitational waves induced at nonlinear order in cosmological perturbations. We consider a consistent perturbative expansion to third-order in cosmological perturbations, including higher-order interactions and iterative solutions ignored in the previous literature. Tensor fluctuations induced by the source with two scalar and one tensor perturbations are correlated with the first-order tensor fluctuation and thus give a one-loop-order correction to the tensor power spectrum. The missing loop correction is \textit{scale-invariant} and \textit{negative} in the superhorion region, which secondarily reduces the initial primordial tensor power spectrum prior to the horizon re-entry. Such an IR behavior is very different from the auto-spectrum of second-order induced tensor modes discussed in the previous literature and can be important for the actual gravitational wave measurements. For a sharp peak of scalar fluctuations with $A_\zeta=10^{-2}$ at $k_*=10^{5}h/{\rm Mpc}$ motivated by the LIGO/Virgo events, we show that the tensor power spectrum at the cosmic microwave background scale reduces by at most 35%. Hence, the polarization B-mode might not be seen because of the reduction of the original tensor spectrum due to the secondary effect of primordial black hole formation.


title: Variational Inference Aided Estimation of Time Varying Channels

abstract: One way to improve the estimation of time varying channels is to incorporate knowledge of previous observations. In this context, Dynamical VAEs (DVAEs) build a promising deep learning (DL) framework which is well suited to learn the distribution of time series data. We introduce a new DVAE architecture, called k-MemoryMarkovVAE (k-MMVAE), whose sparsity can be controlled by an additional memory parameter. Following the approach in [1] we derive a k-MMVAE aided channel estimator which takes temporal correlations of successive observations into account. The results are evaluated on simulated channels by QuaDRiGa and show that the k-MMVAE aided channel estimator clearly outperforms other machine learning (ML) aided estimators which are either memoryless or naively extended to time varying channels without major adaptions.


title: Learning to Optimize Permutation Flow Shop Scheduling via Graph-based Imitation Learning

abstract: The permutation flow shop scheduling (PFSS), aiming at finding the optimal permutation of jobs, is widely used in manufacturing systems. When solving large-scale PFSS problems, traditional optimization algorithms such as heuristics could hardly meet the demands of both solution accuracy and computational efficiency, thus learning-based methods have recently garnered more attention. Some work attempts to solve the problems by reinforcement learning methods, which suffer from slow convergence issues during training and are still not accurate enough regarding the solutions. To that end, we propose to train the model via expert-driven imitation learning, which accelerates convergence more stably and accurately. Moreover, in order to extract better feature representations of input jobs, we incorporate the graph structure as the encoder. The extensive experiments reveal that our proposed model obtains significant promotion and presents excellent generalizability in large-scale problems with up to 1000 jobs. Compared to the state-of-the-art reinforcement learning method, our model's network parameters are reduced to only 37\% of theirs, and the solution gap of our model towards the expert solutions decreases from 6.8\% to 1.3\% on average. The code is available at: \url{https://github.com/longkangli/PFSS-IL}.


title: Picard Groups of Some Quot Schemes

abstract: Let $C$ be a smooth projective curve over the field of complex numbers $\mathbb{C}$ of genus $g(C)>0$. Let $E$ be a locally free sheaf on $C$ of rank $r$ and degree $e$. Let $\mathcal{Q}:={\rm Quot}_{C/\mathbb{C}}(E,k,d)$ denote the Quot scheme of quotients of $E$ of rank $k$ and degree $d$. For $k>0$ and $d\gg 0$ we compute the Picard group of $\mathcal{Q}$.


title: Automated Dominative Subspace Mining for Efficient Neural Architecture Search

abstract: Neural Architecture Search (NAS) aims to automatically find effective architectures within a predefined search space. However, the search space is often extremely large. As a result, directly searching in such a large search space is non-trivial and also very time-consuming. To address the above issues, in each search step, we seek to limit the search space to a small but effective subspace to boost both the search performance and search efficiency. To this end, we propose a novel Neural Architecture Search method via Dominative Subspace Mining (DSM-NAS) that finds promising architectures in automatically mined subspaces. Specifically, we first perform a global search, i.e ., dominative subspace mining, to find a good subspace from a set of candidates. Then, we perform a local search within the mined subspace to find effective architectures. More critically, we further boost search performance by taking well-designed/ searched architectures to initialize candidate subspaces. Experimental results demonstrate that DSM-NAS not only reduces the search cost but also discovers better architectures than state-of-the-art methods in various benchmark search spaces.


title: Device Scheduling for Over-the-Air Federated Learning with Differential Privacy

abstract: In this paper, we propose a device scheduling scheme for differentially private over-the-air federated learning (DP-OTA-FL) systems, referred to as S-DPOTAFL, where the privacy of the participants is guaranteed by channel noise. In S-DPOTAFL, the gradients are aligned by the alignment coefficient and aggregated via over-the-air computation (AirComp). The scheme schedules the devices with better channel conditions in the training to avoid the problem that the alignment coefficient is limited by the device with the worst channel condition in the system. We conduct the privacy and convergence analysis to theoretically demonstrate the impact of device scheduling on privacy protection and learning performance. To improve the learning accuracy, we formulate an optimization problem with the goal to minimize the training loss subjecting to privacy and transmit power constraints. Furthermore, we present the condition that the S-DPOTAFL performs better than the DP-OTA-FL without considering device scheduling (NoS-DPOTAFL). The effectiveness of the S-DPOTAFL is validated through simulations.


title: Landen's trilogarithm functional equation and $\ell$-adic Galois multiple polylogarithms

abstract: The Galois action on the pro-$\ell$ \'etale fundamental groupoid of the projective line minus three points with rational base points gives rise to a non-commutative formal power series in two variables with $\ell$-adic coefficients, called the $\ell$-adic Galois associator. In the present paper, we focus on how Landen's functional equation of trilogarithms and its $\ell$-adic Galois analog can be derived algebraically from the $S_3$-symmetry of the projective line minus three points. Twofold proofs of the functional equation will be presented, one is based on Zagier's tensor criterion devised in the framework of graded Lie algebras and the other is based on the chain rule for the associator power series. In the course of the second proof, we are led to investigate $\ell$-adic Galois multiple polylogarithms appearing as regular coefficients of the $\ell$-adic Galois associator. As an application, we show an $\ell$-adic Galois analog of Oi-Ueno's functional equation between $Li_{1,\dots,1,2}(1-z)$ and $Li_k(z)$'s $(k=1,2,...)$ .


title: Self-Supervised Hierarchical Metrical Structure Modeling

abstract: We propose a novel method to model hierarchical metrical structures for both symbolic music and audio signals in a self-supervised manner with minimal domain knowledge. The model trains and inferences on beat-aligned music signals and predicts an 8-layer hierarchical metrical tree from beat, measure to the section level. The training procedure does not require any hierarchical metrical labeling except for beats, purely relying on the nature of metrical regularity and inter-voice consistency as inductive biases. We show in experiments that the method achieves comparable performance with supervised baselines on multiple metrical structure analysis tasks on both symbolic music and audio signals. All demos, source code and pre-trained models are publicly available on GitHub.


title: The Brauer-Manin obstruction for stacky curves

abstract: We show that the Brauer-Manin obstruction is the only obstruction to strong approximation for all stacky curves over global fields with finite abelian fundamental groups. This includes all stacky curves of genus $g = \frac{1}{2}$, thus explaining a recent counterexample to the Hasse principle of Bhargava-Poonen. We will furthermore show that the elementary obstruction is the only obstruction to the integral Hasse principle for smooth proper integral models of stacky curves of genus $g < 1$. We then compute the Brauer-Manin obstruction for smooth proper integral models of stacky curves of genus $\frac{1}{2}$.


title: SurfMyoAiR: A surface Electromyography based framework for Airwriting Recognition

abstract: Airwriting Recognition is the task of identifying letters written in free space with finger movement. Electromyography (EMG) is a technique used to record electrical activity during muscle contraction and relaxation as a result of movement and is widely used for gesture recognition. Most of the current research in gesture recognition is focused on identifying static gestures. However, dynamic gestures are natural and user-friendly for being used as alternate input methods in Human-Computer Interaction applications. Airwriting recognition using EMG signals recorded from forearm muscles is therefore a viable solution. Since the user does not need to learn any new gestures and a large range of words can be formed by concatenating these letters, it is generalizable to a wider population. There has been limited work in recognition of airwriting using EMG signals and forms the core idea of the current work. The SurfMyoAiR dataset comprising of EMG signals recorded during writing English uppercase alphabets is constructed. Several different time-domain features to construct EMG envelope and two different time-frequency image representations: Short-Time Fourier Transform and Continuous Wavelet Transform were explored to form the input to a deep learning model for airwriting recognition. Several different deep learning architectures were exploited for this task. Additionally, the effect of various parameters such as signal length, window length and interpolation techniques on the recognition performance is comprehensively explored. The best-achieved accuracy was 78.50% and 62.19% in user-dependent and independent scenarios respectively by using Short-Time Fourier Transform in conjunction with a 2D Convolutional Neural Network based classifier. Airwriting has great potential as a user-friendly modality to be used as an alternate input method in Human-Computer Interaction applications.


title: Galaxy populations in groups and clusters: evidence for a characteristic stellar mass scale at $M_\ast\sim 10^{9.5}M_\odot$

abstract: We use the most recent data release (DR9) of the DESI legacy imaging survey and SDSS galaxy groups to measure the conditional luminosity function (CLF) for groups with halo mass $M_{\rm h}\ge 10^{12}M_{\odot}$ and redshift $0.01\le z\le 0.08$, down to a limiting $r$-band magnitude of $M_{\rm r}=-10\sim-12$. For a given halo mass we measure the CLF for the total satellite population, as well as separately for the red and blue populations classified using the $(g-z)$ color. We find a clear faint-end upturn in the CLF of red satellites, with a slope $\alpha\approx-1.8$ which is almost independent of halo mass. This faint-end upturn is not seen for blue satellites and for the total population. Our stellar population synthesis modeling shows that the $(g-z)$ color provides a clean red/blue division, and that group galaxies in the red population defined by $(g-z)$ are all dominated by old stellar populations. The fraction of old galaxies as a function of galaxy luminosity shows a minimum at a luminosity $M_{\rm r}\sim-18$, corresponding to a stellar mass $M_\ast\sim10^{9.5}M_\odot$. This mass scale is independent of halo mass and is comparable to the characteristic luminosity at which galaxies show a dichotomy in surface brightness and size, suggesting that the dichotomy in the old fraction and in galaxy structure may have a common origin. The rising of the old fraction at the faint end for Milky Way (MW)-sized halos found here is in good agreement with the quenched fraction measured both for the MW/M31 system and from the ELVES survey. We discuss the implications of our results for the formation and evolution of low-mass galaxies, and for the stellar mass functions of low-mass galaxies to be observed at high redshift.


title: Measuring e-Commerce Metric Changes in Online Experiments

abstract: Digital technology organizations routinely use online experiments (e.g. A/B tests) to guide their product and business decisions. In e-commerce, we often measure changes to transaction- or item-based business metrics such as Average Basket Value (ABV), Average Basket Size (ABS), and Average Selling Price (ASP); yet it remains a common pitfall to ignore the dependency between the value/size of transactions/items during experiment design and analysis. We present empirical evidence on such dependency, its impact on measurement uncertainty, and practical implications on A/B test outcomes if left unmitigated. By making the evidence available, we hope to drive awareness of the pitfall among experimenters in e-commerce and hence encourage the adoption of established mitigation approaches. We also share lessons learned when incorporating selected mitigation approaches into our experimentation analysis platform currently in production.


title: $\Lambda_c(2910)$ and $\Lambda_c(2940)$ as the conventional baryons dressed with the $D^*N$ channel

abstract: In this work, we treat $\Lambda_c(2910)^+$ and $\Lambda_c(2940)^+$ as the conventional $udc$ cores dressed with the $D^*N$ channel. We provide a possible interpretation to both $\Lambda_c(2910)^+$ and $\Lambda_c(2940)^+$ within the same framework. In the study, we consider not only the effects between the conventional triquark core and the $D^*N$ channel but also the $D^*N$-$D^*N$ interactions. The mass of $\Lambda_c$ state with $J^P=1/2^-$ is larger than that with $J^P=3/2^-$ in this unquenched picture, which is very different from the prediction of the conventional quenched quark model. Based on the mass spectrum, the spin-parity of $\Lambda_c(2940)^+$ is more likely to be $1/2^-$ while $\Lambda_c(2910)^+$ prefers $3/2^-$. We look forward to the future experiments can test our results with more precise experimental data.


title: DiaCorrect: End-to-end error correction for speaker diarization

abstract: In recent years, speaker diarization has attracted widespread attention. To achieve better performance, some studies propose to diarize speech in multiple stages. Although these methods might bring additional benefits, most of them are quite complex. Motivated by spelling correction in automatic speech recognition (ASR), in this paper, we propose an end-to-end error correction framework, termed DiaCorrect, to refine the initial diarization results in a simple but efficient way. By exploiting the acoustic interactions between input mixture and its corresponding speaker activity, DiaCorrect could automatically adapt the initial speaker activity to minimize the diarization errors. Without bells and whistles, experiments on LibriSpeech based 2-speaker meeting-like data show that, the self-attentitive end-to-end neural diarization (SA-EEND) baseline with DiaCorrect could reduce its diarization error rate (DER) by over 62.4% from 12.31% to 4.63%. Our source code is available online at https://github.com/jyhan03/diacorrect.


title: IITD at the WANLP 2022 Shared Task: Multilingual Multi-Granularity Network for Propaganda Detection

abstract: We present our system for the two subtasks of the shared task on propaganda detection in Arabic, part of WANLP'2022. Subtask 1 is a multi-label classification problem to find the propaganda techniques used in a given tweet. Our system for this task uses XLM-R to predict probabilities for the target tweet to use each of the techniques. In addition to finding the techniques, Subtask 2 further asks to identify the textual span for each instance of each technique that is present in the tweet; the task can be modeled as a sequence tagging problem. We use a multi-granularity network with mBERT encoder for Subtask 2. Overall, our system ranks second for both subtasks (out of 14 and 3 participants, respectively). Our empirical analysis show that it does not help to use a much larger English corpus annotated with propaganda techniques, regardless of whether used in English or after translation to Arabic.


title: Central limit theorem for intrinsic Frechet means in smooth compact Riemannian manifolds

abstract: We prove a central limit theorem (CLT) for the Frechet mean of independent and identically distributed observations in a compact Riemannian manifold assuming that the population Frechet mean is unique. Previous general CLT results in this setting have assumed that the cut locus of the Frechet mean lies outside the support of the population distribution. So far as we are aware, the CLT in the present paper is the first which allows the cut locus to have co-dimension one or two when it is included in the support of the distribution. A key part of the proof is establishing an asymptotic approximation for the parallel transport of a certain vector field. Whether or not a non-standard term arises in the CLT depends on whether the co-dimension of the cut locus is one or greater than one: in the former case a non-standard term appears but not in the latter case. This is the first paper to give a general and explicit expression for the non-standard term which arises when the co-dimension of the cut locus is one.


title: Beyond quantum chaos in emergent dual holography

abstract: Black hole is well known to be a fast scrambler, responsible for physics of quantum chaos in dual holography. Recently, the Euclidean worm hole has been proposed to play a central role in the chaotic behavior of the spectral form factor. Furthermore, this phenomena was reinterpreted based on an effective field theory approach for quantum chaos. Since the graded nonlinear $\sigma-$model approach can describe not only the Wigner-Dyson level statistics but also its Poisson distribution, it is natural to ask whether the dual holography can touch the Poisson regime beyond the quantum chaos. In this study, we investigate disordered strongly coupled conformal field theories in the large central-charge limit. An idea is to consider a quenched average for metric fluctuations and to take into account the renormalization group flow of the metric-tensor distribution function from the UV to the IR boundary. Here, renormalization effects at a given disorder configuration are described by the conventional dual holography. We uncover that the renormalized distribution function shows a power-law behavior universally, interpreted as an infinite randomness fixed point.

categories: cond-mat.str-el cond-mat.dis-nn gr-qc hep-th


title: Opinion Dynamics and Unifying Principles: A Global Unifying Frame

abstract: I review and extend the set of unifying principles, which allow comparing all models of opinion dynamics within one single frame. Within the Global Unifying Frame (GUF), any specific update rule chosen to study opinion dynamics for discrete individual choices is recast into a probabilistic update formula. The associated dynamics is deployed using a general probabilistic sequential process, which is iterated via the repeated reshuffling of agents between successive rounds of local updates. The related driving attractors and tipping points are obtained with non-conservative regimes featuring both threshold and threshold-less dynamics. Most stationary states are symmetry broken, but fifty-fifty coexistence may also occur. A practical procedure is exhibited for several versions of Galam and Sznajd models when restricted to the use of three agents for the local updates. Comparing these various models, some are found to be identical within the GUF. Possible discrepancies with numerical simulations are discussed together with the difference between the GUF procedure and a mean field approach.


title: A robust, discrete-gradient descent procedure for optimisation with time-dependent PDE and norm constraints

abstract: Many physical questions in fluid dynamics can be recast in terms of norm constrained optimisation problems; which in-turn, can be further recast as unconstrained problems on spherical manifolds. Due to the nonlinearities of the governing PDEs, and the computational cost of performing optimal control on such systems, improving the numerical convergence of the optimisation procedure is crucial. Borrowing tools from the optimisation on manifolds community we outline a numerically consistent, discrete formulation of the direct-adjoint looping method accompanied by gradient descent and line-search algorithms with global convergence guarantees. We numerically demonstrate the robustness of this formulation on three example problems of relevance in fluid dynamics and provide an accompanying library SphereManOpt


title: Shear-layer dynamics at the interface of parallel Couette flows

abstract: This article aims to make a detailed analysis of co-flowing plane Couette flows. Particularly, the variation of flow quantities from the turbulent to non-turbulent region is studied. While the enstrophy exhibits a sharp jump, the other quantities (e.g., mean velocity, Reynolds normal stress, and kinetic energy) show a continuous variation across the interface. The budget analysis of Reynolds normal stresses reveals that the terms playing a key role in turbulence transportation vary depending on the Reynolds normal stress under study. The terms production, diffusion, and redistribution play an important role in streamwise Reynolds stress {\dh}u0u0 {\TH}. In the spanwise Reynolds stress {\dh}v0v0 {\TH}, the diffusion terms play a significant role. In the wall-normal Reynolds stress {\dh}w0w0 {\TH}, only the redistribution term is significant. The influence of one flow over another in the co-flow state was observed through the additional mean velocity and Reynolds normal stress found in the system compared to a standard plane Couette flow (pCf). Comparing the co-flow system with a conventional pCf system, the former exhibits greater vorticity, vortex stretching, and kinetic energy. A detailed analysis on the geometry and topology of flow structures was studied using flow invariants.


title: Optimal Trajectory Planning and Task Assignment for UAV-assisted Fog Computing

abstract: Fog computing is an emerging distributed computing model for the Internet of Things (IoT). It extends computing and caching functions to the edge of wireless networks. Uncrewed Aerial Vehicles (UAVs) provide adequate support for fog computing. UAVs can not only act as a relay between mobile users and physically remote edge devices to avoid costly long-range wireless communications but also are equipped with computing facilities that can take over specific tasks. In this paper, we aim to optimize the energy efficiency of a fog computing system assisted by a single UAV by planning the trajectories of the UAV and assigning computing tasks to different devices, including the UAV itself. We propose two algorithms based on the classical Ant Colony and Particle Swarm Optimization techniques and solve the problem by continuous convex approximation. Unlike most existing studies where the trajectories are assumed to be straight lines, we account for the effect of obstacles, such as buildings, and deliberately avoid them during the trajectory planning phase. Through extensive simulation experiments, we demonstrate that our proposed approach can achieve significantly better energy efficiency than existing benchmark algorithms.


title: Pseudo-harmonic Hermitian structures on Weyl manifolds

abstract: We find geometric conditions on a Hermitian-Weyl manifold under which the complex structure is a pseudo-harmonic map in the sense of G. Kokarev \cite{K09} from the manifold into its twistor space. This is done under the assumption that the dimension of the manifold is four or the Hermitian-Weyl structure is locally conformally K\"ahler.


title: Disorder effects in the Kitaev-Heisenberg model

abstract: We study the interplay of disorder and Heisenberg interactions in Kitaev model on honeycomb lattice. The effect of disorder on the transition between Kitaev spin liquid and magnetic ordered states as well as the stability of magnetic ordering is investigated. Using Lanczos exact diagonalization we discuss the consequences of two types of disorder: (i) random-coupling disorder and (ii) singular-coupling disorder. They exhibit qualitatively similar effects in the pure Kitaev-Heisenberg model without long-range interactions. The range of spin liquid phases is reduced and the transition to magnetic ordered phases becomes more crossover-like. Furthermore, the long-range zigzag and stripy orderings in the clean system are replaced by their three domains with different ordering direction. Especially in the crossover range the coexistence of magnetically ordered and Kitaev spin-liquid domains is possible. With increasing the disorder strength the area of domains becomes smaller and the system goes into a spin-glass state. However, the disorder effect is different in magnetically ordered phases caused by long-range interactions. The stability of such magnetic ordering is diminished by singular-coupling disorder, and accordingly, the range of spin-liquid regime is extended. This mechanism may be relevant to materials like $\alpha$-RuCl$_3$ and H$_3$LiIr$_2$O$_6$ where the zigzag ground state is stabilized by weak long-range interactions. We also find that the flux gap closes at a critical disorder strength and vortices appears in the flux arrangement. Interestingly, the vortices tend to form kinds of commensurate ordering.


title: Three Properties of F-Statistics for Multiple Regression and ANOVA

abstract: This paper establishes three properties of F-statistics for inference about the mean vector in multiple regression and analysis of variance. The extra SSE due to imposing a set of linear conditions on the model tests the estimable part of those conditions. All other possible numerator sums of squares that test the same have not-lesser degrees of freedom and not-greater non-centrality parameters. When factor-level combinations are coded by contrasts, the model restricted to eliminate an ANOVA effect is formulated by omitting that effect's columns from the model matrix.


title: Halo mass function in scale invariant models

abstract: Sheth-Tormen mass function has been widely used to quantify the abundance of dark matter halos. It is a significant improvement over the Press-Schechter mass function as it uses ellipsoidal collapse in place of spherical collapse. Both of these mass functions can be written in a form that is universal, i.e., independent of cosmology and power spectrum when scaled in suitable variables. However, cosmological simulations have shown that this universality is approximate. In this paper, we investigate the power spectrum dependence of halo mass function through a suite of dark-matter-only N-body simulations of seven power-law models in an Einstein-de Sitter cosmology. This choice of cosmology and a power-law power spectrum ensures the self-similar evolution of dark matter distribution, allowing us to isolate the power spectrum dependence of mass function. We find that the mass function shows a clear non-universality. We present fits for the parameters of the Sheth-Tormen mass function for a range of power-law power-spectrum indices. We find a mild evolution in the overall shape of the mass function with the epoch. Finally, we extend our result to LCDM cosmology. We show that the Sheth-Tormen mass function with parameter values derived from a matched power-law EdS cosmology provides a better fit to the LCDM mass function than the standard Sheth-Tormen mass function. Our results indicate that an improved analytical theory is required to provide better fits to the mass function.


title: Revisiting the Marcinkiewicz theorem for non commutative maximal functions

abstract: We give an alternative proof of a Marcinkiewicz interpolation theorem for non commutative maximal functions and positive maps, slightly refining earlier versions of the statement. The main novelty is that it provides a substitute for the maximal function of a martingale in $L_p$, $1<p\leq \infty$, losing very little on numerical constants. For non positive maps, the above mentioned theorem fails but we can still obtain some interpolation results by weakening the maximal norms that we consider.