title: Efficient Spectrum Utilization via Pulse Shape Design for Fixed Transmission Networks

abstract: Microwave backhaul links are characterized by high signal-to-noise ratios permitting spectrally-efficient transmission. The used signal constellation sizes and achievable data rates are typically limited by transceiver impairments, predominantly by phase noise from non-ideal carrier generation. In this paper, we propose a new method to improve the data rate over such microwave links. We make use of the fact that adjacent frequency channels are inactive in many deployment scenarios. We argue that additional data can be transmitted in the skirts of the spectral mask imposed on the transmission signal by regulation. To accomplish this task, we present a shaped wideband single-carrier transmission using non-Nyquist pulse shapes. In particular, we design spectrum-skirt filling (SSF) pulse shaping filters that follow the spectral mask response, and perform detection using an accordingly increased sampling frequency at the receiver. We evaluate the achievable information rates of the SSF-based transmission considering practical dispersive channels and non-ideal transmitter and receiver processing. To compensate for phase noise impairments, we derive carrier phase tracking and estimation techniques, and utilize them in tandem with nonlinear precoding which mitigates the intersymbol interference introduced by the non-Nyquist SSF shaping filter. Quantitative performance evaluations show that the proposed system design achieves higher data rates in a dispersive microwave propagation environment with respect to the conventional transmission with Nyquist pulse shaping.


title: Systematics of fully heavy tetraquarks

abstract: In this work, we systematically study the mass spectrum of the fully heavy tetraquark in an extended chromomagnetic model, which includes both color and chromomagnetic interactions. Numerical results indicate that the energy level is mainly determined by the color interaction, which favors the color-sextet $\ket{(QQ)^{6_{c}}(\bar{Q}\bar{Q})^{\bar{6}_{c}}}$ configuration over the color-triplet $\ket{(QQ)^{\bar{3}_{c}}(\bar{Q}\bar{Q})^{3_{c}}}$ one. The chromomagnetic interaction mixes the two color configurations and gives small splitting. The ground state is always dominated by the color-sextet configuration. We find no stable state below the lowest heavy quarkonium pair thresholds. Most states may be wide since they have at least one $S$-wave decay channel into two $S$-wave mesons. One possible narrow state is the $1^{+}$ $bb\bar{b}\bar{c}$ state with a mass $15719.1~\text{MeV}$. It is just above the $\eta_{b}\bar{B}_{c}$ threshold. But this channel is forbidden because of the conservation of the angular momentum and parity.


title: A General Model of Conversational Dynamics and an Example Application in Serious Illness Communication

abstract: Conversation has been a primary means for the exchange of information since ancient times. Understanding patterns of information flow in conversations is a critical step in assessing and improving communication quality. In this paper, we describe COnversational DYnamics Model (CODYM) analysis, a novel approach for studying patterns of information flow in conversations. CODYMs are Markov Models that capture sequential dependencies in the lengths of speaker turns. The proposed method is automated and scalable, and preserves the privacy of the conversational participants. The primary function of CODYM analysis is to quantify and visualize patterns of information flow, concisely summarized over sequential turns from one or more conversations. Our approach is general and complements existing methods, providing a new tool for use in the analysis of any type of conversation. As an important first application, we demonstrate the model on transcribed conversations between palliative care clinicians and seriously ill patients. These conversations are dynamic and complex, taking place amidst heavy emotions, and include difficult topics such as end-of-life preferences and patient values. We perform a versatile set of CODYM analyses that (a) establish the validity of the model by confirming known patterns of conversational turn-taking and word usage, (b) identify normative patterns of information flow in serious illness conversations, and (c) show how these patterns vary across narrative time and differ under expressions of anger, fear and sadness. Potential applications of CODYMs range from assessment and training of effective healthcare communication to comparing conversational dynamics across language and culture, with the prospect of identifying universal similarities and unique "fingerprints" of information flow.


title: On finite spacer rank for words and subshifts

abstract: We define a notion of rank for words and subshifts that we call spacer rank, extending the notion of rank-one symbolic shifts of Gao and Hill. We construct infinite words of each finite spacer rank, of unbounded spacer rank, and show there exist words that do not have a spacer rank construction. We consider words that are fixed points of substitutions and give explicit conditions for the word to have an at most spacer rank two construction, and not to be rank one. We prove that finite spacer rank subshifts have topological entropy zero, and that there are zero entropy subshifts not defined by a word with a finite spacer rank construction. We also study shift systems associated with infinite words, including those associated to Sturmian sequences, which we show are spacer rank-two systems.


title: Robust Fairness under Covariate Shift

abstract: Making predictions that are fair with regard to protected group membership (race, gender, age, etc.) has become an important requirement for classification algorithms. Existing techniques derive a fair model from sampled labeled data relying on the assumption that training and testing data are identically and independently drawn (iid) from the same distribution. In practice, distribution shift can and does occur between training and testing datasets as the characteristics of individuals interacting with the machine learning system change. We investigate fairness under covariate shift, a relaxation of the iid assumption in which the inputs or covariates change while the conditional label distribution remains the same. We seek fair decisions under these assumptions on target data with unknown labels. We propose an approach that obtains the predictor that is robust to the worst-case in terms of target performance while satisfying target fairness requirements and matching statistical properties of the source data. We demonstrate the benefits of our approach on benchmark prediction tasks.


title: A Categorical Programming Language

abstract: A theory of data types based on category theory is presented. We organize data types under a new categorical notion of F,G-dialgebras which is an extension of the notion of adjunctions as well as that of T-algebras. T-algebras are also used in domain theory, but while domain theory needs some primitive data types, like products, to start with, we do not need any. Products, coproducts and exponentiations (i.e. function spaces) are defined exactly like in category theory using adjunctions. F,G-dialgebras also enable us to define the natural number object, the object for finite lists and other familiar data types in programming. Furthermore, their symmetry allows us to have the dual of the natural number object and the object for infinite lists (or lazy lists). We also introduce a programming language in a categorical style using F,G-dialgebras as its data type declaration mechanism. We define the meaning of the language operationally and prove that any program terminates using Tait's computability method.


title: SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme

abstract: We propose SANSCrypt, a novel sequential logic encryption scheme to protect integrated circuits against reverse engineering. Previous sequential encryption methods focus on modifying the circuit state machine such that the correct functionality can be accessed by applying the correct key sequence only once. Considering the risk associated with one-time authentication, SANSCrypt adopts a new temporal dimension to logic encryption, by requiring the user to sporadically perform multiple authentications according to a protocol based on pseudo-random number generation. Analysis and validation results on a set of benchmark circuits show that SANSCrypt offers a substantial output corruptibility if the key sequences are applied incorrectly. Moreover, it exhibits an exponential resilience to existing attacks, including SAT-based attacks, while maintaining a reasonably low overhead.


title: End-to-End Radio Fingerprinting with Neural Networks

abstract: This paper presents a novel method for classifying radio frequency (RF) devices from their transmission signals. Given a collection of signals from identical devices, we accurately classify both the distance of the transmission and the specific device identity. We develop a multiple classifier system that accurately discriminates between channels and classifies devices using normalized in-phase and quadrature (IQ) samples. Our network uses residual connections for both distance and device classification, reaching 88.33% accuracy classifying 16 unique devices over 11 different distances and two different times, on a task that was previously unlearnable. Furthermore, we demonstrate the efficacy for pre-training neural networks for massive data domains and subtle classification differences.


title: What causes the test error? Going beyond bias-variance via ANOVA

abstract: Modern machine learning methods are often overparametrized, allowing adaptation to the data at a fine level. This can seem puzzling; in the worst case, such models do not need to generalize. This puzzle inspired a great amount of work, arguing when overparametrization reduces test error, in a phenomenon called "double descent". Recent work aimed to understand in greater depth why overparametrization is helpful for generalization. This leads to discovering the unimodality of variance as a function of the level of parametrization, and to decomposing the variance into that arising from label noise, initialization, and randomness in the training data to understand the sources of the error. In this work we develop a deeper understanding of this area. Specifically, we propose using the analysis of variance (ANOVA) to decompose the variance in the test error in a symmetric way, for studying the generalization performance of certain two-layer linear and non-linear networks. The advantage of the analysis of variance is that it reveals the effects of initialization, label noise, and training data more clearly than prior approaches. Moreover, we also study the monotonicity and unimodality of the variance components. While prior work studied the unimodality of the overall variance, we study the properties of each term in variance decomposition. One key insight is that in typical settings, the interaction between training samples and initialization can dominate the variance; surprisingly being larger than their marginal effect. Also, we characterize "phase transitions" where the variance changes from unimodal to monotone. On a technical level, we leverage advanced deterministic equivalent techniques for Haar random matrices, that -- to our knowledge -- have not yet been used in the area. We also verify our results in numerical simulations and on empirical data examples.


title: fairseq S2T: Fast Speech-to-Text Modeling with fairseq

abstract: We introduce fairseq S2T, a fairseq extension for speech-to-text (S2T) modeling tasks such as end-to-end speech recognition and speech-to-text translation. It follows fairseq's careful design for scalability and extensibility. We provide end-to-end workflows from data pre-processing, model training to offline (online) inference. We implement state-of-the-art RNN-based, Transformer-based as well as Conformer-based models and open-source detailed training recipes. Fairseq's machine translation models and language models can be seamlessly integrated into S2T workflows for multi-task learning or transfer learning. Fairseq S2T documentation and examples are available at https://github.com/pytorch/fairseq/tree/master/examples/speech_to_text.


title: The Knowledge Graph for Macroeconomic Analysis with Alternative Big Data

abstract: The current knowledge system of macroeconomics is built on interactions among a small number of variables, since traditional macroeconomic models can mostly handle a handful of inputs. Recent work using big data suggests that a much larger number of variables are active in driving the dynamics of the aggregate economy. In this paper, we introduce a knowledge graph (KG) that consists of not only linkages between traditional economic variables but also new alternative big data variables. We extract these new variables and the linkages by applying advanced natural language processing (NLP) tools on the massive textual data of academic literature and research reports. As one example of the potential applications, we use it as the prior knowledge to select variables for economic forecasting models in macroeconomics. Compared to statistical variable selection methods, KG-based methods achieve significantly higher forecasting accuracy, especially for long run forecasts.


title: Perturbations in a Chaplygin gas Cosmology

abstract: In this paper we study the perturbations of a cosmic multi-fluid medium consisting of radiation, dust and a Chaplygin gas. To do so, we follow the 1 + 3 covariant formalism and derive the evolution equations of the fluctuations in the energy density for each species of fluid in the multi-fluid system. The solutions to these coupled systems of equations are then computed in both short-wavelength and long-wavelength modes. Our preliminary results suggest that unlike most dark energy models that discourage large-scale structure formation due to the rapid cosmological expansion (which gives little time for fluctuations to coalesce), the Chaplygin-gas model supports the formation of cosmic structures. This is manifested in the solutions of the perturbation equations which show the growth of density fluctuations over time.


title: A conjecture about spectral distances between cycles, paths and certain trees

abstract: We confirm the following conjecture which has been proposed in [{\em Linear Algebra and its Applications}, {\bf 436} (2012), No. 5, 1425-1435.]: $$ 0.945\approx\displaystyle\lim_{n\longrightarrow \infty}\sigma(P_n,Z_n)=\displaystyle\lim_{n\longrightarrow \infty}\sigma(W_n,Z_n)=\frac{1}{2}\displaystyle\lim_{n\longrightarrow \infty}\sigma(P_n,W_n);\ \displaystyle\lim_{n\longrightarrow \infty}\sigma(C_{2n},Z_{2n})=2,$$ where $\sigma(G_1,G_2)=\sum_{i=1}^n |\lambda_i(G_1)-\lambda_i(G_2)|$ is the spectral distance between $n$ vertex non-isomorphic graphs $G_1$ and $G_2$ with adjacency spectra $\lambda_1(G_i) \geq \lambda_2(G_i) \geq \cdots \geq \lambda_n(G_i)$ for $i=1,2$, and $P_n$ and $C_n$ denote the path and cycle on $n$ vertices, respectively; $Z_n$ denotes the coalescence of $P_{n-2}$ and $P_3$ on one of the vertices of degree 1 of $P_{n-2}$ and the vertex of degree $2$ of $P_3$; and $W_n$ denotes the coalescence of $Z_{n-2}$ and $P_3$ on the vertex of degree 1 of $Z_{n-2}$ which is adjacent to a vertex of degree $2$ and the vertex of degree $2$ of $P_3$.


title: On the deformation of linear Hamiltonian systems

abstract: For linear Hamiltonian $2n\times 2n$ systems $J y'(x) = (\lambda W(x)+H(x))y(x)$ we investigate the problem how the eigenvalues $\lambda$ depend on the entries of the coefficient matrix $H$. This question turns into a deformation equation for $H$ and a partial differential equation for the eigenvalues $\lambda$. We apply our results to various examples, including generalizations of the confluent Heun equation and the Chandrasekhar-Page angular equation. We are mainly concerned with the $2\times 2$ case, and in order to reduce the degrees of freedom in $H$ as much as possible, we will first convert such systems into a complementary triangular form, which is a canonical form with a minimum number of free parameters. Furthermore, we discuss relations to monodromy preserving deformations and to matrix Lax pairs.


title: Complexity-based speciation and genotype representation for neuroevolution

abstract: This paper introduces a speciation principle for neuroevolution where evolving networks are grouped into species based on the number of hidden neurons, which is indicative of the complexity of the search space. This speciation principle is indivisibly coupled with a novel genotype representation which is characterised by zero genome redundancy, high resilience to bloat, explicit marking of recurrent connections, as well as an efficient and reproducible stack-based evaluation procedure for networks with arbitrary topology. Furthermore, the proposed speciation principle is employed in several techniques designed to promote and preserve diversity within species and in the ecosystem as a whole. The competitive performance of the proposed framework, named Cortex, is demonstrated through experiments. A highly customisable software platform which implements the concepts proposed in this study is also introduced in the hope that it will serve as a useful and reliable tool for experimentation in the field of neuroevolution.


title: MammoGANesis: Controlled Generation of High-Resolution Mammograms for Radiology Education

abstract: During their formative years, radiology trainees are required to interpret hundreds of mammograms per month, with the objective of becoming apt at discerning the subtle patterns differentiating benign from malignant lesions. Unfortunately, medico-legal and technical hurdles make it difficult to access and query medical images for training. In this paper we train a generative adversarial network (GAN) to synthesize 512 x 512 high-resolution mammograms. The resulting model leads to the unsupervised separation of high-level features (e.g. the standard mammography views and the nature of the breast lesions), with stochastic variation in the generated images (e.g. breast adipose tissue, calcification), enabling user-controlled global and local attribute-editing of the synthesized images. We demonstrate the model's ability to generate anatomically and medically relevant mammograms by achieving an average AUC of 0.54 in a double-blind study on four expert mammography radiologists to distinguish between generated and real images, ascribing to the high visual quality of the synthesized and edited mammograms, and to their potential use in advancing and facilitating medical education.


title: Further Investigation of the Survivability of Code Technical Debt Items

abstract: Context: Technical Debt (TD) discusses the negative impact of sub-optimal decisions to cope with the need-for-speed in software development. Code Technical Debt Items (TDI) are atomic elements of TD that can be observed in code artefacts. Empirical results on open-source systems demonstrated how code-smells, which are just one type of TDIs, are introduced and "survive" during release cycles. However, little is known about whether the results on the survivability of code-smells hold for other types of code TDIs (i.e., bugs and vulnerabilities) and in industrial settings. Goal: Understanding the survivability of code TDIs by conducting an empirical study analysing two industrial cases and 31 open-source systems from Apache Foundation. Method: We analysed 133,670 code TDIs (35,703 from the industrial systems) detected by SonarQube (in 193,196 commits) to assess their survivability using survivability models. Results: In general, code TDIs tend to remain and linger for long periods in open-source systems, whereas they are removed faster in industrial systems. Code TDIs that survive over a certain threshold tend to remain much longer, which confirms previous results. Our results also suggest that bugs tend to be removed faster, while code smells and vulnerabilities tend to survive longer.


title: Multispin magnons from Spin-Matrix strings on $ AdS_5 \times S^5 $

abstract: The present Letter derives multispin nonrelativistic magnon spectrum considering various near BPS corners within $ SU(1,2|3) $ Spin-Matrix theory (SMT) limit of strings on $ AdS_5 \times S^5 $. In particular, we focus on some typical rotating string solutions those correspond to two spin as well as three spin configurations in the bulk and identify the associated nonrelativistic magnon like excitations in these models.


title: Contrastive Explanations for Reinforcement Learning via Embedded Self Predictions

abstract: We investigate a deep reinforcement learning (RL) architecture that supports explaining why a learned agent prefers one action over another. The key idea is to learn action-values that are directly represented via human-understandable properties of expected futures. This is realized via the embedded self-prediction (ESP)model, which learns said properties in terms of human provided features. Action preferences can then be explained by contrasting the future properties predicted for each action. To address cases where there are a large number of features, we develop a novel method for computing minimal sufficient explanations from anESP. Our case studies in three domains, including a complex strategy game, show that ESP models can be effectively learned and support insightful explanations.


title: Brownian motion on the golden ratio Sierpinski gasket

abstract: We construct a strongly local regular Dirichlet form on the golden ratio Sierpinski gasket, which is a self-similar set without any finitely ramified cell structure, via a study on the trace of electrical networks on an infinite graph. The Dirichlet form is self-similar in the sense of an infinite iterated function system, and is decimation invariant with respect to a graph-directed construction. A theorem of uniqueness is also provided. Lastly, the associated process satisfies the two-sided sub-Gaussian heat kernel estimate.


title: Interfacial Ferroelectricity by van-der-Waals Sliding

abstract: Despite their ionic nature, many layered diatomic crystals avoid internal electric polarization by forming a centrosymmetric lattice at their optimal anti-parallel van-der-Waals stacking. Here, we report a stable ferroelectric order emerging at the interface between two naturally-grown flakes of hexagonal-boron-nitride, which are stacked together in a metastable non-centrosymmetric parallel orientation. We observe alternating domains of inverted normal polarization, caused by a lateral shift of one lattice site between the domains. Reversible polarization switching coupled to lateral sliding is achieved by scanning a biased tip above the surface. Our calculations trace the origin of the phenomenon to a subtle interplay between charge redistribution and ionic displacement, and our minimal cohesion model predicts further venues to explore the unique "slidetronics" switching.


title: Static spacetimes haunted by a phantom scalar field: classification and global structure in the massless case

abstract: We discuss various novel features of $n(\ge 4)$-dimensional spacetimes sourced by a massless (non-)phantom scalar field in general relativity. Assuming that the metric is a warped product of static two-dimensional Lorentzian spacetime and an $(n-2)$-dimensional Einstein space $K^{n-2}$ with curvature $k=0, \pm 1$, and that the scalar field depends only on the radial variable, we present a complete classification of static solutions for both signs of kinetic term. Contrary to the case with a non-phantom scalar field, the Fisher solution is not unique, and there exist two additional metrics corresponding to the generalizations of the Ellis-Gibbons solution and the Ellis-Bronnikov solution. We explore the maximal extension of these solutions in detail by the analysis of null/spacelike geodesics and singularity. For the phantom Fisher and Ellis-Gibbons solutions, we find that there inevitably appear parallelly propagated (p.p) curvature singularities in the parameter region where there are no scalar curvature singularities. Interestingly, the areal radius blows up at these p.p curvature singularities, which are nevertheless accessible within a finite affine time along the radial null geodesics. It follows that only the Ellis-Bronnikov solution describes a regular wormhole in the two-sided asymptotically flat spacetime. Using the general transformation relating the Einstein and Jordan frames, we also present a complete classification of solutions with the same symmetry coupled to a conformal scalar field. Additionally, by solving the field equations in the Jordan frame, we prove that this classification is genuinely complete.


title: Distinct Distances with $\ell_p$ Spaces

abstract: We study Erd\H os's distinct distances problem under $\ell_p$ metrics with integer $p$. We improve the current best bound for this problem from $\Omega(n^{4/5})$ to $\Omega(n^{6/7-\epsilon})$, for any $\epsilon>0$. We also characterize the sets that span an asymptotically minimal number of distinct distances under the $\ell_1$ and $\ell_\infty$ metrics.


title: Constructing a Visual Relationship Authenticity Dataset

abstract: A visual relationship denotes a relationship between two objects in an image, which can be represented as a triplet of (subject; predicate; object). Visual relationship detection is crucial for scene understanding in images. Existing visual relationship detection datasets only contain true relationships that correctly describe the content in an image. However, distinguishing false visual relationships from true ones is also crucial for image understanding and grounded natural language processing. In this paper, we construct a visual relationship authenticity dataset, where both true and false relationships among all objects appeared in the captions in the Flickr30k entities image caption dataset are annotated. The dataset is available at https://github.com/codecreator2053/VR_ClassifiedDataset. We hope that this dataset can promote the study on both vision and language understanding.


title: On Structural Parameterizations of Load Coloring

abstract: Given a graph $G$ and a positive integer $k$, the 2-Load coloring problem is to check whether there is a $2$-coloring $f:V(G) \rightarrow \{r,b\}$ of $G$ such that for every $i \in \{r,b\}$, there are at least $k$ edges with both end vertices colored $i$. It is known that the problem is NP-complete even on special classes of graphs like regular graphs. Gutin and Jones (Inf Process Lett 114:446-449, 2014) showed that the problem is fixed-parameter tractable by giving a kernel with at most $7k$ vertices. Barbero et al. (Algorithmica 79:211-229, 2017) obtained a kernel with less than $4k$ vertices and $O(k)$ edges, improving the earlier result. In this paper, we study the parameterized complexity of the problem with respect to structural graph parameters. We show that \lcp{} cannot be solved in time $f(w)n^{o(w)}$, unless ETH fails and it can be solved in time $n^{O(w)}$, where $n$ is the size of the input graph, $w$ is the clique-width of the graph and $f$ is an arbitrary function of $w$. Next, we consider the parameters distance to cluster graphs, distance to co-cluster graphs and distance to threshold graphs, which are weaker than the parameter clique-width and show that the problem is fixed-parameter tractable (FPT) with respect to these parameters. Finally, we show that \lcp{} is NP-complete even on bipartite graphs and split graphs.


title: On the Road from Edge Computing to the Edge Mesh

abstract: Nowadays, we are witnessing the advent of the Internet of Things (EC) with numerous devices performing interactions between them or with end users. The huge number of devices leads to huge volumes of collected data that demand the appropriate processing. The 'legacy' approach is to rely on Cloud where increased computational resources can be adopted to realize any processing. However, even if the communication with the Cloud back end lasts for some seconds there are cases where problems in the network or the need for supporting real time applications require a reduced latency in the provision of responses/outcomes. Edge Computing (EC) comes into the scene as the 'solver' of the latency problem (and not only). Any processing can be performed close to data sources, i.e., at EC nodes having direct connection with IoT devices. Hence, an ecosystem of processing nodes can be present at the edge of the network giving the opportunity to apply novel services upon the collected data. Various challenges should be met before we talk about a fully automated ecosystem where EC nodes can cooperate or understand the status of them and the environment to be capable of efficiently serving end users or applications. In this paper, we perform a survey of the relevant research activities targeting to support the vision of Edge Mesh (EM), i.e., a 'cover' of intelligence upon the EC infrastructure. We present all the parts of the EC/EM framework starting from the necessary hardware and discussing research outcomes in every aspect of EC nodes functioning. We present technologies and theories adopted for data, tasks and resource management while discussing how (deep) machine learning and optimization techniques are adopted to solve various problems. Our aim is to provide a starting point for novel research to conclude efficient services/applications opening up the path to realize the future EC form.


title: Joint Transceiver and Large Intelligent Surface Design for Massive MIMO MmWave Systems

abstract: Large intelligent surface (LIS) has recently emerged as a potential low-cost solution to reshape the wireless propagation environment for improving the spectral efficiency. In this paper, we consider a downlink millimeter-wave (mmWave) multiple-input-multiple-output (MIMO) system, where an LIS is deployed to assist the downlink data transmission from a base station (BS) to a user equipment (UE). Both the BS and the UE are equipped with a large number of antennas, and a hybrid analog/digital precoding/combining structure is used to reduce the hardware cost and energy consumption. We aim to maximize the spectral efficiency by jointly optimizing the LIS's reflection coefficients and the hybrid precoder (combiner) at the BS (UE). To tackle this non-convex problem, we reformulate the complex optimization problem into a much more friendly optimization problem by exploiting the inherent structure of the effective (cascade) mmWave channel. A manifold optimization (MO)-based algorithm is then developed. Simulation results show that by carefully devising LIS's reflection coefficients, our proposed method can help realize a favorable propagation environment with a small channel matrix condition number. Besides, it can achieve a performance comparable to those of state-of-the-art algorithms, while at a much lower computational complexity.


title: Ulam stability of Jensen functional inequality in groups

abstract: In this paper we establish the Ulam stability of Jensen functional inequality in some classes of groups.


title: Learning Adaptive Language Interfaces through Decomposition

abstract: Our goal is to create an interactive natural language interface that efficiently and reliably learns from users to complete tasks in simulated robotics settings. We introduce a neural semantic parsing system that learns new high-level abstractions through decomposition: users interactively teach the system by breaking down high-level utterances describing novel behavior into low-level steps that it can understand. Unfortunately, existing methods either rely on grammars which parse sentences with limited flexibility, or neural sequence-to-sequence models that do not learn efficiently or reliably from individual examples. Our approach bridges this gap, demonstrating the flexibility of modern neural systems, as well as the one-shot reliable generalization of grammar-based methods. Our crowdsourced interactive experiments suggest that over time, users complete complex tasks more efficiently while using our system by leveraging what they just taught. At the same time, getting users to trust the system enough to be incentivized to teach high-level utterances is still an ongoing challenge. We end with a discussion of some of the obstacles we need to overcome to fully realize the potential of the interactive paradigm.


title: Hydrothermal synthesis and complete phase diagram of FeSe$_{1-x}$S$_{x}$ $(0 \leq x \leq 1)$ single crystals

abstract: We report the successful synthesis of FeSe$_{1-x}$S$_{x}$ single crystals with $x$ ranging from 0 to 1 via a hydrothermal method. A complete phase diagram of FeSe$_{1-x}$S$_{x}$ has been obtained based on resistivity and magnetization measurements. The nematicity is suppressed with increasing $x$, and a small superconducting dome appears within the nematic phase. Outside the nematic phase, the superconductivity is continuously suppressed and reaches a minimum $T_c$ at $x$ = 0.45; beyond this point, $T_c$ slowly increases until $x$ = 1. Intriguingly, an anomalous resistivity upturn with a characteristic temperature $T^*$ in the intermediate region of $0.31 \leq x \leq 0.71$ is observed. $T^{*}$ shows a dome-like behavior with a maximum value at $x$ = 0.45, which is opposite the evolution of $T_c$, indicating competition between $T^*$ and superconductivity. The origin of $T^*$ is discussed in detail. Furthermore, the normal state resistivity evolves from non-Fermi-liquid to Fermi-liquid behavior with S doping at low temperatures, accompanied by a reduction in electronic correlations. Our study addresses the lack of single crystals in the high-S doping region and provides a complete phase diagram, which will promote the study of relations among nematicity, superconductivity, and magnetism.


title: A kernel-independent sum-of-Gaussians method by de la Vall\'ee-Poussin sums

abstract: Approximation of interacting kernels by sum of Gaussians (SOG) is frequently required in many applications of scientific and engineering computing in order to construct efficient algorithms for kernel summation or convolution problems. In this paper, we propose a kernel-independent SOG method by introducing the de la Vall\'ee-Poussin sum and Chebyshev polynomials. The SOG works for general interacting kernels and the lower bound of Gaussian bandwidths is tunable and thus the Gaussians can be easily summed by fast Gaussian algorithms. The number of Gaussians can be further reduced via the model reduction based on the balanced truncation based on the square root method. Numerical results on the accuracy and model reduction efficiency show attractive performance of the proposed method.


title: Lexically Cohesive Neural Machine Translation with Copy Mechanism

abstract: Lexically cohesive translations preserve consistency in word choices in document-level translation. We employ a copy mechanism into a context-aware neural machine translation model to allow copying words from previous translation outputs. Different from previous context-aware neural machine translation models that handle all the discourse phenomena implicitly, our model explicitly addresses the lexical cohesion problem by boosting the probabilities to output words consistently. We conduct experiments on Japanese to English translation using an evaluation dataset for discourse translation. The results showed that the proposed model significantly improved lexical cohesion compared to previous context-aware models.


title: Detecting Foodborne Illness Complaints in Multiple Languages Using English Annotations Only

abstract: Health departments have been deploying text classification systems for the early detection of foodborne illness complaints in social media documents such as Yelp restaurant reviews. Current systems have been successfully applied for documents in English and, as a result, a promising direction is to increase coverage and recall by considering documents in additional languages, such as Spanish or Chinese. Training previous systems for more languages, however, would be expensive, as it would require the manual annotation of many documents for each new target language. To address this challenge, we consider cross-lingual learning and train multilingual classifiers using only the annotations for English-language reviews. Recent zero-shot approaches based on pre-trained multi-lingual BERT (mBERT) have been shown to effectively align languages for aspects such as sentiment. Interestingly, we show that those approaches are less effective for capturing the nuances of foodborne illness, our public health application of interest. To improve performance without extra annotations, we create artificial training documents in the target language through machine translation and train mBERT jointly for the source (English) and target language. Furthermore, we show that translating labeled documents to multiple languages leads to additional performance improvements for some target languages. We demonstrate the benefits of our approach through extensive experiments with Yelp restaurant reviews in seven languages. Our classifiers identify foodborne illness complaints in multilingual reviews from the Yelp Challenge dataset, which highlights the potential of our general approach for deployment in health departments.


title: Coordinate-space representation of a charged scalar particle propagator in a constant magnetic field expanded as a sum over the Landau levels

abstract: A coordinate-space representation for a charged scalar particle propagator in a constant magnetic field was obtained as a series over the Landau levels. Using the recently developed modified Fock-Schwinger method, an intermediate expression was constructed and symmetrized, thus, allowing for factorization of the series terms into two factors. The first one, a sum of Bessel functions, depends on time and $z$-coordinate, where the $z$-axis is chosen to be a direction of the magnetic field, and has a structure similar to the propagator of a free field. The second one, a product of a Laguerre polynomial and a damping exponential, depends on $x,y$-coordinates, which form a plane perpendicular to the direction of the magnetic field, and ensures the localized propagation in the $x,y$-plane.


title: Rationality of quotients by finite Heisenberg groups

abstract: We prove rationality of the quotient $\mathbb{C}^n / H_n$ for the finite Heisenberg group $H_n$, any $n \ge 1$, acting on $\mathbb{C}^n$ via its irreducible representation.


title: TaxoNN: A Light-Weight Accelerator for Deep Neural Network Training

abstract: Emerging intelligent embedded devices rely on Deep Neural Networks (DNNs) to be able to interact with the real-world environment. This interaction comes with the ability to retrain DNNs, since environmental conditions change continuously in time. Stochastic Gradient Descent (SGD) is a widely used algorithm to train DNNs by optimizing the parameters over the training data iteratively. In this work, first we present a novel approach to add the training ability to a baseline DNN accelerator (inference only) by splitting the SGD algorithm into simple computational elements. Then, based on this heuristic approach we propose TaxoNN, a light-weight accelerator for DNN training. TaxoNN can easily tune the DNN weights by reusing the hardware resources used in the inference process using a time-multiplexing approach and low-bitwidth units. Our experimental results show that TaxoNN delivers, on average, 0.97% higher misclassification rate compared to a full-precision implementation. Moreover, TaxoNN provides 2.1$\times$ power saving and 1.65$\times$ area reduction over the state-of-the-art DNN training accelerator.


title: Forbidden subgraphs of power graphs

abstract: The undirected power graph (or simply power graph) of a group $G$, denoted by $P(G)$, is a graph whose vertices are the elements of the group $G$, in which two vertices $u$ and $v$ are connected by an edge between if and only if either $u=v^i$ or $v=u^j$ for some $i$, $j$. A number of important graph classes, including perfect graphs, cographs, chordal graphs, split graphs, and threshold graphs, can be defined either structurally or in terms of forbidden induced subgraphs. We examine each of these five classes and attempt to determine for which groups $G$ the power graph $P(G)$ lies in the class under consideration. We give complete results in the case of nilpotent groups, and partial results in greater generality. In particular, the power graph is always perfect; and we determine completely the groups whose power graph is a threshold or split graph (the answer is the same for both classes). We give a number of open problems.


title: Primitive tuning via quasiconformal surgery

abstract: Using quasiconformal surgery, we prove that any primitive, postcritically-finite hyperbolic polynomial can be tuned with an arbitrary generalized polynomial with non-escaping critical points, generalizing a result of Douady-Hubbard for quadratic polynomials to the case of higher degree polynomials. This solves affirmatively a conjecture by Inou and Kiwi on surjectivity of the renormalization operator on higher degree polynomials in one complex variable.


title: Single-site-resolved imaging of ultracold atoms in a triangular optical lattice

abstract: We demonstrate single-site-resolved fluorescence imaging of ultracold $^{87}\mathrm{Rb}$ atoms in a triangular optical lattice by employing Raman sideband cooling. Combining a Raman transition at the D1 line and a photon scattering through an optical pumping of the D2 line, we obtain images with low background noise. The Bayesian optimisation of 11 experimental parameters for fluorescence imaging with Raman sideband cooling enables us to achieve single-atom detection with a high fidelity of $(96.3 \pm 1.3)$%. Single-atom and single-site resolved detection in a triangular optical lattice paves the way for the direct observation of spin correlations or entanglement in geometrically frustrated systems.


title: Autonomous Parking by Successive Convexification and Compound State Triggers

abstract: In this paper, we propose an algorithm for optimal generation of nonholonomic paths for planning parking maneuvers with a kinematic car model. We demonstrate the use of Successive Convexification algorithms (SCvx), which guarantee path feasibility and constraint satisfaction, for parking scenarios. In addition, we formulate obstacle avoidance with state-triggered constraints which enables the use of logical constraints in a continuous formulation of optimization problems. This paper contributes to the optimal nonholonomic path planning literature by demonstrating the use of SCvx and state-triggered constraints which allows the formulation of the parking problem as a single optimisation problem. The resulting algorithm can be used to plan constrained paths with cusp points in narrow parking environments.


title: Connecting the Dots Between Fact Verification and Fake News Detection

abstract: Fact verification models have enjoyed a fast advancement in the last two years with the development of pre-trained language models like BERT and the release of large scale datasets such as FEVER. However, the challenging problem of fake news detection has not benefited from the improvement of fact verification models, which is closely related to fake news detection. In this paper, we propose a simple yet effective approach to connect the dots between fact verification and fake news detection. Our approach first employs a text summarization model pre-trained on news corpora to summarize the long news article into a short claim. Then we use a fact verification model pre-trained on the FEVER dataset to detect whether the input news article is real or fake. Our approach makes use of the recent success of fact verification models and enables zero-shot fake news detection, alleviating the need of large-scale training data to train fake news detection models. Experimental results on FakenewsNet, a benchmark dataset for fake news detection, demonstrate the effectiveness of our proposed approach.


title: Single-valley-extended solutions with platforms of FKS equation

abstract: The Feigenbaum-Kadanoff-Shenker (FKS) equation is a nonlinear iterative functional equation, which characterizes the quasiperiodic route to chaos for circle maps. Instead of FKS equation, we put forward the second type of FKS equation. We use the iterative construction method to obtain a new kind of continuous solutions with platforms for this functional equation. We show some properties of these continuous solutions, and give one relationship of some solutions between FKS equation and the second type of FKS equation.


title: Towards Somaesthetics Inspired Games: Exploring the Influence of a Mirror Effect on Self-Presentation in a Public Setting

abstract: We report on an initial user study, which explores how players of an augmented mirror game, self-style or self-present themselves when they are allowed to see themselves in the mirror compared to when they do not see themselves. To this end, we customized an open source fruit slicing game into an interactive installation for an architecture museum and conducted with 36 visitors a field study. Based on an analysis of video recordings of participants we identified, for example significant differences in how often participants smile. Ultimately, presenting a self-image to gamers in a social setting resulted in behavior change, which we argue could be utilized carefully from a Somaesthetics perspective as an experience design feature in future games.


title: 2D Surface Phase Diagram of a Multicomponent Perovskite Oxide: La$_{0.8}$Sr$_{0.2}$MnO$_3$(110)

abstract: The many surface reconstructions of (110)-oriented lanthanum--strontium manganite (La$_{0.8}$Sr$_{0.2}$MnO$_3$, LSMO) were followed as a function of the oxygen chemical potential ($\mu_\text{O}$) and the surface cation composition. Decreasing $\mu_\text{O}$ causes Mn to migrate across the surface, enforcing phase separation into A-site-rich areas and a variety of composition-related, structurally diverse B-site-rich reconstructions. The composition of these phase-separated structures was quantified with scanning tunneling microscopy (STM), and these results were used to build a 2D phase diagram of the LSMO(110) equilibrium surface structures.


title: On $\tau$-tilting finiteness of the Schur algebra

abstract: We determined the $\tau$-tilting finiteness of Schur algebras over an algebraically closed field of arbitrary characteristic, except for a few small cases.


title: Total heat flux convergence in the calculation of 2d and 3d heat losses through building elements

abstract: Heat losses through the building envelope is one of the key factors in the calculation of the building energy balance. If steady-state heat conduction is observed, which is commonly used to assess the heat losses in building, there is an analytical solution for one-dimensional problem. For two and three-dimensional problems, especially for the complex geometry cases, one must use numerical methods to solve the heat conduction equation. To standardise two and three-dimensional calculation of heat losses through building elements, ISO 10211 standard can be used. The standard has four benchmark examples with criteria that must be satisfied to declare a method as a high-precision calculation method. A problem occurs for Case 1 of benchmark test because the analysed problem has a singular point due to discretely assigned Dirichlet boundary conditions. The reliability of the results around the singular point could be improved by the refinement of the mesh in the area around the singular point, but as a point of interest is the total heat flux that is entering the building element, and it must converge between subdivisions, this method is not good since the reliable result cannot be reached. The problem for the convergence is in the marginal node because the temperature gradient in it increases as the temperature difference remains constant and the distance between the corresponding nodes decreases. For that reason, Case 1 from the benchmark is inadequate because even if there is a discontinuity in temperature field on the boundary, there is an interval in which this change is to happen, and the heat flux has a theoretical limit which is not infinity. From the results of this research, it is shown that one should neglect a certain number of singular points in order to achieve the tolerance given by the standard since the temperature further from the marginal node is stable for any subdivision.


title: Entropy monotonicity and superstable cycles for the quadratic family revisited

abstract: The main result of this paper is a proof using real analysis of the monotonicity of the topological entropy for the family of quadratic maps, sometimes called Milnor's Monotonicity Conjecture. In contrast, the existing proofs rely in one way or another on complex analysis. Our proof is based on tools and algorithms previously developed by the authors and collaborators to compute the topological entropy of multimodal maps. Specifically, we use the number of transverse intersections of the map iterates with the so-called critical line. The approach is technically simple and geometrical. The same approach is also used to briefly revisit the superstable cycles of the quadratic maps, since both topics are closely related.


title: SIGNED: A Challenge-Response Based Interrogation Scheme for Simultaneous Watermarking and Trojan Detection

abstract: The emergence of distributed manufacturing ecosystems for electronic hardware involving untrusted parties has given rise to diverse trust issues. In particular, IP piracy, overproduction, and hardware Trojan attacks pose significant threats to digital design manufacturers. Watermarking has been one of the solutions employed by the semiconductor industry to overcome many of the trust issues. However, current watermarking techniques have low coverage, incur hardware overheads, and are vulnerable to removal or tampering attacks. Additionally, these watermarks cannot detect Trojan implantation attacks where an adversary alters a design for malicious purposes. We address these issues in our framework called SIGNED: Secure Lightweight Watermarking Scheme for Digital Designs. SIGNED relies on a challenge-response protocol based interrogation scheme for generating the watermark. SIGNED identifies sensitive regions in the target netlist and samples them to form a compact signature that is representative of the functional and structural characteristics of a design. We show that this signature can be used to simultaneously verify, in a robust manner, the provenance of a design, as well as any malicious alterations to it at any stage during design process. We evaluate SIGNED on the ISCAS85 and ITC benchmark circuits and obtain a detection accuracy of 87.61\% even for modifications as low as 5-gates. We further demonstrate that SIGNED can benefit from integration with a logic locking solution, where it can achieve increased protection against removal/tempering attacks and incurs lower overhead through judicious reuse of the locking logic for watermark creation.


title: Generalized Few-shot Semantic Segmentation

abstract: Training semantic segmentation models requires a large amount of finely annotated data, making it hard to quickly adapt to novel classes not satisfying this condition. Few-Shot Segmentation (FS-Seg) tackles this problem with many constraints. In this paper, we introduce a new benchmark, called Generalized Few-Shot Semantic Segmentation (GFS-Seg), to analyze the generalization ability of simultaneously segmenting the novel categories with very few examples and the base categories with sufficient examples. It is the first study showing that previous representative state-of-the-art FS-Seg methods fall short in GFS-Seg and the performance discrepancy mainly comes from the constrained setting of FS-Seg. To make GFS-Seg tractable, we set up a GFS-Seg baseline that achieves decent performance without structural change on the original model. Then, since context is essential for semantic segmentation, we propose the Context-Aware Prototype Learning (CAPL) that significantly improves performance by 1) leveraging the co-occurrence prior knowledge from support samples, and 2) dynamically enriching contextual information to the classifier, conditioned on the content of each query image. Both two contributions are experimentally shown to have substantial practical merit. Extensive experiments on Pascal-VOC and COCO manifest the effectiveness of CAPL, and CAPL generalizes well to FS-Seg by achieving competitive performance. Code is available at https://github.com/dvlab-research/GFS-Seg.


title: Relativism versus statistics in the microscopic foundation of thermodynamics

abstract: Highlights: \begin{itemize} \item Relativistic effect of crystal dynamics "freezing". \item Non-statistical model of thermodynamic equilibration. \end{itemize} The dynamics of oscillations of a one-dimensional atomic chain is investigated in the harmonic approximation, taking into account the relativistic effect of retardation of interactions. It is shown that all oscillations of the chain are damped. A non-statistical mechanism for the irreversible thermodynamic equilibration in many-body systems is proposed.


title: GuCNet: A Guided Clustering-based Network for Improved Classification

abstract: We deal with the problem of semantic classification of challenging and highly-cluttered dataset. We present a novel, and yet a very simple classification technique by leveraging the ease of classifiability of any existing well separable dataset for guidance. Since the guide dataset which may or may not have any semantic relationship with the experimental dataset, forms well separable clusters in the feature set, the proposed network tries to embed class-wise features of the challenging dataset to those distinct clusters of the guide set, making them more separable. Depending on the availability, we propose two types of guide sets: one using texture (image) guides and another using prototype vectors representing cluster centers. Experimental results obtained on the challenging benchmark RSSCN, LSUN, and TU-Berlin datasets establish the efficacy of the proposed method as we outperform the existing state-of-the-art techniques by a considerable margin.


title: Exploiting Knowledge Graphs for Facilitating Product/Service Discovery

abstract: Most of the existing techniques to product discovery rely on syntactic approaches, thus ignoring valuable and specific semantic information of the underlying standards during the process. The product data comes from different heterogeneous sources and formats giving rise to the problem of interoperability. Above all, due to the continuously increasing influx of data, the manual labeling is getting costlier. Integrating the descriptions of different products into a single representation requires organizing all the products across vendors in a single taxonomy. Practically relevant and quality product categorization standards are still limited in number; and that too in academic research projects where we can majorly see only prototypes as compared to industry. This work presents a cost-effective solution for e-commerce on the Data Web by employing an unsupervised approach for data classification and exploiting the knowledge graphs for matching. The proposed architecture describes available products in web ontology language OWL and stores them in a triple store. User input specifications for certain products are matched against the available product categories to generate a knowledge graph. This mullti-phased top-down approach to develop and improve existing, if any, tailored product recommendations will be able to connect users with the exact product/service of their choice.


title: Sign stability of mapping classes on marked surfaces I: empty boundary case

abstract: For a mapping class on a punctured surface, we prove that the pseudo-Anosov property is equivalent to the sign stability introduced in [IK19]. In particular we conclude that the algebraic entropies of the $\mathcal{A}$- and $\mathcal{X}$-cluster transformations induced by a mutation loop given by a pseudo-Anosov mapping class both coincide with its topological entropy.


title: Doubly charged scalars and vector-like leptons confronting the muon g-2 anomaly and Higgs vacuum stability

abstract: The present work introduces new scalar and fermionic degrees of freedom to the Standard Model. While the scalar sector is augmented by a complex scalar triplet and a doubly charged scalar singlet, the fermionic sector is extended by two copies of vector-like leptons. Of these, one copy is an $SU(2)_L$ singlet while the other, an $SU(2)_L$ doublet. We explain how this combination can offer a solution to the muon g-2 anomaly and also lead to non-zero neutrino masses. In addition, it is also shown that the parameter regions compliant with the two aforementioned issues can stabilise the electroweak vacuum till the Planck scale, something not possible within the Standard Model alone.


title: Stochastic model reduction: convergence and applications to climate equations

abstract: We study stochastic model reduction for evolution equations in infinite dimensional Hilbert spaces, and show the convergence to the reduced equations via abstract results of Wong-Zakai type for stochastic equations driven by a scaled Ornstein-Uhlenbeck process. Both weak and strong convergence are investigated, depending on the presence of quadratic interactions between reduced variables and driving noise. Finally, we are able to apply our results to a class of equations used in climate modeling.


title: On a class of canonical systems corresponding to matrix string equations: general-type and explicit fundamental solutions and Weyl--Titchmarsh theory

abstract: An important representation of the general-type fundamental solutions of the canonical systems corresponding to matrix string equations is established using linear similarity of a certain class of Volterra operators to the squared integration. Explicit fundamental solutions of these canonical systems are also constructed via the GBDT version of Darboux transformation. Examples and applications to dynamical canonical systems are given. Explicit solutions of the dynamical canonical systems are constructed as well. Three appendices are dedicated to the Weyl--Titchmarsh theory for canonical systems, transformation of a subclass of canonical systems into matrix string equations (and of a smaller subclass of canonical systems into matrix Schr\"odinger equations), and a linear similarity problem for Volterra operators.

categories: math.CA math-ph math.DS math.FA math.MP math.SP


title: Kinematic constraints beyond $z\simeq0$ using calibrated GRB correlations

abstract: The dynamics of the Universe are revised using high-redshift data from gamma-ray bursts to constrain cosmographic parameters by means of model-independent techniques. Considering samples from four gamma-ray burst correlations and two hierarchies up to $j_0$ and $s_0$, respectively, we derived limits over the expansion history of the Universe. Since cosmic data span outside $z\simeq0$, we investigated additional cosmographic methods such as auxiliary variables and Pad\'e approximations. Bezi\'er polynomials were employed to calibrate our correlations and heal the circularity problem. Several Markov chain Monte Carlo simulations were performed on the model-independently calibrated Amati, Ghirlanda, Yonetoku, and combo correlations to obtain $1$--$\sigma$ and $2$--$\sigma$ confidence levels and to test the standard cosmological model. Reasonable results are found up to $j_0$ and $s_0$ hierarchies, respectively, only partially alleviating the tension on local $H_0$ measurements as $j_0$ hierarchy is considered. Discussions on systematic errors have been extensively reported here. Our findings show that the $\Lambda$CDM model is not fully confirmed using gamma-ray bursts. Indications against a genuine cosmological constant are summarized and commented on in detail.


title: Towards Accurate Predictions of Carrier Mobilities and Thermoelectric Performances in 2D Materials

abstract: The interactions between electrons and lattice vibrational modes play the key role in determining the carrier transport properties, thermoelectric performance and other physical quantities related to phonons in semiconductors. However, for two-dimensional (2D) materials, the widely-used models for carrier transport only consider the interactions between electrons and some specific phonon modes, which usually leads to inaccruate predictions of electrons/phonons transport properties. In this work, comprehensive investigations on full electron-phonon couplings and their influences on carrier mobility and thermoelectric performances of 2D group-IV and V elemental monolayers were performed, and we also analyzed in details the selection rules on electron-phonon couplings using group-theory arguments. Our calculations revealed that, for the cases of shallow dopings where only intravalley scatterings are allowed, the contributions from optical phonon modes are significantly larger than those from acoustic phonon modes in group-IV elemental monolayers, and LA and some specific optical phonon modes contribute significantly to the total intravalley scatterings. When the doping increases and intervalley scatterings are allowed, the intervalley scatterings are much stronger than intravalley scatterings, and ZA/TA/LO phonon modes dominate the intervalley scatterings in monolayer Si, Ge and Sn. The dominant contributions to the total intervalley scatterings are ZA/TO in monolayer P, ZA/TO in monolayer As and TO/LO in monolayer Sb. Based on the thorough investigations on the full electron-phonon couplings, we predict accurately the carrier mobilities and thermoelectric figure of merits in these two elemental crystals, and reveal significant reductions when compared with the calculations based on the widely-used simplified model.


title: Nonparametric bounds for causal effects in imperfect randomized experiments

abstract: Nonignorable missingness and noncompliance can occur even in well-designed randomized experiments making the intervention effect that the experiment was designed to estimate nonidentifiable. Nonparametric causal bounds provide a way to narrow the range of possible values for a nonidentifiable causal effect with minimal assumptions. We derive novel bounds for the causal risk difference for a binary outcome and intervention in randomized experiments with nonignorable missingness caused by a variety of mechanisms and with or without noncompliance. We illustrate the use of the proposed bounds in our motivating data example of peanut consumption on the development of peanut allergies in infants.


title: Identifying causal channels of policy reforms with multiple treatments and different types of selection

abstract: We study the identification of channels of policy reforms with multiple treatments and different types of selection for each treatment. We disentangle reform effects into policy effects, selection effects, and time effects under the assumption of conditional independence, common trends, and an additional exclusion restriction on the non-treated. Furthermore, we show the identification of direct- and indirect policy effects after imposing additional sequential conditional independence assumptions on mediating variables. We illustrate the approach using the German reform of the allocation system of vocational training for unemployed persons. The reform changed the allocation of training from a mandatory system to a voluntary voucher system. Simultaneously, the selection criteria for participants changed, and the reform altered the composition of course types. We consider the course composition as a mediator of the policy reform. We show that the empirical evidence from previous studies reverses when considering the course composition. This has important implications for policy conclusions.


title: Partial FC: Training 10 Million Identities on a Single Machine

abstract: Face recognition has been an active and vital topic among computer vision community for a long time. Previous researches mainly focus on loss functions used for facial feature extraction network, among which the improvements of softmax-based loss functions greatly promote the performance of face recognition. However, the contradiction between the drastically increasing number of face identities and the shortage of GPU memories is gradually becoming irreconcilable. In this paper, we thoroughly analyze the optimization goal of softmax-based loss functions and the difficulty of training massive identities. We find that the importance of negative classes in softmax function in face representation learning is not as high as we previously thought. The experiment demonstrates no loss of accuracy when training with only 10\% randomly sampled classes for the softmax-based loss functions, compared with training with full classes using state-of-the-art models on mainstream benchmarks. We also implement a very efficient distributed sampling algorithm, taking into account model accuracy and training efficiency, which uses only eight NVIDIA RTX2080Ti to complete classification tasks with tens of millions of identities. The code of this paper has been made available https://github.com/deepinsight/insightface/tree/master/recognition/partial_fc.


title: End to End Binarized Neural Networks for Text Classification

abstract: Deep neural networks have demonstrated their superior performance in almost every Natural Language Processing task, however, their increasing complexity raises concerns. In particular, these networks require high expenses on computational hardware, and training budget is a concern for many. Even for a trained network, the inference phase can be too demanding for resource-constrained devices, thus limiting its applicability. The state-of-the-art transformer models are a vivid example. Simplifying the computations performed by a network is one way of relaxing the complexity requirements. In this paper, we propose an end to end binarized neural network architecture for the intent classification task. In order to fully utilize the potential of end to end binarization, both input representations (vector embeddings of tokens statistics) and the classifier are binarized. We demonstrate the efficiency of such architecture on the intent classification of short texts over three datasets and for text classification with a larger dataset. The proposed architecture achieves comparable to the state-of-the-art results on standard intent classification datasets while utilizing ~ 20-40% lesser memory and training time. Furthermore, the individual components of the architecture, such as binarized vector embeddings of documents or binarized classifiers, can be used separately with not necessarily fully binary architectures.


title: Numerical continuation of spiral waves in heteroclinic networks of cyclic dominance

abstract: Heteroclinic-induced spiral waves may arise in systems of partial differential equations that exhibit robust heteroclinic cycles between spatially uniform equilibria. Robust heteroclinic cycles arise naturally in systems with invariant subspaces and their robustness is considered with respect to perturbations that preserve these invariances. We make use of particular symmetries in the system to formulate a relatively low-dimensional spatial two-point boundary-value problem in Fourier space that can be solved efficiently in conjunction with numerical continuation. The standard numerical set-up is formulated on an annulus with small inner radius, and Neumann boundary conditions are used on both inner and outer radial boundaries. We derive and implement alternative boundary conditions that allow for continuing the inner radius to zero and so compute spiral waves on a full disk. As our primary example, we investigate the formation of heteroclinic-induced spiral waves in a reaction-diffusion model that describes the spatiotemporal evolution of three competing populations in a two-dimensional spatial domain--much like the Rock-Paper-Scissors game. We further illustrate the efficiency of our method with the computation of spiral waves in a larger network of cyclic dominance between five competing species, which describes the so-called Rock-Paper-Scissors-Lizard-Spock game.


title: Fractal-based modeling and spatial analysis of urban form and growth: a case study of Shenzhen in China

abstract: Fractal dimension curves of urban growth can be modeled with sigmoid functions, including logistic function and quadratic logistic function. Different types of logistic functions indicate different spatial dynamics. The fractal dimension curves of urban growth in western countries follows the common logistic function, while these curves of cities in northern China follows quadratic logistic function. Now we want to know whether all Chinese cities follow the same rules of urban evolution. This paper is devoted to exploring the fractals and fractal dimension properties of the city of Shenzhen in southern China. The urban region is divided into four subareas, ArcGIS technology, box-counting method is adopted to extract spatial datasets, and the least squares regression is employed to estimate fractal parameters. The results show that: (1) The urban form of Shenzhen city has clear fractal structure, but fractal dimension values of different subareas are different; (2) The fractal dimension growth curves of all the four study areas can only be modeled by the common logistic function, and the goodness of fit increases over time; (3) The peak of urban growth in Shenzhen had passed before 1986, the fractal dimension growth is approaching its maximum capacity. Conclusions can be reached that the urban form of Shenzhen bears characteristics of multifractals, the fractal structure has been becoming better gradually through self-organization, but its land resources are reaching the limits of growth. The fractal dimension curves of Shenzhen's urban growth are similar to those of European and American cities, but differ from those of the cities in northern China. This suggests that there is subtle different dynamic mechanisms of city development between northern and southern China.


title: Shot-noise limited, supercontinuum based optical coherence tomography

abstract: We present the first demonstration of shot-noise limited supercontinuum-based spectral domain optical coherence tomography (SD-OCT) with axial resolution of 5.9 $\mu$m at a center wavelength of 1370 nm. Current supercontinuum-based SD-OCT systems cannot be operated in the shot-noise limited detection regime because of severe pulse-to-pulse relative intensity noise of the supercontinuum source. To overcome this disadvantage we have developed a low-noise supercontinuum source based on an all-normal dispersion (ANDi) fiber, pumped by a femtosecond laser. The noise performance of our 90 MHz ANDi supercontinuum source is compared to that of two commercial sources operating at 80 and 320 MHz repetition rate. We show that the low noise of the ANDi supercontinuum source improves the OCT images significantly in terms of both higher contrast, better sensitivity, and improved penetration. From SD-OCT imaging of skin, retina, and multi-layer stacks we conclude that supercontinuum-based SD-OCT can enter the domain of shot-noise limited detection.


title: Topologically Protected Steady Cycles in an Ice-Like Mechanical Metamaterial

abstract: Competing ground states may lead to topologically constrained excitations such as domain walls or quasiparticles, which govern metastable states and their dynamics. Domain walls and more exotic topological excitations are well studied in magnetic systems such as artificial spin ice, in which nanoscale magnetic dipoles are placed on geometrically frustrated lattices, giving rise to highly degenerate ground states. We propose a mechanical spin-ice constructed from a lattice of floppy, bistable square unit cells. We compare the domain wall excitations that arise in this metamaterial to their magnetic counterparts, finding that new behaviors emerge in this overdamped mechanical system. By tuning the ratios of the internal elements of the unit cell, we control the curvature and propagation speed of internal domain walls. We change the domain wall morphology from a binary, strictly spin-like regime, to a more continuous, elastic regime. In the elastic regime, we inject, manipulate, and expel domain walls via textured forcing at the boundaries. The system exhibits dynamical hysteresis, and we find a first-order dynamical transition as a function of the driving frequency. We demonstrate a forcing protocol that produces multiple, topologically-distinct steady cycles, which are protected by the differences in their internal domain wall arrangements. These distinct steady cycles rapidly proliferate as the complexity of the applied forcing texture is increased, thus suggesting that such mechanical systems could serve as useful model systems to study multistability, glassiness, and memory in materials.


title: On edge-weighted mean eccentricity of graphs

abstract: Let $G$ be a connected edge-weighted graph of order $n$ and size $m$. Let $w:E(G)\rightarrow \mathbb{R}^{\geq 0}$ be the weighting function. We assume that $w$ is normalised, that is, $\sum_{e\in E(G)} w(e)=m$. The weighted distance $d_w(u,v)$ between any two vertices $u$ and $v$ is the least weight between them and the eccentricity $e_w(v)$ of a vertex $v$ is the weighted distance from $v$ to a vertex farthest from it in $G$. The mean(average) eccentricity of $G$, $avec(G,w)$, is the (weighted) mean of all eccentricities in $G$. We obtain upper and lower bounds on $avec(G,w)$ in terms of $n$, $m$ or edge-connectivity $\lambda$ for two cases: $G$ is a tree and $G$ is connected but not a tree. In addition, we obtain the Nordhaus-Gaddum-type results for edge-weighted average eccentricity.


title: Machine Translation of Mathematical Text

abstract: We have implemented a machine translation system, the PolyMath Translator, for LaTeX documents containing mathematical text. The current implementation translates English LaTeX to French LaTeX, attaining a BLEU score of 53.5 on a held-out test corpus of mathematical sentences. It produces LaTeX documents that can be compiled to PDF without further editing. The system first converts the body of an input LaTeX document into English sentences containing math tokens, using the pandoc universal document converter to parse LaTeX input. We have trained a Transformer-based translator model, using OpenNMT, on a combined corpus containing a small proportion of domain-specific sentences. Our full system uses both this Transformer model and Google Translate, the latter being used as a backup to better handle linguistic features that do not appear in our training dataset. If the Transformer model does not have confidence in its translation, as determined by a high perplexity score, then we use Google Translate with a custom glossary. This backup was used 26% of the time on our test corpus of mathematical sentences. The PolyMath Translator is available as a web service at www.polymathtrans.ai.


title: Controllable Multi-Character Psychology-Oriented Story Generation

abstract: Story generation, which aims to generate a long and coherent story automatically based on the title or an input sentence, is an important research area in the field of natural language generation. There is relatively little work on story generation with appointed emotions. Most existing works focus on using only one specific emotion to control the generation of a whole story and ignore the emotional changes in the characters in the course of the story. In our work, we aim to design an emotional line for each character that considers multiple emotions common in psychological theories, with the goal of generating stories with richer emotional changes in the characters. To the best of our knowledge, this work is first to focuses on characters' emotional lines in story generation. We present a novel model-based attention mechanism that we call SoCP (Storytelling of multi-Character Psychology). We show that the proposed model can generate stories considering the changes in the psychological state of different characters. To take into account the particularity of the model, in addition to commonly used evaluation indicators(BLEU, ROUGE, etc.), we introduce the accuracy rate of psychological state control as a novel evaluation metric. The new indicator reflects the effect of the model on the psychological state control of story characters. Experiments show that with SoCP, the generated stories follow the psychological state for each character according to both automatic and human evaluations.


title: Horizontal and Vertical Log-Concavity

abstract: Horizontal and vertical generating functions and recursion relations have been investigated by Comtet for triangular double sequences. In this paper we investigate the horizontal and vertical log-concavity of triangular sequences assigned to polynomials which show up in combinatorics, number theory and physics. This includes Laguerre polynomials, the Pochhammer polynomials, the D'Arcais and Nekrasov--Okounkov polynomials.


title: Formation of spiral structure from the violent relaxation of self-gravitating disks

abstract: We present the numerical study of the formation of spiral structure in the context of violent relaxation. Initial conditions are the out-of-equilibrium disks of self-gravitating particles in rigid rotation. By that mechanism, robust and non-stationary spiral arms can be formed within a few free-fall times by the shearing of the mass ejection following the collapse. With a closer look, we find different properties of the arms in connection with the initial configuration. The winding degree tends to increase with initial angular speed provided that a disk is thin. If disk surface is circular, both number and position of arms are governed by the Poissonian density fluctuations that produce more arms as more particles are introduced. On the contrary, if the surface ellipticity is imposed, the number of arms and their placement are effectively controlled. Otherwise, the increase of thickness leads to a complicated outcome since the number of arms and winding degree are less effectively controlled. We speculate that this complexity is caused by a strong non-axisymmetric field during the violent relaxation that disorganizes the pre-collapse motion and the concentration of particles.


title: An Energy-Efficient High Definition Map Data Distribution Mechanism for Autonomous Driving

abstract: Autonomous Driving is now the promising future of transportation. As one basis for autonomous driving, High Definition Map (HD map) provides high-precision descriptions of the environment, therefore it enables more accurate perception and localization while improving the efficiency of path planning. However, an extremely large amount of map data needs to be transmitted during driving, thus posing great challenge for real-time and safety requirements for autonomous driving. To this end, we first demonstrate how the existing data distribution mechanism can support HD map services. Furthermore, considering the constraints of vehicle power, vehicle speed, base station bandwidth, etc., we propose a HD map data distribution mechanism on top of Vehicle-to-Infrastructure (V2I) data transmission. By this mechanism, the map provision task is allocated to the selected RSU nodes and transmits proportionate HD map data cooperatively. Their works on map data loading aims to provide in-time HD map data service with optimized in-vehicle energy consumption. Finally, we model the selection of RSU nodes into a partial knapsack problem and propose a greedy strategy-based data transmission algorithm. Experimental results confirm that within limited energy consumption, the proposed mechanism can ensure HD map data service by coordinating multiple RSUs with the shortest data transmission time.


title: A Practical Tutorial on Graph Neural Networks

abstract: Graph neural networks (GNNs) have recently grown in popularity in the field of artificial intelligence (AI) due to their unique ability to ingest relatively unstructured data types as input data. Although some elements of the GNN architecture are conceptually similar in operation to traditional neural networks (and neural network variants), other elements represent a departure from traditional deep learning techniques. This tutorial exposes the power and novelty of GNNs to AI practitioners by collating and presenting details regarding the motivations, concepts, mathematics, and applications of the most common and performant variants of GNNs. Importantly, we present this tutorial concisely, alongside practical examples, thus providing a practical and accessible tutorial on the topic of GNNs.


title: Guanidinium can both Cause and Prevent the Hydrophobic Collapse of Biomacromolecules

abstract: A combination of Fourier transform infrared and phase transition measurements as well as molecular computer simulations, and thermodynamic modeling were performed to probe the mechanisms by which guanidinium salts influence the stability of the collapsed versus uncollapsed state of an elastin-like polypeptide (ELP), an uncharged thermoresponsive polymer. We found that the cation's action was highly dependent upon the counteranion with which it was paired. Specifically, Gnd+ was depleted from the ELP/water interface and was found to stabilize the collapsed state of the macromolecule when paired with well-hydrated anions such as sulfate. Stabilization in this case occurred via an excluded volume (or depletion) effect, whereby sulfate was strongly partitioned away from the ELP/water interface. Intriguingly, at low salt concentrations, Gnd+ was also found to stabilize the collapsed state of the ELP when paired with SCN-, which is a strong binder for the ELP. In this case, the anion and cation were both found to be enriched in the collapsed state of the polymer. The collapsed state was favored because the Gnd+ crosslinked the polymer chains together. Moreover, the anion helped partition Gnd+ to the polymer surface. At higher salt concentrations (>1.5 M), GndSCN switched to stabilizing the uncollapsed state because a sufficient amount of Gnd+ and SCN- partitioned to the polymer surface to prevent cross-linking from occurring. Finally, in a third case, it was found that salts which interacted in an intermediate fashion with the polymer (e.g. GndCl) favored the uncollapsed conformation at all salt concentrations.


title: Transition radiation from a Dirac particle wave packet traversing a mirror

abstract: The explicit expression for the inclusive probability to record a photon created in transition radiation from a one Dirac particle wave packet traversing an ideally conducting plate is derived in the leading order of perturbation theory. The anomalous magnetic moment of the Dirac particle is taken into account. It is shown that the quantum corrections to transition radiation from an electrically charged particle give rise to production of photons with polarization vector orthogonal to the reaction plane ($E$-plane). These corrections result from both the quantum recoil and the finite size of a wave packet. As for transition radiation produced by a neutron falling normally onto the conducting plate, the probability to detect a photon with polarization vector lying in the reaction plane does not depend on the observation angle and the energy of the incident particle. The peculiarities of transition radiation stemming from different shapes of the particle wave packet are investigated. In particular, the transition radiation produced by the wave packet of one twisted Dirac particle is described. The comparison with classical approach to transition radiation is given and the quantum formula for the inclusive probability to detect a photon radiated by the $N$-particle wave packet is derived.


title: Groundstates and infinitely many high energy solutions to a class of nonlinear Schr\"odinger-Poisson systems

abstract: We study a nonlinear Schr\"{o}dinger-Poisson system which reduces to the nonlinear and nonlocal equation \[- \Delta u+ u + \lambda^2 \left(\frac{1}{\omega|x|^{N-2}}\star \rho u^2\right) \rho(x) u = |u|^{q-1} u \quad x \in \mathbb R^N, \] where $\omega = (N-2)|\mathbb{S}^{N-1}|,$ $\lambda>0,$ $q\in(2,2^{\ast} -1),$ $\rho:\mathbb R^N \to \mathbb R$ is nonnegative and locally bounded, $N=3,4,5$ and $2^*=2N/(N-2)$ is the critical Sobolev exponent. We prove existence and multiplicity of solutions working on a suitable finite energy space and under two separate assumptions which are compatible with instances where loss of compactness phenomena may occur.


title: Specilized day trading -- a new view on an old game

abstract: After the U.S market earned strong returns in 2003, day trading made a comeback and once again became a popular trading method among traders. Although there is no comprehensive empirical evidence available to answer the question do individual day traders make money, there is a number of studies that point out that only few are able to consistently earn profits sufficient to cover transaction costs and thus make money. The day trading concept of buying and selling stocks on margin alone suggests that it is more risky than the usual going long way of making profit. This paper offers a new approach to day trading, an approach that eliminates some of the risks of day trading through specialization. The concept is that the trader should specialize himself in just one (blue chip) stock and use existing day trading techniques (trend following, playing news, range trading, scalping, technical analysis, covering spreads) to make money.


title: A new mechanism of structural transition in 2D Hertzian spheres in the presence of random pinning

abstract: Using molecular dynamics simulation we have investigated the influence of random pinning on the phase diagram and melting scenarios of a two-dimensional (2D) system with the Hertz potential for $\alpha=5/2$. For the first time it has been shown that random pinning can cardinally change the mechanism of first-order transition between the different crystalline phases (triangular and square) by virtue of generating hexatic and tetratic phases: a triangular crystal to hexatic transition is of the continuous Berezinskii-Kosterlitz-Thouless (BKT) type, a hexatic to tetratic transition is of the first-order, and finally, a continuous BKT type transition from tetratic to the square crystal.


title: Resolving Tensions Surrounding Massive Pulleys

abstract: The distribution of string tension on the contact line between an ideal string and a massive pulley is a frequently-discussed but incompletely-posed problem that confronts students in introductory mechanics. We highlight ambiguities in the usual presentation of this problem by the massive Atwood's machine and discuss two compact resolutions that treat situations where the pulley or the string elastically deform. We propose experiments that can be developed in an intermediate laboratory to determine the tension profile.


title: General stochastic separation theorems with optimal bounds

abstract: Phenomenon of stochastic separability was revealed and used in machine learning to correct errors of Artificial Intelligence (AI) systems and analyze AI instabilities. In high-dimensional datasets under broad assumptions each point can be separated from the rest of the set by simple and robust Fisher's discriminant (is Fisher separable). Errors or clusters of errors can be separated from the rest of the data. The ability to correct an AI system also opens up the possibility of an attack on it, and the high dimensionality induces vulnerabilities caused by the same stochastic separability that holds the keys to understanding the fundamentals of robustness and adaptivity in high-dimensional data-driven AI. To manage errors and analyze vulnerabilities, the stochastic separation theorems should evaluate the probability that the dataset will be Fisher separable in given dimensionality and for a given class of distributions. Explicit and optimal estimates of these separation probabilities are required, and this problem is solved in present work. The general stochastic separation theorems with optimal probability estimates are obtained for important classes of distributions: log-concave distribution, their convex combinations and product distributions. The standard i.i.d. assumption was significantly relaxed. These theorems and estimates can be used both for correction of high-dimensional data driven AI systems and for analysis of their vulnerabilities. The third area of application is the emergence of memories in ensembles of neurons, the phenomena of grandmother's cells and sparse coding in the brain, and explanation of unexpected effectiveness of small neural ensembles in high-dimensional brain.


title: Filtered cocategories

abstract: We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in $\mathbb L$-filtered setting. The difference with the existing approaches: we do not impose any restriction on $\Lambda$-modules of morphisms (unlike Fukaya and collaborators), we consider a wider class of filtrations than De~Deken and Lowen (including directed groups $\mathbb L$). Results for completed filtered conilpotent cocategories include: cofunctors and coderivations with value in completed tensor cocategory are described, a partial internal hom is constructed as the tensor cocategory of certain coderivation quiver, when the second argument is a completed tensor cocategory.


title: Data Agnostic RoBERTa-based Natural Language to SQL Query Generation

abstract: Relational databases are among the most widely used architectures to store massive amounts of data in the modern world. However, there is a barrier between these databases and the average user. The user often lacks the knowledge of a query language such as SQL required to interact with the database. The NL2SQL task aims at finding deep learning approaches to solve this problem by converting natural language questions into valid SQL queries. Given the sensitive nature of some databases and the growing need for data privacy, we have presented an approach with data privacy at its core. We have passed RoBERTa embeddings and data-agnostic knowledge vectors into LSTM based submodels to predict the final query. Although we have not achieved state of the art results, we have eliminated the need for the table data, right from the training of the model, and have achieved a test set execution accuracy of 76.7%. By eliminating the table data dependency while training we have created a model capable of zero shot learning based on the natural language question and table schema alone.


title: Advanced Dropout: A Model-free Methodology for Bayesian Dropout Optimization

abstract: Due to lack of data, overfitting ubiquitously exists in real-world applications of deep neural networks (DNNs). We propose advanced dropout, a model-free methodology, to mitigate overfitting and improve the performance of DNNs. The advanced dropout technique applies a model-free and easily implemented distribution with parametric prior, and adaptively adjusts dropout rate. Specifically, the distribution parameters are optimized by stochastic gradient variational Bayes in order to carry out an end-to-end training. We evaluate the effectiveness of the advanced dropout against nine dropout techniques on seven computer vision datasets (five small-scale datasets and two large-scale datasets) with various base models. The advanced dropout outperforms all the referred techniques on all the datasets.We further compare the effectiveness ratios and find that advanced dropout achieves the highest one on most cases. Next, we conduct a set of analysis of dropout rate characteristics, including convergence of the adaptive dropout rate, the learned distributions of dropout masks, and a comparison with dropout rate generation without an explicit distribution. In addition, the ability of overfitting prevention is evaluated and confirmed. Finally, we extend the application of the advanced dropout to uncertainty inference, network pruning, text classification, and regression. The proposed advanced dropout is also superior to the corresponding referred methods. Codes are available at https://github.com/PRIS-CV/AdvancedDropout.


title: Unknotting numbers and crossing numbers of spatial embeddings of a planar graph

abstract: It is known that the unknotting number $u(L)$ of a link $L$ is less than or equal to half the crossing number $c(L)$ of $L$. We show that there are a planar graph $G$ and its spatial embedding $f$ such that the unknotting number $u(f)$ of $f$ is greater than half the crossing number $c(f)$ of $f$. We study relations between unknotting number and crossing number of spatial embedding of a planar graph in general.


title: Theoretical and practical challenges of using three ammeter or tree voltmeter methods in teaching

abstract: The tree ammeter method and the three voltmeter method are used for measurements of power. More specifically, they are used to calculate the power factor of a specific load. Both methods are used on the Fundamentals of electrical engineering course in professional study of electrical engineering at the Zagreb University of Applied Sciences as an introduction to measurements of power and phasor arithmetic. Both methods are susceptible to accuracy problems caused by small errors in measuring devices. These accuracy problems in specific scenarios that were used during the course presented an opportunity to educate students on the difference of theory and its practical application. This paper examines our solution to the perceived accuracy problems and discusses the changes that were made in course material and teaching methods to highlight the difference between theory and practice.


title: Telerobotic Operation of Intensive Care Unit Ventilators

abstract: Since the first reports of a novel coronavirus (SARS-CoV-2) in December 2019, over 33 million people have been infected worldwide and approximately 1 million people worldwide have died from the disease caused by this virus, COVID-19. In the US alone, there have been approximately 7 million cases and over 200,000 deaths. This outbreak has placed an enormous strain on healthcare systems and workers. Severe cases require hospital care, and 8.5\% of patients require mechanical ventilation in an intensive care unit (ICU). One major challenge is the necessity for clinical care personnel to don and doff cumbersome personal protective equipment (PPE) in order to enter an ICU unit to make simple adjustments to ventilator settings. Although future ventilators and other ICU equipment may be controllable remotely through computer networks, the enormous installed base of existing ventilators do not have this capability. This paper reports the development of a simple, low cost telerobotic system that permits adjustment of ventilator settings from outside the ICU. The system consists of a small Cartesian robot capable of operating a ventilator touch screen with camera vision control via a wirelessly connected tablet master device located outside the room. Engineering system tests demonstrated that the open-loop mechanical repeatability of the device was 7.5\,mm, and that the average positioning error of the robotic finger under visual servoing control was 5.94\,mm. Successful usability tests in a simulated ICU environment were carried out and are reported. In addition to enabling a significant reduction in PPE consumption, the prototype system has been shown in a preliminary evaluation to significantly reduce the total time required for a respiratory therapist to perform typical setting adjustments on a commercial ventilator, including donning and doffing PPE, from 271 seconds to 109 seconds.


title: Towards Accurate and Reliable Energy Measurement of NLP Models

abstract: Accurate and reliable measurement of energy consumption is critical for making well-informed design choices when choosing and training large scale NLP models. In this work, we show that existing software-based energy measurements are not accurate because they do not take into account hardware differences and how resource utilization affects energy consumption. We conduct energy measurement experiments with four different models for a question answering task. We quantify the error of existing software-based energy measurements by using a hardware power meter that provides highly accurate energy measurements. Our key takeaway is the need for a more accurate energy estimation model that takes into account hardware variabilities and the non-linear relationship between resource utilization and energy consumption. We release the code and data at https://github.com/csarron/sustainlp2020-energy.


title: A low-rank Lie-Trotter splitting approach for nonlinear fractional complex Ginzburg-Landau equations

abstract: Fractional Ginzburg-Landau equations as the generalization of the classical one have been used to describe various physical phenomena. In this paper, we propose a numerical integration method for solving space fractional Ginzburg-Landau equations based on a dynamical low-rank approximation. We first approximate the space fractional derivatives by using a fractional centered difference method. Then, the resulting matrix differential equation is split into a stiff linear part and a nonstiff (nonlinear) one. For solving these two subproblems, a dynamical low-rank approach is used. The convergence of our method is proved rigorously. Numerical examples are reported which show that the proposed method is robust and accurate.