title: Role of chiral two-body currents in $^6$Li magnetic properties in light of a new precision measurement with the relative self-absorption technique

abstract: A direct measurement of the decay width of the excited $0^+_1$ state of $^6$Li using the relative self-absorption technique is reported. Our value of $\Gamma_{\gamma, 0^+_1 \to 1^+_1} = 8.17(14)_\mathrm{stat.}(11)_\mathrm{syst.} \mathrm{eV}$ provides sufficiently low experimental uncertainties to test modern theories of nuclear forces. The corresponding transition rate is compared to the results of ab initio calculations based on chiral effective field theory that take into account contributions to the magnetic dipole operator beyond leading order. This enables a precision test of the impact of two-body currents that enter at next-to-leading order.


title: On the feasibility and convergence of the inexact Newton method under minor conditions on the error terms

abstract: In this paper we introduce a semi-local theorem for the feasibility and convergence of the inexact Newton method, regarding the sequence $x_{k+1} = x_k - Df(x_k)^{-1}f(x_k) + r_k$, where $r_k$ represents the error in each step. Unlike the previous results of this type in the literature, we prove the feasibility of the inexact Newton method under the minor hypothesis that the error $r_k$ is bounded by a small constant to be computed, and moreover we prove results concerning the convergence of the sequence $x_k$ to the solution under this hypothesis. Moreover, we show how to apply this this method to compute rigorously zeros for two-point boundary value problems of Neumann type. Finally, we apply it to a version of the Cahn-Hilliard equation.


title: Joint Progressive Knowledge Distillation and Unsupervised Domain Adaptation

abstract: Currently, the divergence in distributions of design and operational data, and large computational complexity are limiting factors in the adoption of CNNs in real-world applications. For instance, person re-identification systems typically rely on a distributed set of cameras, where each camera has different capture conditions. This can translate to a considerable shift between source (e.g. lab setting) and target (e.g. operational camera) domains. Given the cost of annotating image data captured for fine-tuning in each target domain, unsupervised domain adaptation (UDA) has become a popular approach to adapt CNNs. Moreover, state-of-the-art deep learning models that provide a high level of accuracy often rely on architectures that are too complex for real-time applications. Although several compression and UDA approaches have recently been proposed to overcome these limitations, they do not allow optimizing a CNN to simultaneously address both. In this paper, we propose an unexplored direction -- the joint optimization of CNNs to provide a compressed model that is adapted to perform well for a given target domain. In particular, the proposed approach performs unsupervised knowledge distillation (KD) from a complex teacher model to a compact student model, by leveraging both source and target data. It also improves upon existing UDA techniques by progressively teaching the student about domain-invariant features, instead of directly adapting a compact model on target domain data. Our method is compared against state-of-the-art compression and UDA techniques, using two popular classification datasets for UDA -- Office31 and ImageClef-DA. In both datasets, results indicate that our method can achieve the highest level of accuracy while requiring a comparable or lower time complexity.


title: A study on Quantization Dimension in complete metric spaces

abstract: The primary objective of the present paper is to develop the theory of quantization dimension of an invariant measure associated with an iterated function system consisting of finite number of contractive infinitesimal similitudes in a complete metric space. This generalizes the known results on quantization dimension of self-similar measures in the Euclidean space to a complete metric space. In the last part, continuity of quantization dimension is discussed.


title: Research Challenges for Heterogeneous CPS Design

abstract: Heterogeneous computing is widely used at all levels of computing from data center to edge due to its power/performance characteristics. However, heterogeneity presents challenges. Interoperability---the management of workloads across heterogeneous resources---requires more careful design than is the case for homogeneous platforms. Cyber-physical systems present additional challenges. This article considers research challenges in heterogeneous CPS design, including interoperability, physical modeling, models of computation, self-awareness and adaptation, architecture, and scheduling.


title: DEFM: Delay E mbedding based Forecast Machine for Time Series Forecasting by Spatiotemporal Information Transformation

abstract: Making accurate forecasts for a complex system is a challenge in various practical applications. The major difficulty in solving such a problem concerns nonlinear spatiotemporal dynamics with time-varying characteristics. Takens' delay embedding theory provides a way to transform high-dimensional spatial information into temporal information. In this work, by combining delay embedding theory and deep learning techniques, we propose a novel framework, Delay-Embedding-based Forecast Machine (DEFM), to predict the future values of a target variable in a self-supervised and multistep-ahead manner based on high-dimensional observations. With a three-module spatiotemporal architecture, the DEFM leverages deep neural networks to effectively extract both the spatially and temporally associated information from the observed time series even with time-varying parameters or additive noise. The DEFM can accurately predict future information by transforming spatiotemporal information to the delay embeddings of a target variable. The efficacy and precision of the DEFM are substantiated through applications in three spatiotemporally chaotic systems: a 90-dimensional (90D) coupled Lorenz system, the Lorenz 96 system, and the Kuramoto-Sivashinsky (KS) equation with inhomogeneity. Additionally, the performance of the DEFM is evaluated on six real-world datasets spanning various fields. Comparative experiments with five prediction methods illustrate the superiority and robustness of the DEFM and show the great potential of the DEFM in temporal information mining and forecasting


title: Generalizing The Davenport-Mahler-Mignotte Bound -- The Weighted Case

abstract: Root separation bounds play an important role as a complexity measure in understanding the behaviour of various algorithms in computational algebra, e.g., root isolation algorithms. A classic result in the univariate setting is the Davenport-Mahler-Mignotte (DMM) bound. One way to state the bound is to consider a directed acyclic graph $(V,E)$ on a subset of roots of a degree $d$ polynomial $f(z) \in \mathbb{C}[z]$, where the edges point from a root of smaller absolute value to one of larger absolute, and the in-degrees of all vertices is at most one. Then the DMM bound is an amortized lower bound on the following product: $\prod_{(\alpha,\beta) \in E}|\alpha-\beta|$. However, the lower bound involves the discriminant of the polynomial $f$, and becomes trivial if the polynomial is not square-free. This was resolved by Eigenwillig, (2008), by using a suitable subdiscriminant instead of the discriminant. Escorcielo-Perrucci, 2016, further dropped the in-degree constraint on the graph by using the theory of finite differences. Emiris et al., 2019, have generalized their result to handle the case where the exponent of the term $|\alpha-\beta|$ in the product is at most the multiplicity of either of the roots. In this paper, we generalize these results by allowing arbitrary positive integer weights on the edges of the graph, i.e., for a weight function $w: E \rightarrow \mathbb{Z}_{>0}$, we derive an amortized lower bound on $\prod_{(\alpha,\beta) \in E}|\alpha-\beta|^{w(\alpha,\beta)}$. Such a product occurs in the complexity estimates of some recent algorithms for root clustering (e.g., Becker et al., 2016), where the weights are usually some function of the multiplicity of the roots. Because of its amortized nature, our bound is arguably better than the bounds obtained by manipulating existing results to accommodate the weights.


title: Nonasymptotic Laplace approximation under model misspecification

abstract: We present non-asymptotic two-sided bounds to the log-marginal likelihood in Bayesian inference. The classical Laplace approximation is recovered as the leading term. Our derivation permits model misspecification and allows the parameter dimension to grow with the sample size. We do not make any assumptions about the asymptotic shape of the posterior, and instead require certain regularity conditions on the likelihood ratio and that the posterior to be sufficiently concentrated.


title: Neural Multi-Task Learning for Teacher Question Detection in Online Classrooms

abstract: Asking questions is one of the most crucial pedagogical techniques used by teachers in class. It not only offers open-ended discussions between teachers and students to exchange ideas but also provokes deeper student thought and critical analysis. Providing teachers with such pedagogical feedback will remarkably help teachers improve their overall teaching quality over time in classrooms. Therefore, in this work, we build an end-to-end neural framework that automatically detects questions from teachers' audio recordings. Compared with traditional methods, our approach not only avoids cumbersome feature engineering, but also adapts to the task of multi-class question detection in real education scenarios. By incorporating multi-task learning techniques, we are able to strengthen the understanding of semantic relations among different types of questions. We conducted extensive experiments on the question detection tasks in a real-world online classroom dataset and the results demonstrate the superiority of our model in terms of various evaluation metrics.


title: Jordan--Landau theorem for matrices over finite fields

abstract: Given a positive integer $r$ and a prime power $q$, we estimate the probability that the characteristic polynomial $f_{A}(t)$ of a random matrix $A$ in $\mathrm{GL}_{n}(\mathbb{F}_{q})$ is square-free with $r$ (monic) irreducible factors when $n$ is large. We also estimate the analogous probability that $f_{A}(t)$ has $r$ irreducible factors counting with multiplicity. In either case, the main term $(\log n)^{r-1}((r-1)!n)^{-1}$ and the error term $O((\log n)^{r-2}n^{-1})$, whose implied constant only depends on $r$ but not on $q$ nor $n$, coincide with the probability that a random permutation on $n$ letters is a product of $r$ disjoint cycles. The main ingredient of our proof is a recursion argument due to S. D. Cohen, which was previously used to estimate the probability that a random degree $n$ monic polynomial in $\mathbb{F}_{q}[t]$ is square-free with $r$ irreducible factors and the analogous probability that the polynomial has $r$ irreducible factors counting with multiplicity. We obtain our result by carefully modifying Cohen's recursion argument in the matrix setting, using Reiner's theorem that counts the number of $n \times n$ matrices with a fixed characteristic polynomial over $\mathbb{F}_{q}$.


title: Multi-dimensional entanglement generation with multi-core optical fibers

abstract: Trends in photonic quantum information follow closely the technical progress in classical optics and telecommunications. In this regard, advances in multiplexing optical communications channels have also been pursued for the generation of multi-dimensional quantum states (qudits), since their use is advantageous for several quantum information tasks. One current path leading in this direction is through the use of space-division multiplexing multi-core optical fibers, which provides a new platform for efficiently controlling path-encoded qudit states. Here we report on a parametric down-conversion source of entangled qudits that is fully based on (and therefore compatible with) state-of-the-art multi-core fiber technology. The source design uses modern multi-core fiber beam splitters to prepare the pump laser beam as well as measure the generated entangled state, achieving high spectral brightness while providing a stable architecture. In addition, it can be readily used with any core geometry, which is crucial since widespread standards for multi-core fibers in telecommunications have yet to be established. Our source represents an important step towards the compatibility of quantum communications with the next-generation optical networks.


title: Simultaneous observation of anti-damping and inverse spin Hall effect in La$_{0.67}$Sr$_{0.33}$MnO$_{3}$/Pt bilayer system

abstract: Manganites have shown potential in spintronics because they exhibit high spin polarization. Here, by ferromagnetic resonance we have studied the damping properties of La$_{0.67}$Sr$_{0.33}$MnO$_{3}$/Pt bilayers which are prepared by oxide molecular beam epitaxy. The damping coefficient ($\alpha$) of La$_{0.67}$Sr$_{0.33}$MnO$_{3}$ (LSMO) single layer is found to be 0.0104. However the LSMO/Pt bilayers exhibit decrease in $\alpha$ with increase in Pt thickness. This decrease in the value of $\alpha$ is probably due to high anti-damping like torque. Further, we have investigated the angle dependent inverse spin Hall effect (ISHE) to quantify the spin pumping voltage from other spin rectification effects such as anomalous Hall effect and anisotropic magnetoresistance. We have observed high spin pumping voltage ($\sim$~20 $ \mu V$). The results indicate that both anti-damping and spin pumping phenomena are occuring simultaneously.


title: A Picture for the Words! Textual Visualization in Big Data Analytics

abstract: Data Visualization has become an important aspect of big data analytics and has grown in sophistication and variety. We specifically identify the need for an analytical framework for data visualization with textual information. Data visualization is a powerful mechanism to represent data, but the usage of specific graphical representations needs to be better understood and classified to validate appropriate representation in the contexts of textual data and avoid distorted depictions of underlying textual data. We identify prominent textual data visualization approaches and discuss their characteristics. We discuss the use of multiple graph types in textual data visualization, including the use of quantity, sense, trend and context textual data visualization. We create an explanatory classification framework to position textual data visualization in a unique way so as to provide insights and assist in appropriate method or graphical representation classification.


title: Large scale weakly and semi-supervised learning for low-resource video ASR

abstract: Many semi- and weakly-supervised approaches have been investigated for overcoming the labeling cost of building high quality speech recognition systems. On the challenging task of transcribing social media videos in low-resource conditions, we conduct a large scale systematic comparison between two self-labeling methods on one hand, and weakly-supervised pretraining using contextual metadata on the other. We investigate distillation methods at the frame level and the sequence level for hybrid, encoder-only CTC-based, and encoder-decoder speech recognition systems on Dutch and Romanian languages using 27,000 and 58,000 hours of unlabeled audio respectively. Although all approaches improved upon their respective baseline WERs by more than 8%, sequence-level distillation for encoder-decoder models provided the largest relative WER reduction of 20% compared to the strongest data-augmented supervised baseline.


title: Projection method for droplet dynamics on groove-textured surface with merging and splitting

abstract: The geometric motion of small droplets placed on an impermeable textured substrate is mainly driven by the capillary effect, the competition among surface tensions of three phases at the moving contact lines, and the impermeable substrate obstacle. After introducing an infinite dimensional manifold with an admissible tangent space on the boundary of the manifold, by Onsager's principle for an obstacle problem, we derive the associated parabolic variational inequalities. These variational inequalities can be used to simulate the contact line dynamics with unavoidable merging and splitting of droplets due to the impermeable obstacle. To efficiently solve the parabolic variational inequality, we propose an unconditional stable explicit boundary updating scheme coupled with a projection method. The explicit boundary updating efficiently decouples the computation of the motion by mean curvature of the capillary surface and the moving contact lines. Meanwhile, the projection step efficiently splits the difficulties brought by the obstacle and the motion by mean curvature of the capillary surface. Furthermore, we prove the unconditional stability of the scheme and present an accuracy check. The convergence of the proposed scheme is also proved using a nonlinear Trotter-Kato's product formula under the pinning contact line assumption. After incorporating the phase transition information at splitting points, several challenging examples including splitting and merging of droplets are demonstrated.


title: Geodesics in fibered latent spaces: A geometric approach to learning correspondences between conditions

abstract: This work introduces a geometric framework and a novel network architecture for creating correspondences between samples of different conditions. Under this formalism, the latent space is a fiber bundle stratified into a base space encoding conditions, and a fiber space encoding the variations within conditions. Furthermore, this latent space is endowed with a natural pull-back metric. The correspondences between conditions are obtained by minimizing an energy functional, resulting in diffeomorphism flows between fibers. We illustrate this approach using MNIST and Olivetti and benchmark its performances on the task of batch correction, which is the problem of integrating multiple biological datasets together.


title: Quantized Massive MIMO Systems with Multicell Coordinated Beamforming and Power Control

abstract: In this paper, we investigate a coordinated multipoint (CoMP) beamforming and power control problem for base stations (BSs) with a massive number of antenna arrays under coarse quantization at low-resolution analog-to-digital converters (ADCs) and digital-to-analog converter (DACs). Unlike high-resolution ADC and DAC systems, non-negligible quantization noise that needs to be considered in CoMP design makes the problem more challenging. We first formulate total power minimization problems of both uplink (UL) and downlink (DL) systems subject to signal-to-interference-and-noise ratio (SINR) constraints. We then derive strong duality for the UL and DL problems under coarse quantization systems. Leveraging the duality, we propose a framework that is directed toward a twofold aim: to discover the optimal transmit powers in UL by developing iterative algorithm in a distributed manner and to obtain the optimal precoder in DL as a scaled instance of UL combiner. Under homogeneous transmit power and SINR constraints per cell, we further derive a deterministic solution for the UL CoMP problem by analyzing the lower bound of the SINR. Lastly, we extend the derived result to wideband orthogonal frequency-division multiplexing systems to optimize transmit power and beamformer for all subcarriers. Simulation results validate the theoretical results and proposed algorithms.


title: Mobile Edge Computing Network Control: Tradeoff Between Delay and Cost

abstract: As mobile edge computing (MEC) finds widespread use for relieving the computational burden of compute- and interaction-intensive applications on end user devices, understanding the resulting delay and cost performance is drawing significant attention. While most existing works focus on singletask offloading in single-hop MEC networks, next generation applications (e.g., industrial automation, augmented/virtual reality) require advance models and algorithms for dynamic configuration of multi-task services over multi-hop MEC networks. In this work, we leverage recent advances in dynamic cloud network control to provide a comprehensive study of the performance of multi-hop MEC networks, addressing the key problems of multi-task offloading, timely packet scheduling, and joint computation and communication resource allocation. We present a fully distributed algorithm based on Lyapunov control theory that achieves throughput-optimal performance with delay and cost guarantees. Simulation results validate our theoretical analysis and provide insightful guidelines on the interplay between communication and computation resources in MEC networks.


title: Neural Stochastic Block Model & Scalable Community-Based Graph Learning

abstract: This paper proposes a novel scalable community-based neural framework for graph learning. The framework learns the graph topology through the task of community detection and link prediction by optimizing with our proposed joint SBM loss function, which results from a non-trivial adaptation of the likelihood function of the classic Stochastic Block Model (SBM). Compared with SBM, our framework is flexible, naturally allows soft labels and digestion of complex node attributes. The main goal is efficient valuation of complex graph data, therefore our design carefully aims at accommodating large data, and ensures there is a single forward pass for efficient evaluation. For large graph, it remains an open problem of how to efficiently leverage its underlying structure for various graph learning tasks. Previously it can be heavy work. With our community-based framework, this becomes less difficult and allows the task models to basically plug-in-and-play and perform joint training. We currently look into two particular applications, the graph alignment and the anomalous correlation detection, and discuss how to make use of our framework to tackle both problems. Extensive experiments are conducted to demonstrate the effectiveness of our approach. We also contributed tweaks of classic techniques which we find helpful for performance and scalability. For example, 1) the GAT+, an improved design of GAT (Graph Attention Network), the scaled-cosine similarity, and a unified implementation of the convolution/attention based and the random-walk based neural graph models.


title: Identification of Repurposable Drugs and Adverse Drug Reactions for Various Courses of COVID-19 Based on Single-Cell RNA Sequencing Data

abstract: Coronavirus disease 2019 (COVID-19) has impacted almost every part of human life worldwide, posing a massive threat to human health. There is no specific drug for COVID-19, highlighting the urgent need for the development of effective therapeutics. To identify potentially repurposable drugs, we employed a systematic approach to mine candidates from U.S. FDA-approved drugs and preclinical small-molecule compounds by integrating the gene expression perturbation data for chemicals from the Library of Integrated Network-Based Cellular Signatures project with a publicly available single-cell RNA sequencing dataset from mild and severe COVID-19 patients. We identified 281 FDA-approved drugs that have the potential to be effective against SARS-CoV-2 infection, 16 of which are currently undergoing clinical trials to evaluate their efficacy against COVID-19. We experimentally tested the inhibitory effects of tyrphostin-AG-1478 and brefeldin-a on the replication of the single-stranded ribonucleic acid (ssRNA) virus influenza A virus. In conclusion, we have identified a list of repurposable anti-SARS-CoV-2 drugs using a systems biology approach.


title: Stability and hyperbolicity of equilibria for a scalar nonlocal one-dimensional quasilinear parabolic problem

abstract: In this work, we present results on stability and hyperbolicity of equilibria for a scalar nonlocal one-dimensional quasilinear parabolic problem. We show that this nonlocal version of the well-known Chafee-Infante equation bares some resemblance with the local version. However, its nonlocal characteristc requires a fine analysis of the spectrum of the associated linear operators, a lot more ellaborated than the local case. The saddle point property of equilibria is shown to hold for this quasilinear model.


title: Partial Domain Adaptation Using Graph Convolutional Networks

abstract: Partial domain adaptation (PDA), in which we assume the target label space is included in the source label space, is a general version of standard domain adaptation. Since the target label space is unknown, the main challenge of PDA is to reduce the learning impact of irrelevant source samples, named outliers, which do not belong to the target label space. Although existing partial domain adaptation methods effectively down-weigh outliers' importance, they do not consider data structure of each domain and do not directly align the feature distributions of the same class in the source and target domains, which may lead to misalignment of category-level distributions. To overcome these problems, we propose a graph partial domain adaptation (GPDA) network, which exploits Graph Convolutional Networks for jointly considering data structure and the feature distribution of each class. Specifically, we propose a label relational graph to align the distributions of the same category in two domains and introduce moving average centroid separation for learning networks from the label relational graph. We demonstrate that considering data structure and the distribution of each category is effective for PDA and our GPDA network achieves state-of-the-art performance on the Digit and Office-31 datasets.


title: Tight Analysis of Asynchronous Rumor Spreading in Dynamic Networks

abstract: The asynchronous rumor algorithm spreading propagates a piece of information, the so-called rumor, in a network. Starting with a single informed node, each node is associated with an exponential time clock with rate $1$ and calls a random neighbor in order to possibly exchange the rumor. Spread time is the first time when all nodes of a network are informed with high probability. We consider spread time of the algorithm in any dynamic evolving network, $\mathcal{G}=\{G^{(t)}\}_{t=0}^{\infty}$, which is a sequence of graphs exposed at discrete time step $t=0,1\ldots$. We observe that besides the expansion profile of a dynamic network, the degree distribution of nodes over time effect the spread time. We establish upper bounds for the spread time in terms of graph conductance and diligence. For a given connected simple graph $G=(V,E)$, the diligence of cut set $E(S, \overline{S})$ is defined as $\rho(S)=\min_{\{u,v\}\in E(S,\overline{S})}\max\{\bar{d}/d_u, \bar{d}/d_v\}$ where $d_u$ is the degree of $u$ and $\bar{d}$ is the average degree of nodes in the one side of the cut with smaller volume (i.e., ${\mathtt{vol}}{(S)}=\sum_{u\in S}d_u$). The diligence of $G$ is also defined as $\rho(G)=\min_{ \emptyset\neq S\subset V}\rho(S)$. We show that the spread time of the algorithm in $\mathcal{G}$ is bounded by $T$, where $T$ is the first time that $\sum_{t=0}^T\Phi(G^{(t)})\cdot\rho(G^{(t)})$ exceeds $C\log n$, where $\Phi(G^{(t)})$ denotes the conductance of $G^{(t)}$ and $C$ is a specified constant. We also define the absolute diligence as $\overline{\rho}(G)=\min_{\{u,v\}\in E}\max\{1/d_u,1/d_v\}$ and establish upper bound $T$ for the spread time in terms of absolute diligence, which is the first time when $\sum_{t=0}^T\lceil\Phi(G^{(t)})\rceil\cdot \overline{\rho}(G^{(t)})\ge 2n$. We present dynamic networks where the given upper bounds are almost tight.


title: Double canard cycles in singularly perturbed planar systems with two canard points

abstract: We consider double canard cycles including two canards in singularly perturbed planar systems with two canard points. Previous work studied the complex oscillations including relaxation oscillations and canard cycles in singularly perturbed planar systems with one-parameter layer equations, which have precisely one canard point, two jump points or one canard point and one jump point. Based on the normal form theory, blow-up technique and Melnikov theory, we investigate double canard cycles induced by two Hopf breaking mechanisms at two non-degenerate canard points. Finally, we apply the obtained results to a class of cubic Lienard equations with quadratic damping.


title: Universal relations for ultracold reactive molecules

abstract: The realization of ultracold polar molecules in laboratories has pushed both physics and chemistry to new realms. In particular, these polar molecules offer scientists unprecedented opportunities to explore chemical reactions in the ultracold regime where quantum effects become profound. However, a key question about how two-body losses depend on quantum correlations in an interacting many-body system remains open so far. Here, we present a number of universal relations that directly connect two-body losses to other physical observables, including the momentum distribution and density correlation functions. These relations, which are valid for arbitrary microscopic parameters, such as the particle number, the temperature, and the interaction strength, unfold the critical role of contacts, a fundamental quantity of dilute quantum systems in determining the reaction rate of quantum reactive molecules in a many-body environment. Our work opens the door to an unexplored area intertwining quantum chemistry, atomic, molecular and optical physics, and condensed matter physics.


title: COCAS: A Large-Scale Clothes Changing Person Dataset for Re-identification

abstract: Recent years have witnessed great progress in person re-identification (re-id). Several academic benchmarks such as Market1501, CUHK03 and DukeMTMC play important roles to promote the re-id research. To our best knowledge, all the existing benchmarks assume the same person will have the same clothes. While in real-world scenarios, it is very often for a person to change clothes. To address the clothes changing person re-id problem, we construct a novel large-scale re-id benchmark named ClOthes ChAnging Person Set (COCAS), which provides multiple images of the same identity with different clothes. COCAS totally contains 62,382 body images from 5,266 persons. Based on COCAS, we introduce a new person re-id setting for clothes changing problem, where the query includes both a clothes template and a person image taking another clothes. Moreover, we propose a two-branch network named Biometric-Clothes Network (BC-Net) which can effectively integrate biometric and clothes feature for re-id under our setting. Experiments show that it is feasible for clothes changing re-id with clothes templates.


title: The $O(N)$ model with $\phi^6$ potential in ${\mathbb R}^2 \times {\mathbb R}^+$

abstract: We study the large $N$ limit of $O(N)$ scalar field theory with classically marginal $\phi^6$ interaction in three dimensions in the presence of a planar boundary. This theory has an approximate conformal invariance at large $N$. We find different phases of the theory corresponding to different boundary conditions for the scalar field. Computing a one loop effective potential, we examine the stability of these different phases. The potential also allows us to determine a boundary anomaly coefficient in the trace of the stress tensor. We further compute the current and stress-tensor two point functions for the Dirichlet case and decompose them into boundary and bulk conformal blocks. The boundary limit of the stress tensor two point function allows us to compute the other boundary anomaly coefficient. Both anomaly coefficients depend on the approximately marginal $\phi^6$ coupling.


title: The backbone-residual model. Accurately characterising the instrumental profile of a fibre-fed echelle spectrograph

abstract: Context: Instrumental profile (IP) is the basic property of a spectrograph. Accurate IP characterisation is the prerequisite of accurate wavelength solution. It also facilitates new spectral acquisition methods such as the forward modeling and deconvolution. Aims: We investigate an IP modeling method for the fibre-fed echelle spectrograph with the emission lines of the ThAr lamp, and explore the method to evaluate the accuracy of IP characterisation. Methods: The backbone-residual (BR) model is put forward and tested on the fibre-fed High Resolution Spectrograph (HRS) at the Chinese Xinglong 2.16-m Telescope, which is the sum of the backbone function and the residual function. The backbone function is a bell-shaped function to describe the main component and the spatial variation of IP. The residual function, which is expressed as the cubic spline function, accounts for the difference between the bell-shaped function and the actual IP. The method of evaluating the accuracy of IP characterisation is based on the spectral reconstruction and Monte Carlo simulation. Results: The IP of HRS is characterised with the BR model, and the accuracy of the characterised IP reaches 0.006 of the peak value of the backbone function. This result demonstrates that the accurate IP characterisation has been achieved on HRS with the BR model, and the BR model is an excellent choice for accurate IP characterisation of fibre-fed echelle spectrographs.


title: Attribute2Font: Creating Fonts You Want From Attributes

abstract: Font design is now still considered as an exclusive privilege of professional designers, whose creativity is not possessed by existing software systems. Nevertheless, we also notice that most commercial font products are in fact manually designed by following specific requirements on some attributes of glyphs, such as italic, serif, cursive, width, angularity, etc. Inspired by this fact, we propose a novel model, Attribute2Font, to automatically create fonts by synthesizing visually-pleasing glyph images according to user-specified attributes and their corresponding values. To the best of our knowledge, our model is the first one in the literature which is capable of generating glyph images in new font styles, instead of retrieving existing fonts, according to given values of specified font attributes. Specifically, Attribute2Font is trained to perform font style transfer between any two fonts conditioned on their attribute values. After training, our model can generate glyph images in accordance with an arbitrary set of font attribute values. Furthermore, a novel unit named Attribute Attention Module is designed to make those generated glyph images better embody the prominent font attributes. Considering that the annotations of font attribute values are extremely expensive to obtain, a semi-supervised learning scheme is also introduced to exploit a large number of unlabeled fonts. Experimental results demonstrate that our model achieves impressive performance on many tasks, such as creating glyph images in new font styles, editing existing fonts, interpolation among different fonts, etc.


title: Byzantine-Resilient SGD in High Dimensions on Heterogeneous Data

abstract: We study distributed stochastic gradient descent (SGD) in the master-worker architecture under Byzantine attacks. We consider the heterogeneous data model, where different workers may have different local datasets, and we do not make any probabilistic assumptions on data generation. At the core of our algorithm, we use the polynomial-time outlier-filtering procedure for robust mean estimation proposed by Steinhardt et al. (ITCS 2018) to filter-out corrupt gradients. In order to be able to apply their filtering procedure in our {\em heterogeneous} data setting where workers compute {\em stochastic} gradients, we derive a new matrix concentration result, which may be of independent interest. We provide convergence analyses for smooth strongly-convex and non-convex objectives. We derive our results under the bounded variance assumption on local stochastic gradients and a {\em deterministic} condition on datasets, namely, gradient dissimilarity; and for both these quantities, we provide concrete bounds in the statistical heterogeneous data model. We give a trade-off between the mini-batch size for stochastic gradients and the approximation error. Our algorithm can tolerate up to $\frac{1}{4}$ fraction Byzantine workers. It can find approximate optimal parameters in the strongly-convex setting exponentially fast and reach to an approximate stationary point in the non-convex setting with a linear speed, thus, matching the convergence rates of vanilla SGD in the Byzantine-free setting. We also propose and analyze a Byzantine-resilient SGD algorithm with gradient compression, where workers send $k$ random coordinates of their gradients. Under mild conditions, we show a $\frac{d}{k}$-factor saving in communication bits as well as decoding complexity over our compression-free algorithm without affecting its convergence rate (order-wise) and the approximation error.


title: Generalisation of the Danilov-Karzanov-Koshevoy Construction for Peak-Pit Condorcet Domains

abstract: Danilov, Karzanov and Koshevoy (2012) geometrically introduced an interesting operation of composition on tiling Condorcet domains and using it they disproved a long-standing problem of Fishburn about the maximal size of connected Condorcet domains. We give an algebraic definition of this operation and investigate its properties. We give a precise formula for the cardinality of composition of two Condorcet domains and improve the Danilov, Karzanov and Koshevoy result showing that Fishburn's alternating scheme does not always define a largest peak-pit Condorcet domain.


title: On a Riemann-Hilbert boundary value problem for $(\varphi,\psi)$-harmonic functions in $\mathbb{R}^m$

abstract: The purpose of this paper is to solve a kind of Riemann-Hilbert boundary value problem for $(\varphi,\psi)$-harmonic functions, which are linked with the use of two orthogonal basis of the Euclidean space $\mathbb{R}^m$. We approach this problem using the language of Clifford analysis for obtaining the explicit expression of the solution of the problem in a Jordan domain $\Omega\subset\mathbb{R}^m$ with fractal boundary. One of the remarkable feature in this study is that the boundary data involves higher order Lipschitz class of functions.


title: Graph Neural Networks with Composite Kernels

abstract: Learning on graph structured data has drawn increasing interest in recent years. Frameworks like Graph Convolutional Networks (GCNs) have demonstrated their ability to capture structural information and obtain good performance in various tasks. In these frameworks, node aggregation schemes are typically used to capture structural information: a node's feature vector is recursively computed by aggregating features of its neighboring nodes. However, most of aggregation schemes treat all connections in a graph equally, ignoring node feature similarities. In this paper, we re-interpret node aggregation from the perspective of kernel weighting, and present a framework to consider feature similarity in an aggregation scheme. Specifically, we show that normalized adjacency matrix is equivalent to a neighbor-based kernel matrix in a Krein Space. We then propose feature aggregation as the composition of the original neighbor-based kernel and a learnable kernel to encode feature similarities in a feature space. We further show how the proposed method can be extended to Graph Attention Network (GAT). Experimental results demonstrate better performance of our proposed framework in several real-world applications.


title: Learning Transferable Concepts in Deep Reinforcement Learning

abstract: While humans and animals learn incrementally during their lifetimes and exploit their experience to solve new tasks, standard deep reinforcement learning methods specialize to solve only one task at a time. As a result, the information they acquire is hardly reusable in new situations. Here, we introduce a new perspective on the problem of leveraging prior knowledge to solve future tasks. We show that learning discrete representations of sensory inputs can provide a high-level abstraction that is common across multiple tasks, thus facilitating the transference of information. In particular, we show that it is possible to learn such representations by self-supervision, following an information theoretic approach. Our method is able to learn concepts in locomotive and optimal control tasks that increase the sample efficiency in both known and unknown tasks, opening a new path to endow artificial agents with generalization abilities.


title: Remote State Estimation with Smart Sensors over Markov Fading Channels

abstract: We consider a fundamental remote state estimation problem of discrete-time linear time-invariant (LTI) systems. A smart sensor forwards its local state estimate to a remote estimator over a time-correlated $M$-state Markov fading channel, where the packet drop probability is time-varying and depends on the current fading channel state. We establish a necessary and sufficient condition for mean-square stability of the remote estimation error covariance as $\rho^2(\mathbf{A})\rho(\mathbf{DM})<1$, where $\rho(\cdot)$ denotes the spectral radius, $\mathbf{A}$ is the state transition matrix of the LTI system, $\mathbf{D}$ is a diagonal matrix containing the packet drop probabilities in different channel states, and $\mathbf{M}$ is the transition probability matrix of the Markov channel states. To derive this result, we propose a novel estimation-cycle based approach, and provide new element-wise bounds of matrix powers. The stability condition is verified by numerical results, and is shown more effective than existing sufficient conditions in the literature. We observe that the stability region in terms of the packet drop probabilities in different channel states can either be convex or concave depending on the transition probability matrix $\mathbf{M}$. Our numerical results suggest that the stability conditions for remote estimation may coincide for setups with a smart sensor and with a conventional one (which sends raw measurements to the remote estimator), though the smart sensor setup achieves a better estimation performance.


title: Gentlemen on the Road: Understanding How Pedestrians Interpret Yielding Behavior of Autonomous Vehicles using Machine Learning

abstract: Autonomous vehicles (AVs) can prevent collisions by understanding pedestrian intention. We conducted a virtual reality experiment with 39 participants and measured crossing times (seconds) and head orientation (yaw degrees). We manipulated AV yielding behavior (no-yield, slow-yield, and fast-yield) and the AV size (small, medium, and large). Using machine learning approach, we classified head orientation change of pedestrians by time into 6 clusters of patterns. Results indicate that pedestrian head orientation change was influenced by AV yielding behavior as well as the size of the AV. Participants fixated on the front most of the time even when the car approached near. Participants changed head orientation most frequently when a large size AV did not yield (no-yield). In post-experiment interviews, participants reported that yielding behavior and size affected their decision to cross and perceived safety. For autonomous vehicles to be perceived more safe and trustful, vehicle-specific factors such as size and yielding behavior should be considered in the designing process.


title: Mechanisms of jump to contact and conductance plateau formation in copper atomic junctions in vacuum and aqueous environments

abstract: The interplay between groups of water molecules and single-atom contacts, as reflected in the electrical conductances and mechanical forces of copper atomic junctions, is explored by means of first-principles theory and semi-empirical calculations. We study the influence of the atomic geometries of copper electrodes with pyramidal and non-crystalline structures in the presence and absence of water on the conductance profiles as the electrodes approach each other. It is shown that the atomic arrangements of nano-contacts have crucial effects on the formation of plateaus and the conductance values. Groups of hydrogen bonded water molecules bridge the junction electrodes before a direct Cu-Cu contact between the electrodes is made. However, the bridging of the two copper electrodes by a single H$_{2}$O molecule only occurs in the junctions with pyramidal electrodes. Our findings reveal that the presence of H$_{2}$O molecules modifies strongly the conductance profile of these junctions. In the absence of water molecules, the pyramidal junctions exhibit continuous transitions between integer conductance plateaus, while in the presence of H$_{2}$O molecules, these junctions show abrupt jump to contact behavior and no well-defined conductance plateaus. By contrast, in the absence of H$_{2}$O molecules, the non-crystalline junctions display jump to contact behavior and no well-defined plateaus, while in the presence of H$_{2}$O molecules they exhibit a jump to contact and abrupt transitions between fractional and integer plateaus.


title: Teaching quantum information science to high-school and early undergraduate students

abstract: We present a simple, accessible, yet rigorous outreach/educational program focused on quantum information science and technology for high-school and early undergraduate students. This program allows students to perform meaningful hands-on calculations with quantum circuits and algorithms, without requiring knowledge of advanced mathematics. A combination of pen-and-paper exercises and IBM Q simulations helps students understand the structure of quantum gates and circuits, as well as the principles of superposition, entanglement, and measurement in quantum mechanics.


title: Reachability as a Unifying Framework for Computing Helicopter Safe Operating Conditions and Autonomous Emergency Landing

abstract: We present a numeric method to compute the safe operating flight conditions for a helicopter such that we can ensure a safe landing in the event of a partial or total engine failure. The unsafe operating region is the complement of the backwards reachable tube, which can be found as the sub-zero level set of the viscosity solution of a Hamilton-Jacobi (HJ) equation. Traditionally, numerical methods used to solve the HJ equation rely on a discrete grid of the solution space and exhibit exponential scaling with dimension, which is problematic for the high-fidelity dynamics models required for accurate helicopter modeling. We avoid the use of spatial grids by formulating a trajectory optimization problem, where the solution at each initial condition can be computed in a computationally efficient manner. The proposed method is shown to compute an autonomous landing trajectory from any operating condition, even in non-cruise flight conditions.


title: Room temperature coherent manipulation of single-spin qubits in silicon carbide with a high readout contrast

abstract: Spin defects in silicon carbide (SiC) with mature wafer-scale fabrication and micro/nano-processing technologies have recently drawn considerable attention. Although room temperature single-spin manipulation of colour centres in SiC has been demonstrated, the typically detected contrast is less than 2%, and the photon count rate is also low. Here, we present the coherent manipulation of single divacancy spins in 4H-SiC with a high readout contrast (-30%) and a high photon count rate (150 kilo counts per second) under ambient conditions, which are competitive with the nitrogen-vacancy (NV) centres in diamond. Coupling between a single defect spin and a nearby nuclear spin is also observed. We further provide a theoretical explanation for the high readout contrast by analysing the defect levels and decay paths. Since the high readout contrast is of utmost importance in many applications of quantum technologies, this work might open a new territory for SiC-based quantum devices with many advanced properties of the host material.


title: MicroNet for Efficient Language Modeling

abstract: It is important to design compact language models for efficient deployment. We improve upon recent advances in both the language modeling domain and the model-compression domain to construct parameter and computation efficient language models. We use an efficient transformer-based architecture with adaptive embedding and softmax, differentiable non-parametric cache, Hebbian softmax, knowledge distillation, network pruning, and low-bit quantization. In this paper, we provide the winning solution to the NeurIPS 2019 MicroNet Challenge in the language modeling track. Compared to the baseline language model provided by the MicroNet Challenge, our model is 90 times more parameter-efficient and 36 times more computation-efficient while achieving the required test perplexity of 35 on the Wikitext-103 dataset. We hope that this work will aid future research into efficient language models, and we have released our full source code at https://github.com/mit-han-lab/neurips-micronet.


title: Simplified formulas for the generation of terahertz waves from semiconductor surfaces excited with a femtosecond laser

abstract: We derive simple formulas to explain terahertz (THz) emission from semiconductor surfaces excited by a femtosecond (fs) laser. Femtosecond optical pulses with energies larger than the bandgap create photocarriers which travel and generate THz radiation, according to the time derivative of the photocurrent. By assuming that only electrons traveling in an ultrafast time scale, less than a few hundred fs, contribute to THz radiation, one can obtain simple expressions for the emission originating from the photocarrier drift accelerated with a built-in field or from the photocarrier diffusion. The emission amplitude of the former is in proportion with electron mobility, the Schottky-Barrier height, and the laser intensity and one of the latter with the laser intensity and diffusion coefficient squared. We also discuss the formula for emission from metal-insulator-semiconductor structures. The derived expressions are useful in understanding the THz emission properties observed by a laser THz emission microscope (LTEM), bringing LTEM into real applications in the field of semiconductor research and development.


title: Construction of 1-Bit Transmit Signal Vectors for Downlink MU-MISO Systems: QAM constellations

abstract: In this paper, we investigate the construction of a transmit signal for a base station with a massive number of antenna arrays under the cost-effective 1-bit digital-to-analog converters. Due to the coarse nonlinear property, conventional precoding methods could not yield an attractive performance with a severe error-floor problem. Moreover, finding an optimal transmit signal is computationally implausible because of its combinatorial nature. Thus, it is still an open problem to construct a 1-bit transmit signal efficiently. As an extension of our earlier work, we propose an efficient method to construct an 1-bit transmit-signal under quadrature-amplitude-modulation constellations. Toward this, we first derive the so-called feasibility condition which ensures that every user's noiseless observation belongs to a desired decision region, and then transform it as linear constraints. Taking into account the robustness to an additive noise, the proposed construction method is formulated as a well-defined mixed-integer-linear-programming problem. Based on this, we develop a low-complexity algorithm to solve it (equivalently, to generate a 1-bit transmit signal). Via simulations, we verify the superiority of the proposed method in terms of a computational complexity and detection performance.


title: Topology Inference with Multivariate Cumulants: The M\"obius Inference Algorithm

abstract: Many tasks regarding the monitoring, management, and design of communication networks rely on knowledge of the routing topology. However, the standard approach to topology mapping--namely, active probing with traceroutes--relies on cooperation from increasingly non-cooperative routers, leading to missing information. Network tomography, which uses end-to-end measurements of additive link metrics (like delays or log packet loss rates) across monitor paths, is a possible remedy. Network tomography does not require that routers cooperate with traceroute probes, and it has already been used to infer the structure of multicast trees. This paper goes a step further. We provide a tomographic method to infer the underlying routing topology of an arbitrary set of monitor paths using the joint distribution of end-to-end measurements, without making any assumptions on routing behavior. Our approach, called the M\"obius Inference Algorithm (MIA), uses cumulants of this distribution to quantify high-order interactions among monitor paths, and it applies M\"obius inversion to "disentangle" these interactions. In addition to MIA, we provide a more practical variant called Sparse M\"obius Inference, which uses various sparsity heuristics to reduce the number and order of cumulants required to be estimated. We show the viability of our approach using synthetic case studies based on real-world ISP topologies.


title: Non-uniformly receding contact line breaks axisymmetric flow patterns

abstract: We investigate the internal flow pattern of an evaporating droplet using tomographic particle image velocimetry (PIV) when the contact line non-uniformly recedes. We observe a three-dimensional azimuthal vortex pair while the contact line non-uniformly recedes and the symmetry-breaking flow field is maintained during the evaporation. Based on the experimental results, we show that the vorticity magnitude of the internal flow is related to the relative contact line motion. Furthermore, to explain how the azimuthal vortex pair flow is created, we develop a theoretical model by taking into account the relation between the contact line motion and evaporating flux. Finally, we show that the theoretical model has a good agreement with experimental results.


title: Curating a COVID-19 data repository and forecasting county-level death counts in the United States

abstract: As the COVID-19 outbreak evolves, accurate forecasting continues to play an extremely important role in informing policy decisions. In this paper, we present our continuous curation of a large data repository containing COVID-19 information from a range of sources. We use this data to develop predictions and corresponding prediction intervals for the short-term trajectory of COVID-19 cumulative death counts at the county-level in the United States up to two weeks ahead. Using data from January 22 to June 20, 2020, we develop and combine multiple forecasts using ensembling techniques, resulting in an ensemble we refer to as Combined Linear and Exponential Predictors (CLEP). Our individual predictors include county-specific exponential and linear predictors, a shared exponential predictor that pools data together across counties, an expanded shared exponential predictor that uses data from neighboring counties, and a demographics-based shared exponential predictor. We use prediction errors from the past five days to assess the uncertainty of our death predictions, resulting in generally-applicable prediction intervals, Maximum (absolute) Error Prediction Intervals (MEPI). MEPI achieves a coverage rate of more than 94% when averaged across counties for predicting cumulative recorded death counts two weeks in the future. Our forecasts are currently being used by the non-profit organization, Response4Life, to determine the medical supply need for individual hospitals and have directly contributed to the distribution of medical supplies across the country. We hope that our forecasts and data repository at https://covidseverity.com can help guide necessary county-specific decision-making and help counties prepare for their continued fight against COVID-19.


title: Architectural Design Space for Modelling and Simulation as a Service: A Review

abstract: Modelling and Simulation as a Service (MSaaS) is a promising approach to deploy and execute Modelling and Simulation (M&S) applications quickly and on-demand. An appropriate software architecture is essential to deliver quality M&S applications following the MSaaS concept to a wide range of users. This study aims to characterize the state-of-the-art MSaaS architectures by conducting a systematic review of 31 papers published from 2010 to 2018. Our findings reveal that MSaaS applications are mainly designed using layered architecture style, followed by service-oriented architecture, component-based architecture, and pluggable component-based architecture. We also found that interoperability and deployability have the greatest importance in the architecture of MSaaS applications. In addition, our study indicates that the current MSaaS architectures do not meet the critical user requirements of modern M&S applications appropriately. Based on our results, we recommend that there is a need for more effort and research to (1) design the user interfaces that enable users to build and configure simulation models with minimum effort and limited domain knowledge, (2) provide mechanisms to improve the deployability of M&S applications, and (3) gain a deep insight into how M&S applications should be architected to respond to the emerging user requirements in the military domain.


title: Improved Prosody from Learned F0 Codebook Representations for VQ-VAE Speech Waveform Reconstruction

abstract: Vector Quantized Variational AutoEncoders (VQ-VAE) are a powerful representation learning framework that can discover discrete groups of features from a speech signal without supervision. Until now, the VQ-VAE architecture has previously modeled individual types of speech features, such as only phones or only F0. This paper introduces an important extension to VQ-VAE for learning F0-related suprasegmental information simultaneously along with traditional phone features.The proposed framework uses two encoders such that the F0 trajectory and speech waveform are both input to the system, therefore two separate codebooks are learned. We used a WaveRNN vocoder as the decoder component of VQ-VAE. Our speaker-independent VQ-VAE was trained with raw speech waveforms from multi-speaker Japanese speech databases. Experimental results show that the proposed extension reduces F0 distortion of reconstructed speech for all unseen test speakers, and results in significantly higher preference scores from a listening test. We additionally conducted experiments using single-speaker Mandarin speech to demonstrate advantages of our architecture in another language which relies heavily on F0.


title: Electric-field induced strange metal states and possible high-temperature superconductivity in hydrogenated graphitic fibers

abstract: In this work, we have studied the effects from increasing the strength of the applied electric field on the charge transport of hydrogenated graphitic fibers. Resistivity measurements were carried out for direct currents in the nA - mA range and for temperatures from 1.9 K to 300 K. The high-temperature non-ohmic voltage-current dependence is well described by the nonlinear random resistor network model applied to systems that are disordered at all scales. The temperature-dependent resistivity shows linear, step-like transitions from insulating to metallic states as well as plateau features. As more current is being sourced, the fiber becomes more conductive and thus the current density goes up. The most interesting features is observed in high electric fields. As the fiber is cooled, the resistivity first decreases linearly with the temperature and then enters a plateau region at a temperature T ? 260 ? 280 K that is field-independent. These observations on a system made out of carbon, hydrogen, nitrogen, and oxygen atoms suggest possible electric-field induced superconductivity with a high critical temperature that was predicted from studying the role of chirality on the origin of life [1].


title: Integrating Semantic and Structural Information with Graph Convolutional Network for Controversy Detection

abstract: Identifying controversial posts on social media is a fundamental task for mining public sentiment, assessing the influence of events, and alleviating the polarized views. However, existing methods fail to 1) effectively incorporate the semantic information from content-related posts; 2) preserve the structural information for reply relationship modeling; 3) properly handle posts from topics dissimilar to those in the training set. To overcome the first two limitations, we propose Topic-Post-Comment Graph Convolutional Network (TPC-GCN), which integrates the information from the graph structure and content of topics, posts, and comments for post-level controversy detection. As to the third limitation, we extend our model to Disentangled TPC-GCN (DTPC-GCN), to disentangle topic-related and topic-unrelated features and then fuse dynamically. Extensive experiments on two real-world datasets demonstrate that our models outperform existing methods. Analysis of the results and cases proves that our models can integrate both semantic and structural information with significant generalizability.


title: Studies on binary mixtures of nematic liquid crystals made of strongly polar molecules with identical cores and antagonistic orientation of permanent dipoles

abstract: We report experimental studies on optical (birefringence, $\Delta n$), dielectric $(\Delta \varepsilon)$ and bend-splay elastic anisotropies ($\Delta K=K_{33}-K_{11})$ of a few mixtures of two nematic liquid crystals, namely CCH-7 and CCN-47, made of highly polar molecules with identical cores and antagonistic orientation of permanent dipoles. In particular, the polar group (-CN) attached to the bicyclohexane core of CCH-7 is oriented along the longitudinal direction whereas, in CCN-47, it is oriented along the transverse direction. We show that apart from the significant contribution to the optical and dielectric anisotropies, the antagonistic orientation of strongly polar groups plays a crucial role in determining the bend-splay elastic anisotropy. The elastic properties are explained based on a model proposed by Priest, considering the effect of intermolecular association and the resulting length-to-width ratio of the molecules.


title: Orbital Modulation of Gamma Rays from PSR~J2339$-$0533

abstract: We report on orbital modulation of the 100-600 MeV gamma-ray emission of the $P_{\rm B}=4.6$ hr millisecond pulsar binary PSR J2339$-$0533 using 11 yr of Fermi Large Area Telescope data. The modulation has high significance (chance probability $p\approx 10^{-7}$), is approximately sinusoidal, peaks near pulsar superior conjunction, and is detected only in the low-energy 100-600 MeV band. The modulation is confined to the on-pulse interval, suggesting that the variation is in the 2.9-ms pulsed signal itself. This contrasts with the few other known systems exhibiting GeV orbital modulations, as these are unpulsed and generally associated with beamed emission from an intrabinary shock. The origin of the modulated pulsed signal is not yet clear, although we describe several scenarios, including Compton upscattering of photons from the heated companion. This would require high coherence in the striped pulsar wind.


title: Science with the TianQin Observatory: Preliminary results on Galactic double white dwarf binaries

abstract: We explore the prospects of detecting of Galactic double white dwarf (DWD) binaries with the space-based gravitational wave (GW) observatory TianQin. In this work, we analyze both a sample of currently known DWDs and a realistic synthetic population of DWDs to assess the number of guaranteed detections and the full capacity of the mission. We find that TianQin can detect 12 out of $\sim100$ known DWDs; GW signals of these binaries can be modeled in detail ahead of the mission launch, and therefore they can be used as verification sources. Besides we estimate that TianQin has potential to detect as many as $10^4$ DWDs in the Milky Way. TianQin is expected to measure their orbital periods and amplitudes with accuracies of $\sim10^{-7}$ and $\sim0.2$, respectively, and to localize on the sky a large fraction (39%) of the detected population to better than 1 deg$^2$. We conclude that TianQin has the potential to significantly advance our knowledge on Galactic DWDs by increasing the sample up to 2 orders of magnitude, and will allow their multi-messenger studies in combination with electromagnetic telescopes. We also test the possibilities of different configurations of TianQin: (1) the same mission with a different orientation, (2) two perpendicular constellations combined into a network, and (3) the combination of the network with the ESA-led Laser Interferometer Space Antenna. We find that the network of detectors boosts the accuracy on the measurement of source parameters by 1-2 orders of magnitude, with the improvement on sky localization being the most significant.


title: Differentially Private ADMM for Convex Distributed Learning: Improved Accuracy via Multi-Step Approximation

abstract: Alternating Direction Method of Multipliers (ADMM) is a popular algorithm for distributed learning, where a network of nodes collaboratively solve a regularized empirical risk minimization by iterative local computation associated with distributed data and iterate exchanges. When the training data is sensitive, the exchanged iterates will cause serious privacy concern. In this paper, we aim to propose a new differentially private distributed ADMM algorithm with improved accuracy for a wide range of convex learning problems. In our proposed algorithm, we adopt the approximation of the objective function in the local computation to introduce calibrated noise into iterate updates robustly, and allow multiple primal variable updates per node in each iteration. Our theoretical results demonstrate that our approach can obtain higher utility by such multiple approximate updates, and achieve the error bounds asymptotic to the state-of-art ones for differentially private empirical risk minimization.


title: Education and Technology In Kuwait Democratic Practice

abstract: This study discusses the effects of the new technology on the democratic system by reviewing the political history of democracy in philosophic view. The study explores the philosophical discussion of democracy and its components that is designed by most influential philosophers whom most of them agreed on the importance of education and knowledge to be the two main components. The study connects the democratic progress in the State of Kuwait to its roots, namely knowledge and education.


title: Prediction of shock wave configurations in compression ramp flows

abstract: Here, we provide a theoretical framework revealing that a steady compression ramp flow must have the minimal dissipation of kinetic energy, and can be demonstrated using the least action principle. For a given inflow Mach number $M_{0}$ and ramp angle $\alpha$, the separation angle $\theta_{s}$ manifesting flow system states can be determined based on this theory. Thus, both the shapes of shock wave configurations and pressure peak $p_{peak}$ behind reattachment shock waves are predictable. These theoretical predictions agree excellently with both experimental data and numerical simulations, covering a wide range of $M_{0}$ and $\alpha$. In addition, for a large separation, the theory indicates that $\theta_{s}$ only depends on $M_{0}$ and $\alpha$, but is independent of the Reynolds number $Re$ and wall temperature $T_{w}$. These facts suggest that the proposed theoretical framework can be applied to other flow systems dominated by shock waves, which are ubiquitous in aerospace engineering.


title: Tiering as a Stochastic Submodular Optimization Problem

abstract: Tiering is an essential technique for building large-scale information retrieval systems. While the selection of documents for high priority tiers critically impacts the efficiency of tiering, past work focuses on optimizing it with respect to a static set of queries in the history, and generalizes poorly to the future traffic. Instead, we formulate the optimal tiering as a stochastic optimization problem, and follow the methodology of regularized empirical risk minimization to maximize the \emph{generalization performance} of the system. We also show that the optimization problem can be cast as a stochastic submodular optimization problem with a submodular knapsack constraint, and we develop efficient optimization algorithms by leveraging this connection.


title: Model identification in $\mu^-\to e^-$ conversion with invisible boson emission using muonic atoms

abstract: In this article, we investigate the $\mu^-\to e^-X$ process in a muonic atom, where $X$ is a light neutral boson. By calculating the spectrum of the emitted electron for several cases, we discuss the model-discriminating power of the process. We report the strong model dependence of the spectrum near a high-energy endpoint. Our findings show that future experiments using muonic atoms are helpful to identify the properties of exotic bosons.


title: A Compressed Sensing Approach to Pooled RT-PCR Testing for COVID-19 Detection

abstract: We propose `Tapestry', a novel approach to pooled testing with application to COVID-19 testing with quantitative Reverse Transcription Polymerase Chain Reaction (RT-PCR) that can result in shorter testing time and conservation of reagents and testing kits. Tapestry combines ideas from compressed sensing and combinatorial group testing with a novel noise model for RT-PCR used for generation of synthetic data. Unlike Boolean group testing algorithms, the input is a quantitative readout from each test and the output is a list of viral loads for each sample relative to the pool with the highest viral load. While other pooling techniques require a second confirmatory assay, Tapestry obtains individual sample-level results in a single round of testing, at clinically acceptable false positive or false negative rates. We also propose designs for pooling matrices that facilitate good prediction of the infected samples while remaining practically viable. When testing $n$ samples out of which $k \ll n$ are infected, our method needs only $O(k \log n)$ tests when using random binary pooling matrices, with high probability. However, we also use deterministic binary pooling matrices based on combinatorial design ideas of Kirkman Triple Systems to balance between good reconstruction properties and matrix sparsity for ease of pooling. In practice, we have observed the need for fewer tests with such matrices than with random pooling matrices. This makes Tapestry capable of very large savings at low prevalence rates, while simultaneously remaining viable even at prevalence rates as high as 9.5\%. Empirically we find that single-round Tapestry pooling improves over two-round Dorfman pooling by almost a factor of 2 in the number of tests required. We validate Tapestry in simulations and wet lab experiments with oligomers in quantitative RT-PCR assays. Lastly, we describe use-case scenarios for deployment.


title: Multi-scale Grouped Dense Network for VVC Intra Coding

abstract: Versatile Video Coding (H.266/VVC) standard achieves better image quality when keeping the same bits than any other conventional image codec, such as BPG, JPEG, and etc. However, it is still attractive and challenging to improve the image quality with high compression ratio on the basis of traditional coding techniques. In this paper, we design the multi-scale grouped dense network (MSGDN) to further reduce the compression artifacts by combining the multi-scale and grouped dense block, which are integrated as the post-process network of VVC intra coding. Besides, to improve the subjective quality of compressed image, we also present a generative adversarial network (MSGDN-GAN) by utilizing our MSGDN as generator. Across the extensive experiments on validation set, our MSGDN trained by MSE losses yields the PSNR of 32.622 on average with teams IMC at the bit-rate of 0.15 in Lowrate track. Moreover, our MSGDN-GAN could achieve the better subjective performance.


title: Glottal Source Estimation using an Automatic Chirp Decomposition

abstract: In a previous work, we showed that the glottal source can be estimated from speech signals by computing the Zeros of the Z-Transform (ZZT). Decomposition was achieved by separating the roots inside (causal contribution) and outside (anticausal contribution) the unit circle. In order to guarantee a correct deconvolution, time alignment on the Glottal Closure Instants (GCIs) was shown to be essential. This paper extends the formalism of ZZT by evaluating the Z-transform on a contour possibly different from the unit circle. A method is proposed for determining automatically this contour by inspecting the root distribution. The derived Zeros of the Chirp Z-Transform (ZCZT)-based technique turns out to be much more robust to GCI location errors.


title: Social Media Usage in Kuwait: A Comparison of Perspectives Between Healthcare Practitioners and Patients

abstract: Social Media has been transforming numerous activities of everyday life, impacting also healthcare. However, few studies investigate the medical use of social media by patients and medical practitioners, especially in the Arabian Gulf region and Kuwait. To understand the behavior of patients and medical practitioners in social media toward healthcare and medical purposes, we conducted user studies. Through an online survey, we identified a decrease in patients and medical practitioners use of social media for medical purposes. Patients reported to be more aware than practitioners concerning: health education, health-related network support, and communication activities. While practitioners use social media mostly as a source of medical information, for clinician marketing and for professional development. The findings highlighted the need to design a social media platform that support healthcare online campaign, professional career identity, medical repository, and social privacy setting to increase users engagements toward medical purposes.


title: Endomorphism algebras and Hecke algebras for reductive p-adic groups

abstract: Let G be a reductive p-adic group and let Rep(G)^s be a Bernstein block in the category of smooth complex G-representations. We investigate the structure of Rep(G)^s, by analysing the algebra of G-endomorphisms of a progenerator \Pi of that category. We show that Rep(G)^s is "almost" Morita equivalent with a (twisted) affine Hecke algebra. This statement is made precise in several ways, most importantly with a family of (twisted) graded algebras. It entails that, as far as finite length representations are concerned, Rep(G)^s and End_G (\Pi)-Mod can be treated as the module category of a twisted affine Hecke algebra. We draw two consequences. Firstly, we show that the equivalence of categories between Rep(G)^s and End_G (\Pi)-Mod preserves temperedness of finite length representations. Secondly, we provide a classification of the irreducible representations in Rep(G)^s, in terms of the complex torus and the finite group canonically associated to Rep(G)^s. This proves a version of the ABPS conjecture and enables us to express the set of irreducible $G$-representations in terms of the supercuspidal representations of the Levi subgroups of $G$. Our methods are independent of the existence of types, and apply in complete generality.


title: Reconstruction of Multi-user Binary Subspace Chirps

abstract: We consider codebooks of Complex Grassmannian Lines consisting of Binary Subspace Chirps (BSSCs) in $N = 2^m$ dimensions. BSSCs are generalizations of Binary Chirps (BCs), their entries are either fourth-roots of unity, or zero. BSSCs consist of a BC in a non-zero subspace, described by an on-off pattern. Exploring the underlying binary symplectic geometry, we provide a unified framework for BSSC reconstruction---both on-off pattern and BC identification are related to stabilizer states of the underlying Heisenberg-Weyl algebra. In a multi-user random access scenario we show feasibility of reliable reconstruction of multiple simultaneously transmitted BSSCs with low complexity.


title: Oscillating Statistical Moments for Speech Polarity Detection

abstract: An inversion of the speech polarity may have a dramatic detrimental effect on the performance of various techniques of speech processing. An automatic method for determining the speech polarity (which is dependent upon the recording setup) is thus required as a preliminary step for ensuring the well-behaviour of such techniques. This paper proposes a new approach of polarity detection relying on oscillating statistical moments. These moments have the property to oscillate at the local fundamental frequency and to exhibit a phase shift which depends on the speech polarity. This dependency stems from the introduction of non-linearity or higher-order statistics in the moment calculation. The resulting method is shown on 10 speech corpora to provide a substantial improvement compared to state-of-the-art techniques.


title: The Power of Triply Complementary Priors for Image Compressive Sensing

abstract: Recent works that utilized deep models have achieved superior results in various image restoration applications. Such approach is typically supervised which requires a corpus of training images with distribution similar to the images to be recovered. On the other hand, the shallow methods which are usually unsupervised remain promising performance in many inverse problems, \eg, image compressive sensing (CS), as they can effectively leverage non-local self-similarity priors of natural images. However, most of such methods are patch-based leading to the restored images with various ringing artifacts due to naive patch aggregation. Using either approach alone usually limits performance and generalizability in image restoration tasks. In this paper, we propose a joint low-rank and deep (LRD) image model, which contains a pair of triply complementary priors, namely \textit{external} and \textit{internal}, \textit{deep} and \textit{shallow}, and \textit{local} and \textit{non-local} priors. We then propose a novel hybrid plug-and-play (H-PnP) framework based on the LRD model for image CS. To make the optimization tractable, a simple yet effective algorithm is proposed to solve the proposed H-PnP based image CS problem. Extensive experimental results demonstrate that the proposed H-PnP algorithm significantly outperforms the state-of-the-art techniques for image CS recovery such as SCSNet and WNNM.


title: Spike-Triggered Non-Autoregressive Transformer for End-to-End Speech Recognition

abstract: Non-autoregressive transformer models have achieved extremely fast inference speed and comparable performance with autoregressive sequence-to-sequence models in neural machine translation. Most of the non-autoregressive transformers decode the target sequence from a predefined-length mask sequence. If the predefined length is too long, it will cause a lot of redundant calculations. If the predefined length is shorter than the length of the target sequence, it will hurt the performance of the model. To address this problem and improve the inference speed, we propose a spike-triggered non-autoregressive transformer model for end-to-end speech recognition, which introduces a CTC module to predict the length of the target sequence and accelerate the convergence. All the experiments are conducted on a public Chinese mandarin dataset AISHELL-1. The results show that the proposed model can accurately predict the length of the target sequence and achieve a competitive performance with the advanced transformers. What's more, the model even achieves a real-time factor of 0.0056, which exceeds all mainstream speech recognition models.


title: Alternating links with totally geodesic checkerboard surfaces

abstract: We prove that alternating links with two totally geodesic checkerboard surfaces are three links with projection the 1-skeleton of the octahedron, the cuboctahedron and the icosidodecahedron. We also characterize these links as right-angled completely realisable links and show that all hyperbolic weaving knots with two exceptions have both checkerboard surfaces not totally geodesic.


title: Origin of hysteresis in shock wave reflection

abstract: We report the mechanism of the hysteresis in the transition between Regular and Mach reflections. A new discovery is that, the hysteresis loop is in fact the projection of a higher dimensional path, i.e. the valley lines in the surface of dissipation, of which minimal values correspond to stable reflection configurations. Since the saddle-nodes bifurcate the valleies of the surface, they are actually the transition points of the two reflections. Furthermore, the predicted reflection configurations agree well with the experimental and numerical results, which is a validation of this theory.


title: A Dichotomy for Real Boolean Holant Problems

abstract: We prove a complexity dichotomy for Holant problems on the boolean domain with arbitrary sets of real-valued constraint functions. These constraint functions need not be symmetric nor do we assume any auxiliary functions as in previous results. It is proved that for every set $\mathcal{F}$ of real-valued constraint functions, Holant$(\mathcal{F})$ is either P-time computable or #P-hard. The classification has an explicit criterion. This is the culmination of much research on this problem, and it uses previous results and techniques from many researchers. Some particularly intriguing concrete functions $f_6$, $f_8$ and their associated families with extraordinary closure properties related to Bell states in quantum information theory play an important role in this proof.


title: Circulant almost cross intersecting families

abstract: Let $\mathcal{F}$ and $\mathcal{G}$ be two $t$-uniform families of subsets over $[k] = \{1,2,...,k\}$, where $|\mathcal{F}| = |\mathcal{G}|$, and let $C$ be the adjacency matrix of the bipartite graph whose vertices are the subsets in $\mathcal{F}$ and $\mathcal{G}$, and there is an edge between $A\in \mathcal{F}$ and $B \in \mathcal{G}$ if and only if $A \cap B \neq \emptyset$. The pair $(\mathcal{F},\mathcal{G})$ is $q$-almost cross intersecting if every row and column of $C$ has exactly $q$ zeros. We consider $q$-almost cross intersecting pairs that have a circulant intersection matrix $C_{p,q}$, determined by a column vector with $p > 0$ ones followed by $q > 0$ zeros. This family of matrices includes the identity matrix in one extreme, and the adjacency matrix of the bipartite crown graph in the other extreme. We give constructions of pairs $(\mathcal{F},\mathcal{G})$ whose intersection matrix is $C_{p,q}$, for a wide range of values of the parameters $p$ and $q$, and in some cases also prove matching upper bounds. Specifically, we prove results for the following values of the parameters: (1) $1 \leq p \leq 2t-1$ and $1 \leq q \leq k-2t+1$. (2) $2t \leq p \leq t^2$ and any $q> 0$, where $k \geq p+q$. (3) $p$ that is exponential in $t$, for large enough $k$. Using the first result we show that if $k \geq 4t-3$ then $C_{2t-1,k-2t+1}$ is a maximal isolation submatrix of size $k\times k$ in the $0,1$-matrix $A_{k,t}$, whose rows and columns are labeled by all subsets of size $t$ of $[k]$, and there is a one in the entry on row $x$ and column $y$ if and only if subsets $x,y$ intersect.


title: Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum

abstract: The selfdestruct function is provided by Ethereum smart contracts to destroy a contract on the blockchain system. However, it is a double-edged sword for developers. On the one hand, using selfdestruct function enables developers to remove smart contracts (SC) from Ethereum and transfers Ethers when emergency situations happen, e.g. being attacked. On the other hand, this function can increase the complexity for the development and open an attack vector for attackers. To better understand the reasons why SC developers include or exclude the selfdestruct function in their contracts, we conducted an online survey to collect feedback from them and summarize the key reasons. Their feedback shows that 66.67% of the developers will deploy an updated contract to the Ethereum after destructing the old contract. According to this information, we propose a method to find the self-destructed contracts (also called predecessor contracts) and their updated version (successor contracts) by computing the code similarity. By analyzing the difference between the predecessor contracts and their successor contracts, we found five reasons that led to the death of the contracts; two of them (i.e., Unmatched ERC20 Token and Limits of Permission) might affect the life span of contracts. We developed a tool named LifeScope to detect these problems. LifeScope reports 0 false positives or negatives in detecting Unmatched ERC20 Token. In terms of Limits of Permission, LifeScope achieves 77.89% of F-measure and 0.8673 of AUC in average. According to the feedback of developers who exclude selfdestruct functions, we propose suggestions to help developers use selfdestruct functions in Ethereum smart contracts better.


title: Analytic ranks of elliptic curves over number fields

abstract: Let $E$ be an elliptic curve over $\mathbb{Q}$. Then, we show that the average analytic rank of $E$ over cyclic extensions of degree $l$ over $\mathbb{Q}$ with $l$ a prime not equal to $2$, is at most $2+r_{\mathbb{Q}}(E)$, where $r_{\mathbb{Q}}(E)$ is the analytic rank of the elliptic curve $E$ over $\mathbb{Q}$. This bound is independent of the degree $l$ Also, we also obtain some average analytic rank results over $S_d$-fields.


title: Low-complexity and Low-overhead Receiver for OTFS via Large-scale Antenna Array

abstract: Orthogonal time frequency space (OTFS) is a modulation technique that is dedicated to the high-speed mobility scenario. However, its transmission involves a two-dimensional convolution of the symbols of interest and the multipath fading channel, and it complicates the equalization. In addition to the high-complexity issue, the existing pilot pattern to estimate the unknown channel accurately requires large overhead to avoid the pilot being contaminated, which is spectrally inefficient. In this paper, we propose a receiver approach by the marriage of the OTFS and a large-scale antenna array, which allows low-complexity detection and low-overhead pilot pattern design. First, the received signal from each path of the multipath fading channel is identified by a high-resolution receive beamformer facilitated by a large-scale antenna array. Then the identified signal from each angle in the delay-Doppler domain reduces to a flat-faded signal, which can be simply equalized using the channel information estimated by our pilot pattern. We further provide the estimator of the channel fading and the rotations of delay and Doppler. With these estimates, the symbols of interest can be recovered, and then, the signals from all angles of arrival are combined as different diversity versions. In addition, our pilot pattern with only around 25% overhead of the existing pilot pattern ensures the same protection of pilot pollution. Eventually, the efficiency, the reliability, and the low complexity of the proposed receiver approach are further validated by the numerical results.


title: Mountain pass type solutions for a generalized Frenkel-Kontorova model

abstract: We study a generalized Frenkel-Kontorova model and obtain periodic and heteroclinic mountain pass solutions. Heteroclinic mountain pass solution in the second laminations is new to the generalized Frenkel-Kontorova model. Our proof follows that of Bolotin and Rabinowitz for an Allen-Cahn equation, which is different with heat flow method for finding critical point of Frenkel-Kontorova model in the literature. The proofs depend on suitable choices of functionals and working spaces. We also study the multiplicity of these mountain pass solutions.


title: Cohen real or random real: effect on strong measure zero sets and strongly meager sets

abstract: We show that the set of the ground-model reals has strong measure zero (is strongly meager) after adding a single Cohen real (random real). As consequence we prove that the set of the ground-model reals has strong measure zero after adding a single Hechler real.


title: On the universality of spectroscopic constants of diatomic molecules

abstract: We show, through a machine learning approach, that the equilibrium distance, harmonic vibrational frequency, and binding energy of diatomic molecules are universally related. In particular, the relationships between spectroscopic constants are valid independently of the molecular bond. However, they depend strongly on the group and period of the constituent atoms. As a result, we show that by employing the group and period of atoms within a molecule, the spectroscopic constants are predicted with an accuracy of $\lesssim 5\%$. Finally, the same universal relationships are satisfied when spectroscopic constants from {\it ab initio} and density functional theory (DFT) electronic structure methods are employed.


title: Double Resonant Vertically Accessed Optical Waveguide Sensor

abstract: We present a new waveguided-sensing configuration combining the advantages of two effects, namely, two-wave interference and multiple-wave interference in a single sensing device. The sensor is accessed vertically from above by means of a three-port grating, and its readout can be accomplished both in an up-reflective or waveguided mode. The superposition of the two outcoming signals results in a variety of transmission characteristic curves depending on fabrication parameters, which are optimized in order to attain enhanced sensitivity. The sensor is analyzed by means of a simple scattering matrix model and confirmed by full FDTD simulations.


title: Derived dimension via {\tau}-tilting theory

abstract: Comparing the bounded derived categories of an algebra and of the endomorphism algebra of a given support {\tau}-tilting module, we find a relation between the derived dimensions of an algebra and of the endomorphism algebra of a given {\tau}-tilting module.


title: Deep-learning of Parametric Partial Differential Equations from Sparse and Noisy Data

abstract: Data-driven methods have recently made great progress in the discovery of partial differential equations (PDEs) from spatial-temporal data. However, several challenges remain to be solved, including sparse noisy data, incomplete candidate library, and spatially- or temporally-varying coefficients. In this work, a new framework, which combines neural network, genetic algorithm and adaptive methods, is put forward to address all of these challenges simultaneously. In the framework, a trained neural network is utilized to calculate derivatives and generate a large amount of meta-data, which solves the problem of sparse noisy data. Next, genetic algorithm is utilized to discover the form of PDEs and corresponding coefficients with an incomplete candidate library. Finally, a two-step adaptive method is introduced to discover parametric PDEs with spatially- or temporally-varying coefficients. In this method, the structure of a parametric PDE is first discovered, and then the general form of varying coefficients is identified. The proposed algorithm is tested on the Burgers equation, the convection-diffusion equation, the wave equation, and the KdV equation. The results demonstrate that this method is robust to sparse and noisy data, and is able to discover parametric PDEs with an incomplete candidate library.

categories: physics.comp-ph cs.AI cs.LG cs.NE stat.ML


title: Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots

abstract: A swarm of anonymous oblivious mobile robots, operating in deterministic Look-Compute-Move cycles, is confined within a circular track. All robots agree on the clockwise direction (chirality), they are activated by an adversarial semi-synchronous scheduler (SSYNCH), and an active robot always reaches the destination point it computes (rigidity). Robots have limited visibility: each robot can see only the points on the circle that have an angular distance strictly smaller than a constant $\vartheta$ from the robot's current location, where $0<\vartheta\leq\pi$ (angles are expressed in radians). We study the Gathering problem for such a swarm of robots: that is, all robots are initially in distinct locations on the circle, and their task is to reach the same point on the circle in a finite number of turns, regardless of the way they are activated by the scheduler. Note that, due to the anonymity of the robots, this task is impossible if the initial configuration is rotationally symmetric; hence, we have to make the assumption that the initial configuration be rotationally asymmetric. We prove that, if $\vartheta=\pi$ (i.e., each robot can see the entire circle except its antipodal point), there is a distributed algorithm that solves the Gathering problem for swarms of any size. By contrast, we also prove that, if $\vartheta\leq \pi/2$, no distributed algorithm solves the Gathering problem, regardless of the size of the swarm, even under the assumption that the initial configuration is rotationally asymmetric and the visibility graph of the robots is connected. The latter impossibility result relies on a probabilistic technique based on random perturbations, which is novel in the context of anonymous mobile robots. Such a technique is of independent interest, and immediately applies to other Pattern-Formation problems.


title: The exact linear Tur\'an number of the Sail

abstract: A hypergraph is linear if any two of its edges intersect in at most one vertex. The Sail (or $3$-fan) $F^3$ is the $3$-uniform linear hypergraph consisting of $3$ edges $f_1, f_2, f_3$ pairwise intersecting in the same vertex $v$ and an additional edge $g$ intersecting all $f_i$ in a vertex different from $v$. The linear Tur\'an number $ex_{lin}(n, F^3)$ is the maximum number of edges in a $3$-uniform linear hypergraph on $n$ vertices that does not contain a copy of $F^3$. F\"{u}redi and Gy\'arf\'as proved that if $n = 3k$, then $ex_{lin}(n, F^3) = k^2$ and the only extremal hypergraphs in this case are transversal designs. They also showed that if $n = 3k+2$, then $ex_{lin}(n, F^3) = k^2+k$, and the only extremal hypergraphs are truncated designs (which are obtained from a transversal design on $3k+3$ vertices with $3$ groups by removing one vertex and all the hyperedges containing it) along with three other small hypergraphs. However, the case when $n =3k+1$ was left open. In this paper, we solve this remaining case by proving that $ex_{lin}(n, F^3) = k^2+1$ if $n = 3k+1$, answering a question of F\"{u}redi and Gy\'arf\'as. We also characterize all the extremal hypergraphs. The difficulty of this case is due to the fact that these extremal examples are rather non-standard. In particular, they are not derived from transversal designs like in the other cases.


title: Hodge Theory of $p$-adic varieties: a survey

abstract: $p$-adic Hodge Theory is one of the most powerful tools in modern Arithmetic Geometry. In this survey, we will review $p$-adic Hodge Theory for algebraic varieties, present current developments in $p$-adic Hodge Theory for analytic varieties, and discuss some of its applications to problems in Number Theory. This is an extended version of a talk at the Jubilee Congress for the 100th anniversary of the Polish Mathematical Society, Krak\'ow, 2019.


title: Reducing Spelling Inconsistencies in Code-Switching ASR using Contextualized CTC Loss

abstract: Code-Switching (CS) remains a challenge for Automatic Speech Recognition (ASR), especially character-based models. With the combined choice of characters from multiple languages, the outcome from character-based models suffers from phoneme duplication, resulting in language-inconsistent spellings. We propose Contextualized Connectionist Temporal Classification (CCTC) loss to encourage spelling consistencies of a character-based non-autoregressive ASR which allows for faster inference. The CCTC loss conditions the main prediction on the predicted contexts to ensure language consistency in the spellings. In contrast to existing CTC-based approaches, CCTC loss does not require frame-level alignments, since the context ground truth is obtained from the model's estimated path. Compared to the same model trained with regular CTC loss, our method consistently improved the ASR performance on both CS and monolingual corpora.


title: Evolutionary and hydrodynamic models of short--period Cepheids

abstract: The evolutionary calculations for population I stars with masses on the main sequence 5 M_\odot <= M_0 <= 6.1 M_\odot and initial fractional abundances of helium Y_0=0.28 and heavier elements Z_0=0.02 were carried out to the stage of central helium exhaustion. Selected core helium--burning models were used as initial conditions for solution of the equations of hydrodynamics and time--dependent convection describing radial pulsations of Cepheids. In the Hertzsprung--Russel diagram the evolutionary tracks are shown to cross the red edge of the instability strip for M_0 > 5.1M_\odot. The grid of hydrodynamic models of core helium--burning Cepheids on the stages of the second and the third crossings of the instability strip was computed. The pulsation period \Pi and the rate of period change \dot\Pi were determined as a continuous function of star age for each evolutionary sequence of first--overtone pulsators. Results of calculations agree with observational estimates of \dot\Pi recently obtained for the short--period Cepheids V532 Cyg, BG Cru and RT Aur.