title: The Monte Carlo simulation of the topological quantities in FQH systems

abstract: Generally speaking, for a fractional quantum Hall (FQH) state, the electronic occupation number for each Landau orbit could be obtained from numerical methods such as exact diagonalization, density matrix renormalization group or algebraic recursive schemes (Jack polynomial). In this work, we apply a Metroplis Monte Carlo method to calculate the occupation numbers of several FQH states in cylinder geometry. The convergent occupation numbers for more than 40 particles are used to verify the chiral bosonic edge theory and determine the topological quantities via momentum polarization or dipole moment. The guiding center spin, central charge and topological spin of different topological sectors are consistent with theoretical values and other numerical studies. Especially, we obtain the topological spin of $e/4$ quasihole in Moore-Read and 331 states. At last, we calculate the electron edge Green's functions and analysis position dependence of the non-Fermi liquid behavior.


title: On Non-Interactive Source Simulation via Fourier Transform

abstract: The non-interactive source simulation (NISS) scenario is considered. In this scenario, a pair of distributed agents, Alice and Bob, observe a distributed binary memoryless source $(X^d,Y^d)$ generated based on joint distribution $P_{X,Y}$. The agents wish to produce a pair of discrete random variables $(U_d,V_d)$ with joint distribution $P_{U_d,V_d}$, such that $P_{U_d,V_d}$ converges in total variation distance to a target distribution $Q_{U,V}$ as the input blocklength $d$ is taken to be asymptotically large. Inner and outer bounds are obtained on the set of distributions $Q_{U,V}$ which can be produced given an input distribution $P_{X,Y}$. To this end, a bijective mapping from the set of distributions $Q_{U,V}$ to a union of star-convex sets is provided. By leveraging proof techniques from discrete Fourier analysis along with a novel randomized rounding technique, inner and outer bounds are derived for each of these star-convex sets, and by inverting the aforementioned bijective mapping, necessary and sufficient conditions on $Q_{U,V}$ and $P_{X,Y}$ are provided under which $Q_{U,V}$ can be produced from $P_{X,Y}$. The bounds are applicable in NISS scenarios where the output alphabets $\mathcal{U}$ and $\mathcal{V}$ have arbitrary finite size. In case of binary output alphabets, the outer-bound recovers the previously best-known outer-bound.

categories: cs.IT cs.CR cs.SY eess.SY math.IT math.PR


title: Probabilistic machine learning based predictive and interpretable digital twin for dynamical systems

abstract: A framework for creating and updating digital twins for dynamical systems from a library of physics-based functions is proposed. The sparse Bayesian machine learning is used to update and derive an interpretable expression for the digital twin. Two approaches for updating the digital twin are proposed. The first approach makes use of both the input and output information from a dynamical system, whereas the second approach utilizes output-only observations to update the digital twin. Both methods use a library of candidate functions representing certain physics to infer new perturbation terms in the existing digital twin model. In both cases, the resulting expressions of updated digital twins are identical, and in addition, the epistemic uncertainties are quantified. In the first approach, the regression problem is derived from a state-space model, whereas in the latter case, the output-only information is treated as a stochastic process. The concepts of It\^o calculus and Kramers-Moyal expansion are being utilized to derive the regression equation. The performance of the proposed approaches is demonstrated using highly nonlinear dynamical systems such as the crack-degradation problem. Numerical results demonstrated in this paper almost exactly identify the correct perturbation terms along with their associated parameters in the dynamical system. The probabilistic nature of the proposed approach also helps in quantifying the uncertainties associated with updated models. The proposed approaches provide an exact and explainable description of the perturbations in digital twin models, which can be directly used for better cyber-physical integration, long-term future predictions, degradation monitoring, and model-agnostic control.


title: Mean squares of quadratic twists of the M\"obius function

abstract: In this paper, we evaluate asymptotically the sum \[ \sum_{d \leq X} \left( \sum_{n \leq Y} \mu(n)\leg {8d}{n} \right)^2, \] where $\leg {8d}{n}$ is the Kronecker symbol and $d$ runs over positive, odd, square-free integers.


title: Learning-from-Observation System Considering Hardware-Level Reusability

abstract: Robot developers develop various types of robots for satisfying users' various demands. Users' demands are related to their backgrounds and robots suitable for users may vary. If a certain developer would offer a robot that is different from the usual to a user, the robot-specific software has to be changed. On the other hand, robot-software developers would like to reuse their developed software as much as possible to reduce their efforts. We propose the system design considering hardware-level reusability. For this purpose, we begin with the learning-from-observation framework. This framework represents a target task in robot-agnostic representation, and thus the represented task description can be shared with various robots. When executing the task, it is necessary to convert the robot-agnostic description into commands of a target robot. To increase the reusability, first, we implement the skill library, robot motion primitives, only considering a robot hand and we regarded that a robot was just a carrier to move the hand on the target trajectory. The skill library is reusable if we would like to the same robot hand. Second, we employ the generic IK solver to quickly swap a robot. We verify the hardware-level reusability by applying two task descriptions to two different robots, Nextage and Fetch.


title: The entanglement entropy of the quantum Hall edge and its geometric contribution

abstract: Generally speaking, the entanglement entropy (EE) between two subregions of a gapped quantum many-body state is proportional to the area/length of their interface due to the short range quantum correlation. However, the so-called area law is violated logarithmically in a quantum critical phase. Moreover, the subleading correction exists in a long range entangled topological phases. It is referred to as topological EE which is related to the quantum dimension of the collective excitation in the bulk. Further more, if a non-smooth sharp angle is in the presence of the subsystem boundary, a universal angle dependent geometric contribution is expected to appear in the subleading correction. In this work, we simultaneously explore the geometric and edge contribution in the integer quantum Hall (IQH) state and its edge reconstruction in a unified bipartite method. Their scaling is found to be consistent with the conformal field theory (CFT) predictions and recent results of the particle number fluctuation calculations.


title: Monochromatic quotients, products and polynomial sums in the rationals

abstract: Let $k,a\in \mathbb{N}$ and let $p_1,\cdots,p_k\in \mathbb{Q}[n]$ with zero constant term. We show that for any finite coloring of $\mathbb{Q}$, there are non-zero $x,y\in \mathbb{Q}$ such that there exists a color which contains a set of the form $$\Big\{x,\frac{x}{y^a},x+p_{1}(y),\cdots,x+p_{k}(y)\Big\}$$ and there are non-zero $v,u\in \mathbb{Q}$ such that there exists a color which contains a set of the form $$\Big\{v,v\cdot {u^a},v+p_{1}(u),\cdots,v+p_{k}(u)\Big\}.$$


title: Numerical Kodaira dimension of algebraic fiber spaces in positive characteristic

abstract: In this paper, we prove a positive characteristic analog of Nakayama's inequality on the numerical Kodaira dimension of algebraic fiber spaces when the generic fibers have nef canonical divisors. To this end, we establish variants of Popa and Schnell's global generation theorem, Viehweg's weak positivity theorem and Fujino's global generation theorem in positive characteristic. As a byproduct, we show that Iitaka's conjecture holds true in positive characteristic when the base space is of general type and the canonical divisor of the total space is relatively semi-ample.


title: I2D2: Inductive Knowledge Distillation with NeuroLogic and Self-Imitation

abstract: Commonsense capabilities of pre-trained language models dramatically improve with scale, leading many to believe that scale is the only winning recipe. But is it? Here, we investigate an alternative that a priori seems impossible: can smaller language models (e.g., GPT-2) win over models that are orders of magnitude larger and better (e.g., GPT-3), if powered with novel commonsense distillation algorithms? The key intellectual challenge is to design a learning algorithm that achieve a competitive level of commonsense acquisition, without relying on the benefits of scale. In particular, we study generative models of commonsense knowledge, focusing on the task of generating generics, statements of commonsense facts about everyday concepts, e.g., birds can fly. We introduce I2D2, a novel commonsense distillation framework that loosely follows the Symbolic Knowledge Distillation of West et al. but breaks the dependence on the extreme-scale teacher model with two innovations: (1) the novel adaptation of NeuroLogic Decoding to enhance the generation quality of the weak, off-the-shelf language models, and (2) self-imitation learning to iteratively learn from the model's own enhanced commonsense acquisition capabilities. Empirical results suggest that scale is not the only way, as novel algorithms can be a promising alternative. Moreover, our study leads to a new corpus of generics, Gen-A-tomic, that is the largest and highest quality available to date.


title: ColoristaNet for Photorealistic Video Style Transfer

abstract: Photorealistic style transfer aims to transfer the artistic style of an image onto an input image or video while keeping photorealism. In this paper, we think it's the summary statistics matching scheme in existing algorithms that leads to unrealistic stylization. To avoid employing the popular Gram loss, we propose a self-supervised style transfer framework, which contains a style removal part and a style restoration part. The style removal network removes the original image styles, and the style restoration network recovers image styles in a supervised manner. Meanwhile, to address the problems in current feature transformation methods, we propose decoupled instance normalization to decompose feature transformation into style whitening and restylization. It works quite well in ColoristaNet and can transfer image styles efficiently while keeping photorealism. To ensure temporal coherency, we also incorporate optical flow methods and ConvLSTM to embed contextual information. Experiments demonstrates that ColoristaNet can achieve better stylization effects when compared with state-of-the-art algorithms.


title: Natural Language to Code Generation in Interactive Data Science Notebooks

abstract: Computational notebooks, such as Jupyter notebooks, are interactive computing environments that are ubiquitous among data scientists to perform data wrangling and analytic tasks. To measure the performance of AI pair programmers that automatically synthesize programs for those tasks given natural language (NL) intents from users, we build ARCADE, a benchmark of 1082 code generation problems using the pandas data analysis framework in data science notebooks. ARCADE features multiple rounds of NL-to-code problems from the same notebook. It requires a model to understand rich multi-modal contexts, such as existing notebook cells and their execution states as well as previous turns of interaction. To establish a strong baseline on this challenging task, we develop PaChiNCo, a 62B code language model (LM) for Python computational notebooks, which significantly outperforms public code LMs. Finally, we explore few-shot prompting strategies to elicit better code with step-by-step decomposition and NL explanation, showing the potential to improve the diversity and explainability of model predictions.


title: Shimura operators for certain Hermitian symmetric superpairs

abstract: In this paper, we give a partial super analog of a result obtained by S. Sahi and G. Zhang relating Shimura operators and certain interpolation symmetric polynomials. In particular, we study the pair $(\mathfrak{gl}(2p|2q), \mathfrak{gl}(p|q)\oplus\mathfrak{gl}(p|q))$, define the super Shimura operators in $\mathfrak{U}(\mathfrak{g})^\mathfrak{k}$, and prove that their images under the Harish-Chandra homomorphism are up to constant equal to Sergeev and Veselov's Type $BC$ interpolation supersymmetric polynomials, under the assumption that a family of irreducible $\mathfrak{g}$-modules are spherical. We prove the sphericity using the notion of quasi-sphericity in the Kac module construction in the case $p=q=1$.


title: On the associated spaces for the weighted altered Ces\`aro space Ch$_{\infty,w}(I)$

abstract: We study weigted altered Ces\`aro space Ch$_{\infty,w}(I)$, which is non-ideal enlargement of the usual Ces\`aro space. We prove the connection of the space with one weighted Sobolev space of first order on real line and give characterization of associate spaces for the space.


title: Discovering Language Model Behaviors with Model-Written Evaluations

abstract: As language models (LMs) scale, they develop many novel behaviors, good and bad, exacerbating the need to evaluate how they behave. Prior work creates evaluations with crowdwork (which is time-consuming and expensive) or existing data sources (which are not always available). Here, we automatically generate evaluations with LMs. We explore approaches with varying amounts of human effort, from instructing LMs to write yes/no questions to making complex Winogender schemas with multiple stages of LM-based generation and filtering. Crowdworkers rate the examples as highly relevant and agree with 90-100% of labels, sometimes more so than corresponding human-written datasets. We generate 154 datasets and discover new cases of inverse scaling where LMs get worse with size. Larger LMs repeat back a dialog user's preferred answer ("sycophancy") and express greater desire to pursue concerning goals like resource acquisition and goal preservation. We also find some of the first examples of inverse scaling in RL from Human Feedback (RLHF), where more RLHF makes LMs worse. For example, RLHF makes LMs express stronger political views (on gun rights and immigration) and a greater desire to avoid shut down. Overall, LM-written evaluations are high-quality and let us quickly discover many novel LM behaviors.


title: Mind the Knowledge Gap: A Survey of Knowledge-enhanced Dialogue Systems

abstract: Many dialogue systems (DSs) lack characteristics humans have, such as emotion perception, factuality, and informativeness. Enhancing DSs with knowledge alleviates this problem, but, as many ways of doing so exist, keeping track of all proposed methods is difficult. Here, we present the first survey of knowledge-enhanced DSs. We define three categories of systems - internal, external, and hybrid - based on the knowledge they use. We survey the motivation for enhancing DSs with knowledge, used datasets, and methods for knowledge search, knowledge encoding, and knowledge incorporation. Finally, we propose how to improve existing systems based on theories from linguistics and cognitive science.


title: Accommodating the CDF W-boson Mass Measurement in the Beautiful Mirror Model

abstract: The W-boson mass measurement recently reported by the CDF II experiment exhibits a significant deviation from both the Standard Model prediction and previous measurements. There is also a long-standing deviation between the Standard Model prediction of the forward-backward asymmetry of the bottom quark ($A^{0,b}_{\rm FB}$) and its measurement at the LEP experiment. The Beautiful Mirror model, proposed to resolve the $A^{0,b}_{\rm FB}$ discrepancy, introduces vector-like quarks that modify the W-boson mass at one-loop level. In this study, we find an interesting region in the model parameter space that could potentially explain both discrepancies, which puts the new quarks in the multi-TeV region. This region is mostly consistent with current LHC bounds from direct searches and Higgs coupling measurements, but will be thoroughly probed at the High Luminosity LHC. As such, the Beautiful Mirror model as an explanation of the $m_W$ and $A^{0,b}_{\rm FB}$ discrepancies could be confirmed or falsified in the near future.


title: TextGrad: Advancing Robustness Evaluation in NLP by Gradient-Driven Optimization

abstract: Robustness evaluation against adversarial examples has become increasingly important to unveil the trustworthiness of the prevailing deep models in natural language processing (NLP). However, in contrast to the computer vision domain where the first-order projected gradient descent (PGD) is used as the benchmark approach to generate adversarial examples for robustness evaluation, there lacks a principled first-order gradient-based robustness evaluation framework in NLP. The emerging optimization challenges lie in 1) the discrete nature of textual inputs together with the strong coupling between the perturbation location and the actual content, and 2) the additional constraint that the perturbed text should be fluent and achieve a low perplexity under a language model. These challenges make the development of PGD-like NLP attacks difficult. To bridge the gap, we propose TextGrad, a new attack generator using gradient-driven optimization, supporting high-accuracy and high-quality assessment of adversarial robustness in NLP. Specifically, we address the aforementioned challenges in a unified optimization framework. And we develop an effective convex relaxation method to co-optimize the continuously-relaxed site selection and perturbation variables and leverage an effective sampling method to establish an accurate mapping from the continuous optimization variables to the discrete textual perturbations. Moreover, as a first-order attack generation method, TextGrad can be baked into adversarial training to further improve the robustness of NLP models. Extensive experiments are provided to demonstrate the effectiveness of TextGrad not only in attack generation for robustness evaluation but also in adversarial defense.


title: Multi hash embeddings in spaCy

abstract: The distributed representation of symbols is one of the key technologies in machine learning systems today, playing a pivotal role in modern natural language processing. Traditional word embeddings associate a separate vector with each word. While this approach is simple and leads to good performance, it requires a lot of memory for representing a large vocabulary. To reduce the memory footprint, the default embedding layer in spaCy is a hash embeddings layer. It is a stochastic approximation of traditional embeddings that provides unique vectors for a large number of words without explicitly storing a separate vector for each of them. To be able to compute meaningful representations for both known and unknown words, hash embeddings represent each word as a summary of the normalized word form, subword information and word shape. Together, these features produce a multi-embedding of a word. In this technical report we lay out a bit of history and introduce the embedding methods in spaCy in detail. Second, we critically evaluate the hash embedding architecture with multi-embeddings on Named Entity Recognition datasets from a variety of domains and languages. The experiments validate most key design choices behind spaCy's embedders, but we also uncover a few surprising results.


title: Nonlocal $p$-Kirchhoff equations with singular and critical nonlinearity terms

abstract: The objective of this work is to investigate a nonlocal problem involving singular and critical nonlinearities:\begin{equation*}\left\{\begin{array}{ll} ([u]_{s,p}^p)^{\sigma-1}(-\Delta)^s_p u = \frac{\lambda}{u^{\gamma}}+u^{ p_s^{*}-1 }\quad \text{in }\Omega,\\ u>0,\;\;\;\;\quad \text{in }\Omega,\\ u=0,\;\;\;\;\quad \text{in }\mathbb{R}^{N}\setminus \Omega,\end{array} \right. \end{equation*} where $\Omega$ is a bounded domain in $\mathbb{R}^N$ with the smooth boundary $\partial \Omega$, $0 < s< 1<p<\infty$, $N> sp$, $1<\sigma<p^*_s/p,$ with $p_s^{*}=\frac{Np}{N-ps},$ $ (- \Delta )_p^s$ is the nonlocal $p$-Laplace operator and $[u]_{s,p}$ is the Gagliardo $p$-seminorm. We combine some variational techniques with a truncation argument in order to show the existence and the multiplicity of positive solutions to the above problem.


title: PromptBoosting: Black-Box Text Classification with Ten Forward Passes

abstract: We describe PromptBoosting, a query-efficient procedure for building a text classifier from a neural language model (LM) without access to the LM's parameters, gradients, or hidden representations. This form of "black-box" classifier training has become increasingly important as the cost of training and inference in large-scale LMs grows. But existing black-box LM classifier learning approaches are themselves computationally inefficient, typically specializing LMs to the target task by searching in a large space of (discrete or continuous) prompts using zeroth-order optimization methods. Instead of directly optimizing in prompt space, PromptBoosting obtains a small pool of prompts via a gradient-free approach and then constructs a large pool of weak learners by pairing these prompts with different elements of the LM's output distribution. These weak learners are then ensembled using the AdaBoost algorithm. The entire learning process requires only a small number of forward passes and no backward pass. Experiments show that PromptBoosting achieves state-of-the-art performance in multiple black-box few-shot classification tasks, and matches or outperforms full fine-tuning in both few-shot and standard learning paradigms, while training 10x faster than existing black-box methods.


title: CHAD: Charlotte Anomaly Dataset

abstract: In recent years, we have seen a significant interest in data-driven deep learning approaches for video anomaly detection, where an algorithm must determine if specific frames of a video contain abnormal behaviors. However, video anomaly detection is particularly context-specific, and the availability of representative datasets heavily limits real-world accuracy. Additionally, the metrics currently reported by most state-of-the-art methods often do not reflect how well the model will perform in real-world scenarios. In this article, we present the Charlotte Anomaly Dataset (CHAD). CHAD is a high-resolution, multi-camera anomaly dataset in a commercial parking lot setting. In addition to frame-level anomaly labels, CHAD is the first anomaly dataset to include bounding box, identity, and pose annotations for each actor. This is especially beneficial for skeleton-based anomaly detection, which is useful for its lower computational demand in real-world settings. CHAD is also the first anomaly dataset to contain multiple views of the same scene. With four camera views and over 1.15 million frames, CHAD is the largest fully annotated anomaly detection dataset including person annotations, collected from continuous video streams from stationary cameras for smart video surveillance applications. To demonstrate the efficacy of CHAD for training and evaluation, we benchmark two state-of-the-art skeleton-based anomaly detection algorithms on CHAD and provide comprehensive analysis, including both quantitative results and qualitative examination. The dataset is available at https://github.com/TeCSAR-UNCC/CHAD.


title: Classical off-shell currents

abstract: We consider tree-level off-shell currents of two massive particles and $n$ massless bosons in the classical limit, which can be fused into the classical limit of $n+2$ scattering amplitudes. We show that dressing up the current with coherent wave-functions associated with the massive particles leads to the recently proposed Worldline Quantum Field Theory (WQFT) path integral. The currents thus constructed encode solutions of classical equations of motion so they can be applied to contexts where the classical limit is relevant, including hard thermal loops. We give several examples of these currents in scalar, gauge and gravitational theories.


title: Marginal Probability-Based Integer Handling for CMA-ES Tackling Single-and Multi-Objective Mixed-Integer Black-Box Optimization

abstract: This study targets the mixed-integer black-box optimization (MI-BBO) problem where continuous and integer variables should be optimized simultaneously. The CMA-ES, our focus in this study, is a population-based stochastic search method that samples solution candidates from a multivariate Gaussian distribution (MGD), which shows excellent performance in continuous BBO. The parameters of MGD, mean and (co)variance, are updated based on the evaluation value of candidate solutions in the CMA-ES. If the CMA-ES is applied to the MI-BBO with straightforward discretization, however, the variance corresponding to the integer variables becomes much smaller than the granularity of the discretization before reaching the optimal solution, which leads to the stagnation of the optimization. In particular, when binary variables are included in the problem, this stagnation more likely occurs because the granularity of the discretization becomes wider, and the existing integer handling for the CMA-ES does not address this stagnation. To overcome these limitations, we propose a simple integer handling for the CMA-ES based on lower-bounding the marginal probabilities associated with the generation of integer variables in the MGD. The numerical experiments on the MI-BBO benchmark problems demonstrate the efficiency and robustness of the proposed method. Furthermore, in order to demonstrate the generality of the idea of the proposed method, in addition to the single-objective optimization case, we incorporate it into multi-objective CMA-ES and verify its performance on bi-objective mixed-integer benchmark problems.


title: Mixed order elliptic problems driven by a singularity, a Choquard type term and a discontinuous power nonlinearity with critical variable exponents

abstract: We prove the existence of solutions for the following critical Choquard type problem with a variable-order fractional Laplacian and a variable singular exponent \begin{align*} \begin{split} a(-\Delta)^{s(\cdot)}u+b(-\Delta)u&=\lambda |u|^{-\gamma(x)-1}u+\left(\int_{\Omega}\frac{F(y,u(y))}{|x-y|^{\mu(x,y)}}dy\right)f(x,u) & +\eta H(u-\alpha)|u|^{r(x)-2}u,~\text{in}~\Omega, u&=0,~\text{in}~\mathbb{R}^N\setminus\Omega. \end{split} \end{align*} where $a(-\Delta)^{s(\cdot)}+b(-\Delta)$ is a mixed operator with variable order $s(\cdot):\mathbb{R}^{2N}\rightarrow (0,1)$, $a, b\geq 0$ with $a+b>0$, $H$ is the Heaviside function (i.e., $H(t)=0$ if $t\leq0$, $H(t) = 1$ if $t>0),$ $\Omega\subset\mathbb{R}^N$ is a bounded domain, $N\geq 2$, $\lambda>0$, $0<\gamma^{-}=\underset{x\in\bar{\Omega}}{\inf}\{\gamma(x)\}\leq\gamma(x)\leq\gamma^+=\underset{x\in\bar{\Omega}}{\sup}\{\gamma(x)\}<1$, $\mu$ is a continuous variable parameter, and $F$ is the primitive function of a suitable $f$. The variable exponent $r(x)$ can be equal to the critical exponent $2_{s}^*(x)=\frac{2N}{N-2\bar{s}(x)}$ with $\bar{s}(x)=s(x,x)$ for some $x\in\bar{\Omega},$ and $\eta$ is a positive parameter. We also show that as $\alpha\rightarrow 0^+$, the corresponding solution converges to a solution for the above problem with $\alpha=0$.


title: Out-of-domain GAN inversion via Invertibility Decomposition for Photo-Realistic Human Face Manipulation

abstract: The fidelity of Generative Adversarial Networks (GAN) inversion is impeded by Out-Of-Domain (OOD) areas (e.g., background, accessories) in the image. Detecting the OOD areas beyond the generation ability of the pre-trained model and blending these regions with the input image can enhance fidelity. The "invertibility mask" figures out these OOD areas, and existing methods predict the mask with the reconstruction error. However, the estimated mask is usually inaccurate due to the influence of the reconstruction error in the In-Domain (ID) area. In this paper, we propose a novel framework that enhances the fidelity of human face inversion by designing a new module to decompose the input images to ID and OOD partitions with invertibility masks. Unlike previous works, our invertibility detector is simultaneously learned with a spatial alignment module. We iteratively align the generated features to the input geometry and reduce the reconstruction error in the ID regions. Thus, the OOD areas are more distinguishable and can be precisely predicted. Then, we improve the fidelity of our results by blending the OOD areas from the input image with the ID GAN inversion results. Our method produces photo-realistic results for real-world human face image inversion and manipulation. Extensive experiments demonstrate our method's superiority over existing methods in the quality of GAN inversion and attribute manipulation.


title: Focal-UNet: UNet-like Focal Modulation for Medical Image Segmentation

abstract: Recently, many attempts have been made to construct a transformer base U-shaped architecture, and new methods have been proposed that outperformed CNN-based rivals. However, serious problems such as blockiness and cropped edges in predicted masks remain because of transformers' patch partitioning operations. In this work, we propose a new U-shaped architecture for medical image segmentation with the help of the newly introduced focal modulation mechanism. The proposed architecture has asymmetric depths for the encoder and decoder. Due to the ability of the focal module to aggregate local and global features, our model could simultaneously benefit the wide receptive field of transformers and local viewing of CNNs. This helps the proposed method balance the local and global feature usage to outperform one of the most powerful transformer-based U-shaped models called Swin-UNet. We achieved a 1.68% higher DICE score and a 0.89 better HD metric on the Synapse dataset. Also, with extremely limited data, we had a 4.25% higher DICE score on the NeoPolyp dataset. Our implementations are available at: https://github.com/givkashi/Focal-UNet


title: Deterministic All-versus-nothing Proofs of Bell Nonlocality Induced from Qudit Non-stabilizer States

abstract: Recently, a kind of deterministic all-versus-nothing proof of Bell nonlocality induced from the qubit non-stabilizer state was proposed, breaking the tradition that deterministic all-versus-nothing proofs are always derived from stabilizer states. A trivial generalization to the qudit (d is even) version is by using a special basis map, but such a proof can still be reduced to the qubit version. So far, whether high dimensional non-stabilizer states can induce nontrivial deterministic all-versus-nothing proofs of Bell nonlocality remains unknown. Here we present an example induced from a specific four-qudit non-stabilizer state (with d = 4), showing that such proofs can be constructed in high dimensional scenarios as well.


title: Diversity Analysis of Multi-Aperture UWOC System over EGG Channel with Pointing Errors

abstract: Single aperture reception for underwater wireless optical communication (UWOC) is insufficient to deal with oceanic turbulence caused by the combined effect of temperature gradient and air bubbles. This paper analyzes the performance of multi-aperture reception for UWOC under channel irradiance fluctuations characterized by the mixture exponential generalized gamma (EGG) distribution. We analyze the system performance by employing both selection combining (SC) and maximum ratio combining (MRC) receivers. In particular, we derive the exact outage probability expression for the SC-based multi-aperture UWOC receiver and obtain an upper bound on the outage probability for the MRC-based multi-aperture UWOC receiver. With the help of the derived results, we analytically obtain the diversity order of the considered multi-aperture UWOC system.


title: Two-component jet model for multiwavelength afterglow emission of the extremely energetic burst GRB 221009A

abstract: Recently gamma-ray bursts (GRBs) have been detected at very high-energy (VHE) gamma-rays by imaging atmospheric Cherenkov telescopes, and a two-component jet model has often been invoked to explain multiwavelength data. In this work, multiwavelength afterglow emission from an extremely bright GRB, GRB 221009A, is examined. The isotropic-equivalent gamma-ray energy of this event is among the largest, which suggests that similarly to previous VHE GRBs, the jet opening angle is so small that the collimation-corrected gamma-ray energy is nominal. Afterglow emission from such a narrow jet decays too rapidly, especially if the jet propagates into uniform circumburst material. In the two-component jet model, another wide jet component with a smaller Lorentz factor dominates late-time afterglow emission, and we show that multiwavelength data of GRB 221009A can be explained by narrow and wide jets with opening angles similar to those employed for other VHE GRBs. We also discuss how model degeneracies can be disentangled with observations.


title: Exchange interactions in iron and nickel: DFT+DMFT study in paramagnetic phase

abstract: We analyze possible ways to calculate magnetic exchange interactions within the density functional theory plus dynamical mean-field theory (DFT+DMFT) approach in the paramagnetic phase. Using the susceptibilities obtained within the ladder DMFT approach together with the random phase approximation result for the Heisenberg model, we obtain bilinear exchange interactions. We show that the earlier obtained result of Stepanov et al. [Phys. Rev. Lett. 121, 037204 (2018); Phys. Rev. B 105, 155151 (2022)] corresponds to considering individual magnetic moments in each orbital in the leading-order approximation in the non-local correlations. We consider a more general approach and apply it to evaluate the effective magnetic parameters of iron and nickel. We show that the analysis, based on the inverse orbital-summed susceptibilities, yields reasonable results for both, weak and strong magnets. For iron we find, in the low-temperature limit, the exchange interaction $J_0\simeq 0.20$ eV, while for nickel we obtain $J_0\simeq 1.2$ eV. The considered method also allows one to describe the spin-wave dispersion at temperatures $T\sim T_C$, which is in agreement with the experimental data.


title: UAVCAN Dataset Description

abstract: We collected attack data from unmanned vehicles using the UAVCAN protocol, and public and described technical documents. A testbed was built with a drone using PX4, and a total of three attacks, Flooding, Fuzzy, and Replay, were performed. The attack was carried out in a total of 10 scenarios. We expect that the attack data will help develop technologies such as anomaly detection to solve the security threat problem of drones.


title: Generalization of Completely Monotone Conjecture for Tsallis entropy

abstract: We generalize the completely monotone conjecture ([CG15]) from Shannon entropy to the Tsallis entropy up for orders up to at least four. To this end, we employ the algorithm ([J\"un16, JM06a]) which employs the technique of systematic integrations-by-parts.


title: The One-Inclusion Graph Algorithm is not Always Optimal

abstract: The one-inclusion graph algorithm of Haussler, Littlestone, and Warmuth achieves an optimal in-expectation risk bound in the standard PAC classification setup. In one of the first COLT open problems, Warmuth conjectured that this prediction strategy always implies an optimal high probability bound on the risk, and hence is also an optimal PAC algorithm. We refute this conjecture in the strongest sense: for any practically interesting Vapnik-Chervonenkis class, we provide an in-expectation optimal one-inclusion graph algorithm whose high probability risk bound cannot go beyond that implied by Markov's inequality. Our construction of these poorly performing one-inclusion graph algorithms uses Varshamov-Tenengolts error correcting codes. Our negative result has several implications. First, it shows that the same poor high-probability performance is inherited by several recent prediction strategies based on generalizations of the one-inclusion graph algorithm. Second, our analysis shows yet another statistical problem that enjoys an estimator that is provably optimal in expectation via a leave-one-out argument, but fails in the high-probability regime. This discrepancy occurs despite the boundedness of the binary loss for which arguments based on concentration inequalities often provide sharp high probability risk bounds.


title: Very Large Language Model as a Unified Methodology of Text Mining

abstract: Text data mining is the process of deriving essential information from language text. Typical text mining tasks include text categorization, text clustering, topic modeling, information extraction, and text summarization. Various data sets are collected and various algorithms are designed for the different types of tasks. In this paper, I present a blue sky idea that very large language model (VLLM) will become an effective unified methodology of text mining. I discuss at least three advantages of this new methodology against conventional methods. Finally I discuss the challenges in the design and development of VLLM techniques for text mining.


title: Statistical Dataset Evaluation: Reliability, Difficulty, and Validity

abstract: Datasets serve as crucial training resources and model performance trackers. However, existing datasets have exposed a plethora of problems, inducing biased models and unreliable evaluation results. In this paper, we propose a model-agnostic dataset evaluation framework for automatic dataset quality evaluation. We seek the statistical properties of the datasets and address three fundamental dimensions: reliability, difficulty, and validity, following a classical testing theory. Taking the Named Entity Recognition (NER) datasets as a case study, we introduce $9$ statistical metrics for a statistical dataset evaluation framework. Experimental results and human evaluation validate that our evaluation framework effectively assesses various aspects of the dataset quality. Furthermore, we study how the dataset scores on our statistical metrics affect the model performance, and appeal for dataset quality evaluation or targeted dataset improvement before training or testing models.


title: Learning Object-level Point Augmentor for Semi-supervised 3D Object Detection

abstract: Semi-supervised object detection is important for 3D scene understanding because obtaining large-scale 3D bounding box annotations on point clouds is time-consuming and labor-intensive. Existing semi-supervised methods usually employ teacher-student knowledge distillation together with an augmentation strategy to leverage unlabeled point clouds. However, these methods adopt global augmentation with scene-level transformations and hence are sub-optimal for instance-level object detection. In this work, we propose an object-level point augmentor (OPA) that performs local transformations for semi-supervised 3D object detection. In this way, the resultant augmentor is derived to emphasize object instances rather than irrelevant backgrounds, making the augmented data more useful for object detector training. Extensive experiments on the ScanNet and SUN RGB-D datasets show that the proposed OPA performs favorably against the state-of-the-art methods under various experimental settings. The source code will be available at https://github.com/nomiaro/OPA.


title: A Makespan and Energy-Aware Scheduling Algorithm for Workflows under Reliability Constraint on a Multiprocessor Platform

abstract: Many scientific workflows can be modeled as a Directed Acyclic Graph (henceforth mentioned as DAG) where the nodes represent individual tasks, and the directed edges represent data and control flow dependency between two tasks. Due to the large volume of data, multiprocessor systems are often used to execute these workflows. Hence, scheduling the tasks of a workflow to achieve certain goals (such as minimizing the makespan, energy, or maximizing reliability, processor utilization, etc.) remains an active area of research in embedded systems. In this paper, we propose a workflow scheduling algorithm to minimize the makespan and energy for a given reliability constraint. If the reliability constraint is higher, we further propose Energy Aware Fault Tolerant Scheduling (henceforth mentioned as EAFTS) based on active replication. Additionally, given that the allocation of task nodes to processors is known, we develop a frequency allocation algorithm that assigns frequencies to the processors. Mathematically we show that our algorithms can work for any satisfiable reliability constraint. We analyze the proposed solution approaches to understand their time requirements. Experiments with real-world Workflows show that our algorithms, MERT and EAFTS, outperform the state-of-art approaches. In particular, we observe that MERT gives 3.12% lesser energy consumption and 14.14% lesser makespan on average. In the fault-tolerant setting, our method EAFTS gives 11.11% lesser energy consumption on average when compared with the state-of-art approaches.


title: Lattice Study of Spectator Effects in $b$-hadron Decays

abstract: The Heavy Quark Expansion (HQE) gives an expansion of inclusive decay rates of $b$-hadrons as a simultaneous series in $\alpha_s$ and $1/m_b$, in terms of perturbatively defined coefficients and non-perturbative matrix elements. Spectator effects arise from the dimension-$6$ operators in the HQE in which along with the heavy quark, a light spectator quark from the hadron participates in the weak decay. In this work, we provide a lattice determination of the bare matrix elements that contribute to the spectator effects for the $B^+$-meson, $B_d$-meson and the $\Lambda_b$-baryon. The computations were performed on two separate lattice spacings of the RBC-UKQCD (2+1)-flavor Domain Wall Fermion ensembles. Renormalization and continuum extrapolation of the matrix elements have not yet been computed, and are left to future work.


title: COVID-19 Detection Based on Self-Supervised Transfer Learning Using Chest X-Ray Images

abstract: Purpose: Considering several patients screened due to COVID-19 pandemic, computer-aided detection has strong potential in assisting clinical workflow efficiency and reducing the incidence of infections among radiologists and healthcare providers. Since many confirmed COVID-19 cases present radiological findings of pneumonia, radiologic examinations can be useful for fast detection. Therefore, chest radiography can be used to fast screen COVID-19 during the patient triage, thereby determining the priority of patient's care to help saturated medical facilities in a pandemic situation. Methods: In this paper, we propose a new learning scheme called self-supervised transfer learning for detecting COVID-19 from chest X-ray (CXR) images. We compared six self-supervised learning (SSL) methods (Cross, BYOL, SimSiam, SimCLR, PIRL-jigsaw, and PIRL-rotation) with the proposed method. Additionally, we compared six pretrained DCNNs (ResNet18, ResNet50, ResNet101, CheXNet, DenseNet201, and InceptionV3) with the proposed method. We provide quantitative evaluation on the largest open COVID-19 CXR dataset and qualitative results for visual inspection. Results: Our method achieved a harmonic mean (HM) score of 0.985, AUC of 0.999, and four-class accuracy of 0.953. We also used the visualization technique Grad-CAM++ to generate visual explanations of different classes of CXR images with the proposed method to increase the interpretability. Conclusions: Our method shows that the knowledge learned from natural images using transfer learning is beneficial for SSL of the CXR images and boosts the performance of representation learning for COVID-19 detection. Our method promises to reduce the incidence of infections among radiologists and healthcare providers.


title: Building Height Prediction with Instance Segmentation

abstract: Extracting building heights from satellite images is an active research area used in many fields such as telecommunications, city planning, etc. Many studies utilize DSM (Digital Surface Models) generated with lidars or stereo images for this purpose. Predicting the height of the buildings using only RGB images is challenging due to the insufficient amount of data, low data quality, variations of building types, different angles of light and shadow, etc. In this study, we present an instance segmentation-based building height extraction method to predict building masks with their respective heights from a single RGB satellite image. We used satellite images with building height annotations of certain cities along with an open-source satellite dataset with the transfer learning approach. We reached, the bounding box mAP 59, the mask mAP 52.6, and the average accuracy value of 70% for buildings belonging to each height class in our test set.


title: MIGA: A Unified Multi-task Generation Framework for Conversational Text-to-SQL

abstract: Conversational text-to-SQL is designed to translate multi-turn natural language questions into their corresponding SQL queries. Most state-of-the-art conversational text- to-SQL methods are incompatible with generative pre-trained language models (PLMs), such as T5. In this paper, we present a two-stage unified MultI-task Generation frAmework (MIGA) that leverages PLMs' ability to tackle conversational text-to-SQL. In the pre-training stage, MIGA first decomposes the main task into several related sub-tasks and then unifies them into the same sequence-to-sequence (Seq2Seq) paradigm with task-specific natural language prompts to boost the main task from multi-task training. Later in the fine-tuning stage, we propose four SQL perturbations to alleviate the error propagation problem. MIGA tends to achieve state-of-the-art performance on two benchmarks (SparC and CoSQL). We also provide extensive analyses and discussions to shed light on some new perspectives for conversational text-to-SQL.


title: The number of abundant elements in union-closed families without small sets

abstract: We let $\mathcal{F}$ be a finite family of sets closed under taking unions and $\emptyset \not \in \mathcal{F}$, and call an element abundant if it belongs to more than half of the sets of $\mathcal{F}$. In this notation, the classical Frankl's conjecture (1979) asserts that $\mathcal{F}$ has an abundant element. As possible strengthenings, Poonen (1992) conjectured that if $\mathcal{F}$ has precisely one abundant element, then this element belongs to each set of $\mathcal{F}$, and Cui and Hu (2019) investigated whether $\mathcal{F}$ has at least $k$ abundant elements if a smallest set of $\mathcal{F}$ is of size at least $k$. Cui and Hu conjectured that this holds for $k = 2$ and asked whether this also holds for the cases $k = 3$ and $k > \frac{n}{2}$ where $n$ is the size of the largest set of $\mathcal{F}$. We show that $\mathcal{F}$ has at least $k$ abundant elements if $k \geq n - 3$, and that $\mathcal{F}$ has at least $k - 1$ abundant elements if $k = n - 4$, and we construct a union-closed family with precisely $k - 1$ abundant elements for every $k$ and $n$ satisfying $n - 4 \geq k \geq 3$ and $n \geq 9$ (and for $k = 3$ and $n = 8$). We also note that $\mathcal{F}$ always has at least $\min \{ n, 2k - n + 1 \}$ abundant elements. On the other hand, we construct a union-closed family with precisely two abundant elements for every $k$ and $n$ satisfying $n \geq \max \{ 3, 5k-4 \}$. Lastly, we show that Cui and Hu's conjecture for $k = 2$ stands between Frankl's conjecture and Poonen's conjecture.


title: Superimposed Channel Estimation in OTFS Modulation Using Compressive Sensing

abstract: Orthogonal time frequency space (OTFS) technique is a two-dimensional modulation method that multiplexes information symbols in the delay-Doppler (DD) domain. OTFS combats high Doppler shift existing in high speed wireless communication. However, conventional channel estimation in OTFS suffers from high pilot overhead because guard symbols occupy a significant part of the DD domain grids. In this paper, a superimposed channel estimation is proposed which can completely estimate channel parameters without considering pilot overhead and performance degradation. As the channel state information (CSI) in the DD domain is sparse, a sparse recovery algorithm orthogonal matching pursuit (OMP) is used. Besides, our proposed method does not suffer from high peak to average power ratio (PAPR). To detect information symbols, a message passing (MP) detector, which exploits the sparsity of DD channel representation, is employed.


title: Boosting Automatic COVID-19 Detection Performance with Self-Supervised Learning and Batch Knowledge Ensembling

abstract: Problem: Detecting COVID-19 from chest X-Ray (CXR) images has become one of the fastest and easiest methods for detecting COVID-19. However, the existing methods usually use supervised transfer learning from natural images as a pretraining process. These methods do not consider the unique features of COVID-19 and the similar features between COVID-19 and other pneumonia. Aim: In this paper, we want to design a novel high-accuracy COVID-19 detection method that uses CXR images, which can consider the unique features of COVID-19 and the similar features between COVID-19 and other pneumonia. Methods: Our method consists of two phases. One is self-supervised learning-based pertaining; the other is batch knowledge ensembling-based fine-tuning. Self-supervised learning-based pretraining can learn distinguished representations from CXR images without manually annotated labels. On the other hand, batch knowledge ensembling-based fine-tuning can utilize category knowledge of images in a batch according to their visual feature similarities to improve detection performance. Unlike our previous implementation, we introduce batch knowledge ensembling into the fine-tuning phase, reducing the memory used in self-supervised learning and improving COVID-19 detection accuracy. Results: On two public COVID-19 CXR datasets, namely, a large dataset and an unbalanced dataset, our method exhibited promising COVID-19 detection performance. Our method maintains high detection accuracy even when annotated CXR training images are reduced significantly (e.g., using only 10% of the original dataset). In addition, our method is insensitive to changes in hyperparameters.


title: APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning

abstract: Logical reasoning of text is an important ability that requires understanding the information present in the text, their interconnections, and then reasoning through them to infer new conclusions. Prior works on improving the logical reasoning ability of language models require complex processing of training data (e.g., aligning symbolic knowledge to text), yielding task-specific data augmentation solutions that restrict the learning of general logical reasoning skills. In this work, we propose APOLLO, an adaptively pretrained language model that has improved logical reasoning abilities. We select a subset of Wikipedia, based on a set of logical inference keywords, for continued pretraining of a language model. We use two self-supervised loss functions: a modified masked language modeling loss where only specific parts-of-speech words, that would likely require more reasoning than basic language understanding, are masked, and a sentence-level classification loss that teaches the model to distinguish between entailment and contradiction types of sentences. The proposed training paradigm is both simple and independent of task formats. We demonstrate the effectiveness of APOLLO by comparing it with prior baselines on two logical reasoning datasets. APOLLO performs comparably on ReClor and outperforms baselines on LogiQA. The code base has been made publicly available.


title: Destabilization mechanism of the collisional microtearing mode in magnetized slab plasmas

abstract: The destabilization mechanism of the collisional microtearing mode driven by an electron temperature gradient is studied using theoretical analyses and gyrokinetic simulations including a comprehensive collision model, in magnetized slab plasmas. The essential destabilization mechanism of the microtearing mode is the lag of the parallel inductive electric field behind the magnetic field owing to the time-dependent thermal force and inertia force induced by the velocity-dependent electron--ion collisions. Quantitative measurements of the collision effects enable us to identify the unstable regime against collisionality and reveal the relevance of the collisional microtearing mode with existing toroidal experiments. A nonlinear simulation demonstrates that the microtearing mode does not drive magnetic reconnection with the explosive release and conversion of the magnetic energy.


title: An Investigation of Indian Native Language Phonemic Influences on L2 English Pronunciations

abstract: Speech systems are sensitive to accent variations. This is especially challenging in the Indian context, with an abundance of languages but a dearth of linguistic studies characterising pronunciation variations. The growing number of L2 English speakers in India reinforces the need to study accents and L1-L2 interactions. We investigate the accents of Indian English (IE) speakers and report in detail our observations, both specific and common to all regions. In particular, we observe the phonemic variations and phonotactics occurring in the speakers' native languages and apply this to their English pronunciations. We demonstrate the influence of 18 Indian languages on IE by comparing the native language pronunciations with IE pronunciations obtained jointly from existing literature studies and phonetically annotated speech of 80 speakers. Consequently, we are able to validate the intuitions of Indian language influences on IE pronunciations by justifying pronunciation rules from the perspective of Indian language phonology. We obtain a comprehensive description in terms of universal and region-specific characteristics of IE, which facilitates accent conversion and adaptation of existing ASR and TTS systems to different Indian accents.


title: Localizability of the approximation method

abstract: We use the approximation method of Razborov to analyze the locality barrier which arose from the investigation of the hardness magnification approach to complexity lower bounds. Adapting a limitation of the approximation method obtained by Razborov, we show that in many cases it is not possible to combine the approximation method with typical (localizable) hardness magnification theorems to derive strong circuit lower bounds. In particular, one cannot use the approximation method to derive an extremely strong constant-depth circuit lower bound and then magnify it to an $NC^1$ lower bound for an explicit function. To prove this we show that lower bounds obtained by the approximation method are in many cases localizable in the sense that they imply lower bounds for circuits which are allowed to use arbitrarily powerful oracles with small fan-in.


title: Data mining techniques on astronomical spectra data. II : Classification Analysis

abstract: Classification is valuable and necessary in spectral analysis, especially for data-driven mining. Along with the rapid development of spectral surveys, a variety of classification techniques have been successfully applied to astronomical data processing. However, it is difficult to select an appropriate classification method in practical scenarios due to the different algorithmic ideas and data characteristics. Here, we present the second work in the data mining series - a review of spectral classification techniques. This work also consists of three parts: a systematic overview of current literature, experimental analyses of commonly used classification algorithms and source codes used in this paper. Firstly, we carefully investigate the current classification methods in astronomical literature and organize these methods into ten types based on their algorithmic ideas. For each type of algorithm, the analysis is organized from the following three perspectives. (1) their current applications and usage frequencies in spectral classification are summarized; (2) their basic ideas are introduced and preliminarily analysed; (3) the advantages and caveats of each type of algorithm are discussed. Secondly, the classification performance of different algorithms on the unified data sets is analysed. Experimental data are selected from the LAMOST survey and SDSS survey. Six groups of spectral data sets are designed from data characteristics, data qualities and data volumes to examine the performance of these algorithms. Then the scores of nine basic algorithms are shown and discussed in the experimental analysis. Finally, nine basic algorithms source codes written in python and manuals for usage and improvement are provided.


title: On the convergence to equilibrium for the spatially homogeneous Boltzmann equation for Fermi-Dirac particles

abstract: In this paper we prove the strong and time-averaged strong convergence to equilibrium for solutions (with general initial data) of the spatially homogeneous Boltzmann equation for Fermi-Dirac particles. The assumption on the collision kernel includes the Coulomb potential with a weaker angular cutoff. The proof is based on moment estimates, entropy dissipation inequalities, regularity of the collision gain operator, and a new observation that many collision kernels are larger than or equal to some completely positive kernels, which enables us to avoid dealing with the convergence problem of the cubic collision integrals.


title: Effect of Bose-Einstein condensation on the viscosity of a hot pion gas

abstract: Pion condensation in an ultra-relativistic collision is an open puzzle yet to be verified experimentally. However, it is not trivial to have a conclusive result of pion condensation due to various experimental constraints. Nevertheless, numerous theoretical approaches can help in understanding the high-temperature Bose-Einstein condensation (BEC) in a better way. This work uses the shear ($\eta$) and bulk viscosity ($\zeta$) phenomena for a hot and dense pion gas to investigate the effect of possible Bose-Einstein condensation in such an environment. This study considers the relaxation time approximation under the Boltzmann transport equation to estimate $\eta$ and $\zeta$. Further, it explores the significance of the temperature and chemical potential on the number of particles in the condensate and viscosities. We find a substantial change in the viscosity when the pion gas is under BEC. In addition, we also study the speed of sound ($c_{\rm s}$) for the pion gas under BEC.


title: Mining User Privacy Concern Topics from App Reviews

abstract: Context: As mobile applications (Apps) widely spread over our society and life, various personal information is constantly demanded by Apps in exchange for more intelligent and customized functionality. An increasing number of users are voicing their privacy concerns through app reviews on App stores. Objective: The main challenge of effectively mining privacy concerns from user reviews lies in the fact that reviews expressing privacy concerns are overridden by a large number of reviews expressing more generic themes and noisy content. In this work, we propose a novel automated approach to overcome that challenge. Method: Our approach first employs information retrieval and document embeddings to unsupervisedly extract candidate privacy reviews that are further labeled to prepare the annotation dataset. Then, supervised classifiers are trained to automatically identify privacy reviews. Finally, we design an interpretable topic mining algorithm to detect privacy concern topics contained in the privacy reviews. Results: Experimental results show that the best performed document embedding achieves an average precision of 96.80% in the top 100 retrieved candidate privacy reviews. All of the trained privacy review classifiers can achieve an F1 value of more than 91%, outperforming the recent keywords matching baseline with the maximum F1 margin being 7.5%. For detecting privacy concern topics from privacy reviews, our proposed algorithm achieves both better topic coherence and diversity than three strong topic modeling baselines including LDA. Conclusion: Empirical evaluation results demonstrate the effectiveness of our approach in identifying privacy reviews and detecting user privacy concerns expressed in App reviews.


title: XEngine: Optimal Tensor Rematerialization for Neural Networks in Heterogeneous Environments

abstract: Memory efficiency is crucial in training deep learning networks on resource-restricted devices. During backpropagation, forward tensors are used to calculate gradients. Despite the option of keeping those dependencies in memory until they are reused in backpropagation, some forward tensors can be discarded and recomputed later from saved tensors, so-called checkpoints. This allows, in particular, for resource-constrained heterogeneous environments to make use of all available compute devices. Unfortunately, the definition of these checkpoints is a non-trivial problem and poses a challenge to the programmer - improper or excessive recomputations negate the benefit of checkpointing. In this article, we present XEngine, an approach that schedules network operators to heterogeneous devices in low memory environments by determining checkpoints and recomputations of tensors. Our approach selects suitable resources per timestep and operator and optimizes the end-to-end time for neural networks taking the memory limitation of each device into account. For this, we formulate a mixed-integer quadratic program (MIQP) to schedule operators of deep learning networks on heterogeneous systems. We compare our MIQP solver XEngine against Checkmate, a mixed-integer linear programming (MILP) approach that solves recomputation on a single device. Our solver finds solutions that are up to 22.5 % faster than the fastest Checkmate schedule in which the network is computed exclusively on a single device. We also find valid schedules for networks making use of both central processing units and graphics processing units if memory limitations do not allow scheduling exclusively to the graphics processing unit.


title: Effective Heat Transfer Between a Porous Medium and a Fluid Layer: Homogenization and Simulation

abstract: We are investigating the effective heat transfer in complex systems involving porous media and surrounding fluid layers in the context of mathematical homogenization. We differentiate between two fundamentally different cases: Case (a), where the solid part of the porous media is assumed to consist of disconnected inclusions and Case (b), where the solid matrix is assumed to be connected. For both scenarios, we consider a heat equation with convection where a small scale parameter epsilon characterizes the heterogeneity of the porous medium and conduct a limit process via two-scale convergence for the solutions of the epsilon-problems. In Case (a), we arrive at a one-temperature problem exhibiting a memory term and, in Case (b), at a two-phase mixture model. We compare and discuss these two limit models with several simulation studies both with and without convection.


title: ChatGPT: The End of Online Exam Integrity?

abstract: This study evaluated the ability of ChatGPT, a recently developed artificial intelligence (AI) agent, to perform high-level cognitive tasks and produce text that is indistinguishable from human-generated text. This capacity raises concerns about the potential use of ChatGPT as a tool for academic misconduct in online exams. The study found that ChatGPT is capable of exhibiting critical thinking skills and generating highly realistic text with minimal input, making it a potential threat to the integrity of online exams, particularly in tertiary education settings where such exams are becoming more prevalent. Returning to invigilated and oral exams could form part of the solution, while using advanced proctoring techniques and AI-text output detectors may be effective in addressing this issue, they are not likely to be foolproof solutions. Further research is needed to fully understand the implications of large language models like ChatGPT and to devise strategies for combating the risk of cheating using these tools. It is crucial for educators and institutions to be aware of the possibility of ChatGPT being used for cheating and to investigate measures to address it in order to maintain the fairness and validity of online exams for all students.


title: Stability estimates for the Vlasov-Poisson system in $p$-kinetic Wasserstein distances

abstract: We extend Loeper's $L^2$-estimate relating the electric fields to the densities for the Vlasov-Poisson system to $L^p$, with $1 < p < +\infty$, based on the Helmholtz-Weyl decomposition. This allows us to generalize both the classical Loeper's $2$-Wasserstein stability estimate and the recent stability estimate by the first author relying on the newly introduced kinetic Wasserstein distance to kinetic Wasserstein distances of order $1 < p < +\infty$.


title: On the Potential Function of the Colored Jones Polynomial and the AJ conjecture

abstract: The $A$-polynomial is conjectured to be obtained from the potential function of the colored Jones polynomial by elimination. The AJ conjecture also implies the relationship between the $A$-polynomial and the colored Jones polynomial. In this paper, we connect these conjectures from the perspective of the parametrized potential function. We also observe that the $A_q$-polynomial is obtained from the $q$-difference of the summand of the colored Jones polynomial. Applying a similar method for links, we calculate the annihilating polynomial of the colored Jones polynomial for the Hopf link and the Whitehead link and consider the link version of the AJ conjecture. We also give another annihilating polynomial of the colored Jones polynomial for those links.


title: Unified, User and Task (UUT) Centered Artificial Intelligence for Metaverse Edge Computing

abstract: The Metaverse can be considered the extension of the present-day web, which integrates the physical and virtual worlds, delivering hyper-realistic user experiences. The inception of the Metaverse brings forth many ecosystem services such as content creation, social entertainment, in-world value transfer, intelligent traffic, healthcare. These services are compute-intensive and require computation offloading onto a Metaverse edge computing server (MECS). Existing Metaverse edge computing approaches do not efficiently and effectively handle resource allocation to ensure a fluid, seamless and hyper-realistic Metaverse experience required for Metaverse ecosystem services. Therefore, we introduce a new Metaverse-compatible, Unified, User and Task (UUT) centered artificial intelligence (AI)- based mobile edge computing (MEC) paradigm, which serves as a concept upon which future AI control algorithms could be built to develop a more user and task-focused MEC.


title: The order bidual of C(X) for a realcompact space

abstract: It is well known that the bidual of $\mathrm C(X)$ for a compact space $X$, supplied with the Arens product, is isometrically isomorphic as a Banach algebra to $\mathrm C(\tilde X)$ for some compact space $\tilde X$. The space $\tilde X$ is unique up to homeomorphism. We establish a similar result for realcompact spaces: The order bidual of $\mathrm C(X)$ for a realcompact space $X$, when supplied with the Arens product, is isomorphic as an $f$-algebra to $\mathrm C(\tilde X)$ for some realcompact space $\tilde X$. The space $\tilde X$ is unique up to homeomorphism.


title: Transferring General Multimodal Pretrained Models to Text Recognition

abstract: This paper proposes a new method, OFA-OCR, to transfer multimodal pretrained models to text recognition. Specifically, we recast text recognition as image captioning and directly transfer a unified vision-language pretrained model to the end task. Without pretraining on large-scale annotated or synthetic text recognition data, OFA-OCR outperforms the baselines and achieves state-of-the-art performance in the Chinese text recognition benchmark. Additionally, we construct an OCR pipeline with OFA-OCR, and we demonstrate that it can achieve competitive performance with the product-level API. The code (https://github.com/OFA-Sys/OFA) and demo (https://modelscope.cn/studios/damo/ofa_ocr_pipeline/summary) are publicly available.


title: From a Bird's Eye View to See: Joint Camera and Subject Registration without the Camera Calibration

abstract: We tackle a new problem of multi-view camera and subject registration in the bird's eye view (BEV) without pre-given camera calibration. This is a very challenging problem since its only input is several RGB images from different first-person views (FPVs) for a multi-person scene, without the BEV image and the calibration of the FPVs, while the output is a unified plane with the localization and orientation of both the subjects and cameras in a BEV. We propose an end-to-end framework solving this problem, whose main idea can be divided into following parts: i) creating a view-transform subject detection module to transform the FPV to a virtual BEV including localization and orientation of each pedestrian, ii) deriving a geometric transformation based method to estimate camera localization and view direction, i.e., the camera registration in a unified BEV, iii) making use of spatial and appearance information to aggregate the subjects into the unified BEV. We collect a new large-scale synthetic dataset with rich annotations for evaluation. The experimental results show the remarkable effectiveness of our proposed method.


title: Optimal pricing for carbon dioxide removal under inter-regional leakage

abstract: Carbon dioxide removal (CDR) moves atmospheric carbon to geological or land-based sinks. In a first-best setting, the optimal use of CDR is achieved by a removal subsidy that equals the optimal carbon tax and marginal damages. We derive second-best policy rules for CDR subsidies and carbon taxes when no global carbon price exists but a national government implements a unilateral climate policy. We find that the optimal carbon tax differs from an optimal CDR subsidy because of carbon leakage and a balance of resource trade effect. First, the optimal removal subsidy tends to be larger than the carbon tax because of lower supply-side leakage on fossil resource markets. Second, net carbon exporters exacerbate this wedge to increase producer surplus of their carbon resource producers, implying even larger removal subsidies. Third, net carbon importers may set their removal subsidy even below their carbon tax when marginal environmental damages are small, to appropriate producer surplus from carbon exporters.


title: Flux-integrated semiexclusive cross sections for charged-current quasielastic and neutral-current elastic neutrino scattering off ${}^{40}$Ar and a sterile neutrino oscillation study

abstract: Flux-integrated semiexclusive differential cross sections for charged-current quasielastic and neutral-current elastic neutrino scattering on argon are analyzed. The cross sections are calculated using the relativistic distorted-wave impulse approximation with values of the nucleon axial mass $M_A=1$ GeV and 1.2 GeV. The elastic scattering cross sections are also computed for different strange quark contributions to the neutral-current axial form factor. The flux-integrated differential cross sections as functions of reconstructed neutrino energy are evaluated for the far detector of the SBN experiment. The effects of the short base-line neutrino oscillations are taken into account in a 3+1 framework. We found that cross sections depend on oscillation parameters and the ratio of the measured and predicted cross sections can be used in a sterile neutrino oscillation study.


title: A modified splitting method for the cubic nonlinear Schr\"odinger equation

abstract: As a classical time-stepping method, it is well-known that the Strang splitting method reaches the first-order accuracy by losing two spatial derivatives. In this paper, we propose a modified splitting method for the 1D cubic nonlinear Schr\"odinger equation: \begin{align*} u^{n+1}=\mathrm{e}^{i\frac\tau2\partial_x^2}{\mathcal N}_\tau \left[\mathrm{e}^{i\frac\tau2\partial_x^2}\big(\Pi_\tau +\mathrm{e}^{-2\pi i\lambda M_0\tau}\Pi^\tau \big)u^n\right], \end{align*} with ${\mathcal N}_t(\phi)=\mathrm{e}^{-i\lambda t|\Pi_\tau\phi|^2}\phi,$ and $M_0$ is the mass of the initial data. Suitably choosing the filters $\Pi_\tau$ and $\Pi^\tau$, it is shown rigorously that it reaches the first-order accuracy by only losing $\frac32$-spatial derivatives. Moreover, if $\gamma\in (0,1)$, the new method presents the convergence rate of $\tau^{\frac{4\gamma}{4+\gamma}}$ in $L^2$-norm for the $H^\gamma$-data; if $\gamma\in [1,2]$, it presents the convergence rate of $\tau^{\frac25(1+\gamma)-}$ in $L^2$-norm for the $H^\gamma$-data. %In particular, the regularity requirement of the initial data for the first-order convergence in $L^2$-norm is only $H^{\frac32+}$. These results are better than the expected ones for the standard (filtered) Strang splitting methods. Moreover, the mass is conserved: $$\frac1{2\pi}\int_{\mathbb T} |u^n(x)|^2\,d x\equiv M_0, \quad n=0,1,\ldots, L . $$ The key idea is based on the observation that the low frequency and high frequency components of solutions are almost separated (up to some smooth components). Then the algorithm is constructed by tracking the solution behavior at the low and high frequency components separately.


title: Inverse-designed lithium niobate nanophotonics

abstract: Lithium niobate-on-insulator (LNOI) is an emerging photonic platform that exhibits favorable material properties (such as low optical loss, strong nonlinearities, and stability) and enables large-scale integration with stronger optical confinement, showing promise for future optical networks, quantum processors, and nonlinear optical systems. However, while photonics engineering has entered the era of automated "inverse design" via optimization in recent years, the design of LNOI integrated photonic devices still mostly relies on intuitive models and inefficient parameter sweeps, limiting the accessible parameter space, performance, and functionality. Here, we develop and implement a 3D gradient-based inverse-design model tailored for topology optimization of the LNOI platform, which not only could efficiently search a large parameter space but also takes into account practical fabrication constraints, including minimum feature sizes and etched sidewall angles. We experimentally demonstrate a spatial-mode multiplexer, a waveguide crossing, and a compact waveguide bend, all with low insertion losses, tiny footprints, and excellent agreement between simulation and experimental results. The devices, together with the design methodology, represent a crucial step towards the variety of advanced device functionalities needed in future LNOI photonics, and could provide compact and cost-effective solutions for future optical links, quantum technologies and nonlinear optics.


title: Finite Blocklength Performance Bound for the DNA Storage Channel

abstract: We present a finite blocklength performance bound for a DNA storage channel with insertions, deletions, and substitutions. The considered bound -- the dependency testing (DT) bound, introduced by Polyanskiy et al. in 2010 -- provides an upper bound on the achievable frame error probability and can be used to benchmark coding schemes in the practical short-to-medium blocklength regime. In particular, we consider a concatenated coding scheme where an inner synchronization code deals with insertions and deletions and the outer code corrects remaining (mostly substitution) errors. The bound depends on the inner synchronization code. Thus, it allows to guide its choice. We then consider low-density parity-check codes for the outer code, which we optimize based on extrinsic information transfer charts. Our optimized coding schemes achieve a normalized rate of $88\%$ to $96\%$ with respect to the DT bound for code lengths up to $2000$ DNA symbols for a frame error probability of $10^{-3}$ and code rate 1/2.


title: Enabling Temporal-Spectral Decoding in Pre-movement Detection

abstract: Non-invasive brain-computer interfaces help the subjects to control external devices by brain intentions. The multi-class classification of upper limb movements can provide external devices with more control commands. The onsets of the upper limb movements are located by the external limb trajectory to eliminate the delay and bias among the trials. However, the trajectories are not recorded due to the limitation of experiments. The delay cannot be avoided in the analysis of signals. The delay negatively influences the classification performance, which limits the further application of upper limb movements in the brain-computer interface. This work focuses on multi-channel brain signals analysis in the temporal-frequency approach. It proposes the two-stage-training temporal-spectral neural network (TTSNet) to decode patterns from brain signals. The TTSNet first divides the signals into various filter banks. In each filter bank, task-related component analysis is used to reduce the dimension and reject the noise of the brain. A convolutional neural network (CNN) is then used to optimize the temporal characteristic of signals and extract class-related features. Finally, these class-related features from all filter banks are fused by concatenation and classified by the fully connected layer of the CNN. The proposed method is evaluated in two public datasets. The results show that TTSNet has an improved accuracy of 0.7456$\pm$0.1205 compared to the EEGNet of 0.6506$\pm$0.1275 ($p<0.05$) and FBTRCA of 0.6787$\pm$0.1260 ($p<0.1$) in the movement detection task, which classifies the movement state and the resting state. The proposed method is expected to help detect limb movements and assist in the rehabilitation of stroke patients.


title: SESCORE2: Learning Text Generation Evaluation via Synthesizing Realistic Mistakes

abstract: Is it possible to train a general metric for evaluating text generation quality without human annotated ratings? Existing learned metrics either perform unsatisfactorily across text generation tasks or require human ratings for training on specific tasks. In this paper, we propose SESCORE2, a self-supervised approach for training a model-based metric for text generation evaluation. The key concept is to synthesize realistic model mistakes by perturbing sentences retrieved from a corpus. The primary advantage of the SESCORE2 is its ease of extension to many other languages while providing reliable severity estimation. We evaluate SESCORE2 and previous methods on four text generation tasks across three languages. SESCORE2 outperforms unsupervised metric PRISM on four text generation evaluation benchmarks, with a Kendall improvement of 0.078. Surprisingly, SESCORE2 even outperforms the supervised BLEURT and COMET on multiple text generation tasks. The code and data are available at https://github.com/xu1998hz/SEScore2.


title: E-NER -- An Annotated Named Entity Recognition Corpus of Legal Text

abstract: Identifying named entities such as a person, location or organization, in documents can highlight key information to readers. Training Named Entity Recognition (NER) models requires an annotated data set, which can be a time-consuming labour-intensive task. Nevertheless, there are publicly available NER data sets for general English. Recently there has been interest in developing NER for legal text. However, prior work and experimental results reported here indicate that there is a significant degradation in performance when NER methods trained on a general English data set are applied to legal text. We describe a publicly available legal NER data set, called E-NER, based on legal company filings available from the US Securities and Exchange Commission's EDGAR data set. Training a number of different NER algorithms on the general English CoNLL-2003 corpus but testing on our test collection confirmed significant degradations in accuracy, as measured by the F1-score, of between 29.4\% and 60.4\%, compared to training and testing on the E-NER collection.


title: ALMA-IMF VI -- Investigating the origin of stellar masses: Core mass function evolution in the W43-MM2&MM3 mini-starburst

abstract: Among the most central open questions regarding the initial mass function (IMF) of stars is the impact of environment on the shape of the core mass function (CMF) and thus potentially on the IMF. The ALMA-IMF Large Program aims to investigate the variations in the core distributions with cloud characteristics, as diagnostic observables of the formation process and evolution of clouds. The present study focuses on the W43-MM2&MM3 mini-starburst, whose CMF has recently been found to be top-heavy with respect to the Salpeter slope. W43-MM2&MM3 harbors a rich cluster that contains a statistically significant number of cores, which was previously characterized in Paper III. We applied a multi-scale decomposition technique to the ALMA 1.3 mm and 3 mm continuum images to define six subregions. For each subregion we characterized the high column density probability distribution function, n-PDF, and the shape of the cloud gas using the 1.3 mm image. Using the core catalog, we investigate correlations between the CMF and cloud and core properties. We classify the subregions into different stages of evolution, from quiescent to burst to post-burst, based on the surface number density of cores, number of outflows, and UCHii presence. The high-mass end of the subregion CMFs varies from being close to the Salpeter slope (quiescent) to top-heavy (burst and post-burst). Moreover, the second tail of the n-PDF varies from steep, to flat like observed for the high mass star-forming clouds. We found that subregions with flat second n-PDF tails display top-heavy CMFs. The CMF may evolve from Salpeter to top-heavy throughout the star formation process from the quiescent to the burst phase. This scenario raises the question of if the CMF might revert again to Salpeter as the cloud approaches the end of its star formation stage, a hypothesis that remains to be tested.


title: Diffusing Surrogate Dreams of Video Scenes to Predict Video Memorability

abstract: As part of the MediaEval 2022 Predicting Video Memorability task we explore the relationship between visual memorability, the visual representation that characterises it, and the underlying concept portrayed by that visual representation. We achieve state-of-the-art memorability prediction performance with a model trained and tested exclusively on surrogate dream images, elevating concepts to the status of a cornerstone memorability feature, and finding strong evidence to suggest that the intrinsic memorability of visual content can be distilled to its underlying concept or meaning irrespective of its specific visual representational.


title: Levelwise construction of a single cylindrical algebraic cell

abstract: Satisfiability Modulo Theories (SMT) solvers check the satisfiability of quantifier-free first-order logic formulas. We consider the theory of non-linear real arithmetic where the formulae are logical combinations of polynomial constraints. Here a commonly used tool is the Cylindrical Algebraic Decomposition (CAD) to decompose real space into cells where the constraints are truth-invariant through the use of projection polynomials. An improved approach is to repackage the CAD theory into a search-based algorithm: one that guesses sample points to satisfy the formula, and generalizes guesses that conflict constraints to cylindrical cells around samples which are avoided in the continuing search. Such an approach can lead to a satisfying assignment more quickly, or conclude unsatisfiability with fewer cells. A notable example of this approach is Jovanovi\'c and de Moura's NLSAT algorithm. Since these cells are produced locally to a sample we might need fewer projection polynomials than the traditional CAD projection. The original NLSAT algorithm reduced the set a little; while Brown's single cell construction reduced it much further still. However, the shape and size of the cell produced depends on the order in which the polynomials are considered. This paper proposes a method to construct such cells levelwise, i.e. built level-by-level according to a variable ordering. We still use a reduced number of projection polynomials, but can now consider a variety of different reductions and use heuristics to select the projection polynomials in order to optimise the shape of the cell under construction. We formulate all the necessary theory as a proof system: while not a common presentation for work in this field, it allows an elegant decoupling of heuristics from the algorithm and its proof of correctness.


title: Multimodal CNN Networks for Brain Tumor Segmentation in MRI: A BraTS 2022 Challenge Solution

abstract: Automatic segmentation is essential for the brain tumor diagnosis, disease prognosis, and follow-up therapy of patients with gliomas. Still, accurate detection of gliomas and their sub-regions in multimodal MRI is very challenging due to the variety of scanners and imaging protocols. Over the last years, the BraTS Challenge has provided a large number of multi-institutional MRI scans as a benchmark for glioma segmentation algorithms. This paper describes our contribution to the BraTS 2022 Continuous Evaluation challenge. We propose a new ensemble of multiple deep learning frameworks namely, DeepSeg, nnU-Net, and DeepSCAN for automatic glioma boundaries detection in pre-operative MRI. It is worth noting that our ensemble models took first place in the final evaluation on the BraTS testing dataset with Dice scores of 0.9294, 0.8788, and 0.8803, and Hausdorf distance of 5.23, 13.54, and 12.05, for the whole tumor, tumor core, and enhancing tumor, respectively. Furthermore, the proposed ensemble method ranked first in the final ranking on another unseen test dataset, namely Sub-Saharan Africa dataset, achieving mean Dice scores of 0.9737, 0.9593, and 0.9022, and HD95 of 2.66, 1.72, 3.32 for the whole tumor, tumor core, and enhancing tumor, respectively. The docker image for the winning submission is publicly available at (https://hub.docker.com/r/razeineldin/camed22).


title: Terahertz Frequency-Domain Sensing Combined with Quantitative Multivariate Analysis for Pharmaceutical Tablet Inspection

abstract: Near infrared (NIR) and Raman spectroscopy combined with multivariate analysis are established techniques for the identification and quantification of chemical properties of pharmaceutical tablets like the concentration of active pharmaceutical ingredients (API). However, these techniques suffer from a high sensitivity to particle size variations and are not ideal for the characterization of physical properties of tablets such as tablet density. In this work, we have explored the feasibility of terahertz frequency-domain spectroscopy, with the advantage of low scattering effects, combined with multivariate analysis to quantify API concentration and tablet density. We studied 33 tablets, consisting of Ibuprofen, Mannitol, and a lubricant with API concentration and filler particle size as the design factors. The terahertz signal was measured in transmission mode across the frequency range 750 GHz to 1.5 THz using a vector network analyzer, frequency extenders, horn antennas, and four off-axis parabolic mirrors. The attenuation spectral data were pre-processed and orthogonal partial least square (OPLS) regression was applied to the spectral data to obtain quantitative prediction models for API concentration and tablet density. The performance of the models was assessed using test sets. While a fair model was obtained for API concentration, a high-quality model was demonstrated for tablet density. The coefficient of determination for the calibration set was 0.97 for tablet density and 0.98 for API concentration, while the relative prediction errors for the test set were 0.7% and 6%for tablet density and API concentration models, respectively.


title: Fermionic T-duality of DFT

abstract: We provide a complete proof that non-abelian fermionic T-duality along a non-anticommuting Killing spinor always generates a solution to double field theory equations. Examples of non-abelian fermionic T-dualities of string backgrounds with non-vanishing b-field are investigated.


title: When elephants nodded and dolls spoke: Bringing together robotics and storytelling for environmental literacy

abstract: Inculcating principles of environmental stewardship among the children and youth is needed urgently today for creating a sustainable future. This paper presents a model for promoting environment literacy in India using story telling based workshops while focusing on STEM education including computational thinking, robotics and maker skills. During the workshop, participants build a robotic diorama with digital animations and animatronics to tell their story. Our initial observations from pilot studies conducted in 2019 in six rural and semi-urban schools in India showed us that the children were deeply engaged and enthusiastic throughout the workshop making the entire learning experience a very meaningful and joyful one for all.


title: Bounds on Mixed Codes with Finite Alphabets

abstract: Mixed codes, which are error-correcting codes in the Cartesian product of different-sized spaces, model degrading storage systems well. While such codes have previously been studied for their algebraic properties (e.g., existence of perfect codes) or in the case of unbounded alphabet sizes, we focus on the case of finite alphabets, and generalize the Gilbert-Varshamov, sphere-packing, Elias-Bassalygo, and first linear programming bounds to that setting. In the latter case, our proof is also the first for the non-symmetric mono-alphabetic $q$-ary case using Navon and Samorodnitsky's Fourier-analytic approach.


title: Real-Time Rendering of Arbitrary Surface Geometries using Learnt Transfer

abstract: Precomputed Radiance Transfer (PRT) is widely used for real-time photorealistic effects. PRT disentangles the rendering equation into transfer and lighting, enabling their precomputation. Transfer accounts for the cosine-weighted visibility of points in the scene while lighting for emitted radiance from the environment. Prior art stored precomputed transfer in a tabulated manner, either in vertex or texture space. These values are fetched with interpolation at each point for shading. Vertex space methods require densely tessellated mesh vertices for high quality images. Texture space methods require non-overlapping and area-preserving UV mapping to be available. They also require a high-resolution texture to avoid rendering artifacts. In this paper, we propose a compact transfer representation that is learnt directly on scene geometry points. Specifically, we train a small multi-layer perceptron (MLP) to predict the transfer at sampled surface points. Our approach is most beneficial where inherent mesh storage structure and natural UV mapping are not available, such as Implicit Surfaces as it learns the transfer values directly on the surface. We demonstrate real-time, photorealistic renderings of diffuse and glossy materials on SDF geometries with PRT using our approach.


title: Lower bound on the running time of Pop-Stack Sorting on a random permutation

abstract: Pop-Stack Sorting is an algorithm that takes a permutation as an input and sorts its elements. It consists of several steps. At one step, the algorithm reads the permutation it has to process from left to right and reverses each of its maximal decreasing subsequences of consecutive elements. It terminates at the first step that outputs the identity permutation. In this note, we answer a question of Defant on the running time of Pop-Stack Sorting on the uniform random permutation $\sigma_n$. More precisely, we show that there is a constant $c > 0.5$ such that asymptotically almost surely, the algorithm needs at least $cn$ steps to terminate on $\sigma_n$.


title: Synthetic Data Augmentation Using GAN For Improved Automated Visual Inspection

abstract: Quality control is a crucial activity performed by manufacturing companies to ensure their products conform to the requirements and specifications. The introduction of artificial intelligence models enables to automate the visual quality inspection, speeding up the inspection process and ensuring all products are evaluated under the same criteria. In this research, we compare supervised and unsupervised defect detection techniques and explore data augmentation techniques to mitigate the data imbalance in the context of automated visual inspection. Furthermore, we use Generative Adversarial Networks for data augmentation to enhance the classifiers' discriminative performance. Our results show that state-of-the-art unsupervised defect detection does not match the performance of supervised models but can be used to reduce the labeling workload by more than 50%. Furthermore, the best classification performance was achieved considering GAN-based data generation with AUC ROC scores equal to or higher than 0,9898, even when increasing the dataset imbalance by leaving only 25\% of the images denoting defective products. We performed the research with real-world data provided by Philips Consumer Lifestyle BV.


title: Evidence of abrupt changes in the orbital periods of two cataclysmic variables

abstract: We report evidence from eclipse timing that two otherwise apparently normal cataclysmic variables have experienced abrupt changes in their orbital periods. The orbital period of HS 2325+8205 increased by 22.15 msec (1.3 x 10-6 of the orbital period) around 1 February 2011 and the orbital period of EP Dra increased by 4.51 msec (7.2 x 10-7 of the orbital period) around 7 December 2001. In neither case was there any apparent change in the subsequent behaviour of the system. These changes are currently unexplained.


title: Unitarity estimation for quantum channels

abstract: Estimating the unitarity of an unknown quantum channel $\mathcal{E}$ provides information on how much it is unitary, which is a basic and important problem in quantum device certification and benchmarking. Unitarity estimation can be performed with either coherent or incoherent access, where the former in general leads to better query complexity while the latter allows more practical implementations. In this paper, we provide a unified framework for unitarity estimation, which induces ancilla-efficient algorithms that use $O(\epsilon^{-2})$ and $O(\sqrt{d}\cdot\epsilon^{-2})$ calls to $\mathcal{E}$ with coherent and incoherent accesses, respectively, where $d$ is the dimension of the system that $\mathcal{E}$ acts on and $\epsilon$ is the required precision. We further show that both the $d$-dependence and $\epsilon$-dependence of our algorithms are optimal. As part of our results, we settle the query complexity of the distinguishing problem for depolarizing and unitary channels with incoherent access by giving a matching lower bound $\Omega(\sqrt{d})$, improving the prior best lower bound $\Omega(\sqrt[3]{d})$ by Aharonov et al. (Nat. Commun. 2022) and Chen et al. (FOCS 2021).


title: Trade-off relations of quantum resource theory in neutrino oscillations

abstract: The violation of the classical bounds imposed by Leggett-Garg inequalities has tested the quantumness of neutrino oscillations (NOs) over a long distance during the propagation. The measure of quantumness in experimentally observed NOs is studied via quantum resource theory (QRT). Here, we focus on the trade-off relations of QRT in the three-flavor NOs, based on Bell-type violations, first-order coherence and intrinsic concurrence, and the relative entropy of coherence. For the electron and muon antineutrino oscillations, the analytical trade-off relations obeyed by the Bell-CHSH inequality of pairwise flavor states in this three-flavor neutrino system are obtained; the sum of the maximal violation of the CHSH tests for three pairwise flavor states is less than or equal to 12. Moreover, there exists an equality relation concerning first-order coherence and intrinsic concurrence in NOs, showing how much quantum resources flow between first-order coherence and intrinsic concurrence during the neutrino propagation. In addition, it is found that the tripartite coherence of three-flavor system is equal to or larger than the sum of the coherence of reduced bipartite flavor states. The trade-off relations of QRT provide a method for studying how the quantum resources convert and distribute in NOs, which might inspire the future applications in quantum information processing using neutrinos.