title: Deep Video Inpainting Detection

abstract: This paper studies video inpainting detection, which localizes an inpainted region in a video both spatially and temporally. In particular, we introduce VIDNet, Video Inpainting Detection Network, which contains a two-stream encoder-decoder architecture with attention module. To reveal artifacts encoded in compression, VIDNet additionally takes in Error Level Analysis frames to augment RGB frames, producing multimodal features at different levels with an encoder. Exploring spatial and temporal relationships, these features are further decoded by a Convolutional LSTM to predict masks of inpainted regions. In addition, when detecting whether a pixel is inpainted or not, we present a quad-directional local attention module that borrows information from its surrounding pixels from four directions. Extensive experiments are conducted to validate our approach. We demonstrate, among other things, that VIDNet not only outperforms by clear margins alternative inpainting detection methods but also generalizes well on novel videos that are unseen during training.


title: The Effect of Class Definitions on the Transferability of Adversarial Attacks Against Forensic CNNs

abstract: In recent years, convolutional neural networks (CNNs) have been widely used by researchers to perform forensic tasks such as image tampering detection. At the same time, adversarial attacks have been developed that are capable of fooling CNN-based classifiers. Understanding the transferability of adversarial attacks, i.e. an attacks ability to attack a different CNN than the one it was trained against, has important implications for designing CNNs that are resistant to attacks. While attacks on object recognition CNNs are believed to be transferrable, recent work by Barni et al. has shown that attacks on forensic CNNs have difficulty transferring to other CNN architectures or CNNs trained using different datasets. In this paper, we demonstrate that adversarial attacks on forensic CNNs are even less transferrable than previously thought even between virtually identical CNN architectures! We show that several common adversarial attacks against CNNs trained to identify image manipulation fail to transfer to CNNs whose only difference is in the class definitions (i.e. the same CNN architectures trained using the same data). We note that all formulations of class definitions contain the unaltered class. This has important implications for the future design of forensic CNNs that are robust to adversarial and anti-forensic attacks.


title: Error-correcting entanglement swapping using a practical logical photon encoding

abstract: Several emerging quantum technologies, including quantum networks, modular and fusion-based quantum computing, rely crucially on the ability to perform photonic Bell state measurements. Therefore, photon losses and the 50\% success probablity upper bound of Bell state measurements pose a critical limitation to photonic quantum technologies. Here, we develop protocols that overcome these two key challenges through logical encoding of photonic qubits. Our approach uses a tree graph state logical encoding, which can be produced deterministically with a few quantum emitters, and achieves near-deterministic logical photonic Bell state measurements while also protecting against errors including photon losses, with a record loss-tolerance threshold.


title: Unsupervised tree boosting for learning probability distributions

abstract: We propose an unsupervised tree boosting algorithm for inferring the underlying sampling distribution of an i.i.d. sample based on fitting additive tree ensembles in a fashion analogous to supervised tree boosting. Integral to the algorithm is a new notion of "addition" on probability distributions that leads to a coherent notion of "residualization", i.e., subtracting a probability distribution from an observation to remove the distributional structure from the sampling distribution of the latter. We show that these notions arise naturally for univariate distributions through cumulative distribution function (CDF) transforms and compositions due to several "group-like" properties of univariate CDFs. While the traditional multivariate CDF does not preserve these properties, a new definition of multivariate CDF can restore these properties, thereby allowing the notions of "addition" and "residualization" to be formulated for multivariate settings as well. This then gives rise to the unsupervised boosting algorithm based on forward-stagewise fitting of an additive tree ensemble, which sequentially reduces the Kullback-Leibler divergence from the truth. The algorithm allows analytic evaluation of the fitted density and outputs a generative model that can be readily sampled from. We enhance the algorithm with scale-dependent shrinkage and a two-stage strategy that separately fits the marginals and the copula. The algorithm then performs competitively to state-of-the-art deep-learning approaches in multivariate density estimation on multiple benchmark data sets.


title: The canonical ideal and the deformation theory of curves with automorphisms

abstract: The deformation theory of curves is studied by using the canonical ideal. The problem of lifting curves with automorphisms is reduced to a lifting problem of linear representations.


title: EPIC-Survival: End-to-end Part Inferred Clustering for Survival Analysis, Featuring Prognostic Stratification Boosting

abstract: Histopathology-based survival modelling has two major hurdles. Firstly, a well-performing survival model has minimal clinical application if it does not contribute to the stratification of a cancer patient cohort into different risk groups, preferably driven by histologic morphologies. In the clinical setting, individuals are not given specific prognostic predictions, but are rather predicted to lie within a risk group which has a general survival trend. Thus, It is imperative that a survival model produces well-stratified risk groups. Secondly, until now, survival modelling was done in a two-stage approach (encoding and aggregation). The massive amount of pixels in digitized whole slide images were never utilized to their fullest extent due to technological constraints on data processing, forcing decoupled learning. EPIC-Survival bridges encoding and aggregation into an end-to-end survival modelling approach, while introducing stratification boosting to encourage the model to not only optimize ranking, but also to discriminate between risk groups. In this study we show that EPIC-Survival performs better than other approaches in modelling intrahepatic cholangiocarcinoma, a historically difficult cancer to model. Further, we show that stratification boosting improves further improves model performance, resulting in a concordance-index of 0.880 on a held-out test set. Finally, we were able to identify specific histologic differences, not commonly sought out in ICC, between low and high risk groups.


title: Contiguity under high dimensional Gaussianity with applications to covariance testing

abstract: Le Cam's third/contiguity lemma is a fundamental probabilistic tool to compute the limiting distribution of a given statistic $T_n$ under a non-null sequence of probability measures $\{Q_n\}$, provided its limiting distribution under a null sequence $\{P_n\}$ is available, and the log likelihood ratio $\{\log (dQ_n/dP_n)\}$ has a distributional limit. Despite its wide-spread applications to low-dimensional statistical problems, the stringent requirement of Le Cam's third/contiguity lemma on the distributional limit of the log likelihood ratio makes it challenging, or even impossible to use in many modern high-dimensional statistical problems. This paper provides a non-asymptotic analogue of Le Cam's third/contiguity lemma under high dimensional normal populations. Our contiguity method is particularly compatible with sufficiently regular statistics $T_n$: the regularity of $T_n$ effectively reduces both the problems of (i) obtaining a null (Gaussian) limit distribution and of (ii) verifying our new quantitative contiguity condition, to those of derivative calculations and moment bounding exercises. More important, our method bypasses the need to understand the precise behavior of the log likelihood ratio, and therefore possibly works even when it necessarily fails to stabilize -- a regime beyond the reach of classical contiguity methods. As a demonstration of the scope of our new contiguity method, we obtain asymptotically exact power formulae for a number of widely used high-dimensional covariance tests, including the likelihood ratio tests and trace tests, that hold uniformly over all possible alternative covariance under mild growth conditions on the dimension-to-sample ratio. These new results go much beyond the scope of previous available case-specific techniques, and exhibit new phenomenon regarding the behavior of these important class of covariance tests.


title: The membership problem for constant-sized quantum correlations is undecidable

abstract: When two spatially separated parties make measurements on an unknown entangled quantum state, what correlations can they achieve? How difficult is it to determine whether a given correlation is a quantum correlation? These questions are central to problems in quantum communication and computation. Previous work has shown that the general membership problem for quantum correlations is computationally undecidable. In the current work we show something stronger: there is a family of constant-sized correlations -- that is, correlations for which the number of measurements and number of measurement outcomes are fixed -- such that solving the quantum membership problem for this family is computationally impossible. Thus, the undecidability that arises in understanding Bell experiments is not dependent on varying the number of measurements in the experiment. This places strong constraints on the types of descriptions that can be given for quantum correlation sets. Our proof is based on a combination of techniques from quantum self-testing and from undecidability results of the third author for linear system nonlocal games.


title: CosmoReionMC: A package for estimating cosmological and astrophysical parameters using CMB, Lyman-{\alpha} absorption and global 21 cm data

abstract: We present a Markov Chain Monte Carlo (MCMC)-based parameter estimation package, CosmoReionMC, to jointly constrain cosmological parameters of the $\Lambda$CDM model and the astrophysical parameters related to hydrogen reionization. The package is based on a previously developed physically motivated semi-analytical model for reionization, a similar semi-analytical model for computing the global 21~cm signal during the cosmic dawn and using an appropriately modified version of the publicly available CAMB for computing the CMB anisotropies. These calculations are then coupled to an MCMC ensemble sampler \texttt{emcee} to compute the posterior distributions of the model parameter. The model has twelve free parameters in total: five cosmological and seven related to the stellar populations. We constrain the parameters by matching the theoretical predictions with CMB data from Planck, observations related to the quasar absorption spectra and, for the first time, the global 21~cm signal from EDGES. We find that incorporating the quasar spectra data in the analysis tightens the bounds on the electron scattering optical depth $\tau$ and consequently the normalization $A_s$ of the primordial matter power spectrum (or equivalently $\sigma_8$). Furthermore, when we include the EDGES data in the analysis, we find that an early population of metal-free stars with efficient radio emission is necessary to match the absorption amplitude. The CosmoReionMC package should have interesting future applications, e.g., probing non-standard extensions to the $\Lambda$CDM model.


title: Chatbots language design: the influence of language variation on user experience

abstract: Chatbots are often designed to mimic social roles attributed to humans. However, little is known about the impact on user's perceptions of using language that fails to conform to the associated social role. Our research draws on sociolinguistic theory to investigate how a chatbot's language choices can adhere to the expected social role the agent performs within a given context. In doing so, we seek to understand whether chatbots design should account for linguistic register. This research analyzes how register differences play a role in shaping the user's perception of the human-chatbot interaction. Ultimately, we want to determine whether register-specific language influences users' perceptions and experiences with chatbots. We produced parallel corpora of conversations in the tourism domain with similar content and varying register characteristics and evaluated users' preferences of chatbot's linguistic choices in terms of appropriateness, credibility, and user experience. Our results show that register characteristics are strong predictors of user's preferences, which points to the needs of designing chatbots with register-appropriate language to improve acceptance and users' perceptions of chatbot interactions.


title: Tumor and microcalcification characterization using Entropy, Fractal Dimension and intensity values statistical analysis in mammography

abstract: Digital analysis of mammographic images is a complementary tool to clinical evaluation, commonly used to identify tumors and/or microcalcifications in mammograms. Recent mammographic equipment, can automatically classify them using this methodology. The difficulty in finding and classifying such areas, arise from different factors such as: image acquisition methodology, excess of brightness, similar physiological and radiological properties of tissues, etc. In this work it is proposed that the numerical computations of fractal dimension and entropy are tools that could be used to automatically segment and distinguish malignant tumors and/or microcalcifications in digital mammograms. The study consisted in segment the image in two areas: background and confirmed malignant tumor and/or microcalcification, to which the fractal dimension and entropy values are calculated and it was found the correlation between them. The analysis was performed on a grayscale re-digitized images from images provided locally by hospital for microcalcifications and from public databases for malignant tumors. From these re-digitized images, it was able to give the exact coordinates as the diagnosis provides. For any image, the highest intensity value was located in the tumor and/or microcalcification area, resulting that the fractal dimension had a higher value than the rest of the image, while the entropy value was lower, due to the uniformity of intensities in these areas. To complete this study, it was performed a data analysis with the set of intensities in each area. This allowed to distinguish between the areas of interest according to the value of the intensities, having a value greater than 3 {\sigma}. Finally, it is shown a technique to visually highlight the malignant tumor and/or microcalcification.


title: Nonconvex Regularized Gradient Projection Sparse Reconstruction for Massive MIMO Channel Estimation

abstract: Novel sparse reconstruction algorithms are proposed for beamspace channel estimation in massive multiple-input multiple-output systems. The proposed algorithms minimize a least-squares objective having a nonconvex regularizer. This regularizer removes the penalties on a few large-magnitude elements from the conventional l1-norm regularizer, and thus it only forces penalties on the remaining elements that are expected to be zeros. Accurate and fast reconstructions can be achieved by performing gradient projection updates within the framework of difference of convex functions (DC) programming. A double-loop algorithm and a single-loop algorithm are proposed via different DC decompositions, and these two algorithms have distinct computation complexities and convergence rates. Then, an extension algorithm is further proposed by designing the step sizes of the single-loop algorithm. The extension algorithm has a faster convergence rate and can achieve approximately the same level of accuracy as the proposed double-loop algorithm. Numerical results show significant advantages of the proposed algorithms over existing reconstruction algorithms in terms of reconstruction accuracies and runtimes. Compared to the benchmark channel estimation techniques, the proposed algorithms also achieve smaller mean squared error and higher achievable spectral efficiency.


title: An Improved Analysis of LP-based Control for Revenue Management

abstract: In this paper, we study a class of revenue management problems where the decision maker aims to maximize the total revenue subject to budget constraints on multiple type of resources over a finite horizon. At each time, a new order/customer/bid is revealed with a request of some resource(s) and a reward, and the decision maker needs to either accept or reject the order. Upon the acceptance of the order, the resource request must be satisfied and the associated revenue (reward) can be collected. We consider a stochastic setting where all the orders are i.i.d. sampled, i.e., the reward-request pair at each time is drawn from an unknown distribution with finite support. The formulation contains many classic applications such as the quantity-based network revenue management problem and the Adwords problem. We focus on the classic LP-based adaptive algorithm and consider regret as the performance measure defined by the gap between the optimal objective value of the certainty-equivalent linear program (LP) and the expected revenue obtained by the online algorithm. Our contribution is two-fold: (i) when the underlying LP is nondegenerate, the algorithm achieves a problem-dependent regret upper bound that is independent of the horizon/number of time periods $T$; (ii) when the underlying LP is degenerate, the algorithm achieves a regret upper bound that scales on the order of $\sqrt{T}\log T$. To our knowledge, both results are new and improve the best existing bounds for the LP-based adaptive algorithm in the corresponding setting. We conclude with numerical experiments to further demonstrate our findings.


title: Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams

abstract: This paper considers the problem of planning trajectories for a team of sensor-equipped robots to reduce uncertainty about a dynamical process. Optimizing the trade-off between information gain and energy cost (e.g., control effort, distance travelled) is desirable but leads to a non-monotone objective function in the set of robot trajectories. Therefore, common multi-robot planning algorithms based on techniques such as coordinate descent lose their performance guarantees. Methods based on local search provide performance guarantees for optimizing a non-monotone submodular function, but require access to all robots' trajectories, making it not suitable for distributed execution. This work proposes a distributed planning approach based on local search and shows how lazy/greedy methods can be adopted to reduce the computation and communication of the approach. We demonstrate the efficacy of the proposed method by coordinating robot teams composed of both ground and aerial vehicles with different sensing/control profiles and evaluate the algorithm's performance in two target tracking scenarios. Compared to the naive distributed execution of local search, our approach saves up to 60% communication and 80--92% computation on average when coordinating up to 10 robots, while outperforming the coordinate descent based algorithm in achieving a desirable trade-off between sensing and energy cost.


title: Sums of Reciprocals of Fractional Parts over Aligned Boxes

abstract: In this paper, we prove new upper bounds for sums of reciprocals of fractional parts over general aligned boxes, thus extending a previous result of the author concerning bounds for sums of reciprocals over symmetric boxes. These new upper bounds depend solely on the volume of the boxes, and not on their diameter. This generalisation relies a novel lattice-point counting technique involving estimates for the higher successive minima of certain naturally arising lattices.


title: Pitfalls of Assessing Extracted Hierarchies for Multi-Class Classification

abstract: Using hierarchies of classes is one of the standard methods to solve multi-class classification problems. In the literature, selecting the right hierarchy is considered to play a key role in improving classification performance. Although different methods have been proposed, there is still a lack of understanding of what makes one method to extract hierarchies perform better or worse. To this effect, we analyze and compare some of the most popular approaches to extracting hierarchies. We identify some common pitfalls that may lead practitioners to make misleading conclusions about their methods. In addition, to address some of these problems, we demonstrate that using random hierarchies is an appropriate benchmark to assess how the hierarchy's quality affects the classification performance. In particular, we show how the hierarchy's quality can become irrelevant depending on the experimental setup: when using powerful enough classifiers, the final performance is not affected by the quality of the hierarchy. We also show how comparing the effect of the hierarchies against non-hierarchical approaches might incorrectly indicate their superiority. Our results confirm that datasets with a high number of classes generally present complex structures in how these classes relate to each other. In these datasets, the right hierarchy can dramatically improve classification performance.


title: Particle Swarm Optimization: Fundamental Study and its Application to Optimization and to Jetty Scheduling Problems

abstract: The advantages of evolutionary algorithms with respect to traditional methods have been greatly discussed in the literature. While particle swarm optimizers share such advantages, they outperform evolutionary algorithms in that they require lower computational cost and easier implementation, involving no operator design and few coefficients to be tuned. However, even marginal variations in the settings of these coefficients greatly influence the dynamics of the swarm. Since this paper does not intend to study their tuning, general-purpose settings are taken from previous studies, and virtually the same algorithm is used to optimize a variety of notably different problems. Thus, following a review of the paradigm, the algorithm is tested on a set of benchmark functions and engineering problems taken from the literature. Later, complementary lines of code are incorporated to adapt the method to combinatorial optimization as it occurs in scheduling problems, and a real case is solved using the same optimizer with the same settings. The aim is to show the flexibility and robustness of the approach, which can handle a wide variety of problems.


title: Coulomb corrections to two-particle interaction in artificial traps

abstract: In present work, we discuss the effect of Coulomb interaction to the dynamics of two-particle system bound in various traps. The strategy of including Coulomb interaction into the quantization condition of trapped system is discussed in a general and non-perturbative manner. In most cases, Coulomb corrections to quantization condition largely rely on numerical approach or perturbation expansion. Only for some special cases, such as the spherical hard wall trap, a closed-form of quantization condition with all orders of Coulomb corrections can be obtained.


title: A possible mass distribution of primordial black holes implied by LIGO-Virgo

abstract: The LIGO-Virgo Collaboration has so far detected around 90 black holes, some of which have masses larger than what were expected from the collapse of stars. The mass distribution of LIGO-Virgo black holes appears to have a peak at $\sim30M_{\odot}$ and two tails on the ends. By assuming that they all have a primordial origin, we analyze the GWTC-1 (O1\&O2) and GWTC-2 (O3a) datasets by performing maximum likelihood estimation on a broken power law mass function $f(m)$, with the result $f\propto m^{1.2}$ for $m<35M_{\odot}$ and $f\propto m^{-4}$ for $m>35M_{\odot}$. This appears to behave better than the popular log-normal mass function. Surprisingly, such a simple and unique distribution can be realized in our previously proposed mechanism of PBH formation, where the black holes are formed by vacuum bubbles that nucleate during inflation via quantum tunneling. Moreover, this mass distribution can also provide an explanation to supermassive black holes formed at high redshifts.


title: Neural networks in quantum many-body physics: a hands-on tutorial

abstract: Over the past years, machine learning has emerged as a powerful computational tool to tackle complex problems over a broad range of scientific disciplines. In particular, artificial neural networks have been successfully deployed to mitigate the exponential complexity often encountered in quantum many-body physics, the study of properties of quantum systems built out of a large number of interacting particles. In this Article, we overview some applications of machine learning in condensed matter physics and quantum information, with particular emphasis on hands-on tutorials serving as a quick-start for a newcomer to the field. We present supervised machine learning with convolutional neural networks to learn a phase transition, unsupervised learning with restricted Boltzmann machines to perform quantum tomography, and variational Monte Carlo with recurrent neural-networks for approximating the ground state of a many-body Hamiltonian. We briefly review the key ingredients of each algorithm and their corresponding neural-network implementation, and show numerical experiments for a system of interacting Rydberg atoms in two dimensions.

categories: quant-ph cond-mat.dis-nn cond-mat.quant-gas cond-mat.str-el


title: Invariant Gibbs measure and global strong solutions for the Hartree NLS equation in dimension three

abstract: In this paper we consider the defocusing Hartree nonlinear Schr\"odinger equations on $\mathbb T^3$ with real valued and even potential $V$ and Fourier multiplier decaying like $|k|^{-\beta}$. By relying on the method of random averaging operators in arXiv:1910.08492, we show that there exists $\frac{1}{2} \ll \beta_0 <1 $ such that for $ \beta > \beta_0 $ we have invariance of the associated Gibbs measure and global existence of strong solutions in its statistical ensemble. In this way we extend Bourgain's seminal result [7] which requires $\beta >2$ in this case.


title: Text2Gestures: A Transformer-Based Network for Generating Emotive Body Gestures for Virtual Agents

abstract: We present Text2Gestures, a transformer-based learning method to interactively generate emotive full-body gestures for virtual agents aligned with natural language text inputs. Our method generates emotionally expressive gestures by utilizing the relevant biomechanical features for body expressions, also known as affective features. We also consider the intended task corresponding to the text and the target virtual agents' intended gender and handedness in our generation pipeline. We train and evaluate our network on the MPI Emotional Body Expressions Database and observe that our network produces state-of-the-art performance in generating gestures for virtual agents aligned with the text for narration or conversation. Our network can generate these gestures at interactive rates on a commodity GPU. We conduct a web-based user study and observe that around 91% of participants indicated our generated gestures to be at least plausible on a five-point Likert Scale. The emotions perceived by the participants from the gestures are also strongly positively correlated with the corresponding intended emotions, with a minimum Pearson coefficient of 0.77 in the valence dimension.


title: Data driven Decision Support on Students Behavior using Fuzzy Based Approach

abstract: Monitoring of students behavior in school needs further consideration in order to lessen the number of casualties in every term. The study designs a data driven decision support on students behavior utilizing Fuzzy Based Approach. The study successfully produces common behavioral problems of the student and able to give interventions for the improvement of students behavior. Student behavioral problems identified were absenteeism, tardiness and poor academic performance.


title: Screen2Vec: Semantic Embedding of GUI Screens and GUI Components

abstract: Representing the semantics of GUI screens and components is crucial to data-driven computational methods for modeling user-GUI interactions and mining GUI designs. Existing GUI semantic representations are limited to encoding either the textual content, the visual design and layout patterns, or the app contexts. Many representation techniques also require significant manual data annotation efforts. This paper presents Screen2Vec, a new self-supervised technique for generating representations in embedding vectors of GUI screens and components that encode all of the above GUI features without requiring manual annotation using the context of user interaction traces. Screen2Vec is inspired by the word embedding method Word2Vec, but uses a new two-layer pipeline informed by the structure of GUIs and interaction traces and incorporates screen- and app-specific metadata. Through several sample downstream tasks, we demonstrate Screen2Vec's key useful properties: representing between-screen similarity through nearest neighbors, composability, and capability to represent user tasks.


title: Four Ways to Scale Up: Smart, Dumb, Forced, and Fumbled

abstract: Scale-up is the process of growing a venture in size. The paper identifies modularity and speed as keys to successful scale-up. On that basis four types of scale-up are identified: Smart, dumb, forced, and fumbled. Smart scale-up combines modularity and speed. Dumb scale-up is bespoke and slow, and very common. The paper presents examples of each type of scale-up, explaining why they were successful or not. Whether you are a small startup or Elon Musk trying to grow Tesla and SpaceX or Jeff Bezos scaling up Amazon - or you are the US, UK, Chinese, or other government trying to increase power production, expand your infrastructure, or make your health, education, and social services work better - modularity and speed are the answer to effective delivery, or so the paper argues. How well you deal with modularity and speed decides whether your efforts succeed or fail. Most ventures, existing or planned, are neither fully smart nor fully dumb, but have elements of both. Successful organizations work to tip the balance towards smart by (a) introducing elements of smart scale-up into existing ventures and (b) starting new, fully smart-scaled ventures, to make themselves less dumb and ever smarter.


title: A Taylor Based Sampling Scheme for Machine Learning in Computational Physics

abstract: Machine Learning (ML) is increasingly used to construct surrogate models for physical simulations. We take advantage of the ability to generate data using numerical simulations programs to train ML models better and achieve accuracy gain with no performance cost. We elaborate a new data sampling scheme based on Taylor approximation to reduce the error of a Deep Neural Network (DNN) when learning the solution of an ordinary differential equations (ODE) system.


title: Groupoid approach to the dynamical system of commutative von Neumann Algebras

abstract: The automorphism group $Aut(X,\mu)$ of a compact, complete metric space $X$ with a Radon measure $\mu$ is a subgroup of $\mathcal{U}(L^2(X,\mu))$-the unitary group of operators on $L^2(X,\mu)$. The $Aut(X,\mu)$-action on the generalized space $\mathcal{M}(X)$ is a proper action. Hence, there exists a slice at each point of the generalized space $\mathcal{M}(X)$. Measure Groupoid (virtual group) is subsequently employed to analyze the resulting dynamical system as that of the ergodic action of the commutative algebra (a lattice) $C(X)$ on the generalized space $\mathcal{M}(X)$ which is represented on a commutative von Neumann algebra.


title: Central moments multiple relaxation time LBM for hemodynamic simulations in intracranial aneurysms: An in-vitro validation study using PIV and PC-MRI

abstract: The lattice Boltzmann method (LBM) has recently emerged as an efficient alternative to classical Navier-Stokes solvers. This is particularly true for hemodynamics in complex geometries. However, in its most basic formulation, {i.e.} with the so-called single relaxation time (SRT) collision operator, it has been observed to have a limited stability domain in the Courant/Fourier space, strongly constraining the minimum time-step and grid size. The development of improved collision models such as the multiple relaxation time (MRT) operator in central moments space has tremendously widened the stability domain, while allowing to overcome a number of other well-documented artifacts, therefore opening the door for simulations over a wider range of grid and time-step sizes. The present work focuses on implementing and validating a specific collision operator, the central Hermite moments multiple relaxation time model with the full expansion of the equilibrium distribution function, to simulate blood flows in intracranial aneurysms. The study further proceeds with a validation of the numerical model through different test-cases and against experimental measurements obtained via stereoscopic particle image velocimetry (PIV) and phase-contrast magnetic resonance imaging (PC-MRI). For a patient-specific aneurysm both PIV and PC-MRI agree fairly well with the simulation. Finally, low-resolution simulations were shown to be able to capture blood flow information with sufficient accuracy, as demonstrated through both qualitative and quantitative analysis of the flow field {while leading to strongly reduced computation times. For instance in the case of the patient-specific configuration, increasing the grid-size by a factor of two led to a reduction of computation time by a factor of 14 with very good similarity indices still ranging from 0.83 to 0.88.}


title: New Riemannian preconditioned algorithms for tensor completion via polyadic decomposition

abstract: We propose new Riemannian preconditioned algorithms for low-rank tensor completion via the polyadic decomposition of a tensor. These algorithms exploit a non-Euclidean metric on the product space of the factor matrices of the low-rank tensor in the polyadic decomposition form. This new metric is designed using an approximation of the diagonal blocks of the Hessian of the tensor completion cost function, thus has a preconditioning effect on these algorithms. We prove that the proposed Riemannian gradient descent algorithm globally converges to a stationary point of the tensor completion problem, with convergence rate estimates using the $\L{}$ojasiewicz property. Numerical results on synthetic and real-world data suggest that the proposed algorithms are more efficient in memory and time compared to state-of-the-art algorithms. Moreover, the proposed algorithms display a greater tolerance for overestimated rank parameters in terms of the tensor recovery performance, thus enable a flexible choice of the rank parameter.


title: First Align, then Predict: Understanding the Cross-Lingual Ability of Multilingual BERT

abstract: Multilingual pretrained language models have demonstrated remarkable zero-shot cross-lingual transfer capabilities. Such transfer emerges by fine-tuning on a task of interest in one language and evaluating on a distinct language, not seen during the fine-tuning. Despite promising results, we still lack a proper understanding of the source of this transfer. Using a novel layer ablation technique and analyses of the model's internal representations, we show that multilingual BERT, a popular multilingual language model, can be viewed as the stacking of two sub-networks: a multilingual encoder followed by a task-specific language-agnostic predictor. While the encoder is crucial for cross-lingual transfer and remains mostly unchanged during fine-tuning, the task predictor has little importance on the transfer and can be reinitialized during fine-tuning. We present extensive experiments with three distinct tasks, seventeen typologically diverse languages and multiple domains to support our hypothesis.


title: Autonomous Off-road Navigation over Extreme Terrains with Perceptually-challenging Conditions

abstract: We propose a framework for resilient autonomous navigation in perceptually challenging unknown environments with mobility-stressing elements such as uneven surfaces with rocks and boulders, steep slopes, negative obstacles like cliffs and holes, and narrow passages. Environments are GPS-denied and perceptually-degraded with variable lighting from dark to lit and obscurants (dust, fog, smoke). Lack of prior maps and degraded communication eliminates the possibility of prior or off-board computation or operator intervention. This necessitates real-time on-board computation using noisy sensor data. To address these challenges, we propose a resilient architecture that exploits redundancy and heterogeneity in sensing modalities. Further resilience is achieved by triggering recovery behaviors upon failure. We propose a fast settling algorithm to generate robust multi-fidelity traversability estimates in real-time. The proposed approach was deployed on multiple physical systems including skid-steer and tracked robots, a high-speed RC car and legged robots, as a part of Team CoSTAR's effort to the DARPA Subterranean Challenge, where the team won 2nd and 1st place in the Tunnel and Urban Circuits, respectively.


title: Automatic Comic Generation with Stylistic Multi-page Layouts and Emotion-driven Text Balloon Generation

abstract: In this paper, we propose a fully automatic system for generating comic books from videos without any human intervention. Given an input video along with its subtitles, our approach first extracts informative keyframes by analyzing the subtitles, and stylizes keyframes into comic-style images. Then, we propose a novel automatic multi-page layout framework, which can allocate the images across multiple pages and synthesize visually interesting layouts based on the rich semantics of the images (e.g., importance and inter-image relation). Finally, as opposed to using the same type of balloon as in previous works, we propose an emotion-aware balloon generation method to create different types of word balloons by analyzing the emotion of subtitles and audios. Our method is able to vary balloon shapes and word sizes in balloons in response to different emotions, leading to more enriched reading experience. Once the balloons are generated, they are placed adjacent to their corresponding speakers via speaker detection. Our results show that our method, without requiring any user inputs, can generate high-quality comic pages with visually rich layouts and balloons. Our user studies also demonstrate that users prefer our generated results over those by state-of-the-art comic generation systems.


title: Cross-Lingual Named Entity Recognition Using Parallel Corpus: A New Approach Using XLM-RoBERTa Alignment

abstract: We propose a novel approach for cross-lingual Named Entity Recognition (NER) zero-shot transfer using parallel corpora. We built an entity alignment model on top of XLM-RoBERTa to project the entities detected on the English part of the parallel data to the target language sentences, whose accuracy surpasses all previous unsupervised models. With the alignment model we can get pseudo-labeled NER data set in the target language to train task-specific model. Unlike using translation methods, this approach benefits from natural fluency and nuances in target-language original corpus. We also propose a modified loss function similar to focal loss but assigns weights in the opposite direction to further improve the model training on noisy pseudo-labeled data set. We evaluated this proposed approach over 4 target languages on benchmark data sets and got competitive F1 scores compared to most recent SOTA models. We also gave extra discussions about the impact of parallel corpus size and domain on the final transfer performance.


title: Steady State Modeling for Variable Frequency AC Power Flow

abstract: Advantages of operating portions of a power system at frequencies different from the standard 50 or 60 Hz have been demonstrated in the low frequency AC (LFAC) and high voltage DC (HVDC) literature. Branches constrained by stability or thermal limits can benefit from increased capacity and flexibility. Since advances in power electronics enable the choice of an operating frequency, tools are needed to make this choice. In order to quantify the advantages as functions of frequency, this paper provides models for steady state calculations with frequency as a variable and validates the modeling assumptions. It then introduces an analytical quantification of the power flow capacity of a transmission branch as a function of frequency, demonstrating different active constraints across the range of frequency. The modeling and power flow calculations are demonstrated for a practical transmission line using manufacturer data. The models presented here provide a foundation for system level studies with variable frequency using optimal power flow.


title: Recent progress on rigity properties of higher rank diagonalizable actions and applications

abstract: The rigidity propeties of higher rank diagonalizable actions is a major theme in homogenous dynamics, with origins in work of Cassels and Swinnerton-Dyer in the 1950s and Furstenberg. We survey both results and conjectures regarding such actions, with emphasize on the applications of these results towards understanding the distribution of integer points on varieties, quantum unique ergodicity, and Diophantine approximations.


title: Operads for complex system design specification, analysis and synthesis

abstract: As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at various levels of granularity so that the system is maintainable and adaptable over its life cycle. In this paper, we argue that operads provide an effective knowledge representation to address these challenges. Formal documentation of a syntactically correct design is built up during design synthesis, guided by semantic reasoning about design effectiveness. Throughout, the ability to decompose the system into parts and reconstitute the whole is maintained. We describe recent progress in effective modeling under this paradigm and directions for future work to systematically address scalability challenges for complex system design.


title: Exact and Approximate Heterogeneous Bayesian Decentralized Data Fusion

abstract: In Bayesian peer-to-peer decentralized data fusion, the underlying distributions held locally by autonomous agents are frequently assumed to be over the same set of variables (homogeneous). This requires each agent to process and communicate the full global joint distribution, and thus leads to high computation and communication costs irrespective of relevancy to specific local objectives. This work formulates and studies heterogeneous decentralized fusion problems, defined as the set of problems in which either the communicated or the processed distributions describe different, but overlapping, random states of interest that are subsets of a larger full global joint state. We exploit the conditional independence structure of such problems and provide a rigorous derivation of novel exact and approximate conditionally factorized heterogeneous fusion rules. We further develop a new version of the homogeneous Channel Filter algorithm to enable conservative heterogeneous fusion for smoothing and filtering scenarios in dynamic problems. Numerical examples show more than $99.5\%$ potential communication reduction for heterogeneous channel filter fusion, and a multi-target tracking simulation shows that these methods provide consistent estimates while remaining computationally scalable.


title: Streaming Erasure Codes over Multi-Access Relayed Networks

abstract: Many emerging multimedia streaming applications involve multiple users communicating under strict latency constraints. In this paper we study streaming codes for a network involving two source nodes, one relay node and a destination node. In our setting, each source node transmits a stream of messages, through the relay, to a destination, who is required to decode the messages under a strict delay constraint. For the case of a single source node, a class of streaming codes has been proposed by Fong et al. [2], using the concept of {\em delay-spectrum}. In the present work we present an in-depth analysis of the properties of delay-spectrum and apply them to develop streaming codes for our proposed setting through a novel framework. Our first scheme involves greedily selecting the rate on the link from relay to destination and using properties of the delay-spectrum to find feasible streaming codes that satisfy the required delay constraints. We provide a closed form expression for the achievable rate region and identify conditions when the proposed scheme is optimal by establishing a natural outer bound. Our second scheme builds upon this approach, but uses a numerical optimization-based approach to improve the achievable rate region over the first scheme. We demonstrate that our proposed schemes achieve significant improvements over baseline schemes based on single-user codes.


title: Can Offline Testing of Deep Neural Networks Replace Their Online Testing?

abstract: We distinguish two general modes of testing for Deep Neural Networks (DNNs): Offline testing where DNNs are tested as individual units based on test datasets obtained without involving the DNNs under test, and online testing where DNNs are embedded into a specific application environment and tested in a closed-loop mode in interaction with the application environment. Typically, DNNs are subjected to both types of testing during their development life cycle where offline testing is applied immediately after DNN training and online testing follows after offline testing and once a DNN is deployed within a specific application environment. In this paper, we study the relationship between offline and online testing. Our goal is to determine how offline testing and online testing differ or complement one another and if offline testing results can be used to help reduce the cost of online testing? Though these questions are generally relevant to all autonomous systems, we study them in the context of automated driving systems where, as study subjects, we use DNNs automating end-to-end controls of steering functions of self-driving vehicles. Our results show that offline testing is less effective than online testing as many safety violations identified by online testing could not be identified by offline testing, while large prediction errors generated by offline testing always led to severe safety violations detectable by online testing. Further, we cannot exploit offline testing results to reduce the cost of online testing in practice since we are not able to identify specific situations where offline testing could be as accurate as online testing in identifying safety requirement violations.


title: Probing axion-like particles with $\gamma \gamma$ final states from vector boson fusion processes at the LHC

abstract: We perform a feasibility study to search for axion-like particles (ALPs) using vector boson fusion (VBF) processes at the LHC. We work in an effective field theory framework with cutoff scale $\Lambda$ and ALP mass $m_{a}$, and assume that ALPs couple to photons with strength $\propto 1/\Lambda$. Assuming proton-proton collisions at $\sqrt{s} = 13$ TeV, we present the total VBF ALP production cross sections, ALP decay widths and lifetimes, and relevant kinematic distributions as a function of $m_{a}$ and $\Lambda$. We consider the $a\to\gamma\gamma$ decay mode to show that the requirement of an energetic diphoton pair combined with two forward jets with large dijet mass and pseudorapidity separation can significantly reduce the Standard Model backgrounds, leading to a $5\sigma$ discovery reach for $10 \text{ MeV} \lesssim m_{a} \lesssim 1$ TeV with $\Lambda \lesssim 2$ TeV, assuming an integrated luminosity of 3000 fb$^{-1}$. In particular, this extends the LHC sensitivity to a previously unstudied region of the ALP parameter space.


title: Rigidity properties for commuting automorphisms on tori and solenoids

abstract: Assuming positive entropy we prove a measure rigidity theorem for higher rank actions on tori and solenoids by commuting automorphisms. We also apply this result to obtain a complete classification of disjointness and measurable factors for these actions.


title: Holomorphic representation of minimal surfaces in simply isotropic space

abstract: It is known that minimal surfaces in Euclidean space can be represented in terms of holomorphic functions. For example, we have the well-known Weierstrass representation, where part of the holomorphic data is chosen to be the stereographic projection of the normal of the corresponding surface, and also the Bj\"orling representation, where it is prescribed a curve on the surface and the unit normal on this curve. In this work, we are interested in the holomorphic representation of minimal surfaces in simply isotropic space, a three-dimensional space equipped with a rank 2 metric of index zero. Since the isotropic metric is degenerate, a surface normal cannot be unequivocally defined based on metric properties only, which leads to distinct definitions of an isotropic normal. As a consequence, this may also lead to distinct forms of a Weierstrass and of a Bj\"orling representation. Here, we show how to represent simply isotropic minimal surfaces in accordance with the choice of an isotropic surface normal.


title: Named Entity Recognition in the Style of Object Detection

abstract: In this work, we propose a two-stage method for named entity recognition (NER), especially for nested NER. We borrowed the idea from the two-stage Object Detection in computer vision and the way how they construct the loss function. First, a region proposal network generates region candidates and then a second-stage model discriminates and classifies the entity and makes the final prediction. We also designed a special loss function for the second-stage training that predicts the entityness and entity type at the same time. The model is built on top of pretrained BERT encoders, and we tried both BERT base and BERT large models. For experiments, we first applied it to flat NER tasks such as CoNLL2003 and OntoNotes 5.0 and got comparable results with traditional NER models using sequence labeling methodology. We then tested the model on the nested named entity recognition task ACE2005 and Genia, and got F1 score of 85.6$\%$ and 76.8$\%$ respectively. In terms of the second-stage training, we found that adding extra randomly selected regions plays an important role in improving the precision. We also did error profiling to better evaluate the performance of the model in different circumstances for potential improvements in the future.


title: A Coding Theory Perspective on Multiplexed Molecular Profiling of Biological Tissues

abstract: High-throughput and quantitative experimental technologies are experiencing rapid advances in the biological sciences. One important recent technique is multiplexed fluorescence in situ hybridization (mFISH), which enables the identification and localization of large numbers of individual strands of RNA within single cells. Core to that technology is a coding problem: with each RNA sequence of interest being a codeword, how to design a codebook of probes, and how to decode the resulting noisy measurements? Published work has relied on assumptions of uniformly distributed codewords and binary symmetric channels for decoding and to a lesser degree for code construction. Here we establish that both of these assumptions are inappropriate in the context of mFISH experiments and substantial decoding performance gains can be obtained by using more appropriate, less classical, assumptions. We propose a more appropriate asymmetric channel model that can be readily parameterized from data and use it to develop a maximum a posteriori (MAP) decoders. We show that false discovery rate for rare RNAs, which is the key experimental metric, is vastly improved with MAP decoders even when employed with the existing sub-optimal codebook. Using an evolutionary optimization methodology, we further show that by permuting the codebook to better align with the prior, which is an experimentally straightforward procedure, significant further improvements are possible.


title: Generalized Fibonacci numbers, cosmological analogies, and an invariant

abstract: Continuous generalizations of the Fibonacci sequence satisfy ODEs that are formal analogues of the Friedmann equation describing spatially homogeneous and isotropic cosmology in general relativity. These analogies are presented, together with their Lagrangian and Hamiltonian formulations and with an invariant of the Fibonacci sequence.


title: Strongly non-linear superconducting silicon resonators

abstract: Superconducting boron doped silicon is a promising material for integrated silicon quantum devices. In particular, its low electronic density and moderate disorder make it a suitable candidate for the fabrication of large inductances with low losses at microwave frequencies. Here, we study experimentally the electrodynamics of superconducting silicon thin layers patterned in coplanar waveguide resonators, targeting three key properties: kinetic inductance, internal losses, and the variation of these quantities with the read-out power. We report the first observation in a doped semiconductor of microwave resonances with internal quality factors of a few thousand. As expected in the BCS framework, superconducting silicon presents a large sheet kinetic inductance, in the 50-500 pH range comparable to strongly disordered superconductors, whose temperature dependence is well described by Mattis-Bardeen theory. We find, though, an unexpectedly strong non-linearity of the complex surface impedance which cannot be explained either as a non-linearity induced by depairing or as quasiparticle heating.


title: Self-stabilizing Algorithm for Maximal Distance-2 Independent Set

abstract: In graph theory, an independent set is a subset of nodes where there are no two adjacent nodes. The independent set is maximal if no node outside the independent set can join it. In network applications, maximal independent sets can be used as cluster heads in ad hoc and wireless sensor networks. In order to deal with any failure in networks, self-stabilizing algorithms have been proposed in the literature to calculate the maximal independent set under different hypotheses. In this paper, we propose a self-stabilizing algorithm to compute a maximal independent set where nodes of the independent set are far from each other at least with distance 3. We prove the correctness and the convergence of the proposed algorithm. Simulation tests show the ability of our algorithm to find a reduced number of nodes in large scale networks which allows strong control of networks


title: Towards low loss non-volatile phase change materials in mid index waveguides

abstract: Photonic integrated circuits currently use platform intrinsic thermo-optic and electro-optic effects to implement dynamic functions such as switching, modulation and other processing. Currently, there is a drive to implement field programmable photonic circuits, a need which is only magnified by new neuromorphic and quantum computing applications. The most promising non-volatile photonic components employ phase change materials such as GST and GSST, which had their origin in electronic memory. However, in the optical domain, these compounds introduce significant losses potentially preventing a large number of applications. Here, we evaluate the use of two newly introduced low loss phase change materials, Sb2S3 and Sb2Se3, on a silicon nitride photonic platform. We focus the study on Mach-Zehnder interferometers that operate at the O and C bands to demonstrate the performance of the system. Our measurements show an insertion loss below 0.04 dB/um for Sb2S3 and lower than 0.09 dB/um for Sb2Se3 cladded devices for both amorphous and crystalline phases. The effective refractive index contrast for Sb2S3 on SiNx was measured to be 0.05 at 1310 nm and 0.02 at 1550 nm, whereas for Sb2Se3, it was 0.03 at 1310 nm and 0.05 at 1550 nm highlighting the performance of the integrated device.


title: Invariant Forms in Hybrid and Impact Systems and a Taming of Zeno

abstract: Hybrid (and impact) systems are dynamical systems experiencing both continuous and discrete transitions. In this work, we derive necessary and sufficient conditions for when a given differential form is invariant, with special attention paid to the case of the existence of invariant volumes. Particular attention is given to impact systems where the continuous dynamics are Lagrangian and subject to nonholonomic constraints. A celebrated result for volume-preserving dynamical systems is Poincar\'e recurrence. In order to be recurrent, trajectories need to exist for long periods of time, which can be controlled in continuous-time systems through e.g. compactness. For hybrid systems, an additional mechanism can occur which breaks long-time existence: Zeno (infinitely many discrete transitions in a finite amount of time). We demonstrate that the existence of a smooth invariant volume severely inhibits Zeno behavior; hybrid systems with the "boundary identity property" along with an invariant volume-form have almost no Zeno trajectories (although Zeno trajectories can still exist). This leads to the result that many billiards (e.g. the classical point, the rolling disk, and the rolling ball) are recurrent independent on the shape of the compact table-top.


title: Relating Black Hole Shadow to Quasinormal Modes for Rotating Black Holes

abstract: In this work, we explore the connection between the critical curves ("shadows") and the quasinormal mode frequencies (in the eikonal limit) of Kerr black holes. This mapping has been previously established for non-rotating black holes. We show that, the shadow seen by an distant observer at a given inclination angle, can be mapped to a family of quasinormal modes with $m/(\ell+1/2)$ bounded within certain range, where $m$ is is azimuthal node number and $\ell$ is the angular node number. We discuss the possibility of testing such relation with space-borne gravitational wave detectors and the next-generation Event Horizon Telescope.


title: Constraints on Planets in Nearby Young Moving Groups Detectable by High-Contrast Imaging and Gaia Astrometry

abstract: The formation of giant planets is best studied through direct imaging by observing planets both during and after formation. Giant planets are expected to form either by core accretion, which is typically associated with low initial entropy (cold-start models) or by gravitational instability, which corresponds to a high initial entropy of the gas (hot-start models). Thus, constraining the initial entropy provides insight into the planet formation mechanism and determines the resultant brightness evolution. We find that, by observing planets in nearby moving groups of known age both through direct imaging and astrometry with Gaia, it will be possible to constrain the initial entropy of giant planets. We simulate a set of planetary systems in stars in nearby moving groups identified by BANYAN $\Sigma$ and assume a model for planet distribution consistent with radial velocity detections. We find that Gaia should be able to detect approximately 50% of planets in nearby moving groups greater than ~0.3 M$_\text{J}$. Using 5$\sigma$ contrast limits of current and future instruments, we calculate the flux uncertainty, and using models for the evolution of the planet brightness, we convert this to an initial entropy uncertainty. We find that, for future instruments such as MICADO and METIS on E-ELT and VIKiNG with VLTI, the entropy uncertainty is less than 0.5 $k_{B}$/baryon, showing that these instruments should be able to distinguish between hot and cold-start models.


title: CLiMP: A Benchmark for Chinese Language Model Evaluation

abstract: Linguistically informed analyses of language models (LMs) contribute to the understanding and improvement of these models. Here, we introduce the corpus of Chinese linguistic minimal pairs (CLiMP), which can be used to investigate what knowledge Chinese LMs acquire. CLiMP consists of sets of 1,000 minimal pairs (MPs) for 16 syntactic contrasts in Mandarin, covering 9 major Mandarin linguistic phenomena. The MPs are semi-automatically generated, and human agreement with the labels in CLiMP is 95.8%. We evaluated 11 different LMs on CLiMP, covering n-grams, LSTMs, and Chinese BERT. We find that classifier-noun agreement and verb complement selection are the phenomena that models generally perform best at. However, models struggle the most with the ba construction, binding, and filler-gap dependencies. Overall, Chinese BERT achieves an 81.8% average accuracy, while the performances of LSTMs and 5-grams are only moderately above chance level.


title: Quantum Generative Adversarial Networks in a Continuous-Variable Architecture to Simulate High Energy Physics Detectors

abstract: Deep Neural Networks (DNNs) come into the limelight in High Energy Physics (HEP) in order to manipulate the increasing amount of data encountered in the next generation of accelerators. Recently, the HEP community has suggested Generative Adversarial Networks (GANs) to replace traditional time-consuming Geant4 simulations based on the Monte Carlo method. In parallel with advances in deep learning, intriguing studies have been conducted in the last decade on quantum computing, including the Quantum GAN model suggested by IBM. However, this model is limited in learning a probability distribution over discrete variables, while we initially aim to reproduce a distribution over continuous variables in HEP. We introduce and analyze a new prototype of quantum GAN (qGAN) employed in continuous-variable (CV) quantum computing, which encodes quantum information in a continuous physical observable. Two CV qGAN models with a quantum and a classical discriminator have been tested to reproduce calorimeter outputs in a reduced size, and their advantages and limitations are discussed.


title: Route Choice-based Socio-Technical Macroscopic Traffic Model

abstract: Human route choice is undeniably one of the key contributing factors towards traffic dynamics. However, most existing macroscopic traffic models are typically concerned with driving behavior and do not incorporate human route choice behavior models in their formulation. In this paper, we propose a socio-technical macroscopic traffic model that characterizes the traffic states using human route choice attributes. Essentially, such model provides a framework for capturing the Cyber-Physical-Social coupling in smart transportation systems. To derive this model, we first use Cumulative Prospect Theory (CPT) to model the human passengers' route choice under bounded rationality. These choices are assumed to be influenced by traffic alerts and other incomplete traffic information. Next, we assume that the vehicles are operating under a non-cooperative cruise control scenario. Accordingly, human route choice segregates the traffic into multiple classes where each class corresponds to a specific route between an origin-destination pair. Thereafter, we derive a Mean Field Game (MFG) limit of this non-cooperative game to obtain a macroscopic model which embeds the human route choice attribute. Finally, we analyze the mathematical characteristics of the proposed model and present simulation studies to illustrate the model behavior.


title: Open-domain Topic Identification of Out-of-domain Utterances using Wikipedia

abstract: Users of spoken dialogue systems (SDS) expect high quality interactions across a wide range of diverse topics. However, the implementation of SDS capable of responding to every conceivable user utterance in an informative way is a challenging problem. Multi-domain SDS must necessarily identify and deal with out-of-domain (OOD) utterances to generate appropriate responses as users do not always know in advance what domains the SDS can handle. To address this problem, we extend the current state-of-the-art in multi-domain SDS by estimating the topic of OOD utterances using external knowledge representation from Wikipedia. Experimental results on real human-to-human dialogues showed that our approach does not degrade domain prediction performance when compared to the base model. But more significantly, our joint training achieves more accurate predictions of the nearest Wikipedia article by up to about 30% when compared to the benchmarks.


title: Boosting Segmentation Performance across datasets using histogram specification with application to pelvic bone segmentation

abstract: Accurate segmentation of the pelvic CTs is crucial for the clinical diagnosis of pelvic bone diseases and for planning patient-specific hip surgeries. With the emergence and advancements of deep learning for digital healthcare, several methodologies have been proposed for such segmentation tasks. But in a low data scenario, the lack of abundant data needed to train a Deep Neural Network is a significant bottle-neck. In this work, we propose a methodology based on modulation of image tonal distributions and deep learning to boost the performance of networks trained on limited data. The strategy involves pre-processing of test data through histogram specification. This simple yet effective approach can be viewed as a style transfer methodology. The segmentation task uses a U-Net configuration with an EfficientNet-B0 backbone, optimized using an augmented BCE-IoU loss function. This configuration is validated on a total of 284 images taken from two publicly available CT datasets, TCIA (a cancer imaging archive) and the Visible Human Project. The average performance measures for the Dice coefficient and Intersection over Union are 95.7% and 91.9%, respectively, give strong evidence for the effectiveness of the approach, which is highly competitive with state-of-the-art methodologies.


title: Real-time oblivious erasure correction with linear time decoding and constant feedback

abstract: We continue the study of rateless codes for transmission of information across channels whose rate of erasure is unknown. In such a code, an infinite stream of encoding symbols can be generated from the message and sent across the erasure channel, and the decoder can decode the message after it has successfully collected a certain number of encoding symbols. A rateless erasure code is real-time oblivious if rather than collecting encoding symbols as they are received, the receiver either immediately decodes or discards each symbol it receives. Efficient real-time oblivious erasure correction uses a feedback channel in order to maximize the probability that a received encoding symbol is decoded rather than discarded. We construct codes which are real-time oblivious, but require fewer feedback messages and have faster decoding compared to previous work. Specifically, for a message of length $k'$, we improve the expected complexity of the feedback channel from $O(\sqrt{k'})$ to $O(1)$, and the expected decoding complexity from $O(k'\log(k'))$ to $O(k')$. Our method involves using an appropriate block erasure code to first encode the $k'$ message symbols, and then using a truncated version of the real-time oblivious erasure correction of Beimel et al (2007) to transmit the encoded message to the receiver, which then uses the decoding algorithm for the outer code to recover the message.


title: The Breakthrough Listen Search for Intelligent Life: Searching for Technosignatures in Observations of TESS Targets of Interest

abstract: Exoplanetary systems are prime targets for the Search for Extraterrestrial Intelligence (SETI). With the recent uptick in the identification of candidate and confirmed exoplanets through the work of missions like the Transiting Exoplanet Survey Satellite (TESS), we are beginning to understand that Earth-like planets are common. In this work, we extend the Breakthrough Listen (BL) search for extraterrestrial intelligence to include targeted searches of stars identified by TESS as potential exoplanet hosts. We report on 113 30-min cadence observations collected for 28 targets selected from the TESS Input Catalog (TIC) from among those identified as containing signatures of transiting planets. The targets were searched for narrowband signals from 1-11 GHz using the turboSETI pipeline architecture modified for compatibility with the Google Cloud environment. Data were searched for drift rates of +/-4 Hz/s above a minimum signal-to-noise threshold of 10, following the parameters of previous searches conducted by Price et al. (2020) and Enriquez et al. (2017). The observations presented in this work establish some of the deepest limits to date over such a wide band (1-11 GHz) for life beyond Earth. We determine that fewer than 12.72% of the observed targets possess transmitters operating at these frequencies with an Equivalent Isotropic Radiated Power (EIRP) greater than our derived threshold of 4.9*10^(14) W.


title: Determining the optimal piecewise constant approximation for the Nonhomogeneous Poisson Process rate of Emergency Department patient arrivals

abstract: Modeling the arrival process to an Emergency Department (ED) is the first step of all studies dealing with the patient flow within the ED. Many of them focus on the increasing phenomenon of ED overcrowding, which is afflicting hospitals all over the world. Since Discrete Event Simulation models are often adopted with the aim to assess solutions for reducing the impact of this problem, proper nonstationary processes are taken into account to reproduce time-dependent arrivals. Accordingly, an accurate estimation of the unknown arrival rate is required to guarantee the reliability of the results. In this work, an integer nonlinear black-box optimization problem is solved to determine the best piecewise constant approximation of the time-varying arrival rate function, by finding the optimal partition of the 24 hours into a suitable number of non equally spaced intervals. The black-box constraints of the optimization problem make the feasible solutions satisfy proper statistical hypotheses; these ensure the validity of the nonhomogeneous Poisson assumption about the arrival process, commonly adopted in the literature, and prevent mixing overdispersed data for model estimation. The cost function includes a fit error term for the solution accuracy and a penalty term to select an adequate degree of regularity of the optimal solution. To show the effectiveness of this methodology, real data from one of the largest Italian hospital EDs are used.


title: A Strengthened Cutset Upper Bound on the Capacity of the Relay Channel and Applications

abstract: We develop a new upper bound on the capacity of the relay channel that is tighter than previously known upper bounds. This upper bound is proved using traditional weak converse techniques involving mutual information inequalities and Gallager-type explicit identification of auxiliary random variables. We show that the new upper bound is strictly tighter than all previous bounds for the Gaussian relay channel with non-zero channel gains. When specialized to the relay channel with orthogonal receiver components, the bound resolves a conjecture by Kim on a class of deterministic relay channels. When further specialized to the class of product-form relay channels with orthogonal receiver components, the bound resolves a generalized version of Cover's relay channel problem, recovers the recent upper bound for the Gaussian case by Wu et al., and improves upon the recent bounds for the binary symmetric case by Wu et al. and Barnes et al., which were obtained using non-traditional geometric proof techniques. For the special class of a relay channel with orthogonal receiver components, we develop another upper bound on the capacity which utilizes an auxiliary receiver and show that it is strictly tighter than the bound by Tandon and Ulukus. Finally, we show through the Gaussian relay channel with i.i.d. relay output sequence that the bound with the auxiliary receiver can be strictly tighter than our main bound.


title: Newton's Method for M-Tensor Equations

abstract: We are concerned with the tensor equations whose coefficient tensor is an M-tensor. We first propose a Newton method for solving the equation with a positive constant term and establish its global and quadratic convergence. Then we extend the method to solve the equation with a nonnegative constant term and establish its convergence. At last, we do numerical experiments to test the proposed methods. The results show that the proposed method is quite efficient.


title: Inverse optimal control for angle stabilization in converters-based generation

abstract: In inverse optimal control, the optimality of a given feedback stabilizing controller is a byproduct of the choice of a meaningful, a posteriori defined, cost functional. This allows for a simple tuning comparable to linear quadratic control, also for nonlinear controllers. Our work illustrates the usefulness of this approach in the control of converter-based power systems and networked systems in general, and thereby in finding controllers with topological structure and known optimality properties. In particular, we design an inverse optimal feedback controller that stabilizes the phase angles of voltage-source controlled DC/AC converters at an induced steady state with zero frequency error. The distributed angular droop controller yields active power to angle droop behavior at steady state. Moreover, we suggest a practical implementation of the controller and corroborate our results through simulations on a three-converter system and a numerical comparison with standard frequency droop control.


title: Fate of a bulge in an inflated hyperleastic tube: theory and experiment

abstract: Mechanical instability in a pre-tensioned finite hyperelastic tube subjected to a slowly increasing internal pressure produces a spatially localized bulge at a critical pressure. The subsequent fate of the bulge, under continued inflation, is critically governed by the end-conditions, and the initial tension in the tube. In a tube with one end fixed and a dead weight attached to the other freely moving end, the bulge propagates axially at low initial tension, growing in length and the tube relaxes by extension. Rupture occurs when the tension is high. In contrast, the bulge formed in a tube, initially stretched and held fixed at both its ends can buckle or rupture, depending on the amount of initial tension. Experiments on inflated latex rubber tubes are presented for different initial tensions and boundary conditions. Failure maps in the stretch parameter space and in stretch-tension space are constructed, by extending the theories for bulge formation and buckling analyses to the experimentally relevant boundary conditions. The fate of the bulge according to the failure maps deduced from the theory is verified; the underlying assumptions are critically assessed. It is concluded that buckling provides an alternate route to relieve the stress built up during inflation. Hence buckling, when it occurs, is a protective fail safe mechanism against the rupture of a bulge in an inflated elastic tube.


title: Human Inference in Changing Environments With Temporal Structure

abstract: To make informed decisions in natural environments that change over time, humans must update their beliefs as new observations are gathered. Studies exploring human inference as a dynamical process that unfolds in time have focused on situations in which the statistics of observations are history-independent. Yet temporal structure is everywhere in nature, and yields history-dependent observations. Do humans modify their inference processes depending on the latent temporal statistics of their observations? We investigate this question experimentally and theoretically using a change-point inference task. We show that humans adapt their inference process to fine aspects of the temporal structure in the statistics of stimuli. As such, humans behave qualitatively in a Bayesian fashion, but, quantitatively, deviate away from optimality. Perhaps more importantly, humans behave suboptimally in that their responses are not deterministic, but variable. We show that this variability itself is modulated by the temporal statistics of stimuli. To elucidate the cognitive algorithm that yields this behavior, we investigate a broad array of existing and new models that characterize different sources of suboptimal deviations away from Bayesian inference. While models with 'output noise' that corrupts the response-selection process are natural candidates, human behavior is best described by sampling-based inference models, in which the main ingredient is a compressed approximation of the posterior, represented through a modest set of random samples and updated over time. This result comes to complement a growing literature on sample-based representation and learning in humans.


title: Accuracy and Privacy Evaluations of Collaborative Data Analysis

abstract: Distributed data analysis without revealing the individual data has recently attracted significant attention in several applications. A collaborative data analysis through sharing dimensionality reduced representations of data has been proposed as a non-model sharing-type federated learning. This paper analyzes the accuracy and privacy evaluations of this novel framework. In the accuracy analysis, we provided sufficient conditions for the equivalence of the collaborative data analysis and the centralized analysis with dimensionality reduction. In the privacy analysis, we proved that collaborative users' private datasets are protected with a double privacy layer against insider and external attacking scenarios.


title: Local saddle structure in relaxed averaged alternating reflections Algorithms on phase retrieval

abstract: Phase retrieval can be expressed as one non-convex constrained optimization problem to identify one phase minimizer in the primal space. Many iterative transform techniques have been proposed to identify the minimizer, e.g., relaxed averaged alternating reflections(RAAR) algorithms. RAAR algorithm is one alternating direction method of multipliers(ADMM) with one penalty parameter. Pairing with multipliers (dual vectors), phase vectors are lifted to higher dimensional vectors, RAAR algorithms actually is one continuation algorithm, which searches for local Nash equilibria in a primal-dual space. The dual iteration approximates one gradient ascent flow, which drives the corresponding local minimizers in a positive-definite Hessian region. The penalty parameter, which is the reciprocal of the RAAR parameter, plays a role of altering the size of the attractor basin for each stationary point. Under proper penalty parameters, the RAAR avoids the stagnation of these corresponding local minimizers in the primal space and thus screens out many stationary points corresponding to non-local minimizers.


title: Inexact gradient projection method with relative error tolerance

abstract: A gradient projection method with feasible inexact projections is proposed in the present paper. The inexact projection is performed using a relative error tolerance. Asymptotic convergence analysis and iteration-complexity bounds of the method employing constant and Armijo step sizes are presented. Numerical results are reported illustrating the potential advantages of considering inexact projections instead of exact ones in some medium scale instances of a least squares problem over the spectrohedron.


title: Cloud based VANET Simulator (CVANETSIM)

abstract: Vehicular ad hoc network (VANET) is an integral part of vehicular communication. VANET suffers many problems such as scalability. To solve scalability and other problems of VANET, clustering is proposed. VANET clustering is different than any other kind of clustering due to the high mobility of the vehicles. Likewise, VANET and VANET clustering, VANET simulator requires some unique features such as internet based real-time data processing, huge data analysis, the complex calculation to maintain hierarchy among the vehicles, etc.; however, neither web based VANET simulator nor clustering module available in the existing simulators. Therefore, a simulator that will be able to simulate any feature of VANET equipped with a clustering module and accessible via the internet is a growing need in vehicular communication research. At the Telecom and Network Research Lab (TNRL), University of Oklahoma, we have developed a fully functional discrete-event VANET simulator that includes all the features of VANET clustering. Moreover, the cloud based VANET simulator (CVANETSIM) is coming with an easy and interactive web interface. To our best of our knowledge, CVANETSIM is the first of its kind which integrates features of the VANET simulator, built-in VANET clustering module, and accessible through the internet.


title: Functional Observers with Linear Error Dynamics for Nonlinear Systems

abstract: In this work, the problem of designing observers for estimating a single nonlinear functional of the state is formulated for general nonlinear systems. Notions of functional observer linearization are also formulated, in terms achieving exactly linear error dynamics in transformed coordinates and with prescribed rate of decay of the error. Necessary and sufficient conditions for the existence of a lower-order functional observer with linear dynamics are derived. The results provide a direct generalization of Luenberger's linear theory of functional observers to nonlinear systems.


title: In-IDE Code Generation from Natural Language: Promise and Challenges

abstract: A great part of software development involves conceptualizing or communicating the underlying procedures and logic that needs to be expressed in programs. One major difficulty of programming is turning concept into code, especially when dealing with the APIs of unfamiliar libraries. Recently, there has been a proliferation of machine learning methods for code generation and retrieval from natural language queries, but these have primarily been evaluated purely based on retrieval accuracy or overlap of generated code with developer-written code, and the actual effect of these methods on the developer workflow is surprisingly unattested. We perform the first comprehensive investigation of the promise and challenges of using such technology inside the IDE, asking "at the current state of technology does it improve developer productivity or accuracy, how does it affect the developer experience, and what are the remaining gaps and challenges?" We first develop a plugin for the IDE that implements a hybrid of code generation and code retrieval functionality, and orchestrate virtual environments to enable collection of many user events. We ask developers with various backgrounds to complete 14 Python programming tasks ranging from basic file manipulation to machine learning or data visualization, with or without the help of the plugin. While qualitative surveys of developer experience are largely positive, quantitative results with regards to increased productivity, code quality, or program correctness are inconclusive. Analysis identifies several pain points that could improve the effectiveness of future machine learning based code generation/retrieval developer assistants, and demonstrates when developers prefer code generation over code retrieval and vice versa. We release all data and software to pave the road for future empirical studies and development of better models.


title: Global rigidity for ultra-differentiable quasiperiodic cocycles and its spectral applications

abstract: For quasiperiodic Schr\"odinger operators with one-frequency analytic potentials, from dynamical systems side, it has been proved that the corresponding quasiperiodic Schr\"odinger cocycle is either rotations reducible or has positive Lyapunov exponent for all irrational frequency and almost every energy. From spectral theory side, the "Schr\"odinger conjecture" and the "Last's intersection spectrum conjecture" have been verified. The proofs of above results crucially depend on the analyticity of the potentials. People are curious about if the analyticity is essential for those problems, see open problems by Fayad-Krikorian and Jitomirskaya-Mar. In this paper, we prove the above mentioned results for ultra-differentiable potentials.


title: On Graded 2-Absorbing Coprimary Submodules

abstract: The aim of this article is to introduce the concept of graded $2$-absorbing coprimary submodules as a generalization of graded strongly $2$-absorbing second submodules, and explore some properties of this class. A non-zero graded $R$-submodule $N$ of a graded $R$-module $M$ is called a graded $2$-absorbing coprimary $R$-submodule if whenever $x, y$ are homogeneous elements of $R$ and $K$ is a graded $R$-submodule of $M$ such that $xyN\subseteq K$, then either $x$ or $y$ is in the graded radical of $(K :_{R} N)$ or $xy\in Ann_{R}(N)$. Several results have been achieved.


title: Optimal Oracles for Point-to-Set Principles

abstract: The point-to-set principle \cite{LutLut17} characterizes the Hausdorff dimension of a subset $E\subseteq\R^n$ by the \textit{effective} (or algorithmic) dimension of its individual points. This characterization has been used to prove several results in classical, i.e., without any computability requirements, analysis. Recent work has shown that algorithmic techniques can be fruitfully applied to Marstrand's projection theorem, a fundamental result in fractal geometry. In this paper, we introduce an extension of point-to-set principle - the notion of \textit{optimal oracles} for subsets $E\subseteq\R^n$. One of the primary motivations of this definition is that, if $E$ has optimal oracles, then the conclusion of Marstrand's projection theorem holds for $E$. We show that every analytic set has optimal oracles. We also prove that if the Hausdorff and packing dimensions of $E$ agree, then $E$ has optimal oracles. Moreover, we show that the existence of sufficiently nice outer measures on $E$ implies the existence of optimal Hausdorff oracles. In particular, the existence of exact gauge functions for a set $E$ is sufficient for the existence of optimal Hausdorff oracles, and is therefore sufficient for Marstrand's theorem. Thus, the existence of optimal oracles extends the currently known sufficient conditions for Marstrand's theorem to hold. Under certain assumptions, every set has optimal oracles. However, assuming the axiom of choice and the continuum hypothesis, we construct sets which do not have optimal oracles. This construction naturally leads to a generalization of Davies theorem on projections.


title: Constraining gravitational wave amplitude birefringence and Chern-Simons gravity with GWTC-2

abstract: We perform a new test of general relativity (GR) with signals from GWTC-2, the LIGO and Virgo catalog of gravitational wave detections. We search for the presence of amplitude birefringence, in which left versus right circularly polarized modes of gravitational waves are exponentially enhanced and suppressed during propagation. Such an effect is present in various beyond-GR theories but is absent in GR. We constrain the amount of amplitude birefringence consistent with the data through an opacity parameter $\kappa$, which we bound to be $\kappa \lesssim 0.74 \textrm{ Gpc}^{-1}$. We then use these theory-agnostic results to constrain Chern-Simons gravity, a beyond-GR theory with motivations in quantum gravity. We bound the canonical Chern-Simons lengthscale to be $\ell_0 \lesssim 1.0 \times 10^3$ km, improving on previous long-distance measurement results by a factor of two.


title: On $\mathbb{Z}_2$-Thurston norms and pseudo-horizontal surfaces in orientable Seifert $3$-manifolds

abstract: We describe a general method to compute the $\mathbb{Z}_2$-Thurston norm for every $\mathbb{Z}_2$-homology class in an orientable Seifert manifold with orientable orbit surface. Our main tools are pseudo-horizontal surfaces. We give a necessary and sufficient criterion for the existence of pseudo-horizontal surfaces, calculate the non-orientable genera for such surfaces, and detect their $\mathbb{Z}_2$-homology classes. We then describe an algorithm to calculate the $\mathbb{Z}_2$-Thurston norm of each $\mathbb{Z}_2$-homology classes. We also present several interesting examples.


title: Exploring multi-task multi-lingual learning of transformer models for hate speech and offensive speech identification in social media

abstract: Hate Speech has become a major content moderation issue for online social media platforms. Given the volume and velocity of online content production, it is impossible to manually moderate hate speech related content on any platform. In this paper we utilize a multi-task and multi-lingual approach based on recently proposed Transformer Neural Networks to solve three sub-tasks for hate speech. These sub-tasks were part of the 2019 shared task on hate speech and offensive content (HASOC) identification in Indo-European languages. We expand on our submission to that competition by utilizing multi-task models which are trained using three approaches, a) multi-task learning with separate task heads, b) back-translation, and c) multi-lingual training. Finally, we investigate the performance of various models and identify instances where the Transformer based models perform differently and better. We show that it is possible to to utilize different combined approaches to obtain models that can generalize easily on different languages and tasks, while trading off slight accuracy (in some cases) for a much reduced inference time compute cost. We open source an updated version of our HASOC 2019 code with the new improvements at https://github.com/socialmediaie/MTML_HateSpeech.


title: Fundamental limits and algorithms for sparse linear regression with sublinear sparsity

abstract: We establish exact asymptotic expressions for the normalized mutual information and minimum mean-square-error (MMSE) of sparse linear regression in the sub-linear sparsity regime. Our result is achieved by a generalization of the adaptive interpolation method in Bayesian inference for linear regimes to sub-linear ones. A modification of the well-known approximate message passing algorithm to approach the MMSE fundamental limit is also proposed, and its state evolution is rigorously analyzed. Our results show that the traditional linear assumption between the signal dimension and number of observations in the replica and adaptive interpolation methods is not necessary for sparse signals. They also show how to modify the existing well-known AMP algorithms for linear regimes to sub-linear ones.


title: Wolstenholme and Vandiver primes

abstract: A prime $p$ is a Wolstenholme prime if $\binom{2p}{p}\equiv2$ mod $p^4$, or, equivalently, if $p$ divides the numerator of the Bernoulli number $B_{p-3}$; a Vandiver prime $p$ is one that divides the Euler number $E_{p-3}$. Only two Wolstenholme primes and eight Vandiver primes are known. We increase the search range in the first case by a factor of $10$, and show that no additional Wolstenholme primes exist up to $10^{11}$, and in the second case by a factor of $20$, proving that no additional Vandiver primes occur up to this same bound. To facilitate this, we develop a number of new congruences for Bernoulli and Euler numbers mod $p$ that are favorable for computation, and we implement some highly parallel searches using GPUs.


title: Maximizing performance of quantum cascade laser-pumped molecular lasers

abstract: Quantum cascade laser (QCL)-pumped molecular lasers (QPMLs) have recently been introduced as a new source of powerful (>1 mW), tunable (>1 THz), narrow-band (<10 kHz), continuous-wave terahertz radiation. The performance of these lasers depends critically on molecular collision physics, pump saturation, and on the design of the laser cavity. Using a validated three-level model that captures the essential collision and saturation behaviors of the QPML gas nitrous oxide (N2O),we explore how threshold pump power and output terahertz power depend on pump power, gas pressure, as well as on the diameter, length, and output-coupler transmissivity of a cylindrical cavity.The analysis indicates that maximum power occurs as pump saturation is minimized in a manner that depends much more sensitively on pressure than on cell diameter, length, or transmissivity. A near-optimal compact laser cavity can produce more than 10 mW of power tunable over frequencies above 1 THz when pumped by a multi-watt QCL.


title: An Early Stopping Bayesian Data Assimilation Approach for Mixed-Logit Estimation

abstract: The mixed-logit model is a flexible tool in transportation choice analysis, which provides valuable insights into inter and intra-individual behavioural heterogeneity. However, applications of mixed-logit models are limited by the high computational and data requirements for model estimation. When estimating on small samples, the Bayesian estimation approach becomes vulnerable to over and under-fitting. This is problematic for investigating the behaviour of specific population sub-groups or market segments with low data availability. Similar challenges arise when transferring an existing model to a new location or time period, e.g., when estimating post-pandemic travel behaviour. We propose an Early Stopping Bayesian Data Assimilation (ESBDA) simulator for estimation of mixed-logit which combines a Bayesian statistical approach with Machine Learning methodologies. The aim is to improve the transferability of mixed-logit models and to enable the estimation of robust choice models with low data availability. This approach can provide new insights into choice behaviour where the traditional estimation of mixed-logit models was not possible due to low data availability, and open up new opportunities for investment and planning decisions support. The ESBDA estimator is benchmarked against the Direct Application approach, a basic Bayesian simulator with random starting parameter values and a Bayesian Data Assimilation (BDA) simulator without early stopping. The ESBDA approach is found to effectively overcome under and over-fitting and non-convergence issues in simulation. Its resulting models clearly outperform those of the reference simulators in predictive accuracy. Furthermore, models estimated with ESBDA tend to be more robust, with significant parameters with signs and values consistent with behavioural theory, even when estimated on small samples.


title: QCD effects in lepton angular distributions of Drell-Yan/$Z$ production and jet discrimination

abstract: We present a comparison of data of lepton angular distributions of Drell-Yan/$Z$ production with the fixed-order pQCD calculations by which the baseline of pQCD effects is illustrated. As for the $Z$ production, we predict that $A_0$ and $A_2$ for $Z$ plus single gluon-jet events are very different from that of $Z$ plus single quark-jet events, allowing a new experimental tool for checking various algorithms which attempt to discriminate quark jets from gluon jets. Using an intuitive geometric approach, we show that the violation of the Lam-Tung relation, appearing at large transverse-momentum region, is attributed to the presence of a non-coplanarity effect. This interpretation is consistent with the appearance of violation beyond LO-QCD effect.


title: Electric-field-tunable intervalley excitons and phonon replicas in bilayer WSe$_2$

abstract: We report the direct observation of intervalley exciton between the Q conduction valley and $\Gamma$ valence valley in bilayer WSe$_2$ by photoluminescence. The Q$\Gamma$ exciton lies at ~18 meV below the QK exciton and dominates the luminescence of bilayer WSe$_2$. By measuring the exciton spectra at gate-tunable electric field, we reveal different interlayer electric dipole moments and Stark shifts between Q$\Gamma$ and QK excitons. Notably, we can use the electric field to switch the energy order and dominant luminescence between Q$\Gamma$ and QK excitons. Both Q$\Gamma$ and QK excitons exhibit pronounced phonon replicas, in which two-phonon replicas outshine the one-phonon replicas due to the existence of (nearly) resonant exciton-phonon scatterings and numerous two-phonon scattering paths. We can simulate the replica spectra by comprehensive theoretical modeling and calculations. The good agreement between theory and experiment for the Stark shifts and phonon replicas strongly supports our assignment of Q$\Gamma$ and QK excitons.