title: Nambu-Covariant Many-Body Theory I: Perturbative Approximations

abstract: Symmetry-breaking considerations play an important role in allowing reliable and accurate predictions of complex systems in quantum many-body simulations. The general theory of perturbations in symmetry-breaking phases is nonetheless intrinsically more involved than in the unbroken phase due to non-vanishing anomalous Green's functions or anomalous quasiparticle interactions. In the present paper, we develop a formulation of many-body theory at non-zero temperature which is explicitly covariant with respect to a group containing Bogoliubov transformations. Based on the concept of Nambu tensors, we derive a factorisation of standard Feynman diagrams that is valid for a general Hamiltonian. The resulting factorised amplitudes are indexed over the set of un-oriented Feynman diagrams with fully antisymmetric vertices. We argue that, within this framework, the design of symmetry-breaking many-body approximations is simplified.


title: An Exploration of Exploration: Measuring the ability of lexicase selection to find obscure pathways to optimality

abstract: Parent selection algorithms (selection schemes) steer populations through a problem's search space, often trading off between exploitation and exploration. Understanding how selection schemes affect exploitation and exploration within a search space is crucial to tackling increasingly challenging problems. Here, we introduce an "exploration diagnostic" that diagnoses a selection scheme's capacity for search space exploration. We use our exploration diagnostic to investigate the exploratory capacity of lexicase selection and several of its variants: epsilon lexicase, down-sampled lexicase, cohort lexicase, and novelty-lexicase. We verify that lexicase selection out-explores tournament selection, and we show that lexicase selection's exploratory capacity can be sensitive to the ratio between population size and the number of test cases used for evaluating candidate solutions. Additionally, we find that relaxing lexicase's elitism with epsilon lexicase can further improve exploration. Both down-sampling and cohort lexicase -- two techniques for applying random subsampling to test cases -- degrade lexicase's exploratory capacity; however, we find that cohort partitioning better preserves lexicase's exploratory capacity than down-sampling. Finally, we find evidence that novelty-lexicase's addition of novelty test cases can degrade lexicase's capacity for exploration. Overall, our findings provide hypotheses for further exploration and actionable insights and recommendations for using lexicase selection. Additionally, this work demonstrates the value of selection scheme diagnostics as a complement to more conventional benchmarking approaches to selection scheme analysis.


title: The Evolution of Imitation Without Cultural Transmission

abstract: The evolution and function of imitation have always been placed within the confines of animal learning and associated with its crucial role in cultural transmission and cultural evolution. Can imitation evolve as a form of phenotypic plasticity in the absence of cultural transmission, in phenotypes beyond behavior? We investigate a model in which imitation is unbundled from cultural transmission: an organism's adult phenotype is plastically altered by its experiences as a juvenile of other juveniles' genetically determined traits. The only information transmitted between generations is genetic. We find that during a period of directional selection towards a phenotypic optimum, natural selection favors modifiers which cause an organism to bias its plastic phenotype in the direction opposite to the mean phenotype of the population -- anti-imitation. As the population approaches the phenotypic optimum and shifts into stabilizing selection, selection on the modifier reverses and favors strong imitation of the population mean. Imitation can evolve to overshoot the target and produce an evolutionary pathology where mean fitness decreases. When purifying selection for an extreme phenotype is modeled, only selection for anti-imitation occurs, even at a mutation-selection balance. Imitation and anti-imitation emerge from these models in the absence of any goal representation, cognitive understanding of its purpose, or discernment of any kind. These theoretical outcomes are all novel evolutionary and biological phenomena, and we discuss their implications.


title: Regularity and energy of second order hyperbolic boundary value problems on non-timelike hypersurfaces

abstract: We study the second order hyperbolic equations with initial conditions, a nonhomogeneous Dirichlet boundary condition and a source term. We prove the solution possesses $H^1$ regularity on any piecewise $C^1$-smooth non-timelike hypersurfaces. We generalize the notion of energy to these hypersurfaces, and establish an estimate of the difference between the energies on the hypersurface and on the initial plane where the time $t = 0$. The energy is shown to be conserved when the source term and the boundary datum are both zero. We also obtain an $L^2$ estimate for the normal derivative of the solution. In the proofs we first show these results for $C^2$-smooth solutions by using the multiplier methods, and then we go back to the original results by approximation.


title: Nambu-Covariant Many-Body Theory II: Self-Consistent Approximations

abstract: This paper is devoted to the formulation of Self-Consistent Green's Function (SCGF) in an explicit Nambu-covariant fashion for applications to many-body systems at non-zero temperature in symmetry-broken phases. This is achieved by extending the Nambu-covariant formulation of perturbation theory, presented in the first part of this work, to non-perturbative schemes based on self-consistently dressed propagators and vertices. We work out in detail the self-consistent ladder approximation, motivated by a trade-off between numerical complexity and many-body phenomenology. Taking a complex general Hartree-Fock-Bogoliubov (HFB) propagator as the starting point, we also formulate and prove a sufficient condition on the stability of the HFB self-energy to ensure the convergence of the initial series of ladders at any energy. The self-consistent ladder approximation is written purely in terms of spectral functions and the resulting set of equations, when expressed in terms of Nambu tensors, are remarkably similar to those in the symmetry-conserving case. This puts the application of the self-consistent ladder approximation to symmetry-broken phases of infinite nuclear matter within reach.


title: Measuring total neutrino cross section with IceCube at intermediate energies ($\sim$100 GeV to a few TeV)

abstract: Whether studying neutrinos for their own sake or as a messenger particle, neutrino cross sections are critically important for numerous analyses. On the low energy side, measurements from accelerator experiments reach up to a few 100s of GeV. On the high energy side, neutrino-earth absorption measurements extend down to a few TeV. The intermediate energy range has yet to be measured experimentally. This work is made possible by the linear relationship between the event rate and cross section, and will utilize IceCube muon neutrino data collected between 2010 and 2018. An advanced energy reconstruction, tailored to the unique properties of the energy range and using the full description of photon propagation in ice, is applied to an event sample of neutrino-induced through-going muons to perform a forward folding analysis.


title: A conditional independence test for causality in econometrics

abstract: The Y-test is a useful tool for detecting missing confounders in the context of a multivariate regression.However, it is rarely used in practice since it requires identifying multiple conditionally independent instruments, which is often impossible. We propose a heuristic test which relaxes the independence requirement. We then show how to apply this heuristic test on a price-demand and a firm loan-productivity problem. We conclude that the test is informative when the variables are linearly related with Gaussian additive noise, but it can be misleading in other contexts. Still, we believe that the test can be a useful concept for falsifying a proposed control set.


title: Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning

abstract: Loop-invariant synthesis is the basis of program verification. Due to the undecidability of the problem in general, a tool for invariant synthesis necessarily uses heuristics. Despite the common belief that the design of heuristics is vital for the performance of a synthesizer, heuristics are often engineered by their developers based on experience and intuition, sometimes in an \emph{ad-hoc} manner. In this work, we propose an approach to systematically learning heuristics for template-based CounterExample-Guided Inductive Synthesis (CEGIS) with reinforcement learning. As a concrete example, we implement the approach on top of PCSat, which is an invariant synthesizer based on template-based CEGIS. Experiments show that PCSat guided by the heuristics learned by our framework not only outperforms existing state-of-the-art CEGIS-based solvers such as HoICE and the neural solver Code2Inv, but also has slight advantages over non-CEGIS-based solvers such as Eldarica and Spacer in linear Constrained Horn Clause (CHC) solving.


title: Explainable AI Enabled Inspection of Business Process Prediction Models

abstract: Modern data analytics underpinned by machine learning techniques has become a key enabler to the automation of data-led decision making. As an important branch of state-of-the-art data analytics, business process predictions are also faced with a challenge in regard to the lack of explanation to the reasoning and decision by the underlying `black-box' prediction models. With the development of interpretable machine learning techniques, explanations can be generated for a black-box model, making it possible for (human) users to access the reasoning behind machine learned predictions. In this paper, we aim to present an approach that allows us to use model explanations to investigate certain reasoning applied by machine learned predictions and detect potential issues with the underlying methods thus enhancing trust in business process prediction models. A novel contribution of our approach is the proposal of model inspection that leverages both the explanations generated by interpretable machine learning mechanisms and the contextual or domain knowledge extracted from event logs that record historical process execution. Findings drawn from this work are expected to serve as a key input to developing model reliability metrics and evaluation in the context of business process predictions.


title: Checkovid: A COVID-19 misinformation detection system on Twitter using network and content mining perspectives

abstract: During the COVID-19 pandemic, social media platforms were ideal for communicating due to social isolation and quarantine. Also, it was the primary source of misinformation dissemination on a large scale, referred to as the infodemic. Therefore, automatic debunking misinformation is a crucial problem. To tackle this problem, we present two COVID-19 related misinformation datasets on Twitter and propose a misinformation detection system comprising network-based and content-based processes based on machine learning algorithms and NLP techniques. In the network-based process, we focus on social properties, network characteristics, and users. On the other hand, we classify misinformation using the content of the tweets directly in the content-based process, which contains text classification models (paragraph-level and sentence-level) and similarity models. The evaluation results on the network-based process show the best results for the artificial neural network model with an F1 score of 88.68%. In the content-based process, our novel similarity models, which obtained an F1 score of 90.26%, show an improvement in the misinformation classification results compared to the network-based models. In addition, in the text classification models, the best result was achieved using the stacking ensemble-learning model by obtaining an F1 score of 95.18%. Furthermore, we test our content-based models on the Constraint@AAAI2021 dataset, and by getting an F1 score of 94.38%, we improve the baseline results. Finally, we develop a fact-checking website called Checkovid that uses each process to detect misinformative and informative claims in the domain of COVID-19 from different perspectives.


title: Molecular gas budget and characterization of intermediate-mass star-forming galaxies at $z\approx 2-3$

abstract: Star-forming galaxies (SFGs) with stellar masses below $10^{10}\,M_\odot$ make up the bulk of the galaxy population at $z>2$. The properties of the cold gas in these galaxies can only be probed in very deep ALMA observations or by targeting strongly lensed galaxies. Here we report the results of a pilot survey using the Atacama Compact Array (ACA) of molecular gas in the most strongly magnified galaxies selected as giant arcs in optical data. The selection in rest-frame UV wavelengths ensures that sources are regular star forming galaxies, without a priori indications of intense dusty starburst activity. We conducted Band 4 and Band 7 observations to detect mid-$J$ CO, [C I] and thermal continuum as molecular gas tracers from four strongly lensed systems at $z\approx2-3$: our targets are SGAS J1226651.3+215220 (A and B), SGAS J003341.5+024217 and the Sunburst Arc. The measured molecular mass is then projected onto the source plane with detailed lens models developed from high resolution HST observations. Multiwavelength photometry is then used to obtain the intrinsic stellar mass and star formation rate via SED fitting. In only one of the sources are the three tracers robustly detected, while in the others they are either undetected or detected in continuum only. The implied molecular gass masses range from $4\times 10^{9}\,M_\odot$ in the detected source to an upper limit of $\lesssim 10^9\,M_\odot$ in the most magnified source. The inferred gas fraction and gas depletion timescale are found to lie approximately 0.5 to 1.0 dex below the established scaling relations based on previous studies of unlensed massive galaxies. Our results indicate that the cold gas content of intermediate to low mass galaxies should not be extrapolated from the trends seen in more massive high-$z$ galaxies. (Abridged abstract)


title: Faster Matchings via Learned Duals

abstract: A recent line of research investigates how algorithms can be augmented with machine-learned predictions to overcome worst case lower bounds. This area has revealed interesting algorithmic insights into problems, with particular success in the design of competitive online algorithms. However, the question of improving algorithm running times with predictions has largely been unexplored. We take a first step in this direction by combining the idea of machine-learned predictions with the idea of "warm-starting" primal-dual algorithms. We consider one of the most important primitives in combinatorial optimization: weighted bipartite matching and its generalization to $b$-matching. We identify three key challenges when using learned dual variables in a primal-dual algorithm. First, predicted duals may be infeasible, so we give an algorithm that efficiently maps predicted infeasible duals to nearby feasible solutions. Second, once the duals are feasible, they may not be optimal, so we show that they can be used to quickly find an optimal solution. Finally, such predictions are useful only if they can be learned, so we show that the problem of learning duals for matching has low sample complexity. We validate our theoretical findings through experiments on both real and synthetic data. As a result we give a rigorous, practical, and empirically effective method to compute bipartite matchings.


title: Optimization of the growth of the van der Waals materials Bi2Se3 and (Bi0.5In0.5)2Se3 by molecular beam epitaxy

abstract: The naturally existing chalcogenide Bi2Se3 is topologically nontrivial due to the band inversion caused by strong spin-orbit coupling inside the bulk of the material. The surface states are spin polarized, protected by the time-inversion symmetry, and thus robust to the scattering caused by non-magnetic defects. A high purity topological insulator thin film can be easily grown via molecular beam epitaxy (MBE) on various substrates to enable novel electronics, optics, and spintronics applications. However, the unique surface state properties have historically been limited by the film quality, which is evaluated by crystallinity, surface morphology, and transport data. Here we propose and investigate different MBE growth strategies to improve the quality of Bi2Se3 thin films grown by MBE. In addition, growths of topological trivial insulator (Bi0.5In0.5)2Se3 (BIS) are also investigated. BIS is often used as a buffer layer or separation layer for topological insulator heterostructures. Based on the surface passivation status, we have classified the substrates into two categories, self-passivated or unpassivated, and determine the optimal growth mechanisms on the representative sapphire and GaAs, respectively. Growth temperature is a crucial control parameter for the van der Waals epitaxy for both types of substrates. For Bi2Se3 on GaAs, the surface passivation status determines the dominant growth mechanism.


title: Improved performance of a near-field thermophotovoltaic system by a back gapped reflector

abstract: Various spectral control techniques can be applied to improve the performance of a thermophotovoltaic (TPV) system. For example, a back surface reflector (BSR) can improve the performance of TPV systems. A conventional metal BSR structure enhances the photogeneration rate by increasing the absorption probability of photons via back surface reflection, affording a second chance for absorption. However, surface passivation and external luminescence effects introduced by BSR structures have been previously ignored, which potentially decreases the performance of TPV systems. Recently, a back gapped reflector (BGR) structure was proposed to greatly improve the performance of far-field TPV systems by reducing reflection loss at the semiconductor-metal interface. In the present work, the performance improvement on a thin-film, near-field InAs TPV system with a BGR is investigated, comparing its performance to that with a conventional metal BSR. Surface passivation conditions are also investigated to further improve the performance of TPV systems with back reflectors. The output power and efficiency are calculated using an iterative model combining fluctuational electrodynamics and the full drift-diffusion model. For the well-passivated condition, when the BSR is replaced by the BGR, the calculated conversion efficiency was improved from 16.4% to 21% and the output power was increased by 10% for the near-field regime. Finally, the reflection loss and external luminescence loss are analyzed to explain the performance improvement.


title: Statistical Estimation from Dependent Data

abstract: We consider a general statistical estimation problem wherein binary labels across different observations are not independent conditioned on their feature vectors, but dependent, capturing settings where e.g. these observations are collected on a spatial domain, a temporal domain, or a social network, which induce dependencies. We model these dependencies in the language of Markov Random Fields and, importantly, allow these dependencies to be substantial, i.e do not assume that the Markov Random Field capturing these dependencies is in high temperature. As our main contribution we provide algorithms and statistically efficient estimation rates for this model, giving several instantiations of our bounds in logistic regression, sparse logistic regression, and neural network settings with dependent data. Our estimation guarantees follow from novel results for estimating the parameters (i.e. external fields and interaction strengths) of Ising models from a {\em single} sample. {We evaluate our estimation approach on real networked data, showing that it outperforms standard regression approaches that ignore dependencies, across three text classification datasets: Cora, Citeseer and Pubmed.}


title: Counting filter restricted paths in $\mathbb{Z}^2$ lattice

abstract: We derive a path counting formula for two-dimensional lattice path model on a plane with filter restrictions. A filter is a line that restricts the path passing it to one of possible directions. Moreover, each path that touches this line is assigned a special weight. The periodic filter restrictions are motivated by the problem of tensor power decomposition for representations of quantum $\mathfrak{sl}_2$ at roots of unity. Our main result is the explicit formula for the weighted number of paths from the origin to a fixed point between two filters in this model.


title: Chain flaring and $L^{2}$-torsion of free-by-cyclic groups

abstract: We introduce a condition on the monodromy of a free-by-cyclic group, $G_\phi$, called the chain flare condition, that implies that the $L^2$-torsion, $\rho^{(2)}(G_\phi)$, is non-zero. We conjecture that this condition holds whenever the monodromy is exponentially growing.


title: Anti-Integrability for 3-Dimensional Quadratic Maps

abstract: We study the dynamics of the three-dimensional quadratic diffeomorphism using a concept first introduced thirty years ago for the Frenkel-Kontorova model of condensed matter physics: the anti-integrable (AI) limit. At the traditional AI limit, orbits of a map degenerate to sequences of symbols and the dynamics is reduced to the shift operator, a pure form of chaos. Under nondegeneracy conditions, a contraction mapping argument can show that infinitely many AI states continue to orbits of the deterministic map. For the 3D quadratic map, the AI limit that we study is a quadratic correspondence whose branches, a pair of one-dimensional maps, introduce symbolic dynamics on two symbols. The AI states, however, are nontrivial orbits of this correspondence. The character of these orbits depends on whether the quadratic takes the form of an ellipse, a hyperbola, or a pair of lines. Using contraction arguments, we find parameter domains for each case such that each symbol sequence corresponds to a unique AI state. In some parameter domains, sufficient conditions are then found for each such AI state to continue away from the limit to become an orbit of the original 3D map. Numerical continuation methods extend these results, allowing computation of bifurcations and obtaining orbits with horseshoe-like structures and intriguing self-similarity. We conjecture that pairs of periodic orbits in saddle-node or period doubling bifurcations have symbol sequences that differ in exactly one position.


title: Conjugate Beamforming with Fractional-Exponent Normalization and Scalable Power Control in Cell-Free Massive MIMO

abstract: This paper considers a cell-free massive MIMO (CF-mMIMO) system using conjugate beamforming (CB) with fractional-exponent normalization. Assuming independent Rayleigh fading channels, a generalized closed-form expression for the achievable downlink spectral efficiency is derived, which subsumes, as special cases, the spectral efficiency expressions previously reported for plain CB and its variants, i.e. normalized CB and enhanced CB. Downlink power control is also tackled, and a reduced-complexity power allocation strategy is proposed, wherein only one coefficient for access point (AP) is optimized based on the long-term fading realizations. Numerical results unveil the performance of CF-mMIMO with CB and fractional-exponent normalization, and show that the proposed power optimization rule incurs a moderate performance loss with respect to the traditional max-min power control rule, but with lower complexity and much smaller overall power consumption.


title: Single-Shot Compression for Hypothesis Testing

abstract: Enhanced processing power in the cloud allows constrained devices to offload costly computations: for instance, complex data analytics tasks can be computed by remote servers. Remote execution calls for a new compression paradigm that optimizes performance on the analytics task within a rate constraint, instead of the traditional rate-distortion framework which focuses on source reconstruction. This paper considers a simple binary hypothesis testing scenario where the resource constrained client (transmitter) performs fixed-length single-shot compression on data sampled from one of two distributions; the server (receiver) performs a hypothesis test on multiple received samples to determine the correct source distribution. To this end, the task-aware compression problem is formulated as finding the optimal source coder that maximizes the asymptotic error performance of the hypothesis test on the server side under a rate constraint. A new source coding strategy based on a greedy optimization procedure is proposed and it is shown that that the proposed compression scheme outperforms universal fixed-length single-shot coding scheme for a range of rate constraints.


title: A Note on $h^{2,1}$ of Divisors of CY Fourfolds I

abstract: In this note, we prove combinatorial formulas for $h^{2,1}$ of prime toric divisors in an arbitrary toric hypersurface Calabi-Yau fourfold $Y_4.$ We show that it is possible to find a toric hypersurface Calabi-Yau in which there are more than $h^{1,1}(Y_4)$ non-perturbative superpotential terms with trivial intermediate Jacobian. Hodge numbers of divisors in toric CICYs are the subjects of the part two.


title: Toroidal $\&$ orbifold compactifications at large D and D-duality

abstract: In this paper I will further investigate the spectrum of quantum gravity or string theories at large number of dimensions. We will see that volumes of certain orbifolds shrink at large D. It follows that the mass spectra of the leading Kaluza-Klein towers and also of wrapped brane states on these orbifolds possess a non-trivial dependence on D: KK modes become heavy at large D, whereas wrapped branes become light. This observation can be used either to apply the Large Dimension Conjecture or, as we will do, to investigate the possibility of a D-duality symmetry, which relates in gravity compactifications of different dimensions. We will set up the general rules for D-duality in higher dimensional gravity. However due to existence of the critical dimensions, D-duality is quite restricted in string theory. As simple tests for D-duality in string theory, we will discuss the duality between M-theory on a two-dimensional orbifold, namely the M\"obius strip, and an IIB S-fold on a circle, which corresponds to the heterotic CHL string, as well the duality between a (truncated) 12-dimensional theory on a three-dimensional orbifold and another IIB S-fold compactification. Finally I also comment on the possible existence of exotic theories at large D.


title: Quantum Measurement Classification with Qudits

abstract: This paper presents a hybrid classical-quantum program for density estimation and supervised classification. The program is implemented as a quantum circuit in a high-dimensional quantum computer simulator. We show that the proposed quantum protocols allow to estimate probability density functions and to make predictions in a supervised learning manner. This model can be generalized to find expected values of density matrices in high-dimensional quantum computers. Experiments on various data sets are presented. Results show that the proposed method is a viable strategy to implement supervised classification and density estimation in a high-dimensional quantum computer.


title: Track based Offline Policy Learning for Overtaking Maneuvers with Autonomous Racecars

abstract: The rising popularity of driver-less cars has led to the research and development in the field of autonomous racing, and overtaking in autonomous racing is a challenging task. Vehicles have to detect and operate at the limits of dynamic handling and decisions in the car have to be made at high speeds and high acceleration. One of the most crucial parts in autonomous racing is path planning and decision making for an overtaking maneuver with a dynamic opponent vehicle. In this paper we present the evaluation of a track based offline policy learning approach for autonomous racing. We define specific track portions and conduct offline experiments to evaluate the probability of an overtaking maneuver based on speed and position of the ego vehicle. Based on these experiments we can define overtaking probability distributions for each of the track portions. Further, we propose a switching MPCC controller setup for incorporating the learnt policies to achieve a higher rate of overtaking maneuvers. By exhaustive simulations, we show that our proposed algorithm is able to increase the number of overtakes at different track portions.


title: Unsupervised Domain Adaptation in LiDAR Semantic Segmentation with Self-Supervision and Gated Adapters

abstract: In this paper, we focus on a less explored, but more realistic and complex problem of domain adaptation in LiDAR semantic segmentation. There is a significant drop in performance of an existing segmentation model when training (source domain) and testing (target domain) data originate from different LiDAR sensors. To overcome this shortcoming, we propose an unsupervised domain adaptation framework that leverages unlabeled target domain data for self-supervision, coupled with an unpaired mask transfer strategy to mitigate the impact of domain shifts. Furthermore, we introduce the gated adapter module with a small number of parameters into the network to account for target domain-specific information. Experiments adapting from both real-to-real and synthetic-to-real LiDAR semantic segmentation benchmarks demonstrate the significant improvement over prior arts.


title: Wind speed inference from environmental flow-structure interactions, part 2: leveraging unsteady kinematics

abstract: This work explores the relationship between wind speed and time-dependent structural motion response as a means of leveraging the rich information visible in flow-structure interactions for anemometry. We build on recent work by Cardona et al. (2021), which presented an approach using mean structural bending. Here we present the amplitude of the dynamic structural sway as an alternative signal that can be used when mean bending is small or inconvenient to measure. A force balance relating the instantaneous loading and instantaneous deflection yields a relationship between the incident wind speed and the amplitude of structural sway. This physical model is applied to two field datasets comprising 13 trees of 4 different species exposed to ambient wind conditions. Model generalization to the diverse test structures is achieved through normalization with respect to a reference condition. The model agrees well with experimental measurements of the local wind speed, suggesting that tree sway amplitude can be used as an indirect measurement of mean wind speed, and is applicable to a broad variety of diverse trees.


title: High-dimensional Multivariate Time Series Forecasting in IoT Applications using Embedding Non-stationary Fuzzy Time Series

abstract: In Internet of things (IoT), data is continuously recorded from different data sources and devices can suffer faults in their embedded electronics, thus leading to a high-dimensional data sets and concept drift events. Therefore, methods that are capable of high-dimensional non-stationary time series are of great value in IoT applications. Fuzzy Time Series (FTS) models stand out as data-driven non-parametric models of easy implementation and high accuracy. Unfortunately, FTS encounters difficulties when dealing with data sets of many variables and scenarios with concept drift. We present a new approach to handle high-dimensional non-stationary time series, by projecting the original high-dimensional data into a low dimensional embedding space and using FTS approach. Combining these techniques enables a better representation of the complex content of non-stationary multivariate time series and accurate forecasts. Our model is able to explain 98% of the variance and reach 11.52% of RMSE, 2.68% of MAE and 2.91% of MAPE.


title: Communication and Computation Reduction for Split Learning using Asynchronous Training

abstract: Split learning is a promising privacy-preserving distributed learning scheme that has low computation requirement at the edge device but has the disadvantage of high communication overhead between edge device and server. To reduce the communication overhead, this paper proposes a loss-based asynchronous training scheme that updates the client-side model less frequently and only sends/receives activations/gradients in selected epochs. To further reduce the communication overhead, the activations/gradients are quantized using 8-bit floating point prior to transmission. An added benefit of the proposed communication reduction method is that the computations at the client side are reduced due to reduction in the number of client model updates. Furthermore, the privacy of the proposed communication reduction based split learning method is almost the same as traditional split learning. Simulation results on VGG11, VGG13 and ResNet18 models on CIFAR-10 show that the communication cost is reduced by 1.64x-106.7x and the computations in the client are reduced by 2.86x-32.1x when the accuracy degradation is less than 0.5% for the single-client case. For 5 and 10-client cases, the communication cost reduction is 11.9x and 11.3x on VGG11 for 0.5% loss in accuracy.


title: Group Contrastive Self-Supervised Learning on Graphs

abstract: We study self-supervised learning on graphs using contrastive methods. A general scheme of prior methods is to optimize two-view representations of input graphs. In many studies, a single graph-level representation is computed as one of the contrastive objectives, capturing limited characteristics of graphs. We argue that contrasting graphs in multiple subspaces enables graph encoders to capture more abundant characteristics. To this end, we propose a group contrastive learning framework in this work. Our framework embeds the given graph into multiple subspaces, of which each representation is prompted to encode specific characteristics of graphs. To learn diverse and informative representations, we develop principled objectives that enable us to capture the relations among both intra-space and inter-space representations in groups. Under the proposed framework, we further develop an attention-based representor function to compute representations that capture different substructures of a given graph. Built upon our framework, we extend two current methods into GroupCL and GroupIG, equipped with the proposed objective. Comprehensive experimental results show our framework achieves a promising boost in performance on a variety of datasets. In addition, our qualitative results show that features generated from our representor successfully capture various specific characteristics of graphs.


title: Highly Linear Nonmagnetic Circulator Enabled By A Temporal Nonreciprocal Phase Shifter

abstract: Conventional circulators are made of magnetic ferrites and suffer from a cumbersome architecture, incompatibility with integrated circuit technology and inability for high frequency applications. To overcome these limitations, here we propose a lightweight low-profile non-magnetic circulator comprising a nonreciprocal time-varying phase shifter. This circulator is composing a nonreciprocal temporal phase shifter and two reciprocal delay-line-based phase shifters. The proposed nonreciprocal temporal phase shifter is based on the generation of time-harmonic signals, enforcing destructive interference for undesired time harmonics and constructive interference for desired time harmonics at different locations of the structure. Such a unique task is accomplished through two phase-engineered temporal loops. The phase and frequency of these two loops are governed by external signals with different phases, imparting an effective electronic angular momentum to the system. We observe large isolation level of greater than 32 dB, a P1dB of +31.7 dBm and IIP3 of +42.4 dBm. Furthermore, this circulator is endowed with a reconfigurable architecture and can be directly embedded in a conventional integrated circuit (IC) technology to realize a class of high power handling and linear IC circulators.


title: NeurObfuscator: A Full-stack Obfuscation Tool to Mitigate Neural Architecture Stealing

abstract: Neural network stealing attacks have posed grave threats to neural network model deployment. Such attacks can be launched by extracting neural architecture information, such as layer sequence and dimension parameters, through leaky side-channels. To mitigate such attacks, we propose NeurObfuscator, a full-stack obfuscation tool to obfuscate the neural network architecture while preserving its functionality with very limited performance overhead. At the heart of this tool is a set of obfuscating knobs, including layer branching, layer widening, selective fusion and schedule pruning, that increase the number of operators, reduce/increase the latency, and number of cache and DRAM accesses. A genetic algorithm-based approach is adopted to orchestrate the combination of obfuscating knobs to achieve the best obfuscating effect on the layer sequence and dimension parameters so that the architecture information cannot be successfully extracted. Results on sequence obfuscation show that the proposed tool obfuscates a ResNet-18 ImageNet model to a totally different architecture (with 44 layer difference) without affecting its functionality with only 2% overall latency overhead. For dimension obfuscation, we demonstrate that an example convolution layer with 64 input and 128 output channels can be obfuscated to generate a layer with 207 input and 93 output channels with only a 2% latency overhead.


title: Non-existence of annular separators in geometric graphs

abstract: Benjamini and Papasoglou (2011) showed that planar graphs with uniform polynomial volume growth admit $1$-dimensional annular separators: The vertices at graph distance $R$ from any vertex can be separated from those at distance $2R$ by removing at most $O(R)$ vertices. They asked whether geometric $d$-dimensional graphs with uniform polynomial volume growth similarly admit $(d-1)$-dimensional annular separators when $d > 2$. We show that this fails in a strong sense: For any $d \geq 3$ and every $s \geq 1$, there is a collection of interior-disjoint spheres in $\mathbb{R}^d$ whose tangency graph $G$ has uniform polynomial growth, but such that all annular separators in $G$ have cardinality at least $R^s$.


title: A Dynamical Mass Estimate from the Magellanic Stream

abstract: We present a model for the formation of the Magellanic Stream (MS) due to ram pressure stripping. We model the history of the Small and Large Magellanic Clouds in the recent cosmological past in a static Milky Way potential with diffuse halo gas, using observationally motivated orbits for the Magellanic Clouds derived from HST proper motions within the potential of the Milky Way. This model is able to reproduce the trailing arm but does not reproduce the leading arm feature, which is common for models of the stream formation that include ram pressure stripping effects. While our model does not outperform other models in terms of matching the observable quantities in the MS, it is close enough for our ultimate goal -- using the MS to estimate the MW mass. From analyzing our grid of models, we find that there is a direct correlation between the observed stream length in our simulations and the mass of the Milky Way. For the observed MS length, the inferred Milky Way mass is $1.5 \pm 0.32 \times 10^{12}$ $M_\odot$, which agrees closely with other independent measures of the Milky Way mass. We also discuss the MS in the context of HI streams in galaxy clusters, and find that the MS lies on the low-mass end of a continuum from Hickson groups to the Virgo cluster. As a tracer of the dynamical mass in the outer halo, the MS is a particularly valuable probe of the Milky Way's potential.


title: Energy-minimal Principles in Geometric Function Theory

abstract: We survey a number of recent developments in geometric analysis as they pertain to the calculus of variations and extremal problems in geometric function theory following the NZMRI lectures given by the first author at those workshops in Napier in 1998 and 2005.


title: Jet: Fast quantum circuit simulations with parallel task-based tensor-network contraction

abstract: We introduce a new open-source software library Jet, which uses task-based parallelism to obtain speed-ups in classical tensor-network simulations of quantum circuits. These speed-ups result from i) the increased parallelism introduced by mapping the tensor-network simulation to a task-based framework, ii) a novel method of reusing shared work between tensor-network contraction tasks, and iii) the concurrent contraction of tensor networks on all available hardware. We demonstrate the advantages of our method by benchmarking our code on several Sycamore-53 and Gaussian boson sampling (GBS) supremacy circuits against other simulators. We also provide and compare theoretical performance estimates for tensor-network simulations of Sycamore-53 and GBS supremacy circuits for the first time.


title: Limits of Detecting Extraterrestrial Civilizations

abstract: The search for extraterrestrial intelligence (SETI) is a scientific endeavor which struggles with unique issues -- a strong indeterminacy in what data to look for and when to do so. This has led to attempts at finding both fundamental limits of the communication between extraterrestrial intelligence and human civilizations, as well as benchmarks so as to predict what kinds of signals we might most expect. Previous work has been formulated in terms of the information-theoretic task of communication, but we instead argue it should be viewed as a detection problem, specifically one-shot (asymmetric) hypothesis testing. With this new interpretation, we develop fundamental limits as well as provide simple examples of how to use this framework to analyze and benchmark different possible signals from extraterrestrial civilizations. We show that electromagnetic signaling for detection requires much less power than for communication, that detection as a function of power can be non-linear, and that much of the analysis in this framework may be addressed using computationally efficient optimization problems, thereby demonstrating tools for further inquiry.

categories: cs.IT astro-ph.IM math.IT physics.pop-ph


title: Kleinian groups via strict hyperbolization

abstract: In this paper, we construct Kleinian groups $\Gamma<\mathrm{Isom}(\mathbb{H}^{2n})$ from the direct product of $n$ copies of the rank 2 free group $F_2$ via strict hyperbolization. We give a description of the limit set and its topological dimension. Such construction can be generalized to other right-angled Artin groups.


title: Microscopic dynamics of escaping groups through an exit and a corridor

abstract: This research explores the dynamics of emergency evacuations in the presence of social groups. The investigation was carried out in the context of the basic Social Force Model (SFM). We included attractive feelings between people belonging to the same social group, as proposed in Int. J. Mod. Phys. C 27(6),1-16. We focused on the escaping dynamics through an emergency exit and through a corridor. We confirmed the results appearing in Int. J. Mod. Phys. C 27(6),1-16 for a desired velocity of 4 m/s, but further extended the analysis on the emergency exit to the range 1-8 m/s. We noticed that the presence of groups worsens the evacuation performance. However, very strong feelings can improve the escaping time with respect to moderate feelings. We call this phenomenon "Closer-Is-Faster", in analogy to the "Faster-Is-Slower" effect. The presence of social groups also affects the dynamic within a corridor by introducing an additional slow-down in the moving crowd.


title: A plane wave method based on approximate wave directions for two dimensional Helmholtz equations with large wave numbers

abstract: In this paper we present and analyse a high accuracy method for computing wave directions defined in the geometrical optics ansatz of Helmholtz equation with variable wave number. Then we define an "adaptive" plane wave space with small dimensions, in which each plane wave basis function is determined by such an approximate wave direction. We establish a best $L^2$ approximation of the plane wave space for the analytic solutions of homogeneous Helmholtz equations with large wave numbers and report some numerical results to illustrate the efficiency of the proposed method.


title: Microrheology of colloidal suspensions via Dynamic Monte Carlo simulations

abstract: Understanding the rheology of colloidal suspensions is crucial in the formulation of a wide selection of industry-relevant products. To characterise the viscoelastic behaviour of these soft materials, one can analyse the microscopic dynamics of colloidal tracers diffusing through the host fluid and generating local deformations and stresses. This technique, referred to as microrheology, links the bulk rheology of fluids to the microscopic dynamics at the particle scale. If tracers are subjected to external forces, rather than freely diffusing, it is called active microrheology. Motivated by the impact of microrheology in providing information on local structure in complex systems such as colloidal glasses, active matter or biological systems, we have extended the dynamic Monte Carlo (DMC) technique to investigate active microrheology in colloids. The original DMC framework, able to accurately describe the Brownian dynamics of colloids at equilibrium, is here reconsidered and expanded to describe the effects of an external force pulling a tracer embedded in isotropic colloidal suspensions at different densities. To this end, we studied the dynamics of a spherical tracer dragged by a constant external force through a bath of spherical and rod-like particles of comparable size. We could extract valuable details on its effective friction coefficient, being constant at small and large values of the external force, but otherwise displaying a nonlinear behaviour that indicates the occurrence of a force-thinning regime. Our DMC simulation results are in excellent quantitative agreement with past Langevin dynamics simulations and theoretical works for the bath of spherical colloids. The bath of rod-like particles is studied in the isotropic phase, and displays an example where DMC is more convenient than Brownian or Langevin dynamics, in this case in dealing with particle rotation.


title: Shape-constrained reconstruction in diffuse optical tomography by simulated annealing

abstract: When the inverse problem of diffuse optical tomography (DOT) is solved with the Born or Rytov approximation, the size of the matrix of the linear inverse problem becomes large if the volume (or area) of the domain in biological tissue used for reconstruction is large. The number of unknown parameters in DOT is reduced when constraints about the shape of a target are imposed for the inverse problem. Due to such constraints, the inverse problem becomes nonlinear even when the (first) Born or Rytov approximation is employed. We solve this nonlinear inverse problem by the simulated annealing, which is not trapped by local minima of the cost function.


title: GWsim: a code to simulate gravitational waves propagating in a potential well

abstract: We present a code to simulate the propagation of GWs in a potential well in the time domain. Our code uses the finite element method (FEM) based on the publicly available code {\it deal.ii}. We test our code using a point source monochromatic spherical wave. We examine not only the waveform observed by a local observer but also the global energy conservation of the waves. We find that our numerical results agree with the analytical predictions very well. Based on our code, we study the propagation of the leading wavefront of GWs in a potential well. We find that our numerical results agree with the results obtained from tracing null geodesics very well. Based on our simulations, we also test the accuracy of the thin-lens model in predicting the positions of the wavefront. We find that the analytical formula of the Shapiro-time delay is only accurate in regimes that are far away from the center of the potential well. However, near the optic axis, the analytical formula shows significant differences from the simulated ones. Besides these results, we find that unlike the conventional images in geometric optics, GWs can not be sheltered by the scatterer due to wave effects. The signals of GWs can circle around the scatterer and travel along the optic axis until arrive at a distant observer, which is an important observational consequence in such a system.


title: Two-phase Optimization of Binary Sequences with Low Peak Sidelobe Level Value

abstract: The search for binary sequences with low peak sidelobe level value represents a formidable computational problem. To locate better sequences for this problem, we designed a stochastic algorithm that uses two fitness functions. In these fitness functions, the value of the autocorrelation function has a different impact on the final fitness value. It is defined with the value of the exponent over the autocorrelation function values. Each function is used in the corresponding optimization phase, and the optimization process switches between these two phases until the stopping condition is satisfied. The proposed algorithm was implemented using the compute unified device architecture and therefore allowed us to exploit the computational power of graphics processing units. This algorithm was tested on sequences with lengths $L = 2^m - 1$, for $14 \le m \le 20$. From the obtained results it is evident that the usage of two fitness functions improved the efficiency of the algorithm significantly, new-best known solutions were achieved, and the achieved PSL values were significantly less than $\sqrt{L}$.


title: Private Alternating Least Squares: Practical Private Matrix Completion with Tighter Rates

abstract: We study the problem of differentially private (DP) matrix completion under user-level privacy. We design a joint differentially private variant of the popular Alternating-Least-Squares (ALS) method that achieves: i) (nearly) optimal sample complexity for matrix completion (in terms of number of items, users), and ii) the best known privacy/utility trade-off both theoretically, as well as on benchmark data sets. In particular, we provide the first global convergence analysis of ALS with noise introduced to ensure DP, and show that, in comparison to the best known alternative (the Private Frank-Wolfe algorithm by Jain et al. (2018)), our error bounds scale significantly better with respect to the number of items and users, which is critical in practical problems. Extensive validation on standard benchmarks demonstrate that the algorithm, in combination with carefully designed sampling procedures, is significantly more accurate than existing techniques, thus promising to be the first practical DP embedding model.


title: Optimizing the order of actions in contact tracing

abstract: Contact tracing is a key tool for managing epidemic diseases like HIV, tuberculosis, and COVID-19. Manual investigations by human contact tracers remain a dominant way in which this is carried out. This process is limited by the number of contact tracers available, who are often overburdened during an outbreak or epidemic. As a result, a crucial decision in any contact tracing strategy is, given a set of contacts, which person should a tracer trace next? In this work, we develop a formal model that articulates these questions and provides a framework for comparing contact tracing strategies. Through analyzing our model, we give provably optimal prioritization policies via a clean connection to a tool from operations research called a "branching bandit". Examining these policies gives qualitative insight into trade-offs in contact tracing applications.


title: Using Undervolting as an On-Device Defense Against Adversarial Machine Learning Attacks

abstract: Deep neural network (DNN) classifiers are powerful tools that drive a broad spectrum of important applications, from image recognition to autonomous vehicles. Unfortunately, DNNs are known to be vulnerable to adversarial attacks that affect virtually all state-of-the-art models. These attacks make small imperceptible modifications to inputs that are sufficient to induce the DNNs to produce the wrong classification. In this paper we propose a novel, lightweight adversarial correction and/or detection mechanism for image classifiers that relies on undervolting (running a chip at a voltage that is slightly below its safe margin). We propose using controlled undervolting of the chip running the inference process in order to introduce a limited number of compute errors. We show that these errors disrupt the adversarial input in a way that can be used either to correct the classification or detect the input as adversarial. We evaluate the proposed solution in an FPGA design and through software simulation. We evaluate 10 attacks and show average detection rates of 77% and 90% on two popular DNNs.


title: Loschmidt echo approach to Krylov-subspace approximation error estimation

abstract: The Krylov subspace method is a standard approach to approximate quantum evolution, allowing to treat systems with large Hilbert spaces. Although its application is general, and suitable for many-body systems, estimation of the committed error is involved. This makes it difficult to automate its use. In this paper, we solve this problem by realizing that such error can be regarded as a Loschmidt echo in a tight-binding Hamiltonian. We show that the different time-regimes of the approximation can be understood using simple physical ideas. More importantly, we obtain computationally cheap error bounds that describe with high precision the actual error in the approximation.


title: On the Black Hole Acceleration in the C-metric Space-time

abstract: We consider the C-metric as a gravitational field configuration that describes an accelerating black hole in the presence of a semi-infinite cosmic string, along the accelerating direction. We adopt the expression for the gravitational energy-momentum developed in the teleparallel equivalent of general relativity (TEGR) and obtain a possible explanation for the acceleration of the black hole. The gravitational energy enclosed by surfaces of constant radius around the black hole is evaluated, and in particular the energy contained within the gravitational horizon is obtained. This energy turns out to be proportional to the square root of the area of the horizon. We find that the gravitational energy of the semi-infinite cosmic string is negative and dominant for large values of the radius of integration. This negative energy may explain the acceleration of the black hole, that moves towards regions of lower gravitational energy along the string.


title: Improved Reinforcement Learning in Cooperative Multi-agent Environments Using Knowledge Transfer

abstract: Nowadays, cooperative multi-agent systems are used to learn how to achieve goals in large-scale dynamic environments. However, learning in these environments is challenging: from the effect of search space size on learning time to inefficient cooperation among agents. Moreover, reinforcement learning algorithms may suffer from a long time of convergence in such environments. In this paper, a communication framework is introduced. In the proposed communication framework, agents learn to cooperate effectively and also by introduction of a new state calculation method the size of state space will decline considerably. Furthermore, a knowledge-transferring algorithm is presented to share the gained experiences among the different agents, and develop an effective knowledge-fusing mechanism to fuse the knowledge learnt utilizing the agents' own experiences with the knowledge received from other team members. Finally, the simulation results are provided to indicate the efficacy of the proposed method in the complex learning task. We have evaluated our approach on the shepherding problem and the results show that the learning process accelerates by making use of the knowledge transferring mechanism and the size of state space has declined by generating similar states based on state abstraction concept.


title: Enhanced Thermal Transport across the Interface between Charged Graphene Electrodes and Poly(ethylene oxide) Electrolytes by Non-covalent Functionalization

abstract: Interfacial thermal transport between electrodes and polymer electrolytes can play a crucial role in the thermal management of solid-state lithium-ion batteries (SLIBs). Modifying the electrode surface with functional molecules can effectively increase the interfacial thermal conductance (ITC) between electrodes and polymers (e.g., electrolytes, separators); however, how they influence the interfacial thermal transport in SLIBs during charge/discharge remains unknown. In this work, we conduct molecular dynamics (MD) simulations to investigate the ITC between charged electrodes and solid-state polymer electrolytes (SPEs) mixed with ionic liquids (ILs). We find that ILs could self assemble at the electrode surface and act as non-covalent functional molecules that could significantly enhance the interfacial thermal transport during charge/discharge because of the formation of a densely packed cationic or anionic layer at the interface. While the electrostatic interactions between the charged electrode and the IL ions are responsible for forming these dense interfacial layers, the enhancement of ITC is mainly contributed by the increased Lennard-Jones (LJ) interactions between the charged electrodes and ILs. This work may provide useful insights into the understanding of interfacial thermal transport between electrodes and electrolytes of SLIBs during charge/discharge.


title: Simulating quantum chaos on a quantum computer

abstract: We show that currently available noisy intermediate-scale quantum (NISQ) computers can be used for versatile quantum simulations of chaotic systems. We introduce a novel classical-quantum hybrid approachfor exploring the dynamics of the chaotic quantum kicked top (QKT) on a universal quantum computer. The programmability of this approach allows us to experimentally explore the complete range of QKT chaoticity parameter regimes inaccessible to previous studies. Furthermore, the number of gates in our simulation does not increase with the number of kicks, thus making it possible to study the QKT evolution for arbitrary number of kicks without fidelity loss. Using a publicly accessible NISQ computer (IBMQ), we observe periodicities in the evolution of the 2-qubit QKT, as well as signatures of chaos in the time-averaged 2-qubit entanglement. We also demonstrate a connection between entanglement and delocalization in the 2-qubit QKT, confirming theoretical predictions.


title: A Stochastic Version of the EM Algorithm for Mixture Cure Rate Model with Exponentiated Weibull Family of Lifetimes

abstract: Handling missing values plays an important role in the analysis of survival data, especially, the ones marked by cure fraction. In this paper, we discuss the properties and implementation of stochastic approximations to the expectation-maximization (EM) algorithm to obtain maximum likelihood (ML) type estimates in situations where missing data arise naturally due to right censoring and a proportion of individuals are immune to the event of interest. A flexible family of three parameter exponentiated-Weibull (EW) distributions is assumed to characterize lifetimes of the non-immune individuals as it accommodates both monotone (increasing and decreasing) and non-monotone (unimodal and bathtub) hazard functions. To evaluate the performance of the SEM algorithm, an extensive simulation study is carried out under various parameter settings. Using likelihood ratio test we also carry out model discrimination within the EW family of distributions. Furthermore, we study the robustness of the SEM algorithm with respect to outliers and algorithm starting values. Few scenarios where stochastic EM (SEM) algorithm outperforms the well-studied EM algorithm are also examined in the given context. For further demonstration, a real survival data on cutaneous melanoma is analyzed using the proposed cure rate model with EW lifetime distribution and the proposed estimation technique. Through this data, we illustrate the applicability of the likelihood ratio test towards rejecting several well-known lifetime distributions that are nested within the wider class of EW distributions.


title: Searches for and Characterization of Astrophysical Neutrinos using Starting Track Events in IceCube

abstract: The IceCube Neutrino Observatory is a cubic kilometer-sized detector designed to detect neutrinos of astrophysical origin. However, muons created by cosmic rays interacting in the atmosphere pose a significant background for these astrophysical neutrinos particularly in the southern equatorial sky. Identifying neutrino events that start in the detector allows us to reduce the atmospheric muon component while retaining a high rate of starting neutrino events. The method presented today also rejects atmospheric neutrinos if they are accompanied by muons from the same cosmic ray shower, lowering the 50$\%$ purity threshold for astrophysical-to-atmospheric neutrinos from 100 TeV to ~10 TeV at declinations less than -25{\deg}. We use 10$\%$ (burn sample) of 9.5 years IceCube data to demonstrate the status of this dataset. We outline a planned measurement of the diffuse neutrino flux inclusive of theoretical and detector systematic uncertainties. In addition, we discuss searches for neutrino point sources and diffuse galactic plane neutrino emission in the Southern sky and plans to release high astrophysical-purity real-time alerts to the multi-messenger community.


title: Improving the Power to Detect Indirect Effects in Mediation Analysis

abstract: Causal mediation analysis seeks to determine whether an independent variable affects a response variable directly or whether it does so indirectly, by way of a mediator. The existing statistical tests to determine the existence of an indirect effect are overly conservative or have inflated type I error. In this article, we propose two methods based on the principle of intersection-union tests that offer improvements in power while controlling the type I error. We demonstrate the advantages of the proposed methods through extensive simulation. Finally, we provide an application to a large proteomic study.


title: Valuative trees over valued fields

abstract: For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrow\Lambda$ of ordered groups, we analyze the structure of the tree formed by all $\Lambda$-valued extensions of $v$ to the polynomial ring $K[x]$. As an application, we find a model for the tree of all equivalence classes of valuations on $K[x]$ (without fixing their value group), whose restriction to $K$ is equivalent to $v$. In the henselian case, we apply these results to show that there is a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced valuations $v_F$ on $K[x]$, encoded by their MacLane-Vaqui\'e chains. This parallelism was only known for defectless irreducible polynomials.


title: Manifold learning-based polynomial chaos expansions for high-dimensional surrogate models

abstract: In this work we introduce a manifold learning-based method for uncertainty quantification (UQ) in systems describing complex spatiotemporal processes. Our first objective is to identify the embedding of a set of high-dimensional data representing quantities of interest of the computational or analytical model. For this purpose, we employ Grassmannian diffusion maps, a two-step nonlinear dimension reduction technique which allows us to reduce the dimensionality of the data and identify meaningful geometric descriptions in a parsimonious and inexpensive manner. Polynomial chaos expansion is then used to construct a mapping between the stochastic input parameters and the diffusion coordinates of the reduced space. An adaptive clustering technique is proposed to identify an optimal number of clusters of points in the latent space. The similarity of points allows us to construct a number of geometric harmonic emulators which are finally utilized as a set of inexpensive pre-trained models to perform an inverse map of realizations of latent features to the ambient space and thus perform accurate out-of-sample predictions. Thus, the proposed method acts as an encoder-decoder system which is able to automatically handle very high-dimensional data while simultaneously operating successfully in the small-data regime. The method is demonstrated on two benchmark problems and on a system of advection-diffusion-reaction equations which model a first-order chemical reaction between two species. In all test cases, the proposed method is able to achieve highly accurate approximations which ultimately lead to the significant acceleration of UQ tasks.


title: A Factor Graph-based approach to vehicle sideslip angle estimation

abstract: Sideslip angle is an important variable for understanding and monitoring vehicle dynamics but it lacks an inexpensive method for direct measurement. Therefore, it is typically estimated from inertial and other proprioceptive sensors onboard using filtering methods from the family of the Kalman Filter. As a novel alternative, this work proposes modelling the problem directly as a graphical model (factor graph), which can then be optimized using a variety of methods, such as whole dataset batch optimization for offline processing or fixed-lag smoother for on-line operation. Experimental results on real vehicle datasets validate the proposal with a good agreement between estimated and actual sideslip angle, showing similar performance than the state-of-the-art with a great potential for future extensions due to the flexible mathematical framework.


title: Coupled embeddability

abstract: We introduce the notion of coupled embeddability, defined for maps on products of topological spaces. We use known results for nonsingular biskew and bilinear maps to generate simple examples and nonexamples of coupled embeddings. We study genericity properties for coupled embeddings of smooth manifolds, extend the Whitney embedding theorems to statements about coupled embeddability, and we discuss a Haefliger-type result for coupled embeddings. We relate the notion of coupled embeddability to the $\mathbb{Z}/2$-coindex of embedding spaces, recently introduced and studied by the authors. With a straightforward generalization of these results, we obtain strong obstructions to the existence of coupled embeddings in terms of the combinatorics of triangulations. In particular, we generalize nonembeddability results for certain simplicial complexes to sharp coupled nonembeddability results for certain pairs of simplicial complexes.


title: Audio Captioning Transformer

abstract: Audio captioning aims to automatically generate a natural language description of an audio clip. Most captioning models follow an encoder-decoder architecture, where the decoder predicts words based on the audio features extracted by the encoder. Convolutional neural networks (CNNs) and recurrent neural networks (RNNs) are often used as the audio encoder. However, CNNs can be limited in modelling temporal relationships among the time frames in an audio signal, while RNNs can be limited in modelling the long-range dependencies among the time frames. In this paper, we propose an Audio Captioning Transformer (ACT), which is a full Transformer network based on an encoder-decoder architecture and is totally convolution-free. The proposed method has a better ability to model the global information within an audio signal as well as capture temporal relationships between audio events. We evaluate our model on AudioCaps, which is the largest audio captioning dataset publicly available. Our model shows competitive performance compared to other state-of-the-art approaches.


title: Approximate theories for binary magnetic quantum droplets

abstract: We develop two approximate theories to describe the miscible and immiscible droplets that can occur in a binary mixture of highly magnetic bosonic atoms. In addition to allowing simpler calculations, the approximate theories provide insight into the role of quantum fluctuations in the two regimes. Results are validated by comparison to those from the extended Gross-Pitaevskii equation. As an application we solve for the ground state droplets crossing the miscible-immiscible transition as function of the short-ranged interspecies interaction parameter. We consider regimes where the transition occurs suddenly or as a smooth cross-over. Using dynamical calculations we show that the character of the transition is revealed in the number of domains produced when ramping the droplet into the immiscible regime.


title: Essential Commutants on Strongly Pseudo-convex Domains

abstract: Consider a bounded strongly pseudo-convex domain $\Omega $ with a smooth boundary in $\mathbb{C}^n$. Let $\mathcal{T}$ be the Toeplitz algebra on the Bergman space $L^2_a(\Omega )$. That is, $\mathcal{T}$ is the $C^\ast $-algebra generated by the Toeplitz operators $\{T_f : f \in L^\infty (\Omega )\}$. Extending previous work in the special case of the unit ball, we show that on any such $\Omega $, $\mathcal{T}$ and $\{T_f : f \in {\text{VO}}_{\text{bdd}}\} + \mathcal{K}$ are essential commutants of each other. On a general $\Omega $ considered in this paper, the proofs require many new ideas and techniques. These same techniques also enable us to show that for $A \in \mathcal{T}$, if $\langle Ak_z,k_z\rangle \rightarrow 0$ as $z \rightarrow \partial \Omega $, then $A$ is a compact operator.


title: CEPC Research Report: Higgs Physics Analysis

abstract: In November 2018, the CEPC released the Conceptual Design Report (CDR) with the physics potential investigation and the analysis about different detector concepts. Since then, intensive researches on the Higgs Physics at the CEPC have been progressed. The run at top thresholds are also taken into consideration and the physics potential around the center-of-mass energy of 360GeV is studied. The $ttH$ channel information boost the precision of Higgs width measurement by a factor of 2 with respect to 240 GeV Higgs Runs. Different Higgs decay modes are analyzed in the CEPC Higgs factory at the center-of-mass energy of 240GeV, including Higgs to b/c/g and Higgs to $\tau\tau$, which improves the Higgs measurement. Advanced analysis technologies are developed and applied in the analysis, such as jet reconstruction and lepton identification in jets. New interpretations are under developing to improve the performance.


title: Separating Colored Points with Minimum Number of Rectangles

abstract: In this paper we study the following problem: Given $k$ disjoint sets of points, $P_1, \ldots, P_k$ on the plane, find a minimum cardinality set $\mathcal{T}$ of arbitrary rectangles such that each rectangle contains points of just one set $P_i$ but not the others. We prove the NP-hardness of this problem.


title: Bayesian Controller Fusion: Leveraging Control Priors in Deep Reinforcement Learning for Robotics

abstract: We present Bayesian Controller Fusion (BCF): a hybrid control strategy that combines the strengths of traditional hand-crafted controllers and model-free deep reinforcement learning (RL). BCF thrives in the robotics domain, where reliable but suboptimal control priors exist for many tasks, but RL from scratch remains unsafe and data-inefficient. By fusing uncertainty-aware distributional outputs from each system, BCF arbitrates control between them, exploiting their respective strengths. We study BCF on two real-world robotics tasks involving navigation in a vast and long-horizon environment, and a complex reaching task that involves manipulability maximisation. For both these domains, simple handcrafted controllers exist that can solve the task at hand in a risk-averse manner but do not necessarily exhibit the optimal solution given limitations in analytical modelling, controller miscalibration and task variation. As exploration is naturally guided by the prior in the early stages of training, BCF accelerates learning, while substantially improving beyond the performance of the control prior, as the policy gains more experience. More importantly, given the risk-aversity of the control prior, BCF ensures safe exploration and deployment, where the control prior naturally dominates the action distribution in states unknown to the policy. We additionally show BCF's applicability to the zero-shot sim-to-real setting and its ability to deal with out-of-distribution states in the real world. BCF is a promising approach towards combining the complementary strengths of deep RL and traditional robotic control, surpassing what either can achieve independently. The code and supplementary video material are made publicly available at https://krishanrana.github.io/bcf.


title: In-flight distribution of an electron within a surface acoustic wave

abstract: Surface acoustic waves (SAW) have large potential to realize quantum-optics-like experiments with single flying electrons employing their spin or charge degree of freedom. For such quantum applications, highly efficient trapping of the electron in a specific moving quantum dot (QD) of a SAW train plays a key role. Probabilistic transport over multiple moving minima would cause uncertainty in synchronisation that is detrimental for coherence of entangled flying electrons and in-flight quantum operations. It is thus of central importance to identify the device parameters enabling electron transport within a single SAW minimum. A detailed experimental investigation of this aspect is so far missing. Here we fill this gap by demonstrating time-of-flight measurements for a single electron that is transported via a SAW train between distant stationary QDs. Our measurements reveal the in-flight distribution of the electron within the moving acousto-electric quantum dots of the SAW train. Increasing the acousto-electric amplitude, we observe the threshold necessary to confine the flying electron at a specific, deliberately chosen SAW minimum. Investigating the effect of a barrier along the transport channel, we also benchmark the robustness of SAW-driven electron transport against stationary potential variations. Our results pave the way for highly controlled transport of electron qubits in a SAW-driven platform for quantum experiments.


title: Complex Jacobi matrices generated by Darboux transformations

abstract: In this paper, we study complex Jacobi matrices obtained by the Christoffel and Geronimus transformations at a nonreal complex number, including the properties of the corresponding sequences of orthogonal polynomials. We also present some invariant and semi-invariant properties of Jacobi matrices under such transformations. For instance, we show that a Nevai class is invariant under the transformations in question, which is not true in general, and that the ratio asymptotic still holds outside the spectrum of the corresponding symmetric complex Jacobi matrix but the spectrum could include one extra point. In principal, these transformations can be iterated and, for example, we demonstrate how Geronimus transformations can lead to $R_{II}$-recurrence relations, which in turn are related to orthogonal rational functions and pencils of Jacobi matrices.


title: Regularity theory for mixed local and nonlocal parabolic p-Laplace equations

abstract: We investigate the mixed local and nonlocal parabolic $p$-Laplace equation \begin{align*} \partial_t u(x,t)-\Delta_p u(x,t)+\mathcal{L}u(x,t)=0, \end{align*} where $\Delta_p$ is the local $p$-Laplace operator and $\mathcal{L}$ is the nonlocal $p$-Laplace operator. Based on the combination of suitable Caccioppoli-type inequality and Logarithmic Lemma with a De Giorgi-Nash-Moser iteration, we establish the local boundedness and H\"{o}lder continuity of weak solutions for such equations.


title: The Cauchy problem for the energy-critical inhomogeneous nonlinear Schr\"{o}dinger equation with inverse-square potential

abstract: In this paper, we study the Cauchy problem for the energy-critical inhomogeneous nonlinear Schr\"{o}dinger equation with inverse-square potential \[iu_{t} +\Delta u-c|x|^{-2}u=\lambda|x|^{-b} |u|^{\sigma } u,\; u(0)=u_{0} \in H^{1},\;(t,x)\in \mathbb R\times\mathbb R^{d},\] where $d\ge3$, $\lambda=\pm1$, $0<b<2$, $\sigma=\frac{4-2b}{d-2}$ and $c>-c(d):=-\left(\frac{d-2}{2}\right)^{2}$. We first prove the local well-posedness as well as small data global well-posedness and scattering in $H^{1}$ for $c>-\frac{(d+2-2b)^{2}-4}{(d+2-2b)^{2}}c(d)$ and $0<b<\frac{4}{d}$, by using the contraction mapping principle based on the Strichartz estimates. Based on the local well-posedness result, we then establish the blowup criteria for solutions to the equation in the focusing case $\lambda=-1$. To this end, we derive the sharp Hardy-Sobolev inequality and virial estimates related to this equation.


title: Interaction of Acoustic and Quasi-Elastic Modes in Liquid Water on Nanometer Length Scales

abstract: We investigate the presence of an acoustic-quasi-elastic interaction contribution in the IXS spectra of liquid water at 301K using inelastic x-ray scattering with sub-meV energy resolution at momentum transfers 0.77<=Q<=4.20 /nm. The contribution appears due to the overlap the acoustic mode with the tail the quasi-elastic mode and is fully consistent with hydrodynamic theory. Incorporating this interaction allows us to describe the dynamic structure factor, S(Q,w), without introducing an extra mode, and may help explain earlier contradictory interpretations. The sound velocity, and relative intensity of the quasi-elastic and acoustic mode, plateau for Q>2/nm at values consistent with a viscoelastic generalization of the Landau-Placzek relation.


title: The density of states depends on the domain

abstract: In this short note we demonstrate that the definition of the density of states of a Schr\"{o}dinger operator with bounded potential in general depends on the choice of the domain undergoing the thermodynamic limit.


title: Gamma mixed fractional L\'evy Ornstein-Uhlenbeck process

abstract: In this article, we introduce a non Gaussian long memory process constructed by the aggregation of independent copies of a fractional L\'evy Ornstein-Uhlenbeck process with random coefficients. Several properties and a limit theorem are studied for this new process. Finally, some simulations of the limit process are shown.


title: On the Modulus in Matching Vector Codes

abstract: A $k$-query locally decodable code (LDC) $C$ allows one to encode any $n$-symbol message $x$ as a codeword $C(x)$ of $N$ symbols such that each symbol of $x$ can be recovered by looking at $k$ symbols of $C(x)$, even if a constant fraction of $C(x)$ have been corrupted. Currently, the best known LDCs are matching vector codes (MVCs). A modulus $m=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_r^{\alpha_r}$ may result in an MVC with $k\leq 2^r$ and $N=\exp(\exp(O((\log n)^{1-1/r} (\log\log n)^{1/r})))$. The $m$ is {\em good} if it is possible to have $k<2^r$. The good numbers yield more efficient MVCs. Prior to this work, there are only {\em finitely many} good numbers. All of them were obtained via computer search and have the form $m=p_1p_2$. In this paper, we study good numbers of the form $m=p_1^{\alpha_1}p_2^{\alpha_2}$. We show that if $m=p_1^{\alpha_1}p_2^{\alpha_2}$ is good, then any multiple of $m$ of the form $p_1^{\beta_1}p_2^{\beta_2}$ must be good as well. Given a good number $m=p_1^{\alpha_1}p_2^{\alpha_2}$, we show an explicit method of obtaining smaller good numbers that have the same prime divisors. Our approach yields {\em infinitely many} new good numbers.


title: Compact Q-balls and Q-shells in a multi-component $\mathbb{C}P^N$ model

abstract: Coupled multi-component $\mathbb{C}P^N$ models with V-shaped potentials are analyzed. It is shown that the model has solutions being combinations of compact Q-balls and Q-shells. The compact nature of solutions permits the existence of novel harbor-type solutions having the form of Q-balls sheltered by Q-shells. The relation between the energy $E$ and Noether charge $Q$ is discussed both analytically and numerically. The energy of the solutions behaves as $E\sim |Q|^\alpha,~\alpha<1$, i.e., as for the standard Q-ball. Furthermore, the ratio $E/Q$ for various configurations in the multi-component model suggests that the solutions are at least classically stable.


title: Donoghue $m$-functions for singular Sturm--Liouville operators

abstract: Let $\dot A$ be a densely defined, closed, symmetric operator in the complex, separable Hilbert space $\mathcal{H}$ with equal deficiency indices and denote by $\mathcal{N}_i = \ker \big(\big(\dot A\big)^* - i I_{\mathcal{H}}\big)$, $\dim \, (\mathcal{N}_i)=k\in \mathbb{N} \cup \{\infty\}$, the associated deficiency subspace of $\dot A$ . If $A$ denotes a self-adjoint extension of $\dot A$ in $\mathcal{H}$, the Donoghue $m$-operator $M_{A,\mathcal{N}_i}^{Do} (\, \cdot \,)$ in $\mathcal{N}_i$ associated with the pair $(A,\mathcal{N}_i)$ is given by \[ M_{A,\mathcal{N}_i}^{Do}(z)=zI_{\mathcal{N}_i} + (z^2+1) P_{\mathcal{N}_i} (A - z I_{\mathcal{H}})^{-1} P_{\mathcal{N}_i} \big\vert_{\mathcal{N}_i}\,, \quad z\in \mathbb{C} \backslash \mathbb{R}, \] with $I_{\mathcal{N}_i}$ the identity operator in $\mathcal{N}_i$, and $P_{\mathcal{N}_i}$ the orthogonal projection in $\mathcal{H}$ onto $\mathcal{N}_i$. Assuming the standard local integrability hypotheses on the coefficients $p, q,r$, we study all self-adjoint realizations corresponding to the differential expression \[ \tau=\frac{1}{r(x)}\left[-\frac{d}{dx}p(x)\frac{d}{dx} + q(x)\right] \, \text{ for a.e. $x\in(a,b) \subseteq \mathbb{R}$,} \] in $L^2((a,b); rdx)$, and, as the principal aim of this paper, systematically construct the associated Donoghue $m$-functions (resp., $2 \times 2$ matrices) in all cases where $\tau$ is in the limit circle case at least at one interval endpoint $a$ or $b$.


title: Leaking Secrets through Modern Branch Predictor in the Speculative World

abstract: Transient execution attacks that exploit speculation have raised significant concerns in computer systems. Typically, branch predictors are leveraged to trigger mis-speculation in transient execution attacks. In this work, we demonstrate a new class of speculation-based attack that targets branch prediction unit (BPU). We find that speculative resolution of conditional branches (i.e., in nested speculation) alter the states of pattern history table (PHT) in modern processors, which are not restored after the corresponding branches are later squashed. Such characteristic allows attackers to exploit BPU as the secret transmitting medium in transient execution attacks. To evaluate the discovered vulnerability, we build a novel attack framework, BranchSpectre, that enables exfiltration of unintended secrets through observing speculative PHT updates (in the form of covert and side channels). We further investigate PHT collision mechanism in the history-based predictor as well as the branch prediction mode transitions in Intel processors. Built upon such knowledge, we implement an ultra high-speed covert channel (BranchSpectre-cc) as well as two side channels (i.e., BranchSpectre-v1 and BranchSpectre-v2) that merely rely on BPU for mis-speculation trigger and secret inference in the speculative domain. Notably, BranchSpectre side channels can take advantage of much simpler code patterns than the ones used in Spectre attacks. We present an extensive BranchSpectre code gadget analysis on a set of popular real-world application code bases followed by a demonstration of real-world side channel attack on OpenSSL. The evaluation results show substantial wider existence and higher exploitability of BranchSpectre code patterns in real-world software. Finally, we discuss several secure branch prediction mechanisms that can mitigate transient execution attacks exploiting modern branch predictors.


title: Communication lower bounds for nested bilinear algorithms via rank expansion of Kronecker products

abstract: We develop lower bounds on communication in the memory hierarchy or between processors for nested bilinear algorithms, such as Strassen's algorithm for matrix multiplication. We build on a previous framework that establishes communication lower bounds by use of the rank expansion, or the minimum rank of any fixed size subset of columns of a matrix, for each of the three matrices encoding a bilinear algorithm. This framework provides lower bounds for a class of dependency directed acyclic graphs (DAGs) corresponding to the execution of a given bilinear algorithm, in contrast to other approaches that yield bounds for specific DAGs. However, our lower bounds only apply to executions that do not compute the same DAG node multiple times. Two bilinear algorithms can be nested by taking Kronecker products between their encoding matrices. Our main result is a lower bound on the rank expansion of a matrix constructed by a Kronecker product derived from lower bounds on the rank expansion of the Kronecker product's operands. We apply the rank expansion lower bounds to obtain novel communication lower bounds for nested Toom-Cook convolution, Strassen's algorithm, and fast algorithms for contraction of partially symmetric tensors.


title: Future Physics Prospects with the CMS Detector at the High-Luminosity LHC

abstract: The High-Luminosity Large Hadron Collider is expected to deliver up to 3000 fb$^{-1}$ of proton-proton collisions at 14 TeV center-of-mass energy. We present prospects for selected heavy-ion, Standard Model and Higgs sector measurements with the CMS detector at the HL-LHC, and discuss potential sensitivity to several beyond-Standard Model new physics scenarios.


title: Bidirectional Approximate Message Passing for RIS-Assisted Multi-User MISO Communications

abstract: Reconfigurable intelligent surfaces (RISs) have been recently considered as a promising candidate for energy-efficient solutions in future wireless networks. Their dynamic and lowpower configuration enables coverage extension, massive connectivity, and low-latency communications. Due to a large number of unknown variables referring to the RIS unit elements and the transmitted signals, channel estimation and signal recovery in RIS-based systems are the ones of the most critical technical challenges. To address this problem, we focus on the RIS-assisted multi-user wireless communication system and present a joint channel estimation and signal recovery algorithm in this paper. Specifically, we propose a bidirectional approximate message passing algorithm that applies the Taylor series expansion and Gaussian approximation to simplify the sum-product algorithm in the formulated problem. Our simulation results show that the proposed algorithm shows the superiority over a state-of-art benchmark method. We also provide insights on the impact of different RIS parameter settings on the proposed algorithms.


title: Tidal love number of neutron stars with conformal coupling

abstract: In this present work, we suggest studying neutron star with a conformal coupling by using the analytical expressions of realistic equations of state. The equations of perturbed and nonperturbed metrics, scalar field and the pressure of the matter are derived in order to observe the effects of the conformal coupling on the mass, radius and tidal love number of polar and axial types. The numerical and the analytical analysis show a different comportment of our model from GR by varying the value of the parameters in the model. We showed also for a particular case that the scalar field becomes vanished outside the star which will give us the opportunity to investigate the behaviour tidal love number of our model. Finally, a comparison between the results of our model and the outcome from the signal of gravitational waves, coming from the fusion of binary neutron star, was performed using the universal relations $C$-$\Lambda$.


title: On the extension of the FKG inequality to $n$ functions

abstract: The 1971 Fortuin-Kasteleyn-Ginibre (FKG) inequality for two monotone functions on a distributive lattice is well known and has seen many applications in statistical mechanics and other fields of mathematics. In 2008 one of us (Sahi) conjectured an extended version of this inequality for all $n>2$ monotone functions on a distributive lattice. Here we prove the conjecture for two special cases: for monotone functions on the unit square in ${\mathbb R}^k$ whose upper level sets are $k$-dimensional rectangles, and, more significantly, for arbitrary monotone functions on the unit square in ${\mathbb R}^2$. The general case for ${\mathbb R}^k, k>2$ remains open.


title: Visualizing quantum phase transitions in the XXZ model via the quantum steering ellipsoid

abstract: The past two decades have witnessed a surge of interest in borrowing tools from quantum information theory to investigate quantum phase transitions (QPTs). The best known examples are entanglement measures whose nonanalyticities at critical points were tied to QPTs in a plethora of physical models. Here, focusing on the XXZ model, we show how QPTs can be revealed through the quantum steering ellipsoid (QSE), which is a geometric tool capable of characterizing both the strength and type of quantum correlations between two subsystems of a compound system. We find that the QSE associated with the XXZ model changes in shape with the QPTs, that is, it is a needle in the ferromagnetic phase, an oblate spheroid in the gapless phase, and a prolate spheroid in the antiferromagnetic phase. This finding offers an example demonstrating the intriguing possibility of unveiling QPTs in a geometrically visible fashion. Some connections between our results and previous ones are discussed.


title: Soft Layer Selection with Meta-Learning for Zero-Shot Cross-Lingual Transfer

abstract: Multilingual pre-trained contextual embedding models (Devlin et al., 2019) have achieved impressive performance on zero-shot cross-lingual transfer tasks. Finding the most effective fine-tuning strategy to fine-tune these models on high-resource languages so that it transfers well to the zero-shot languages is a non-trivial task. In this paper, we propose a novel meta-optimizer to soft-select which layers of the pre-trained model to freeze during fine-tuning. We train the meta-optimizer by simulating the zero-shot transfer scenario. Results on cross-lingual natural language inference show that our approach improves over the simple fine-tuning baseline and X-MAML (Nooralahzadeh et al., 2020).


title: A High Spatial Resolution Muon Tomography Prototype System based on Micromegas Detector

abstract: Cosmic ray muon has strong penetrating power and no ionizing radiation hazards, which makes it an ideal probe for detecting special nuclear materials. In this paper, a high spatial resolution muon tomography system based on Micromegas detectors is proposed to optimize the imaging time and quality. The proposed system includes eight Micromegas detectors based on the thermal bonding technique and a scalable readout system. In addition, a multiplexing method based on position encoding is developed to reduce the number of electronics channels by order of magnitude. The spatial resolution of the proposed system with encoding readout can reach a value of hundred micrometers. Finally, a tomography test is performed, and test results show that this proposed system can image 2-cm objects and distinguish different materials.


title: Modality-aware Mutual Learning for Multi-modal Medical Image Segmentation

abstract: Liver cancer is one of the most common cancers worldwide. Due to inconspicuous texture changes of liver tumor, contrast-enhanced computed tomography (CT) imaging is effective for the diagnosis of liver cancer. In this paper, we focus on improving automated liver tumor segmentation by integrating multi-modal CT images. To this end, we propose a novel mutual learning (ML) strategy for effective and robust multi-modal liver tumor segmentation. Different from existing multi-modal methods that fuse information from different modalities by a single model, with ML, an ensemble of modality-specific models learn collaboratively and teach each other to distill both the characteristics and the commonality between high-level representations of different modalities. The proposed ML not only enables the superiority for multi-modal learning but can also handle missing modalities by transferring knowledge from existing modalities to missing ones. Additionally, we present a modality-aware (MA) module, where the modality-specific models are interconnected and calibrated with attention weights for adaptive information exchange. The proposed modality-aware mutual learning (MAML) method achieves promising results for liver tumor segmentation on a large-scale clinical dataset. Moreover, we show the efficacy and robustness of MAML for handling missing modalities on both the liver tumor and public brain tumor (BRATS 2018) datasets. Our code is available at https://github.com/YaoZhang93/MAML.


title: TumorCP: A Simple but Effective Object-Level Data Augmentation for Tumor Segmentation

abstract: Deep learning models are notoriously data-hungry. Thus, there is an urging need for data-efficient techniques in medical image analysis, where well-annotated data are costly and time consuming to collect. Motivated by the recently revived "Copy-Paste" augmentation, we propose TumorCP, a simple but effective object-level data augmentation method tailored for tumor segmentation. TumorCP is online and stochastic, providing unlimited augmentation possibilities for tumors' subjects, locations, appearances, as well as morphologies. Experiments on kidney tumor segmentation task demonstrate that TumorCP surpasses the strong baseline by a remarkable margin of 7.12% on tumor Dice. Moreover, together with image-level data augmentation, it beats the current state-of-the-art by 2.32% on tumor Dice. Comprehensive ablation studies are performed to validate the effectiveness of TumorCP. Meanwhile, we show that TumorCP can lead to striking improvements in extremely low-data regimes. Evaluated with only 10% labeled data, TumorCP significantly boosts tumor Dice by 21.87%. To the best of our knowledge, this is the very first work exploring and extending the "Copy-Paste" design in medical imaging domain. Code is available at: https://github.com/YaoZhang93/TumorCP.


title: Historic and physical wandering domains for wild blender-horseshoes

abstract: We present diffeomorphisms of wild blender-horseshoes which belong to $C^r$ $(1\leq r<\infty)$ closures of two types of diffeomorphisms, one of which has a historic contracting wandering domain, and the other has a non-trivial Dirac physical measure supported by saddle periodic orbit. It is a non-trivial extension of Colli-Vargas' model [CV01] to the higher dimensional dynamics with the use of wild blender-horseshoes.


title: Powder reuse cycles in electron beam powder bed fusion : Variation of powder characteristics

abstract: A path to lowering the economic barrier associated with the high cost of metal additively manufactured components is to reduce the waste via powder reuse (powder cycled back into the process) and recycling (powder chemically, physically, or thermally processed to recover the original properties) strategies. In electron beam powder bed fusion, there is a possibility of reusing 95 - 98% of the powder that is not melted. However, there is a lack of systematic studies focusing on quantifying the variation of powder properties induced by number of reuse cycles. This work compares the influence of multiple reuse cycles, as well as powder blends created from reused powder, on various powder characteristics such as the morphology, size distribution, flow properties, packing properties and chemical composition (oxygen and nitrogen content). It was found that there is an increase in measured response in powder size distribution, tapped density, Hausner ratio, Carr index, basic flow energy and specific energy, dynamic angle of repose, oxygen, and nitrogen content, while the bulk density remained largely unchanged.


title: Guided Generation of Cause and Effect

abstract: We present a conditional text generation framework that posits sentential expressions of possible causes and effects. This framework depends on two novel resources we develop in the course of this work: a very large-scale collection of English sentences expressing causal patterns CausalBank; and a refinement over previous work on constructing large lexical causal knowledge graphs Cause Effect Graph. Further, we extend prior work in lexically-constrained decoding to support disjunctive positive constraints. Human assessment confirms that our approach gives high-quality and diverse outputs. Finally, we use CausalBank to perform continued training of an encoder supporting a recent state-of-the-art model for causal reasoning, leading to a 3-point improvement on the COPA challenge set, with no change in model architecture.