title: Remarks on the Erd\H{o}s Matching Conjecture for Vector Spaces

abstract: In 1965, Paul Erd\H{o}s asked about the largest family $Y$ of $k$-sets in $\{ 1, \ldots, n \}$ such that $Y$ does not contain $s+1$ pairwise disjoint sets. This problem is commonly known as the Erd\H{o}s Matching Conjecture. We investigate the $q$-analog of this question, that is we want to determine the size of a largest family $Y$ of $k$-spaces in $\mathbb{F}_q^n$ such that $Y$ does not contain $s+1$ pairwise disjoint $k$-spaces. Here we call two subspaces disjoint if they intersect trivially. Our main result is, slightly simplified, that if $16 s \leq \min\{ q^{\frac{n-k}{4}},$ $q^{\frac{n-2k+1}{3}} \}$, then $Y$ is either small or a union of intersecting families. Thus we show the Erd\H{os} Matching Conjecture for this range. The proof uses a method due to Metsch. We also discuss constructions. In particular, we show that for larger $s$, there are large examples which are close in size to a union of intersecting families, but structurally different. As an application, we discuss the close relationship between the Erd\H{o}s Matching Conjecture for vector spaces and Cameron-Liebler line classes (and their generalization to $k$-spaces), a popular topic in finite geometry for the last 30 years. More specifically, we propose the Erd\H{o}s Matching Conjecture (for vector spaces) as an interesting variation of the classical research on Cameron-Liebler line classes.


title: On the order of magnitude of Sudler products

abstract: Given an irrational number $\alpha\in(0,1)$, the Sudler product is defined by $P_N(\alpha) = \prod_{r=1}^{N}2|\sin\pi r\alpha|$. Answering a question of Grepstad, Kaltenb\"ock and Neum\"uller we prove an asymptotic formula for distorted Sudler products when $\alpha$ is the golden ratio $(\sqrt{5}+1)/2$ and establish that in this case $\limsup_{N \to \infty} P_N(\alpha)/N < \infty$. We obtain similar results for quadratic irrationals $\alpha$ with continued fraction expansion $\alpha = [a,a,a,\dots]$ for some integer $a \geq 1$, and give a full characterization of the values of $a$ for which $\liminf_{N \to \infty} P_N(\alpha)>0$ and $\limsup_{N \to \infty} P_N(\alpha) / N < \infty$ hold, respectively. We establish that there is a (sharp) transition point at $a=6$, and resolve as a by-product a problem of the first named author, Larcher, Pillichshammer, Saad Eddin, and Tichy.


title: MDInference: Balancing Inference Accuracy and Latency for Mobile Applications

abstract: Deep Neural Networks are allowing mobile devices to incorporate a wide range of features into user applications. However, the computational complexity of these models makes it difficult to run them effectively on resource-constrained mobile devices. Prior work approached the problem of supporting deep learning in mobile applications by either decreasing model complexity or utilizing powerful cloud servers. These approaches each only focus on a single aspect of mobile inference and thus they often sacrifice overall performance. In this work we introduce a holistic approach to designing mobile deep inference frameworks. We first identify the key goals of accuracy and latency for mobile deep inference and the conditions that must be met to achieve them. We demonstrate our holistic approach through the design of a hypothetical framework called MDInference. This framework leverages two complementary techniques; a model selection algorithm that chooses from a set of cloud-based deep learning models to improve inference accuracy and an on-device request duplication mechanism to bound latency. Through empirically-driven simulations we show that MDInference improves aggregate accuracy over static approaches by over 40% without incurring SLA violations. Additionally, we show that with a target latency of 250ms, MDInference increased the aggregate accuracy in 99.74% cases on faster university networks and 96.84% cases on residential networks.


title: Key Points Estimation and Point Instance Segmentation Approach for Lane Detection

abstract: Perception techniques for autonomous driving should be adaptive to various environments. In the case of traffic line detection, an essential perception module, many condition should be considered, such as number of traffic lines and computing power of the target system. To address these problems, in this paper, we propose a traffic line detection method called Point Instance Network (PINet); the method is based on the key points estimation and instance segmentation approach. The PINet includes several stacked hourglass networks that are trained simultaneously. Therefore the size of the trained models can be chosen according to the computing power of the target environment. We cast a clustering problem of the predicted key points as an instance segmentation problem; the PINet can be trained regardless of the number of the traffic lines. The PINet achieves competitive accuracy and false positive on the TuSimple and Culane datasets, popular public datasets for lane detection. Our code is available at https://github.com/koyeongmin/PINet_new


title: Fully Distributed Resilient State Estimation based on Distributed Median Solver

abstract: In this paper, we present a scheme of fully distributed resilient state estimation for linear dynamical systems under sensor attacks. The proposed state observer consists of a network of local observers, where each of them utilizes local measurements and information transmitted from the neighbors. As a fully distributed scheme, it does not necessarily collect a majority of sensing data for the sake of attack identification, while the compromised sensors are eventually identified by the distributed network and excluded from the observers. For this, the overall network (not the individual local observer) is assumed to have redundant sensors and assumed to be connected. The proposed scheme is based on a novel design of a distributed median solver, which approximately recovers the median value of local estimates.


title: Chernoff approximations of Feller semigroups in Riemannian manifolds

abstract: Chernoff approximations of Feller semigroups and the associated diffusion processes in Riemannian manifolds are studied. The manifolds are assumed to be of bounded geometry, thus including all compact manifolds and also a wide range of non-compact manifolds. Sufficient conditions are established for a class of second order elliptic operators to generate a Feller semigroup on a (generally non-compact) manifold of bounded geometry. A construction of Chernoff approximations is presented for these Feller semigroups in terms of shift operators. This provides approximations of solutions to initial value problems for parabolic equations with variable coefficients on the manifold. It also yields weak convergence of a sequence of random walks on the manifolds to the diffusion processes associated with the elliptic generator. For parallelizable manifolds this result is applied in particular to the representation of Brownian motion on the manifolds as limits of the corresponding random walks.


title: On Orthogonal Projections on the Space of Consistent Pairwise Comparisons Matrices

abstract: In this study, the orthogonalization process for different inner products is applied to pairwise comparisons. Properties of consistent approximations of a given inconsistent pairwise comparisons matrix are examined. A method of a derivation of a priority vector induced by a pairwise comparison matrix for a given inner product has been introduced. The mathematical elegance of orthogonalization and its universal use in most applied sciences has been the motivating factor for this study. However, the finding of this study that approximations depend on the inner product assumed, is of considerable importance.


title: Multidimensional Enrichment of Spatial RDF Data for SOLAP -- Full Version

abstract: Large volumes of spatial data and multidimensional data are being published on the Semantic Web, which has led to new opportunities for advanced analysis, such as Spatial Online Analytical Processing (SOLAP). The RDF Data Cube (QB) and QB4OLAP vocabularies have been widely used for annotating and publishing statistical and multidimensional RDF data. Although such statistical data sets might have spatial information, such as coordinates, the lack of spatial semantics and spatial multidimensional concepts in QB4OLAP and QB prevents users from employing SOLAP queries over spatial data using SPARQL. The QB4SOLAP vocabulary, on the other hand, fully supports annotating spatial and multidimensional data on the Semantic Web and enables users to query endpoints with SOLAP operators in SPARQL. To bridge the gap between QB/QB4OLAP and QB4SOLAP, we propose an RDF2SOLAP enrichment model that automatically annotates spatial multidimensional concepts with QB4SOLAP and in doing so enables SOLAP on existing QB and QB4OLAP data on the Semantic Web. Furthermore, we present and evaluate a wide range of enrichment algorithms and apply them on a non-trivial real-world use case involving governmental open data with complex geometry types.


title: It is not just about the Melody: How Europe Votes for its Favorite Songs

abstract: The Eurovision Song Contest is a popular annual international song competition organized by the European Broadcasting Union. The winner is decided by the audience and expert juries from each participating nation, which is why the analysis of its voting network offers a great insight into what factors, besides the quality of the performances, influence the voting decisions. In this paper, we present the findings of the analysis of the voting network, together with the results of a predictive model based on the collected data. We touch upon the methodology used and describe the dataset we carry the analysis on. The results include some general features of the voting networks, the exposed communities of countries that award significantly more points among themselves than would be expected and some predictions on what the biggest factors that lead to this phenomenon are. We also include the model to predict the votes based on network structure of both previous votes and song preferences of nations, which we found not to offer much improved predictions than relying on the betting tables alone.


title: REST: Performance Improvement of a Black Box Model via RL-based Spatial Transformation

abstract: In recent years, deep neural networks (DNN) have become a highly active area of research, and shown remarkable achievements on a variety of computer vision tasks. DNNs, however, are known to often make overconfident yet incorrect predictions on out-of-distribution samples, which can be a major obstacle to real-world deployments because the training dataset is always limited compared to diverse real-world samples. Thus, it is fundamental to provide guarantees of robustness to the distribution shift between training and test time when we construct DNN models in practice. Moreover, in many cases, the deep learning models are deployed as black boxes and the performance has been already optimized for a training dataset, thus changing the black box itself can lead to performance degradation. We here study the robustness to the geometric transformations in a specific condition where the black-box image classifier is given. We propose an additional learner, \emph{REinforcement Spatial Transform learner (REST)}, that transforms the warped input data into samples regarded as in-distribution by the black-box models. Our work aims to improve the robustness by adding a REST module in front of any black boxes and training only the REST module without retraining the original black box model in an end-to-end manner, i.e. we try to convert the real-world data into training distribution which the performance of the black-box model is best suited for. We use a confidence score that is obtained from the black-box model to determine whether the transformed input is drawn from in-distribution. We empirically show that our method has an advantage in generalization to geometric transformations and sample efficiency.


title: Controlled time series generation for automotive software-in-the-loop testing using GANs

abstract: Testing automotive mechatronic systems partly uses the software-in-the-loop approach, where systematically covering inputs of the system-under-test remains a major challenge. In current practice, there are two major techniques of input stimulation. One approach is to craft input sequences which eases control and feedback of the test process but falls short of exposing the system to realistic scenarios. The other is to replay sequences recorded from field operations which accounts for reality but requires collecting a well-labeled dataset of sufficient capacity for widespread use, which is expensive. This work applies the well-known unsupervised learning framework of Generative Adversarial Networks (GAN) to learn an unlabeled dataset of recorded in-vehicle signals and uses it for generation of synthetic input stimuli. Additionally, a metric-based linear interpolation algorithm is demonstrated, which guarantees that generated stimuli follow a customizable similarity relationship with specified references. This combination of techniques enables controlled generation of a rich range of meaningful and realistic input patterns, improving virtual test coverage and reducing the need for expensive field tests.


title: Text-based Question Answering from Information Retrieval and Deep Neural Network Perspectives: A Survey

abstract: Text-based Question Answering (QA) is a challenging task which aims at finding short concrete answers for users' questions. This line of research has been widely studied with information retrieval techniques and has received increasing attention in recent years by considering deep neural network approaches. Deep learning approaches, which are the main focus of this paper, provide a powerful technique to learn multiple layers of representations and interaction between questions and texts. In this paper, we provide a comprehensive overview of different models proposed for the QA task, including both traditional information retrieval perspective, and more recent deep neural network perspective. We also introduce well-known datasets for the task and present available results from the literature to have a comparison between different techniques.


title: Linear System Identification Under Multiplicative Noise from Multiple Trajectory Data

abstract: The study of multiplicative noise models has a long history in control theory but is re-emerging in the context of complex networked systems and systems with learning-based control. We consider linear system identification with multiplicative noise from multiple state-input trajectory data. We propose exploratory input signals along with a least-squares algorithm to simultaneously estimate nominal system parameters and multiplicative noise covariance matrices. Identifiability of the covariance structure and asymptotic consistency of the least-squares estimator are demonstrated by analyzing first and second moment dynamics of the system. The results are illustrated by numerical simulations.


title: Plasmon-phonon-polaritons in encapsulated phosphorene

abstract: We consider a system consists of a doped monolayer phosphorene embedded between two hexagonal Boron Nitride (hBN) slabs along the heterostructure direction. The wavevector azimuthal angle dependence of the plasmon-polariton and plasmon-phonon-polariton modes of the hybrid system are calculated based on the random phase approximation at finite temperature. The collective modes illustrate strong anisotropy and strong coupling with phonon modes of the polar media and furthermore, the Landau damping occurs due to the intraband processes when plasmon enters intraband electron-hole continuum. Our numerical results show that the plasmon mode is highly confined to the surface along the zigzag direction. Owing to the strong electron-phonon interaction, the phonon dispersions in the Reststrahlen bands are also angle-dependent. These results are also in agreement with those of the semiclassical model obtained in our calculations.


title: A Lipschitz version of the $\lambda$-Lemma and a characterization of homoclinic and heteroclinic orbits

abstract: In this paper we consider finite dimensional dynamical systems generated by a Lipschitz function. We prove a version of the Whitney's Extension Theorem on compact manifolds to obtain a version of the well-known Lambda Lemma for Lipschitz functions. The notions of Lipschitz transversality and hyperbolicity are investigated in the context of finite dimension with a norm weaker than $C^1$-norm and stronger than $C^0$-norm.


title: A glance into the evolution of template-free protein structure prediction methodologies

abstract: Prediction of protein structures using computational approaches has been explored for over two decades, paving a way for more focused research and development of algorithms in comparative modelling, ab intio modelling and structure refinement protocols. A tremendous success has been witnessed in template-based modelling protocols, whereas strategies that involve template-free modelling still lag behind, specifically for larger proteins (> 150 a.a.). Various improvements have been observed in ab initio protein structure prediction methodologies overtime, with recent ones attributed to the usage of deep learning approaches to construct protein backbone structure from its amino acid sequence. This review highlights the major strategies undertaken for template-free modelling of protein structures while discussing few tools developed under each strategy. It will also briefly comment on the progress observed in the field of ab initio modelling of proteins over the course of time as seen through the evolution of CASP platform.


title: A Problem in Human Dynamics: Modelling the Population Density of a Social Space

abstract: Human dynamics and sociophysics suggest statistical models that may explain and provide us with better insight into social phenomena. Here we tackle the problem of determining the distribution of the population density of a social space over time by modelling the dynamics of agents entering and exiting the space as a birth-death process. We show that, for a simple agent-based model in which the probabilities of entering and exiting the space depends on the number of agents currently present in the space, the population density of the space follows a gamma distribution. We also provide empirical evidence supporting the validity of the model by applying it to a data set of occupancy traces of a common space in an office building.


title: Collaborative RF and Lightwave Power Transfer for Next-Generation Wireless Networks

abstract: Breakthroughs in information and power transfer for wireless networks are imperative in order to satisfy the requirement of wireless nodes for energy sustainability. To this end, significant research efforts in academia and industry have been devoted to the design of optimal resource allocation schemes for RF simultaneous wireless information and power transfer (SWIPT) networks. The transmit power constraints imposed by safety regulations introduce significant challenges to the improvement of the power transfer performance. Therefore, solely relying on RF resources to cope with the expectations of next-generation wireless networks, such as longer device lifetimes and higher data rates, may no longer be possible. Thus, the investigation of technologies complementary to conventional RF SWIPT is of critical importance. In this article, we propose a novel collaborative RF and lightwave power transfer technology for future networks, where both the RF and lightwave bands can be entirely exploited. In this context, we introduce the basic transceiver architecture and four corresponding collaborative communication and power transfer protocols. Finally, key potential future research directions are highlighted.


title: CRL: Class Representative Learning for Image Classification

abstract: Building robust and real-time classifiers with diverse datasets are one of the most significant challenges to deep learning researchers. It is because there is a considerable gap between a model built with training (seen) data and real (unseen) data in applications. Recent works including Zero-Shot Learning (ZSL), have attempted to deal with this problem of overcoming the apparent gap through transfer learning. In this paper, we propose a novel model, called Class Representative Learning Model (CRL), that can be especially effective in image classification influenced by ZSL. In the CRL model, first, the learning step is to build class representatives to represent classes in datasets by aggregating prominent features extracted from a Convolutional Neural Network (CNN). Second, the inferencing step in CRL is to match between the class representatives and new data. The proposed CRL model demonstrated superior performance compared to the current state-of-the-art research in ZSL and mobile deep learning. The proposed CRL model has been implemented and evaluated in a parallel environment, using Apache Spark, for both distributed learning and recognition. An extensive experimental study on the benchmark datasets, ImageNet-1K, CalTech-101, CalTech-256, CIFAR-100, shows that CRL can build a class distribution model with drastic improvement in learning and recognition performance without sacrificing accuracy compared to the state-of-the-art performances in image classification.


title: To be Tough or Soft: Measuring the Impact of Counter-Ad-blocking Strategies on User Engagement

abstract: The fast growing ad-blocker usage results in large revenue decrease for ad-supported online websites. Facing this problem, many online publishers choose either to cooperate with ad-blocker software companies to show acceptable ads or to build a wall that requires users to whitelist the site for content access. However, there is lack of studies on the impact of these two counter-ad-blocking strategies on user behaviors. To address this issue, we conduct a randomized field experiment on the website of Forbes Media, a major US media publisher. The ad-blocker users are divided into a treatment group, which receives the wall strategy, and a control group, which receives the acceptable ads strategy. We utilize the difference-in-differences method to estimate the causal effects. Our study shows that the wall strategy has an overall negative impact on user engagements. However, it has no statistically significant effect on high-engaged users as they would view the pages no matter what strategy is used. It has a big impact on low-engaged users, who have no loyalty to the site. Our study also shows that revisiting behavior decreases over time, but the ratio of session whitelisting increases over time as the remaining users have relatively high loyalty and high engagement. The paper concludes with discussions of managerial insights for publishers when determining counter-ad-blocking strategies.


title: A gradient system approach for Hankel structured low-rank approximation

abstract: Rank deficient Hankel matrices are at the core of several applications. However, in practice, the coefficients of these matrices are noisy due to e.g. measurements errors and computational errors, so generically the involved matrices are full rank. This motivates the problem of Hankel structured low-rank approximation. Structured low-rank approximation problems, in general, do not have a global and efficient solution technique. In this paper we propose a local optimization approach based on a two-levels iteration. Experimental results show that the proposed algorithm usually achieves good accuracy and shows a higher robustness with respect to the initial approximation, compared to alternative approaches.


title: Robustness Verification for Transformers

abstract: Robustness verification that aims to formally certify the prediction behavior of neural networks has become an important tool for understanding model behavior and obtaining safety guarantees. However, previous methods can usually only handle neural networks with relatively simple architectures. In this paper, we consider the robustness verification problem for Transformers. Transformers have complex self-attention layers that pose many challenges for verification, including cross-nonlinearity and cross-position dependency, which have not been discussed in previous works. We resolve these challenges and develop the first robustness verification algorithm for Transformers. The certified robustness bounds computed by our method are significantly tighter than those by naive Interval Bound Propagation. These bounds also shed light on interpreting Transformers as they consistently reflect the importance of different words in sentiment analysis.


title: Observation of anomalously strong penetration of terahertz electric field through terahertz-opaque gold films into a GaAs/AlGaAs quantum well

abstract: We observe an anomalously high electric field of terahertz (THz) radiation acting on a two-dimensional electron gas (2DEG) placed beneath a thin gold film, which, however, is supposed to be opaque at THz frequencies. We show that the anomalously strong penetration of the THz electric field through a very high conductive gold film emerges if two conditions are fulfilled simultaneously: (i) the film's thickness is less than the skin depth and (ii) the THz electric field is measured beneath the film at distances substantially smaller than the radiation wavelength. We demonstrate that under these conditions the strength of the field acting on a 2DEG is almost the same as it would be in the absence of the gold film. The effect is detected for macroscopically homogeneous perforation-free gold films illuminated by THz-laser radiation with a spot smaller than the film area. This eliminates the near-field of the edge diffraction as a possible cause of the anomalous penetration. The microscopic origin of the effect remains unexplained in its details, yet. The observed effect can be used for the development of THz devices based on two-dimensional materials requiring robust highly conducting top gates placed at less than nanometer distance from the electron gas location.


title: On the Nullstellensatz for c-holomorphic functions with algebraic graphs

abstract: C-holomorphic functions defined on algebraic sets and having algebraic graphs can be considered as a complex counterpart of regulous functions introduced recently in real geometry. This note is a part of our study on the subject; we prove herein some effective Nullstellens\"atze.


title: The Super Mumford Form and Sato Grassmannian

abstract: We describe a supersymmetric generalization of the construction of Kontsevich and Arbarello, De Concini, Kac, and Procesi, which utilizes a relation between the moduli space of curves with the infinite-dimensional Sato Grassmannian. Our main result is the existence of a flat holomorphic connection on the line bundle $\lambda_{3/2}\otimes\lambda_{1/2}^{-5}$ on the moduli space of triples: a super Riemann surface, a Neveu-Schwarz puncture, and a formal coordinate system. We also prove a superconformal Noether normalization lemma for families of super Riemann surfaces.


title: Block Annotation: Better Image Annotation for Semantic Segmentation with Sub-Image Decomposition

abstract: Image datasets with high-quality pixel-level annotations are valuable for semantic segmentation: labelling every pixel in an image ensures that rare classes and small objects are annotated. However, full-image annotations are expensive, with experts spending up to 90 minutes per image. We propose block sub-image annotation as a replacement for full-image annotation. Despite the attention cost of frequent task switching, we find that block annotations can be crowdsourced at higher quality compared to full-image annotation with equal monetary cost using existing annotation tools developed for full-image annotation. Surprisingly, we find that 50% pixels annotated with blocks allows semantic segmentation to achieve equivalent performance to 100% pixels annotated. Furthermore, as little as 12% of pixels annotated allows performance as high as 98% of the performance with dense annotation. In weakly-supervised settings, block annotation outperforms existing methods by 3-4% (absolute) given equivalent annotation time. To recover the necessary global structure for applications such as characterizing spatial context and affordance relationships, we propose an effective method to inpaint block-annotated images with high-quality labels without additional human effort. As such, fewer annotations can also be used for these applications compared to full-image annotation.


title: Orbital ingredients for cooking X-structures in edge-on galaxies

abstract: X-structures are often observed in galaxies hosting the so-called B/PS (boxy/peanuts) bulges and are visible from the edge-on view. They are the most notable features of B/PS bulges and appear as four rays protruding from the disk of the host galaxy and distinguishable against the B/PS bulge background. In some works their origin is thought to be connected with the so-called banana-shaped orbits with a vertical resonance 2:1. A star in such an orbit performs two oscillations in the vertical direction per one revolution in the bar frame. Several recent studies that analyzed ensembles of orbits arising in different $N$-body models do not confirm the dominance of the resonant 2:1 orbits in X-structures. In our work we analyze two $N$-body models and show how the X-structure in our models is gradually assembled from the center to the periphery from orbits with less than 2:1 frequency ratio. The most number of such orbits is enclosed in a 'farfalle'-shape (Italian pasta) form and turns out to be non-periodic. We conclude that the X-structure is only the envelope of regions of high density caused by the crossing or folding of different types of orbits at their highest points, and does not have a "backbone" similar to that of the in-plane bar. Comparing the orbital structure of two different numerical models, we show that the dominance of one or another family of orbits with a certain ratio of the vertical oscillations frequency to the in-plane frequency depends on the parameters of the underlying galaxy and ultimately determines the morphology of the X-structure and the opening angle of its rays.


title: Modeling Citation Trajectories of Scientific Papers

abstract: Several network growth models have been proposed in the literature that attempt to incorporate properties of citation networks. Generally, these models aim at retaining the degree distribution observed in real-world networks. In this work, we explore whether existing network growth models can realize the diversity in citation growth exhibited by individual papers - a new node-centric property observed recently in citation networks across multiple domains of research. We theoretically and empirically show that the network growth models which are solely based on degree and/or intrinsic fitness cannot realize certain temporal growth behaviors that are observed in real-world citation networks. To this end, we propose two new growth models that localize the influence of papers through an appropriate attachment mechanism. Experimental results on the real-world citation networks of Computer Science and Physics domains show that our proposed models can better explain the temporal behavior of citation networks than existing models.


title: Regular-singular connections on relative complex schemes

abstract: Deligne's celebrated "Riemann--Hilbert correspondence" relates representations of the fundamental group of a smooth complex algebraic variety and regular-singular integrable connections. In this work, we show how to arrive at a similar statement in the case of a smooth scheme $X$ over the spectrum of a ring $R=\mathbb C[[t_1,\ldots, t_r]]/I$. On one side of the correspondence we have representations on $R$-modules of the fundamental group of the special fibre, and on the other we have certain integrable $R$-connections admitting logarithmic models. The correspondence is then applied to give explicit examples of differential Galois groups of $\mathbb C[[t]]$--connections.


title: Relative Leray numbers via spectral sequences

abstract: Let $\mathbb{F}$ be a fixed field and let $X$ be a simplicial complex on the vertex set $V$. The Leray number $L(X;\mathbb{F})$ is the minimal $d$ such that for all $i \geq d$ and $S \subset V$, the induced complex $X[S]$ satisfies $\tilde{H}_i(X[S];\mathbb{F})=0$. Leray numbers play a role in formulating and proving topological Helly type theorems. For two complexes $X,Y$ on the same vertex set $V$, define the relative Leray number $L_Y(X;\mathbb{F})$ as the minimal $d$ such that $\tilde{H}_i(X[V \setminus \sigma];\mathbb{F})=0$ for all $i \geq d$ and $\sigma \in Y$. In this paper we extend the topological colorful Helly theorem to the relative setting. Our main tool is a spectral sequence for the intersection of complexes indexed by a geometric lattice.


title: Distance problems for planar hypercomplex numbers

abstract: We study the unit distance and distinct distances problems over the planar hypercomplex numbers: the dual numbers $\mathbb{D}$ and the double numbers $\mathbb{S}$. We show that the distinct distances problem in $\mathbb{S}^2$ behaves similarly to the original problem in $\mathbb{R}^2$. The other three problems behave rather differently from their real analogs. We study those three problems by introducing various notions of multiplicity of a point set. Our analysis is based on studying the geometry of the dual plane and of the double plane. We also rely on classical results from discrete geometry, such as the Szemer\'edi-Trotter theorem.


title: Passive Linear Discrete-Time Systems: Characterization through Structure

abstract: We here show that the family of finite-dimensional, discrete-time, passive, linear time-invariant systems can be characterized through the structure of maximal, matrix-convex set, closed under multiplication among its elements. Moreover, this observation unifies three setups: (i) difference inclusions, (ii) matrix-valued rational functions, (iii) realization arrays associated with rational functions. It turns out that in the continuous-time case, the corresponding structure is of a maximal matrix-convex, cone, closed under inversion.


title: Seeded Binary Segmentation: A general methodology for fast and optimal change point detection

abstract: In recent years, there has been an increasing demand on efficient algorithms for large scale change point detection problems. To this end, we propose seeded binary segmentation, an approach relying on a deterministic construction of background intervals, called seeded intervals, in which single change points are searched. The final selection of change points based on the candidates from seeded intervals can be done in various ways, adapted to the problem at hand. Thus, seeded binary segmentation is easy to adapt to a wide range of change point detection problems, let that be univariate, multivariate or even high-dimensional. We consider the univariate Gaussian change in mean setup in detail. For this specific case we show that seeded binary segmentation leads to a near-linear time approach (i.e. linear up to a logarithmic factor) independent of the underlying number of change points. Furthermore, using appropriate selection methods, the methodology is shown to be asymptotically minimax optimal. While computationally more efficient, the finite sample estimation performance remains competitive compared to state of the art procedures. Moreover, we illustrate the methodology for high-dimensional settings with an inverse covariance change point detection problem where our proposal leads to massive computational gains while still exhibiting good statistical performance.


title: Investigating the role of Cu foil orientation in the growth of large BN films synthesized by reactive RF magnetron sputtering

abstract: Two dimensional materials are an emerging class of materials which is transforming the present day research activity on a phenomenal scale. Hexagonal boron nitride is a wide band gap 2D material which is an excellent substrate for graphene based electronics. To achieve the full potential of hBN scalable and high yield growth procedures are required. Here, we demonstrate the synthesis of hBN by reactive R.F magnetron sputtering over copper foil. Copper foil preparation conditions determines the phase selectivity of BN films. Deposition of hBN on non-electropolished Cu foils with predominant (100) orientation resulted in growth of BN islands with mixed cubic and hexagonal BN phase. On electropolished Cu foils with high symmetry hexagonal (111) surface termination we get growth of continuous hexagonal BN films, while on Cu foils having (100) and (110) orientation with lower symmetry growth of cubic BN films are observed.


title: HPIM-DM: a fast and reliable dense-mode multicast routing protocol (extended version)

abstract: This paper proposes the HPIM-DM (Hard-state Protocol Independent Multicast - Dense Mode) multicast routing protocol. HPIM-DM is a hard-state version of PIM-DM that keeps its main characteristics but has faster convergence and better resilience to replay attacks. Like PIM-DM, HPIM-DM is meant for dense networks and supports its operation on a unicast routing protocol and reverse path forwarding checks. However, routers maintain sense of the multicast trees at all times, allowing fast reconfiguration in the presence of network failures or unicast route changes. This is achieved by (i) keeping information on all upstream neighbors from which multicast data can be received, (ii) ensuring the reliable transmission and sequencing of control messages, and (iii) synchronizing the routing information immediately when a new router joins the network. The protocol was fully implemented in Python, and the implementation is publicly available. Finally, the correctness of the protocol was extensively validated using model checking, logical reasoning and tests performed over the protocol implementation.


title: Searching for the critical point of strongly interacting matter in nucleus-nucleus collisions at CERN SPS

abstract: The search for experimental signatures of the critical point (CP) of strongly interacting matter is one of the main objectives of the NA61/SHINE experiment at CERN SPS. In the course of the experiment, a beam momentum and system size scan is performed. Local proton density fluctuations in transverse momentum space represent an order parameter of the chiral phase transition and are expected to scale according to a universal power-law in the vicinity of the CP; we probe their behavior through an intermittency analysis of the proton second scaled factorial moments (SSFMs) in transverse momentum space. Previous such analyses revealed power-law behavior in NA49 Si+Si collisions at 158$A$ GeV/$c$, with no intermittency observed in lighter or heavier NA49 & NA61/SHINE systems at the same energy. We now extend the analysis to NA61/SHINE Ar+Sc collisions at 150$A$ GeV/$c$, similar in size and baryochemical potential to NA49 Si+Si. We employ statistical techniques to subtract non-critical background and estimate statistical and systematic uncertainties. Subsequently, we use Monte Carlo simulations to assess the statistical significance of the observed intermittency effect.


title: Real-time binaural speech separation with preserved spatial cues

abstract: Deep learning speech separation algorithms have achieved great success in improving the quality and intelligibility of separated speech from mixed audio. Most previous methods focused on generating a single-channel output for each of the target speakers, hence discarding the spatial cues needed for the localization of sound sources in space. However, preserving the spatial information is important in many applications that aim to accurately render the acoustic scene such as in hearing aids and augmented reality (AR). Here, we propose a speech separation algorithm that preserves the interaural cues of separated sound sources and can be implemented with low latency and high fidelity, therefore enabling a real-time modification of the acoustic scene. Based on the time-domain audio separation network (TasNet), a single-channel time-domain speech separation system that can be implemented in real-time, we propose a multi-input-multi-output (MIMO) end-to-end extension of TasNet that takes binaural mixed audio as input and simultaneously separates target speakers in both channels. Experimental results show that the proposed end-to-end MIMO system is able to significantly improve the separation performance and keep the perceived location of the modified sources intact in various acoustic scenes.


title: Can rhythm be touched? An evaluation of rhythmic sketch performance with augmented multimodal feedback

abstract: Although it has been shown that augmented multimodal feedback has a facilitatory effect on motor performance for motor learning and music training, the functionality of haptic feedback combined with other modalities in rhythmic movement tasks has rarely been explored and analysed. In this paper, we evaluate the functionality of visual-haptic feedback in a rhythmic sketch task by comparing it with other multimodal conditions. Further, we examine the possibility of accessing the quality of task execution through kinematic analysis. Based on participants' speed profiles, we investigate the quality of motor control and movement smoothness under different feedback conditions. Results revealed better motor control ability with auditory feedback and improved movement smoothness with haptic feedback. Finally, we propose that haptic feedback can be integrated with other modal stimuli for different interaction purposes, and that kinematic analysis can be a complementary approach to gesture analysis as well as providing subjective evaluation of interaction performance.


title: Lofty Models of Peano Arithmetic

abstract: If M is a nonstandard model of Peano Arithmetic, then M is lofty iff M has a simple elementary extension that is recursively saturated. This had previously been known for countable M.


title: Minimal models for graph-related (hyper)operads

abstract: We construct explicit minimal models for the (hyper)operads governing modular, cyclic and ordinary operads, and wheeled properads, respectively. Algebras for these models are homotopy versions of the corresponding structures.


title: Symplectic Coarse-Grained Classical and Semi-Classical Evolution of Subsystems: New Theoretical Aspects

abstract: We study the classical and semiclassical time evolutions of subsystems of a Hamiltonian system; this is done using a generalization of Heller's thawed Gaussian approximation introduced by Littlejohn. The key tool in our study is an extension of Gromov's "principle of the symplectic camel" obtained in collaboration with N. Dias and J. Prata. This extension says that the orthogonal projection of a symplectic phase space ball on a phase space with a smaller dimension also contains a symplectic ball with the same radius. In the quantum case, the radii of these symplectic balls are taken equal to sqrt(h_bar) and represent ellipsoids of minimum uncertainty, which we have called "quantum blobs" in previous work.

categories: quant-ph hep-th math-ph math.MP math.SG physics.chem-ph


title: BciPy: Brain-Computer Interface Software in Python

abstract: There are high technological and software demands associated with conducting brain-computer interface (BCI) research. In order to accelerate the development and accessibility of BCI, it is worthwhile to focus on open-source and desired tooling. Python, a prominent computer language, has emerged as a language of choice for many research and engineering purposes. In this manuscript, we present BciPy, an open-source, Python-based software for conducting BCI research. It was developed with a focus on restoring communication using event-related potential (ERP) spelling interfaces, however, it may be used for other non-spelling and non-ERP BCI paradigms. Major modules in this system include support for data acquisition, data queries, stimuli presentation, signal processing, signal viewing and modeling, language modeling, task building, and a simple Graphical User Interface (GUI).


title: Multi-stage evolution of heavy quarks in the quark-gluon plasma

abstract: The interaction of heavy flavor with the quark-gluon plasma (QGP) in relativistic heavy-ion collisions is studied using JETSCAPE, a publicly available software package containing a framework for Monte Carlo event generators. Multi-stage (and multi-model) evolution of heavy quarks within JETSCAPE provides a cohesive description of heavy flavor quenching inside the QGP. As the parton shower develops, a model becomes active as soon as its kinematic region of validity is reached. Two combinations of heavy-flavor energy-loss models are explored within a realistic QGP medium, using parameters which were tuned to describe {\it light-flavor} partonic energy-loss.


title: Towards Detection of Subjective Bias using Contextualized Word Embeddings

abstract: Subjective bias detection is critical for applications like propaganda detection, content recommendation, sentiment analysis, and bias neutralization. This bias is introduced in natural language via inflammatory words and phrases, casting doubt over facts, and presupposing the truth. In this work, we perform comprehensive experiments for detecting subjective bias using BERT-based models on the Wiki Neutrality Corpus(WNC). The dataset consists of $360k$ labeled instances, from Wikipedia edits that remove various instances of the bias. We further propose BERT-based ensembles that outperform state-of-the-art methods like $BERT_{large}$ by a margin of $5.6$ F1 score.


title: Heterogeneity in evolutionary games: an analysis of the risk perception

abstract: In this work, we analyse the relationship between heterogeneity and cooperation. Previous investigations suggest that this relation is nontrivial, as some authors found that heterogeneity sustains cooperation, while others obtained different results. Among the possible forms of heterogeneity, we focus on the individual perception of risks and rewards related to a generic event, that can show up in a number of social and biological systems. The modelling approach is based on the framework of Evolutionary Game Theory. To represent this kind of heterogeneity, we implement small and local perturbations on the payoff matrix of simple 2-strategy games, as the Prisoner's Dilemma. So, while usually the payoff is considered as a global and time-invariant structure, i.e. it is the same for all individuals of a population at any time, in our model its value is continuously affected by small variations, both in time and space (i.e. position on a lattice). We found that such perturbations can be beneficial or detrimental to cooperation, depending on their setting. Notably, cooperation is strongly supported when perturbations act on the main diagonal of the payoff matrix, whereas when they act on the off-diagonal the resulting effect is more difficult to quantify. To conclude, the proposed model shows a rich spectrum of possible equilibria, whose interpretation might offer insights and enrich the description of several systems.


title: Relationships between Photospheric Vertical Electric Currents and Hard X-Ray Sources in Solar Flares: Statistical Study

abstract: There are still debates whether particle acceleration in solar flares may occur due to interruption of electric currents flowing along magnetic loops. To contribute to this problem, we performed the first statistical study of relationships between flare hard X-ray (HXR; $50-100$ keV) sources observed by the \textit{Ramaty High-Energy Solar Spectroscopic Imager} (RHESSI) and photospheric vertical electric currents (PVECs, $j_{r}$) calculated using vector magnetograms obtained with the Helioseismic and Magnetic Imager (HMI) on-board the \textit{Solar Dynamics Observatory} (SDO). A sample of 48 flares, from C3.0 to X3.1 class, observed in central part of the solar disk by both instruments in 2010--2015 was analyzed. We found that $\approx 70$\% of all HXR sources overlapped with islands or ribbons of enhanced ($\left| j_{r} \right| \gtrsim 10^{4}$ statampere~cm$^{-2}$) PVECs. However, less than $\approx 40$\% of the HXR sources overlapped with PVEC maxima, with an accuracy of $\pm 3^{\prime\prime}$. More than in half of the flares there were HXR sources outside regions of enhanced PVECs. We found no correlation between intensity of the HXR sources and PVEC density or total PVEC under them. No systematic dissipation of PVECs under the HXR sources was found during the flares. Collectively, the results do not support the current-interruption flare models. However, the results indicate the importance of the presence of longitudinal currents in flare regions. Understanding of their specific role in the processes of energy release, plasma heating, and acceleration of particles requires further investigation.


title: Kudo-Continuity Of Entropy Functionals

abstract: We study in this paper real-valued functions on the space of all sub-$\sigma$-algebras of a probability measure space, and introduce the notion of Kudo-continuity, which is an a priori strengthening of continuity with respect to strong convergence. We show that a large class of entropy functionals are Kudo-continuous. On the way, we establish upper and lower continuity of various entropy functions with respect to asymptotic second order stochastic domination, which should be of independent interest. An application to the study of entropy spectra of $\mu$-boundaries associated to random walks on locally compact groups is given.


title: Dense images of the power maps for a disconnected real algebraic group

abstract: Let $G$ be a complex algebraic group defined over $\mathbb R$, which is not necessarily Zariski connected. In this article, we study the density of the images of the power maps $g\to g^k$, $k\in\mathbb N$, on real points of $G$, i.e., $G(\mathbb R)$ equipped with the real topology. As a result, we extend a theorem of P. Chatterjee on surjectivity of the power map for the set of semisimple elements of $G(\mathbb R)$. We also characterize surjectivity of the power map for a disconnected group $G(\mathbb R)$. The results are applied in particular to describe the image of the exponential map of $G(\mathbb R).$


title: Frequency regulation with thermostatically controlled loads: aggregation of dynamics and synchronization

abstract: Thermostatically controlled loads (TCLs) can provide ancillary services to the power network by aiding existing frequency control mechanisms. TCLs are, however, characterized by an intrinsic limit cycle behavior which raises the risk that these could synchronize when coupled with the frequency dynamics of the power grid, i.e. simultaneously switch, inducing persistent and possibly catastrophic power oscillations. To address this problem, schemes with a randomized response time in their control policy have been proposed in the literature. However, such schemes introduce delays in the response of TCLs to frequency feedback that may limit their ability to provide fast support at urgencies. In this paper, we present a deterministic control mechanism for TCLs such that those switch when prescribed frequency thresholds are exceeded in order to provide ancillary services to the power network. For the considered scheme, we provide analytic conditions which ensure that synchronization is avoided. In particular, we show that as the number of loads tends to infinity, there exist arbitrarily long time intervals where the frequency deviations are arbitrarily small. Our analytical results are verified with simulations on the Northeast Power Coordinating Council (NPCC) 140-bus system, which demonstrate that the proposed scheme offers improved frequency response compared to conventional implementations.


title: Coresets for the Nearest-Neighbor Rule

abstract: Given a training set $P$ of labeled points, the nearest-neighbor rule predicts the class of an unlabeled query point as the label of its closest point in the set. To improve the time and space complexity of classification, a natural question is how to reduce the training set without significantly affecting the accuracy of the nearest-neighbor rule. Nearest-neighbor condensation deals with finding a subset $R \subseteq P$ such that for every point $p \in P$, $p$'s nearest-neighbor in $R$ has the same label as $p$. This relates to the concept of coresets, which can be broadly defined as subsets of the set, such that an exact result on the coreset corresponds to an approximate result on the original set. However, the guarantees of a coreset hold for any query point, and not only for the points of the training set. This paper introduces the concept of coresets for nearest-neighbor classification. We extend existing criteria used for condensation, and prove sufficient conditions to correctly classify any query point when using these subsets. Additionally, we prove that finding such subsets of minimum cardinality is NP-hard, and propose quadratic-time approximation algorithms with provable upper-bounds on the size of their selected subsets. Moreover, we show how to improve one of these algorithms to have subquadratic runtime, being the first of this kind for condensation.


title: Cycles on the Solar-Type Stars and Cooler Dwarfs

abstract: Features of the development of activity cycles in the solar-type stars and fast-rotating cool dwarfs have been considered for 65 stars observed in some decades. Cycles with duration of 7-18 years compared to the solar cycle were found for about 50% of the studied stars. In cooler dwarfs with rotation periods of less than 5 days, cyclic changes in brightness occur on longer scales, up to 80 years. Activity of the highest level is produced on K dwarfs; their main cycles are long and have the highest amplitudes. Both old and young solar-type stars show a similar tendency in increasing the cycle length with a slower rotation. No evidence for a relation between the rotation period and duration of cycles was found for cool dwarfs with $P_{rot} < 5$ days.


title: SBERT-WK: A Sentence Embedding Method by Dissecting BERT-based Word Models

abstract: Sentence embedding is an important research topic in natural language processing (NLP) since it can transfer knowledge to downstream tasks. Meanwhile, a contextualized word representation, called BERT, achieves the state-of-the-art performance in quite a few NLP tasks. Yet, it is an open problem to generate a high quality sentence representation from BERT-based word models. It was shown in previous study that different layers of BERT capture different linguistic properties. This allows us to fusion information across layers to find better sentence representation. In this work, we study the layer-wise pattern of the word representation of deep contextualized models. Then, we propose a new sentence embedding method by dissecting BERT-based word models through geometric analysis of the space spanned by the word representation. It is called the SBERT-WK method. No further training is required in SBERT-WK. We evaluate SBERT-WK on semantic textual similarity and downstream supervised tasks. Furthermore, ten sentence-level probing tasks are presented for detailed linguistic analysis. Experiments show that SBERT-WK achieves the state-of-the-art performance. Our codes are publicly available.


title: Directed Graph Hashing

abstract: This paper presents several algorithms for hashing directed graphs. The algorithms given are capable of hashing entire graphs as well as assigning hash values to specific nodes in a given graph. The notion of node symmetry is made precise via computation of vertex orbits and the graph automorphism group, and nodes that are symmetrically identical are assigned equal hashes. We also present a novel Merkle-style hashing algorithm that seeks to fulfill the recursive principle that a hash of a node should depend only on the hash of its neighbors. This algorithm works even in the presence of cycles, which would not be possible with a naive approach. Structurally hashing trees has seen widespread use in blockchain, source code version control, and web applications. Despite the popularity of tree hashing, directed graph hashing remains unstudied in the literature. Our algorithms open new possibilities to hashing both directed graphs and more complex data structures that can be reduced to directed graphs such as hypergraphs.


title: Gaussian Prepivoting for Finite Population Causal Inference

abstract: In finite population causal inference exact randomization tests can be constructed for sharp null hypotheses, i.e. hypotheses which fully impute the missing potential outcomes. Oftentimes inference is instead desired for the weak null that the sample average of the treatment effects takes on a particular value while leaving the subject-specific treatment effects unspecified. Without proper care, tests valid for sharp null hypotheses may be anti-conservative should only the weak null hold, creating the risk of misinterpretation when randomization tests are deployed in practice. We develop a general framework for unifying modes of inference for sharp and weak nulls, wherein a single procedure simultaneously delivers exact inference for sharp nulls and asymptotically valid inference for weak nulls. To do this, we employ randomization tests based upon prepivoted test statistics, wherein a test statistic is first transformed by a suitably constructed cumulative distribution function and its randomization distribution assuming the sharp null is then enumerated. For a large class of commonly employed test statistics, we show that prepivoting may be accomplished by employing the push-forward of a sample-based Gaussian measure based upon a suitably constructed covariance estimator. In essence, the approach enumerates the randomization distribution (assuming the sharp null) of a P-value for a large-sample test known to be valid under the weak null, and uses the resulting randomization distribution to perform inference. The versatility of the method is demonstrated through a host of examples, including rerandomized designs and regression-adjusted estimators in completely randomized designs.


title: Concurrent Crossmodal Feedback Assists Target-searching: Displaying Distance Information Through Visual, Auditory and Haptic Modalities

abstract: Humans sense of distance depends on the integration of multi sensory cues. The incoming visual luminance, auditory pitch and tactile vibration could all contribute to the ability of distance judgement. This ability can be enhanced if the multimodal cues are associated in a congruent manner, a phenomenon has been referred to as Crossmodal correspondences. In the context of multi-sensory interaction, whether and how such correspondences influence information processing with continuous motor engagement, particularly for target searching activities, has rarely been investigated. This paper presents an experimental user study to address this question. We built a target-searching application based on a Table-top, displayed the unimodal and Crossmodal distance cues concurrently responding to peoples searching movement, measured task performance through kinematic evaluation. We find that the Crossmodal display an audio display lead to improved searching efficiency and accuracy. More interestingly, this improvement is confirmed by kinematic analysis, which also unveiled the underlying movement features that could account for this improvement. We discussed how these findings could shed lights on the design of assistive technology and of other multi sensory interaction.


title: Enhanced spectrum of primordial perturbations, galaxy formation and small scale structure

abstract: The standard structure formation scenario is successful on linear scales. Several apparent problems affect it however at galactic scales, such as the small scale problems at low redshift and more recent issues involving early massive galaxy and black hole formation. As these problems arise where complex baryonic physics becomes important, the associated unknowns are often assumed to be behind the problems. But the same scales are also those where the primordial spectrum is relatively unconstrained, and there are several ways in which it can be modified. We focus on that arising from effects possibly associated with the crossing of high energy cutoff scale by fluctuation modes during inflation. Elementary arguments show that adiabatic evolution cannot modify the near scale invariance, we thus discuss a simple model for the contrary extreme of sudden transition. Numerical calculations and simple arguments suggest that its predictions, for parameters considered here, are more generic than may be expected, with significant modifications requiring a rapid transition. We examine the implications of such a scenario, in this simplest form of sudden jump, on the matter power spectrum and halo mass function in light of the limitations imposed by particle production. We show that enhancement and oscillation in the power spectrum on currently nonlinear scales can potentially simultaneously alleviate both the apparent problem of early structure formation and, somewhat counterintuitively, problems at low redshift such as the apparent dearth of dwarf galaxies. We discuss consequences that can observationally constrain the scenario and its parameters, including an inflationary Hubble scale $\lesssim 10^{-8} M_{\rm Pl}$, while touching on the possibility of simultaneous modification of power on the largest scales.


title: Handover-Count based Velocity Estimation of Cellular-Connected UAVs

abstract: Cellular-connected unmanned aerial vehicles (UAVs) are expected to play a major role in various civilian and commercial applications in the future. While existing cellular networks can provide wireless coverage to UAV user equipment (UE), such legacy networks are optimized for ground users which makes it challenging to provide reliable connectivity to aerial UEs. To ensure reliable and effective mobility management for aerial UEs, estimating the velocity of cellular-connected UAVs carries critical importance. In this paper, we introduce an approximate probability mass function (PMF) of handover count (HOC) for different UAV velocities and different ground base station (GBS) densities. Afterward, we derive the Cramer-Rao lower bound (CRLB) for the velocity estimate of a UAV, and also provide a simple unbiased estimator for the UAV's velocity which depends on the GBS density and HOC measurement time. Our simulation results show that the accuracy of velocity estimation increases with the GBS density and HOC measurement window. Moreover, the velocity of commercially available UAVs can be estimated efficiently with reasonable accuracy.


title: Constructing a Lie group analog for the Monster Lie algebra

abstract: We describe various approaches to constructing groups which may serve as Lie group analogs for the monster Lie algebra of Borcherds.


title: TempLe: Learning Template of Transitions for Sample Efficient Multi-task RL

abstract: Transferring knowledge among various environments is important to efficiently learn multiple tasks online. Most existing methods directly use the previously learned models or previously learned optimal policies to learn new tasks. However, these methods may be inefficient when the underlying models or optimal policies are substantially different across tasks. In this paper, we propose Template Learning (TempLe), the first PAC-MDP method for multi-task reinforcement learning that could be applied to tasks with varying state/action space. TempLe generates transition dynamics templates, abstractions of the transition dynamics across tasks, to gain sample efficiency by extracting similarities between tasks even when their underlying models or optimal policies have limited commonalities. We present two algorithms for an "online" and a "finite-model" setting respectively. We prove that our proposed TempLe algorithms achieve much lower sample complexity than single-task learners or state-of-the-art multi-task methods. We show via systematically designed experiments that our TempLe method universally outperforms the state-of-the-art multi-task methods (PAC-MDP or not) in various settings and regimes.


title: Some model-theoretic perspectives on the structure sheaves of Z hat and the ring of finite ad\`eles over Q

abstract: We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and the ring of finite ad\`eles over Q. We show that various structures associated to a prime ideal, such as quotients and localizations, are well understood model-theoretically, and they are closely connected to ultrafilters on the set of standard primes.


title: Latent Normalizing Flows for Many-to-Many Cross-Domain Mappings

abstract: Learned joint representations of images and text form the backbone of several important cross-domain tasks such as image captioning. Prior work mostly maps both domains into a common latent representation in a purely supervised fashion. This is rather restrictive, however, as the two domains follow distinct generative processes. Therefore, we propose a novel semi-supervised framework, which models shared information between domains and domain-specific information separately. The information shared between the domains is aligned with an invertible neural network. Our model integrates normalizing flow-based priors for the domain-specific information, which allows us to learn diverse many-to-many mappings between the two domains. We demonstrate the effectiveness of our model on diverse tasks, including image captioning and text-to-image synthesis.


title: Efficient graph construction for image representation

abstract: Graphs are useful to interpret widely used image processing methods, e.g., bilateral filtering, or to develop new ones, e.g., kernel based techniques. However, simple graph constructions are often used, where edge weight and connectivity depend on a few parameters. In particular, the sparsity of the graph is determined by the choice of a window size. As an alternative, we extend and adapt to images recently introduced non negative kernel regression (NNK) graph construction. In NNK graphs sparsity adapts to intrinsic data properties. Moreover, while previous work considered NNK graphs in generic settings, here we develop novel algorithms that take advantage of image properties so that the NNK approach can scale to large images. Our experiments show that sparse NNK graphs achieve improved energy compaction and denoising performance when compared to using graphs directly derived from the bilateral filter.


title: Bayesian Spatial Homogeneity Pursuit of Functional Data: an Application to the U.S. Income Distribution

abstract: An income distribution describes how an entity's total wealth is distributed amongst its population. A problem of interest to regional economics researchers is to understand the spatial homogeneity of income distributions among different regions. In economics, the Lorenz curve is a well-known functional representation of income distribution. In this article, we propose a mixture of finite mixtures (MFM) model as well as a Markov random field constrained mixture of finite mixtures (MRFC-MFM) model in the context of spatial functional data analysis to capture spatial homogeneity of Lorenz curves. We design efficient Markov chain Monte Carlo (MCMC) algorithms to simultaneously infer the posterior distributions of the number of clusters and the clustering configuration of spatial functional data. Extensive simulation studies are carried out to show the effectiveness of the proposed methods compared with existing methods. We apply the proposed spatial functional clustering method to state level income Lorenz curves from the American Community Survey Public Use Microdata Sample (PUMS) data. The results reveal a number of important clustering patterns of state-level income distributions across US.


title: PeeledHuman: Robust Shape Representation for Textured 3D Human Body Reconstruction

abstract: We introduce PeeledHuman - a novel shape representation of the human body that is robust to self-occlusions. PeeledHuman encodes the human body as a set of Peeled Depth and RGB maps in 2D, obtained by performing ray-tracing on the 3D body model and extending each ray beyond its first intersection. This formulation allows us to handle self-occlusions efficiently compared to other representations. Given a monocular RGB image, we learn these Peeled maps in an end-to-end generative adversarial fashion using our novel framework - PeelGAN. We train PeelGAN using a 3D Chamfer loss and other 2D losses to generate multiple depth values per-pixel and a corresponding RGB field per-vertex in a dual-branch setup. In our simple non-parametric solution, the generated Peeled Depth maps are back-projected to 3D space to obtain a complete textured 3D shape. The corresponding RGB maps provide vertex-level texture details. We compare our method with current parametric and non-parametric methods in 3D reconstruction and find that we achieve state-of-the-art-results. We demonstrate the effectiveness of our representation on publicly available BUFF and MonoPerfCap datasets as well as loose clothing data collected by our calibrated multi-Kinect setup.


title: Predicting event attendance exploring social influence

abstract: The problem of predicting people's participation in real-world events has received considerable attention as it offers valuable insights for human behavior analysis and event-related advertisement. Today social networks (e.g. Twitter) widely reflect large popular events where people discuss their interest with friends. Event participants usually stimulate friends to join the event which propagates a social influence in the network. In this paper, we propose to model the social influence of friends on event attendance. We consider non-geotagged posts besides structures of social groups to infer users' attendance. To leverage the information on network topology we apply some of recent graph embedding techniques such as node2vec, HARP and Poincar`e. We describe the approach followed to design the feature space and feed it to a neural network. The performance evaluation is conducted using two large music festivals datasets, namely the VFestival and Creamfields. The experimental results show that our classifier outperforms the state-of-the-art baseline with 89% accuracy observed for the VFestival dataset.


title: AOL: Adaptive Online Learning for Human Trajectory Prediction in Dynamic Video Scenes

abstract: We present a novel adaptive online learning (AOL) framework to predict human movement trajectories in dynamic video scenes. Our framework learns and adapts to changes in the scene environment and generates best network weights for different scenarios. The framework can be applied to prediction models and improve their performance as it dynamically adjusts when it encounters changes in the scene and can apply the best training weights for predicting the next locations. We demonstrate this by integrating our framework with two existing prediction models: LSTM [3] and Future Person Location (FPL) [1]. Furthermore, we analyze the number of network weights for optimal performance and show that we can achieve real-time with a fixed number of networks using the least recently used (LRU) strategy for maintaining the most recently trained network weights. With extensive experiments, we show that our framework increases prediction accuracies of LSTM and FPL by ~17% and 28% on average, and up to ~50% for FPL on the worst case while achieving real-time (20fps).


title: Running a Pre-Exascale, Geographically Distributed, Multi-Cloud Scientific Simulation

abstract: As we approach the Exascale era, it is important to verify that the existing frameworks and tools will still work at that scale. Moreover, public Cloud computing has been emerging as a viable solution for both prototyping and urgent computing. Using the elasticity of the Cloud, we have thus put in place a pre-exascale HTCondor setup for running a scientific simulation in the Cloud, with the chosen application being IceCube's photon propagation simulation. I.e. this was not a purely demonstration run, but it was also used to produce valuable and much needed scientific results for the IceCube collaboration. In order to reach the desired scale, we aggregated GPU resources across 8 GPU models from many geographic regions across Amazon Web Services, Microsoft Azure, and the Google Cloud Platform. Using this setup, we reached a peak of over 51k GPUs corresponding to almost 380 PFLOP32s, for a total integrated compute of about 100k GPU hours. In this paper we provide the description of the setup, the problems that were discovered and overcome, as well as a short description of the actual science output of the exercise.


title: Over-parameterized Adversarial Training: An Analysis Overcoming the Curse of Dimensionality

abstract: Adversarial training is a popular method to give neural nets robustness against adversarial perturbations. In practice adversarial training leads to low robust training loss. However, a rigorous explanation for why this happens under natural conditions is still missing. Recently a convergence theory for standard (non-adversarial) supervised training was developed by various groups for {\em very overparametrized} nets. It is unclear how to extend these results to adversarial training because of the min-max objective. Recently, a first step towards this direction was made by Gao et al. using tools from online learning, but they require the width of the net to be \emph{exponential} in input dimension $d$, and with an unnatural activation function. Our work proves convergence to low robust training loss for \emph{polynomial} width instead of exponential, under natural assumptions and with the ReLU activation. Key element of our proof is showing that ReLU networks near initialization can approximate the step function, which may be of independent interest.


title: Exploring crossmodal perceptual enhancement and integration in a sequence-reproducing task with cognitive priming

abstract: Leveraging the perceptual phenomenon of crossmoal correspondence has been shown to facilitate peoples information processing and improves sensorimotor performance. However for goal-oriented interactive tasks, the question of how to enhance the perception of specific Crossmodal information, and how Crossmodal information integration takes place during interaction is still unclear. The present paper reports two experiments investigating these questions. In the first experiment, a cognitive priming technique was introduced as a way to enhance the perception of two Crossmodal stimuli, in two conditions respectively, and their effect on sensory-motor performance was observed. Based on the results, the second experiment combined the two Crossmodal stimuli in the same interfaces in a way that their correspondence congruency was mutually exclusive. The same priming techniques was applied as a manipulating factor to observe the Crossmodal integration process. Results showed that first, the Crossmodal integration during interaction can be enhanced by the priming technique, but the effect varies according to the combination of Crossmodal stimuli and the types of priming material. Moreover, peoples subjective evaluations towards priming types were in contradiction with their objective behavioural data. Second, when two Crossmodal sequences can be perceived simultaneously, results suggested different perceptual weights are possessed by different participants, and the perceptual enhancement effect was observed only on the dominant one, the pitch-elevation. Furthermore, the Crossmodal integration tended to be integrated in a selective manner without priming. These results contribute design implications for multisensory feedback and mindless computing.


title: The Utility of General Domain Transfer Learning for Medical Language Tasks

abstract: The purpose of this study is to analyze the efficacy of transfer learning techniques and transformer-based models as applied to medical natural language processing (NLP) tasks, specifically radiological text classification. We used 1,977 labeled head CT reports, from a corpus of 96,303 total reports, to evaluate the efficacy of pretraining using general domain corpora and a combined general and medical domain corpus with a bidirectional representations from transformers (BERT) model for the purpose of radiological text classification. Model performance was benchmarked to a logistic regression using bag-of-words vectorization and a long short-term memory (LSTM) multi-label multi-class classification model, and compared to the published literature in medical text classification. The BERT models using either set of pretrained checkpoints outperformed the logistic regression model, achieving sample-weighted average F1-scores of 0.87 and 0.87 for the general domain model and the combined general and biomedical-domain model. General text transfer learning may be a viable technique to generate state-of-the-art results within medical NLP tasks on radiological corpora, outperforming other deep models such as LSTMs. The efficacy of pretraining and transformer-based models could serve to facilitate the creation of groundbreaking NLP models in the uniquely challenging data environment of medical text.


title: An outline of obstruction theories of extensions via track categories

abstract: Abelian track categories can be classified via the third Baues-Wirsching cohomology of small categories. This approach is used in this paper to compare and classify different generalisations of the obstruction theory of non-abelian group extensions, due to Cegarra, Garz\'on and Grandjean, Cegarra, Garz\'on and Ortega, and Chen, Du and Wang.


title: A bracket polynomial for 2-tangle shadows

abstract: We compute the Kauffman bracket polynomial of the numerator and denominator closures of A + A + ... + A ( A is repeated n times), where A is a 2-tangle shadow that has at most 4 crossings.


title: Performative Prediction

abstract: When predictions support decisions they may influence the outcome they aim to predict. We call such predictions performative; the prediction influences the target. Performativity is a well-studied phenomenon in policy-making that has so far been neglected in supervised learning. When ignored, performativity surfaces as undesirable distribution shift, routinely addressed with retraining. We develop a risk minimization framework for performative prediction bringing together concepts from statistics, game theory, and causality. A conceptual novelty is an equilibrium notion we call performative stability. Performative stability implies that the predictions are calibrated not against past outcomes, but against the future outcomes that manifest from acting on the prediction. Our main results are necessary and sufficient conditions for the convergence of retraining to a performatively stable point of nearly minimal loss. In full generality, performative prediction strictly subsumes the setting known as strategic classification. We thus also give the first sufficient conditions for retraining to overcome strategic feedback effects.


title: Discrete approximation of the viscous HJ equation

abstract: We consider a stochastic discretization of the stationary viscous Hamilton Jacobi equation on the flat d dimensional torus, associated with a Hamiltonian, convex and superlinear in the momentum variable. We show that each discrete problem admits a unique continuous solution on the torus, up to additive constants. By additionally assuming a technical condition on the associated Lagrangian, we show that each solution of the viscous Hamilton Jacobi equation is the limit of solutions of the discrete problems, as the discretization step goes to zero.


title: Speech Corpus of Ainu Folklore and End-to-end Speech Recognition for Ainu Language

abstract: Ainu is an unwritten language that has been spoken by Ainu people who are one of the ethnic groups in Japan. It is recognized as critically endangered by UNESCO and archiving and documentation of its language heritage is of paramount importance. Although a considerable amount of voice recordings of Ainu folklore has been produced and accumulated to save their culture, only a quite limited parts of them are transcribed so far. Thus, we started a project of automatic speech recognition (ASR) for the Ainu language in order to contribute to the development of annotated language archives. In this paper, we report speech corpus development and the structure and performance of end-to-end ASR for Ainu. We investigated four modeling units (phone, syllable, word piece, and word) and found that the syllable-based model performed best in terms of both word and phone recognition accuracy, which were about 60% and over 85% respectively in speaker-open condition. Furthermore, word and phone accuracy of 80% and 90% has been achieved in a speaker-closed setting. We also found out that a multilingual ASR training with additional speech corpora of English and Japanese further improves the speaker-open test accuracy.


title: Deterministic and controllable photonic scattering media via direct laser writing

abstract: Photonic scattering materials, such as biological tissue and white paper, are made of randomly positioned nanoscale inhomogeneities in refractive index that lead to multiple scattering of light. Typically these materials, both naturally-occurring or man-made, are formed through self assembly of the scattering inhomogeneities, which imposes challenges in tailoring the disorder and hence the optical properties. Here, We report on the nanofabrication of photonic scattering media using direct laser writing with deterministic design. These deterministic scattering media consist of submicron thick polymer nanorods that are randomly oriented within a cubic volume. We study the total transmission of light as a function of the number density of rods and of the sample thickness to extract the scattering and transport mean free paths using radiative transfer theory. Such photonic scattering media with deterministic and controllable properties are model systems for fundamental light scattering in particular with strong anisotropy and offer new applications in solid-state lighting and photovoltaics.


title: Emerging Majorana Modes in Junctions of One-Dimensional Spin Systems

abstract: The non-local effects induced by Majorana fermions in field theories for condensed matter systems are deeply related to the fermion charge fractionalization discovered by Roman Jackiw in relativistic field theories. We show how the presence of Majorana fermions may be mimicked in pertinent networks of spin chains inducing a spin analogue of the multi-channel Kondo effect. The relevance of this spin analogue of the Kondo effect for networks of Josephson arrays and Tonks-Girardeau gases is highlighted.


title: Spatial Clustering Regression of Count Value Data via Bayesian Mixture of Finite Mixtures

abstract: Investigating relationships between response variables and covariates in areas such as environmental science, geoscience, and public health is an important endeavor. Based on a Bayesian mixture of finite mixtures model, we present a novel spatially clustered coefficients regression model for count value data. The proposed method detects the spatial homogeneity of the Poisson regression coefficients. A Markov random field constrained mixture of finite mixtures prior provides a regularized estimator of the number of clusters of regression coefficients with geographical neighborhood information. As a by-product, we also provide the theoretical properties of our proposed method when the Markov random field is exchangeable. An efficient Markov chain Monte Carlo algorithm is developed by using the multivariate log gamma distribution as a base distribution. Simulation studies are carried out to examine the empirical performance of the proposed method. Additionally, we analyze Georgia's premature death data as an illustration of the effectiveness of our approach. The supplementary materials are provided on GitHub at \url{https://github.com/pengzhaostat/MLG_MFM}.


title: Inducing schemes for multi-dimensional piecewise expanding maps

abstract: We construct inducing schemes for general multi-dimensional piecewise expanding maps where the base transformation is Gibbs-Markov and the return times have exponential tails. Such structures are a crucial tool in proving statistical properties of dynamical systems with some hyperbolicity.


title: Inferring the dynamics of underdamped stochastic systems

abstract: Many complex systems, ranging from migrating cells to animal groups, exhibit stochastic dynamics described by the underdamped Langevin equation. Inferring such an equation of motion from experimental data can provide profound insight into the physical laws governing the system. Here, we derive a principled framework to infer the dynamics of underdamped stochastic systems from realistic experimental trajectories, sampled at discrete times and subject to measurement errors. This framework yields an operational method, Underdamped Langevin Inference (ULI), which performs well on experimental trajectories of single migrating cells and in complex high-dimensional systems, including flocks with Viscek-like alignment interactions. Our method is robust to experimental measurement errors, and includes a self-consistent estimate of the inference error.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech q-bio.CB q-bio.QM


title: Tunable two-dimensional electron system at the (110) surface of SnO$_2$

abstract: We report the observation of a two-dimensional electron system (2DES) at the $(110)$ surface of the transparent bulk insulator SnO$_2$, and the tunability of its carrier density by means of temperature or Eu deposition. The 2DES is insensitive to surface reconstructions and, surprisingly, it survives even after exposure to ambient conditions --an extraordinary fact recalling the well known catalytic properties SnO$_2$. Our data show that surface oxygen vacancies are at the origin of such 2DES, providing key information about the long-debated origin of $n$-type conductivity in SnO$_2$, at the basis of a wide range of applications. Furthermore, our study shows that the emergence of a 2DES in a given oxide depends on a delicate interplay between its crystal structure and the orbital character of its conduction band.


title: Generator From Edges: Reconstruction of Facial Images

abstract: Applications that involve supervised training require paired images. Researchers of single image super-resolution (SISR) create such images by artificially generating blurry input images from the corresponding ground truth. Similarly we can create paired images with the canny edge. We propose Generator From Edges (GFE) [Figure 2]. Our aim is to determine the best architecture for GFE, along with reviews of perceptual loss [1, 2]. To this end, we conducted three experiments. First, we explored the effects of the adversarial loss often used in SISR. In particular, we uncovered that it is not an essential component to form a perceptual loss. Eliminating adversarial loss will lead to a more effective architecture from the perspective of hardware resource. It also means that considerations for the problems pertaining to generative adversarial network (GAN) [3], such as mode collapse, are not necessary. Second, we reexamined VGG loss and found that the mid-layers yield the best results. By extracting the full potential of VGG loss, the overall performance of perceptual loss improves significantly. Third, based on the findings of the first two experiments, we reevaluated the dense network to construct GFE. Using GFE as an intermediate process, reconstructing a facial image from a pencil sketch can become an easy task.


title: The normalized algorithmic information distance can not be approximated

abstract: It is known that the normalized algorithmic information distance $N$ is not computable and not semicomputable. We show that for all $\epsilon < 1/2$, there exist no semicomputable functions that differ from $N$ by at most~$\epsilon$. Moreover, for any computable function $f$ such that $|\lim_t f(x,y,t) - N(x,y)| \le \epsilon$ and for all $n$, there exist strings $x,y$ of length $n$ such that $\sum_t |f(x,y,t+1) - f(x,y,t)| \ge \Omega(\log n)$. This is optimal up to constant factors. We also show that the maximal number of oscillations of a limit approximation of $N$ is $\Omega(n/\log n)$. This strengthens the $\omega(1)$ lower bound from [K. Ambos-Spies, W. Merkle, and S.A. Terwijn, 2019, Normalized information distance and the oscillation hierarchy], see arXiv:1708.03583 .


title: R-MADDPG for Partially Observable Environments and Limited Communication

abstract: There are several real-world tasks that would benefit from applying multiagent reinforcement learning (MARL) algorithms, including the coordination among self-driving cars. The real world has challenging conditions for multiagent learning systems, such as its partial observable and nonstationary nature. Moreover, if agents must share a limited resource (e.g. network bandwidth) they must all learn how to coordinate resource use. This paper introduces a deep recurrent multiagent actor-critic framework (R-MADDPG) for handling multiagent coordination under partial observable set-tings and limited communication. We investigate recurrency effects on performance and communication use of a team of agents. We demonstrate that the resulting framework learns time dependencies for sharing missing observations, handling resource limitations, and developing different communication patterns among agents.


title: Global and Local Feature Learning for Ego-Network Analysis

abstract: In an ego-network, an individual (ego) organizes its friends (alters) in different groups (social circles). This social network can be efficiently analyzed after learning representations of the ego and its alters in a low-dimensional, real vector space. These representations are then easily exploited via statistical models for tasks such as social circle detection and prediction. Recent advances in language modeling via deep learning have inspired new methods for learning network representations. These methods can capture the global structure of networks. In this paper, we evolve these techniques to also encode the local structure of neighborhoods. Therefore, our local representations capture network features that are hidden in the global representation of large networks. We show that the task of social circle prediction benefits from a combination of global and local features generated by our technique.


title: Charm decays

abstract: I discuss hadronic decays of $D$ mesons with emphasis on the recent discovery of charm CP violation in $D^0\to K^+K^-,\pi^+\pi^-$ decays. The measured difference $\Delta a_{CP} \, \equiv \; a_{CP}^{\mathrm{dir}}(D^0\rightarrow K^+K^-) - a_{CP}^{\mathrm{dir}}(D^0\rightarrow\pi^+\pi^-) = \; (-15.4\pm 2.9)\cdot 10^{-4}$ of two direct CP asymmetries exceeds the SM prediction by a factor of 7. A possible explanation is an enhancement of the penguin amplitude entering $ a_{CP}^{\mathrm{dir}}$ by QCD effects which are not understood yet. Alternatively, $\Delta a_{CP}$ could be dominated by contributions from new physics. In order to distinguish these two hypotheses further CP asymmetries should be measured. To this end CP asymmetries resulting from the interference of two tree-level amplitudes auch as $a_{CP}^{\mathrm{dir}}(D^0\rightarrow K_SK_S)$ or $a_{CP}^{\mathrm{dir}}(D^0 \to K^{*0} K_S)$ are especially interesting.


abstract: We study $p$-adic Hodge theory for families of Galois representations over pseudorigid spaces. Such spaces are non-archimedean analytic spaces which may be of mixed characteristic, and which arise naturally in the study of eigenvarieties at the boundary of weight space. We introduce perfect and imperfect overconvergent period rings, and we use the Tate--Sen method to construct overconvergent $(\varphi, \Gamma)$-modules for Galois representations over pseudorigid spaces.


title: Effect of Carbon on the Compound Layer Properties of AISI H13 Tool Steel in Pulsed Plasma Nitrocarburizing

abstract: Due to the mechanical and inertness properties of the Epsilon phase, its formation as a compact monolayer is most wanted in plasma surface treatments of steels. This phase can be obtained by the inclusion of carbon species in the plasma. In this work, we present a systematic study of the carbon influence on the compound layer in an AISI H13 tool steel by pulsed plasma nitrocarburizing process with different gaseous ratios.


title: On the size of the set of unbounded multilinear operators between Banach spaces

abstract: Among other results we investigate $\left( \alpha,\beta\right) $-lineability of the set of non-continuous $m$-linear operators defined between normed spaces as a subset of the space of all $m$-linear operators. We also give a partial answer to an open problem on the lineability of the set of non absolutely summing operators.


title: LDPC codes constructed from cubic symmetric graphs

abstract: Low-density parity-check (LDPC) codes have been the subject of much interest due to the fact that they can perform near the Shannon limit. In this paper we present a construction of LDPC codes from cubic symmetric graphs. The constructed codes are $(3,3)$-regular and the vast majority of the corresponding Tanner graphs have girth greater than four. We analyse properties of the obtained codes and present bounds for the code parameters, the dimension and the minimum distance. Furthermore, we give an expression for the variance of the syndrome weight of the constructed codes. Information on the LDPC codes constructed from bipartite cubic symmetric graphs with less than 200 vertices is presented as well. Some of the constructed codes are optimal, and some have an additional property of being self-orthogonal or linear codes with complementary dual (LCD codes).


title: Generalized BMS charge algebra

abstract: It has been argued that the symmetries of gravity at null infinity should include a Diff$(S^2)$ factor associated to diffeomorphisms on the celestial sphere. However, the standard phase space of gravity does not support the action of such transformations. Building on earlier work by Laddha and one of the authors, we present an extension of the phase space of gravity at null infinity on which Diff$(S^2)$ acts canonically. The Poisson brackets of supertranslation and Diff$(S^2)$ charges reproduce the generalized BMS algebra introduced in arXiv:1408.2228 .


title: Quantum Set Theory: Transfer Principle and De Morgan's Laws

abstract: In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for bounded quantifiers that satisfies De Morgan's Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's Laws.


title: Bringing high spatial resolution to the Far-infrared -- A giant leap for astrophysics

abstract: The far-infrared (FIR) regime is one of the few wavelength ranges where no astronomical data with sub-arcsecond spatial resolution exist. Neither of the medium-term satellite projects like SPICA, Millimetron nor O.S.T. will resolve this malady. For many research areas, however, information at high spatial and spectral resolution in the FIR, taken from atomic fine-structure lines, from highly excited carbon monoxide (CO), light hydrids, and especially from water lines would open the door for transformative science. A main theme will be to trace the role of water in proto-planetary disks, to observationally advance our understanding of the planet formation process and, intimately related to that, the pathways to habitable planets and the emergence of life. Furthermore, key observations will zoom into the physics and chemistry of the star-formation process in our own Galaxy, as well as in external galaxies. The FIR provides unique tools to investigate in particular the energetics of heating, cooling and shocks. The velocity-resolved data in these tracers will reveal the detailed dynamics engrained in these processes in a spatially resolved fashion, and will deliver the perfect synergy with ground-based molecular line data for the colder dense gas.