title: Discerning between different 'Oumuamua models by optical and infrared observations

abstract: The first interstellar object to be observed in our solar system 1I/2017 U1 'Oumuamua combines the lack of observable cometary activity with an extra-gravitational acceleration. This has given rise to several mutually exclusive explanations based on different assumptions in the material composition of 'Oumuamua. We show how a combination of observations in the infrared and optical spectra may serve to distinguish between these explanations once another object with 'Omuamua-like properties comes close enough to earth. This possibility is linked to the widely different thermal properties of the different material models that have been proposed. Developing a model for the thermal conduction and infrared signal from a fractal model we compare predictions of the infrared signal with that from standard thermal models that assume 'Oumuamua to be either a solid piece of rock/ice or a thin sheet.


title: ML4CO-KIDA: Knowledge Inheritance in Dataset Aggregation

abstract: The Machine Learning for Combinatorial Optimization (ML4CO) NeurIPS 2021 competition aims to improve state-of-the-art combinatorial optimization solvers by replacing key heuristic components with machine learning models. On the dual task, we design models to make branching decisions to promote the dual bound increase faster. We propose a knowledge inheritance method to generalize knowledge of different models from the dataset aggregation process, named KIDA. Our improvement overcomes some defects of the baseline graph-neural-networks-based methods. Further, we won the $1$\textsuperscript{st} Place on the dual task. We hope this report can provide useful experience for developers and researchers. The code is available at https://github.com/megvii-research/NeurIPS2021-ML4CO-KIDA.


title: Chance-constrained regulation capacity offering for HVAC systems under non-Gaussian uncertainties with mixture-model-based convexification

abstract: Heating, ventilation, and air-conditioning (HVAC) systems are ideal demand-side flexible resources to provide regulation services. However, finding the best hourly regulation capacity offers for HVAC systems in a power market ahead of time is challenging because they are affected by non-Gaussian uncertainties from regulation signals. Moreover, since HVAC systems need to frequently regulate their power according to regulation signals, numerous thermodynamic constraints are introduced, leading to a huge computational burden. This paper proposes a tractable chance-constrained model to address these challenges. It first develops a temporal compression approach, in which the extreme indoor temperatures in the operating hour are estimated and restricted in the comfortable range so that the numerous thermodynamic constraints can be compressed into only a few ones. Then, a novel convexification method is proposed to handle the non-Gaussian uncertainties. This method leverages the Gaussian mixture model to reformulate the chance constraints with non-Gaussian uncertainties on the left-hand side into deterministic non-convex forms. We further prove that these non-convex forms can be approximately convexified by second-order cone constraints with marginal optimality loss. Therefore, the proposed model can be efficiently solved with guaranteed optimality. Numerical experiments are conducted to validate the superiority of the proposed method.


title: Polar Varieties in Cayley-Klein Spaces

abstract: In this paper, we introduce the notion of a total polar for an arbitrary subspace of a Cayley-Klein space in an analytical framework. We show that the set of all total polars of a subspace is a Schubert variety. The notion of total polar gives a definition for a subspace to be tangent to the absolute figure of the space. By specifying tangent lines, tangent cones and then spheres are defined. This definition of the sphere does not depend on the metric of the space. It is proved that every reflection of a Cayley- Klein space, defined by two subspaces which are total polar to each other, is a motion of the space. On the other hand, each motion in a Cayley-Klein space of dimension n is a product of at most n+1 reflections in point-hyperplane pairs.


title: Semiclassical pseudodifferential operators and resolvent parametrices on manifolds with ends

abstract: We construct a parametrix of a resolvent of elliptic differential operators acting on half-densities on manifolds with ends. The construction is carried out by introducing suitable pseudodifferential operators compatible with the end structure. Our class of pseudodifferential operators and symbols is independent of the choice of Riemannian metric on the manifold and applicable to both of asymptotically conical and hyperbolic manifolds. As an application, we prove the essential self-adjointness of elliptic symmetric differential operators on manifolds.


title: A search for cool molecular gas in GK Persei and other classical novae

abstract: Detecting molecular line emission from classical nova remnants has the potential of revealing information on the composition of the ejecta, in particular, it can deliver accurate isotopic ratios in the matter processed by a thermonuclear runaway. We conducted searches toward more than 100 classical novae for emission in lines of the CO or HCN molecules using single-dish telescopes and interferometric arrays at millimeter and submillimeter wavelengths. The survey demonstrates that classical novae, young or old, are not strong sources of molecular emission at submillimeter and millimeter wavelengths. Additionally, we mapped CO emission around Nova Persei 1901 (GK Per), earlier claimed to be circumstellar in origin. Our measurements indicate that the observed emission is from the interstellar medium. Although no molecular emission at millimeter and submillimeter wavelengths has been found in classical novae, it is still likely that some will be detected with high-sensitivity interferometers such as ALMA.


title: Stochastic approach to gravitational waves from inflation

abstract: We propose a coarse-graining procedure for describing the superhorizon dynamics of inflationary tensor modes. Our aim is to formulate a stochastic description for the statistics of spin-2 modes which seed the background of gravitational waves from inflation. Using basic principles of quantum mechanics, we determine a probability density for coarse-grained tensor fields, which satisfies a stochastic Fokker-Planck equation at superhorizon scales. The corresponding noise and drift are computable, and depend on the cosmological system under consideration. Our general formulas are applied to a variety of cosmological scenarios, also considering cases seldom considered in the context of stochastic inflation, and which are important for their observational consequences. We start obtaining the expected expressions for noise and drift in pure de Sitter and power-law inflation, also including a discussion of effects of non-attractor phases. We then apply our methods to describe scenarios with a transition from inflation to standard cosmological eras of radiation and matter domination. We show how the interference between modes flowing through the cosmological horizon, and modes spontaneously produced at superhorizon scales, can affect the stochastic evolution of coarse-grained tensor quantities. In appropriate limits, we find that the corresponding spectrum of tensor modes at horizon crossing matches with the results of quantum field theory calculations, but we also highlight where differences can arise.


title: Towards Objective Metrics for Procedurally Generated Video Game Levels

abstract: With increasing interest in procedural content generation by academia and game developers alike, it is vital that different approaches can be compared fairly. However, evaluating procedurally generated video game levels is often difficult, due to the lack of standardised, game-independent metrics. In this paper, we introduce two simulation-based evaluation metrics that involve analysing the behaviour of an A* agent to measure the diversity and difficulty of generated levels in a general, game-independent manner. Diversity is calculated by comparing action trajectories from different levels using the edit distance, and difficulty is measured as how much exploration and expansion of the A* search tree is necessary before the agent can solve the level. We demonstrate that our diversity metric is more robust to changes in level size and representation than current methods and additionally measures factors that directly affect playability, instead of focusing on visual information. The difficulty metric shows promise, as it correlates with existing estimates of difficulty in one of the tested domains, but it does face some challenges in the other domain. Finally, to promote reproducibility, we publicly release our evaluation framework.


title: Tracking and Planning with Spatial World Models

abstract: We introduce a method for real-time navigation and tracking with differentiably rendered world models. Learning models for control has led to impressive results in robotics and computer games, but this success has yet to be extended to vision-based navigation. To address this, we transfer advances in the emergent field of differentiable rendering to model-based control. We do this by planning in a learned 3D spatial world model, combined with a pose estimation algorithm previously used in the context of TSDF fusion, but now tailored to our setting and improved to incorporate agent dynamics. We evaluate over six simulated environments based on complex human-designed floor plans and provide quantitative results. We achieve up to 92% navigation success rate at a frequency of 15 Hz using only image and depth observations under stochastic, continuous dynamics.


title: Chance-constrained DC Optimal Power Flow with Non-Gaussian Distributed Uncertainties

abstract: Chance-constrained programming (CCP) is a promising approach to handle uncertainties in optimal power flow (OPF). However, conventional CCP usually assumes that uncertainties follow Gaussian distributions, which may not match reality. A few papers employed the Gaussian mixture model (GMM) to extend CCP to cases with non-Gaussian uncertainties, but they are only appropriate for cases with uncertainties on the right-hand side but not applicable to DC OPF that containing left-hand side uncertainties. To address this, we develop a tractable GMM-based chance-constrained DC OPF model. In this model, we not only leverage GMM to capture the probability characteristics of non-Gaussian distributed uncertainties, but also develop a linearization technique to reformulate the chance constraints with non-Gaussian distributed uncertainties on the left-hand side into tractable forms. A mathematical proof is further provided to demonstrate that the corresponding reformulation is a safe approximation of the original problem, which guarantees the feasibility of solutions.


title: The matrix-weighted dyadic convex body maximal operator is not bounded

abstract: The convex body maximal operator is a natural generalisation of the Hardy Littlewood maximal operator. In the presence of a matrix weight it is not bounded.


title: Nucleon Electromagnetic and Axial Form Factors in a Light-front Constituent Quark Model

abstract: In the present work we study the effect of the scalar spin coupling of constituent quarks on the nucleon electroweak properties by introducing a valence light-front wave function with two momentum scales. By comparing the results obtained with the one scale and two scale wave function models, we have found that the last one has shown a reasonable description of the static observables and $\mu_pG_{Ep}/G_{Mp}$ ratio in which the position of the zero appears around 10~[GeV/c]$^2$ or for higher squared momentum transfers. We have also shown results for the axial-vector coupling $g_{A}$ and the nucleon axial-vector form factor. The best result for $g_A$ was obtained when the parameters of the nucleon wave function model were such that the experimental value of the neutron magnetic moment was described.


title: Characterization of Quasi-Keplerian, Differentially Rotating, Free-Boundary Laboratory Plasmas

abstract: We present results from pulsed-power driven differentially rotating plasma experiments designed to simulate physics relevant to astrophysical disks and jets. In these experiments, angular momentum is injected by the ram pressure of the ablation flows from a wire array Z pinch. In contrast to previous liquid metal and plasma experiments, rotation is not driven by boundary forces. Axial pressure gradients launch a rotating plasma jet upwards, which is confined by a combination of ram, thermal, and magnetic pressure of a surrounding plasma halo. The jet has subsonic rotation, with a maximum rotation velocity $23 \pm 3$ km/s. The rotational velocity profile is quasi-Keplerian with a positive Rayleigh discriminant $\kappa^2 \propto r^{-2.8\pm0.8}$ rad$^2$/s$^2$. The plasma completes $0.5 - 2$ full rotations in the experimental time frame ($\sim 150$ ns).


title: Distributed Image Transmission using Deep Joint Source-Channel Coding

abstract: We study the problem of deep joint source-channel coding (D-JSCC) for correlated image sources, where each source is transmitted through a noisy independent channel to the common receiver. In particular, we consider a pair of images captured by two cameras with probably overlapping fields of view transmitted over wireless channels and reconstructed in the center node. The challenging problem involves designing a practical code to utilize both source and channel correlations to improve transmission efficiency without additional transmission overhead. To tackle this, we need to consider the common information across two stereo images as well as the differences between two transmission channels. In this case, we propose a deep neural networks solution that includes lightweight edge encoders and a powerful center decoder. Besides, in the decoder, we propose a novel channel state information aware cross attention module to highlight the overlapping fields and leverage the relevance between two noisy feature maps.Our results show the impressive improvement of reconstruction quality in both links by exploiting the noisy representations of the other link. Moreover, the proposed scheme shows competitive results compared to the separated schemes with capacity-achieving channel codes.


title: Optimization for Secure and Humane Border Operations

abstract: In 2020 tens of millions of migrants worldwide sought safety due to various push-pull factors such as economic, geographic, demographic, and societal challenges. Large movements of human flows toward national borders constitute a complex humanitarian crisis that requires appropriate preparations of border resources. Motivated by prevailing national agenda issues for improved border support, we identify common operational challenges along the border and discuss how they can be addressed using advanced analytics. Multiple stakeholders, corresponding goals, and complex decisions call for advanced optimization techniques to holistically treat such challenges. This chapter highlights how optimization can be employed to improve both the security and humanitarian aspects of border operations in the context of migration flows.


title: Scaling behavior of transient dynamics of vortex-like states in self-propelled particles

abstract: Nonequilibrium many-body transient dynamics play an important role in the adaptation of active matter systems environment changes. However, the generic universal behavior of such dynamics is usually elusive and left as open questions. Here, we investigate the transient dynamics of vortex-like states in a two-dimensional active matter system that consists of self-propelled particles with alignment interactions subjected to extrinsic environmental noise. We identify a universal power-law scaling for the average lifetime of vortex-like states with respect to the speed of the self-propelled particles. This universal scaling behavior manifests strong robustness against the noise, up to the level where influences from environmental fluctuations are large enough to directly randomize the moving directions of particles. Direct experimental observations can be readily performed by related experimental setups operated at a decently low noise level.


title: Search for $W^{\prime} \to tb$ decays in the fully hadronic final state with the ATLAS experiment

abstract: A search for a new heavy boson $W^{\prime}$ in proton-proton collisions at $\sqrt{s}$ = 13 TeV is presented. The search focuses on the decay of the $W^{\prime}$ to a hadronic top quark and a bottom quark, using the full Run 2 dataset of the ATLAS detector. The hadronic decay of the top quark is identified using DNN-based boosted-object techniques. The dominant background is obtained by a data-driven method with small systematic uncertainties. The results are presented as upper limits on the production cross-section times decay branching ratio for the $W^{\prime}$ boson with right-handed couplings that decays to a top quark and a bottom quark, for several $W^{\prime}$ masses between 1.5 to 5 TeV.


title: The measurement in classical and quantum theory

abstract: The Bohigas-Giannoni-Schmit (BGS) conjecture states that the Hamiltonian of a microscopic analogue of a classical chaotic system can be modeled by a random matrix from a Gaussian ensemble. Here, this conjecture is considered in the context of a recently discovered geometric relationship between classical and quantum mechanics. Motivated by BGS, we conjecture that the Hamiltonian of a system whose classical counterpart performs a random walk can be modeled by a family of independent random matrices from the Gaussian unitary ensemble. By accepting this conjecture, we find a relationship between the process of observation in classical and quantum physics, derive irreversibility of observation and describe the boundary between the micro and macro worlds.


title: Ultra Low-Parameter Denoising: Trainable Bilateral Filter Layers in Computed Tomography

abstract: Computed tomography is widely used as an imaging tool to visualize three-dimensional structures with expressive bone-soft tissue contrast. However, CT resolution and radiation dose are tightly entangled, highlighting the importance of low-dose CT combined with sophisticated denoising algorithms. Most data-driven denoising techniques are based on deep neural networks and, therefore, contain hundreds of thousands of trainable parameters, making them incomprehensible and prone to prediction failures. Developing understandable and robust denoising algorithms achieving state-of-the-art performance helps to minimize radiation dose while maintaining data integrity. This work presents an open-source CT denoising framework based on the idea of bilateral filtering. We propose a bilateral filter that can be incorporated into a deep learning pipeline and optimized in a purely data-driven way by calculating the gradient flow toward its hyperparameters and its input. Denoising in pure image-to-image pipelines and across different domains such as raw detector data and reconstructed volume, using a differentiable backprojection layer, is demonstrated. Although only using three spatial parameters and one range parameter per filter layer, the proposed denoising pipelines can compete with deep state-of-the-art denoising architectures with several hundred thousand parameters. Competitive denoising performance is achieved on x-ray microscope bone data (0.7053 and 33.10) and the 2016 Low Dose CT Grand Challenge dataset (0.9674 and 43.07) in terms of SSIM and PSNR. Due to the extremely low number of trainable parameters with well-defined effect, prediction reliance and data integrity is guaranteed at any time in the proposed pipelines, in contrast to most other deep learning-based denoising architectures.


title: Technological Approach to Mind Everywhere (TAME): an experimentally-grounded framework for understanding diverse bodies and minds

abstract: Synthetic biology and bioengineering provide the opportunity to create novel embodied cognitive systems (otherwise known as minds) in a very wide variety of chimeric architectures combining evolved and designed material and software. These advances are disrupting familiar concepts in the philosophy of mind, and require new ways of thinking about and comparing truly diverse intelligences, whose composition and origin are not like any of the available natural model species. In this Perspective, I introduce TAME - Technological Approach to Mind Everywhere - a framework for understanding and manipulating cognition in unconventional substrates. TAME formalizes a non-binary (continuous), empirically-based approach to strongly embodied agency. When applied to regenerating/developmental systems, TAME suggests a perspective on morphogenesis as an example of basal cognition. The deep symmetry between problem-solving in anatomical, physiological, transcriptional, and 3D (traditional behavioral) spaces drives specific hypotheses by which cognitive capacities can scale during evolution. An important medium exploited by evolution for joining active subunits into greater agents is developmental bioelectricity, implemented by pre-neural use of ion channels and gap junctions to scale cell-level feedback loops into anatomical homeostasis. This architecture of multi-scale competency of biological systems has important implications for plasticity of bodies and minds, greatly potentiating evolvability. Considering classical and recent data from the perspectives of computational science, evolutionary biology, and basal cognition, reveals a rich research program with many implications for cognitive science, evolutionary biology, regenerative medicine, and artificial intelligence.


title: A Proof of the Countable Telescope Conjecture for Module Categories

abstract: The Countable Telescope Conjecture arose in the framework of stable homotopy theory, as a tool conceived to study the chromatic filtration. It turned out, however, to trigger extremely fertile research within the framework of Module Categories. The project aims at presenting an almost self-contained review of the recent work of Saroch on the Countable Telescope Conjecture for Module Categories. After recalling some preliminaries, we report various devices of independent interest that will lead to a proof of the aforementioned result. This will be the outcome of inductive refinements of families of particularly well-behaved dense systems of modules, our witnessing-notion for localness. The procedure will be reminiscent of Cantor diagonal argument in the implementation of a variant of Shelah's Compactness Principle. Then, we briefly review the main applications to Enochs Conjecture of the just developed theory, and we will also state a weaker version of it. The project closely follows the work of Saroch (https://link.springer.com/article/10.1007%2Fs11856-018-1710-4); however, for the sake of completeness and conciseness, we slightly modified some well-known proofs applying the newly developed tools.


title: Correcting for Reporting Delays in Cyber Incidents

abstract: With an ever evolving cyber domain, delays in reporting incidents are a well-known problem in the cyber insurance industry. Addressing this problem is a requisite to obtaining the true picture of cyber incident rates and to model it appropriately. The proposed algorithm addresses this problem by creating a model of the distribution of reporting delays and using the model to correct reported incident counts to account for the expected proportion of incidents that have occurred but not yet been reported. In particular, this correction shows an increase in the number of cyber events in recent months rather than the decline suggested by reported counts.


title: Roadmap for Cybersecurity in Autonomous Vehicles

abstract: Autonomous vehicles are on the horizon and will be transforming transportation safety and comfort. These vehicles will be connected to various external systems and utilize advanced embedded systems to perceive their environment and make intelligent decisions. However, this increased connectivity makes these vehicles vulnerable to various cyber-attacks that can have catastrophic effects. Attacks on automotive systems are already on the rise in today's vehicles and are expected to become more commonplace in future autonomous vehicles. Thus, there is a need to strengthen cybersecurity in future autonomous vehicles. In this article, we discuss major automotive cyber-attacks over the past decade and present state-of-the-art solutions that leverage artificial intelligence (AI). We propose a roadmap towards building secure autonomous vehicles and highlight key open challenges that need to be addressed.


title: Noise sensitivity from fractional query algorithms and the axis-aligned Laplacian

abstract: We introduce the notion of classical fractional query algorithms, which generalize decision trees in the average-case setting, and can potentially perform better than them. We show that the limiting run-time complexity of a natural class of these algorithms obeys the non-linear partial differential equation $\min_{k}\partial^{2}u/\partial x_{k}^{2}=-2$, and that the individual bit revealment satisfies the Schramm-Steif bound for Fourier weight, connecting noise sensitivity with PDEs. We discuss relations with other decision tree results.


title: AI-based Re-identification of Behavioral Clickstream Data

abstract: AI-based face recognition, i.e., the re-identification of individuals within images, is an already well established technology for video surveillance, for user authentication, for tagging photos of friends, etc. This paper demonstrates that similar techniques can be applied to successfully re-identify individuals purely based on their behavioral patterns. In contrast to de-anonymization attacks based on record linkage, these methods do not require any overlap in data points between a released dataset and an identified auxiliary dataset. The mere resemblance of behavioral patterns between records is sufficient to correctly attribute behavioral data to identified individuals. Further, we can demonstrate that data perturbation does not provide protection, unless a significant share of data utility is being destroyed. These findings call for sincere cautions when sharing actual behavioral data with third parties, as modern-day privacy regulations, like the GDPR, define their scope based on the ability to re-identify. This has also strong implications for the Marketing domain, when dealing with potentially re-identify-able data sources like shopping behavior, clickstream data or cockies. We also demonstrate how synthetic data can offer a viable alternative, that is shown to be resilient against our introduced AI-based re-identification attacks.


title: Charge-4e and charge-6e flux quantization and higher charge superconductivity in kagome superconductor ring devices

abstract: The flux quantization is a key indication of electron pairing in superconductors. For example, the well-known h/2e flux quantization is considered strong evidence for the existence of the charge-2e, two-electron Cooper pairs. Here we report evidence for multi-charge flux quantization in mesoscopic ring devices fabricated using the transition-metal kagome superconductor CsV3Sb5. We perform systematic magneto-transport measurements and observe unprecedented quantization of magnetic flux in units of h/4e and h/6e in magnetoresistance oscillations. Specifically, at low temperatures, magnetoresistance oscillations with period h/2e are detected, as expected from the flux quantization for charge-2e superconductivity. We find that the h/2e oscillations are suppressed and replaced by resistance oscillations with h/4e periodicity when temperature is increased. Increasing the temperature further suppresses the h/4e oscillations and robust resistance oscillations with h/6e periodicity emerge as evidence for charge-6e flux quantization. Our observations provide the first experimental evidence for the existence of multi-charge flux quanta and emergent quantum matter exhibiting higher-charge superconductivity in the strongly fluctuating region above the charge-2e Cooper pair condensate, revealing new insights into the intertwined and vestigial electronic order in kagome superconductors.


title: A Multi-modal Fusion Framework Based on Multi-task Correlation Learning for Cancer Prognosis Prediction

abstract: Morphological attributes from histopathological images and molecular profiles from genomic data are important information to drive diagnosis, prognosis, and therapy of cancers. By integrating these heterogeneous but complementary data, many multi-modal methods are proposed to study the complex mechanisms of cancers, and most of them achieve comparable or better results from previous single-modal methods. However, these multi-modal methods are restricted to a single task (e.g., survival analysis or grade classification), and thus neglect the correlation between different tasks. In this study, we present a multi-modal fusion framework based on multi-task correlation learning (MultiCoFusion) for survival analysis and cancer grade classification, which combines the power of multiple modalities and multiple tasks. Specifically, a pre-trained ResNet-152 and a sparse graph convolutional network (SGCN) are used to learn the representations of histopathological images and mRNA expression data respectively. Then these representations are fused by a fully connected neural network (FCNN), which is also a multi-task shared network. Finally, the results of survival analysis and cancer grade classification output simultaneously. The framework is trained by an alternate scheme. We systematically evaluate our framework using glioma datasets from The Cancer Genome Atlas (TCGA). Results demonstrate that MultiCoFusion learns better representations than traditional feature extraction methods. With the help of multi-task alternating learning, even simple multi-modal concatenation can achieve better performance than other deep learning and traditional methods. Multi-task learning can improve the performance of multiple tasks not just one of them, and it is effective in both single-modal and multi-modal data.


title: Production characteristics of light (anti-)nuclei from (anti-)nucleon coalescence in heavy ion collisions at energies employed at the RHIC beam energy scan

abstract: With the kinetic freeze-out nucleons and antinucleons obtained from the quark combination model, we study the production of light nuclei and antinuclei in the (anti-)nucleon coalescence mechanism in relativistic heavy ion collisions. We derive analytic formulas of the momentum distributions of different light nuclei and apply them to compute transverse momentum ($p_T$) spectra of (anti-)deuterons ($d$, $\bar d$) and (anti-)tritons ($t$, $\bar t$) in Au-Au collisions at $\sqrt{s_{NN}}=$7.7, 11.5, 19.6, 27, 39, 54.4 GeV. We find that the experimental data available for these $p_T$ spectra can be well reproduced. We further study the yields and yield ratios of different light (anti-)nuclei and naturally explain their interesting behaviors as a function of the collision energy. We especially point out that the multi-particle yield ratio $tp/d^2$ should be carefully corrected from hyperon weak decays for protons to probe the production characteristics of light nuclei. All of our results show that the coalescence mechanism for (anti-)nucleons plays a dominant role for the production of light nuclei and antinuclei at the RHIC beam energy scan energies.


title: Neural Architecture Search for Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) have gained huge attention as a potential energy-efficient alternative to conventional Artificial Neural Networks (ANNs) due to their inherent high-sparsity activation. However, most prior SNN methods use ANN-like architectures (e.g., VGG-Net or ResNet), which could provide sub-optimal performance for temporal sequence processing of binary information in SNNs. To address this, in this paper, we introduce a novel Neural Architecture Search (NAS) approach for finding better SNN architectures. Inspired by recent NAS approaches that find the optimal architecture from activation patterns at initialization, we select the architecture that can represent diverse spike activation patterns across different data samples without training. Moreover, to further leverage the temporal information among the spikes, we search for feed forward connections as well as backward connections (i.e., temporal feedback connections) between layers. Interestingly, SNASNet found by our search algorithm achieves higher performance with backward connections, demonstrating the importance of designing SNN architecture for suitably using temporal information. We conduct extensive experiments on three image recognition benchmarks where we show that SNASNet achieves state-of-the-art performance with significantly lower timesteps (5 timesteps). Code is available at Github.


title: COVID-19 forecasting using new viral variants and vaccination effectiveness models

abstract: Background: Recently, a high number of daily positive COVID-19 cases have been reported in regions with relatively high vaccination rates; hence, booster vaccination has become necessary. In addition, infections caused by the different variants and correlated factors have not been discussed in depth. With large variabilities and different co-factors, it is difficult to use conventional mathematical models to forecast the incidence of COVID-19. Methods: Machine learning based on long short-term memory was applied to forecasting the time series of new daily positive cases (DPC), serious cases, hospitalized cases, and deaths. Data acquired from regions with high rates of vaccination, such as Israel, were blended with the current data of other regions in Japan to factor in the potential effects of vaccination. The protection provided by symptomatic infection was also considered in terms of the population effectiveness of vaccination as well as the waning protection and ratio and infectivity of viral variants. To represent changes in public behavior, public mobility and interactions through social media were also included in the analysis. Findings: Comparing the observed and estimated new DPC in Tel Aviv, Israel, the parameters characterizing vaccination effectiveness and the waning protection from infection were well estimated; the vaccination effectiveness of the second dose after 5 months and the third dose after two weeks from infection by the delta variant were 0.24 and 0.95, respectively. Using the extracted parameters regarding vaccination effectiveness, new cases in three prefectures of Japan were replicated.


title: Vanishing Yukawa Couplings and the Geometry of String Theory Models

abstract: We provide an overview of recent work which aims to understand patterns of vanishing Yukawa couplings that arise in models of particle physics derived from string theory. These patterns are seemingly linked to a plethora of different geometrical structures and our understanding of the subject has yet to be consolidated in a unified framework. This short note is based upon a talk that was given by one of the authors at the Nankai Symposium on Mathematical Dialogues. Therefore it is aimed at a mathematical audience of mixed academic background.


title: Frustration model and spin excitations in the helimagnet FeP

abstract: The metallic compound FeP belongs to the class of materials that feature a complex noncollinear spin order driven by magnetic frustration. While its double-helix magnetic structure with a period $\lambda_{\text{s}} \approx 5c$, where $c$ is the lattice constant, was previously well determined, the relevant spin-spin interactions that lead to that ground state remain unknown. By performing extensive inelastic neutron scattering measurements, we obtained the spin-excitation spectra in a large part of the momentum-energy space. The spectra show that the magnons are gapped with a gap energy of $\sim$5 meV. Despite the 3D crystal structure, the magnon modes display strongly anisotropic dispersions, revealing a quasi-one-dimensional character of the magnetic interactions in FeP. The physics of the material, however, is not determined by the dominating exchange, which is ferromagnetic. Instead, the weaker two-dimensional antiferromagnetic interactions between the rigid ferromagnetic spin chains drive the magnetic frustration. Using linear spin-wave theory, we were able to construct an effective Heisenberg Hamiltonian with an anisotropy term capable of reproducing the observed spectra. This enabled us to quantify the exchange interactions in FeP and determine the mechanism of its magnetic frustration.


title: Quadratic Mean-Field Reflected BSDEs

abstract: In this paper, we analyze mean-field reflected backward stochastic differential equations when the driver has quadratic growth in the second unknown $z$. Using linearization technique and BMO martingale theory, we first apply fixed point argument to establish uniqueness and existence result for the case with bounded terminal condition and obstacle. Then, with the help of a $\theta$-method, we develop a successive approximation procedure to remove the boundedness condition on the terminal condition and obstacle when the generator is concave (or convex) with respect to the 2nd unknown $z$


title: Resource-efficient Deep Neural Networks for Automotive Radar Interference Mitigation

abstract: Radar sensors are crucial for environment perception of driver assistance systems as well as autonomous vehicles. With a rising number of radar sensors and the so far unregulated automotive radar frequency band, mutual interference is inevitable and must be dealt with. Algorithms and models operating on radar data are required to run the early processing steps on specialized radar sensor hardware. This specialized hardware typically has strict resource-constraints, i.e. a low memory capacity and low computational power. Convolutional Neural Network (CNN)-based approaches for denoising and interference mitigation yield promising results for radar processing in terms of performance. Regarding resource-constraints, however, CNNs typically exceed the hardware's capacities by far. In this paper we investigate quantization techniques for CNN-based denoising and interference mitigation of radar signals. We analyze the quantization of (i) weights and (ii) activations of different CNN-based model architectures. This quantization results in reduced memory requirements for model storage and during inference. We compare models with fixed and learned bit-widths and contrast two different methodologies for training quantized CNNs, i.e. the straight-through gradient estimator and training distributions over discrete weights. We illustrate the importance of structurally small real-valued base models for quantization and show that learned bit-widths yield the smallest models. We achieve a memory reduction of around 80\% compared to the real-valued baseline. Due to practical reasons, however, we recommend the use of 8 bits for weights and activations, which results in models that require only 0.2 megabytes of memory.


title: Reinforcement Learning-Based Deadline and Battery-Aware Offloading in Smart Farm IoT-UAV Networks

abstract: Unmanned aerial vehicles (UAVs) with mounted base stations are a promising technology for monitoring smart farms. They can provide communication and computation services to extensive agricultural regions. With the assistance of a Multi-Access Edge Computing infrastructure, an aerial base station (ABS) network can provide an energy-efficient solution for smart farms that need to process deadline critical tasks fed by IoT devices deployed on the field. In this paper, we introduce a multi-objective maximization problem and a Q-Learning based method which aim to process these tasks before their deadline while considering the UAVs' hover time. We also present three heuristic baselines to evaluate the performance of our approaches. In addition, we introduce an integer linear programming (ILP) model to define the upper bound of our objective function. The results show that Q-Learning outperforms the baselines in terms of remaining energy levels and percentage of delay violations.


title: Non-reciprocal multifarious self-organization

abstract: A hallmark of living systems is the ability to employ a common set of versatile building blocks that can self-organize into a multitude of different structures, in a way that can be controlled with minimal cost. This capability can only be afforded in non-equilibrium conditions, as evident from the energy-consuming nature of the plethora of such dynamical processes. In the last three decades, synthetic self-assembly has experienced a significant boost with the development of tools to design specific interactions at different scales, from nucleic acids and peptides to proteins and colloids. To achieve automated dynamical control of such self-assembled structures and transitions between them, we need to identify the relevant fundamental aspects of non-equilibrium dynamics that can enable such processes. Here, we identify programmable non-reciprocal interactions as a potential paradigm using which such functionalities can be achieved. In particular, we propose a model that enables a system to learn and retrieve predetermined desired structures and transition between them, thus behaving as a shape-shifter. The learning rule is composed of reciprocal interactions that lead to the equilibrium assembly of the structures, and non-reciprocal interactions that give rise to non-equilibrium dynamical transitions between the structures.


title: Electron Cooling with Space-Charge Dominated Proton Beams at Iota

abstract: We describe a new electron cooler being developed for 2.5 MeV protons at the Integrable Optics Test Accelerator (IOTA), which is a highly re-configurable storage ring at Fermilab. This system would enable the study of magnetized electron cooling in the presence of intense space-charge with transverse tune shifts approaching -0.5 as well as highly nonlinear focusing optics in the IOTA ring. We present an overview of the design, simulations and hardware to be used for this project.


title: Neural network-based, structure-preserving entropy closures for the Boltzmann moment system

abstract: This work presents neural network based minimal entropy closures for the moment system of the Boltzmann equation, that preserve the inherent structure of the system of partial differential equations, such as entropy dissipation and hyperbolicity. The described method embeds convexity of the moment to entropy map in the neural network approximation to preserve the structure of the minimal entropy closure. Two techniques are used to implement the methods. The first approach approximates the map between moments and the minimal entropy of the moment system and is convex by design. The second approach approximates the map between moments and Lagrange multipliers of the dual of the minimal entropy optimization problem, which present the gradients of the entropy with respect to the moments, and is enforced to be monotonic by introduction of a penalty function. We derive an error bound for the generalization gap of convex neural networks which are trained in Sobolev norm and use the results to construct data sampling methods for neural network training. Numerical experiments are conducted, which show that neural network-based entropy closures provide a significant speedup for kinetic solvers while maintaining a sufficient level of accuracy. The code for the described implementations can be found in the Github repositories.


title: Collision-System and Beam-Energy Dependence of Anisotropic Flow Fluctuations

abstract: Elliptic flow measurements from two-, four- and six-particle correlations are used to investigate flow fluctuations in collisions of U+U at $\sqrt{s_{\rm NN}}$= 193 GeV, Cu+Au at $\sqrt{s_{\rm NN}}$= 200 GeV and Au+Au spanning the range $\sqrt{s_{\rm NN}}$= 11.5 - 200 GeV. The measurements show a strong dependence of the flow fluctuations on collision centrality, a modest dependence on system size, and very little if any, dependence on particle species and beam energy. The results, when compared to similar LHC measurements, viscous hydrodynamic calculations, and T$\mathrel{\protect\raisebox{-2.1pt}{R}}$ENTo model eccentricities, indicate that initial-state-driven fluctuations predominate the flow fluctuations generated in the collisions studied.


title: ADAPT: An Open-Source sUAS Payload for Real-Time Disaster Prediction and Response with AI

abstract: Small unmanned aircraft systems (sUAS) are becoming prominent components of many humanitarian assistance and disaster response (HADR) operations. Pairing sUAS with onboard artificial intelligence (AI) substantially extends their utility in covering larger areas with fewer support personnel. A variety of missions, such as search and rescue, assessing structural damage, and monitoring forest fires, floods, and chemical spills, can be supported simply by deploying the appropriate AI models. However, adoption by resource-constrained groups, such as local municipalities, regulatory agencies, and researchers, has been hampered by the lack of a cost-effective, readily-accessible baseline platform that can be adapted to their unique missions. To fill this gap, we have developed the free and open-source ADAPT multi-mission payload for deploying real-time AI and computer vision onboard a sUAS during local and beyond-line-of-site missions. We have emphasized a modular design with low-cost, readily-available components, open-source software, and thorough documentation (https://kitware.github.io/adapt/). The system integrates an inertial navigation system, high-resolution color camera, computer, and wireless downlink to process imagery and broadcast georegistered analytics back to a ground station. Our goal is to make it easy for the HADR community to build their own copies of the ADAPT payload and leverage the thousands of hours of engineering we have devoted to developing and testing. In this paper, we detail the development and testing of the ADAPT payload. We demonstrate the example mission of real-time, in-flight ice segmentation to monitor river ice state and provide timely predictions of catastrophic flooding events. We deploy a novel active learning workflow to annotate river ice imagery, train a real-time deep neural network for ice segmentation, and demonstrate operation in the field.


title: Characterisation for Exponential Stability of port-Hamiltonian Systems

abstract: Given an energy-dissipating port-Hamiltonian system, we characterise the exponential decay of the energy via the model ingredients under mild conditions on the Hamiltonian density $\mathcal{H}$. In passing, we obtain generalisations for sufficient criteria in the literature by making regularity requirements for the Hamiltonian density largely obsolete. The key assumption for the characterisation (and thus the sufficient critera) to work is a uniform bound for a family of fundamental solutions for some non-autonomous, finite-dimensional ODEs. Regularity conditions on $\mathcal{H}$ for previously known criteria such as bounded variation are shown to imply the key assumption. Exponentially stable port-Hamiltonian systems with irregular $L_{\infty}$-densities are provided.


title: Atomistic simulations of magnetoelastic effects on sound velocity

abstract: In this work, we leverage atomistic spin-lattice simulations to examine how magnetic interactions impact the propagation of sound waves through a ferromagnetic material. To achieve this, we characterize the sound wave velocity in BCC iron, a prototypical ferromagnetic material, using three different approaches that are based on the oscillations of kinetic energy, finite-displacement derived forces, and corrections to the elastic constants, respectively. Successfully applying these methods within the spin-lattice framework, we find good agreement with the Simon effect including high order terms. In analogy to experiments, morphic coefficients associated with the transverse and longitudinal waves propagating along the [001] direction are extracted from fits to the fractional change in velocity data. The present efforts represent an advancement in magnetoelastic modelling capabilities which can expedite the design of future magneto-acoustic devices.


title: Winograd Convolution for Deep Neural Networks: Efficient Point Selection

abstract: Convolutional neural networks (CNNs) have dramatically improved the accuracy of tasks such as object recognition, image segmentation and interactive speech systems. CNNs require large amounts of computing resources because ofcomputationally intensive convolution layers. Fast convolution algorithms such as Winograd convolution can greatly reduce the computational cost of these layers at a cost of poor numeric properties, such that greater savings in computation exponentially increase floating point errors. A defining feature of each Winograd convolution algorithm is a set of real-value points where polynomials are sampled. The choice of points impacts the numeric accuracy of the algorithm, but the optimal set of points for small convolutions remains unknown. Existing work considers only small integers and simple fractions as candidate points. In this work, we propose a novel approach to point selection using points of the form {-1/c , -c, c, 1/c } using the full range of real-valued numbers for c. We show that groups of this form cause cancellations in the Winograd transform matrices that reduce numeric error. We find empirically that the error for different values of c forms a rough curve across the range of real-value numbers helping to localize the values of c that reduce error and that lower errors can be achieved with non-obvious real-valued evaluation points instead of integers or simple fractions. We study a range of sizes for small convolutions and achieve reduction in error ranging from 2% to around 59% for both 1D and 2D convolution. Furthermore, we identify patterns in cases when we select a subset of our proposed points which will always lead to a lower error. Finally we implement a complete Winograd convolution layer and use it to run deep convolution neural networks on real datasets and show that our proposed points reduce error, ranging from 22% to 63%.


title: Linear pair creation damping of high frequency plasma oscillation

abstract: We have studied the linear dispersion relation for Langmuir waves in plasmas of very high density, based on the Dirac-Heisenberg-Wigner formalism. The vacuum contribution to the physical observables leads to ultra-violet divergences, that are removed by a charge renormalization. The remaining vacuum contribution is small, and is in agreement with previously derived expressions for the time-dependent vacuum polarization. The main new feature of the theory is a damping mechanism similar to Landau damping, but where the plasmon energy give rise to creation of electron-positron pairs. The dependence of the damping rate (pair-creation rate) on wave-number, temperature, and density is analyzed. Finally, the analytical results of linearized theory are compared.


title: ML-based tunnel detection and tunneled application classification

abstract: Encrypted tunneling protocols are widely used. Beyond business and personal uses, malicious actors also deploy tunneling to hinder the detection of Command and Control and data exfiltration. A common approach to maintain visibility on tunneling is to rely on network traffic metadata and machine learning to analyze tunnel occurrence without actually decrypting data. Existing work that address tunneling protocols however exhibit several weaknesses: their goal is to detect application inside tunnels and not tunnel identification, they exhibit limited protocol coverage (e.g. OpenVPN and Wireguard are not addressed), and both inconsistent features and diverse machine learning techniques which makes performance comparison difficult. Our work makes four contributions that address these limitations and provide further analysis. First, we address OpenVPN and Wireguard. Second, we propose a complete pipeline to detect and classify tunneling protocols and tunneled applications. Third, we present a thorough analysis of the performance of both network traffic metadata features and machine learning techniques. Fourth, we provide a novel analysis of domain generalization regarding background untunneled traffic, and, both domain generalization and adversarial learning regarding Maximum Transmission Unit (MTU).


title: Safety and Completeness in Flow Decompositions for RNA Assembly

abstract: Decomposing a network flow into weighted paths has numerous applications. Some applications require any decomposition that is optimal w.r.t. some property such as number of paths, robustness, or length. Many bioinformatic applications require a specific decomposition where the paths correspond to some underlying data that generated the flow. For real inputs, no optimization criteria guarantees to uniquely identify the correct decomposition. Therefore, we propose to report safe paths, i.e., subpaths of at least one path in every flow decomposition. Ma, Zheng, and Kingsford [WABI 2020] addressed the existence of multiple optimal solutions in a probabilistic framework, i.e., non-identifiability. Later [RECOMB 2021], they gave a quadratic-time algorithm based on a global criterion for solving a problem called AND-Quant, which generalizes the problem of reporting whether a given path is safe. We give the first local characterization of safe paths for flow decompositions in directed acyclic graphs (DAGs), leading to a practical algorithm for finding the complete set of safe paths. We evaluated our algorithms against the trivial safe algorithms (unitigs, extended unitigs) and the popularly used heuristic (greedy-width) for flow decomposition on RNA transcripts datasets. Despite maintaining perfect precision our algorithm reports significantly higher coverage ($\approx 50\%$ more) than trivial safe algorithms. The greedy-width algorithm though reporting a better coverage, has significantly lower precision on complex graphs. Overall, our algorithm outperforms (by $\approx 20\%$) greedy-width on a unified metric (F-Score) when the dataset has significant number of complex graphs. Moreover, it has superior time ($3-5\times$) and space efficiency ($1.2-2.2\times$), resulting in a better and more practical approach for bioinformatics applications of flow decomposition.


title: Fabrication and installation of the Mu2e cryogenic distribution system

abstract: The muon-to-electron conversion (Mu2e) experiment at Fermilab will be used to search for the charged lepton flavor-violating conversion of muons to electrons in the field of an atomic nucleus. The Mu2e experiment is currently in the construction stage. The scope of this paper is the cryogenic distribution system and superconducting power leads for four superconducting solenoid magnets: Production Solenoid (PS), an Upstream and Downstream Transport Solenoids (TSu and TSd) and Detector Solenoid (DS). The design of the cryogenic distribution system and the fabrication of several sub-systems was reported previously. This paper reports on additional fabrication and installation progress that has been performed over the past two years. Lessons learned during fabrication and testing of the cryogenic distribution system components are described. In particular, the challenges and solutions implemented for aluminum welding are reported. A description of the process used to qualify the welding procedure and welders for welding the aluminium stabilized NbTi superconducting power leads is provided. Additionally, the progress made with regards to installing the power leads into the cryogenic Feedboxes is covered.


title: Multiscale modeling of linear elastic heterogeneous structures via localized model order reduction

abstract: In this paper, a methodology for fine scale modeling of large scale structures is proposed, which combines the variational multiscale method, domain decomposition and model order reduction. The influence of the fine scale on the coarse scale is modelled by the use of an additive split of the displacement field, addressing applications without a clear scale separation. Local reduced spaces are constructed by solving an oversampling problem with random boundary conditions. Herein, we inform the boundary conditions by a global reduced problem and compare our approach using physically meaningful correlated samples with existing approaches using uncorrelated samples. The local spaces are designed such that the local contribution of each subdomain can be coupled in a conforming way, which also preserves the sparsity pattern of standard finite element assembly procedures. Several numerical experiments show the accuracy and efficiency of the method, as well as its potential to reduce the size of the local spaces and the number of training samples compared to the uncorrelated sampling.


title: Zero-Shot Long-Form Voice Cloning with Dynamic Convolution Attention

abstract: With recent advancements in voice cloning, the performance of speech synthesis for a target speaker has been rendered similar to the human level. However, autoregressive voice cloning systems still suffer from text alignment failures, resulting in an inability to synthesize long sentences. In this work, we propose a variant of attention-based text-to-speech system that can reproduce a target voice from a few seconds of reference speech and generalize to very long utterances as well. The proposed system is based on three independently trained components: a speaker encoder, synthesizer and universal vocoder. Generalization to long utterances is realized using an energy-based attention mechanism known as Dynamic Convolution Attention, in combination with a set of modifications proposed for the synthesizer based on Tacotron 2. Moreover, effective zero-shot speaker adaptation is achieved by conditioning both the synthesizer and vocoder on a speaker encoder that has been pretrained on a large corpus of diverse data. We compare several implementations of voice cloning systems in terms of speech naturalness, speaker similarity, alignment consistency and ability to synthesize long utterances, and conclude that the proposed model can produce intelligible synthetic speech for extremely long utterances, while preserving a high extent of naturalness and similarity for short texts.


title: Modeling Multi-level Context for Informational Bias Detection by Contrastive Learning and Sentential Graph Network

abstract: Informational bias is widely present in news articles. It refers to providing one-sided, selective or suggestive information of specific aspects of certain entity to guide a specific interpretation, thereby biasing the reader's opinion. Sentence-level informational bias detection is a very challenging task in a way that such bias can only be revealed together with the context, examples include collecting information from various sources or analyzing the entire article in combination with the background. In this paper, we integrate three levels of context to detect the sentence-level informational bias in English news articles: adjacent sentences, whole article, and articles from other news outlets describing the same event. Our model, MultiCTX (Multi-level ConTeXt), uses contrastive learning and sentence graphs together with Graph Attention Network (GAT) to encode these three degrees of context at different stages by tactically composing contrastive triplets and constructing sentence graphs within events. Our experiments proved that contrastive learning together with sentence graphs effectively incorporates context in varying degrees and significantly outperforms the current SOTA model sentence-wise in informational bias detection.


title: Public Information Representation for Adversarial Team Games

abstract: The peculiarity of adversarial team games resides in the asymmetric information available to the team members during the play, which makes the equilibrium computation problem hard even with zero-sum payoffs. The algorithms available in the literature work with implicit representations of the strategy space and mainly resort to Linear Programming and column generation techniques to enlarge incrementally the strategy space. Such representations prevent the adoption of standard tools such as abstraction generation, game solving, and subgame solving, which demonstrated to be crucial when solving huge, real-world two-player zero-sum games. Differently from these works, we answer the question of whether there is any suitable game representation enabling the adoption of those tools. In particular, our algorithms convert a sequential team game with adversaries to a classical two-player zero-sum game. In this converted game, the team is transformed into a single coordinator player who only knows information common to the whole team and prescribes to the players an action for any possible private state. Interestingly, we show that our game is more expressive than the original extensive-form game as any state/action abstraction of the extensive-form game can be captured by our representation, while the reverse does not hold. Due to the NP-hard nature of the problem, the resulting Public Team game may be exponentially larger than the original one. To limit this explosion, we provide three algorithms, each returning an information-lossless abstraction that dramatically reduces the size of the tree. These abstractions can be produced without generating the original game tree. Finally, we show the effectiveness of the proposed approach by presenting experimental results on Kuhn and Leduc Poker games, obtained by applying state-of-art algorithms for two-player zero-sum games on the converted games


title: A note on subgroups of the Loch Ness Monster Surface's Mapping Class Group

abstract: In this short note we give an elementary proof of the fact that every countable group is a subgroup of the mapping class group of the Loch Ness monster surface.


title: A 4+1 Formalism for the Evolving Stueckelberg-Horwitz-Piron Metric

abstract: We propose a field theory for the local metric in Stueckelberg--Horwitz--Piron (SHP) general relativity, a framework in which the evolution of classical four-dimensional (4D) worldlines $x^\mu \left( \tau \right)$ ($\mu = 0,1,2,3 $) is parameterized by an external time $\tau$. Combining insights from SHP electrodynamics and the ADM formalism in general relativity, we generalize the notion of a 4D spacetime $\mathcal{M}$ to a formal manifold $\mathcal{M}_5 = \mathcal{M} \times R$, representing an admixture of geometry (the diffeomorphism invariance of $\mathcal{M}$) and dynamics (the system evolution of $\mathcal{M} \left( \tau \right)$ with the monotonic advance of $\tau \in R$). Strategically breaking the formal 5D symmetry of a metric $g_{\alpha\beta}(x,\tau)$ ($\alpha,\beta = 0,1,2,3,5 $) posed on $\mathcal{M}_5$, we obtain ten unconstrained Einstein equations for the $\tau$-evolution of the 4D metric $\gamma_{\mu\nu}(x,\tau)$ and five constraints that are to be satisfied by the initial conditions. The resulting theory differs from five-dimensional (5D) gravitation, much as SHP U(1) gauge theory differs from 5D electrodynamics.


title: Local Metric with Parameterized Evolution

abstract: We present a canonical Hamiltonian formulation of GR in which $\tau$, the parameter of system evolution, is external to spacetime, playing a role similar to what we call time in nonrelativistic mechanics. This approach, known as Stueckelberg-Horwitz-Piron (SHP) theory, inherits the full computational power of classical analytical mechanics while maintaining manifest covariance throughout and eliminating possible conflict with general diffeomorphism invariance. In particular, SHP simplifies the initial value problem with potential applications in highly dynamical interactions, such as black hole collisions. By allowing the energy-momentum tensor and metric to depend explicitly on $\tau$, we may describe particle motion in geodesic form with respect to a dynamically evolving background metric. As a toy model, we consider a $\tau$-dependent mass $M(\tau)$, first as a perturbation in the Newtonian approximation and then for a Schwarzschild-like metric. As expected, the extended Einstein equations imply a non-zero energy-momentum tensor, proportional to $dM / d\tau$, representing a flow of mass and energy into spacetime that corresponds to the changing source mass. In $\tau$-equilibrium, this system becomes a generalized Schwarzschild solution for which the extended Ricci tensor and energy-momentum tensor vanish.


title: Maximum Force for Black Holes and Buchdahl Stars

abstract: Black hole and Buchdahl star are identified respectively by $\Phi(R)=1/2, 4/9$ where $g_{tt}=1-2\Phi(R)$ for a spherically symmetric static metric. We investigate the maximum force for black hole and Buchdahl star when one of the participating objects is charged and/or rotating while the other is neutral and non-rotating. It turns out that the maximum force between two Schwarzschild objects is universal, given in terms of the fundamental constant velocity of light and the gravitational constant in general relativity (GR) in the usual four dimensional spacetime. In general this feature uniquely picks out the pure Lovelock gravity (having only one $N$th order term in action which includes GR in the linear order $N=1$) and the dimensional spectrum, $D=3N+1$, where $N$ is degree of the Lovelock polynomial action.


title: On-Device Learning with Cloud-Coordinated Data Augmentation for Extreme Model Personalization in Recommender Systems

abstract: Data heterogeneity is an intrinsic property of recommender systems, making models trained over the global data on the cloud, which is the mainstream in industry, non-optimal to each individual user's local data distribution. To deal with data heterogeneity, model personalization with on-device learning is a potential solution. However, on-device training using a user's small size of local samples will incur severe overfitting and undermine the model's generalization ability. In this work, we propose a new device-cloud collaborative learning framework, called CoDA, to break the dilemmas of purely cloud-based learning and on-device learning. The key principle of CoDA is to retrieve similar samples from the cloud's global pool to augment each user's local dataset to train the recommendation model. Specifically, after a coarse-grained sample matching on the cloud, a personalized sample classifier is further trained on each device for a fine-grained sample filtering, which can learn the boundary between the local data distribution and the outside data distribution. We also build an end-to-end pipeline to support the flows of data, model, computation, and control between the cloud and each device. We have deployed CoDA in a recommendation scenario of Mobile Taobao. Online A/B testing results show the remarkable performance improvement of CoDA over both cloud-based learning without model personalization and on-device training without data augmentation. Overhead testing on a real device demonstrates the computation, storage, and communication efficiency of the on-device tasks in CoDA.


title: How Hard is Safe Bribery?

abstract: Bribery in an election is one of the well-studied control problems in computational social choice. In this paper, we propose and study the safe bribery problem. Here the goal of the briber is to ask the bribed voters to vote in such a way that the briber never prefers the original winner (of the unbribed election) more than the new winner, even if the bribed voters do not fully follow the briber's advice. Indeed, in many applications of bribery, campaigning for example, the briber often has limited control on whether the bribed voters eventually follow her recommendation and thus it is conceivable that the bribed voters can either partially or fully ignore the briber's recommendation. We provide a comprehensive complexity theoretic landscape of the safe bribery problem for many common voting rules in this paper.


title: Quantum phase transitions in the $K$-layer Ising toric code

abstract: We investigate the quantum phase diagram of the $K$-layer Ising toric code corresponding to $K$ layers of two-dimensional toric codes coupled by Ising interactions. While for small Ising interactions the system displays $\mathbb{Z}_2^K$ topological order originating from the toric codes in each layer, the system shows $\mathbb{Z}_2$ topological order in the high-Ising limit. The latter is demonstrated for general $K$ by deriving an effective low-energy model in $K^{\rm th}$-order degenerate perturbation theory, which is given as an effective anisotropic single-layer toric code in terms of collective pseudo-spins 1/2 refering to the two ground states of isolated Ising chain segments. For the specific cases $K=3$ and $K=4$ we apply high-order series expansions to determine the gap series in the low- and high-Ising limit. Extrapolation of the elementary energy gaps gives convincing evidence that the ground-state phase diagram consists of a single quantum critical point in the 3d Ising* universality class for both $K$ separating both types of topological order, which is consistent with former findings for the bilayer Ising toric code.


title: Photomolecular Effect Leading to Water Evaporation Exceeding Thermal Limit

abstract: We report the discovery of photomolecular effect: cleavage of water clusters off surfaces by photons. This effect is demonstrated through surprising absorption of partially wetted hydrogel in the visible spectrum where both water and hydrogel materials' absorption are negligible. Illumination of hydrogel under solar or visible-spectrum light-emitting-diode leads to evaporation rates exceeding the thermal evaporation limit, even in hydrogels without additional absorbers. Measurements of temperature and transmission spectrum of vapor above evaporating surfaces show clear signatures of water clusters. The photomolecular effect happens at liquid-vapor interface due to large electrical field gradients and quadrupole force on molecular clusters. This photomolecular evaporation process might be happening widely in nature, potentially impacting climate and plants growth, and can be exploited for clean water and drying technologies.

categories: physics.chem-ph cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft


title: Flow and aerosol dispersion from wind musical instruments

abstract: In the midst of the COVID-19 pandemic, many live musical activities had to be postponed and even canceled to protect musicians and audience. Orchestral ensembles face a particular challenge of contamination because they are personnel heavy and instrumentally diverse. A chief concern is whether wind instruments are vectors of contamination through aerosol dispersion. This study, made possible by the participation of members of the Philadelphia Orchestra, brings insight on the modes of production and early life of aerosols of human origin emitted by wind instruments. We find that these instruments produce aerosol levels that are comparable to normal speech in quantity and size distribution. However, the exit jet flow speeds are much lower than violent expiratory events (coughing, sneezing). For most wind instruments, the flow decays to background indoor-air levels at approximately 2 meters away from the instrument's opening. Long range aerosol dispersion is thus via ambient air currents.


title: Deep neural networks for the prediction of the optical properties and the free-form inverse design of metamaterials

abstract: Many phenomena in physics, including light, water waves, and sound, are described by wave equations. Given their coefficients, wave equations can be solved to high accuracy, but the presence of the wavelength scale often leads to large computer simulations for anything beyond the simplest geometries. The inverse problem, determining the coefficients from a field on a boundary, is even more demanding, since traditional optimization requires a large number of forward problems be solved sequentially. Here we show that the free-form inverse problem of wave equations can be solved with machine learning. First we show that deep neural networks can be used to predict the optical properties of nanostructured materials such as metasurfaces. Then we demonstrate the free-form inverse design of such nanostructures and show that constraints imposed by experimental feasibility can be taken into account. Our neural networks promise automated design in several technologies based on the wave equation.

categories: physics.comp-ph cond-mat.mes-hall physics.app-ph physics.optics


title: Spin splitting in low-symmetry quantum wells beyond Rashba and Dresselhaus terms

abstract: Spin-orbit interaction in semiconductor structures with broken space inversion symmetry leads to spin splitting of electron and hole states even in the absence of magnetic field. We discover that, beyond the Rashba and Dresselhaus contributions, there is an additional type of the zero-field spin splitting which is caused by the interplay of the cubic shape of crystal unit cell and macroscopic structure asymmetry. In quantum wells grown along low-symmetry crystallographic axes, this type of spin-orbit interaction couples the out-of-plane component of carrier's spin with the in-plane momentum while the coupling strength is controlled by structure inversion asymmetry. We carry out numerical calculations and develop an analytical theory, which demonstrate that this interaction can dominate $\boldsymbol{k}$-linear spin splitting of heavy-hole subbands.


title: BLDNet: A Semi-supervised Change Detection Building Damage Framework using Graph Convolutional Networks and Urban Domain Knowledge

abstract: Change detection is instrumental to localize damage and understand destruction in disaster informatics. While convolutional neural networks are at the core of recent change detection solutions, we present in this work, BLDNet, a novel graph formulation for building damage change detection and enable learning relationships and representations from both local patterns and non-stationary neighborhoods. More specifically, we use graph convolutional networks to efficiently learn these features in a semi-supervised framework with few annotated data. Additionally, BLDNet formulation allows for the injection of additional contextual building meta-features. We train and benchmark on the xBD dataset to validate the effectiveness of our approach. We also demonstrate on urban data from the 2020 Beirut Port Explosion that performance is improved by incorporating domain knowledge building meta-features.


title: Modelling mass transfer from a packed bed by fluid extraction

abstract: A mathematical model describing the erosion or leaching of a solid material by a flowing fluid in a column is developed. This involves an advection-diffusion equation coupled to a linear kinetic reaction describing the mass transfer between the solid and fluid. Two specific cases are analysed, the first where the extracted material has the same saturation solubility and rate of mass transfer throughout the process, the second where the solubility switches after a certain amount of erosion. In the first case there are only two model unknowns, the solubility and mass transfer coefficient, in the second there is a third unknown, the second solubility. Exploiting the fact that erosion is a slow process (relative to the flow rate) a perturbation solution based on the smallness of the amount removed is developed to describe the concentration and radius throughout the column. From this an analytical expression for the extracted fraction is obtained. The extracted fraction has a large linear section which results in a simple calculation to estimate the initial solubility from a very few or even a single data point. The remaining unknowns may also be easily calculated from the formula and later data points. A numerical solution, using finite differences, is developed to verify the perturbation solution. The analytical solution is also verified against experimental data for the removal of lanolin from wool fibres with a supercritical CO$_\text{2}$/ethanol solvent. Values for the mass transfer rate and two solubilities are obtained for different pressures and shown to provide excellent agreement with a series of experimental results for the extracted fraction.


title: VIX pricing in the rBergomi model under a regime switching change of measure

abstract: The rBergomi model under the physical measure consists of modeling the log-variance as a truncated Brownian semi-stationary process. Then, a deterministic change of measure is applied. The rBergomi model is able to reproduce observed market SP500 smiles with few parameters, but by virtue of the deterministic change of measure, produces flat VIX smiles, in contrast to the upward sloping smiles observed in the market. We use the exact solution for a certain inhomogeneous fractional Ornstein-Uhlenbeck equation to build a regime switching stochastic change of measure for the rBergomi model that both yields upward slopping VIX smiles and is equipped with an efficient semi-analytic Monte Carlo method to price VIX options. The model also allows an approximation of the VIX, which leads to a significant reduction of the computational cost of pricing VIX options and futures. A variance reduction technique based on the underlying continuous time Markov chain allows us to further reduce the computational cost. We verify the capabilities of our model by calibrating it to observed market smiles and discuss the results.


title: Human-Robot Collaborative Carrying of Objects with Unknown Deformation Characteristics

abstract: In this work, we introduce an adaptive control framework for human-robot collaborative transportation of objects with unknown deformation behaviour. The proposed framework takes as input the haptic information transmitted through the object, and the kinematic information of the human body obtained from a motion capture system to create reactive whole-body motions on a mobile collaborative robot. In order to validate our framework experimentally, we compared its performance with an admittance controller during a co-transportation task of a partially deformable object. We additionally demonstrate the potential of the framework while co-transporting rigid (aluminum rod) and highly deformable (rope) objects. A mobile manipulator which consists of an Omni-directional mobile base, a collaborative robotic arm, and a robotic hand is used as the robotic partner in the experiments. Quantitative and qualitative results of a 12-subjects experiment show that the proposed framework can effectively deal with objects of unknown deformability and provides intuitive assistance to human partners.


title: Interspecies Collaboration in the Design of Visual Identity: A Case Study

abstract: Design usually relies on human ingenuity, but the past decade has seen the field's toolbox expanding to Artificial Intelligence (AI) and its adjacent methods, making room for hybrid, algorithmic creations. This article aims to substantiate the concept of interspecies collaboration - that of natural and artificial intelligence - in the active co-creation of a visual identity, describing a case study of the Regional Center of Excellence for Robotic Technology (CRTA) which opened on 750 m2 in June 2021 within the University of Zagreb. The visual identity of the Center comprises three separately devised elements, each representative of the human-AI relationship and embedded in the institution's logo. Firstly, the letter "C" (from the CRTA acronym) was created using a Gaussian Mixture Model (GMM) applied to (x, y) coordinates that the neurosurgical robot RONNA, CRTA's flagship innovation, generated when hand-guided by a human operator. The second shape of the letter "C" was created by using the same (x, y) coordinates as inputs fed to a neural network whose goal was to output letters in a novel, AI-generated typography. A basic feedforward back-propagating neural network with two hidden layers was chosen for the task. The final and third design element was a trajectory the robot RONNA makes when performing a brain biopsy. As CRTA embodies a state-of-the-art venue for robotics research, the 'interspecies' approach was used to accentuate the importance of human-robot collaboration which is at the core of the newly opened Center, illustrating the potential of reciprocal and amicable relationship that humans could have with technology.


title: Capturing Temporal Information in a Single Frame: Channel Sampling Strategies for Action Recognition

abstract: We address the problem of capturing temporal information for video classification in 2D networks, without increasing their computational cost. Existing approaches focus on modifying the architecture of 2D networks (e.g. by including filters in the temporal dimension to turn them into 3D networks, or using optical flow, etc.), which increases computation cost. Instead, we propose a novel sampling strategy, where we re-order the channels of the input video, to capture short-term frame-to-frame changes. We observe that without bells and whistles, the proposed sampling strategy improves performance on multiple architectures (e.g. TSN, TRN, TSM, and MVFNet) and datasets (CATER, Something-Something-V1 and V2), up to 24% over the baseline of using the standard video input. In addition, our sampling strategies do not require training from scratch and do not increase the computational cost of training and testing. Given the generality of the results and the flexibility of the approach, we hope this can be widely useful to the video understanding community. Code is available on our website: https://github.com/kiyoon/channel_sampling.


title: Towards Cross-Disaster Building Damage Assessment with Graph Convolutional Networks

abstract: In the aftermath of disasters, building damage maps are obtained using change detection to plan rescue operations. Current convolutional neural network approaches do not consider the similarities between neighboring buildings for predicting the damage. We present a novel graph-based building damage detection solution to capture these relationships. Our proposed model architecture learns from both local and neighborhood features to predict building damage. Specifically, we adopt the sample and aggregate graph convolution strategy to learn aggregation functions that generalize to unseen graphs which is essential for alleviating the time needed to obtain predictions for new disasters. Our experiments on the xBD dataset and comparisons with a classical convolutional neural network reveal that while our approach is handicapped by class imbalance, it presents a promising and distinct advantage when it comes to cross-disaster generalization.


title: Investigating the predicted breathing-mode excitation of the Hoyle state

abstract: Knowledge of the low-lying monopole strength in $\mathrm{^{12}C}$ $-$ the Hoyle state in particular $-$ is crucial for our understanding of both the astrophysically important $3\alpha$ reaction and of $\alpha$-particle clustering. Multiple theoretical models have predicted a breathing mode of the Hoyle State at $E_{x} \approx 9$ MeV, corresponding to a radial in-phase oscillation of the underlying $\alpha$ clusters. The $\mathrm{^{12}C}(\alpha, \alpha^{\prime})\mathrm{^{12}C}$ and $\mathrm{^{14}C}(p, t)\mathrm{^{12}C}$ reactions were employed to populate states in $^{12}$C in order to search for this predicted breathing mode. A self-consistent, simultaneous analysis of the inclusive spectra with R-matrix lineshapes, together with angular distributions of charged-particle decay, yielded clear evidence for excess monopole strength at $E_{x} \approx 9$ MeV which is highly collective. Reproduction of the experimentally observed inclusive yields using a fit, with consistent population ratios for the various broad states, required an additional source of monopole strength. The interpretation of this additional monopole resonance as the breathing-mode excitation of the Hoyle state would provide evidence supporting a $\mathcal{D}_{3h}$ symmetry for the Hoyle state itself. The excess monopole strength may complicate analysis of the properties of the Hoyle state, modifying the temperature dependence of the $3\alpha$ rate at $T_{9} \gtrsim 2$ and ultimately, the predicted nucleosynthesis in explosive stars.


title: A conservative low rank tensor method for the Vlasov dynamics

abstract: In this paper, we propose a conservative low rank tensor method to approximate nonlinear Vlasov solutions. The low rank approach is based on our earlier work (arxiv: 2106.08834). It takes advantage of the fact that the differential operators in the Vlasov equation are tensor friendly, based on which we propose to dynamically and adaptively build up low rank solution basis by adding new basis functions from discretization of the differential equation, and removing basis from a singular value decomposition (SVD)-type truncation procedure. For the discretization, we adopt a high order finite difference spatial discretization together with a second order strong stability preserving multi-step time discretization. While the SVD truncation will remove the redundancy in representing the high dimensional Vlasov solution, it will destroy the conservation properties of the associated full conservative scheme. In this paper, we develop a conservative truncation procedure with conservation of mass, momentum and kinetic energy densities. The conservative truncation is achieved by an orthogonal projection onto a subspace spanned by $1$, $v$ and $v^2$ in the velocity space associated with a weighted inner product. Then the algorithm performs a weighted SVD truncation of the remainder, which involves a scaling, followed by the standard SVD truncation and rescaling back. The algorithm is further developed in high dimensions with hierarchical Tucker tensor decomposition of high dimensional Vlasov solutions, overcoming the curse of dimensionality. An extensive set of nonlinear Vlasov examples are performed to show the effectiveness and conservation property of proposed conservative low rank approach. Comparison is performed against the non-conservative low rank tensor approach on conservation history of mass, momentum and energy.


title: Energy-Efficient Computation Offloading in MobileEdge Computing Systems with Uncertainties

abstract: Computation offloading is indispensable for mobile edge computing (MEC). It uses edge resources to enable intensive computations and save energy for resource-constrained devices. Existing works generally impose strong assumptions on radio channels and network queue sizes. However, practical MEC systems are subject to various uncertainties rendering these assumptions impractical. In this paper, we investigate the energy-efficient computation offloading problem by relaxing those common assumptions and considering intrinsic uncertainties in the network. Specifically, we minimize the worst-case expected energy consumption of a local device when executing a time-critical application modeled as a directed acyclic graph. We employ the extreme value theory to bound the occurrence probability of uncertain events. To solve the formulated problem, we develop an $\epsilon$-bounded approximation algorithm based on column generation. The proposed algorithm can efficiently identify a feasible solution that is less than (1+$\epsilon$) of the optimal one. We implement the proposed scheme on an Android smartphone and conduct extensive experiments using a real-world application. Experiment results corroborate that it will lead to lower energy consumption for the client device by considering the intrinsic uncertainties during computation offloading. The proposed computation offloading scheme also significantly outperforms other schemes in terms of energy saving.


title: Reconfiguration of a satellite constellation in circular formation orbit with decentralized model predictive control

abstract: Satellite constellation missions, consisting of a large number of spacecraft, are increasingly being launched or planned. Such missions require novel control approaches, in particular for what concerns orbital phasing maneuvers. In this context, we consider the problem of reconfiguration of a satellite constellation in a circular formation. In our scenario, a formation of equally spaced spacecraft need to undergo an autonomous reconfiguration due to the deorbiting of a satellite in the formation. The remaining spacecraft have to reconfigure to form again an equidistant formation. To achieve this goal, we consider two decentralized strategies that rely on different sets of information about the neighboring spacecraft in the formation. In the fully decentralized case, each controller knows only the current states of each spacecraft, i.e. position and velocity, while in the second decentralized strategy with with information sharing, the entire planned nominal trajectory of each spacecraft is available to its neighbors. Our numerical simulation results show that, by increasing the amount of information available to each spacecraft, faster reconfiguration maneuvers with smaller fuel consumption can be achieved.


title: Local and multilinear noncommutative de Leeuw theorems

abstract: Let $\Gamma < G$ be a discrete subgroup of a locally compact unimodular group $G$. Let $m\in C_b(G)$ be a $p$-multiplier on $G$ with $1 \leq p < \infty$ and let $T_{m}: L_p(\widehat{G}) \rightarrow L_p(\widehat{G})$ be the corresponding Fourier multiplier. Similarly, let $T_{m \vert_\Gamma}: L_p(\widehat{\Gamma}) \rightarrow L_p(\widehat{\Gamma})$ be the Fourier multiplier associated to the restriction $m|_{\Gamma}$ of $m$ to $\Gamma$. We show that \[ c( {\rm supp}( m\vert_{\Gamma} ) ) \Vert T_{m \vert_\Gamma}: L_p(\widehat{\Gamma}) \rightarrow L_p(\widehat{\Gamma}) \Vert \leq \Vert T_{m }: L_p(\widehat{G}) \rightarrow L_p(\widehat{G}) \Vert, \] for a specific constant $0 \leq c(U) \leq 1$ that is defined for every $U \subseteq \Gamma$. The function $c$ quantifies the failure of $G$ to admit small almost $\Gamma$-invariant neighbourhoods and can be determined explicitly in concrete cases. In particular, $c(\Gamma) =1$ when $G$ has small almost $\Gamma$-invariant neighbourhoods. Our result thus extends the De Leeuw restriction theorem from [CPPR15] as well as De Leeuw's classical theorem [Lee65]. For real reductive Lie groups $G$ we provide an explicit lower bound for $c$ in terms of the maximal dimension $d$ of a nilpotent orbit in the adjoint representation. We show that $c(B_\rho^G) \geq \rho^{-d/4}$ where $B_\rho^G$ is the ball of $g\in G$ with $\Vert {\rm Ad}_g \Vert < \rho$. We further prove several results for multilinear Fourier multipliers. Most significantly, we prove a multilinear De Leeuw restriction theorem for pairs $\Gamma<G$ with $c(\Gamma) = 1$. We also obtain multilinear versions of the lattice approximation theorem, the compactification theorem and the periodization theorem. Consequently, we are able to provide the first examples of bilinear multipliers on nonabelian groups.


title: Improving Proximity Classification for Contact Tracing using a Multi-channel Approach

abstract: Due to the COVID 19 pandemic, smartphone-based proximity tracing systems became of utmost interest. Many of these systems use BLE signals to estimate the distance between two persons. The quality of this method depends on many factors and, therefore, does not always deliver accurate results. In this paper, we present a multi-channel approach to improve proximity classification, and a novel, publicly available data set that contains matched IEEE 802.11 (2.4 GHz and 5 GHz) and BLE signal strength data, measured in four different environments. We have developed and evaluated a combined classification model based on BLE and IEEE 802.11 signals. Our approach significantly improves the distance classification and consequently also the contact tracing accuracy. We are able to achieve good results with our approach in everyday public transport scenarios. However, in our implementation based on IEEE 802.11 probe requests, we also encountered privacy problems and limitations due to the consistency and interval at which such probes are sent. We discuss these limitations and sketch how our approach could be improved to make it suitable for real-world deployment.


title: Stochastic jetting and dripping in confined soft granular flows

abstract: We report new dynamical modes in confined soft granular flows, such as stochastic jetting and dripping, with no counterpart in continuum viscous fluids. The new modes emerge as a result of the propagation of the chaotic behaviour of individual grains -- here, monodisperse emulsion droplets to the level of the entire system as the emulsion is focused into a narrow orifice by an external viscous flow. We observe avalanching dynamics and the formation of remarkably stable jets -- singlefile granular chains -- which occasionally break, resulting in a non-Gaussian distribution of cluster sizes. We find that the sequences of droplet rearrangements that lead to the formation of such chains resemble unfolding of cancer cell clusters in narrow capillaries, overall demonstrating that microfluidic emulsion systems could serve to model various aspects of soft granular flows, including also tissue dynamics at the meso-scale.


title: Core Sets in Kahler Manifolds

abstract: The primary objective of this paper is to study core sets in the setting of m-subharmonic functions on the class of (non-compact) Kahler manifolds. Core sets are investigated in different aspects by considering various classes of plurisubharmonic functions. One of the crucial concepts in studying the structure of this kind of sets is the pseudoconcavity. In a more general way, we will have the structure of core defined with respect to the m-subharmonic functions, which we call m-core in our setting, in terms of m-pseudoconcave sets. In the context of m-subharmonic functions, we define m-harmonic functions and show that, in $\mathbb{C}^{n},\,(n \geq 2)$ and more generally in any Kahler manifold of dimension at least 2, m-harmonic functions are pluriharmonic functions for $m \geq 2$.


title: Short proof of a theorem of Brylawski on the coefficients of the Tutte polynomial

abstract: In this short note we show that a system $M=(E,r)$ with a ground set $E$ of size $m$ and (rank) function $r: 2^E\to \mathbb{Z}_{\geq 0}$ satisfying $r(S)\leq \min(r(E),|S|)$ for every set $S\subseteq E$, the Tutte polynomial $$T_M(x,y):=\sum_{S\subseteq E}(x-1)^{r(E)-r(S)}(y-1)^{|S|-r(S)},$$ written as $T_M(x,y)=\sum_{i,j}t_{ij}x^iy^j$, satisfies that for any integer $h \geq 0$, we have $$\sum_{i=0}^h\sum_{j=0}^{h-i}\binom{h-i}{j}(-1)^jt_{ij}=(-1)^{m-r}\binom{h-r}{h-m},$$ where $r=r(E)$, and we use the convention that when $h<m$, the binomial coefficient $\binom{h-r}{h-m}$ is interpreted as $0$. This generalizes a theorem of Brylawski on matroid rank functions and $h<m$, and a theorem of Gordon for $h\leq m$ with the same assumptions on the rank function. The proof presented here is significantly shorter than the previous ones. We only use the fact that the Tutte polynomial $T_M(x,y)$ simplifies to $(x-1)^{r(E)}y^{|E|}$ along the hyperbola $(x-1)(y-1)=1$.


title: Mode-locking induced by coherent driving in fiber lasers

abstract: The generation of stable short optical pulses in mode-locked lasers is of tremendous importance for many applications. Mode-locking is a broad concept that encompasses different processes enabling short pulse formation. It typically requires an intracavity mechanism that discriminates between single and collective mode lasing, which can be complex and sometimes adds noise. Moreover, known mode-locking schemes do not guarantee phase stability of the carrier wave. Here we theoretically propose that injecting a detuned signal seamlessly leads to mode-locking in fiber lasers. We show that phase-locked pulses, akin to cavity solitons, exist in a wide range of parameters. In that regime the laser behaves as a passive resonator due to the non-instantaneous gain saturation.


title: Attention-Based Vandalism Detection in OpenStreetMap

abstract: OpenStreetMap (OSM), a collaborative, crowdsourced Web map, is a unique source of openly available worldwide map data, increasingly adopted in Web applications. Vandalism detection is a critical task to support trust and maintain OSM transparency. This task is remarkably challenging due to the large scale of the dataset, the sheer number of contributors, various vandalism forms, and the lack of annotated data. This paper presents Ovid - a novel attention-based method for vandalism detection in OSM. Ovid relies on a novel neural architecture that adopts a multi-head attention mechanism to summarize information indicating vandalism from OSM changesets effectively. To facilitate automated vandalism detection, we introduce a set of original features that capture changeset, user, and edit information. Furthermore, we extract a dataset of real-world vandalism incidents from the OSM edit history for the first time and provide this dataset as open data. Our evaluation conducted on real-world vandalism data demonstrates the effectiveness of Ovid.


title: A Sybil-Resistant and Decentralized Market Place

abstract: Existing centralised market places such as Ebay enable companies to gather large amounts of personal data that can be used to manipulate users. Furthermore, users can frequently perform fraud without severe consequence. Reputation systems only solve this problem partially as malicious users can re-join the network with a new identity if their reputation is too low. By performing a Sybil attack, i.e., joining with multiple seemingly distinct identities, malicious participants can further boost their own reputation. In this paper, we present MarketPalace. MarketPalace relies on a peer-to-peer infrastructure to realize a decentralized market place during trading. Only when registering, users communicate with a central server to verify that they are not Sybils. More concretely, our system leverages self-sovereign identity to detect and undermine repeated joins by the same user. We implemented MarketPalace and demonstrated its feasibility for small regional markets.