title: Memory Wrap: a Data-Efficient and Interpretable Extension to Image Classification Models

abstract: Due to their black-box and data-hungry nature, deep learning techniques are not yet widely adopted for real-world applications in critical domains, like healthcare and justice. This paper presents Memory Wrap, a plug-and-play extension to any image classification model. Memory Wrap improves both data-efficiency and model interpretability, adopting a content-attention mechanism between the input and some memories of past training samples. We show that Memory Wrap outperforms standard classifiers when it learns from a limited set of data, and it reaches comparable performance when it learns from the full dataset. We discuss how its structure and content-attention mechanisms make predictions interpretable, compared to standard classifiers. To this end, we both show a method to build explanations by examples and counterfactuals, based on the memory content, and how to exploit them to get insights about its decision process. We test our approach on image classification tasks using several architectures on three different datasets, namely CIFAR10, SVHN, and CINIC10.


title: Optimization of Heterogeneous Systems with AI Planning Heuristics and Machine Learning: A Performance and Energy Aware Approach

abstract: Heterogeneous computing systems provide high performance and energy efficiency. However, to optimally utilize such systems, solutions that distribute the work across host CPUs and accelerating devices are needed. In this paper, we present a performance and energy aware approach that combines AI planning heuristics for parameter space exploration with a machine learning model for performance and energy evaluation to determine a near-optimal system configuration. For data-parallel applications our approach determines a near-optimal host-device distribution of work, number of processing units required and the corresponding scheduling strategy. We evaluate our approach for various heterogeneous systems accelerated with GPU or the Intel Xeon Phi. The experimental results demonstrate that our approach finds a near-optimal system configuration by evaluating only about 7% of reasonable configurations. Furthermore, the performance per Joule estimation of system configurations using our machine learning model is more than 1000x faster compared to the system evaluation by program execution.


title: Algorithm for solving variational inequalities with relatively strongly monotone operators

abstract: Basing on some recently proposed methods for solving variational inequalities with non-smooth operators, we propose an analogue of the Mirror Prox method for the corresponding class of problems under the assumption of relative smoothness and relative strong monotonicity of the operator.


title: Elementary open quantum states

abstract: It is shown that the mixed states of a closed dynamics support a reduplicated symmetry, which is reduced back to the subgroup of the original symmetry group when the dynamics is open. The elementary components of the open dynamics are defined as operators of the Liouville space in the irreducible representations of the symmetry of the open system. These are tensor operators in the case of rotational symmetry. The case of translation symmetry is discussed in more detail for harmonic systems.


title: SMURF: SeMantic and linguistic UndeRstanding Fusion for Caption Evaluation via Typicality Analysis

abstract: The open-ended nature of visual captioning makes it a challenging area for evaluation. The majority of proposed models rely on specialized training to improve human-correlation, resulting in limited adoption, generalizability, and explainabilty. We introduce "typicality", a new formulation of evaluation rooted in information theory, which is uniquely suited for problems lacking a definite ground truth. Typicality serves as our framework to develop a novel semantic comparison, SPARCS, as well as referenceless fluency evaluation metrics. Over the course of our analysis, two separate dimensions of fluency naturally emerge: style, captured by metric SPURTS, and grammar, captured in the form of grammatical outlier penalties. Through extensive experiments and ablation studies on benchmark datasets, we show how these decomposed dimensions of semantics and fluency provide greater system-level insight into captioner differences. Our proposed metrics along with their combination, SMURF, achieve state-of-the-art correlation with human judgment when compared with other rule-based evaluation metrics.


title: Cracking the Quantum Advantage threshold for Gaussian Boson Sampling

abstract: Scientists in quantum technology aspire to quantum advantage: a computational result unattainable with classical computers. Gaussian boson sampling experiment has been already claimed to achieve this goal. In this setup squeezed light states interfere in a mid-sized linear optical network, where multi-photon collisions take place. The exact simulation of the counting statistics of $n$ threshold detectors is far beyond the possibilities of modern supercomputers once $n$ exceeds $100$. Here we challenge quantum advantage for a mid-sized Gaussian boson sampling setup and propose the approximate algorithm to obtain the probability of any specific measurement outcome. For an 70-mode device on a laptop, our approximation achieves accuracy competitive with the experimental one.


title: Gender-Specific Patterns in the Artificial Intelligence Scientific Ecosystem

abstract: Gender disparity in science is one of the most focused debating points among authorities and the scientific community. Over the last few decades, numerous initiatives have endeavored to accelerate gender equity in academia and research society. However, despite the ongoing efforts, gaps persist across the world, and more measures need to be taken. Using social network analysis, natural language processing, and machine learning, in this study, we comprehensively analyzed gender-specific patterns in the highly interdisciplinary and evolving field of artificial intelligence for the period of 2000-2019. Our findings suggest an overall increasing rate of mixed-gender collaborations. From the observed gender-specific collaborative patterns, the existence of disciplinary homophily at both dyadic and team levels is confirmed. However, a higher preference was observed for female researchers to form homophilous collaborative links. Our core-periphery analysis indicated a significant positive association between having diverse collaboration and scientific performance and experience. We found evidence in support of expecting the rise of new female superstar researchers in the artificial intelligence field.


title: A generalisation of the Poincar\'e-Hopf Theorem

abstract: The Poincar\'e-Hopf Theorem is a conservation law for real-analytic vector fields, which are tangential to a closed surface (such as a torus or a sphere). The theorem also governs real-analytic vector fields, which are tangential to surfaces with smooth boundaries; in these cases, the vector field must be pointing in the outward normal direction along the boundary. In this paper, I will generalise the Poincar\'e-Hopf Theorem for real-analytic vector fields that are tangential to surfaces with piecewise smooth boundaries, and not parallel to the outward normal of the boundary.


title: Spontaneous emergence of a spin state for an emitter in a time-varying medium

abstract: Time varying media can dramatically modify the emission of embedded sources by producing time reversed waves refocusing on the source. Here we show that such a back action can create an angular momentum by setting the source in a spontaneous spin state. We experimentally implement this coupling using self-propelled bouncing droplets sources coupled to the surface waves they emit on a parametrically excited bath. The spin state dynamics result from a self-organized interplay between the source motion and the time reversed waves. The discrete stability analysis agrees with the experimental observations. In addition, we show that these spin states provide a unique opportunity for an experimental access to parameters enabling comparison and calibration of the various existing models.


title: Muon g-2 and a type-X two Higgs doublet scenario: some studies in high-scale validity

abstract: We study the high-scale validity of a Type-X two Higgs doublet scenario which provides an explanation of the observed value of muon $(g-2)$. This region admits of a pseudoscalar physical state, which is well below the observed 125-GeV scalar in mass. A second neutral scalar particle can be both above and below 125 GeV in such a scenario. Admissible regions in the parameter space are obtained by using the most recent data on muon $(g-2)$, theoretical constraints such as low-scale perturbativity and vacuum stability, and also all experimental constraints, including the available LHC results. Among other things, both the aforesaid orders of CP-even neutral scalar masses are included in our benchmark studies. Two-loop renormalisation group equations are used to predict the values of various couplings at high scales, and the regions in the space spanned by low-scale parameters, which retain perturbative unitarity as well as vacuum stability upto various scales are identified. We thus conclude that such a scenario, while successfully explaining the observed muon $(g-2)$, can be valid upto energy scales ranging from $10^{4}$ GeV to the Planck scale, thus opening up directions of thought on its ultraviolet completion.


title: Inferring Black Hole Properties from Astronomical Multivariate Time Series with Bayesian Attentive Neural Processes

abstract: Among the most extreme objects in the Universe, active galactic nuclei (AGN) are luminous centers of galaxies where a black hole feeds on surrounding matter. The variability patterns of the light emitted by an AGN contain information about the physical properties of the underlying black hole. Upcoming telescopes will observe over 100 million AGN in multiple broadband wavelengths, yielding a large sample of multivariate time series with long gaps and irregular sampling. We present a method that reconstructs the AGN time series and simultaneously infers the posterior probability density distribution (PDF) over the physical quantities of the black hole, including its mass and luminosity. We apply this method to a simulated dataset of 11,000 AGN and report precision and accuracy of 0.4 dex and 0.3 dex in the inferred black hole mass. This work is the first to address probabilistic time series reconstruction and parameter inference for AGN in an end-to-end fashion.


title: Attention-based Contextual Language Model Adaptation for Speech Recognition

abstract: Language modeling (LM) for automatic speech recognition (ASR) does not usually incorporate utterance level contextual information. For some domains like voice assistants, however, additional context, such as the time at which an utterance was spoken, provides a rich input signal. We introduce an attention mechanism for training neural speech recognition language models on both text and non-linguistic contextual data. When applied to a large de-identified dataset of utterances collected by a popular voice assistant platform, our method reduces perplexity by 7.0% relative over a standard LM that does not incorporate contextual information. When evaluated on utterances extracted from the long tail of the dataset, our method improves perplexity by 9.0% relative over a standard LM and by over 2.8% relative when compared to a state-of-the-art model for contextual LM.


title: BERT-Defense: A Probabilistic Model Based on BERT to Combat Cognitively Inspired Orthographic Adversarial Attacks

abstract: Adversarial attacks expose important blind spots of deep learning systems. While word- and sentence-level attack scenarios mostly deal with finding semantic paraphrases of the input that fool NLP models, character-level attacks typically insert typos into the input stream. It is commonly thought that these are easier to defend via spelling correction modules. In this work, we show that both a standard spellchecker and the approach of Pruthi et al. (2019), which trains to defend against insertions, deletions and swaps, perform poorly on the character-level benchmark recently proposed in Eger and Benz (2020) which includes more challenging attacks such as visual and phonetic perturbations and missing word segmentations. In contrast, we show that an untrained iterative approach which combines context-independent character-level information with context-dependent information from BERT's masked language modeling can perform on par with human crowd-workers from Amazon Mechanical Turk (AMT) supervised via 3-shot learning.


title: Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification

abstract: Deep equilibrium models are based on implicitly defined functional relations and have shown competitive performance compared with the traditional deep networks. Monotone operator equilibrium networks (monDEQ) retain interesting performance with additional theoretical guaranties. Existing certification tools for classical deep networks cannot directly be applied to monDEQs for which much fewer tools exist. We introduce a semialgebraic representation for ReLU based monDEQs which allows to approximate the corresponding input output relation by semidefinite programming (SDP). We present several applications to network certification and obtain SDP models for the following problems : robustness certification, Lipschitz constant estimation, ellipsoidal uncertainty propagation. We use these models to certify robustness of monDEQs w.r.t. a general $L_q$ norm. Experimental results show that the proposed models outperform existing approaches for monDEQ certification. Furthermore, our investigations suggest that monDEQs are much more robust to $L_2$ perturbations than $L_{\infty}$ perturbations.


title: Mapping class group representations and Morita classes of algebras

abstract: A modular fusion category C allows one to define projective representations of the mapping class groups of closed surfaces of any genus. We show that if all these representations are irreducible, then C has a unique Morita-class of simple non-degenerate algebras, namely that of the tensor unit. This improves on a result by Andersen and Fjelstad, albeit under stronger assumptions. One motivation to look at this problem comes from questions in three-dimensional quantum gravity.


title: Enrichment of gut microbiome strains for cultivation-free genome sequencing using droplet microfluidics

abstract: We report a droplet microfluidic method to target and sort individual cells directly from complex microbiome samples, and to prepare these cells for bulk whole genome sequencing without cultivation. We characterize this approach by recovering bacteria spiked into human stool samples at a ratio as low as 1:250 and by successfully enriching endogenous Bacteroides vulgatus to the level required for de-novo assembly of high-quality genomes. While microbiome strains are increasingly demanded for biomedical applications, the vast majority of species and strains are uncultivated and without reference genomes. We address this shortcoming by encapsulating complex microbiome samples directly into microfluidic droplets and amplify a target-specific genomic fragment using a custom molecular TaqMan probe. We separate those positive droplets by droplet sorting, selectively enriching single target strain cells. Finally, we present a protocol to purify the genomic DNA while specifically removing amplicons and cell debris for high-quality genome sequencing.


title: Quantitative nullhomotopy and the Hopf Invariant

abstract: Let $G: S^{4n-1} \rightarrow S^{2n}$ be a map with nonzero Hopf Invariant. Using the generalized Hopf invariant introduced by Haj\l{}asz, Schikorra and Tyson, we show that any null-homotopy $F: B^{4n} \rightarrow B^{2n+1}$ of $G$ with small $(2n+1)$-dilation must have large $(2n)$-dilation. Conversely, we show that these results are sharp by constructing smooth null-homotopies with arbitrarily small $(2n+1)$-dilation.


title: Axial Anomaly in Galaxies and the Dark Universe

abstract: Motivated by the SU(2)$_{\rm CMB}$ modification of the cosmological model $\Lambda$CDM, we consider isolated fuzzy-dark-matter lumps, made of ultralight axion particles whose masses arise due to distinct SU(2) Yang-Mills scales and the Planck mass $M_P$. In contrast to SU(2)$_{\rm CMB}$, these Yang-Mills theories are in confining phases (zero temperature) throughout most of the Universe's history and associate with the three lepton flavours of the Standard Model of particle physics. As the Universe expands, axionic fuzzy dark matter comprises a three-component fluid which undergoes certain depercolation transitions when dark energy (a global axion condensate) is converted into dark matter. We extract the lightest axion mass $m_{a,e}= 0.675\times 10^{-23}\,$eV from well motivated model fits to observed rotation curves in low-surface-brightness galaxies (SPARC catalogue). Since the virial mass of an isolated lump solely depends on $M_P$ and the associated Yang-Mills scale the properties of an e-lump predict those of $\mu$- and $\tau$-lumps. As a result, a typical e-lump virial mass $\sim 6.3\times 10^{10}\,M_\odot$ suggests that massive compact objects in galactic centers such as Sagittarius A$^*$ in the Milky Way are (merged) $\mu$- and $\tau$-lumps. In addition, $\tau$-lumps may constitute globular clusters. SU(2)$_{\rm CMB}$ is always thermalised, and its axion condensate never has depercolated. If the axial anomaly indeed would link leptons with dark matter and the CMB with dark energy then this would demystify the dark Universe through a firmly established feature of particle physics.


title: Efimov resonances above four-boson threshold

abstract: Four-boson Efimov physics is well known in the negative energy regime but far less above the four-body breakup threshold. The part of this region with negative two-boson scattering length is studied solving rigorous four-particle scattering equations for transition operators in the momentum space. Moving away from the unitary limit the Efimov tetramers evolve from unstable bound states into resonances. Their energies and widths are studied as functions of the two-boson scattering length; a universal behavior is established and given in a dimensionless representation. The Efimov tetramers have finite width in the whole regime; they broaden rapidly in the resonance regime but remain narrower than the associated trimer. The resonant behavior is most clearly seen in the four-particle recombination rate.


title: Comprehensive Energy Footprint Benchmarking Algorithm for Electrified Powertrains

abstract: Autonomy and electrification in automotive control systems have made modern-day powertrains one of the most complex cyber-physical systems. This paper presents a benchmark algorithm to quantify the performance of complex automotive systems exhibiting mechanical, electrical, and thermal interactions at various time-scales. Traditionally Dynamic Programming has been used for benchmarking the performance, however, it fails to deliver results for system with higher number of states and control lever due to curse of dimensionality. We propose "PS3", a three-step algorithm for mixed-integer nonlinear optimal control problems with application to powertrain energy management. PS3 uses pseudo-spectral collocation theory for highly accurate modeling of dynamics. Based on the validated powertrain component models, we have addressed simultaneous optimization of electrical (SOC), vehicular (eco-driving) and thermal (after-treatment and battery temperatures) dynamics along with an integer (gear and engine on/off) control and its corresponding (dwell-time) constraints. PS3 is used to solve such large-scale powertrain problems having fast and slow dynamic states, discontinuous behaviors, non-differentiable and linearly interpolated 1-D and 2-D maps, as well as combinatorial constraints. Five case study powertrain control problems are given to benchmark the accuracy and computational effort against Dynamic Programming. Our analysis shows that this algorithm does not scale computational burden as Dynamic Programming does, and can handle highly complex interactions that occur in modern-day powertrains, without compromising nonlinear and complex plant modeling.


title: Galois Scaffolds and Galois Module Structure for Totally Ramified $C_p^2$-Extensions in Characteristic 0

abstract: Recently, much work has been done to investigate Galois module structure of local field extensions, particularly through the use of Galois scaffolds. Given a totally ramified $p$-extension of local fields $L/K$, a Galois Scaffold gives us a $K$-basis for $K[G]$ whose effect on the valuation of elements of $L$ is easy to determine. In 2013, N.P. Byott and G.G. Elder gave sufficient conditions for the existence of Galois scaffolds for cyclic extensions of degree $p^2$ in characteristic $p$. We take their work and adapt it to cyclic extensions of degree $p^2$ in characteristic $0$.


title: Are the Magnetic Fields Radial in the Solar Polar Region?

abstract: We investigate the orientation of the photospheric magnetic fields in the solar polar region using observations from the Helioseismic and Magnetic Imager (HMI). Inside small patches of significant polarization, the inferred magnetic field vectors at $1''$ scale appear to systematically deviate from the radial direction. Most tilt towards the pole; all are more inclined toward the plane of sky compared to the radial vector. These results, however, depend on the "filling factor" $f$ that characterizes the unresolved magnetic structures. The default, uninformative $f\equiv1$ for HMI will incur larger inclination and less radial fields than $f<1$. The observed trend may be a systematic bias inherent to the limited resolution.


title: Huge Reflection

abstract: We study Structural Reflection beyond Vop\v{e}nka's Principle, at the level of almost-huge cardinals and higher, up to rank-into-rank embeddings. We identify and classify new large cardinal notions in that region that correspond to some form of what we call Exact Structural Reflection ($\mathrm{ESR}$). Namely, given cardinals $\kappa<\lambda$ and a class $\mathcal{C}$ of structures of the same type, the corresponding instance of $\mathrm{ESR}$ asserts that for every structure $A$ in $\mathcal{C}$ of rank $\lambda$, there is a structure $B$ in $\mathcal{C}$ of rank $\kappa$ and an elementary embedding of $B$ into $A$. Inspired by the statement of Chang's Conjecture, we also introduce and study sequential forms of $\mathrm{ESR}$, which, in the case of sequences of length $\omega$, turn out to be very strong. Indeed, when restricted to $\Pi_1$-definable classes of structures they follow from the existence of $I1$-embeddings, while for more complicated classes of structures, e.g., $\Sigma_2$, they are not known to be consistent. Thus, these principles unveil a new class of large cardinals that go beyond $I1$-embeddings, yet they may not fall into Kunen's Inconsistency.


title: Lightweight Adapter Tuning for Multilingual Speech Translation

abstract: Adapter modules were recently introduced as an efficient alternative to fine-tuning in NLP. Adapter tuning consists in freezing pretrained parameters of a model and injecting lightweight modules between layers, resulting in the addition of only a small number of task-specific trainable parameters. While adapter tuning was investigated for multilingual neural machine translation, this paper proposes a comprehensive analysis of adapters for multilingual speech translation (ST). Starting from different pre-trained models (a multilingual ST trained on parallel data or a multilingual BART (mBART) trained on non-parallel multilingual data), we show that adapters can be used to: (a) efficiently specialize ST to specific language pairs with a low extra cost in terms of parameters, and (b) transfer from an automatic speech recognition (ASR) task and an mBART pre-trained model to a multilingual ST task. Experiments show that adapter tuning offer competitive results to full fine-tuning, while being much more parameter-efficient.


title: Smooth weight structures and birationality filtrations on motivic categories

abstract: We study various triangulated motivic categories and introduce a vast family of aisles (these are certain classes of objects) in them. These aisles are defined in terms of the corresponding "motives" (or motivic spectra) of smooth varieties in them; we relate them to the corresponding homotopy t-structures. We describe our aisles in terms of stalks at function fields and prove that they widely generalize the ones corresponding to slice filtrations. Further, the filtrations on the "homotopy hearts" $Ht_{hom}^{eff}$ of the corresponding effective subcategories that are induced by these aisles can be described in terms of (Nisnevich) sheaf cohomology as well as in terms of the Voevodsky contractions $-_{-1}$. Respectively, we express the condition for an object of $Ht_{hom}^{eff}$ to be weakly birational (i.e., that its $n+1$th contraction is trivial or, equivalently, the Nisnevich cohomology vanishes in degrees $>n$ for some $n\ge 0$) in terms of these aisles; this statement generalizes well-known results of Kahn and Sujatha. Next, these classes define weight structures $w_{Smooth}^{s}$ (where $s=(s_{j})$ are non-decreasing sequences parameterizing our aisles) that vastly generalize the Chow weight structures $w_{Chow}$ defined earlier. Using general abstract nonsense we also construct the corresponding adjacent $t-$structures $t_{Smooth}^{s}$ and prove that they give the birationality filtrations on $Ht^{eff}_{hom}$. Moreover, some of these weight structures induce weight structures on the corresponding $n-$birational motivic categories (these are the localizations by the levels of the slice filtrations). Our results also yield some new unramified cohomology calculations.


title: Ethical-Advice Taker: Do Language Models Understand Natural Language Interventions?

abstract: Is it possible to use natural language to intervene in a model's behavior and alter its prediction in a desired way? We investigate the effectiveness of natural language interventions for reading-comprehension systems, studying this in the context of social stereotypes. Specifically, we propose a new language understanding task, Linguistic Ethical Interventions (LEI), where the goal is to amend a question-answering (QA) model's unethical behavior by communicating context-specific principles of ethics and equity to it. To this end, we build upon recent methods for quantifying a system's social stereotypes, augmenting them with different kinds of ethical interventions and the desired model behavior under such interventions. Our zero-shot evaluation finds that even today's powerful neural language models are extremely poor ethical-advice takers, that is, they respond surprisingly little to ethical interventions even though these interventions are stated as simple sentences. Few-shot learning improves model behavior but remains far from the desired outcome, especially when evaluated for various types of generalization. Our new task thus poses a novel language understanding challenge for the community.


title: Contact mechanics of fractal surfaces by spline assisted discretisation

abstract: We present a newly developed approach for the calculation of interfacial stiffness and contact area evolution between two rough bodies exhibiting self affine surface structures. Using spline assisted discretization to define localised contact normals and surface curvatures we interpret the mechanics of simulated non-adhesive elastic surface-profiles subjected to normal loading by examining discrete contact points as projected Hertzian spheres. The analysis of rough-to-rough contact mechanics for surface profiles exhibiting fractal structures, with fractal dimensions in the regime 1 2, reveals the significant effect of surface fractality on contact mechanics and compliance with surfaces having the same mean roughness but higher fractality showing lower contact stiffness in conditions of initial contact for a given load. The predicted linear development of true contact area with load was found to be consistent with diverse existing numerical and experimental studies. Results from this model demonstrate the applicability of the developed method for the meaningful contact analysis of hierarchical structures with implications for modelling tribological interactions between pairs of rough surfaces


title: Domain Adaptation for Facial Expression Classifier via Domain Discrimination and Gradient Reversal

abstract: Bringing empathy to a computerized system could significantly improve the quality of human-computer communications, as soon as machines would be able to understand customer intentions and better serve their needs. According to different studies (Literature Review), visual information is one of the most important channels of human interaction and contains significant behavioral signals, that may be captured from facial expressions. Therefore, it is consistent and natural that the research in the field of Facial Expression Recognition (FER) has acquired increased interest over the past decade due to having diverse application area including health-care, sociology, psychology, driver-safety, virtual reality, cognitive sciences, security, entertainment, marketing, etc. We propose a new architecture for the task of FER and examine the impact of domain discrimination loss regularization on the learning process. With regard to observations, including both classical training conditions and unsupervised domain adaptation scenarios, important aspects of the considered domain adaptation approach integration are traced. The results may serve as a foundation for further research in the field.


title: Mid-Infrared Drift Scanning Up The SNR Slope

abstract: Mid-infrared (MIR) observations are typically accomplished from the ground through oscillating the secondary mirror a few times a second. This chopping serves to remove the fast time variable components of (a) sky variation and (b) array background. However, there is a significant price to pay for this, including reduced on-object photon collection time, stringent demands on the secondary mirror, nodding the telescope to remove the radiative offset imprinted by the chopping, and an often-fixed chop-frequency regardless of the sky conditions in the actual observations. Worse, in the era of 30m telescopes it is wholly impracticable to chop the secondary mirror. If the array is stable enough, drift scanning holds the promise to remove the necessity of chopping. In this paper we report our experiments using the CanariCam MIR instrument on the 10.4m GranTeCan and the implications to future instruments and experiments.


title: Charge order dynamics in underdoped La$\mathbf{_{1.6-\textit{x}}}$Nd$\mathbf{_{0.4}}$Sr$\mathbf{{_\textit{x}}}$CuO$\mathbf{_{4}}$ revealed by electric pulses

abstract: The dynamics of the charge-order domains has been investigated in La$_{1.48}$Nd$_{0.4}$Sr$_{0.12}$CuO$_{4}$, a prototypical stripe-ordered cuprate, using pulsed current injection. We first identify the regime in which nonthermal effects dominate over simple Joule heating, and then demonstrate that, for small enough perturbation, pulsed current injection allows access to nonthermally-induced resistive metastable states. The results are consistent with pinning of the fluctuating charge order, with fluctuations being most pronounced at the charge-order onset temperature. The nonequilibrium effects are revealed only when the transition is approached from the charge-ordered phase. Our experiment establishes pulsed current injection as a viable and effective method for probing the charge-order dynamics in various other materials.


title: All-orders asymptotics of tensor model observables from symmetries of restricted partitions

abstract: The counting of the dimension of the space of $U(N) \times U(N) \times U(N)$ polynomial invariants of a complex $3$-index tensor as a function of degree $n$ is known in terms of a sum of squares of Kronecker coefficients. For $n \le N$, the formula can be expressed in terms of a sum of symmetry factors of partitions of $n$ denoted $Z_3(n)$. We derive the large $n$ all-orders asymptotic formula for $ Z_3(n)$ making contact with high order results previously obtained numerically. The derivation relies on the dominance in the sum, of partitions with many parts of length $1$. The dominance of other small parts in restricted partition sums leads to related asymptotic results. The result for the $3$-index tensor observables gives the large $n$ asymptotic expansion for the counting of bipartite ribbon graphs with $n$ edges, and for the dimension of the associated Kronecker permutation centralizer algebra. We explain how the different terms in the asymptotics are associated with probability distributions over ribbon graphs. The large $n$ dominance of small parts also leads to conjectured formulae for the asymptotics of invariants for general $d$-index tensors. The coefficients of $ 1/n$ in these expansions involve Stirling numbers of the second kind along with restricted partition sums.


title: On the optimal analytic continuation from discrete data

abstract: We consider analytic functions from a reproducing kernel Hilbert space. Given that such a function is of order $\epsilon$ on a set of discrete data points, relative to its global size, we ask how large can it be at a fixed point outside of the data set. We obtain optimal bounds on this error of analytic continuation and describe its asymptotic behavior in $\epsilon$. We also describe the maximizer function attaining the optimal error in terms of the resolvent of a positive semidefinite, self-adjoint and finite rank operator.


title: Multivalent Diffusive Transport

abstract: We present here a model for multivalent diffusive transport whereby a central point-like hub is coupled to multiple feet, which bind to complementary sites on a two-dimensional landscape. The available number of binding interactions is dependent on the number of feet (multivalency), and on their allowed distance from the central hub (span). Using Monte Carlo simulations that implement the Gillespie algorithm, we simulate multivalent diffusive transport processes for 100 distinct walker designs. Informed by our simulation results we derive an analytical expression for the diffusion coefficient of a general multivalent diffusive process as a function of multivalency, span, and dissociation constant Kd. Our findings can be used to guide experimental design of multivalent transporters, in particular providing insight into how to overcome trade-offs between diffusivity and processivity.


title: Static friction at fractal interfaces

abstract: Tribological phenomena are governed by combined effects of material properties, topology and surface-chemistry. We study the interplay of multiscale surface structures with molecular-scale interactions towards interpreting static frictional interactions at fractal interfaces. By spline-assisted-discretization we analyse asperity interactions in pairs of contacting fractal surface-profiles. For elastically deforming asperities, force analysis reveals greater friction at surfaces exhibiting higher fractality, with increasing molecular-scale friction amplifying this trend. Increasing adhesive strength yields higher overall friction at surfaces of lower fractality owing to greater true-contact-area. In systems where adhesive-type interactions play an important role, such as those where cold-welded junctions form, friction is minimised at an intermediate value of surface profile fractality found to be around 1.3 to 1.5. Results have implications for systems exhibiting evolving surface structures.


title: Testing Directed Acyclic Graph via Structural, Supervised and Generative Adversarial Learning

abstract: In this article, we propose a new hypothesis testing method for directed acyclic graph (DAG). While there is a rich class of DAG estimation methods, there is a relative paucity of DAG inference solutions. Moreover, the existing methods often impose some specific model structures such as linear models or additive models, and assume independent data observations. Our proposed test instead allows the associations among the random variables to be nonlinear and the data to be time-dependent. We build the test based on some highly flexible neural networks learners. We establish the asymptotic guarantees of the test, while allowing either the number of subjects or the number of time points for each subject to diverge to infinity. We demonstrate the efficacy of the test through simulations and a brain connectivity network analysis.


title: A Reconfigurable Relay for Polarization Encoded QKD Networks

abstract: We propose a method for reconfiguring a relay node for polarization encoded quantum key distribution (QKD) networks. The relay can be switched between trusted and untrusted modes to adapt to different network conditions, relay distances, and security requirements. This not only extends the distance over which a QKD network operates but also enables point-to-multipoint (P2MP) network topologies. The proposed architecture centralizes the expensive and delicate single-photon detectors (SPDs) at the relay node with eased maintenance and cooling while simplifying each user node so that it only needs commercially available devices for low-cost qubit preparation.


title: Low density interior in supercooled aqueous nanodroplets expels ions to the subsurface

abstract: The interaction between water and ions within droplets plays a key role in the chemical reactivity of atmospheric and man-made aerosols. Here we report direct computational evidence that in supercooled aqueous nanodroplets a lower density core of tetrahedrally coordinated water expels the cosmotropic ions to the denser and more disordered subsurface. In contrast, at room temperature, depending on the nature of the ion the radial distribution in the droplet core is nearly uniform or elevated towards the center. We analyze the spatial distribution of a single ion in terms of a reference electrostatic model. The energy of the system in the analytical model is expressed as the sum of the electrostatic and surface energy of a deformable droplet. The model predicts that the ion is subject to a harmonic potential centered at the droplet's center of mass. We name this effect "electrostatic confinement". The model's predictions are consistent with the simulation findings for a single ion at room temperature but not at supercooling. We anticipate this study to be the starting point for investigating the structure of supercooled (electro)sprayed droplets that are used to preserve the conformations of macromolecules originating from the bulk solution.


title: Best Practices for Data Publication in the Astronomical Literature

abstract: We present an overview of best practices for publishing data in astronomy and astrophysics journals. These recommendations are intended as a reference for authors to help prepare and publish data in a way that will better represent and support science results, enable better data sharing, improve reproducibility, and enhance the reusability of data. Observance of these guidelines will also help to streamline the extraction, preservation, integration and cross-linking of valuable data from astrophysics literature into major astronomical databases, and consequently facilitate new modes of science discovery that will better exploit the vast quantities of panchromatic and multi-dimensional data associated with the literature. We encourage authors, journal editors, referees, and publishers to implement the best practices reviewed here, as well as related recommendations from international astronomical organizations such as the International Astronomical Union (IAU) for publication of nomenclature, data, and metadata. A convenient Checklist of Recommendations for Publishing Data in the Literature is included for authors to consult before the submission of the final version of their journal articles and associated data files. We recommend that publishers of journals in astronomy and astrophysics incorporate a link to this document in their Instructions to Authors.


title: Evaluating the Efficacy of Summarization Evaluation across Languages

abstract: While automatic summarization evaluation methods developed for English are routinely applied to other languages, this is the first attempt to systematically quantify their panlinguistic efficacy. We take a summarization corpus for eight different languages, and manually annotate generated summaries for focus (precision) and coverage (recall). Based on this, we evaluate 19 summarization evaluation metrics, and find that using multilingual BERT within BERTScore performs well across all languages, at a level above that for English.


title: Two-dimensional three-body quadrupole-quadrupole interactions

abstract: Similar to interactions between dipoles, or van der Waals interactions, quadrupole-quadrupole interactions are interactions between quadrupoles. In this article, we study the quadrupole interactions between highly excited atoms or Rydberg atoms. In addition, unlike many other calculations, in which the primary focus was on the one-dimensional two-body quadrupole-quadrupole interactions, the primary aim of this article is to study the two-dimensional few-body quadrupole-quadrupole interactions. Specifically, the two-dimensional three-body interactions are investigated. This research has many applications, such as quadrupole-blockade for quantum computing, creating molecules based on quadrupole interactions.


title: On the hat guessing number of a planar graph class

abstract: The hat guessing number is a graph invariant based on a hat guessing game introduced by Winkler. Using a new vertex decomposition argument involving an edge density theorem of Erd\H{o}s for hypergraphs, we show that the hat guessing number of all outerplanar graphs is less than $2^{125000}$. We also define the class of layered planar graphs, which contains outerplanar graphs, and we show that every layered planar graph has bounded hat guessing number.


title: Quantifying language changes surrounding mental health on Twitter

abstract: Mental health challenges are thought to afflict around 10% of the global population each year, with many going untreated due to stigma and limited access to services. Here, we explore trends in words and phrases related to mental health through a collection of 1- , 2-, and 3-grams parsed from a data stream of roughly 10% of all English tweets since 2012. We examine temporal dynamics of mental health language, finding that the popularity of the phrase 'mental health' increased by nearly two orders of magnitude between 2012 and 2018. We observe that mentions of 'mental health' spike annually and reliably due to mental health awareness campaigns, as well as unpredictably in response to mass shootings, celebrities dying by suicide, and popular fictional stories portraying suicide. We find that the level of positivity of messages containing 'mental health', while stable through the growth period, has declined recently. Finally, we use the ratio of original tweets to retweets to quantify the fraction of appearances of mental health language due to social amplification. Since 2015, mentions of mental health have become increasingly due to retweets, suggesting that stigma associated with discussion of mental health on Twitter has diminished with time.


title: Dagger: Accelerating RPCs in Cloud Microservices Through Tightly-Coupled Reconfigurable NICs

abstract: The ongoing shift of cloud services from monolithic designs to microservices creates high demand for efficient and high performance datacenter networking stacks, optimized for fine-grained workloads. Commodity networking systems based on software stacks and peripheral NICs introduce high overheads when it comes to delivering small messages. We present Dagger, a hardware acceleration fabric for cloud RPCs based on FPGAs, where the accelerator is closely-coupled with the host processor over a configurable memory interconnect. The three key design principle of Dagger are: (1) offloading the entire RPC stack to an FPGA-based NIC, (2) leveraging memory interconnects instead of PCIe buses as the interface with the host CPU, and (3) making the acceleration fabric reconfigurable, so it can accommodate the diverse needs of microservices. We show that the combination of these principles significantly improves the efficiency and performance of cloud RPC systems while preserving their generality. Dagger achieves 1.3-3.8x higher per-core RPC throughput compared to both highly-optimized software stacks, and systems using specialized RDMA adapters. It also scales up to 84 Mrps with 8 threads on 4 CPU cores, while maintaining state-of-the-art us-scale tail latency. We also demonstrate that large third-party applications, like memcached and MICA KVS, can be easily ported on Dagger with minimal changes to their codebase, bringing their median and tail KVS access latency down to 2.8 - 3.5us and 5.4 - 7.8us, respectively. Finally, we show that Dagger is beneficial for multi-tier end-to-end microservices with different threading models by evaluating it using an 8-tier application implementing a flight check-in service.


title: Multiscale Domain Adaptive YOLO for Cross-Domain Object Detection

abstract: The area of domain adaptation has been instrumental in addressing the domain shift problem encountered by many applications. This problem arises due to the difference between the distributions of source data used for training in comparison with target data used during realistic testing scenarios. In this paper, we introduce a novel MultiScale Domain Adaptive YOLO (MS-DAYOLO) framework that employs multiple domain adaptation paths and corresponding domain classifiers at different scales of the recently introduced YOLOv4 object detector to generate domain-invariant features. We train and test our proposed method using popular datasets. Our experiments show significant improvements in object detection performance when training YOLOv4 using the proposed MS-DAYOLO and when tested on target data representing challenging weather conditions for autonomous driving applications.


title: An Equational Logical Framework for Type Theories

abstract: A wide range of intuitionistic type theories may be presented as equational theories within a logical framework. This method was formulated by Per Martin-L\"{o}f in the mid-1980's and further developed by Uemura, who used it to prove an initiality result for a class of models. Herein is presented a logical framework for type theories that includes an extensional equality type so that a type theory may be given by a signature of constants. The framework is illustrated by a number of examples of type-theoretic concepts, including identity and equality types, and a hierarchy of universes.


title: Weakly Supervised Learning Creates a Fusion of Modeling Cultures

abstract: The past two decades have witnessed the great success of the algorithmic modeling framework advocated by Breiman et al. (2001). Nevertheless, the excellent prediction performance of these black-box models rely heavily on the availability of strong supervision, i.e. a large set of accurate and exact ground-truth labels. In practice, strong supervision can be unavailable or expensive, which calls for modeling techniques under weak supervision. In this comment, we summarize the key concepts in weakly supervised learning and discuss some recent developments in the field. Using algorithmic modeling alone under a weak supervision might lead to unstable and misleading results. A promising direction would be integrating the data modeling culture into such a framework.


title: On an integral representation of the normalized trace of the $k$-th symmetric tensor power of matrices and some applications

abstract: Let $A$ be an $n\times n$ matrix and let $\vee^k A$ be its $k$-th symmetric tensor product. We express the normalized trace of $\vee^k A$ as an integral of the $k$-th powers of the numerical values of $A$ over the unit sphere $\mathbb{S}^{n}$ of $\mathbb{C}^{n}$ with respect to the normalized Euclidean surface measure. Equivalently, this expression in turn can be interpreted as an integral representation for the (normalized) complete symmetric polynomials over $\mathbb{C}^n$. As applications, we present a new proof for the MacMahon Master Theorem in enumerative combinatorics. Then, our next application deals with a generalization of the work of Cuttler et al. in \cite{cuttler} concerning the monotonicity of products of complete symmetric polynomials. In the process, we give a solution to an open problem that was raised by I. Roven\c{t}a and L. E. Temereanca in \cite{roventa}.


title: LLC: Accurate, Multi-purpose Learnt Low-dimensional Binary Codes

abstract: Learning binary representations of instances and classes is a classical problem with several high potential applications. In modern settings, the compression of high-dimensional neural representations to low-dimensional binary codes is a challenging task and often require large bit-codes to be accurate. In this work, we propose a novel method for Learning Low-dimensional binary Codes (LLC) for instances as well as classes. Our method does not require any side-information, like annotated attributes or label meta-data, and learns extremely low-dimensional binary codes (~20 bits for ImageNet-1K). The learnt codes are super-efficient while still ensuring nearly optimal classification accuracy for ResNet50 on ImageNet-1K. We demonstrate that the learnt codes capture intrinsically important features in the data, by discovering an intuitive taxonomy over classes. We further quantitatively measure the quality of our codes by applying it to the efficient image retrieval as well as out-of-distribution (OOD) detection problems. For ImageNet-100 retrieval problem, our learnt binary codes outperform 16 bit HashNet using only 10 bits and also are as accurate as 10 dimensional real representations. Finally, our learnt binary codes can perform OOD detection, out-of-the-box, as accurately as a baseline that needs ~3000 samples to tune its threshold, while we require none. Code is open-sourced at https://github.com/RAIVNLab/LLC.


title: Minimax Optimization with Smooth Algorithmic Adversaries

abstract: This paper considers minimax optimization $\min_x \max_y f(x, y)$ in the challenging setting where $f$ can be both nonconvex in $x$ and nonconcave in $y$. Though such optimization problems arise in many machine learning paradigms including training generative adversarial networks (GANs) and adversarially robust models, many fundamental issues remain in theory, such as the absence of efficiently computable optimality notions, and cyclic or diverging behavior of existing algorithms. Our framework sprouts from the practical consideration that under a computational budget, the max-player can not fully maximize $f(x,\cdot)$ since nonconcave maximization is NP-hard in general. So, we propose a new algorithm for the min-player to play against smooth algorithms deployed by the adversary (i.e., the max-player) instead of against full maximization. Our algorithm is guaranteed to make monotonic progress (thus having no limit cycles), and to find an appropriate "stationary point" in a polynomial number of iterations. Our framework covers practical settings where the smooth algorithms deployed by the adversary are multi-step stochastic gradient ascent, and its accelerated version. We further provide complementing experiments that confirm our theoretical findings and demonstrate the effectiveness of the proposed approach in practice.


title: Not All Knowledge Is Created Equal: Mutual Distillation of Confident Knowledge

abstract: Mutual knowledge distillation (MKD) improves a model by distilling knowledge from another model. However, \textit{not all knowledge is certain and correct}, especially under adverse conditions. For example, label noise usually leads to less reliable models due to undesired memorization \cite{zhang2017understanding,arpit2017closer}. Wrong knowledge misleads the learning rather than helps. This problem can be handled by two aspects: (i) improving the reliability of a model where the knowledge is from (i.e., knowledge source's reliability); (ii) selecting reliable knowledge for distillation. In the literature, making a model more reliable is widely studied while selective MKD receives little attention. Therefore, we focus on studying selective MKD. Concretely, a generic MKD framework, \underline{C}onfident knowledge selection followed by \underline{M}utual \underline{D}istillation (CMD), is designed. The key component of CMD is a generic knowledge selection formulation, making the selection threshold either static (CMD-S) or progressive (CMD-P). Additionally, CMD covers two special cases: zero-knowledge and all knowledge, leading to a unified MKD framework. Extensive experiments are present to demonstrate the effectiveness of CMD and thoroughly justify the design of CMD. For example, CMD-P obtains new state-of-the-art results in robustness against label noise.


title: What and How long: Prediction of Mobile App Engagement

abstract: User engagement is crucial to the long-term success of a mobile app. Several metrics, such as dwell time, have been used for measuring user engagement. However, how to effectively predict user engagement in the context of mobile apps is still an open research question. For example, do the mobile usage contexts (e.g.,~time of day) in which users access mobile apps impact their dwell time? Answers to such questions could help mobile operating system and publishers to optimize advertising and service placement. In this paper, we first conduct an empirical study for assessing how user characteristics, temporal features, and the short/long-term contexts contribute to gains in predicting users' app dwell time on the population level. The comprehensive analysis is conducted on large app usage logs collected through a mobile advertising company. The dataset covers more than 12K anonymous users and 1.3 million log events. Based on the analysis, we further investigate a novel mobile app engagement prediction problem -- can we predict simultaneously what app the user will use next and how long he/she will stay on that app? We propose several strategies for this joint prediction problem and demonstrate that our model can improve the performance significantly when compared with the state-of-the-art baselines. Our work can help mobile system developers in designing a better and more engagement-aware mobile app user experience.


title: MedNLI Is Not Immune: Natural Language Inference Artifacts in the Clinical Domain

abstract: Crowdworker-constructed natural language inference (NLI) datasets have been found to contain statistical artifacts associated with the annotation process that allow hypothesis-only classifiers to achieve better-than-random performance (Poliak et al., 2018; Gururanganet et al., 2018; Tsuchiya, 2018). We investigate whether MedNLI, a physician-annotated dataset with premises extracted from clinical notes, contains such artifacts (Romanov and Shivade, 2018). We find that entailed hypotheses contain generic versions of specific concepts in the premise, as well as modifiers related to responsiveness, duration, and probability. Neutral hypotheses feature conditions and behaviors that co-occur with, or cause, the condition(s) in the premise. Contradiction hypotheses feature explicit negation of the premise and implicit negation via assertion of good health. Adversarial filtering demonstrates that performance degrades when evaluated on the difficult subset. We provide partition information and recommendations for alternative dataset construction strategies for knowledge-intensive domains.


title: Nudge: Stochastically Improving upon FCFS

abstract: The First-Come First-Served (FCFS) scheduling policy is the most popular scheduling algorithm used in practice. Furthermore, its usage is theoretically validated: for light-tailed job size distributions, FCFS has weakly optimal asymptotic tail of response time. But what if we don't just care about the asymptotic tail? What if we also care about the 99th percentile of response time, or the fraction of jobs that complete in under one second? Is FCFS still best? Outside of the asymptotic regime, only loose bounds on the tail of FCFS are known, and optimality is completely open. In this paper, we introduce a new policy, Nudge, which is the first policy to provably stochastically improve upon FCFS. We prove that Nudge simultaneously improves upon FCFS at every point along the tail, for light-tailed job size distributions. As a result, Nudge outperforms FCFS for every moment and every percentile of response time. Moreover, Nudge provides a multiplicative improvement over FCFS in the asymptotic tail. This resolves a long-standing open problem by showing that, counter to previous conjecture, FCFS is not strongly asymptotically optimal.


title: Welch's method transform of strange attractors of argon glow discharge plasmas: symmetric zero point energy fluctuations of particles, anti-particles and virtual particles

abstract: Substantial developments in pattern recognition and machine learning offer unique advancements to study the deeper structures of plasma physics. We have employed the Kernel principal component analysis(KPCA) of Argon glow discharge plasmas over time-resolved UV-Vis spectra for different pressure scans. 3D vector fields obtained by KPCA reveal the chaotic structure, strange attractors. The presence of the cross magnetic field (B=100G) and the addition of pressure increase the degree of chaos. Lower scale vector fields show that phonon sinks and traps and cool the plasma electron temperatures. The average electron and ion density profiles are provided by the 2D particle in cell simulation. Welch's transformation of the lower to higher scale vector fields illuminates the symmetric zero-point energy fluctuations of particles, antiparticles, and virtual particles. These positive and negative energies cancel each other and the combination of these energy fields form another type of fractal structure.


title: Knowing More About Questions Can Help: Improving Calibration in Question Answering

abstract: We study calibration in question answering, estimating whether model correctly predicts answer for each question. Unlike prior work which mainly rely on the model's confidence score, our calibrator incorporates information about the input example (e.g., question and the evidence context). Together with data augmentation via back translation, our simple approach achieves 5-10% gains in calibration accuracy on reading comprehension benchmarks. Furthermore, we present the first calibration study in the open retrieval setting, comparing the calibration accuracy of retrieval-based span prediction models and answer generation models. Here again, our approach shows consistent gains over calibrators relying on the model confidence. Our simple and efficient calibrator can be easily adapted to many tasks and model architectures, showing robust gains in all settings.


title: Improved Gate Reliability of p-GaN Gate HEMTs by Gate Doping Engineering

abstract: We present a novel p-GaN gate HEMT structure with reduced hole concentration near the Schottky interface by doping engineering in MOCVD, which aims at lowering the electric field across the gate. By employing an additional unintentionally doped GaN layer, the gate leakage current is suppressed and the gate breakdown voltage is boosted from 10.6 to 14.6 V with negligible influence on the threshold voltage and on-resistance. Time-dependent gate breakdown measurements reveal that the maximum gate drive voltage increases from 6.2 to 10.6 V for a 10-year lifetime with a 1% gate failure rate. This method effectively expands the operating voltage margin of the p-GaN gate HEMTs without any other additional process steps.


title: Stability of Special Graph Classes

abstract: Frei et al. [6] showed that the problem to decide whether a graph is stable with respect to some graph parameter under adding or removing either edges or vertices is $\Theta_2^{\text{P}}$-complete. They studied the common graph parameters $\alpha$ (independence number), $\beta$ (vertex cover number), $\omega$ (clique number), and $\chi$ (chromatic number) for certain variants of the stability problem. We follow their approach and provide a large number of polynomial-time algorithms solving these problems for special graph classes, namely for graphs without edges, complete graphs, paths, trees, forests, bipartite graphs, and co-graphs.


title: IoT Solutions with Multi-Sensor Fusion and Signal-Image Encoding for Secure Data Transfer and Decision Making

abstract: Deployment of Internet of Things (IoT) devices and Data Fusion techniques have gained popularity in public and government domains. This usually requires capturing and consolidating data from multiple sources. As datasets do not necessarily originate from identical sensors, fused data typically results in a complex data problem. Because military is investigating how heterogeneous IoT devices can aid processes and tasks, we investigate a multi-sensor approach. Moreover, we propose a signal to image encoding approach to transform information (signal) to integrate (fuse) data from IoT wearable devices to an image which is invertible and easier to visualize supporting decision making. Furthermore, we investigate the challenge of enabling an intelligent identification and detection operation and demonstrate the feasibility of the proposed Deep Learning and Anomaly Detection models that can support future application that utilizes hand gesture data from wearable devices.


title: Efficient computation of statistical properties of intermittent dynamics

abstract: Intermittent maps of the interval are simple and widely-studied models for chaos with slow mixing rates, but have been notoriously resistant to numerical study. In this paper we present an effective framework to compute many ergodic properties of these systems, in particular invariant measures and mean return times. The framework combines three ingredients that each harness the smooth structure of these systems' induced maps: Abel functions to compute the action of the induced maps, Euler-Maclaurin summation to compute the pointwise action of their transfer operators, and Chebyshev Galerkin discretisations to compute the spectral data of the transfer operators. The combination of these techniques allows one to obtain exponential convergence of estimates for polynomially growing computational outlay, independent of the order of the map's neutral fixed point. This enables numerical exploration of intermittent dynamics in all parameter regimes, including in the infinite ergodic regime.


title: Personalizing Pre-trained Models

abstract: Self-supervised or weakly supervised models trained on large-scale datasets have shown sample-efficient transfer to diverse datasets in few-shot settings. We consider how upstream pretrained models can be leveraged for downstream few-shot, multilabel, and continual learning tasks. Our model CLIPPER (CLIP PERsonalized) uses image representations from CLIP, a large-scale image representation learning model trained using weak natural language supervision. We developed a technique, called Multi-label Weight Imprinting (MWI), for multi-label, continual, and few-shot learning, and CLIPPER uses MWI with image representations from CLIP. We evaluated CLIPPER on 10 single-label and 5 multi-label datasets. Our model shows robust and competitive performance, and we set new benchmarks for few-shot, multi-label, and continual learning. Our lightweight technique is also compute-efficient and enables privacy-preserving applications as the data is not sent to the upstream model for fine-tuning.


title: Elimination of imaginaries in Ordered Abelian groups with bounded regular rank

abstract: In this paper we study elimination of imaginaries in some classes of pure ordered abelian groups. For the class of ordered abelian groups with bounded regular rank (equivalently with finite spines) we obtain weak elimination of imaginaries once we add sorts for the quotient groups $\Gamma/ \Delta$ for each definable convex subgroup $\Delta$, and sorts for the quotient groups $\Gamma/ \Delta+ l\Gamma$ where $\Delta$ is a definable convex subgroup and $l \in \mathbb{N}_{\geq 2}$. We refer to these sorts as the \emph{quotient sorts}. For the dp-minimal case we obtain a complete elimination of imaginaries, if we also add constants to distinguish the elements of the finite groups $\Gamma/\ell \Gamma$ for each $ \ell \in \mathbb{N}$.


title: Ember: No-Code Context Enrichment via Similarity-Based Keyless Joins

abstract: Structured data, or data that adheres to a pre-defined schema, can suffer from fragmented context: information describing a single entity can be scattered across multiple datasets or tables tailored for specific business needs, with no explicit linking keys (e.g., primary key-foreign key relationships or heuristic functions). Context enrichment, or rebuilding fragmented context, using keyless joins is an implicit or explicit step in machine learning (ML) pipelines over structured data sources. This process is tedious, domain-specific, and lacks support in now-prevalent no-code ML systems that let users create ML pipelines using just input data and high-level configuration files. In response, we propose Ember, a system that abstracts and automates keyless joins to generalize context enrichment. Our key insight is that Ember can enable a general keyless join operator by constructing an index populated with task-specific embeddings. Ember learns these embeddings by leveraging Transformer-based representation learning techniques. We describe our core architectural principles and operators when developing Ember, and empirically demonstrate that Ember allows users to develop no-code pipelines for five domains, including search, recommendation and question answering, and can exceed alternatives by up to 39% recall, with as little as a single line configuration change.


title: The fractional nonlinear electrical lattice

abstract: We examine the linear and nonlinear modes of a one-dimensional nonlinear electrical lattice, where the usual discrete Laplacian is replaced by a fractional discrete Laplacian. This induces a long-range intersite coupling that, at long distances, decreases as a power law. In the linear regime, we compute both, the spectrum of plane waves and the mean square displacement (MSD) of an initially localized excitation, in closed form in terms of regularized hypergeometric functions and the fractional exponent. The MSD shows ballistic behavior at long times, MSD$\sim t^2$ for all fractional exponents. When the fractional exponent is decreased from its standard integer value, the bandwidth decreases and the density of states shows a tendency towards degeneracy. In the limit of a vanishing exponent, the system becomes completely degenerate. For the nonlinear regime, we compute numerically the low-lying nonlinear modes, as a function of the fractional exponent. A modulational stability computation shows that, as the fractional exponent decreases, the number of electrical discrete solitons generated also decreases, eventually collapsing into a single soliton.


title: Towards an Explanation Space to Align Humans and Explainable-AI Teamwork

abstract: Providing meaningful and actionable explanations to end-users is a fundamental prerequisite for implementing explainable intelligent systems in the real world. Explainability is a situated interaction between a user and the AI system rather than being static design principles. The content of explanations is context-dependent and must be defined by evidence about the user and its context. This paper seeks to operationalize this concept by proposing a formative architecture that defines the explanation space from a user-inspired perspective. The architecture comprises five intertwined components to outline explanation requirements for a task: (1) the end-users mental models, (2) the end-users cognitive process, (3) the user interface, (4) the human-explainer agent, and the (5) agent process. We first define each component of the architecture. Then we present the Abstracted Explanation Space, a modeling tool that aggregates the architecture's components to support designers in systematically aligning explanations with the end-users work practices, needs, and goals. It guides the specifications of what needs to be explained (content - end-users mental model), why this explanation is necessary (context - end-users cognitive process), to delimit how to explain it (format - human-explainer agent and user interface), and when should the explanations be given. We then exemplify the tool's use in an ongoing case study in the aircraft maintenance domain. Finally, we discuss possible contributions of the tool, known limitations/areas for improvement, and future work to be done.


title: DeepCompress: Efficient Point Cloud Geometry Compression

abstract: Point clouds are a basic data type that is increasingly of interest as 3D content becomes more ubiquitous. Applications using point clouds include virtual, augmented, and mixed reality and autonomous driving. We propose a more efficient deep learning-based encoder architecture for point clouds compression that incorporates principles from established 3D object detection and image compression architectures. Through an ablation study, we show that incorporating the learned activation function from Computational Efficient Neural Image Compression (CENIC) and designing more parameter-efficient convolutional blocks yields dramatic gains in efficiency and performance. Our proposed architecture incorporates Generalized Divisive Normalization activations and propose a spatially separable InceptionV4-inspired block. We then evaluate rate-distortion curves on the standard JPEG Pleno 8i Voxelized Full Bodies dataset to evaluate our model's performance. Our proposed modifications outperform the baseline approaches by a small margin in terms of Bjontegard delta rate and PSNR values, yet reduces necessary encoder convolution operations by 8 percent and reduces total encoder parameters by 20 percent. Our proposed architecture, when considered on its own, has a small penalty of 0.02 percent in Chamfer's Distance and 0.32 percent increased bit rate in Point to Plane Distance for the same peak signal-to-noise ratio.


title: Barbershop: GAN-based Image Compositing using Segmentation Masks

abstract: Seamlessly blending features from multiple images is extremely challenging because of complex relationships in lighting, geometry, and partial occlusion which cause coupling between different parts of the image. Even though recent work on GANs enables synthesis of realistic hair or faces, it remains difficult to combine them into a single, coherent, and plausible image rather than a disjointed set of image patches. We present a novel solution to image blending, particularly for the problem of hairstyle transfer, based on GAN-inversion. We propose a novel latent space for image blending which is better at preserving detail and encoding spatial information, and propose a new GAN-embedding algorithm which is able to slightly modify images to conform to a common segmentation mask. Our novel representation enables the transfer of the visual properties from multiple reference images including specific details such as moles and wrinkles, and because we do image blending in a latent-space we are able to synthesize images that are coherent. Our approach avoids blending artifacts present in other approaches and finds a globally consistent image. Our results demonstrate a significant improvement over the current state of the art in a user study, with users preferring our blending solution over 95 percent of the time.


title: Transformers are Deep Infinite-Dimensional Non-Mercer Binary Kernel Machines

abstract: Despite their ubiquity in core AI fields like natural language processing, the mechanics of deep attention-based neural networks like the Transformer model are not fully understood. In this article, we present a new perspective towards understanding how Transformers work. In particular, we show that the "dot-product attention" that is the core of the Transformer's operation can be characterized as a kernel learning method on a pair of Banach spaces. In particular, the Transformer's kernel is characterized as having an infinite feature dimension. Along the way we consider an extension of the standard kernel learning problem to a binary setting, where data come from two input domains and a response is defined for every cross-domain pair. We prove a new representer theorem for these binary kernel machines with non-Mercer (indefinite, asymmetric) kernels (implying that the functions learned are elements of reproducing kernel Banach spaces rather than Hilbert spaces), and also prove a new universal approximation theorem showing that the Transformer calculation can learn any binary non-Mercer reproducing kernel Banach space pair. We experiment with new kernels in Transformers, and obtain results that suggest the infinite dimensionality of the standard Transformer kernel is partially responsible for its performance. This paper's results provide a new theoretical understanding of a very important but poorly understood model in modern machine~learning.


title: Axisymmetric membranes with edges under external force: buckling, minimal surfaces, and tethers

abstract: We use theory and numerical computation to determine the shape of an axisymmetric fluid membrane with a resistance to bending and constant area. The membrane connects two rings in the classic geometry that produces a catenoidal shape in a soap film. In our problem, we find infinitely many branches of solutions for the shape and external force as functions of the separation of the rings, analogous to the infinite family of eigenmodes for the Euler buckling of a slender rod. Special attention is paid to the catenoid, which emerges as the shape of maximal allowable separation when the area is less than a critical area equal to the planar area enclosed by the two rings. A perturbation theory argument directly relates the tension of catenoidal membranes to the stability of catenoidal soap films in this regime. When the membrane area is larger than the critical area, we find additional cylindrical tether solutions to the shape equations at large ring separation, and that arbitrarily large ring separations are possible. These results apply for the case of vanishing Gaussian curvature modulus; when the Gaussian curvature modulus is nonzero and the area is below the critical area, the force and the membrane tension diverge as the ring separation approaches its maximum value. We also examine the stability of our shapes and analytically show that catenoidal membranes have markedly different stability properties than their soap film counterparts.

categories: cond-mat.soft math-ph math.CA math.MP physics.class-ph


title: Closing the Neutrino "BSM Gap": Physics Potential of Atmospheric Through-Going Muons at DUNE

abstract: Many Beyond-Standard Model physics signatures are enhanced in high-energy neutrino interactions. To explore these signatures, ultra-large Cherenkov detectors such as IceCube exploit event samples with charged current muon neutrino interactions > 1 TeV. Most of these interactions occur below the detector volume, and produce muons that enter the detector. However, the large spacing between detectors leads to inefficiency for measuring muons with energies below or near the critical energy of 400 GeV. In response, IceCube has built a densely instrumented region within the larger detector. This provides large samples of well-reconstructed interactions that are contained within the densely instrumented region, extending up to energies of ~50 GeV. This leaves a gap of relatively unexplored atmospheric-neutrino events with energies between 50 GeV and 1 TeV in the ultra-large detectors. In this paper we point out that interesting Beyond Standard Model signatures may appear in this energy window, and that early running of the DUNE far detectors can give insight into new physics that may appear in this range.


title: Towards a classification of incomplete Gabor POVMs in $\mathbb{C}^d$

abstract: Every (full) finite Gabor system generated by a unit-norm vector $g\in \mathbb{C}^d$ is a finite unit-norm tight frame (FUNTF), and can thus be associated with a (Gabor) positive operator valued measure (POVM). Such a POVM is informationally complete if the $d^2$ corresponding rank one matrices form a basis for the space of $d\times d$ matrices. A sufficient condition for this to happen is that the POVM is symmetric, which is equivalent to the fact that the associated Gabor frame is an equiangular tight frame (ETF). The existence of Gabor ETF is an important special case of the Zauner conjecture. It is known that generically all Gabor FUNTFs lead to informationally complete POVMs. In this paper, we initiate a classification of non-complete Gabor POVMs. In the process we establish some seemingly simple facts about the eigenvalues of the Gram matrix of the rank one matrices generated by a finite Gabor frame. We also use these results to construct some sets of $d^2$ unit vectors in $\mathbb{C}^d$ with a relatively smaller number of distinct inner products.


title: Kernel Learning for Robust Dynamic Mode Decomposition: Linear and Nonlinear Disambiguation Optimization (LANDO)

abstract: Research in modern data-driven dynamical systems is typically focused on the three key challenges of high dimensionality, unknown dynamics, and nonlinearity. The dynamic mode decomposition (DMD) has emerged as a cornerstone for modeling high-dimensional systems from data. However, the quality of the linear DMD model is known to be fragile with respect to strong nonlinearity, which contaminates the model estimate. In contrast, sparse identification of nonlinear dynamics (SINDy) learns fully nonlinear models, disambiguating the linear and nonlinear effects, but is restricted to low-dimensional systems. In this work, we present a kernel method that learns interpretable data-driven models for high-dimensional, nonlinear systems. Our method performs kernel regression on a sparse dictionary of samples that appreciably contribute to the underlying dynamics. We show that this kernel method efficiently handles high-dimensional data and is flexible enough to incorporate partial knowledge of system physics. It is possible to accurately recover the linear model contribution with this approach, disambiguating the effects of the implicitly defined nonlinear terms, resulting in a DMD-like model that is robust to strongly nonlinear dynamics. We demonstrate our approach on data from a wide range of nonlinear ordinary and partial differential equations that arise in the physical sciences. This framework can be used for many practical engineering tasks such as model order reduction, diagnostics, prediction, control, and discovery of governing laws.


title: A New Model For Including Galactic Winds in Simulations of Galaxy Formation II: Implementation of PhEW in Cosmological Simulations

abstract: Although galactic winds play a critical role in regulating galaxy formation, hydrodynamic cosmological simulations do not resolve the scales that govern the interaction between winds and the ambient circumgalactic medium (CGM). We implement the Physically Evolved Wind (PhEW) model of Huang et al. (2020) in the GIZMO hydrodynamics code and perform test cosmological simulations with different choices of model parameters and numerical resolution. PhEW adopts an explicit subgrid model that treats each wind particle as a collection of clouds that exchange mass, metals, and momentum with their surroundings and evaporate by conduction and hydrodynamic instabilities as calibrated on much higher resolution cloud scale simulations. In contrast to a conventional wind algorithm, we find that PhEW results are robust to numerical resolution and implementation details because the small scale interactions are defined by the model itself. Compared to conventional wind simulations with the same resolution, our PhEW simulations produce similar galaxy stellar mass functions at $z\geq 1$ but are in better agreement with low-redshift observations at $M_* < 10^{11}M_\odot$ because PhEW particles shed mass to the CGM before escaping low mass halos. PhEW radically alters the CGM metal distribution because PhEW particles disperse metals to the ambient medium as their clouds dissipate, producing a CGM metallicity distribution that is skewed but unimodal and is similar between cold and hot gas. While the temperature distributions and radial profiles of gaseous halos are similar in simulations with PhEW and conventional winds, these changes in metal distribution will affect their predicted UV/X-ray properties in absorption and emission.


title: Computational Design of Microarchitected Flow-Through Electrodes for Energy Storage

abstract: Porous flow-through electrodes are used as the core reactive component across electrochemical technologies. Controlling the fluid flow, species transport, and reactive environment is critical to attaining high performance. However, conventional electrode materials like felts and papers provide few opportunities for precise engineering of the electrode and its microstructure. To address these limitations, architected electrodes composed of unit cells with spatially varying geometry determined via computational optimization are proposed. Resolved simulation is employed to develop a homogenized description of the constituent unit cells. These effective properties serve as inputs to a continuum model for the electrode when used in the negative half cell of a vanadium redox flow battery. Porosity distributions minimizing power loss are then determined via computational design optimization to generate architected porosity electrodes. The architected electrodes are compared to bulk, uniform porosity electrodes and found to lead to increased power efficiency across operating flow rates and currents. The design methodology is further used to generate a scaled-up electrode with comparable power efficiency to the bench-scale systems. The variable porosity architecture and computational design methodology presented here thus offers a novel pathway for automatically generating spatially engineered electrode structures with improved power performance.


title: Granger Causality from Quantized Measurements

abstract: An approach is proposed for inferring Granger causality between jointly stationary, Gaussian signals from quantized data. First, a necessary and sufficient rank criterion for the equality of two conditional Gaussian distributions is proved. Assuming a partial finite-order Markov property, a characterization of Granger causality in terms of the rank of a matrix involving the covariances is presented. We call this the causality matrix. The smallest singular value of the causality matrix gives a lower bound on the distance between the two conditional Gaussian distributions appearing in the definition of Granger causality and yields a new measure of causality. Then, conditions are derived under which Granger causality between jointly Gaussian processes can be reliably inferred from the second order moments of quantized measurements. A necessary and sufficient condition is proposed for Granger causality inference under binary quantization. Furthermore, sufficient conditions are introduced to infer Granger causality between jointly Gaussian signals through measurements quantized via non-uniform, uniform or high resolution quantizers. Apart from the assumed partial Markov order and joint Gaussianity, this approach does not require the parameters of a system model to be identified. No assumptions are made on the identifiability of the jointly Gaussian random processes through the quantized observations. The effectiveness of the proposed method is illustrated by simulation results.


title: Partial particle and wave information and weak duality games

abstract: Duality games are a way of looking at wave-particle duality. In these games. Alice and Bob together are playing against the House. The House specifies, at random, which of two sub-games Alice and Bob will play. One game, Ways, requires that they obtain path information about a particle going through an $N$-path interferometer and the other, Phases, requires that they obtain phase information. In general, because of wave-particle duality, Alice and Bob cannot always win the overall game. However, if the required amount of path and phase information is not too great, for example specifying a set of paths or phases, one of which is the right one, then they can always win. Here we study examples of duality games that can always be won, and develop a wave-particle duality relation expressed only in terms of mutual information to help analyze these games.


title: Question Answering Over Temporal Knowledge Graphs

abstract: Temporal Knowledge Graphs (Temporal KGs) extend regular Knowledge Graphs by providing temporal scopes (start and end times) on each edge in the KG. While Question Answering over KG (KGQA) has received some attention from the research community, QA over Temporal KGs (Temporal KGQA) is a relatively unexplored area. Lack of broad coverage datasets has been another factor limiting progress in this area. We address this challenge by presenting CRONQUESTIONS, the largest known Temporal KGQA dataset, clearly stratified into buckets of structural complexity. CRONQUESTIONS expands the only known previous dataset by a factor of 340x. We find that various state-of-the-art KGQA methods fall far short of the desired performance on this new dataset. In response, we also propose CRONKGQA, a transformer-based solution that exploits recent advances in Temporal KG embeddings, and achieves performance superior to all baselines, with an increase of 120% in accuracy over the next best performing method. Through extensive experiments, we give detailed insights into the workings of CRONKGQA, as well as situations where significant further improvements appear possible. In addition to the dataset, we have released our code as well.


title: Hyperbolically-Discounted Reinforcement Learning on Reward-Punishment Framework

abstract: This paper proposes a new reinforcement learning with hyperbolic discounting. Combining a new temporal difference error with the hyperbolic discounting in recursive manner and reward-punishment framework, a new scheme to learn the optimal policy is derived. In simulations, it is found that the proposal outperforms the standard reinforcement learning, although the performance depends on the design of reward and punishment. In addition, the averages of discount factors w.r.t. reward and punishment are different from each other, like a sign effect in animal behaviors.


title: Statistics for Anticyclotomic Iwasawa Invariants of Elliptic Curves

abstract: We study the average behaviour of the Iwasawa invariants for Selmer groups of elliptic curves, considered over anticyclotomic $\mathbb{Z}_p$-extensions in both the definite and indefinite settings. The results in this paper lie at the intersection of arithmetic statistics and Iwasawa theory.


title: Dissecting Generation Modes for Abstractive Summarization Models via Ablation and Attribution

abstract: Despite the prominence of neural abstractive summarization models, we know little about how they actually form summaries and how to understand where their decisions come from. We propose a two-step method to interpret summarization model decisions. We first analyze the model's behavior by ablating the full model to categorize each decoder decision into one of several generation modes: roughly, is the model behaving like a language model, is it relying heavily on the input, or is it somewhere in between? After isolating decisions that do depend on the input, we explore interpreting these decisions using several different attribution methods. We compare these techniques based on their ability to select content and reconstruct the model's predicted token from perturbations of the input, thus revealing whether highlighted attributions are truly important for the generation of the next token. While this machinery can be broadly useful even beyond summarization, we specifically demonstrate its capability to identify phrases the summarization model has memorized and determine where in the training pipeline this memorization happened, as well as study complex generation phenomena like sentence fusion on a per-instance basis.


title: Tracing PAH Size in Prominent Nearby Mid-Infrared Environments

abstract: We present observations from the First Light Infrared TEst CAMera (FLITECAM) on board the Stratospheric Observatory for Infrared Astronomy (SOFIA), the Spitzer Infrared Array Camera (IRAC) and the Spitzer Infrared Spectrograph (IRS) SH mode in three well-known Photodissocation Regions (PDRs), the reflection nebulae (RNe) NGC 7023 and NGC 2023 and to the southeast of the Orion Bar, which are well suited to probe emission from Polycyclic Aromatic Hydrocarbon molecules (PAHs). We investigate the spatial behaviour of the FLITECAM 3.3 um filter as a proxy for the 3.3 um PAH band, the integrated 11.2 um PAH band, and the IRAC 8.0 um filter as a proxy for the sum of the 7.7 and 8.6 um PAH bands. The resulting ratios of 11.2/3.3 and IRAC 8.0/11.2 provide an approximate measure of the average PAH size and PAH ionization respectively. In both RNe, we find that the relative PAH ionization and the average PAH size increases with decreasing distance to the illuminating source. The average PAH sizes derived for NGC 2023 are greater than those found for NGC 7023 at all points. Both results indicate that PAH size is dependent on the radiation field intensity. These results provide additional evidence of a rich carbon-based chemistry driven by the photo-chemical evolution of the omnipresent PAH molecules within the interstellar medium. In contrast, we did not detect a significant variation in the average PAH size found in the region southeast of the Orion Bar and report a peculiar PAH ionization radial profile.


title: Unification of L$_\mu$-L$_\tau$ and the standard model gauge group

abstract: In this letter we show a kind of \mt gauge symmetry can be unified into a simple group with the standard model gauge symmetry in the context of coset space unification. We also discuss some implication from one of this kind of unification.


title: Avoiding large squares in trees and planar graphs

abstract: The Thue number $\pi(G)$ of a graph $G$ is the minimum number of colors needed to color $G$ without creating a square on a path of $G$. For a graph class $C$, $\pi(C)$ is the supremum of $\pi(G)$ over the graphs $G\in C$. The Thue number has been investigated for famous minor-closed classes: $\pi(tree)=4$, $7\le\pi(outerplanar)\le12$, and $11\le\pi(planar)\le768$. Following a suggestion of Grytczuk, we consider the generalized parameters $\pi_k(C)$ such that only squares of period at least $k$ must be avoided. Thus, $\pi(C)=\pi_1(C)$. We show that $\pi_5(tree)=2$, $\pi_2(tree)=3$, and $\pi_k(planar)\ge11$ for every fixed $k$.


title: Van Lint-MacWilliams' conjecture and maximum cliques in Cayley graphs over finite fields

abstract: A well-known conjecture due to van Lint and MacWilliams states that if $A$ is a subset of $\mathbb{F}_{q^2}$ such that $0,1 \in A$, $|A|=q$, and $a-b$ is a square for each $a,b \in A$, then $A$ must be the subfield $\mathbb{F}_q$. This conjecture is often phrased in terms of the maximum cliques in Paley graphs. It was first proved by Blokhuis and later extended by Sziklai to generalized Paley graphs. In this paper, we give a new proof of the conjecture and its variants, and show this Erd\H{o}s-Ko-Rado property of Paley graphs extends to a larger family of Cayley graphs, which we call Peisert-type graphs, resolving conjectures by Mullin and Yip.


title: Diameter theorems on K\"ahler and quaternionic K\"ahler manifolds under a positive lower curvature bound

abstract: We define the orthogonal Bakry-\'Emery tensor as a generalization of the orthogonal Ricci curvature, and then study diameter theorems on K\"ahler and quaternionic K\"ahler manifolds under positivity assumption on the orthogonal Bakry-\'Emery tensor. Moreover, under such assumptions on the orthogonal Bakry-\'Emery tensor and the holomorphic or quaternionic sectional curvature on a K\"ahler manifold or a quaternionic K\"ahler manifold respectively, the Bonnet-Myers type diameter bounds are sharper than in the Riemannian case.


title: Combinatorial Conditions for Directed Collapsing

abstract: The purpose of this article is to study directed collapsibility of directed Euclidean cubical complexes. One application of this is in the nontrivial task of verifying the execution of concurrent programs. The classical definition of collapsibility involves certain conditions on a pair of cubes of the complex. The direction of the space can be taken into account by requiring that the past links of vertices remain homotopy equivalent after collapsing. We call this type of collapse a link-preserving directed collapse. In this paper, we give combinatorially equivalent conditions for preserving the topology of the links, allowing for the implementation of an algorithm for collapsing a directed Euclidean cubical complex. Furthermore, we give conditions for when link-preserving directed collapses preserve the contractability and connectedness of directed path spaces, as well as examples when link-preserving directed collapses do not preserve the number of connected components of the path space between the minimum and a given vertex.


title: Uniqueness and global dynamics of spatially homogeneous non cutoff Boltzmann equation with moderate soft potentials

abstract: Departing from the weak solution, we prove the uniqueness, smoothing estimates and the global dynamics for the non cutoff spatially homogeneous Boltzmann equation with moderate soft potentials. Our results show that the behavior of the solution(including the production of regularity and the longtime behavior) can be {\it characterized quantitatively} by the initial data at the large velocities, i.e.(i). initially polynomial decay at the large velocities in $L^1$ space will induce the finite smoothing estimates in weighted Sobolev spaces and the polynomial convergence rate (including the lower and upper bounds) to the equilibrium; (ii). initially the exponential decay at the large velocities in $L^1$ space will induce $C^\infty$ regularization effect and the stretched exponential convergence rate. The new ingredients of the proof lie in the development of the localized techniques in phase and frequency spaces and the propagation of the exponential momentum.


title: "You made me feel this way": Investigating Partners' Influence in Predicting Emotions in Couples' Conflict Interactions using Speech Data

abstract: How romantic partners interact with each other during a conflict influences how they feel at the end of the interaction and is predictive of whether the partners stay together in the long term. Hence understanding the emotions of each partner is important. Yet current approaches that are used include self-reports which are burdensome and hence limit the frequency of this data collection. Automatic emotion prediction could address this challenge. Insights from psychology research indicate that partners' behaviors influence each other's emotions in conflict interaction and hence, the behavior of both partners could be considered to better predict each partner's emotion. However, it is yet to be investigated how doing so compares to only using each partner's own behavior in terms of emotion prediction performance. In this work, we used BERT to extract linguistic features (i.e., what partners said) and openSMILE to extract paralinguistic features (i.e., how they said it) from a data set of 368 German-speaking Swiss couples (N = 736 individuals) who were videotaped during an 8-minutes conflict interaction in the laboratory. Based on those features, we trained machine learning models to predict if partners feel positive or negative after the conflict interaction. Our results show that including the behavior of the other partner improves the prediction performance. Furthermore, for men, considering how their female partners spoke is most important and for women considering what their male partner said is most important in getting better prediction performance. This work is a step towards automatically recognizing each partners' emotion based on the behavior of both, which would enable a better understanding of couples in research, therapy, and the real world.


title: A counterexample to the HK-conjecture that is principal

abstract: Scarparo has constructed counterexamples to Matui's HK-conjecture. These counterexample and other known counterexamples are essentially principal but not principal. In the present paper, a counterexample to the HK-conjecture that is principal is given. Like Scarparo's original counterexample, our counterexample is the transformation groupoid associated to a particular odometer. However, the relevant group is the fundamental group of a flat manifold (and hence is torsion-free) and the associated odometer action is free. The examples discussed here do satisfy the rational version of the HK-conjecture.