title: Multimodal microscopy for characterization of amyloid-${\unicode[Times]{x3B2}}$ plaques biomarkers in animal model of Alzheimer's disease

abstract: Given the long subclinical stage of Alzheimer's disease (AD), the study of biomarkers is relevant both for early diagnosis and the fundamental understanding of the pathophysiology of AD. Biomarkers provided by amyloid-${\unicode[Times]{x3B2}}$ (A${\unicode[Times]{x3B2}}$) plaques have led to an increasing interest in characterizing this hallmark of AD due to its promising potential. In this work, we characterize A${\unicode[Times]{x3B2}}$ plaques by label-free multimodal imaging: we combine two-photon excitation autofluorescence (TPEA), second harmonic generation (SHG), spontaneous Raman scattering (SpRS), coherent anti-Stokes Raman scattering (CARS), and stimulated Raman scattering (SRS) to describe and compare high-resolution images of A${\unicode[Times]{x3B2}}$ plaques in brain tissues of an AD mouse model. Comparing single-laser techniques images, we discuss the origin of the SHG, which can be used to locate the plaque core reliably. We study both the core and the halo with vibrational microscopy and compare SpRS and SRS microscopies for different frequencies. We also combine SpRS spectroscopy with SRS microscopy and present two core biomarkers unexplored with SRS microscopy: phenylalanine and amide B. We provide high-resolution SRS images with the spatial distribution of these biomarkers in the plaque and compared them with images of the amide I distribution. The obtained spatial correlation corroborates the feasibility of these biomarkers in the study of A${\unicode[Times]{x3B2}}$ plaques. Furthermore, since amide B enables rapid imaging, we discuss its potential as a novel fingerprint for diagnostic applications.

categories: physics.med-ph physics.bio-ph physics.chem-ph physics.optics


title: Observers Pupillary Responses in Recognising Real and Posed Smiles: A Preliminary Study

abstract: Pupillary responses (PR) change differently for different types of stimuli. This study aims to check whether observers PR can recognise real and posed smiles from a set of smile images and videos. We showed the smile images and smile videos stimuli to observers, and recorded their pupillary responses considering four different situations, namely paired videos, paired images, single videos, and single images. When the same smiler was viewed by observers in both real and posed smile forms, we refer them as paired; otherwise we use the term single. The primary analysis on pupil data revealed that the differences of pupillary response between real and posed smiles are more significant in case of paired videos compared to others. This result is found from timeline analysis, KS-test, and ANOVA test. Overall, our model can recognise real and posed smiles from observers pupillary responses instead of smilers responses. Our research will be applicable in affective computing and computer-human interaction for measuring emotional authenticity.


title: Academic Source Code Plagiarism Detection by Measuring Program Behavioural Similarity

abstract: Source code plagiarism is a long-standing issue in tertiary computer science education. Many source code plagiarism detection tools have been proposed to aid in the detection of source code plagiarism. However, existing detection tools are not robust to pervasive plagiarism-hiding transformations, and as a result can be inaccurate in the detection of plagiarised source code. This article presents BPlag, a behavioural approach to source code plagiarism detection. BPlag is designed to be both robust to pervasive plagiarism-hiding transformations, and accurate in the detection of plagiarised source code. Greater robustness and accuracy is afforded by analysing the behaviour of a program, as behaviour is perceived to be the least susceptible aspect of a program impacted upon by plagiarism-hiding transformations. BPlag applies symbolic execution to analyse execution behaviour and represent a program in a novel graph-based format. Plagiarism is then detected by comparing these graphs and evaluating similarity scores. BPlag is evaluated for robustness, accuracy and efficiency against 5 commonly used source code plagiarism detection tools. It is then shown that BPlag is more robust to plagiarism-hiding transformations and more accurate in the detection of plagiarised source code, but is less efficient than compared tools.


title: Ground-state and decay properties of neutron-rich 106Nb

abstract: The ground-state properties of neutron-rich 106Nb and its beta decay into 106Mo have been studied using the CARIBU radioactive-ion-beam facility at Argonne National Laboratory. Niobium-106 ions were extracted from a 252Cf fission source and mass separated before being delivered as low-energy beams to the Canadian Penning Trap, as well as the X-Array and SATURN beta-decay-spectroscopy station. The measured 106Nb ground-state mass excess of -66202.0(13) keV is consistent with a recent measurement but has three times better precision; this work also rules out the existence of a second long-lived, beta-decaying state in 106Nb above 5 keV in excitation energy. The decay half-life of 106Nb was measured to be 1.097(21) s, which is 8% longer than the adopted value. The level scheme of the decay progeny, 106Mo, has been expanded up to approximately 4 MeV. The distribution of decay strength and considerable population of excited states in 106Mo of J >= 3 emphasises the need to revise the adopted Jpi = 1- ground-state spin-parity assignment of 106Nb; it is more likely to be J => 3.


title: Evaluating the robustness of source code plagiarism detection tools to pervasive plagiarism-hiding modifications

abstract: Source code plagiarism is a common occurrence in undergraduate computer science education. In order to identify such cases, many source code plagiarism detection tools have been proposed. A source code plagiarism detection tool evaluates pairs of assignment submissions to detect indications of plagiarism. However, a plagiarising student will commonly apply plagiarism-hiding modifications to source code in an attempt to evade detection. Subsequently, prior work has implied that currently available source code plagiarism detection tools are not robust to the application of pervasive plagiarism-hiding modifications. In this article, 11 source code plagiarism detection tools are evaluated for robustness against plagiarism-hiding modifications. The tools are evaluated with data sets of simulated undergraduate plagiarism, constructed with source code modifications representative of undergraduate students. The results of the performed evaluations indicate that currently available source code plagiarism detection tools are not robust against modifications which apply fine-grained transformations to the source code structure. Of the evaluated tools, JPlag and Plaggie demonstrates the greatest robustness to different types of plagiarism-hiding modifications. However, the results also indicate that graph-based tools (specifically those that compare programs as program dependence graphs) show potentially greater robustness to pervasive plagiarism-hiding modifications.


title: Design of Polar Code Lattices of Small Dimension

abstract: Polar code lattices are formed from binary polar codes using Construction D. In this paper, we propose a design technique for finite-dimension polar code lattices. The dimension $n$ and target probability of decoding error are parameters for this design. To select the rates of the Construction D component codes, rather than using the capacity as in past work, we use the explicit finite-length properties of the polar code. Under successive cancellation decoding, density evolution allows choosing code rates that satisfy the equal error probability rule. At an error-rate of $10^{-4}$, a dimension $n=128$ polar code lattice achieves a VNR of 2.5 dB, within 0.2 dB of the best-known BCH code lattice, but with significantly lower decoding complexity.


title: Big Hankel operators on Hardy spaces of strongly pseudoconvex domains

abstract: In this article, we investigate the (big) Hankel operators $H_f$ on Hardy spaces of strongly pseudoconvex domains with smooth boundaries in $\mathbb{C}^n$. We also give a necessary and sufficient condition for boundedness of the Hankel operator $H_f$ on the Hardy space of the unit disc, which is new in the setting of one variable.


title: Active learning for distributionally robust level-set estimation

abstract: Many cases exist in which a black-box function $f$ with high evaluation cost depends on two types of variables $\bm x$ and $\bm w$, where $\bm x$ is a controllable \emph{design} variable and $\bm w$ are uncontrollable \emph{environmental} variables that have random variation following a certain distribution $P$. In such cases, an important task is to find the range of design variables $\bm x$ such that the function $f(\bm x, \bm w)$ has the desired properties by incorporating the random variation of the environmental variables $\bm w$. A natural measure of robustness is the probability that $f(\bm x, \bm w)$ exceeds a given threshold $h$, which is known as the \emph{probability threshold robustness} (PTR) measure in the literature on robust optimization. However, this robustness measure cannot be correctly evaluated when the distribution $P$ is unknown. In this study, we addressed this problem by considering the \textit{distributionally robust PTR} (DRPTR) measure, which considers the worst-case PTR within given candidate distributions. Specifically, we studied the problem of efficiently identifying a reliable set $H$, which is defined as a region in which the DRPTR measure exceeds a certain desired probability $\alpha$, which can be interpreted as a level set estimation (LSE) problem for DRPTR. We propose a theoretically grounded and computationally efficient active learning method for this problem. We show that the proposed method has theoretical guarantees on convergence and accuracy, and confirmed through numerical experiments that the proposed method outperforms existing methods.


title: Performance Evaluation of Transcriptomics Data Normalization for Survival Risk Prediction

abstract: One pivotal feature of transcriptomics data is the unwanted variations caused by disparate experimental handling, known as handling effects. Various data normalization methods were developed to alleviate the adverse impact of handling effects in the setting of differential expression analysis. However, little research has been done to evaluate their performance in the setting of survival outcome prediction, an important analysis goal for transcriptomics data in biomedical research. Leveraging a unique pair of datasets for the same set of tumor samples-one with handling effects and the other without, we developed a benchmarking tool for conducting such an evaluation in microRNA microarrays. We applied this tool to evaluate the performance of three popular normalization methods-quantile normalization, median normalization, and variance stabilizing normalization-in survival prediction using various approaches for model building and designs for sample assignment. We showed that handling effects can have a strong impact on survival prediction, and that quantile normalization, a most popular method in current practice, tends to underperform median normalization and variance stabilizing normalization. We demonstrated with a small example the reason for quantile normalization's poor performance in this setting. Our finding highlights the importance of putting normalization evaluation in the context of the downstream analysis setting and the potential of improving the development of survival predictors by applying median normalization. We make available our benchmarking tool for performing such evaluation on additional normalization methods in connection with prediction modeling approaches.


title: Meta Discovery: Learning to Discover Novel Classes given Very Limited Data

abstract: In novel class discovery (NCD), we are given labeled data from seen classes and unlabeled data from unseen classes, and we train clustering models for the unseen classes. However, the implicit assumptions behind NCD are still unclear. In this paper, we demystify assumptions behind NCD and find that high-level semantic features should be shared among the seen and unseen classes. Based on this finding, NCD is theoretically solvable under certain assumptions and can be naturally linked to meta-learning that has exactly the same assumption as NCD. Thus, we can empirically solve the NCD problem by meta-learning algorithms after slight modifications. This meta-learning-based methodology significantly reduces the amount of unlabeled data needed for training and makes it more practical, as demonstrated in experiments. The use of very limited data is also justified by the application scenario of NCD: since it is unnatural to label only seen-class data, NCD is sampling instead of labeling in causality. Therefore, unseen-class data should be collected on the way of collecting seen-class data, which is why they are novel and first need to be clustered.


title: Deep Retinex Network for Estimating Illumination Colors with Self-Supervised Learning

abstract: We propose a novel Retinex image-decomposition network that can be trained in a self-supervised manner. The Retinex image-decomposition aims to decompose an image into illumination-invariant and illumination-variant components, referred to as "reflectance" and "shading," respectively. Although there are three consistencies that the reflectance and shading should satisfy, most conventional work considers only one or two of the consistencies. For this reason, the three consistencies are considered in the proposed network. In addition, by using generated pseudo-images for training, the proposed network can be trained with self-supervised learning. Experimental results show that our network can decompose images into reflectance and shading components. Furthermore, it is shown that the proposed network can be used for white-balance adjustment.


title: WOMBAT: A fully Bayesian global flux-inversion framework

abstract: WOMBAT (the WOllongong Methodology for Bayesian Assimilation of Trace-gases) is a fully Bayesian hierarchical statistical framework for flux inversion of trace gases from flask, in situ, and remotely sensed data. WOMBAT extends the conventional Bayesian-synthesis framework through the consideration of a correlated error term, the capacity for online bias correction, and the provision of uncertainty quantification on all unknowns that appear in the Bayesian statistical model. We show, in an observing system simulation experiment (OSSE), that these extensions are crucial when the data are indeed biased and have errors that are correlated. Using the GEOS-Chem atmospheric transport model, we show that WOMBAT is able to obtain posterior means and uncertainties on non-fossil-fuel CO$_2$ fluxes from Orbiting Carbon Observatory-2 (OCO-2) data that are comparable to those from the Model Intercomparison Project (MIP) reported in Crowell et al. (2019, Atmos. Chem. Phys., vol. 19). We also find that our predictions of out-of-sample retrievals from the Total Column Carbon Observing Network are, for the most part, more accurate than those made by the MIP participants. Subsequent versions of the OCO-2 datasets will be ingested into WOMBAT as they become available.


title: Quantum criticality at finite temperature for two-dimensional $JQ_3$ models on the square and the honeycomb lattices

abstract: We study the quantum criticality at finite temperature for three two-dimensional (2D) $JQ_3$ models using the first principle nonperturbative quantum Monte Carlo calculations (QMC). In particular, the associated universal quantities are obtained and their inverse temperature dependence are investigated. The considered models are known to have quantum phase transitions from the N\'eel order to the valence bond solid. In addition, these transitions are shown to be of second order for two of the studied models, with the remaining one being of first order. Interestingly, we find that the outcomes obtained in our investigation are consistent with the mentioned scenarios regarding the nature of the phase transitions of the three investigated models. Moreover, when the temperature dependence of the studied universal quantities is considered, a substantial difference between the two models possessing second order phase transitions and the remaining model is observed. Remarkably, by using the associated data from both the models that may have continuous transitions, good data collapses are obtained for a number of the considered universal quantities. The findings presented here not only provide numerical evidence to support the results established in the literature regarding the nature of the phase transitions of these $JQ_3$ models, but also can be employed as certain promising criterions to distinguish second order phase transitions from first order ones for the exotic criticalities of the $JQ$-type models. Finally, based on a comparison between the results calculated here and the corresponding theoretical predictions, we conclude that a more detailed analytic calculation is required in order to fully catch the numerical outcomes determined in our investigation.


title: Computational Fluid Dynamics Study of Taylor Flow in Microreactors:Investigating the Effect of Surface Tension and Contact Angle on the Heatand Mass Transfer

abstract: Microfluidics technology offers high efficiency of heat and mass transfer and low safety hazards compared to conventional multiphase processes. The multiphase flow in the microchannels is usually characterized as Taylor flow that includes elongated microbubbles , separated by liquid slugs. In the current study, we employ OpenFOAM CFD package to investigate the effect of the surface tension and the contact angle on the interfacial surface area and transport yield in microscale systems. The results show that contact angle can significantly affect the surface area and the bubble size while the surface tension does not change these parameters in the system. Moreover, in lower contact angle, the flow may turn into bubbly flow, affecting $K_L$, mass transfer coefficient in the liquid phase. Findings of the current study can improve the mass transfer coefficient in microreactors while avoiding thermal runaways, hot spots and other safety issues of conventional reactors.


title: A note on invariable generation of nonsolvable permutation groups

abstract: We prove a result on the asymptotic proportion of randomly chosen pairs of permutations in the symmetric group $S_n$ which "invariably" generate a nonsolvable subgroup, i.e., whose cycle structures cannot possibly both occur in the same solvable subgroup of $S_n$. As an application, we obtain that for a large degree "random" integer polynomial $f$, reduction modulo two different primes can be expected to suffice to prove the nonsolvability of $Gal(f/\mathbb{Q})$.


title: Discovering conservation laws from trajectories via machine learning

abstract: Invariants and conservation laws convey critical information about the underlying dynamics of a system, yet it is generally infeasible to find them from large-scale data without any prior knowledge or human insight. We propose ConservNet to achieve this goal, a neural network that spontaneously discovers a conserved quantity from grouped data where the members of each group share invariants, similar to a general experimental setting where trajectories from different trials are observed. As a neural network trained with a novel and intuitive loss function called noise-variance loss, ConservNet learns the hidden invariants in each group of multi-dimensional observables in a data-driven, end-to-end manner. Our model successfully discovers underlying invariants from the simulated systems having invariants as well as a real-world double pendulum trajectory. Since the model is robust to various noises and data conditions compared to baseline, our approach is directly applicable to experimental data for discovering hidden conservation laws and further, general relationships between variables.

categories: cs.LG physics.class-ph physics.comp-ph physics.data-an stat.ML


title: MirrorAlign: A Super Lightweight Unsupervised Word Alignment Model via Cross-Lingual Contrastive Learning

abstract: Word alignment is essential for the downstream cross-lingual language understanding and generation tasks. Recently, the performance of the neural word alignment models has exceeded that of statistical models. However, they heavily rely on sophisticated translation models. In this study, we propose a super lightweight unsupervised word alignment model named MirrorAlign, in which bidirectional symmetric attention trained with a contrastive learning objective is introduced, and an agreement loss is employed to bind the attention maps, such that the alignments follow mirror-like symmetry hypothesis. Experimental results on several public benchmarks demonstrate that our model achieves competitive, if not better, performance compared to the state of the art in word alignment while significantly reducing the training and decoding time on average. Further ablation analysis and case studies show the superiority of our proposed MirrorAlign. Notably, we recognize our model as a pioneer attempt to unify bilingual word embedding and word alignments. Encouragingly, our approach achieves {16.4X speedup} against GIZA++, and {50X parameter compression} compared with the Transformer-based alignment methods. We release our code to facilitate the community: https://github.com/moore3930/MirrorAlign.


title: Learning N:M Fine-grained Structured Sparse Neural Networks From Scratch

abstract: Sparsity in Deep Neural Networks (DNNs) has been widely studied to compress and accelerate the models on resource-constrained environments. It can be generally categorized into unstructured fine-grained sparsity that zeroes out multiple individual weights distributed across the neural network, and structured coarse-grained sparsity which prunes blocks of sub-networks of a neural network. Fine-grained sparsity can achieve a high compression ratio but is not hardware friendly and hence receives limited speed gains. On the other hand, coarse-grained sparsity cannot concurrently achieve both apparent acceleration on modern GPUs and decent performance. In this paper, we are the first to study training from scratch an N:M fine-grained structured sparse network, which can maintain the advantages of both unstructured fine-grained sparsity and structured coarse-grained sparsity simultaneously on specifically designed GPUs. Specifically, a 2:4 sparse network could achieve 2x speed-up without performance drop on Nvidia A100 GPUs. Furthermore, we propose a novel and effective ingredient, sparse-refined straight-through estimator (SR-STE), to alleviate the negative influence of the approximated gradients computed by vanilla STE during optimization. We also define a metric, Sparse Architecture Divergence (SAD), to measure the sparse network's topology change during the training process. Finally, We justify SR-STE's advantages with SAD and demonstrate the effectiveness of SR-STE by performing comprehensive experiments on various tasks. Source codes and models are available at https://github.com/NM-sparsity/NM-sparsity.


title: From Matching Logic To Parallel Imperative Language Verification

abstract: Program verification is to develop the program's proof system, and to prove the proof system soundness with respect to a trusted operational semantics of the program. However, many practical program verifiers are not based on operational semantics and can't seriously validate the program. Matching logic is proposed to make program verification based on operational semantics. In this paper, following Grigore Ro{\c{s}}u 's work, we consider matching logic for parallel imperative language(PIMP). According to our investigation, this paper is the first study on matching logic for PIMP. In our matching logic, we redefine "interference-free" to character parallel rule and prove the soundness of matching logic to the operational semantics of PIMP. We also link PIMP's operational semantics and PIMP's verification formally by constructing a matching logic verifier for PIMP which executes rewriting logic semantics symbolically on configuration patterns and is sound and complete to matching logic for PIMP. That is our matching logic verifier for PIMP is sound to the operational semantics of PIMP. Finally, we also verify the matching logic verifier through an example which is a standard problem in parallel programming.


title: Quiescent luminosities of accreting neutron stars with different equation of states

abstract: We model the quiescent luminosity of accreting neutron stars with several equation of states (EOSs), including the effect of pion condensation and superfluidity. As a consequence of comparison with the observations, we show that the results with Togashi EoS (the strong direct Urca process is forbidden) and TM1e EoS (mass at direct Urca process is $2.06 M_\odot$) can explain the observations well by considering pion condensation and the effect of superfluidity, while LS220 EoS and TM1 EoS can explain the observations well by considering the baryon direct Urca process and the effect of superfluidity. Besides, we compare the results with the observations of a neutron star RX J0812.4-3114 which has the low average mass accretion rate ($\langle\dot{M}\rangle\sim(4-15)\times 10^{-12}~M_\odot ~\rm yr^{-1}$) but high thermal luminosity ($L_q^\infty\sim(0.6-3)\times10^{33}~\rm erg ~ s^{-1}$), and we suggest that a low-mass neutron star ($<1M_\odot$) with minimum cooling can explain the lower limit of the observation of thermal luminosity of RX J0812.4-3114, which is qualitatively consistent with the previous work~\cite{Zhao2019}. However, to explain its upper limit, some other heating mechanisms besides standard deep crustal heating may be needed.


title: Nature-Inspired Optimization Algorithms: Research Direction and Survey

abstract: Nature-inspired algorithms are commonly used for solving the various optimization problems. In past few decades, various researchers have proposed a large number of nature-inspired algorithms. Some of these algorithms have proved to be very efficient as compared to other classical optimization methods. A young researcher attempting to undertake or solve a problem using nature-inspired algorithms is bogged down by a plethora of proposals that exist today. Not every algorithm is suited for all kinds of problem. Some score over others. In this paper, an attempt has been made to summarize various leading research proposals that shall pave way for any new entrant to easily understand the journey so far. Here, we classify the nature-inspired algorithms as natural evolution based, swarm intelligence based, biological based, science based and others. In this survey, widely acknowledged nature-inspired algorithms namely- ACO, ABC, EAM, FA, FPA, GA, GSA, JAYA, PSO, SFLA, TLBO and WCA, have been studied. The purpose of this review is to present an exhaustive analysis of various nature-inspired algorithms based on its source of inspiration, basic operators, control parameters, features, variants and area of application where these algorithms have been successfully applied. It shall also assist in identifying and short listing the methodologies that are best suited for the problem.


title: Point-set Distances for Learning Representations of 3D Point Clouds

abstract: Learning an effective representation of 3D point clouds requires a good metric to measure the discrepancy between two 3D point sets, which is non-trivial due to their irregularity. Most of the previous works resort to using the Chamfer discrepancy or Earth Mover's distance, but those metrics are either ineffective in measuring the differences between point clouds or computationally expensive. In this paper, we conduct a systematic study with extensive experiments on distance metrics for 3D point clouds. From this study, we propose to use sliced Wasserstein distance and its variants for learning representations of 3D point clouds. In addition, we introduce a new algorithm to estimate sliced Wasserstein distance that guarantees that the estimated value is close enough to the true one. Experiments show that the sliced Wasserstein distance and its variants allow the neural network to learn a more efficient representation compared to the Chamfer discrepancy. We demonstrate the efficiency of the sliced Wasserstein metric and its variants on several tasks in 3D computer vision including training a point cloud autoencoder, generative modeling, transfer learning, and point cloud registration.


title: Scalarized Einstein-Maxwell-scalar Black Holes in Anti-de Sitter Spacetime

abstract: In this paper, we study spontaneous scalarization of asymptotically anti-de Sitter charged black holes in the Einstein-Maxwell-scalar model with a non-minimal coupling between the scalar and Maxwell fields. In this model, Reissner-Nordstr\"om-AdS (RNAdS) black holes are scalar-free black hole solutions, and may induce scalarized black holes due to the presence of a tachyonic instability of the scalar field near the event horizon. For RNAdS and scalarized black hole solutions, we investigate the domain of existence, perturbative stability against spherical perturbations and phase structure. In a micro-canonical ensemble, scalarized solutions are always thermodynamically preferred over RNAdS black holes. However, the system has much rich phase structure and phase transitions in a canonical ensemble. In particular, we report a RNAdS BH/scalarized BH/RNAdS BH reentrant phase transition, which is composed of a zeroth-order phase transition and a second-order one.


title: An Efficient Framework for Zero-Shot Sketch-Based Image Retrieval

abstract: Recently, Zero-shot Sketch-based Image Retrieval (ZS-SBIR) has attracted the attention of the computer vision community due to it's real-world applications, and the more realistic and challenging setting than found in SBIR. ZS-SBIR inherits the main challenges of multiple computer vision problems including content-based Image Retrieval (CBIR), zero-shot learning and domain adaptation. The majority of previous studies using deep neural networks have achieved improved results through either projecting sketch and images into a common low-dimensional space or transferring knowledge from seen to unseen classes. However, those approaches are trained with complex frameworks composed of multiple deep convolutional neural networks (CNNs) and are dependent on category-level word labels. This increases the requirements on training resources and datasets. In comparison, we propose a simple and efficient framework that does not require high computational training resources, and can be trained on datasets without semantic categorical labels. Furthermore, at training and inference stages our method only uses a single CNN. In this work, a pre-trained ImageNet CNN (e.g., ResNet50) is fine-tuned with three proposed learning objects: domain-aware quadruplet loss, semantic classification loss, and semantic knowledge preservation loss. The domain-aware quadruplet and semantic classification losses are introduced to learn discriminative, semantic and domain invariant features through considering ZS-SBIR as object detection and verification problem. ...


title: Room-temperature Mechanical Resonator with a Single Added or Subtracted Phonon

abstract: A room-temperature mechanical oscillator undergoes thermal Brownian motion with an amplitude much larger than the amplitude associated with a single phonon of excitation. This motion can be read out and manipulated using laser light using a cavity-optomechanical approach. By performing a strong quantum measurement, i.e., counting single photons in the sidebands imparted on a laser, we herald the addition and subtraction of single phonons on the 300K thermal motional state of a 4GHz mechanical oscillator. To understand the resulting mechanical state, we implement a tomography scheme and observe highly non-Gaussian phase-space distributions. Using a maximum likelihood method, we infer the density matrix of the oscillator and confirm the counter-intuitive doubling of the mean phonon number resulting from phonon addition and subtraction.


title: Analysis of Latent-Space Motion for Collaborative Intelligence

abstract: When the input to a deep neural network (DNN) is a video signal, a sequence of feature tensors is produced at the intermediate layers of the model. If neighboring frames of the input video are related through motion, a natural question is, "what is the relationship between the corresponding feature tensors?" By analyzing the effect of common DNN operations on optical flow, we show that the motion present in each channel of a feature tensor is approximately equal to the scaled version of the input motion. The analysis is validated through experiments utilizing common motion models. %These results will be useful in collaborative intelligence applications where sequences of feature tensors need to be compressed or further analyzed.


title: $D(X) < 1$ or $\hat{D}(X) < 1$ imply Property($K$)

abstract: Two new Banach space moduli, that involve weak convergent sequences, are introduced. It is shown that if either one of these moduli are strictly less than 1 then the Banach space has Property($K$)


title: Quality Estimation without Human-labeled Data

abstract: Quality estimation aims to measure the quality of translated content without access to a reference translation. This is crucial for machine translation systems in real-world scenarios where high-quality translation is needed. While many approaches exist for quality estimation, they are based on supervised machine learning requiring costly human labelled data. As an alternative, we propose a technique that does not rely on examples from human-annotators and instead uses synthetic training data. We train off-the-shelf architectures for supervised quality estimation on our synthetic data and show that the resulting models achieve comparable performance to models trained on human-annotated data, both for sentence and word-level prediction.


title: 3D Fourier transformation light scattering for reconstructing extend angled resolved light scattering of individual particles

abstract: We represent three-dimensional Fourier transform light scattering, a method to reconstruct angle-resolved light scattering (ARLS) with extended angle-range from individual spherical objects. To overcome the angle limitation determined by the physical numerical aperture of an optical system, the optical light fields scattered from a sample are measured with various illumination angles, and then synthesized onto the Ewald Sphere corresponding to the normal illumination in Fourier space by rotating the scattered light signals. The method extends the angle range of the ARLS spectra beyond 90 degree, beyond the limit of forward optical measurements. Extended scattered light fields in 3D and corresponding ARLS spectra of individual microscopic polystyrene beads, and protein droplets are represented.


title: Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks

abstract: Deep Reinforcement Learning (DRL) is emerging as a promising approach to generate adaptive behaviors for robotic platforms. However, a major drawback of using DRL is the data-hungry training regime that requires millions of trial and error attempts, which is impractical when running experiments on robotic systems. Learning from Demonstrations (LfD) has been introduced to solve this issue by cloning the behavior of expert demonstrations. However, LfD requires a large number of demonstrations that are difficult to be acquired since dedicated complex setups are required. To overcome these limitations, we propose a multi-subtask reinforcement learning methodology where complex pick and place tasks can be decomposed into low-level subtasks. These subtasks are parametrized as expert networks and learned via DRL methods. Trained subtasks are then combined by a high-level choreographer to accomplish the intended pick and place task considering different initial configurations. As a testbed, we use a pick and place robotic simulator to demonstrate our methodology and show that our method outperforms a benchmark methodology based on LfD in terms of sample-efficiency. We transfer the learned policy to the real robotic system and demonstrate robust grasping using various geometric-shaped objects.


title: Computing the order and the index of a subgroup in a polycyclic group

abstract: This contains a new version of the so-called non-commutative Gauss algorithm for polycyclic groups. Its results allow to read off the order and the index of a subgroup in an (possibly infinite) polycyclic group.


title: IDOL: Inertial Deep Orientation-Estimation and Localization

abstract: Many smartphone applications use inertial measurement units (IMUs) to sense movement, but the use of these sensors for pedestrian localization can be challenging due to their noise characteristics. Recent data-driven inertial odometry approaches have demonstrated the increasing feasibility of inertial navigation. However, they still rely upon conventional smartphone orientation estimates that they assume to be accurate, while in fact these orientation estimates can be a significant source of error. To address the problem of inaccurate orientation estimates, we present a two-stage, data-driven pipeline using a commodity smartphone that first estimates device orientations and then estimates device position. The orientation module relies on a recurrent neural network and Extended Kalman Filter to obtain orientation estimates that are used to then rotate raw IMU measurements into the appropriate reference frame. The position module then passes those measurements through another recurrent network architecture to perform localization. Our proposed method outperforms state-of-the-art methods in both orientation and position error on a large dataset we constructed that contains 20 hours of pedestrian motion across 3 buildings and 15 subjects.


title: Test-beam characterisation of the CLICTD technology demonstrator - a small collection electrode High-Resistivity CMOS pixel sensor with simultaneous time and energy measurement

abstract: The CLIC Tracker Detector (CLICTD) is a monolithic pixel sensor. It is fabricated in a 180 nm CMOS imaging process, modified with an additional deep low-dose n-type implant to obtain full lateral depletion. The sensor features a small collection diode, which is essential for achieving a low input capacitance. The CLICTD sensor was designed as a technology demonstrator in the context of the tracking detector studies for the Compact Linear Collider (CLIC). Its design characteristics are of broad interest beyond CLIC, for HL-LHC tracking detector upgrades. It is produced in two different pixel flavours: one with a continuous deep n-type implant, and one with a segmented n-type implant to ensure fast charge collection. The pixel matrix consists of $16\times128$ detection channels measuring $300 \times 30$ microns. Each detection channel is segmented into eight sub-pixels to reduce the amount of digital circuity while maintaining a small collection electrode pitch. This paper presents the characterisation results of the CLICTD sendor in a particle beam. The different pixel flavours are compared in detail by using the simultaneous time-over-threshold and time-of-arrival measurement functionalities. Most notably, a time resolution down to $(5.8 \pm 0.1)$ ns and a spatial resolution down to $(4.6 \pm 0.2)$ microns are measured. The hit detection efficiency is found to be well above 99.7% for thresholds of the order of several hundred electrons.


title: Discovery and timing of three millisecond pulsars in radio and gamma-rays with the GMRT and Fermi-LAT

abstract: We performed deep observations to search for radio pulsations in the directions of 375 unassociated Fermi Large Area Telescope (LAT) gamma-ray sources using the Giant Metrewave Radio Telescope (GMRT) at 322 and 607 MHz. In this paper we report the discovery of three millisecond pulsars (MSPs), PSR J0248+4230, PSR J1207$-$5050 and PSR J1536$-$4948. We conducted follow up timing observations for around 5 years with the GMRT and derived phase coherent timing models for these MSPs. PSR J0248$+$4230 and J1207$-$5050 are isolated MSPs having periodicities of 2.60 ms and 4.84 ms. PSR J1536-4948 is a 3.07 ms pulsar in a binary system with orbital period of around 62 days about a companion of minimum mass 0.32 solar mass. We also present multi-frequency pulse profiles of these MSPs from the GMRT observations. PSR J1536-4948 is an MSP with an extremely wide pulse profile having multiple components. Using the radio timing ephemeris we subsequently detected gamma-ray pulsations from these three MSPs, confirming them as the sources powering the gamma-ray emission. For PSR J1536-4948 we performed combined radio-gamma-ray timing using around 11.6 years of gamma-ray pulse times of arrivals (TOAs) along with the radio TOAs. PSR J1536-4948 also shows evidence for pulsed gamma-ray emission out to above 25 GeV, confirming earlier associations of this MSP with a >10 GeV point source. The multi-wavelength pulse profiles of all three MSPs offer challenges to models of radio and gamma-ray emission in pulsar magnetospheres.


title: Sharp lower bounds for moments of quadratic Dirichlet $L$-functions

abstract: We establish sharp lower bounds for the $k$-th moment in the range $0 \leq k \leq 1$ of the family of quadratic Dirichlet $L$-functions at the central point.


title: Max-log APP Detection for Non-bijective Symbol Constellations

abstract: A posteriori probability (APP) and max-log APP detection is widely used in soft-input soft-output detection. In contrast to bijective modulation schemes, there are important differences when applying these algorithms to non-bijective symbol constellations. In this letter the main differences are highlighted.


title: Non-linear frequency warping using constant-Q transformation for speech emotion recognition

abstract: In this work, we explore the constant-Q transform (CQT) for speech emotion recognition (SER). The CQT-based time-frequency analysis provides variable spectro-temporal resolution with higher frequency resolution at lower frequencies. Since lower-frequency regions of speech signal contain more emotion-related information than higher-frequency regions, the increased low-frequency resolution of CQT makes it more promising for SER than standard short-time Fourier transform (STFT). We present a comparative analysis of short-term acoustic features based on STFT and CQT for SER with deep neural network (DNN) as a back-end classifier. We optimize different parameters for both features. The CQT-based features outperform the STFT-based spectral features for SER experiments. Further experiments with cross-corpora evaluation demonstrate that the CQT-based systems provide better generalization with out-of-domain training data.


title: Normalized solutions for Schr\"odinger equations with critical Sobolev exponent and mixed nonlinearities

abstract: In this paper, we consider the following nonlinear Schr\"{o}dinger equations with mixed nonlinearities: \begin{eqnarray*} \left\{\aligned &-\Delta u=\lambda u+\mu |u|^{q-2}u+|u|^{2^*-2}u\quad\text{in }\mathbb{R}^N,\\ &u\in H^1(\bbr^N),\quad\int_{\bbr^N}u^2=a^2, \endaligned\right. \end{eqnarray*} where $N\geq3$, $\mu>0$, $\lambda\in\mathbb{R}$ and $2<q<2^*$. We prove in this paper \begin{enumerate} \item[$(1)$]\quad Existence of solutions of mountain-pass type for $N=3$ and $2<q<2+\frac{4}{N} $. \item[$(2)$]\quad Existence and nonexistence of ground states for $2+\frac{4}{N}\leq q<2^*$ with $\mu>0$ large. \item[$(3)$]\quad Precisely asymptotic behaviors of ground states and mountain-pass solutions as $\mu\to0$ and $\mu$ goes to its upper bound. \end{enumerate} Our studies answer some questions proposed by Soave in \cite[Remarks~1.1, 1.2 and 8.1]{S20}.


title: Rihanna versus Bollywood: Twitter Influencers and the Indian Farmers' Protest

abstract: A tweet from popular entertainer and businesswoman, Rihanna, bringing attention to farmers' protests around Delhi set off heightened activity on Indian social media. An immediate consequence was the weighing in by Indian politicians, entertainers, media and other influencers on the issue. In this paper, we use data from Twitter and an archive of debunked misinformation stories to understand some of the patterns around influencer engagement with a political issue. We found that more followed influencers were less likely to come out in support of the tweet. We also find that the later engagement of major influencers on the side of the government's position shows suggestion's of collusion. Irrespective of their position on the issue, influencers who engaged saw a significant rise in their following after their tweets. While a number of tweets thanked Rihanna for raising awareness on the issue, she was systematically trolled on the grounds of her gender, race, nationality and religion. Finally, we observed how misinformation existing prior to the tweet set up the grounds for alternative narratives that emerged.


title: One qubit as a Universal Approximant

abstract: A single-qubit circuit can approximate any bounded complex function stored in the degrees of freedom defining its quantum gates. The single-qubit approximant presented in this work is operated through a series of gates that take as their parameterization the independent variable of the target function and an additional set of adjustable parameters. The independent variable is re-uploaded in every gate while the parameters are optimized for each target function. The output state of this quantum circuit becomes more accurate as the number of re-uploadings of the independent variable increases, i. e., as more layers of gates parameterized with the independent variable are applied. In this work, we provide two different proofs of this claim related to both the Fourier series and the Universal Approximation Theorem for Neural Networks, and we benchmark both methods against their classical counterparts. We further implement a single-qubit approximant in a real superconducting qubit device, demonstrating how the ability to describe a set of functions improves with the depth of the quantum circuit. This work shows the robustness of the re-uploading technique on Quantum Machine Learning.


title: A Hybrid Bandit Model with Visual Priors for Creative Ranking in Display Advertising

abstract: Creative plays a great important role in e-commerce for exhibiting products. Sellers usually create multiple creatives for comprehensive demonstrations, thus it is crucial to display the most appealing design to maximize the Click-Through Rate~(CTR). For this purpose, modern recommender systems dynamically rank creatives when a product is proposed for a user. However, this task suffers more cold-start problem than conventional products recommendation In this paper, we propose a hybrid bandit model with visual priors which first makes predictions with a visual evaluation, and then naturally evolves to focus on the specialities through the hybrid bandit model. Our contributions are three-fold: 1) We present a visual-aware ranking model (called VAM) that incorporates a list-wise ranking loss for ordering the creatives according to the visual appearance. 2) Regarding visual evaluations as a prior, the hybrid bandit model (called HBM) is proposed to evolve consistently to make better posteriori estimations by taking more observations into consideration for online scenarios. 3) A first large-scale creative dataset, CreativeRanking, is constructed, which contains over 1.7M creatives of 500k products as well as their real impression and click data. Extensive experiments have also been conducted on both our dataset and public Mushroom dataset, demonstrating the effectiveness of the proposed method.


title: The Autonomous Siemens Tram

abstract: This paper presents the Autonomous Siemens Tram that was publicly demonstrated in Potsdam, Germany during the InnoTrans 2018 exhibition. The system was built on a Siemens Combino tram and used a multi-modal sensor suite to localize the vehicle, and to detect and respond to traffic signals and obstacles. An overview of the hardware and the developed localization, signal handling, and obstacle handling components is presented, along with a summary of their performance.


title: In-game Residential Home Planning via Visual Context-aware Global Relation Learning

abstract: In this paper, we propose an effective global relation learning algorithm to recommend an appropriate location of a building unit for in-game customization of residential home complex. Given a construction layout, we propose a visual context-aware graph generation network that learns the implicit global relations among the scene components and infers the location of a new building unit. The proposed network takes as input the scene graph and the corresponding top-view depth image. It provides the location recommendations for a newly-added building units by learning an auto-regressive edge distribution conditioned on existing scenes. We also introduce a global graph-image matching loss to enhance the awareness of essential geometry semantics of the site. Qualitative and quantitative experiments demonstrate that the recommended location well reflects the implicit spatial rules of components in the residential estates, and it is instructive and practical to locate the building units in the 3D scene of the complex construction.


title: Simultaneous Localization and Mapping Related Datasets: A Comprehensive Survey

abstract: Due to the complicated procedure and costly hardware, Simultaneous Localization and Mapping (SLAM) has been heavily dependent on public datasets for drill and evaluation, leading to many impressive demos and good benchmark scores. However, with a huge contrast, SLAM is still struggling on the way towards mature deployment, which sounds a warning: some of the datasets are overexposed, causing biased usage and evaluation. This raises the problem on how to comprehensively access the existing datasets and correctly select them. Moreover, limitations do exist in current datasets, then how to build new ones and which directions to go? Nevertheless, a comprehensive survey which can tackle the above issues does not exist yet, while urgently demanded by the community. To fill the gap, this paper strives to cover a range of cohesive topics about SLAM related datasets, including general collection methodology and fundamental characteristic dimensions, SLAM related tasks taxonomy and datasets categorization, introduction of state-of-the-arts, overview and comparison of existing datasets, review of evaluation criteria, and analyses and discussions about current limitations and future directions, looking forward to not only guiding the dataset selection, but also promoting the dataset research.


title: The harmonic theory on a vector bundle with singular Hermitian metrics and positivity

abstract: Let $E$ be a holomorphic vector bundle endowed with a singular Hermitian metric $H$. In this paper, we develop the harmonic theory on $(E,H)$. Then we extend several canonical results of J. Koll\'{a}r and K. Takegoshi to this situation. In the end, we generalise Nakano's vanishing theorem.


title: Prime-representing functions and Hausdorff dimension

abstract: In 2010, Matom\"{a}ki investigated the set of $A>1$ such that the integer part of $ A^{c^k} $ is a prime number for every $k\in \mathbb{N}$, where $c\geq 2$ is any fixed real number. She proved that the set is uncountable, nowhere dense, and has Lebesgue measure $0$. In this article, we show that the set has Hausdorff dimension $1$.


title: Evidence of orbital ferromagnetism in twisted bilayer graphene aligned to hexagonal boron nitride

abstract: We have previously reported ferromagnetism evinced by a large hysteretic anomalous Hall effect in twisted bilayer graphene (tBLG). Subsequent measurements of a quantized Hall resistance and small longitudinal resistance confirmed that this magnetic state is a Chern insulator. Here we report that, when tilting the sample in an external magnetic field, the ferromagnetism is highly anisotropic. Because spin-orbit coupling is negligible in graphene such anisotropy is unlikely to come from spin, but rather favors theories in which the ferromagnetism is orbital. We know of no other case in which ferromagnetism has a purely orbital origin. For an applied in-plane field larger than $5\ \mathrm{T}$, the out-of-plane magnetization is destroyed, suggesting a transition to a new phase.


title: LightSpeech: Lightweight and Fast Text to Speech with Neural Architecture Search

abstract: Text to speech (TTS) has been broadly used to synthesize natural and intelligible speech in different scenarios. Deploying TTS in various end devices such as mobile phones or embedded devices requires extremely small memory usage and inference latency. While non-autoregressive TTS models such as FastSpeech have achieved significantly faster inference speed than autoregressive models, their model size and inference latency are still large for the deployment in resource constrained devices. In this paper, we propose LightSpeech, which leverages neural architecture search~(NAS) to automatically design more lightweight and efficient models based on FastSpeech. We first profile the components of current FastSpeech model and carefully design a novel search space containing various lightweight and potentially effective architectures. Then NAS is utilized to automatically discover well performing architectures within the search space. Experiments show that the model discovered by our method achieves 15x model compression ratio and 6.5x inference speedup on CPU with on par voice quality. Audio demos are provided at https://speechresearch.github.io/lightspeech.


title: A strengthening of the spectral chromatic critical edge theorem: books and theta graphs

abstract: The chromatic critical edge theorem of Simonovits states that for a given color critical graph $H$ with $\chi(H)=k+1$, there exists an $n_0(H)$ such that the Tur\'an graph $T_{n,k}$ is the only extremal graph with respect to $ex(n,H)$ provided $n \geq n_0(H)$. Nikiforov's pioneer work on spectral graph theory implies that the color critical edge theorem also holds if $ex(n,H)$ is replaced by the maximum spectral radius and $n_0(H)$ is an exponential function of $|H|$. We want to know which color critical graphs $H$ satisfy that $n_0(H)$ is a linear function of $|H|$. Previous graphs include complete graphs and odd cycles. In this paper, we find two new classes of graphs: books and theta graphs. Namely, we prove that every graph on $n$ vertices with $\rho(G)>\rho(T_{n,2})$ contains a book of size greater than $\frac{n}{6.5}$. This can be seen as a spectral version of a 1962 conjecture by Erd\H{o}s, which states that every graph on $n$ vertices with $e(G)>e(T_{n,2})$ contains a book of size greater than $\frac{n}{6}$. In addition, our result on theta graphs implies that if $G$ is a graph of order $n$ with $\rho(G)>\rho(T_{n,2})$, then $G$ contains a cycle of length $t$ for every $t\leq \frac{n}{7}$. This is related to an open question by Nikiforov which asks to determine the maximum $c$ such that every graph $G$ of large enough order $n$ with $\rho(G)>\rho(T_{n,2})$ contains a cycle of length $t$ for every $t\leq cn$.


title: Positive lower density for prime divisors of generic linear recurrences

abstract: Let $d \ge 3$ be an integer and let $P \in \mathbb{Z}[x]$ be a polynomial of degree $d$ whose Galois group is $S_d$. Let $(a_n)$ be a linearly recuresive sequence of integers which has $P$ as its characteristic polynomial. We prove, under the generalized Riemann hypothesis, that the lower density of the set of primes which divide at least one element of the sequence $(a_n)$ is positive.


title: Two-Dimensional Golay Complementary Array Sets from Generalized Boolean Functions

abstract: The one-dimensional (1-D) Golay complementary set (GCS) has many well-known properties and has been widely employed in engineering. The concept of 1-D GCS can be extended to the two-dimensional (2-D) Golay complementary array set (GCAS) where the 2-D aperiodic autocorrelation of constituent arrays sum to zero except for the 2-D zero shift. The 2-D GCAS includes the 2-D Golay complementary array pair (GCAP) as a special case when the set size is 2. In this paper, 2-D generalized Boolean functions are introduced and novel constructions of 2-D GCAPs, 2-D GCASs, and 2-D Golay complementary array mates based on generalized Boolean functions are proposed. Explicit expressions of 2-D Boolean functions for 2-D GCAPs and 2-D GCASs are given. Therefore, they are all direct constructions without the aid of other existing 1-D or 2-D sequences. Moreover, for the column sequences and row sequences of the constructed 2-D GCAPs, their peak-to-average power ratio (PAPR) properties are also investigated.


title: Variation after projection calculations for high-spin states

abstract: In this paper, an improvement has been made on the variation after projection (VAP) method, which is crucial in the calculations of high-spin states. It turns out that, the form of the trial VAP wave function with spin $J$ can be simplified by adopting just one projected state rather than previously adopting all $(2J+1)$ angular momentum projected states for each selected reference state, $|\Phi\rangle$. The present calculations show that such simplification still minimizes the angular momentum projected energy up to a very good approximation. In this simplified VAP scheme, one can obtain almost equivalent VAP wave functions starting from different sets of the projected basis states. This clearly shows that a nuclear state can not be identified with a single intrinsic state, while in the traditional nuclear collective models, an intrinsic state is usually assigned to a well deformed rotational band.


title: On the cokernel of the Baumslag rationalization

abstract: We prove that for the free group of rank two $F$ the cokernel of the homomorphism to its Baumslag rationalization $F\to {\sf Bau}(F)$ is not abelian. Moreover, this cokernel contains a free subgroup of countable rank. This answers a question of Emmanuel Farjoun.


title: Towards Accurate RGB-D Saliency Detection with Complementary Attention and Adaptive Integration

abstract: Saliency detection based on the complementary information from RGB images and depth maps has recently gained great popularity. In this paper, we propose Complementary Attention and Adaptive Integration Network (CAAI-Net), a novel RGB-D saliency detection model that integrates complementary attention based feature concentration and adaptive cross-modal feature fusion into a unified framework for accurate saliency detection. Specifically, we propose a context-aware complementary attention (CCA) module, which consists of a feature interaction component, a complementary attention component, and a global-context component. The CCA module first utilizes the feature interaction component to extract rich local context features. The resulting features are then fed into the complementary attention component, which employs the complementary attention generated from adjacent levels to guide the attention at the current layer so that the mutual background disturbances are suppressed and the network focuses more on the areas with salient objects. Finally, we utilize a specially-designed adaptive feature integration (AFI) module, which sufficiently considers the low-quality issue of depth maps, to aggregate the RGB and depth features in an adaptive manner. Extensive experiments on six challenging benchmark datasets demonstrate that CAAI-Net is an effective saliency detection model and outperforms nine state-of-the-art models in terms of four widely-used metrics. In addition, extensive ablation studies confirm the effectiveness of the proposed CCA and AFI modules.


title: Daniel M\"ogling's sunspot observations in 1626 - 1629: A manuscript reference for the solar activity before the Maunder Minimum

abstract: The sunspot groups have been observed since 1610 and their numbers have been used for evaluating the amplitude of solar activity. Daniel M\"ogling recorded his sunspot observations for more than 100 days in 1626 - 1629 and formed a significant dataset of sunspot records before the Maunder Minimum. Here, we have analysed his original manuscripts in the Universit\"ats- und Landesbibliothek Darmstadt (ULBD) to review M\"ogling's personal profile and observational instruments and derive number and positions of the sunspot groups. In his manuscript, we have identified 134 days with an exact sunspot group number and 3 days of additional descriptions. Our analyses have completely revised their observational dates and group number, added 19 days of hitherto overlooked observations, and removed 8 days of misinterpreted observations. We have also revisited sunspot observations of Schickard and Hortensius and revised their data. These results have been compared with the contemporary observations. Moreover, we have derived the sunspot positions from his sunspot drawings and located them at 2{\deg}-23{\deg} in the heliographic latitude in both solar hemispheres. Contextualised with contemporary observations, these results indicate their temporal migration to lower heliographic latitudes and emphasise its location in the declining phase of Solar Cycle -12 in the 1620s. His observations were probably conducted using a pinhole and camera obscura, which made M\"ogling likely underestimate the sunspot group number by >~ 33% - 52 %. This underestimation should be noted upon their comparison with the modern datasets.


title: A note on global identification in structural vector autoregressions

abstract: In a landmark contribution to the structural vector autoregression (SVARs) literature, Rubio-Ramirez, Waggoner, and Zha (2010, `Structural Vector Autoregressions: Theory of Identification and Algorithms for Inference,' Review of Economic Studies) shows a necessary and sufficient condition for equality restrictions to globally identify the structural parameters of a SVAR. The simplest form of the necessary and sufficient condition shown in Theorem 7 of Rubio-Ramirez et al (2010) checks the number of zero restrictions and the ranks of particular matrices without requiring knowledge of the true value of the structural or reduced-form parameters. However, this note shows by counterexample that this condition is not sufficient for global identification. Analytical investigation of the counterexample clarifies why their sufficiency claim breaks down. The problem with the rank condition is that it allows for the possibility that restrictions are redundant, in the sense that one or more restrictions may be implied by other restrictions, in which case the implied restriction contains no identifying information. We derive a modified necessary and sufficient condition for SVAR global identification and clarify how it can be assessed in practice.


title: Design of Photonic Filters based on Integrated Coupled Sagnac Loop Reflectors

abstract: We theoretically investigate integrated photonic resonators formed by two mutually coupled Sagnac loop reflectors (MC-SLRs). Mode interference in the MC-SLR resonators is tailored to achieve versatile filter shapes with high performance, which enable flexible spectral engineering for diverse applications. By adjusting the reflectivity of the Sagnac loop reflectors (SLRs) as well as the coupling strength between different SLRs, we achieve optical analogues of Fano resonance with ultrahigh spectral slope rates, wavelength interleaving / non-blocking switching functions with significantly enhanced filtering flatness, and compact bandpass filters with improved roll-off. In our designs the requirements for practical applications are considered, together with detailed analyses of the impact of structural parameters and fabrication tolerances. These results highlight the strong potential of MC-SLR resonators as advanced multi-functional integrated photonic filters for flexible spectral engineering in optical communications systems.


title: A Constant Approximation Algorithm for Sequential Random-Order No-Substitution k-Median Clustering

abstract: We study k-median clustering under the sequential no-substitution setting. In this setting, a data stream is sequentially observed, and some of the points are selected by the algorithm as cluster centers. However, a point can be selected as a center only immediately after it is observed, before observing the next point. In addition, a selected center cannot be substituted later. We give the first algorithm for this setting that obtains a constant approximation factor on the optimal risk under a random arrival order, an exponential improvement over previous work. This is also the first constant approximation guarantee that holds without any structural assumptions on the input data. Moreover, the number of selected centers is only quasi-linear in k. Our algorithm and analysis are based on a careful risk estimation that avoids outliers, a new concept of a linear bin division, and a multiscale approach to center selection.


title: HumanACGAN: conditional generative adversarial network with human-based auxiliary classifier and its evaluation in phoneme perception

abstract: We propose a conditional generative adversarial network (GAN) incorporating humans' perceptual evaluations. A deep neural network (DNN)-based generator of a GAN can represent a real-data distribution accurately but can never represent a human-acceptable distribution, which are ranges of data in which humans accept the naturalness regardless of whether the data are real or not. A HumanGAN was proposed to model the human-acceptable distribution. A DNN-based generator is trained using a human-based discriminator, i.e., humans' perceptual evaluations, instead of the GAN's DNN-based discriminator. However, the HumanGAN cannot represent conditional distributions. This paper proposes the HumanACGAN, a theoretical extension of the HumanGAN, to deal with conditional human-acceptable distributions. Our HumanACGAN trains a DNN-based conditional generator by regarding humans as not only a discriminator but also an auxiliary classifier. The generator is trained by deceiving the human-based discriminator that scores the unconditioned naturalness and the human-based classifier that scores the class-conditioned perceptual acceptability. The training can be executed using the backpropagation algorithm involving humans' perceptual evaluations. Our experimental results in phoneme perception demonstrate that our HumanACGAN can successfully train this conditional generator.


title: On the Convexity of Level-sets of Probability Functions

abstract: In decision-making problems under uncertainty, probabilistic constraints are a valuable tool to express safety of decisions. They result from taking the probability measure of a given set of random inequalities depending on the decision vector. Even if the original set of inequalities is convex, this favourable property is not immediately transferred to the probabilistically constrained feasible set and may in particular depend on the chosen safety level. In this paper, we provide results guaranteeing the convexity of feasible sets to probabilistic constraints when the safety level is greater than a computable threshold. Our results extend all the existing ones and also cover the case where decision vectors belong to Banach spaces. The key idea in our approach is to reveal the level of underlying convexity in the nominal problem data (e.g., concavity of the probability function) by auxiliary transforming functions. We provide several examples illustrating our theoretical developments.


title: Self-Sustainable Reconfigurable Intelligent Surface Aided Simultaneous Terahertz Information and Power Transfer (STIPT)

abstract: This paper proposes a new simultaneous terahertz (THz) information and power transfer (STIPT) system, which is assisted by reconfigurable intelligent surface (RIS) for both the information data and power transmission. We aim to maximize the information users' (IUs') data rate while guaranteeing the energy users' (EUs') and RIS's power harvesting requirements. To solve the formulated non-convex problem, the block coordinate descent (BCD) based algorithm is adopted to alternately optimize the transmit precoding of IUs, RIS's reflecting coefficients, and RIS's coordinate. The Penalty Constrained Convex Approximation (PCCA) Algorithm is proposed to solve the intractable optimization problem of the RIS's coordinate, where the solution's feasibility is guaranteed by the introduced penalties. Simulation results confirm that the proposed BCD algorithm can significantly enhance the performance of STIPT by employing RIS.


title: Sensor Planning for Large Numbers of Robots

abstract: *The following abbreviates the abstract. Please refer to the thesis for the full abstract.* After a disaster, locating and extracting victims quickly is critical because mortality rises rapidly after the first two days. To assist search and rescue teams and improve response times, teams of camera-equipped aerial robots can engage in tasks such as mapping buildings and locating victims. These sensing tasks encapsulate difficult (NP-Hard) problems. One way to simplify planning for these tasks is to focus on maximizing sensing performance over a short time horizon. Specifically, consider the problem of how to select motions for a team of robots to maximize a notion of sensing quality (the sensing objective) over the near future, say by maximizing the amount of unknown space in a map that robots will observe over the next several seconds. By repeating this process regularly, the team can react quickly to new observations as they work to complete the sensing task. In technical terms, this planning and control process forms an example of receding-horizon control. Fortunately, common sensing objectives benefit from well-known monotonicity properties (e.g. submodularity), and greedy algorithms can exploit these monotonicity properties to solve the receding-horizon optimization problems that we study near-optimally. However, greedy algorithms typically force robots to make decisions sequentially so that planning time grows with the number of robots. Further, recent works that investigate sequential greedy planning, have demonstrated that reducing the number of sequential steps while retaining suboptimality guarantees can be hard or impossible. We demonstrate that halting growth in planning time is sometimes possible. To do so, we introduce novel greedy algorithms involving fixed numbers of sequential steps.

categories: cs.RO cs.IT cs.SY eess.SY math.IT math.OC


title: Formulae for two-variable Green functions

abstract: Based on results of Digne-Michel-Lehrer (2003) we give two formulae for two-variable Green functions attached to Lusztig induction in a finite reductive group. We present applications to explicit computation of these Green functions, to conjectures of Malle and Rotilio, and to scalar products between Lusztig inductions of Gelfand-Graev characters.


title: Speaker and Direction Inferred Dual-channel Speech Separation

abstract: Most speech separation methods, trying to separate all channel sources simultaneously, are still far from having enough general- ization capabilities for real scenarios where the number of input sounds is usually uncertain and even dynamic. In this work, we employ ideas from auditory attention with two ears and propose a speaker and direction inferred speech separation network (dubbed SDNet) to solve the cocktail party problem. Specifically, our SDNet first parses out the respective perceptual representations with their speaker and direction characteristics from the mixture of the scene in a sequential manner. Then, the perceptual representations are utilized to attend to each corresponding speech. Our model gener- ates more precise perceptual representations with the help of spatial features and successfully deals with the problem of the unknown number of sources and the selection of outputs. The experiments on standard fully-overlapped speech separation benchmarks, WSJ0- 2mix, WSJ0-3mix, and WSJ0-2&3mix, show the effectiveness, and our method achieves SDR improvements of 25.31 dB, 17.26 dB, and 21.56 dB under anechoic settings. Our codes will be released at https://github.com/aispeech-lab/SDNet.


title: Improving filling level classification with adversarial training

abstract: We investigate the problem of classifying - from a single image - the level of content in a cup or a drinking glass. This problem is made challenging by several ambiguities caused by transparencies, shape variations and partial occlusions, and by the availability of only small training datasets. In this paper, we tackle this problem with an appropriate strategy for transfer learning. Specifically, we use adversarial training in a generic source dataset and then refine the training with a task-specific dataset. We also discuss and experimentally evaluate several training strategies and their combination on a range of container types of the CORSMAL Containers Manipulation dataset. We show that transfer learning with adversarial training in the source domain consistently improves the classification accuracy on the test set and limits the overfitting of the classifier to specific features of the training data.


title: Modern tools for annotation of small genomes of non-model eukaryotes

abstract: Nowadays, due to the increasing amount of experimental data obtained by sequencing, the most interest is focused on determining the functions and characteristics of its individual parts of the genome instead of determining the nucleotide sequence of the genome. The genome annotation includes the identification of coding and non-coding sequences, determining the structure of the gene and determining the functions of these sequences. Despite the significant achievements in computational technologies working with sequencing data, there is no general approach to the functional annotation of the genome in the reason of the large number of unresolved molecular determination of the function of some genomes parts. Nevertheless, the scientific community is trying to solve this problem. This review analyzed existing approaches to eukaryotic genome annotation. This work includes 3 main parts: introduction, main body and discussion. The introduction reflects the development of independent tools and automatic pipelines for annotation of eukaryotic genomes, which are associated with existing achievements in annotating prokaryotic ones. The main body consists of two distinguished parts, the first one is devoted to instructions for annotating genomes of non-model eukaryotes, and the second block is about recent versions of automatic pipelines that require minimal user's curation. The question of assessing the quality and completeness of the annotated genome is noted briefly, and the tools to conduct this analysis are discussed. Currently, there is no universal automatic software for eukaryotic genome annotation, covering the whole list of tasks, without manual curation or using additional external tools and resources. Thus it leads to the task of developing a wider functional and universal protocol for automatic annotation of small eukaryotic genomes.


title: General Fractional Integrals and Derivatives with the Sonine Kernels

abstract: In this paper, we address the general fractional integrals and derivatives with the Sonine kernels on the spaces of functions with an integrable singularity at the point zero. First, the Sonine kernels and their important special classes and particular cases are discussed. In particular, we introduce a class of the Sonine kernels that possess an integrable singularity of power function type at the point zero. For the general fractional integrals and derivatives with the Sonine kernels from this class, two fundamental theorems of fractional calculus are proved. Then, we construct the $n$-fold general fractional integrals and derivatives and study their properties.


title: OV$^{2}$SLAM : A Fully Online and Versatile Visual SLAM for Real-Time Applications

abstract: Many applications of Visual SLAM, such as augmented reality, virtual reality, robotics or autonomous driving, require versatile, robust and precise solutions, most often with real-time capability. In this work, we describe OV$^{2}$SLAM, a fully online algorithm, handling both monocular and stereo camera setups, various map scales and frame-rates ranging from a few Hertz up to several hundreds. It combines numerous recent contributions in visual localization within an efficient multi-threaded architecture. Extensive comparisons with competing algorithms shows the state-of-the-art accuracy and real-time performance of the resulting algorithm. For the benefit of the community, we release the source code: \url{https://github.com/ov2slam/ov2slam}.


title: Convergence analysis for minimum action methods coupled with a finite difference method

abstract: The minimum action method (MAM) is an effective approach to numerically solving minimums and minimizers of Freidlin--Wentzell (F-W) action functionals, which is used to study the most probable transition path and probability of the occurrence of transitions for stochastic differential equations (SDEs) with small noise. In this paper, we focus on MAMs based on a finite difference method, and present the convergence analysis of minimums and minimizers of the discrete F-W action functional. The main result shows that the convergence orders of the minimum of the discrete F-W action functional in the cases of multiplicative noises and additive noises are $1/2$ and $1$, respectively. Our main result also reveals the convergence of the stochastic $\theta$-method for SDEs with small noise in terms of large deviations.


title: An Update on a Progressively Expanded Database for Automated Lung Sound Analysis

abstract: Purpose: We previously established an open-access lung sound database, HF_Lung_V1, and developed deep learning models for inhalation, exhalation, continuous adventitious sound (CAS), and discontinuous adventitious sound (DAS) detection. The amount of data used for training contributes to model accuracy. Herein, we collected larger quantities of data to further improve model performance. Moreover, the issues of noisy labels and sound overlapping were explored. Methods: HF_Lung_V1 was expanded to HF_Lung_V2 with a 1.45x increase in the number of audio files. Convolutional neural network-bidirectional gated recurrent unit network models were trained separately using the HF_Lung_V1 (V1_Train) and HF_Lung_V2 (V2_Train) training sets and then tested using the HF_Lung_V1 (V1_Test) and HF_Lung_V2 (V2_Test) test sets, respectively. Segment and event detection performance was evaluated using the F1 scores. Label quality was assessed. Moreover, the overlap ratios between inhalation, exhalation, CAS, and DAS labels were computed. Results: The model trained using V2_Train exhibited improved F1 scores in inhalation, exhalation, and CAS detection on both V1_Test and V2_Test but not in DAS detection. Poor CAS detection was attributed to the quality of CAS labels. DAS detection was strongly influenced by the overlapping of DAS labels with inhalation and exhalation labels. Conclusion: Collecting greater quantities of lung sound data is vital for developing more accurate lung sound analysis models. To build real ground-truth labels, the labels must be reworked; this process is ongoing. Furthermore, a method for addressing the sound overlapping problem in DAS detection must be formulated.


title: $\scriptstyle{BASALT}$: A Rock-Solid Foundation for Epidemic Consensus Algorithms in Very Large, Very Open Networks

abstract: Recent works have proposed new Byzantine consensus algorithms for blockchains based on epidemics, a design which enables highly scalable performance at a low cost. These methods however critically depend on a secure random peer sampling service: a service that provides a stream of random network nodes where no attacking entity can become over-represented. To ensure this security property, current epidemic platforms use a Proof-of-Stake system to select peer samples. However such a system limits the openness of the system as only nodes with significant stake can participate in the consensus, leading to an oligopoly situation. Moreover, this design introduces a complex interdependency between the consensus algorithm and the cryptocurrency built upon it. In this paper, we propose a radically different security design for the peer sampling service, based on the distribution of IP addresses to prevent Sybil attacks. We propose a new algorithm, $\scriptstyle{BASALT}$, that implements our design using a stubborn chaotic search to counter attackers' attempts at becoming over-represented. We show in theory and using Monte Carlo simulations that $\scriptstyle{BASALT}$ provides samples which are extremely close to the optimal distribution even in adversarial scenarios such as tentative Eclipse attacks. Live experiments on a production cryptocurrency platform confirm that the samples obtained using $\scriptstyle{BASALT}$ are equitably distributed amongst nodes, allowing for a system which is both open and where no single entity can gain excessive power.


title: Enhance Information Propagation for Graph Neural Network by Heterogeneous Aggregations

abstract: Graph neural networks are emerging as continuation of deep learning success w.r.t. graph data. Tens of different graph neural network variants have been proposed, most following a neighborhood aggregation scheme, where the node features are updated via aggregating features of its neighboring nodes from layer to layer. Though related research surges, the power of GNNs are still not on-par-with their counterpart CNNs in computer vision and RNNs in natural language processing. We rethink this problem from the perspective of information propagation, and propose to enhance information propagation among GNN layers by combining heterogeneous aggregations. We argue that as richer information are propagated from shallow to deep layers, the discriminative capability of features formulated by GNN can benefit from it. As our first attempt in this direction, a new generic GNN layer formulation and upon this a new GNN variant referred as HAG-Net is proposed. We empirically validate the effectiveness of HAG-Net on a number of graph classification benchmarks, and elaborate all the design options and criterions along with.


title: In-Order Chart-Based Constituent Parsing

abstract: We propose a novel in-order chart-based model for constituent parsing. Compared with previous CKY-style and top-down models, our model gains advantages from in-order traversal of a tree (rich features, lookahead information and high efficiency) and makes a better use of structural knowledge by encoding the history of decisions. Experiments on the Penn Treebank show that our model outperforms previous chart-based models and achieves competitive performance compared with other discriminative single models.


title: Thermal behavior of a radially deformed black hole spacetime

abstract: In the present article, we study the Hawking effect and the bounds on greybody factor in a spacetime with radial deformation. This deformation is expected to carry the imprint of a non-Einsteinian theory of gravity, but shares some of the important characteristics of general relativity (GR). In particular, this radial deformation will restore the asymptotic behavior, and also allows for the separation of the scalar field equation in terms of the angular and radial coordinates -- making it suitable to study the Hawking effect and greybody factors. However, the radial deformation would introduce a change in the locations of the horizon, and therefore, the temperature of the Hawking effect naturally alters. In fact, we observe that the deformation parameter has an enhancing effect on both temperature and bounds on the greybody factor, which introduces a useful distinction with the Kerr spacetime. We discuss these effects elaborately, and broadly study the thermal behavior of a radially deformed spacetime.


title: Rotating neutron stars with quark cores

abstract: The rotating neutron star properties are studied with a phase transition to quark matter. The density-dependent relativistic mean-field model (DD-RMF) is employed to study the hadron matter, while the Vector-Enhanced Bag model (vBag) model is used to study the quark matter. The star matter properties like mass, radius,the moment of inertia, rotational frequency, Kerr parameter, and other important quantities are studied to see the effect on quark matter. The maximum mass of rotating neutron star with DD-LZ1 and DD-MEX parameter sets is found to be around 3$M_{\odot}$ for pure hadronic phase and decreases to a value around 2.6$M_{\odot}$ with phase transition to quark matter, which satisfies the recent GW190814 constraints. For DDV, DDVT, and DDVTD parameter sets, the maximum mass decreases to satisfy the 2$M_{\odot}$. The moment of inertia calculated for various DD-RMF parameter sets decreases with the increasing mass satisfying constraints from various measurements. Other important quantities calculated also vary with the bag constant and hence show that the presence of quarks inside neutron stars can also allow us to constraint these quantities to determine a proper EoS. Also, the theoretical study along with the accurate measurement of uniformly rotating neutron star properties may offer some valuable information concerning the high-density part of the equation of state.


title: The Brownian Web as a random $\mathbb R$-tree

abstract: Motivated by [G. Cannizzaro, M. Hairer, Comm. Pure Applied Math., '22], we provide a construction of the Brownian Web (see [T\'oth B., Werner W., Probab. Theory Related Fields, '98] and [L. R. G. Fontes, M. Isopi, C. M. Newman, and K. Ravishankar, Ann. Probab., '04]), i.e. a family of coalescing Brownian motions starting from every point in $\mathbb R^2$, as a random variable taking values in the space of (spatial) $\mathbb R$-trees. This gives a stronger topology than the classical one {(i.e.\ Hausdorff convergence on closed sets of paths)}, thus providing us with more continuous functions of the Brownian Web and ruling out a number of potential pathological behaviours. Along the way, we introduce a modification of the topology of spatial $\mathbb R$-trees in [T. Duquesne, J.-F. Le Gall, Probab. Theory Related Fields, '05] and [M. T. Barlow, D. A. Croydon, T. Kumagai, Ann. Probab. '17] which makes it a complete separable metric space and could be of independent interest. We determine some properties of the characterisation of the Brownian Web in this context (e.g.\ its box-counting dimension) and recover some which were determined in earlier works, such as duality, special points and convergence of the graphical representation of coalescing random walks.


title: Reconstructing large networks with time-varying interactions

abstract: Reconstructing interactions from observational data is a critical need for investigating natural biological networks, wherein network dimensionality (i.e. number of interacting components) is usually high and interactions are time-varying. These pose a challenge to existing methods that can quantify only small interaction networks or assume static interactions under steady state. Here, we proposed a novel approach to reconstruct high-dimensional, time-varying interaction networks using empirical time series. This method, named "multiview distance regularized S-map", generalized the state space reconstruction to accommodate high dimensionality and overcome difficulties in quantifying massive interactions with limited data. When we evaluated this method using the time series generated from a large theoretical model involving hundreds of interacting species, estimated interaction strengths were in good agreement with theoretical expectations. As a result, reconstructed networks preserved important topological properties, such as centrality, strength distribution and derived stability measures. Moreover, our method effectively forecasted the dynamic behavior of network nodes. Applying this method to a natural bacterial community helped identify keystone species from the interaction network and revealed the mechanisms governing the dynamical stability of bacterial community. Our method overcame the challenge of high dimensionality and disentangled complex time-varying interactions in large natural dynamical systems.


title: Leptonic CP and Flavor Violations in SUSY GUT with Right-handed Neutrinos

abstract: We study leptonic CP and flavor violations in supersymmetric (SUSY) grand unified theory (GUT) with right handed neutrinos, paying attention to the renormalization group effects on the slepton mass matrices due to the neutrino and GUT Yukawa interactions. In particular, we study in detail the impacts of the so-called Casas- Ibarra parameters on CP and flavor violating observables. The renormalization group effects induce CP and flavor violating elements of the SUSY breaking scalar mass squared matrices, which may result in sizable leptonic CP and flavor violating signals. Assuming seesaw formula for the active neutrino masses, the renormalization group effects have been often thought to be negligible as the right-handed neutrino masses become small. With the most general form of the neutrino Yukawa matrix, i.e., taking into account the Casas-Ibarra parameters, however, this is not the case. We found that the maximal possible sizes of signals of leptonic CP and flavor violating processes are found to be insensitive to the mass scale of the right-handed neutrinos and that they are as large as (or larger than) the present experimental bounds irrespective of the right-handed neutrino masses.


title: Loss-tolerant concatenated Bell-state measurement with encoded coherent-state qubits for long-range quantum communication

abstract: The coherent-state qubit is a promising candidate for optical quantum information processing due to its nearly-deterministic nature of the Bell-state measurement (BSM). However, its non-orthogonality incurs difficulties such as failure of the BSM. One may use a large amplitude ($\alpha$) for the coherent state to minimize the failure probability, but the qubit then becomes more vulnerable to dephasing by photon loss. We propose a hardware-efficient concatenated BSM (CBSM) scheme with modified parity encoding using coherent states with reasonably small amplitudes ($|\alpha| \lessapprox 2$), which simultaneously suppresses both failures and dephasing in the BSM procedure. We numerically show that the CBSM scheme achieves a success probability arbitrarily close to unity for appropriate values of $\alpha$ and sufficiently low photon loss rates (e.g., $\lessapprox 5\%$). Furthermore, we verify that the quantum repeater scheme exploiting the CBSM scheme for quantum error correction enables one to carry out efficient long-range quantum communication over 1000 km. We show that the performance is comparable to those of other up-to-date methods or even outperforms them for some cases. Finally, we present methods to prepare logical qubits under modified parity encoding and implement elementary logical operations, which consist of several physical-level ingredients such as generation of Schr\"odinger's cat state and elementary gates under coherent-state basis. Our work demonstrates that the encoded coherent-state qubits in free-propagating fields provide an alternative route to fault-tolerant information processing, especially long-range quantum communication.


title: Blue Noise Plots

abstract: We propose Blue Noise Plots, two-dimensional dot plots that depict data points of univariate data sets. While often one-dimensional strip plots are used to depict such data, one of their main problems is visual clutter which results from overlap. To reduce this overlap, jitter plots were introduced, whereby an additional, non-encoding plot dimension is introduced, along which the data point representing dots are randomly perturbed. Unfortunately, this randomness can suggest non-existent clusters, and often leads to visually unappealing plots, in which overlap might still occur. To overcome these shortcomings, we introduce BlueNoise Plots where random jitter along the non-encoding plot dimension is replaced by optimizing all dots to keep a minimum distance in 2D i. e., Blue Noise. We evaluate the effectiveness as well as the aesthetics of Blue Noise Plots through both, a quantitative and a qualitative user study. The Python implementation of Blue Noise Plots is available here.


title: The orbit intersection problem in positive characteristic

abstract: In this paper, we study the orbit intersection problem for the linear space and the algebraic group in positive characteristic. Let $K$ be an algebraically closed field of positive characteristic and let $\Phi_1, \Phi_{2}: K^d \longrightarrow K^{d}$ be affine maps, $\Phi_i({\bf x}) = A_i ({\bf x}) + {\bf x_i}$ (where each $A_i$ is a $d\times d$ matrix and ${\bf x}\in K^d$). If none of the eigenvalues of the matrices $A_i$ are roots of unity and each ${\bf a}_i \in K^d$ is not $\Phi_i$-preperiodic, then we prove that the set $\left \{(n_1, n_2) \in \Z^{2} \mid \Phi_1^{n_1}({\bf a}_1) = \Phi_{2}^{n_{2}}({\bf a}_{2})\right\}$ is $p$-normal in $\mathbb{Z}^{2}$ of order at most $d$. Further, let $\Phi_1, \Phi_{2}: \mathbb{G}_m^d \longrightarrow \mathbb{G}_m^d$ be regular self-maps and ${\bf a}_1, {\bf a}_2\in \mathbb{G}_m^d(K)$. Let $\Phi_1^0$ and $\Phi_2^0$ be group endomorphisms of $\mathbb{G}_m^d$ and ${\bf y}, {\bf z} \in \mathbb{G}_m^d(K)$ such that $\Phi_1({\bf x}) = \Phi_1^{0}({\bf x}) + {\bf y}$ and $\Phi_2({\bf x}) = \Phi_2^{0}({\bf x}) + {\bf z}$. We show, under some conditions on the roots of the minimal polynomial of $ \Phi_1^{0}$ and $\Phi_2^{0}$, that the set $ \{(n_1, n_{2}) \in \N_0^{2} \mid \Phi_1^{n_1}({\bf a}_1) = \Phi_{2}^{n_{2}}({\bf a}_{2})\}$ (where ${\bf a}_1, {\bf a}_2\in \mathbb{G}_m^d(K)$) is a finite union of singletons and one-parameter linear families. To do so, we use results on linear equations over multiplicative groups in positive characteristic and some results on systems of polynomial-exponential equations.


title: Learning Curve Theory

abstract: Recently a number of empirical "universal" scaling law papers have been published, most notably by OpenAI. `Scaling laws' refers to power-law decreases of training or test error w.r.t. more data, larger neural networks, and/or more compute. In this work we focus on scaling w.r.t. data size $n$. Theoretical understanding of this phenomenon is largely lacking, except in finite-dimensional models for which error typically decreases with $n^{-1/2}$ or $n^{-1}$, where $n$ is the sample size. We develop and theoretically analyse the simplest possible (toy) model that can exhibit $n^{-\beta}$ learning curves for arbitrary power $\beta>0$, and determine whether power laws are universal or depend on the data distribution.


title: Fast and Reliable Probabilistic Face Embeddings in the Wild

abstract: Probabilistic Face Embeddings (PFE) can improve face recognition performance in unconstrained scenarios by integrating data uncertainty into the feature representation. However, existing PFE methods tend to be over-confident in estimating uncertainty and is too slow to apply to large-scale face matching. This paper proposes a regularized probabilistic face embedding method to improve the robustness and speed of PFE. Specifically, the mutual likelihood score (MLS) metric used in PFE is simplified to speedup the matching of face feature pairs. Then, an output-constraint loss is proposed to penalize the variance of the uncertainty output, which can regularize the output of the neural network. In addition, an identification preserving loss is proposed to improve the discriminative of the MLS metric, and a multi-layer feature fusion module is proposed to improve the neural network's uncertainty estimation ability. Comprehensive experiments show that the proposed method can achieve comparable or better results in 9 benchmarks than the state-of-the-art methods, and can improve the performance of risk-controlled face recognition. The code of our work is publicly available in GitHub (https://github.com/KaenChan/ProbFace).


title: Signatures of Self-Trapping in the Driven-Dissipative Bose-Hubbard Dimer

abstract: We investigate signatures of a self-trapping transition in the driven-dissipative Bose Hubbard dimer, in presence of incoherent pump and single-particle losses. For fully symmetric couplings the stationary state density matrix is independent of any Hamiltonian parameter, and cannot therefore capture the competition between hopping-induced delocalization and the interaction-dominated self-trapping regime. We focus instead on the exact quantum dynamics of the particle imbalance after the system is prepared in a variety of initial states, and on the frequency-resolved spectral properties of the steady state, as encoded in the single-particle Green's functions. We find clear signatures of a localization-delocalization crossover as a function of hopping to interaction ratio. We further show that a finite a pump-loss asymmetry restores a delocalization crossover in the steady-state imbalance and leads to a finite intra-dimer dissipation.


title: Reduction of polynomial dynamical systems modulo primes

abstract: We study the algebraic dynamical systems generated by triangular systems of rational functions and estimate the height growth of iterations generated by such systems. Further, using a result on the reduction modulo primes of systems of multivariate polynomials over the integers, we study the periodic points and the intersection of orbits of such dynamical systems over finite fields. 1