title: XML Signature Wrapping Still Considered Harmful: A Case Study on the Personal Health Record in Germany

abstract: XML Signature Wrapping (XSW) has been a relevant threat to web services for 15 years until today. Using the Personal Health Record (PHR), which is currently under development in Germany, we investigate a current SOAP-based web services system as a case study. In doing so, we highlight several deficiencies in defending against XSW. Using this real-world contemporary example as motivation, we introduce a guideline for more secure XML signature processing that provides practitioners with easier access to the effective countermeasures identified in the current state of research.


title: Yet another way of calculating moments of the Kesten's distribution and its consequences for Catalan numbers and Catalan triangles

abstract: We calculate moments of the so-called Kesten distribution by means of the expansion of the denominator of the density of this distribution and then integrate all summands with respect to the semicircle distribution. By comparing this expression with the formulae for the moments of Kesten's distribution obtained by other means, we find identities involving polynomials whose power coefficients are closely related to Catalan numbers, Catalan triangles, binomial coefficients. Finally, as applications of these identities we obtain various interesting relations between the aforementioned numbers, also concerning Lucas, Fibonacci and Fine numbers.


title: Discussion on Competition for Spatial Statistics for Large Datasets

abstract: We discuss the experiences and results of the AppStatUZH team's participation in the comprehensive and unbiased comparison of different spatial approximations conducted in the Competition for Spatial Statistics for Large Datasets. In each of the different sub-competitions, we estimated parameters of the covariance model based on a likelihood function and predicted missing observations with simple kriging. We approximated the covariance model either with covariance tapering or a compactly supported Wendland covariance function.


title: Formal Global Perturbative Quantization of the Rozansky-Witten Model in the BV-BFV Formalism

abstract: We describe a globalization construction for the Rozansky-Witten model in the BV-BFV formalism for a source manifold with and without boundary in the classical and quantum case. After having introduced the necessary background, we define an AKSZ sigma model, which, upon globalization through notions of formal geometry extended appropriately to our case, is shown to reduce to the Rozansky-Witten model. The relations with other relevant constructions in the literature are discussed. Moreover, we split the model as a $BF$-like theory and we construct a perturbative quantization of the model in the quantum BV-BFV framework. In this context, we are able to prove the modified differential Quantum Master Equation and the flatness of the quantum Grothendieck BFV operator. Additionally, we provide a construction of the BFV boundary operator in some cases.


title: Prediction of the facial growth direction with Machine Learning methods

abstract: First attempts of prediction of the facial growth (FG) direction were made over half of a century ago. Despite numerous attempts and elapsed time, a satisfactory method has not been established yet and the problem still poses a challenge for medical experts. To our knowledge, this paper is the first Machine Learning approach to the prediction of FG direction. Conducted data analysis reveals the inherent complexity of the problem and explains the reasons of difficulty in FG direction prediction based on 2D X-ray images. To perform growth forecasting, we employ a wide range of algorithms, from logistic regression, through tree ensembles to neural networks and consider three, slightly different, problem formulations. The resulting classification accuracy varies between 71% and 75%.


title: Interactive Object Segmentation with Dynamic Click Transform

abstract: In the interactive segmentation, users initially click on the target object to segment the main body and then provide corrections on mislabeled regions to iteratively refine the segmentation masks. Most existing methods transform these user-provided clicks into interaction maps and concatenate them with image as the input tensor. Typically, the interaction maps are determined by measuring the distance of each pixel to the clicked points, ignoring the relation between clicks and mislabeled regions. We propose a Dynamic Click Transform Network~(DCT-Net), consisting of Spatial-DCT and Feature-DCT, to better represent user interactions. Spatial-DCT transforms each user-provided click with individual diffusion distance according to the target scale, and Feature-DCT normalizes the extracted feature map to a specific distribution predicted from the clicked points. We demonstrate the effectiveness of our proposed method and achieve favorable performance compared to the state-of-the-art on three standard benchmark datasets.


title: TS2Vec: Towards Universal Representation of Time Series

abstract: This paper presents TS2Vec, a universal framework for learning representations of time series in an arbitrary semantic level. Unlike existing methods, TS2Vec performs contrastive learning in a hierarchical way over augmented context views, which enables a robust contextual representation for each timestamp. Furthermore, to obtain the representation of an arbitrary sub-sequence in the time series, we can apply a simple aggregation over the representations of corresponding timestamps. We conduct extensive experiments on time series classification tasks to evaluate the quality of time series representations. As a result, TS2Vec achieves significant improvement over existing SOTAs of unsupervised time series representation on 125 UCR datasets and 29 UEA datasets. The learned timestamp-level representations also achieve superior results in time series forecasting and anomaly detection tasks. A linear regression trained on top of the learned representations outperforms previous SOTAs of time series forecasting. Furthermore, we present a simple way to apply the learned representations for unsupervised anomaly detection, which establishes SOTA results in the literature. The source code is publicly available at https://github.com/yuezhihan/ts2vec.


title: Buckling of graphene/MoS$_2$ van der Waals heterostructures: the misfit strain effect

abstract: Van der Waals heterostructures are constructed by stacking different atomic layers and can inherit many novel electronic and optical properties from the constituting atomic layers. Mechanical stability is of key importance for the high performance of nano devices based on the van der Waals heterostructure. In particular, buckling instability is a critical mechanical issue for the heterostructure due to its two-dimensional nature. Using graphene/MoS$_2$ heterostructure as an example, the present work demonstrates the relationship between the buckling instability and the inevitable misfit strain in the heterostructure by molecular dynamics simulations. The misfit strain has rather different effects on the buckling phenomenon depending on the magnitude of the misfit strain. (1) For negative misfit strain, the buckling stability of the heterostructure is reduced by the misfit strain. It is because the graphene layer, which initiates the buckling process in the heterostructure of negative misfit strain, is pre-compressed by the misfit strain that accelerates the buckling of the graphene layer. (2) For small positive misfit strain, the buckling stability for the graphene/MoS$_2$ heterostructure is elevated. The underlying mechanism is that the graphene layer initiates the buckling process of the heterostructure and is pre-stretched by the small positive misfit strain, which decelerates the buckling of the graphene layer. (3) For large positive misfit strain, the graphene layer is pre-stretched while the MoS$_2$ layer is considerably pre-compressed, so the buckling of the heterostructure is initiated by the MoS$_2$ layer. As a consequence, the buckling stability of the graphene/MoS$_2$ heterostructure is reduced by the increase of large positive misfit strain. These findings shall be valuable for understanding mechanical properties of van der Waals heterostructures.


title: A Condense-then-Select Strategy for Text Summarization

abstract: Select-then-compress is a popular hybrid, framework for text summarization due to its high efficiency. This framework first selects salient sentences and then independently condenses each of the selected sentences into a concise version. However, compressing sentences separately ignores the context information of the document, and is therefore prone to delete salient information. To address this limitation, we propose a novel condense-then-select framework for text summarization. Our framework first concurrently condenses each document sentence. Original document sentences and their compressed versions then become the candidates for extraction. Finally, an extractor utilizes the context information of the document to select candidates and assembles them into a summary. If salient information is deleted during condensing, the extractor can select an original sentence to retain the information. Thus, our framework helps to avoid the loss of salient information, while preserving the high efficiency of sentence-level compression. Experiment results on the CNN/DailyMail, DUC-2002, and Pubmed datasets demonstrate that our framework outperforms the select-then-compress framework and other strong baselines.


title: A physical model for indirect noise in non-isentropic nozzles: Transfer functions and stability

abstract: We propose a mathematical model from physical principles to predict the sound generated in nozzles with dissipation. The focus is on the sound generated from the acceleration of temperature inhomogeneities (also known as entropy waves), which is referred to as indirect noise. First, we model the dissipation caused by flow recirculation and wall friction with a friction factor, which enables us to derive quasi-one-dimensional equations from conservation laws. The model is valid for both compact nozzles and nozzles with a spatial extent. Second, the predictions from the proposed model are compared against the experimental data available in the literature. Third, we compute the nozzle transfer functions for a range of Helmholtz numbers and friction factors. It is found that the friction and the Helmholtz number have a significant effect on the gain/phase of the reflected and transmitted waves. The analysis is performed from subsonic to supersonic regimes (with and without shock waves). The acoustic transfer functions vary significantly because of non-isentropic effects and the Helmholtz number, in particular, in the subsonic-choked regime. Finally, we calculate the effect that the friction of a nozzle guide vane has on thermoacoustic stability. It is found that the friction and the Helmholtz number can change thermoacoustic stability from a linearly stable regime to a linearly unstable regime. The study opens up new possibilities for the accurate prediction of indirect noise in realistic nozzles with implications on both noise emissions and thermoacoustic stability. nozzles with implications on both noise emissions and thermoacoustic stability.


title: Isogeometric de Rham complex discretization in solid toroidal domains

abstract: In this work we define a spline complex preserving the cohomological structure of the continuous de Rham complex when the underlying physical domain is a toroidal solid. In the spirit of the isogeometric analysis, the spaces involved will be defined as pushforward of suitable spline spaces on a parametric domain. The singularity of the parametrization of the solid will demand the imposition of smoothness constraints on the full tensor product spline spaces in the parametric domain to properly set up the discrete complex on the physical domain.


title: Neural Network Classifier as Mutual Information Evaluator

abstract: Cross-entropy loss with softmax output is a standard choice to train neural network classifiers. We give a new view of neural network classifiers with softmax and cross-entropy as mutual information evaluators. We show that when the dataset is balanced, training a neural network with cross-entropy maximises the mutual information between inputs and labels through a variational form of mutual information. Thereby, we develop a new form of softmax that also converts a classifier to a mutual information evaluator when the dataset is imbalanced. Experimental results show that the new form leads to better classification accuracy, in particular for imbalanced datasets.


title: Informative Class Activation Maps

abstract: We study how to evaluate the quantitative information content of a region within an image for a particular label. To this end, we bridge class activation maps with information theory. We develop an informative class activation map (infoCAM). Given a classification task, infoCAM depict how to accumulate information of partial regions to that of the entire image toward a label. Thus, we can utilise infoCAM to locate the most informative features for a label. When applied to an image classification task, infoCAM performs better than the traditional classification map in the weakly supervised object localisation task. We achieve state-of-the-art results on Tiny-ImageNet.


title: Pricing Social Visibility Service in Online Social Networks: Modeling and Algorithms

abstract: Online social networks (OSNs) such as YoutTube, Instagram, Twitter, Facebook, etc., serve as important platforms for users to share their information or content to friends or followers. Oftentimes, users want to enhance their social visibility, as it can make their contents, i.e., opinions, videos, pictures, etc., attract attention from more users, which in turn may bring higher commercial benefit to them. Motivated by this, we propose a mechanism, where the OSN operator provides a "social visibility boosting service" to incentivize "transactions" between requesters (users who seek to enhance their social visibility via adding new "neighbors") and suppliers (users who are willing to be added as a new "neighbor" of any requester when certain "rewards" is provided). We design a posted pricing scheme for the OSN provider to charge the requesters who use such boosting service, and reward the suppliers who contribute to such boosting service. The OSN operator keeps a fraction of the payment from requesters and distributes the remaining part to participating suppliers "fairly" via the Shapley value. The objective of the OSN provider is to select the price and supplier set to maximize the total amount of revenue under the budget constraint of requesters. We first show that the revenue maximization problem is not simpler than an NP-hard problem. We then decomposed it into two sub-routines, where one focuses on selecting the optimal set of suppliers, and the other one focuses on selecting the optimal price. We prove the hardness of each sub-routine, and eventually design a computationally efficient approximation algorithm to solve the revenue maximization problem with provable theoretical guarantee on the revenue gap. We conduct extensive experiments on four public datasets to validate the superior performance of our proposed algorithms.


title: The Knowledge Mobility of Renewable Energy Technology

abstract: In the race to achieve climate goals, many governments and organizations are encouraging the local development of Renewable Energy Technology (RET). The spatial innovation dynamics of the development of a technology partly depends on the characteristics of the knowledge base on which this technology builds, in particular the analyticity and cumulativeness of knowledge. Theoretically, greater analyticity and lesser cumulativeness are positively associated with more widespread development. In this study, we first empirically evaluate these relations for general technology and then systematically determine the knowledge base characteristics for a set of 14 different RETs. We find that, while several RETs (photovoltaics, fuel-cells, energy storage) have a highly analytic knowledge base and develop more widespread, there are also important RETs (wind turbines, solar thermal, geothermal and hydro energy) for which the knowledge base is less analytic and which develop less widespread. Likewise, the technological cumulativeness tends to be lower for the former than for the latter group. This calls for regional and country-level policies to be specific for different RETs, taking for a given RET into account both the type of knowledge it builds on as well as the local presence of this knowledge.


title: On the Perron solution of the caloric Dirichlet problem: an elementary approach

abstract: By an easy trick taken from caloric polynomial theory we construct a family $\mathscr{B}$ of $almost\ regular$ domains for the caloric Dirichlet problem. $\mathscr{B}$ is a basis of the Euclidean topology. This allows to build, with a basically elementary procedure, the Perron solution to the caloric Dirichlet problem on every bounded domain.


title: Neural network interpretability for forecasting of aggregated renewable generation

abstract: With the rapid growth of renewable energy, lots of small photovoltaic (PV) prosumers emerge. Due to the uncertainty of solar power generation, there is a need for aggregated prosumers to predict solar power generation and whether solar power generation will be larger than load. This paper presents two interpretable neural networks to solve the problem: one binary classification neural network and one regression neural network. The neural networks are built using TensorFlow. The global feature importance and local feature contributions are examined by three gradient-based methods: Integrated Gradients, Expected Gradients, and DeepLIFT. Moreover, we detect abnormal cases when predictions might fail by estimating the prediction uncertainty using Bayesian neural networks. Neural networks, which are interpreted by gradient-based methods and complemented with uncertainty estimation, provide robust and explainable forecasting for decision-makers.


title: Generalized Spatial and Spatiotemporal ARCH Models

abstract: In time-series analyses, particularly for finance, generalized autoregressive conditional heteroscedasticity (GARCH) models are widely applied statistical tools for modelling volatility clusters (i.e., periods of increased or decreased risk). In contrast, it has not been considered to be of critical importance until now to model spatial dependence in the conditional second moments. Only a few models have been proposed for modelling local clusters of increased risks. In this paper, we introduce a novel spatial GARCH process in a unified spatial and spatiotemporal GARCH framework, which also covers all previously proposed spatial ARCH models, exponential spatial GARCH, and time-series GARCH models. In contrast to previous spatiotemporal and time series models, this spatial GARCH allows for instantaneous spill-overs across all spatial units. For this common modelling framework, estimators are derived based on a non-linear least-squares approach. Eventually, the use of the model is demonstrated by a Monte Carlo simulation study and by an empirical example that focuses on real estate prices from 1995 to 2014 across the ZIP-Code areas of Berlin. A spatial autoregressive model is applied to the data to illustrate how locally varying model uncertainties (e.g., due to latent regressors) can be captured by the spatial GARCH-type models.


title: Vulnerability Detection with Fine-grained Interpretations

abstract: Despite the successes of machine learning (ML) and deep learning (DL) based vulnerability detectors (VD), they are limited to providing only the decision on whether a given code is vulnerable or not, without details on what part of the code is relevant to the detected vulnerability. We present IVDetect an interpretable vulnerability detector with the philosophy of using Artificial Intelligence (AI) to detect vulnerabilities, while using Intelligence Assistant (IA) via providing VD interpretations in terms of vulnerable statements. For vulnerability detection, we separately consider the vulnerable statements and their surrounding contexts via data and control dependencies. This allows our model better discriminate vulnerable statements than using the mixture of vulnerable code and~contextual code as in existing approaches. In addition to the coarse-grained vulnerability detection result, we leverage interpretable AI to provide users with fine-grained interpretations that include the sub-graph in the Program Dependency Graph (PDG) with the crucial statements that are relevant to the detected vulnerability. Our empirical evaluation on vulnerability databases shows that IVDetect outperforms the existing DL-based approaches by 43%--84% and 105%--255% in top-10 nDCG and MAP ranking scores. IVDetect correctly points out the vulnerable statements relevant to the vulnerability via its interpretation~in 67% of the cases with a top-5 ranked list. It improves over baseline interpretation models by 12.3%--400% and 9%--400% in accuracy.


title: Practical Transferability Estimation for Image Classification Tasks

abstract: Transferability estimation is an essential problem in transfer learning to predict how good the performance is when transferring a source model (or source task) to a target task. Recent analytical transferability metrics have been widely used for source model selection and multi-task learning. A major challenge is how to make transfereability estimation robust under the cross-domain cross-task settings. The recently proposed OTCE score solves this problem by considering both domain and task differences, with the help of transfer experiences on auxiliary tasks, which causes an efficiency overhead. In this work, we propose a practical transferability metric called JC-NCE score that dramatically improves the robustness of the task difference estimation in OTCE, thus removing the need for auxiliary tasks. Specifically, we build the joint correspondences between source and target data via solving an optimal transport problem with a ground cost considering both the sample distance and label distance, and then compute the transferability score as the negative conditional entropy of the matched labels. Extensive validations under the intra-dataset and inter-dataset transfer settings demonstrate that our JC-NCE score outperforms the auxiliary-task free version of OTCE for 7% and 12%, respectively, and is also more robust than other existing transferability metrics on average.


title: Cumulative structure and path length in networks of knowledge

abstract: An important knowledge dimension of science and technology is the extent to which their development is cumulative, that is, the extent to which later findings build on earlier ones. Cumulative knowledge structures can be studied using a network approach, in which nodes represent findings and links represent knowledge flows. Of particular interest to those studies is the notion of network paths and path length. Starting from the Price model of network growth, we derive an exact solution for the path length distribution of all unique paths from a given initial node to each node in the network. We study the relative importance of the average in-degree and cumulative advantage effect and implement a generalization where the in-degree depends on the number of nodes. The cumulative advantage effect is found to fundamentally slow down path length growth. As the collection of all unique paths may contain many redundancies, we additionally consider the subset of the longest paths to each node in the network. As this case is more complicated, we only approximate the longest path length distribution in a simple context. Where the number of all unique paths of a given length grows unbounded, the number of longest paths of a given length converges to a finite limit, which depends exponentially on the given path length. Fundamental network properties and dynamics therefore characteristically shape cumulative structures in those networks, and should therefore be taken into account when studying those structures.


title: Advances in Speech Vocoding for Text-to-Speech with Continuous Parameters

abstract: Vocoders received renewed attention as main components in statistical parametric text-to-speech (TTS) synthesis and speech transformation systems. Even though there are vocoding techniques give almost accepted synthesized speech, their high computational complexity and irregular structures are still considered challenging concerns, which yield a variety of voice quality degradation. Therefore, this paper presents new techniques in a continuous vocoder, that is all features are continuous and presents a flexible speech synthesis system. First, a new continuous noise masking based on the phase distortion is proposed to eliminate the perceptual impact of the residual noise and letting an accurate reconstruction of noise characteristics. Second, we addressed the need of neural sequence to sequence modeling approach for the task of TTS based on recurrent networks. Bidirectional long short-term memory (LSTM) and gated recurrent unit (GRU) are studied and applied to model continuous parameters for more natural-sounding like a human. The evaluation results proved that the proposed model achieves the state-of-the-art performance of the speech synthesis compared with the other traditional methods.


title: Unbalanced Feature Transport for Exemplar-based Image Translation

abstract: Despite the great success of GANs in images translation with different conditioned inputs such as semantic segmentation and edge maps, generating high-fidelity realistic images with reference styles remains a grand challenge in conditional image-to-image translation. This paper presents a general image translation framework that incorporates optimal transport for feature alignment between conditional inputs and style exemplars in image translation. The introduction of optimal transport mitigates the constraint of many-to-one feature matching significantly while building up accurate semantic correspondences between conditional inputs and exemplars. We design a novel unbalanced optimal transport to address the transport between features with deviational distributions which exists widely between conditional inputs and exemplars. In addition, we design a semantic-activation normalization scheme that injects style features of exemplars into the image translation process successfully. Extensive experiments over multiple image translation tasks show that our method achieves superior image translation qualitatively and quantitatively as compared with the state-of-the-art.


title: Cooperative Magneto-Inductive Localization

abstract: Wireless localization is a key requirement for many applications. It concerns position estimation of mobile nodes (agents) relative to fixed nodes (anchors) from wireless channel measurements. Cooperative localization is an advanced concept that considers the joint estimation of multiple agent positions based on channel measurements of all agent-anchor links together with all agent-agent links. In this paper we present the first study of cooperative localization for magneto-inductive wireless sensor networks, which are of technological interest due to good material penetration and channel predictability. We demonstrate significant accuracy improvements (a factor of 3 for 10 cooperating agents) over the non-cooperative scheme. The evaluation uses the Cram\'er-Rao lower bound on the cooperative position estimation error, which is derived herein. To realize this accuracy, the maximum-likelihood estimate (MLE) must be computed by solving a high-dimensional least-squares problem, whereby convergence to local minima proves to be problematic. A proposed cooperative localization algorithm addresses this issue: first, preliminary estimates of the agent positions and orientations are computed, which then serve as initial values for a gradient search. In all our test cases, this method yields the MLE and the associated high accuracy (comprising the cooperation gain) from a single solver run. The preliminary estimates use novel closed-form MLE formulas of the distance, direction and orientation for single links between three-axis coils, which are given in detail.


title: Spectral singularities and threshold gain of a slab laser under illumination of a focused Gaussian beam

abstract: We study spectral singularities of an infinite planar slab of homogeneous optically active material in focus of a thin lens under illumination of a Gaussian beam. We describe the field distribution of the Gaussian beam under this configuration as a plane wave propagated near the optical axis which its phase and amplitude vary with distance from center of the beam. Based on this approximation, we carry out the transfer matrix for the slab. We explore the consequences of this configuration on determining the threshold gain of the active medium and tuning the resonance frequencies related to spectral singularities. We show that the spectral singularities and the threshold gain besides that vary with distance from center of the Gaussian beam, also they change with relative aperture of the focusing lens. As a result, using a thin lens with higher relative aperture, the spectral singularities corresponding resonances shift to the higher frequencies (lower wavelengths). Numerical results confirm the theoretical findings


title: Hybrid approach to detecting symptoms of depression in social media entries

abstract: Sentiment and lexical analyses are widely used to detect depression or anxiety disorders. It has been documented that there are significant differences in the language used by a person with emotional disorders in comparison to a healthy individual. Still, the effectiveness of these lexical approaches could be improved further because the current analysis focuses on what the social media entries are about, and not how they are written. In this study, we focus on aspects in which these short texts are similar to each other, and how they were created. We present an innovative approach to the depression screening problem by applying Collgram analysis, which is a known effective method of obtaining linguistic information from texts. We compare these results with sentiment analysis based on the BERT architecture. Finally, we create a hybrid model achieving a diagnostic accuracy of 71%.


title: CompConv: A Compact Convolution Module for Efficient Feature Learning

abstract: Convolutional Neural Networks (CNNs) have achieved remarkable success in various computer vision tasks but rely on tremendous computational cost. To solve this problem, existing approaches either compress well-trained large-scale models or learn lightweight models with carefully designed network structures. In this work, we make a close study of the convolution operator, which is the basic unit used in CNNs, to reduce its computing load. In particular, we propose a compact convolution module, called CompConv, to facilitate efficient feature learning. With the divide-and-conquer strategy, CompConv is able to save a great many computations as well as parameters to produce a certain dimensional feature map. Furthermore, CompConv discreetly integrates the input features into the outputs to efficiently inherit the input information. More importantly, the novel CompConv is a plug-and-play module that can be directly applied to modern CNN structures to replace the vanilla convolution layers without further effort. Extensive experimental results suggest that CompConv can adequately compress the benchmark CNN structures yet barely sacrifice the performance, surpassing other competitors.


title: Transformers for Headline Selection for Russian News Clusters

abstract: In this paper, we explore various multilingual and Russian pre-trained transformer-based models for the Dialogue Evaluation 2021 shared task on headline selection. Our experiments show that the combined approach is superior to individual multilingual and monolingual models. We present an analysis of a number of ways to obtain sentence embeddings and learn a ranking model on top of them. We achieve the result of 87.28% and 86.60% accuracy for the public and private test sets respectively.


title: Superconducting quantum computer: a hint for building architectures

abstract: We discuss the scalability of superconducting quantum computers, especially in a wiring problem. The number of wiring inside a cryostat is almost proportional to the number of qubits in current wiring architectures. We introduce regularity, modularity, and hierarchy to an architecture design of superconducting quantum computers. The key to the wiring elimination is found in the quantum error correction codes having thresholds and spatial translational symmetry, i.e., the surface code. We show a superconducting-digital-logic-based architecture and introduce a stacked heterogeneous structure of the quantum module.


title: The structure of amorphous two-dimensional materials: Elemental monolayer amorphous carbon versus binary monolayer amorphous boron nitride

abstract: The structure of amorphous materials has been debated since the 1930's as a binary question: amorphous materials are either Zachariasen continuous random networks (Z-CRNs) or Z-CRNs containing crystallites. It was recently demonstrated, however, that amorphous diamond can be synthesized in either form. Here we address the question of the structure of single-atom-thick amorphous monolayers. We reanalyze the results of prior simulations for amorphous graphene and report kinetic Monte Carlo simulations based on alternative algorithms. We find that crystallite-containing Z-CRN is the favored structure of elemental amorphous graphene, as recently fabricated, whereas the most likely structure of binary monolayer amorphous BN is altogether different than either of the two long-debated options: it is a compositionally disordered "pseudo-CRN" comprising a mix of B-N and noncanonical B-B and N-N bonds and containing "pseudocrystallites", namely honeycomb regions made of noncanonical hexagons. Implications for other non-elemental 2D and bulk amorphous materials are discussed.


title: Necessary conditions for the existence of Morita Contexts in the bicategory of Landau-Ginzburg Models

abstract: We use a matrix approach to study the concept of Morita context in the bicategory $\mathcal{LG}_{K}$ of Landau-Ginzburg models on a particular class of objects. In fact, we first use properties of matrix factorizations to state and prove two necessary conditions to obtain a Morita context between two objects of $\mathcal{LG}_{K}$. Next, we use a celebrated result (due to Schur) on determinants of block matrices to show that these necessary conditions are not sufficient. Finally, we state a trivial sufficient condition.


title: The efficient frontiers of mean-variance portfolio rules under distribution misspecification

abstract: Mean-variance portfolio decisions that combine prediction and optimisation have been shown to have poor empirical performance. Here, we consider the performance of various shrinkage methods by their efficient frontiers under different distributional assumptions to study the impact of reasonable departures from Normality. Namely, we investigate the impact of first-order auto-correlation, second-order auto-correlation, skewness, and excess kurtosis. We show that the shrinkage methods tend to re-scale the sample efficient frontier, which can change based on the nature of local perturbations from Normality. This re-scaling implies that the standard approach of comparing decision rules for a fixed level of risk aversion is problematic, and more so in a dynamic market setting. Our results suggest that comparing efficient frontiers has serious implications which oppose the prevailing thinking in the literature. Namely, that sample estimators out-perform Stein type estimators of the mean, and that improving the prediction of the covariance has greater importance than improving that of the means.


title: Comparison Theorems for Splittings of M-matrices in (block) Hessenberg Form

abstract: Some variants of the (block) Gauss--Seidel iteration for the solution of linear systems with $M$-matrices in (block) Hessenberg form are discussed. Comparison results for the asymptotic convergence rate of some regular splittings are derived: in particular, we prove that for a lower-Hessenberg M-matrix $\rho(P_{GS})\geq \rho(P_S)\geq \rho(P_{AGS})$, where $P_{GS}, P_S, P_{AGS}$ are the iteration matrices of the Gauss--Seidel, staircase, and anti-Gauss--Seidel method. This is a result that does not seem to follow from classical comparison results, as these splittings are not directly comparable. It is shown that the concept of stair partitioning provides a powerful tool for the design of new variants that are suited for parallel computation.


title: CenterAtt: Fast 2-stage Center Attention Network

abstract: In this technical report, we introduce the methods of HIKVISION_LiDAR_Det in the challenge of waymo open dataset real-time 3D detection. Our solution for the competition are built upon Centerpoint 3D detection framework. Several variants of CenterPoint are explored, including center attention head and feature pyramid network neck. In order to achieve real time detection, methods like batchnorm merge, half-precision floating point network and GPU-accelerated voxelization process are adopted. By using these methods, our team ranks 6th among all the methods on real-time 3D detection challenge in the waymo open dataset.


title: Teacher's pet: understanding and mitigating biases in distillation

abstract: Knowledge distillation is widely used as a means of improving the performance of a relatively simple student model using the predictions from a complex teacher model. Several works have shown that distillation significantly boosts the student's overall performance; however, are these gains uniform across all data subgroups? In this paper, we show that distillation can harm performance on certain subgroups, e.g., classes with few associated samples. We trace this behaviour to errors made by the teacher distribution being transferred to and amplified by the student model. To mitigate this problem, we present techniques which soften the teacher influence for subgroups where it is less reliable. Experiments on several image classification benchmarks show that these modifications of distillation maintain boost in overall accuracy, while additionally ensuring improvement in subgroup performance.


title: GRB Afterglow Light Curves from a Hydrodynamic Model

abstract: In this work, we have modeled the hydrodynamic evolution of the GRBs fireball in violent interaction with the external medium (the ISM) surrounding the burst source by assuming a power law distribution of the accelerated relativistic electrons. For this purpose, a computer code based only on the contribution of the predominant synchrotron radiation mechanism was developed. Light curves for the afterglow emissions following several GRBs over the X-ray and the visible R frequency bands were calculated. Their comparison to observed data by the XRT/Swift satellite and Earth telescopes, respectively, points out fair overall agreements, thus confirming the validity of our hydrodynamic simulation based on the model of Feng et al. (2002).


title: The Tangent Exponential Model

abstract: The likelihood function is central to both frequentist and Bayesian formulations of parametric statistical inference, and large-sample approximations to the sampling distributions of estimators and test statistics, and to posterior densities, are widely used in practice. Improved approximations have been widely studied and can provide highly accurate inferences when samples are small or there are many nuisance parameters. This article reviews improved approximations based on the tangent exponential model developed in a series of articles by D.~A.~S.~Fraser and co-workers, attempting to explain the theoretical basis of this model and to provide a guide to the associated literature, including a partially-annotated bibliography.


title: Perturbation-based Regret Analysis of Predictive Control in Linear Time Varying Systems

abstract: We study predictive control in a setting where the dynamics are time-varying and linear, and the costs are time-varying and well-conditioned. At each time step, the controller receives the exact predictions of costs, dynamics, and disturbances for the future $k$ time steps. We show that when the prediction window $k$ is sufficiently large, predictive control is input-to-state stable and achieves a dynamic regret of $O(\lambda^k T)$, where $\lambda < 1$ is a positive constant. This is the first dynamic regret bound on the predictive control of linear time-varying systems. Under more assumptions on the terminal costs, we also show that predictive control obtains the first competitive bound for the control of linear time-varying systems: $1 + O(\lambda^k)$. Our results are derived using a novel proof framework based on a perturbation bound that characterizes how a small change to the system parameters impacts the optimal trajectory.


title: Multidimensional linear and nonlinear partial integro-differential equation in Bessel potential spaces with applications in option pricing

abstract: The purpose of this paper is to analyze solutions of a non-local nonlinear partial integro-differential equation (PIDE) in multidimensional spaces. Such class of PIDE often arises in financial modeling. We employ the theory of abstract semilinear parabolic equations in order to prove existence and uniqueness of solutions in the scale of Bessel potential spaces. We consider a wide class of L\'evy measures satisfying suitable growth conditions near the origin and infinity. The novelty of the paper is the generalization of already known results in the one space dimension to the multidimensional case. We consider Black-Scholes models for option pricing on underlying assets following a L\'evy stochastic process with jumps. As an application to option pricing in the one-dimensional space, we consider a general shift function arising from nonlinear option pricing models taking into account a large trader stock-trading strategy. We prove existence and uniqueness of a solution to the nonlinear PIDE in which the shift function may depend on a prescribed large investor stock-trading strategy function.


title: Evaluating Spatial Accelerator Architectures with Tiled Matrix-Matrix Multiplication

abstract: There is a growing interest in custom spatial accelerators for machine learning applications. These accelerators employ a spatial array of processing elements (PEs) interacting via custom buffer hierarchies and networks-on-chip. The efficiency of these accelerators comes from employing optimized dataflow (i.e., spatial/temporal partitioning of data across the PEs and fine-grained scheduling) strategies to optimize data reuse. The focus of this work is to evaluate these accelerator architectures using a tiled general matrix-matrix multiplication (GEMM) kernel. To do so, we develop a framework that finds optimized mappings (dataflow and tile sizes) for a tiled GEMM for a given spatial accelerator and workload combination, leveraging an analytical cost model for runtime and energy. Our evaluations over five spatial accelerators demonstrate that the tiled GEMM mappings systematically generated by our framework achieve high performance on various GEMM workloads and accelerators.


title: Experimental Side Channel Analysis of BB84 QKD Source

abstract: A typical implementation of BB84 protocol for quantum communication uses four laser diodes for transmitting weak coherent pulses, which may not have the same characteristics. We have characterized these lasers for mismatch in various parameters such as spectral width, pulse width, spatial mode, peak wavelength, polarization and their arrival times at the receiver. This information is utilized to calculate possible information leakage through side channel attacks by evaluating mutual information between source and eavesdropper. Based on our experimental observations of cross correlation between parameter values for different laser diodes, we suggest ways to reduce information leakage to Eve.


title: Global small solutions to the inviscid Hall-MHD system

abstract: The local existence of smooth solutions to the inviscid Hall-MHD system has been obtained since Chae, Degond and Liu [Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire, {31} (2014), 555--565]. However, as we known, how to construct the global small solutions to the inviscid Hall-MHD system is still an open problem. In the present paper, we give a positive answer in $ \mathbb{T}^3$ when the initial magnetic field is close to a background magnetic field satisfying the Diophantine condition.


title: JointGT: Graph-Text Joint Representation Learning for Text Generation from Knowledge Graphs

abstract: Existing pre-trained models for knowledge-graph-to-text (KG-to-text) generation simply fine-tune text-to-text pre-trained models such as BART or T5 on KG-to-text datasets, which largely ignore the graph structure during encoding and lack elaborate pre-training tasks to explicitly model graph-text alignments. To tackle these problems, we propose a graph-text joint representation learning model called JointGT. During encoding, we devise a structure-aware semantic aggregation module which is plugged into each Transformer layer to preserve the graph structure. Furthermore, we propose three new pre-training tasks to explicitly enhance the graph-text alignment including respective text / graph reconstruction, and graph-text alignment in the embedding space via Optimal Transport. Experiments show that JointGT obtains new state-of-the-art performance on various KG-to-text datasets.


title: Robust Bayesian Modeling of Counts with Zero inflation and Outliers: Theoretical Robustness and Efficient Computation

abstract: Count data with zero inflation and large outliers are ubiquitous in many scientific applications. However, posterior analysis under a standard statistical model, such as Poisson or negative binomial distribution, is sensitive to such contamination. This study introduces a novel framework for Bayesian modeling of counts that is robust to both zero inflation and large outliers. In doing so, we introduce rescaled beta distribution and adopt it to absorb undesirable effects from zero and outlying counts. The proposed approach has two appealing features: the efficiency of the posterior computation via a custom Gibbs sampling algorithm and a theoretically guaranteed posterior robustness, where extreme outliers are automatically removed from the posterior distribution. We demonstrate the usefulness of the proposed method by applying it to trend filtering and spatial modeling using predictive Gaussian processes.


title: Homomorphisms between multidimensional constant-shape substitutions

abstract: We study a class of $\Z^{d}$-substitutive subshifts, including a large family of constant-length substitutions, and homomorphisms between them, i.e., factors modulo isomorphisms of $\Z^{d}$. We prove that any measurable factor map and even any homomorphism associated to a matrix commuting with the expansion matrix, induces a continuous one. We also get strong restrictions on the normalizer group, proving that any endomorphism is invertible, the normalizer group is virtually generated by the shift action and the quotient of the normalizer group by the automorphisms is restricted by the digit tile of the substitution.


title: Studio di un urto anelastico: una proposta per le Scuole Secondarie di II grado nell'ambito del progetto "Lab2Go"

abstract: When a free falling ping-pong ball collides on a horizontal surface, it loses kinetic energy. The ratio between the height reached by the ball after the collision and the initial height is called restitution coefficient. A method to measure it by using a home-made cathetometer was proposed during the Olimpiadi di Fisica 2018. In this paper we show how to measure it also by using the PhyPhox app and Arduino board.


title: Exploring Visual Context for Weakly Supervised Person Search

abstract: Person search has recently emerged as a challenging task that jointly addresses pedestrian detection and person re-identification. Existing approaches follow a fully supervised setting where both bounding box and identity annotations are available. However, annotating identities is labor-intensive, limiting the practicability and scalability of current frameworks. This paper inventively considers weakly supervised person search with only bounding box annotations. We proposed to address this novel task by investigating three levels of context clues (i.e., detection, memory and scene) in unconstrained natural images. The first two are employed to promote local and global discriminative capabilities, while the latter enhances clustering accuracy. Despite its simple design, our CGPS achieves 80.0% in mAP on CUHK-SYSU, boosting the baseline model by 8.8%. Surprisingly, it even achieves comparable performance with several supervised person search models. Our code is available at https://github.com/ljpadam/CGPS


title: GLIB: Towards Automated Test Oracle for Graphically-Rich Applications

abstract: Graphically-rich applications such as games are ubiquitous with attractive visual effects of Graphical User Interface (GUI) that offers a bridge between software applications and end-users. However, various types of graphical glitches may arise from such GUI complexity and have become one of the main component of software compatibility issues. Our study on bug reports from game development teams in NetEase Inc. indicates that graphical glitches frequently occur during the GUI rendering and severely degrade the quality of graphically-rich applications such as video games. Existing automated testing techniques for such applications focus mainly on generating various GUI test sequences and check whether the test sequences can cause crashes. These techniques require constant human attention to captures non-crashing bugs such as bugs causing graphical glitches. In this paper, we present the first step in automating the test oracle for detecting non-crashing bugs in graphically-rich applications. Specifically, we propose \texttt{GLIB} based on a code-based data augmentation technique to detect game GUI glitches. We perform an evaluation of \texttt{GLIB} on 20 real-world game apps (with bug reports available) and the result shows that \texttt{GLIB} can achieve 100\% precision and 99.5\% recall in detecting non-crashing bugs such as game GUI glitches. Practical application of \texttt{GLIB} on another 14 real-world games (without bug reports) further demonstrates that \texttt{GLIB} can effectively uncover GUI glitches, with 48 of 53 bugs reported by \texttt{GLIB} having been confirmed and fixed so far.


title: On attractor and fixed points in Bjorken flows

abstract: We consider a plasma of massless particles undergoing Bjorken expansion, mimicking the matter created in ultra-relativistic heavy ion collisions. We study the transition to hydrodynamics using kinetic theory in the relaxation time approximation. By allowing the relaxation time to depend on time, we can monitor the speed of the transition from the collisionless regime to hydrodynamics. By using a special set of moments of the momentum distribution, we reduce the kinetic equation to a coupled mode problem which encompasses all versions of second order viscous hydrodynamics for Bjorken flows. This coupled mode problem is analysed first using techniques of linear algebra. Then we transform this two mode problem into a single non linear differential equation and proceed to a fixed point analysis. We identify an attractor solution as the particular solution of this non linear equation that joins two fixed points: one corresponding to the collisionless, early time regime, the other corresponding to late time hydrodynamics. We exploit the analytic solution of this equation in order to test several approximations and to identify generic features of the transition to hydrodynamics. We argue that extending the accuracy of hydrodynamics to early time, i.e. to the region of large gradients, amounts essentially to improve the accuracy of the location of the collisionless fixed point. This is demonstrated by showing that a simple renormalisation of a second order transport coefficient puts the free streaming fixed point at the right location, and allows us to reproduce accurately the full solution of the kinetic equation within second order viscous hydrodynamics, even in regimes far from local equilibrium.


title: Search for W$\gamma$ resonances in proton-proton collisions at $\sqrt{s} =$ 13 TeV using hadronic decays of Lorentz-boosted W bosons

abstract: A search for W$\gamma$ resonances in the mass range between 0.7 and 6.0 TeV is presented. The W boson is reconstructed via its hadronic decays, with the final-state products forming a single large-radius jet, owing to a high Lorentz boost of the W boson. The search is based on proton-proton collision data at $\sqrt{s} =$ 13 TeV, corresponding to an integrated luminosity of 137 fb$^{-1}$, collected with the CMS detector at the LHC in 2016-2018. The W$\gamma$ mass spectrum is parameterized with a smoothly falling background function and examined for the presence of resonance-like signals. No significant excess above the predicted background is observed. Model-specific upper limits at 95% confidence level on the product of the cross section and branching fraction to the W$\gamma$ channel are set. Limits for narrow resonances and for resonances with an intrinsic width equal to 5% of their mass, for spin-0 and spin-1 hypotheses, range between 0.17 fb at 6.0 TeV and 55 fb at 0.7 TeV. These are the most restrictive limits to date on the existence of such resonances over a large range of probed masses. In specific heavy scalar (vector) triplet benchmark models, narrow resonances with masses between 0.75 (1.15) and 1.40 (1.36) TeV are excluded for a range of model parameters. Model-independent limits on the product of the cross section, signal acceptance, and branching fraction to the W$\gamma$ channel are set for minimum W$\gamma$ mass thresholds between 1.5 and 8.0 TeV.


title: Multiple energy-scales in vertex-frustrated mesospin systems

abstract: The interplay between topology and energy-hierarchy plays a vital role in the collective magnetic order in artificial ferroic systems. Here we investigate, experimentally, the effect of having one or two activation energies of interacting Ising-like magnetic islands -- mesospins -- in thermalized, vertex-frustrated lattices. The thermally arrested magnetic states of the elements were determined using synchrotron-based magnetic microscopy after cooling the samples from temperatures above the Curie temperature of the material. Statistical analysis of the correlations between mesospins across several length-scales, reveals changes in the magnetic order, reflecting the amount of ground state plaquettes realized for a vertex-frustrated lattice. We show that the latter depends on the presence, or not, of different activation energies.


title: Is two-poles' $\Lambda(1405)$ one state or two?

abstract: To understand the nature of two poles for the $\Lambda(1405)$ state, we revisit the interactions of $\bar{K}N$ and $\pi\Sigma$ with their coupled channels, where two-poles structure is found in the second Riemann sheet. We also dynamically generate two poles in the single channel interaction of $\bar{K}N$ and $\pi\Sigma$, respectively. Moreover, we make a further study of two poles' properties by evaluating the couplings, the compositeness, the wave functions, and the radii for the interactions of four coupled channels, two coupled channels and the single channel. Our results show that the nature of two poles is unique. The higher-mass pole is a pure $\bar{K} N$ molecule, and the lower-mass one is a compositeness of mainly $\pi \Sigma$ with tiny component $\bar{K} N$. From our results, one can conclude that the $\Lambda(1405)$ state would be overlapped with two different states of the same quantum number.


title: TweeNLP: A Twitter Exploration Portal for Natural Language Processing

abstract: We present TweeNLP, a one-stop portal that organizes Twitter's natural language processing (NLP) data and builds a visualization and exploration platform. It curates 19,395 tweets (as of April 2021) from various NLP conferences and general NLP discussions. It supports multiple features such as TweetExplorer to explore tweets by topics, visualize insights from Twitter activity throughout the organization cycle of conferences, discover popular research papers and researchers. It also builds a timeline of conference and workshop submission deadlines. We envision TweeNLP to function as a collective memory unit for the NLP community by integrating the tweets pertaining to research papers with the NLPExplorer scientific literature search engine. The current system is hosted at http://nlpexplorer.org/twitter/CFP .


title: Distributed Nash Equilibrium Seeking in Consistency-Constrained Multi-Coalition Games

abstract: Distributed Nash equilibrium (NE) seeking problem for multi-coalition games has attracted increasing attention in recent years, but the research mainly focuses on the case without agreement demand within coalitions. This paper considers a class of networked games among multiple coalitions where each coalition contains multiple agents that cooperate to minimize the sum of their costs, subject to the demand of reaching an agreement on their state values. Furthermore, the underlying network topology among the agents does not need to be balanced. To achieve the goal of NE seeking within such a context, two estimates are constructed for each agent, namely, an estimate of partial derivatives of the cost function and an estimate of global state values, based on which, an iterative state updating law is elaborately designed. Linear convergence of the proposed algorithm is demonstrated. It is shown that the consistency-constrained multi-coalition games investigated in this paper put the well-studied networked games among individual players and distributed optimization in a unified framework, and the proposed algorithm can easily degenerate into solutions to these problems.


title: Cooperative Evasion by Translating Targets with Variable Speeds

abstract: We consider a problem of cooperative evasion between a single pursuer and multiple evaders in which the evaders are constrained to move in the positive Y direction. The evaders are slower than the vehicle and can choose their speeds from a bounded interval. The pursuer aims to intercept all evaders in a given sequence by executing a Manhattan pursuit strategy of moving parallel to the X axis, followed by moving parallel to the Y axis. The aim of the evaders is to cooperatively pick their individual speeds so that the total time to intercept all evaders is maximized. We first obtain conditions under which evaders should cooperate in order to maximize the total time to intercept as opposed to each moving greedily to optimize its own intercept time. Then, we propose and analyze an algorithm that assigns evasive strategies to the evaders in two iterations as opposed to performing an exponential search over the choice of evader speeds. We also characterize a fundamental limit on the total time taken by the pursuer to capture all evaders when the number of evaders is large. Finally, we provide numerical comparisons against random sampling heuristics.


title: A Generic Distributed Clustering Framework for Massive Data

abstract: In this paper, we introduce a novel Generic distributEd clustEring frameworK (GEEK) beyond $k$-means clustering to process massive amounts of data. To deal with different data types, GEEK first converts data in the original feature space into a unified format of buckets; then, we design a new Seeding method based on simILar bucKets (SILK) to determine initial seeds. Compared with state-of-the-art seeding methods such as $k$-means++ and its variants, SILK can automatically identify the number of initial seeds based on the closeness of shared data objects in similar buckets instead of pre-specifying $k$. Thus, its time complexity is independent of $k$. With these well-selected initial seeds, GEEK only needs a one-pass data assignment to get the final clusters. We implement GEEK on a distributed CPU-GPU platform for large-scale clustering. We evaluate the performance of GEEK over five large-scale real-life datasets and show that GEEK can deal with massive data of different types and is comparable to (or even better than) many state-of-the-art customized GPU-based methods, especially in large $k$ values.


title: DiffLoop: Tuning PID controllers by differentiating through the feedback loop

abstract: Since most industrial control applications use PID controllers, PID tuning and anti-windup measures are significant problems. This paper investigates tuning the feedback gains of a PID controller via back-calculation and automatic differentiation tools. In particular, we episodically use a cost function to generate gradients and perform gradient descent to improve controller performance. We provide a theoretical framework for analyzing this non-convex optimization and establish a relationship between back-calculation and disturbance feedback policies. We include numerical experiments on linear systems with actuator saturation to show the efficacy of this approach.


title: A Max-Min Entropy Framework for Reinforcement Learning

abstract: In this paper, we propose a max-min entropy framework for reinforcement learning (RL) to overcome the limitation of the soft actor-critic (SAC) algorithm implementing the maximum entropy RL in model-free sample-based learning. Whereas the maximum entropy RL guides learning for policies to reach states with high entropy in the future, the proposed max-min entropy framework aims to learn to visit states with low entropy and maximize the entropy of these low-entropy states to promote better exploration. For general Markov decision processes (MDPs), an efficient algorithm is constructed under the proposed max-min entropy framework based on disentanglement of exploration and exploitation. Numerical results show that the proposed algorithm yields drastic performance improvement over the current state-of-the-art RL algorithms.


title: A Doorway mechanism for Electron Attachment Induced DNA Strand Break

abstract: We report a new doorway mechanism for the dissociative electron attachment to genetic materials. The dipole-bound state of the nucleotide anion acts as the doorway for electron capture in the genetic material. The electron gets subsequently transferred to a dissociative {\sigma}* type anionic state localized on a sugar-phosphate or a sugar-nucleobase bond, leading to their cleavage. The electron transfer is mediated by the mixing of electronic and nuclear degrees of freedom. The cleavage rate of the sugar-phosphate bond predicted by this new mechanism is higher than that of the sugar-nucleobase bond breaking, and both processes are considerably slower than the formation of a stable valence-bound anion. The new mechanism explains the relative rates of electron attachment induced bond cleavages in genetic materials.


title: A-type antiferromagnetic order and magnetic phase diagram of the trigonal Eu spin-7/2 triangular-lattice compound EuSn2As2

abstract: The trigonal compound EuSn2As2 was recently discovered to host Dirac surface states within the bulk band gap and orders antiferromagnetically below the Neel temperature TN = 24 K. Here the magnetic ground state of single-crystal EuSn2As2 and the evolution of its properties versus temperature T and applied magnetic field H are reported. Included are zero-field single-crystal neutron-diffraction measurements versus T, magnetization M(H,T), magnetic susceptibility chi(H,T) = M(T)/H, heat capacity Cp(H,T), and electrical resistivity rho(H,T) measurements. The neutron-diffraction and chi(T) measurements both indicate a collinear A-type antiferromagnetic (AFM) structure below TN =23.5(2) K, where the Eu{2+} spins S = 7/2 in a triangular ab-plane layer (hexagonal unit cell) are aligned ferromagnetically in the ab plane whereas the spins in adjacent Eu planes along the c axis are aligned antiferromagnetically. The chi(H{ab},T) and chi(H{c},T) data together indicate a smooth crossover between the collinear AFM alignment and an unknown magnetic structure at H ~ 0.15 T. Dynamic spin fluctuations up to 60 K are evident in the chi(T), Cp(T) and rho(H,T) measurements, a temperature that is more than twice TN. The rho(H,T) of the compound does not reflect a contribution of the topological state, but rather is consistent with a low-carrier-density metal with strong magnetic scattering. The magnetic phase diagrams for both H||c and H||ab in the H-T plane are constructed from the TN(H), chi(H,T), Cp(H,T), and rho(H,T) data.


title: SAN: Stochastic Average Newton Algorithm for Minimizing Finite Sums

abstract: We present a principled approach for designing stochastic Newton methods for solving finite sum optimization problems. Our approach has two steps. First, we re-write the stationarity conditions as a system of nonlinear equations that associates each data point to a new row. Second, we apply a Subsampled Newton Raphson method to solve this system of nonlinear equations. Using our approach, we develop a new Stochastic Average Newton (SAN) method, which is incremental by design, in that it requires only a single data point per iteration. It is also cheap to implement when solving regularized generalized linear models, with a cost per iteration of the order of the number of the parameters. We show through extensive numerical experiments that SAN requires no knowledge about the problem, neither parameter tuning, while remaining competitive as compared to classical variance reduced gradient methods (e.g. SAG and SVRG), incremental Newton and quasi-Newton methods (e.g. SNM, IQN).


title: The Cheapest Ticket Problem in Public Transport

abstract: Route choice models in public transport have been discussed for a long time. The main factor why a passenger chooses a specific path is usually based on its length or travel time. However, also the ticket price that passengers have to pay may influence their decision since passengers prefer cheaper paths over more expensive ones. In this paper, we deal with the cheapest ticket problem which asks for a cheapest ticket to travel between a pair of stations. The complexity and the algorithmic approach to solve this problem depend crucially on the underlying fare structure, e.g., it is easy if the ticket prices are proportional to the distance traveled (as in distance tariff fare structures), but may become NP-complete in zone tariff fare structures. We hence discuss the cheapest ticket problem for different variations of distance- and zone-based fare structures. We start by modeling the respective fare structure mathematically, identify its main properties, and finally provide a polynomial algorithm, or prove NP-completeness of the cheapest ticket problem. We also provide general results on the combination of two fare structures, which is often observed in practice.


title: Quantum computing 40 years later

abstract: Forty years ago, Richard Feynman proposed harnessing quantum physics to build a more powerful kind of computer. Realizing Feynman's vision is one of the grand challenges facing 21st century science and technology. In this article, we'll recall Feynman's contribution that launched the quest for a quantum computer, and assess where the field stands 40 years later.


title: Learning Rays via Deep Neural Network in a Ray-based IPDG Method for High-Frequency Helmholtz Equations in Inhomogeneous Media

abstract: We develop a deep learning approach to extract ray directions at discrete locations by analyzing highly oscillatory wave fields. A deep neural network is trained on a set of local plane-wave fields to predict ray directions at discrete locations. The resulting deep neural network is then applied to a reduced-frequency Helmholtz solution to extract the directions, which are further incorporated into a ray-based interior-penalty discontinuous Galerkin (IPDG) method to solve the Helmholtz equations at higher frequencies. In this way, we observe no apparent pollution effects in the resulting Helmholtz solutions in inhomogeneous media. Our 2D and 3D numerical results show that the proposed scheme is very efficient and yields highly accurate solutions.


title: Test case prioritization using test case diversification and fault-proneness estimations

abstract: Regression testing activities greatly reduce the risk of faulty software release. However, the size of the test suites grows throughout the development process, resulting in time-consuming execution of the test suite and delayed feedback to the software development team. This has urged the need for approaches such as test case prioritization (TCP) and test-suite reduction to reach better results in case of limited resources. In this regard, proposing approaches that use auxiliary sources of data such as bug history can be interesting. We aim to propose an approach for TCP that takes into account test case coverage data, bug history, and test case diversification. To evaluate this approach we study its performance on real-world open-source projects. The bug history is used to estimate the fault-proneness of source code areas. The diversification of test cases is preserved by incorporating fault-proneness on a clustering-based approach scheme. The proposed methods are evaluated on datasets collected from the development history of five real-world projects including 357 versions in total. The experiments show that the proposed methods are superior to coverage-based TCP methods. The proposed approach shows that improvement of coverage-based and fault-proneness-based methods is possible by using a combination of diversification and fault-proneness incorporation.


title: Random diffusivity scenarios behind anomalous non-Gaussian diffusion

abstract: The standard diffusive spreading, characterized by a Gaussian distribution with mean square displacement that grows linearly with time, can break down, for instance, under the presence of correlations and heterogeneity. In this work, we consider the spread of a population of fractional (long-time correlated) Brownian walkers, with time-dependent and heterogeneous diffusivity. We aim to obtain the possible scenarios related to these individual-level features from the observation of the temporal evolution of the population spatial distribution. We develop and discuss the possibility and limitations of this connection for the broad class of self-similar diffusion processes. Our results are presented in terms of a general framework, which is then used to address well-known processes, such as Laplace diffusion, nonlinear diffusion, and their extensions.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Stability of Graph Convolutional Neural Networks to Stochastic Perturbations

abstract: Graph convolutional neural networks (GCNNs) are nonlinear processing tools to learn representations from network data. A key property of GCNNs is their stability to graph perturbations. Current analysis considers deterministic perturbations but fails to provide relevant insights when topological changes are random. This paper investigates the stability of GCNNs to stochastic graph perturbations induced by link losses. In particular, it proves the expected output difference between the GCNN over random perturbed graphs and the GCNN over the nominal graph is upper bounded by a factor that is linear in the link loss probability. We perform the stability analysis in the graph spectral domain such that the result holds uniformly for any graph. This result also shows the role of the nonlinearity and the architecture width and depth, and allows identifying handle to improve the GCNN robustness. Numerical simulations on source localization and robot swarm control corroborate our theoretical findings.


title: Polar decompositions of quaternion matrices in indefinite inner product spaces

abstract: Polar decompositions of quaternion matrices with respect to a given indefinite inner product are studied. Necessary and sufficient conditions for the existence of an $H$-polar decomposition are found. In the process an equivalent to Witt's theorem on extending $H$-isometries to $H$-unitary matrices is given for quaternion matrices.


title: Video Summarization through Reinforcement Learning with a 3D Spatio-Temporal U-Net

abstract: Intelligent video summarization algorithms allow to quickly convey the most relevant information in videos through the identification of the most essential and explanatory content while removing redundant video frames. In this paper, we introduce the 3DST-UNet-RL framework for video summarization. A 3D spatio-temporal U-Net is used to efficiently encode spatio-temporal information of the input videos for downstream reinforcement learning (RL). An RL agent learns from spatio-temporal latent scores and predicts actions for keeping or rejecting a video frame in a video summary. We investigate if real/inflated 3D spatio-temporal CNN features are better suited to learn representations from videos than commonly used 2D image features. Our framework can operate in both, a fully unsupervised mode and a supervised training mode. We analyse the impact of prescribed summary lengths and show experimental evidence for the effectiveness of 3DST-UNet-RL on two commonly used general video summarization benchmarks. We also applied our method on a medical video summarization task. The proposed video summarization method has the potential to save storage costs of ultrasound screening videos as well as to increase efficiency when browsing patient video data during retrospective analysis or audit without loosing essential information


title: Graph Neural Networks for Learning Real-Time Prices in Electricity Market

abstract: Solving the optimal power flow (OPF) problem in real-time electricity market improves the efficiency and reliability in the integration of low-carbon energy resources into the power grids. To address the scalability and adaptivity issues of existing end-to-end OPF learning solutions, we propose a new graph neural network (GNN) framework for predicting the electricity market prices from solving OPFs. The proposed GNN-for-OPF framework innovatively exploits the locality property of prices and introduces physics-aware regularization, while attaining reduced model complexity and fast adaptivity to varying grid topology. Numerical tests have validated the learning efficiency and adaptivity improvements of our proposed method over existing approaches.


title: Terahertz non-label subwavelength imaging with composite photonics-plasmonics structured illumination

abstract: Inspired by the capability of structured illumination microscopy in subwavelength imaging, many researchers devoted themselves to investigating this methodology. However, due to the free propagating feature of the traditional structured illumination fields, the resolution can be only improved up to double times compared with the diffractied limited microscopy. Besides, most of the previous studies, relying on incoherent illumination sources, are restricted to fluorescent samples. In this work, a subwavelength nonfluorescent imaging method is proposed based on the terahertz traveling wave and plasmonics illumination. Excited along with a metal grating, the spoof surface plasmons are employed as the plasmonics illumination. When the scattering waves with the SSPs illumination are captured, the high order spatial frequency components of the sample are already encoded into the obtainable low order ones. Then, an algorithm is summarized to shift the modulated SF components to their actual positions in the Fourier domain. In this manner, high order SF components carrying the fine information are introduced to reconstruct the desired imaging, leading to an improvement of the resolution up to 0.12 lambda. Encouragingly, the resolution can be further enhanced by tuning the working frequency of the SSPs. This method holds promise for some important applications in terahertz nonfluorescent microscopy and sample detection with weak scattering.


title: Non invasive live imaging of a novel retinal pigment epithelium stress model with Dynamic Full-Field Optical Coherence Tomography

abstract: Retinal degenerative diseases lead to the blindness of millions of people around the world. In case of age-related macular degeneration (AMD), the atrophy of retinal pigment epithelium (RPE) precedes neural dystrophy. But as crucial as understanding both healthy and pathological RPE cell physiology is for those diseases, no current technique allows subcellular in vivo or in vitro live observation of this critical cell layer. To fill this gap, we propose dynamic full-field OCT (D-FFOCT) as a candidate for live observation of in vitro RPE phenotype. In this way, we monitored primary porcine and human stem cell-derived RPE cells in stress model conditions by performing scratch assays. In this study, we quantified wound healing parameters on the stressed RPE, and observed different cell phenotypes, displayed by the D-FFOCT signal. In order to decipher the subcellular contributions to these dynamic profiles, we performed immunohistochemistry to identify which organelles generate the signal and found mitochondria to be the main contributor to D-FFOCT contrast. Altogether, D-FFOCT appears to be an innovative method to follow degenerative disease evolution and could be an appreciated method in the future for live patient diagnostics and to direct treatment choice.


title: QUBO transformation using Eigenvalue Decomposition

abstract: Quadratic Unconstrained Binary Optimization (QUBO) is a general-purpose modeling framework for combinatorial optimization problems and is a requirement for quantum annealers. This paper utilizes the eigenvalue decomposition of the underlying Q matrix to alter and improve the search process by extracting the information from dominant eigenvalues and eigenvectors to implicitly guide the search towards promising areas of the solution landscape. Computational results on benchmark datasets illustrate the efficacy of our routine demonstrating significant performance improvements on problems with dominant eigenvalues.


title: Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information

abstract: We develop a learning-based control algorithm for unknown dynamical systems under very severe data limitations. Specifically, the algorithm has access to streaming and noisy data only from a single and ongoing trial. It accomplishes such performance by effectively leveraging various forms of side information on the dynamics to reduce the sample complexity. Such side information typically comes from elementary laws of physics and qualitative properties of the system. More precisely, the algorithm approximately solves an optimal control problem encoding the system's desired behavior. To this end, it constructs and iteratively refines a data-driven differential inclusion that contains the unknown vector field of the dynamics. The differential inclusion, used in an interval Taylor-based method, enables to over-approximate the set of states the system may reach. Theoretically, we establish a bound on the suboptimality of the approximate solution with respect to the optimal control with known dynamics. We show that the longer the trial or the more side information is available, the tighter the bound. Empirically, experiments in a high-fidelity F-16 aircraft simulator and MuJoCo's environments illustrate that, despite the scarcity of data, the algorithm can provide performance comparable to reinforcement learning algorithms trained over millions of environment interactions. Besides, we show that the algorithm outperforms existing techniques combining system identification and model predictive control.


title: The nonzero gain coefficients of Sobol's sequences are always powers of two

abstract: When a plain Monte Carlo estimate on $n$ samples has variance $\sigma^2/n$, then scrambled digital nets attain a variance that is $o(1/n)$ as $n\to\infty$. For finite $n$ and an adversarially selected integrand, the variance of a scrambled $(t,m,s)$-net can be at most $\Gamma\sigma^2/n$ for a maximal gain coefficient $\Gamma<\infty$. The most widely used digital nets and sequences are those of Sobol'. It was previously known that $\Gamma\leqslant 2^t3^s$ for Sobol' points as well as Niederreiter-Xing points. In this paper we study nets in base $2$. We show that $\Gamma \leqslant2^{t+s-1}$ for nets. This bound is a simple, but apparently unnoticed, consequence of a microstructure analysis in Niederreiter and Pirsic (2001). We obtain a sharper bound that is smaller than this for some digital nets. We also show that all nonzero gain coefficients must be powers of two. A consequence of this latter fact is a simplified algorithm for computing gain coefficients of nets in base $2$.


title: Learning and Generalization in Overparameterized Normalizing Flows

abstract: In supervised learning, it is known that overparameterized neural networks with one hidden layer provably and efficiently learn and generalize, when trained using stochastic gradient descent with a sufficiently small learning rate and suitable initialization. In contrast, the benefit of overparameterization in unsupervised learning is not well understood. Normalizing flows (NFs) constitute an important class of models in unsupervised learning for sampling and density estimation. In this paper, we theoretically and empirically analyze these models when the underlying neural network is a one-hidden-layer overparametrized network. Our main contributions are two-fold: (1) On the one hand, we provide theoretical and empirical evidence that for constrained NFs (this class of NFs underlies many NF constructions) with the one-hidden-layer network, overparametrization hurts training. (2) On the other hand, we prove that unconstrained NFs, a recently introduced model, can efficiently learn any reasonable data distribution under minimal assumptions when the underlying network is overparametrized and has one hidden-layer.


title: Slow exponential growth representations of Sp(n, 1) at the edge of Cowling's strip

abstract: We obtain a slow exponential growth estimate for the spherical principal series representation rho_s of Lie group Sp(n, 1) at the edge (Re(s)=1) of Cowling's strip (|Re(s)|<1) on the Sobolev space H^alpha(G/P) when alpha is the critical value Q/2=2n+1. As a corollary, we obtain a slow exponential growth estimate for the homotopy rho_s (s in [0, 1]) of the spherical principal series which is required for the first author's program for proving the Baum--Connes conjecture with coefficients for Sp(n,1).


title: 3D numerical simulations of propagating two-fluid, torsional Alfv\'en waves and heating of a partially-ionized solar chromosphere

abstract: We present a new insight into the propagation, attenuation and dissipation of two-fluid, torsional Alfv\'en waves in the context of heating of the lower solar atmosphere. By means of numerical simulations of the partially-ionized plasma, we solve the set of two-fluid equations for ion plus electron and neutral fluids in three-dimensional (3D) Cartesian geometry. We implement initially a current-free magnetic field configuration, corresponding to a magnetic flux-tube that is rooted in the solar photosphere and expands into the chromosphere and corona. We put the lower boundary of our simulation region in the low chromosphere, where ions and neutrals begin to decouple, and implement there a monochromatic driver that directly generates Alfv\'en waves with a wave period of 30 s. As the ion-neutral drift increases with height, the two-fluid effects become more significant and the energy carried by both Alfv\'en and magneto-acoustic waves can be thermalized in the process of ion-neutral collisions there. In fact, we observe a significant increase in plasma temperature along the magnetic flux-tube. In conclusion, the two-fluid torsional Alfv\'en waves can potentially play a role in the heating of the solar chromosphere.


title: Inertial manifolds for 3D complex Ginzburg-Landau equations with periodic boundary conditions

abstract: We prove the existence of an Inertial Manifold for 3D complex Ginzburg-Landau equation with periodic boundary conditions as well as for more general cross-diffusion system assuming that the dispersive exponent is not vanishing. The result is obtained under the assumption that the parameters of the equation is chosen in such a way that the finite-time blow up of smooth solutions does not take place. For the proof of this result we utilize the recently suggested method of spatio-temporal averaging.


title: fasano.franceschini.test: An Implementation of a Multidimensional KS Test in R

abstract: The Kolmogorov-Smirnov (KS) test is a nonparametric statistical test used to test for differences between univariate probability distributions. The versatility of the KS test has made it a cornerstone of statistical analysis across many scientific disciplines. However, the test proposed by Kolmogorov and Smirnov does not easily extend to multidimensional distributions. Here we present the fasano.franceschini.test package, an R implementation of a multidimensional two-sample KS test described by Fasano and Franceschini (1987). The fasano.franceschini.test package provides a test that is computationally efficient, applicable to data of any dimension and type (continuous, discrete, or mixed), and that performs competitively with similar R packages.

categories: stat.ME astro-ph.IM physics.data-an q-bio.QM stat.CO


title: Simultaneous Suspension Control and Energy Harvesting through Novel Design and Control of a New Nonlinear Energy Harvesting Shock Absorber

abstract: Simultaneous vibration control and energy harvesting of vehicle suspensions have attracted significant research attention over the past decades. However, existing energy harvesting shock absorbers (EHSAs) are mainly designed based on the principle of linear resonance, thereby compromising suspension performance for high-efficiency energy harvesting and being only responsive to narrow bandwidth vibrations. In this paper, we propose a new EHSA design -- inerter pendulum vibration absorber (IPVA) -- that integrates an electromagnetic rotary EHSA with a nonlinear pendulum vibration absorber. We show that this design simultaneously improves ride comfort and energy harvesting efficiency by exploiting the nonlinear effects of pendulum inertia. To further improve the performance, we develop a novel stochastic linearization model predictive control (SL-MPC) approach in which we employ stochastic linearization to approximate the nonlinear dynamics of EHSA that has superior accuracy compared to standard linearization. In particular, we develop a new stochastic linearization method with guaranteed stabilizability, which is a prerequisite for control designs. This leads to an MPC problem that is much more computationally efficient than the nonlinear MPC counterpart with no major performance degradation. Extensive simulations are performed to show the superiority of the proposed new nonlinear EHSA and to demonstrate the efficacy of the proposed SL-MPC.


title: Checking whether a word is Hamming-isometric in linear time

abstract: A finite word $f$ is Hamming-isometric if for any two word $u$ and $v$ of same length avoiding $f$, $u$ can be transformed into $v$ by changing one by one all the letters on which $u$ differs from $v$, in such a way that all of the new words obtained in this process also avoid~$f$. Words which are not Hamming-isometric have been characterized as words having a border with two mismatches. We derive from this characterization a linear-time algorithm to check whether a word is Hamming-isometric. It is based on pattern matching algorithms with $k$ mismatches. Lee-isometric words over a four-letter alphabet have been characterized as words having a border with two Lee-errors. We derive from this characterization a linear-time algorithm to check whether a word over an alphabet of size four is Lee-isometric.


title: Reversible Colour Density Compression of Images using cGANs

abstract: Image compression using colour densities is historically impractical to decompress losslessly. We examine the use of conditional generative adversarial networks in making this transformation more feasible, through learning a mapping between the images and a loss function to train on. We show that this method is effective at producing visually lossless generations, indicating that efficient colour compression is viable.


title: Signal Processing Based Deep Learning for Blind Symbol Decoding and Modulation Classification

abstract: Blindly decoding a signal requires estimating its unknown transmit parameters, compensating for the wireless channel impairments, and identifying the modulation type. While deep learning can solve complex problems, digital signal processing (DSP) is interpretable and can be more computationally efficient. To combine both, we propose the dual path network (DPN). It consists of a signal path of DSP operations that recover the signal, and a feature path of neural networks that estimate the unknown transmit parameters. By interconnecting the paths over several recovery stages, later stages benefit from the recovered signals and reuse all the previously extracted features. The proposed design is demonstrated to provide 5% improvement in modulation classification compared to alternative designs lacking either feature sharing or access to recovered signals. The estimation results of DPN along with its blind decoding performance are shown to outperform a blind signal processing algorithm for BPSK and QPSK on a simulated dataset. An over-the-air software-defined-radio capture was used to verify DPN results at high SNRs. DPN design can process variable length inputs and is shown to outperform relying on fixed length inputs with prediction averaging on longer signals by up to 15% in modulation classification.


title: Learning Space Partitions for Path Planning

abstract: Path planning, the problem of efficiently discovering high-reward trajectories, often requires optimizing a high-dimensional and multimodal reward function. Popular approaches like CEM and CMA-ES greedily focus on promising regions of the search space and may get trapped in local maxima. DOO and VOOT balance exploration and exploitation, but use space partitioning strategies independent of the reward function to be optimized. Recently, LaMCTS empirically learns to partition the search space in a reward-sensitive manner for black-box optimization. In this paper, we develop a novel formal regret analysis for when and why such an adaptive region partitioning scheme works. We also propose a new path planning method LaP3 which improves the function value estimation within each sub-region, and uses a latent representation of the search space. Empirically, LaP3 outperforms existing path planning methods in 2D navigation tasks, especially in the presence of difficult-to-escape local optima, and shows benefits when plugged into the planning components of model-based RL such as PETS. These gains transfer to highly multimodal real-world tasks, where we outperform strong baselines in compiler phase ordering by up to 39% on average across 9 tasks, and in molecular design by up to 0.4 on properties on a 0-1 scale. Code is available at https://github.com/yangkevin2/neurips2021-lap3.


title: Existence and uniqueness of solutions in fractional Orlicz-Sobolev spaces for a nonlocal singular elliptic problem

abstract: In this article, we investigate the existence and uniqueness of a positive solution for a class of singular nonlinear elliptic problem with boundary condition. Our result holds in fractional Orlicz-Sobolev spaces.


title: Mapping the hidden magnetic field of the quiet Sun

abstract: The Sun is the only star where we can resolve the intricate magnetism that all convective stars harbor. Yet, more than 99% of its visible surface along the solar cycle (the so-called quiet Sun) is filled with a tangled, unresolved magnetism. These "hidden" fields are thought to store enough magnetic energy to play a role in the heating of the Sun's outer atmosphere, but its field strength is still not constrained. Previous investigations based on the Hanle effect in atomic lines claim a strong magnetization of about 100 G, while the same effect in molecules show a factor of 10 weaker fields. The discrepancy disappears if the magnetic field strength of the hidden is not homogeneous in the solar surface. In this letter, we prove using magnetohydrodynamical simulations that it is possible to infer the average field strength of the hidden quiet Sun magnetic fields using multi-line inversions of intensity profiles in the Zeeman regime. Using this technique with 15 spectral lines in the 1.5 $\mu$m spectral range, we reveal that the spatial distribution of the hidden field is strongly correlated with convection motions, and that the average magnetization is about 46 G. Reconciling our findings with the Hanle ones is not obvious and will require future work on both sides, since it implies an increase of the field strength with height, something that is physically questionable.


title: Leveraging Multiple Online Sources for Accurate Income Verification

abstract: Income verification is the problem of validating a person's stated income given basic identity information such as name, location, job title and employer. It is widely used in the context of mortgage lending, rental applications and other financial risk models. However, the current processes surrounding verification involve significant human effort and document gathering which can be both time-consuming and expensive. In this paper, we propose a novel model for verifying an individual's income given very limited identity information typically available in loan applications. Our model is a combination of a deep neural network and hand-engineered features. The hand engineered features are based upon matching the input information against income records extracted automatically from various publicly available online sources (e.g. payscale.com, H-1B filings, government employee salaries). We conduct experiments on two data sets, one simulated from H-1B records and the other from a real-world data set of peer-to-peer (P2P) loan applications obtained from one of the world's largest P2P lending platform. Our results show a significant reduction in error of 3-6% relative to several strong baselines. We also perform ablation studies to demonstrate that a combined model is indeed necessary to achieve state-of-the-art performance on this task.


title: VQA-Aid: Visual Question Answering for Post-Disaster Damage Assessment and Analysis

abstract: Visual Question Answering system integrated with Unmanned Aerial Vehicle (UAV) has a lot of potentials to advance the post-disaster damage assessment purpose. Providing assistance to affected areas is highly dependent on real-time data assessment and analysis. Scope of the Visual Question Answering is to understand the scene and provide query related answer which certainly faster the recovery process after any disaster. In this work, we address the importance of \textit{visual question answering (VQA)} task for post-disaster damage assessment by presenting our recently developed VQA dataset called \textit{HurMic-VQA} collected during hurricane Michael, and comparing the performances of baseline VQA models.


title: Revolving sequences and Terdragon

abstract: In 1970, Davis and Knuth introduced the concept of revolving sequences to represent Gaussian integers. Much later, Kawamura and Allen recently generalized this idea to a wider class of revolving sequences that parametrize certain self-similar fractals including the Levy Dragon and Tiling Dragon, which are the unique compact solution of certain families of Iterated Function Systems. In this paper, we build on the work of Kawamura and Allen to include a wider collection of Iterated Function Systems and introduce a new type of revolving sequence which parametrizes a different family of self-similar fractals including the Terdragon.


title: Matterwaves, Matterons, and the Atomtronic Transistor Oscillator

abstract: A self-consistent theoretical treatment of a triple-well atomtronic transistor circuit reveals the mechanism of gain, conditions of oscillation, and properties of the subsequent coherent matterwaves emitted by the circuit. A Bose-condensed reservoir of atoms in a large source well provides a chemical potential that drives circuit dynamics. The theory is based on the ansatz that a condensate arises in the transistor gate well as a displaced ground state, that is, one that undergoes dipole oscillation in the well. That gate atoms remain condensed and oscillating is shown to be a consequence of the cooling induced by the emission of a matterwave into the vacuum. Key circuit parameters such as the transistor transconductance and output current are derived by transitioning to a classical equivalent circuit model. Voltage-like and current-like matterwave circuit wave fields are introduced in analogy with microwave circuits, as well as an impedance relationship between the two. This leads to a new notion of a classical coherent matterwave that is the dual of a coherent electromagnetic wave and which is distinct from a deBroglie matterwave associated with cold atoms. Subjecting the emitted atom flux to an atomic potential that will reduce the deBroglie wavelength, for example, will increase the classical matterwave wavelength. Quantization of the classical matterwave fields leads to the dual of the photon that is identified not as an atom but as something else, which is here dubbed a "matteron".