title: Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics

abstract: Given a stochastic dynamical system modelled via stochastic differential equations (SDEs), we evaluate the safety of the system through characterizations of its exit time moments. We lift the (possibly nonlinear) dynamics into the space of the occupation and exit measures to obtain a set of linear evolution equations which depend on the infinitesimal generator of the SDE. Coupled with appropriate semidefinite positive matrix constraints, this yields a moment-based approach for the computation of exit time moments of SDEs with polynomial drift and diffusion dynamics. However, the existing moment approach suffers from drawbacks which impede its applicability to the analysis of higher dimensional physical systems. To apply the existing approach, the dynamics of the systems are limited to polynomials of the state - excluding a large majority of real world examples. Computational scalability is also poor as the dimensionality of the state increases, largely due to the combinatorial growth of the optimization program. In this paper, we propose changes to the existing moment method to make feasible the safety analysis of higher dimensional physical systems. The restriction to polynomial dynamics is lifted by using a state augmentation method which allows one to generate the evolution equations for a broader class of nonlinear stochastic systems. We then reformulate the constraints of the optimization to mitigate the computational limitations associated with an increase in state dimensionality. We employ our methodology on two example processes to characterize their safety via expected exit times and demonstrate the ability to handle multi-dimensional physical systems that were previously unsupported by the existing SDP method of moments.


title: The Atari Data Scraper

abstract: Reinforcement learning has made great strides in recent years due to the success of methods using deep neural networks. However, such neural networks act as a black box, obscuring the inner workings. While reinforcement learning has the potential to solve unique problems, a lack of trust and understanding of reinforcement learning algorithms could prevent their widespread adoption. Here, we present a library that attaches a "data scraper" to deep reinforcement learning agents, acting as an observer, and then show how the data collected by the Atari Data Scraper can be used to understand and interpret deep reinforcement learning agents. The code for the Atari Data Scraper can be found here: https://github.com/IRLL/Atari-Data-Scraper


title: Optimal design versus maximal Monge-Kantorovich metrics

abstract: A remarkable connection between optimal design and Monge transport was initiated in the years 1997 in the context of the minimal elastic compliance problem and where the euclidean metric cost was naturally involved. In this paper we present different variants in optimal design of mechanical structures, in particular focusing on the optimal pre-stressed elastic membrane problem. We show that the underlying metric cost is associated with an unknown maximal monotone map which maximizes the Monge-Kantorovich distance between two measures. In parallel with the classical duality theory leading to existence and (in a smooth case) to PDE optimality conditions, we present a general geometrical approach arising from a two-point scheme in which geodesics with respect to the optimal metric play a central role. These two aspects are enlightened by several explicit examples and also by numerical solutions in which optimal structures very often turn out to be truss-like i.e supported by piecewise affine geodesics. In case of a discrete load, we are able to relate the existence of such truss-like solutions to an extension property of maximal monotone maps which is of independent interest and that we propose here as a conjecture.


title: FourPhonon: An extension module to ShengBTE for computing four-phonon scattering rates and thermal conductivity

abstract: FourPhonon is a computational package that can calculate four-phonon scattering rates in crystals. It is built within ShengBTE framework, which is a well-recognized lattice thermal conductivity solver based on Boltzmann transport equation. An adaptive energy broadening scheme is implemented for the calculation of four-phonon scattering rates. In analogy with $thirdorder.py$ in ShengBTE, we also provide a separate python script, $Fourthorder.py$, to calculate fourth-order interatomic force-constants. The extension module preserves all the nice features of the well-recognized lattice thermal conductivity solver ShengBTE, including good parallelism and straightforward workflow. In this paper, we discuss the general theory, program design, and example calculations on Si, BAs and $\mathrm{LiCoO_2}$.


title: A Toolbox for Construction and Analysis of Speech Datasets

abstract: Automatic Speech Recognition and Text-to-Speech systems are primarily trained in a supervised fashion and require high-quality, accurately labeled speech datasets. In this work, we examine common problems with speech data and introduce a toolbox for the construction and interactive error analysis of speech datasets. The construction tool is based on K\"urzinger et al. work, and, to the best of our knowledge, the dataset exploration tool is the world's first open-source tool of this kind. We demonstrate how to apply these tools to create a Russian speech dataset and analyze existing speech datasets (Multilingual LibriSpeech, Mozilla Common Voice). The tools are open sourced as a part of the NeMo framework.


title: Defect capturing and charging dynamics and their effects on magneto-transport of electrons in quantum wells

abstract: The defect corrections to polarization and dielectric functions of Bloch electrons in quantum wells are first calculated. Following this, we derive the first two moment equations from Boltzmann transport theory and apply them to explore defect effects on magneto-transport of Bloch electrons. Meanwhile, we obtain analytically the momentum-relaxation time and mobility tensor for Bloch electrons making use of the screened defect-corrected polarization function. Based on quantum-statistical theory, we further investigate the defect capture and charging dynamics by employing a parameterized physics model for defects to obtain defect wave functions. After this, both capture and relaxation rates, as well as density for captured Bloch electrons, are calculated self-consistently as functions of temperature, doping density and different defect types. By applying the energy-balance equation, the number of occupied energy levels and chemical potential of defects are determined, with which the transition rate for defect capturing is obtained. By using these results, defect energy-relaxation, capture and escape rates, and Bloch-electron chemical potential are obtained self-consistently. At the same time, the Bloch-electron energy- and momentum-relaxation rates, as well as the current suppression factor, are also investigated quantitatively. Finally, by combining all these studies together, the temperature dependence of the Hall and longitudinal mobilities is demonstrated for Bloch electrons in either single- or multi-quantum wells, which can be utilized for quantifying burst noise in transistors and blinking noise in photo-detectors.


title: Number of Hamiltonian cycles in planar triangulations

abstract: Whitney proved in 1931 that 4-connected planar triangulations are Hamiltonian. Hakimi, Schmeichel, and Thomassen conjectured in 1979 that if $G$ is a 4-connected planar triangulation with $n$ vertices then $G$ contains at least $2(n-2)(n-4)$ Hamiltonian cycles, with equality if and only if $G$ is a double wheel. On the other hand, a recent result of Alahmadi, Aldred, and Thomassen states that there are exponentially many Hamiltonian cycles in 5-connected planar triangulations. In this paper, we consider 4-connected planar $n$-vertex triangulations $G$ that do not have too many separating 4-cycles or have minimum degree 5. We show that if $G$ has $O(n/{\log}_2 n)$ separating 4-cycles then $G$ has $\Omega(n^2)$ Hamiltonian cycles, and if $\delta(G)\ge 5$ then $G$ has $2^{\Omega(n^{1/4})}$ Hamiltonian cycles. Both results improve previous work. Moreover, the proofs involve a "double wheel" structure, providing further evidence to the above conjecture.


title: Location-Sensitive Visual Recognition with Cross-IOU Loss

abstract: Object detection, instance segmentation, and pose estimation are popular visual recognition tasks which require localizing the object by internal or boundary landmarks. This paper summarizes these tasks as location-sensitive visual recognition and proposes a unified solution named location-sensitive network (LSNet). Based on a deep neural network as the backbone, LSNet predicts an anchor point and a set of landmarks which together define the shape of the target object. The key to optimizing the LSNet lies in the ability of fitting various scales, for which we design a novel loss function named cross-IOU loss that computes the cross-IOU of each anchor point-landmark pair to approximate the global IOU between the prediction and ground-truth. The flexibly located and accurately predicted landmarks also enable LSNet to incorporate richer contextual information for visual recognition. Evaluated on the MS-COCO dataset, LSNet set the new state-of-the-art accuracy for anchor-free object detection (a 53.5% box AP) and instance segmentation (a 40.2% mask AP), and shows promising performance in detecting multi-scale human poses. Code is available at https://github.com/Duankaiwen/LSNet


title: RAN Slicing in Multi-MVNO Environment under Dynamic Channel Conditions

abstract: With the increasing diversity in the requirement of wireless services with guaranteed quality of service(QoS), radio access network(RAN) slicing becomes an important aspect in implementation of next generation wireless systems(5G). RAN slicing involves division of network resources into many logical segments where each segment has specific QoS and can serve users of mobile virtual network operator(MVNO) with these requirements. This allows the Network Operator(NO) to provide service to multiple MVNOs each with different service requirements. Efficient allocation of the available resources to slices becomes vital in determining number of users and therefore, number of MVNOs that a NO can support. In this work, we study the problem of Modulation and Coding Scheme(MCS) aware RAN slicing(MaRS) in the context of a wireless system having MVNOs which have users with minimum data rate requirement. Channel Quality Indicator(CQI) report sent from each user in the network determines the MCS selected, which in turn determines the achievable data rate. But the channel conditions might not remain the same for the entire duration of user being served. For this reason, we consider the channel conditions to be dynamic where the choice of MCS level varies at each time instant. We model the MaRS problem as a Non-Linear Programming problem and show that it is NP-Hard. Next, we propose a solution based on greedy algorithm paradigm. We then develop an upper performance bound for this problem and finally evaluate the performance of proposed solution by comparing against the upper bound under various channel and network configurations.


title: Global Convergence of Policy Gradient Primal-dual Methods for Risk-constrained LQRs

abstract: While the techniques in optimal control theory are often model-based, the policy optimization (PO) approach directly optimizes the performance metric of interest. Even though it has been an essential approach for reinforcement learning problems, there is little theoretical understanding on its performance. In this paper, we focus on the risk-constrained linear quadratic regulator (RC-LQR) problem via the PO approach, which requires addressing a challenging non-convex constrained optimization problem. To solve it, we first build on our earlier result that an optimal policy has a time-invariant affine structure to show that the associated Lagrangian function is coercive, locally gradient dominated and has local Lipschitz continuous gradient, based on which we establish strong duality. Then, we design policy gradient primal-dual methods with global convergence guarantees in both model-based and sample-based settings. Finally, we use samples of system trajectories in simulations to validate our methods.


title: Sublinear Time Nearest Neighbor Search over Generalized Weighted Manhattan Distance

abstract: Nearest Neighbor Search (NNS) over generalized weighted distances is fundamental to a wide range of applications. The problem of NNS over the generalized weighted square Euclidean distance has been studied in previous work. However, numerous studies have shown that the Manhattan distance could be more effective than the Euclidean distance for high-dimensional NNS, which indicates that the generalized weighted Manhattan distance is possibly more practical than the generalized weighted square Euclidean distance in high dimensions. To the best of our knowledge, no prior work solves the problem of NNS over the generalized weighted Manhattan distance in sublinear time. This paper achieves the goal by proposing two novel hashing schemes ($d_w^{l_1},l_2$)-ALSH and ($d_w^{l_1},\theta$)-ALSH.


title: BiP-Net: Bidirectional Perspective Strategy based Arbitrary-Shaped Text Detection Network

abstract: Detecting irregular-shaped text instances is the main challenge for text detection. Existing approaches can be roughly divided into top-down and bottom-up perspective methods. The former encodes text contours into unified units, which always fails to fit highly curved text contours. The latter represents text instances by a number of local units, where the complicated network and post-processing lead to slow detection speed. In this paper, to detect arbitrary-shaped text instances with high detection accuracy and speed simultaneously, we propose a \textbf{Bi}directional \textbf{P}erspective strategy based \textbf{Net}work (BiP-Net). Specifically, a new text representation strategy is proposed to represent text contours from a top-down perspective, which can fit highly curved text contours effectively. Moreover, a contour connecting (CC) algorithm is proposed to avoid the information loss of text contours by rebuilding interval contours from a bottom-up perspective. The experimental results on MSRA-TD500, CTW1500, and ICDAR2015 datasets demonstrate the superiority of BiP-Net against several state-of-the-art methods.


title: A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities

abstract: With the development of the Internet of Things, millions of sensors are being deployed in cities to collect real-time data. This leads to a need for checking city states against city requirements at runtime. In this paper, we develop a novel spatial-temporal specification-based monitoring system for smart cities. We first describe a study of over 1,000 smart city requirements, some of which cannot be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We develop two new logical operators in SaSTL to augment STL for expressing spatial aggregation and spatial counting characteristics that are commonly found in real city requirements. We define Boolean and \newcontent{quantitative semantics}~for SaSTL in support of the analysis of city performance across different periods and locations. We also develop efficient monitoring algorithms that can check a SaSTL requirement in parallel over multiple data streams (e.g., generated by multiple sensors distributed spatially in a city). Additionally, we build a SaSTL-based monitoring tool to support decision making of different stakeholders to specify and runtime monitor their requirements in smart cities. We evaluate our SaSTL monitor by applying it to three case studies with large-scale real city sensing data (e.g., up to 10,000 sensors in one study). The results show that SaSTL has a much higher coverage expressiveness than other spatial-temporal logic, and with a significant reduction of computation time for monitoring requirements. We also demonstrate that the SaSTL monitor improves the safety and performance of smart cities via simulated experiments.


title: $L^2$-Dolbeault resolution of the lowest Hodge piece of a Hodge module

abstract: In this paper, we introduce a coherent subsheaf of Saito's $S$-sheaf, which is a combination of the $S$-sheaf and the multiplier ideal sheaf. We construct its $L^2$-Dolbeault resolution, which generalizes MacPherson's conjecture on the $L^2$ resolution of the Grauert-Riemenschneider sheaf. We also prove various vanishing theorems for the $S$-sheaf (Saito's vanishing theorem, Kawamata-Viehweg vanishing theorem and some new ones like Nadel vanishing theorem) transcendentally. Finally, we discuss some applications of our results on the relative version of Fujita's conjecture (e.g. Kawamata's conjecture).


title: Auto-weighted Multi-view Feature Selection with Graph Optimization

abstract: In this paper, we focus on the unsupervised multi-view feature selection which tries to handle high dimensional data in the field of multi-view learning. Although some graph-based methods have achieved satisfactory performance, they ignore the underlying data structure across different views. Besides, their pre-defined laplacian graphs are sensitive to the noises in the original data space, and fail to get the optimal neighbor assignment. To address the above problems, we propose a novel unsupervised multi-view feature selection model based on graph learning, and the contributions are threefold: (1) during the feature selection procedure, the consensus similarity graph shared by different views is learned. Therefore, the proposed model can reveal the data relationship from the feature subset. (2) a reasonable rank constraint is added to optimize the similarity matrix to obtain more accurate information; (3) an auto-weighted framework is presented to assign view weights adaptively, and an effective alternative iterative algorithm is proposed to optimize the problem. Experiments on various datasets demonstrate the superiority of the proposed method compared with the state-of-the-art methods.


title: Disentangled Contrastive Learning for Learning Robust Textual Representations

abstract: Although the self-supervised pre-training of transformer models has resulted in the revolutionizing of natural language processing (NLP) applications and the achievement of state-of-the-art results with regard to various benchmarks, this process is still vulnerable to small and imperceptible permutations originating from legitimate inputs. Intuitively, the representations should be similar in the feature space with subtle input permutations, while large variations occur with different meanings. This motivates us to investigate the learning of robust textual representation in a contrastive manner. However, it is non-trivial to obtain opposing semantic instances for textual samples. In this study, we propose a disentangled contrastive learning method that separately optimizes the uniformity and alignment of representations without negative sampling. Specifically, we introduce the concept of momentum representation consistency to align features and leverage power normalization while conforming the uniformity. Our experimental results for the NLP benchmarks demonstrate that our approach can obtain better results compared with the baselines, as well as achieve promising improvements with invariance tests and adversarial attacks. The code is available in https://github.com/zxlzr/DCL.


title: Graph Streaming Lower Bounds for Parameter Estimation and Property Testing via a Streaming XOR Lemma

abstract: We study space-pass tradeoffs in graph streaming algorithms for parameter estimation and property testing problems such as estimating the size of maximum matchings and maximum cuts, weight of minimum spanning trees, or testing if a graph is connected or cycle-free versus being far from these properties. We develop a new lower bound technique that proves that for many problems of interest, including all the above, obtaining a $(1+\epsilon)$-approximation requires either $n^{\Omega(1)}$ space or $\Omega(1/\epsilon)$ passes, even on highly restricted families of graphs such as bounded-degree planar graphs. For multiple of these problems, this bound matches those of existing algorithms and is thus (asymptotically) optimal. Our results considerably strengthen prior lower bounds even for arbitrary graphs: starting from the influential work of [Verbin, Yu; SODA 2011], there has been a plethora of lower bounds for single-pass algorithms for these problems; however, the only multi-pass lower bounds proven very recently in [Assadi, Kol, Saxena, Yu; FOCS 2020] rules out sublinear-space algorithms with exponentially smaller $o(\log{(1/\epsilon)})$ passes for these problems. One key ingredient of our proofs is a simple streaming XOR Lemma, a generic hardness amplification result, that we prove: informally speaking, if a $p$-pass $s$-space streaming algorithm can only solve a decision problem with advantage $\delta > 0$ over random guessing, then it cannot solve XOR of $\ell$ independent copies of the problem with advantage much better than $\delta^{\ell}$. This result can be of independent interest and useful for other streaming lower bounds as well.


title: Edge: Enriching Knowledge Graph Embeddings with External Text

abstract: Knowledge graphs suffer from sparsity which degrades the quality of representations generated by various methods. While there is an abundance of textual information throughout the web and many existing knowledge bases, aligning information across these diverse data sources remains a challenge in the literature. Previous work has partially addressed this issue by enriching knowledge graph entities based on "hard" co-occurrence of words present in the entities of the knowledge graphs and external text, while we achieve "soft" augmentation by proposing a knowledge graph enrichment and embedding framework named Edge. Given an original knowledge graph, we first generate a rich but noisy augmented graph using external texts in semantic and structural level. To distill the relevant knowledge and suppress the introduced noise, we design a graph alignment term in a shared embedding space between the original graph and augmented graph. To enhance the embedding learning on the augmented graph, we further regularize the locality relationship of target entity based on negative sampling. Experimental results on four benchmark datasets demonstrate the robustness and effectiveness of Edge in link prediction and node classification.


title: Semi-$G$-normal: a Hybrid between Normal and $G$-normal (Full Version)

abstract: The $G$-expectation framework is a generalization of the classical probabilistic system motivated by Knightian uncertainty, where the $G$-normal plays a central role. However, from a statistical perspective, $G$-normal distributions look quite different from the classical normal ones. For instance, its uncertainty is characterized by a set of distributions which covers not only classical normal with different variances, but additional distributions typically having non-zero skewness. The $G$-moments of $G$-normals are defined by a class of fully nonlinear PDEs called $G$-heat equations. To understand $G$-normal in a probabilistic and stochastic way that is more friendly to statisticians and practitioners, we introduce a substructure called semi-$G$-normal, which behaves like a hybrid between normal and $G$-normal: it has variance uncertainty but zero-skewness. We will show that the non-zero skewness arises when we impose the $G$-version sequential independence on the semi-$G$-normal. More importantly, we provide a series of representations of random vectors with semi-$G$-normal marginals under various types of independence. Each of these representations under a typical order of independence is closely related to a class of state-space volatility models with a common graphical structure. In short, semi-$G$-normal gives a (conceptual) transition from classical normal to $G$-normal, allowing us a better understanding of the distributional uncertainty of $G$-normal and the sequential independence.


title: NOMA for Next-generation Massive IoT: Performance Potential and Technology Directions

abstract: Broader applications of the Internet of Things (IoT) are expected in the forthcoming 6G system, although massive IoT is already a key scenario in 5G, predominantly relying on physical layer solutions inherited from 4G LTE and primarily using orthogonal multiple access (OMA). In 6G IoT, supporting a massive number of connections will be required for diverse services of the vertical sectors, prompting fundamental studies on how to improve the spectral efficiency of the system. One of the key enabling technologies is non-orthogonal multiple access (NOMA). This paper consists of two parts. In the first part, finite block length theory and the diversity order of multi-user systems will be used to show the significant potential of NOMA compared to traditional OMA. The supremacy of NOMA over OMA is particularly pronounced for asynchronous contention-based systems relying on imperfect link adaptation, which are commonly assumed for massive IoT systems. To approach these performance bounds, in the second part of the paper, several promising technology directions are proposed for 6G massive IoT, including linear spreading, joint spreading & modulation, multi-user channel coding in the context of various techniques for practical uncoordinated transmissions, cell-free operations, etc., from the perspective of NOMA.


title: Visualization Improvisation

abstract: Teaching visualization design involve making students familiar and make them work with visualization models, framework and perspectives. Visualization research accommodates a plethora of perspectives emerging from researchers of varied backgrounds. These diverse range of perspectives give rise to multiples models, frameworks and perspectives to teach visualization design. In this paper, we look at an approach to visualization teaching by using improvisational techniques. The basic idea is to design a visualization without using an existing predefined model. Since improvisation, by definition, is not a model or a framework, this work presents a reflection on how improvisation can be a way of teaching visualization design.


title: On the Accuracy of Deterministic Models for Viral Spread on Networks

abstract: We consider the emergent behavior of viral spread when agents in a large population interact with each other over a contact network. When the number of agents is large and the contact network is a complete graph, it is well known that the population behavior -- that is, the fraction of susceptible, infected and recovered agents -- converges to the solution of an ordinary differential equation (ODE) known as the classical SIR model as the population size approaches infinity. In contrast, we study interactions over contact networks with generic topologies and derive conditions under which the population behavior concentrates around either the classic SIR model or other deterministic models. Specifically, we show that when most vertex degrees in the contact network are sufficiently large, the population behavior concentrates around an ODE known as the network SIR model. We then study the short and intermediate-term evolution of the network SIR model and show that if the contact network has an expander-type property or the initial set of infections is well-mixed in the population, the network SIR model reduces to the classical SIR model. To complement these results, we illustrate through simulations that the two models can yield drastically different predictions, hence use of the classical SIR model can be misleading in certain cases.

categories: physics.soc-ph cs.MA cs.SI cs.SY eess.SY math.PR


title: On the locating chromatic number of infinite trees

abstract: The locating chromatic number of a graph is the smallest integer $n$ such that there is a proper $n$-coloring $c$ and every vertex has a unique vector of distances to colors in $c$. We explore the necessary conditions and provide sufficient conditions for an infinite tree to have a finite locating chromatic number. We also give an algorithm for computing the locating coloring of trees that works for both finite and infinite trees.


title: Towards Positive Geometry of Multi Scalar Field Amplitudes : Accordiohedron and Effective Field Theory

abstract: The geometric structure of S-matrix encapsulated by the "Amplituhedron program" has begun to reveal itself even in non-supersymmetric quantum field theories. Starting with the seminal work of Arkani-Hamed, Bai, He and Yan it is now understood that for a wide class of scalar quantum field theories, tree-level amplitudes are canonical forms associated to polytopes known as accordiohedra. Similarly the higher loop scalar integrands are canonical forms associated to so called type-D cluster polytopes for cubic interactions or recently discovered class of polytopes termed pseudo-accordiohedron for higher order scalar interactions. In this paper, we continue to probe the universality of these structures for a wider class of scalar quantum field theories. More in detail, we discover new realisations of the associahedron in planar kinematic space whose canonical forms generate (colour-ordered) tree-level S matrix of external massless particles with $n-4$ massless poles and one massive pole at $m^{2}$. The resulting amplitudes are associated to $\lambda_{1}\, \phi_{1}^{3}\, +\, \lambda_{2}\, \phi_{1}^{2}\phi_{2}$ potential where $\phi_{1}$ and $\phi_{2}$ are massless and massive scalar fields with bi-adjoint colour indices respectively. We also show how in the "decoupling limit" (where $m \rightarrow \infty, \lambda_{2} \rightarrow \infty$ such that $g := \frac{\lambda_{2}}{m} = \textrm{finite}$) these associahedra project onto a specific class of accordiohedron which are known to be positive geometries of amplitudes generated by $\lambda \phi_{1}^{3} + g \phi_{1}^{4}$.


title: Cross-Lingual Word Embedding Refinement by $\ell_{1}$ Norm Optimisation

abstract: Cross-Lingual Word Embeddings (CLWEs) encode words from two or more languages in a shared high-dimensional space in which vectors representing words with similar meaning (regardless of language) are closely located. Existing methods for building high-quality CLWEs learn mappings that minimise the $\ell_{2}$ norm loss function. However, this optimisation objective has been demonstrated to be sensitive to outliers. Based on the more robust Manhattan norm (aka. $\ell_{1}$ norm) goodness-of-fit criterion, this paper proposes a simple post-processing step to improve CLWEs. An advantage of this approach is that it is fully agnostic to the training process of the original CLWEs and can therefore be applied widely. Extensive experiments are performed involving ten diverse languages and embeddings trained on different corpora. Evaluation results based on bilingual lexicon induction and cross-lingual transfer for natural language inference tasks show that the $\ell_{1}$ refinement substantially outperforms four state-of-the-art baselines in both supervised and unsupervised settings. It is therefore recommended that this strategy be adopted as a standard for CLWE methods.


title: Nonlinear parameter-varying state-feedback design for a gyroscope using virtual control contraction metrics

abstract: In this paper, we present a virtual control contraction metric (VCCM) based nonlinear parameter-varying (NPV) approach to design a state-feedback controller for a control moment gyroscope (CMG) to track a user-defined trajectory set. This VCCM based nonlinear stabilization and performance synthesis approach, which is similar to linear parameter-varying (LPV) control approaches, allows to achieve exact guarantees of exponential stability and $\mathcal{L}_2$-gain performance on nonlinear systems with respect to all trajectories from the predetermined set, which is not the case with the conventional LPV methods. Simulation and experimental studies conducted in both fully- and under-actuated operating modes of the CMG show effectiveness of this approach compared to standard LPV control methods.


title: Modelling uncertainty in financial tail risk: a forecast combination and weighted quantile approach

abstract: A novel forecast combination and weighted quantile based tail-risk forecasting framework is proposed, aiming to reduce the impact of modelling uncertainty in tail-risk forecasting. The proposed approach is based on a two-step estimation procedure. The first step involves the combination of Value-at-Risk (VaR) forecasts at a grid of quantile levels. A range of parametric and semi-parametric models is selected as the model universe in the forecast combination procedure. The quantile forecast combination weights are estimated by optimizing the quantile loss. In the second step, the Expected Shortfall (ES) is computed as a weighted average of combined quantiles. The quantiles weighting structure for ES forecasting is determined by minimizing a strictly consistent joint VaR and ES loss function of the Fissler-Ziegel class. The proposed framework is applied to six stock market indices and its forecasting performance is compared to each individual model in the universe, a simple average approach and a weighted quantile approach. The forecasting results support the proposed framework.


title: Isogenous hyperelliptic and non-hyperelliptic Jacobians with maximal complex multiplication

abstract: We analyze complex multiplication for Jacobians of curves of genus 3, as well as the resulting Shimura class groups and their subgroups corresponding to Galois conjugation over the reflex field. We combine our results with numerical methods to find CM fields $K$ for which there exist both hyperelliptic and non-hyperelliptic curves whose Jacobian has complex multiplication by $\mathbb{Z}_K$. More precisely, we find all sextic CM fields $K$ in the LMFDB for which (heuristically) Jacobians of both types with CM by $\mathbb{Z}_K$ exist. There turn out to be 14 such fields among the 547,156 sextic CM fields that the LMFDB contains. We determine invariants of the corresponding curves, and in the simplest case we also give an explicit defining equation.


title: The Solar Cycle Variations of the Anisotropy of Taylor Scale and Correlation Scale in the Solar Wind Turbulence

abstract: The field-aligned anisotropy of the solar wind turbulence, which is quantified by the ratio of the parallel to the perpendicular correlation (and Taylor) length scales, is determined by simultaneous two-point correlation measurements during the time period 2001-2017. Our results show that the correlation scale along the magnetic field is the largest, and the correlation scale in the field-perpendicular directions is the smallest, at both solar maximum and solar minimum. However, the Taylor scale reveals inconsistent results for different stages of the solar cycles. During the years 2001-2004, the Taylor scales are slightly larger in the field-parallel directions, while during the years 2004-2017, the Taylor scales are larger in the field-perpendicular directions. The correlation coefficient between the sunspot number and the anisotropy ratio is employed to describe the effects of solar activity on the anisotropy of solar wind turbulence. The results show that the correlation coefficient regarding the Taylor scale anisotropy (0.65) is larger than that regarding the correlation scale anisotropy (0.43), which indicates that the Taylor scale anisotropy is more sensitive to the solar activity. The Taylor scale and the correlation scale are used to calculate the effective magnetic Reynolds number, which is found to be systematically larger in the field-parallel directions than in the field-perpendicular directions. The correlation coefficient between the sunspot number and the magnetic Reynolds number anisotropy ratio is -0.75. Our results will be meaningful for understanding the solar wind turbulence anisotropy and its long-term variability in the context of solar activity.

categories: physics.space-ph astro-ph.SR physics.data-an physics.flu-dyn physics.plasm-ph


title: Note on spherical quandles

abstract: This paper aims to give a one-to-one correspondence between $SU(2)$-representations of knot groups and colorings of knots with spherical quandles and give a geometric meaning of the "trace-free" condition we need to define Casson-Lin invariant.


title: A Preliminary Model for the Design of Music Visualizations

abstract: Music Visualization is basically the transformation of data from the aural to the visual space. There are a variety of music visualizations, across applications, present on the web. Models of Visualization include conceptual frameworks helpful for designing, understanding and making sense of visualizations. In this paper, we propose a preliminary model for Music Visualization. We build the model by using two conceptual pivots, Visualization Stimulus and Data Property. To demonstrate the utility of the model we deconstruct and design visualizations with toy examples using the model and finally conclude by proposing further applications of and future work on our proposed model.


title: Non-Autoregressive Semantic Parsing for Compositional Task-Oriented Dialog

abstract: Semantic parsing using sequence-to-sequence models allows parsing of deeper representations compared to traditional word tagging based models. In spite of these advantages, widespread adoption of these models for real-time conversational use cases has been stymied by higher compute requirements and thus higher latency. In this work, we propose a non-autoregressive approach to predict semantic parse trees with an efficient seq2seq model architecture. By combining non-autoregressive prediction with convolutional neural networks, we achieve significant latency gains and parameter size reduction compared to traditional RNN models. Our novel architecture achieves up to an 81% reduction in latency on TOP dataset and retains competitive performance to non-pretrained models on three different semantic parsing datasets. Our code is available at https://github.com/facebookresearch/pytext


title: Torsion pairs and recollements of extriangulated categories

abstract: In this article, we prove that if $(\mathcal A ,\mathcal B,\mathcal C)$ is a recollement of extriangulated categories, then torsion pairs in $\mathcal A$ and $\mathcal C$ can induce torsion pairs in $\mathcal B$, and the converse holds under natural assumptions. Besides, we give mild conditions on a cluster tilting subcategory on the middle category of a recollement of extriangulated categories, for the corresponding abelian quotients to form a recollement of abelian categories.


title: MPPI-VS: Sampling-Based Model Predictive Control Strategy for Constrained Image-Based and Position-Based Visual Servoing

abstract: In this paper, we open up new avenues for visual servoing systems built upon the Path Integral (PI) optimal control theory, in which the non-linear partial differential equation (PDE) can be transformed into an expectation over all possible trajectories using the Feynman-Kac (FK) lemma. More precisely, we propose an MPPI-VS control strategy, a real-time and inversion-free control strategy on the basis of sampling-based model predictive control (namely, Model Predictive Path Integral (MPPI) control) algorithm, for both image-based, 3D point, and position-based visual servoing techniques, taking into account the system constraints (such as visibility, 3D, and control constraints) and parametric uncertainties associated with the robot and camera models as well as measurement noise. Contrary to classical visual servoing control schemes, our control strategy directly utilizes the approximation of the interaction matrix, without the need for estimating the interaction matrix inversion or performing the pseudo-inversion. We validate the MPPI-VS control strategy as well as the classical control schemes on a 6-DoF Cartesian robot with an eye-in-hand camera based on the utilization of four points in the image plane as visual features. To better assess and demonstrate the robustness and potential advantages of our proposed control strategy compared to classical schemes, intensive simulations under various operating conditions are carried out and then discussed. The obtained results demonstrate the effectiveness and capability of the proposed scheme in coping easily with the system constraints, as well as its robustness in the presence of large errors in camera parameters and measurements.


title: Deep learning-based Edge-aware pre and post-processing methods for JPEG compressed images

abstract: We propose a learning-based compression scheme that envelopes a standard codec between pre and post-processing deep CNNs. Specifically, we demonstrate improvements over prior approaches utilizing a compression-decompression network by introducing: (a) an edge-aware loss function to prevent blurring that is commonly occurred in prior works & (b) a super-resolution convolutional neural network (CNN) for post-processing along with a corresponding pre-processing network for improved rate-distortion performance in the low rate regime. The algorithm is assessed on a variety of datasets varying from low to high resolution namely Set 5, Set 7, Classic 5, Set 14, Live 1, Kodak, General 100, CLIC 2019. When compared to JPEG, JPEG2000, BPG, and recent CNN approach, the proposed algorithm contributes significant improvement in PSNR with an approximate gain of 20.75%, 8.47%, 3.22%, 3.23% and 24.59%, 14.46%, 10.14%, 8.57% at low and high bit-rates respectively. Similarly, this improvement in MS-SSIM is approximately 71.43%, 50%, 36.36%, 23.08%, 64.70% and 64.47%, 61.29%, 47.06%, 51.52%, 16.28% at low and high bit-rates respectively. With CLIC 2019 dataset, PSNR is found to be superior with approximately 16.67%, 10.53%, 6.78%, and 24.62%, 17.39%, 14.08% at low and high bit-rates respectively, over JPEG2000, BPG, and recent CNN approach. Similarly, the MS-SSIM is found to be superior with approximately 72%, 45.45%, 39.13%, 18.52%, and 71.43%, 50%, 41.18%, 17.07% at low and high bit-rates respectively, compared to the same approaches. A similar type of improvement is achieved with other datasets also.


title: Spontaneous decay of artificial atoms in a multi-qubit system

abstract: We consider a one-dimensional chain of N equidistantly spaced noninteracting qubits embedded in an open waveguide. In the frame of single-excitation subspace, we systematically study the evolution of qubits amplitudes if the only qubit in the chain was initially excited. We show that the temporal dynamics of qubits amplitudes crucially depend on the value of kd, where k is the wave vector, d is a distance between neighbor qubits. If kd is equal to an integer multiple of $\pi$, then the qubits are excited to a stationary level which scales as SN^{-1}S. We show that in this case, it is the dark states which prevent qubits from decaying to zero even though they do not contribute to the output spectrum of photon emission. For other values of kd the excitations of qubits have the form of damping oscillations, which represent the vacuum Rabi oscillations in a multi-qubit system. In this case, the output spectrum of photon radiation is defined by a subradiant state with the smallest width.


title: The Nuclear Region of NGC1365: Star Formation, Negative Feedback, and Outflow Structure

abstract: High-resolution observations of ionized and molecular gas in the nuclear regions of galaxies are indispensable for delineating the interplay of star formation, gaseous inflows, stellar radiation, and feedback processes. Combining our new ALMA band 3 mapping and archival VLT/MUSE data, we present a spatially resolved analysis of molecular and ionized gas in the central 5.4 Kpc region of NGC 1365. We find the star formation rate/efficiency (SFR/SFE) in the inner circumnuclear ring is about 0.4/1.1 dex higher than in the outer regions. At a linear resolution of 180 pc, we obtain a super-linear Kennicutt-Schmidt law, demonstrating a steeper slope (1.96$\pm$0.14) than previous results presumably based on lower-resolution observations. Compared to the northeastern counterpart, the southwestern dust lane shows lower SFE, but denser molecular gas, and larger virial parameters. This is consistent with an interpretation of negative feedback from AGN and/or starburst, in the sense that the radiation/winds can heat and interact with the molecular gas even in relatively dense regions. After subtracting the circular motion component of the molecular gas and the stellar rotation, we detect two prominent non-circular motion components of molecular and ionized hydrogen gas, reaching a line-of-sight velocity of up to 100 km/s. We conclude that the winds or shocked gas from the central AGN may expel the low-density molecular gas and diffuse ionized gas on the surface of the rotating disk.


title: Tides in the high-eccentricity migration of hot Jupiters: Triggering diffusive growth by nonlinear mode interactions

abstract: High eccentricity migration is a possible formation channel for hot Jupiters. However, in order for it to be consistent with the observed population of planets, tides must circularize the orbits in less than $\approx$ a Myr. A potential mechanism for such rapid circularization is the diffusive growth of the tidally driven planetary f-mode. Such growth occurs if the f-mode's phase at pericenter varies chaotically from one pericenter passage to the next. Previous studies focused on the variation of the orbital period due to tidal back-reaction on the orbit as the source of chaos. Here we show that nonlinear mode interactions can also be an important source. Specifically, we show that nonlinear interactions between a parent f-mode and daughter f-/p-modes induce an energy-dependent shift in the oscillation frequency of the parent. This frequency shift varies randomly from orbit to orbit because the parent's energy varies. As a result, the parent's phase at pericenter varies randomly, which we find can trigger it to grow diffusively. We show that the phase shift induced by nonlinear mode interactions in fact dominates the shift induced by tidal back-reaction and significantly lowers the one-kick energy threshold for diffusive growth by about a factor of 5 compared to the linear theory's prediction. Nonlinear interactions could thus enhance the formation rate of hot Jupiters through the high-eccentricity migration channel and potentially mitigate the discrepancy between the observed and predicted occurrence rates for close-in gas giants as compared to those further from the star.


title: Schr\"odinger-Newton equations in dimension two via a Pohozaev-Trudinger log-weighted inequality

abstract: We study the following Choquard type equation in the whole plane $(C) -\Delta u+V(x)u=(I_2\ast F(x,u))f(x,u),x\in\mathbb{R}^2$ where $I_2$ is the Newton logarithmic kernel, $V$ is a bounded Schr\"odinger potential and the nonlinearity $f(x,u)$, whose primitive in $u$ vanishing at zero is $F(x,u)$, exhibits the highest possible growth which is of exponential type. The competition between the logarithmic kernel and the exponential nonlinearity demands for new tools. A proper function space setting is provided by a new weighted version of the Pohozaev--Trudinger inequality which enables us to prove the existence of variational, in particular finite energy solutions to $(C)$.


title: Blow-up rate and local uniqueness for fractional Schr\"odinger equations with nearly critical growth

abstract: We study quantitative aspects and concentration phenomena for ground states of the following nonlocal Schr\"odinger equation $ (-\Delta)^s u+V(x)u= u^{2_s^*-1-\varepsilon} \ \ \text{in}\ \ \mathbb{R}^N, $ where $\varepsilon>0$, $s\in (0,1)$, $2^*_s:=\frac{2N}{N-2s}$, $N>4s$. We show that the ground state $u_{\varepsilon}$ blows up and precisely with the following rate $\|u_{\varepsilon}\|_{L^\infty(\mathbb{R}^N)}\sim \varepsilon^{-\frac{N-2s}{4s}}$, as $\epsilon\rightarrow 0^+$. We also localize the concentration points and, in the case of radial potentials $V$, we prove local uniqueness of sequences of ground states which exhibit a concentrating behavior.


title: Black holes in asymptotic safety with higher derivatives: accretion and stability analysis

abstract: We review the issue of steady spherically symmetric accretion onto a renormalization group improved Schwarzschild space-time which is solution to an asymptotically safe theory (AS) containing high-derivative terms. We use a Hamiltonian dynamical system approach for the analysis of the accretion of four types of isothermal test fluids: ultra-stiff fluid, ultra-relativistic fluid, radiation fluid, and sub-relativistic fluid. An important outcome of our study is that, contrary to what claimed in a recent work, there exist physical solutions for the accretion of an ultra-relativistic fluid in AS which include subsonic, supersonic and transonic regimes. We also study quantum corrections to the known stability of the accretion in general relativity (GR). To this end we use a perturbative procedure based on the continuity equation with the mass accretion rate being the perturbed quantity. Two classes of perturbations are studied: standing waves and travelling waves. We find that quantum gravity effects either enhance or diminish the stability of the accretion depending on the type of test fluid and depending on the radial distance to the central object.


title: Experimental and theoretical demonstration of negative magnetization induced by particle size reduction in nano-form Gd$_{1-x}$Ca$_x$MnO$_3$

abstract: We report a pervasive phenomenon of gradual emergence of negative magnetization in typical $R_{1-x}D_x$MnO$_3$ orthorhombic perovskite manganites in nano form (with $R^{3+}$ being a trivalent high-magnetic-moment ion from the heavier rare-earth elements Gd, Tb, Dy and $D^{2+}$ refers to divalent alkaline elements Sr, Ca, etc.), while the bulk form manifests no negative magnetization. Extensive magnetization studies have been carried out in Gd$_{1-x}$Ca$_x$MnO$_3$ manganites around half doping. We demonstrate experimentally that particle size reduction in nano-form manganites enhances the propensity of the system to exhibit negative magnetization and provide a theoretical explanation for the phenomenon. To test the universality of our findings, we have extended the measurement to Dy$_{0.6}$Ca$_{0.4}$MnO$_3$ and obtained similar results.


title: Velocity Skinning for Real-time Stylized Skeletal Animation

abstract: Secondary animation effects are essential for liveliness. We propose a simple, real-time solution for adding them on top of standard skinning, enabling artist-driven stylization of skeletal motion. Our method takes a standard skeleton animation as input, along with a skin mesh and rig weights. It then derives per-vertex deformations from the different linear and angular velocities along the skeletal hierarchy. We highlight two specific applications of this general framework, namely the cartoonlike "squashy" and "floppy" effects, achieved from specific combinations of velocity terms. As our results show, combining these effects enables to mimic, enhance and stylize physical-looking behaviours within a standard animation pipeline, for arbitrary skinned characters. Interactive on CPU, our method allows for GPU implementation, yielding real-time performances even on large meshes. Animator control is supported through a simple interface toolkit, enabling to refine the desired type and magnitude of deformation at relevant vertices by simply painting weights. The resulting rigged character automatically responds to new skeletal animation, without further input.


title: Temperature gradient and thermal conductivity in superdiffusive materials

abstract: Thermal conductivities are routinely calculated in molecular dynamics simulations by keeping the boundaries at different temperatures and measuring the slope of the temperature profile in the bulk of the material, explicitly using Fourier's law of heat conduction. Substantiated by the observation of a distinct linear profile at the center of the material, this approach has also been frequently used in superdiffusive materials, such as nanotubes or polymer chains, which do not satisfy Fourier's law at the system sizes considered. It has been recently argued that this temperature gradient procedure yields worse results when compared with a method based on the temperature difference at the boundaries -- thus taking into account the regions near the boundaries where the temperature profile is not linear. We study a realistic example, nanocomposites formed by adding boron nitride nanotubes to a polymer matrix of amorphous polyethylene, to show that in superdiffusive materials, despite the appearance of a central region with a linear profile, the temperature gradient method is actually inconsistent with a conductivity that depends on the system size, and, thus, it should be only used in normal diffusive systems.


title: Characterization of SOI pixel sensor using pinned depleted diode structure with AC-coupling on the diode

abstract: The experiment of the future electron-positron colliders has unprecedented requirements on the vertex resolution, such as around 3micron single point resolution for the inner most detector layer, with fast readout, and very low power-consumption density and material budget. Significant efforts have been put into the development of monolithic silicon pixel sensors, but there have been some challenges to combine all those stringent specifications in a small pixel area. This paper presents a compact prototype pixel sensor fabricated in LAPIS 200nm SOI process and focuses on the characterization of low capacitance of the sensing node with a pinned depleted diode structure adopting a novel method of forward bias voltage and AC coupling on the diode. Three PDD structures with 16 micron by 20 micron pixel size were designed and compared using radioactive sources and injected charge. The measured result shows that the designed PDD structure has very low leakage current and around 3.5fF of equivalent input capacitance.


title: Global existence for a highly nonlinear temperature-dependent system modeling nonlocal adhesive contact

abstract: In this paper we analyze a new temperature-dependent model for adhesive contact that encompasses nonlocal adhesive forces and damage effects, as well as nonlocal heat flux contributions on the contact surface. The related PDE system combines heat equations, in the bulk domain and on the contact surface, with mechanical force balances, including micro-forces, that result in the equation for the displacements and in the flow rule for the damage-type internal variable describing the state of the adhesive bonds. Nonlocal effects are accounted for by terms featuring integral operators on the contact surface. The analysis of this system poses several difficulties due to its overall highly nonlinear character, and in particular to the presence of quadratic terms, in the rates of the strain tensor and of the internal variable, that feature in the bulk and surface heat equations. Another major challenge is related to proving strict positivity for the bulk and surface temperatures. We tackle these issues by very careful estimates that enable us to prove the existence of global-in-time solutions and could be useful in other contexts. All calculations are rigorously rendered on an accurately devised time discretization scheme in which the limit passage is carried out via variational techniques.


title: The Fokas-Lenells equations: Bilinear approach

abstract: In this paper, the Fokas-Lenells equations are investigated via bilinear approach. We bilinearize the unreduced Fokas-Lenells system, derive double Wronskian solutions, and then, by means of a reduction technique we obtain variety of solutions of the reduced equations. This enables us to have a full profile of solutions of the classical and nonlocal Fokas-Lenells equations. Some obtained solutions are illustrated based on asymptotic analysis. As a notable new result, we obtain solutions to the Fokas-Lenells equation, which are related to real discrete eigenvalues and not reported before in the analytic approaches. These solutions behave like (multi-)periodic waves or solitary waves with algebraic decay. In addition, we also obtain solutions to the two-dimensional massive Thirring model from those of the Fokas-Lenells equation.


title: A Graph Convolutional Neural Network based Framework for Estimating Future Citations Count of Research Articles

abstract: Scientific publications play a vital role in the career of a researcher. However, some articles become more popular than others among the research community and subsequently drive future research directions. One of the indicative signs of popular articles is the number of citations an article receives. The citation count, which is also the basis with various other metrics, such as the journal impact factor score, the $h$-index, is an essential measure for assessing a scientific paper's quality. In this work, we proposed a Graph Convolutional Network (GCN) based framework for estimating future research publication citations for both the short-term (1-year) and long-term (for 5-years and 10-years) duration. We have tested our proposed approach over the AMiner dataset, specifically on research articles from the computer science domain, consisting of more than 0.8 million articles.


title: Dissecting the square into seven or nine congruent parts

abstract: We give a computer-based proof of the following fact: If a square is divided into seven or nine convex polygons, congruent among themselves, then the tiles are rectangles.


title: Fock--Goncharov coordinates for semisimple Lie groups

abstract: Fock and Goncharov introduced cluster ensembles, providing a framework for coordinates on varieties of surface representations into Lie groups, as well as a complete construction for groups of type $A_n$. Later, Zickert, Le, and Ip described, using differing methods, how to apply this framework for other Lie group types. Zickert also showed that this framework applies to triangulated $3$-manifolds. We present a complete, general construction, based on work of Fomin and Zelevinsky. In particular, we complete the picture for the remaining cases: Lie groups of types $F_4$, $E_6$, $E_7$, and $E_8$.


title: New physics in the angular distribution of $B_c^- \to J/\psi (\to \mu^+ \mu^-)\tau^- (\to \pi^- \nu_\tau)\bar{\nu}_\tau$ decay

abstract: In $B_c^- \to J/\psi (\to \mu^+ \mu^-)\tau^-\bar{\nu}_\tau$ decay, the three-momentum $\boldsymbol{p}_{\tau^-}$ cannot be determined accurately due to the decay products of $\tau^-$ inevitably include an undetected $\nu_{\tau}$. As a consequence, the angular distribution of this decay cannot be measured. In this work, we construct a {\it measurable} angular distribution by considering the subsequent decay $\tau^- \to \pi^- \nu_\tau$. The full cascade decay is $B_c^- \to J/\psi (\to \mu^+ \mu^-)\tau^- (\to \pi^- \nu_\tau)\bar{\nu}_\tau$, in which the three-momenta $\boldsymbol{p}_{\mu^+}$, $\boldsymbol{p}_{\mu^-}$, and $\boldsymbol{p}_{\pi^-}$ can be measured. The five-fold differential angular distribution containing all Lorentz structures of the new physics (NP) effective operators can be written in terms of twelve angular observables $\mathcal{I}_i (q^2, E_\pi)$. Integrating over the energy of pion $E_\pi$, we construct twelve normalized angular observables $\widehat{\mathcal{I}}_i(q^2)$ and two lepton-flavor-universality ratios $R(P_{L,T}^{J/\psi})(q^2)$. Based on the $B_c \to J/\psi$ form factors calculated by the latest lattice QCD and sum rule, we predict the $q^2$ distribution of all $\widehat{\mathcal{I}}_i$ and $R(P_{L,T}^{J/\psi})$ both within the Standard Model and in eight NP benchmark points. We find that the benchmark BP2 (corresponding to the hypothesis of tensor operator) has the greatest effect on all $\widehat{\mathcal{I}}_{i}$ and $R(P_{L,T}^{J/\psi})$, except $\widehat{\mathcal{I}}_{5}$. The ratios $R(P_{L,T}^{J/\psi})$ are more sensitive to the NP with pseudo-scalar operators than the $\widehat{\mathcal{I}}_{i}$. Finally, we discuss the symmetries in the angular observables and present a model-independent method to determine the existence of tensor operators.


title: Generating function for nucleus-nucleus scattering amplitudes in Glauber theory

abstract: A new approach to deal with the scattering amplitudes in Glauber theory is proposed. It relies on the use of generating function, that has been explicitly found. The method is applied to the analytical calculation of the nucleus-nucleus elastic scattering amplitudes in the all interaction orders of the Glauber theory.


title: Charged current electroproduction of a charmed meson at an electron-ion collider

abstract: We calculate the amplitude for exclusive electroweak production of a pseudoscalar $D_s$ or a vector $D^*_s$ charmed strange meson on an unpolarized nucleon, through a charged current, in leading order in $\alpha_s$. We work in the framework of the collinear QCD approach where generalized gluon distributions factorize from perturbatively calculable coefficient functions. We include both $O(m_c)$ terms in the coefficient functions and $O(M_D)$ mass term contributions in the heavy meson distribution amplitudes. We show that this process may be accessed at future electron-ion colliders.


title: Enhancing Deep Neural Network Saliency Visualizations with Gradual Extrapolation

abstract: In this paper, an enhancement technique for the class activation mapping methods such as gradient-weighted class activation maps or excitation backpropagation is proposed to present the visual explanations of decisions from convolutional neural network-based models. The proposed idea, called Gradual Extrapolation, can supplement any method that generates a heatmap picture by sharpening the output. Instead of producing a coarse localization map that highlights the important predictive regions in the image, the proposed method outputs the specific shape that most contributes to the model output. Thus, the proposed method improves the accuracy of saliency maps. The effect has been achieved by the gradual propagation of the crude map obtained in the deep layer through all preceding layers with respect to their activations. In validation tests conducted on a selected set of images, the faithfulness, interpretability, and applicability of the method are evaluated. The proposed technique significantly improves the localization detection of the neural networks attention at low additional computational costs. Furthermore, the proposed method is applicable to a variety deep neural network models. The code for the method can be found at https://github.com/szandala/gradual-extrapolation


title: UniDrop: A Simple yet Effective Technique to Improve Transformer without Extra Cost

abstract: Transformer architecture achieves great success in abundant natural language processing tasks. The over-parameterization of the Transformer model has motivated plenty of works to alleviate its overfitting for superior performances. With some explorations, we find simple techniques such as dropout, can greatly boost model performance with a careful design. Therefore, in this paper, we integrate different dropout techniques into the training of Transformer models. Specifically, we propose an approach named UniDrop to unites three different dropout techniques from fine-grain to coarse-grain, i.e., feature dropout, structure dropout, and data dropout. Theoretically, we demonstrate that these three dropouts play different roles from regularization perspectives. Empirically, we conduct experiments on both neural machine translation and text classification benchmark datasets. Extensive results indicate that Transformer with UniDrop can achieve around 1.5 BLEU improvement on IWSLT14 translation tasks, and better accuracy for the classification even using strong pre-trained RoBERTa as backbone.


title: Conversational Semantic Role Labeling

abstract: Semantic role labeling (SRL) aims to extract the arguments for each predicate in an input sentence. Traditional SRL can fail to analyze dialogues because it only works on every single sentence, while ellipsis and anaphora frequently occur in dialogues. To address this problem, we propose the conversational SRL task, where an argument can be the dialogue participants, a phrase in the dialogue history or the current sentence. As the existing SRL datasets are in the sentence level, we manually annotate semantic roles for 3,000 chit-chat dialogues (27,198 sentences) to boost the research in this direction. Experiments show that while traditional SRL systems (even with the help of coreference resolution or rewriting) perform poorly for analyzing dialogues, modeling dialogue histories and participants greatly helps the performance, indicating that adapting SRL to conversations is very promising for universal dialogue understanding. Our initial study by applying CSRL to two mainstream conversational tasks, dialogue response generation and dialogue context rewriting, also confirms the usefulness of CSRL.


title: Spectroscopic and Photometric Observations of Dwarf Nova Superoutbursts by the 3.8 m Telescope Seimei and the Variable Star Network

abstract: We present spectroscopic and photometric observations of 17 dwarf-nova superoutbursts obtained by KOOLS-IFU mounted on the 3.8 m telescope Seimei at Okayama Observatory of Kyoto University and through VSNET collaboration. Our spectroscopic observations for six outbursts were performed within 1 d from their optical peak. 11 objects (TCP J00590972+3438357. ASASSN-19ado, TCP J06073081-0101501, ZTF20aavnpug, ASASSN-19ady, MASTER OT J061642.05+435617.9, TCP J20034647+1335125, ASASSN-20kv, ASASSN-20kw, MASTER OT J213908.79+161240.2, and ASASSN-20mf) were previously unknown systems, and our observations enabled quick classification of their transient type. These results illustrate that Seimei telescope has the capability to conduct quick follow-up observations of unknown transients. Our photometric observations yielded that 11 objects are WZ Sge-type dwarf novae and their candidates, and the other six objects are SU UMa-type dwarf novae and their candidates. The He II 4686\AA~ emission line was clearly detected among ASASSN-19ado, TCP J06073081-0101501 and MASTER OT J213908.79+161240.2, whose association with a spiral arm structure in an accretion disk has been suggested in the previous studies. Our result suggests that a higher-inclination system shows a stronger emission line of He II 4686\AA, as well as larger-amplitude early superhumps.


title: Generalized Hilbert series operators

abstract: In this note we study the generalized Hilbert series operator $H_{\mu}$, induced by a positive Bore measure $\mu$ on $[0, 1)$, between weighted sequence spaces. We characterize the measures $\mu$ for which $H_{\mu}$ is bounded between different sequence spaces. Finally, for certain special measures, we obtain the sharp norm estimates of the operators and establish some new generalized Hilbert series inequalities with the best constant factors.


title: Innovative Bert-based Reranking Language Models for Speech Recognition

abstract: More recently, Bidirectional Encoder Representations from Transformers (BERT) was proposed and has achieved impressive success on many natural language processing (NLP) tasks such as question answering and language understanding, due mainly to its effective pre-training then fine-tuning paradigm as well as strong local contextual modeling ability. In view of the above, this paper presents a novel instantiation of the BERT-based contextualized language models (LMs) for use in reranking of N-best hypotheses produced by automatic speech recognition (ASR). To this end, we frame N-best hypothesis reranking with BERT as a prediction problem, which aims to predict the oracle hypothesis that has the lowest word error rate (WER) given the N-best hypotheses (denoted by PBERT). In particular, we also explore to capitalize on task-specific global topic information in an unsupervised manner to assist PBERT in N-best hypothesis reranking (denoted by TPBERT). Extensive experiments conducted on the AMI benchmark corpus demonstrate the effectiveness and feasibility of our methods in comparison to the conventional autoregressive models like the recurrent neural network (RNN) and a recently proposed method that employed BERT to compute pseudo-log-likelihood (PLL) scores for N-best hypothesis reranking.


title: Form factors and generalized hydrodynamics for integrable systems

abstract: Our review covers microscopic foundations of generalized hydrodynamics (GHD). As one generic approach we develop form factor expansions, for ground states and generalized Gibbs ensembles (GGE). In the latter case the so obtained results are compared with predictions from GHD. One cornerstone of GHD are the GGE averaged microscopic currents, which can also be obtained through employing form factors. Discussed is a second, completely orthogonal approach based on the availability of a self-conserved current.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Fine-Grained Attention for Weakly Supervised Object Localization

abstract: Although recent advances in deep learning accelerated an improvement in a weakly supervised object localization (WSOL) task, there are still challenges to identify the entire body of an object, rather than only discriminative parts. In this paper, we propose a novel residual fine-grained attention (RFGA) module that autonomously excites the less activated regions of an object by utilizing information distributed over channels and locations within feature maps in combination with a residual operation. To be specific, we devise a series of mechanisms of triple-view attention representation, attention expansion, and feature calibration. Unlike other attention-based WSOL methods that learn a coarse attention map, having the same values across elements in feature maps, our proposed RFGA learns fine-grained values in an attention map by assigning different attention values for each of the elements. We validated the superiority of our proposed RFGA module by comparing it with the recent methods in the literature over three datasets. Further, we analyzed the effect of each mechanism in our RFGA and visualized attention maps to get insights.


title: SIGAN: A Novel Image Generation Method for Solar Cell Defect Segmentation and Augmentation

abstract: Solar cell electroluminescence (EL) defect segmentation is an interesting and challenging topic. Many methods have been proposed for EL defect detection, but these methods are still unsatisfactory due to the diversity of the defect and background. In this paper, we provide a new idea of using generative adversarial network (GAN) for defect segmentation. Firstly, the GAN-based method removes the defect region in the input defective image to get a defect-free image, while keeping the background almost unchanged. Then, the subtracted image is obtained by making difference between the defective input image with the generated defect-free image. Finally, the defect region can be segmented through thresholding the subtracted image. To keep the background unchanged before and after image generation, we propose a novel strong identity GAN (SIGAN), which adopts a novel strong identity loss to constraint the background consistency. The SIGAN can be used not only for defect segmentation, but also small-samples defective dataset augmentation. Moreover, we release a new solar cell EL image dataset named as EL-2019, which includes three types of images: crack, finger interruption and defect-free. Experiments on EL-2019 dataset show that the proposed method achieves 90.34% F-score, which outperforms many state-of-the-art methods in terms of solar cell defects segmentation results.


title: A note on the convex body isoperimetric conjecture in the plane

abstract: The convex body isoperimetric conjecture in the plane asserts that the least perimeter to enclose given area inside a unit disk is greater than inside any other convex set of area $\pi$. In this note we confirm two cases of the conjecture: domains symmetric to both coordinate axes and perturbations of unit disk.


title: A Deep Learning Based Cost Model for Automatic Code Optimization

abstract: Enabling compilers to automatically optimize code has been a longstanding goal for the compiler community. Efficiently solving this problem requires using precise cost models. These models predict whether applying a sequence of code transformations reduces the execution time of the program. Building an analytical cost model to do so is hard in modern x86 architectures due to the complexity of the microarchitecture. In this paper, we present a novel deep learning based cost model for automatic code optimization. This model was integrated in a search method and implemented in the Tiramisu compiler to select the best code transformations. The input of the proposed model is a set of simple features representing the unoptimized code and a sequence of code transformations. The model predicts the speedup expected when the code transformations are applied. Unlike previous models, the proposed one works on full programs and does not rely on any heavy feature engineering. The proposed model has only 16% of mean absolute percentage error in predicting speedups on full programs. The proposed model enables Tiramisu to automatically find code transformations that match or are better than state-of-the-art compilers without requiring the same level of heavy feature engineering required by those compilers.


title: Combined theoretical and experimental study of the electronic and optical property of Sb$_2$WO$_6$

abstract: Both theoretical and experimental analysis are carried out to understand the physical properties of the fascinating electronic and optical properties of antimony tungstate (Sb$_2$WO$_6$). The nanosized ($\sim 40-80~nm$) material is produced using hydrothermal method followed by the SEM and XRD analysis to find the structural properties. The present calculations using PBEsol and PBE approximations for exchange-correlation potential are compared with the experimental structural parameters and in the case of the calculations using PBEsol approach the predicted crystal parameters and simulated XRD pattern are in excellent agreement with experimental results. The experimental absorption spectra measured in the ultraviolet-visible range give the bandgap of $2.42 ~eV$, while the most intense peak of photoluminescence spectra is found at $468nm~(2.65 ~eV)$. Using density functional theory (DFT) technique, the band structure and density of states for \swo~ are calculated and the calculated bandgap of $2.62 ~eV$ is in agreement with the experimental finding. From theoretical partial density of states calculations we identify that the bandgap is formed between the O$-2p_y$ orbitals bonded with Sb at valence band maxima and the W$-5d_{x^2-y^2}$ orbital at conduction band minima. The atomic level transitions responsible for the peaks of absorption spectra and photoluminescence spectra are identified as well by the means of DFT calculations. Following the matching of theoretical and experimental observations, the calculations of optical properties reveal the plasma frequency to be equal to $13.36 ~eV$.


title: CK Aqr time keeping. Evidence for a third body

abstract: Photometric measurements of the contact binary system CK Aqr are presented. 49 new times of minimum were obtained between 2005 and 2020. Along with already published observations, this allows the derivation of an improved ephemeris. The resulting O-C diagram shows oscillations which are interpreted as the light time travel effect due to a third component, with a period of 8.2 years.


title: Supervised Feature Selection Techniques in Network Intrusion Detection: a Critical Review

abstract: Machine Learning (ML) techniques are becoming an invaluable support for network intrusion detection, especially in revealing anomalous flows, which often hide cyber-threats. Typically, ML algorithms are exploited to classify/recognize data traffic on the basis of statistical features such as inter-arrival times, packets length distribution, mean number of flows, etc. Dealing with the vast diversity and number of features that typically characterize data traffic is a hard problem. This results in the following issues: i) the presence of so many features leads to lengthy training processes (particularly when features are highly correlated), while prediction accuracy does not proportionally improve; ii) some of the features may introduce bias during the classification process, particularly those that have scarce relation with the data traffic to be classified. To this end, by reducing the feature space and retaining only the most significant features, Feature Selection (FS) becomes a crucial pre-processing step in network management and, specifically, for the purposes of network intrusion detection. In this review paper, we complement other surveys in multiple ways: i) evaluating more recent datasets (updated w.r.t. obsolete KDD 99) by means of a designed-from-scratch Python-based procedure; ii) providing a synopsis of most credited FS approaches in the field of intrusion detection, including Multi-Objective Evolutionary techniques; iii) assessing various experimental analyses such as feature correlation, time complexity, and performance. Our comparisons offer useful guidelines to network/security managers who are considering the incorporation of ML concepts into network intrusion detection, where trade-offs between performance and resource consumption are crucial.


title: Sign-changing blow-up for the Moser-Trudinger equation

abstract: Given a sufficiently symmetric domain $\Omega\Subset\mathbb{R}^2$, for any $k\in \mathbb{N}\setminus \{0\}$ and $\beta>4\pi k$ we construct blowing-up solutions $(u_\varepsilon)\subset H^1_0(\Omega)$ to the Moser-Trudinger equation such that as $\varepsilon\downarrow 0$, we have $\|\nabla u_\varepsilon\|_{L^2}^2\to \beta$, $u_\varepsilon \rightharpoonup u_0$ in $H^1_0$ where $u_0$ is a sign-changing solution of the Moser-Trudinger equation and $u_\varepsilon$ develops $k$ positive spherical bubbles, all concentrating at $0\in \Omega$. These $3$ features (lack of quantization, non-zero weak limit and bubble clustering) stand in sharp contrast to the positive case ($u_\varepsilon>0$) studied by the second author and Druet (J. Eur. Math. Soc. (JEMS) 22 (2020)).


title: Analysis of bank leverage via dynamical systems and deep neural networks

abstract: We consider a model of a simple financial system consisting of a leveraged investor that invests in a risky asset and manages risk by using Value-at-Risk (VaR). The VaR is estimated by using past data via an adaptive expectation scheme. We show that the leverage dynamics can be described by a dynamical system of slow-fast type associated with a unimodal map on [0,1] with an additive heteroscedastic noise whose variance is related to the portfolio rebalancing frequency to target leverage. In absence of noise the model is purely deterministic and the parameter space splits in two regions: (i) a region with a globally attracting fixed point or a 2-cycle; (ii) a dynamical core region, where the map could exhibit chaotic behavior. Whenever the model is randomly perturbed, we prove the existence of a unique stationary density with bounded variation, the stochastic stability of the process and the almost certain existence and continuity of the Lyapunov exponent for the stationary measure. We then use deep neural networks to estimate map parameters from a short time series. Using this method, we estimate the model in a large dataset of US commercial banks over the period 2001-2014. We find that the parameters of a substantial fraction of banks lie in the dynamical core, and their leverage time series are consistent with a chaotic behavior. We also present evidence that the time series of the leverage of large banks tend to exhibit chaoticity more frequently than those of small banks.


title: VX Hya time keeping. Stroboscopic analysis

abstract: Photometric observations of the double-mode pulsator VX Hya are presented. They are analyzed with a stroboscopic method, completed by Fourier analysis.


title: Revisiting semileptonic decays of $\Lambda_{b(c)}$ supported by baryon spectroscopy

abstract: The semileptonic decays of $\Lambda_{b}\to\Lambda_{c}^{(*)}\ell\nu_\ell$ and $\Lambda_{c}\to\Lambda^{(*)}\ell\nu_\ell$ are studied in the light-front quark model in this work. Instead of the quark-diquark approximation, we use the three-body wave functions obtained by baryon spectroscopy. The ground states $(1/2^{+})$, the $\lambda$-mode orbital excited states $(1/2^{-})$, and the first radial excited states $(1/2^{+})$ of $\Lambda_{(c)}^{(*)}$ are considered. The discussions are given for the form factors, partial widths, branching fractions, leptonic forward-backward asymmetries, hadron polarizations, lepton polarizations, and the lepton flavor universalities. Our results are useful for the inputs of heavy baryon decays and understanding the baryon structures, and helpful for experimental measurements.


title: Quadratic algebras based on SL(NM) elliptic quantum R-matrices

abstract: We construct quadratic quantum algebra based on the dynamical RLL-relation for the quantum $R$-matrix related to $SL(NM)$-bundles with nontrivial characteristic class over elliptic curve. This $R$-matrix generalizes simultaneously the elliptic nondynamical Baxter--Belavin and the dynamical Felder $R$-matrices,and the obtained quadratic relations generalize both -- the Sklyanin algebra and the relations in the Felder-Tarasov-Varchenko elliptic quantum group, which are reproduced in the particular cases $M=1$ and $N=1$ respectively.


title: Deconstruction hierarchies and locality diagrams of conformal models

abstract: The relationship between locality graphs and deconstruction hierarchies of conformal models is explained, leading to computationally effective procedures for determining the latter, and the relevant notions are illustrated with several examples.


title: Calibration of the Air Shower Energy Scale of the Water and Air Cherenkov Techniques in the LHAASO experiment

abstract: The Wide Field-of-View Cherenkov Telescope Array (WFCTA) and the Water Cherenkov Detector Arrays (WCDA) of LHAASO are designed to work in combination for measuring the energy spectra of various cosmic ray species over a very wide energy range from a few TeV to 10 PeV. The energy calibration of WCDA can be achieved with a proven technique of measuring the westward shift of the Moon shadow of galactic cosmic rays due to the geomagnetic field. This deflection angle $\Delta$ is inversely proportional to the energy of the cosmic rays. The precise measurements of the shifts by WCDA allows us to calibrate its energy scale for energies as high as 35 TeV. The energy scale measured by WCDA can be used to cross calibrate the energy reconstructed by WFCTA, which spans the whole energy range up to 10 PeV. In this work, we will demonstrate the feasibility of the method using the data collected from April 2019 to January 2020 by the WFCTA array and WCDA-1 detector, the first of the three water Cherenkov ponds, already commissioned at LHAASO site.


title: Nonparametric Method for Clustered Data in Pre-Post Factorial Design

abstract: In repeated measures factorial designs involving clustered units, parametric methods such as linear mixed effects models are used to handle within subject correlations. However, assumptions of these parametric models such as continuity and normality are usually hard to come by in many cases. The homoscedasticity assumption is rather hard to verify in practice. Furthermore, these assumptions may not even be realistic when data are measured in a non-metric scale as commonly happens, for example, in Quality of Life outcomes. In this article, nonparametric effect-size measures for clustered data in factorial designs with pre-post measurements will be introduced. The effect-size measures provide intuitively-interpretable and informative probabilistic comparisons of treatment and time effects. The dependence among observations within a cluster can be arbitrary across treatment groups. The effect-size estimators along with their asymptotic properties for computing confidence intervals and performing hypothesis tests will be discussed. ANOVA-type statistics with $\chi^2$ approximation that retain some of the optimal asymptotic behaviors in small samples are investigated. Within each treatment group, we allow some clusters to involve observations measured on both pre and post intervention periods (referred to as complete clusters), while others to contain observations from either pre or post intervention period only (referred to as incomplete clusters). Our methods are shown to be, particularly effective in the presence of multiple forms of clustering. The developed nonparametric methods are illustrated with data from a three-arm Randomized Trial of Indoor Wood Smoke reduction. The study considered two active treatments to improve asthma symptoms of kids living in homes that use wood stove for heating.


title: The necessity theory for commutators of multilinear singular integral operators: the weighted case

abstract: In this paper, the necessity theory for commutators of multilinear singular integral operators on weighted Lebesgue spaces is investigated. The results relax the restriction of the weights class to the general multiple weights, which can be regarded as an essential improvement of \cite{ChafCruz2018,GLW2020}. Our approach elaborates on a commonly expanding the kernel locally by Fourier series, recovering many known results but yielding also numerous new ones. In particular, we answer the question about the necessity theory of the iterated commutators of the multilinear singular integral operators.


title: Knowledge-Augmented Contrastive Learning for Abnormality Classification and Localization in Chest X-rays with Radiomics using a Feedback Loop

abstract: Building a highly accurate predictive model for classification and localization of abnormalities in chest X-rays usually requires a large number of manually annotated labels and pixel regions (bounding boxes) of abnormalities. However, it is expensive to acquire such annotations, especially the bounding boxes. Recently, contrastive learning has shown strong promise in leveraging unlabeled natural images to produce highly generalizable and discriminative features. However, extending its power to the medical image domain is under-explored and highly non-trivial, since medical images are much less amendable to data augmentations. In contrast, their prior knowledge, as well as radiomic features, is often crucial. To bridge this gap, we propose an end-to-end semi-supervised knowledge-augmented contrastive learning framework, that simultaneously performs disease classification and localization tasks. The key knob of our framework is a unique positive sampling approach tailored for the medical images, by seamlessly integrating radiomic features as a knowledge augmentation. Specifically, we first apply an image encoder to classify the chest X-rays and to generate the image features. We next leverage Grad-CAM to highlight the crucial (abnormal) regions for chest X-rays (even when unannotated), from which we extract radiomic features. The radiomic features are then passed through another dedicated encoder to act as the positive sample for the image features generated from the same chest X-ray. In this way, our framework constitutes a feedback loop for image and radiomic modality features to mutually reinforce each other. Their contrasting yields knowledge-augmented representations that are both robust and interpretable. Extensive experiments on the NIH Chest X-ray dataset demonstrate that our approach outperforms existing baselines in both classification and localization tasks.


title: Stability of Neutron Stars with Dark Matter Core Using Three Crustal Types and the Impact on Mass-Radius Relations

abstract: We investigate the effects of dark matter (DM) on the nuclear equation of state (EoS) and neutron star structure, in the relativistic mean field theory, both in the absence and presence of a crust. The $\sigma-\omega$ model is modified by adding a WIMP-DM component, which interacts with nucleonic matter through the Higgs portal. This model agrees well with previous studies which utilized either a more complicated nuclear model or higher-order terms of the Higgs potential, in that DM softens the EoS, resulting in stars with lower maximum masses. However, instabilities corresponding to negative pressure values in the low-energy density regime of the DM-admixed EoS are present, and this effect becomes more prominent as we increase the DM Fermi momentum. We resolve this by confining DM in the star's core. The regions of instability were replaced by three types of crust: first by the Friedman-Pandharipande-Skyrme (FPS), Skyrme-Lyon (SLy) and BSk19 EoS from the Brussels-Montreal Group, which can be represented by analytical approximations. For a fixed value of the DM Fermi momentum $p_F^{DM}$, the DM-admixed neutron star does not have significant changes in its mass with the addition of the crusts. However, the entire mass-radius relation of the neutron star is significantly affected, with an observed increase in the radius of the star corresponding to the mass. The effect of DM is to reduce the mass of the star, while the crust does not affect the radius significantly, as the value of the $p_F^{DM}$ increases.


title: Bifurcation of the Maxwell quasinormal spectrum on asymptotically anti-de Sitter black holes

abstract: We study the Maxwell quasinormal spectrum on asymptotically anti-de Sitter black holes with a set of two Robin type boundary conditions, by requiring the energy flux to vanish at asymptotic infinity. Focusing, for illustrative purposes, on Schwarzschild-anti-de Sitter black holes both without and with a global monopole, we unveil that, on the one hand, the Maxwell quasinormal spectrum bifurcates as the black hole radius increases for both boundary conditions, which is termed the mode split effect; while on the other hand, with an appropriate fixed black hole radius but increasing the monopole parameter, the first (second) boundary condition may trigger (terminate) the mode split effect.


title: Global existence and uniqueness of solutions for one-dimensional reaction-interface systems

abstract: In this paper, we provide a mathematical framework in studying the wave propagation with the annihilation phenomenon in excitable media. We deal with the existence and uniqueness of solutions to a one-dimensional free boundary problem (called a reaction--interface system) arising from the singular limit of a FitzHugh--Nagumo type reaction--diffusion system. Because of the presence of the annihilation, interfaces may intersect each other. We introduce the notion of weak solutions to study the continuation of solutions beyond the annihilation time. Under suitable conditions, we show that the free boundary problem is well-posed.


title: Data-driven predictive control with estimated prediction matrices and integral action

abstract: This paper presents a data-driven approach to the design of predictive controllers. The prediction matrices utilized in standard model predictive control (MPC) algorithms are typically constructed using knowledge of a system model such as, state-space or input-output models. Instead, we directly estimate the prediction matrices relating future outputs with current and future inputs from measured data, off-line. On-line, the developed data--driven predictive controller reduces to solving a quadratic program with a similar structure and complexity as linear MPC. Additionally, we develop a new procedure for estimating prediction matrices from data for predictive controllers with integral action, corresponding to the rate-based formulation of linear MPC. The effectiveness of the developed data-driven predictive controller is illustrated on position control of a linear motor model.


title: Non-Debye relaxations: two types of memories and their Stieltjes character

abstract: We show that spectral functions relevant for commonly used models of the non-Debye relaxation are related to the Stieltjes functions supported on the positive semiaxis. Using only this property it can be shown that the response and relaxation functions are nonnegative. They are connected to each other and obey the time evolution provided by integral equations involving the memory function $M(t)$ which is the Stieltjes function as well. This fact is also due to the Stieltjes character of the spectral function. Stochastic processes based approach to the relaxation phenomena gives possibility to identify the memory function $M(t)$ with the Laplace (L\'evy) exponent of some infinitely divisible stochastic process and to introduce its partner memory $k(t)$. Both memories are related by the Sonine equation and lead to equivalent evolution equations which may be freely interchanged in dependence of our knowledge on memories governing the process.


title: Alternating cyclic extrapolation methods for optimization algorithms

abstract: This article introduces new acceleration methods for fixed-point iterations. Extrapolations are computed using two or three mappings alternately and a new type of step length is proposed with good properties for nonlinear applications. The methods require no problem-specific adaptation and are especially efficient in high-dimensional contexts. Their computation uses few objective function evaluations, no matrix inversion and little extra memory. A convergence analysis is followed by eight applications including gradient descent acceleration for constrained and unconstrained optimization. Performances are on par with or better than competitive alternatives. The algorithm is available as the Julia package SpeedMapping.jl.


title: Scalable Marginal Likelihood Estimation for Model Selection in Deep Learning

abstract: Marginal-likelihood based model-selection, even though promising, is rarely used in deep learning due to estimation difficulties. Instead, most approaches rely on validation data, which may not be readily available. In this work, we present a scalable marginal-likelihood estimation method to select both hyperparameters and network architectures, based on the training data alone. Some hyperparameters can be estimated online during training, simplifying the procedure. Our marginal-likelihood estimate is based on Laplace's method and Gauss-Newton approximations to the Hessian, and it outperforms cross-validation and manual-tuning on standard regression and image classification datasets, especially in terms of calibration and out-of-distribution detection. Our work shows that marginal likelihoods can improve generalization and be useful when validation data is unavailable (e.g., in nonstationary settings).


title: Spontaneous Symmetry Breaking in the Phase Space

abstract: In this brief, the spontaneous symmetry breaking (SSB) of the $\varphi^4$ theory in phase space, is studied. This phase space results from the appropriate system of Poincare maps, produced in both the Minkowski and the Euclidean time. The importance of discretization in the creation of phase space, is highlighted. A series of interesting, novel, unknown behaviors are reported for the first time; among them the most characteristic is the change in stability. In specific, the stable fixed points of the $\varphi^4$ potential appear as unstable ones, in phase space. Additionally, in the Euclidean-time phase space a unique instability in the position of the critical point, can be created. This instability is further proposed to host tachyonic field in Euclidean space.


title: A tight negative example for MMS fair allocations

abstract: We consider the problem of allocating indivisible goods to agents with additive valuation functions. Kurokawa, Procaccia and Wang {[JACM, 2018]} present instances for which every allocation gives some agent less than her maximin share. We present such examples with larger gaps. For three agents and nine items, we design an instance in which at least one agent does not get more than a $\frac{39}{40}$ fraction of her maximin share. {Moreover, we show that there is no negative example in which the difference between the number of items and the number of agents is smaller than six, and that the gap (of $\frac{1}{40}$) of our example is worst possible among all instances with nine items.} For $n \ge 4$ agents, we show examples in which at least one agent does not get more than a $1 - \frac{1}{n^4}$ fraction of her maximin share. {In the instances designed by Kurokawa, Procaccia and Wang, the gap is exponentially small in $n$.} Our proof techniques extend to allocation of chores (items of negative value), though the quantitative bounds for chores are different from those for goods. For three agents and nine chores, we design an instance in which the MMS gap is $\frac{1}{43}$.